Trace number 2669881

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.12 1800.72

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
MD5SUMd30cbdfbaf2c404a9c4e9217e33c734d
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.249961
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6392
Total number of constraints18058
Number of constraints which are clauses17278
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints780
Minimum length of a constraint1
Maximum length of a constraint11
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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.05	c PB-wave - v2
0.00/0.05	c command line = ./PB-wave
0.00/0.05	c seed = 37351318
0.00/0.05	c cutoff = 1000000
0.00/0.05	c tries = 1000000
0.00/0.05	c heuristic = c best, noise 50 / 100
0.00/0.05	#var 6392 #con 18058
0.00/0.05	mode is SAT
0.00/0.05	c tail starts after flip = 19176
0.00/0.05	c numatom = 6392, numclause = 18058, numliterals = 48384
0.00/0.05	c wff read in
0.00/0.05	c 
0.00/0.05	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.05	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.05	c       this      this      this      this      this      this   success   success       until         std
0.00/0.05	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.05	c
1.59/1.68	c       258       428    401.52     58.14      6.91   1000000         0
3.30/3.34	c       249       369    379.79     52.16      7.28   1000000         0
4.89/4.99	c       240       328    383.38     61.95      6.19   1000000         0
6.60/6.64	c       239       374    388.14     60.84      6.38   1000000         0
8.19/8.28	c       254       364    391.06     58.63      6.67   1000000         0
9.90/9.94	c       238       318    388.26     61.73      6.29   1000000         0
11.49/11.58	c       259       468    390.72     50.11      7.80   1000000         0
13.19/13.22	c       259       385    392.93     55.93      7.03   1000000         0
14.79/14.86	c       251       402    393.38     55.38      7.10   1000000         0
16.49/16.52	c       242       371    382.76     55.90      6.85   1000000         0
18.09/18.16	c       253       406    383.47     55.21      6.95   1000000         0
19.79/19.82	c       254       426    389.76     61.35      6.35   1000000         0
21.38/21.47	c       252       386    384.03     55.27      6.95   1000000         0
23.09/23.13	c       245       391    382.20     54.83      6.97   1000000         0
24.68/24.77	c       224       423    384.96     65.96      5.84   1000000         0
26.39/26.43	c       238       380    383.93     68.35      5.62   1000000         0
27.98/28.07	c       268       454    403.43     60.46      6.67   1000000         0
29.69/29.73	c       221       351    370.40     62.20      5.95   1000000         0
31.28/31.35	c       259       402    399.47     53.87      7.42   1000000         0
32.99/33.01	c       207       303    379.73     56.29      6.75   1000000         0
34.58/34.67	c       248       371    373.08     51.18      7.29   1000000         0
36.18/36.30	c       214       300    383.34     57.69      6.65   1000000         0
37.88/37.95	c       238       407    391.75     51.35      7.63   1000000         0
39.48/39.60	c       236       342    389.35     61.91      6.29   1000000         0
41.18/41.23	c       269       372    394.83     54.60      7.23   1000000         0
42.78/42.86	c       255       435    406.91     57.47      7.08   1000000         0
44.48/44.51	c       251       381    381.19     61.70      6.18   1000000         0
46.08/46.17	c       260       371    396.91     58.00      6.84   1000000         0
47.78/47.82	c       259       387    392.01     54.19      7.23   1000000         0
49.38/49.47	c       249       446    398.93     60.90      6.55   1000000         0
51.08/51.12	c       252       365    389.20     64.54      6.03   1000000         0
52.68/52.75	c       239       326    402.28     58.45      6.88   1000000         0
54.37/54.40	c       251       408    385.71     52.21      7.39   1000000         0
55.98/56.03	c       264       496    401.89     53.62      7.50   1000000         0
57.57/57.67	c       230       397    388.39     53.92      7.20   1000000         0
59.27/59.32	c       232       389    394.40     63.77      6.18   1000000         0
60.87/60.98	c       254       420    380.71     62.54      6.09   1000000         0
62.57/62.64	c       239       376    393.25     58.68      6.70   1000000         0
64.27/64.31	c       230       313    374.87     62.04      6.04   1000000         0
65.87/65.97	c       225       379    382.13     62.28      6.14   1000000         0
67.57/67.64	c       220       335    373.89     55.75      6.71   1000000         0
69.17/69.28	c       262       430    401.00     58.09      6.90   1000000         0
70.87/70.93	c       241       408    392.60     58.94      6.66   1000000         0
72.58/72.62	c       245       393    381.36     58.19      6.55   1000000         0
74.17/74.27	c       248       402    394.68     64.25      6.14   1000000         0
75.87/75.92	c       253       369    409.31     69.02      5.93   1000000         0
77.47/77.57	c       235       364    387.02     63.90      6.06   1000000         0
79.17/79.20	c       236       368    396.74     57.21      6.93   1000000         0
80.76/80.83	c       265       341    395.83     54.80      7.22   1000000         0
82.37/82.47	c       235       363    393.31     62.02      6.34   1000000         0
84.06/84.12	c       228       331    378.89     53.25      7.12   1000000         0
85.67/85.78	c       233       322    373.66     59.40      6.29   1000000         0
87.36/87.40	c       265       394    401.84     57.75      6.96   1000000         0
88.96/89.05	c       243       296    388.73     61.05      6.37   1000000         0
90.66/90.71	c       231       294    388.96     67.80      5.74   1000000         0
92.26/92.35	c       246       322    389.91     54.71      7.13   1000000         0
93.96/94.03	c       229       372    367.03     58.31      6.29   1000000         0
95.56/95.67	c       242       407    391.85     57.93      6.76   1000000         0
97.26/97.35	c       229       358    371.34     67.09      5.53   1000000         0
98.86/99.00	c       226       339    383.28     58.87      6.51   1000000         0
100.56/100.64	c       251       367    391.66     58.17      6.73   1000000         0
102.16/102.28	c       240       393    393.31     54.81      7.18   1000000         0
103.86/103.94	c       242       327    382.76     48.59      7.88   1000000         0
105.46/105.59	c       252       363    385.13     59.64      6.46   1000000         0
107.16/107.21	c       267       418    390.74     62.76      6.23   1000000         0
108.76/108.86	c       222       411    374.25     62.39      6.00   1000000         0
110.46/110.52	c       238       396    373.76     56.61      6.60   1000000         0
112.06/112.19	c       222       319    369.08     55.76      6.62   1000000         0
113.75/113.83	c       244       371    404.66     55.27      7.32   1000000         0
115.36/115.46	c       243       359    399.83     64.31      6.22   1000000         0
117.05/117.11	c       230       330    381.44     60.88      6.27   1000000         0
118.65/118.75	c       240       346    400.73     56.43      7.10   1000000         0
120.35/120.41	c       253       334    381.14     53.30      7.15   1000000         0
121.95/122.07	c       243       359    383.74     58.96      6.51   1000000         0
123.65/123.72	c       256       311    383.13     52.51      7.30   1000000         0
125.25/125.37	c       248       372    379.86     55.21      6.88   1000000         0
126.95/127.01	c       252       356    393.14     59.82      6.57   1000000         0
128.55/128.65	c       252       357    391.13     60.58      6.46   1000000         0
130.25/130.31	c       249       427    388.57     52.16      7.45   1000000         0
131.85/131.97	c       237       374    388.13     62.81      6.18   1000000         0
133.55/133.61	c       265       329    397.65     55.40      7.18   1000000         0
135.15/135.25	c       244       358    391.85     56.34      6.96   1000000         0
136.75/136.89	c       239       354    385.60     50.64      7.61   1000000         0
138.45/138.53	c       280       410    405.52     50.99      7.95   1000000         0
140.04/140.17	c       254       383    387.95     64.59      6.01   1000000         0
141.75/141.83	c       239       337    379.63     57.88      6.56   1000000         0
143.34/143.47	c       257       331    397.80     55.64      7.15   1000000         0
145.05/145.12	c       259       420    385.81     56.65      6.81   1000000         0
146.64/146.77	c       232       374    378.09     60.47      6.25   1000000         0
148.35/148.40	c       265       381    399.45     53.24      7.50   1000000         0
149.94/150.05	c       236       372    383.70     55.59      6.90   1000000         0
151.64/151.71	c       243       410    377.88     53.12      7.11   1000000         0
153.24/153.36	c       247       360    381.22     57.25      6.66   1000000         0
154.84/154.98	c       228       429    395.07     56.42      7.00   1000000         0
156.54/156.62	c       258       388    394.63     67.01      5.89   1000000         0
158.14/158.26	c       248       347    402.64     60.49      6.66   1000000         0
159.84/159.91	c       252       416    390.68     57.50      6.79   1000000         0
161.44/161.53	c       255       363    400.14     58.17      6.88   1000000         0
163.04/163.17	c       255       430    384.14     60.61      6.34   1000000         0
164.64/164.79	c       279       371    412.10     51.16      8.05   1000000         0
166.34/166.44	c       256       360    399.90     63.21      6.33   1000000         0
167.94/168.08	c       258       362    394.15     64.42      6.12   1000000         0
169.64/169.72	c       251       352    395.85     57.58      6.88   1000000         0
171.23/171.34	c       269       358    399.50     53.30      7.50   1000000         0
172.83/172.99	c       234       402    392.60     60.20      6.52   1000000         0
174.53/174.65	c       239       360    377.91     55.38      6.82   1000000         0
176.13/176.29	c       267       380    396.25     56.00      7.08   1000000         0
177.83/177.94	c       246       342    381.32     50.81      7.50   1000000         0
179.53/179.60	c       258       407    384.51     58.91      6.53   1000000         0
181.13/181.28	c       241       308    368.09     57.72      6.38   1000000         0
182.83/182.92	c       266       407    393.50     64.88      6.06   1000000         0
184.43/184.56	c       232       376    385.50     64.04      6.02   1000000         0
186.03/186.19	c       262       429    405.36     50.78      7.98   1000000         0
187.73/187.82	c       217       372    389.21     55.89      6.96   1000000         0
189.33/189.46	c       249       340    389.15     55.71      6.99   1000000         0
191.03/191.10	c       273       402    398.74     54.94      7.26   1000000         0
192.63/192.73	c       260       393    385.30     48.06      8.02   1000000         0
194.23/194.37	c       253       359    392.04     58.07      6.75   1000000         0
195.93/196.01	c       262       339    394.75     57.42      6.87   1000000         0
197.52/197.64	c       239       347    383.32     56.36      6.80   1000000         0
199.12/199.28	c       249       382    400.05     60.05      6.66   1000000         0
200.82/200.91	c       264       336    395.01     57.82      6.83   1000000         0
202.42/202.55	c       260       347    388.82     59.70      6.51   1000000         0
204.12/204.20	c       252       371    384.77     55.08      6.99   1000000         0
205.72/205.85	c       242       397    387.11     58.32      6.64   1000000         0
207.32/207.48	c       223       300    388.68     62.86      6.18   1000000         0
209.02/209.13	c       243       359    382.12     55.72      6.86   1000000         0
210.62/210.79	c       250       389    396.32     58.42      6.78   1000000         0
212.32/212.45	c       249       397    377.79     52.45      7.20   1000000         0
213.92/214.09	c       261       400    387.87     58.07      6.68   1000000         0
215.62/215.73	c       255       368    387.24     59.56      6.50   1000000         0
217.22/217.39	c       246       352    385.67     58.79      6.56   1000000         0
218.92/219.03	c       245       346    390.62     55.73      7.01   1000000         0
220.52/220.68	c       229       367    384.88     62.41      6.17   1000000         0
222.22/222.30	c       270       367    400.67     61.52      6.51   1000000         0
223.82/223.96	c       237       355    376.98     66.82      5.64   1000000         0
225.51/225.62	c       254       413    397.25     63.65      6.24   1000000         0
227.11/227.25	c       258       346    400.04     52.92      7.56   1000000         0
228.81/228.90	c       237       348    377.15     57.61      6.55   1000000         0
230.41/230.54	c       233       405    374.84     64.81      5.78   1000000         0
232.02/232.19	c       256       439    413.04     58.14      7.10   1000000         0
233.71/233.82	c       252       378    399.65     52.64      7.59   1000000         0
235.32/235.46	c       258       461    392.77     52.21      7.52   1000000         0
237.01/237.12	c       236       403    371.62     52.30      7.11   1000000         0
238.62/238.76	c       229       291    395.65     65.55      6.04   1000000         0
240.31/240.42	c       231       333    373.69     60.24      6.20   1000000         0
241.92/242.08	c       266       385    386.10     53.51      7.22   1000000         0
243.61/243.72	c       254       469    397.99     56.66      7.02   1000000         0
245.22/245.33	c       264       339    400.38     60.27      6.64   1000000         0
246.81/246.96	c       269       482    399.98     54.71      7.31   1000000         0
248.52/248.61	c       231       274    385.17     56.16      6.86   1000000         0
250.11/250.24	c       226       413    391.57     66.95      5.85   1000000         0
251.71/251.89	c       242       377    393.20     61.43      6.40   1000000         0
253.41/253.53	c       271       374    391.71     50.30      7.79   1000000         0
255.01/255.18	c       246       318    388.95     57.94      6.71   1000000         0
256.70/256.82	c       268       361    389.84     50.18      7.77   1000000         0
258.31/258.45	c       257       341    393.93     61.79      6.38   1000000         0
260.00/260.10	c       244       361    383.14     67.17      5.70   1000000         0
261.61/261.75	c       256       384    400.51     59.50      6.73   1000000         0
263.30/263.41	c       241       360    383.99     59.48      6.46   1000000         0
264.91/265.05	c       245       325    387.86     59.63      6.50   1000000         0
266.60/266.70	c       257       357    392.21     54.04      7.26   1000000         0
268.20/268.36	c       241       262    384.46     56.63      6.79   1000000         0
269.90/270.03	c       251       379    383.43     55.18      6.95   1000000         0
271.50/271.66	c       235       316    389.59     53.44      7.29   1000000         0
273.20/273.32	c       246       393    386.27     54.75      7.05   1000000         0
274.80/274.97	c       246       377    379.86     62.53      6.08   1000000         0
276.50/276.62	c       259       323    391.86     52.22      7.50   1000000         0
278.10/278.27	c       244       297    394.82     54.42      7.26   1000000         0
279.80/279.90	c       243       371    386.63     57.57      6.72   1000000         0
281.40/281.53	c       253       353    402.55     62.22      6.47   1000000         0
283.00/283.16	c       271       384    400.36     56.65      7.07   1000000         0
284.70/284.81	c       228       406    378.66     60.77      6.23   1000000         0
286.29/286.46	c       252       414    385.69     66.22      5.82   1000000         0
288.00/288.12	c       249       385    384.60     65.58      5.86   1000000         0
289.59/289.76	c       253       393    387.27     52.61      7.36   1000000         0
291.30/291.41	c       242       341    380.15     51.62      7.36   1000000         0
292.89/293.05	c       247       338    387.15     57.18      6.77   1000000         0
294.60/294.71	c       241       332    379.64     64.11      5.92   1000000         0
296.19/296.35	c       275       418    413.78     60.26      6.87   1000000         0
297.89/298.01	c       244       340    389.23     54.25      7.18   1000000         0
299.49/299.65	c       262       355    398.91     58.06      6.87   1000000         0
301.09/301.28	c       265       391    409.38     63.53      6.44   1000000         0
302.79/302.91	c       256       283    385.80     59.65      6.47   1000000         0
304.39/304.54	c       252       352    387.51     49.20      7.88   1000000         0
306.09/306.20	c       217       294    390.22     64.27      6.07   1000000         0
307.69/307.85	c       265       426    395.45     55.01      7.19   1000000         0
309.39/309.52	c       234       397    380.72     64.58      5.90   1000000         0
310.99/311.19	c       234       344    365.58     54.03      6.77   1000000         0
312.69/312.82	c       213       344    398.36     60.48      6.59   1000000         0
314.29/314.47	c       253       425    393.50     60.01      6.56   1000000         0
315.99/316.14	c       228       355    382.52     65.15      5.87   1000000         0
317.58/317.78	c       255       439    404.11     59.46      6.80   1000000         0
319.28/319.44	c       237       322    381.70     58.37      6.54   1000000         0
320.88/321.07	c       254       390    399.89     52.42      7.63   1000000         0
322.58/322.71	c       240       340    390.33     59.21      6.59   1000000         0
324.18/324.35	c       240       385    396.80     62.24      6.38   1000000         0
325.78/325.99	c       267       381    399.09     56.28      7.09   1000000         0
327.48/327.62	c       274       358    403.70     62.21      6.49   1000000         0
329.08/329.26	c       258       368    388.95     56.82      6.84   1000000         0
330.78/330.90	c       273       451    399.19     48.07      8.30   1000000         0
332.38/332.55	c       231       415    381.13     62.52      6.10   1000000         0
333.98/334.18	c       248       382    386.25     67.19      5.75   1000000         0
335.68/335.82	c       265       472    403.35     48.59      8.30   1000000         0
337.28/337.47	c       249       359    394.33     61.14      6.45   1000000         0
338.98/339.14	c       223       324    363.90     56.37      6.46   1000000         0
340.58/340.79	c       264       358    395.38     48.87      8.09   1000000         0
342.27/342.45	c       257       353    386.07     62.93      6.13   1000000         0
343.87/344.09	c       259       353    384.46     51.38      7.48   1000000         0
345.57/345.74	c       248       301    387.99     60.65      6.40   1000000         0
347.17/347.39	c       239       330    388.64     51.64      7.53   1000000         0
348.87/349.02	c       256       352    400.91     51.91      7.72   1000000         0
350.47/350.67	c       236       398    390.58     52.73      7.41   1000000         0
352.07/352.29	c       239       339    399.20     62.46      6.39   1000000         0
353.77/353.93	c       263       431    396.19     59.43      6.67   1000000         0
355.37/355.57	c       244       428    385.15     58.18      6.62   1000000         0
356.97/357.19	c       263       353    388.77     52.80      7.36   1000000         0
358.67/358.83	c       222       349    390.71     57.49      6.80   1000000         0
360.27/360.49	c       246       408    381.72     60.04      6.36   1000000         0
361.97/362.11	c       282       414    407.42     54.53      7.47   1000000         0
363.57/363.76	c       232       362    379.84     60.68      6.26   1000000         0
365.27/365.41	c       228       351    384.72     60.65      6.34   1000000         0
366.87/367.03	c       244       424    407.70     58.77      6.94   1000000         0
368.47/368.65	c       250       357    403.66     59.18      6.82   1000000         0
370.07/370.28	c       277       418    413.54     58.22      7.10   1000000         0
371.77/371.93	c       241       303    386.36     56.70      6.81   1000000         0
373.36/373.58	c       238       362    402.10     66.08      6.09   1000000         0
375.06/375.21	c       252       373    407.40     57.75      7.05   1000000         0
376.66/376.86	c       238       369    386.13     63.46      6.08   1000000         0
378.27/378.49	c       265       396    400.61     45.93      8.72   1000000         0
379.96/380.12	c       245       325    387.59     58.90      6.58   1000000         0
381.57/381.73	c       231       401    401.99     57.75      6.96   1000000         0
383.16/383.37	c       261       327    398.36     59.10      6.74   1000000         0
384.87/385.02	c       227       358    387.88     58.35      6.65   1000000         0
386.46/386.66	c       238       340    385.32     52.41      7.35   1000000         0
388.06/388.29	c       250       420    390.64     53.83      7.26   1000000         0
389.76/389.94	c       245       317    383.34     52.93      7.24   1000000         0
391.47/391.61	c       236       343    374.78     62.22      6.02   1000000         0
393.06/393.24	c       246       341    380.21     64.84      5.86   1000000         0
394.76/394.91	c       247       287    384.67     54.54      7.05   1000000         0
396.36/396.55	c       256       340    395.93     56.30      7.03   1000000         0
398.06/398.21	c       241       340    388.26     65.54      5.92   1000000         0
399.66/399.88	c       234       382    372.68     59.47      6.27   1000000         0
401.36/401.53	c       231       280    390.16     64.66      6.03   1000000         0
402.95/403.17	c       245       401    382.11     58.93      6.48   1000000         0
404.66/404.82	c       236       345    382.48     63.18      6.05   1000000         0
406.25/406.47	c       241       267    385.67     59.04      6.53   1000000         0
407.96/408.13	c       254       337    385.00     58.47      6.59   1000000         0
409.55/409.77	c       256       383    408.34     63.24      6.46   1000000         0
411.26/411.42	c       244       450    386.15     55.19      7.00   1000000         0
412.85/413.06	c       246       387    401.15     55.97      7.17   1000000         0
414.56/414.71	c       239       383    388.41     51.54      7.54   1000000         0
416.15/416.35	c       256       371    386.15     57.28      6.74   1000000         0
417.75/418.00	c       262       379    386.07     52.29      7.38   1000000         0
419.45/419.63	c       245       335    392.20     62.35      6.29   1000000         0
421.05/421.28	c       251       380    393.79     62.63      6.29   1000000         0
422.75/422.91	c       256       515    411.88     54.50      7.56   1000000         0
424.35/424.56	c       255       383    381.69     64.86      5.88   1000000         0
425.95/426.17	c       239       405    403.77     53.74      7.51   1000000         0
427.65/427.81	c       276       395    404.27     50.10      8.07   1000000         0
429.24/429.45	c       250       415    398.84     58.10      6.86   1000000         0
430.95/431.10	c       241       276    393.54     57.91      6.80   1000000         0
432.54/432.73	c       260       349    393.40     63.65      6.18   1000000         0
434.14/434.38	c       241       408    397.23     61.77      6.43   1000000         0
435.84/436.01	c       258       316    398.24     59.91      6.65   1000000         0
437.44/437.68	c       222       344    375.06     57.35      6.54   1000000         0
439.14/439.31	c       254       389    406.99     57.93      7.03   1000000         0
440.74/440.96	c       233       400    383.30     59.96      6.39   1000000         0
442.34/442.59	c       258       402    399.30     64.29      6.21   1000000         0
444.04/444.23	c       254       287    392.87     57.50      6.83   1000000         0
445.64/445.87	c       250       359    395.18     59.11      6.69   1000000         0
447.24/447.49	c       253       377    394.85     52.57      7.51   1000000         0
448.94/449.14	c       257       371    386.90     54.04      7.16   1000000         0
450.54/450.78	c       231       350    396.04     64.23      6.17   1000000         0
452.24/452.42	c       248       407    393.88     54.00      7.29   1000000         0
453.84/454.07	c       245       363    394.97     59.67      6.62   1000000         0
455.44/455.70	c       230       411    403.59     66.51      6.07   1000000         0
457.14/457.33	c       236       425    397.22     60.48      6.57   1000000         0
458.74/458.98	c       236       363    393.97     56.51      6.97   1000000         0
460.44/460.62	c       259       351    394.37     58.97      6.69   1000000         0
462.03/462.25	c       258       385    396.33     59.62      6.65   1000000         0
463.63/463.89	c       232       376    392.30     60.12      6.52   1000000         0
465.33/465.54	c       256       350    394.74     59.87      6.59   1000000         0
466.93/467.19	c       230       320    397.58     56.60      7.02   1000000         0
468.63/468.83	c       239       359    396.77     71.41      5.56   1000000         0
470.33/470.50	c       235       317    385.96     64.82      5.95   1000000         0
471.93/472.14	c       250       384    391.69     61.76      6.34   1000000         0
473.63/473.80	c       252       320    384.40     56.27      6.83   1000000         0
475.23/475.45	c       254       399    381.56     58.60      6.51   1000000         0
476.83/477.09	c       269       383    406.44     50.83      8.00   1000000         0
478.53/478.73	c       259       374    406.00     54.97      7.39   1000000         0
480.13/480.37	c       260       381    395.60     56.99      6.94   1000000         0
481.83/482.01	c       248       343    396.08     54.84      7.22   1000000         0
483.43/483.66	c       270       360    395.86     52.87      7.49   1000000         0
485.13/485.30	c       249       344    393.89     51.24      7.69   1000000         0
486.73/486.95	c       257       401    382.84     52.90      7.24   1000000         0
488.33/488.59	c       253       391    395.81     56.38      7.02   1000000         0
490.02/490.24	c       239       379    395.41     55.77      7.09   1000000         0
491.62/491.88	c       255       436    394.57     59.15      6.67   1000000         0
493.32/493.51	c       274       407    402.82     53.49      7.53   1000000         0
494.92/495.16	c       248       338    392.04     60.17      6.52   1000000         0
496.62/496.81	c       255       359    389.69     57.10      6.82   1000000         0
498.22/498.45	c       247       372    383.76     55.04      6.97   1000000         0
499.92/500.11	c       250       381    382.14     56.37      6.78   1000000         0
501.52/501.74	c       212       357    396.27     62.45      6.35   1000000         0
503.12/503.40	c       251       372    383.19     60.78      6.30   1000000         0
504.82/505.04	c       267       393    390.93     56.78      6.89   1000000         0
506.42/506.69	c       261       401    395.54     60.03      6.59   1000000         0
508.12/508.32	c       253       338    409.44     62.97      6.50   1000000         0
509.72/509.96	c       236       363    395.39     60.06      6.58   1000000         0
511.42/511.60	c       260       371    395.23     55.89      7.07   1000000         0
513.02/513.24	c       252       418    401.27     56.53      7.10   1000000         0
514.62/514.88	c       238       428    398.11     61.09      6.52   1000000         0
516.32/516.52	c       255       329    395.97     58.75      6.74   1000000         0
517.92/518.16	c       255       353    389.90     57.87      6.74   1000000         0
519.62/519.80	c       264       392    388.04     56.16      6.91   1000000         0
521.22/521.46	c       233       390    376.20     57.19      6.58   1000000         0
522.91/523.11	c       250       429    397.11     60.69      6.54   1000000         0
524.52/524.75	c       212       286    379.68     61.24      6.20   1000000         0
526.21/526.40	c       244       297    403.43     56.40      7.15   1000000         0
527.82/528.04	c       245       399    391.55     64.07      6.11   1000000         0
529.41/529.69	c       250       385    383.71     49.00      7.83   1000000         0
531.12/531.34	c       240       405    394.89     57.84      6.83   1000000         0
532.71/532.96	c       264       377    403.33     54.78      7.36   1000000         0
534.31/534.60	c       215       310    378.87     60.66      6.25   1000000         0
536.01/536.25	c       228       333    381.41     58.22      6.55   1000000         0
537.61/537.89	c       259       367    393.48     53.40      7.37   1000000         0
539.31/539.54	c       230       372    382.21     56.95      6.71   1000000         0
540.91/541.19	c       231       392    374.56     62.95      5.95   1000000         0
542.61/542.83	c       240       326    383.67     55.14      6.96   1000000         0
544.21/544.45	c       272       329    394.74     58.37      6.76   1000000         0
545.91/546.10	c       250       348    390.36     54.21      7.20   1000000         0
547.51/547.74	c       267       382    393.63     54.05      7.28   1000000         0
549.11/549.40	c       218       397    381.59     67.71      5.64   1000000         0
550.81/551.06	c       237       416    378.99     53.31      7.11   1000000         0
552.40/552.69	c       253       380    402.85     57.54      7.00   1000000         0
554.11/554.34	c       240       344    377.95     64.51      5.86   1000000         0
555.70/555.98	c       245       361    395.71     61.27      6.46   1000000         0
557.41/557.62	c       259       363    404.99     59.40      6.82   1000000         0
559.00/559.26	c       241       386    382.66     60.71      6.30   1000000         0
560.70/560.91	c       254       365    402.82     55.30      7.28   1000000         0
562.30/562.56	c       248       330    385.93     57.27      6.74   1000000         0
564.00/564.20	c       257       463    387.64     58.69      6.60   1000000         0
565.60/565.85	c       232       348    388.61     60.76      6.40   1000000         0
567.20/567.48	c       240       417    414.49     54.47      7.61   1000000         0
568.90/569.11	c       254       327    382.85     51.89      7.38   1000000         0
570.50/570.77	c       225       300    394.97     66.59      5.93   1000000         0
572.20/572.42	c       239       333    383.13     48.39      7.92   1000000         0
573.80/574.07	c       246       386    381.85     64.31      5.94   1000000         0
575.50/575.70	c       251       352    395.82     57.22      6.92   1000000         0
577.10/577.36	c       239       315    392.95     69.10      5.69   1000000         0
578.80/579.00	c       246       322    396.45     56.63      7.00   1000000         0
580.40/580.63	c       238       339    401.11     54.13      7.41   1000000         0
581.99/582.27	c       246       395    391.95     56.82      6.90   1000000         0
583.69/583.92	c       248       376    394.85     56.72      6.96   1000000         0
585.29/585.57	c       235       367    382.97     52.78      7.26   1000000         0
586.99/587.22	c       244       342    382.14     55.98      6.83   1000000         0
588.59/588.85	c       236       261    402.80     60.35      6.67   1000000         0
590.19/590.48	c       245       296    395.19     63.40      6.23   1000000         0
591.89/592.13	c       252       351    381.59     52.94      7.21   1000000         0
593.49/593.79	c       244       360    375.12     55.46      6.76   1000000         0
595.19/595.43	c       254       391    384.59     53.93      7.13   1000000         0
596.79/597.07	c       238       317    393.55     55.06      7.15   1000000         0
598.49/598.70	c       262       418    406.20     54.02      7.52   1000000         0
600.09/600.34	c       252       368    390.43     59.37      6.58   1000000         0
601.79/602.01	c       236       359    378.53     63.14      6.00   1000000         0
603.39/603.64	c       247       445    398.17     57.26      6.95   1000000         0
604.99/605.30	c       245       421    392.75     64.30      6.11   1000000         0
606.68/606.91	c       260       340    407.50     52.09      7.82   1000000         0
608.28/608.56	c       233       349    380.28     64.31      5.91   1000000         0
609.98/610.20	c       253       349    406.99     48.95      8.31   1000000         0
611.58/611.82	c       270       397    402.65     50.76      7.93   1000000         0
613.18/613.45	c       249       309    397.71     55.95      7.11   1000000         0
614.78/615.09	c       253       415    391.81     61.15      6.41   1000000         0
616.48/616.73	c       263       425    392.29     61.98      6.33   1000000         0
618.08/618.36	c       256       346    405.55     64.68      6.27   1000000         0
619.78/620.02	c       252       326    382.07     53.39      7.16   1000000         0
621.38/621.68	c       249       352    388.35     56.19      6.91   1000000         0
623.08/623.31	c       261       355    404.07     64.67      6.25   1000000         0
624.68/624.96	c       238       381    382.84     64.73      5.91   1000000         0
626.38/626.61	c       259       374    390.78     52.85      7.39   1000000         0
627.98/628.27	c       231       332    385.58     59.90      6.44   1000000         0
629.68/629.91	c       244       335    384.53     65.54      5.87   1000000         0
631.28/631.55	c       241       392    385.67     60.00      6.43   1000000         0
632.98/633.21	c       240       360    390.02     53.80      7.25   1000000         0
634.58/634.83	c       232       344    403.79     57.55      7.02   1000000         0
636.18/636.46	c       257       376    407.54     58.45      6.97   1000000         0
637.78/638.09	c       238       433    391.31     53.08      7.37   1000000         0
639.47/639.72	c       264       388    406.02     63.45      6.40   1000000         0
641.08/641.35	c       263       384    398.76     61.22      6.51   1000000         0
642.77/643.03	c       235       317    366.98     54.75      6.70   1000000         0
644.38/644.67	c       264       301    397.94     57.23      6.95   1000000         0
646.07/646.33	c       233       331    381.96     61.56      6.20   1000000         0
647.68/647.96	c       258       388    399.71     51.95      7.69   1000000         0
649.27/649.59	c       267       427    397.08     53.98      7.36   1000000         0
650.98/651.24	c       245       402    389.71     62.99      6.19   1000000         0
652.57/652.88	c       253       392    391.30     57.49      6.81   1000000         0
654.28/654.52	c       239       351    389.22     54.15      7.19   1000000         0
655.87/656.15	c       239       418    401.54     55.49      7.24   1000000         0
657.47/657.78	c       253       415    385.37     53.48      7.21   1000000         0
659.17/659.43	c       263       371    389.33     60.67      6.42   1000000         0
660.77/661.07	c       236       321    406.73     63.96      6.36   1000000         0
662.47/662.71	c       244       371    381.63     55.62      6.86   1000000         0
664.07/664.34	c       261       384    405.03     57.34      7.06   1000000         0
665.67/665.99	c       247       385    384.42     57.34      6.70   1000000         0
667.37/667.65	c       258       349    388.54     57.13      6.80   1000000         0
668.96/669.29	c       237       281    387.63     57.13      6.78   1000000         0
670.67/670.97	c       231       346    367.12     53.22      6.90   1000000         0
672.36/672.63	c       245       315    385.19     59.07      6.52   1000000         0
673.97/674.29	c       233       393    380.80     54.49      6.99   1000000         0
675.66/675.94	c       249       356    385.04     53.02      7.26   1000000         0
677.26/677.58	c       241       403    393.65     57.88      6.80   1000000         0
678.96/679.21	c       265       357    392.81     53.79      7.30   1000000         0
680.56/680.85	c       271       329    404.42     53.40      7.57   1000000         0
682.26/682.51	c       228       418    376.25     64.34      5.85   1000000         0
683.86/684.15	c       256       381    390.99     56.25      6.95   1000000         0
685.46/685.79	c       250       321    375.45     60.09      6.25   1000000         0
687.16/687.45	c       243       372    372.63     56.36      6.61   1000000         0
688.86/689.10	c       244       358    382.43     57.44      6.66   1000000         0
690.46/690.77	c       259       356    384.45     60.87      6.32   1000000         0
692.06/692.38	c       257       401    404.15     58.28      6.93   1000000         0
693.76/694.01	c       232       363    381.99     65.29      5.85   1000000         0
695.36/695.65	c       278       323    405.09     54.07      7.49   1000000         0
696.96/697.29	c       241       305    379.91     60.79      6.25   1000000         0
698.65/698.91	c       269       360    405.18     57.04      7.10   1000000         0
700.25/700.55	c       232       307    385.21     56.65      6.80   1000000         0
701.95/702.21	c       238       400    377.52     60.04      6.29   1000000         0
703.55/703.86	c       235       391    394.28     67.63      5.83   1000000         0
705.15/705.49	c       243       357    399.41     53.50      7.47   1000000         0
706.85/707.12	c       259       286    399.37     61.07      6.54   1000000         0
708.45/708.76	c       240       415    382.28     65.26      5.86   1000000         0
710.15/710.43	c       252       336    384.00     64.17      5.98   1000000         0
711.75/712.08	c       236       323    391.20     55.51      7.05   1000000         0
713.45/713.72	c       225       437    394.25     63.25      6.23   1000000         0
715.05/715.37	c       255       335    385.83     59.16      6.52   1000000         0
716.75/717.00	c       263       426    399.28     52.04      7.67   1000000         0
718.35/718.64	c       260       338    394.27     62.32      6.33   1000000         0
719.95/720.29	c       257       325    389.31     58.89      6.61   1000000         0
721.65/721.94	c       254       321    389.58     56.96      6.84   1000000         0
723.25/723.58	c       263       356    400.32     60.62      6.60   1000000         0
724.95/725.22	c       232       386    389.55     54.23      7.18   1000000         0
726.55/726.87	c       221       298    383.92     61.99      6.19   1000000         0
728.24/728.52	c       230       324    384.69     60.14      6.40   1000000         0
729.84/730.16	c       261       363    385.60     49.60      7.77   1000000         0
731.54/731.81	c       246       368    385.25     57.79      6.67   1000000         0
733.14/733.46	c       245       300    384.04     55.38      6.93   1000000         0
734.74/735.09	c       270       323    400.29     65.88      6.08   1000000         0
736.44/736.72	c       225       378    403.38     63.73      6.33   1000000         0
738.04/738.37	c       232       361    378.68     56.41      6.71   1000000         0
739.74/740.03	c       227       335    384.30     58.85      6.53   1000000         0
741.34/741.66	c       266       406    395.57     59.64      6.63   1000000         0
743.04/743.32	c       239       320    382.73     61.35      6.24   1000000         0
744.64/744.95	c       261       378    391.03     56.04      6.98   1000000         0
746.34/746.63	c       216       370    365.95     62.45      5.86   1000000         0
747.94/748.28	c       256       296    388.10     59.29      6.55   1000000         0
749.64/749.92	c       245       342    384.87     62.97      6.11   1000000         0
751.24/751.56	c       249       385    397.97     55.25      7.20   1000000         0
752.94/753.20	c       239       364    393.33     55.83      7.04   1000000         0
754.54/754.84	c       221       319    399.38     61.52      6.49   1000000         0
756.14/756.45	c       282       350    414.18     50.57      8.19   1000000         0
757.83/758.10	c       244       446    398.62     63.24      6.30   1000000         0
759.43/759.74	c       225       323    389.19     59.61      6.53   1000000         0
761.13/761.40	c       248       383    388.97     59.15      6.58   1000000         0
762.73/763.06	c       241       420    391.27     59.80      6.54   1000000         0
764.43/764.72	c       246       346    391.73     58.49      6.70   1000000         0
766.03/766.37	c       232       364    395.75     61.85      6.40   1000000         0
767.73/768.01	c       226       362    378.87     56.97      6.65   1000000         0
769.33/769.68	c       232       362    371.70     54.30      6.85   1000000         0
771.03/771.33	c       248       362    385.15     60.12      6.41   1000000         0
772.63/772.97	c       261       393    393.67     45.40      8.67   1000000         0
774.33/774.63	c       232       320    382.29     59.16      6.46   1000000         0
775.93/776.28	c       258       394    390.62     64.68      6.04   1000000         0
777.63/777.92	c       239       367    391.55     60.02      6.52   1000000         0
779.23/779.57	c       248       417    387.34     54.18      7.15   1000000         0
780.93/781.23	c       203       341    362.51     59.31      6.11   1000000         0
782.53/782.89	c       243       381    386.85     57.86      6.69   1000000         0
784.23/784.53	c       255       425    390.45     54.96      7.10   1000000         0
785.83/786.16	c       278       394    400.35     49.19      8.14   1000000         0
787.53/787.83	c       240       378    391.38     66.95      5.85   1000000         0
789.12/789.45	c       255       398    409.20     60.44      6.77   1000000         0
790.72/791.08	c       250       417    412.99     58.87      7.01   1000000         0
792.42/792.72	c       238       392    383.88     60.06      6.39   1000000         0
794.02/794.36	c       237       382    398.97     59.13      6.75   1000000         0
795.62/795.99	c       250       381    398.89     64.74      6.16   1000000         0
797.32/797.61	c       249       399    401.86     56.60      7.10   1000000         0
798.92/799.25	c       239       356    390.28     60.98      6.40   1000000         0
800.53/800.89	c       243       346    377.69     59.88      6.31   1000000         0
802.22/802.55	c       248       339    380.32     55.26      6.88   1000000         0
803.83/804.20	c       267       397    401.06     63.49      6.32   1000000         0
805.52/805.84	c       223       431    401.78     56.24      7.14   1000000         0
807.13/807.49	c       245       392    389.25     60.78      6.40   1000000         0
808.82/809.11	c       216       313    388.36     55.02      7.06   1000000         0
810.42/810.77	c       232       410    383.99     60.28      6.37   1000000         0
812.12/812.44	c       243       385    373.75     51.89      7.20   1000000         0
813.72/814.09	c       220       348    389.61     57.33      6.80   1000000         0
815.42/815.75	c       251       384    392.22     58.47      6.71   1000000         0
817.02/817.38	c       280       372    399.16     54.08      7.38   1000000         0
818.71/819.03	c       240       342    383.84     65.40      5.87   1000000         0
820.32/820.67	c       251       325    396.91     60.99      6.51   1000000         0
822.01/822.31	c       246       409    393.18     56.47      6.96   1000000         0
823.62/823.94	c       274       359    402.31     56.24      7.15   1000000         0
825.21/825.59	c       258       377    398.90     58.79      6.79   1000000         0
826.92/827.24	c       241       346    376.24     62.41      6.03   1000000         0
828.51/828.87	c       252       321    402.01     60.52      6.64   1000000         0
830.22/830.51	c       243       308    398.49     57.14      6.97   1000000         0
831.81/832.15	c       250       451    397.52     59.00      6.74   1000000         0
833.52/833.80	c       245       356    383.91     63.80      6.02   1000000         0
835.11/835.46	c       248       353    400.69     58.76      6.82   1000000         0
836.71/837.08	c       271       361    404.08     52.23      7.74   1000000         0
838.41/838.73	c       221       390    395.38     54.08      7.31   1000000         0
840.01/840.38	c       260       375    390.44     60.13      6.49   1000000         0
841.71/842.01	c       233       359    386.73     60.67      6.37   1000000         0
843.31/843.65	c       243       361    382.63     67.61      5.66   1000000         0
844.91/845.29	c       247       348    392.95     58.36      6.73   1000000         0
846.61/846.93	c       241       349    381.76     63.14      6.05   1000000         0
848.21/848.59	c       219       424    389.46     58.03      6.71   1000000         0
849.91/850.24	c       254       362    384.87     55.18      6.97   1000000         0
851.50/851.85	c       237       422    415.31     66.62      6.23   1000000         0
853.21/853.51	c       211       397    385.24     59.99      6.42   1000000         0
854.80/855.16	c       248       384    383.59     55.93      6.86   1000000         0
856.50/856.81	c       253       426    395.08     63.86      6.19   1000000         0
858.10/858.44	c       254       376    380.49     48.99      7.77   1000000         0
859.70/860.07	c       266       407    402.97     59.45      6.78   1000000         0
861.40/861.72	c       240       315    391.86     56.12      6.98   1000000         0
863.00/863.39	c       230       356    383.57     63.23      6.07   1000000         0
864.70/865.02	c       246       400    389.33     50.51      7.71   1000000         0
866.30/866.69	c       231       349    376.06     58.44      6.44   1000000         0
868.00/868.36	c       237       313    382.60     60.18      6.36   1000000         0
869.60/869.99	c       246       354    388.73     61.20      6.35   1000000         0
871.30/871.64	c       241       348    388.48     55.27      7.03   1000000         0
872.90/873.28	c       242       324    394.20     53.36      7.39   1000000         0
874.60/874.92	c       230       334    396.95     52.08      7.62   1000000         0
876.19/876.54	c       248       509    409.05     55.78      7.33   1000000         0
877.79/878.16	c       250       383    388.76     53.00      7.33   1000000         0
879.49/879.80	c       231       327    391.50     63.85      6.13   1000000         0
881.09/881.44	c       234       322    393.78     65.99      5.97   1000000         0
882.69/883.08	c       266       382    387.77     54.60      7.10   1000000         0
884.39/884.73	c       246       419    385.96     68.20      5.66   1000000         0
885.99/886.38	c       226       304    381.86     64.23      5.95   1000000         0
887.69/888.02	c       255       383    394.15     49.71      7.93   1000000         0
889.29/889.66	c       242       399    382.37     52.04      7.35   1000000         0
890.99/891.30	c       249       432    398.16     55.34      7.19   1000000         0
892.59/892.94	c       254       342    395.08     59.83      6.60   1000000         0
894.19/894.57	c       247       443    400.13     53.27      7.51   1000000         0
895.89/896.22	c       228       353    384.07     61.96      6.20   1000000         0
897.49/897.85	c       245       372    393.01     55.49      7.08   1000000         0
899.09/899.48	c       259       289    406.51     58.01      7.01   1000000         0
900.79/901.11	c       262       416    403.91     56.55      7.14   1000000         0
902.38/902.76	c       245       347    388.26     57.66      6.73   1000000         0
903.98/904.39	c       268       420    405.32     51.94      7.80   1000000         0
905.68/906.05	c       242       283    383.58     50.99      7.52   1000000         0
907.38/907.70	c       240       346    386.31     60.97      6.34   1000000         0
908.98/909.35	c       233       401    382.89     57.32      6.68   1000000         0
910.58/911.00	c       257       354    385.39     55.16      6.99   1000000         0
912.28/912.62	c       250       426    395.90     61.38      6.45   1000000         0
913.88/914.26	c       259       388    401.02     59.08      6.79   1000000         0
915.48/915.89	c       254       410    388.70     55.99      6.94   1000000         0
917.18/917.54	c       246       346    397.96     64.51      6.17   1000000         0
918.78/919.18	c       244       361    392.29     64.92      6.04   1000000         0
920.48/920.81	c       229       446    398.09     52.54      7.58   1000000         0
922.08/922.44	c       251       378    402.59     56.88      7.08   1000000         0
923.69/924.08	c       242       287    393.42     62.36      6.31   1000000         0
925.38/925.71	c       259       344    402.67     55.41      7.27   1000000         0
926.99/927.35	c       247       332    393.36     54.80      7.18   1000000         0
928.58/928.98	c       275       442    409.87     55.01      7.45   1000000         0
930.28/930.63	c       243       355    401.45     59.80      6.71   1000000         0
931.88/932.27	c       238       402    379.57     54.96      6.91   1000000         0
933.58/933.92	c       237       379    397.85     56.87      7.00   1000000         0
935.17/935.56	c       230       358    388.40     55.41      7.01   1000000         0
936.78/937.20	c       263       411    394.20     49.76      7.92   1000000         0
938.47/938.85	c       232       371    395.08     61.55      6.42   1000000         0
940.08/940.50	c       258       401    397.77     61.03      6.52   1000000         0
941.77/942.15	c       234       318    388.77     61.65      6.31   1000000         0
943.37/943.80	c       230       368    381.79     62.75      6.08   1000000         0
945.07/945.45	c       233       393    376.82     57.11      6.60   1000000         0
946.78/947.11	c       226       299    384.38     58.87      6.53   1000000         0
948.37/948.74	c       213       354    380.82     61.32      6.21   1000000         0
949.97/950.38	c       243       345    391.63     61.72      6.35   1000000         0
951.67/952.04	c       235       397    379.23     57.61      6.58   1000000         0
953.27/953.69	c       221       290    383.49     62.24      6.16   1000000         0
954.97/955.33	c       253       367    404.00     58.07      6.96   1000000         0
956.57/956.97	c       258       318    394.51     52.75      7.48   1000000         0
958.27/958.61	c       246       345    390.23     55.19      7.07   1000000         0
959.87/960.25	c       257       465    395.30     56.53      6.99   1000000         0
961.56/961.90	c       211       416    382.57     61.80      6.19   1000000         0
963.17/963.52	c       247       365    390.41     56.93      6.86   1000000         0
964.76/965.14	c       250       346    397.33     55.11      7.21   1000000         0
966.36/966.80	c       239       346    388.45     61.30      6.34   1000000         0
968.06/968.44	c       240       382    385.68     55.33      6.97   1000000         0
969.66/970.07	c       234       388    386.87     60.02      6.45   1000000         0
971.36/971.72	c       257       398    388.47     56.17      6.92   1000000         0
972.96/973.38	c       235       367    384.30     59.70      6.44   1000000         0
974.66/975.03	c       211       432    389.68     64.19      6.07   1000000         0
976.36/976.71	c       227       401    369.04     65.98      5.59   1000000         0
977.96/978.34	c       266       365    397.85     64.01      6.22   1000000         0
979.56/979.98	c       224       324    393.78     59.33      6.64   1000000         0
981.26/981.64	c       238       375    380.85     63.67      5.98   1000000         0
982.96/983.31	c       241       379    382.87     56.51      6.78   1000000         0
984.56/984.94	c       270       401    399.93     53.33      7.50   1000000         0
986.16/986.59	c       236       423    380.77     60.59      6.28   1000000         0
987.86/988.22	c       245       306    398.21     66.21      6.01   1000000         0
989.46/989.87	c       235       368    376.07     57.34      6.56   1000000         0
991.16/991.53	c       234       357    386.39     66.11      5.84   1000000         0
992.76/993.15	c       251       378    386.39     46.58      8.30   1000000         0
994.45/994.80	c       233       402    393.81     59.09      6.66   1000000         0
996.05/996.42	c       264       378    401.50     56.58      7.10   1000000         0
997.65/998.05	c       231       378    395.75     58.35      6.78   1000000         0
999.35/999.70	c       237       380    374.51     64.07      5.84   1000000         0
1000.95/1001.36	c       241       375    379.00     54.86      6.91   1000000         0
1002.65/1003.01	c       257       376    389.32     53.40      7.29   1000000         0
1004.25/1004.66	c       258       417    386.34     53.56      7.21   1000000         0
1005.85/1006.29	c       262       429    401.81     56.37      7.13   1000000         0
1007.55/1007.94	c       257       345    393.12     61.99      6.34   1000000         0
1009.25/1009.60	c       258       346    388.09     52.01      7.46   1000000         0
1010.85/1011.23	c       240       372    398.01     61.35      6.49   1000000         0
1012.45/1012.87	c       268       442    393.25     54.36      7.23   1000000         0
1014.15/1014.51	c       254       334    383.41     55.02      6.97   1000000         0
1015.75/1016.16	c       252       356    386.64     61.79      6.26   1000000         0
1017.45/1017.81	c       258       389    390.47     62.48      6.25   1000000         0
1019.05/1019.47	c       237       396    382.44     50.47      7.58   1000000         0
1020.75/1021.12	c       263       373    402.65     51.28      7.85   1000000         0
1022.35/1022.75	c       252       365    400.25     62.31      6.42   1000000         0
1024.04/1024.42	c       252       320    385.26     55.79      6.91   1000000         0
1025.64/1026.09	c       236       314    384.96     63.36      6.08   1000000         0
1027.34/1027.74	c       245       347    383.80     62.43      6.15   1000000         0
1029.04/1029.42	c       197       329    360.67     58.50      6.17   1000000         0
1030.64/1031.05	c       248       296    398.53     57.92      6.88   1000000         0
1032.24/1032.69	c       230       377    395.08     61.84      6.39   1000000         0
1033.94/1034.35	c       253       407    388.84     63.60      6.11   1000000         0
1035.54/1035.97	c       259       403    397.63     60.04      6.62   1000000         0
1037.14/1037.59	c       271       355    407.36     55.59      7.33   1000000         0
1038.84/1039.22	c       256       387    394.00     59.56      6.62   1000000         0
1040.44/1040.86	c       223       343    388.26     63.49      6.11   1000000         0
1042.04/1042.49	c       250       401    388.54     55.52      7.00   1000000         0
1043.74/1044.14	c       265       438    393.59     55.88      7.04   1000000         0
1045.34/1045.79	c       229       343    382.01     59.82      6.39   1000000         0
1047.04/1047.43	c       269       412    386.46     50.30      7.68   1000000         0
1048.64/1049.08	c       229       287    385.28     62.06      6.21   1000000         0
1050.34/1050.72	c       265       387    392.22     52.31      7.50   1000000         0
1051.94/1052.37	c       249       342    394.02     60.36      6.53   1000000         0
1053.63/1054.00	c       259       345    392.94     55.69      7.06   1000000         0
1055.23/1055.66	c       248       351    381.93     66.18      5.77   1000000         0
1056.93/1057.31	c       245       312    385.50     58.04      6.64   1000000         0
1058.53/1058.96	c       233       340    380.83     68.96      5.52   1000000         0
1060.23/1060.61	c       256       415    397.84     57.60      6.91   1000000         0
1061.83/1062.24	c       225       340    391.47     61.62      6.35   1000000         0
1063.53/1063.90	c       261       350    393.57     56.64      6.95   1000000         0
1065.13/1065.54	c       252       327    387.99     61.81      6.28   1000000         0
1066.73/1067.19	c       250       307    381.27     63.74      5.98   1000000         0
1068.43/1068.84	c       257       384    388.79     53.10      7.32   1000000         0
1070.13/1070.50	c       240       401    384.41     64.50      5.96   1000000         0
1071.73/1072.14	c       237       358    388.20     56.73      6.84   1000000         0
1073.43/1073.80	c       220       339    383.19     66.58      5.76   1000000         0
1075.03/1075.43	c       267       309    402.08     57.99      6.93   1000000         0
1076.63/1077.07	c       236       316    398.75     63.86      6.24   1000000         0
1078.33/1078.71	c       233       376    378.54     49.29      7.68   1000000         0
1079.93/1080.39	c       236       364    379.76     61.22      6.20   1000000         0
1081.63/1082.02	c       237       352    393.86     61.71      6.38   1000000         0
1083.23/1083.68	c       231       350    378.91     59.76      6.34   1000000         0
1084.92/1085.30	c       259       399    402.28     63.09      6.38   1000000         0
1086.52/1086.97	c       238       397    380.72     59.63      6.38   1000000         0
1088.22/1088.62	c       249       343    385.58     64.64      5.96   1000000         0
1089.82/1090.27	c       260       415    376.29     58.36      6.45   1000000         0
1091.52/1091.93	c       260       370    384.07     58.27      6.59   1000000         0
1093.12/1093.58	c       249       350    397.07     53.95      7.36   1000000         0
1094.82/1095.24	c       232       365    385.72     55.46      6.95   1000000         0
1096.42/1096.89	c       242       318    375.44     56.54      6.64   1000000         0
1098.12/1098.55	c       238       358    391.87     58.67      6.68   1000000         0
1099.72/1100.18	c       261       376    394.84     55.36      7.13   1000000         0
1101.42/1101.82	c       252       422    388.38     59.23      6.56   1000000         0
1103.02/1103.48	c       241       374    389.10     57.14      6.81   1000000         0
1104.72/1105.11	c       251       362    382.38     59.07      6.47   1000000         0
1106.32/1106.79	c       237       349    365.84     59.63      6.14   1000000         0
1108.02/1108.42	c       251       371    404.65     64.20      6.30   1000000         0
1109.62/1110.07	c       254       365    395.42     56.51      7.00   1000000         0
1111.32/1111.71	c       242       330    395.57     57.30      6.90   1000000         0
1112.92/1113.36	c       256       331    391.41     57.24      6.84   1000000         0
1114.61/1115.00	c       262       293    390.50     49.73      7.85   1000000         0
1116.21/1116.66	c       235       331    366.26     52.94      6.92   1000000         0
1117.91/1118.30	c       249       354    391.74     53.94      7.26   1000000         0
1119.51/1119.93	c       252       415    412.81     55.69      7.41   1000000         0
1121.11/1121.58	c       220       334    372.33     61.25      6.08   1000000         0
1122.81/1123.21	c       242       382    397.52     57.97      6.86   1000000         0
1124.41/1124.85	c       264       372    399.80     68.05      5.87   1000000         0
1126.02/1126.48	c       271       324    402.37     64.33      6.26   1000000         0
1127.71/1128.12	c       260       341    397.44     57.39      6.92   1000000         0
1129.32/1129.75	c       270       364    401.75     65.79      6.11   1000000         0
1130.91/1131.40	c       220       319    387.61     55.47      6.99   1000000         0
1132.62/1133.04	c       244       370    382.86     55.55      6.89   1000000         0
1134.21/1134.67	c       237       357    383.30     59.41      6.45   1000000         0
1135.92/1136.31	c       242       461    401.62     63.13      6.36   1000000         0
1137.51/1137.94	c       249       348    394.67     62.06      6.36   1000000         0
1139.11/1139.59	c       236       383    389.10     53.67      7.25   1000000         0
1140.81/1141.22	c       225       363    386.41     53.52      7.22   1000000         0
1142.41/1142.88	c       231       320    378.71     58.49      6.47   1000000         0
1144.11/1144.52	c       253       381    397.41     51.67      7.69   1000000         0
1145.71/1146.18	c       253       412    383.39     53.05      7.23   1000000         0
1147.40/1147.82	c       241       386    394.78     61.05      6.47   1000000         0
1149.01/1149.46	c       237       455    393.97     68.08      5.79   1000000         0
1150.70/1151.11	c       237       319    378.43     62.45      6.06   1000000         0
1152.30/1152.77	c       248       359    388.53     51.72      7.51   1000000         0
1154.00/1154.41	c       240       339    376.85     64.24      5.87   1000000         0
1155.60/1156.06	c       242       430    382.13     60.07      6.36   1000000         0
1157.30/1157.70	c       254       363    400.40     56.69      7.06   1000000         0
1158.90/1159.34	c       231       337    385.94     55.00      7.02   1000000         0
1160.50/1160.99	c       224       328    381.21     62.15      6.13   1000000         0
1162.20/1162.63	c       253       367    400.07     56.01      7.14   1000000         0
1163.80/1164.26	c       244       358    397.36     49.12      8.09   1000000         0
1165.40/1165.89	c       263       399    397.71     53.59      7.42   1000000         0
1167.10/1167.52	c       257       352    397.77     53.46      7.44   1000000         0
1168.70/1169.16	c       234       364    398.66     57.97      6.88   1000000         0
1170.40/1170.83	c       227       339    370.33     62.83      5.89   1000000         0
1171.99/1172.47	c       259       376    399.03     63.00      6.33   1000000         0
1173.69/1174.14	c       215       336    376.09     68.35      5.50   1000000         0
1175.40/1175.80	c       210       369    378.64     62.79      6.03   1000000         0
1176.99/1177.44	c       254       391    388.22     50.87      7.63   1000000         0
1178.59/1179.09	c       252       382    397.92     53.99      7.37   1000000         0
1180.29/1180.75	c       215       283    380.10     62.95      6.04   1000000         0
1182.00/1182.40	c       234       358    379.74     49.63      7.65   1000000         0
1183.59/1184.05	c       254       340    390.35     58.54      6.67   1000000         0
1185.19/1185.69	c       234       368    397.91     57.12      6.97   1000000         0
1186.89/1187.32	c       251       365    398.08     58.58      6.80   1000000         0
1188.49/1188.98	c       233       379    394.92     60.72      6.50   1000000         0
1190.19/1190.63	c       229       388    380.91     62.24      6.12   1000000         0
1191.79/1192.27	c       258       391    399.20     56.52      7.06   1000000         0
1193.49/1193.91	c       224       316    383.22     61.26      6.26   1000000         0
1195.09/1195.57	c       245       375    377.10     56.40      6.69   1000000         0
1196.79/1197.20	c       242       327    398.62     64.97      6.14   1000000         0
1198.39/1198.83	c       285       394    409.90     48.70      8.42   1000000         0
1199.99/1200.48	c       240       407    385.93     57.17      6.75   1000000         0
1201.69/1202.13	c       223       364    390.42     55.05      7.09   1000000         0
1203.29/1203.79	c       257       319    388.75     64.33      6.04   1000000         0
1204.98/1205.44	c       252       383    392.42     65.31      6.01   1000000         0
1206.58/1207.08	c       262       383    406.31     55.82      7.28   1000000         0
1208.28/1208.73	c       231       305    390.71     58.23      6.71   1000000         0
1209.88/1210.37	c       249       364    394.02     57.70      6.83   1000000         0
1211.58/1212.02	c       246       435    385.38     64.29      5.99   1000000         0
1213.18/1213.66	c       269       428    392.31     55.98      7.01   1000000         0
1214.88/1215.31	c       233       369    392.98     62.65      6.27   1000000         0
1216.48/1216.95	c       239       380    384.46     59.33      6.48   1000000         0
1218.18/1218.60	c       234       330    375.25     62.00      6.05   1000000         0
1219.78/1220.23	c       255       419    390.04     50.37      7.74   1000000         0
1221.38/1221.86	c       257       398    393.71     55.09      7.15   1000000         0
1223.08/1223.52	c       215       333    381.38     53.95      7.07   1000000         0
1224.68/1225.17	c       235       341    393.67     59.43      6.62   1000000         0
1226.38/1226.82	c       211       360    382.70     54.27      7.05   1000000         0
1227.98/1228.48	c       227       311    387.81     59.94      6.47   1000000         0
1229.68/1230.13	c       246       323    382.20     63.05      6.06   1000000         0
1231.27/1231.77	c       254       321    403.05     61.83      6.52   1000000         0
1232.97/1233.42	c       233       377    377.07     64.47      5.85   1000000         0
1234.57/1235.06	c       236       325    392.28     58.27      6.73   1000000         0
1236.27/1236.70	c       256       302    392.46     57.74      6.80   1000000         0
1237.87/1238.37	c       222       383    376.60     61.38      6.14   1000000         0
1239.57/1240.00	c       268       369    403.97     53.87      7.50   1000000         0
1241.17/1241.64	c       250       358    390.15     56.75      6.88   1000000         0
1242.77/1243.28	c       229       425    387.44     62.19      6.23   1000000         0
1244.47/1244.92	c       269       363    406.05     58.37      6.96   1000000         0
1246.07/1246.55	c       245       341    397.66     60.77      6.54   1000000         0
1247.67/1248.18	c       249       425    389.72     60.94      6.40   1000000         0
1249.37/1249.83	c       260       389    399.35     52.27      7.64   1000000         0
1250.97/1251.47	c       247       408    397.40     57.49      6.91   1000000         0
1252.67/1253.13	c       240       389    393.34     51.62      7.62   1000000         0
1254.27/1254.78	c       252       394    379.84     47.60      7.98   1000000         0
1255.97/1256.40	c       277       348    407.89     54.77      7.45   1000000         0
1257.57/1258.01	c       282       377    420.79     47.90      8.79   1000000         0
1259.17/1259.66	c       247       355    398.93     59.98      6.65   1000000         0
1260.87/1261.33	c       227       331    372.05     60.61      6.14   1000000         0
1262.47/1262.99	c       223       349    383.90     62.44      6.15   1000000         0
1264.16/1264.63	c       251       378    391.08     59.69      6.55   1000000         0
1265.76/1266.26	c       284       406    401.83     52.14      7.71   1000000         0
1267.46/1267.92	c       236       382    382.57     59.34      6.45   1000000         0
1269.06/1269.55	c       233       269    395.58     59.46      6.65   1000000         0
1270.76/1271.22	c       243       350    379.84     54.64      6.95   1000000         0
1272.36/1272.86	c       234       345    385.88     59.94      6.44   1000000         0
1274.06/1274.51	c       256       342    401.82     54.36      7.39   1000000         0
1275.66/1276.16	c       231       424    394.35     62.70      6.29   1000000         0
1277.26/1277.79	c       245       427    386.06     54.70      7.06   1000000         0
1278.96/1279.45	c       244       365    385.09     60.30      6.39   1000000         0
1280.66/1281.10	c       204       355    377.79     65.56      5.76   1000000         0
1282.26/1282.74	c       273       329    396.36     62.27      6.36   1000000         0
1283.86/1284.37	c       232       349    407.95     61.15      6.67   1000000         0
1285.56/1286.00	c       238       327    389.24     63.06      6.17   1000000         0
1287.16/1287.66	c       252       307    386.36     50.49      7.65   1000000         0
1288.86/1289.30	c       235       385    394.52     73.31      5.38   1000000         0
1290.45/1290.95	c       240       362    377.78     59.12      6.39   1000000         0
1292.15/1292.60	c       230       358    391.97     63.27      6.20   1000000         0
1293.75/1294.23	c       268       341    411.25     59.26      6.94   1000000         0
1295.36/1295.85	c       275       349    409.90     52.72      7.77   1000000         0
1297.05/1297.50	c       228       326    381.24     54.37      7.01   1000000         0
1298.66/1299.13	c       240       400    389.55     65.03      5.99   1000000         0
1300.25/1300.78	c       220       340    380.02     60.90      6.24   1000000         0
1301.96/1302.42	c       260       377    396.08     55.22      7.17   1000000         0
1303.55/1304.08	c       261       348    390.27     54.02      7.23   1000000         0
1305.26/1305.73	c       250       395    375.42     49.25      7.62   1000000         0
1306.85/1307.35	c       265       293    395.23     54.56      7.24   1000000         0
1308.56/1309.00	c       242       405    378.77     57.88      6.54   1000000         0
1310.15/1310.64	c       264       362    389.98     57.13      6.83   1000000         0
1311.75/1312.28	c       216       347    382.14     61.64      6.20   1000000         0
1313.45/1313.93	c       255       315    389.21     50.88      7.65   1000000         0
1315.05/1315.59	c       234       356    377.50     65.87      5.73   1000000         0
1316.75/1317.24	c       219       400    396.33     64.45      6.15   1000000         0
1318.35/1318.87	c       228       314    389.82     62.61      6.23   1000000         0
1320.05/1320.52	c       262       307    392.00     58.44      6.71   1000000         0
1321.65/1322.16	c       233       392    394.11     61.89      6.37   1000000         0
1323.34/1323.81	c       257       407    394.02     53.51      7.36   1000000         0
1324.95/1325.45	c       235       398    381.90     57.04      6.70   1000000         0
1326.54/1327.07	c       274       405    404.44     61.99      6.52   1000000         0
1328.25/1328.72	c       255       355    382.15     62.29      6.14   1000000         0
1329.84/1330.37	c       248       370    386.42     60.48      6.39   1000000         0
1331.54/1332.02	c       238       398    385.84     64.16      6.01   1000000         0
1333.14/1333.67	c       219       337    371.48     54.45      6.82   1000000         0
1334.84/1335.31	c       221       378    382.61     59.11      6.47   1000000         0
1336.44/1336.97	c       226       360    390.46     65.86      5.93   1000000         0
1338.14/1338.61	c       247       350    399.84     56.76      7.04   1000000         0
1339.74/1340.27	c       253       409    385.51     53.79      7.17   1000000         0
1341.44/1341.91	c       264       320    405.36     50.52      8.02   1000000         0
1343.04/1343.55	c       262       310    398.04     58.86      6.76   1000000         0
1344.74/1345.20	c       248       278    392.22     57.76      6.79   1000000         0
1346.34/1346.84	c       261       428    395.08     58.31      6.78   1000000         0
1347.94/1348.49	c       257       445    395.28     52.16      7.58   1000000         0
1349.63/1350.13	c       238       282    387.61     58.52      6.62   1000000         0
1351.23/1351.79	c       224       343    376.67     66.18      5.69   1000000         0
1352.93/1353.44	c       248       341    387.11     61.58      6.29   1000000         0
1354.53/1355.09	c       242       419    390.01     54.10      7.21   1000000         0
1356.23/1356.73	c       225       398    386.11     59.60      6.48   1000000         0
1357.83/1358.38	c       226       344    388.29     59.93      6.48   1000000         0
1359.53/1360.00	c       265       406    406.80     52.99      7.68   1000000         0
1361.13/1361.65	c       238       381    386.46     59.16      6.53   1000000         0
1362.73/1363.28	c       262       394    391.32     56.26      6.96   1000000         0
1364.43/1364.92	c       255       347    404.04     63.63      6.35   1000000         0
1366.03/1366.56	c       259       386    386.51     60.48      6.39   1000000         0
1367.73/1368.21	c       249       298    388.93     53.68      7.25   1000000         0
1369.33/1369.86	c       233       397    384.27     67.79      5.67   1000000         0
1371.03/1371.51	c       251       415    395.81     53.00      7.47   1000000         0
1372.63/1373.15	c       255       383    386.77     55.62      6.95   1000000         0
1374.33/1374.81	c       234       368    384.81     59.18      6.50   1000000         0
1375.93/1376.45	c       261       389    393.60     62.73      6.27   1000000         0
1377.53/1378.09	c       255       314    388.93     57.57      6.76   1000000         0
1379.22/1379.74	c       239       336    383.87     61.00      6.29   1000000         0
1380.82/1381.39	c       251       341    385.56     54.52      7.07   1000000         0
1382.52/1383.05	c       246       408    391.78     55.45      7.07   1000000         0
1384.12/1384.68	c       261       477    396.31     53.98      7.34   1000000         0
1385.82/1386.30	c       271       431    408.67     48.67      8.40   1000000         0
1387.42/1387.94	c       240       360    389.48     58.00      6.71   1000000         0
1389.02/1389.60	c       255       320    385.60     61.43      6.28   1000000         0
1390.72/1391.24	c       248       318    391.63     51.46      7.61   1000000         0
1392.42/1392.91	c       238       328    380.51     62.73      6.07   1000000         0
1394.02/1394.56	c       245       420    381.77     61.26      6.23   1000000         0
1395.62/1396.19	c       258       337    391.08     55.03      7.11   1000000         0
1397.32/1397.84	c       239       408    397.77     59.75      6.66   1000000         0
1398.92/1399.48	c       253       325    382.74     55.52      6.89   1000000         0
1400.62/1401.13	c       264       399    402.22     51.91      7.75   1000000         0
1402.22/1402.77	c       267       362    389.58     51.65      7.54   1000000         0
1403.92/1404.43	c       239       384    384.44     64.52      5.96   1000000         0
1405.52/1406.07	c       261       379    397.65     56.73      7.01   1000000         0
1407.22/1407.72	c       240       346    379.59     59.51      6.38   1000000         0
1408.81/1409.37	c       243       360    388.88     54.28      7.16   1000000         0
1410.51/1411.02	c       246       409    389.79     55.96      6.97   1000000         0
1412.11/1412.66	c       243       341    384.83     60.59      6.35   1000000         0
1413.81/1414.30	c       260       420    400.54     61.41      6.52   1000000         0
1415.41/1415.96	c       238       420    391.58     61.97      6.32   1000000         0
1417.11/1417.64	c       229       340    369.66     62.33      5.93   1000000         0
1418.71/1419.26	c       249       303    405.18     58.20      6.96   1000000         0
1420.41/1420.92	c       241       387    382.47     57.81      6.62   1000000         0
1422.01/1422.56	c       262       352    389.87     51.75      7.53   1000000         0
1423.71/1424.22	c       247       396    383.90     57.65      6.66   1000000         0
1425.31/1425.88	c       242       338    389.57     61.81      6.30   1000000         0
1427.01/1427.52	c       266       329    397.69     64.42      6.17   1000000         0
1428.61/1429.17	c       226       345    376.66     57.27      6.58   1000000         0
1430.31/1430.82	c       233       328    384.46     59.54      6.46   1000000         0
1431.91/1432.46	c       227       383    389.01     48.39      8.04   1000000         0
1433.61/1434.12	c       248       398    380.32     58.54      6.50   1000000         0
1435.21/1435.76	c       247       343    388.42     51.88      7.49   1000000         0
1436.81/1437.38	c       232       346    406.33     60.92      6.67   1000000         0
1438.51/1439.05	c       225       289    369.80     60.07      6.16   1000000         0
1440.20/1440.71	c       241       398    388.48     63.94      6.08   1000000         0
1441.80/1442.35	c       245       441    387.41     59.34      6.53   1000000         0
1443.40/1444.00	c       244       376    382.01     58.74      6.50   1000000         0
1445.10/1445.65	c       232       289    382.58     67.43      5.67   1000000         0
1446.70/1447.29	c       241       384    393.23     57.06      6.89   1000000         0
1448.40/1448.92	c       251       352    394.36     56.73      6.95   1000000         0
1450.00/1450.57	c       246       335    386.31     59.91      6.45   1000000         0
1451.70/1452.22	c       219       378    388.51     64.35      6.04   1000000         0
1453.30/1453.86	c       238       351    393.37     57.81      6.80   1000000         0
1455.00/1455.52	c       246       290    381.10     57.87      6.59   1000000         0
1456.60/1457.16	c       246       384    393.14     63.16      6.22   1000000         0
1458.20/1458.79	c       259       399    413.84     57.90      7.15   1000000         0
1459.90/1460.44	c       246       397    387.17     57.67      6.71   1000000         0
1461.50/1462.06	c       244       344    399.63     62.44      6.40   1000000         0
1463.10/1463.69	c       243       384    396.13     57.87      6.85   1000000         0
1464.80/1465.32	c       247       365    402.05     58.05      6.93   1000000         0
1466.40/1466.98	c       245       344    386.87     65.49      5.91   1000000         0
1468.10/1468.65	c       249       369    381.84     69.85      5.47   1000000         0
1469.69/1470.26	c       249       327    399.39     59.61      6.70   1000000         0
1471.39/1471.91	c       241       420    381.94     58.80      6.50   1000000         0
1472.99/1473.54	c       253       360    396.61     65.16      6.09   1000000         0
1474.69/1475.21	c       253       258    386.40     54.08      7.15   1000000         0
1476.29/1476.87	c       205       354    369.92     64.48      5.74   1000000         0
1477.99/1478.52	c       258       433    406.13     51.08      7.95   1000000         0
1479.59/1480.16	c       230       389    386.66     62.92      6.15   1000000         0
1481.20/1481.79	c       255       418    399.47     50.01      7.99   1000000         0
1482.89/1483.45	c       252       340    389.28     66.21      5.88   1000000         0
1484.59/1485.10	c       260       355    388.88     57.42      6.77   1000000         0
1486.19/1486.76	c       232       366    377.59     52.52      7.19   1000000         0
1487.80/1488.39	c       269       348    401.81     64.23      6.26   1000000         0
1489.49/1490.05	c       249       310    377.40     53.60      7.04   1000000         0
1491.19/1491.70	c       242       420    380.47     58.90      6.46   1000000         0
1492.79/1493.35	c       262       354    394.30     57.28      6.88   1000000         0
1494.39/1494.98	c       272       392    412.08     62.22      6.62   1000000         0
1496.09/1496.62	c       256       350    396.26     59.08      6.71   1000000         0
1497.69/1498.27	c       252       416    399.13     60.30      6.62   1000000         0
1499.29/1499.89	c       266       340    409.18     52.06      7.86   1000000         0
1500.99/1501.51	c       233       392    391.88     58.76      6.67   1000000         0
1502.58/1503.16	c       245       359    397.02     58.35      6.80   1000000         0
1504.19/1504.80	c       248       377    396.56     57.53      6.89   1000000         0
1505.88/1506.46	c       239       358    377.91     57.32      6.59   1000000         0
1507.48/1508.09	c       254       326    397.01     61.09      6.50   1000000         0
1509.18/1509.75	c       236       398    387.28     62.48      6.20   1000000         0
1510.78/1511.38	c       255       352    400.99     57.64      6.96   1000000         0
1512.48/1513.03	c       245       294    384.55     64.16      5.99   1000000         0
1514.08/1514.66	c       243       319    381.80     66.03      5.78   1000000         0
1515.78/1516.30	c       229       309    391.46     59.57      6.57   1000000         0
1517.38/1517.93	c       260       425    399.24     52.13      7.66   1000000         0
1518.98/1519.57	c       253       342    388.64     59.59      6.52   1000000         0
1520.68/1521.21	c       247       324    394.56     59.42      6.64   1000000         0
1522.28/1522.85	c       268       424    392.15     54.63      7.18   1000000         0
1523.88/1524.50	c       245       391    392.83     53.09      7.40   1000000         0
1525.58/1526.15	c       236       389    377.52     58.52      6.45   1000000         0
1527.28/1527.81	c       239       356    378.76     52.14      7.26   1000000         0
1528.88/1529.45	c       253       452    395.33     52.54      7.52   1000000         0
1530.47/1531.08	c       262       346    401.22     54.29      7.39   1000000         0
1532.17/1532.71	c       257       363    396.94     51.82      7.66   1000000         0
1533.77/1534.33	c       263       324    401.26     60.23      6.66   1000000         0
1535.37/1535.99	c       256       364    386.65     56.13      6.89   1000000         0
1537.07/1537.60	c       244       387    410.71     60.81      6.75   1000000         0
1538.67/1539.23	c       253       373    402.45     52.89      7.61   1000000         0
1540.27/1540.88	c       222       328    381.24     62.78      6.07   1000000         0
1541.97/1542.55	c       227       297    371.65     56.77      6.55   1000000         0
1543.57/1544.19	c       241       355    389.56     55.92      6.97   1000000         0
1545.27/1545.81	c       266       352    397.80     53.08      7.49   1000000         0
1546.87/1547.46	c       264       339    393.39     55.12      7.14   1000000         0
1548.47/1549.09	c       260       363    403.04     53.57      7.52   1000000         0
1550.17/1550.74	c       253       341    396.18     59.59      6.65   1000000         0
1551.77/1552.38	c       231       371    398.29     58.48      6.81   1000000         0
1553.47/1554.04	c       238       423    381.34     63.19      6.03   1000000         0
1555.07/1555.69	c       235       316    377.92     59.96      6.30   1000000         0
1556.77/1557.32	c       236       402    395.78     57.50      6.88   1000000         0
1558.37/1558.97	c       237       390    386.72     57.68      6.70   1000000         0
1560.06/1560.61	c       232       428    383.44     59.30      6.47   1000000         0
1561.66/1562.25	c       246       411    391.22     59.44      6.58   1000000         0
1563.36/1563.91	c       245       402    395.25     66.94      5.90   1000000         0
1564.96/1565.55	c       250       358    405.06     60.88      6.65   1000000         0
1566.66/1567.20	c       251       375    386.21     57.95      6.66   1000000         0
1568.26/1568.86	c       249       377    389.82     54.35      7.17   1000000         0
1569.96/1570.51	c       247       300    378.16     60.20      6.28   1000000         0
1571.56/1572.14	c       256       358    400.09     57.87      6.91   1000000         0
1573.16/1573.79	c       257       292    379.50     55.15      6.88   1000000         0
1574.86/1575.43	c       257       371    401.70     65.29      6.15   1000000         0
1576.46/1577.09	c       242       486    387.88     54.57      7.11   1000000         0
1578.16/1578.74	c       239       379    374.68     62.92      5.95   1000000         0
1579.76/1580.37	c       257       370    402.07     57.01      7.05   1000000         0
1581.46/1582.01	c       254       352    399.03     58.16      6.86   1000000         0
1583.06/1583.67	c       241       385    377.58     60.33      6.26   1000000         0
1584.76/1585.31	c       263       403    395.39     60.57      6.53   1000000         0
1586.36/1586.95	c       260       317    380.58     55.34      6.88   1000000         0
1588.06/1588.60	c       228       423    381.52     61.11      6.24   1000000         0
1589.66/1590.23	c       275       384    411.37     53.27      7.72   1000000         0
1591.25/1591.89	c       233       344    386.58     58.28      6.63   1000000         0
1592.95/1593.54	c       257       375    392.34     55.68      7.05   1000000         0
1594.55/1595.18	c       262       423    393.20     56.78      6.92   1000000         0
1596.25/1596.83	c       225       356    382.70     60.12      6.37   1000000         0
1597.85/1598.49	c       230       427    377.33     59.56      6.33   1000000         0
1599.55/1600.14	c       230       278    375.00     59.31      6.32   1000000         0
1601.15/1601.80	c       245       366    376.96     60.85      6.19   1000000         0
1602.85/1603.44	c       271       403    402.23     53.30      7.55   1000000         0
1604.55/1605.10	c       251       390    400.54     62.40      6.42   1000000         0
1606.15/1606.74	c       256       353    396.90     51.82      7.66   1000000         0
1607.75/1608.37	c       238       319    387.54     66.63      5.82   1000000         0
1609.45/1610.01	c       262       393    391.56     53.77      7.28   1000000         0
1611.05/1611.66	c       246       372    385.94     61.65      6.26   1000000         0
1612.75/1613.32	c       264       346    397.63     59.27      6.71   1000000         0
1614.35/1614.96	c       265       366    400.17     54.37      7.36   1000000         0
1616.05/1616.61	c       259       346    393.22     54.54      7.21   1000000         0
1617.65/1618.26	c       254       391    379.01     58.56      6.47   1000000         0
1619.24/1619.88	c       272       419    407.30     53.17      7.66   1000000         0
1620.94/1621.52	c       253       409    397.21     56.33      7.05   1000000         0
1622.54/1623.16	c       240       330    390.29     59.90      6.52   1000000         0
1624.24/1624.82	c       251       316    383.32     60.93      6.29   1000000         0
1625.84/1626.45	c       273       355    411.34     57.08      7.21   1000000         0
1627.45/1628.08	c       244       391    392.27     56.80      6.91   1000000         0
1629.14/1629.71	c       237       408    402.66     58.76      6.85   1000000         0
1630.75/1631.35	c       268       344    392.86     56.02      7.01   1000000         0
1632.34/1632.98	c       256       461    401.29     58.85      6.82   1000000         0
1634.05/1634.62	c       251       362    391.16     51.51      7.59   1000000         0
1635.64/1636.27	c       229       322    384.36     64.50      5.96   1000000         0
1637.34/1637.92	c       239       338    382.37     56.41      6.78   1000000         0
1638.94/1639.57	c       229       356    385.17     63.79      6.04   1000000         0
1640.64/1641.22	c       248       334    383.83     56.19      6.83   1000000         0
1642.23/1642.88	c       247       347    392.89     66.52      5.91   1000000         0
1643.94/1644.55	c       243       365    374.62     58.20      6.44   1000000         0
1645.63/1646.20	c       220       363    381.03     67.25      5.67   1000000         0
1647.24/1647.85	c       260       387    399.18     64.18      6.22   1000000         0
1648.83/1649.49	c       273       355    399.15     55.87      7.14   1000000         0
1650.54/1651.15	c       243       381    381.05     54.58      6.98   1000000         0
1652.23/1652.80	c       254       386    390.31     54.55      7.15   1000000         0
1653.84/1654.43	c       248       387    401.34     57.66      6.96   1000000         0
1655.43/1656.08	c       250       333    395.95     53.96      7.34   1000000         0
1657.14/1657.73	c       260       343    383.95     61.33      6.26   1000000         0
1658.73/1659.38	c       229       343    394.67     53.35      7.40   1000000         0
1660.44/1661.01	c       245       299    390.25     56.83      6.87   1000000         0
1662.03/1662.66	c       240       360    395.87     59.58      6.64   1000000         0
1663.74/1664.32	c       219       329    377.10     59.46      6.34   1000000         0
1665.33/1665.98	c       240       358    383.70     56.95      6.74   1000000         0
1667.04/1667.64	c       245       338    392.48     54.45      7.21   1000000         0
1668.63/1669.29	c       240       385    384.26     56.23      6.83   1000000         0
1670.33/1670.95	c       259       345    396.62     56.93      6.97   1000000         0
1672.03/1672.60	c       232       361    385.31     57.09      6.75   1000000         0
1673.63/1674.25	c       223       386    388.09     64.92      5.98   1000000         0
1675.32/1675.91	c       215       367    380.78     58.65      6.49   1000000         0
1676.93/1677.54	c       241       356    397.34     55.71      7.13   1000000         0
1678.52/1679.18	c       249       420    396.35     60.62      6.54   1000000         0
1680.23/1680.83	c       235       367    385.67     60.47      6.38   1000000         0
1681.82/1682.46	c       254       399    402.74     51.49      7.82   1000000         0
1683.53/1684.11	c       267       351    394.30     58.78      6.71   1000000         0
1685.12/1685.77	c       239       421    383.78     62.49      6.14   1000000         0
1686.83/1687.43	c       250       389    389.20     67.62      5.76   1000000         0
1688.42/1689.08	c       245       447    391.96     51.01      7.68   1000000         0
1690.13/1690.73	c       276       387    399.83     57.77      6.92   1000000         0
1691.72/1692.35	c       257       340    415.13     60.25      6.89   1000000         0
1693.32/1693.97	c       262       408    407.87     56.27      7.25   1000000         0
1695.02/1695.61	c       254       427    379.94     56.76      6.69   1000000         0
1696.62/1697.25	c       260       334    398.92     63.92      6.24   1000000         0
1698.32/1698.90	c       245       354    387.98     53.36      7.27   1000000         0
1699.92/1700.54	c       261       355    397.06     56.47      7.03   1000000         0
1701.52/1702.15	c       263       396    411.53     59.26      6.94   1000000         0
1703.22/1703.81	c       244       359    387.64     67.27      5.76   1000000         0
1704.81/1705.45	c       248       341    383.13     63.13      6.07   1000000         0
1706.41/1707.09	c       269       411    406.33     61.29      6.63   1000000         0
1708.11/1708.73	c       273       349    401.38     55.19      7.27   1000000         0
1709.71/1710.38	c       259       398    393.78     63.26      6.22   1000000         0
1711.41/1712.04	c       235       325    376.24     58.17      6.47   1000000         0
1713.01/1713.67	c       233       307    391.97     56.20      6.97   1000000         0
1714.71/1715.32	c       259       385    385.60     49.47      7.79   1000000         0
1716.31/1716.98	c       234       379    378.53     59.94      6.32   1000000         0
1718.01/1718.61	c       281       392    410.94     58.81      6.99   1000000         0
1719.61/1720.27	c       234       356    388.84     61.40      6.33   1000000         0
1721.31/1721.91	c       245       386    399.60     56.69      7.05   1000000         0
1722.91/1723.56	c       265       291    402.00     55.18      7.28   1000000         0
1724.51/1725.19	c       245       375    402.45     57.68      6.98   1000000         0
1726.21/1726.87	c       244       367    378.52     65.27      5.80   1000000         0
1727.91/1728.52	c       221       405    386.10     55.48      6.96   1000000         0
1729.51/1730.16	c       251       300    385.71     61.03      6.32   1000000         0
1731.21/1731.80	c       259       389    392.90     57.08      6.88   1000000         0
1732.81/1733.44	c       258       355    388.90     53.91      7.21   1000000         0
1734.40/1735.08	c       248       348    387.40     57.98      6.68   1000000         0
1736.10/1736.74	c       237       291    392.05     55.60      7.05   1000000         0
1737.70/1738.37	c       266       414    400.37     49.81      8.04   1000000         0
1739.40/1740.02	c       247       384    391.47     55.27      7.08   1000000         0
1741.00/1741.66	c       252       366    400.78     55.86      7.17   1000000         0
1742.70/1743.30	c       244       328    388.38     63.02      6.16   1000000         0
1744.30/1744.95	c       251       369    388.62     62.82      6.19   1000000         0
1745.90/1746.59	c       245       385    388.85     53.05      7.33   1000000         0
1747.60/1748.24	c       251       408    396.36     59.62      6.65   1000000         0
1749.20/1749.89	c       236       380    382.94     62.49      6.13   1000000         0
1750.90/1751.54	c       240       303    382.37     55.25      6.92   1000000         0
1752.50/1753.16	c       240       323    384.65     54.21      7.10   1000000         0
1754.20/1754.80	c       232       349    385.61     54.38      7.09   1000000         0
1755.80/1756.45	c       251       387    385.32     56.58      6.81   1000000         0
1757.50/1758.10	c       258       397    396.85     57.87      6.86   1000000         0
1759.10/1759.77	c       238       322    379.51     61.26      6.20   1000000         0
1760.80/1761.40	c       262       349    400.88     71.49      5.61   1000000         0
1762.40/1763.04	c       232       328    392.66     54.62      7.19   1000000         0
1763.99/1764.67	c       253       348    389.10     56.37      6.90   1000000         0
1765.69/1766.34	c       240       396    377.39     61.29      6.16   1000000         0
1767.29/1768.00	c       238       354    372.77     58.77      6.34   1000000         0
1768.99/1769.63	c       268       375    410.31     51.05      8.04   1000000         0
1770.59/1771.29	c       240       344    380.07     65.82      5.77   1000000         0
1772.29/1772.94	c       238       332    384.13     59.52      6.45   1000000         0
1773.89/1774.59	c       251       363    385.41     53.13      7.25   1000000         0
1775.59/1776.25	c       232       351    388.68     60.51      6.42   1000000         0
1777.29/1777.90	c       273       401    403.78     58.24      6.93   1000000         0
1778.89/1779.52	c       272       401    397.02     54.64      7.27   1000000         0
1780.49/1781.17	c       228       418    385.82     60.42      6.39   1000000         0
1782.09/1782.79	c       262       337    417.91     63.35      6.60   1000000         0
1783.79/1784.43	c       260       361    395.89     56.88      6.96   1000000         0
1785.39/1786.07	c       247       365    399.11     54.43      7.33   1000000         0
1787.09/1787.72	c       264       368    390.14     52.81      7.39   1000000         0
1788.69/1789.37	c       242       358    398.32     61.38      6.49   1000000         0
1790.39/1791.02	c       254       395    390.91     58.77      6.65   1000000         0
1791.99/1792.67	c       248       303    392.66     65.00      6.04   1000000         0
1793.69/1794.31	c       234       361    390.48     65.25      5.98   1000000         0
1795.28/1795.95	c       257       365    385.10     55.50      6.94   1000000         0
1796.88/1797.58	c       253       402    395.87     55.22      7.17   1000000         0
1798.58/1799.23	c       254       285    397.09     55.97      7.09   1000000         0
1800.09/1800.71	HOME/run: line 2:  1676 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-2669881-1276611109/watcher-2669881-1276611109 -o /tmp/evaluation-result-2669881-1276611109/solver-2669881-1276611109 -C 1800 -W 2000 -M 1800 run HOME/instance-2669881-1276611109.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1675
/proc/meminfo: memFree=1795868/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) R 1673 1675 1650 0 -1 4202496 344 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997681557 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0

[startup+0.0582711 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1675
/proc/meminfo: memFree=1795868/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101278 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1675
/proc/meminfo: memFree=1795868/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301315 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1675
/proc/meminfo: memFree=1795868/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701388 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1675
/proc/meminfo: memFree=1795868/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50153 s]
/proc/loadavg: 0.92 0.98 0.99 2/108 1677
/proc/meminfo: memFree=1791884/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1.49
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1039 0 0 0 149 0 0 0 25 0 1 0 34762732 41422848 968 1992294400 134512640 135071400 4294326208 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 968 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10088 s]
/proc/loadavg: 0.92 0.98 0.99 2/108 1677
/proc/meminfo: memFree=1791636/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=3.09
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 309 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30141 s]
/proc/loadavg: 0.93 0.98 0.99 2/108 1677
/proc/meminfo: memFree=1791512/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=6.29
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 629 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134527020 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7006 s]
/proc/loadavg: 0.93 0.98 0.99 2/108 1677
/proc/meminfo: memFree=1791388/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=12.69
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 1269 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5009 s]
/proc/loadavg: 0.95 0.98 0.99 2/108 1677
/proc/meminfo: memFree=1791264/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=25.48
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 2548 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526451 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/108 1679
/proc/meminfo: memFree=1791140/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=51.08
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 5108 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/108 1679
/proc/meminfo: memFree=1790892/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=102.27
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 10227 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 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: 0.99 0.98 0.99 2/108 1681
/proc/meminfo: memFree=1790644/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=162.24
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 16224 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525897 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 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: 0.99 0.98 0.99 2/108 1687
/proc/meminfo: memFree=1790644/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=222.22
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 22222 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1689
/proc/meminfo: memFree=1790396/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=282.2
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 28220 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1691
/proc/meminfo: memFree=1790272/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=342.17
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 34217 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 49152

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1691
/proc/meminfo: memFree=1790148/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=402.15
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 40215 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526475 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1121.91
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 112191 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1714
/proc/meminfo: memFree=1788784/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1181.89
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 118189 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1716
/proc/meminfo: memFree=1788660/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1241.87
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 124187 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134547396 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1716
/proc/meminfo: memFree=1788412/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1301.85
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 130185 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1718
/proc/meminfo: memFree=1788288/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1361.83
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 136183 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134519859 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1721
/proc/meminfo: memFree=1788288/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1421.82
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 142182 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1724
/proc/meminfo: memFree=1788164/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1481.79
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 148179 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1726
/proc/meminfo: memFree=1787916/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1541.77
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 154177 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526523 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1726
/proc/meminfo: memFree=1787916/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1601.75
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 160175 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134537251 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1731
/proc/meminfo: memFree=1787296/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1661.73
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 166173 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1733
/proc/meminfo: memFree=1787544/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1721.71
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 172171 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526668 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1735
/proc/meminfo: memFree=1787420/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1781.69
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 178169 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134525834 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1735
/proc/meminfo: memFree=1787420/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1800.09
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 180009 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526622 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 1735
/proc/meminfo: memFree=1787420/2059040 swapFree=4140328/4192956
[pid=1675] ppid=1673 vsize=8700 CPUtime=0
/proc/1675/stat : 1675 (run) S 1673 1675 1650 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 34762732 8908800 244 1992294400 4194304 4922060 140735983986704 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1675/statm: 2175 244 204 178 0 68 0
[pid=1676] ppid=1675 vsize=40452 CPUtime=1800.09
/proc/1676/stat : 1676 (PB-wave) R 1675 1675 1650 0 -1 4202496 1047 0 0 0 180009 0 0 0 25 0 1 0 34762732 41422848 976 1992294400 134512640 135071400 4294326208 18446744073709551615 134526622 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1676/statm: 10113 976 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 49152

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

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

runsolver used 3.00954 second user time and 8.78366 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-15 16:11:49
IDJOB=2669881
IDBENCH=1478
IDSOLVER=1171
FILE ID=node027/2669881-1276611109
PBS_JOBID= 11172291
Free space on /tmp= 62532 MiB

SOLVER NAME= PB-wave alpha 2
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669881-1276611109/watcher-2669881-1276611109 -o /tmp/evaluation-result-2669881-1276611109/solver-2669881-1276611109 -C 1800 -W 2000 -M 1800  run HOME/instance-2669881-1276611109.opb

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

MD5SUM BENCH= d30cbdfbaf2c404a9c4e9217e33c734d
RANDOM SEED=312822016

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.261
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:       1796388 kB
Buffers:         58376 kB
Cached:         124544 kB
SwapCached:       6128 kB
Active:          92740 kB
Inactive:       103524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1796388 kB
SwapTotal:     4192956 kB
SwapFree:      4140328 kB
Dirty:            1376 kB
Writeback:           0 kB
AnonPages:       11600 kB
Mapped:          13116 kB
Slab:            44672 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183156 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= 62532 MiB
End job on node027 at 2010-06-15 16:41:50