Trace number 2669861

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
MD5SUMe5e9e70aacd6f12ca1d11bb54ad048ed
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.105983
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6059
Total number of constraints16684
Number of constraints which are clauses15940
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints744
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 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 127
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 = 50498150
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 6059 #con 16684
0.00/0.05	mode is SAT
0.00/0.05	c tail starts after flip = 18177
0.00/0.05	c numatom = 6059, numclause = 16684, numliterals = 45102
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.69/1.78	c       187       274    308.90     59.85      5.16   1000000         0
3.49/3.51	c       171       288    307.80     66.15      4.65   1000000         0
5.19/5.24	c       166       302    303.98     56.79      5.35   1000000         0
6.89/6.95	c       152       270    313.78     60.40      5.20   1000000         0
8.59/8.68	c       180       255    306.26     60.97      5.02   1000000         0
10.39/10.42	c       180       361    303.36     60.41      5.02   1000000         0
12.09/12.15	c       197       252    307.00     56.11      5.47   1000000         0
13.79/13.89	c       170       295    300.92     62.77      4.79   1000000         0
15.58/15.62	c       178       313    306.21     56.07      5.46   1000000         0
17.28/17.35	c       201       287    310.39     52.00      5.97   1000000         0
18.98/19.09	c       178       275    304.97     60.93      5.00   1000000         0
20.78/20.81	c       188       297    309.60     47.09      6.57   1000000         0
22.48/22.55	c       183       231    299.82     55.60      5.39   1000000         0
24.19/24.28	c       181       302    302.27     58.39      5.18   1000000         0
25.98/26.00	c       201       304    317.57     58.11      5.46   1000000         0
27.68/27.73	c       206       344    310.28     50.92      6.09   1000000         0
29.38/29.47	c       159       354    305.00     57.87      5.27   1000000         0
31.18/31.20	c       188       219    301.78     53.10      5.68   1000000         0
32.88/32.93	c       186       287    311.54     67.67      4.60   1000000         0
34.58/34.65	c       185       332    311.85     62.22      5.01   1000000         0
36.28/36.37	c       196       268    306.36     60.03      5.10   1000000         0
38.08/38.10	c       196       280    303.11     50.55      6.00   1000000         0
39.78/39.83	c       195       253    307.95     60.67      5.08   1000000         0
41.48/41.55	c       178       278    300.97     61.73      4.88   1000000         0
43.18/43.28	c       181       311    298.75     63.33      4.72   1000000         0
44.97/45.02	c       179       279    310.41     54.12      5.74   1000000         0
46.67/46.75	c       182       312    305.35     69.74      4.38   1000000         0
48.38/48.48	c       189       291    310.07     52.26      5.93   1000000         0
50.17/50.22	c       179       249    302.02     64.00      4.72   1000000         0
51.87/51.94	c       191       309    312.04     57.47      5.43   1000000         0
53.57/53.67	c       187       237    304.92     56.59      5.39   1000000         0
55.37/55.40	c       186       292    302.83     62.18      4.87   1000000         0
57.07/57.14	c       179       302    311.22     64.37      4.83   1000000         0
58.77/58.87	c       191       252    310.59     59.57      5.21   1000000         0
60.58/60.61	c       175       291    305.74     57.60      5.31   1000000         0
62.27/62.32	c       185       302    305.29     56.50      5.40   1000000         0
63.97/64.06	c       184       266    300.12     55.27      5.43   1000000         0
65.67/65.79	c       194       296    310.42     54.67      5.68   1000000         0
67.47/67.53	c       182       312    305.13     56.27      5.42   1000000         0
69.17/69.27	c       185       278    304.96     58.27      5.23   1000000         0
70.87/70.99	c       185       288    299.30     60.31      4.96   1000000         0
72.67/72.72	c       172       230    315.71     61.96      5.10   1000000         0
74.36/74.45	c       182       255    304.41     65.07      4.68   1000000         0
76.06/76.18	c       199       305    316.75     53.01      5.98   1000000         0
77.86/77.92	c       178       299    299.52     62.10      4.82   1000000         0
79.56/79.64	c       188       318    312.12     66.79      4.67   1000000         0
81.26/81.36	c       183       289    303.58     54.94      5.53   1000000         0
82.96/83.09	c       179       322    305.93     59.71      5.12   1000000         0
84.77/84.83	c       185       262    305.76     66.17      4.62   1000000         0
86.46/86.55	c       184       284    312.33     57.71      5.41   1000000         0
88.16/88.27	c       167       311    306.94     65.26      4.70   1000000         0
89.96/90.01	c       183       286    308.56     66.89      4.61   1000000         0
91.66/91.74	c       182       291    296.58     54.63      5.43   1000000         0
93.36/93.48	c       180       354    308.92     53.02      5.83   1000000         0
95.16/95.22	c       163       316    309.35     59.10      5.23   1000000         0
96.86/96.95	c       174       280    301.58     58.80      5.13   1000000         0
98.56/98.67	c       180       277    304.85     58.69      5.19   1000000         0
100.26/100.39	c       180       232    304.24     53.23      5.72   1000000         0
102.06/102.14	c       186       342    308.73     56.01      5.51   1000000         0
103.76/103.87	c       178       343    317.07     59.28      5.35   1000000         0
105.45/105.60	c       184       302    308.11     62.26      4.95   1000000         0
107.25/107.34	c       191       244    302.91     59.72      5.07   1000000         0
108.96/109.07	c       182       363    306.14     55.93      5.47   1000000         0
110.75/110.80	c       192       270    312.08     58.36      5.35   1000000         0
112.45/112.53	c       185       330    307.11     60.57      5.07   1000000         0
114.15/114.25	c       190       283    303.65     59.72      5.08   1000000         0
115.85/115.98	c       182       247    302.69     55.68      5.44   1000000         0
117.66/117.71	c       191       232    313.11     62.30      5.03   1000000         0
119.35/119.44	c       181       279    310.38     54.41      5.70   1000000         0
121.06/121.16	c       186       338    308.11     48.92      6.30   1000000         0
122.75/122.87	c       186       292    306.90     61.65      4.98   1000000         0
124.55/124.61	c       138       292    306.13     64.91      4.72   1000000         0
126.25/126.33	c       179       333    306.71     65.53      4.68   1000000         0
127.95/128.07	c       179       301    312.48     62.84      4.97   1000000         0
129.75/129.81	c       189       224    308.49     63.81      4.83   1000000         0
131.45/131.54	c       181       278    299.88     65.64      4.57   1000000         0
133.15/133.28	c       186       272    306.09     55.04      5.56   1000000         0
134.94/135.02	c       186       265    314.46     52.49      5.99   1000000         0
136.64/136.75	c       161       250    304.06     66.63      4.56   1000000         0
138.34/138.48	c       190       269    302.03     60.21      5.02   1000000         0
140.14/140.22	c       196       330    309.31     57.78      5.35   1000000         0
141.85/141.95	c       195       243    306.40     61.83      4.96   1000000         0
143.54/143.68	c       176       243    311.59     64.27      4.85   1000000         0
145.34/145.41	c       170       330    303.36     58.21      5.21   1000000         0
147.04/147.13	c       206       299    317.26     58.51      5.42   1000000         0
148.74/148.88	c       192       274    303.74     61.43      4.94   1000000         0
150.54/150.60	c       189       271    308.56     54.58      5.65   1000000         0
152.24/152.34	c       191       323    309.75     61.33      5.05   1000000         0
153.94/154.07	c       182       223    301.24     63.13      4.77   1000000         0
155.74/155.80	c       181       353    308.14     61.75      4.99   1000000         0
157.44/157.54	c       193       311    310.65     58.56      5.30   1000000         0
159.13/159.26	c       186       270    309.37     62.77      4.93   1000000         0
160.83/160.98	c       162       354    308.68     61.34      5.03   1000000         0
162.63/162.71	c       179       347    299.83     61.10      4.91   1000000         0
164.33/164.45	c       197       322    316.95     61.77      5.13   1000000         0
166.04/166.17	c       190       276    306.46     59.54      5.15   1000000         0
167.83/167.91	c       190       344    301.15     60.32      4.99   1000000         0
169.53/169.64	c       166       305    302.63     63.56      4.76   1000000         0
171.23/171.36	c       186       286    303.96     60.33      5.04   1000000         0
172.93/173.08	c       190       250    309.53     59.53      5.20   1000000         0
174.73/174.82	c       175       296    303.60     61.54      4.93   1000000         0
176.43/176.55	c       185       256    298.89     57.76      5.18   1000000         0
178.13/178.27	c       194       251    306.62     54.73      5.60   1000000         0
179.93/180.00	c       177       296    307.66     69.49      4.43   1000000         0
181.63/181.73	c       192       291    304.51     61.77      4.93   1000000         0
183.33/183.45	c       184       258    304.94     66.01      4.62   1000000         0
185.03/185.19	c       190       312    313.67     62.02      5.06   1000000         0
186.83/186.92	c       175       274    303.41     58.90      5.15   1000000         0
188.52/188.64	c       211       278    316.14     59.57      5.31   1000000         0
190.23/190.37	c       177       256    310.36     57.33      5.41   1000000         0
191.92/192.09	c       180       348    308.06     62.17      4.96   1000000         0
193.72/193.82	c       187       301    297.30     59.46      5.00   1000000         0
195.42/195.55	c       173       258    298.31     60.43      4.94   1000000         0
197.12/197.29	c       195       340    314.18     59.47      5.28   1000000         0
198.92/199.02	c       192       296    304.47     61.06      4.99   1000000         0
200.62/200.75	c       174       277    304.72     58.18      5.24   1000000         0
202.33/202.48	c       197       267    315.45     57.15      5.52   1000000         0
204.12/204.21	c       178       296    302.53     64.07      4.72   1000000         0
205.82/205.95	c       195       335    301.32     56.11      5.37   1000000         0
207.52/207.67	c       187       310    306.68     59.25      5.18   1000000         0
209.32/209.40	c       193       270    312.38     51.59      6.06   1000000         0
211.02/211.14	c       175       248    292.77     67.22      4.36   1000000         0
212.72/212.87	c       182       265    309.79     54.90      5.64   1000000         0
214.42/214.60	c       197       266    306.48     57.82      5.30   1000000         0
216.22/216.32	c       171       313    315.85     52.95      5.96   1000000         0
217.91/218.05	c       194       309    313.73     63.19      4.97   1000000         0
219.61/219.79	c       194       290    302.11     57.52      5.25   1000000         0
221.41/221.52	c       195       297    307.70     59.56      5.17   1000000         0
223.11/223.26	c       197       291    307.64     58.61      5.25   1000000         0
224.81/224.99	c       186       312    304.69     64.03      4.76   1000000         0
226.62/226.73	c       171       339    306.72     67.62      4.54   1000000         0
228.31/228.46	c       188       277    305.79     60.77      5.03   1000000         0
230.01/230.18	c       191       266    309.41     61.63      5.02   1000000         0
231.81/231.93	c       167       314    302.31     65.59      4.61   1000000         0
233.51/233.65	c       197       320    311.78     64.16      4.86   1000000         0
235.21/235.36	c       199       293    309.42     58.88      5.26   1000000         0
237.01/237.10	c       182       328    301.15     57.48      5.24   1000000         0
238.71/238.81	c       187       275    305.83     61.25      4.99   1000000         0
240.41/240.55	c       176       295    304.25     62.54      4.87   1000000         0
242.11/242.28	c       186       253    311.44     58.03      5.37   1000000         0
243.91/244.01	c       185       266    299.34     54.11      5.53   1000000         0
245.61/245.75	c       162       228    298.64     63.66      4.69   1000000         0
247.31/247.48	c       189       266    301.82     61.66      4.89   1000000         0
249.10/249.22	c       183       307    298.29     59.72      4.99   1000000         0
250.81/250.94	c       194       323    308.38     59.74      5.16   1000000         0
252.50/252.68	c       170       283    307.18     61.62      4.98   1000000         0
254.30/254.40	c       198       305    304.45     53.07      5.74   1000000         0
256.00/256.13	c       192       305    304.90     56.41      5.40   1000000         0
257.70/257.87	c       172       284    305.06     62.07      4.91   1000000         0
259.51/259.60	c       182       346    302.51     59.07      5.12   1000000         0
261.20/261.33	c       178       233    306.31     59.78      5.12   1000000         0
262.91/263.05	c       201       348    305.13     52.27      5.84   1000000         0
264.60/264.79	c       175       263    309.07     67.47      4.58   1000000         0
266.40/266.52	c       199       274    307.60     52.36      5.87   1000000         0
268.10/268.23	c       179       341    310.45     58.81      5.28   1000000         0
269.80/269.95	c       185       280    301.04     61.37      4.91   1000000         0
271.50/271.69	c       197       325    308.87     58.93      5.24   1000000         0
273.30/273.43	c       183       339    304.87     54.46      5.60   1000000         0
275.00/275.17	c       177       353    311.62     59.61      5.23   1000000         0
276.69/276.89	c       198       245    309.45     55.39      5.59   1000000         0
278.49/278.61	c       177       339    302.07     56.30      5.37   1000000         0
280.19/280.33	c       172       278    307.84     70.32      4.38   1000000         0
281.89/282.07	c       174       275    299.12     59.83      5.00   1000000         0
283.70/283.81	c       171       301    303.16     59.79      5.07   1000000         0
285.39/285.55	c       178       320    303.51     60.58      5.01   1000000         0
287.10/287.28	c       163       341    310.07     66.23      4.68   1000000         0
288.89/289.01	c       170       296    301.82     68.94      4.38   1000000         0
290.59/290.74	c       190       373    299.79     59.73      5.02   1000000         0
292.29/292.47	c       182       252    313.99     67.83      4.63   1000000         0
294.09/294.20	c       199       245    306.54     59.13      5.18   1000000         0
295.80/295.92	c       190       321    315.92     61.59      5.13   1000000         0
297.49/297.65	c       191       255    307.03     54.05      5.68   1000000         0
299.19/299.38	c       180       253    304.90     65.26      4.67   1000000         0
300.99/301.12	c       184       278    299.71     59.07      5.07   1000000         0
302.69/302.85	c       196       291    315.82     66.19      4.77   1000000         0
304.39/304.59	c       180       295    299.79     57.83      5.18   1000000         0
306.19/306.32	c       174       293    303.56     56.54      5.37   1000000         0
307.89/308.05	c       185       272    311.88     62.22      5.01   1000000         0
309.58/309.79	c       170       366    305.74     58.83      5.20   1000000         0
311.38/311.51	c       190       339    306.81     56.17      5.46   1000000         0
313.08/313.23	c       194       266    306.43     55.15      5.56   1000000         0
314.78/314.96	c       175       299    311.88     63.64      4.90   1000000         0
316.58/316.70	c       180       262    301.85     56.21      5.37   1000000         0
318.28/318.43	c       180       309    308.70     62.95      4.90   1000000         0
319.99/320.16	c       188       203    303.42     59.12      5.13   1000000         0
321.68/321.87	c       182       279    317.49     61.96      5.12   1000000         0
323.48/323.61	c       176       288    296.52     54.34      5.46   1000000         0
325.18/325.35	c       193       246    306.57     63.30      4.84   1000000         0
326.88/327.09	c       173       272    297.07     67.10      4.43   1000000         0
328.68/328.83	c       186       258    305.34     56.66      5.39   1000000         0
330.38/330.57	c       183       249    303.93     57.63      5.27   1000000         0
332.08/332.28	c       191       291    307.26     55.96      5.49   1000000         0
333.78/334.00	c       188       296    313.56     56.54      5.55   1000000         0
335.57/335.72	c       204       278    315.92     52.00      6.08   1000000         0
337.27/337.44	c       188       286    307.92     63.08      4.88   1000000         0
338.97/339.16	c       166       287    298.90     63.48      4.71   1000000         0
340.67/340.89	c       165       262    309.62     57.79      5.36   1000000         0
342.47/342.61	c       186       268    308.77     61.11      5.05   1000000         0
344.18/344.36	c       185       308    303.62     66.24      4.58   1000000         0
345.87/346.09	c       199       380    311.34     64.66      4.82   1000000         0
347.67/347.83	c       189       311    304.72     61.27      4.97   1000000         0
349.37/349.56	c       194       290    312.82     68.22      4.59   1000000         0
351.07/351.28	c       187       240    305.50     61.00      5.01   1000000         0
352.87/353.00	c       163       328    306.00     60.32      5.07   1000000         0
354.57/354.72	c       187       286    312.49     58.83      5.31   1000000         0
356.27/356.45	c       183       305    307.30     50.87      6.04   1000000         0
357.97/358.18	c       172       295    305.62     62.54      4.89   1000000         0
359.77/359.90	c       188       328    309.39     58.34      5.30   1000000         0
361.47/361.63	c       192       290    307.83     60.87      5.06   1000000         0
363.15/363.38	c       170       230    299.38     60.59      4.94   1000000         0
364.94/365.10	c       171       337    307.58     58.71      5.24   1000000         0
366.64/366.86	c       178       273    304.21     68.59      4.44   1000000         0
368.35/368.59	c       193       262    315.50     60.05      5.25   1000000         0
370.14/370.32	c       196       295    304.55     52.99      5.75   1000000         0
371.84/372.04	c       156       251    306.47     62.86      4.88   1000000         0
373.54/373.77	c       179       312    303.96     62.62      4.85   1000000         0
375.24/375.49	c       174       284    310.24     58.91      5.27   1000000         0
377.04/377.21	c       187       315    312.79     55.24      5.66   1000000         0
378.74/378.94	c       157       266    295.49     56.35      5.24   1000000         0
380.45/380.68	c       183       231    303.23     56.57      5.36   1000000         0
382.24/382.40	c       163       238    303.74     63.21      4.81   1000000         0
383.94/384.12	c       185       235    310.45     61.35      5.06   1000000         0
385.64/385.85	c       180       292    294.71     57.74      5.10   1000000         0
387.34/387.58	c       181       324    310.19     54.22      5.72   1000000         0
389.14/389.32	c       182       309    299.55     55.07      5.44   1000000         0
390.84/391.06	c       181       282    303.56     65.67      4.62   1000000         0
392.54/392.79	c       178       318    315.80     57.91      5.45   1000000         0
394.34/394.52	c       171       303    307.38     50.51      6.09   1000000         0
396.03/396.25	c       172       321    309.57     64.40      4.81   1000000         0
397.73/397.99	c       190       314    314.91     57.94      5.43   1000000         0
399.53/399.71	c       197       262    306.97     54.31      5.65   1000000         0
401.23/401.44	c       167       276    303.17     61.62      4.92   1000000         0
402.93/403.16	c       198       298    305.07     61.55      4.96   1000000         0
404.64/404.88	c       190       254    305.17     62.78      4.86   1000000         0
406.43/406.61	c       169       291    310.01     65.44      4.74   1000000         0
408.13/408.35	c       192       330    310.17     58.03      5.35   1000000         0
409.83/410.08	c       168       255    303.29     61.03      4.97   1000000         0
411.63/411.81	c       183       277    307.07     55.67      5.52   1000000         0
413.33/413.53	c       183       321    309.43     60.36      5.13   1000000         0
415.03/415.26	c       145       249    311.44     64.74      4.81   1000000         0
416.73/416.99	c       185       256    307.31     55.69      5.52   1000000         0
418.53/418.72	c       166       299    309.78     63.24      4.90   1000000         0
420.23/420.45	c       171       305    310.65     63.08      4.92   1000000         0
421.93/422.16	c       190       295    308.11     65.73      4.69   1000000         0
423.73/423.90	c       185       248    309.47     62.66      4.94   1000000         0
425.43/425.63	c       172       285    307.58     58.85      5.23   1000000         0
427.12/427.37	c       188       324    303.66     67.16      4.52   1000000         0
428.83/429.10	c       177       284    305.82     59.84      5.11   1000000         0
430.62/430.82	c       187       261    313.28     54.38      5.76   1000000         0
432.32/432.54	c       184       293    301.01     56.34      5.34   1000000         0
434.02/434.27	c       187       310    303.74     57.31      5.30   1000000         0
435.72/436.00	c       158       270    312.27     58.12      5.37   1000000         0
437.52/437.72	c       181       328    308.11     59.87      5.15   1000000         0
439.22/439.45	c       182       242    302.84     49.98      6.06   1000000         0
440.93/441.17	c       186       330    307.29     57.28      5.36   1000000         0
442.72/442.90	c       185       297    314.79     57.33      5.49   1000000         0
444.42/444.62	c       186       331    294.25     55.68      5.28   1000000         0
446.12/446.35	c       186       285    309.45     62.65      4.94   1000000         0
447.82/448.06	c       192       270    303.75     50.01      6.07   1000000         0
449.52/449.79	c       192       291    311.28     58.43      5.33   1000000         0
451.32/451.51	c       203       303    306.95     50.98      6.02   1000000         0
453.02/453.25	c       179       272    302.37     58.41      5.18   1000000         0
454.71/454.98	c       176       270    307.59     57.41      5.36   1000000         0
456.51/456.72	c       170       285    300.68     56.68      5.30   1000000         0
458.21/458.46	c       183       335    299.85     58.59      5.12   1000000         0
460.01/460.20	c       179       251    299.08     52.38      5.71   1000000         0
461.71/461.90	c       188       260    312.94     54.28      5.76   1000000         0
463.41/463.64	c       187       337    306.65     54.25      5.65   1000000         0
465.12/465.38	c       185       215    309.30     59.29      5.22   1000000         0
466.91/467.10	c       177       274    306.98     57.56      5.33   1000000         0
468.61/468.84	c       181       304    306.89     56.93      5.39   1000000         0
470.31/470.58	c       185       272    313.03     57.36      5.46   1000000         0
472.11/472.30	c       184       281    301.05     61.44      4.90   1000000         0
473.81/474.04	c       192       293    301.98     58.65      5.15   1000000         0
475.51/475.78	c       182       304    306.40     63.53      4.82   1000000         0
477.21/477.50	c       189       268    310.98     61.64      5.05   1000000         0
479.01/479.24	c       188       287    300.70     57.86      5.20   1000000         0
480.71/480.98	c       176       292    300.55     59.97      5.01   1000000         0
482.50/482.70	c       185       339    304.02     53.89      5.64   1000000         0
484.20/484.43	c       186       270    307.60     59.34      5.18   1000000         0
485.90/486.16	c       177       333    302.35     65.46      4.62   1000000         0
487.60/487.89	c       187       327    309.34     57.22      5.41   1000000         0
489.41/489.63	c       176       253    300.40     67.39      4.46   1000000         0
491.10/491.37	c       189       322    311.71     62.34      5.00   1000000         0
492.90/493.10	c       187       331    313.38     57.82      5.42   1000000         0
494.60/494.83	c       187       333    308.62     57.78      5.34   1000000         0
496.30/496.57	c       190       320    312.25     58.09      5.38   1000000         0
498.00/498.29	c       172       265    304.90     52.99      5.75   1000000         0
499.80/500.03	c       187       286    305.23     58.92      5.18   1000000         0
501.51/501.76	c       189       370    306.39     56.15      5.46   1000000         0
503.20/503.49	c       176       380    300.10     56.84      5.28   1000000         0
505.00/505.22	c       160       292    300.14     49.79      6.03   1000000         0
506.70/506.94	c       180       218    307.94     63.83      4.82   1000000         0
508.40/508.67	c       189       326    306.68     55.32      5.54   1000000         0
510.20/510.42	c       169       281    303.39     66.97      4.53   1000000         0
511.90/512.15	c       164       280    298.22     53.11      5.61   1000000         0
513.60/513.87	c       190       312    307.24     53.50      5.74   1000000         0
515.39/515.60	c       161       230    294.17     55.38      5.31   1000000         0
517.09/517.34	c       181       286    312.22     64.04      4.88   1000000         0
518.79/519.07	c       187       318    317.40     69.35      4.58   1000000         0
520.59/520.82	c       172       264    294.71     65.42      4.51   1000000         0
522.30/522.54	c       183       274    300.00     61.05      4.91   1000000         0
523.99/524.27	c       180       314    303.80     62.77      4.84   1000000         0
525.70/526.00	c       186       294    309.34     57.01      5.43   1000000         0
527.49/527.71	c       193       270    306.37     52.55      5.83   1000000         0
529.19/529.43	c       180       270    304.55     65.78      4.63   1000000         0
530.89/531.16	c       191       375    315.14     62.21      5.07   1000000         0
532.59/532.89	c       189       272    304.66     61.45      4.96   1000000         0
534.39/534.62	c       185       268    304.88     62.55      4.87   1000000         0
536.09/536.34	c       190       296    307.59     61.61      4.99   1000000         0
537.79/538.07	c       175       301    312.76     64.41      4.86   1000000         0
539.58/539.81	c       184       271    312.20     52.97      5.89   1000000         0
541.28/541.54	c       184       323    302.29     59.71      5.06   1000000         0
542.98/543.29	c       195       282    316.29     57.74      5.48   1000000         0
544.78/545.02	c       182       273    304.40     51.33      5.93   1000000         0
546.49/546.76	c       181       373    304.36     55.88      5.45   1000000         0
548.18/548.50	c       174       275    300.35     59.36      5.06   1000000         0
549.98/550.24	c       180       348    301.55     63.73      4.73   1000000         0
551.68/551.98	c       174       314    303.97     59.96      5.07   1000000         0
553.48/553.72	c       188       250    302.68     61.25      4.94   1000000         0
555.18/555.45	c       179       303    298.54     56.52      5.28   1000000         0
556.88/557.18	c       189       272    310.56     58.41      5.32   1000000         0
558.69/558.92	c       179       250    302.38     56.26      5.37   1000000         0
560.38/560.66	c       185       292    304.61     54.48      5.59   1000000         0
562.08/562.38	c       181       271    302.63     64.82      4.67   1000000         0
563.88/564.11	c       196       306    306.58     56.68      5.41   1000000         0
565.58/565.84	c       194       264    307.47     60.90      5.05   1000000         0
567.28/567.57	c       204       324    318.80     58.02      5.49   1000000         0
568.97/569.29	c       186       266    308.74     64.31      4.80   1000000         0
570.78/571.01	c       173       320    305.17     63.95      4.77   1000000         0
572.47/572.74	c       188       272    308.39     61.88      4.98   1000000         0
574.17/574.47	c       194       333    315.81     64.60      4.89   1000000         0
575.97/576.20	c       177       293    300.60     65.79      4.57   1000000         0
577.67/577.94	c       170       304    308.34     62.73      4.92   1000000         0
579.37/579.67	c       177       360    308.43     60.63      5.09   1000000         0
581.17/581.41	c       166       258    303.99     64.10      4.74   1000000         0
582.88/583.14	c       174       292    302.63     76.55      3.95   1000000         0
584.57/584.86	c       195       286    317.61     69.45      4.57   1000000         0
586.27/586.58	c       189       281    313.04     63.46      4.93   1000000         0
588.07/588.30	c       163       269    312.07     72.26      4.32   1000000         0
589.77/590.02	c       190       251    311.29     49.89      6.24   1000000         0
591.47/591.75	c       184       308    299.44     57.81      5.18   1000000         0
593.17/593.48	c       192       327    304.26     52.59      5.79   1000000         0
594.97/595.22	c       168       298    310.20     61.27      5.06   1000000         0
596.67/596.94	c       194       296    312.78     65.25      4.79   1000000         0
598.37/598.67	c       193       344    305.33     55.10      5.54   1000000         0
600.06/600.40	c       172       232    301.03     58.14      5.18   1000000         0
601.86/602.12	c       179       248    305.91     56.85      5.38   1000000         0
603.56/603.84	c       178       308    300.10     55.90      5.37   1000000         0
605.26/605.59	c       172       302    305.38     68.30      4.47   1000000         0
607.07/607.31	c       179       238    303.12     58.08      5.22   1000000         0
608.76/609.05	c       181       343    303.75     52.81      5.75   1000000         0
610.46/610.77	c       187       273    310.76     55.49      5.60   1000000         0
612.26/612.51	c       171       269    307.44     62.90      4.89   1000000         0
613.96/614.22	c       163       288    302.92     61.36      4.94   1000000         0
615.66/615.94	c       196       333    302.24     61.63      4.90   1000000         0
617.36/617.67	c       195       391    308.61     53.69      5.75   1000000         0
619.16/619.41	c       190       315    304.88     60.17      5.07   1000000         0
620.86/621.15	c       180       328    301.39     57.40      5.25   1000000         0
622.56/622.87	c       193       273    305.76     57.87      5.28   1000000         0
624.36/624.60	c       193       326    304.61     56.13      5.43   1000000         0
626.06/626.32	c       157       272    311.79     73.79      4.23   1000000         0
627.76/628.06	c       171       248    297.00     58.87      5.05   1000000         0
629.45/629.79	c       183       304    309.82     56.31      5.50   1000000         0
631.26/631.52	c       167       281    292.28     52.71      5.54   1000000         0
632.95/633.26	c       189       328    308.28     57.00      5.41   1000000         0
634.65/634.98	c       187       298    311.24     55.77      5.58   1000000         0
636.45/636.71	c       183       286    304.06     58.21      5.22   1000000         0
638.15/638.42	c       201       304    315.74     53.66      5.88   1000000         0
639.85/640.15	c       178       304    299.67     60.78      4.93   1000000         0
641.55/641.89	c       177       311    309.60     67.23      4.61   1000000         0
643.36/643.62	c       186       343    306.85     55.23      5.56   1000000         0
645.05/645.35	c       183       250    308.99     53.34      5.79   1000000         0
646.75/647.08	c       171       301    305.86     59.13      5.17   1000000         0
648.55/648.81	c       186       251    308.05     58.90      5.23   1000000         0
650.25/650.55	c       172       274    305.81     61.79      4.95   1000000         0
651.95/652.28	c       179       264    309.90     67.19      4.61   1000000         0
653.75/654.00	c       185       240    304.17     55.31      5.50   1000000         0
655.45/655.72	c       185       256    310.29     54.30      5.71   1000000         0
657.15/657.46	c       193       284    307.56     47.21      6.52   1000000         0
658.84/659.18	c       202       260    317.07     65.63      4.83   1000000         0
660.64/660.91	c       192       328    304.80     60.96      5.00   1000000         0
662.34/662.65	c       176       228    308.57     53.29      5.79   1000000         0
664.04/664.37	c       182       304    304.00     62.46      4.87   1000000         0
665.74/666.09	c       196       299    313.04     58.04      5.39   1000000         0
667.55/667.81	c       181       338    305.71     58.32      5.24   1000000         0
669.24/669.55	c       184       276    310.86     61.21      5.08   1000000         0
670.94/671.28	c       194       285    300.82     47.10      6.39   1000000         0
672.74/673.02	c       189       361    308.88     56.25      5.49   1000000         0
674.44/674.75	c       182       267    306.88     56.31      5.45   1000000         0
676.14/676.47	c       193       299    306.61     62.06      4.94   1000000         0
677.94/678.20	c       170       306    297.27     59.89      4.96   1000000         0
679.64/679.92	c       197       292    308.64     58.00      5.32   1000000         0
681.34/681.64	c       187       319    311.20     56.26      5.53   1000000         0
683.04/683.37	c       173       277    305.35     54.93      5.56   1000000         0
684.84/685.11	c       177       288    300.82     60.27      4.99   1000000         0
686.54/686.83	c       190       264    306.28     59.58      5.14   1000000         0
688.24/688.57	c       173       265    298.86     58.83      5.08   1000000         0
690.03/690.31	c       197       285    309.59     66.24      4.67   1000000         0
691.74/692.03	c       180       322    308.40     59.94      5.14   1000000         0
693.43/693.77	c       175       306    309.24     63.61      4.86   1000000         0
695.13/695.49	c       171       313    306.87     62.96      4.87   1000000         0
696.93/697.21	c       180       359    315.37     65.79      4.79   1000000         0
698.63/698.93	c       183       299    315.64     59.92      5.27   1000000         0
700.33/700.68	c       182       303    299.73     70.63      4.24   1000000         0
702.13/702.41	c       180       267    301.56     58.87      5.12   1000000         0
703.84/704.14	c       194       256    319.21     64.51      4.95   1000000         0
705.53/705.86	c       168       316    312.50     60.94      5.13   1000000         0
707.23/707.59	c       193       257    304.62     51.22      5.95   1000000         0
709.03/709.32	c       193       345    311.54     56.10      5.55   1000000         0
710.73/711.05	c       187       261    309.01     58.11      5.32   1000000         0
712.43/712.77	c       177       394    315.21     65.61      4.80   1000000         0
714.23/714.52	c       161       312    300.74     54.95      5.47   1000000         0
715.93/716.24	c       197       322    313.66     62.47      5.02   1000000         0
717.62/717.98	c       177       267    299.13     59.32      5.04   1000000         0
719.42/719.71	c       190       324    313.03     63.57      4.92   1000000         0
721.12/721.43	c       172       259    301.76     60.41      5.00   1000000         0
722.82/723.17	c       178       253    304.81     53.39      5.71   1000000         0
724.63/724.90	c       176       323    306.88     59.89      5.12   1000000         0
726.32/726.63	c       195       258    307.40     62.73      4.90   1000000         0
728.03/728.36	c       191       294    305.54     58.37      5.23   1000000         0
729.72/730.09	c       191       311    311.03     62.19      5.00   1000000         0
731.52/731.81	c       189       340    309.94     63.68      4.87   1000000         0
733.22/733.55	c       183       297    295.24     56.09      5.26   1000000         0
734.92/735.28	c       192       315    311.23     59.03      5.27   1000000         0
736.73/737.02	c       171       275    303.03     57.28      5.29   1000000         0
738.42/738.75	c       196       305    307.35     54.45      5.64   1000000         0
740.13/740.48	c       194       305    315.27     60.68      5.20   1000000         0
741.92/742.20	c       175       282    303.62     54.67      5.55   1000000         0
743.62/743.93	c       166       271    297.78     68.88      4.32   1000000         0
745.32/745.66	c       195       290    306.91     62.32      4.92   1000000         0
747.01/747.39	c       179       299    300.27     62.46      4.81   1000000         0
748.82/749.11	c       203       287    313.65     64.91      4.83   1000000         0
750.51/750.84	c       198       329    315.48     60.94      5.18   1000000         0
752.22/752.55	c       202       310    316.64     59.51      5.32   1000000         0
753.91/754.28	c       167       281    309.52     57.92      5.34   1000000         0
755.71/756.01	c       172       242    316.87     59.58      5.32   1000000         0
757.41/757.75	c       191       308    311.29     58.57      5.31   1000000         0
759.11/759.49	c       187       307    298.13     56.88      5.24   1000000         0
760.92/761.21	c       185       337    310.64     53.40      5.82   1000000         0
762.61/762.94	c       179       295    307.07     56.65      5.42   1000000         0
764.32/764.68	c       184       325    308.37     66.98      4.60   1000000         0
766.11/766.40	c       193       297    305.87     54.94      5.57   1000000         0
767.81/768.13	c       173       350    303.90     53.59      5.67   1000000         0
769.51/769.86	c       168       305    307.25     64.10      4.79   1000000         0
771.21/771.58	c       174       352    309.27     60.91      5.08   1000000         0
773.01/773.31	c       183       328    315.76     60.70      5.20   1000000         0
774.71/775.03	c       160       229    302.87     61.54      4.92   1000000         0
776.41/776.76	c       185       304    301.68     56.64      5.33   1000000         0
778.20/778.50	c       181       290    298.41     50.43      5.92   1000000         0
779.90/780.23	c       174       295    311.02     55.92      5.56   1000000         0
781.60/781.96	c       181       232    303.06     55.10      5.50   1000000         0
783.30/783.68	c       186       319    305.37     57.31      5.33   1000000         0
785.11/785.42	c       190       266    313.18     58.51      5.35   1000000         0
786.80/787.14	c       187       266    305.19     57.45      5.31   1000000         0
788.51/788.87	c       177       257    299.42     56.17      5.33   1000000         0
790.30/790.60	c       189       328    309.26     59.23      5.22   1000000         0
792.00/792.33	c       186       323    303.09     62.54      4.85   1000000         0
793.70/794.06	c       184       252    301.07     64.40      4.67   1000000         0
795.40/795.80	c       173       303    302.46     60.59      4.99   1000000         0
797.20/797.53	c       182       199    299.67     59.96      5.00   1000000         0
798.90/799.26	c       197       280    306.84     56.36      5.44   1000000         0
800.60/800.99	c       170       367    298.65     48.11      6.21   1000000         0
802.40/802.72	c       163       307    309.15     64.66      4.78   1000000         0
804.09/804.46	c       178       296    300.28     61.02      4.92   1000000         0
805.89/806.20	c       195       314    313.10     63.16      4.96   1000000         0
807.59/807.93	c       170       290    304.87     54.65      5.58   1000000         0
809.30/809.67	c       177       292    295.72     55.15      5.36   1000000         0
811.09/811.40	c       180       255    304.83     52.84      5.77   1000000         0
812.79/813.12	c       184       253    307.29     63.01      4.88   1000000         0
814.49/814.84	c       191       254    309.50     61.80      5.01   1000000         0
816.19/816.57	c       183       249    302.06     61.40      4.92   1000000         0
817.99/818.31	c       161       336    303.33     61.31      4.95   1000000         0
819.69/820.03	c       183       330    310.72     60.55      5.13   1000000         0
821.40/821.74	c       204       305    316.30     53.91      5.87   1000000         0
823.09/823.47	c       185       287    304.77     57.09      5.34   1000000         0
824.89/825.20	c       179       372    305.42     63.01      4.85   1000000         0
826.59/826.94	c       188       273    308.39     58.54      5.27   1000000         0
828.29/828.66	c       189       273    301.17     54.79      5.50   1000000         0
830.09/830.41	c       183       266    304.69     63.66      4.79   1000000         0
831.79/832.13	c       199       260    307.90     55.81      5.52   1000000         0
833.49/833.87	c       175       299    310.25     65.84      4.71   1000000         0
835.18/835.59	c       190       337    318.07     58.86      5.40   1000000         0
836.98/837.33	c       180       281    307.76     71.74      4.29   1000000         0
838.68/839.06	c       195       298    306.87     55.54      5.53   1000000         0
840.48/840.80	c       185       253    305.19     61.95      4.93   1000000         0
842.18/842.53	c       177       289    311.01     59.64      5.22   1000000         0
843.88/844.25	c       190       304    311.07     53.17      5.85   1000000         0
845.59/845.97	c       191       283    320.51     59.72      5.37   1000000         0
847.28/847.69	c       177       341    302.06     57.33      5.27   1000000         0
849.08/849.41	c       192       364    311.57     56.93      5.47   1000000         0
850.78/851.16	c       169       271    304.07     58.11      5.23   1000000         0
852.48/852.89	c       168       259    291.92     52.59      5.55   1000000         0
854.28/854.62	c       182       262    306.82     56.25      5.45   1000000         0
855.98/856.36	c       174       283    305.94     63.62      4.81   1000000         0
857.68/858.10	c       190       283    302.38     54.75      5.52   1000000         0
859.48/859.83	c       195       244    305.59     65.40      4.67   1000000         0
861.18/861.55	c       188       308    310.21     55.05      5.63   1000000         0
862.87/863.28	c       190       292    311.85     62.54      4.99   1000000         0
864.67/865.00	c       170       285    307.39     53.18      5.78   1000000         0
866.37/866.74	c       179       308    303.64     56.83      5.34   1000000         0
868.07/868.47	c       187       375    311.31     59.67      5.22   1000000         0
869.78/870.19	c       179       253    314.29     62.87      5.00   1000000         0
871.57/871.92	c       171       228    301.17     62.44      4.82   1000000         0
873.27/873.66	c       176       331    302.85     65.36      4.63   1000000         0
875.07/875.40	c       172       249    309.39     63.38      4.88   1000000         0
876.77/877.12	c       185       290    308.59     65.01      4.75   1000000         0
878.47/878.86	c       160       268    302.45     58.56      5.17   1000000         0
880.17/880.59	c       184       280    301.56     56.89      5.30   1000000         0
881.98/882.30	c       192       281    310.38     61.21      5.07   1000000         0
883.67/884.03	c       170       306    309.11     68.98      4.48   1000000         0
885.37/885.76	c       181       314    302.30     65.52      4.61   1000000         0
887.07/887.49	c       173       296    298.19     59.63      5.00   1000000         0
888.77/889.20	c       183       333    308.29     57.86      5.33   1000000         0
890.57/890.93	c       183       383    305.66     62.32      4.90   1000000         0
892.27/892.66	c       195       306    307.06     66.16      4.64   1000000         0
893.97/894.39	c       195       304    311.44     63.92      4.87   1000000         0
895.76/896.13	c       193       269    311.90     60.75      5.13   1000000         0
897.46/897.87	c       178       268    303.24     61.31      4.95   1000000         0
899.16/899.59	c       184       251    304.51     64.02      4.76   1000000         0
900.96/901.31	c       184       283    308.38     54.77      5.63   1000000         0
902.66/903.05	c       193       293    310.05     54.43      5.70   1000000         0
904.36/904.77	c       178       308    293.95     57.37      5.12   1000000         0
906.07/906.50	c       190       244    307.08     55.56      5.53   1000000         0
907.86/908.23	c       180       335    307.57     53.17      5.78   1000000         0
909.56/909.98	c       184       282    304.55     53.62      5.68   1000000         0
911.36/911.70	c       184       273    308.57     57.73      5.34   1000000         0
913.06/913.43	c       187       234    303.42     60.93      4.98   1000000         0
914.76/915.16	c       187       255    304.64     57.39      5.31   1000000         0
916.46/916.88	c       169       306    308.20     68.55      4.50   1000000         0
918.26/918.61	c       191       312    304.99     59.60      5.12   1000000         0
919.95/920.34	c       179       279    298.41     51.93      5.75   1000000         0
921.65/922.09	c       163       266    307.23     60.01      5.12   1000000         0
923.45/923.82	c       192       342    311.54     59.66      5.22   1000000         0
925.15/925.55	c       168       242    301.02     57.75      5.21   1000000         0
926.85/927.29	c       204       294    313.89     60.54      5.19   1000000         0
928.65/929.02	c       169       266    307.65     68.48      4.49   1000000         0
930.36/930.75	c       180       266    296.88     64.60      4.60   1000000         0
932.05/932.48	c       182       246    300.38     60.21      4.99   1000000         0
933.85/934.21	c       181       274    301.99     61.86      4.88   1000000         0
935.55/935.94	c       190       309    310.20     58.96      5.26   1000000         0
937.25/937.66	c       190       329    312.06     69.07      4.52   1000000         0
939.05/939.40	c       181       305    309.05     55.67      5.55   1000000         0
940.75/941.13	c       192       318    302.08     57.42      5.26   1000000         0
942.45/942.84	c       188       267    309.69     62.19      4.98   1000000         0
944.15/944.57	c       182       264    308.80     56.54      5.46   1000000         0
945.95/946.30	c       173       283    307.35     60.69      5.06   1000000         0
947.64/948.02	c       181       274    310.22     51.42      6.03   1000000         0
949.34/949.76	c       193       258    304.68     62.19      4.90   1000000         0
951.15/951.50	c       180       341    296.42     58.60      5.06   1000000         0
952.84/953.22	c       181       262    310.08     68.56      4.52   1000000         0
954.55/954.95	c       181       320    307.02     64.85      4.73   1000000         0
956.24/956.68	c       181       313    302.24     60.50      5.00   1000000         0
958.04/958.40	c       180       347    302.91     58.31      5.20   1000000         0
959.74/960.14	c       194       297    304.26     51.36      5.92   1000000         0
961.44/961.87	c       178       313    304.60     56.27      5.41   1000000         0
963.14/963.59	c       184       301    304.11     54.03      5.63   1000000         0
964.94/965.32	c       184       291    306.19     58.22      5.26   1000000         0
966.65/967.07	c       190       339    303.43     66.24      4.58   1000000         0
968.44/968.81	c       175       302    295.50     57.36      5.15   1000000         0
970.14/970.54	c       189       308    303.98     57.40      5.30   1000000         0
971.84/972.26	c       191       305    309.74     64.31      4.82   1000000         0
973.64/974.01	c       167       300    300.13     61.62      4.87   1000000         0
975.34/975.74	c       178       318    309.35     62.58      4.94   1000000         0
977.04/977.47	c       175       327    306.11     57.83      5.29   1000000         0
978.84/979.20	c       176       239    309.95     62.67      4.95   1000000         0
980.53/980.93	c       182       348    299.35     51.89      5.77   1000000         0
982.23/982.67	c       171       299    300.89     62.52      4.81   1000000         0
983.93/984.40	c       166       258    303.28     58.28      5.20   1000000         0
985.73/986.13	c       184       251    309.59     54.71      5.66   1000000         0
987.44/987.85	c       185       290    306.84     53.42      5.74   1000000         0
989.13/989.59	c       175       268    304.77     64.62      4.72   1000000         0
990.93/991.31	c       192       303    305.31     59.33      5.15   1000000         0
992.63/993.04	c       177       277    303.02     58.75      5.16   1000000         0
994.33/994.77	c       169       327    298.85     58.40      5.12   1000000         0
996.03/996.49	c       180       271    309.08     59.80      5.17   1000000         0
997.83/998.24	c       175       292    304.65     58.84      5.18   1000000         0
999.53/999.98	c       177       329    303.26     56.82      5.34   1000000         0
1001.33/1001.72	c       185       262    307.77     54.35      5.66   1000000         0
1003.03/1003.43	c       152       282    310.00     67.49      4.59   1000000         0
1004.73/1005.15	c       183       244    298.27     61.56      4.85   1000000         0
1006.42/1006.89	c       187       297    301.52     57.49      5.24   1000000         0
1008.22/1008.63	c       187       266    301.91     62.33      4.84   1000000         0
1009.92/1010.36	c       189       318    317.94     51.75      6.14   1000000         0
1011.63/1012.09	c       188       320    306.32     57.96      5.29   1000000         0
1013.42/1013.83	c       181       281    306.83     59.11      5.19   1000000         0
1015.12/1015.56	c       194       303    312.85     64.48      4.85   1000000         0
1016.82/1017.29	c       176       322    313.17     61.48      5.09   1000000         0
1018.62/1019.03	c       190       273    305.38     66.75      4.57   1000000         0
1020.32/1020.77	c       187       293    304.55     64.46      4.72   1000000         0
1022.12/1022.51	c       177       306    301.52     69.24      4.35   1000000         0
1023.83/1024.23	c       190       302    309.89     61.11      5.07   1000000         0
1025.52/1025.96	c       167       278    302.31     58.84      5.14   1000000         0
1027.22/1027.69	c       184       266    307.99     59.61      5.17   1000000         0
1029.02/1029.40	c       206       284    318.16     57.04      5.58   1000000         0
1030.72/1031.14	c       180       265    302.53     56.76      5.33   1000000         0
1032.42/1032.87	c       185       299    306.48     65.53      4.68   1000000         0
1034.21/1034.61	c       190       276    302.30     59.37      5.09   1000000         0
1035.92/1036.34	c       165       278    301.33     59.03      5.10   1000000         0
1037.61/1038.06	c       180       359    314.18     61.93      5.07   1000000         0
1039.31/1039.77	c       189       280    309.16     59.85      5.17   1000000         0
1041.11/1041.50	c       187       257    307.69     57.18      5.38   1000000         0
1042.81/1043.23	c       177       294    302.99     55.28      5.48   1000000         0
1044.51/1044.96	c       172       301    311.52     63.78      4.88   1000000         0
1046.21/1046.68	c       204       249    319.56     53.72      5.95   1000000         0
1047.92/1048.40	c       159       230    301.09     61.04      4.93   1000000         0
1049.71/1050.12	c       188       287    313.81     62.01      5.06   1000000         0
1051.41/1051.85	c       190       325    303.36     59.10      5.13   1000000         0
1053.21/1053.60	c       171       292    304.62     68.86      4.42   1000000         0
1054.91/1055.33	c       175       261    300.55     58.44      5.14   1000000         0
1056.61/1057.07	c       166       257    298.41     61.83      4.83   1000000         0
1058.41/1058.80	c       185       284    305.79     52.96      5.77   1000000         0
1060.11/1060.53	c       177       324    301.88     54.31      5.56   1000000         0
1061.80/1062.27	c       181       281    300.95     59.14      5.09   1000000         0
1063.50/1063.99	c       195       289    309.88     60.86      5.09   1000000         0
1065.30/1065.72	c       182       304    308.49     56.18      5.49   1000000         0
1067.00/1067.46	c       169       344    309.49     57.84      5.35   1000000         0
1068.70/1069.19	c       163       276    302.34     63.29      4.78   1000000         0
1070.50/1070.91	c       187       247    308.46     58.95      5.23   1000000         0
1072.21/1072.65	c       167       280    296.50     66.34      4.47   1000000         0
1073.90/1074.38	c       180       356    310.66     56.67      5.48   1000000         0
1075.70/1076.12	c       191       258    306.00     59.31      5.16   1000000         0
1077.40/1077.88	c       165       288    298.93     54.34      5.50   1000000         0
1079.20/1079.61	c       189       277    301.60     59.06      5.11   1000000         0
1080.91/1081.35	c       173       297    298.62     51.48      5.80   1000000         0
1082.60/1083.08	c       168       270    307.62     59.76      5.15   1000000         0
1084.31/1084.79	c       195       313    311.41     60.95      5.11   1000000         0
1086.10/1086.51	c       186       274    295.05     56.68      5.21   1000000         0
1087.80/1088.25	c       181       262    302.88     61.60      4.92   1000000         0
1089.50/1089.97	c       178       291    309.29     57.44      5.38   1000000         0
1091.30/1091.71	c       157       246    302.44     56.28      5.37   1000000         0
1093.00/1093.44	c       174       256    300.45     60.57      4.96   1000000         0
1094.69/1095.18	c       178       285    311.95     55.60      5.61   1000000         0
1096.49/1096.92	c       190       324    303.11     52.12      5.82   1000000         0
1098.19/1098.65	c       191       259    305.42     58.89      5.19   1000000         0
1099.99/1100.41	c       182       310    304.08     65.67      4.63   1000000         0
1101.69/1102.13	c       171       263    311.38     58.53      5.32   1000000         0
1103.39/1103.87	c       174       285    301.88     61.96      4.87   1000000         0
1105.10/1105.59	c       168       266    300.78     61.83      4.86   1000000         0
1106.89/1107.31	c       170       236    307.89     62.66      4.91   1000000         0
1108.59/1109.03	c       179       227    309.72     58.31      5.31   1000000         0
1110.29/1110.77	c       181       272    300.14     55.32      5.43   1000000         0
1111.99/1112.48	c       194       279    307.31     59.73      5.14   1000000         0
1113.79/1114.21	c       162       318    301.42     61.11      4.93   1000000         0
1115.49/1115.93	c       170       256    305.77     60.93      5.02   1000000         0
1117.19/1117.66	c       176       314    310.44     71.60      4.34   1000000         0
1118.88/1119.39	c       180       233    299.06     50.36      5.94   1000000         0
1120.68/1121.12	c       194       340    312.81     59.15      5.29   1000000         0
1122.38/1122.84	c       187       327    304.69     62.26      4.89   1000000         0
1124.08/1124.58	c       200       270    317.25     61.20      5.18   1000000         0
1125.88/1126.30	c       192       301    303.67     58.74      5.17   1000000         0
1127.58/1128.03	c       177       315    300.90     60.05      5.01   1000000         0
1129.29/1129.76	c       182       299    311.74     63.51      4.91   1000000         0
1130.98/1131.50	c       180       306    300.16     59.84      5.02   1000000         0
1132.78/1133.21	c       200       316    311.76     54.01      5.77   1000000         0
1134.48/1134.93	c       186       286    306.56     64.29      4.77   1000000         0
1136.18/1136.67	c       177       284    297.97     58.04      5.13   1000000         0
1137.98/1138.41	c       176       289    304.19     54.05      5.63   1000000         0
1139.68/1140.13	c       184       278    312.27     57.23      5.46   1000000         0
1141.38/1141.85	c       188       290    308.61     62.81      4.91   1000000         0
1143.08/1143.58	c       181       282    310.23     62.23      4.98   1000000         0
1144.88/1145.31	c       164       369    297.25     64.05      4.64   1000000         0
1146.58/1147.04	c       181       259    300.61     57.61      5.22   1000000         0
1148.27/1148.76	c       184       291    305.09     55.34      5.51   1000000         0
1149.97/1150.48	c       184       251    305.68     60.37      5.06   1000000         0
1151.77/1152.21	c       190       272    303.63     57.59      5.27   1000000         0
1153.48/1153.94	c       188       289    304.84     58.63      5.20   1000000         0
1155.17/1155.67	c       178       360    314.53     60.15      5.23   1000000         0
1156.97/1157.41	c       179       313    307.16     57.94      5.30   1000000         0
1158.67/1159.15	c       178       314    307.30     63.75      4.82   1000000         0
1160.37/1160.89	c       181       327    301.40     57.78      5.22   1000000         0
1162.17/1162.61	c       177       250    299.93     54.39      5.51   1000000         0
1163.87/1164.34	c       174       282    301.33     55.90      5.39   1000000         0
1165.58/1166.09	c       175       278    298.62     64.71      4.61   1000000         0
1167.37/1167.80	c       183       242    303.95     56.49      5.38   1000000         0
1169.07/1169.53	c       180       328    308.48     62.38      4.95   1000000         0
1170.77/1171.26	c       185       300    306.93     58.23      5.27   1000000         0
1172.57/1173.00	c       184       286    301.45     57.62      5.23   1000000         0
1174.27/1174.73	c       179       285    312.26     57.83      5.40   1000000         0
1175.97/1176.45	c       189       300    313.82     60.55      5.18   1000000         0
1177.67/1178.18	c       199       286    311.09     63.80      4.88   1000000         0
1179.36/1179.90	c       198       323    315.09     60.35      5.22   1000000         0
1181.16/1181.63	c       187       262    309.58     53.86      5.75   1000000         0
1182.86/1183.36	c       168       264    304.95     53.65      5.68   1000000         0
1184.56/1185.08	c       193       298    310.20     63.57      4.88   1000000         0
1186.36/1186.82	c       177       236    306.94     65.52      4.68   1000000         0
1188.06/1188.52	c       197       286    318.97     54.26      5.88   1000000         0
1189.77/1190.25	c       191       276    310.73     52.91      5.87   1000000         0
1191.46/1191.99	c       197       236    305.11     56.46      5.40   1000000         0
1193.26/1193.71	c       189       309    314.67     58.35      5.39   1000000         0
1194.96/1195.43	c       184       254    306.69     63.28      4.85   1000000         0
1196.66/1197.15	c       181       269    302.05     54.02      5.59   1000000         0
1198.36/1198.88	c       198       267    313.78     70.74      4.44   1000000         0
1200.16/1200.61	c       200       282    312.66     54.64      5.72   1000000         0
1201.86/1202.34	c       184       292    301.99     58.33      5.18   1000000         0
1203.56/1204.08	c       172       372    297.51     61.73      4.82   1000000         0
1205.26/1205.79	c       200       308    311.72     61.68      5.05   1000000         0
1207.06/1207.52	c       163       323    301.21     65.15      4.62   1000000         0
1208.75/1209.25	c       188       269    311.23     65.84      4.73   1000000         0
1210.45/1210.98	c       195       252    317.26     58.40      5.43   1000000         0
1212.25/1212.71	c       181       288    300.92     55.25      5.45   1000000         0
1213.96/1214.44	c       174       310    308.05     58.23      5.29   1000000         0
1215.65/1216.16	c       188       302    306.01     54.57      5.61   1000000         0
1217.45/1217.90	c       184       275    299.91     57.25      5.24   1000000         0
1219.15/1219.64	c       178       271    300.72     62.35      4.82   1000000         0
1220.85/1221.37	c       172       325    306.08     58.63      5.22   1000000         0
1222.55/1223.10	c       181       312    309.98     66.21      4.68   1000000         0
1224.35/1224.84	c       193       326    313.67     61.76      5.08   1000000         0
1226.06/1226.56	c       178       330    303.28     61.43      4.94   1000000         0
1227.75/1228.29	c       189       254    305.76     61.48      4.97   1000000         0
1229.55/1230.00	c       189       359    309.33     53.48      5.78   1000000         0
1231.25/1231.75	c       163       292    294.94     60.88      4.84   1000000         0
1232.95/1233.49	c       189       237    302.23     56.64      5.34   1000000         0
1234.75/1235.21	c       190       319    307.14     59.66      5.15   1000000         0
1236.45/1236.94	c       189       295    310.83     57.80      5.38   1000000         0
1238.15/1238.68	c       194       303    311.19     61.28      5.08   1000000         0
1239.94/1240.42	c       172       308    293.53     62.18      4.72   1000000         0
1241.64/1242.15	c       186       355    310.40     60.96      5.09   1000000         0
1243.34/1243.87	c       176       248    305.10     60.26      5.06   1000000         0
1245.14/1245.61	c       192       213    312.45     55.85      5.59   1000000         0
1246.84/1247.34	c       173       276    304.35     55.41      5.49   1000000         0
1248.54/1249.07	c       180       307    307.18     64.68      4.75   1000000         0
1250.25/1250.80	c       199       268    304.03     60.90      4.99   1000000         0
1252.04/1252.51	c       188       334    306.52     57.17      5.36   1000000         0
1253.74/1254.24	c       188       327    306.34     51.11      5.99   1000000         0
1255.44/1255.97	c       179       294    306.64     60.12      5.10   1000000         0
1257.14/1257.69	c       174       242    316.35     55.69      5.68   1000000         0
1258.94/1259.43	c       189       288    304.25     60.57      5.02   1000000         0
1260.64/1261.17	c       190       239    305.33     62.53      4.88   1000000         0
1262.34/1262.90	c       202       263    307.42     56.69      5.42   1000000         0
1264.13/1264.63	c       192       281    307.26     60.73      5.06   1000000         0
1265.84/1266.36	c       185       269    308.55     63.85      4.83   1000000         0
1267.54/1268.08	c       192       313    307.27     54.66      5.62   1000000         0
1269.33/1269.80	c       179       223    301.78     64.00      4.72   1000000         0
1271.03/1271.52	c       194       344    304.13     60.62      5.02   1000000         0
1272.73/1273.25	c       180       276    308.96     56.09      5.51   1000000         0
1274.44/1274.99	c       172       270    304.37     59.87      5.08   1000000         0
1276.23/1276.72	c       191       259    313.42     58.57      5.35   1000000         0
1277.93/1278.45	c       182       320    306.87     54.40      5.64   1000000         0
1279.63/1280.17	c       186       284    305.29     54.51      5.60   1000000         0
1281.43/1281.90	c       191       253    308.33     51.61      5.97   1000000         0
1283.13/1283.64	c       171       281    298.41     64.33      4.64   1000000         0
1284.83/1285.37	c       184       292    301.54     57.83      5.21   1000000         0
1286.54/1287.09	c       198       293    310.41     55.26      5.62   1000000         0
1288.33/1288.83	c       171       257    306.82     61.22      5.01   1000000         0
1290.03/1290.56	c       180       269    306.81     66.38      4.62   1000000         0
1291.73/1292.28	c       185       275    310.12     62.70      4.95   1000000         0
1293.53/1294.01	c       191       309    309.37     63.61      4.86   1000000         0
1295.23/1295.73	c       183       329    303.68     53.74      5.65   1000000         0
1296.92/1297.46	c       157       294    295.45     53.29      5.54   1000000         0
1298.63/1299.18	c       182       316    305.89     59.03      5.18   1000000         0
1300.42/1300.91	c       172       307    306.33     58.75      5.21   1000000         0
1302.12/1302.64	c       170       288    310.00     66.67      4.65   1000000         0
1303.82/1304.38	c       174       304    304.58     62.32      4.89   1000000         0
1305.62/1306.10	c       191       261    313.79     52.23      6.01   1000000         0
1307.32/1307.83	c       183       235    302.54     60.09      5.04   1000000         0
1309.02/1309.56	c       166       296    303.20     58.51      5.18   1000000         0
1310.73/1311.29	c       197       294    304.40     57.63      5.28   1000000         0
1312.53/1313.03	c       186       340    303.10     56.01      5.41   1000000         0
1314.23/1314.76	c       177       311    301.41     60.31      5.00   1000000         0
1316.03/1316.50	c       203       298    304.44     53.55      5.68   1000000         0
1317.73/1318.24	c       156       251    300.56     59.38      5.06   1000000         0
1319.43/1319.95	c       183       254    310.92     59.21      5.25   1000000         0
1321.13/1321.69	c       177       321    299.61     61.25      4.89   1000000         0
1322.93/1323.41	c       192       242    314.35     57.91      5.43   1000000         0
1324.62/1325.15	c       156       304    297.52     51.13      5.82   1000000         0
1326.32/1326.87	c       170       355    308.77     60.37      5.11   1000000         0
1328.12/1328.61	c       198       315    308.78     54.65      5.65   1000000         0
1329.82/1330.33	c       186       267    311.69     61.30      5.08   1000000         0
1331.52/1332.06	c       182       338    310.54     55.47      5.60   1000000         0
1333.22/1333.79	c       188       354    310.28     56.59      5.48   1000000         0
1335.03/1335.52	c       185       330    311.75     57.45      5.43   1000000         0
1336.72/1337.26	c       179       287    305.39     51.80      5.90   1000000         0
1338.42/1338.99	c       187       240    310.57     58.80      5.28   1000000         0
1340.22/1340.71	c       192       334    316.11     53.91      5.86   1000000         0
1341.92/1342.43	c       188       308    305.44     51.78      5.90   1000000         0
1343.62/1344.17	c       178       283    307.20     62.53      4.91   1000000         0
1345.32/1345.89	c       183       324    298.86     50.14      5.96   1000000         0
1347.12/1347.61	c       189       330    314.74     61.09      5.15   1000000         0
1348.82/1349.33	c       180       293    311.11     60.57      5.14   1000000         0
1350.51/1351.07	c       178       278    301.98     64.21      4.70   1000000         0
1352.31/1352.80	c       170       287    304.20     63.38      4.80   1000000         0
1354.01/1354.53	c       147       301    299.00     62.28      4.80   1000000         0
1355.71/1356.25	c       189       271    315.51     60.89      5.18   1000000         0
1357.41/1357.98	c       181       326    293.00     51.15      5.73   1000000         0
1359.22/1359.71	c       188       318    312.18     60.07      5.20   1000000         0
1360.91/1361.43	c       175       281    310.43     59.05      5.26   1000000         0
1362.61/1363.16	c       194       293    302.93     51.14      5.92   1000000         0
1364.41/1364.90	c       178       284    308.36     59.00      5.23   1000000         0
1366.11/1366.62	c       177       355    304.90     55.16      5.53   1000000         0
1367.81/1368.35	c       201       293    312.45     56.57      5.52   1000000         0
1369.51/1370.08	c       182       296    309.83     67.04      4.62   1000000         0
1371.32/1371.82	c       143       314    300.94     67.26      4.47   1000000         0
1373.01/1373.57	c       186       326    303.82     62.62      4.85   1000000         0
1374.71/1375.29	c       178       367    309.78     60.40      5.13   1000000         0
1376.51/1377.02	c       183       303    306.41     61.51      4.98   1000000         0
1378.21/1378.77	c       181       294    300.12     60.51      4.96   1000000         0
1380.01/1380.51	c       180       340    304.25     52.12      5.84   1000000         0
1381.70/1382.26	c       166       301    302.18     52.64      5.74   1000000         0
1383.50/1384.00	c       175       253    301.88     54.85      5.50   1000000         0
1385.20/1385.74	c       193       323    304.52     58.63      5.19   1000000         0
1386.90/1387.46	c       189       303    302.58     63.54      4.76   1000000         0
1388.60/1389.17	c       178       330    308.08     71.46      4.31   1000000         0
1390.40/1390.90	c       182       316    302.39     54.72      5.53   1000000         0
1392.11/1392.61	c       185       278    307.77     63.09      4.88   1000000         0
1393.80/1394.35	c       186       314    305.15     60.90      5.01   1000000         0
1395.51/1396.08	c       196       264    307.93     62.03      4.96   1000000         0
1397.30/1397.81	c       178       289    300.81     55.55      5.41   1000000         0
1399.00/1399.54	c       187       228    306.29     60.97      5.02   1000000         0
1400.70/1401.26	c       202       293    319.32     55.74      5.73   1000000         0
1402.40/1402.99	c       179       309    301.91     65.93      4.58   1000000         0
1404.20/1404.73	c       187       250    307.67     64.20      4.79   1000000         0
1405.90/1406.46	c       190       302    308.83     59.49      5.19   1000000         0
1407.60/1408.19	c       189       315    305.23     69.62      4.38   1000000         0
1409.40/1409.92	c       182       296    307.62     63.73      4.83   1000000         0
1411.09/1411.64	c       168       278    295.99     55.52      5.33   1000000         0
1412.79/1413.36	c       169       223    310.40     58.22      5.33   1000000         0
1414.59/1415.11	c       195       259    307.59     53.95      5.70   1000000         0
1416.30/1416.86	c       190       269    299.06     53.87      5.55   1000000         0
1417.99/1418.59	c       161       232    305.04     60.91      5.01   1000000         0
1419.79/1420.32	c       170       332    308.66     57.60      5.36   1000000         0
1421.49/1422.06	c       188       266    305.07     62.34      4.89   1000000         0
1423.19/1423.79	c       176       331    302.92     61.26      4.95   1000000         0
1424.99/1425.51	c       178       330    305.39     56.17      5.44   1000000         0
1426.69/1427.25	c       182       275    299.19     61.99      4.83   1000000         0
1428.39/1428.98	c       177       268    304.09     61.26      4.96   1000000         0
1430.19/1430.70	c       193       336    311.25     65.56      4.75   1000000         0
1431.89/1432.44	c       183       260    302.51     64.48      4.69   1000000         0
1433.59/1434.19	c       170       290    293.07     66.88      4.38   1000000         0
1435.39/1435.92	c       164       268    293.92     57.09      5.15   1000000         0
1437.08/1437.64	c       175       259    303.55     57.57      5.27   1000000         0
1438.78/1439.37	c       188       249    302.10     54.46      5.55   1000000         0
1440.59/1441.10	c       171       301    301.60     57.23      5.27   1000000         0
1442.28/1442.84	c       162       268    303.27     60.43      5.02   1000000         0
1443.98/1444.58	c       175       234    305.29     55.77      5.47   1000000         0
1445.78/1446.31	c       200       301    310.19     54.31      5.71   1000000         0
1447.48/1448.03	c       177       300    301.98     53.44      5.65   1000000         0
1449.18/1449.76	c       169       285    312.74     61.53      5.08   1000000         0
1450.98/1451.50	c       186       289    297.92     66.96      4.45   1000000         0
1452.69/1453.24	c       181       255    303.37     68.05      4.46   1000000         0
1454.38/1454.98	c       176       340    304.05     60.73      5.01   1000000         0
1456.18/1456.70	c       192       247    308.10     61.04      5.05   1000000         0
1457.88/1458.42	c       186       218    303.55     63.27      4.80   1000000         0
1459.58/1460.16	c       180       242    301.56     52.07      5.79   1000000         0
1461.28/1461.89	c       184       371    306.82     64.21      4.78   1000000         0
1463.08/1463.62	c       179       315    298.84     60.89      4.91   1000000         0
1464.78/1465.35	c       192       298    312.10     54.80      5.70   1000000         0
1466.48/1467.07	c       189       290    308.69     50.08      6.16   1000000         0
1468.17/1468.80	c       195       285    299.53     51.36      5.83   1000000         0
1469.97/1470.53	c       183       273    308.09     60.87      5.06   1000000         0
1471.67/1472.26	c       188       280    300.18     57.24      5.24   1000000         0
1473.37/1473.98	c       191       250    315.02     65.49      4.81   1000000         0
1475.17/1475.71	c       197       330    310.54     61.05      5.09   1000000         0
1476.88/1477.45	c       179       283    307.65     59.12      5.20   1000000         0
1478.57/1479.18	c       171       320    305.00     59.32      5.14   1000000         0
1480.37/1480.92	c       184       255    304.72     53.36      5.71   1000000         0
1482.07/1482.66	c       175       262    312.85     62.67      4.99   1000000         0
1483.77/1484.39	c       190       305    307.38     59.78      5.14   1000000         0
1485.58/1486.12	c       182       326    306.42     65.82      4.66   1000000         0
1487.27/1487.85	c       164       280    300.90     65.32      4.61   1000000         0
1488.97/1489.58	c       182       240    301.91     56.94      5.30   1000000         0
1490.77/1491.32	c       175       393    307.53     66.55      4.62   1000000         0
1492.47/1493.06	c       178       308    303.68     61.49      4.94   1000000         0
1494.16/1494.78	c       175       254    316.48     66.21      4.78   1000000         0
1495.96/1496.51	c       192       246    307.72     65.69      4.68   1000000         0
1497.67/1498.25	c       157       275    306.97     63.93      4.80   1000000         0
1499.36/1499.97	c       180       233    308.30     63.33      4.87   1000000         0
1501.16/1501.71	c       188       316    303.53     57.34      5.29   1000000         0
1502.86/1503.43	c       196       287    313.40     57.37      5.46   1000000         0
1504.56/1505.14	c       176       361    310.22     52.62      5.90   1000000         0
1506.26/1506.86	c       189       293    314.42     60.18      5.22   1000000         0
1508.06/1508.62	c       155       341    300.87     63.74      4.72   1000000         0
1509.77/1510.37	c       165       293    308.46     64.64      4.77   1000000         0
1511.46/1512.09	c       179       312    315.76     59.14      5.34   1000000         0
1513.26/1513.83	c       173       271    306.01     65.72      4.66   1000000         0
1514.96/1515.56	c       184       227    311.07     60.18      5.17   1000000         0
1516.66/1517.29	c       168       296    310.37     58.08      5.34   1000000         0
1518.46/1519.02	c       183       345    305.82     63.33      4.83   1000000         0
1520.16/1520.76	c       183       297    308.76     70.18      4.40   1000000         0
1521.86/1522.47	c       188       255    306.97     66.32      4.63   1000000         0
1523.65/1524.20	c       184       294    310.31     48.20      6.44   1000000         0
1525.35/1525.93	c       184       305    309.90     68.60      4.52   1000000         0
1527.05/1527.68	c       189       283    302.34     55.42      5.46   1000000         0
1528.75/1529.39	c       181       298    306.42     58.47      5.24   1000000         0
1530.55/1531.11	c       193       282    318.67     65.13      4.89   1000000         0
1532.25/1532.86	c       175       315    298.15     51.83      5.75   1000000         0
1533.96/1534.59	c       185       265    303.60     62.37      4.87   1000000         0
1535.75/1536.32	c       183       306    305.15     61.31      4.98   1000000         0
1537.45/1538.04	c       169       360    309.42     56.71      5.46   1000000         0
1539.15/1539.77	c       179       297    317.22     60.89      5.21   1000000         0
1540.95/1541.50	c       191       323    311.55     61.55      5.06   1000000         0
1542.65/1543.23	c       191       254    308.22     61.25      5.03   1000000         0
1544.35/1544.96	c       176       379    315.74     66.10      4.78   1000000         0
1546.05/1546.68	c       173       345    313.66     58.57      5.36   1000000         0
1547.85/1548.40	c       183       356    310.67     61.97      5.01   1000000         0
1549.55/1550.14	c       174       344    309.95     66.31      4.67   1000000         0
1551.25/1551.86	c       187       325    302.83     58.16      5.21   1000000         0
1553.04/1553.60	c       186       292    300.44     59.40      5.06   1000000         0
1554.74/1555.33	c       184       325    310.04     60.88      5.09   1000000         0
1556.44/1557.05	c       188       333    305.71     55.88      5.47   1000000         0
1558.15/1558.80	c       174       318    307.42     59.51      5.17   1000000         0
1559.94/1560.53	c       184       318    311.05     67.57      4.60   1000000         0
1561.64/1562.25	c       192       287    309.84     52.71      5.88   1000000         0
1563.44/1564.02	c       167       317    298.74     69.88      4.28   1000000         0
1565.14/1565.75	c       178       302    305.95     62.42      4.90   1000000         0
1566.84/1567.48	c       200       232    312.44     55.72      5.61   1000000         0
1568.64/1569.21	c       185       323    303.00     61.13      4.96   1000000         0
1570.35/1570.94	c       182       303    303.25     67.80      4.47   1000000         0
1572.04/1572.68	c       170       306    294.03     55.21      5.33   1000000         0
1573.84/1574.42	c       190       280    305.31     54.97      5.55   1000000         0
1575.54/1576.14	c       172       278    303.13     56.61      5.35   1000000         0
1577.24/1577.87	c       197       303    307.77     56.57      5.44   1000000         0
1579.04/1579.61	c       201       383    308.60     50.89      6.06   1000000         0
1580.74/1581.36	c       172       232    294.76     61.65      4.78   1000000         0
1582.44/1583.09	c       148       300    302.57     57.87      5.23   1000000         0
1584.23/1584.83	c       168       313    307.92     60.81      5.06   1000000         0
1585.93/1586.57	c       170       248    303.43     59.66      5.09   1000000         0
1587.63/1588.29	c       196       299    308.96     51.74      5.97   1000000         0
1589.43/1590.03	c       164       305    297.88     58.76      5.07   1000000         0
1591.14/1591.77	c       189       300    304.34     62.73      4.85   1000000         0
1592.93/1593.51	c       174       261    304.48     56.19      5.42   1000000         0
1594.63/1595.23	c       189       277    311.73     54.45      5.72   1000000         0
1596.33/1596.96	c       202       264    306.30     48.32      6.34   1000000         0
1598.03/1598.69	c       165       308    297.74     56.86      5.24   1000000         0
1599.83/1600.42	c       193       289    309.08     69.22      4.47   1000000         0
1601.53/1602.14	c       191       304    311.26     63.31      4.92   1000000         0
1603.24/1603.87	c       170       276    307.78     62.11      4.96   1000000         0
1604.93/1605.59	c       194       311    307.66     61.02      5.04   1000000         0
1606.73/1607.33	c       189       272    309.68     58.55      5.29   1000000         0
1608.43/1609.05	c       180       294    300.97     54.13      5.56   1000000         0
1610.13/1610.78	c       181       277    311.12     54.76      5.68   1000000         0
1611.92/1612.52	c       172       323    305.50     63.59      4.80   1000000         0
1613.62/1614.26	c       181       240    300.40     53.76      5.59   1000000         0
1615.33/1615.97	c       187       305    308.30     61.12      5.04   1000000         0
1617.02/1617.69	c       156       329    305.01     64.64      4.72   1000000         0
1618.82/1619.43	c       172       242    296.36     57.84      5.12   1000000         0
1620.52/1621.15	c       193       286    306.19     59.70      5.13   1000000         0
1622.22/1622.88	c       185       312    314.07     61.93      5.07   1000000         0
1624.02/1624.61	c       192       302    307.66     58.12      5.29   1000000         0
1625.72/1626.36	c       186       304    297.53     51.59      5.77   1000000         0
1627.43/1628.09	c       189       295    309.19     56.77      5.45   1000000         0
1629.22/1629.81	c       193       267    311.69     62.50      4.99   1000000         0
1630.92/1631.55	c       189       302    306.22     53.21      5.76   1000000         0
1632.62/1633.29	c       167       274    301.05     66.11      4.55   1000000         0
1634.42/1635.01	c       191       317    306.70     54.31      5.65   1000000         0
1636.12/1636.74	c       177       280    304.56     61.41      4.96   1000000         0
1637.82/1638.47	c       183       267    307.54     52.86      5.82   1000000         0
1639.62/1640.21	c       186       327    296.02     60.01      4.93   1000000         0
1641.31/1641.93	c       189       336    309.89     60.27      5.14   1000000         0
1643.01/1643.64	c       190       272    307.72     59.09      5.21   1000000         0
1644.71/1645.38	c       185       308    301.42     60.51      4.98   1000000         0
1646.51/1647.11	c       198       303    308.99     56.38      5.48   1000000         0
1648.21/1648.84	c       176       353    314.75     59.44      5.29   1000000         0
1649.91/1650.56	c       200       259    311.57     53.80      5.79   1000000         0
1651.62/1652.28	c       187       261    312.68     58.59      5.34   1000000         0
1653.41/1654.01	c       187       253    302.05     60.29      5.01   1000000         0
1655.11/1655.74	c       200       300    309.51     54.91      5.64   1000000         0
1656.81/1657.47	c       186       257    309.68     58.72      5.27   1000000         0
1658.61/1659.20	c       176       272    295.43     54.91      5.38   1000000         0
1660.31/1660.95	c       179       254    301.04     62.35      4.83   1000000         0
1662.01/1662.68	c       187       228    307.79     64.97      4.74   1000000         0
1663.82/1664.41	c       188       277    320.20     61.60      5.20   1000000         0
1665.51/1666.14	c       207       297    318.84     66.38      4.80   1000000         0
1667.21/1667.88	c       169       252    296.13     76.65      3.86   1000000         0
1669.01/1669.62	c       189       305    309.50     55.47      5.58   1000000         0
1670.71/1671.34	c       195       269    304.69     56.92      5.35   1000000         0
1672.40/1673.07	c       181       253    307.52     59.05      5.21   1000000         0
1674.20/1674.80	c       188       260    308.66     65.82      4.69   1000000         0
1675.91/1676.54	c       190       296    309.54     63.28      4.89   1000000         0
1677.60/1678.29	c       174       281    296.47     55.58      5.33   1000000         0
1679.40/1680.02	c       186       326    306.80     61.88      4.96   1000000         0
1681.10/1681.75	c       191       264    301.43     59.36      5.08   1000000         0
1682.80/1683.48	c       163       316    307.28     67.04      4.58   1000000         0
1684.61/1685.21	c       188       297    298.50     55.88      5.34   1000000         0
1686.30/1686.94	c       165       282    307.73     58.89      5.23   1000000         0
1688.01/1688.68	c       188       311    303.10     64.08      4.73   1000000         0
1689.80/1690.42	c       179       273    303.31     66.54      4.56   1000000         0
1691.50/1692.15	c       196       347    308.93     58.23      5.31   1000000         0
1693.20/1693.88	c       192       283    308.86     62.73      4.92   1000000         0
1695.00/1695.60	c       186       329    309.40     65.83      4.70   1000000         0
1696.70/1697.35	c       174       308    294.83     57.51      5.13   1000000         0
1698.40/1699.09	c       181       313    300.65     63.56      4.73   1000000         0
1700.20/1700.81	c       166       340    308.71     64.00      4.82   1000000         0
1701.89/1702.54	c       162       242    297.46     55.65      5.35   1000000         0
1703.59/1704.27	c       180       336    310.07     66.82      4.64   1000000         0
1705.39/1706.00	c       179       279    309.23     62.76      4.93   1000000         0
1707.09/1707.74	c       166       294    312.34     61.57      5.07   1000000         0
1708.80/1709.49	c       177       260    295.24     58.07      5.08   1000000         0
1710.59/1711.22	c       189       297    308.47     62.56      4.93   1000000         0
1712.29/1712.94	c       192       258    306.42     52.23      5.87   1000000         0
1713.99/1714.67	c       189       269    300.32     59.36      5.06   1000000         0
1715.79/1716.40	c       185       256    305.34     61.61      4.96   1000000         0
1717.49/1718.14	c       159       317    302.39     63.02      4.80   1000000         0
1719.19/1719.88	c       188       250    309.44     59.41      5.21   1000000         0
1721.00/1721.62	c       176       279    306.94     56.31      5.45   1000000         0
1722.69/1723.35	c       161       262    300.83     62.63      4.80   1000000         0
1724.39/1725.09	c       190       321    310.37     58.24      5.33   1000000         0
1726.19/1726.82	c       162       313    311.77     60.91      5.12   1000000         0
1727.89/1728.55	c       194       282    314.37     59.93      5.25   1000000         0
1729.59/1730.28	c       182       228    303.21     55.97      5.42   1000000         0
1731.38/1732.01	c       168       329    305.09     59.70      5.11   1000000         0
1733.09/1733.74	c       204       284    314.73     59.47      5.29   1000000         0
1734.78/1735.46	c       193       266    312.08     61.11      5.11   1000000         0
1736.58/1737.20	c       194       314    311.16     57.19      5.44   1000000         0
1738.28/1738.92	c       161       302    304.85     59.79      5.10   1000000         0
1739.98/1740.65	c       183       285    308.67     56.32      5.48   1000000         0
1741.68/1742.39	c       170       266    297.16     56.53      5.26   1000000         0
1743.48/1744.11	c       186       290    306.12     67.76      4.52   1000000         0
1745.19/1745.85	c       188       292    304.49     54.88      5.55   1000000         0
1746.88/1747.58	c       183       311    297.85     54.71      5.44   1000000         0
1748.68/1749.30	c       172       346    312.06     63.49      4.92   1000000         0
1750.38/1751.03	c       186       276    307.99     55.57      5.54   1000000         0
1752.08/1752.74	c       181       301    313.43     60.30      5.20   1000000         0
1753.78/1754.47	c       176       345    308.01     67.66      4.55   1000000         0
1755.58/1756.21	c       173       272    310.57     59.75      5.20   1000000         0
1757.28/1757.94	c       185       297    309.37     61.44      5.04   1000000         0
1758.97/1759.66	c       179       354    306.32     58.69      5.22   1000000         0
1760.67/1761.38	c       169       267    309.32     64.10      4.83   1000000         0
1762.47/1763.10	c       169       298    306.53     68.17      4.50   1000000         0
1764.17/1764.84	c       189       358    309.53     54.91      5.64   1000000         0
1765.87/1766.56	c       182       259    307.94     66.34      4.64   1000000         0
1767.57/1768.29	c       192       251    307.07     61.87      4.96   1000000         0
1769.38/1770.02	c       168       336    300.30     63.12      4.76   1000000         0
1771.07/1771.76	c       175       305    311.28     62.85      4.95   1000000         0
1772.77/1773.48	c       193       316    299.29     51.80      5.78   1000000         0
1774.57/1775.21	c       188       317    309.92     63.17      4.91   1000000         0
1776.27/1776.93	c       179       280    304.75     48.67      6.26   1000000         0
1777.97/1778.67	c       193       264    304.36     62.60      4.86   1000000         0
1779.77/1780.40	c       202       355    310.95     54.14      5.74   1000000         0
1781.47/1782.13	c       181       301    308.46     58.27      5.29   1000000         0
1783.17/1783.86	c       195       313    303.41     57.01      5.32   1000000         0
1784.87/1785.58	c       180       305    304.06     59.46      5.11   1000000         0
1786.66/1787.32	c       177       289    305.53     60.66      5.04   1000000         0
1788.36/1789.04	c       207       318    314.71     53.08      5.93   1000000         0
1790.06/1790.76	c       188       280    305.03     51.97      5.87   1000000         0
1791.76/1792.48	c       191       291    311.55     58.65      5.31   1000000         0
1793.47/1794.20	c       195       261    307.12     53.60      5.73   1000000         0
1795.26/1795.94	c       176       281    292.79     56.03      5.23   1000000         0
1796.96/1797.69	c       172       308    297.55     62.99      4.72   1000000         0
1798.76/1799.42	c       181       280    312.34     60.52      5.16   1000000         0
1800.08/1800.71	HOME/run: line 2:  4826 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-2669861-1276610098/watcher-2669861-1276610098 -o /tmp/evaluation-result-2669861-1276610098/solver-2669861-1276610098 -C 1800 -W 2000 -M 1800 run HOME/instance-2669861-1276610098.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4825
/proc/meminfo: memFree=1793412/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0

[startup+0.104279 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4825
/proc/meminfo: memFree=1793412/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201297 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4825
/proc/meminfo: memFree=1793412/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301316 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4825
/proc/meminfo: memFree=1793412/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70139 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4825
/proc/meminfo: memFree=1793412/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50154 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 4827
/proc/meminfo: memFree=1789552/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1.49
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1017 0 0 0 149 0 0 0 25 0 1 0 34666117 41422848 947 1992294400 134512640 135071400 4294365664 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 947 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10184 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4827
/proc/meminfo: memFree=1789428/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=3.09
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 309 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525897 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30144 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4827
/proc/meminfo: memFree=1789304/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=6.29
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 629 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4827
/proc/meminfo: memFree=1789056/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=12.69
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 1269 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4827
/proc/meminfo: memFree=1789056/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=25.48
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 2548 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4827
/proc/meminfo: memFree=1788808/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=51.07
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 5107 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4829
/proc/meminfo: memFree=1788560/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=102.26
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 10226 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526605 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4831
/proc/meminfo: memFree=1788312/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=162.23
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 16223 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49152

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4833
/proc/meminfo: memFree=1788312/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=222.22
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 22222 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 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: 1.00 1.00 1.00 2/108 4833
/proc/meminfo: memFree=1788188/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=282.19
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 28219 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4835
/proc/meminfo: memFree=1788064/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=342.17
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 34217 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4846
/proc/meminfo: memFree=1787444/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=402.13
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 40213 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1061.9
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 106190 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4866
/proc/meminfo: memFree=1786328/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1121.88
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 112188 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4866
/proc/meminfo: memFree=1786204/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1181.86
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 118186 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4868
/proc/meminfo: memFree=1785956/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1241.84
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 124184 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4870
/proc/meminfo: memFree=1785708/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1301.82
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 130182 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4872
/proc/meminfo: memFree=1785708/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1361.81
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 136180 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 49152

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4874
/proc/meminfo: memFree=1785584/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1421.8
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 142179 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 4874
/proc/meminfo: memFree=1785460/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1481.77
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 148176 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526289 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 49152

[startup+1542.31 s]
/proc/loadavg: 1.13 1.04 1.01 2/108 4876
/proc/meminfo: memFree=1785336/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1541.76
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 154175 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.10 1.05 1.01 2/108 4878
/proc/meminfo: memFree=1785212/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1601.73
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 160172 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526587 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.08 1.05 1.01 2/108 4880
/proc/meminfo: memFree=1785088/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1661.71
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 166170 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134547387 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.07 1.05 1.01 2/108 4882
/proc/meminfo: memFree=1784964/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1721.69
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 172168 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.07 1.06 1.01 2/108 4882
/proc/meminfo: memFree=1784840/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1781.67
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 178166 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526593 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.12 1.07 1.01 2/108 4884
/proc/meminfo: memFree=1784840/2059040 swapFree=4140448/4192956
[pid=4825] ppid=4823 vsize=8700 CPUtime=0
/proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/4825/statm: 2175 243 204 178 0 68 0
[pid=4826] ppid=4825 vsize=40452 CPUtime=1800.08
/proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 180007 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4826/statm: 10113 955 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1800.72
CPU time (s): 1800.09
CPU user time (s): 1800.07
CPU system time (s): 0.014997
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 3.04054 second user time and 8.48971 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-15 15:54:58
IDJOB=2669861
IDBENCH=1455
IDSOLVER=1171
FILE ID=node019/2669861-1276610098
PBS_JOBID= 11172237
Free space on /tmp= 62412 MiB

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

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

MD5SUM BENCH= e5e9e70aacd6f12ca1d11bb54ad048ed
RANDOM SEED=2112712487

node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1793932 kB
Buffers:         50212 kB
Cached:         125324 kB
SwapCached:       6064 kB
Active:          89092 kB
Inactive:        99972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1793932 kB
SwapTotal:     4192956 kB
SwapFree:      4140448 kB
Dirty:            1140 kB
Writeback:           0 kB
AnonPages:       11736 kB
Mapped:          13212 kB
Slab:            54264 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181476 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62412 MiB
End job on node019 at 2010-06-15 16:24:59