Trace number 2685210

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

General information on the benchmark

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

Solver Data 

0.00/0.16	c PB-wave - v2
0.00/0.16	c command line = ./PB-wave
0.00/0.16	c seed = 15983737
0.00/0.16	c cutoff = 1000000
0.00/0.16	c tries = 1000000
0.00/0.16	c heuristic = c best, noise 50 / 100
0.00/0.16	#var 18200 #con 60215
0.00/0.16	mode is SAT
0.00/0.16	c tail starts after flip = 54600
0.00/0.16	c numatom = 18200, numclause = 60215, numliterals = 154485
0.00/0.16	c wff read in
0.00/0.16	c 
0.00/0.16	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.16	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.16	c       this      this      this      this      this      this   success   success       until         std
0.00/0.16	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.16	c
1.69/1.77	c       206       390    451.50    123.09      3.67   1000000         0
3.39/3.41	c       275       367    494.33    134.24      3.68   1000000         0
4.99/5.03	c       253       424    473.57    126.38      3.75   1000000         0
6.59/6.64	c       214       389    460.64    148.59      3.10   1000000         0
8.19/8.27	c       199       506    460.26    140.84      3.27   1000000         0
9.79/9.89	c       246       426    483.45    167.83      2.88   1000000         0
11.49/11.52	c       258       472    474.22    137.58      3.45   1000000         0
13.09/13.14	c       215       429    464.23    159.63      2.91   1000000         0
14.68/14.75	c       268       560    479.01    135.48      3.54   1000000         0
16.28/16.38	c       264       379    465.91    151.43      3.08   1000000         0
17.88/17.99	c       239       414    459.53    134.06      3.43   1000000         0
19.58/19.61	c       170       448    458.19    155.32      2.95   1000000         0
21.18/21.25	c       243       415    484.73    169.79      2.85   1000000         0
22.78/22.86	c       255       450    455.74    122.18      3.73   1000000         0
24.38/24.49	c       266       485    483.85    163.82      2.95   1000000         0
26.08/26.11	c       229       479    464.52    141.60      3.28   1000000         0
27.68/27.74	c       237       337    464.86    126.17      3.68   1000000         0
29.28/29.35	c       269       440    464.11    119.28      3.89   1000000         0
30.88/30.96	c       211       417    452.00    154.27      2.93   1000000         0
32.48/32.59	c       232       383    469.59    145.81      3.22   1000000         0
34.18/34.22	c       263       457    486.03    167.87      2.90   1000000         0
35.78/35.84	c       242       474    476.50    131.06      3.64   1000000         0
37.39/37.47	c       261       468    476.34    133.96      3.56   1000000         0
38.98/39.08	c       219       389    460.13    152.97      3.01   1000000         0
40.68/40.71	c       237       582    479.65    130.71      3.67   1000000         0
42.28/42.34	c       222       441    469.36    159.58      2.94   1000000         0
43.88/43.96	c       226       472    471.01    163.20      2.89   1000000         0
45.48/45.58	c       247       374    445.14    133.87      3.33   1000000         0
47.18/47.20	c       277       360    478.78    144.69      3.31   1000000         0
48.77/48.82	c       227       409    468.42    149.72      3.13   1000000         0
50.37/50.45	c       265       401    493.44    148.39      3.33   1000000         0
51.97/52.06	c       225       384    453.90    132.61      3.42   1000000         0
53.57/53.68	c       261       461    467.14    139.59      3.35   1000000         0
55.27/55.31	c       270       472    478.44    120.55      3.97   1000000         0
56.87/56.92	c       216       396    452.43    108.80      4.16   1000000         0
58.47/58.53	c       246       316    463.69    157.67      2.94   1000000         0
60.07/60.17	c       246       411    472.68    142.75      3.31   1000000         0
61.77/61.80	c       251       374    482.82    161.63      2.99   1000000         0
63.37/63.41	c       238       450    458.63    112.11      4.09   1000000         0
64.97/65.02	c       236       433    473.66    124.21      3.81   1000000         0
66.57/66.66	c       307       400    494.53    123.36      4.01   1000000         0
68.18/68.27	c       239       404    450.13    145.89      3.09   1000000         0
69.77/69.89	c       206       513    471.70    147.47      3.20   1000000         0
71.48/71.51	c       253       398    467.29    160.12      2.92   1000000         0
73.07/73.15	c       258       459    471.11    133.53      3.53   1000000         0
74.67/74.77	c       195       486    468.48    148.43      3.16   1000000         0
76.27/76.39	c       161       384    463.18    134.11      3.45   1000000         0
77.97/78.01	c       215       393    467.69    145.48      3.21   1000000         0
79.57/79.64	c       186       446    475.36    147.16      3.23   1000000         0
81.16/81.26	c       217       447    472.05    150.63      3.13   1000000         0
82.76/82.89	c       243       431    480.27    141.54      3.39   1000000         0
84.46/84.50	c       198       441    454.64    147.65      3.08   1000000         0
86.06/86.11	c       232       299    452.78    127.66      3.55   1000000         0
87.66/87.74	c       263       466    483.27    145.63      3.32   1000000         0
89.26/89.35	c       244       465    454.49    140.00      3.25   1000000         0
90.86/90.98	c       249       394    472.39    132.77      3.56   1000000         0
92.46/92.59	c       199       439    451.12    139.56      3.23   1000000         0
94.16/94.21	c       242       451    486.70    135.90      3.58   1000000         0
95.76/95.84	c       205       609    474.56    134.54      3.53   1000000         0
97.36/97.47	c       234       508    484.91    161.46      3.00   1000000         0
99.06/99.10	c       231       399    466.43    134.06      3.48   1000000         0
100.66/100.71	c       220       395    442.82    128.61      3.44   1000000         0
102.27/102.32	c       232       397    457.17    133.30      3.43   1000000         0
103.86/103.94	c       265       523    468.77    126.52      3.71   1000000         0
105.46/105.55	c       207       458    462.01    120.23      3.84   1000000         0
107.06/107.16	c       246       488    467.55    129.72      3.60   1000000         0
108.66/108.77	c       230       439    455.57    126.05      3.61   1000000         0
110.26/110.39	c       249       414    461.37    136.29      3.39   1000000         0
111.96/112.02	c       238       418    476.42    170.34      2.80   1000000         0
113.56/113.64	c       223       503    455.36    150.73      3.02   1000000         0
115.15/115.25	c       187       436    448.07    133.68      3.35   1000000         0
116.75/116.88	c       240       490    469.07    138.14      3.40   1000000         0
118.45/118.50	c       224       446    464.65    129.11      3.60   1000000         0
120.05/120.11	c       195       383    444.59    158.11      2.81   1000000         0
121.65/121.73	c       221       468    467.51    138.99      3.36   1000000         0
123.25/123.36	c       251       412    468.80    151.22      3.10   1000000         0
124.85/124.99	c       246       388    490.95    149.86      3.28   1000000         0
126.55/126.62	c       182       442    473.72    131.86      3.59   1000000         0
128.15/128.24	c       217       459    470.91    155.07      3.04   1000000         0
129.76/129.87	c       225       470    472.60    147.83      3.20   1000000         0
131.45/131.50	c       223       455    480.81    146.03      3.29   1000000         0
133.06/133.13	c       255       335    466.46    122.72      3.80   1000000         0
134.65/134.76	c       204       365    458.21    120.02      3.82   1000000         0
136.26/136.38	c       276       352    468.80    114.25      4.10   1000000         0
137.95/138.00	c       201       424    465.20    167.21      2.78   1000000         0
139.56/139.63	c       238       470    469.08    137.32      3.42   1000000         0
141.15/141.25	c       212       358    451.96    141.34      3.20   1000000         0
142.75/142.87	c       224       515    462.65    141.53      3.27   1000000         0
144.35/144.49	c       217       373    466.08    164.67      2.83   1000000         0
146.05/146.12	c       249       376    487.36    147.66      3.30   1000000         0
147.65/147.75	c       264       370    475.69    136.64      3.48   1000000         0
149.24/149.36	c       255       449    458.21    121.83      3.76   1000000         0
150.84/150.98	c       231       308    482.73    147.67      3.27   1000000         0
152.54/152.60	c       221       439    466.12    123.96      3.76   1000000         0
154.14/154.23	c       235       462    476.25    165.57      2.88   1000000         0
155.74/155.85	c       244       388    460.64    142.39      3.23   1000000         0
157.34/157.48	c       263       540    482.98    170.73      2.83   1000000         0
159.04/159.10	c       228       431    464.91    147.48      3.15   1000000         0
160.64/160.72	c       229       462    466.12    151.81      3.07   1000000         0
162.24/162.33	c       238       480    454.11    133.05      3.41   1000000         0
163.85/163.95	c       229       348    461.43    140.06      3.29   1000000         0
165.44/165.56	c       241       351    461.97    135.60      3.41   1000000         0
167.05/167.20	c       211       608    489.32    134.63      3.63   1000000         0
168.74/168.82	c       247       437    469.09    112.14      4.18   1000000         0
170.35/170.45	c       248       388    490.19    149.43      3.28   1000000         0
171.94/172.06	c       236       447    453.73    147.56      3.07   1000000         0
173.54/173.68	c       252       493    471.20    149.96      3.14   1000000         0
175.24/175.31	c       219       498    476.99    138.85      3.44   1000000         0
176.84/176.93	c       205       433    472.38    132.03      3.58   1000000         0
178.44/178.55	c       275       525    466.59    130.58      3.57   1000000         0
180.04/180.15	c       208       413    440.62    113.42      3.88   1000000         0
181.64/181.78	c       247       486    469.72    122.39      3.84   1000000         0
183.33/183.40	c       189       323    468.31    164.60      2.85   1000000         0
184.93/185.02	c       226       433    459.33    154.86      2.97   1000000         0
186.53/186.64	c       212       506    467.89    165.88      2.82   1000000         0
188.13/188.24	c       240       550    455.82    125.22      3.64   1000000         0
189.73/189.87	c       230       435    468.89    128.55      3.65   1000000         0
191.34/191.48	c       213       515    443.32    124.76      3.55   1000000         0
193.03/193.10	c       224       488    460.22    116.71      3.94   1000000         0
194.64/194.72	c       249       449    457.44    138.45      3.30   1000000         0
196.23/196.33	c       244       325    457.84    134.61      3.40   1000000         0
197.84/197.99	c       247       411    498.57    160.13      3.11   1000000         0
199.53/199.61	c       224       515    474.36    138.89      3.42   1000000         0
201.15/201.23	c       231       450    456.61    153.67      2.97   1000000         0
202.74/202.86	c       253       315    480.57    178.56      2.69   1000000         0
204.45/204.50	c       230       463    481.62    144.70      3.33   1000000         0
206.04/206.14	c       253       467    482.85    179.97      2.68   1000000         0
207.64/207.76	c       218       514    460.88    137.38      3.35   1000000         0
209.24/209.39	c       289       499    485.89    136.70      3.55   1000000         0
210.94/211.02	c       254       374    476.40    156.40      3.05   1000000         0
212.54/212.64	c       176       445    454.72    161.07      2.82   1000000         0
214.14/214.27	c       226       313    481.30    146.50      3.29   1000000         0
215.74/215.89	c       212       460    462.97    163.89      2.82   1000000         0
217.43/217.51	c       202       529    465.83    134.95      3.45   1000000         0
219.03/219.12	c       249       421    470.40    139.94      3.36   1000000         0
220.63/220.74	c       241       441    465.26    135.58      3.43   1000000         0
222.23/222.37	c       257       465    474.93    144.20      3.29   1000000         0
223.93/224.00	c       247       484    476.58    150.44      3.17   1000000         0
225.53/225.61	c       207       541    456.41    128.78      3.54   1000000         0
227.13/227.23	c       222       375    465.05    181.00      2.57   1000000         0
228.74/228.84	c       246       365    454.88    149.83      3.04   1000000         0
230.33/230.46	c       243       356    465.09    143.20      3.25   1000000         0
231.94/232.08	c       256       431    465.54    141.49      3.29   1000000         0
233.63/233.72	c       267       458    484.40    138.26      3.50   1000000         0
235.24/235.35	c       220       360    477.89    148.97      3.21   1000000         0
236.83/236.97	c       267       469    487.28    129.15      3.77   1000000         0
238.43/238.58	c       254       445    465.02    150.57      3.09   1000000         0
240.13/240.21	c       262       414    477.01    144.95      3.29   1000000         0
241.73/241.83	c       214       354    452.07    139.53      3.24   1000000         0
243.33/243.46	c       221       381    480.47    157.18      3.06   1000000         0
244.93/245.08	c       237       468    472.39    151.83      3.11   1000000         0
246.63/246.71	c       259       409    473.06    148.41      3.19   1000000         0
248.23/248.34	c       197       452    472.32    132.62      3.56   1000000         0
249.83/249.95	c       225       475    461.34    134.93      3.42   1000000         0
251.43/251.59	c       272       445    489.77    120.39      4.07   1000000         0
253.13/253.20	c       244       586    468.86    118.50      3.96   1000000         0
254.73/254.81	c       241       405    449.02    126.71      3.54   1000000         0
256.33/256.43	c       267       458    463.73    115.16      4.03   1000000         0
257.92/258.05	c       219       466    475.36    125.78      3.78   1000000         0
259.53/259.67	c       219       396    466.12    142.86      3.26   1000000         0
261.12/261.29	c       249       406    454.64    126.79      3.59   1000000         0
262.73/262.90	c       222       437    441.14    154.07      2.86   1000000         0
264.42/264.51	c       178       437    456.70    129.46      3.53   1000000         0
266.03/266.13	c       235       465    473.41    151.94      3.12   1000000         0
267.62/267.77	c       276       488    487.55    152.42      3.20   1000000         0
269.22/269.39	c       198       361    472.80    157.65      3.00   1000000         0
270.92/271.01	c       226       379    462.05    134.09      3.45   1000000         0
272.52/272.64	c       277       436    475.77    131.85      3.61   1000000         0
274.12/274.26	c       250       426    474.03    129.91      3.65   1000000         0
275.72/275.89	c       209       413    470.46    124.19      3.79   1000000         0
277.42/277.52	c       274       369    473.13    146.84      3.22   1000000         0
279.02/279.15	c       257       456    468.46    137.79      3.40   1000000         0
280.62/280.76	c       225       391    441.93    125.08      3.53   1000000         0
282.22/282.37	c       221       390    451.16    155.86      2.89   1000000         0
283.92/284.00	c       253       582    471.39    154.28      3.06   1000000         0
285.52/285.61	c       175       298    459.83    105.70      4.35   1000000         0
287.12/287.24	c       215       502    479.05    136.48      3.51   1000000         0
288.72/288.86	c       191       339    467.58    148.48      3.15   1000000         0
290.32/290.48	c       211       441    456.85    143.32      3.19   1000000         0
292.02/292.10	c       189       476    460.56    132.68      3.47   1000000         0
293.52/293.70	c       150       333    418.54    135.51      3.09   1000000         0
295.21/295.33	c       265       466    475.68    144.26      3.30   1000000         0
296.82/296.95	c       242       407    465.93    139.21      3.35   1000000         0
298.41/298.58	c       193       524    475.33    160.64      2.96   1000000         0
300.01/300.17	c       216       357    438.47    156.54      2.80   1000000         0
301.61/301.80	c       245       378    476.20    154.93      3.07   1000000         0
303.31/303.42	c       247       372    478.46    148.33      3.23   1000000         0
304.91/305.04	c       269       374    468.10    134.80      3.47   1000000         0
306.51/306.66	c       221       404    461.58    115.72      3.99   1000000         0
308.11/308.28	c       255       371    474.80    181.60      2.61   1000000         0
309.81/309.91	c       260       401    479.56    147.72      3.25   1000000         0
311.41/311.54	c       255       482    479.50    128.69      3.73   1000000         0
313.01/313.15	c       213       394    459.59    138.63      3.32   1000000         0
314.61/314.76	c       197       495    452.63    124.12      3.65   1000000         0
316.21/316.39	c       224       398    484.02    157.66      3.07   1000000         0
317.91/318.01	c       208       368    454.84    124.03      3.67   1000000         0
319.51/319.62	c       231       332    457.55    161.33      2.84   1000000         0
321.12/321.25	c       245       471    469.14    150.04      3.13   1000000         0
322.71/322.86	c       231       332    460.80    142.12      3.24   1000000         0
324.31/324.48	c       218       530    475.05    139.53      3.40   1000000         0
326.01/326.10	c       204       323    455.65    112.79      4.04   1000000         0
327.61/327.72	c       204       368    466.95    135.37      3.45   1000000         0
329.21/329.33	c       227       347    452.19    142.94      3.16   1000000         0
330.81/330.94	c       266       466    454.24    147.84      3.07   1000000         0
332.41/332.57	c       219       468    463.77    135.43      3.42   1000000         0
334.01/334.17	c       225       539    452.44    165.39      2.74   1000000         0
335.70/335.80	c       183       422    477.42    125.99      3.79   1000000         0
337.30/337.43	c       218       397    483.72    179.55      2.69   1000000         0
338.90/339.05	c       258       503    464.05    143.10      3.24   1000000         0
340.50/340.66	c       226       361    455.06    139.03      3.27   1000000         0
342.10/342.29	c       242       437    475.49    158.10      3.01   1000000         0
343.80/343.92	c       241       449    483.98    126.53      3.82   1000000         0
345.40/345.55	c       239       396    474.98    133.67      3.55   1000000         0
347.00/347.18	c       217       437    481.23    144.86      3.32   1000000         0
348.70/348.80	c       264       469    474.10    143.88      3.30   1000000         0
350.30/350.42	c       243       441    466.19    138.84      3.36   1000000         0
351.91/352.03	c       231       439    443.76    147.07      3.02   1000000         0
353.50/353.65	c       256       495    467.37    150.63      3.10   1000000         0
355.11/355.26	c       224       366    454.47    148.64      3.06   1000000         0
356.70/356.89	c       257       480    477.46    161.16      2.96   1000000         0
358.30/358.50	c       227       411    452.82    123.57      3.66   1000000         0
360.00/360.13	c       263       540    484.48    144.05      3.36   1000000         0
361.60/361.75	c       208       359    471.79    144.12      3.27   1000000         0
363.20/363.39	c       258       424    500.85    188.65      2.65   1000000         0
364.80/364.99	c       216       578    444.56    145.27      3.06   1000000         0
366.50/366.61	c       219       503    459.87    156.12      2.95   1000000         0
368.10/368.23	c       212       448    460.45    131.47      3.50   1000000         0
369.70/369.85	c       236       415    481.75    148.97      3.23   1000000         0
371.29/371.47	c       237       556    460.08    138.46      3.32   1000000         0
372.90/373.09	c       191       291    483.63    153.16      3.16   1000000         0
374.59/374.71	c       202       559    462.41    138.24      3.34   1000000         0
376.19/376.34	c       242       421    469.93    155.01      3.03   1000000         0
377.79/377.96	c       238       450    471.07    128.79      3.66   1000000         0
379.40/379.58	c       234       492    455.46    165.85      2.75   1000000         0
381.09/381.21	c       227       346    494.19    151.65      3.26   1000000         0
382.70/382.82	c       219       465    453.98    115.03      3.95   1000000         0
384.29/384.45	c       250       467    470.40    126.72      3.71   1000000         0
385.90/386.06	c       239       497    448.72    134.30      3.34   1000000         0
387.49/387.67	c       235       419    451.89    151.23      2.99   1000000         0
389.09/389.29	c       234       511    454.58    142.54      3.19   1000000         0
390.79/390.91	c       228       393    470.28    169.18      2.78   1000000         0
392.39/392.54	c       263       497    475.97    139.42      3.41   1000000         0
393.99/394.15	c       275       430    465.59    116.27      4.00   1000000         0
395.59/395.78	c       209       438    470.93    135.15      3.48   1000000         0
397.29/397.40	c       210       464    463.68    140.97      3.29   1000000         0
398.89/399.01	c       258       431    462.64    114.97      4.02   1000000         0
400.49/400.64	c       274       394    479.92    126.18      3.80   1000000         0
402.09/402.25	c       235       364    461.34    149.23      3.09   1000000         0
403.69/403.86	c       193       463    447.92    158.68      2.82   1000000         0
405.29/405.48	c       253       451    455.90    123.24      3.70   1000000         0
406.89/407.09	c       239       608    449.42    142.91      3.14   1000000         0
408.59/408.72	c       192       438    481.05    133.06      3.62   1000000         0
410.19/410.32	c       162       498    438.27    131.86      3.32   1000000         0
411.79/411.93	c       212       284    461.41    134.61      3.43   1000000         0
413.39/413.55	c       219       483    460.32    145.66      3.16   1000000         0
414.98/415.16	c       252       376    461.77    116.76      3.95   1000000         0
416.58/416.77	c       216       445    454.12    137.41      3.30   1000000         0
418.18/418.39	c       220       516    475.25    118.88      4.00   1000000         0
419.88/420.01	c       252       460    462.76    133.56      3.46   1000000         0
421.48/421.63	c       219       415    466.93    162.03      2.88   1000000         0
423.08/423.26	c       194       468    477.02    154.48      3.09   1000000         0
424.68/424.88	c       270       443    461.33    149.71      3.08   1000000         0
426.28/426.49	c       218       356    458.11    156.10      2.93   1000000         0
427.98/428.10	c       239       370    448.19    142.19      3.15   1000000         0
429.58/429.71	c       230       366    464.61    116.19      4.00   1000000         0
431.18/431.33	c       210       402    465.94    136.30      3.42   1000000         0
432.78/432.95	c       248       449    464.18    159.28      2.91   1000000         0
434.39/434.58	c       223       402    481.49    129.44      3.72   1000000         0
435.98/436.19	c       232       451    452.71    127.08      3.56   1000000         0
437.69/437.82	c       233       537    475.91    155.13      3.07   1000000         0
439.28/439.45	c       260       395    482.47    141.29      3.41   1000000         0
440.89/441.07	c       248       505    473.65    121.66      3.89   1000000         0
442.48/442.69	c       264       467    468.98    116.90      4.01   1000000         0
444.18/444.30	c       238       410    468.20    130.21      3.60   1000000         0
445.78/445.92	c       249       416    454.96    147.21      3.09   1000000         0
447.38/447.53	c       246       532    444.10    143.64      3.09   1000000         0
448.98/449.16	c       231       434    481.83    194.04      2.48   1000000         0
450.58/450.78	c       190       465    460.66    122.82      3.75   1000000         0
452.27/452.40	c       225       365    463.74    145.71      3.18   1000000         0
453.87/454.00	c       177       363    453.38    127.71      3.55   1000000         0
455.47/455.63	c       210       311    476.24    166.59      2.86   1000000         0
457.07/457.26	c       238       357    478.18    142.69      3.35   1000000         0
458.67/458.88	c       267       526    478.78    144.27      3.32   1000000         0
460.37/460.50	c       227       385    476.54    161.50      2.95   1000000         0
461.97/462.11	c       181       385    441.31    148.69      2.97   1000000         0
463.57/463.73	c       242       562    466.33    136.18      3.42   1000000         0
465.18/465.35	c       232       402    467.10    171.11      2.73   1000000         0
466.77/466.98	c       208       348    476.14    136.88      3.48   1000000         0
468.48/468.62	c       263       336    485.74    126.52      3.84   1000000         0
470.07/470.25	c       205       436    483.27    135.02      3.58   1000000         0
471.68/471.86	c       183       484    463.16    151.89      3.05   1000000         0
473.27/473.48	c       239       552    462.41    149.04      3.10   1000000         0
474.97/475.11	c       253       526    473.33    135.21      3.50   1000000         0
476.57/476.73	c       231       465    468.09    146.38      3.20   1000000         0
478.17/478.35	c       236       405    463.92    135.87      3.41   1000000         0
479.77/479.97	c       163       403    460.56    160.89      2.86   1000000         0
481.37/481.59	c       219       568    474.70    140.28      3.38   1000000         0
483.07/483.21	c       222       598    480.14    124.53      3.86   1000000         0
484.67/484.82	c       260       456    462.64    137.60      3.36   1000000         0
486.27/486.45	c       243       530    469.29    145.10      3.23   1000000         0
487.86/488.07	c       214       515    468.37    162.52      2.88   1000000         0
489.46/489.69	c       198       428    462.79    138.80      3.33   1000000         0
491.16/491.31	c       268       452    473.93    150.46      3.15   1000000         0
492.76/492.92	c       226       456    465.76    156.65      2.97   1000000         0
494.36/494.53	c       241       518    459.68    126.49      3.63   1000000         0
495.97/496.16	c       225       579    462.68    124.53      3.72   1000000         0
497.56/497.77	c       239       462    463.22    139.28      3.33   1000000         0
499.17/499.39	c       242       508    449.70    144.95      3.10   1000000         0
500.86/501.00	c       196       336    454.71    136.14      3.34   1000000         0
502.47/502.63	c       239       525    470.94    137.56      3.42   1000000         0
504.06/504.25	c       198       401    470.29    146.16      3.22   1000000         0
505.66/505.87	c       257       464    463.91    144.89      3.20   1000000         0
507.26/507.49	c       223       486    457.77    127.64      3.59   1000000         0
508.96/509.10	c       216       447    464.54    150.42      3.09   1000000         0
510.56/510.73	c       271       514    486.12    136.47      3.56   1000000         0
512.16/512.34	c       201       425    437.40    143.97      3.04   1000000         0
513.76/513.95	c       229       573    460.57    128.80      3.58   1000000         0
515.36/515.57	c       216       548    461.34    144.74      3.19   1000000         0
516.96/517.18	c       246       438    453.53    114.42      3.96   1000000         0
518.56/518.80	c       253       448    466.56    122.77      3.80   1000000         0
520.26/520.42	c       223       573    467.28    158.05      2.96   1000000         0
521.86/522.02	c       223       424    440.12    147.68      2.98   1000000         0
523.46/523.64	c       209       416    455.84    120.45      3.78   1000000         0
525.06/525.26	c       204       498    468.33    138.44      3.38   1000000         0
526.66/526.88	c       236       305    470.91    130.84      3.60   1000000         0
528.35/528.51	c       242       504    474.51    149.61      3.17   1000000         0
529.96/530.13	c       205       454    462.82    118.15      3.92   1000000         0
531.55/531.75	c       246       431    465.54    176.72      2.63   1000000         0
533.15/533.38	c       237       441    480.07    150.90      3.18   1000000         0
534.85/535.00	c       178       399    459.87    154.23      2.98   1000000         0
536.45/536.62	c       238       439    462.57    134.62      3.44   1000000         0
538.05/538.24	c       238       459    473.65    155.71      3.04   1000000         0
539.65/539.86	c       242       458    467.12    154.09      3.03   1000000         0
541.25/541.49	c       258       430    480.86    142.04      3.39   1000000         0
542.95/543.10	c       209       383    447.61    138.52      3.23   1000000         0
544.55/544.73	c       258       422    485.36    142.43      3.41   1000000         0
546.15/546.35	c       182       394    461.11    173.88      2.65   1000000         0
547.75/547.96	c       193       521    453.91    151.57      2.99   1000000         0
549.35/549.58	c       215       655    462.53    127.01      3.64   1000000         0
550.96/551.19	c       223       335    470.55    119.60      3.93   1000000         0
552.65/552.82	c       178       432    481.39    157.25      3.06   1000000         0
554.26/554.43	c       228       486    449.13    123.70      3.63   1000000         0
555.85/556.07	c       226       455    491.62    153.01      3.21   1000000         0
557.45/557.67	c       211       383    439.19    137.27      3.20   1000000         0
559.15/559.30	c       245       437    481.05    139.75      3.44   1000000         0
560.75/560.92	c       222       546    469.73    134.84      3.48   1000000         0
562.35/562.54	c       252       597    470.50    153.77      3.06   1000000         0
563.95/564.17	c       209       441    473.07    154.14      3.07   1000000         0
565.55/565.79	c       204       383    460.17    135.55      3.39   1000000         0
567.25/567.40	c       232       530    453.73    169.95      2.67   1000000         0
568.84/569.02	c       245       606    478.46    162.51      2.94   1000000         0
570.44/570.64	c       235       490    464.64    133.22      3.49   1000000         0
572.04/572.27	c       303       563    488.30    120.52      4.05   1000000         0
573.64/573.87	c       251       441    439.84    117.34      3.75   1000000         0
575.34/575.51	c       274       421    492.77    150.12      3.28   1000000         0
576.94/577.14	c       238       454    472.43    141.66      3.34   1000000         0
578.54/578.76	c       217       479    464.21    150.69      3.08   1000000         0
580.14/580.37	c       269       308    463.47    110.88      4.18   1000000         0
581.75/581.99	c       213       326    452.91    136.05      3.33   1000000         0
583.44/583.62	c       218       406    486.84    122.31      3.98   1000000         0
585.05/585.26	c       223       466    491.17    129.09      3.80   1000000         0
586.64/586.89	c       232       437    476.24    174.42      2.73   1000000         0
588.35/588.52	c       250       289    479.77    155.63      3.08   1000000         0
589.94/590.14	c       206       488    460.72    134.96      3.41   1000000         0
591.55/591.75	c       209       397    454.20    136.41      3.33   1000000         0
593.14/593.38	c       240       611    482.50    121.27      3.98   1000000         0
594.84/595.01	c       192       371    479.63    162.02      2.96   1000000         0
596.44/596.64	c       256       517    477.90    129.05      3.70   1000000         0
598.04/598.25	c       246       446    463.52    135.34      3.42   1000000         0
599.64/599.87	c       254       515    467.73    108.75      4.30   1000000         0
601.24/601.49	c       257       461    476.24    156.57      3.04   1000000         0
602.94/603.11	c       241       413    456.96    118.53      3.86   1000000         0
604.54/604.75	c       258       422    491.20    132.87      3.70   1000000         0
606.13/606.37	c       234       338    472.24    122.81      3.85   1000000         0
607.73/607.99	c       211       350    454.65    148.36      3.06   1000000         0
609.43/609.61	c       229       381    463.88    147.82      3.14   1000000         0
611.03/611.23	c       229       410    460.78    129.63      3.55   1000000         0
612.63/612.84	c       244       400    458.22    142.92      3.21   1000000         0
614.23/614.46	c       260       478    459.03    139.03      3.30   1000000         0
615.84/616.08	c       220       409    479.27    149.81      3.20   1000000         0
617.53/617.70	c       265       474    467.51    112.89      4.14   1000000         0
619.14/619.33	c       238       531    477.70    168.98      2.83   1000000         0
620.73/620.94	c       193       375    453.88    142.18      3.19   1000000         0
622.34/622.57	c       223       441    474.53    134.82      3.52   1000000         0
623.93/624.19	c       224       444    470.51    143.19      3.29   1000000         0
625.64/625.82	c       236       489    470.87    164.37      2.86   1000000         0
627.23/627.43	c       211       430    460.38    132.69      3.47   1000000         0
628.83/629.05	c       234       351    459.89    132.51      3.47   1000000         0
630.43/630.66	c       246       512    463.48    123.14      3.76   1000000         0
632.03/632.28	c       261       622    465.06    141.95      3.28   1000000         0
633.73/633.90	c       247       367    468.15    129.32      3.62   1000000         0
635.33/635.51	c       245       348    456.50    133.13      3.43   1000000         0
636.93/637.15	c       231       316    482.31    158.88      3.04   1000000         0
638.53/638.77	c       200       428    461.24    122.91      3.75   1000000         0
640.13/640.40	c       199       389    477.86    171.28      2.79   1000000         0
641.83/642.01	c       220       658    453.15    128.71      3.52   1000000         0
643.43/643.62	c       194       495    448.01    134.33      3.34   1000000         0
645.02/645.25	c       235       486    470.13    156.33      3.01   1000000         0
646.63/646.85	c       213       384    456.24    142.03      3.21   1000000         0
648.22/648.48	c       235       557    475.24    153.28      3.10   1000000         0
649.83/650.10	c       249       468    458.79    145.24      3.16   1000000         0
651.52/651.73	c       237       465    470.44    142.93      3.29   1000000         0
653.13/653.35	c       207       354    468.36    165.84      2.82   1000000         0
654.72/654.97	c       233       373    465.81    138.26      3.37   1000000         0
656.32/656.58	c       221       495    460.95    127.12      3.63   1000000         0
658.02/658.21	c       194       497    464.74    131.78      3.53   1000000         0
659.62/659.84	c       265       316    492.30    176.96      2.78   1000000         0
661.22/661.47	c       202       496    476.97    147.99      3.22   1000000         0
662.82/663.07	c       182       482    452.54    156.87      2.88   1000000         0
664.42/664.68	c       206       538    454.24    162.17      2.80   1000000         0
666.02/666.29	c       251       457    443.65    126.03      3.52   1000000         0
667.72/667.90	c       229       319    461.20    136.14      3.39   1000000         0
669.32/669.53	c       254       447    481.86    167.55      2.88   1000000         0
670.92/671.14	c       201       468    448.65    125.86      3.56   1000000         0
672.52/672.76	c       278       502    467.41    132.98      3.51   1000000         0
674.13/674.39	c       273       493    493.53    146.19      3.38   1000000         0
675.72/675.99	c       195       467    450.83    120.92      3.73   1000000         0
677.43/677.61	c       219       392    458.36    145.34      3.15   1000000         0
679.02/679.23	c       256       450    477.34    131.98      3.62   1000000         0
680.62/680.84	c       218       538    454.58    143.09      3.18   1000000         0
682.22/682.47	c       235       617    472.61    160.72      2.94   1000000         0
683.82/684.08	c       243       330    464.95    148.15      3.14   1000000         0
685.52/685.71	c       198       465    471.25    166.26      2.83   1000000         0
687.12/687.33	c       269       422    476.17    130.11      3.66   1000000         0
688.71/688.93	c       224       400    453.76    142.62      3.18   1000000         0
690.31/690.55	c       222       412    458.05    153.62      2.98   1000000         0
691.91/692.17	c       201       651    466.44    146.84      3.18   1000000         0
693.61/693.81	c       216       579    491.95    141.15      3.49   1000000         0
695.21/695.43	c       241       360    484.33    136.98      3.54   1000000         0
696.81/697.06	c       211       548    476.52    125.59      3.79   1000000         0
698.41/698.68	c       207       526    474.13    162.50      2.92   1000000         0
700.11/700.31	c       216       427    468.56    145.70      3.22   1000000         0
701.71/701.93	c       277       386    473.61    139.81      3.39   1000000         0
703.31/703.57	c       248       600    494.77    134.40      3.68   1000000         0
705.01/705.20	c       200       381    471.45    153.10      3.08   1000000         0
706.61/706.81	c       261       396    466.21    122.36      3.81   1000000         0
708.22/708.42	c       227       453    456.86    143.26      3.19   1000000         0
709.81/710.06	c       211       446    484.45    170.63      2.84   1000000         0
711.42/711.68	c       265       436    477.53    122.67      3.89   1000000         0
713.01/713.30	c       183       383    456.87    151.21      3.02   1000000         0
714.71/714.91	c       226       420    453.11    154.96      2.92   1000000         0
716.31/716.53	c       245       424    472.23    100.58      4.69   1000000         0
717.91/718.16	c       256       385    476.99    154.92      3.08   1000000         0
719.51/719.78	c       257       422    465.63    130.59      3.57   1000000         0
721.11/721.40	c       185       418    438.26    140.52      3.12   1000000         0
722.81/723.02	c       254       487    474.10    155.47      3.05   1000000         0
724.40/724.64	c       276       359    471.06    124.45      3.79   1000000         0
726.00/726.27	c       245       350    473.27    149.74      3.16   1000000         0
727.70/727.90	c       236       464    468.46    135.80      3.45   1000000         0
729.30/729.53	c       256       538    489.82    112.02      4.37   1000000         0
730.90/731.16	c       165       535    471.37    121.02      3.89   1000000         0
732.50/732.78	c       246       335    470.48    116.75      4.03   1000000         0
734.20/734.40	c       230       336    466.61    155.56      3.00   1000000         0
735.80/736.01	c       226       384    466.74    169.39      2.76   1000000         0
737.40/737.64	c       253       512    466.64    144.19      3.24   1000000         0
739.01/739.27	c       229       387    477.13    154.25      3.09   1000000         0
740.60/740.89	c       181       547    437.31    133.18      3.28   1000000         0
742.31/742.52	c       242       518    473.76    166.97      2.84   1000000         0
743.90/744.14	c       210       432    473.57    160.99      2.94   1000000         0
745.51/745.75	c       227       475    455.11    143.03      3.18   1000000         0
747.10/747.36	c       192       407    457.30    137.46      3.33   1000000         0
748.70/748.99	c       278       506    481.20    138.95      3.46   1000000         0
750.40/750.61	c       236       368    459.57    124.51      3.69   1000000         0
752.00/752.25	c       277       354    478.55    153.95      3.11   1000000         0
753.60/753.88	c       238       544    483.06    146.66      3.29   1000000         0
755.30/755.51	c       234       565    471.04    142.91      3.30   1000000         0
756.90/757.14	c       205       494    480.01    163.45      2.94   1000000         0
758.50/758.76	c       264       378    467.87    127.10      3.68   1000000         0
760.10/760.38	c       261       596    475.23    139.80      3.40   1000000         0
761.80/762.01	c       238       394    475.67    152.44      3.12   1000000         0
763.39/763.63	c       258       357    456.52    151.48      3.01   1000000         0
764.99/765.26	c       268       587    488.02    152.41      3.20   1000000         0
766.59/766.86	c       219       424    437.38    125.16      3.49   1000000         0
768.19/768.48	c       220       578    461.34    136.00      3.39   1000000         0
769.89/770.11	c       209       475    477.26    137.56      3.47   1000000         0
771.49/771.72	c       249       471    453.96    143.01      3.17   1000000         0
773.10/773.33	c       215       383    456.15    137.65      3.31   1000000         0
774.69/774.96	c       237       404    476.82    147.60      3.23   1000000         0
776.30/776.57	c       217       409    460.06    145.11      3.17   1000000         0
777.99/778.20	c       260       445    483.77    155.98      3.10   1000000         0
779.60/779.82	c       237       430    459.34    129.98      3.53   1000000         0
781.19/781.45	c       252       537    468.61    131.92      3.55   1000000         0
782.79/783.07	c       186       406    455.61    143.18      3.18   1000000         0
784.39/784.69	c       261       500    469.97    131.03      3.59   1000000         0
786.09/786.30	c       240       442    457.05    137.67      3.32   1000000         0
787.69/787.93	c       271       489    477.54    138.62      3.44   1000000         0
789.29/789.55	c       216       588    471.66    120.60      3.91   1000000         0
790.88/791.18	c       243       478    479.95    116.54      4.12   1000000         0
792.48/792.79	c       234       463    471.87    130.57      3.61   1000000         0
794.18/794.41	c       210       473    460.82    123.79      3.72   1000000         0
795.78/796.01	c       226       372    445.72    125.82      3.54   1000000         0
797.38/797.62	c       250       414    455.81    106.59      4.28   1000000         0
798.98/799.24	c       231       385    465.52    146.62      3.18   1000000         0
800.59/800.85	c       232       443    458.44    161.90      2.83   1000000         0
802.18/802.50	c       229       417    492.24    143.67      3.43   1000000         0
803.89/804.11	c       217       593    467.76    124.75      3.75   1000000         0
805.48/805.74	c       261       416    478.15    177.72      2.69   1000000         0
807.09/807.38	c       249       294    491.64    159.83      3.08   1000000         0
808.78/809.01	c       260       520    483.32    166.54      2.90   1000000         0
810.39/810.61	c       160       474    450.33    142.30      3.16   1000000         0
811.98/812.24	c       244       386    470.55    109.25      4.31   1000000         0
813.58/813.86	c       218       506    466.64    132.87      3.51   1000000         0
815.18/815.49	c       269       481    471.13    116.36      4.05   1000000         0
816.88/817.12	c       216       568    476.85    153.90      3.10   1000000         0
818.48/818.74	c       228       541    466.66    141.13      3.31   1000000         0
820.08/820.36	c       254       380    464.09    127.30      3.65   1000000         0
821.68/821.99	c       266       454    483.14    129.55      3.73   1000000         0
823.38/823.60	c       245       593    463.65    146.61      3.16   1000000         0
824.98/825.24	c       264       514    488.47    136.78      3.57   1000000         0
826.58/826.85	c       231       421    451.33    143.43      3.15   1000000         0
828.18/828.48	c       237       392    474.66    139.97      3.39   1000000         0
829.87/830.10	c       217       418    469.28    131.42      3.57   1000000         0
831.47/831.72	c       241       568    467.26    119.16      3.92   1000000         0
833.07/833.34	c       252       448    459.92    140.18      3.28   1000000         0
834.68/834.94	c       245       371    450.15    147.07      3.06   1000000         0
836.27/836.55	c       250       543    448.83    130.15      3.45   1000000         0
837.88/838.16	c       218       408    453.31    133.68      3.39   1000000         0
839.47/839.79	c       209       386    481.38    136.11      3.54   1000000         0
841.18/841.40	c       282       348    463.83    158.86      2.92   1000000         0
842.77/843.03	c       214       425    477.81    158.86      3.01   1000000         0
844.37/844.65	c       260       605    463.50    122.71      3.78   1000000         0
845.97/846.27	c       186       483    474.06    153.16      3.10   1000000         0
847.67/847.90	c       244       375    483.68    137.96      3.51   1000000         0
849.27/849.53	c       234       385    489.55    148.60      3.29   1000000         0
850.87/851.16	c       216       523    479.12    139.68      3.43   1000000         0
852.47/852.79	c       252       467    471.08    142.90      3.30   1000000         0
854.17/854.42	c       194       624    472.89    155.92      3.03   1000000         0
855.77/856.03	c       226       401    468.20    124.57      3.76   1000000         0
857.37/857.66	c       218       382    475.48    137.50      3.46   1000000         0
858.97/859.28	c       224       415    474.73    140.08      3.39   1000000         0
860.57/860.89	c       253       328    451.68    132.00      3.42   1000000         0
862.27/862.52	c       196       385    458.85    147.42      3.11   1000000         0
863.87/864.15	c       218       479    481.61    133.54      3.61   1000000         0
865.47/865.77	c       274       381    471.87    157.57      2.99   1000000         0
867.07/867.39	c       278       398    467.60    138.99      3.36   1000000         0
868.77/869.01	c       236       470    455.73    144.85      3.15   1000000         0
870.36/870.63	c       232       408    474.40    135.68      3.50   1000000         0
871.97/872.25	c       250       564    471.87    114.13      4.13   1000000         0
873.56/873.88	c       239       497    479.56    142.51      3.37   1000000         0
875.27/875.51	c       191       499    462.74    171.18      2.70   1000000         0
876.86/877.12	c       215       490    468.43    134.98      3.47   1000000         0
878.46/878.75	c       230       355    476.35    140.17      3.40   1000000         0
880.06/880.37	c       231       456    469.82    146.49      3.21   1000000         0
881.76/882.00	c       256       410    486.66    148.21      3.28   1000000         0
883.36/883.63	c       254       485    473.23    131.64      3.60   1000000         0
884.96/885.25	c       248       427    466.87    143.37      3.26   1000000         0
886.56/886.86	c       245       448    456.69    168.77      2.71   1000000         0
888.16/888.49	c       228       368    471.95    168.56      2.80   1000000         0
889.86/890.10	c       197       394    456.27    139.38      3.27   1000000         0
891.46/891.72	c       257       479    479.03    157.12      3.05   1000000         0
893.06/893.34	c       233       534    474.79    141.00      3.37   1000000         0
894.66/894.95	c       236       493    455.02    167.56      2.72   1000000         0
896.27/896.58	c       257       305    477.88    140.63      3.40   1000000         0
897.96/898.21	c       218       401    473.72    150.55      3.15   1000000         0
899.57/899.83	c       226       476    467.07    138.08      3.38   1000000         0
901.16/901.45	c       210       419    480.01    163.73      2.93   1000000         0
902.76/903.08	c       241       422    478.79    124.96      3.83   1000000         0
904.46/904.71	c       249       329    472.48    152.84      3.09   1000000         0
906.06/906.33	c       241       376    454.50    139.61      3.26   1000000         0
907.66/907.96	c       214       535    471.81    158.70      2.97   1000000         0
909.25/909.56	c       183       331    450.21    138.24      3.26   1000000         0
910.85/911.17	c       224       481    446.51    147.06      3.04   1000000         0
912.55/912.80	c       206       378    478.80    141.99      3.37   1000000         0
914.15/914.42	c       254       322    466.04    143.64      3.24   1000000         0
915.75/916.04	c       260       332    464.85    137.92      3.37   1000000         0
917.35/917.66	c       217       466    459.37    146.04      3.15   1000000         0
918.95/919.27	c       202       414    449.78    130.02      3.46   1000000         0
920.55/920.89	c       233       275    463.42    129.65      3.57   1000000         0
922.25/922.50	c       238       532    462.75    141.64      3.27   1000000         0
923.85/924.12	c       248       429    460.30    137.12      3.36   1000000         0
925.45/925.75	c       262       495    483.34    158.72      3.05   1000000         0
927.06/927.37	c       193       460    452.78    140.78      3.22   1000000         0
928.75/929.01	c       265       527    496.55    152.42      3.26   1000000         0
930.36/930.63	c       235       441    469.59    143.48      3.27   1000000         0
931.95/932.24	c       246       298    447.96    124.14      3.61   1000000         0
933.56/933.86	c       228       569    454.60    145.97      3.11   1000000         0
935.15/935.48	c       249       371    459.26    129.55      3.55   1000000         0
936.75/937.09	c       214       491    455.04    148.63      3.06   1000000         0
938.45/938.72	c       257       364    485.41    141.02      3.44   1000000         0
940.05/940.32	c       227       357    441.85    155.62      2.84   1000000         0
941.65/941.95	c       215       442    469.61    124.66      3.77   1000000         0
943.25/943.56	c       253       466    450.44    101.68      4.43   1000000         0
944.84/945.18	c       203       448    479.38    133.78      3.58   1000000         0
946.44/946.79	c       256       406    469.77    151.98      3.09   1000000         0
948.14/948.43	c       265       506    491.81    132.94      3.70   1000000         0
949.74/950.05	c       242       487    470.88    120.05      3.92   1000000         0
951.34/951.67	c       243       364    466.80    138.48      3.37   1000000         0
953.04/953.30	c       201       385    469.77    119.54      3.93   1000000         0
954.64/954.90	c       214       348    447.28    126.90      3.52   1000000         0
956.24/956.53	c       162       385    474.04    150.83      3.14   1000000         0
957.85/958.16	c       188       385    468.98    123.95      3.78   1000000         0
959.44/959.79	c       272       369    476.54    147.10      3.24   1000000         0
961.15/961.42	c       287       428    488.37    136.41      3.58   1000000         0
962.74/963.04	c       206       522    456.59    136.09      3.35   1000000         0
964.35/964.66	c       250       467    464.39    130.92      3.55   1000000         0
965.94/966.29	c       245       478    468.03    162.33      2.88   1000000         0
967.64/967.91	c       224       360    463.11    128.42      3.61   1000000         0
969.24/969.54	c       270       452    471.04    137.51      3.43   1000000         0
970.84/971.17	c       234       378    484.16    144.94      3.34   1000000         0
972.44/972.80	c       245       411    475.76    152.19      3.13   1000000         0
974.14/974.43	c       254       332    480.56    145.96      3.29   1000000         0
975.74/976.06	c       220       377    476.14    139.22      3.42   1000000         0
977.34/977.69	c       231       435    491.76    140.42      3.50   1000000         0
979.03/979.30	c       208       505    454.55    119.85      3.79   1000000         0
980.63/980.92	c       240       503    458.56    124.66      3.68   1000000         0
982.23/982.54	c       178       439    478.34    136.97      3.49   1000000         0
983.83/984.16	c       240       411    470.34    138.85      3.39   1000000         0
985.43/985.77	c       216       438    441.49    142.83      3.09   1000000         0
987.03/987.38	c       245       544    453.93    111.24      4.08   1000000         0
988.64/988.99	c       200       572    449.39    151.02      2.98   1000000         0
990.33/990.60	c       252       491    468.54    138.62      3.38   1000000         0
991.94/992.22	c       244       400    452.68    148.42      3.05   1000000         0
993.53/993.85	c       218       264    472.58    143.97      3.28   1000000         0
995.14/995.47	c       229       429    467.32    131.92      3.54   1000000         0
996.73/997.09	c       215       387    457.81    131.03      3.49   1000000         0
998.44/998.70	c       197       443    452.54    112.65      4.02   1000000         0
1000.03/1000.32	c       271       440    467.69    136.61      3.42   1000000         0
1001.63/1001.94	c       224       405    456.56    114.08      4.00   1000000         0
1003.23/1003.56	c       225       469    473.54    154.48      3.07   1000000         0
1004.83/1005.17	c       210       510    458.01    131.34      3.49   1000000         0
1006.53/1006.80	c       188       370    473.67    159.62      2.97   1000000         0
1008.13/1008.41	c       235       425    444.89    145.48      3.06   1000000         0
1009.73/1010.04	c       221       426    470.75    117.94      3.99   1000000         0
1011.33/1011.66	c       253       437    480.12    136.55      3.52   1000000         0
1012.93/1013.28	c       222       545    451.89    157.41      2.87   1000000         0
1014.63/1014.90	c       263       376    470.44    148.57      3.17   1000000         0
1016.23/1016.51	c       251       431    462.87    127.57      3.63   1000000         0
1017.83/1018.14	c       266       358    467.16    147.93      3.16   1000000         0
1019.43/1019.74	c       204       405    442.50    161.76      2.74   1000000         0
1021.02/1021.37	c       253       557    468.22    128.48      3.64   1000000         0
1022.63/1022.99	c       247       461    473.78    142.14      3.33   1000000         0
1024.32/1024.61	c       225       412    475.17    148.44      3.20   1000000         0
1025.93/1026.24	c       266       432    473.43    138.43      3.42   1000000         0
1027.52/1027.84	c       249       449    449.33    115.19      3.90   1000000         0
1029.12/1029.47	c       234       368    480.27    165.33      2.90   1000000         0
1030.72/1031.09	c       232       480    465.45    133.26      3.49   1000000         0
1032.42/1032.71	c       246       420    477.24    132.20      3.61   1000000         0
1034.02/1034.33	c       232       477    466.89    131.73      3.54   1000000         0
1035.62/1035.96	c       249       441    468.99    137.86      3.40   1000000         0
1037.22/1037.59	c       206       510    493.55    146.39      3.37   1000000         0
1038.92/1039.22	c       276       426    494.10    159.63      3.10   1000000         0
1040.52/1040.85	c       246       471    472.49    144.94      3.26   1000000         0
1042.12/1042.47	c       221       374    466.13    117.02      3.98   1000000         0
1043.72/1044.08	c       230       386    451.70    150.30      3.01   1000000         0
1045.42/1045.70	c       230       374    459.32    159.91      2.87   1000000         0
1047.02/1047.33	c       253       439    480.09    144.24      3.33   1000000         0
1048.62/1048.95	c       253       536    465.85    128.42      3.63   1000000         0
1050.22/1050.58	c       281       326    471.43    120.31      3.92   1000000         0
1051.92/1052.21	c       182       432    484.59    153.17      3.16   1000000         0
1053.52/1053.84	c       250       425    474.75    163.98      2.90   1000000         0
1055.12/1055.46	c       198       547    466.65    162.92      2.86   1000000         0
1056.72/1057.07	c       237       465    443.56    114.25      3.88   1000000         0
1058.31/1058.69	c       221       404    476.35    160.86      2.96   1000000         0
1060.02/1060.31	c       217       505    472.67    141.40      3.34   1000000         0
1061.61/1061.94	c       221       364    475.89    157.82      3.02   1000000         0
1063.21/1063.56	c       233       333    472.36    116.72      4.05   1000000         0
1064.81/1065.18	c       186       410    475.32    128.30      3.70   1000000         0
1066.51/1066.81	c       239       452    474.65    123.64      3.84   1000000         0
1068.11/1068.42	c       252       427    466.78    112.67      4.14   1000000         0
1069.71/1070.03	c       242       480    458.01    139.05      3.29   1000000         0
1071.31/1071.66	c       246       331    471.93    126.88      3.72   1000000         0
1072.91/1073.29	c       228       432    483.40    150.39      3.21   1000000         0
1074.61/1074.91	c       259       431    468.33    160.81      2.91   1000000         0
1076.21/1076.53	c       263       476    476.62    143.31      3.33   1000000         0
1077.81/1078.15	c       278       482    476.93    139.54      3.42   1000000         0
1079.41/1079.77	c       206       482    470.25    116.40      4.04   1000000         0
1081.02/1081.39	c       225       545    477.94    153.64      3.11   1000000         0
1082.71/1083.00	c       215       414    449.34    134.68      3.34   1000000         0
1084.32/1084.63	c       218       584    487.13    146.48      3.33   1000000         0
1085.91/1086.23	c       173       449    448.15    136.83      3.28   1000000         0
1087.51/1087.85	c       256       613    462.18    142.82      3.24   1000000         0
1089.11/1089.48	c       244       455    476.34    160.43      2.97   1000000         0
1090.71/1091.08	c       202       444    444.21    143.74      3.09   1000000         0
1092.40/1092.71	c       257       510    484.49    130.69      3.71   1000000         0
1094.00/1094.35	c       261       446    482.13    159.52      3.02   1000000         0
1095.60/1095.98	c       275       408    483.88    125.15      3.87   1000000         0
1097.30/1097.60	c       242       387    456.84    145.90      3.13   1000000         0
1098.90/1099.23	c       244       492    483.40    146.39      3.30   1000000         0
1100.50/1100.85	c       219       365    464.79    133.29      3.49   1000000         0
1102.10/1102.46	c       217       434    450.40    140.98      3.19   1000000         0
1103.70/1104.08	c       189       388    483.76    138.33      3.50   1000000         0
1105.40/1105.70	c       226       423    479.07    132.74      3.61   1000000         0
1107.00/1107.32	c       233       440    446.90    153.04      2.92   1000000         0
1108.60/1108.94	c       209       498    458.23    150.52      3.04   1000000         0
1110.20/1110.56	c       224       455    472.48    121.96      3.87   1000000         0
1111.90/1112.20	c       255       418    482.76    140.70      3.43   1000000         0
1113.50/1113.82	c       270       581    465.41    143.38      3.25   1000000         0
1115.11/1115.44	c       217       323    456.99    144.24      3.17   1000000         0
1116.70/1117.06	c       242       325    464.35    120.25      3.86   1000000         0
1118.30/1118.67	c       221       451    450.43    138.99      3.24   1000000         0
1120.00/1120.30	c       233       557    476.90    162.98      2.93   1000000         0
1121.60/1121.92	c       238       439    470.94    113.22      4.16   1000000         0
1123.20/1123.54	c       224       450    472.67    160.87      2.94   1000000         0
1124.80/1125.18	c       278       404    491.28    139.34      3.53   1000000         0
1126.50/1126.81	c       274       375    488.36    117.13      4.17   1000000         0
1128.10/1128.43	c       224       401    456.07    128.44      3.55   1000000         0
1129.70/1130.05	c       240       421    481.84    141.53      3.40   1000000         0
1131.30/1131.68	c       268       492    468.29    133.85      3.50   1000000         0
1132.99/1133.31	c       246       397    484.36    129.87      3.73   1000000         0
1134.59/1134.93	c       218       391    475.35    160.68      2.96   1000000         0
1136.19/1136.54	c       248       481    457.66    128.23      3.57   1000000         0
1137.79/1138.17	c       260       422    483.85    147.12      3.29   1000000         0
1139.39/1139.79	c       244       507    460.45    150.70      3.06   1000000         0
1141.09/1141.42	c       250       521    483.86    147.29      3.29   1000000         0
1142.69/1143.03	c       209       351    458.81    134.28      3.42   1000000         0
1144.29/1144.66	c       252       472    470.05    130.97      3.59   1000000         0
1145.90/1146.27	c       171       485    464.35    138.37      3.36   1000000         0
1147.49/1147.89	c       241       409    454.80    140.39      3.24   1000000         0
1149.20/1149.54	c       276       505    509.44    144.34      3.53   1000000         0
1150.79/1151.16	c       227       373    473.16    133.54      3.54   1000000         0
1152.40/1152.79	c       228       347    480.37    150.55      3.19   1000000         0
1154.09/1154.42	c       232       393    478.16    136.36      3.51   1000000         0
1155.70/1156.04	c       215       468    458.78    141.74      3.24   1000000         0
1157.29/1157.65	c       233       414    462.55    144.07      3.21   1000000         0
1158.89/1159.27	c       203       464    464.00    152.15      3.05   1000000         0
1160.59/1160.90	c       255       498    477.80    171.12      2.79   1000000         0
1162.19/1162.52	c       255       576    469.84    144.28      3.26   1000000         0
1163.79/1164.15	c       250       473    481.60    156.01      3.09   1000000         0
1165.39/1165.77	c       235       359    467.99    131.34      3.56   1000000         0
1166.99/1167.39	c       229       545    468.24    137.76      3.40   1000000         0
1168.69/1169.01	c       227       440    466.74    136.62      3.42   1000000         0
1170.29/1170.63	c       242       465    470.97    147.48      3.19   1000000         0
1171.88/1172.25	c       204       508    455.70    139.18      3.27   1000000         0
1173.48/1173.86	c       223       479    455.51    114.79      3.97   1000000         0
1175.08/1175.47	c       241       574    457.83    117.50      3.90   1000000         0
1176.78/1177.10	c       220       399    475.57    149.28      3.19   1000000         0
1178.38/1178.72	c       261       442    474.39    168.25      2.82   1000000         0
1179.99/1180.35	c       248       453    462.10    127.51      3.62   1000000         0
1181.58/1181.97	c       227       527    476.38    146.53      3.25   1000000         0
1183.19/1183.60	c       246       441    487.89    138.01      3.54   1000000         0
1184.88/1185.22	c       181       557    463.44    169.38      2.74   1000000         0
1186.49/1186.84	c       254       434    468.77    140.89      3.33   1000000         0
1188.08/1188.47	c       222       436    471.52    147.51      3.20   1000000         0
1189.68/1190.09	c       288       509    484.15    130.37      3.71   1000000         0
1191.38/1191.71	c       202       520    462.31    134.79      3.43   1000000         0
1192.98/1193.32	c       200       331    447.28    142.56      3.14   1000000         0
1194.58/1194.93	c       211       394    464.48    155.84      2.98   1000000         0
1196.18/1196.56	c       260       459    480.96    118.01      4.08   1000000         0
1197.78/1198.17	c       223       540    448.42    136.30      3.29   1000000         0
1199.38/1199.79	c       249       501    467.75    157.30      2.97   1000000         0
1201.08/1201.41	c       211       518    462.63    142.65      3.24   1000000         0
1202.68/1203.02	c       213       554    456.81    137.00      3.33   1000000         0
1204.28/1204.64	c       248       566    458.39    130.06      3.52   1000000         0
1205.88/1206.26	c       248       402    479.72    177.95      2.70   1000000         0
1207.48/1207.89	c       212       598    479.99    162.11      2.96   1000000         0
1209.18/1209.51	c       243       503    470.28    147.55      3.19   1000000         0
1210.78/1211.12	c       262       489    451.30    113.56      3.97   1000000         0
1212.37/1212.74	c       230       554    464.66    152.68      3.04   1000000         0
1213.98/1214.37	c       241       254    475.91    150.05      3.17   1000000         0
1215.57/1215.99	c       224       467    484.09    154.83      3.13   1000000         0
1217.28/1217.62	c       258       398    492.20    121.23      4.06   1000000         0
1218.87/1219.25	c       231       491    470.34    141.83      3.32   1000000         0
1220.47/1220.86	c       222       404    457.87    127.98      3.58   1000000         0
1222.07/1222.49	c       253       469    485.32    157.48      3.08   1000000         0
1223.67/1224.09	c       217       413    442.59    134.90      3.28   1000000         0
1225.37/1225.70	c       207       358    456.35    156.17      2.92   1000000         0
1226.97/1227.32	c       278       366    481.04    139.70      3.44   1000000         0
1228.57/1228.94	c       227       333    461.06    149.62      3.08   1000000         0
1230.17/1230.55	c       200       466    452.45    118.77      3.81   1000000         0
1231.77/1232.17	c       210       304    466.85    139.77      3.34   1000000         0
1233.47/1233.81	c       231       423    480.23    130.73      3.67   1000000         0
1235.07/1235.42	c       243       463    468.92    153.90      3.05   1000000         0
1236.67/1237.03	c       235       347    447.87    147.13      3.04   1000000         0
1238.27/1238.64	c       215       353    453.96    121.45      3.74   1000000         0
1239.87/1240.25	c       205       505    461.33    142.38      3.24   1000000         0
1241.47/1241.88	c       233       360    478.14    153.52      3.11   1000000         0
1243.07/1243.49	c       247       400    468.82    139.96      3.35   1000000         0
1244.77/1245.12	c       284       425    483.53    130.89      3.69   1000000         0
1246.36/1246.74	c       251       400    466.89    157.42      2.97   1000000         0
1247.96/1248.36	c       242       498    462.52    147.93      3.13   1000000         0
1249.56/1249.97	c       226       261    455.58    148.12      3.08   1000000         0
1251.26/1251.60	c       209       508    477.62    119.63      3.99   1000000         0
1252.86/1253.24	c       262       509    491.19    129.85      3.78   1000000         0
1254.46/1254.87	c       266       412    480.48    123.92      3.88   1000000         0
1256.16/1256.50	c       237       468    484.34    182.19      2.66   1000000         0
1257.76/1258.14	c       234       392    486.37    139.91      3.48   1000000         0
1259.36/1259.74	c       159       526    441.79    152.63      2.89   1000000         0
1260.96/1261.36	c       252       406    467.60    160.45      2.91   1000000         0
1262.56/1262.98	c       262       395    469.47    144.30      3.25   1000000         0
1264.26/1264.60	c       250       394    466.51    133.18      3.50   1000000         0
1265.86/1266.22	c       210       537    464.68    184.58      2.52   1000000         0
1267.46/1267.84	c       252       380    469.30    136.99      3.43   1000000         0
1269.08/1269.48	c       200       394    492.90    148.34      3.32   1000000         0
1270.77/1271.10	c       233       422    475.54    141.85      3.35   1000000         0
1272.37/1272.73	c       248       506    471.65    111.06      4.25   1000000         0
1273.97/1274.36	c       228       447    476.39    150.74      3.16   1000000         0
1275.57/1275.99	c       229       302    474.74    116.63      4.07   1000000         0
1277.16/1277.59	c       217       402    448.18    133.22      3.36   1000000         0
1278.87/1279.22	c       274       647    470.72    141.29      3.33   1000000         0
1280.46/1280.84	c       233       402    461.20    125.64      3.67   1000000         0
1282.06/1282.46	c       217       285    463.52    129.26      3.59   1000000         0
1283.66/1284.08	c       233       335    460.37    118.28      3.89   1000000         0
1285.36/1285.71	c       216       517    465.13    158.70      2.93   1000000         0
1286.96/1287.32	c       233       474    467.37    121.54      3.85   1000000         0
1288.56/1288.94	c       252       366    459.79    117.92      3.90   1000000         0
1290.16/1290.57	c       225       620    470.68    156.95      3.00   1000000         0
1291.76/1292.20	c       243       543    462.68    138.89      3.33   1000000         0
1293.46/1293.81	c       204       519    462.16    140.73      3.28   1000000         0
1295.06/1295.43	c       209       401    465.68    165.93      2.81   1000000         0
1296.66/1297.06	c       216       485    466.24    168.93      2.76   1000000         0
1298.26/1298.68	c       200       389    479.57    139.59      3.44   1000000         0
1299.87/1300.29	c       209       389    445.94    149.33      2.99   1000000         0
1301.56/1301.91	c       257       480    469.29    148.27      3.16   1000000         0
1303.17/1303.52	c       221       399    454.57    162.02      2.81   1000000         0
1304.76/1305.14	c       237       468    464.53    151.07      3.07   1000000         0
1306.36/1306.76	c       247       428    456.06    132.09      3.45   1000000         0
1307.96/1308.39	c       263       448    469.52    153.46      3.06   1000000         0
1309.66/1310.02	c       246       567    486.71    118.29      4.11   1000000         0
1311.26/1311.65	c       234       466    465.13    151.56      3.07   1000000         0
1312.85/1313.27	c       264       447    479.50    139.55      3.44   1000000         0
1314.55/1314.91	c       221       512    477.00    170.12      2.80   1000000         0
1316.15/1316.52	c       223       277    462.28    140.86      3.28   1000000         0
1317.75/1318.14	c       174       345    461.37    182.28      2.53   1000000         0
1319.35/1319.76	c       203       573    470.52    139.47      3.37   1000000         0
1320.95/1321.39	c       252       538    481.43    145.08      3.32   1000000         0
1322.65/1323.01	c       222       513    465.85    148.06      3.15   1000000         0
1324.25/1324.64	c       255       370    473.58    137.60      3.44   1000000         0
1325.85/1326.26	c       214       431    462.67    143.77      3.22   1000000         0
1327.45/1327.88	c       235       447    458.72    157.09      2.92   1000000         0
1329.15/1329.51	c       236       433    463.91    157.93      2.94   1000000         0
1330.75/1331.13	c       284       490    477.08    132.84      3.59   1000000         0
1332.35/1332.76	c       199       360    468.53    128.51      3.65   1000000         0
1333.96/1334.38	c       236       430    459.89    148.07      3.11   1000000         0
1335.55/1336.00	c       222       385    459.09    145.10      3.16   1000000         0
1337.26/1337.61	c       221       426    471.04    143.46      3.28   1000000         0
1338.85/1339.24	c       235       551    476.56    148.67      3.21   1000000         0
1340.45/1340.88	c       285       464    486.38    166.85      2.92   1000000         0
1342.15/1342.51	c       247       454    484.08    152.26      3.18   1000000         0
1343.75/1344.13	c       229       468    471.26    135.99      3.47   1000000         0
1345.35/1345.75	c       224       448    478.17    137.26      3.48   1000000         0
1346.95/1347.37	c       223       524    465.10    150.31      3.09   1000000         0
1348.64/1349.00	c       265       516    486.79    116.19      4.19   1000000         0
1350.24/1350.61	c       234       425    451.29    144.76      3.12   1000000         0
1351.85/1352.23	c       267       364    464.93    116.27      4.00   1000000         0
1353.45/1353.85	c       215       408    466.72    137.64      3.39   1000000         0
1355.04/1355.48	c       259       363    491.28    156.93      3.13   1000000         0
1356.74/1357.10	c       213       555    453.42    129.55      3.50   1000000         0
1358.34/1358.72	c       290       505    479.84    130.47      3.68   1000000         0
1359.94/1360.33	c       250       353    449.53    110.59      4.06   1000000         0
1361.54/1361.95	c       248       414    464.92    118.65      3.92   1000000         0
1363.14/1363.57	c       247       491    473.84    139.48      3.40   1000000         0
1364.75/1365.19	c       198       435    458.35    148.19      3.09   1000000         0
1366.44/1366.80	c       191       400    462.55    148.77      3.11   1000000         0
1368.05/1368.42	c       247       348    466.71    125.85      3.71   1000000         0
1369.64/1370.02	c       202       357    449.06    141.51      3.17   1000000         0
1371.25/1371.64	c       241       440    465.35    131.38      3.54   1000000         0
1372.84/1373.25	c       240       397    457.98    125.93      3.64   1000000         0
1374.44/1374.87	c       218       431    466.48    136.96      3.41   1000000         0
1376.14/1376.50	c       247       423    477.03    162.97      2.93   1000000         0
1377.74/1378.12	c       237       380    465.85    165.21      2.82   1000000         0
1379.34/1379.75	c       221       455    471.90    145.65      3.24   1000000         0
1380.94/1381.36	c       238       409    455.11    136.22      3.34   1000000         0
1382.54/1382.98	c       259       403    461.94    133.80      3.45   1000000         0
1384.24/1384.60	c       216       401    464.61    146.69      3.17   1000000         0
1385.84/1386.23	c       247       393    477.95    149.94      3.19   1000000         0
1387.44/1387.85	c       245       473    471.09    123.06      3.83   1000000         0
1389.03/1389.49	c       250       366    491.42    173.05      2.84   1000000         0
1390.73/1391.12	c       250       307    483.00    145.60      3.32   1000000         0
1392.33/1392.74	c       265       397    471.38    106.79      4.41   1000000         0
1393.93/1394.37	c       282       418    475.70    114.96      4.14   1000000         0
1395.63/1396.00	c       241       413    473.72    123.29      3.84   1000000         0
1397.23/1397.63	c       236       519    485.97    130.02      3.74   1000000         0
1398.84/1399.25	c       199       356    462.36    123.39      3.75   1000000         0
1400.43/1400.87	c       198       360    468.42    128.36      3.65   1000000         0
1402.04/1402.50	c       202       413    487.45    159.60      3.05   1000000         0
1403.73/1404.13	c       215       548    482.66    145.86      3.31   1000000         0
1405.34/1405.74	c       233       535    449.37    124.75      3.60   1000000         0
1406.93/1407.36	c       250       531    475.74    158.20      3.01   1000000         0
1408.53/1408.98	c       232       455    463.96    140.92      3.29   1000000         0
1410.23/1410.62	c       247       440    477.39    148.93      3.21   1000000         0
1411.83/1412.24	c       239       298    462.01    159.64      2.89   1000000         0
1413.43/1413.85	c       232       461    453.90    134.43      3.38   1000000         0
1415.03/1415.47	c       268       345    475.83    131.67      3.61   1000000         0
1416.63/1417.09	c       266       395    472.33    146.15      3.23   1000000         0
1418.33/1418.71	c       243       337    445.77    137.57      3.24   1000000         0
1419.93/1420.33	c       240       472    471.95    140.59      3.36   1000000         0
1421.52/1421.95	c       242       496    471.07    143.48      3.28   1000000         0
1423.12/1423.57	c       244       414    468.54    152.96      3.06   1000000         0
1424.72/1425.18	c       172       530    467.90    135.04      3.46   1000000         0
1426.42/1426.80	c       224       343    469.47    113.82      4.12   1000000         0
1428.02/1428.44	c       226       418    486.33    167.36      2.91   1000000         0
1429.63/1430.04	c       223       520    455.83    123.68      3.69   1000000         0
1431.22/1431.67	c       253       694    477.47    134.72      3.54   1000000         0
1432.83/1433.27	c       184       371    452.43    129.67      3.49   1000000         0
1434.42/1434.88	c       251       489    452.98    141.45      3.20   1000000         0
1436.13/1436.51	c       223       474    470.84    149.12      3.16   1000000         0
1437.72/1438.15	c       255       302    482.04    133.11      3.62   1000000         0
1439.32/1439.77	c       257       394    477.16    138.49      3.45   1000000         0
1440.92/1441.39	c       240       494    468.12    114.64      4.08   1000000         0
1442.62/1443.00	c       210       449    454.82    161.51      2.82   1000000         0
1444.22/1444.62	c       248       433    468.75    144.93      3.23   1000000         0
1445.82/1446.25	c       267       536    486.72    141.13      3.45   1000000         0
1447.42/1447.88	c       247       525    485.49    159.89      3.04   1000000         0
1449.02/1449.49	c       229       387    447.24    118.73      3.77   1000000         0
1450.72/1451.11	c       240       472    467.54    142.00      3.29   1000000         0
1452.32/1452.73	c       249       267    462.07    151.56      3.05   1000000         0
1453.92/1454.35	c       232       567    468.14    132.90      3.52   1000000         0
1455.52/1455.97	c       211       344    458.30    127.63      3.59   1000000         0
1457.12/1457.57	c       234       528    448.16    130.92      3.42   1000000         0
1458.81/1459.20	c       219       507    469.30    124.36      3.77   1000000         0
1460.42/1460.81	c       211       390    457.42    138.19      3.31   1000000         0
1462.01/1462.45	c       254       436    483.46    152.61      3.17   1000000         0
1463.62/1464.08	c       233       412    482.48    182.59      2.64   1000000         0
1465.21/1465.69	c       214       280    450.96    153.38      2.94   1000000         0
1466.92/1467.31	c       230       355    473.35    161.51      2.93   1000000         0
1468.51/1468.93	c       234       422    472.42    142.94      3.30   1000000         0
1470.11/1470.56	c       220       409    472.24    156.45      3.02   1000000         0
1471.71/1472.19	c       252       451    478.32    138.68      3.45   1000000         0
1473.41/1473.82	c       246       369    476.38    145.43      3.28   1000000         0
1475.01/1475.44	c       244       366    453.46    134.52      3.37   1000000         0
1476.61/1477.06	c       245       403    467.81    139.40      3.36   1000000         0
1478.21/1478.67	c       221       375    467.06    153.62      3.04   1000000         0
1479.81/1480.29	c       204       469    467.54    114.16      4.10   1000000         0
1481.51/1481.92	c       226       449    476.95    137.26      3.47   1000000         0
1483.11/1483.54	c       229       399    466.07    142.54      3.27   1000000         0
1484.71/1485.16	c       222       463    459.23    129.34      3.55   1000000         0
1486.31/1486.79	c       241       426    467.84    140.33      3.33   1000000         0
1488.01/1488.42	c       244       367    484.54    146.44      3.31   1000000         0
1489.61/1490.03	c       226       383    466.52    132.55      3.52   1000000         0
1491.21/1491.64	c       243       403    443.02    136.35      3.25   1000000         0
1492.80/1493.26	c       213       546    460.65    125.42      3.67   1000000         0
1494.41/1494.87	c       239       459    466.06    147.51      3.16   1000000         0
1496.00/1496.49	c       250       585    465.64    124.81      3.73   1000000         0
1497.71/1498.11	c       248       436    464.67    139.12      3.34   1000000         0
1499.30/1499.74	c       259       419    470.96    135.97      3.46   1000000         0
1500.90/1501.36	c       207       384    474.79    162.82      2.92   1000000         0
1502.50/1502.99	c       247       485    472.48    115.34      4.10   1000000         0
1504.20/1504.62	c       254       505    462.92    102.28      4.53   1000000         0
1505.80/1506.25	c       245       405    486.59    149.09      3.26   1000000         0
1507.40/1507.88	c       219       495    476.90    149.00      3.20   1000000         0
1509.10/1509.51	c       226       307    477.55    133.57      3.58   1000000         0
1510.70/1511.13	c       276       419    476.73    160.97      2.96   1000000         0
1512.30/1512.75	c       206       449    465.61    146.03      3.19   1000000         0
1513.90/1514.37	c       224       353    467.99    146.13      3.20   1000000         0
1515.50/1515.99	c       218       325    470.69    152.47      3.09   1000000         0
1517.20/1517.63	c       252       490    504.18    167.12      3.02   1000000         0
1518.80/1519.24	c       226       516    438.71    123.59      3.55   1000000         0
1520.40/1520.85	c       216       399    466.97    116.91      3.99   1000000         0
1522.00/1522.47	c       234       477    459.62    128.38      3.58   1000000         0
1523.60/1524.09	c       171       405    476.39    158.86      3.00   1000000         0
1525.30/1525.72	c       185       377    477.59    177.32      2.69   1000000         0
1526.89/1527.33	c       255       528    456.57    140.16      3.26   1000000         0
1528.50/1528.94	c       253       452    460.26    127.85      3.60   1000000         0
1530.09/1530.56	c       244       515    465.97    128.65      3.62   1000000         0
1531.69/1532.18	c       193       323    470.37    133.15      3.53   1000000         0
1533.39/1533.80	c       218       474    473.08    136.27      3.47   1000000         0
1534.99/1535.42	c       203       355    464.20    131.43      3.53   1000000         0
1536.59/1537.05	c       234       471    468.54    146.93      3.19   1000000         0
1538.19/1538.66	c       267       375    454.05    117.96      3.85   1000000         0
1539.79/1540.29	c       241       533    473.06    160.25      2.95   1000000         0
1541.49/1541.90	c       206       390    456.39    166.29      2.74   1000000         0
1543.09/1543.52	c       197       281    464.26    160.35      2.90   1000000         0
1544.69/1545.15	c       269       441    490.86    157.04      3.13   1000000         0
1546.29/1546.78	c       268       521    490.05    141.56      3.46   1000000         0
1547.89/1548.38	c       219       431    447.47    133.87      3.34   1000000         0
1549.59/1550.01	c       233       474    482.18    171.15      2.82   1000000         0
1551.19/1551.63	c       247       425    457.21    106.96      4.27   1000000         0
1552.80/1553.26	c       248       407    484.31    127.30      3.80   1000000         0
1554.39/1554.86	c       245       444    440.09     98.43      4.47   1000000         0
1556.00/1556.48	c       245       453    466.73    119.84      3.89   1000000         0
1557.59/1558.10	c       230       396    468.78    138.24      3.39   1000000         0
1559.29/1559.71	c       246       447    460.08    135.30      3.40   1000000         0
1560.89/1561.32	c       216       609    444.58    112.10      3.97   1000000         0
1562.49/1562.95	c       185       516    475.72    139.08      3.42   1000000         0
1564.09/1564.56	c       221       357    455.65    126.82      3.59   1000000         0
1565.69/1566.19	c       254       470    476.37    128.47      3.71   1000000         0
1567.39/1567.80	c       217       494    460.36    138.35      3.33   1000000         0
1568.98/1569.43	c       245       502    491.27    142.25      3.45   1000000         0
1570.58/1571.05	c       242       389    462.38    149.31      3.10   1000000         0
1572.18/1572.69	c       280       434    500.58    166.77      3.00   1000000         0
1573.88/1574.32	c       169       521    479.03    149.63      3.20   1000000         0
1575.48/1575.94	c       225       477    457.53    134.06      3.41   1000000         0
1577.08/1577.57	c       223       498    478.39    155.16      3.08   1000000         0
1578.68/1579.19	c       225       398    460.77    144.57      3.19   1000000         0
1580.38/1580.82	c       216       489    472.08    158.46      2.98   1000000         0
1581.98/1582.44	c       239       521    466.70    134.88      3.46   1000000         0
1583.59/1584.07	c       234       363    472.82    151.47      3.12   1000000         0
1585.18/1585.69	c       243       489    469.50    109.19      4.30   1000000         0
1586.89/1587.33	c       245       382    487.96    154.03      3.17   1000000         0
1588.48/1588.97	c       234       475    494.69    168.25      2.94   1000000         0
1590.09/1590.59	c       270       467    472.36    141.05      3.35   1000000         0
1591.78/1592.22	c       238       307    467.00    155.87      3.00   1000000         0
1593.39/1593.84	c       220       358    457.02    156.62      2.92   1000000         0
1594.98/1595.45	c       198       256    444.59    120.41      3.69   1000000         0
1596.58/1597.08	c       269       377    489.71    157.37      3.11   1000000         0
1598.28/1598.70	c       241       413    457.95    132.55      3.45   1000000         0
1599.88/1600.32	c       199       461    466.81    149.02      3.13   1000000         0
1601.48/1601.94	c       252       476    461.94    119.19      3.88   1000000         0
1603.08/1603.56	c       235       322    466.35    123.92      3.76   1000000         0
1604.68/1605.19	c       238       454    476.50    156.60      3.04   1000000         0
1606.38/1606.82	c       240       486    482.02    151.33      3.19   1000000         0
1607.98/1608.45	c       243       402    472.40    152.58      3.10   1000000         0
1609.58/1610.05	c       214       418    456.97    134.50      3.40   1000000         0
1611.18/1611.68	c       234       426    475.45    134.62      3.53   1000000         0
1612.77/1613.29	c       229       694    468.41    153.39      3.05   1000000         0
1614.47/1614.93	c       247       424    476.12    153.59      3.10   1000000         0
1616.07/1616.56	c       257       483    469.22    152.54      3.08   1000000         0
1617.68/1618.19	c       230       388    477.00    178.73      2.67   1000000         0
1619.37/1619.81	c       214       443    464.29    137.88      3.37   1000000         0
1620.98/1621.43	c       236       491    454.74    141.12      3.22   1000000         0
1622.57/1623.07	c       281       481    493.51    143.22      3.45   1000000         0
1624.18/1624.70	c       266       526    481.63    145.89      3.30   1000000         0
1625.87/1626.32	c       207       390    467.83    129.97      3.60   1000000         0
1627.48/1627.95	c       154       670    479.11    171.98      2.79   1000000         0
1629.07/1629.57	c       242       427    460.74    137.41      3.35   1000000         0
1630.78/1631.20	c       274       436    482.24    120.26      4.01   1000000         0
1632.37/1632.82	c       205       640    469.21    156.29      3.00   1000000         0
1633.97/1634.44	c       214       500    473.60    127.92      3.70   1000000         0
1635.57/1636.05	c       185       369    443.14    133.64      3.32   1000000         0
1637.17/1637.69	c       245       362    487.58    185.10      2.63   1000000         0
1638.87/1639.31	c       192       526    478.83    143.08      3.35   1000000         0
1640.47/1640.92	c       226       358    453.63    112.79      4.02   1000000         0
1642.07/1642.54	c       235       434    464.81    108.99      4.26   1000000         0
1643.67/1644.16	c       213       377    457.19    122.46      3.73   1000000         0
1645.27/1645.77	c       241       458    460.48    131.36      3.51   1000000         0
1646.96/1647.41	c       230       462    487.70    161.17      3.03   1000000         0
1648.56/1649.03	c       210       535    466.85    143.06      3.26   1000000         0
1650.16/1650.66	c       221       437    474.27    139.14      3.41   1000000         0
1651.77/1652.28	c       192       383    451.61    122.27      3.69   1000000         0
1653.46/1653.90	c       265       441    467.35    126.04      3.71   1000000         0
1655.07/1655.52	c       205       413    478.34    178.83      2.67   1000000         0
1656.66/1657.14	c       202       360    449.67    121.26      3.71   1000000         0
1658.27/1658.76	c       238       341    466.06    112.56      4.14   1000000         0
1659.86/1660.39	c       213       716    484.02    137.14      3.53   1000000         0
1661.57/1662.01	c       198       381    470.91    148.04      3.18   1000000         0
1663.16/1663.62	c       235       529    456.27    149.74      3.05   1000000         0
1664.76/1665.24	c       222       475    464.22    143.76      3.23   1000000         0
1666.36/1666.86	c       226       401    467.52    150.23      3.11   1000000         0
1667.96/1668.47	c       202       433    458.04    143.87      3.18   1000000         0
1669.66/1670.11	c       232       443    486.82    144.12      3.38   1000000         0
1671.26/1671.72	c       242       525    456.28    107.09      4.26   1000000         0
1672.86/1673.34	c       211       546    471.11    178.30      2.64   1000000         0
1674.46/1674.96	c       244       411    461.12    151.85      3.04   1000000         0
1676.06/1676.57	c       212       328    459.06    153.77      2.99   1000000         0
1677.66/1678.18	c       242       461    471.92    122.64      3.85   1000000         0
1679.36/1679.81	c       229       402    462.14    151.11      3.06   1000000         0
1680.95/1681.42	c       205       460    458.38    134.49      3.41   1000000         0
1682.56/1683.06	c       266       385    486.31    143.06      3.40   1000000         0
1684.15/1684.69	c       242       386    474.62    125.38      3.79   1000000         0
1685.86/1686.31	c       251       443    459.84    132.15      3.48   1000000         0
1687.45/1687.94	c       258       417    477.39    131.75      3.62   1000000         0
1689.06/1689.56	c       269       435    464.69    150.74      3.08   1000000         0
1690.65/1691.18	c       236       462    458.44    146.56      3.13   1000000         0
1692.25/1692.79	c       219       458    467.99    154.63      3.03   1000000         0
1693.95/1694.41	c       267       452    461.97    133.31      3.47   1000000         0
1695.55/1696.03	c       227       479    470.24    141.73      3.32   1000000         0
1697.15/1697.66	c       276       470    482.84    146.90      3.29   1000000         0
1698.75/1699.27	c       241       506    464.06    132.24      3.51   1000000         0
1700.35/1700.89	c       251       375    463.93    140.36      3.31   1000000         0
1702.05/1702.53	c       259       585    488.33    124.09      3.94   1000000         0
1703.65/1704.15	c       217       437    469.85    149.34      3.15   1000000         0
1705.25/1705.76	c       235       363    451.72    140.68      3.21   1000000         0
1706.85/1707.38	c       257       426    475.53    124.15      3.83   1000000         0
1708.55/1709.01	c       175       446    473.00    163.48      2.89   1000000         0
1710.15/1710.61	c       201       510    449.63    125.86      3.57   1000000         0
1711.75/1712.24	c       287       511    495.98    143.19      3.46   1000000         0
1713.35/1713.87	c       218       473    478.30    148.51      3.22   1000000         0
1714.95/1715.49	c       246       333    462.91    123.79      3.74   1000000         0
1716.65/1717.11	c       276       364    463.51     96.14      4.82   1000000         0
1718.24/1718.73	c       149       396    463.70    131.89      3.52   1000000         0
1719.85/1720.35	c       234       475    460.92    139.35      3.31   1000000         0
1721.44/1721.96	c       224       353    456.27    139.52      3.27   1000000         0
1723.04/1723.59	c       247       513    457.21    137.75      3.32   1000000         0
1724.74/1725.22	c       281       368    497.13    133.35      3.73   1000000         0
1726.34/1726.84	c       165       437    469.95    126.23      3.72   1000000         0
1727.94/1728.47	c       246       451    478.94    161.37      2.97   1000000         0
1729.54/1730.08	c       253       505    452.33    122.99      3.68   1000000         0
1731.24/1731.72	c       222       576    497.40    147.23      3.38   1000000         0
1732.84/1733.34	c       186       395    457.68    133.82      3.42   1000000         0
1734.44/1734.95	c       196       412    460.63    141.05      3.27   1000000         0
1736.04/1736.58	c       264       351    482.43    135.55      3.56   1000000         0
1737.64/1738.19	c       236       337    451.45    101.44      4.45   1000000         0
1739.34/1739.81	c       241       537    477.38    155.96      3.06   1000000         0
1740.94/1741.43	c       270       532    474.04    136.18      3.48   1000000         0
1742.54/1743.05	c       200       502    459.10    158.69      2.89   1000000         0
1744.15/1744.66	c       249       420    462.47    156.45      2.96   1000000         0
1745.74/1746.28	c       220       522    453.84    154.55      2.94   1000000         0
1747.34/1747.89	c       256       440    457.59    145.31      3.15   1000000         0
1749.04/1749.51	c       253       381    469.76    115.89      4.05   1000000         0
1750.64/1751.13	c       235       459    467.61    140.36      3.33   1000000         0
1752.24/1752.75	c       274       331    472.29    132.75      3.56   1000000         0
1753.84/1754.36	c       203       433    447.75    139.50      3.21   1000000         0
1755.44/1755.99	c       244       455    455.78    138.33      3.29   1000000         0
1757.13/1757.60	c       243       462    451.49    133.21      3.39   1000000         0
1758.73/1759.23	c       230       463    469.43    119.09      3.94   1000000         0
1760.33/1760.84	c       194       540    454.64    137.09      3.32   1000000         0
1761.93/1762.47	c       230       397    474.05    153.86      3.08   1000000         0
1763.53/1764.09	c       258       545    471.30    161.47      2.92   1000000         0
1765.23/1765.72	c       233       434    469.18    135.24      3.47   1000000         0
1766.83/1767.34	c       207       459    471.34    145.83      3.23   1000000         0
1768.43/1768.95	c       241       484    454.39    144.70      3.14   1000000         0
1770.03/1770.57	c       268       427    465.74    131.35      3.55   1000000         0
1771.64/1772.18	c       215       553    447.22    144.55      3.09   1000000         0
1773.23/1773.79	c       215       457    444.03    119.34      3.72   1000000         0
1774.94/1775.43	c       298       393    494.72    160.57      3.08   1000000         0
1776.53/1777.04	c       253       435    463.80    134.28      3.45   1000000         0
1778.13/1778.65	c       236       416    452.63    128.69      3.52   1000000         0
1779.73/1780.27	c       260       432    474.62    154.53      3.07   1000000         0
1781.33/1781.89	c       241       384    466.74    145.76      3.20   1000000         0
1783.03/1783.52	c       199       414    478.08    135.60      3.53   1000000         0
1784.63/1785.14	c       227       334    465.94    153.62      3.03   1000000         0
1786.23/1786.76	c       254       481    468.78    129.18      3.63   1000000         0
1787.93/1788.40	c       226       502    481.87    164.24      2.93   1000000         0
1789.53/1790.02	c       219       424    468.68    155.99      3.00   1000000         0
1791.12/1791.64	c       241       671    467.87    147.90      3.16   1000000         0
1792.72/1793.27	c       221       503    477.97    132.90      3.60   1000000         0
1794.32/1794.90	c       269       483    473.63    134.07      3.53   1000000         0
1796.02/1796.51	c       169       403    450.78    180.44      2.50   1000000         0
1797.62/1798.11	c       191       422    443.95    114.07      3.89   1000000         0
1799.22/1799.72	c       207       629    443.60    131.63      3.37   1000000         0
1800.03/1800.51	HOME/run: line 2: 20845 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-2685210-1278440207/watcher-2685210-1278440207 -o /tmp/evaluation-result-2685210-1278440207/solver-2685210-1278440207 -C 1800 -W 2000 -M 1800 run HOME/instance-2685210-1278440207.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.00 1.00 1.00 3/106 20844
/proc/meminfo: memFree=1777004/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) R 20842 20844 19821 0 -1 4202496 344 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997681557 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0

[startup+0.090682 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20844
/proc/meminfo: memFree=1777004/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101683 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20844
/proc/meminfo: memFree=1777004/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301703 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20844
/proc/meminfo: memFree=1777004/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701743 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20844
/proc/meminfo: memFree=1777004/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50183 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20846
/proc/meminfo: memFree=1770292/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1.49
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1691 0 0 0 149 0 0 0 25 0 1 0 12232206 41422848 1621 1992294400 134512640 135071400 4288410256 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1621 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10199 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20846
/proc/meminfo: memFree=1770168/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=3.09
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 309 0 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30131 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20846
/proc/meminfo: memFree=1770044/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=6.29
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 629 0 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134571231 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20846
/proc/meminfo: memFree=1769920/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=12.68
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 1268 0 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20846
/proc/meminfo: memFree=1769920/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=25.48
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 2548 0 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20847
/proc/meminfo: memFree=1769920/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=51.07
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 5107 0 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134519876 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20848
/proc/meminfo: memFree=1769672/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=102.27
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 10227 0 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20853
/proc/meminfo: memFree=1769052/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=162.24
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 16224 0 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20854
/proc/meminfo: memFree=1769052/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=222.23
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 22222 1 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20856
/proc/meminfo: memFree=1769052/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=282.22
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 28221 1 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134537183 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20858
/proc/meminfo: memFree=1769052/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=342.2
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 34219 1 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20859
/proc/meminfo: memFree=1769052/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=402.19
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 40218 1 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1122
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 112199 1 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526311 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20880
/proc/meminfo: memFree=1768184/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1181.98
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 118197 1 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20882
/proc/meminfo: memFree=1767936/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1241.97
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 124196 1 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20883
/proc/meminfo: memFree=1767812/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1301.97
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 130195 2 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526109 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20885
/proc/meminfo: memFree=1767688/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1361.94
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 136192 2 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20886
/proc/meminfo: memFree=1767688/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1421.93
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 142191 2 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20888
/proc/meminfo: memFree=1767688/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1481.91
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 148189 2 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20890
/proc/meminfo: memFree=1767564/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1541.89
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 154187 2 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526317 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20891
/proc/meminfo: memFree=1767440/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1601.88
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 160186 2 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20893
/proc/meminfo: memFree=1767316/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1661.86
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 166184 2 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20894
/proc/meminfo: memFree=1767192/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1721.84
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 172182 2 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20896
/proc/meminfo: memFree=1766944/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1781.83
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 178181 2 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20897
/proc/meminfo: memFree=1766944/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1800.03
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 180001 2 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20897
/proc/meminfo: memFree=1766944/2059040 swapFree=4192956/4192956
[pid=20844] ppid=20842 vsize=8700 CPUtime=0
/proc/20844/stat : 20844 (run) S 20842 20844 19821 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12232206 8908800 244 1992294400 4194304 4922060 140737424584768 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20844/statm: 2175 244 204 178 0 68 0
[pid=20845] ppid=20844 vsize=40452 CPUtime=1800.03
/proc/20845/stat : 20845 (PB-wave) R 20844 20844 19821 0 -1 4202496 1699 0 0 0 180001 2 0 0 25 0 1 0 12232206 41422848 1629 1992294400 134512640 135071400 4288410256 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20845/statm: 10113 1629 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1800.02
CPU system time (s): 0.031995
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 3.75243 second user time and 9.43456 second system time

The end

Launcher Data 

Begin job on node027 at 2010-07-06 20:16:47
IDJOB=2685210
IDBENCH=74988
IDSOLVER=1171
FILE ID=node027/2685210-1278440207
PBS_JOBID= 11233450
Free space on /tmp= 62344 MiB

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

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

MD5SUM BENCH= 32e9b9a6c295dd87412601553fe4d4db
RANDOM SEED=1264601843

node027.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		: 2800.222
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	: 5600.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.222
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:       1777532 kB
Buffers:         17904 kB
Cached:         127332 kB
SwapCached:          0 kB
Active:          83892 kB
Inactive:       121860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1777532 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2720 kB
Writeback:           0 kB
AnonPages:       60524 kB
Mapped:          14524 kB
Slab:            53832 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181428 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62344 MiB
End job on node027 at 2010-07-06 20:46:48