Trace number 362860

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.05 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-czprob.opb
MD5SUMc15e03ab07153a4c6592115aff440072
Bench CategoryOPT-SMALLINT (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 benchmark7.14391
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables98820
Total number of constraints927
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints927
Minimum length of a constraint30
Maximum length of a constraint11190
Number of terms in the objective function 98250
Biggest coefficient in the objective function 259
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 608626
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 608626
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
1.10/1.12	c ...done
1.10/1.12	c #vars=98820 #constraints=1818 hasObjective=yes
2.29/2.33	c res. mode=mod
2.29/2.33	c VSIDS like heuristics
2.29/2.33	c complete search running
4.69/4.74	c restart after 401 decisions
4.79/4.89	c nbDecision=500 #constraints=1920
5.29/5.33	c restart after 801 decisions
5.59/5.62	c nbDecision=1000 #constraints=1921
6.39/6.40	c nbDecision=1500 #constraints=1924
6.50/6.56	c restart after 1601 decisions
7.09/7.16	c nbDecision=2000 #constraints=1926
7.89/7.96	c nbDecision=2500 #constraints=1930
8.70/8.75	c nbDecision=3000 #constraints=1934
8.99/9.07	c restart after 3201 decisions
9.49/9.50	c nbDecision=3500 #constraints=1936
10.19/10.29	c nbDecision=4000 #constraints=1940
11.00/11.08	c nbDecision=4500 #constraints=1944
11.79/11.89	c nbDecision=5000 #constraints=1949
12.59/12.69	c nbDecision=5500 #constraints=1953
13.39/13.49	c nbDecision=6000 #constraints=1957
14.09/14.13	c restart after 6401 decisions
14.19/14.28	c nbDecision=6500 #constraints=1960
14.99/15.06	c nbDecision=7000 #constraints=1963
15.79/15.86	c nbDecision=7500 #constraints=1967
16.59/16.66	c nbDecision=8000 #constraints=1971
17.39/17.46	c nbDecision=8500 #constraints=1975
18.19/18.21	c nbDecision=9000 #constraints=1976
18.89/18.93	c nbDecision=9500 #constraints=1977
19.59/19.68	c nbDecision=10000 #constraints=1978
20.39/20.42	c nbDecision=10500 #constraints=1979
21.09/21.16	c nbDecision=11000 #constraints=1980
21.79/21.90	c nbDecision=11500 #constraints=1981
22.59/22.64	c nbDecision=12000 #constraints=1982
23.29/23.37	c nbDecision=12500 #constraints=1983
23.79/23.82	c restart after 12801 decisions
24.09/24.11	c nbDecision=13000 #constraints=1984
24.79/24.83	c nbDecision=13500 #constraints=1984
25.49/25.57	c nbDecision=14000 #constraints=1985
26.29/26.31	c nbDecision=14500 #constraints=1986
26.98/27.04	c nbDecision=15000 #constraints=1987
27.68/27.78	c nbDecision=15500 #constraints=1988
28.49/28.52	c nbDecision=16000 #constraints=1989
29.18/29.25	c nbDecision=16500 #constraints=1990
29.88/29.98	c nbDecision=17000 #constraints=1991
30.69/30.71	c nbDecision=17500 #constraints=1992
31.38/31.46	c nbDecision=18000 #constraints=1993
32.18/32.20	c nbDecision=18500 #constraints=1994
32.89/32.94	c nbDecision=19000 #constraints=1995
33.58/33.69	c nbDecision=19500 #constraints=1996
34.38/34.43	c nbDecision=20000 #constraints=1997
35.09/35.18	c nbDecision=20500 #constraints=1998
35.88/35.92	c nbDecision=21000 #constraints=1999
36.58/36.66	c nbDecision=21500 #constraints=2000
37.39/37.41	c nbDecision=22000 #constraints=2001
38.08/38.15	c nbDecision=22500 #constraints=2002
38.78/38.88	c nbDecision=23000 #constraints=2003
39.58/39.61	c nbDecision=23500 #constraints=2004
40.28/40.36	c nbDecision=24000 #constraints=2005
41.08/41.10	c nbDecision=24500 #constraints=2006
41.78/41.82	c nbDecision=25000 #constraints=2007
42.48/42.56	c nbDecision=25500 #constraints=2008
42.68/42.70	c restart after 25601 decisions
43.18/43.29	c nbDecision=26000 #constraints=2008
43.98/44.03	c nbDecision=26500 #constraints=2009
44.68/44.77	c nbDecision=27000 #constraints=2010
45.38/45.50	c nbDecision=27500 #constraints=2011
46.18/46.23	c nbDecision=28000 #constraints=2012
46.88/46.97	c nbDecision=28500 #constraints=2013
47.68/47.71	c nbDecision=29000 #constraints=2014
48.38/48.44	c nbDecision=29500 #constraints=2015
49.08/49.18	c nbDecision=30000 #constraints=2016
49.88/49.91	c nbDecision=30500 #constraints=2017
50.58/50.65	c nbDecision=31000 #constraints=2018
51.28/51.38	c nbDecision=31500 #constraints=2018
52.08/52.12	c nbDecision=32000 #constraints=2019
52.78/52.86	c nbDecision=32500 #constraints=2020
53.58/53.61	c nbDecision=33000 #constraints=2021
54.27/54.35	c nbDecision=33500 #constraints=2022
54.98/55.10	c nbDecision=34000 #constraints=2023
55.77/55.84	c nbDecision=34500 #constraints=2024
56.47/56.58	c nbDecision=35000 #constraints=2025
57.27/57.32	c nbDecision=35500 #constraints=2026
57.97/58.06	c nbDecision=36000 #constraints=2027
58.77/58.81	c nbDecision=36500 #constraints=2028
59.47/59.55	c nbDecision=37000 #constraints=2029
60.17/60.29	c nbDecision=37500 #constraints=2030
60.97/61.03	c nbDecision=38000 #constraints=2031
61.67/61.77	c nbDecision=38500 #constraints=2032
62.47/62.51	c nbDecision=39000 #constraints=2033
63.17/63.24	c nbDecision=39500 #constraints=2034
63.87/63.96	c nbDecision=40000 #constraints=2034
64.67/64.70	c nbDecision=40500 #constraints=2035
65.37/65.43	c nbDecision=41000 #constraints=2036
66.07/66.17	c nbDecision=41500 #constraints=2037
66.87/66.91	c nbDecision=42000 #constraints=2038
67.57/67.65	c nbDecision=42500 #constraints=2039
68.27/68.38	c nbDecision=43000 #constraints=2040
69.07/69.12	c nbDecision=43500 #constraints=2041
69.77/69.85	c nbDecision=44000 #constraints=2042
70.47/70.58	c nbDecision=44500 #constraints=2043
71.27/71.32	c nbDecision=45000 #constraints=2044
71.97/72.06	c nbDecision=45500 #constraints=2045
72.67/72.78	c nbDecision=46000 #constraints=2045
73.47/73.51	c nbDecision=46500 #constraints=2046
74.17/74.26	c nbDecision=47000 #constraints=2047
74.97/75.00	c nbDecision=47500 #constraints=2048
75.67/75.74	c nbDecision=48000 #constraints=2049
76.37/76.48	c nbDecision=48500 #constraints=2050
77.17/77.23	c nbDecision=49000 #constraints=2051
77.87/77.97	c nbDecision=49500 #constraints=2052
78.67/78.72	c nbDecision=50000 #constraints=2053
79.37/79.46	c nbDecision=50500 #constraints=2054
80.17/80.20	c nbDecision=51000 #constraints=2055
80.37/80.50	c restart after 51201 decisions
80.87/80.94	c nbDecision=51500 #constraints=2055
81.57/81.68	c nbDecision=52000 #constraints=2056
82.27/82.40	c nbDecision=52500 #constraints=2056
83.07/83.14	c nbDecision=53000 #constraints=2057
83.77/83.87	c nbDecision=53500 #constraints=2058
84.57/84.61	c nbDecision=54000 #constraints=2059
85.27/85.35	c nbDecision=54500 #constraints=2060
85.97/86.08	c nbDecision=55000 #constraints=2061
86.77/86.82	c nbDecision=55500 #constraints=2062
87.46/87.54	c nbDecision=56000 #constraints=2062
88.16/88.27	c nbDecision=56500 #constraints=2063
88.97/89.01	c nbDecision=57000 #constraints=2064
89.66/89.75	c nbDecision=57500 #constraints=2065
90.36/90.48	c nbDecision=58000 #constraints=2066
91.06/91.20	c nbDecision=58500 #constraints=2066
91.86/91.94	c nbDecision=59000 #constraints=2067
92.56/92.69	c nbDecision=59500 #constraints=2068
93.37/93.42	c nbDecision=60000 #constraints=2069
94.06/94.15	c nbDecision=60500 #constraints=2069
94.76/94.89	c nbDecision=61000 #constraints=2070
95.57/95.64	c nbDecision=61500 #constraints=2071
96.26/96.38	c nbDecision=62000 #constraints=2072
97.06/97.12	c nbDecision=62500 #constraints=2073
97.77/97.85	c nbDecision=63000 #constraints=2073
98.46/98.59	c nbDecision=63500 #constraints=2074
99.26/99.34	c nbDecision=64000 #constraints=2075
99.97/100.08	c nbDecision=64500 #constraints=2076
100.76/100.80	c nbDecision=65000 #constraints=2076
101.46/101.55	c nbDecision=65500 #constraints=2077
102.17/102.28	c nbDecision=66000 #constraints=2078
102.96/103.01	c nbDecision=66500 #constraints=2079
103.66/103.73	c nbDecision=67000 #constraints=2080
104.36/104.45	c nbDecision=67500 #constraints=2080
105.06/105.19	c nbDecision=68000 #constraints=2081
105.86/105.93	c nbDecision=68500 #constraints=2082
106.56/106.66	c nbDecision=69000 #constraints=2083
107.36/107.40	c nbDecision=69500 #constraints=2084
108.06/108.12	c nbDecision=70000 #constraints=2084
108.76/108.85	c nbDecision=70500 #constraints=2085
109.46/109.60	c nbDecision=71000 #constraints=2086
110.26/110.32	c nbDecision=71500 #constraints=2087
110.97/111.04	c nbDecision=72000 #constraints=2087
111.67/111.78	c nbDecision=72500 #constraints=2088
112.46/112.52	c nbDecision=73000 #constraints=2089
113.17/113.27	c nbDecision=73500 #constraints=2090
113.96/114.01	c nbDecision=74000 #constraints=2091
114.66/114.73	c nbDecision=74500 #constraints=2091
115.37/115.48	c nbDecision=75000 #constraints=2092
116.16/116.22	c nbDecision=75500 #constraints=2093
116.86/116.96	c nbDecision=76000 #constraints=2094
117.57/117.69	c nbDecision=76500 #constraints=2094
118.36/118.43	c nbDecision=77000 #constraints=2095
119.06/119.18	c nbDecision=77500 #constraints=2096
119.87/119.90	c nbDecision=78000 #constraints=2096
120.56/120.65	c nbDecision=78500 #constraints=2097
121.26/121.39	c nbDecision=79000 #constraints=2098
122.06/122.12	c nbDecision=79500 #constraints=2099
122.76/122.84	c nbDecision=80000 #constraints=2099
123.46/123.58	c nbDecision=80500 #constraints=2100
124.26/124.31	c nbDecision=81000 #constraints=2101
124.96/125.04	c nbDecision=81500 #constraints=2102
125.66/125.76	c nbDecision=82000 #constraints=2102
126.36/126.50	c nbDecision=82500 #constraints=2103
127.16/127.23	c nbDecision=83000 #constraints=2104
127.86/127.95	c nbDecision=83500 #constraints=2104
128.56/128.69	c nbDecision=84000 #constraints=2105
129.36/129.42	c nbDecision=84500 #constraints=2106
130.06/130.16	c nbDecision=85000 #constraints=2107
130.76/130.88	c nbDecision=85500 #constraints=2107
131.56/131.62	c nbDecision=86000 #constraints=2108
132.25/132.36	c nbDecision=86500 #constraints=2109
132.96/133.08	c nbDecision=87000 #constraints=2109
133.75/133.83	c nbDecision=87500 #constraints=2110
134.45/134.57	c nbDecision=88000 #constraints=2111
135.26/135.31	c nbDecision=88500 #constraints=2112
135.95/136.04	c nbDecision=89000 #constraints=2112
136.65/136.78	c nbDecision=89500 #constraints=2113
137.46/137.52	c nbDecision=90000 #constraints=2114
138.15/138.25	c nbDecision=90500 #constraints=2114
138.85/138.98	c nbDecision=91000 #constraints=2115
139.65/139.72	c nbDecision=91500 #constraints=2116
140.35/140.46	c nbDecision=92000 #constraints=2117
141.05/141.19	c nbDecision=92500 #constraints=2117
141.85/141.93	c nbDecision=93000 #constraints=2118
142.55/142.66	c nbDecision=93500 #constraints=2119
143.25/143.38	c nbDecision=94000 #constraints=2119
144.05/144.12	c nbDecision=94500 #constraints=2120
144.75/144.86	c nbDecision=95000 #constraints=2121
145.45/145.59	c nbDecision=95500 #constraints=2122
146.25/146.31	c nbDecision=96000 #constraints=2122
146.94/147.04	c nbDecision=96500 #constraints=2123
147.65/147.78	c nbDecision=97000 #constraints=2124
148.35/148.50	c nbDecision=97500 #constraints=2124
149.14/149.22	c nbDecision=98000 #constraints=2125
149.84/149.96	c nbDecision=98500 #constraints=2126
150.55/150.69	c nbDecision=99000 #constraints=2127
151.34/151.41	c nbDecision=99500 #constraints=2127
152.04/152.16	c nbDecision=100000 #constraints=2128
152.75/152.90	c nbDecision=100500 #constraints=2129
153.54/153.62	c nbDecision=101000 #constraints=2129
154.24/154.37	c nbDecision=101500 #constraints=2130
155.05/155.11	c nbDecision=102000 #constraints=2131
155.54/155.69	c restart after 102401 decisions
155.74/155.85	c nbDecision=102500 #constraints=2131
156.44/156.58	c nbDecision=103000 #constraints=2131
157.24/157.32	c nbDecision=103500 #constraints=2132
157.94/158.05	c nbDecision=104000 #constraints=2132
158.64/158.79	c nbDecision=104500 #constraints=2133
159.44/159.53	c nbDecision=105000 #constraints=2134
160.14/160.27	c nbDecision=105500 #constraints=2135
160.94/161.00	c nbDecision=106000 #constraints=2135
161.64/161.74	c nbDecision=106500 #constraints=2136
162.34/162.47	c nbDecision=107000 #constraints=2137
163.04/163.19	c nbDecision=107500 #constraints=2137
163.84/163.93	c nbDecision=108000 #constraints=2138
164.54/164.66	c nbDecision=108500 #constraints=2139
165.24/165.38	c nbDecision=109000 #constraints=2139
166.05/166.12	c nbDecision=109500 #constraints=2140
166.74/166.85	c nbDecision=110000 #constraints=2141
167.44/167.57	c nbDecision=110500 #constraints=2141
168.25/168.30	c nbDecision=111000 #constraints=2142
168.94/169.04	c nbDecision=111500 #constraints=2143
169.64/169.76	c nbDecision=112000 #constraints=2143
170.35/170.49	c nbDecision=112500 #constraints=2144
171.14/171.23	c nbDecision=113000 #constraints=2145
171.84/171.95	c nbDecision=113500 #constraints=2145
172.54/172.70	c nbDecision=114000 #constraints=2146
173.34/173.44	c nbDecision=114500 #constraints=2147
174.04/174.16	c nbDecision=115000 #constraints=2147
174.84/174.91	c nbDecision=115500 #constraints=2148
175.54/175.65	c nbDecision=116000 #constraints=2149
176.24/176.37	c nbDecision=116500 #constraints=2149
177.04/177.12	c nbDecision=117000 #constraints=2150
177.74/177.85	c nbDecision=117500 #constraints=2151
178.44/178.58	c nbDecision=118000 #constraints=2151
179.24/179.32	c nbDecision=118500 #constraints=2152
179.94/180.03	c nbDecision=119000 #constraints=2152
180.64/180.77	c nbDecision=119500 #constraints=2153
181.44/181.51	c nbDecision=120000 #constraints=2154
182.14/182.21	c nbDecision=120500 #constraints=2154
182.84/182.95	c nbDecision=121000 #constraints=2155
183.54/183.69	c nbDecision=121500 #constraints=2156
184.33/184.40	c nbDecision=122000 #constraints=2156
185.03/185.14	c nbDecision=122500 #constraints=2157
185.74/185.87	c nbDecision=123000 #constraints=2158
186.43/186.59	c nbDecision=123500 #constraints=2158
187.23/187.33	c nbDecision=124000 #constraints=2159
187.94/188.06	c nbDecision=124500 #constraints=2160
188.63/188.78	c nbDecision=125000 #constraints=2160
189.43/189.52	c nbDecision=125500 #constraints=2161
190.14/190.23	c nbDecision=126000 #constraints=2161
190.83/190.97	c nbDecision=126500 #constraints=2162
191.63/191.71	c nbDecision=127000 #constraints=2163
192.33/192.43	c nbDecision=127500 #constraints=2163
193.03/193.18	c nbDecision=128000 #constraints=2164
193.83/193.92	c nbDecision=128500 #constraints=2165
194.53/194.64	c nbDecision=129000 #constraints=2165
195.23/195.39	c nbDecision=129500 #constraints=2166
196.03/196.13	c nbDecision=130000 #constraints=2167
196.73/196.86	c nbDecision=130500 #constraints=2167
197.53/197.60	c nbDecision=131000 #constraints=2168
198.23/198.34	c nbDecision=131500 #constraints=2169
198.93/199.06	c nbDecision=132000 #constraints=2169
199.63/199.79	c nbDecision=132500 #constraints=2170
200.43/200.53	c nbDecision=133000 #constraints=2171
201.13/201.25	c nbDecision=133500 #constraints=2171
201.83/201.99	c nbDecision=134000 #constraints=2172
202.63/202.70	c nbDecision=134500 #constraints=2172
203.33/203.44	c nbDecision=135000 #constraints=2173
204.03/204.17	c nbDecision=135500 #constraints=2174
204.73/204.89	c nbDecision=136000 #constraints=2174
205.53/205.63	c nbDecision=136500 #constraints=2175
206.23/206.36	c nbDecision=137000 #constraints=2176
206.92/207.06	c nbDecision=137500 #constraints=2176
207.62/207.80	c nbDecision=138000 #constraints=2177
208.42/208.51	c nbDecision=138500 #constraints=2177
209.12/209.25	c nbDecision=139000 #constraints=2178
209.82/209.98	c nbDecision=139500 #constraints=2179
210.62/210.70	c nbDecision=140000 #constraints=2179
211.32/211.44	c nbDecision=140500 #constraints=2180
212.02/212.18	c nbDecision=141000 #constraints=2181
212.82/212.91	c nbDecision=141500 #constraints=2181
213.52/213.65	c nbDecision=142000 #constraints=2182
214.22/214.37	c nbDecision=142500 #constraints=2182
215.02/215.11	c nbDecision=143000 #constraints=2183
215.72/215.85	c nbDecision=143500 #constraints=2184
216.42/216.58	c nbDecision=144000 #constraints=2184
217.22/217.32	c nbDecision=144500 #constraints=2185
217.92/218.06	c nbDecision=145000 #constraints=2186
218.62/218.79	c nbDecision=145500 #constraints=2186
219.42/219.53	c nbDecision=146000 #constraints=2187
220.12/220.25	c nbDecision=146500 #constraints=2187
220.82/221.00	c nbDecision=147000 #constraints=2188
221.62/221.73	c nbDecision=147500 #constraints=2189
222.32/222.44	c nbDecision=148000 #constraints=2189
223.02/223.18	c nbDecision=148500 #constraints=2190
223.72/223.89	c nbDecision=149000 #constraints=2190
224.52/224.63	c nbDecision=149500 #constraints=2191
225.22/225.36	c nbDecision=150000 #constraints=2192
225.92/226.08	c nbDecision=150500 #constraints=2192
226.72/226.82	c nbDecision=151000 #constraints=2193
227.42/227.54	c nbDecision=151500 #constraints=2193
228.12/228.27	c nbDecision=152000 #constraints=2194
228.82/228.99	c nbDecision=152500 #constraints=2194
229.62/229.72	c nbDecision=153000 #constraints=2195
230.32/230.46	c nbDecision=153500 #constraints=2196
231.01/231.18	c nbDecision=154000 #constraints=2196
231.81/231.92	c nbDecision=154500 #constraints=2197
232.51/232.63	c nbDecision=155000 #constraints=2197
233.21/233.37	c nbDecision=155500 #constraints=2198
234.01/234.11	c nbDecision=156000 #constraints=2199
234.71/234.84	c nbDecision=156500 #constraints=2199
235.41/235.58	c nbDecision=157000 #constraints=2200
236.21/236.30	c nbDecision=157500 #constraints=2200
236.91/237.05	c nbDecision=158000 #constraints=2201
237.61/237.77	c nbDecision=158500 #constraints=2201
238.41/238.51	c nbDecision=159000 #constraints=2202
239.11/239.25	c nbDecision=159500 #constraints=2203
239.81/239.98	c nbDecision=160000 #constraints=2203
240.62/240.72	c nbDecision=160500 #constraints=2204
241.32/241.44	c nbDecision=161000 #constraints=2204
242.02/242.18	c nbDecision=161500 #constraints=2205
242.72/242.89	c nbDecision=162000 #constraints=2205
243.52/243.63	c nbDecision=162500 #constraints=2206
244.22/244.36	c nbDecision=163000 #constraints=2207
244.92/245.08	c nbDecision=163500 #constraints=2207
245.72/245.82	c nbDecision=164000 #constraints=2208
246.42/246.53	c nbDecision=164500 #constraints=2208
247.12/247.27	c nbDecision=165000 #constraints=2209
247.82/247.99	c nbDecision=165500 #constraints=2209
248.62/248.72	c nbDecision=166000 #constraints=2210
249.32/249.44	c nbDecision=166500 #constraints=2210
250.02/250.18	c nbDecision=167000 #constraints=2211
250.82/250.90	c nbDecision=167500 #constraints=2212
251.52/251.62	c nbDecision=168000 #constraints=2212
252.22/252.37	c nbDecision=168500 #constraints=2213
252.92/253.09	c nbDecision=169000 #constraints=2213
253.72/253.83	c nbDecision=169500 #constraints=2214
254.42/254.55	c nbDecision=170000 #constraints=2214
255.22/255.30	c nbDecision=170500 #constraints=2215
255.92/256.04	c nbDecision=171000 #constraints=2216
256.61/256.76	c nbDecision=171500 #constraints=2216
257.41/257.50	c nbDecision=172000 #constraints=2217
258.11/258.23	c nbDecision=172500 #constraints=2217
258.81/258.97	c nbDecision=173000 #constraints=2218
259.52/259.69	c nbDecision=173500 #constraints=2218
260.31/260.44	c nbDecision=174000 #constraints=2219
261.01/261.16	c nbDecision=174500 #constraints=2219
261.81/261.90	c nbDecision=175000 #constraints=2220
262.51/262.63	c nbDecision=175500 #constraints=2221
263.21/263.35	c nbDecision=176000 #constraints=2221
263.92/264.08	c nbDecision=176500 #constraints=2222
264.71/264.80	c nbDecision=177000 #constraints=2222
265.41/265.54	c nbDecision=177500 #constraints=2223
266.11/266.25	c nbDecision=178000 #constraints=2223
266.81/266.99	c nbDecision=178500 #constraints=2224
267.61/267.70	c nbDecision=179000 #constraints=2224
268.31/268.44	c nbDecision=179500 #constraints=2225
269.01/269.18	c nbDecision=180000 #constraints=2226
269.71/269.89	c nbDecision=180500 #constraints=2226
270.51/270.63	c nbDecision=181000 #constraints=2227
271.21/271.34	c nbDecision=181500 #constraints=2227
271.91/272.09	c nbDecision=182000 #constraints=2228
272.61/272.80	c nbDecision=182500 #constraints=2228
273.41/273.54	c nbDecision=183000 #constraints=2229
274.11/274.28	c nbDecision=183500 #constraints=2230
274.91/275.01	c nbDecision=184000 #constraints=2230
275.60/275.75	c nbDecision=184500 #constraints=2231
276.30/276.47	c nbDecision=185000 #constraints=2231
277.11/277.22	c nbDecision=185500 #constraints=2232
277.80/277.94	c nbDecision=186000 #constraints=2232
278.50/278.68	c nbDecision=186500 #constraints=2233
279.31/279.40	c nbDecision=187000 #constraints=2233
280.00/280.15	c nbDecision=187500 #constraints=2234
280.70/280.88	c nbDecision=188000 #constraints=2235
281.51/281.60	c nbDecision=188500 #constraints=2235
282.20/282.33	c nbDecision=189000 #constraints=2236
282.90/283.05	c nbDecision=189500 #constraints=2236
283.60/283.79	c nbDecision=190000 #constraints=2237
284.40/284.50	c nbDecision=190500 #constraints=2237
285.10/285.24	c nbDecision=191000 #constraints=2238
285.80/285.95	c nbDecision=191500 #constraints=2238
286.50/286.69	c nbDecision=192000 #constraints=2239
287.30/287.41	c nbDecision=192500 #constraints=2239
288.00/288.14	c nbDecision=193000 #constraints=2240
288.70/288.88	c nbDecision=193500 #constraints=2241
289.40/289.60	c nbDecision=194000 #constraints=2241
290.20/290.33	c nbDecision=194500 #constraints=2242
290.90/291.05	c nbDecision=195000 #constraints=2242
291.60/291.79	c nbDecision=195500 #constraints=2243
292.40/292.51	c nbDecision=196000 #constraints=2243
293.10/293.26	c nbDecision=196500 #constraints=2244
293.80/293.96	c nbDecision=197000 #constraints=2244
294.60/294.70	c nbDecision=197500 #constraints=2245
295.30/295.42	c nbDecision=198000 #constraints=2245
296.00/296.17	c nbDecision=198500 #constraints=2246
296.69/296.89	c nbDecision=199000 #constraints=2246
297.49/297.63	c nbDecision=199500 #constraints=2247
298.19/298.37	c nbDecision=200000 #constraints=2248
298.89/299.10	c nbDecision=200500 #constraints=2248
299.69/299.84	c nbDecision=201000 #constraints=2249
300.39/300.56	c nbDecision=201500 #constraints=2249
301.09/301.30	c nbDecision=202000 #constraints=2250
301.90/302.02	c nbDecision=202500 #constraints=2250
302.59/302.75	c nbDecision=203000 #constraints=2251
303.29/303.47	c nbDecision=203500 #constraints=2251
304.09/304.20	c nbDecision=204000 #constraints=2252
304.79/304.92	c nbDecision=204500 #constraints=2252
305.19/305.37	c restart after 204801 decisions
305.49/305.68	c nbDecision=205000 #constraints=2253
306.29/306.40	c nbDecision=205500 #constraints=2253
306.99/307.13	c nbDecision=206000 #constraints=2254
307.69/307.85	c nbDecision=206500 #constraints=2254
308.39/308.59	c nbDecision=207000 #constraints=2255
309.19/309.30	c nbDecision=207500 #constraints=2255
309.90/310.04	c nbDecision=208000 #constraints=2256
310.60/310.74	c nbDecision=208500 #constraints=2256
311.30/311.48	c nbDecision=209000 #constraints=2257
312.10/312.20	c nbDecision=209500 #constraints=2257
312.80/312.95	c nbDecision=210000 #constraints=2258
313.50/313.67	c nbDecision=210500 #constraints=2258
314.30/314.41	c nbDecision=211000 #constraints=2259
315.00/315.13	c nbDecision=211500 #constraints=2259
315.70/315.87	c nbDecision=212000 #constraints=2260
316.50/316.61	c nbDecision=212500 #constraints=2261
317.20/317.34	c nbDecision=213000 #constraints=2261
317.90/318.08	c nbDecision=213500 #constraints=2262
318.70/318.81	c nbDecision=214000 #constraints=2262
319.40/319.55	c nbDecision=214500 #constraints=2263
320.10/320.27	c nbDecision=215000 #constraints=2263
320.90/321.01	c nbDecision=215500 #constraints=2264
321.60/321.73	c nbDecision=216000 #constraints=2264
322.30/322.47	c nbDecision=216500 #constraints=2265
322.99/323.18	c nbDecision=217000 #constraints=2265
323.79/323.92	c nbDecision=217500 #constraints=2266
324.49/324.65	c nbDecision=218000 #constraints=2267
325.19/325.37	c nbDecision=218500 #constraints=2267
325.99/326.11	c nbDecision=219000 #constraints=2268
326.69/326.82	c nbDecision=219500 #constraints=2268
327.39/327.56	c nbDecision=220000 #constraints=2269
328.09/328.27	c nbDecision=220500 #constraints=2269
328.89/329.01	c nbDecision=221000 #constraints=2270
329.59/329.73	c nbDecision=221500 #constraints=2270
330.29/330.46	c nbDecision=222000 #constraints=2271
330.99/331.18	c nbDecision=222500 #constraints=2271
331.79/331.92	c nbDecision=223000 #constraints=2272
332.49/332.64	c nbDecision=223500 #constraints=2272
333.19/333.39	c nbDecision=224000 #constraints=2273
333.99/334.13	c nbDecision=224500 #constraints=2274
334.69/334.85	c nbDecision=225000 #constraints=2274
335.39/335.59	c nbDecision=225500 #constraints=2275
336.19/336.31	c nbDecision=226000 #constraints=2275
336.89/337.06	c nbDecision=226500 #constraints=2276
337.59/337.78	c nbDecision=227000 #constraints=2276
338.39/338.52	c nbDecision=227500 #constraints=2277
339.09/339.24	c nbDecision=228000 #constraints=2277
339.79/339.99	c nbDecision=228500 #constraints=2278
340.59/340.71	c nbDecision=229000 #constraints=2278
341.29/341.45	c nbDecision=229500 #constraints=2279
341.99/342.18	c nbDecision=230000 #constraints=2280
342.69/342.89	c nbDecision=230500 #constraints=2280
343.49/343.62	c nbDecision=231000 #constraints=2281
344.19/344.34	c nbDecision=231500 #constraints=2281
344.88/345.06	c nbDecision=232000 #constraints=2282
345.58/345.78	c nbDecision=232500 #constraints=2282
346.39/346.51	c nbDecision=233000 #constraints=2283
347.08/347.23	c nbDecision=233500 #constraints=2283
347.78/347.96	c nbDecision=234000 #constraints=2284
348.49/348.68	c nbDecision=234500 #constraints=2284
349.28/349.42	c nbDecision=235000 #constraints=2285
349.98/350.13	c nbDecision=235500 #constraints=2285
350.69/350.85	c nbDecision=236000 #constraints=2286
351.38/351.59	c nbDecision=236500 #constraints=2287
352.18/352.32	c nbDecision=237000 #constraints=2287
352.89/353.06	c nbDecision=237500 #constraints=2288
353.58/353.78	c nbDecision=238000 #constraints=2288
354.38/354.53	c nbDecision=238500 #constraints=2289
355.09/355.25	c nbDecision=239000 #constraints=2289
355.78/355.99	c nbDecision=239500 #constraints=2290
356.58/356.71	c nbDecision=240000 #constraints=2290
357.29/357.45	c nbDecision=240500 #constraints=2291
357.98/358.17	c nbDecision=241000 #constraints=2291
358.78/358.91	c nbDecision=241500 #constraints=2292
359.49/359.65	c nbDecision=242000 #constraints=2293
360.18/360.38	c nbDecision=242500 #constraints=2293
360.98/361.12	c nbDecision=243000 #constraints=2294
361.69/361.84	c nbDecision=243500 #constraints=2294
362.38/362.57	c nbDecision=244000 #constraints=2295
363.08/363.28	c nbDecision=244500 #constraints=2295
363.88/364.02	c nbDecision=245000 #constraints=2296
364.58/364.74	c nbDecision=245500 #constraints=2296
365.28/365.47	c nbDecision=246000 #constraints=2297
365.98/366.18	c nbDecision=246500 #constraints=2297
366.78/366.92	c nbDecision=247000 #constraints=2298
367.48/367.62	c nbDecision=247500 #constraints=2298
368.18/368.35	c nbDecision=248000 #constraints=2299
368.88/369.09	c nbDecision=248500 #constraints=2300
369.58/369.80	c nbDecision=249000 #constraints=2300
370.38/370.53	c nbDecision=249500 #constraints=2301
371.08/371.25	c nbDecision=250000 #constraints=2301
371.78/371.99	c nbDecision=250500 #constraints=2302
372.58/372.71	c nbDecision=251000 #constraints=2302
373.28/373.45	c nbDecision=251500 #constraints=2303
373.98/374.17	c nbDecision=252000 #constraints=2303
374.78/374.92	c nbDecision=252500 #constraints=2304
375.47/375.64	c nbDecision=253000 #constraints=2304
376.17/376.38	c nbDecision=253500 #constraints=2305
376.97/377.10	c nbDecision=254000 #constraints=2305
377.67/377.85	c nbDecision=254500 #constraints=2306
378.37/378.57	c nbDecision=255000 #constraints=2306
379.17/379.31	c nbDecision=255500 #constraints=2307
379.87/380.03	c nbDecision=256000 #constraints=2307
380.57/380.78	c nbDecision=256500 #constraints=2308
381.37/381.51	c nbDecision=257000 #constraints=2309
382.07/382.23	c nbDecision=257500 #constraints=2309
382.77/382.97	c nbDecision=258000 #constraints=2310
383.47/383.68	c nbDecision=258500 #constraints=2310
384.27/384.41	c nbDecision=259000 #constraints=2311
384.97/385.13	c nbDecision=259500 #constraints=2311
385.67/385.85	c nbDecision=260000 #constraints=2312
386.37/386.57	c nbDecision=260500 #constraints=2312
387.17/387.30	c nbDecision=261000 #constraints=2313
387.87/388.02	c nbDecision=261500 #constraints=2313
388.57/388.75	c nbDecision=262000 #constraints=2314
389.27/389.47	c nbDecision=262500 #constraints=2314
390.07/390.21	c nbDecision=263000 #constraints=2315
390.77/390.92	c nbDecision=263500 #constraints=2315
391.47/391.66	c nbDecision=264000 #constraints=2316
392.17/392.40	c nbDecision=264500 #constraints=2317
392.97/393.12	c nbDecision=265000 #constraints=2317
393.67/393.86	c nbDecision=265500 #constraints=2318
394.37/394.59	c nbDecision=266000 #constraints=2318
395.17/395.33	c nbDecision=266500 #constraints=2319
395.87/396.06	c nbDecision=267000 #constraints=2319
396.67/396.80	c nbDecision=267500 #constraints=2320
397.37/397.51	c nbDecision=268000 #constraints=2320
398.07/398.25	c nbDecision=268500 #constraints=2321
398.77/398.98	c nbDecision=269000 #constraints=2321
399.57/399.72	c nbDecision=269500 #constraints=2322
400.27/400.44	c nbDecision=270000 #constraints=2322
400.97/401.19	c nbDecision=270500 #constraints=2323
401.77/401.90	c nbDecision=271000 #constraints=2323
402.47/402.64	c nbDecision=271500 #constraints=2324
403.17/403.35	c nbDecision=272000 #constraints=2324
403.87/404.09	c nbDecision=272500 #constraints=2325
404.67/404.82	c nbDecision=273000 #constraints=2326
405.36/405.54	c nbDecision=273500 #constraints=2326
406.06/406.28	c nbDecision=274000 #constraints=2327
406.77/406.99	c nbDecision=274500 #constraints=2327
407.56/407.72	c nbDecision=275000 #constraints=2328
408.26/408.44	c nbDecision=275500 #constraints=2328
408.97/409.17	c nbDecision=276000 #constraints=2329
409.66/409.89	c nbDecision=276500 #constraints=2329
410.46/410.62	c nbDecision=277000 #constraints=2330
411.16/411.34	c nbDecision=277500 #constraints=2330
411.86/412.08	c nbDecision=278000 #constraints=2331
412.66/412.81	c nbDecision=278500 #constraints=2331
413.36/413.53	c nbDecision=279000 #constraints=2331
414.06/414.27	c nbDecision=279500 #constraints=2332
414.76/414.99	c nbDecision=280000 #constraints=2332
415.56/415.74	c nbDecision=280500 #constraints=2333
416.26/416.46	c nbDecision=281000 #constraints=2333
417.06/417.20	c nbDecision=281500 #constraints=2334
417.76/417.92	c nbDecision=282000 #constraints=2334
418.46/418.66	c nbDecision=282500 #constraints=2335
419.16/419.38	c nbDecision=283000 #constraints=2335
419.96/420.13	c nbDecision=283500 #constraints=2336
420.66/420.85	c nbDecision=284000 #constraints=2336
421.36/421.59	c nbDecision=284500 #constraints=2337
422.06/422.29	c nbDecision=285000 #constraints=2337
422.86/423.02	c nbDecision=285500 #constraints=2338
423.56/423.74	c nbDecision=286000 #constraints=2338
424.26/424.48	c nbDecision=286500 #constraints=2339
424.96/425.19	c nbDecision=287000 #constraints=2339
425.76/425.93	c nbDecision=287500 #constraints=2340
426.46/426.64	c nbDecision=288000 #constraints=2340
427.16/427.37	c nbDecision=288500 #constraints=2341
427.86/428.09	c nbDecision=289000 #constraints=2341
428.66/428.80	c nbDecision=289500 #constraints=2341
429.36/429.54	c nbDecision=290000 #constraints=2342
430.06/430.25	c nbDecision=290500 #constraints=2342
430.76/430.99	c nbDecision=291000 #constraints=2343
431.56/431.71	c nbDecision=291500 #constraints=2343
432.26/432.45	c nbDecision=292000 #constraints=2344
432.96/433.17	c nbDecision=292500 #constraints=2344
433.76/433.91	c nbDecision=293000 #constraints=2345
434.46/434.64	c nbDecision=293500 #constraints=2345
435.16/435.38	c nbDecision=294000 #constraints=2346
435.96/436.10	c nbDecision=294500 #constraints=2346
436.66/436.84	c nbDecision=295000 #constraints=2347
437.36/437.55	c nbDecision=295500 #constraints=2347
438.06/438.29	c nbDecision=296000 #constraints=2348
438.86/439.02	c nbDecision=296500 #constraints=2348
439.56/439.74	c nbDecision=297000 #constraints=2348
440.26/440.48	c nbDecision=297500 #constraints=2349
441.06/441.20	c nbDecision=298000 #constraints=2349
441.76/441.94	c nbDecision=298500 #constraints=2350
442.46/442.65	c nbDecision=299000 #constraints=2350
443.16/443.39	c nbDecision=299500 #constraints=2351
443.96/444.10	c nbDecision=300000 #constraints=2351
444.66/444.84	c nbDecision=300500 #constraints=2352
445.36/445.55	c nbDecision=301000 #constraints=2352
446.06/446.29	c nbDecision=301500 #constraints=2353
446.86/447.00	c nbDecision=302000 #constraints=2353
447.56/447.72	c nbDecision=302500 #constraints=2354
448.25/448.44	c nbDecision=303000 #constraints=2354
448.95/449.15	c nbDecision=303500 #constraints=2354
449.66/449.89	c nbDecision=304000 #constraints=2355
450.45/450.61	c nbDecision=304500 #constraints=2355
451.15/451.34	c nbDecision=305000 #constraints=2356
451.86/452.06	c nbDecision=305500 #constraints=2356
452.65/452.81	c nbDecision=306000 #constraints=2357
453.35/453.53	c nbDecision=306500 #constraints=2357
454.06/454.27	c nbDecision=307000 #constraints=2358
454.75/454.99	c nbDecision=307500 #constraints=2358
455.55/455.73	c nbDecision=308000 #constraints=2359
456.26/456.46	c nbDecision=308500 #constraints=2359
456.95/457.17	c nbDecision=309000 #constraints=2359
457.75/457.91	c nbDecision=309500 #constraints=2360
458.45/458.64	c nbDecision=310000 #constraints=2360
459.15/459.37	c nbDecision=310500 #constraints=2361
459.95/460.10	c nbDecision=311000 #constraints=2361
460.65/460.82	c nbDecision=311500 #constraints=2361
461.35/461.56	c nbDecision=312000 #constraints=2362
462.05/462.27	c nbDecision=312500 #constraints=2362
462.85/463.00	c nbDecision=313000 #constraints=2363
463.55/463.72	c nbDecision=313500 #constraints=2363
464.25/464.45	c nbDecision=314000 #constraints=2364
464.95/465.17	c nbDecision=314500 #constraints=2364
465.65/465.88	c nbDecision=315000 #constraints=2364
466.45/466.61	c nbDecision=315500 #constraints=2365
467.15/467.32	c nbDecision=316000 #constraints=2365
467.85/468.05	c nbDecision=316500 #constraints=2366
468.55/468.77	c nbDecision=317000 #constraints=2366
469.24/469.48	c nbDecision=317500 #constraints=2366
470.04/470.22	c nbDecision=318000 #constraints=2367
470.74/470.93	c nbDecision=318500 #constraints=2367
471.44/471.67	c nbDecision=319000 #constraints=2368
472.14/472.39	c nbDecision=319500 #constraints=2368
472.94/473.13	c nbDecision=320000 #constraints=2369
473.64/473.85	c nbDecision=320500 #constraints=2369
474.34/474.57	c nbDecision=321000 #constraints=2369
475.14/475.31	c nbDecision=321500 #constraints=2370
475.84/476.03	c nbDecision=322000 #constraints=2370
476.54/476.77	c nbDecision=322500 #constraints=2371
477.24/477.48	c nbDecision=323000 #constraints=2371
478.04/478.20	c nbDecision=323500 #constraints=2371
478.74/478.93	c nbDecision=324000 #constraints=2372
479.44/479.65	c nbDecision=324500 #constraints=2372
480.14/480.39	c nbDecision=325000 #constraints=2373
480.94/481.12	c nbDecision=325500 #constraints=2373
481.64/481.85	c nbDecision=326000 #constraints=2374
482.34/482.56	c nbDecision=326500 #constraints=2374
483.04/483.28	c nbDecision=327000 #constraints=2374
483.84/484.01	c nbDecision=327500 #constraints=2375
484.54/484.72	c nbDecision=328000 #constraints=2375
485.24/485.46	c nbDecision=328500 #constraints=2376
485.94/486.17	c nbDecision=329000 #constraints=2376
486.64/486.89	c nbDecision=329500 #constraints=2376
487.44/487.61	c nbDecision=330000 #constraints=2377
488.14/488.32	c nbDecision=330500 #constraints=2377
488.84/489.05	c nbDecision=331000 #constraints=2378
489.54/489.77	c nbDecision=331500 #constraints=2378
490.34/490.50	c nbDecision=332000 #constraints=2379
491.03/491.22	c nbDecision=332500 #constraints=2379
491.73/491.94	c nbDecision=333000 #constraints=2379
492.43/492.68	c nbDecision=333500 #constraints=2380
493.23/493.40	c nbDecision=334000 #constraints=2380
493.93/494.14	c nbDecision=334500 #constraints=2381
494.63/494.86	c nbDecision=335000 #constraints=2381
495.43/495.60	c nbDecision=335500 #constraints=2382
496.13/496.33	c nbDecision=336000 #constraints=2382
496.83/497.05	c nbDecision=336500 #constraints=2382
497.53/497.78	c nbDecision=337000 #constraints=2383
498.33/498.50	c nbDecision=337500 #constraints=2383
499.03/499.24	c nbDecision=338000 #constraints=2384
499.73/499.96	c nbDecision=338500 #constraints=2384
500.43/500.68	c nbDecision=339000 #constraints=2384
501.23/501.42	c nbDecision=339500 #constraints=2385
501.93/502.14	c nbDecision=340000 #constraints=2385
502.63/502.87	c nbDecision=340500 #constraints=2386
503.33/503.58	c nbDecision=341000 #constraints=2386
504.13/504.31	c nbDecision=341500 #constraints=2387
504.83/505.03	c nbDecision=342000 #constraints=2387
505.53/505.75	c nbDecision=342500 #constraints=2387
506.23/506.48	c nbDecision=343000 #constraints=2388
506.94/507.19	c nbDecision=343500 #constraints=2388
507.73/507.92	c nbDecision=344000 #constraints=2389
508.43/508.64	c nbDecision=344500 #constraints=2389
509.14/509.35	c nbDecision=345000 #constraints=2389
509.83/510.09	c nbDecision=345500 #constraints=2390
510.53/510.79	c nbDecision=346000 #constraints=2390
511.34/511.53	c nbDecision=346500 #constraints=2391
512.03/512.25	c nbDecision=347000 #constraints=2391
512.73/512.98	c nbDecision=347500 #constraints=2392
513.53/513.71	c nbDecision=348000 #constraints=2392
514.23/514.43	c nbDecision=348500 #constraints=2392
514.93/515.17	c nbDecision=349000 #constraints=2393
515.63/515.89	c nbDecision=349500 #constraints=2393
516.43/516.63	c nbDecision=350000 #constraints=2394
517.13/517.35	c nbDecision=350500 #constraints=2394
517.83/518.07	c nbDecision=351000 #constraints=2394
518.63/518.81	c nbDecision=351500 #constraints=2395
519.33/519.53	c nbDecision=352000 #constraints=2395
520.03/520.27	c nbDecision=352500 #constraints=2396
520.73/520.99	c nbDecision=353000 #constraints=2396
521.53/521.72	c nbDecision=353500 #constraints=2397
522.23/522.44	c nbDecision=354000 #constraints=2397
522.93/523.15	c nbDecision=354500 #constraints=2397
523.63/523.88	c nbDecision=355000 #constraints=2398
524.33/524.59	c nbDecision=355500 #constraints=2398
525.13/525.32	c nbDecision=356000 #constraints=2399
525.83/526.04	c nbDecision=356500 #constraints=2399
526.52/526.75	c nbDecision=357000 #constraints=2399
527.22/527.48	c nbDecision=357500 #constraints=2400
527.92/528.19	c nbDecision=358000 #constraints=2400
528.72/528.92	c nbDecision=358500 #constraints=2401
529.42/529.64	c nbDecision=359000 #constraints=2401
530.12/530.37	c nbDecision=359500 #constraints=2402
530.82/531.08	c nbDecision=360000 #constraints=2402
531.62/531.80	c nbDecision=360500 #constraints=2402
532.32/532.54	c nbDecision=361000 #constraints=2403
533.02/533.26	c nbDecision=361500 #constraints=2403
533.82/534.00	c nbDecision=362000 #constraints=2404
534.52/534.72	c nbDecision=362500 #constraints=2404
535.22/535.44	c nbDecision=363000 #constraints=2404
535.92/536.18	c nbDecision=363500 #constraints=2405
536.72/536.90	c nbDecision=364000 #constraints=2405
537.42/537.60	c nbDecision=364500 #constraints=2405
538.12/538.34	c nbDecision=365000 #constraints=2406
538.82/539.06	c nbDecision=365500 #constraints=2406
539.52/539.78	c nbDecision=366000 #constraints=2406
540.32/540.52	c nbDecision=366500 #constraints=2407
541.02/541.24	c nbDecision=367000 #constraints=2407
541.72/541.97	c nbDecision=367500 #constraints=2408
542.42/542.69	c nbDecision=368000 #constraints=2408
543.12/543.40	c nbDecision=368500 #constraints=2408
543.92/544.13	c nbDecision=369000 #constraints=2409
544.62/544.84	c nbDecision=369500 #constraints=2409
545.32/545.56	c nbDecision=370000 #constraints=2409
546.02/546.29	c nbDecision=370500 #constraints=2410
546.81/547.00	c nbDecision=371000 #constraints=2410
547.41/547.70	c nbDecision=371500 #constraints=2410
548.21/548.43	c nbDecision=372000 #constraints=2411
548.91/549.15	c nbDecision=372500 #constraints=2411
549.61/549.86	c nbDecision=373000 #constraints=2411
550.31/550.59	c nbDecision=373500 #constraints=2412
551.11/551.30	c nbDecision=374000 #constraints=2412
551.81/552.04	c nbDecision=374500 #constraints=2413
552.51/552.76	c nbDecision=375000 #constraints=2413
553.21/553.48	c nbDecision=375500 #constraints=2413
554.01/554.21	c nbDecision=376000 #constraints=2414
554.71/554.94	c nbDecision=376500 #constraints=2414
555.41/555.66	c nbDecision=377000 #constraints=2414
556.11/556.39	c nbDecision=377500 #constraints=2415
556.91/557.11	c nbDecision=378000 #constraints=2415
557.61/557.83	c nbDecision=378500 #constraints=2415
558.31/558.57	c nbDecision=379000 #constraints=2416
559.01/559.29	c nbDecision=379500 #constraints=2416
559.81/560.02	c nbDecision=380000 #constraints=2417
560.51/560.75	c nbDecision=380500 #constraints=2417
561.21/561.47	c nbDecision=381000 #constraints=2417
561.91/562.19	c nbDecision=381500 #constraints=2418
562.71/562.91	c nbDecision=382000 #constraints=2418
563.41/563.62	c nbDecision=382500 #constraints=2418
564.11/564.36	c nbDecision=383000 #constraints=2419
564.81/565.07	c nbDecision=383500 #constraints=2419
565.51/565.78	c nbDecision=384000 #constraints=2419
566.31/566.52	c nbDecision=384500 #constraints=2420
567.01/567.23	c nbDecision=385000 #constraints=2420
567.71/567.94	c nbDecision=385500 #constraints=2420
568.41/568.67	c nbDecision=386000 #constraints=2421
569.11/569.38	c nbDecision=386500 #constraints=2421
569.91/570.11	c nbDecision=387000 #constraints=2422
570.61/570.83	c nbDecision=387500 #constraints=2422
571.31/571.54	c nbDecision=388000 #constraints=2422
572.01/572.28	c nbDecision=388500 #constraints=2423
572.71/573.00	c nbDecision=389000 #constraints=2423
573.51/573.72	c nbDecision=389500 #constraints=2423
574.21/574.46	c nbDecision=390000 #constraints=2424
574.91/575.18	c nbDecision=390500 #constraints=2424
575.71/575.90	c nbDecision=391000 #constraints=2424
576.40/576.64	c nbDecision=391500 #constraints=2425
577.10/577.35	c nbDecision=392000 #constraints=2425
577.80/578.07	c nbDecision=392500 #constraints=2425
578.60/578.81	c nbDecision=393000 #constraints=2426
579.30/579.53	c nbDecision=393500 #constraints=2426
580.00/580.26	c nbDecision=394000 #constraints=2427
580.70/580.99	c nbDecision=394500 #constraints=2427
581.50/581.71	c nbDecision=395000 #constraints=2427
582.20/582.43	c nbDecision=395500 #constraints=2428
582.90/583.15	c nbDecision=396000 #constraints=2428
583.60/583.86	c nbDecision=396500 #constraints=2428
584.30/584.59	c nbDecision=397000 #constraints=2429
585.10/585.31	c nbDecision=397500 #constraints=2429
585.80/586.02	c nbDecision=398000 #constraints=2429
586.50/586.75	c nbDecision=398500 #constraints=2430
587.20/587.46	c nbDecision=399000 #constraints=2430
587.90/588.18	c nbDecision=399500 #constraints=2430
588.70/588.91	c nbDecision=400000 #constraints=2431
589.40/589.62	c nbDecision=400500 #constraints=2431
590.10/590.35	c nbDecision=401000 #constraints=2432
590.80/591.07	c nbDecision=401500 #constraints=2432
591.50/591.78	c nbDecision=402000 #constraints=2432
592.30/592.52	c nbDecision=402500 #constraints=2433
593.00/593.24	c nbDecision=403000 #constraints=2433
593.70/593.96	c nbDecision=403500 #constraints=2433
594.50/594.70	c nbDecision=404000 #constraints=2434
595.20/595.42	c nbDecision=404500 #constraints=2434
595.90/596.14	c nbDecision=405000 #constraints=2434
596.60/596.86	c nbDecision=405500 #constraints=2435
597.30/597.57	c nbDecision=406000 #constraints=2435
597.99/598.29	c nbDecision=406500 #constraints=2435
598.79/599.03	c nbDecision=407000 #constraints=2436
599.49/599.75	c nbDecision=407500 #constraints=2436
600.19/600.48	c nbDecision=408000 #constraints=2437
600.99/601.21	c nbDecision=408500 #constraints=2437
601.69/601.92	c nbDecision=409000 #constraints=2437
602.39/602.65	c nbDecision=409500 #constraints=2438
602.50/602.79	c restart after 409601 decisions
603.09/603.39	c nbDecision=410000 #constraints=2438
603.89/604.11	c nbDecision=410500 #constraints=2438
604.59/604.82	c nbDecision=411000 #constraints=2438
605.29/605.55	c nbDecision=411500 #constraints=2439
605.99/606.27	c nbDecision=412000 #constraints=2439
606.69/606.98	c nbDecision=412500 #constraints=2439
607.49/607.70	c nbDecision=413000 #constraints=2440
608.20/608.42	c nbDecision=413500 #constraints=2440
608.90/609.13	c nbDecision=414000 #constraints=2440
609.60/609.87	c nbDecision=414500 #constraints=2441
610.30/610.58	c nbDecision=415000 #constraints=2441
611.10/611.30	c nbDecision=415500 #constraints=2442
611.80/612.03	c nbDecision=416000 #constraints=2442
612.50/612.75	c nbDecision=416500 #constraints=2442
613.20/613.48	c nbDecision=417000 #constraints=2443
614.00/614.21	c nbDecision=417500 #constraints=2443
614.70/614.93	c nbDecision=418000 #constraints=2443
615.40/615.66	c nbDecision=418500 #constraints=2444
616.10/616.39	c nbDecision=419000 #constraints=2444
616.90/617.11	c nbDecision=419500 #constraints=2444
617.60/617.84	c nbDecision=420000 #constraints=2445
618.30/618.57	c nbDecision=420500 #constraints=2445
619.00/619.28	c nbDecision=421000 #constraints=2445
619.80/620.02	c nbDecision=421500 #constraints=2446
620.50/620.74	c nbDecision=422000 #constraints=2446
621.20/621.46	c nbDecision=422500 #constraints=2446
621.90/622.19	c nbDecision=423000 #constraints=2447
622.70/622.91	c nbDecision=423500 #constraints=2447
623.40/623.63	c nbDecision=424000 #constraints=2448
624.09/624.35	c nbDecision=424500 #constraints=2448
624.79/625.06	c nbDecision=425000 #constraints=2448
625.49/625.79	c nbDecision=425500 #constraints=2449
626.29/626.51	c nbDecision=426000 #constraints=2449
626.99/627.22	c nbDecision=426500 #constraints=2449
627.69/627.95	c nbDecision=427000 #constraints=2450
628.39/628.66	c nbDecision=427500 #constraints=2450
629.09/629.37	c nbDecision=428000 #constraints=2450
629.89/630.11	c nbDecision=428500 #constraints=2451
630.59/630.82	c nbDecision=429000 #constraints=2451
631.29/631.53	c nbDecision=429500 #constraints=2451
631.99/632.27	c nbDecision=430000 #constraints=2452
632.69/632.99	c nbDecision=430500 #constraints=2452
633.49/633.71	c nbDecision=431000 #constraints=2452
634.19/634.45	c nbDecision=431500 #constraints=2453
634.89/635.15	c nbDecision=432000 #constraints=2453
635.60/635.88	c nbDecision=432500 #constraints=2454
636.39/636.61	c nbDecision=433000 #constraints=2454
637.09/637.33	c nbDecision=433500 #constraints=2454
637.79/638.06	c nbDecision=434000 #constraints=2455
638.49/638.79	c nbDecision=434500 #constraints=2455
639.29/639.51	c nbDecision=435000 #constraints=2455
639.99/640.24	c nbDecision=435500 #constraints=2456
640.69/640.97	c nbDecision=436000 #constraints=2456
641.39/641.68	c nbDecision=436500 #constraints=2456
642.19/642.41	c nbDecision=437000 #constraints=2457
642.89/643.13	c nbDecision=437500 #constraints=2457
643.59/643.84	c nbDecision=438000 #constraints=2457
644.29/644.57	c nbDecision=438500 #constraints=2458
644.99/645.28	c nbDecision=439000 #constraints=2458
645.69/645.99	c nbDecision=439500 #constraints=2458
646.49/646.72	c nbDecision=440000 #constraints=2459
647.19/647.43	c nbDecision=440500 #constraints=2459
647.89/648.16	c nbDecision=441000 #constraints=2460
648.58/648.87	c nbDecision=441500 #constraints=2460
649.28/649.58	c nbDecision=442000 #constraints=2460
650.08/650.31	c nbDecision=442500 #constraints=2461
650.78/651.03	c nbDecision=443000 #constraints=2461
651.48/651.75	c nbDecision=443500 #constraints=2461
652.18/652.48	c nbDecision=444000 #constraints=2462
652.98/653.20	c nbDecision=444500 #constraints=2462
653.68/653.92	c nbDecision=445000 #constraints=2462
654.38/654.66	c nbDecision=445500 #constraints=2463
655.08/655.38	c nbDecision=446000 #constraints=2463
655.78/656.10	c nbDecision=446500 #constraints=2463
656.58/656.83	c nbDecision=447000 #constraints=2464
657.28/657.56	c nbDecision=447500 #constraints=2464
657.98/658.27	c nbDecision=448000 #constraints=2464
658.78/659.01	c nbDecision=448500 #constraints=2465
659.48/659.74	c nbDecision=449000 #constraints=2465
660.18/660.47	c nbDecision=449500 #constraints=2466
660.88/661.19	c nbDecision=450000 #constraints=2466
661.68/661.91	c nbDecision=450500 #constraints=2466
662.38/662.64	c nbDecision=451000 #constraints=2467
663.08/663.35	c nbDecision=451500 #constraints=2467
663.78/664.05	c nbDecision=452000 #constraints=2467
664.48/664.78	c nbDecision=452500 #constraints=2468
665.18/665.50	c nbDecision=453000 #constraints=2468
665.98/666.21	c nbDecision=453500 #constraints=2468
666.68/666.94	c nbDecision=454000 #constraints=2469
667.38/667.66	c nbDecision=454500 #constraints=2469
668.08/668.37	c nbDecision=455000 #constraints=2469
668.88/669.10	c nbDecision=455500 #constraints=2470
669.58/669.81	c nbDecision=456000 #constraints=2470
670.28/670.52	c nbDecision=456500 #constraints=2470
670.98/671.24	c nbDecision=457000 #constraints=2471
671.67/671.96	c nbDecision=457500 #constraints=2471
672.37/672.69	c nbDecision=458000 #constraints=2472
673.17/673.42	c nbDecision=458500 #constraints=2472
673.87/674.14	c nbDecision=459000 #constraints=2472
674.57/674.87	c nbDecision=459500 #constraints=2473
675.37/675.60	c nbDecision=460000 #constraints=2473
676.07/676.32	c nbDecision=460500 #constraints=2473
676.77/677.05	c nbDecision=461000 #constraints=2474
677.47/677.78	c nbDecision=461500 #constraints=2474
678.17/678.50	c nbDecision=462000 #constraints=2474
678.97/679.23	c nbDecision=462500 #constraints=2475
679.67/679.96	c nbDecision=463000 #constraints=2475
680.37/680.67	c nbDecision=463500 #constraints=2475
681.17/681.41	c nbDecision=464000 #constraints=2476
681.87/682.13	c nbDecision=464500 #constraints=2476
682.57/682.83	c nbDecision=465000 #constraints=2476
683.27/683.56	c nbDecision=465500 #constraints=2477
683.97/684.27	c nbDecision=466000 #constraints=2477
684.77/685.00	c nbDecision=466500 #constraints=2478
685.47/685.72	c nbDecision=467000 #constraints=2478
686.17/686.43	c nbDecision=467500 #constraints=2478
686.87/687.15	c nbDecision=468000 #constraints=2479
687.57/687.87	c nbDecision=468500 #constraints=2479
688.27/688.58	c nbDecision=469000 #constraints=2479
689.07/689.31	c nbDecision=469500 #constraints=2480
689.77/690.03	c nbDecision=470000 #constraints=2480
690.47/690.74	c nbDecision=470500 #constraints=2480
691.17/691.47	c nbDecision=471000 #constraints=2481
691.87/692.18	c nbDecision=471500 #constraints=2481
692.67/692.90	c nbDecision=472000 #constraints=2481
693.36/693.63	c nbDecision=472500 #constraints=2482
694.06/694.35	c nbDecision=473000 #constraints=2482
694.76/695.06	c nbDecision=473500 #constraints=2482
695.56/695.80	c nbDecision=474000 #constraints=2483
696.26/696.53	c nbDecision=474500 #constraints=2483
696.96/697.24	c nbDecision=475000 #constraints=2483
699.37/699.62	c nbDecision=475500 #constraints=2587
700.16/700.44	c nbDecision=476000 #constraints=2592
700.96/701.24	c nbDecision=476500 #constraints=2596
701.76/702.03	c nbDecision=477000 #constraints=2600
702.57/702.83	c nbDecision=477500 #constraints=2604
703.36/703.62	c nbDecision=478000 #constraints=2608
704.16/704.41	c nbDecision=478500 #constraints=2612
704.96/705.22	c nbDecision=479000 #constraints=2617
705.76/706.01	c nbDecision=479500 #constraints=2621
706.56/706.81	c nbDecision=480000 #constraints=2625
707.36/707.60	c nbDecision=480500 #constraints=2629
708.06/708.40	c nbDecision=481000 #constraints=2633
708.86/709.19	c nbDecision=481500 #constraints=2637
709.76/710.00	c nbDecision=482000 #constraints=2642
710.46/710.72	c nbDecision=482500 #constraints=2642
711.16/711.46	c nbDecision=483000 #constraints=2643
711.96/712.20	c nbDecision=483500 #constraints=2644
712.66/712.94	c nbDecision=484000 #constraints=2645
713.36/713.68	c nbDecision=484500 #constraints=2646
714.16/714.43	c nbDecision=485000 #constraints=2647
714.86/715.16	c nbDecision=485500 #constraints=2648
715.66/715.90	c nbDecision=486000 #constraints=2649
716.36/716.64	c nbDecision=486500 #constraints=2650
717.06/717.38	c nbDecision=487000 #constraints=2651
717.86/718.13	c nbDecision=487500 #constraints=2652
718.56/718.87	c nbDecision=488000 #constraints=2653
719.36/719.62	c nbDecision=488500 #constraints=2654
720.05/720.36	c nbDecision=489000 #constraints=2655
720.86/721.11	c nbDecision=489500 #constraints=2656
721.55/721.84	c nbDecision=490000 #constraints=2657
722.26/722.58	c nbDecision=490500 #constraints=2658
723.06/723.32	c nbDecision=491000 #constraints=2659
723.76/724.06	c nbDecision=491500 #constraints=2660
724.46/724.80	c nbDecision=492000 #constraints=2661
725.26/725.53	c nbDecision=492500 #constraints=2662
725.96/726.27	c nbDecision=493000 #constraints=2663
726.77/727.01	c nbDecision=493500 #constraints=2664
727.46/727.74	c nbDecision=494000 #constraints=2665
728.16/728.48	c nbDecision=494500 #constraints=2666
728.96/729.22	c nbDecision=495000 #constraints=2667
729.66/729.95	c nbDecision=495500 #constraints=2668
730.36/730.69	c nbDecision=496000 #constraints=2669
731.16/731.43	c nbDecision=496500 #constraints=2670
731.86/732.17	c nbDecision=497000 #constraints=2671
732.66/732.91	c nbDecision=497500 #constraints=2672
733.36/733.65	c nbDecision=498000 #constraints=2673
734.16/734.40	c nbDecision=498500 #constraints=2674
734.86/735.14	c nbDecision=499000 #constraints=2675
735.56/735.87	c nbDecision=499500 #constraints=2675
736.36/736.62	c nbDecision=500000 #constraints=2676
737.06/737.36	c nbDecision=500500 #constraints=2677
737.86/738.10	c nbDecision=501000 #constraints=2678
738.56/738.85	c nbDecision=501500 #constraints=2679
739.26/739.59	c nbDecision=502000 #constraints=2680
740.06/740.34	c nbDecision=502500 #constraints=2681
740.76/741.08	c nbDecision=503000 #constraints=2682
741.56/741.82	c nbDecision=503500 #constraints=2683
742.26/742.56	c nbDecision=504000 #constraints=2684
742.96/743.29	c nbDecision=504500 #constraints=2685
743.75/744.03	c nbDecision=505000 #constraints=2686
744.46/744.77	c nbDecision=505500 #constraints=2687
745.25/745.51	c nbDecision=506000 #constraints=2688
745.95/746.24	c nbDecision=506500 #constraints=2689
746.66/746.98	c nbDecision=507000 #constraints=2690
747.45/747.72	c nbDecision=507500 #constraints=2691
748.15/748.46	c nbDecision=508000 #constraints=2692
748.86/749.19	c nbDecision=508500 #constraints=2693
749.65/749.93	c nbDecision=509000 #constraints=2694
750.35/750.67	c nbDecision=509500 #constraints=2695
751.15/751.41	c nbDecision=510000 #constraints=2696
751.85/752.13	c nbDecision=510500 #constraints=2697
752.55/752.86	c nbDecision=511000 #constraints=2697
753.35/753.60	c nbDecision=511500 #constraints=2698
754.05/754.35	c nbDecision=512000 #constraints=2699
754.75/755.08	c nbDecision=512500 #constraints=2700
755.55/755.82	c nbDecision=513000 #constraints=2701
756.25/756.57	c nbDecision=513500 #constraints=2702
757.05/757.31	c nbDecision=514000 #constraints=2703
757.75/758.06	c nbDecision=514500 #constraints=2704
758.55/758.80	c nbDecision=515000 #constraints=2705
759.25/759.54	c nbDecision=515500 #constraints=2706
759.95/760.29	c nbDecision=516000 #constraints=2707
760.75/761.03	c nbDecision=516500 #constraints=2708
761.45/761.76	c nbDecision=517000 #constraints=2708
762.15/762.49	c nbDecision=517500 #constraints=2709
762.95/763.23	c nbDecision=518000 #constraints=2710
763.65/763.97	c nbDecision=518500 #constraints=2711
764.44/764.71	c nbDecision=519000 #constraints=2712
765.14/765.44	c nbDecision=519500 #constraints=2713
765.84/766.18	c nbDecision=520000 #constraints=2714
766.64/766.91	c nbDecision=520500 #constraints=2715
767.34/767.65	c nbDecision=521000 #constraints=2716
768.04/768.39	c nbDecision=521500 #constraints=2717
768.84/769.13	c nbDecision=522000 #constraints=2718
769.54/769.86	c nbDecision=522500 #constraints=2719
770.24/770.58	c nbDecision=523000 #constraints=2719
771.04/771.32	c nbDecision=523500 #constraints=2720
771.74/772.06	c nbDecision=524000 #constraints=2721
772.54/772.81	c nbDecision=524500 #constraints=2722
773.24/773.55	c nbDecision=525000 #constraints=2723
773.94/774.30	c nbDecision=525500 #constraints=2724
774.74/775.03	c nbDecision=526000 #constraints=2725
775.44/775.76	c nbDecision=526500 #constraints=2726
776.24/776.51	c nbDecision=527000 #constraints=2727
776.94/777.22	c nbDecision=527500 #constraints=2727
777.64/777.97	c nbDecision=528000 #constraints=2728
778.44/778.71	c nbDecision=528500 #constraints=2729
779.14/779.46	c nbDecision=529000 #constraints=2730
779.94/780.20	c nbDecision=529500 #constraints=2731
780.64/780.92	c nbDecision=530000 #constraints=2731
781.34/781.67	c nbDecision=530500 #constraints=2732
782.14/782.40	c nbDecision=531000 #constraints=2733
782.84/783.14	c nbDecision=531500 #constraints=2734
783.53/783.85	c nbDecision=532000 #constraints=2734
784.23/784.59	c nbDecision=532500 #constraints=2735
785.04/785.33	c nbDecision=533000 #constraints=2736
785.73/786.06	c nbDecision=533500 #constraints=2737
786.53/786.80	c nbDecision=534000 #constraints=2738
787.24/787.52	c nbDecision=534500 #constraints=2738
787.93/788.25	c nbDecision=535000 #constraints=2739
788.63/788.99	c nbDecision=535500 #constraints=2740
789.44/789.72	c nbDecision=536000 #constraints=2741
790.13/790.44	c nbDecision=536500 #constraints=2741
790.83/791.17	c nbDecision=537000 #constraints=2742
791.64/791.91	c nbDecision=537500 #constraints=2743
792.33/792.65	c nbDecision=538000 #constraints=2744
793.03/793.39	c nbDecision=538500 #constraints=2745
793.84/794.11	c nbDecision=539000 #constraints=2745
794.53/794.86	c nbDecision=539500 #constraints=2746
795.33/795.60	c nbDecision=540000 #constraints=2747
796.04/796.35	c nbDecision=540500 #constraints=2748
796.73/797.09	c nbDecision=541000 #constraints=2749
797.53/797.81	c nbDecision=541500 #constraints=2749
798.23/798.56	c nbDecision=542000 #constraints=2750
799.03/799.30	c nbDecision=542500 #constraints=2751
799.73/800.04	c nbDecision=543000 #constraints=2752
800.43/800.77	c nbDecision=543500 #constraints=2752
801.23/801.51	c nbDecision=544000 #constraints=2753
801.93/802.24	c nbDecision=544500 #constraints=2754
802.63/802.98	c nbDecision=545000 #constraints=2755
803.43/803.72	c nbDecision=545500 #constraints=2756
804.13/804.43	c nbDecision=546000 #constraints=2756
804.83/805.17	c nbDecision=546500 #constraints=2757
805.63/805.90	c nbDecision=547000 #constraints=2758
806.33/806.64	c nbDecision=547500 #constraints=2759
807.03/807.35	c nbDecision=548000 #constraints=2759
807.73/808.08	c nbDecision=548500 #constraints=2760
808.53/808.81	c nbDecision=549000 #constraints=2761
809.23/809.55	c nbDecision=549500 #constraints=2762
809.93/810.27	c nbDecision=550000 #constraints=2762
810.73/811.00	c nbDecision=550500 #constraints=2763
811.43/811.74	c nbDecision=551000 #constraints=2764
812.13/812.46	c nbDecision=551500 #constraints=2764
812.93/813.21	c nbDecision=552000 #constraints=2765
813.63/813.95	c nbDecision=552500 #constraints=2766
814.32/814.70	c nbDecision=553000 #constraints=2767
815.12/815.41	c nbDecision=553500 #constraints=2767
815.83/816.15	c nbDecision=554000 #constraints=2768
816.52/816.89	c nbDecision=554500 #constraints=2769
817.32/817.62	c nbDecision=555000 #constraints=2769
818.03/818.36	c nbDecision=555500 #constraints=2770
818.82/819.10	c nbDecision=556000 #constraints=2771
819.52/819.84	c nbDecision=556500 #constraints=2772
820.23/820.57	c nbDecision=557000 #constraints=2772
821.02/821.31	c nbDecision=557500 #constraints=2773
821.72/822.05	c nbDecision=558000 #constraints=2774
822.42/822.77	c nbDecision=558500 #constraints=2774
823.22/823.51	c nbDecision=559000 #constraints=2775
823.92/824.24	c nbDecision=559500 #constraints=2776
824.63/824.98	c nbDecision=560000 #constraints=2777
825.43/825.70	c nbDecision=560500 #constraints=2777
826.13/826.43	c nbDecision=561000 #constraints=2778
826.83/827.17	c nbDecision=561500 #constraints=2779
827.53/827.89	c nbDecision=562000 #constraints=2779
828.33/828.63	c nbDecision=562500 #constraints=2780
829.03/829.36	c nbDecision=563000 #constraints=2781
829.83/830.10	c nbDecision=563500 #constraints=2782
830.53/830.81	c nbDecision=564000 #constraints=2782
831.23/831.55	c nbDecision=564500 #constraints=2783
831.93/832.29	c nbDecision=565000 #constraints=2784
832.73/833.01	c nbDecision=565500 #constraints=2784
833.43/833.75	c nbDecision=566000 #constraints=2785
834.13/834.50	c nbDecision=566500 #constraints=2786
834.92/835.24	c nbDecision=567000 #constraints=2787
835.63/835.96	c nbDecision=567500 #constraints=2787
836.42/836.71	c nbDecision=568000 #constraints=2788
837.12/837.45	c nbDecision=568500 #constraints=2789
837.83/838.19	c nbDecision=569000 #constraints=2790
838.62/838.92	c nbDecision=569500 #constraints=2790
839.32/839.66	c nbDecision=570000 #constraints=2791
840.13/840.41	c nbDecision=570500 #constraints=2792
840.82/841.13	c nbDecision=571000 #constraints=2792
841.52/841.87	c nbDecision=571500 #constraints=2793
842.32/842.60	c nbDecision=572000 #constraints=2794
843.02/843.32	c nbDecision=572500 #constraints=2794
843.72/844.06	c nbDecision=573000 #constraints=2795
844.42/844.79	c nbDecision=573500 #constraints=2796
845.22/845.53	c nbDecision=574000 #constraints=2797
845.92/846.25	c nbDecision=574500 #constraints=2797
846.62/846.99	c nbDecision=575000 #constraints=2798
847.42/847.72	c nbDecision=575500 #constraints=2799
848.12/848.44	c nbDecision=576000 #constraints=2799
848.82/849.17	c nbDecision=576500 #constraints=2800
849.62/849.91	c nbDecision=577000 #constraints=2801
850.32/850.62	c nbDecision=577500 #constraints=2801
851.02/851.36	c nbDecision=578000 #constraints=2802
851.82/852.11	c nbDecision=578500 #constraints=2803
852.52/852.85	c nbDecision=579000 #constraints=2804
853.22/853.57	c nbDecision=579500 #constraints=2804
854.02/854.32	c nbDecision=580000 #constraints=2805
854.72/855.06	c nbDecision=580500 #constraints=2806
855.42/855.78	c nbDecision=581000 #constraints=2806
856.22/856.53	c nbDecision=581500 #constraints=2807
856.91/857.27	c nbDecision=582000 #constraints=2808
857.62/858.00	c nbDecision=582500 #constraints=2808
858.41/858.74	c nbDecision=583000 #constraints=2809
859.11/859.48	c nbDecision=583500 #constraints=2810
859.92/860.21	c nbDecision=584000 #constraints=2810
860.61/860.95	c nbDecision=584500 #constraints=2811
861.31/861.69	c nbDecision=585000 #constraints=2812
862.12/862.41	c nbDecision=585500 #constraints=2812
862.81/863.15	c nbDecision=586000 #constraints=2813
863.51/863.86	c nbDecision=586500 #constraints=2813
864.21/864.60	c nbDecision=587000 #constraints=2814
865.01/865.33	c nbDecision=587500 #constraints=2815
865.71/866.05	c nbDecision=588000 #constraints=2815
866.41/866.79	c nbDecision=588500 #constraints=2816
867.21/867.52	c nbDecision=589000 #constraints=2817
867.91/868.24	c nbDecision=589500 #constraints=2817
868.61/868.98	c nbDecision=590000 #constraints=2818
869.41/869.71	c nbDecision=590500 #constraints=2819
870.11/870.43	c nbDecision=591000 #constraints=2819
870.81/871.17	c nbDecision=591500 #constraints=2820
871.61/871.90	c nbDecision=592000 #constraints=2821
872.31/872.63	c nbDecision=592500 #constraints=2821
873.01/873.37	c nbDecision=593000 #constraints=2822
873.81/874.11	c nbDecision=593500 #constraints=2823
874.51/874.83	c nbDecision=594000 #constraints=2823
875.21/875.58	c nbDecision=594500 #constraints=2824
876.00/876.30	c nbDecision=595000 #constraints=2824
876.70/877.04	c nbDecision=595500 #constraints=2825
877.41/877.79	c nbDecision=596000 #constraints=2826
878.20/878.51	c nbDecision=596500 #constraints=2826
878.90/879.26	c nbDecision=597000 #constraints=2827
879.61/880.00	c nbDecision=597500 #constraints=2828
880.40/880.72	c nbDecision=598000 #constraints=2828
881.10/881.46	c nbDecision=598500 #constraints=2829
881.81/882.20	c nbDecision=599000 #constraints=2830
882.60/882.92	c nbDecision=599500 #constraints=2830
883.30/883.65	c nbDecision=600000 #constraints=2831
884.01/884.39	c nbDecision=600500 #constraints=2832
884.80/885.11	c nbDecision=601000 #constraints=2832
885.50/885.84	c nbDecision=601500 #constraints=2833
886.20/886.58	c nbDecision=602000 #constraints=2834
886.90/887.29	c nbDecision=602500 #constraints=2834
887.70/888.03	c nbDecision=603000 #constraints=2835
888.40/888.75	c nbDecision=603500 #constraints=2835
889.10/889.48	c nbDecision=604000 #constraints=2836
889.90/890.22	c nbDecision=604500 #constraints=2837
890.60/890.93	c nbDecision=605000 #constraints=2837
891.30/891.68	c nbDecision=605500 #constraints=2838
892.10/892.41	c nbDecision=606000 #constraints=2839
892.80/893.14	c nbDecision=606500 #constraints=2839
893.50/893.88	c nbDecision=607000 #constraints=2840
894.30/894.62	c nbDecision=607500 #constraints=2841
895.01/895.35	c nbDecision=608000 #constraints=2841
895.70/896.09	c nbDecision=608500 #constraints=2842
896.50/896.82	c nbDecision=609000 #constraints=2842
897.21/897.55	c nbDecision=609500 #constraints=2843
897.90/898.29	c nbDecision=610000 #constraints=2844
898.70/899.01	c nbDecision=610500 #constraints=2844
899.41/899.76	c nbDecision=611000 #constraints=2845
900.20/900.50	c nbDecision=611500 #constraints=2846
900.90/901.23	c nbDecision=612000 #constraints=2846
901.60/901.96	c nbDecision=612500 #constraints=2847
902.30/902.68	c nbDecision=613000 #constraints=2847
903.10/903.41	c nbDecision=613500 #constraints=2848
903.80/904.15	c nbDecision=614000 #constraints=2849
904.50/904.87	c nbDecision=614500 #constraints=2849
905.30/905.60	c nbDecision=615000 #constraints=2850
906.00/906.32	c nbDecision=615500 #constraints=2850
906.70/907.06	c nbDecision=616000 #constraints=2851
907.40/907.79	c nbDecision=616500 #constraints=2852
908.20/908.51	c nbDecision=617000 #constraints=2852
908.90/909.25	c nbDecision=617500 #constraints=2853
909.60/909.98	c nbDecision=618000 #constraints=2854
910.29/910.70	c nbDecision=618500 #constraints=2854
911.09/911.44	c nbDecision=619000 #constraints=2855
911.79/912.16	c nbDecision=619500 #constraints=2855
912.49/912.90	c nbDecision=620000 #constraints=2856
913.29/913.64	c nbDecision=620500 #constraints=2857
913.99/914.37	c nbDecision=621000 #constraints=2857
914.80/915.10	c nbDecision=621500 #constraints=2858
915.49/915.83	c nbDecision=622000 #constraints=2858
916.19/916.57	c nbDecision=622500 #constraints=2859
916.89/917.29	c nbDecision=623000 #constraints=2859
917.69/918.03	c nbDecision=623500 #constraints=2860
918.39/918.77	c nbDecision=624000 #constraints=2861
919.09/919.50	c nbDecision=624500 #constraints=2861
919.89/920.24	c nbDecision=625000 #constraints=2862
920.59/920.96	c nbDecision=625500 #constraints=2862
921.40/921.71	c nbDecision=626000 #constraints=2863
922.09/922.43	c nbDecision=626500 #constraints=2864
922.79/923.15	c nbDecision=627000 #constraints=2864
923.49/923.89	c nbDecision=627500 #constraints=2865
924.29/924.60	c nbDecision=628000 #constraints=2865
924.99/925.34	c nbDecision=628500 #constraints=2866
925.69/926.06	c nbDecision=629000 #constraints=2866
926.39/926.79	c nbDecision=629500 #constraints=2867
927.19/927.52	c nbDecision=630000 #constraints=2868
927.89/928.24	c nbDecision=630500 #constraints=2868
928.59/928.97	c nbDecision=631000 #constraints=2869
929.29/929.69	c nbDecision=631500 #constraints=2869
930.09/930.42	c nbDecision=632000 #constraints=2870
930.79/931.12	c nbDecision=632500 #constraints=2870
931.49/931.86	c nbDecision=633000 #constraints=2871
932.19/932.60	c nbDecision=633500 #constraints=2872
932.99/933.32	c nbDecision=634000 #constraints=2872
933.69/934.06	c nbDecision=634500 #constraints=2873
934.39/934.78	c nbDecision=635000 #constraints=2873
935.19/935.52	c nbDecision=635500 #constraints=2874
935.89/936.24	c nbDecision=636000 #constraints=2874
936.59/936.99	c nbDecision=636500 #constraints=2875
937.39/937.71	c nbDecision=637000 #constraints=2876
938.09/938.44	c nbDecision=637500 #constraints=2876
938.79/939.18	c nbDecision=638000 #constraints=2877
939.59/939.91	c nbDecision=638500 #constraints=2877
940.29/940.65	c nbDecision=639000 #constraints=2878
940.99/941.37	c nbDecision=639500 #constraints=2878
941.79/942.11	c nbDecision=640000 #constraints=2879
942.48/942.82	c nbDecision=640500 #constraints=2879
943.19/943.56	c nbDecision=641000 #constraints=2880
943.88/944.30	c nbDecision=641500 #constraints=2881
944.68/945.01	c nbDecision=642000 #constraints=2881
945.38/945.75	c nbDecision=642500 #constraints=2882
946.08/946.47	c nbDecision=643000 #constraints=2882
946.88/947.20	c nbDecision=643500 #constraints=2883
947.58/947.92	c nbDecision=644000 #constraints=2883
948.28/948.65	c nbDecision=644500 #constraints=2884
948.99/949.37	c nbDecision=645000 #constraints=2884
949.78/950.11	c nbDecision=645500 #constraints=2885
950.48/950.84	c nbDecision=646000 #constraints=2886
951.19/951.56	c nbDecision=646500 #constraints=2886
951.88/952.30	c nbDecision=647000 #constraints=2887
952.68/953.02	c nbDecision=647500 #constraints=2887
953.38/953.76	c nbDecision=648000 #constraints=2888
954.08/954.48	c nbDecision=648500 #constraints=2888
954.88/955.23	c nbDecision=649000 #constraints=2889
955.58/955.97	c nbDecision=649500 #constraints=2890
956.28/956.70	c nbDecision=650000 #constraints=2890
957.08/957.44	c nbDecision=650500 #constraints=2891
957.78/958.16	c nbDecision=651000 #constraints=2891
958.58/958.90	c nbDecision=651500 #constraints=2892
959.28/959.63	c nbDecision=652000 #constraints=2892
959.98/960.37	c nbDecision=652500 #constraints=2893
960.68/961.08	c nbDecision=653000 #constraints=2893
961.48/961.82	c nbDecision=653500 #constraints=2894
962.18/962.55	c nbDecision=654000 #constraints=2895
962.88/963.27	c nbDecision=654500 #constraints=2895
963.68/964.00	c nbDecision=655000 #constraints=2896
964.38/964.72	c nbDecision=655500 #constraints=2896
965.08/965.45	c nbDecision=656000 #constraints=2897
965.78/966.17	c nbDecision=656500 #constraints=2897
966.58/966.91	c nbDecision=657000 #constraints=2898
967.27/967.62	c nbDecision=657500 #constraints=2898
967.97/968.36	c nbDecision=658000 #constraints=2899
968.68/969.08	c nbDecision=658500 #constraints=2900
969.47/969.80	c nbDecision=659000 #constraints=2900
970.17/970.53	c nbDecision=659500 #constraints=2901
970.88/971.25	c nbDecision=660000 #constraints=2901
971.57/971.99	c nbDecision=660500 #constraints=2902
972.37/972.71	c nbDecision=661000 #constraints=2902
973.08/973.45	c nbDecision=661500 #constraints=2903
973.77/974.18	c nbDecision=662000 #constraints=2903
974.57/974.92	c nbDecision=662500 #constraints=2904
975.27/975.66	c nbDecision=663000 #constraints=2905
975.97/976.39	c nbDecision=663500 #constraints=2905
976.77/977.13	c nbDecision=664000 #constraints=2906
977.48/977.85	c nbDecision=664500 #constraints=2906
978.17/978.59	c nbDecision=665000 #constraints=2907
978.97/979.31	c nbDecision=665500 #constraints=2907
979.67/980.06	c nbDecision=666000 #constraints=2908
980.37/980.78	c nbDecision=666500 #constraints=2908
981.17/981.52	c nbDecision=667000 #constraints=2909
981.87/982.23	c nbDecision=667500 #constraints=2909
982.57/982.97	c nbDecision=668000 #constraints=2910
983.27/983.68	c nbDecision=668500 #constraints=2910
984.07/984.42	c nbDecision=669000 #constraints=2911
984.77/985.15	c nbDecision=669500 #constraints=2912
985.47/985.87	c nbDecision=670000 #constraints=2912
986.27/986.61	c nbDecision=670500 #constraints=2913
986.97/987.33	c nbDecision=671000 #constraints=2913
987.67/988.06	c nbDecision=671500 #constraints=2914
988.37/988.78	c nbDecision=672000 #constraints=2914
989.16/989.51	c nbDecision=672500 #constraints=2915
989.86/990.23	c nbDecision=673000 #constraints=2915
990.56/990.97	c nbDecision=673500 #constraints=2916
991.26/991.68	c nbDecision=674000 #constraints=2916
992.06/992.43	c nbDecision=674500 #constraints=2917
992.76/993.15	c nbDecision=675000 #constraints=2917
993.46/993.89	c nbDecision=675500 #constraints=2918
994.26/994.63	c nbDecision=676000 #constraints=2919
994.96/995.36	c nbDecision=676500 #constraints=2919
995.66/996.10	c nbDecision=677000 #constraints=2920
996.46/996.82	c nbDecision=677500 #constraints=2920
997.16/997.56	c nbDecision=678000 #constraints=2921
997.86/998.28	c nbDecision=678500 #constraints=2921
998.66/999.03	c nbDecision=679000 #constraints=2922
999.36/999.75	c nbDecision=679500 #constraints=2922
1000.06/1000.49	c nbDecision=680000 #constraints=2923
1000.86/1001.21	c nbDecision=680500 #constraints=2923
1001.56/1001.95	c nbDecision=681000 #constraints=2924
1002.26/1002.67	c nbDecision=681500 #constraints=2925
1002.97/1003.39	c nbDecision=682000 #constraints=2925
1003.77/1004.12	c nbDecision=682500 #constraints=2926
1004.47/1004.84	c nbDecision=683000 #constraints=2926
1005.17/1005.58	c nbDecision=683500 #constraints=2927
1005.87/1006.29	c nbDecision=684000 #constraints=2927
1006.67/1007.03	c nbDecision=684500 #constraints=2928
1007.37/1007.72	c nbDecision=685000 #constraints=2928
1008.07/1008.46	c nbDecision=685500 #constraints=2929
1008.77/1009.18	c nbDecision=686000 #constraints=2929
1009.57/1009.91	c nbDecision=686500 #constraints=2930
1010.26/1010.62	c nbDecision=687000 #constraints=2930
1010.96/1011.36	c nbDecision=687500 #constraints=2931
1011.77/1012.10	c nbDecision=688000 #constraints=2932
1012.46/1012.83	c nbDecision=688500 #constraints=2932
1013.16/1013.57	c nbDecision=689000 #constraints=2933
1013.87/1014.29	c nbDecision=689500 #constraints=2933
1014.66/1015.03	c nbDecision=690000 #constraints=2934
1015.36/1015.76	c nbDecision=690500 #constraints=2934
1016.16/1016.50	c nbDecision=691000 #constraints=2935
1016.86/1017.22	c nbDecision=691500 #constraints=2935
1017.56/1017.96	c nbDecision=692000 #constraints=2936
1018.26/1018.69	c nbDecision=692500 #constraints=2936
1019.06/1019.43	c nbDecision=693000 #constraints=2937
1019.76/1020.17	c nbDecision=693500 #constraints=2938
1020.56/1020.90	c nbDecision=694000 #constraints=2938
1021.26/1021.64	c nbDecision=694500 #constraints=2939
1021.96/1022.35	c nbDecision=695000 #constraints=2939
1022.66/1023.09	c nbDecision=695500 #constraints=2940
1023.46/1023.81	c nbDecision=696000 #constraints=2940
1024.16/1024.54	c nbDecision=696500 #constraints=2941
1024.86/1025.26	c nbDecision=697000 #constraints=2941
1025.56/1025.99	c nbDecision=697500 #constraints=2942
1026.36/1026.71	c nbDecision=698000 #constraints=2942
1027.06/1027.44	c nbDecision=698500 #constraints=2943
1027.76/1028.15	c nbDecision=699000 #constraints=2943
1028.46/1028.89	c nbDecision=699500 #constraints=2944
1029.26/1029.62	c nbDecision=700000 #constraints=2945
1029.96/1030.34	c nbDecision=700500 #constraints=2945
1030.66/1031.07	c nbDecision=701000 #constraints=2946
1031.36/1031.79	c nbDecision=701500 #constraints=2946
1032.16/1032.53	c nbDecision=702000 #constraints=2947
1032.86/1033.25	c nbDecision=702500 #constraints=2947
1033.56/1034.00	c nbDecision=703000 #constraints=2948
1034.36/1034.72	c nbDecision=703500 #constraints=2948
1035.06/1035.47	c nbDecision=704000 #constraints=2949
1035.76/1036.19	c nbDecision=704500 #constraints=2949
1036.56/1036.94	c nbDecision=705000 #constraints=2950
1037.26/1037.67	c nbDecision=705500 #constraints=2951
1037.96/1038.40	c nbDecision=706000 #constraints=2951
1038.75/1039.14	c nbDecision=706500 #constraints=2952
1039.45/1039.86	c nbDecision=707000 #constraints=2952
1040.26/1040.60	c nbDecision=707500 #constraints=2953
1040.95/1041.33	c nbDecision=708000 #constraints=2953
1041.65/1042.07	c nbDecision=708500 #constraints=2954
1042.36/1042.78	c nbDecision=709000 #constraints=2954
1043.15/1043.52	c nbDecision=709500 #constraints=2955
1043.85/1044.23	c nbDecision=710000 #constraints=2955
1044.56/1044.97	c nbDecision=710500 #constraints=2956
1045.25/1045.69	c nbDecision=711000 #constraints=2956
1046.05/1046.42	c nbDecision=711500 #constraints=2957
1046.75/1047.15	c nbDecision=712000 #constraints=2958
1047.45/1047.87	c nbDecision=712500 #constraints=2958
1048.25/1048.61	c nbDecision=713000 #constraints=2959
1048.95/1049.33	c nbDecision=713500 #constraints=2959
1049.65/1050.06	c nbDecision=714000 #constraints=2960
1050.35/1050.78	c nbDecision=714500 #constraints=2960
1051.15/1051.51	c nbDecision=715000 #constraints=2961
1051.85/1052.24	c nbDecision=715500 #constraints=2961
1052.55/1052.98	c nbDecision=716000 #constraints=2962
1053.25/1053.69	c nbDecision=716500 #constraints=2962
1054.05/1054.44	c nbDecision=717000 #constraints=2963
1054.75/1055.16	c nbDecision=717500 #constraints=2963
1055.45/1055.90	c nbDecision=718000 #constraints=2964
1056.25/1056.64	c nbDecision=718500 #constraints=2965
1056.95/1057.36	c nbDecision=719000 #constraints=2965
1057.65/1058.10	c nbDecision=719500 #constraints=2966
1058.45/1058.82	c nbDecision=720000 #constraints=2966
1059.15/1059.57	c nbDecision=720500 #constraints=2967
1059.85/1060.29	c nbDecision=721000 #constraints=2967
1060.65/1061.04	c nbDecision=721500 #constraints=2968
1061.34/1061.76	c nbDecision=722000 #constraints=2968
1062.04/1062.49	c nbDecision=722500 #constraints=2969
1062.74/1063.19	c nbDecision=723000 #constraints=2969
1063.54/1063.92	c nbDecision=723500 #constraints=2970
1064.24/1064.64	c nbDecision=724000 #constraints=2970
1064.94/1065.38	c nbDecision=724500 #constraints=2971
1065.64/1066.09	c nbDecision=725000 #constraints=2971
1066.44/1066.83	c nbDecision=725500 #constraints=2972
1067.14/1067.56	c nbDecision=726000 #constraints=2973
1067.84/1068.26	c nbDecision=726500 #constraints=2973
1068.54/1068.99	c nbDecision=727000 #constraints=2974
1069.34/1069.71	c nbDecision=727500 #constraints=2974
1070.04/1070.44	c nbDecision=728000 #constraints=2975
1070.74/1071.16	c nbDecision=728500 #constraints=2975
1071.54/1071.90	c nbDecision=729000 #constraints=2976
1072.24/1072.61	c nbDecision=729500 #constraints=2976
1072.94/1073.35	c nbDecision=730000 #constraints=2977
1073.64/1074.08	c nbDecision=730500 #constraints=2977
1074.44/1074.82	c nbDecision=731000 #constraints=2978
1075.14/1075.54	c nbDecision=731500 #constraints=2978
1075.84/1076.28	c nbDecision=732000 #constraints=2979
1076.64/1077.01	c nbDecision=732500 #constraints=2979
1077.34/1077.75	c nbDecision=733000 #constraints=2980
1078.04/1078.47	c nbDecision=733500 #constraints=2980
1078.84/1079.22	c nbDecision=734000 #constraints=2981
1079.54/1079.96	c nbDecision=734500 #constraints=2982
1080.24/1080.67	c nbDecision=735000 #constraints=2982
1081.04/1081.41	c nbDecision=735500 #constraints=2983
1081.74/1082.13	c nbDecision=736000 #constraints=2983
1082.44/1082.86	c nbDecision=736500 #constraints=2984
1083.15/1083.58	c nbDecision=737000 #constraints=2984
1083.94/1084.31	c nbDecision=737500 #constraints=2985
1084.64/1085.03	c nbDecision=738000 #constraints=2985
1085.35/1085.77	c nbDecision=738500 #constraints=2986
1086.04/1086.48	c nbDecision=739000 #constraints=2986
1086.84/1087.22	c nbDecision=739500 #constraints=2987
1087.55/1087.93	c nbDecision=740000 #constraints=2987
1088.24/1088.67	c nbDecision=740500 #constraints=2988
1088.94/1089.39	c nbDecision=741000 #constraints=2988
1089.75/1090.13	c nbDecision=741500 #constraints=2989
1090.44/1090.86	c nbDecision=742000 #constraints=2990
1091.14/1091.58	c nbDecision=742500 #constraints=2990
1091.95/1092.32	c nbDecision=743000 #constraints=2991
1092.64/1093.03	c nbDecision=743500 #constraints=2991
1093.34/1093.78	c nbDecision=744000 #constraints=2992
1094.04/1094.50	c nbDecision=744500 #constraints=2992
1094.84/1095.24	c nbDecision=745000 #constraints=2993
1095.54/1095.97	c nbDecision=745500 #constraints=2993
1096.34/1096.71	c nbDecision=746000 #constraints=2994
1097.04/1097.42	c nbDecision=746500 #constraints=2994
1097.74/1098.16	c nbDecision=747000 #constraints=2995
1098.44/1098.89	c nbDecision=747500 #constraints=2995
1099.24/1099.63	c nbDecision=748000 #constraints=2996
1099.94/1100.35	c nbDecision=748500 #constraints=2996
1100.64/1101.09	c nbDecision=749000 #constraints=2997
1101.44/1101.82	c nbDecision=749500 #constraints=2997
1102.14/1102.54	c nbDecision=750000 #constraints=2998
1102.84/1103.26	c nbDecision=750500 #constraints=2998
1103.54/1103.99	c nbDecision=751000 #constraints=2999
1104.34/1104.71	c nbDecision=751500 #constraints=2999
1105.04/1105.42	c nbDecision=752000 #constraints=2999
1105.74/1106.16	c nbDecision=752500 #constraints=3000
1106.43/1106.86	c nbDecision=753000 #constraints=3000
1107.13/1107.59	c nbDecision=753500 #constraints=3001
1107.93/1108.30	c nbDecision=754000 #constraints=3001
1108.63/1109.04	c nbDecision=754500 #constraints=3002
1109.33/1109.75	c nbDecision=755000 #constraints=3002
1110.03/1110.49	c nbDecision=755500 #constraints=3003
1110.83/1111.21	c nbDecision=756000 #constraints=3003
1111.53/1111.95	c nbDecision=756500 #constraints=3004
1112.23/1112.66	c nbDecision=757000 #constraints=3004
1113.03/1113.40	c nbDecision=757500 #constraints=3005
1113.73/1114.12	c nbDecision=758000 #constraints=3005
1114.43/1114.86	c nbDecision=758500 #constraints=3006
1115.13/1115.59	c nbDecision=759000 #constraints=3006
1115.93/1116.33	c nbDecision=759500 #constraints=3007
1116.63/1117.04	c nbDecision=760000 #constraints=3007
1117.33/1117.78	c nbDecision=760500 #constraints=3008
1118.13/1118.50	c nbDecision=761000 #constraints=3008
1118.83/1119.24	c nbDecision=761500 #constraints=3009
1119.53/1119.97	c nbDecision=762000 #constraints=3009
1120.23/1120.69	c nbDecision=762500 #constraints=3009
1121.03/1121.44	c nbDecision=763000 #constraints=3010
1121.73/1122.15	c nbDecision=763500 #constraints=3010
1122.43/1122.89	c nbDecision=764000 #constraints=3011
1123.23/1123.60	c nbDecision=764500 #constraints=3011
1123.93/1124.34	c nbDecision=765000 #constraints=3012
1124.63/1125.04	c nbDecision=765500 #constraints=3012
1125.33/1125.77	c nbDecision=766000 #constraints=3013
1126.03/1126.47	c nbDecision=766500 #constraints=3013
1126.82/1127.20	c nbDecision=767000 #constraints=3014
1127.52/1127.92	c nbDecision=767500 #constraints=3014
1128.23/1128.65	c nbDecision=768000 #constraints=3015
1128.92/1129.37	c nbDecision=768500 #constraints=3015
1129.62/1130.08	c nbDecision=769000 #constraints=3015
1130.43/1130.82	c nbDecision=769500 #constraints=3016
1131.12/1131.53	c nbDecision=770000 #constraints=3016
1131.82/1132.27	c nbDecision=770500 #constraints=3017
1132.53/1132.99	c nbDecision=771000 #constraints=3017
1133.32/1133.74	c nbDecision=771500 #constraints=3018
1134.02/1134.46	c nbDecision=772000 #constraints=3018
1134.82/1135.20	c nbDecision=772500 #constraints=3019
1135.52/1135.90	c nbDecision=773000 #constraints=3019
1136.22/1136.65	c nbDecision=773500 #constraints=3020
1136.92/1137.36	c nbDecision=774000 #constraints=3020
1137.72/1138.10	c nbDecision=774500 #constraints=3021
1138.42/1138.83	c nbDecision=775000 #constraints=3021
1139.12/1139.55	c nbDecision=775500 #constraints=3021
1139.82/1140.29	c nbDecision=776000 #constraints=3022
1140.62/1141.01	c nbDecision=776500 #constraints=3022
1141.32/1141.75	c nbDecision=777000 #constraints=3023
1142.02/1142.47	c nbDecision=777500 #constraints=3023
1142.82/1143.20	c nbDecision=778000 #constraints=3024
1143.52/1143.92	c nbDecision=778500 #constraints=3024
1144.22/1144.65	c nbDecision=779000 #constraints=3025
1144.92/1145.37	c nbDecision=779500 #constraints=3025
1145.62/1146.08	c nbDecision=780000 #constraints=3025
1146.42/1146.82	c nbDecision=780500 #constraints=3026
1147.11/1147.52	c nbDecision=781000 #constraints=3026
1147.81/1148.25	c nbDecision=781500 #constraints=3027
1148.51/1148.96	c nbDecision=782000 #constraints=3027
1149.21/1149.69	c nbDecision=782500 #constraints=3028
1150.01/1150.41	c nbDecision=783000 #constraints=3028
1150.71/1151.13	c nbDecision=783500 #constraints=3028
1151.41/1151.87	c nbDecision=784000 #constraints=3029
1152.11/1152.58	c nbDecision=784500 #constraints=3029
1152.91/1153.32	c nbDecision=785000 #constraints=3030
1153.61/1154.04	c nbDecision=785500 #constraints=3030
1154.31/1154.76	c nbDecision=786000 #constraints=3030
1155.11/1155.51	c nbDecision=786500 #constraints=3031
1155.81/1156.23	c nbDecision=787000 #constraints=3031
1156.51/1156.97	c nbDecision=787500 #constraints=3032
1157.21/1157.67	c nbDecision=788000 #constraints=3032
1158.01/1158.41	c nbDecision=788500 #constraints=3033
1158.71/1159.13	c nbDecision=789000 #constraints=3033
1159.41/1159.85	c nbDecision=789500 #constraints=3033
1160.11/1160.59	c nbDecision=790000 #constraints=3034
1160.91/1161.32	c nbDecision=790500 #constraints=3034
1161.61/1162.05	c nbDecision=791000 #constraints=3035
1162.31/1162.77	c nbDecision=791500 #constraints=3035
1163.01/1163.48	c nbDecision=792000 #constraints=3035
1163.81/1164.22	c nbDecision=792500 #constraints=3036
1164.51/1164.93	c nbDecision=793000 #constraints=3036
1165.21/1165.66	c nbDecision=793500 #constraints=3037
1165.91/1166.38	c nbDecision=794000 #constraints=3037
1166.71/1167.11	c nbDecision=794500 #constraints=3038
1167.41/1167.83	c nbDecision=795000 #constraints=3038
1168.11/1168.54	c nbDecision=795500 #constraints=3038
1168.81/1169.28	c nbDecision=796000 #constraints=3039
1169.51/1169.99	c nbDecision=796500 #constraints=3039
1170.31/1170.72	c nbDecision=797000 #constraints=3040
1171.01/1171.44	c nbDecision=797500 #constraints=3040
1171.70/1172.16	c nbDecision=798000 #constraints=3040
1172.40/1172.89	c nbDecision=798500 #constraints=3041
1173.21/1173.61	c nbDecision=799000 #constraints=3041
1173.90/1174.35	c nbDecision=799500 #constraints=3042
1174.60/1175.07	c nbDecision=800000 #constraints=3042
1175.41/1175.81	c nbDecision=800500 #constraints=3043
1176.10/1176.54	c nbDecision=801000 #constraints=3043
1176.80/1177.25	c nbDecision=801500 #constraints=3043
1177.50/1177.99	c nbDecision=802000 #constraints=3044
1178.30/1178.71	c nbDecision=802500 #constraints=3044
1179.00/1179.45	c nbDecision=803000 #constraints=3045
1179.70/1180.18	c nbDecision=803500 #constraints=3045
1180.50/1180.91	c nbDecision=804000 #constraints=3046
1181.20/1181.63	c nbDecision=804500 #constraints=3046
1181.90/1182.33	c nbDecision=805000 #constraints=3046
1182.60/1183.07	c nbDecision=805500 #constraints=3047
1183.31/1183.77	c nbDecision=806000 #constraints=3047
1184.11/1184.50	c nbDecision=806500 #constraints=3048
1184.81/1185.22	c nbDecision=807000 #constraints=3048
1185.50/1185.93	c nbDecision=807500 #constraints=3048
1186.20/1186.67	c nbDecision=808000 #constraints=3049
1186.90/1187.38	c nbDecision=808500 #constraints=3049
1187.70/1188.12	c nbDecision=809000 #constraints=3050
1188.40/1188.83	c nbDecision=809500 #constraints=3050
1189.10/1189.56	c nbDecision=810000 #constraints=3051
1189.81/1190.28	c nbDecision=810500 #constraints=3051
1190.50/1190.99	c nbDecision=811000 #constraints=3051
1191.30/1191.73	c nbDecision=811500 #constraints=3052
1192.00/1192.44	c nbDecision=812000 #constraints=3052
1192.70/1193.18	c nbDecision=812500 #constraints=3053
1193.50/1193.90	c nbDecision=813000 #constraints=3053
1194.20/1194.62	c nbDecision=813500 #constraints=3053
1194.90/1195.36	c nbDecision=814000 #constraints=3054
1195.60/1196.08	c nbDecision=814500 #constraints=3054
1196.40/1196.82	c nbDecision=815000 #constraints=3055
1197.10/1197.52	c nbDecision=815500 #constraints=3055
1197.80/1198.26	c nbDecision=816000 #constraints=3056
1198.50/1198.98	c nbDecision=816500 #constraints=3056
1199.30/1199.70	c nbDecision=817000 #constraints=3056
1200.00/1200.43	c nbDecision=817500 #constraints=3057
1200.70/1201.14	c nbDecision=818000 #constraints=3057
1201.40/1201.87	c nbDecision=818500 #constraints=3058
1202.10/1202.58	c nbDecision=819000 #constraints=3058
1202.40/1202.86	c restart after 819201 decisions
1202.90/1203.33	c nbDecision=819500 #constraints=3058
1203.60/1204.05	c nbDecision=820000 #constraints=3058
1204.30/1204.76	c nbDecision=820500 #constraints=3058
1205.00/1205.49	c nbDecision=821000 #constraints=3059
1205.80/1206.21	c nbDecision=821500 #constraints=3059
1206.50/1206.93	c nbDecision=822000 #constraints=3060
1207.20/1207.64	c nbDecision=822500 #constraints=3060
1207.90/1208.35	c nbDecision=823000 #constraints=3060
1208.60/1209.08	c nbDecision=823500 #constraints=3061
1209.40/1209.80	c nbDecision=824000 #constraints=3061
1210.10/1210.53	c nbDecision=824500 #constraints=3062
1210.79/1211.25	c nbDecision=825000 #constraints=3062
1211.49/1211.98	c nbDecision=825500 #constraints=3063
1212.29/1212.71	c nbDecision=826000 #constraints=3063
1212.99/1213.43	c nbDecision=826500 #constraints=3063
1213.69/1214.17	c nbDecision=827000 #constraints=3064
1214.39/1214.89	c nbDecision=827500 #constraints=3064
1215.19/1215.63	c nbDecision=828000 #constraints=3065
1215.89/1216.35	c nbDecision=828500 #constraints=3065
1216.59/1217.07	c nbDecision=829000 #constraints=3065
1217.39/1217.81	c nbDecision=829500 #constraints=3066
1218.09/1218.53	c nbDecision=830000 #constraints=3066
1218.79/1219.27	c nbDecision=830500 #constraints=3067
1219.50/1219.99	c nbDecision=831000 #constraints=3067
1220.29/1220.73	c nbDecision=831500 #constraints=3068
1220.99/1221.45	c nbDecision=832000 #constraints=3068
1221.70/1222.16	c nbDecision=832500 #constraints=3068
1222.39/1222.89	c nbDecision=833000 #constraints=3069
1223.19/1223.60	c nbDecision=833500 #constraints=3069
1223.89/1224.34	c nbDecision=834000 #constraints=3070
1224.59/1225.04	c nbDecision=834500 #constraints=3070
1225.29/1225.75	c nbDecision=835000 #constraints=3070
1225.99/1226.48	c nbDecision=835500 #constraints=3071
1226.69/1227.18	c nbDecision=836000 #constraints=3071
1227.39/1227.89	c nbDecision=836500 #constraints=3071
1228.19/1228.62	c nbDecision=837000 #constraints=3072
1228.89/1229.33	c nbDecision=837500 #constraints=3072
1229.59/1230.06	c nbDecision=838000 #constraints=3073
1230.29/1230.77	c nbDecision=838500 #constraints=3073
1230.99/1231.49	c nbDecision=839000 #constraints=3073
1231.79/1232.22	c nbDecision=839500 #constraints=3074
1232.49/1232.94	c nbDecision=840000 #constraints=3074
1233.19/1233.66	c nbDecision=840500 #constraints=3074
1233.99/1234.40	c nbDecision=841000 #constraints=3075
1234.69/1235.11	c nbDecision=841500 #constraints=3075
1235.39/1235.83	c nbDecision=842000 #constraints=3075
1236.09/1236.56	c nbDecision=842500 #constraints=3076
1236.79/1237.28	c nbDecision=843000 #constraints=3076
1237.49/1238.00	c nbDecision=843500 #constraints=3076
1238.29/1238.74	c nbDecision=844000 #constraints=3077
1238.99/1239.46	c nbDecision=844500 #constraints=3077
1239.69/1240.19	c nbDecision=845000 #constraints=3078
1240.49/1240.92	c nbDecision=845500 #constraints=3078
1241.19/1241.62	c nbDecision=846000 #constraints=3078
1241.89/1242.35	c nbDecision=846500 #constraints=3079
1242.59/1243.05	c nbDecision=847000 #constraints=3079
1243.29/1243.76	c nbDecision=847500 #constraints=3079
1243.98/1244.49	c nbDecision=848000 #constraints=3080
1244.79/1245.20	c nbDecision=848500 #constraints=3080
1245.48/1245.92	c nbDecision=849000 #constraints=3080
1246.18/1246.65	c nbDecision=849500 #constraints=3081
1246.89/1247.36	c nbDecision=850000 #constraints=3081
1247.58/1248.07	c nbDecision=850500 #constraints=3081
1248.38/1248.80	c nbDecision=851000 #constraints=3082
1249.09/1249.51	c nbDecision=851500 #constraints=3082
1249.78/1250.24	c nbDecision=852000 #constraints=3083
1250.49/1250.96	c nbDecision=852500 #constraints=3083
1251.19/1251.67	c nbDecision=853000 #constraints=3083
1251.99/1252.40	c nbDecision=853500 #constraints=3084
1252.69/1253.12	c nbDecision=854000 #constraints=3084
1253.39/1253.84	c nbDecision=854500 #constraints=3084
1254.09/1254.58	c nbDecision=855000 #constraints=3085
1254.89/1255.30	c nbDecision=855500 #constraints=3085
1255.59/1256.02	c nbDecision=856000 #constraints=3085
1256.29/1256.76	c nbDecision=856500 #constraints=3086
1256.99/1257.47	c nbDecision=857000 #constraints=3086
1257.69/1258.19	c nbDecision=857500 #constraints=3086
1258.49/1258.93	c nbDecision=858000 #constraints=3087
1259.19/1259.65	c nbDecision=858500 #constraints=3087
1259.89/1260.38	c nbDecision=859000 #constraints=3088
1260.69/1261.10	c nbDecision=859500 #constraints=3088
1261.39/1261.81	c nbDecision=860000 #constraints=3088
1262.09/1262.54	c nbDecision=860500 #constraints=3089
1262.79/1263.25	c nbDecision=861000 #constraints=3089
1263.49/1263.97	c nbDecision=861500 #constraints=3089
1264.19/1264.69	c nbDecision=862000 #constraints=3090
1264.89/1265.39	c nbDecision=862500 #constraints=3090
1265.69/1266.11	c nbDecision=863000 #constraints=3090
1266.38/1266.84	c nbDecision=863500 #constraints=3091
1267.08/1267.55	c nbDecision=864000 #constraints=3091
1267.79/1268.26	c nbDecision=864500 #constraints=3091
1268.48/1268.98	c nbDecision=865000 #constraints=3092
1269.18/1269.69	c nbDecision=865500 #constraints=3092
1269.99/1270.42	c nbDecision=866000 #constraints=3093
1270.68/1271.13	c nbDecision=866500 #constraints=3093
1271.38/1271.84	c nbDecision=867000 #constraints=3093
1272.08/1272.57	c nbDecision=867500 #constraints=3094
1272.78/1273.30	c nbDecision=868000 #constraints=3094
1273.58/1274.01	c nbDecision=868500 #constraints=3094
1274.28/1274.75	c nbDecision=869000 #constraints=3095
1274.98/1275.47	c nbDecision=869500 #constraints=3095
1275.68/1276.19	c nbDecision=870000 #constraints=3095
1276.48/1276.93	c nbDecision=870500 #constraints=3096
1277.18/1277.63	c nbDecision=871000 #constraints=3096
1277.88/1278.33	c nbDecision=871500 #constraints=3096
1278.58/1279.07	c nbDecision=872000 #constraints=3097
1279.28/1279.79	c nbDecision=872500 #constraints=3097
1280.08/1280.53	c nbDecision=873000 #constraints=3098
1280.78/1281.25	c nbDecision=873500 #constraints=3098
1281.48/1281.97	c nbDecision=874000 #constraints=3098
1282.18/1282.68	c nbDecision=874500 #constraints=3099
1282.98/1283.40	c nbDecision=875000 #constraints=3099
1283.68/1284.11	c nbDecision=875500 #constraints=3099
1284.38/1284.84	c nbDecision=876000 #constraints=3100
1285.08/1285.55	c nbDecision=876500 #constraints=3100
1285.78/1286.26	c nbDecision=877000 #constraints=3100
1286.48/1286.99	c nbDecision=877500 #constraints=3101
1287.18/1287.68	c nbDecision=878000 #constraints=3101
1287.87/1288.39	c nbDecision=878500 #constraints=3101
1288.68/1289.13	c nbDecision=879000 #constraints=3102
1289.37/1289.84	c nbDecision=879500 #constraints=3102
1290.07/1290.57	c nbDecision=880000 #constraints=3103
1290.77/1291.28	c nbDecision=880500 #constraints=3103
1291.57/1292.00	c nbDecision=881000 #constraints=3103
1292.27/1292.73	c nbDecision=881500 #constraints=3104
1292.97/1293.45	c nbDecision=882000 #constraints=3104
1293.67/1294.17	c nbDecision=882500 #constraints=3104
1294.47/1294.91	c nbDecision=883000 #constraints=3105
1295.17/1295.63	c nbDecision=883500 #constraints=3105
1295.87/1296.35	c nbDecision=884000 #constraints=3105
1296.57/1297.09	c nbDecision=884500 #constraints=3106
1297.37/1297.80	c nbDecision=885000 #constraints=3106
1298.07/1298.52	c nbDecision=885500 #constraints=3106
1298.77/1299.26	c nbDecision=886000 #constraints=3107
1299.47/1299.98	c nbDecision=886500 #constraints=3107
1300.27/1300.72	c nbDecision=887000 #constraints=3108
1300.97/1301.44	c nbDecision=887500 #constraints=3108
1301.67/1302.15	c nbDecision=888000 #constraints=3108
1302.37/1302.87	c nbDecision=888500 #constraints=3109
1303.07/1303.58	c nbDecision=889000 #constraints=3109
1303.77/1304.30	c nbDecision=889500 #constraints=3109
1304.57/1305.01	c nbDecision=890000 #constraints=3110
1305.27/1305.73	c nbDecision=890500 #constraints=3110
1305.97/1306.44	c nbDecision=891000 #constraints=3110
1306.67/1307.17	c nbDecision=891500 #constraints=3111
1307.37/1307.88	c nbDecision=892000 #constraints=3111
1308.07/1308.59	c nbDecision=892500 #constraints=3111
1308.87/1309.32	c nbDecision=893000 #constraints=3112
1309.57/1310.01	c nbDecision=893500 #constraints=3112
1310.27/1310.71	c nbDecision=894000 #constraints=3112
1310.97/1311.45	c nbDecision=894500 #constraints=3113
1311.67/1312.16	c nbDecision=895000 #constraints=3113
1312.37/1312.90	c nbDecision=895500 #constraints=3114
1313.17/1313.62	c nbDecision=896000 #constraints=3114
1313.87/1314.34	c nbDecision=896500 #constraints=3114
1314.57/1315.07	c nbDecision=897000 #constraints=3115
1315.27/1315.77	c nbDecision=897500 #constraints=3115
1315.96/1316.49	c nbDecision=898000 #constraints=3115
1316.76/1317.23	c nbDecision=898500 #constraints=3116
1317.46/1317.95	c nbDecision=899000 #constraints=3116
1318.16/1318.67	c nbDecision=899500 #constraints=3116
1318.96/1319.41	c nbDecision=900000 #constraints=3117
1319.66/1320.11	c nbDecision=900500 #constraints=3117
1320.36/1320.82	c nbDecision=901000 #constraints=3117
1321.06/1321.56	c nbDecision=901500 #constraints=3118
1321.78/1322.26	c nbDecision=902000 #constraints=3118
1322.47/1322.97	c nbDecision=902500 #constraints=3118
1323.27/1323.70	c nbDecision=903000 #constraints=3119
1323.98/1324.42	c nbDecision=903500 #constraints=3119
1324.67/1325.14	c nbDecision=904000 #constraints=3120
1325.37/1325.86	c nbDecision=904500 #constraints=3120
1326.08/1326.57	c nbDecision=905000 #constraints=3120
1326.87/1327.30	c nbDecision=905500 #constraints=3121
1327.57/1328.02	c nbDecision=906000 #constraints=3121
1328.28/1328.73	c nbDecision=906500 #constraints=3121
1328.97/1329.46	c nbDecision=907000 #constraints=3122
1329.67/1330.17	c nbDecision=907500 #constraints=3122
1330.37/1330.89	c nbDecision=908000 #constraints=3122
1331.17/1331.62	c nbDecision=908500 #constraints=3123
1331.87/1332.33	c nbDecision=909000 #constraints=3123
1332.57/1333.05	c nbDecision=909500 #constraints=3123
1333.27/1333.79	c nbDecision=910000 #constraints=3124
1334.07/1334.51	c nbDecision=910500 #constraints=3124
1334.77/1335.23	c nbDecision=911000 #constraints=3124
1335.47/1335.97	c nbDecision=911500 #constraints=3125
1336.17/1336.69	c nbDecision=912000 #constraints=3125
1336.97/1337.41	c nbDecision=912500 #constraints=3126
1337.67/1338.14	c nbDecision=913000 #constraints=3126
1338.37/1338.86	c nbDecision=913500 #constraints=3126
1339.07/1339.59	c nbDecision=914000 #constraints=3127
1339.87/1340.31	c nbDecision=914500 #constraints=3127
1340.57/1341.03	c nbDecision=915000 #constraints=3127
1341.27/1341.76	c nbDecision=915500 #constraints=3128
1341.97/1342.47	c nbDecision=916000 #constraints=3128
1342.67/1343.17	c nbDecision=916500 #constraints=3128
1343.37/1343.89	c nbDecision=917000 #constraints=3129
1344.17/1344.61	c nbDecision=917500 #constraints=3129
1344.87/1345.32	c nbDecision=918000 #constraints=3129
1345.57/1346.05	c nbDecision=918500 #constraints=3130
1346.26/1346.76	c nbDecision=919000 #constraints=3130
1346.97/1347.46	c nbDecision=919500 #constraints=3130
1347.66/1348.20	c nbDecision=920000 #constraints=3131
1348.46/1348.90	c nbDecision=920500 #constraints=3131
1349.17/1349.62	c nbDecision=921000 #constraints=3132
1349.86/1350.34	c nbDecision=921500 #constraints=3132
1350.56/1351.06	c nbDecision=922000 #constraints=3132
1351.26/1351.78	c nbDecision=922500 #constraints=3133
1352.06/1352.50	c nbDecision=923000 #constraints=3133
1352.76/1353.22	c nbDecision=923500 #constraints=3133
1353.46/1353.95	c nbDecision=924000 #constraints=3134
1354.16/1354.67	c nbDecision=924500 #constraints=3134
1354.86/1355.39	c nbDecision=925000 #constraints=3134
1355.66/1356.13	c nbDecision=925500 #constraints=3135
1356.36/1356.85	c nbDecision=926000 #constraints=3135
1357.06/1357.56	c nbDecision=926500 #constraints=3135
1357.76/1358.29	c nbDecision=927000 #constraints=3136
1358.56/1359.00	c nbDecision=927500 #constraints=3136
1359.26/1359.72	c nbDecision=928000 #constraints=3136
1359.96/1360.47	c nbDecision=928500 #constraints=3137
1360.66/1361.19	c nbDecision=929000 #constraints=3137
1361.46/1361.91	c nbDecision=929500 #constraints=3138
1362.16/1362.62	c nbDecision=930000 #constraints=3138
1362.86/1363.33	c nbDecision=930500 #constraints=3138
1363.56/1364.06	c nbDecision=931000 #constraints=3139
1364.26/1364.78	c nbDecision=931500 #constraints=3139
1364.96/1365.49	c nbDecision=932000 #constraints=3139
1365.76/1366.22	c nbDecision=932500 #constraints=3140
1366.46/1366.92	c nbDecision=933000 #constraints=3140
1367.16/1367.63	c nbDecision=933500 #constraints=3140
1367.86/1368.36	c nbDecision=934000 #constraints=3141
1368.56/1369.08	c nbDecision=934500 #constraints=3141
1369.26/1369.78	c nbDecision=935000 #constraints=3141
1369.95/1370.50	c nbDecision=935500 #constraints=3142
1370.76/1371.22	c nbDecision=936000 #constraints=3142
1371.45/1371.93	c nbDecision=936500 #constraints=3142
1372.15/1372.66	c nbDecision=937000 #constraints=3143
1372.85/1373.38	c nbDecision=937500 #constraints=3143
1373.65/1374.12	c nbDecision=938000 #constraints=3144
1374.35/1374.84	c nbDecision=938500 #constraints=3144
1375.05/1375.56	c nbDecision=939000 #constraints=3144
1375.85/1376.30	c nbDecision=939500 #constraints=3145
1376.55/1377.02	c nbDecision=940000 #constraints=3145
1377.25/1377.72	c nbDecision=940500 #constraints=3145
1377.95/1378.46	c nbDecision=941000 #constraints=3146
1378.65/1379.18	c nbDecision=941500 #constraints=3146
1379.45/1379.90	c nbDecision=942000 #constraints=3146
1380.15/1380.64	c nbDecision=942500 #constraints=3147
1380.85/1381.34	c nbDecision=943000 #constraints=3147
1381.55/1382.06	c nbDecision=943500 #constraints=3147
1382.25/1382.78	c nbDecision=944000 #constraints=3148
1383.05/1383.50	c nbDecision=944500 #constraints=3148
1383.75/1384.21	c nbDecision=945000 #constraints=3148
1384.45/1384.94	c nbDecision=945500 #constraints=3149
1385.15/1385.66	c nbDecision=946000 #constraints=3149
1385.85/1386.37	c nbDecision=946500 #constraints=3149
1388.24/1388.73	c nbDecision=947000 #constraints=3252
1389.04/1389.54	c nbDecision=947500 #constraints=3257
1389.85/1390.33	c nbDecision=948000 #constraints=3261
1390.64/1391.12	c nbDecision=948500 #constraints=3265
1391.44/1391.92	c nbDecision=949000 #constraints=3269
1392.24/1392.72	c nbDecision=949500 #constraints=3273
1393.04/1393.52	c nbDecision=950000 #constraints=3277
1393.84/1394.33	c nbDecision=950500 #constraints=3282
1394.65/1395.13	c nbDecision=951000 #constraints=3286
1395.45/1395.94	c nbDecision=951500 #constraints=3290
1396.25/1396.74	c nbDecision=952000 #constraints=3294
1397.05/1397.54	c nbDecision=952500 #constraints=3298
1397.85/1398.33	c nbDecision=953000 #constraints=3302
1398.65/1399.15	c nbDecision=953500 #constraints=3307
1399.35/1399.88	c nbDecision=954000 #constraints=3307
1400.15/1400.63	c nbDecision=954500 #constraints=3308
1400.85/1401.36	c nbDecision=955000 #constraints=3309
1401.65/1402.10	c nbDecision=955500 #constraints=3310
1402.35/1402.84	c nbDecision=956000 #constraints=3311
1403.05/1403.57	c nbDecision=956500 #constraints=3312
1403.85/1404.31	c nbDecision=957000 #constraints=3313
1404.55/1405.05	c nbDecision=957500 #constraints=3314
1405.25/1405.78	c nbDecision=958000 #constraints=3315
1406.04/1406.52	c nbDecision=958500 #constraints=3316
1406.74/1407.25	c nbDecision=959000 #constraints=3317
1407.45/1407.99	c nbDecision=959500 #constraints=3318
1408.24/1408.72	c nbDecision=960000 #constraints=3319
1408.94/1409.46	c nbDecision=960500 #constraints=3320
1409.65/1410.20	c nbDecision=961000 #constraints=3321
1410.44/1410.94	c nbDecision=961500 #constraints=3322
1411.14/1411.68	c nbDecision=962000 #constraints=3323
1411.95/1412.41	c nbDecision=962500 #constraints=3324
1412.64/1413.16	c nbDecision=963000 #constraints=3325
1413.44/1413.90	c nbDecision=963500 #constraints=3326
1414.15/1414.65	c nbDecision=964000 #constraints=3327
1414.84/1415.39	c nbDecision=964500 #constraints=3328
1415.64/1416.13	c nbDecision=965000 #constraints=3329
1416.34/1416.88	c nbDecision=965500 #constraints=3330
1417.14/1417.62	c nbDecision=966000 #constraints=3331
1417.84/1418.36	c nbDecision=966500 #constraints=3332
1418.64/1419.11	c nbDecision=967000 #constraints=3333
1419.34/1419.85	c nbDecision=967500 #constraints=3334
1420.14/1420.60	c nbDecision=968000 #constraints=3335
1420.84/1421.34	c nbDecision=968500 #constraints=3336
1421.54/1422.08	c nbDecision=969000 #constraints=3337
1422.34/1422.82	c nbDecision=969500 #constraints=3338
1423.04/1423.56	c nbDecision=970000 #constraints=3339
1423.74/1424.30	c nbDecision=970500 #constraints=3340
1424.54/1425.02	c nbDecision=971000 #constraints=3340
1425.24/1425.75	c nbDecision=971500 #constraints=3341
1425.94/1426.49	c nbDecision=972000 #constraints=3342
1426.74/1427.23	c nbDecision=972500 #constraints=3343
1427.44/1427.96	c nbDecision=973000 #constraints=3344
1428.24/1428.70	c nbDecision=973500 #constraints=3345
1428.94/1429.44	c nbDecision=974000 #constraints=3346
1429.64/1430.18	c nbDecision=974500 #constraints=3347
1430.44/1430.91	c nbDecision=975000 #constraints=3348
1431.14/1431.65	c nbDecision=975500 #constraints=3349
1431.84/1432.39	c nbDecision=976000 #constraints=3350
1432.63/1433.13	c nbDecision=976500 #constraints=3351
1433.33/1433.88	c nbDecision=977000 #constraints=3352
1434.13/1434.62	c nbDecision=977500 #constraints=3353
1434.83/1435.37	c nbDecision=978000 #constraints=3354
1435.63/1436.11	c nbDecision=978500 #constraints=3355
1436.33/1436.86	c nbDecision=979000 #constraints=3356
1437.03/1437.60	c nbDecision=979500 #constraints=3357
1437.83/1438.35	c nbDecision=980000 #constraints=3358
1438.53/1439.09	c nbDecision=980500 #constraints=3359
1439.34/1439.83	c nbDecision=981000 #constraints=3360
1440.03/1440.58	c nbDecision=981500 #constraints=3361
1440.83/1441.32	c nbDecision=982000 #constraints=3362
1441.53/1442.04	c nbDecision=982500 #constraints=3362
1442.23/1442.78	c nbDecision=983000 #constraints=3363
1443.03/1443.52	c nbDecision=983500 #constraints=3364
1443.73/1444.25	c nbDecision=984000 #constraints=3365
1444.43/1444.99	c nbDecision=984500 #constraints=3366
1445.23/1445.73	c nbDecision=985000 #constraints=3367
1445.93/1446.47	c nbDecision=985500 #constraints=3368
1446.73/1447.20	c nbDecision=986000 #constraints=3369
1447.43/1447.94	c nbDecision=986500 #constraints=3370
1448.13/1448.68	c nbDecision=987000 #constraints=3371
1448.92/1449.41	c nbDecision=987500 #constraints=3372
1449.62/1450.15	c nbDecision=988000 #constraints=3373
1450.33/1450.87	c nbDecision=988500 #constraints=3373
1451.12/1451.61	c nbDecision=989000 #constraints=3374
1451.82/1452.34	c nbDecision=989500 #constraints=3375
1452.53/1453.09	c nbDecision=990000 #constraints=3376
1453.32/1453.83	c nbDecision=990500 #constraints=3377
1454.02/1454.58	c nbDecision=991000 #constraints=3378
1454.83/1455.32	c nbDecision=991500 #constraints=3379
1455.52/1456.06	c nbDecision=992000 #constraints=3380
1456.32/1456.81	c nbDecision=992500 #constraints=3381
1457.03/1457.54	c nbDecision=993000 #constraints=3382
1457.72/1458.29	c nbDecision=993500 #constraints=3383
1458.52/1459.03	c nbDecision=994000 #constraints=3384
1459.22/1459.76	c nbDecision=994500 #constraints=3384
1459.92/1460.49	c nbDecision=995000 #constraints=3385
1460.72/1461.23	c nbDecision=995500 #constraints=3386
1461.42/1461.98	c nbDecision=996000 #constraints=3387
1462.22/1462.71	c nbDecision=996500 #constraints=3388
1462.92/1463.45	c nbDecision=997000 #constraints=3389
1463.62/1464.19	c nbDecision=997500 #constraints=3390
1464.42/1464.92	c nbDecision=998000 #constraints=3391
1465.12/1465.66	c nbDecision=998500 #constraints=3392
1465.82/1466.38	c nbDecision=999000 #constraints=3392
1466.62/1467.11	c nbDecision=999500 #constraints=3393
1467.32/1467.85	c nbDecision=1000000 #constraints=3394
1468.03/1468.58	c nbDecision=1000500 #constraints=3395
1468.83/1469.32	c nbDecision=1001000 #constraints=3396
1469.53/1470.04	c nbDecision=1001500 #constraints=3396
1470.23/1470.78	c nbDecision=1002000 #constraints=3397
1471.02/1471.51	c nbDecision=1002500 #constraints=3398
1471.72/1472.26	c nbDecision=1003000 #constraints=3399
1472.43/1472.98	c nbDecision=1003500 #constraints=3399
1473.23/1473.73	c nbDecision=1004000 #constraints=3400
1473.92/1474.47	c nbDecision=1004500 #constraints=3401
1474.72/1475.21	c nbDecision=1005000 #constraints=3402
1475.42/1475.96	c nbDecision=1005500 #constraints=3403
1476.12/1476.68	c nbDecision=1006000 #constraints=3403
1476.92/1477.42	c nbDecision=1006500 #constraints=3404
1477.62/1478.16	c nbDecision=1007000 #constraints=3405
1478.42/1478.91	c nbDecision=1007500 #constraints=3406
1479.12/1479.63	c nbDecision=1008000 #constraints=3406
1479.82/1480.38	c nbDecision=1008500 #constraints=3407
1480.62/1481.12	c nbDecision=1009000 #constraints=3408
1481.32/1481.86	c nbDecision=1009500 #constraints=3409
1482.02/1482.59	c nbDecision=1010000 #constraints=3410
1482.82/1483.31	c nbDecision=1010500 #constraints=3410
1483.52/1484.05	c nbDecision=1011000 #constraints=3411
1484.22/1484.79	c nbDecision=1011500 #constraints=3412
1485.02/1485.52	c nbDecision=1012000 #constraints=3413
1485.72/1486.26	c nbDecision=1012500 #constraints=3414
1486.42/1486.98	c nbDecision=1013000 #constraints=3414
1487.22/1487.71	c nbDecision=1013500 #constraints=3415
1487.92/1488.44	c nbDecision=1014000 #constraints=3416
1488.62/1489.18	c nbDecision=1014500 #constraints=3417
1489.42/1489.90	c nbDecision=1015000 #constraints=3417
1490.12/1490.63	c nbDecision=1015500 #constraints=3418
1490.82/1491.37	c nbDecision=1016000 #constraints=3419
1491.62/1492.11	c nbDecision=1016500 #constraints=3420
1492.32/1492.86	c nbDecision=1017000 #constraints=3421
1493.02/1493.58	c nbDecision=1017500 #constraints=3421
1493.81/1494.33	c nbDecision=1018000 #constraints=3422
1494.51/1495.07	c nbDecision=1018500 #constraints=3423
1495.31/1495.81	c nbDecision=1019000 #constraints=3424
1496.01/1496.54	c nbDecision=1019500 #constraints=3424
1496.71/1497.28	c nbDecision=1020000 #constraints=3425
1497.51/1498.02	c nbDecision=1020500 #constraints=3426
1498.21/1498.76	c nbDecision=1021000 #constraints=3427
1498.92/1499.49	c nbDecision=1021500 #constraints=3427
1499.71/1500.23	c nbDecision=1022000 #constraints=3428
1500.41/1500.97	c nbDecision=1022500 #constraints=3429
1501.21/1501.70	c nbDecision=1023000 #constraints=3429
1501.91/1502.44	c nbDecision=1023500 #constraints=3430
1502.61/1503.17	c nbDecision=1024000 #constraints=3431
1503.41/1503.90	c nbDecision=1024500 #constraints=3432
1504.11/1504.62	c nbDecision=1025000 #constraints=3432
1504.81/1505.36	c nbDecision=1025500 #constraints=3433
1505.51/1506.09	c nbDecision=1026000 #constraints=3434
1506.31/1506.81	c nbDecision=1026500 #constraints=3434
1507.01/1507.54	c nbDecision=1027000 #constraints=3435
1507.71/1508.27	c nbDecision=1027500 #constraints=3436
1508.51/1509.00	c nbDecision=1028000 #constraints=3437
1509.21/1509.72	c nbDecision=1028500 #constraints=3437
1509.91/1510.46	c nbDecision=1029000 #constraints=3438
1510.61/1511.19	c nbDecision=1029500 #constraints=3439
1511.41/1511.91	c nbDecision=1030000 #constraints=3439
1512.11/1512.64	c nbDecision=1030500 #constraints=3440
1512.81/1513.39	c nbDecision=1031000 #constraints=3441
1513.61/1514.13	c nbDecision=1031500 #constraints=3442
1514.31/1514.85	c nbDecision=1032000 #constraints=3442
1515.11/1515.60	c nbDecision=1032500 #constraints=3443
1515.81/1516.34	c nbDecision=1033000 #constraints=3444
1516.51/1517.07	c nbDecision=1033500 #constraints=3444
1517.30/1517.81	c nbDecision=1034000 #constraints=3445
1518.00/1518.55	c nbDecision=1034500 #constraints=3446
1518.80/1519.30	c nbDecision=1035000 #constraints=3447
1519.50/1520.02	c nbDecision=1035500 #constraints=3447
1520.20/1520.77	c nbDecision=1036000 #constraints=3448
1521.00/1521.51	c nbDecision=1036500 #constraints=3449
1521.70/1522.22	c nbDecision=1037000 #constraints=3449
1522.40/1522.96	c nbDecision=1037500 #constraints=3450
1523.10/1523.69	c nbDecision=1038000 #constraints=3451
1523.90/1524.43	c nbDecision=1038500 #constraints=3452
1524.60/1525.15	c nbDecision=1039000 #constraints=3452
1525.30/1525.87	c nbDecision=1039500 #constraints=3453
1526.10/1526.61	c nbDecision=1040000 #constraints=3454
1526.80/1527.34	c nbDecision=1040500 #constraints=3455
1527.50/1528.06	c nbDecision=1041000 #constraints=3455
1528.20/1528.79	c nbDecision=1041500 #constraints=3456
1529.00/1529.53	c nbDecision=1042000 #constraints=3457
1529.70/1530.25	c nbDecision=1042500 #constraints=3457
1530.40/1530.98	c nbDecision=1043000 #constraints=3458
1531.20/1531.72	c nbDecision=1043500 #constraints=3459
1531.90/1532.43	c nbDecision=1044000 #constraints=3459
1532.60/1533.18	c nbDecision=1044500 #constraints=3460
1533.40/1533.92	c nbDecision=1045000 #constraints=3461
1534.10/1534.66	c nbDecision=1045500 #constraints=3462
1534.80/1535.39	c nbDecision=1046000 #constraints=3462
1535.60/1536.13	c nbDecision=1046500 #constraints=3463
1536.30/1536.87	c nbDecision=1047000 #constraints=3464
1537.00/1537.58	c nbDecision=1047500 #constraints=3464
1537.80/1538.33	c nbDecision=1048000 #constraints=3465
1538.50/1539.07	c nbDecision=1048500 #constraints=3466
1539.20/1539.80	c nbDecision=1049000 #constraints=3466
1539.99/1540.54	c nbDecision=1049500 #constraints=3467
1540.69/1541.28	c nbDecision=1050000 #constraints=3468
1541.49/1542.02	c nbDecision=1050500 #constraints=3469
1542.19/1542.73	c nbDecision=1051000 #constraints=3469
1542.89/1543.46	c nbDecision=1051500 #constraints=3470
1543.69/1544.20	c nbDecision=1052000 #constraints=3471
1544.39/1544.92	c nbDecision=1052500 #constraints=3471
1545.09/1545.65	c nbDecision=1053000 #constraints=3472
1545.79/1546.39	c nbDecision=1053500 #constraints=3473
1546.59/1547.11	c nbDecision=1054000 #constraints=3473
1547.29/1547.84	c nbDecision=1054500 #constraints=3474
1547.99/1548.58	c nbDecision=1055000 #constraints=3475
1548.79/1549.30	c nbDecision=1055500 #constraints=3475
1549.49/1550.03	c nbDecision=1056000 #constraints=3476
1550.20/1550.76	c nbDecision=1056500 #constraints=3477
1550.90/1551.48	c nbDecision=1057000 #constraints=3477
1551.70/1552.22	c nbDecision=1057500 #constraints=3478
1552.40/1552.94	c nbDecision=1058000 #constraints=3478
1553.10/1553.68	c nbDecision=1058500 #constraints=3479
1553.90/1554.42	c nbDecision=1059000 #constraints=3480
1554.60/1555.14	c nbDecision=1059500 #constraints=3480
1555.30/1555.89	c nbDecision=1060000 #constraints=3481
1556.10/1556.63	c nbDecision=1060500 #constraints=3482
1556.80/1557.35	c nbDecision=1061000 #constraints=3482
1557.50/1558.09	c nbDecision=1061500 #constraints=3483
1558.30/1558.84	c nbDecision=1062000 #constraints=3484
1559.00/1559.56	c nbDecision=1062500 #constraints=3484
1559.80/1560.30	c nbDecision=1063000 #constraints=3485
1560.50/1561.05	c nbDecision=1063500 #constraints=3486
1561.20/1561.77	c nbDecision=1064000 #constraints=3486
1561.99/1562.51	c nbDecision=1064500 #constraints=3487
1562.69/1563.24	c nbDecision=1065000 #constraints=3488
1563.39/1563.96	c nbDecision=1065500 #constraints=3488
1564.09/1564.70	c nbDecision=1066000 #constraints=3489
1564.89/1565.41	c nbDecision=1066500 #constraints=3489
1565.59/1566.15	c nbDecision=1067000 #constraints=3490
1566.29/1566.89	c nbDecision=1067500 #constraints=3491
1566.99/1567.59	c nbDecision=1068000 #constraints=3491
1567.79/1568.33	c nbDecision=1068500 #constraints=3492
1568.49/1569.06	c nbDecision=1069000 #constraints=3493
1569.19/1569.77	c nbDecision=1069500 #constraints=3493
1569.99/1570.51	c nbDecision=1070000 #constraints=3494
1570.69/1571.24	c nbDecision=1070500 #constraints=3495
1571.39/1571.96	c nbDecision=1071000 #constraints=3495
1572.19/1572.70	c nbDecision=1071500 #constraints=3496
1572.89/1573.44	c nbDecision=1072000 #constraints=3497
1573.59/1574.17	c nbDecision=1072500 #constraints=3497
1574.39/1574.91	c nbDecision=1073000 #constraints=3498
1575.09/1575.65	c nbDecision=1073500 #constraints=3499
1575.79/1576.38	c nbDecision=1074000 #constraints=3499
1576.59/1577.12	c nbDecision=1074500 #constraints=3500
1577.29/1577.84	c nbDecision=1075000 #constraints=3500
1577.99/1578.59	c nbDecision=1075500 #constraints=3501
1578.79/1579.33	c nbDecision=1076000 #constraints=3502
1579.49/1580.05	c nbDecision=1076500 #constraints=3502
1580.29/1580.80	c nbDecision=1077000 #constraints=3503
1580.99/1581.54	c nbDecision=1077500 #constraints=3504
1581.69/1582.26	c nbDecision=1078000 #constraints=3504
1582.39/1582.99	c nbDecision=1078500 #constraints=3505
1583.19/1583.73	c nbDecision=1079000 #constraints=3506
1583.89/1584.45	c nbDecision=1079500 #constraints=3506
1584.59/1585.18	c nbDecision=1080000 #constraints=3507
1585.29/1585.89	c nbDecision=1080500 #constraints=3507
1586.08/1586.63	c nbDecision=1081000 #constraints=3508
1586.79/1587.36	c nbDecision=1081500 #constraints=3509
1587.48/1588.07	c nbDecision=1082000 #constraints=3509
1588.28/1588.81	c nbDecision=1082500 #constraints=3510
1588.99/1589.54	c nbDecision=1083000 #constraints=3511
1589.68/1590.26	c nbDecision=1083500 #constraints=3511
1590.48/1591.00	c nbDecision=1084000 #constraints=3512
1591.19/1591.72	c nbDecision=1084500 #constraints=3512
1591.88/1592.45	c nbDecision=1085000 #constraints=3513
1592.58/1593.19	c nbDecision=1085500 #constraints=3514
1593.39/1593.92	c nbDecision=1086000 #constraints=3514
1594.08/1594.66	c nbDecision=1086500 #constraints=3515
1594.78/1595.38	c nbDecision=1087000 #constraints=3515
1595.58/1596.13	c nbDecision=1087500 #constraints=3516
1596.28/1596.87	c nbDecision=1088000 #constraints=3517
1596.98/1597.59	c nbDecision=1088500 #constraints=3517
1597.78/1598.33	c nbDecision=1089000 #constraints=3518
1598.48/1599.08	c nbDecision=1089500 #constraints=3519
1599.27/1599.80	c nbDecision=1090000 #constraints=3519
1599.98/1600.54	c nbDecision=1090500 #constraints=3520
1600.67/1601.27	c nbDecision=1091000 #constraints=3520
1601.47/1602.01	c nbDecision=1091500 #constraints=3521
1602.18/1602.73	c nbDecision=1092000 #constraints=3522
1602.87/1603.45	c nbDecision=1092500 #constraints=3522
1603.57/1604.18	c nbDecision=1093000 #constraints=3523
1604.28/1604.90	c nbDecision=1093500 #constraints=3523
1605.07/1605.63	c nbDecision=1094000 #constraints=3524
1605.77/1606.35	c nbDecision=1094500 #constraints=3524
1606.48/1607.09	c nbDecision=1095000 #constraints=3525
1607.27/1607.82	c nbDecision=1095500 #constraints=3526
1607.97/1608.54	c nbDecision=1096000 #constraints=3526
1608.68/1609.28	c nbDecision=1096500 #constraints=3527
1609.37/1609.99	c nbDecision=1097000 #constraints=3527
1610.17/1610.73	c nbDecision=1097500 #constraints=3528
1610.87/1611.46	c nbDecision=1098000 #constraints=3529
1611.57/1612.18	c nbDecision=1098500 #constraints=3529
1612.37/1612.93	c nbDecision=1099000 #constraints=3530
1613.07/1613.65	c nbDecision=1099500 #constraints=3530
1613.77/1614.39	c nbDecision=1100000 #constraints=3531
1614.57/1615.12	c nbDecision=1100500 #constraints=3531
1615.27/1615.86	c nbDecision=1101000 #constraints=3532
1616.07/1616.60	c nbDecision=1101500 #constraints=3533
1616.77/1617.33	c nbDecision=1102000 #constraints=3533
1617.47/1618.07	c nbDecision=1102500 #constraints=3534
1618.17/1618.80	c nbDecision=1103000 #constraints=3534
1618.97/1619.54	c nbDecision=1103500 #constraints=3535
1619.67/1620.27	c nbDecision=1104000 #constraints=3535
1620.47/1621.01	c nbDecision=1104500 #constraints=3536
1621.17/1621.75	c nbDecision=1105000 #constraints=3537
1621.87/1622.47	c nbDecision=1105500 #constraints=3537
1622.67/1623.20	c nbDecision=1106000 #constraints=3538
1623.37/1623.92	c nbDecision=1106500 #constraints=3538
1624.07/1624.65	c nbDecision=1107000 #constraints=3539
1624.77/1625.37	c nbDecision=1107500 #constraints=3539
1625.57/1626.10	c nbDecision=1108000 #constraints=3540
1626.27/1626.84	c nbDecision=1108500 #constraints=3541
1626.97/1627.54	c nbDecision=1109000 #constraints=3541
1627.67/1628.28	c nbDecision=1109500 #constraints=3542
1628.36/1629.00	c nbDecision=1110000 #constraints=3542
1629.16/1629.73	c nbDecision=1110500 #constraints=3543
1629.86/1630.45	c nbDecision=1111000 #constraints=3543
1630.56/1631.18	c nbDecision=1111500 #constraints=3544
1631.36/1631.90	c nbDecision=1112000 #constraints=3544
1632.06/1632.65	c nbDecision=1112500 #constraints=3545
1632.76/1633.39	c nbDecision=1113000 #constraints=3546
1633.56/1634.11	c nbDecision=1113500 #constraints=3546
1634.26/1634.85	c nbDecision=1114000 #constraints=3547
1634.96/1635.58	c nbDecision=1114500 #constraints=3547
1635.76/1636.31	c nbDecision=1115000 #constraints=3548
1636.46/1637.04	c nbDecision=1115500 #constraints=3548
1637.16/1637.78	c nbDecision=1116000 #constraints=3549
1637.96/1638.50	c nbDecision=1116500 #constraints=3549
1638.66/1639.24	c nbDecision=1117000 #constraints=3550
1639.36/1639.98	c nbDecision=1117500 #constraints=3551
1640.16/1640.71	c nbDecision=1118000 #constraints=3551
1640.86/1641.45	c nbDecision=1118500 #constraints=3552
1641.56/1642.17	c nbDecision=1119000 #constraints=3552
1642.36/1642.90	c nbDecision=1119500 #constraints=3553
1643.06/1643.62	c nbDecision=1120000 #constraints=3553
1643.76/1644.36	c nbDecision=1120500 #constraints=3554
1644.46/1645.09	c nbDecision=1121000 #constraints=3555
1645.26/1645.81	c nbDecision=1121500 #constraints=3555
1645.96/1646.55	c nbDecision=1122000 #constraints=3556
1646.66/1647.26	c nbDecision=1122500 #constraints=3556
1647.46/1648.00	c nbDecision=1123000 #constraints=3557
1648.16/1648.71	c nbDecision=1123500 #constraints=3557
1648.86/1649.45	c nbDecision=1124000 #constraints=3558
1649.56/1650.17	c nbDecision=1124500 #constraints=3558
1650.36/1650.90	c nbDecision=1125000 #constraints=3559
1651.06/1651.64	c nbDecision=1125500 #constraints=3560
1651.76/1652.36	c nbDecision=1126000 #constraints=3560
1652.56/1653.11	c nbDecision=1126500 #constraints=3561
1653.26/1653.83	c nbDecision=1127000 #constraints=3561
1653.95/1654.57	c nbDecision=1127500 #constraints=3562
1654.65/1655.29	c nbDecision=1128000 #constraints=3562
1655.45/1656.03	c nbDecision=1128500 #constraints=3563
1656.15/1656.75	c nbDecision=1129000 #constraints=3563
1656.95/1657.50	c nbDecision=1129500 #constraints=3564
1657.65/1658.24	c nbDecision=1130000 #constraints=3565
1658.35/1658.97	c nbDecision=1130500 #constraints=3565
1659.15/1659.71	c nbDecision=1131000 #constraints=3566
1659.85/1660.43	c nbDecision=1131500 #constraints=3566
1660.55/1661.18	c nbDecision=1132000 #constraints=3567
1661.25/1661.90	c nbDecision=1132500 #constraints=3567
1662.05/1662.63	c nbDecision=1133000 #constraints=3568
1662.75/1663.35	c nbDecision=1133500 #constraints=3568
1663.45/1664.09	c nbDecision=1134000 #constraints=3569
1664.25/1664.81	c nbDecision=1134500 #constraints=3570
1664.95/1665.53	c nbDecision=1135000 #constraints=3570
1665.65/1666.25	c nbDecision=1135500 #constraints=3571
1666.35/1666.97	c nbDecision=1136000 #constraints=3571
1667.05/1667.70	c nbDecision=1136500 #constraints=3572
1667.85/1668.41	c nbDecision=1137000 #constraints=3572
1668.55/1669.15	c nbDecision=1137500 #constraints=3573
1669.25/1669.86	c nbDecision=1138000 #constraints=3573
1670.06/1670.60	c nbDecision=1138500 #constraints=3574
1670.76/1671.32	c nbDecision=1139000 #constraints=3574
1671.46/1672.06	c nbDecision=1139500 #constraints=3575
1672.16/1672.78	c nbDecision=1140000 #constraints=3575
1672.96/1673.52	c nbDecision=1140500 #constraints=3576
1673.66/1674.26	c nbDecision=1141000 #constraints=3577
1674.36/1674.99	c nbDecision=1141500 #constraints=3577
1675.15/1675.73	c nbDecision=1142000 #constraints=3578
1675.86/1676.46	c nbDecision=1142500 #constraints=3578
1676.55/1677.20	c nbDecision=1143000 #constraints=3579
1677.35/1677.92	c nbDecision=1143500 #constraints=3579
1678.06/1678.66	c nbDecision=1144000 #constraints=3580
1678.75/1679.39	c nbDecision=1144500 #constraints=3580
1679.55/1680.13	c nbDecision=1145000 #constraints=3581
1680.26/1680.85	c nbDecision=1145500 #constraints=3581
1680.95/1681.60	c nbDecision=1146000 #constraints=3582
1681.75/1682.30	c nbDecision=1146500 #constraints=3582
1682.46/1683.04	c nbDecision=1147000 #constraints=3583
1683.15/1683.78	c nbDecision=1147500 #constraints=3584
1683.85/1684.50	c nbDecision=1148000 #constraints=3584
1684.65/1685.23	c nbDecision=1148500 #constraints=3585
1685.35/1685.95	c nbDecision=1149000 #constraints=3585
1686.05/1686.68	c nbDecision=1149500 #constraints=3586
1686.75/1687.39	c nbDecision=1150000 #constraints=3586
1687.55/1688.13	c nbDecision=1150500 #constraints=3587
1688.25/1688.84	c nbDecision=1151000 #constraints=3587
1688.95/1689.58	c nbDecision=1151500 #constraints=3588
1689.65/1690.30	c nbDecision=1152000 #constraints=3588
1690.45/1691.03	c nbDecision=1152500 #constraints=3589
1691.15/1691.77	c nbDecision=1153000 #constraints=3590
1691.85/1692.48	c nbDecision=1153500 #constraints=3590
1692.65/1693.22	c nbDecision=1154000 #constraints=3591
1693.35/1693.94	c nbDecision=1154500 #constraints=3591
1694.05/1694.68	c nbDecision=1155000 #constraints=3592
1694.75/1695.40	c nbDecision=1155500 #constraints=3592
1695.55/1696.14	c nbDecision=1156000 #constraints=3593
1696.25/1696.86	c nbDecision=1156500 #constraints=3593
1696.95/1697.59	c nbDecision=1157000 #constraints=3594
1697.75/1698.31	c nbDecision=1157500 #constraints=3594
1698.44/1699.06	c nbDecision=1158000 #constraints=3595
1699.14/1699.78	c nbDecision=1158500 #constraints=3595
1699.95/1700.52	c nbDecision=1159000 #constraints=3596
1700.64/1701.26	c nbDecision=1159500 #constraints=3597
1701.34/1701.99	c nbDecision=1160000 #constraints=3597
1702.15/1702.72	c nbDecision=1160500 #constraints=3598
1702.84/1703.43	c nbDecision=1161000 #constraints=3598
1703.54/1704.17	c nbDecision=1161500 #constraints=3599
1704.24/1704.89	c nbDecision=1162000 #constraints=3599
1705.04/1705.62	c nbDecision=1162500 #constraints=3600
1705.74/1706.34	c nbDecision=1163000 #constraints=3600
1706.44/1707.08	c nbDecision=1163500 #constraints=3601
1707.14/1707.79	c nbDecision=1164000 #constraints=3601
1707.94/1708.53	c nbDecision=1164500 #constraints=3602
1708.64/1709.26	c nbDecision=1165000 #constraints=3603
1709.34/1709.98	c nbDecision=1165500 #constraints=3603
1710.14/1710.72	c nbDecision=1166000 #constraints=3604
1710.84/1711.43	c nbDecision=1166500 #constraints=3604
1711.54/1712.17	c nbDecision=1167000 #constraints=3605
1712.24/1712.90	c nbDecision=1167500 #constraints=3605
1713.04/1713.64	c nbDecision=1168000 #constraints=3606
1713.74/1714.36	c nbDecision=1168500 #constraints=3606
1714.54/1715.11	c nbDecision=1169000 #constraints=3607
1715.24/1715.83	c nbDecision=1169500 #constraints=3607
1715.94/1716.57	c nbDecision=1170000 #constraints=3608
1716.64/1717.29	c nbDecision=1170500 #constraints=3608
1717.44/1718.03	c nbDecision=1171000 #constraints=3609
1718.14/1718.77	c nbDecision=1171500 #constraints=3610
1718.93/1719.50	c nbDecision=1172000 #constraints=3610
1719.63/1720.24	c nbDecision=1172500 #constraints=3611
1720.33/1720.96	c nbDecision=1173000 #constraints=3611
1721.13/1721.71	c nbDecision=1173500 #constraints=3612
1721.83/1722.41	c nbDecision=1174000 #constraints=3612
1722.53/1723.15	c nbDecision=1174500 #constraints=3613
1723.23/1723.87	c nbDecision=1175000 #constraints=3613
1724.03/1724.60	c nbDecision=1175500 #constraints=3614
1724.73/1725.32	c nbDecision=1176000 #constraints=3614
1725.43/1726.06	c nbDecision=1176500 #constraints=3615
1726.13/1726.79	c nbDecision=1177000 #constraints=3616
1726.83/1727.50	c nbDecision=1177500 #constraints=3616
1727.63/1728.23	c nbDecision=1178000 #constraints=3617
1728.33/1728.95	c nbDecision=1178500 #constraints=3617
1729.03/1729.69	c nbDecision=1179000 #constraints=3618
1729.83/1730.40	c nbDecision=1179500 #constraints=3618
1730.53/1731.14	c nbDecision=1180000 #constraints=3619
1731.23/1731.86	c nbDecision=1180500 #constraints=3619
1732.03/1732.60	c nbDecision=1181000 #constraints=3620
1732.73/1733.32	c nbDecision=1181500 #constraints=3620
1733.43/1734.07	c nbDecision=1182000 #constraints=3621
1734.13/1734.79	c nbDecision=1182500 #constraints=3621
1734.93/1735.53	c nbDecision=1183000 #constraints=3622
1735.63/1736.27	c nbDecision=1183500 #constraints=3623
1736.43/1737.00	c nbDecision=1184000 #constraints=3623
1737.13/1737.73	c nbDecision=1184500 #constraints=3624
1737.83/1738.45	c nbDecision=1185000 #constraints=3624
1738.53/1739.19	c nbDecision=1185500 #constraints=3625
1739.32/1739.91	c nbDecision=1186000 #constraints=3625
1740.02/1740.66	c nbDecision=1186500 #constraints=3626
1740.73/1741.38	c nbDecision=1187000 #constraints=3626
1741.52/1742.12	c nbDecision=1187500 #constraints=3627
1742.22/1742.83	c nbDecision=1188000 #constraints=3627
1742.93/1743.57	c nbDecision=1188500 #constraints=3628
1743.62/1744.29	c nbDecision=1189000 #constraints=3628
1744.42/1745.02	c nbDecision=1189500 #constraints=3629
1745.13/1745.76	c nbDecision=1190000 #constraints=3630
1745.82/1746.48	c nbDecision=1190500 #constraints=3630
1746.62/1747.21	c nbDecision=1191000 #constraints=3631
1747.33/1747.93	c nbDecision=1191500 #constraints=3631
1748.02/1748.66	c nbDecision=1192000 #constraints=3632
1748.72/1749.38	c nbDecision=1192500 #constraints=3632
1749.53/1750.12	c nbDecision=1193000 #constraints=3633
1750.22/1750.83	c nbDecision=1193500 #constraints=3633
1750.92/1751.57	c nbDecision=1194000 #constraints=3634
1751.63/1752.28	c nbDecision=1194500 #constraints=3634
1752.42/1753.02	c nbDecision=1195000 #constraints=3635
1753.12/1753.75	c nbDecision=1195500 #constraints=3635
1753.83/1754.49	c nbDecision=1196000 #constraints=3636
1754.62/1755.21	c nbDecision=1196500 #constraints=3636
1755.32/1755.96	c nbDecision=1197000 #constraints=3637
1756.03/1756.70	c nbDecision=1197500 #constraints=3638
1756.82/1757.41	c nbDecision=1198000 #constraints=3638
1757.52/1758.15	c nbDecision=1198500 #constraints=3639
1758.22/1758.88	c nbDecision=1199000 #constraints=3639
1759.02/1759.62	c nbDecision=1199500 #constraints=3640
1759.72/1760.34	c nbDecision=1200000 #constraints=3640
1760.42/1761.09	c nbDecision=1200500 #constraints=3641
1761.22/1761.81	c nbDecision=1201000 #constraints=3641
1761.92/1762.54	c nbDecision=1201500 #constraints=3642
1762.62/1763.26	c nbDecision=1202000 #constraints=3642
1763.42/1764.00	c nbDecision=1202500 #constraints=3643
1764.12/1764.71	c nbDecision=1203000 #constraints=3643
1764.82/1765.45	c nbDecision=1203500 #constraints=3644
1765.52/1766.16	c nbDecision=1204000 #constraints=3644
1766.33/1766.90	c nbDecision=1204500 #constraints=3645
1767.03/1767.62	c nbDecision=1205000 #constraints=3645
1767.73/1768.35	c nbDecision=1205500 #constraints=3646
1768.43/1769.09	c nbDecision=1206000 #constraints=3647
1769.23/1769.81	c nbDecision=1206500 #constraints=3647
1769.92/1770.54	c nbDecision=1207000 #constraints=3648
1770.62/1771.26	c nbDecision=1207500 #constraints=3648
1771.32/1772.00	c nbDecision=1208000 #constraints=3649
1772.12/1772.70	c nbDecision=1208500 #constraints=3649
1772.82/1773.45	c nbDecision=1209000 #constraints=3650
1773.52/1774.17	c nbDecision=1209500 #constraints=3650
1774.32/1774.91	c nbDecision=1210000 #constraints=3651
1775.02/1775.63	c nbDecision=1210500 #constraints=3651
1775.72/1776.38	c nbDecision=1211000 #constraints=3652
1776.52/1777.10	c nbDecision=1211500 #constraints=3652
1777.22/1777.84	c nbDecision=1212000 #constraints=3653
1777.92/1778.57	c nbDecision=1212500 #constraints=3653
1778.72/1779.31	c nbDecision=1213000 #constraints=3654
1779.42/1780.05	c nbDecision=1213500 #constraints=3655
1780.12/1780.78	c nbDecision=1214000 #constraints=3655
1780.92/1781.52	c nbDecision=1214500 #constraints=3656
1781.62/1782.24	c nbDecision=1215000 #constraints=3656
1782.32/1782.98	c nbDecision=1215500 #constraints=3657
1783.02/1783.69	c nbDecision=1216000 #constraints=3657
1783.82/1784.43	c nbDecision=1216500 #constraints=3658
1784.52/1785.14	c nbDecision=1217000 #constraints=3658
1785.22/1785.88	c nbDecision=1217500 #constraints=3659
1786.02/1786.60	c nbDecision=1218000 #constraints=3659
1786.72/1787.33	c nbDecision=1218500 #constraints=3660
1787.42/1788.05	c nbDecision=1219000 #constraints=3660
1788.12/1788.78	c nbDecision=1219500 #constraints=3661
1788.92/1789.50	c nbDecision=1220000 #constraints=3661
1789.62/1790.23	c nbDecision=1220500 #constraints=3662
1790.32/1790.95	c nbDecision=1221000 #constraints=3662
1791.02/1791.68	c nbDecision=1221500 #constraints=3663
1791.82/1792.40	c nbDecision=1222000 #constraints=3663
1792.52/1793.14	c nbDecision=1222500 #constraints=3664
1793.22/1793.87	c nbDecision=1223000 #constraints=3664
1793.92/1794.59	c nbDecision=1223500 #constraints=3664
1794.72/1795.32	c nbDecision=1224000 #constraints=3665
1795.42/1796.04	c nbDecision=1224500 #constraints=3665
1796.12/1796.79	c nbDecision=1225000 #constraints=3666
1796.92/1797.50	c nbDecision=1225500 #constraints=3666
1797.62/1798.24	c nbDecision=1226000 #constraints=3667
1798.32/1798.96	c nbDecision=1226500 #constraints=3667
1799.11/1799.71	c nbDecision=1227000 #constraints=3668
1799.81/1800.43	c nbDecision=1227500 #constraints=3668
1800.02/1800.61	Received signal 15
1800.02/1800.61	
1800.02/1800.61	s UNKNOWN
1800.02/1800.61	
1800.02/1800.61	c user time= 1799.79 s
1800.02/1800.61	c system time= 0.242963 s
1800.02/1800.61	c wall clock time=1800.61

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node26/watcher-362860-1176849050 -o ROOT/results/node26/solver-362860-1176849050 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362860-1176849050/instance-362860-1176849050.opb mod 

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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 11972
/proc/meminfo: memFree=1792984/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=1620 CPUtime=0
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 132821793 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 405 174 126 317 0 84 0

[startup+0.0934741 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 11972
/proc/meminfo: memFree=1792984/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=3440 CPUtime=0.08
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 855 0 0 0 8 0 0 0 18 0 1 0 132821793 3522560 610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 860 610 126 317 0 539 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3440

[startup+0.101475 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 11972
/proc/meminfo: memFree=1792984/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=3440 CPUtime=0.09
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 877 0 0 0 9 0 0 0 18 0 1 0 132821793 3522560 632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 860 632 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301493 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 11972
/proc/meminfo: memFree=1792984/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=5652 CPUtime=0.29
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 1581 0 0 0 29 0 0 0 19 0 1 0 132821793 5787648 1079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 1413 1079 131 317 0 1092 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5652

[startup+0.70153 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 11972
/proc/meminfo: memFree=1792984/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=15132 CPUtime=0.69
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 3734 0 0 0 68 1 0 0 22 0 1 0 132821793 15495168 3034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 3783 3034 131 317 0 3462 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15132

[startup+1.50161 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11973
/proc/meminfo: memFree=1774928/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=34732 CPUtime=1.49
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 8588 0 0 0 146 3 0 0 25 0 1 0 132821793 35565568 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 8683 7855 137 317 0 8362 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34732

[startup+3.10176 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11973
/proc/meminfo: memFree=1759760/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=37952 CPUtime=3.09
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9389 0 0 0 306 3 0 0 25 0 1 0 132821793 38862848 8656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9488 8656 139 317 0 9167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37952

[startup+6.30105 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11973
/proc/meminfo: memFree=1758352/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=38084 CPUtime=6.29
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9436 0 0 0 625 4 0 0 25 0 1 0 132821793 38998016 8703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9521 8703 139 317 0 9200 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38084

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11973
/proc/meminfo: memFree=1758224/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=38212 CPUtime=12.69
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9466 0 0 0 1265 4 0 0 25 0 1 0 132821793 39129088 8733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9553 8733 139 317 0 9232 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38212

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11973
/proc/meminfo: memFree=1758224/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=38344 CPUtime=25.49
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9485 0 0 0 2545 4 0 0 25 0 1 0 132821793 39264256 8752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9586 8752 139 317 0 9265 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38344

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11973
/proc/meminfo: memFree=1758224/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=38344 CPUtime=51.08
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9504 0 0 0 5104 4 0 0 25 0 1 0 132821793 39264256 8771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9586 8771 139 317 0 9265 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38344

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11973
/proc/meminfo: memFree=1757968/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=38608 CPUtime=102.27
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9569 0 0 0 10223 4 0 0 25 0 1 0 132821793 39534592 8836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9652 8836 139 317 0 9331 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 38608

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11973
/proc/meminfo: memFree=1757776/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=38740 CPUtime=162.24
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9601 0 0 0 16219 5 0 0 25 0 1 0 132821793 39669760 8868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9685 8868 139 317 0 9364 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 38740

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11973
/proc/meminfo: memFree=1757648/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=38872 CPUtime=222.22
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9631 0 0 0 22216 6 0 0 25 0 1 0 132821793 39804928 8898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9718 8898 139 317 0 9397 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 38872

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11973
/proc/meminfo: memFree=1757520/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=39000 CPUtime=282.2
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9657 0 0 0 28213 7 0 0 25 0 1 0 132821793 39936000 8924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9750 8924 139 317 0 9429 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 39000

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11973
/proc/meminfo: memFree=1757392/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=39132 CPUtime=342.19
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9681 0 0 0 34211 8 0 0 25 0 1 0 132821793 40071168 8948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9783 8948 139 317 0 9462 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 39132

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11973
/proc/meminfo: memFree=1757328/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=39264 CPUtime=402.17
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9705 0 0 0 40209 8 0 0 25 0 1 0 132821793 40206336 8972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9816 8972 139 317 0 9495 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 39264

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11975
/proc/meminfo: memFree=1757008/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=39528 CPUtime=462.15
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9784 0 0 0 46206 9 0 0 25 0 1 0 132821793 40476672 9051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9882 9051 139 317 0 9561 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 39528

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11975
/proc/meminfo: memFree=1756944/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=39528 CPUtime=522.13
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9803 0 0 0 52203 10 0 0 25 0 1 0 132821793 40476672 9070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9882 9070 139 317 0 9561 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 39528

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11975
/proc/meminfo: memFree=1756816/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=39660 CPUtime=582.1
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9820 0 0 0 58200 10 0 0 25 0 1 0 132821793 40611840 9087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9915 9087 139 317 0 9594 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 39660

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11975
/proc/meminfo: memFree=1756752/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=39660 CPUtime=642.09
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9836 0 0 0 64198 11 0 0 25 0 1 0 132821793 40611840 9103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 9915 9103 139 317 0 9594 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 39660


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11975
/proc/meminfo: memFree=1756048/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=40448 CPUtime=822.02
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10015 0 0 0 82190 12 0 0 25 0 1 0 132821793 41418752 9282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10112 9282 139 317 0 9791 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 40448

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11975
/proc/meminfo: memFree=1755920/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=40580 CPUtime=882
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10047 0 0 0 88187 13 0 0 25 0 1 0 132821793 41553920 9314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10145 9314 139 317 0 9824 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 40580

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11975
/proc/meminfo: memFree=1755280/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=41136 CPUtime=941.99
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10187 0 0 0 94185 14 0 0 25 0 1 0 132821793 42123264 9454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10284 9454 139 317 0 9963 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 41136

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11975
/proc/meminfo: memFree=1755216/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=41264 CPUtime=1001.96
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10212 0 0 0 100182 14 0 0 25 0 1 0 132821793 42254336 9479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10316 9479 139 317 0 9995 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 41264

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11975
/proc/meminfo: memFree=1755088/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=41264 CPUtime=1061.94
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10238 0 0 0 106179 15 0 0 25 0 1 0 132821793 42254336 9505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10316 9505 139 317 0 9995 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 41264

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11975
/proc/meminfo: memFree=1754960/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=41396 CPUtime=1121.93
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10262 0 0 0 112177 16 0 0 25 0 1 0 132821793 42389504 9529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10349 9529 139 317 0 10028 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 41396

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11975
/proc/meminfo: memFree=1754960/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=41524 CPUtime=1181.9
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10282 0 0 0 118174 16 0 0 25 0 1 0 132821793 42520576 9549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10381 9549 139 317 0 10060 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 41524

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 11975
/proc/meminfo: memFree=1754832/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=41524 CPUtime=1241.89
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10300 0 0 0 124172 17 0 0 25 0 1 0 132821793 42520576 9567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10381 9567 139 317 0 10060 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 41524

[startup+1302.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 11975
/proc/meminfo: memFree=1754704/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=41652 CPUtime=1301.88
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10318 0 0 0 130170 18 0 0 25 0 1 0 132821793 42651648 9585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10413 9585 139 317 0 10092 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 41652

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 11975
/proc/meminfo: memFree=1754640/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=41652 CPUtime=1361.86
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10335 0 0 0 136167 19 0 0 25 0 1 0 132821793 42651648 9602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10413 9602 139 317 0 10092 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 41652

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11975
/proc/meminfo: memFree=1754256/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=42180 CPUtime=1421.84
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10444 0 0 0 142164 20 0 0 25 0 1 0 132821793 43192320 9711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10545 9711 139 317 0 10224 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 42180

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11975
/proc/meminfo: memFree=1754064/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=42312 CPUtime=1481.82
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10486 0 0 0 148161 21 0 0 25 0 1 0 132821793 43327488 9753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10578 9753 139 317 0 10257 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 42312

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 11975
/proc/meminfo: memFree=1753936/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=42440 CPUtime=1541.8
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10519 0 0 0 154159 21 0 0 25 0 1 0 132821793 43458560 9786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10610 9786 139 317 0 10289 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 42440

[startup+1602.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 11975
/proc/meminfo: memFree=1753872/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=42568 CPUtime=1601.77
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10548 0 0 0 160155 22 0 0 25 0 1 0 132821793 43589632 9815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10642 9815 139 317 0 10321 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 42568

[startup+1662.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 11975
/proc/meminfo: memFree=1753680/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=42700 CPUtime=1661.75
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10574 0 0 0 166153 22 0 0 25 0 1 0 132821793 43724800 9841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10675 9841 139 317 0 10354 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 42700

[startup+1722.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 11975
/proc/meminfo: memFree=1753616/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=42700 CPUtime=1721.74
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10598 0 0 0 172151 23 0 0 25 0 1 0 132821793 43724800 9865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10675 9865 139 317 0 10354 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 42700

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11975
/proc/meminfo: memFree=1753424/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=43032 CPUtime=1781.72
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10654 0 0 0 178148 24 0 0 25 0 1 0 132821793 44064768 9921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10758 9921 139 317 0 10437 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 43032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11975
/proc/meminfo: memFree=1753360/2055920 swapFree=4170240/4192956
[pid=11972] ppid=11970 vsize=43032 CPUtime=1800.02
/proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10654 0 0 0 179978 24 0 0 25 0 1 0 132821793 44064768 9921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11972/statm: 10758 9921 139 317 0 10437 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 43032

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.05
CPU user time (s): 1799.8
CPU system time (s): 0.249962
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 43032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.249962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10670
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= 8
involuntary context switches= 4289

runsolver used 1.9607 second user time and 4.75028 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Tue Apr 17 22:30:50 UTC 2007

IDJOB= 362860
IDBENCH= 1673
IDSOLVER= 172
FILE ID= node26/362860-1176849050

PBS_JOBID= 4590180

Free space on /tmp= 66472 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-czprob.opb
COMMAND LINE= oree /tmp/evaluation/362860-1176849050/instance-362860-1176849050.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-362860-1176849050 -o ROOT/results/node26/solver-362860-1176849050 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362860-1176849050/instance-362860-1176849050.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  c15e03ab07153a4c6592115aff440072

RANDOM SEED= 947985931

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.213
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.213
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1793392 kB
Buffers:         34296 kB
Cached:         150720 kB
SwapCached:       3208 kB
Active:         100356 kB
Inactive:       107640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1793392 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            4924 kB
Writeback:           0 kB
Mapped:          30448 kB
Slab:            40084 kB
Committed_AS:   963568 kB
PageTables:       1716 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66472 MiB

End job on node26 on Tue Apr 17 23:00:53 UTC 2007