Trace number 357278

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.08 1800.93

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
MD5SUMbb02029eb777c2a6ae8e192b29bcb9de
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107808
Total number of constraints3904
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 constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 348966092800
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 299074813804544
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 348966092800
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 299074813804544
Number of bits of the biggest sum of numbers49
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.15	c ...done
1.10/1.15	c #vars=107808 #constraints=5185 hasObjective=yes
1.59/1.66	c res. mode=mod
1.59/1.66	c VSIDS like heuristics
1.59/1.66	c complete search running
2.39/2.42	c restart after 401 decisions
2.49/2.57	c nbDecision=500 #constraints=5185
2.99/3.04	c restart after 801 decisions
3.29/3.36	c nbDecision=1000 #constraints=5185
4.09/4.15	c nbDecision=1500 #constraints=5185
4.29/4.31	c restart after 1601 decisions
4.89/4.94	c nbDecision=2000 #constraints=5185
5.69/5.73	c nbDecision=2500 #constraints=5185
6.49/6.50	c nbDecision=3000 #constraints=5185
6.79/6.81	c restart after 3201 decisions
7.19/7.28	c nbDecision=3500 #constraints=5185
7.99/8.06	c nbDecision=4000 #constraints=5185
8.79/8.84	c nbDecision=4500 #constraints=5185
9.59/9.60	c nbDecision=5000 #constraints=5185
10.29/10.37	c nbDecision=5500 #constraints=5185
11.09/11.12	c nbDecision=6000 #constraints=5185
11.68/11.73	c restart after 6401 decisions
11.88/11.90	c nbDecision=6500 #constraints=5185
12.58/12.68	c nbDecision=7000 #constraints=5185
13.38/13.44	c nbDecision=7500 #constraints=5185
14.19/14.21	c nbDecision=8000 #constraints=5185
14.88/14.98	c nbDecision=8500 #constraints=5185
15.68/15.74	c nbDecision=9000 #constraints=5185
16.49/16.51	c nbDecision=9500 #constraints=5185
17.18/17.26	c nbDecision=10000 #constraints=5185
17.98/18.02	c nbDecision=10500 #constraints=5185
18.69/18.78	c nbDecision=11000 #constraints=5185
19.48/19.53	c nbDecision=11500 #constraints=5185
20.18/20.27	c nbDecision=12000 #constraints=5185
20.98/21.03	c nbDecision=12500 #constraints=5185
21.38/21.48	c restart after 12801 decisions
21.78/21.80	c nbDecision=13000 #constraints=5185
22.48/22.57	c nbDecision=13500 #constraints=5185
23.28/23.35	c nbDecision=14000 #constraints=5185
24.08/24.13	c nbDecision=14500 #constraints=5185
24.78/24.89	c nbDecision=15000 #constraints=5185
25.58/25.66	c nbDecision=15500 #constraints=5185
26.38/26.43	c nbDecision=16000 #constraints=5185
27.08/27.19	c nbDecision=16500 #constraints=5185
27.88/27.95	c nbDecision=17000 #constraints=5185
28.68/28.70	c nbDecision=17500 #constraints=5185
29.38/29.44	c nbDecision=18000 #constraints=5185
30.08/30.19	c nbDecision=18500 #constraints=5185
30.88/30.93	c nbDecision=19000 #constraints=5185
31.58/31.67	c nbDecision=19500 #constraints=5185
32.38/32.41	c nbDecision=20000 #constraints=5185
33.08/33.14	c nbDecision=20500 #constraints=5185
33.78/33.87	c nbDecision=21000 #constraints=5185
34.58/34.61	c nbDecision=21500 #constraints=5185
35.28/35.33	c nbDecision=22000 #constraints=5185
35.97/36.06	c nbDecision=22500 #constraints=5185
36.67/36.78	c nbDecision=23000 #constraints=5185
37.38/37.49	c nbDecision=23500 #constraints=5185
38.17/38.21	c nbDecision=24000 #constraints=5185
38.87/38.94	c nbDecision=24500 #constraints=5185
39.58/39.65	c nbDecision=25000 #constraints=5185
40.27/40.37	c nbDecision=25500 #constraints=5185
40.47/40.51	c restart after 25601 decisions
41.07/41.16	c nbDecision=26000 #constraints=5185
41.87/41.93	c nbDecision=26500 #constraints=5185
42.67/42.71	c nbDecision=27000 #constraints=5185
43.37/43.49	c nbDecision=27500 #constraints=5185
44.17/44.25	c nbDecision=28000 #constraints=5185
44.98/45.02	c nbDecision=28500 #constraints=5185
45.67/45.79	c nbDecision=29000 #constraints=5185
46.47/46.54	c nbDecision=29500 #constraints=5185
47.18/47.30	c nbDecision=30000 #constraints=5185
47.97/48.03	c nbDecision=30500 #constraints=5185
48.67/48.78	c nbDecision=31000 #constraints=5185
49.47/49.51	c nbDecision=31500 #constraints=5185
50.17/50.25	c nbDecision=32000 #constraints=5185
50.87/50.99	c nbDecision=32500 #constraints=5185
51.67/51.72	c nbDecision=33000 #constraints=5185
52.37/52.46	c nbDecision=33500 #constraints=5185
53.07/53.18	c nbDecision=34000 #constraints=5185
53.87/53.91	c nbDecision=34500 #constraints=5185
54.57/54.64	c nbDecision=35000 #constraints=5185
55.27/55.36	c nbDecision=35500 #constraints=5185
55.97/56.08	c nbDecision=36000 #constraints=5185
56.67/56.79	c nbDecision=36500 #constraints=5185
57.47/57.50	c nbDecision=37000 #constraints=5185
58.17/58.21	c nbDecision=37500 #constraints=5185
58.87/58.93	c nbDecision=38000 #constraints=5185
59.57/59.64	c nbDecision=38500 #constraints=5185
60.27/60.35	c nbDecision=39000 #constraints=5187
60.97/61.06	c nbDecision=39500 #constraints=5187
61.67/61.77	c nbDecision=40000 #constraints=5187
62.37/62.47	c nbDecision=40500 #constraints=5187
63.07/63.16	c nbDecision=41000 #constraints=5187
63.77/63.86	c nbDecision=41500 #constraints=5187
64.47/64.56	c nbDecision=42000 #constraints=5187
65.16/65.25	c nbDecision=42500 #constraints=5187
65.87/65.94	c nbDecision=43000 #constraints=5187
66.56/66.62	c nbDecision=43500 #constraints=5187
67.26/67.32	c nbDecision=44000 #constraints=5196
67.96/68.01	c nbDecision=44500 #constraints=5203
68.56/68.69	c nbDecision=45000 #constraints=5204
69.27/69.36	c nbDecision=45500 #constraints=5205
69.96/70.02	c nbDecision=46000 #constraints=5206
70.66/70.70	c nbDecision=46500 #constraints=5216
71.26/71.37	c nbDecision=47000 #constraints=5225
71.96/72.04	c nbDecision=47500 #constraints=5229
72.66/72.71	c nbDecision=48000 #constraints=5238
73.26/73.39	c nbDecision=48500 #constraints=5244
74.06/74.11	c nbDecision=49000 #constraints=5253
74.66/74.79	c nbDecision=49500 #constraints=5253
75.36/75.47	c nbDecision=50000 #constraints=5253
76.06/76.14	c nbDecision=50500 #constraints=5253
76.76/76.82	c nbDecision=51000 #constraints=5253
76.96/77.09	c restart after 51201 decisions
77.56/77.60	c nbDecision=51500 #constraints=5253
78.26/78.39	c nbDecision=52000 #constraints=5253
79.06/79.17	c nbDecision=52500 #constraints=5253
79.86/79.94	c nbDecision=53000 #constraints=5253
80.66/80.72	c nbDecision=53500 #constraints=5253
81.36/81.49	c nbDecision=54000 #constraints=5253
82.16/82.26	c nbDecision=54500 #constraints=5253
82.96/83.03	c nbDecision=55000 #constraints=5253
83.66/83.79	c nbDecision=55500 #constraints=5253
84.46/84.55	c nbDecision=56000 #constraints=5253
85.26/85.30	c nbDecision=56500 #constraints=5253
85.96/86.06	c nbDecision=57000 #constraints=5253
86.76/86.81	c nbDecision=57500 #constraints=5253
87.46/87.56	c nbDecision=58000 #constraints=5253
88.16/88.30	c nbDecision=58500 #constraints=5253
88.96/89.03	c nbDecision=59000 #constraints=5253
89.66/89.75	c nbDecision=59500 #constraints=5253
90.36/90.47	c nbDecision=60000 #constraints=5253
91.06/91.20	c nbDecision=60500 #constraints=5253
91.86/91.91	c nbDecision=61000 #constraints=5253
92.55/92.62	c nbDecision=61500 #constraints=5253
93.25/93.34	c nbDecision=62000 #constraints=5253
93.95/94.05	c nbDecision=62500 #constraints=5253
94.65/94.76	c nbDecision=63000 #constraints=5253
95.35/95.47	c nbDecision=63500 #constraints=5253
96.05/96.17	c nbDecision=64000 #constraints=5253
96.76/96.87	c nbDecision=64500 #constraints=5253
97.45/97.56	c nbDecision=65000 #constraints=5253
98.15/98.26	c nbDecision=65500 #constraints=5253
98.86/98.96	c nbDecision=66000 #constraints=5253
99.55/99.65	c nbDecision=66500 #constraints=5253
100.25/100.35	c nbDecision=67000 #constraints=5253
100.95/101.06	c nbDecision=67500 #constraints=5253
101.65/101.76	c nbDecision=68000 #constraints=5253
102.35/102.44	c nbDecision=68500 #constraints=5253
103.05/103.13	c nbDecision=69000 #constraints=5253
103.75/103.82	c nbDecision=69500 #constraints=5253
104.35/104.49	c nbDecision=70000 #constraints=5253
105.05/105.17	c nbDecision=70500 #constraints=5253
105.75/105.85	c nbDecision=71000 #constraints=5253
106.45/106.52	c nbDecision=71500 #constraints=5253
107.05/107.19	c nbDecision=72000 #constraints=5253
107.75/107.85	c nbDecision=72500 #constraints=5253
108.45/108.51	c nbDecision=73000 #constraints=5253
109.05/109.16	c nbDecision=73500 #constraints=5253
109.75/109.81	c nbDecision=74000 #constraints=5253
110.35/110.47	c nbDecision=74500 #constraints=5254
111.05/111.13	c nbDecision=75000 #constraints=5255
111.65/111.79	c nbDecision=75500 #constraints=5255
112.35/112.45	c nbDecision=76000 #constraints=5255
113.05/113.10	c nbDecision=76500 #constraints=5255
113.65/113.75	c nbDecision=77000 #constraints=5255
114.35/114.41	c nbDecision=77500 #constraints=5255
114.95/115.09	c nbDecision=78000 #constraints=5256
115.65/115.75	c nbDecision=78500 #constraints=5256
116.35/116.42	c nbDecision=79000 #constraints=5256
116.95/117.09	c nbDecision=79500 #constraints=5256
117.65/117.75	c nbDecision=80000 #constraints=5256
118.35/118.42	c nbDecision=80500 #constraints=5256
118.95/119.08	c nbDecision=81000 #constraints=5256
119.64/119.74	c nbDecision=81500 #constraints=5256
120.34/120.40	c nbDecision=82000 #constraints=5256
120.95/121.06	c nbDecision=82500 #constraints=5256
121.64/121.76	c nbDecision=83000 #constraints=5257
122.34/122.45	c nbDecision=83500 #constraints=5257
123.05/123.14	c nbDecision=84000 #constraints=5257
123.74/123.81	c nbDecision=84500 #constraints=5257
124.34/124.49	c nbDecision=85000 #constraints=5257
125.04/125.17	c nbDecision=85500 #constraints=5257
125.74/125.84	c nbDecision=86000 #constraints=5257
126.45/126.51	c nbDecision=86500 #constraints=5257
127.04/127.18	c nbDecision=87000 #constraints=5257
127.74/127.84	c nbDecision=87500 #constraints=5257
128.44/128.50	c nbDecision=88000 #constraints=5257
129.04/129.15	c nbDecision=88500 #constraints=5257
129.75/129.81	c nbDecision=89000 #constraints=5257
130.34/130.49	c nbDecision=89500 #constraints=5258
131.04/131.16	c nbDecision=90000 #constraints=5258
131.74/131.83	c nbDecision=90500 #constraints=5258
132.44/132.50	c nbDecision=91000 #constraints=5258
133.04/133.16	c nbDecision=91500 #constraints=5258
133.74/133.82	c nbDecision=92000 #constraints=5258
134.34/134.48	c nbDecision=92500 #constraints=5258
135.04/135.13	c nbDecision=93000 #constraints=5258
135.64/135.79	c nbDecision=93500 #constraints=5258
136.34/136.44	c nbDecision=94000 #constraints=5258
137.04/137.11	c nbDecision=94500 #constraints=5259
137.64/137.79	c nbDecision=95000 #constraints=5259
138.34/138.47	c nbDecision=95500 #constraints=5259
139.04/139.14	c nbDecision=96000 #constraints=5259
139.74/139.82	c nbDecision=96500 #constraints=5259
140.34/140.48	c nbDecision=97000 #constraints=5259
141.04/141.15	c nbDecision=97500 #constraints=5259
141.74/141.81	c nbDecision=98000 #constraints=5259
142.33/142.47	c nbDecision=98500 #constraints=5259
143.03/143.12	c nbDecision=99000 #constraints=5259
143.63/143.79	c nbDecision=99500 #constraints=5260
144.34/144.45	c nbDecision=100000 #constraints=5260
145.05/145.11	c nbDecision=100500 #constraints=5261
145.64/145.77	c nbDecision=101000 #constraints=5261
146.34/146.42	c nbDecision=101500 #constraints=5261
147.04/147.11	c nbDecision=102000 #constraints=5262
147.54/147.64	c restart after 102401 decisions
147.74/147.84	c nbDecision=102500 #constraints=5262
148.54/148.62	c nbDecision=103000 #constraints=5262
149.24/149.40	c nbDecision=103500 #constraints=5262
150.04/150.17	c nbDecision=104000 #constraints=5262
150.84/150.94	c nbDecision=104500 #constraints=5262
151.64/151.71	c nbDecision=105000 #constraints=5262
152.34/152.47	c nbDecision=105500 #constraints=5262
153.14/153.23	c nbDecision=106000 #constraints=5262
153.84/153.99	c nbDecision=106500 #constraints=5262
154.64/154.74	c nbDecision=107000 #constraints=5262
155.34/155.49	c nbDecision=107500 #constraints=5262
156.14/156.24	c nbDecision=108000 #constraints=5262
156.84/156.98	c nbDecision=108500 #constraints=5262
157.64/157.73	c nbDecision=109000 #constraints=5262
158.34/158.47	c nbDecision=109500 #constraints=5262
159.14/159.21	c nbDecision=110000 #constraints=5262
159.84/159.95	c nbDecision=110500 #constraints=5262
160.54/160.69	c nbDecision=111000 #constraints=5262
161.34/161.41	c nbDecision=111500 #constraints=5262
162.04/162.14	c nbDecision=112000 #constraints=5262
162.74/162.87	c nbDecision=112500 #constraints=5262
163.44/163.59	c nbDecision=113000 #constraints=5262
164.24/164.30	c nbDecision=113500 #constraints=5262
164.94/165.01	c nbDecision=114000 #constraints=5262
165.64/165.73	c nbDecision=114500 #constraints=5262
166.33/166.44	c nbDecision=115000 #constraints=5262
167.04/167.15	c nbDecision=115500 #constraints=5262
167.73/167.86	c nbDecision=116000 #constraints=5262
168.43/168.55	c nbDecision=116500 #constraints=5262
169.13/169.24	c nbDecision=117000 #constraints=5262
169.83/169.94	c nbDecision=117500 #constraints=5262
170.53/170.62	c nbDecision=118000 #constraints=5262
171.23/171.31	c nbDecision=118500 #constraints=5262
171.83/171.99	c nbDecision=119000 #constraints=5262
172.54/172.67	c nbDecision=119500 #constraints=5262
173.23/173.35	c nbDecision=120000 #constraints=5262
173.93/174.02	c nbDecision=120500 #constraints=5262
174.53/174.69	c nbDecision=121000 #constraints=5262
175.23/175.37	c nbDecision=121500 #constraints=5262
175.94/176.04	c nbDecision=122000 #constraints=5262
176.53/176.70	c nbDecision=122500 #constraints=5262
177.23/177.36	c nbDecision=123000 #constraints=5262
177.93/178.02	c nbDecision=123500 #constraints=5262
178.53/178.68	c nbDecision=124000 #constraints=5262
179.23/179.34	c nbDecision=124500 #constraints=5262
179.83/180.00	c nbDecision=125000 #constraints=5262
180.53/180.66	c nbDecision=125500 #constraints=5263
181.23/181.32	c nbDecision=126000 #constraints=5263
181.83/181.98	c nbDecision=126500 #constraints=5263
182.53/182.64	c nbDecision=127000 #constraints=5263
183.23/183.33	c nbDecision=127500 #constraints=5264
183.93/184.02	c nbDecision=128000 #constraints=5264
184.63/184.72	c nbDecision=128500 #constraints=5264
185.33/185.41	c nbDecision=129000 #constraints=5264
185.93/186.09	c nbDecision=129500 #constraints=5264
186.63/186.76	c nbDecision=130000 #constraints=5264
187.33/187.43	c nbDecision=130500 #constraints=5264
188.03/188.10	c nbDecision=131000 #constraints=5264
188.63/188.77	c nbDecision=131500 #constraints=5264
189.33/189.43	c nbDecision=132000 #constraints=5264
189.93/190.08	c nbDecision=132500 #constraints=5264
190.63/190.73	c nbDecision=133000 #constraints=5264
191.23/191.39	c nbDecision=133500 #constraints=5264
191.93/192.06	c nbDecision=134000 #constraints=5266
192.63/192.74	c nbDecision=134500 #constraints=5266
193.33/193.41	c nbDecision=135000 #constraints=5266
193.93/194.08	c nbDecision=135500 #constraints=5266
194.63/194.76	c nbDecision=136000 #constraints=5266
195.33/195.43	c nbDecision=136500 #constraints=5266
196.02/196.10	c nbDecision=137000 #constraints=5266
196.62/196.76	c nbDecision=137500 #constraints=5266
197.32/197.42	c nbDecision=138000 #constraints=5266
197.93/198.09	c nbDecision=138500 #constraints=5266
198.62/198.74	c nbDecision=139000 #constraints=5266
199.32/199.41	c nbDecision=139500 #constraints=5266
199.92/200.06	c nbDecision=140000 #constraints=5266
200.62/200.75	c nbDecision=140500 #constraints=5267
201.32/201.44	c nbDecision=141000 #constraints=5267
202.02/202.12	c nbDecision=141500 #constraints=5267
202.72/202.81	c nbDecision=142000 #constraints=5267
203.33/203.49	c nbDecision=142500 #constraints=5267
204.02/204.17	c nbDecision=143000 #constraints=5267
204.72/204.84	c nbDecision=143500 #constraints=5267
205.42/205.51	c nbDecision=144000 #constraints=5267
206.02/206.18	c nbDecision=144500 #constraints=5267
206.72/206.85	c nbDecision=145000 #constraints=5267
207.42/207.51	c nbDecision=145500 #constraints=5267
208.02/208.17	c nbDecision=146000 #constraints=5267
208.72/208.81	c nbDecision=146500 #constraints=5267
209.42/209.50	c nbDecision=147000 #constraints=5268
210.02/210.18	c nbDecision=147500 #constraints=5268
210.72/210.85	c nbDecision=148000 #constraints=5268
211.42/211.53	c nbDecision=148500 #constraints=5268
212.02/212.20	c nbDecision=149000 #constraints=5268
212.72/212.86	c nbDecision=149500 #constraints=5268
213.42/213.52	c nbDecision=150000 #constraints=5268
214.02/214.19	c nbDecision=150500 #constraints=5268
214.72/214.84	c nbDecision=151000 #constraints=5268
215.32/215.50	c nbDecision=151500 #constraints=5268
216.02/216.16	c nbDecision=152000 #constraints=5268
216.72/216.81	c nbDecision=152500 #constraints=5268
217.32/217.47	c nbDecision=153000 #constraints=5269
218.02/218.12	c nbDecision=153500 #constraints=5269
218.61/218.79	c nbDecision=154000 #constraints=5269
219.31/219.45	c nbDecision=154500 #constraints=5270
220.01/220.11	c nbDecision=155000 #constraints=5270
220.61/220.77	c nbDecision=155500 #constraints=5270
221.31/221.43	c nbDecision=156000 #constraints=5270
222.02/222.12	c nbDecision=156500 #constraints=5271
222.61/222.79	c nbDecision=157000 #constraints=5271
223.31/223.46	c nbDecision=157500 #constraints=5271
224.01/224.12	c nbDecision=158000 #constraints=5271
224.61/224.78	c nbDecision=158500 #constraints=5271
225.32/225.44	c nbDecision=159000 #constraints=5271
226.01/226.10	c nbDecision=159500 #constraints=5271
226.61/226.79	c nbDecision=160000 #constraints=5272
227.31/227.47	c nbDecision=160500 #constraints=5272
228.01/228.15	c nbDecision=161000 #constraints=5272
228.71/228.82	c nbDecision=161500 #constraints=5272
229.41/229.50	c nbDecision=162000 #constraints=5272
230.01/230.17	c nbDecision=162500 #constraints=5272
230.71/230.83	c nbDecision=163000 #constraints=5272
231.31/231.49	c nbDecision=163500 #constraints=5272
232.01/232.16	c nbDecision=164000 #constraints=5272
232.71/232.81	c nbDecision=164500 #constraints=5272
233.31/233.47	c nbDecision=165000 #constraints=5272
234.01/234.12	c nbDecision=165500 #constraints=5272
234.61/234.78	c nbDecision=166000 #constraints=5272
235.31/235.47	c nbDecision=166500 #constraints=5273
236.01/236.15	c nbDecision=167000 #constraints=5273
236.71/236.83	c nbDecision=167500 #constraints=5273
237.41/237.50	c nbDecision=168000 #constraints=5273
238.01/238.17	c nbDecision=168500 #constraints=5273
238.71/238.84	c nbDecision=169000 #constraints=5273
239.41/239.52	c nbDecision=169500 #constraints=5273
240.01/240.18	c nbDecision=170000 #constraints=5273
240.71/240.85	c nbDecision=170500 #constraints=5273
241.41/241.51	c nbDecision=171000 #constraints=5273
242.01/242.17	c nbDecision=171500 #constraints=5273
242.71/242.82	c nbDecision=172000 #constraints=5273
243.40/243.50	c nbDecision=172500 #constraints=5274
244.01/244.17	c nbDecision=173000 #constraints=5274
244.70/244.83	c nbDecision=173500 #constraints=5274
245.40/245.50	c nbDecision=174000 #constraints=5274
246.00/246.16	c nbDecision=174500 #constraints=5274
246.70/246.82	c nbDecision=175000 #constraints=5274
247.31/247.48	c nbDecision=175500 #constraints=5274
248.00/248.14	c nbDecision=176000 #constraints=5274
248.70/248.81	c nbDecision=176500 #constraints=5275
249.30/249.47	c nbDecision=177000 #constraints=5275
250.00/250.12	c nbDecision=177500 #constraints=5275
250.61/250.77	c nbDecision=178000 #constraints=5275
251.30/251.43	c nbDecision=178500 #constraints=5275
251.90/252.08	c nbDecision=179000 #constraints=5275
252.60/252.77	c nbDecision=179500 #constraints=5276
253.30/253.45	c nbDecision=180000 #constraints=5276
254.01/254.13	c nbDecision=180500 #constraints=5276
254.70/254.80	c nbDecision=181000 #constraints=5276
255.30/255.48	c nbDecision=181500 #constraints=5276
256.00/256.15	c nbDecision=182000 #constraints=5276
256.70/256.81	c nbDecision=182500 #constraints=5276
257.30/257.47	c nbDecision=183000 #constraints=5276
258.00/258.14	c nbDecision=183500 #constraints=5276
258.70/258.80	c nbDecision=184000 #constraints=5276
259.30/259.46	c nbDecision=184500 #constraints=5276
260.00/260.12	c nbDecision=185000 #constraints=5276
260.70/260.80	c nbDecision=185500 #constraints=5277
261.30/261.49	c nbDecision=186000 #constraints=5277
262.00/262.17	c nbDecision=186500 #constraints=5277
262.70/262.85	c nbDecision=187000 #constraints=5277
263.40/263.53	c nbDecision=187500 #constraints=5277
264.10/264.20	c nbDecision=188000 #constraints=5277
264.69/264.87	c nbDecision=188500 #constraints=5277
265.39/265.54	c nbDecision=189000 #constraints=5277
266.00/266.20	c nbDecision=189500 #constraints=5277
266.69/266.86	c nbDecision=190000 #constraints=5277
267.39/267.52	c nbDecision=190500 #constraints=5277
267.99/268.19	c nbDecision=191000 #constraints=5278
268.69/268.87	c nbDecision=191500 #constraints=5278
269.40/269.55	c nbDecision=192000 #constraints=5278
270.09/270.22	c nbDecision=192500 #constraints=5278
270.69/270.89	c nbDecision=193000 #constraints=5278
271.39/271.55	c nbDecision=193500 #constraints=5278
272.09/272.22	c nbDecision=194000 #constraints=5278
272.69/272.88	c nbDecision=194500 #constraints=5278
273.39/273.53	c nbDecision=195000 #constraints=5278
273.99/274.19	c nbDecision=195500 #constraints=5278
274.69/274.84	c nbDecision=196000 #constraints=5278
275.39/275.50	c nbDecision=196500 #constraints=5279
275.99/276.15	c nbDecision=197000 #constraints=5279
276.69/276.80	c nbDecision=197500 #constraints=5280
277.29/277.45	c nbDecision=198000 #constraints=5280
277.99/278.12	c nbDecision=198500 #constraints=5281
278.58/278.77	c nbDecision=199000 #constraints=5281
279.29/279.43	c nbDecision=199500 #constraints=5281
279.98/280.14	c nbDecision=200000 #constraints=5282
280.68/280.82	c nbDecision=200500 #constraints=5282
281.39/281.51	c nbDecision=201000 #constraints=5282
281.98/282.19	c nbDecision=201500 #constraints=5282
282.68/282.86	c nbDecision=202000 #constraints=5282
283.38/283.54	c nbDecision=202500 #constraints=5282
284.08/284.20	c nbDecision=203000 #constraints=5282
284.69/284.87	c nbDecision=203500 #constraints=5282
285.38/285.53	c nbDecision=204000 #constraints=5282
285.98/286.19	c nbDecision=204500 #constraints=5282
286.38/286.59	c restart after 204801 decisions
286.78/286.95	c nbDecision=205000 #constraints=5282
287.58/287.73	c nbDecision=205500 #constraints=5282
288.38/288.51	c nbDecision=206000 #constraints=5282
289.09/289.28	c nbDecision=206500 #constraints=5282
289.88/290.05	c nbDecision=207000 #constraints=5282
290.68/290.82	c nbDecision=207500 #constraints=5282
291.38/291.58	c nbDecision=208000 #constraints=5282
292.18/292.34	c nbDecision=208500 #constraints=5282
292.98/293.10	c nbDecision=209000 #constraints=5282
293.68/293.85	c nbDecision=209500 #constraints=5282
294.38/294.59	c nbDecision=210000 #constraints=5282
295.18/295.34	c nbDecision=210500 #constraints=5282
295.88/296.09	c nbDecision=211000 #constraints=5282
296.68/296.83	c nbDecision=211500 #constraints=5282
297.38/297.57	c nbDecision=212000 #constraints=5282
298.18/298.31	c nbDecision=212500 #constraints=5282
298.88/299.05	c nbDecision=213000 #constraints=5282
299.58/299.78	c nbDecision=213500 #constraints=5282
300.38/300.52	c nbDecision=214000 #constraints=5282
301.08/301.24	c nbDecision=214500 #constraints=5282
301.78/301.96	c nbDecision=215000 #constraints=5282
302.48/302.68	c nbDecision=215500 #constraints=5282
303.17/303.39	c nbDecision=216000 #constraints=5282
303.97/304.10	c nbDecision=216500 #constraints=5282
304.67/304.81	c nbDecision=217000 #constraints=5282
305.37/305.52	c nbDecision=217500 #constraints=5282
306.07/306.23	c nbDecision=218000 #constraints=5282
306.78/306.94	c nbDecision=218500 #constraints=5282
307.47/307.64	c nbDecision=219000 #constraints=5282
308.17/308.33	c nbDecision=219500 #constraints=5282
308.88/309.02	c nbDecision=220000 #constraints=5282
309.57/309.70	c nbDecision=220500 #constraints=5282
310.17/310.39	c nbDecision=221000 #constraints=5282
310.87/311.07	c nbDecision=221500 #constraints=5282
311.57/311.74	c nbDecision=222000 #constraints=5282
312.28/312.42	c nbDecision=222500 #constraints=5282
312.87/313.09	c nbDecision=223000 #constraints=5282
313.57/313.77	c nbDecision=223500 #constraints=5282
314.27/314.44	c nbDecision=224000 #constraints=5282
314.97/315.11	c nbDecision=224500 #constraints=5282
315.58/315.77	c nbDecision=225000 #constraints=5282
316.27/316.43	c nbDecision=225500 #constraints=5282
316.87/317.09	c nbDecision=226000 #constraints=5282
317.57/317.75	c nbDecision=226500 #constraints=5282
318.27/318.43	c nbDecision=227000 #constraints=5282
318.87/319.08	c nbDecision=227500 #constraints=5282
319.67/319.81	c nbDecision=228000 #constraints=5283
320.37/320.56	c nbDecision=228500 #constraints=5283
321.07/321.29	c nbDecision=229000 #constraints=5283
321.87/322.03	c nbDecision=229500 #constraints=5283
322.57/322.76	c nbDecision=230000 #constraints=5283
323.27/323.48	c nbDecision=230500 #constraints=5283
324.07/324.20	c nbDecision=231000 #constraints=5283
324.77/324.93	c nbDecision=231500 #constraints=5283
325.47/325.65	c nbDecision=232000 #constraints=5283
326.17/326.36	c nbDecision=232500 #constraints=5283
326.87/327.07	c nbDecision=233000 #constraints=5283
327.57/327.78	c nbDecision=233500 #constraints=5283
328.26/328.48	c nbDecision=234000 #constraints=5283
328.96/329.18	c nbDecision=234500 #constraints=5283
329.66/329.88	c nbDecision=235000 #constraints=5283
330.36/330.57	c nbDecision=235500 #constraints=5283
331.06/331.25	c nbDecision=236000 #constraints=5283
331.76/331.94	c nbDecision=236500 #constraints=5283
332.46/332.62	c nbDecision=237000 #constraints=5283
333.17/333.30	c nbDecision=237500 #constraints=5283
333.76/333.99	c nbDecision=238000 #constraints=5283
334.47/334.66	c nbDecision=238500 #constraints=5283
335.17/335.33	c nbDecision=239000 #constraints=5283
335.87/336.01	c nbDecision=239500 #constraints=5283
336.47/336.68	c nbDecision=240000 #constraints=5283
337.17/337.35	c nbDecision=240500 #constraints=5283
337.87/338.01	c nbDecision=241000 #constraints=5283
338.47/338.68	c nbDecision=241500 #constraints=5283
339.17/339.34	c nbDecision=242000 #constraints=5283
339.77/339.99	c nbDecision=242500 #constraints=5283
340.47/340.65	c nbDecision=243000 #constraints=5283
341.17/341.31	c nbDecision=243500 #constraints=5283
341.87/342.05	c nbDecision=244000 #constraints=5284
342.57/342.79	c nbDecision=244500 #constraints=5284
343.37/343.52	c nbDecision=245000 #constraints=5284
344.07/344.24	c nbDecision=245500 #constraints=5284
344.77/344.96	c nbDecision=246000 #constraints=5284
345.47/345.68	c nbDecision=246500 #constraints=5284
346.17/346.39	c nbDecision=247000 #constraints=5284
346.97/347.10	c nbDecision=247500 #constraints=5284
347.67/347.81	c nbDecision=248000 #constraints=5284
348.37/348.52	c nbDecision=248500 #constraints=5284
349.06/349.22	c nbDecision=249000 #constraints=5284
349.76/349.92	c nbDecision=249500 #constraints=5284
350.46/350.61	c nbDecision=250000 #constraints=5284
351.16/351.30	c nbDecision=250500 #constraints=5284
351.77/351.99	c nbDecision=251000 #constraints=5284
352.46/352.67	c nbDecision=251500 #constraints=5284
353.16/353.35	c nbDecision=252000 #constraints=5284
353.86/354.03	c nbDecision=252500 #constraints=5284
354.56/354.71	c nbDecision=253000 #constraints=5284
355.17/355.39	c nbDecision=253500 #constraints=5284
355.86/356.05	c nbDecision=254000 #constraints=5284
356.56/356.73	c nbDecision=254500 #constraints=5284
357.16/357.39	c nbDecision=255000 #constraints=5284
357.86/358.06	c nbDecision=255500 #constraints=5284
358.56/358.73	c nbDecision=256000 #constraints=5284
359.16/359.39	c nbDecision=256500 #constraints=5284
359.86/360.05	c nbDecision=257000 #constraints=5284
360.57/360.71	c nbDecision=257500 #constraints=5284
361.16/361.37	c nbDecision=258000 #constraints=5284
361.86/362.09	c nbDecision=258500 #constraints=5285
362.66/362.82	c nbDecision=259000 #constraints=5285
363.36/363.56	c nbDecision=259500 #constraints=5285
364.06/364.28	c nbDecision=260000 #constraints=5285
364.86/365.00	c nbDecision=260500 #constraints=5285
365.56/365.72	c nbDecision=261000 #constraints=5285
366.26/366.44	c nbDecision=261500 #constraints=5285
366.96/367.15	c nbDecision=262000 #constraints=5285
367.66/367.86	c nbDecision=262500 #constraints=5285
368.36/368.57	c nbDecision=263000 #constraints=5285
369.06/369.27	c nbDecision=263500 #constraints=5285
369.76/369.97	c nbDecision=264000 #constraints=5285
370.46/370.66	c nbDecision=264500 #constraints=5285
371.16/371.35	c nbDecision=265000 #constraints=5285
371.86/372.05	c nbDecision=265500 #constraints=5285
372.56/372.73	c nbDecision=266000 #constraints=5285
373.26/373.42	c nbDecision=266500 #constraints=5285
373.96/374.10	c nbDecision=267000 #constraints=5285
374.56/374.78	c nbDecision=267500 #constraints=5285
375.25/375.46	c nbDecision=268000 #constraints=5285
375.96/376.13	c nbDecision=268500 #constraints=5285
376.65/376.80	c nbDecision=269000 #constraints=5285
377.25/377.47	c nbDecision=269500 #constraints=5285
377.95/378.14	c nbDecision=270000 #constraints=5285
378.65/378.81	c nbDecision=270500 #constraints=5285
379.26/379.47	c nbDecision=271000 #constraints=5285
379.95/380.14	c nbDecision=271500 #constraints=5285
380.65/380.80	c nbDecision=272000 #constraints=5285
381.25/381.46	c nbDecision=272500 #constraints=5285
381.95/382.12	c nbDecision=273000 #constraints=5285
382.65/382.87	c nbDecision=273500 #constraints=5286
383.45/383.61	c nbDecision=274000 #constraints=5286
384.15/384.35	c nbDecision=274500 #constraints=5286
384.85/385.08	c nbDecision=275000 #constraints=5286
385.55/385.79	c nbDecision=275500 #constraints=5286
386.35/386.50	c nbDecision=276000 #constraints=5286
387.05/387.21	c nbDecision=276500 #constraints=5286
387.75/387.93	c nbDecision=277000 #constraints=5286
388.45/388.64	c nbDecision=277500 #constraints=5286
389.15/389.34	c nbDecision=278000 #constraints=5286
389.85/390.04	c nbDecision=278500 #constraints=5286
390.55/390.74	c nbDecision=279000 #constraints=5286
391.25/391.44	c nbDecision=279500 #constraints=5286
391.95/392.13	c nbDecision=280000 #constraints=5286
392.65/392.82	c nbDecision=280500 #constraints=5286
393.35/393.51	c nbDecision=281000 #constraints=5286
393.95/394.19	c nbDecision=281500 #constraints=5286
394.65/394.88	c nbDecision=282000 #constraints=5286
395.35/395.55	c nbDecision=282500 #constraints=5286
396.05/396.23	c nbDecision=283000 #constraints=5286
396.75/396.91	c nbDecision=283500 #constraints=5286
397.34/397.58	c nbDecision=284000 #constraints=5286
398.05/398.26	c nbDecision=284500 #constraints=5286
398.74/398.94	c nbDecision=285000 #constraints=5286
399.44/399.61	c nbDecision=285500 #constraints=5286
400.04/400.28	c nbDecision=286000 #constraints=5286
400.74/400.94	c nbDecision=286500 #constraints=5286
401.44/401.60	c nbDecision=287000 #constraints=5286
402.04/402.26	c nbDecision=287500 #constraints=5286
402.74/402.92	c nbDecision=288000 #constraints=5286
403.45/403.65	c nbDecision=288500 #constraints=5287
404.14/404.39	c nbDecision=289000 #constraints=5287
404.94/405.13	c nbDecision=289500 #constraints=5287
405.65/405.87	c nbDecision=290000 #constraints=5287
406.44/406.61	c nbDecision=290500 #constraints=5287
407.14/407.33	c nbDecision=291000 #constraints=5287
407.85/408.05	c nbDecision=291500 #constraints=5287
408.54/408.75	c nbDecision=292000 #constraints=5287
409.24/409.46	c nbDecision=292500 #constraints=5287
409.94/410.17	c nbDecision=293000 #constraints=5287
410.64/410.87	c nbDecision=293500 #constraints=5287
411.34/411.57	c nbDecision=294000 #constraints=5287
412.04/412.28	c nbDecision=294500 #constraints=5287
412.74/412.97	c nbDecision=295000 #constraints=5287
413.44/413.67	c nbDecision=295500 #constraints=5287
414.14/414.36	c nbDecision=296000 #constraints=5287
414.84/415.04	c nbDecision=296500 #constraints=5287
415.54/415.73	c nbDecision=297000 #constraints=5287
416.24/416.42	c nbDecision=297500 #constraints=5287
416.94/417.10	c nbDecision=298000 #constraints=5287
417.54/417.78	c nbDecision=298500 #constraints=5287
418.24/418.46	c nbDecision=299000 #constraints=5287
418.94/419.14	c nbDecision=299500 #constraints=5287
419.64/419.81	c nbDecision=300000 #constraints=5287
420.24/420.49	c nbDecision=300500 #constraints=5287
420.93/421.16	c nbDecision=301000 #constraints=5287
421.63/421.83	c nbDecision=301500 #constraints=5287
422.24/422.50	c nbDecision=302000 #constraints=5287
422.93/423.16	c nbDecision=302500 #constraints=5287
423.63/423.82	c nbDecision=303000 #constraints=5287
424.23/424.48	c nbDecision=303500 #constraints=5287
424.93/425.14	c nbDecision=304000 #constraints=5287
425.63/425.89	c nbDecision=304500 #constraints=5288
426.43/426.63	c nbDecision=305000 #constraints=5288
427.13/427.37	c nbDecision=305500 #constraints=5288
427.83/428.09	c nbDecision=306000 #constraints=5288
428.63/428.81	c nbDecision=306500 #constraints=5288
429.33/429.53	c nbDecision=307000 #constraints=5288
430.03/430.23	c nbDecision=307500 #constraints=5288
430.73/430.94	c nbDecision=308000 #constraints=5288
431.43/431.64	c nbDecision=308500 #constraints=5288
432.13/432.35	c nbDecision=309000 #constraints=5288
432.83/433.05	c nbDecision=309500 #constraints=5288
433.53/433.76	c nbDecision=310000 #constraints=5288
434.23/434.46	c nbDecision=310500 #constraints=5288
434.93/435.16	c nbDecision=311000 #constraints=5288
435.63/435.85	c nbDecision=311500 #constraints=5288
436.33/436.54	c nbDecision=312000 #constraints=5288
437.03/437.23	c nbDecision=312500 #constraints=5288
437.73/437.91	c nbDecision=313000 #constraints=5288
438.33/438.59	c nbDecision=313500 #constraints=5288
439.03/439.28	c nbDecision=314000 #constraints=5288
439.73/439.97	c nbDecision=314500 #constraints=5288
440.43/440.65	c nbDecision=315000 #constraints=5288
441.13/441.33	c nbDecision=315500 #constraints=5288
441.83/442.01	c nbDecision=316000 #constraints=5288
442.43/442.68	c nbDecision=316500 #constraints=5288
443.13/443.35	c nbDecision=317000 #constraints=5288
443.83/444.02	c nbDecision=317500 #constraints=5288
444.42/444.68	c nbDecision=318000 #constraints=5288
445.12/445.34	c nbDecision=318500 #constraints=5288
445.82/446.01	c nbDecision=319000 #constraints=5288
446.43/446.66	c nbDecision=319500 #constraints=5288
447.12/447.36	c nbDecision=320000 #constraints=5289
447.82/448.09	c nbDecision=320500 #constraints=5289
448.62/448.82	c nbDecision=321000 #constraints=5289
449.32/449.55	c nbDecision=321500 #constraints=5289
450.02/450.27	c nbDecision=322000 #constraints=5289
450.72/450.99	c nbDecision=322500 #constraints=5289
451.52/451.70	c nbDecision=323000 #constraints=5289
452.22/452.41	c nbDecision=323500 #constraints=5289
452.92/453.12	c nbDecision=324000 #constraints=5289
453.62/453.82	c nbDecision=324500 #constraints=5289
454.32/454.52	c nbDecision=325000 #constraints=5289
455.02/455.23	c nbDecision=325500 #constraints=5289
455.72/455.93	c nbDecision=326000 #constraints=5289
456.42/456.62	c nbDecision=326500 #constraints=5289
457.12/457.32	c nbDecision=327000 #constraints=5289
457.81/458.01	c nbDecision=327500 #constraints=5289
458.42/458.70	c nbDecision=328000 #constraints=5289
459.11/459.38	c nbDecision=328500 #constraints=5289
459.81/460.07	c nbDecision=329000 #constraints=5289
460.51/460.75	c nbDecision=329500 #constraints=5289
461.21/461.43	c nbDecision=330000 #constraints=5289
461.91/462.12	c nbDecision=330500 #constraints=5289
462.51/462.79	c nbDecision=331000 #constraints=5289
463.21/463.47	c nbDecision=331500 #constraints=5289
463.91/464.14	c nbDecision=332000 #constraints=5289
464.61/464.81	c nbDecision=332500 #constraints=5289
465.21/465.48	c nbDecision=333000 #constraints=5289
465.91/466.14	c nbDecision=333500 #constraints=5289
466.61/466.80	c nbDecision=334000 #constraints=5289
467.21/467.46	c nbDecision=334500 #constraints=5289
467.91/468.12	c nbDecision=335000 #constraints=5289
468.61/468.87	c nbDecision=335500 #constraints=5290
469.41/469.61	c nbDecision=336000 #constraints=5290
470.11/470.34	c nbDecision=336500 #constraints=5290
470.81/471.07	c nbDecision=337000 #constraints=5290
471.51/471.79	c nbDecision=337500 #constraints=5290
472.31/472.50	c nbDecision=338000 #constraints=5290
473.01/473.22	c nbDecision=338500 #constraints=5290
473.71/473.93	c nbDecision=339000 #constraints=5290
474.41/474.64	c nbDecision=339500 #constraints=5290
475.11/475.35	c nbDecision=340000 #constraints=5290
475.81/476.05	c nbDecision=340500 #constraints=5290
476.51/476.75	c nbDecision=341000 #constraints=5290
477.21/477.45	c nbDecision=341500 #constraints=5290
477.91/478.15	c nbDecision=342000 #constraints=5290
478.61/478.85	c nbDecision=342500 #constraints=5290
479.31/479.54	c nbDecision=343000 #constraints=5290
480.01/480.23	c nbDecision=343500 #constraints=5290
480.70/480.93	c nbDecision=344000 #constraints=5290
481.40/481.62	c nbDecision=344500 #constraints=5290
482.10/482.30	c nbDecision=345000 #constraints=5290
482.71/482.98	c nbDecision=345500 #constraints=5290
483.40/483.66	c nbDecision=346000 #constraints=5290
484.10/484.34	c nbDecision=346500 #constraints=5290
484.81/485.02	c nbDecision=347000 #constraints=5290
485.50/485.70	c nbDecision=347500 #constraints=5290
486.10/486.37	c nbDecision=348000 #constraints=5290
486.80/487.04	c nbDecision=348500 #constraints=5290
487.50/487.70	c nbDecision=349000 #constraints=5290
488.10/488.36	c nbDecision=349500 #constraints=5290
488.80/489.01	c nbDecision=350000 #constraints=5290
489.40/489.66	c nbDecision=350500 #constraints=5290
490.10/490.37	c nbDecision=351000 #constraints=5291
490.90/491.10	c nbDecision=351500 #constraints=5291
491.60/491.84	c nbDecision=352000 #constraints=5291
492.30/492.57	c nbDecision=352500 #constraints=5291
493.00/493.29	c nbDecision=353000 #constraints=5291
493.80/494.02	c nbDecision=353500 #constraints=5291
494.50/494.73	c nbDecision=354000 #constraints=5291
495.20/495.45	c nbDecision=354500 #constraints=5291
495.90/496.15	c nbDecision=355000 #constraints=5291
496.60/496.85	c nbDecision=355500 #constraints=5291
497.30/497.56	c nbDecision=356000 #constraints=5291
498.00/498.26	c nbDecision=356500 #constraints=5291
498.70/498.97	c nbDecision=357000 #constraints=5291
499.40/499.68	c nbDecision=357500 #constraints=5291
500.09/500.38	c nbDecision=358000 #constraints=5291
500.79/501.08	c nbDecision=358500 #constraints=5291
501.49/501.78	c nbDecision=359000 #constraints=5291
502.19/502.47	c nbDecision=359500 #constraints=5291
502.89/503.16	c nbDecision=360000 #constraints=5291
503.60/503.84	c nbDecision=360500 #constraints=5291
504.29/504.53	c nbDecision=361000 #constraints=5291
504.99/505.20	c nbDecision=361500 #constraints=5291
505.59/505.88	c nbDecision=362000 #constraints=5291
506.29/506.56	c nbDecision=362500 #constraints=5291
506.99/507.24	c nbDecision=363000 #constraints=5291
507.69/507.91	c nbDecision=363500 #constraints=5291
508.29/508.57	c nbDecision=364000 #constraints=5291
508.99/509.23	c nbDecision=364500 #constraints=5291
509.59/509.89	c nbDecision=365000 #constraints=5291
510.29/510.54	c nbDecision=365500 #constraints=5291
510.89/511.19	c nbDecision=366000 #constraints=5291
511.59/511.84	c nbDecision=366500 #constraints=5291
512.29/512.59	c nbDecision=367000 #constraints=5292
513.09/513.32	c nbDecision=367500 #constraints=5292
513.79/514.04	c nbDecision=368000 #constraints=5292
514.49/514.77	c nbDecision=368500 #constraints=5292
515.19/515.48	c nbDecision=369000 #constraints=5292
515.88/516.18	c nbDecision=369500 #constraints=5292
516.58/516.89	c nbDecision=370000 #constraints=5292
517.38/517.60	c nbDecision=370500 #constraints=5292
518.08/518.31	c nbDecision=371000 #constraints=5292
518.78/519.02	c nbDecision=371500 #constraints=5292
519.48/519.73	c nbDecision=372000 #constraints=5292
520.18/520.44	c nbDecision=372500 #constraints=5292
520.88/521.14	c nbDecision=373000 #constraints=5292
521.58/521.84	c nbDecision=373500 #constraints=5292
522.29/522.54	c nbDecision=374000 #constraints=5292
522.98/523.22	c nbDecision=374500 #constraints=5292
523.68/523.91	c nbDecision=375000 #constraints=5292
524.39/524.60	c nbDecision=375500 #constraints=5292
524.98/525.29	c nbDecision=376000 #constraints=5292
525.68/525.97	c nbDecision=376500 #constraints=5292
526.38/526.66	c nbDecision=377000 #constraints=5292
527.08/527.34	c nbDecision=377500 #constraints=5292
527.78/528.02	c nbDecision=378000 #constraints=5292
528.38/528.69	c nbDecision=378500 #constraints=5292
529.08/529.35	c nbDecision=379000 #constraints=5292
529.78/530.01	c nbDecision=379500 #constraints=5292
530.38/530.67	c nbDecision=380000 #constraints=5292
531.08/531.33	c nbDecision=380500 #constraints=5292
531.68/531.98	c nbDecision=381000 #constraints=5292
532.38/532.63	c nbDecision=381500 #constraints=5292
533.08/533.36	c nbDecision=382000 #constraints=5293
533.78/534.09	c nbDecision=382500 #constraints=5293
534.58/534.82	c nbDecision=383000 #constraints=5293
535.28/535.55	c nbDecision=383500 #constraints=5293
535.98/536.27	c nbDecision=384000 #constraints=5293
536.68/536.98	c nbDecision=384500 #constraints=5293
537.38/537.69	c nbDecision=385000 #constraints=5293
538.18/538.41	c nbDecision=385500 #constraints=5293
538.88/539.12	c nbDecision=386000 #constraints=5293
539.57/539.82	c nbDecision=386500 #constraints=5293
540.27/540.53	c nbDecision=387000 #constraints=5293
540.98/541.24	c nbDecision=387500 #constraints=5293
541.67/541.95	c nbDecision=388000 #constraints=5293
542.37/542.65	c nbDecision=388500 #constraints=5293
543.08/543.34	c nbDecision=389000 #constraints=5293
543.77/544.03	c nbDecision=389500 #constraints=5293
544.47/544.72	c nbDecision=390000 #constraints=5293
545.17/545.41	c nbDecision=390500 #constraints=5293
545.77/546.09	c nbDecision=391000 #constraints=5293
546.48/546.77	c nbDecision=391500 #constraints=5293
547.17/547.45	c nbDecision=392000 #constraints=5293
547.87/548.13	c nbDecision=392500 #constraints=5293
548.47/548.80	c nbDecision=393000 #constraints=5293
549.17/549.47	c nbDecision=393500 #constraints=5293
549.87/550.13	c nbDecision=394000 #constraints=5293
550.47/550.79	c nbDecision=394500 #constraints=5293
551.17/551.45	c nbDecision=395000 #constraints=5293
551.87/552.11	c nbDecision=395500 #constraints=5293
552.47/552.76	c nbDecision=396000 #constraints=5293
553.17/553.41	c nbDecision=396500 #constraints=5293
553.87/554.13	c nbDecision=397000 #constraints=5294
554.57/554.87	c nbDecision=397500 #constraints=5294
555.37/555.60	c nbDecision=398000 #constraints=5294
556.07/556.33	c nbDecision=398500 #constraints=5294
556.77/557.06	c nbDecision=399000 #constraints=5294
557.47/557.77	c nbDecision=399500 #constraints=5294
558.17/558.49	c nbDecision=400000 #constraints=5294
558.97/559.21	c nbDecision=400500 #constraints=5294
559.67/559.92	c nbDecision=401000 #constraints=5294
560.37/560.63	c nbDecision=401500 #constraints=5294
561.07/561.34	c nbDecision=402000 #constraints=5294
561.77/562.04	c nbDecision=402500 #constraints=5294
562.47/562.76	c nbDecision=403000 #constraints=5294
563.17/563.46	c nbDecision=403500 #constraints=5294
563.87/564.16	c nbDecision=404000 #constraints=5294
564.57/564.86	c nbDecision=404500 #constraints=5294
565.27/565.55	c nbDecision=405000 #constraints=5294
565.96/566.23	c nbDecision=405500 #constraints=5294
566.66/566.92	c nbDecision=406000 #constraints=5294
567.37/567.61	c nbDecision=406500 #constraints=5294
567.97/568.29	c nbDecision=407000 #constraints=5294
568.67/568.97	c nbDecision=407500 #constraints=5294
569.37/569.65	c nbDecision=408000 #constraints=5294
570.07/570.32	c nbDecision=408500 #constraints=5294
570.68/570.99	c nbDecision=409000 #constraints=5294
571.37/571.65	c nbDecision=409500 #constraints=5294
571.47/571.79	c restart after 409601 decisions
572.17/572.45	c nbDecision=410000 #constraints=5294
572.97/573.21	c nbDecision=410500 #constraints=5294
573.67/573.97	c nbDecision=411000 #constraints=5294
574.47/574.74	c nbDecision=411500 #constraints=5294
575.27/575.51	c nbDecision=412000 #constraints=5294
575.97/576.27	c nbDecision=412500 #constraints=5294
576.77/577.03	c nbDecision=413000 #constraints=5294
577.47/577.79	c nbDecision=413500 #constraints=5294
578.27/578.55	c nbDecision=414000 #constraints=5294
579.07/579.31	c nbDecision=414500 #constraints=5294
579.77/580.07	c nbDecision=415000 #constraints=5294
580.57/580.82	c nbDecision=415500 #constraints=5294
581.27/581.56	c nbDecision=416000 #constraints=5294
582.07/582.31	c nbDecision=416500 #constraints=5294
582.77/583.05	c nbDecision=417000 #constraints=5294
583.47/583.79	c nbDecision=417500 #constraints=5294
584.27/584.53	c nbDecision=418000 #constraints=5294
584.97/585.27	c nbDecision=418500 #constraints=5294
585.67/585.99	c nbDecision=419000 #constraints=5294
586.47/586.71	c nbDecision=419500 #constraints=5294
587.17/587.44	c nbDecision=420000 #constraints=5294
587.87/588.15	c nbDecision=420500 #constraints=5294
588.57/588.86	c nbDecision=421000 #constraints=5294
589.27/589.57	c nbDecision=421500 #constraints=5294
589.96/590.27	c nbDecision=422000 #constraints=5294
590.66/590.97	c nbDecision=422500 #constraints=5294
591.36/591.67	c nbDecision=423000 #constraints=5294
592.06/592.38	c nbDecision=423500 #constraints=5294
592.76/593.07	c nbDecision=424000 #constraints=5294
593.46/593.76	c nbDecision=424500 #constraints=5294
594.16/594.45	c nbDecision=425000 #constraints=5294
594.87/595.13	c nbDecision=425500 #constraints=5294
595.56/595.81	c nbDecision=426000 #constraints=5294
596.16/596.50	c nbDecision=426500 #constraints=5294
596.86/597.17	c nbDecision=427000 #constraints=5294
597.56/597.85	c nbDecision=427500 #constraints=5294
598.26/598.54	c nbDecision=428000 #constraints=5294
598.96/599.22	c nbDecision=428500 #constraints=5294
599.56/599.89	c nbDecision=429000 #constraints=5294
600.26/600.57	c nbDecision=429500 #constraints=5294
600.96/601.24	c nbDecision=430000 #constraints=5294
601.66/601.91	c nbDecision=430500 #constraints=5294
602.26/602.57	c nbDecision=431000 #constraints=5294
602.96/603.22	c nbDecision=431500 #constraints=5294
603.56/603.88	c nbDecision=432000 #constraints=5294
604.26/604.54	c nbDecision=432500 #constraints=5294
605.06/605.31	c nbDecision=433000 #constraints=5295
605.76/606.05	c nbDecision=433500 #constraints=5295
606.46/606.79	c nbDecision=434000 #constraints=5295
607.26/607.52	c nbDecision=434500 #constraints=5295
607.96/608.25	c nbDecision=435000 #constraints=5295
608.66/608.96	c nbDecision=435500 #constraints=5295
609.36/609.68	c nbDecision=436000 #constraints=5295
610.06/610.38	c nbDecision=436500 #constraints=5295
610.76/611.09	c nbDecision=437000 #constraints=5295
611.46/611.79	c nbDecision=437500 #constraints=5295
612.15/612.49	c nbDecision=438000 #constraints=5295
612.85/613.19	c nbDecision=438500 #constraints=5295
613.56/613.89	c nbDecision=439000 #constraints=5295
614.25/614.59	c nbDecision=439500 #constraints=5295
614.95/615.28	c nbDecision=440000 #constraints=5295
615.66/615.97	c nbDecision=440500 #constraints=5295
616.36/616.66	c nbDecision=441000 #constraints=5295
617.05/617.34	c nbDecision=441500 #constraints=5295
617.75/618.02	c nbDecision=442000 #constraints=5295
618.45/618.71	c nbDecision=442500 #constraints=5295
619.05/619.39	c nbDecision=443000 #constraints=5295
619.75/620.07	c nbDecision=443500 #constraints=5295
620.45/620.75	c nbDecision=444000 #constraints=5295
621.15/621.43	c nbDecision=444500 #constraints=5295
621.85/622.10	c nbDecision=445000 #constraints=5295
622.45/622.77	c nbDecision=445500 #constraints=5295
623.15/623.44	c nbDecision=446000 #constraints=5295
623.85/624.10	c nbDecision=446500 #constraints=5295
624.45/624.76	c nbDecision=447000 #constraints=5295
625.15/625.43	c nbDecision=447500 #constraints=5295
625.75/626.08	c nbDecision=448000 #constraints=5295
626.55/626.83	c nbDecision=448500 #constraints=5296
627.25/627.57	c nbDecision=449000 #constraints=5296
628.04/628.30	c nbDecision=449500 #constraints=5296
628.74/629.02	c nbDecision=450000 #constraints=5296
629.44/629.74	c nbDecision=450500 #constraints=5296
630.14/630.46	c nbDecision=451000 #constraints=5296
630.84/631.18	c nbDecision=451500 #constraints=5296
631.54/631.89	c nbDecision=452000 #constraints=5296
632.25/632.59	c nbDecision=452500 #constraints=5296
633.04/633.30	c nbDecision=453000 #constraints=5296
633.64/634.00	c nbDecision=453500 #constraints=5296
634.35/634.69	c nbDecision=454000 #constraints=5296
635.04/635.39	c nbDecision=454500 #constraints=5296
635.74/636.09	c nbDecision=455000 #constraints=5296
636.44/636.78	c nbDecision=455500 #constraints=5296
637.14/637.48	c nbDecision=456000 #constraints=5296
637.84/638.16	c nbDecision=456500 #constraints=5296
638.54/638.85	c nbDecision=457000 #constraints=5296
639.24/639.54	c nbDecision=457500 #constraints=5296
639.94/640.22	c nbDecision=458000 #constraints=5296
640.64/640.91	c nbDecision=458500 #constraints=5296
641.24/641.58	c nbDecision=459000 #constraints=5296
641.94/642.27	c nbDecision=459500 #constraints=5296
642.64/642.95	c nbDecision=460000 #constraints=5296
643.34/643.62	c nbDecision=460500 #constraints=5296
643.94/644.29	c nbDecision=461000 #constraints=5296
644.64/644.95	c nbDecision=461500 #constraints=5296
645.34/645.62	c nbDecision=462000 #constraints=5296
645.94/646.28	c nbDecision=462500 #constraints=5296
646.64/646.94	c nbDecision=463000 #constraints=5296
647.34/647.60	c nbDecision=463500 #constraints=5296
648.04/648.32	c nbDecision=464000 #constraints=5297
648.74/649.06	c nbDecision=464500 #constraints=5297
649.44/649.79	c nbDecision=465000 #constraints=5297
650.24/650.52	c nbDecision=465500 #constraints=5297
650.94/651.25	c nbDecision=466000 #constraints=5297
651.63/651.97	c nbDecision=466500 #constraints=5297
652.33/652.69	c nbDecision=467000 #constraints=5297
653.04/653.40	c nbDecision=467500 #constraints=5297
653.83/654.10	c nbDecision=468000 #constraints=5297
654.53/654.81	c nbDecision=468500 #constraints=5297
655.24/655.51	c nbDecision=469000 #constraints=5297
655.93/656.21	c nbDecision=469500 #constraints=5297
656.63/656.91	c nbDecision=470000 #constraints=5297
657.33/657.61	c nbDecision=470500 #constraints=5297
658.03/658.31	c nbDecision=471000 #constraints=5297
658.73/659.01	c nbDecision=471500 #constraints=5297
659.43/659.70	c nbDecision=472000 #constraints=5297
660.03/660.39	c nbDecision=472500 #constraints=5297
660.73/661.07	c nbDecision=473000 #constraints=5297
661.43/661.76	c nbDecision=473500 #constraints=5297
662.13/662.44	c nbDecision=474000 #constraints=5297
662.83/663.12	c nbDecision=474500 #constraints=5297
663.53/663.80	c nbDecision=475000 #constraints=5297
664.13/664.47	c nbDecision=475500 #constraints=5297
664.83/665.14	c nbDecision=476000 #constraints=5297
665.53/665.81	c nbDecision=476500 #constraints=5297
666.13/666.48	c nbDecision=477000 #constraints=5297
666.83/667.15	c nbDecision=477500 #constraints=5297
667.53/667.81	c nbDecision=478000 #constraints=5297
668.13/668.47	c nbDecision=478500 #constraints=5297
668.83/669.12	c nbDecision=479000 #constraints=5297
669.53/669.82	c nbDecision=479500 #constraints=5298
670.23/670.56	c nbDecision=480000 #constraints=5298
670.93/671.29	c nbDecision=480500 #constraints=5298
671.73/672.02	c nbDecision=481000 #constraints=5298
672.43/672.75	c nbDecision=481500 #constraints=5298
673.13/673.48	c nbDecision=482000 #constraints=5298
673.83/674.20	c nbDecision=482500 #constraints=5298
674.63/674.92	c nbDecision=483000 #constraints=5298
675.33/675.63	c nbDecision=483500 #constraints=5298
676.03/676.35	c nbDecision=484000 #constraints=5298
676.73/677.04	c nbDecision=484500 #constraints=5298
677.43/677.75	c nbDecision=485000 #constraints=5298
678.12/678.46	c nbDecision=485500 #constraints=5298
678.82/679.16	c nbDecision=486000 #constraints=5298
679.53/679.87	c nbDecision=486500 #constraints=5298
680.22/680.57	c nbDecision=487000 #constraints=5298
680.92/681.27	c nbDecision=487500 #constraints=5298
681.63/681.96	c nbDecision=488000 #constraints=5298
682.32/682.65	c nbDecision=488500 #constraints=5298
683.02/683.34	c nbDecision=489000 #constraints=5298
683.72/684.02	c nbDecision=489500 #constraints=5298
684.42/684.71	c nbDecision=490000 #constraints=5298
685.03/685.39	c nbDecision=490500 #constraints=5298
685.72/686.07	c nbDecision=491000 #constraints=5298
686.42/686.75	c nbDecision=491500 #constraints=5298
687.12/687.42	c nbDecision=492000 #constraints=5298
687.72/688.10	c nbDecision=492500 #constraints=5298
688.42/688.75	c nbDecision=493000 #constraints=5298
689.12/689.41	c nbDecision=493500 #constraints=5298
689.72/690.07	c nbDecision=494000 #constraints=5298
690.42/690.72	c nbDecision=494500 #constraints=5298
691.02/691.37	c nbDecision=495000 #constraints=5298
691.82/692.11	c nbDecision=495500 #constraints=5299
692.52/692.85	c nbDecision=496000 #constraints=5299
693.32/693.60	c nbDecision=496500 #constraints=5299
694.02/694.35	c nbDecision=497000 #constraints=5299
694.72/695.09	c nbDecision=497500 #constraints=5299
695.52/695.83	c nbDecision=498000 #constraints=5299
696.22/696.55	c nbDecision=498500 #constraints=5299
696.92/697.28	c nbDecision=499000 #constraints=5299
697.72/698.01	c nbDecision=499500 #constraints=5299
698.41/698.75	c nbDecision=500000 #constraints=5299
699.11/699.47	c nbDecision=500500 #constraints=5299
699.91/700.20	c nbDecision=501000 #constraints=5299
700.61/700.91	c nbDecision=501500 #constraints=5299
701.31/701.63	c nbDecision=502000 #constraints=5299
702.01/702.35	c nbDecision=502500 #constraints=5299
702.71/703.06	c nbDecision=503000 #constraints=5299
703.41/703.77	c nbDecision=503500 #constraints=5299
704.11/704.48	c nbDecision=504000 #constraints=5299
704.81/705.17	c nbDecision=504500 #constraints=5299
705.51/705.87	c nbDecision=505000 #constraints=5299
706.21/706.57	c nbDecision=505500 #constraints=5299
706.91/707.26	c nbDecision=506000 #constraints=5299
707.61/707.95	c nbDecision=506500 #constraints=5299
708.31/708.63	c nbDecision=507000 #constraints=5299
709.01/709.31	c nbDecision=507500 #constraints=5299
709.61/709.99	c nbDecision=508000 #constraints=5299
710.31/710.66	c nbDecision=508500 #constraints=5299
711.01/711.34	c nbDecision=509000 #constraints=5299
711.71/712.01	c nbDecision=509500 #constraints=5299
712.31/712.68	c nbDecision=510000 #constraints=5299
713.01/713.34	c nbDecision=510500 #constraints=5299
713.70/714.00	c nbDecision=511000 #constraints=5299
714.30/714.66	c nbDecision=511500 #constraints=5299
715.00/715.32	c nbDecision=512000 #constraints=5299
715.60/715.97	c nbDecision=512500 #constraints=5299
716.30/716.62	c nbDecision=513000 #constraints=5299
716.91/717.27	c nbDecision=513500 #constraints=5299
717.70/718.03	c nbDecision=514000 #constraints=5300
718.40/718.76	c nbDecision=514500 #constraints=5300
719.20/719.50	c nbDecision=515000 #constraints=5300
719.90/720.24	c nbDecision=515500 #constraints=5300
720.60/720.97	c nbDecision=516000 #constraints=5300
721.40/721.70	c nbDecision=516500 #constraints=5300
722.10/722.43	c nbDecision=517000 #constraints=5300
722.80/723.15	c nbDecision=517500 #constraints=5300
723.50/723.86	c nbDecision=518000 #constraints=5300
724.20/724.57	c nbDecision=518500 #constraints=5300
724.90/725.28	c nbDecision=519000 #constraints=5300
725.60/725.98	c nbDecision=519500 #constraints=5300
726.30/726.69	c nbDecision=520000 #constraints=5300
727.10/727.40	c nbDecision=520500 #constraints=5300
727.70/728.10	c nbDecision=521000 #constraints=5300
728.40/728.79	c nbDecision=521500 #constraints=5300
729.10/729.47	c nbDecision=522000 #constraints=5300
729.80/730.15	c nbDecision=522500 #constraints=5300
730.50/730.83	c nbDecision=523000 #constraints=5300
731.20/731.51	c nbDecision=523500 #constraints=5300
731.80/732.18	c nbDecision=524000 #constraints=5300
732.50/732.85	c nbDecision=524500 #constraints=5300
733.20/733.53	c nbDecision=525000 #constraints=5300
733.90/734.20	c nbDecision=525500 #constraints=5300
734.50/734.87	c nbDecision=526000 #constraints=5300
735.19/735.53	c nbDecision=526500 #constraints=5300
735.79/736.19	c nbDecision=527000 #constraints=5300
736.49/736.85	c nbDecision=527500 #constraints=5300
737.19/737.51	c nbDecision=528000 #constraints=5300
737.80/738.16	c nbDecision=528500 #constraints=5300
738.49/738.82	c nbDecision=529000 #constraints=5300
739.19/739.54	c nbDecision=529500 #constraints=5301
739.90/740.28	c nbDecision=530000 #constraints=5301
740.69/741.02	c nbDecision=530500 #constraints=5301
741.39/741.75	c nbDecision=531000 #constraints=5301
742.09/742.48	c nbDecision=531500 #constraints=5301
742.89/743.21	c nbDecision=532000 #constraints=5301
743.59/743.93	c nbDecision=532500 #constraints=5301
744.29/744.65	c nbDecision=533000 #constraints=5301
744.99/745.37	c nbDecision=533500 #constraints=5301
745.69/746.08	c nbDecision=534000 #constraints=5301
746.39/746.78	c nbDecision=534500 #constraints=5301
747.09/747.49	c nbDecision=535000 #constraints=5301
747.89/748.20	c nbDecision=535500 #constraints=5301
748.49/748.89	c nbDecision=536000 #constraints=5301
749.19/749.58	c nbDecision=536500 #constraints=5301
749.89/750.28	c nbDecision=537000 #constraints=5301
750.59/750.95	c nbDecision=537500 #constraints=5301
751.29/751.64	c nbDecision=538000 #constraints=5301
751.99/752.32	c nbDecision=538500 #constraints=5301
752.69/753.00	c nbDecision=539000 #constraints=5301
753.29/753.67	c nbDecision=539500 #constraints=5301
753.99/754.34	c nbDecision=540000 #constraints=5301
754.69/755.01	c nbDecision=540500 #constraints=5301
755.29/755.68	c nbDecision=541000 #constraints=5301
755.99/756.34	c nbDecision=541500 #constraints=5301
756.68/757.01	c nbDecision=542000 #constraints=5301
757.28/757.67	c nbDecision=542500 #constraints=5301
757.98/758.32	c nbDecision=543000 #constraints=5301
758.59/758.98	c nbDecision=543500 #constraints=5301
759.28/759.64	c nbDecision=544000 #constraints=5301
759.98/760.30	c nbDecision=544500 #constraints=5301
760.68/761.07	c nbDecision=545000 #constraints=5302
761.48/761.81	c nbDecision=545500 #constraints=5302
762.18/762.56	c nbDecision=546000 #constraints=5302
762.88/763.30	c nbDecision=546500 #constraints=5302
763.68/764.02	c nbDecision=547000 #constraints=5302
764.38/764.76	c nbDecision=547500 #constraints=5302
765.08/765.48	c nbDecision=548000 #constraints=5302
765.88/766.20	c nbDecision=548500 #constraints=5302
766.58/766.92	c nbDecision=549000 #constraints=5302
767.28/767.63	c nbDecision=549500 #constraints=5302
767.98/768.35	c nbDecision=550000 #constraints=5302
768.68/769.05	c nbDecision=550500 #constraints=5302
769.38/769.75	c nbDecision=551000 #constraints=5302
770.08/770.45	c nbDecision=551500 #constraints=5302
770.78/771.14	c nbDecision=552000 #constraints=5302
771.48/771.83	c nbDecision=552500 #constraints=5302
772.18/772.51	c nbDecision=553000 #constraints=5302
772.78/773.20	c nbDecision=553500 #constraints=5302
773.48/773.88	c nbDecision=554000 #constraints=5302
774.18/774.56	c nbDecision=554500 #constraints=5302
774.88/775.24	c nbDecision=555000 #constraints=5302
775.58/775.91	c nbDecision=555500 #constraints=5302
776.18/776.59	c nbDecision=556000 #constraints=5302
776.88/777.26	c nbDecision=556500 #constraints=5302
777.57/777.92	c nbDecision=557000 #constraints=5302
778.17/778.60	c nbDecision=557500 #constraints=5302
778.87/779.26	c nbDecision=558000 #constraints=5302
779.58/779.93	c nbDecision=558500 #constraints=5302
780.17/780.59	c nbDecision=559000 #constraints=5302
780.87/781.26	c nbDecision=559500 #constraints=5302
781.57/781.91	c nbDecision=560000 #constraints=5302
782.27/782.63	c nbDecision=560500 #constraints=5303
782.97/783.38	c nbDecision=561000 #constraints=5303
783.77/784.11	c nbDecision=561500 #constraints=5303
784.47/784.84	c nbDecision=562000 #constraints=5303
785.17/785.57	c nbDecision=562500 #constraints=5303
785.97/786.30	c nbDecision=563000 #constraints=5303
786.67/787.03	c nbDecision=563500 #constraints=5303
787.37/787.75	c nbDecision=564000 #constraints=5303
788.07/788.45	c nbDecision=564500 #constraints=5303
788.77/789.16	c nbDecision=565000 #constraints=5303
789.47/789.86	c nbDecision=565500 #constraints=5303
790.17/790.56	c nbDecision=566000 #constraints=5303
790.87/791.25	c nbDecision=566500 #constraints=5303
791.57/791.95	c nbDecision=567000 #constraints=5303
792.27/792.65	c nbDecision=567500 #constraints=5303
792.97/793.34	c nbDecision=568000 #constraints=5303
793.67/794.03	c nbDecision=568500 #constraints=5303
794.37/794.72	c nbDecision=569000 #constraints=5303
795.07/795.40	c nbDecision=569500 #constraints=5303
795.67/796.07	c nbDecision=570000 #constraints=5303
796.36/796.75	c nbDecision=570500 #constraints=5303
797.07/797.43	c nbDecision=571000 #constraints=5303
797.76/798.10	c nbDecision=571500 #constraints=5303
798.36/798.78	c nbDecision=572000 #constraints=5303
799.06/799.46	c nbDecision=572500 #constraints=5303
799.76/800.13	c nbDecision=573000 #constraints=5303
800.37/800.80	c nbDecision=573500 #constraints=5303
801.06/801.47	c nbDecision=574000 #constraints=5303
801.76/802.13	c nbDecision=574500 #constraints=5303
802.36/802.79	c nbDecision=575000 #constraints=5303
803.06/803.45	c nbDecision=575500 #constraints=5303
803.76/804.11	c nbDecision=576000 #constraints=5303
804.46/804.86	c nbDecision=576500 #constraints=5304
805.26/805.60	c nbDecision=577000 #constraints=5304
805.96/806.33	c nbDecision=577500 #constraints=5304
806.66/807.07	c nbDecision=578000 #constraints=5304
807.36/807.79	c nbDecision=578500 #constraints=5304
808.16/808.52	c nbDecision=579000 #constraints=5304
808.86/809.23	c nbDecision=579500 #constraints=5304
809.55/809.94	c nbDecision=580000 #constraints=5304
810.26/810.64	c nbDecision=580500 #constraints=5304
810.95/811.35	c nbDecision=581000 #constraints=5304
811.65/812.05	c nbDecision=581500 #constraints=5304
812.35/812.75	c nbDecision=582000 #constraints=5304
813.05/813.45	c nbDecision=582500 #constraints=5304
813.75/814.14	c nbDecision=583000 #constraints=5304
814.45/814.84	c nbDecision=583500 #constraints=5304
815.15/815.52	c nbDecision=584000 #constraints=5304
815.86/816.21	c nbDecision=584500 #constraints=5304
816.45/816.89	c nbDecision=585000 #constraints=5304
817.15/817.57	c nbDecision=585500 #constraints=5304
817.85/818.24	c nbDecision=586000 #constraints=5304
818.55/818.93	c nbDecision=586500 #constraints=5304
819.25/819.61	c nbDecision=587000 #constraints=5304
819.85/820.28	c nbDecision=587500 #constraints=5304
820.55/820.95	c nbDecision=588000 #constraints=5304
821.25/821.62	c nbDecision=588500 #constraints=5304
821.85/822.29	c nbDecision=589000 #constraints=5304
822.55/822.95	c nbDecision=589500 #constraints=5304
823.25/823.61	c nbDecision=590000 #constraints=5304
823.85/824.27	c nbDecision=590500 #constraints=5304
824.55/824.93	c nbDecision=591000 #constraints=5304
825.25/825.67	c nbDecision=591500 #constraints=5305
826.05/826.41	c nbDecision=592000 #constraints=5305
826.75/827.14	c nbDecision=592500 #constraints=5305
827.45/827.88	c nbDecision=593000 #constraints=5305
828.25/828.60	c nbDecision=593500 #constraints=5305
828.95/829.32	c nbDecision=594000 #constraints=5305
829.65/830.03	c nbDecision=594500 #constraints=5305
830.35/830.74	c nbDecision=595000 #constraints=5305
831.04/831.45	c nbDecision=595500 #constraints=5305
831.74/832.15	c nbDecision=596000 #constraints=5305
832.44/832.85	c nbDecision=596500 #constraints=5305
833.14/833.56	c nbDecision=597000 #constraints=5305
833.84/834.27	c nbDecision=597500 #constraints=5305
834.55/834.97	c nbDecision=598000 #constraints=5305
835.24/835.66	c nbDecision=598500 #constraints=5305
835.94/836.36	c nbDecision=599000 #constraints=5305
836.65/837.05	c nbDecision=599500 #constraints=5305
837.34/837.74	c nbDecision=600000 #constraints=5305
838.04/838.42	c nbDecision=600500 #constraints=5305
838.74/839.11	c nbDecision=601000 #constraints=5305
839.34/839.79	c nbDecision=601500 #constraints=5305
840.04/840.47	c nbDecision=602000 #constraints=5305
840.74/841.15	c nbDecision=602500 #constraints=5305
841.44/841.83	c nbDecision=603000 #constraints=5305
842.14/842.51	c nbDecision=603500 #constraints=5305
842.74/843.17	c nbDecision=604000 #constraints=5305
843.44/843.84	c nbDecision=604500 #constraints=5305
844.14/844.51	c nbDecision=605000 #constraints=5305
844.74/845.17	c nbDecision=605500 #constraints=5305
845.44/845.83	c nbDecision=606000 #constraints=5305
846.04/846.49	c nbDecision=606500 #constraints=5305
846.74/847.19	c nbDecision=607000 #constraints=5306
847.54/847.93	c nbDecision=607500 #constraints=5306
848.24/848.66	c nbDecision=608000 #constraints=5306
848.94/849.39	c nbDecision=608500 #constraints=5306
849.74/850.11	c nbDecision=609000 #constraints=5306
850.44/850.83	c nbDecision=609500 #constraints=5306
851.14/851.55	c nbDecision=610000 #constraints=5306
851.84/852.26	c nbDecision=610500 #constraints=5306
852.54/852.97	c nbDecision=611000 #constraints=5306
853.24/853.67	c nbDecision=611500 #constraints=5306
853.94/854.38	c nbDecision=612000 #constraints=5306
854.64/855.08	c nbDecision=612500 #constraints=5306
855.34/855.78	c nbDecision=613000 #constraints=5306
856.03/856.47	c nbDecision=613500 #constraints=5306
856.73/857.17	c nbDecision=614000 #constraints=5306
857.43/857.86	c nbDecision=614500 #constraints=5306
858.13/858.56	c nbDecision=615000 #constraints=5306
858.83/859.25	c nbDecision=615500 #constraints=5306
859.53/859.93	c nbDecision=616000 #constraints=5306
860.23/860.62	c nbDecision=616500 #constraints=5306
860.94/861.31	c nbDecision=617000 #constraints=5306
861.53/861.99	c nbDecision=617500 #constraints=5306
862.23/862.68	c nbDecision=618000 #constraints=5306
862.93/863.35	c nbDecision=618500 #constraints=5306
863.63/864.02	c nbDecision=619000 #constraints=5306
864.24/864.69	c nbDecision=619500 #constraints=5306
864.94/865.36	c nbDecision=620000 #constraints=5306
865.64/866.03	c nbDecision=620500 #constraints=5306
866.24/866.69	c nbDecision=621000 #constraints=5306
866.94/867.35	c nbDecision=621500 #constraints=5306
867.64/868.01	c nbDecision=622000 #constraints=5306
868.24/868.66	c nbDecision=622500 #constraints=5306
869.04/869.40	c nbDecision=623000 #constraints=5307
869.74/870.14	c nbDecision=623500 #constraints=5307
870.44/870.86	c nbDecision=624000 #constraints=5307
871.14/871.59	c nbDecision=624500 #constraints=5307
871.94/872.31	c nbDecision=625000 #constraints=5307
872.64/873.03	c nbDecision=625500 #constraints=5307
873.34/873.74	c nbDecision=626000 #constraints=5307
874.04/874.45	c nbDecision=626500 #constraints=5307
874.73/875.15	c nbDecision=627000 #constraints=5307
875.43/875.86	c nbDecision=627500 #constraints=5307
876.13/876.56	c nbDecision=628000 #constraints=5307
876.83/877.26	c nbDecision=628500 #constraints=5307
877.53/877.96	c nbDecision=629000 #constraints=5307
878.23/878.66	c nbDecision=629500 #constraints=5307
878.93/879.36	c nbDecision=630000 #constraints=5307
879.64/880.04	c nbDecision=630500 #constraints=5307
880.33/880.74	c nbDecision=631000 #constraints=5307
881.03/881.42	c nbDecision=631500 #constraints=5307
881.73/882.11	c nbDecision=632000 #constraints=5307
882.33/882.80	c nbDecision=632500 #constraints=5307
883.03/883.48	c nbDecision=633000 #constraints=5307
883.73/884.15	c nbDecision=633500 #constraints=5307
884.43/884.83	c nbDecision=634000 #constraints=5307
885.13/885.50	c nbDecision=634500 #constraints=5307
885.73/886.17	c nbDecision=635000 #constraints=5307
886.43/886.83	c nbDecision=635500 #constraints=5307
887.13/887.50	c nbDecision=636000 #constraints=5307
887.73/888.15	c nbDecision=636500 #constraints=5307
888.43/888.81	c nbDecision=637000 #constraints=5307
889.03/889.46	c nbDecision=637500 #constraints=5307
889.73/890.20	c nbDecision=638000 #constraints=5308
890.53/890.91	c nbDecision=638500 #constraints=5308
891.23/891.62	c nbDecision=639000 #constraints=5308
891.93/892.35	c nbDecision=639500 #constraints=5308
892.63/893.06	c nbDecision=640000 #constraints=5308
893.33/893.78	c nbDecision=640500 #constraints=5308
894.03/894.50	c nbDecision=641000 #constraints=5308
894.83/895.20	c nbDecision=641500 #constraints=5308
895.53/895.90	c nbDecision=642000 #constraints=5308
896.23/896.61	c nbDecision=642500 #constraints=5308
896.93/897.30	c nbDecision=643000 #constraints=5308
897.63/898.00	c nbDecision=643500 #constraints=5308
898.33/898.70	c nbDecision=644000 #constraints=5308
899.02/899.40	c nbDecision=644500 #constraints=5308
899.72/900.10	c nbDecision=645000 #constraints=5308
900.32/900.79	c nbDecision=645500 #constraints=5308
901.02/901.48	c nbDecision=646000 #constraints=5308
901.72/902.16	c nbDecision=646500 #constraints=5308
902.42/902.85	c nbDecision=647000 #constraints=5308
903.12/903.53	c nbDecision=647500 #constraints=5308
903.83/904.20	c nbDecision=648000 #constraints=5308
904.42/904.88	c nbDecision=648500 #constraints=5308
905.12/905.56	c nbDecision=649000 #constraints=5308
905.82/906.23	c nbDecision=649500 #constraints=5308
906.52/906.90	c nbDecision=650000 #constraints=5308
907.13/907.57	c nbDecision=650500 #constraints=5308
907.82/908.23	c nbDecision=651000 #constraints=5308
908.42/908.88	c nbDecision=651500 #constraints=5308
909.12/909.54	c nbDecision=652000 #constraints=5308
909.72/910.19	c nbDecision=652500 #constraints=5308
910.52/910.92	c nbDecision=653000 #constraints=5309
911.22/911.65	c nbDecision=653500 #constraints=5309
911.92/912.38	c nbDecision=654000 #constraints=5309
912.72/913.11	c nbDecision=654500 #constraints=5309
913.42/913.82	c nbDecision=655000 #constraints=5309
914.12/914.55	c nbDecision=655500 #constraints=5309
914.82/915.27	c nbDecision=656000 #constraints=5309
915.52/915.99	c nbDecision=656500 #constraints=5309
916.32/916.70	c nbDecision=657000 #constraints=5309
917.02/917.40	c nbDecision=657500 #constraints=5309
917.72/918.11	c nbDecision=658000 #constraints=5309
918.42/918.82	c nbDecision=658500 #constraints=5309
919.12/919.53	c nbDecision=659000 #constraints=5309
919.81/920.23	c nbDecision=659500 #constraints=5309
920.51/920.93	c nbDecision=660000 #constraints=5309
921.21/921.63	c nbDecision=660500 #constraints=5309
921.91/922.32	c nbDecision=661000 #constraints=5309
922.61/923.01	c nbDecision=661500 #constraints=5309
923.21/923.70	c nbDecision=662000 #constraints=5309
923.91/924.38	c nbDecision=662500 #constraints=5309
924.62/925.06	c nbDecision=663000 #constraints=5309
925.31/925.74	c nbDecision=663500 #constraints=5309
926.01/926.42	c nbDecision=664000 #constraints=5309
926.61/927.10	c nbDecision=664500 #constraints=5309
927.31/927.77	c nbDecision=665000 #constraints=5309
928.01/928.44	c nbDecision=665500 #constraints=5309
928.71/929.10	c nbDecision=666000 #constraints=5309
929.31/929.77	c nbDecision=666500 #constraints=5309
930.01/930.42	c nbDecision=667000 #constraints=5309
930.61/931.07	c nbDecision=667500 #constraints=5309
931.31/931.73	c nbDecision=668000 #constraints=5309
932.00/932.43	c nbDecision=668500 #constraints=5310
932.70/933.17	c nbDecision=669000 #constraints=5310
933.41/933.90	c nbDecision=669500 #constraints=5310
934.20/934.63	c nbDecision=670000 #constraints=5310
934.90/935.36	c nbDecision=670500 #constraints=5310
935.61/936.08	c nbDecision=671000 #constraints=5310
936.40/936.80	c nbDecision=671500 #constraints=5310
937.10/937.52	c nbDecision=672000 #constraints=5310
937.81/938.24	c nbDecision=672500 #constraints=5310
938.50/938.95	c nbDecision=673000 #constraints=5310
939.20/939.66	c nbDecision=673500 #constraints=5310
939.90/940.37	c nbDecision=674000 #constraints=5310
940.60/941.08	c nbDecision=674500 #constraints=5310
941.30/941.77	c nbDecision=675000 #constraints=5310
942.00/942.46	c nbDecision=675500 #constraints=5310
942.70/943.16	c nbDecision=676000 #constraints=5310
943.40/943.86	c nbDecision=676500 #constraints=5310
944.10/944.55	c nbDecision=677000 #constraints=5310
944.80/945.24	c nbDecision=677500 #constraints=5310
945.50/945.92	c nbDecision=678000 #constraints=5310
946.20/946.61	c nbDecision=678500 #constraints=5310
946.80/947.29	c nbDecision=679000 #constraints=5310
947.50/947.97	c nbDecision=679500 #constraints=5310
948.20/948.64	c nbDecision=680000 #constraints=5310
948.90/949.31	c nbDecision=680500 #constraints=5310
949.50/949.97	c nbDecision=681000 #constraints=5310
950.20/950.64	c nbDecision=681500 #constraints=5310
950.90/951.32	c nbDecision=682000 #constraints=5310
951.50/951.98	c nbDecision=682500 #constraints=5310
952.20/952.63	c nbDecision=683000 #constraints=5310
952.80/953.29	c nbDecision=683500 #constraints=5310
953.49/953.98	c nbDecision=684000 #constraints=5311
954.30/954.71	c nbDecision=684500 #constraints=5311
954.99/955.45	c nbDecision=685000 #constraints=5311
955.69/956.18	c nbDecision=685500 #constraints=5311
956.50/956.91	c nbDecision=686000 #constraints=5311
957.19/957.63	c nbDecision=686500 #constraints=5311
957.89/958.35	c nbDecision=687000 #constraints=5311
958.59/959.08	c nbDecision=687500 #constraints=5311
959.29/959.79	c nbDecision=688000 #constraints=5311
960.09/960.51	c nbDecision=688500 #constraints=5311
960.79/961.22	c nbDecision=689000 #constraints=5311
961.49/961.93	c nbDecision=689500 #constraints=5311
962.19/962.64	c nbDecision=690000 #constraints=5311
962.89/963.34	c nbDecision=690500 #constraints=5311
963.59/964.04	c nbDecision=691000 #constraints=5311
964.29/964.74	c nbDecision=691500 #constraints=5311
964.99/965.44	c nbDecision=692000 #constraints=5311
965.69/966.13	c nbDecision=692500 #constraints=5311
966.39/966.82	c nbDecision=693000 #constraints=5311
967.09/967.50	c nbDecision=693500 #constraints=5311
967.69/968.18	c nbDecision=694000 #constraints=5311
968.39/968.86	c nbDecision=694500 #constraints=5311
969.09/969.54	c nbDecision=695000 #constraints=5311
969.79/970.21	c nbDecision=695500 #constraints=5311
970.39/970.88	c nbDecision=696000 #constraints=5311
971.09/971.54	c nbDecision=696500 #constraints=5311
971.79/972.21	c nbDecision=697000 #constraints=5311
972.38/972.87	c nbDecision=697500 #constraints=5311
973.09/973.53	c nbDecision=698000 #constraints=5311
973.68/974.18	c nbDecision=698500 #constraints=5311
974.38/974.84	c nbDecision=699000 #constraints=5311
974.98/975.49	c nbDecision=699500 #constraints=5311
975.78/976.25	c nbDecision=700000 #constraints=5312
976.48/976.98	c nbDecision=700500 #constraints=5312
977.28/977.71	c nbDecision=701000 #constraints=5312
977.98/978.44	c nbDecision=701500 #constraints=5312
978.68/979.17	c nbDecision=702000 #constraints=5312
979.48/979.90	c nbDecision=702500 #constraints=5312
980.18/980.62	c nbDecision=703000 #constraints=5312
980.88/981.34	c nbDecision=703500 #constraints=5312
981.58/982.06	c nbDecision=704000 #constraints=5312
982.28/982.77	c nbDecision=704500 #constraints=5312
982.98/983.48	c nbDecision=705000 #constraints=5312
983.68/984.19	c nbDecision=705500 #constraints=5312
984.38/984.90	c nbDecision=706000 #constraints=5312
985.08/985.59	c nbDecision=706500 #constraints=5312
985.78/986.29	c nbDecision=707000 #constraints=5312
986.48/986.99	c nbDecision=707500 #constraints=5312
987.18/987.68	c nbDecision=708000 #constraints=5312
987.88/988.36	c nbDecision=708500 #constraints=5312
988.58/989.04	c nbDecision=709000 #constraints=5312
989.28/989.72	c nbDecision=709500 #constraints=5312
989.98/990.40	c nbDecision=710000 #constraints=5312
990.58/991.07	c nbDecision=710500 #constraints=5312
991.28/991.74	c nbDecision=711000 #constraints=5312
991.98/992.42	c nbDecision=711500 #constraints=5312
992.58/993.08	c nbDecision=712000 #constraints=5312
993.28/993.74	c nbDecision=712500 #constraints=5312
993.98/994.40	c nbDecision=713000 #constraints=5312
994.58/995.06	c nbDecision=713500 #constraints=5312
995.28/995.72	c nbDecision=714000 #constraints=5312
995.88/996.37	c nbDecision=714500 #constraints=5312
996.58/997.02	c nbDecision=715000 #constraints=5312
997.28/997.77	c nbDecision=715500 #constraints=5313
998.07/998.52	c nbDecision=716000 #constraints=5313
998.77/999.27	c nbDecision=716500 #constraints=5313
999.57/1000.02	c nbDecision=717000 #constraints=5313
1000.27/1000.76	c nbDecision=717500 #constraints=5313
1001.07/1001.50	c nbDecision=718000 #constraints=5313
1001.77/1002.24	c nbDecision=718500 #constraints=5313
1002.47/1002.98	c nbDecision=719000 #constraints=5313
1003.27/1003.71	c nbDecision=719500 #constraints=5313
1003.97/1004.44	c nbDecision=720000 #constraints=5313
1004.67/1005.17	c nbDecision=720500 #constraints=5313
1005.37/1005.89	c nbDecision=721000 #constraints=5313
1006.17/1006.61	c nbDecision=721500 #constraints=5313
1006.87/1007.33	c nbDecision=722000 #constraints=5313
1007.57/1008.04	c nbDecision=722500 #constraints=5313
1008.27/1008.73	c nbDecision=723000 #constraints=5313
1008.97/1009.44	c nbDecision=723500 #constraints=5313
1009.67/1010.13	c nbDecision=724000 #constraints=5313
1010.37/1010.82	c nbDecision=724500 #constraints=5313
1011.07/1011.52	c nbDecision=725000 #constraints=5313
1011.77/1012.21	c nbDecision=725500 #constraints=5313
1012.37/1012.89	c nbDecision=726000 #constraints=5313
1013.07/1013.57	c nbDecision=726500 #constraints=5313
1013.77/1014.25	c nbDecision=727000 #constraints=5313
1014.47/1014.92	c nbDecision=727500 #constraints=5313
1015.07/1015.60	c nbDecision=728000 #constraints=5313
1015.77/1016.27	c nbDecision=728500 #constraints=5313
1016.47/1016.94	c nbDecision=729000 #constraints=5313
1017.16/1017.61	c nbDecision=729500 #constraints=5313
1017.76/1018.27	c nbDecision=730000 #constraints=5313
1018.46/1018.94	c nbDecision=730500 #constraints=5313
1019.17/1019.61	c nbDecision=731000 #constraints=5313
1019.76/1020.27	c nbDecision=731500 #constraints=5313
1020.46/1020.93	c nbDecision=732000 #constraints=5313
1021.06/1021.58	c nbDecision=732500 #constraints=5313
1021.86/1022.33	c nbDecision=733000 #constraints=5314
1022.56/1023.08	c nbDecision=733500 #constraints=5314
1023.36/1023.82	c nbDecision=734000 #constraints=5314
1024.06/1024.56	c nbDecision=734500 #constraints=5314
1024.86/1025.31	c nbDecision=735000 #constraints=5314
1025.56/1026.05	c nbDecision=735500 #constraints=5314
1026.26/1026.80	c nbDecision=736000 #constraints=5314
1027.06/1027.54	c nbDecision=736500 #constraints=5314
1027.76/1028.27	c nbDecision=737000 #constraints=5314
1028.56/1029.00	c nbDecision=737500 #constraints=5314
1029.26/1029.72	c nbDecision=738000 #constraints=5314
1029.96/1030.44	c nbDecision=738500 #constraints=5314
1030.66/1031.16	c nbDecision=739000 #constraints=5314
1031.36/1031.87	c nbDecision=739500 #constraints=5314
1032.06/1032.58	c nbDecision=740000 #constraints=5314
1032.76/1033.29	c nbDecision=740500 #constraints=5314
1033.46/1033.98	c nbDecision=741000 #constraints=5314
1034.15/1034.69	c nbDecision=741500 #constraints=5314
1034.85/1035.39	c nbDecision=742000 #constraints=5314
1035.55/1036.09	c nbDecision=742500 #constraints=5314
1036.25/1036.78	c nbDecision=743000 #constraints=5314
1036.96/1037.47	c nbDecision=743500 #constraints=5314
1037.66/1038.16	c nbDecision=744000 #constraints=5314
1038.36/1038.86	c nbDecision=744500 #constraints=5314
1039.07/1039.55	c nbDecision=745000 #constraints=5314
1039.76/1040.24	c nbDecision=745500 #constraints=5314
1040.46/1040.92	c nbDecision=746000 #constraints=5314
1041.16/1041.60	c nbDecision=746500 #constraints=5314
1041.76/1042.28	c nbDecision=747000 #constraints=5314
1042.46/1042.96	c nbDecision=747500 #constraints=5314
1043.16/1043.63	c nbDecision=748000 #constraints=5314
1043.86/1044.31	c nbDecision=748500 #constraints=5314
1044.46/1044.97	c nbDecision=749000 #constraints=5314
1045.16/1045.64	c nbDecision=749500 #constraints=5314
1045.86/1046.30	c nbDecision=750000 #constraints=5314
1046.45/1046.96	c nbDecision=750500 #constraints=5314
1047.15/1047.66	c nbDecision=751000 #constraints=5315
1047.95/1048.41	c nbDecision=751500 #constraints=5315
1048.65/1049.16	c nbDecision=752000 #constraints=5315
1049.45/1049.90	c nbDecision=752500 #constraints=5315
1050.15/1050.64	c nbDecision=753000 #constraints=5315
1050.85/1051.38	c nbDecision=753500 #constraints=5315
1051.65/1052.11	c nbDecision=754000 #constraints=5315
1052.35/1052.84	c nbDecision=754500 #constraints=5315
1053.05/1053.57	c nbDecision=755000 #constraints=5315
1053.75/1054.29	c nbDecision=755500 #constraints=5315
1054.55/1055.01	c nbDecision=756000 #constraints=5315
1055.25/1055.73	c nbDecision=756500 #constraints=5315
1055.95/1056.45	c nbDecision=757000 #constraints=5315
1056.65/1057.16	c nbDecision=757500 #constraints=5315
1057.35/1057.87	c nbDecision=758000 #constraints=5315
1058.05/1058.59	c nbDecision=758500 #constraints=5315
1058.75/1059.30	c nbDecision=759000 #constraints=5315
1059.55/1060.00	c nbDecision=759500 #constraints=5315
1060.25/1060.71	c nbDecision=760000 #constraints=5315
1060.95/1061.41	c nbDecision=760500 #constraints=5315
1061.65/1062.11	c nbDecision=761000 #constraints=5315
1062.35/1062.81	c nbDecision=761500 #constraints=5315
1063.04/1063.50	c nbDecision=762000 #constraints=5315
1063.64/1064.19	c nbDecision=762500 #constraints=5315
1064.35/1064.88	c nbDecision=763000 #constraints=5315
1065.04/1065.56	c nbDecision=763500 #constraints=5315
1065.74/1066.25	c nbDecision=764000 #constraints=5315
1066.45/1066.93	c nbDecision=764500 #constraints=5315
1067.14/1067.60	c nbDecision=765000 #constraints=5315
1067.74/1068.28	c nbDecision=765500 #constraints=5315
1068.44/1068.94	c nbDecision=766000 #constraints=5315
1069.14/1069.60	c nbDecision=766500 #constraints=5315
1069.75/1070.26	c nbDecision=767000 #constraints=5315
1070.44/1070.92	c nbDecision=767500 #constraints=5315
1071.04/1071.58	c nbDecision=768000 #constraints=5315
1071.74/1072.23	c nbDecision=768500 #constraints=5315
1072.54/1073.00	c nbDecision=769000 #constraints=5316
1073.24/1073.75	c nbDecision=769500 #constraints=5316
1074.04/1074.50	c nbDecision=770000 #constraints=5316
1074.74/1075.24	c nbDecision=770500 #constraints=5316
1075.44/1075.98	c nbDecision=771000 #constraints=5316
1076.24/1076.72	c nbDecision=771500 #constraints=5316
1076.94/1077.45	c nbDecision=772000 #constraints=5316
1077.64/1078.18	c nbDecision=772500 #constraints=5316
1078.44/1078.92	c nbDecision=773000 #constraints=5316
1079.14/1079.65	c nbDecision=773500 #constraints=5316
1079.83/1080.37	c nbDecision=774000 #constraints=5316
1080.53/1081.09	c nbDecision=774500 #constraints=5316
1081.33/1081.81	c nbDecision=775000 #constraints=5316
1082.03/1082.53	c nbDecision=775500 #constraints=5316
1082.73/1083.24	c nbDecision=776000 #constraints=5316
1083.44/1083.96	c nbDecision=776500 #constraints=5316
1084.14/1084.67	c nbDecision=777000 #constraints=5316
1084.83/1085.38	c nbDecision=777500 #constraints=5316
1085.53/1086.08	c nbDecision=778000 #constraints=5316
1086.24/1086.79	c nbDecision=778500 #constraints=5316
1086.93/1087.49	c nbDecision=779000 #constraints=5316
1087.63/1088.19	c nbDecision=779500 #constraints=5316
1088.33/1088.86	c nbDecision=780000 #constraints=5316
1089.03/1089.54	c nbDecision=780500 #constraints=5316
1089.73/1090.22	c nbDecision=781000 #constraints=5316
1090.43/1090.90	c nbDecision=781500 #constraints=5316
1091.03/1091.58	c nbDecision=782000 #constraints=5316
1091.74/1092.26	c nbDecision=782500 #constraints=5316
1092.43/1092.93	c nbDecision=783000 #constraints=5316
1093.03/1093.60	c nbDecision=783500 #constraints=5316
1093.73/1094.26	c nbDecision=784000 #constraints=5316
1094.43/1094.92	c nbDecision=784500 #constraints=5316
1095.03/1095.58	c nbDecision=785000 #constraints=5316
1095.73/1096.24	c nbDecision=785500 #constraints=5316
1096.33/1096.89	c nbDecision=786000 #constraints=5316
1097.03/1097.54	c nbDecision=786500 #constraints=5316
1097.73/1098.28	c nbDecision=787000 #constraints=5317
1098.53/1099.04	c nbDecision=787500 #constraints=5317
1099.23/1099.79	c nbDecision=788000 #constraints=5317
1100.03/1100.53	c nbDecision=788500 #constraints=5317
1100.73/1101.28	c nbDecision=789000 #constraints=5317
1101.53/1102.02	c nbDecision=789500 #constraints=5317
1102.23/1102.76	c nbDecision=790000 #constraints=5317
1103.03/1103.50	c nbDecision=790500 #constraints=5317
1103.73/1104.24	c nbDecision=791000 #constraints=5317
1104.42/1104.97	c nbDecision=791500 #constraints=5317
1105.22/1105.70	c nbDecision=792000 #constraints=5317
1105.92/1106.43	c nbDecision=792500 #constraints=5317
1106.62/1107.15	c nbDecision=793000 #constraints=5317
1107.32/1107.88	c nbDecision=793500 #constraints=5317
1108.02/1108.59	c nbDecision=794000 #constraints=5317
1108.72/1109.29	c nbDecision=794500 #constraints=5317
1109.42/1109.99	c nbDecision=795000 #constraints=5317
1110.12/1110.69	c nbDecision=795500 #constraints=5317
1110.82/1111.39	c nbDecision=796000 #constraints=5317
1111.52/1112.08	c nbDecision=796500 #constraints=5317
1112.22/1112.77	c nbDecision=797000 #constraints=5317
1112.92/1113.46	c nbDecision=797500 #constraints=5317
1113.62/1114.14	c nbDecision=798000 #constraints=5317
1114.32/1114.83	c nbDecision=798500 #constraints=5317
1115.02/1115.50	c nbDecision=799000 #constraints=5317
1115.62/1116.18	c nbDecision=799500 #constraints=5317
1116.32/1116.86	c nbDecision=800000 #constraints=5317
1117.02/1117.53	c nbDecision=800500 #constraints=5317
1117.72/1118.20	c nbDecision=801000 #constraints=5317
1118.32/1118.88	c nbDecision=801500 #constraints=5317
1119.02/1119.55	c nbDecision=802000 #constraints=5317
1119.72/1120.22	c nbDecision=802500 #constraints=5317
1120.32/1120.88	c nbDecision=803000 #constraints=5317
1121.02/1121.54	c nbDecision=803500 #constraints=5317
1121.71/1122.20	c nbDecision=804000 #constraints=5317
1122.31/1122.86	c nbDecision=804500 #constraints=5317
1123.01/1123.57	c nbDecision=805000 #constraints=5318
1123.81/1124.32	c nbDecision=805500 #constraints=5318
1124.51/1125.07	c nbDecision=806000 #constraints=5318
1125.31/1125.82	c nbDecision=806500 #constraints=5318
1126.01/1126.56	c nbDecision=807000 #constraints=5318
1126.81/1127.31	c nbDecision=807500 #constraints=5318
1127.51/1128.05	c nbDecision=808000 #constraints=5318
1128.21/1128.78	c nbDecision=808500 #constraints=5318
1129.01/1129.50	c nbDecision=809000 #constraints=5318
1129.71/1130.23	c nbDecision=809500 #constraints=5318
1130.41/1130.95	c nbDecision=810000 #constraints=5318
1131.11/1131.67	c nbDecision=810500 #constraints=5318
1131.81/1132.38	c nbDecision=811000 #constraints=5318
1132.52/1133.09	c nbDecision=811500 #constraints=5318
1133.21/1133.79	c nbDecision=812000 #constraints=5318
1133.91/1134.49	c nbDecision=812500 #constraints=5318
1134.61/1135.19	c nbDecision=813000 #constraints=5318
1135.31/1135.88	c nbDecision=813500 #constraints=5318
1136.01/1136.58	c nbDecision=814000 #constraints=5318
1136.71/1137.27	c nbDecision=814500 #constraints=5318
1137.41/1137.96	c nbDecision=815000 #constraints=5318
1138.11/1138.65	c nbDecision=815500 #constraints=5318
1138.81/1139.33	c nbDecision=816000 #constraints=5318
1139.51/1140.02	c nbDecision=816500 #constraints=5318
1140.11/1140.70	c nbDecision=817000 #constraints=5318
1140.81/1141.38	c nbDecision=817500 #constraints=5318
1141.51/1142.06	c nbDecision=818000 #constraints=5318
1142.21/1142.74	c nbDecision=818500 #constraints=5318
1142.91/1143.41	c nbDecision=819000 #constraints=5318
1143.11/1143.68	c restart after 819201 decisions
1143.61/1144.19	c nbDecision=819500 #constraints=5318
1144.42/1144.98	c nbDecision=820000 #constraints=5318
1145.21/1145.75	c nbDecision=820500 #constraints=5318
1146.01/1146.53	c nbDecision=821000 #constraints=5318
1146.82/1147.30	c nbDecision=821500 #constraints=5318
1147.51/1148.08	c nbDecision=822000 #constraints=5318
1148.31/1148.84	c nbDecision=822500 #constraints=5318
1149.11/1149.60	c nbDecision=823000 #constraints=5318
1149.81/1150.36	c nbDecision=823500 #constraints=5318
1150.61/1151.10	c nbDecision=824000 #constraints=5318
1151.31/1151.85	c nbDecision=824500 #constraints=5318
1152.01/1152.58	c nbDecision=825000 #constraints=5318
1152.81/1153.32	c nbDecision=825500 #constraints=5318
1153.51/1154.06	c nbDecision=826000 #constraints=5318
1154.31/1154.80	c nbDecision=826500 #constraints=5318
1155.01/1155.54	c nbDecision=827000 #constraints=5318
1155.71/1156.27	c nbDecision=827500 #constraints=5318
1156.51/1157.00	c nbDecision=828000 #constraints=5318
1157.21/1157.73	c nbDecision=828500 #constraints=5318
1157.91/1158.46	c nbDecision=829000 #constraints=5318
1158.61/1159.18	c nbDecision=829500 #constraints=5318
1159.41/1159.91	c nbDecision=830000 #constraints=5318
1160.11/1160.63	c nbDecision=830500 #constraints=5318
1160.81/1161.34	c nbDecision=831000 #constraints=5318
1161.51/1162.05	c nbDecision=831500 #constraints=5318
1162.21/1162.76	c nbDecision=832000 #constraints=5318
1162.91/1163.47	c nbDecision=832500 #constraints=5318
1163.61/1164.17	c nbDecision=833000 #constraints=5318
1164.31/1164.87	c nbDecision=833500 #constraints=5318
1165.00/1165.57	c nbDecision=834000 #constraints=5318
1165.70/1166.27	c nbDecision=834500 #constraints=5318
1166.40/1166.96	c nbDecision=835000 #constraints=5318
1167.10/1167.65	c nbDecision=835500 #constraints=5318
1167.80/1168.33	c nbDecision=836000 #constraints=5318
1168.50/1169.01	c nbDecision=836500 #constraints=5318
1169.10/1169.68	c nbDecision=837000 #constraints=5318
1169.81/1170.35	c nbDecision=837500 #constraints=5318
1170.50/1171.02	c nbDecision=838000 #constraints=5318
1171.10/1171.69	c nbDecision=838500 #constraints=5318
1171.80/1172.36	c nbDecision=839000 #constraints=5318
1172.50/1173.02	c nbDecision=839500 #constraints=5318
1173.11/1173.68	c nbDecision=840000 #constraints=5318
1173.80/1174.34	c nbDecision=840500 #constraints=5318
1174.40/1175.00	c nbDecision=841000 #constraints=5318
1175.10/1175.65	c nbDecision=841500 #constraints=5318
1175.80/1176.30	c nbDecision=842000 #constraints=5318
1176.50/1177.07	c nbDecision=842500 #constraints=5319
1177.30/1177.82	c nbDecision=843000 #constraints=5319
1178.00/1178.57	c nbDecision=843500 #constraints=5319
1178.80/1179.32	c nbDecision=844000 #constraints=5319
1179.50/1180.07	c nbDecision=844500 #constraints=5319
1180.30/1180.81	c nbDecision=845000 #constraints=5319
1181.00/1181.55	c nbDecision=845500 #constraints=5319
1181.70/1182.29	c nbDecision=846000 #constraints=5319
1182.50/1183.02	c nbDecision=846500 #constraints=5319
1183.20/1183.75	c nbDecision=847000 #constraints=5319
1183.90/1184.48	c nbDecision=847500 #constraints=5319
1184.69/1185.21	c nbDecision=848000 #constraints=5319
1185.39/1185.93	c nbDecision=848500 #constraints=5319
1186.09/1186.65	c nbDecision=849000 #constraints=5319
1186.79/1187.36	c nbDecision=849500 #constraints=5319
1187.50/1188.07	c nbDecision=850000 #constraints=5319
1188.19/1188.76	c nbDecision=850500 #constraints=5319
1188.89/1189.46	c nbDecision=851000 #constraints=5319
1189.60/1190.15	c nbDecision=851500 #constraints=5319
1190.29/1190.84	c nbDecision=852000 #constraints=5319
1190.99/1191.53	c nbDecision=852500 #constraints=5319
1191.69/1192.22	c nbDecision=853000 #constraints=5319
1192.29/1192.90	c nbDecision=853500 #constraints=5319
1192.99/1193.58	c nbDecision=854000 #constraints=5319
1193.69/1194.25	c nbDecision=854500 #constraints=5319
1194.39/1194.93	c nbDecision=855000 #constraints=5319
1194.99/1195.60	c nbDecision=855500 #constraints=5319
1195.69/1196.27	c nbDecision=856000 #constraints=5319
1196.39/1196.94	c nbDecision=856500 #constraints=5319
1197.09/1197.61	c nbDecision=857000 #constraints=5319
1197.69/1198.28	c nbDecision=857500 #constraints=5319
1198.39/1198.94	c nbDecision=858000 #constraints=5319
1199.09/1199.61	c nbDecision=858500 #constraints=5319
1199.69/1200.27	c nbDecision=859000 #constraints=5319
1200.39/1200.93	c nbDecision=859500 #constraints=5319
1200.99/1201.59	c nbDecision=860000 #constraints=5319
1201.79/1202.33	c nbDecision=860500 #constraints=5320
1202.49/1203.08	c nbDecision=861000 #constraints=5320
1203.29/1203.83	c nbDecision=861500 #constraints=5320
1203.99/1204.58	c nbDecision=862000 #constraints=5320
1204.79/1205.32	c nbDecision=862500 #constraints=5320
1205.49/1206.06	c nbDecision=863000 #constraints=5320
1206.29/1206.80	c nbDecision=863500 #constraints=5320
1206.99/1207.54	c nbDecision=864000 #constraints=5320
1207.69/1208.27	c nbDecision=864500 #constraints=5320
1208.39/1208.99	c nbDecision=865000 #constraints=5320
1209.19/1209.71	c nbDecision=865500 #constraints=5320
1209.89/1210.42	c nbDecision=866000 #constraints=5320
1210.59/1211.13	c nbDecision=866500 #constraints=5320
1211.28/1211.83	c nbDecision=867000 #constraints=5320
1211.98/1212.54	c nbDecision=867500 #constraints=5320
1212.69/1213.23	c nbDecision=868000 #constraints=5320
1213.38/1213.92	c nbDecision=868500 #constraints=5320
1214.08/1214.61	c nbDecision=869000 #constraints=5320
1214.78/1215.31	c nbDecision=869500 #constraints=5320
1215.48/1216.00	c nbDecision=870000 #constraints=5320
1216.09/1216.69	c nbDecision=870500 #constraints=5320
1216.78/1217.38	c nbDecision=871000 #constraints=5320
1217.48/1218.06	c nbDecision=871500 #constraints=5320
1218.18/1218.75	c nbDecision=872000 #constraints=5320
1218.88/1219.43	c nbDecision=872500 #constraints=5320
1219.58/1220.11	c nbDecision=873000 #constraints=5320
1220.18/1220.79	c nbDecision=873500 #constraints=5320
1220.88/1221.46	c nbDecision=874000 #constraints=5320
1221.58/1222.14	c nbDecision=874500 #constraints=5320
1222.28/1222.80	c nbDecision=875000 #constraints=5320
1222.88/1223.47	c nbDecision=875500 #constraints=5320
1223.58/1224.13	c nbDecision=876000 #constraints=5320
1224.18/1224.80	c nbDecision=876500 #constraints=5320
1224.88/1225.46	c nbDecision=877000 #constraints=5320
1225.58/1226.11	c nbDecision=877500 #constraints=5320
1226.27/1226.87	c nbDecision=878000 #constraints=5321
1227.08/1227.62	c nbDecision=878500 #constraints=5321
1227.77/1228.37	c nbDecision=879000 #constraints=5321
1228.57/1229.11	c nbDecision=879500 #constraints=5321
1229.28/1229.85	c nbDecision=880000 #constraints=5321
1229.97/1230.58	c nbDecision=880500 #constraints=5321
1230.77/1231.31	c nbDecision=881000 #constraints=5321
1231.48/1232.04	c nbDecision=881500 #constraints=5321
1232.17/1232.76	c nbDecision=882000 #constraints=5321
1232.87/1233.49	c nbDecision=882500 #constraints=5321
1233.68/1234.21	c nbDecision=883000 #constraints=5321
1234.37/1234.92	c nbDecision=883500 #constraints=5321
1235.07/1235.64	c nbDecision=884000 #constraints=5321
1235.78/1236.34	c nbDecision=884500 #constraints=5321
1236.47/1237.04	c nbDecision=885000 #constraints=5321
1237.17/1237.74	c nbDecision=885500 #constraints=5321
1237.87/1238.44	c nbDecision=886000 #constraints=5321
1238.57/1239.14	c nbDecision=886500 #constraints=5321
1239.27/1239.84	c nbDecision=887000 #constraints=5321
1239.97/1240.54	c nbDecision=887500 #constraints=5321
1240.67/1241.24	c nbDecision=888000 #constraints=5321
1241.37/1241.92	c nbDecision=888500 #constraints=5321
1242.07/1242.61	c nbDecision=889000 #constraints=5321
1242.67/1243.29	c nbDecision=889500 #constraints=5321
1243.36/1243.98	c nbDecision=890000 #constraints=5321
1244.06/1244.65	c nbDecision=890500 #constraints=5321
1244.76/1245.33	c nbDecision=891000 #constraints=5321
1245.46/1246.03	c nbDecision=891500 #constraints=5321
1246.16/1246.71	c nbDecision=892000 #constraints=5321
1246.77/1247.37	c nbDecision=892500 #constraints=5321
1247.46/1248.03	c nbDecision=893000 #constraints=5321
1248.06/1248.69	c nbDecision=893500 #constraints=5321
1248.76/1249.34	c nbDecision=894000 #constraints=5321
1249.46/1250.00	c nbDecision=894500 #constraints=5321
1250.07/1250.65	c nbDecision=895000 #constraints=5321
1250.86/1251.40	c nbDecision=895500 #constraints=5322
1251.56/1252.14	c nbDecision=896000 #constraints=5322
1252.27/1252.89	c nbDecision=896500 #constraints=5322
1253.06/1253.63	c nbDecision=897000 #constraints=5322
1253.76/1254.36	c nbDecision=897500 #constraints=5322
1254.47/1255.10	c nbDecision=898000 #constraints=5322
1255.26/1255.83	c nbDecision=898500 #constraints=5322
1255.96/1256.56	c nbDecision=899000 #constraints=5322
1256.66/1257.29	c nbDecision=899500 #constraints=5322
1257.46/1258.01	c nbDecision=900000 #constraints=5322
1258.16/1258.74	c nbDecision=900500 #constraints=5322
1258.86/1259.46	c nbDecision=901000 #constraints=5322
1259.56/1260.19	c nbDecision=901500 #constraints=5322
1260.36/1260.91	c nbDecision=902000 #constraints=5322
1261.06/1261.62	c nbDecision=902500 #constraints=5322
1261.76/1262.33	c nbDecision=903000 #constraints=5322
1262.46/1263.04	c nbDecision=903500 #constraints=5322
1263.16/1263.75	c nbDecision=904000 #constraints=5322
1263.86/1264.45	c nbDecision=904500 #constraints=5322
1264.56/1265.15	c nbDecision=905000 #constraints=5322
1265.26/1265.84	c nbDecision=905500 #constraints=5322
1265.96/1266.53	c nbDecision=906000 #constraints=5322
1266.66/1267.22	c nbDecision=906500 #constraints=5322
1267.36/1267.91	c nbDecision=907000 #constraints=5322
1267.96/1268.59	c nbDecision=907500 #constraints=5322
1268.66/1269.27	c nbDecision=908000 #constraints=5322
1269.36/1269.94	c nbDecision=908500 #constraints=5322
1270.05/1270.61	c nbDecision=909000 #constraints=5322
1270.65/1271.28	c nbDecision=909500 #constraints=5322
1271.36/1271.95	c nbDecision=910000 #constraints=5322
1272.06/1272.61	c nbDecision=910500 #constraints=5322
1272.65/1273.28	c nbDecision=911000 #constraints=5322
1273.35/1273.93	c nbDecision=911500 #constraints=5322
1273.95/1274.59	c nbDecision=912000 #constraints=5322
1274.65/1275.24	c nbDecision=912500 #constraints=5322
1275.25/1275.89	c nbDecision=913000 #constraints=5322
1276.05/1276.63	c nbDecision=913500 #constraints=5323
1276.75/1277.37	c nbDecision=914000 #constraints=5323
1277.56/1278.11	c nbDecision=914500 #constraints=5323
1278.25/1278.86	c nbDecision=915000 #constraints=5323
1279.05/1279.60	c nbDecision=915500 #constraints=5323
1279.76/1280.34	c nbDecision=916000 #constraints=5323
1280.45/1281.08	c nbDecision=916500 #constraints=5323
1281.25/1281.81	c nbDecision=917000 #constraints=5323
1281.96/1282.54	c nbDecision=917500 #constraints=5323
1282.65/1283.27	c nbDecision=918000 #constraints=5323
1283.35/1284.00	c nbDecision=918500 #constraints=5323
1284.15/1284.72	c nbDecision=919000 #constraints=5323
1284.85/1285.44	c nbDecision=919500 #constraints=5323
1285.55/1286.15	c nbDecision=920000 #constraints=5323
1286.25/1286.86	c nbDecision=920500 #constraints=5323
1286.95/1287.56	c nbDecision=921000 #constraints=5323
1287.65/1288.27	c nbDecision=921500 #constraints=5323
1288.35/1288.96	c nbDecision=922000 #constraints=5323
1289.05/1289.65	c nbDecision=922500 #constraints=5323
1289.75/1290.34	c nbDecision=923000 #constraints=5323
1290.45/1291.03	c nbDecision=923500 #constraints=5323
1291.15/1291.72	c nbDecision=924000 #constraints=5323
1291.75/1292.40	c nbDecision=924500 #constraints=5323
1292.45/1293.08	c nbDecision=925000 #constraints=5323
1293.15/1293.75	c nbDecision=925500 #constraints=5323
1293.85/1294.42	c nbDecision=926000 #constraints=5323
1294.55/1295.10	c nbDecision=926500 #constraints=5323
1295.15/1295.77	c nbDecision=927000 #constraints=5323
1295.85/1296.44	c nbDecision=927500 #constraints=5323
1296.45/1297.10	c nbDecision=928000 #constraints=5323
1297.15/1297.75	c nbDecision=928500 #constraints=5323
1297.85/1298.41	c nbDecision=929000 #constraints=5323
1298.45/1299.07	c nbDecision=929500 #constraints=5323
1299.15/1299.73	c nbDecision=930000 #constraints=5323
1299.74/1300.39	c nbDecision=930500 #constraints=5323
1300.54/1301.15	c nbDecision=931000 #constraints=5324
1301.34/1301.90	c nbDecision=931500 #constraints=5324
1302.04/1302.65	c nbDecision=932000 #constraints=5324
1302.74/1303.39	c nbDecision=932500 #constraints=5324
1303.54/1304.14	c nbDecision=933000 #constraints=5324
1304.24/1304.88	c nbDecision=933500 #constraints=5324
1305.05/1305.62	c nbDecision=934000 #constraints=5324
1305.74/1306.35	c nbDecision=934500 #constraints=5324
1306.44/1307.08	c nbDecision=935000 #constraints=5324
1307.24/1307.81	c nbDecision=935500 #constraints=5324
1307.94/1308.53	c nbDecision=936000 #constraints=5324
1308.64/1309.25	c nbDecision=936500 #constraints=5324
1309.34/1309.96	c nbDecision=937000 #constraints=5324
1310.04/1310.67	c nbDecision=937500 #constraints=5324
1310.74/1311.37	c nbDecision=938000 #constraints=5324
1311.44/1312.07	c nbDecision=938500 #constraints=5324
1312.14/1312.76	c nbDecision=939000 #constraints=5324
1312.84/1313.45	c nbDecision=939500 #constraints=5324
1313.54/1314.14	c nbDecision=940000 #constraints=5324
1314.24/1314.83	c nbDecision=940500 #constraints=5324
1314.94/1315.52	c nbDecision=941000 #constraints=5324
1315.64/1316.21	c nbDecision=941500 #constraints=5324
1316.24/1316.88	c nbDecision=942000 #constraints=5324
1316.94/1317.56	c nbDecision=942500 #constraints=5324
1317.64/1318.23	c nbDecision=943000 #constraints=5324
1318.34/1318.91	c nbDecision=943500 #constraints=5324
1318.94/1319.59	c nbDecision=944000 #constraints=5324
1319.64/1320.26	c nbDecision=944500 #constraints=5324
1320.34/1320.94	c nbDecision=945000 #constraints=5324
1321.04/1321.60	c nbDecision=945500 #constraints=5324
1321.64/1322.27	c nbDecision=946000 #constraints=5324
1322.34/1322.93	c nbDecision=946500 #constraints=5324
1322.94/1323.59	c nbDecision=947000 #constraints=5324
1323.63/1324.25	c nbDecision=947500 #constraints=5324
1324.33/1324.91	c nbDecision=948000 #constraints=5324
1325.03/1325.69	c nbDecision=948500 #constraints=5325
1325.83/1326.44	c nbDecision=949000 #constraints=5325
1326.53/1327.19	c nbDecision=949500 #constraints=5325
1327.33/1327.93	c nbDecision=950000 #constraints=5325
1328.03/1328.67	c nbDecision=950500 #constraints=5325
1328.83/1329.40	c nbDecision=951000 #constraints=5325
1329.53/1330.13	c nbDecision=951500 #constraints=5325
1330.23/1330.86	c nbDecision=952000 #constraints=5325
1330.93/1331.58	c nbDecision=952500 #constraints=5325
1331.73/1332.31	c nbDecision=953000 #constraints=5325
1332.43/1333.02	c nbDecision=953500 #constraints=5325
1333.13/1333.73	c nbDecision=954000 #constraints=5325
1333.83/1334.44	c nbDecision=954500 #constraints=5325
1334.53/1335.15	c nbDecision=955000 #constraints=5325
1335.23/1335.86	c nbDecision=955500 #constraints=5325
1335.93/1336.56	c nbDecision=956000 #constraints=5325
1336.63/1337.25	c nbDecision=956500 #constraints=5325
1337.33/1337.94	c nbDecision=957000 #constraints=5325
1338.03/1338.63	c nbDecision=957500 #constraints=5325
1338.73/1339.33	c nbDecision=958000 #constraints=5325
1339.43/1340.02	c nbDecision=958500 #constraints=5325
1340.13/1340.71	c nbDecision=959000 #constraints=5325
1340.83/1341.40	c nbDecision=959500 #constraints=5325
1341.43/1342.09	c nbDecision=960000 #constraints=5325
1342.12/1342.76	c nbDecision=960500 #constraints=5325
1342.82/1343.44	c nbDecision=961000 #constraints=5325
1343.53/1344.11	c nbDecision=961500 #constraints=5325
1344.12/1344.79	c nbDecision=962000 #constraints=5325
1344.82/1345.46	c nbDecision=962500 #constraints=5325
1345.53/1346.13	c nbDecision=963000 #constraints=5325
1346.13/1346.79	c nbDecision=963500 #constraints=5325
1346.84/1347.46	c nbDecision=964000 #constraints=5325
1347.53/1348.12	c nbDecision=964500 #constraints=5325
1348.13/1348.77	c nbDecision=965000 #constraints=5325
1348.83/1349.48	c nbDecision=965500 #constraints=5326
1349.63/1350.22	c nbDecision=966000 #constraints=5326
1350.33/1350.96	c nbDecision=966500 #constraints=5326
1351.13/1351.70	c nbDecision=967000 #constraints=5326
1351.83/1352.44	c nbDecision=967500 #constraints=5326
1352.53/1353.17	c nbDecision=968000 #constraints=5326
1353.33/1353.90	c nbDecision=968500 #constraints=5326
1354.03/1354.62	c nbDecision=969000 #constraints=5326
1354.73/1355.35	c nbDecision=969500 #constraints=5326
1355.43/1356.07	c nbDecision=970000 #constraints=5326
1356.13/1356.79	c nbDecision=970500 #constraints=5326
1356.93/1357.51	c nbDecision=971000 #constraints=5326
1357.63/1358.22	c nbDecision=971500 #constraints=5326
1358.33/1358.94	c nbDecision=972000 #constraints=5326
1359.03/1359.66	c nbDecision=972500 #constraints=5326
1359.72/1360.37	c nbDecision=973000 #constraints=5326
1360.42/1361.07	c nbDecision=973500 #constraints=5326
1361.13/1361.77	c nbDecision=974000 #constraints=5326
1361.82/1362.47	c nbDecision=974500 #constraints=5326
1362.52/1363.17	c nbDecision=975000 #constraints=5326
1363.22/1363.87	c nbDecision=975500 #constraints=5326
1363.92/1364.56	c nbDecision=976000 #constraints=5326
1364.62/1365.25	c nbDecision=976500 #constraints=5326
1365.32/1365.93	c nbDecision=977000 #constraints=5326
1366.02/1366.62	c nbDecision=977500 #constraints=5326
1366.63/1367.30	c nbDecision=978000 #constraints=5326
1367.32/1367.97	c nbDecision=978500 #constraints=5326
1368.02/1368.64	c nbDecision=979000 #constraints=5326
1368.72/1369.31	c nbDecision=979500 #constraints=5326
1369.32/1369.98	c nbDecision=980000 #constraints=5326
1370.02/1370.64	c nbDecision=980500 #constraints=5326
1370.62/1371.30	c nbDecision=981000 #constraints=5326
1371.32/1371.95	c nbDecision=981500 #constraints=5326
1372.02/1372.61	c nbDecision=982000 #constraints=5326
1372.62/1373.26	c nbDecision=982500 #constraints=5326
1373.32/1373.99	c nbDecision=983000 #constraints=5327
1374.12/1374.72	c nbDecision=983500 #constraints=5327
1374.82/1375.46	c nbDecision=984000 #constraints=5327
1375.52/1376.19	c nbDecision=984500 #constraints=5327
1376.32/1376.91	c nbDecision=985000 #constraints=5327
1377.02/1377.64	c nbDecision=985500 #constraints=5327
1377.72/1378.36	c nbDecision=986000 #constraints=5327
1378.41/1379.09	c nbDecision=986500 #constraints=5327
1379.21/1379.81	c nbDecision=987000 #constraints=5327
1379.92/1380.53	c nbDecision=987500 #constraints=5327
1380.61/1381.24	c nbDecision=988000 #constraints=5327
1381.31/1381.96	c nbDecision=988500 #constraints=5327
1382.02/1382.66	c nbDecision=989000 #constraints=5327
1382.71/1383.36	c nbDecision=989500 #constraints=5327
1383.41/1384.07	c nbDecision=990000 #constraints=5327
1384.11/1384.76	c nbDecision=990500 #constraints=5327
1384.81/1385.46	c nbDecision=991000 #constraints=5327
1385.51/1386.15	c nbDecision=991500 #constraints=5327
1386.21/1386.84	c nbDecision=992000 #constraints=5327
1386.91/1387.53	c nbDecision=992500 #constraints=5327
1387.62/1388.21	c nbDecision=993000 #constraints=5327
1388.21/1388.89	c nbDecision=993500 #constraints=5327
1388.91/1389.56	c nbDecision=994000 #constraints=5327
1389.61/1390.23	c nbDecision=994500 #constraints=5327
1390.31/1390.90	c nbDecision=995000 #constraints=5327
1390.91/1391.57	c nbDecision=995500 #constraints=5327
1391.61/1392.23	c nbDecision=996000 #constraints=5327
1392.21/1392.89	c nbDecision=996500 #constraints=5327
1392.91/1393.55	c nbDecision=997000 #constraints=5327
1393.61/1394.20	c nbDecision=997500 #constraints=5327
1394.21/1394.85	c nbDecision=998000 #constraints=5327
1394.91/1395.50	c nbDecision=998500 #constraints=5327
1395.61/1396.26	c nbDecision=999000 #constraints=5328
1396.31/1396.99	c nbDecision=999500 #constraints=5328
1397.11/1397.72	c nbDecision=1000000 #constraints=5328
1397.81/1398.45	c nbDecision=1000500 #constraints=5328
1398.51/1399.18	c nbDecision=1001000 #constraints=5328
1399.31/1399.91	c nbDecision=1001500 #constraints=5328
1400.00/1400.64	c nbDecision=1002000 #constraints=5328
1400.71/1401.37	c nbDecision=1002500 #constraints=5328
1401.40/1402.09	c nbDecision=1003000 #constraints=5328
1402.20/1402.80	c nbDecision=1003500 #constraints=5328
1402.91/1403.52	c nbDecision=1004000 #constraints=5328
1403.60/1404.23	c nbDecision=1004500 #constraints=5328
1404.30/1404.94	c nbDecision=1005000 #constraints=5328
1405.00/1405.64	c nbDecision=1005500 #constraints=5328
1405.70/1406.33	c nbDecision=1006000 #constraints=5328
1406.40/1407.03	c nbDecision=1006500 #constraints=5328
1407.10/1407.72	c nbDecision=1007000 #constraints=5328
1407.80/1408.41	c nbDecision=1007500 #constraints=5328
1408.40/1409.10	c nbDecision=1008000 #constraints=5328
1409.10/1409.78	c nbDecision=1008500 #constraints=5328
1409.80/1410.45	c nbDecision=1009000 #constraints=5328
1410.50/1411.13	c nbDecision=1009500 #constraints=5328
1411.20/1411.80	c nbDecision=1010000 #constraints=5328
1411.80/1412.47	c nbDecision=1010500 #constraints=5328
1412.50/1413.14	c nbDecision=1011000 #constraints=5328
1413.20/1413.81	c nbDecision=1011500 #constraints=5328
1413.80/1414.46	c nbDecision=1012000 #constraints=5328
1414.49/1415.13	c nbDecision=1012500 #constraints=5328
1415.10/1415.79	c nbDecision=1013000 #constraints=5328
1415.79/1416.44	c nbDecision=1013500 #constraints=5328
1416.39/1417.09	c nbDecision=1014000 #constraints=5328
1417.09/1417.80	c nbDecision=1014500 #constraints=5329
1417.89/1418.53	c nbDecision=1015000 #constraints=5329
1418.59/1419.27	c nbDecision=1015500 #constraints=5329
1419.39/1420.00	c nbDecision=1016000 #constraints=5329
1420.09/1420.73	c nbDecision=1016500 #constraints=5329
1420.79/1421.45	c nbDecision=1017000 #constraints=5329
1421.49/1422.18	c nbDecision=1017500 #constraints=5329
1422.29/1422.90	c nbDecision=1018000 #constraints=5329
1422.99/1423.62	c nbDecision=1018500 #constraints=5329
1423.69/1424.34	c nbDecision=1019000 #constraints=5329
1424.39/1425.05	c nbDecision=1019500 #constraints=5329
1425.09/1425.77	c nbDecision=1020000 #constraints=5329
1425.79/1426.47	c nbDecision=1020500 #constraints=5329
1426.49/1427.16	c nbDecision=1021000 #constraints=5329
1427.19/1427.86	c nbDecision=1021500 #constraints=5329
1427.88/1428.55	c nbDecision=1022000 #constraints=5329
1428.58/1429.24	c nbDecision=1022500 #constraints=5329
1429.29/1429.92	c nbDecision=1023000 #constraints=5329
1429.98/1430.60	c nbDecision=1023500 #constraints=5329
1430.58/1431.29	c nbDecision=1024000 #constraints=5329
1431.28/1431.96	c nbDecision=1024500 #constraints=5329
1431.98/1432.63	c nbDecision=1025000 #constraints=5329
1432.69/1433.31	c nbDecision=1025500 #constraints=5329
1433.28/1433.97	c nbDecision=1026000 #constraints=5329
1433.98/1434.63	c nbDecision=1026500 #constraints=5329
1434.68/1435.30	c nbDecision=1027000 #constraints=5329
1435.28/1435.95	c nbDecision=1027500 #constraints=5329
1435.98/1436.61	c nbDecision=1028000 #constraints=5329
1436.58/1437.27	c nbDecision=1028500 #constraints=5329
1437.28/1437.92	c nbDecision=1029000 #constraints=5329
1437.88/1438.58	c nbDecision=1029500 #constraints=5329
1438.68/1439.34	c nbDecision=1030000 #constraints=5330
1439.38/1440.07	c nbDecision=1030500 #constraints=5330
1440.18/1440.81	c nbDecision=1031000 #constraints=5330
1440.88/1441.53	c nbDecision=1031500 #constraints=5330
1441.58/1442.26	c nbDecision=1032000 #constraints=5330
1442.28/1442.99	c nbDecision=1032500 #constraints=5330
1443.08/1443.72	c nbDecision=1033000 #constraints=5330
1443.78/1444.44	c nbDecision=1033500 #constraints=5330
1444.48/1445.16	c nbDecision=1034000 #constraints=5330
1445.18/1445.87	c nbDecision=1034500 #constraints=5330
1445.88/1446.59	c nbDecision=1035000 #constraints=5330
1446.68/1447.30	c nbDecision=1035500 #constraints=5330
1447.38/1448.01	c nbDecision=1036000 #constraints=5330
1448.08/1448.71	c nbDecision=1036500 #constraints=5330
1448.77/1449.40	c nbDecision=1037000 #constraints=5330
1449.37/1450.09	c nbDecision=1037500 #constraints=5330
1450.07/1450.78	c nbDecision=1038000 #constraints=5330
1450.77/1451.46	c nbDecision=1038500 #constraints=5330
1451.47/1452.15	c nbDecision=1039000 #constraints=5330
1452.17/1452.83	c nbDecision=1039500 #constraints=5330
1452.87/1453.50	c nbDecision=1040000 #constraints=5330
1453.48/1454.18	c nbDecision=1040500 #constraints=5330
1454.17/1454.85	c nbDecision=1041000 #constraints=5330
1454.87/1455.52	c nbDecision=1041500 #constraints=5330
1455.47/1456.19	c nbDecision=1042000 #constraints=5330
1456.17/1456.85	c nbDecision=1042500 #constraints=5330
1456.88/1457.52	c nbDecision=1043000 #constraints=5330
1457.47/1458.17	c nbDecision=1043500 #constraints=5330
1458.17/1458.84	c nbDecision=1044000 #constraints=5330
1458.87/1459.50	c nbDecision=1044500 #constraints=5330
1459.47/1460.16	c nbDecision=1045000 #constraints=5330
1460.17/1460.89	c nbDecision=1045500 #constraints=5331
1460.97/1461.63	c nbDecision=1046000 #constraints=5331
1461.67/1462.37	c nbDecision=1046500 #constraints=5331
1462.47/1463.11	c nbDecision=1047000 #constraints=5331
1463.17/1463.83	c nbDecision=1047500 #constraints=5331
1463.87/1464.56	c nbDecision=1048000 #constraints=5331
1464.57/1465.29	c nbDecision=1048500 #constraints=5331
1465.37/1466.01	c nbDecision=1049000 #constraints=5331
1466.07/1466.73	c nbDecision=1049500 #constraints=5331
1466.77/1467.45	c nbDecision=1050000 #constraints=5331
1467.46/1468.17	c nbDecision=1050500 #constraints=5331
1468.16/1468.87	c nbDecision=1051000 #constraints=5331
1468.87/1469.58	c nbDecision=1051500 #constraints=5331
1469.56/1470.28	c nbDecision=1052000 #constraints=5331
1470.26/1470.97	c nbDecision=1052500 #constraints=5331
1470.96/1471.66	c nbDecision=1053000 #constraints=5331
1471.66/1472.34	c nbDecision=1053500 #constraints=5331
1472.36/1473.03	c nbDecision=1054000 #constraints=5331
1473.06/1473.72	c nbDecision=1054500 #constraints=5331
1473.76/1474.40	c nbDecision=1055000 #constraints=5331
1474.36/1475.08	c nbDecision=1055500 #constraints=5331
1475.06/1475.76	c nbDecision=1056000 #constraints=5331
1475.76/1476.43	c nbDecision=1056500 #constraints=5331
1476.46/1477.11	c nbDecision=1057000 #constraints=5331
1477.06/1477.77	c nbDecision=1057500 #constraints=5331
1477.76/1478.44	c nbDecision=1058000 #constraints=5331
1478.46/1479.12	c nbDecision=1058500 #constraints=5331
1479.06/1479.78	c nbDecision=1059000 #constraints=5331
1479.76/1480.45	c nbDecision=1059500 #constraints=5331
1480.46/1481.10	c nbDecision=1060000 #constraints=5331
1481.06/1481.76	c nbDecision=1060500 #constraints=5331
1481.76/1482.42	c nbDecision=1061000 #constraints=5331
1482.46/1483.18	c nbDecision=1061500 #constraints=5332
1483.26/1483.92	c nbDecision=1062000 #constraints=5332
1483.95/1484.65	c nbDecision=1062500 #constraints=5332
1484.66/1485.38	c nbDecision=1063000 #constraints=5332
1485.46/1486.11	c nbDecision=1063500 #constraints=5332
1486.15/1486.84	c nbDecision=1064000 #constraints=5332
1486.85/1487.56	c nbDecision=1064500 #constraints=5332
1487.56/1488.28	c nbDecision=1065000 #constraints=5332
1488.25/1488.98	c nbDecision=1065500 #constraints=5332
1488.95/1489.68	c nbDecision=1066000 #constraints=5332
1489.65/1490.39	c nbDecision=1066500 #constraints=5332
1490.35/1491.09	c nbDecision=1067000 #constraints=5332
1491.05/1491.79	c nbDecision=1067500 #constraints=5332
1491.75/1492.48	c nbDecision=1068000 #constraints=5332
1492.45/1493.17	c nbDecision=1068500 #constraints=5332
1493.16/1493.86	c nbDecision=1069000 #constraints=5332
1493.85/1494.55	c nbDecision=1069500 #constraints=5332
1494.55/1495.23	c nbDecision=1070000 #constraints=5332
1495.25/1495.91	c nbDecision=1070500 #constraints=5332
1495.85/1496.58	c nbDecision=1071000 #constraints=5332
1496.55/1497.26	c nbDecision=1071500 #constraints=5332
1497.25/1497.92	c nbDecision=1072000 #constraints=5332
1497.95/1498.60	c nbDecision=1072500 #constraints=5332
1498.55/1499.27	c nbDecision=1073000 #constraints=5332
1499.25/1499.94	c nbDecision=1073500 #constraints=5332
1499.95/1500.61	c nbDecision=1074000 #constraints=5332
1500.55/1501.27	c nbDecision=1074500 #constraints=5332
1501.25/1501.93	c nbDecision=1075000 #constraints=5332
1501.85/1502.59	c nbDecision=1075500 #constraints=5332
1502.55/1503.25	c nbDecision=1076000 #constraints=5332
1503.35/1504.00	c nbDecision=1076500 #constraints=5333
1504.05/1504.74	c nbDecision=1077000 #constraints=5333
1504.75/1505.48	c nbDecision=1077500 #constraints=5333
1505.55/1506.22	c nbDecision=1078000 #constraints=5333
1506.25/1506.95	c nbDecision=1078500 #constraints=5333
1506.94/1507.68	c nbDecision=1079000 #constraints=5333
1507.74/1508.40	c nbDecision=1079500 #constraints=5333
1508.45/1509.12	c nbDecision=1080000 #constraints=5333
1509.14/1509.83	c nbDecision=1080500 #constraints=5333
1509.84/1510.55	c nbDecision=1081000 #constraints=5333
1510.54/1511.26	c nbDecision=1081500 #constraints=5333
1511.24/1511.96	c nbDecision=1082000 #constraints=5333
1511.94/1512.66	c nbDecision=1082500 #constraints=5333
1512.64/1513.36	c nbDecision=1083000 #constraints=5333
1513.34/1514.05	c nbDecision=1083500 #constraints=5333
1514.04/1514.73	c nbDecision=1084000 #constraints=5333
1514.75/1515.42	c nbDecision=1084500 #constraints=5333
1515.45/1516.10	c nbDecision=1085000 #constraints=5333
1516.05/1516.79	c nbDecision=1085500 #constraints=5333
1516.75/1517.47	c nbDecision=1086000 #constraints=5333
1517.45/1518.15	c nbDecision=1086500 #constraints=5333
1518.15/1518.83	c nbDecision=1087000 #constraints=5333
1518.85/1519.51	c nbDecision=1087500 #constraints=5333
1519.45/1520.18	c nbDecision=1088000 #constraints=5333
1520.15/1520.85	c nbDecision=1088500 #constraints=5333
1520.85/1521.53	c nbDecision=1089000 #constraints=5333
1521.55/1522.20	c nbDecision=1089500 #constraints=5333
1522.15/1522.86	c nbDecision=1090000 #constraints=5333
1522.85/1523.52	c nbDecision=1090500 #constraints=5333
1523.45/1524.19	c nbDecision=1091000 #constraints=5333
1524.14/1524.85	c nbDecision=1091500 #constraints=5333
1524.84/1525.56	c nbDecision=1092000 #constraints=5334
1525.64/1526.30	c nbDecision=1092500 #constraints=5334
1526.34/1527.03	c nbDecision=1093000 #constraints=5334
1527.04/1527.77	c nbDecision=1093500 #constraints=5334
1527.74/1528.50	c nbDecision=1094000 #constraints=5334
1528.54/1529.22	c nbDecision=1094500 #constraints=5334
1529.24/1529.94	c nbDecision=1095000 #constraints=5334
1529.94/1530.66	c nbDecision=1095500 #constraints=5334
1530.64/1531.38	c nbDecision=1096000 #constraints=5334
1531.34/1532.09	c nbDecision=1096500 #constraints=5334
1532.04/1532.79	c nbDecision=1097000 #constraints=5334
1532.84/1533.50	c nbDecision=1097500 #constraints=5334
1533.54/1534.20	c nbDecision=1098000 #constraints=5334
1534.24/1534.90	c nbDecision=1098500 #constraints=5334
1534.84/1535.60	c nbDecision=1099000 #constraints=5334
1535.54/1536.29	c nbDecision=1099500 #constraints=5334
1536.24/1536.98	c nbDecision=1100000 #constraints=5334
1536.94/1537.67	c nbDecision=1100500 #constraints=5334
1537.64/1538.35	c nbDecision=1101000 #constraints=5334
1538.34/1539.04	c nbDecision=1101500 #constraints=5334
1539.04/1539.73	c nbDecision=1102000 #constraints=5334
1539.74/1540.41	c nbDecision=1102500 #constraints=5334
1540.34/1541.09	c nbDecision=1103000 #constraints=5334
1541.04/1541.77	c nbDecision=1103500 #constraints=5334
1541.74/1542.44	c nbDecision=1104000 #constraints=5334
1542.44/1543.11	c nbDecision=1104500 #constraints=5334
1543.04/1543.78	c nbDecision=1105000 #constraints=5334
1543.74/1544.45	c nbDecision=1105500 #constraints=5334
1544.43/1545.11	c nbDecision=1106000 #constraints=5334
1545.03/1545.77	c nbDecision=1106500 #constraints=5334
1545.74/1546.43	c nbDecision=1107000 #constraints=5334
1546.33/1547.09	c nbDecision=1107500 #constraints=5334
1547.13/1547.84	c nbDecision=1108000 #constraints=5335
1547.83/1548.57	c nbDecision=1108500 #constraints=5335
1548.63/1549.30	c nbDecision=1109000 #constraints=5335
1549.33/1550.02	c nbDecision=1109500 #constraints=5335
1550.03/1550.74	c nbDecision=1110000 #constraints=5335
1550.73/1551.45	c nbDecision=1110500 #constraints=5335
1551.44/1552.17	c nbDecision=1111000 #constraints=5335
1552.13/1552.88	c nbDecision=1111500 #constraints=5335
1552.83/1553.58	c nbDecision=1112000 #constraints=5335
1553.54/1554.29	c nbDecision=1112500 #constraints=5335
1554.23/1554.99	c nbDecision=1113000 #constraints=5335
1554.93/1555.68	c nbDecision=1113500 #constraints=5335
1555.63/1556.37	c nbDecision=1114000 #constraints=5335
1556.33/1557.06	c nbDecision=1114500 #constraints=5335
1557.03/1557.74	c nbDecision=1115000 #constraints=5335
1557.73/1558.43	c nbDecision=1115500 #constraints=5335
1558.43/1559.12	c nbDecision=1116000 #constraints=5335
1559.13/1559.82	c nbDecision=1116500 #constraints=5335
1559.83/1560.50	c nbDecision=1117000 #constraints=5335
1560.43/1561.18	c nbDecision=1117500 #constraints=5335
1561.13/1561.87	c nbDecision=1118000 #constraints=5335
1561.83/1562.55	c nbDecision=1118500 #constraints=5335
1562.53/1563.22	c nbDecision=1119000 #constraints=5335
1563.13/1563.89	c nbDecision=1119500 #constraints=5335
1563.83/1564.56	c nbDecision=1120000 #constraints=5335
1564.53/1565.23	c nbDecision=1120500 #constraints=5335
1565.23/1565.90	c nbDecision=1121000 #constraints=5335
1565.83/1566.57	c nbDecision=1121500 #constraints=5335
1566.53/1567.24	c nbDecision=1122000 #constraints=5335
1567.23/1567.90	c nbDecision=1122500 #constraints=5335
1567.93/1568.65	c nbDecision=1123000 #constraints=5336
1568.63/1569.38	c nbDecision=1123500 #constraints=5336
1569.33/1570.09	c nbDecision=1124000 #constraints=5336
1570.13/1570.82	c nbDecision=1124500 #constraints=5336
1570.83/1571.53	c nbDecision=1125000 #constraints=5336
1571.53/1572.25	c nbDecision=1125500 #constraints=5336
1572.23/1572.96	c nbDecision=1126000 #constraints=5336
1572.92/1573.67	c nbDecision=1126500 #constraints=5336
1573.62/1574.38	c nbDecision=1127000 #constraints=5336
1574.32/1575.09	c nbDecision=1127500 #constraints=5336
1575.02/1575.79	c nbDecision=1128000 #constraints=5336
1575.72/1576.49	c nbDecision=1128500 #constraints=5336
1576.42/1577.19	c nbDecision=1129000 #constraints=5336
1577.12/1577.87	c nbDecision=1129500 #constraints=5336
1577.83/1578.56	c nbDecision=1130000 #constraints=5336
1578.52/1579.26	c nbDecision=1130500 #constraints=5336
1579.22/1579.95	c nbDecision=1131000 #constraints=5336
1579.92/1580.63	c nbDecision=1131500 #constraints=5336
1580.62/1581.32	c nbDecision=1132000 #constraints=5336
1581.32/1582.01	c nbDecision=1132500 #constraints=5336
1581.92/1582.69	c nbDecision=1133000 #constraints=5336
1582.62/1583.37	c nbDecision=1133500 #constraints=5336
1583.32/1584.04	c nbDecision=1134000 #constraints=5336
1584.02/1584.72	c nbDecision=1134500 #constraints=5336
1584.62/1585.38	c nbDecision=1135000 #constraints=5336
1585.32/1586.05	c nbDecision=1135500 #constraints=5336
1586.02/1586.71	c nbDecision=1136000 #constraints=5336
1586.62/1587.38	c nbDecision=1136500 #constraints=5336
1587.32/1588.04	c nbDecision=1137000 #constraints=5336
1587.92/1588.69	c nbDecision=1137500 #constraints=5336
1588.72/1589.44	c nbDecision=1138000 #constraints=5337
1589.42/1590.18	c nbDecision=1138500 #constraints=5337
1590.22/1590.90	c nbDecision=1139000 #constraints=5337
1590.92/1591.62	c nbDecision=1139500 #constraints=5337
1591.62/1592.35	c nbDecision=1140000 #constraints=5337
1592.31/1593.07	c nbDecision=1140500 #constraints=5337
1593.01/1593.79	c nbDecision=1141000 #constraints=5337
1593.81/1594.51	c nbDecision=1141500 #constraints=5337
1594.51/1595.22	c nbDecision=1142000 #constraints=5337
1595.21/1595.93	c nbDecision=1142500 #constraints=5337
1595.91/1596.64	c nbDecision=1143000 #constraints=5337
1596.61/1597.35	c nbDecision=1143500 #constraints=5337
1597.31/1598.05	c nbDecision=1144000 #constraints=5337
1598.01/1598.75	c nbDecision=1144500 #constraints=5337
1598.72/1599.46	c nbDecision=1145000 #constraints=5337
1599.41/1600.15	c nbDecision=1145500 #constraints=5337
1600.11/1600.84	c nbDecision=1146000 #constraints=5337
1600.82/1601.54	c nbDecision=1146500 #constraints=5337
1601.51/1602.23	c nbDecision=1147000 #constraints=5337
1602.21/1602.91	c nbDecision=1147500 #constraints=5337
1602.81/1603.60	c nbDecision=1148000 #constraints=5337
1603.51/1604.28	c nbDecision=1148500 #constraints=5337
1604.22/1604.95	c nbDecision=1149000 #constraints=5337
1604.91/1605.63	c nbDecision=1149500 #constraints=5337
1605.61/1606.30	c nbDecision=1150000 #constraints=5337
1606.21/1606.98	c nbDecision=1150500 #constraints=5337
1606.91/1607.64	c nbDecision=1151000 #constraints=5337
1607.61/1608.31	c nbDecision=1151500 #constraints=5337
1608.21/1608.96	c nbDecision=1152000 #constraints=5337
1608.91/1609.61	c nbDecision=1152500 #constraints=5337
1609.51/1610.27	c nbDecision=1153000 #constraints=5337
1610.21/1610.99	c nbDecision=1153500 #constraints=5338
1611.01/1611.72	c nbDecision=1154000 #constraints=5338
1611.71/1612.45	c nbDecision=1154500 #constraints=5338
1612.41/1613.16	c nbDecision=1155000 #constraints=5338
1613.11/1613.88	c nbDecision=1155500 #constraints=5338
1613.91/1614.60	c nbDecision=1156000 #constraints=5338
1614.61/1615.31	c nbDecision=1156500 #constraints=5338
1615.31/1616.03	c nbDecision=1157000 #constraints=5338
1616.01/1616.74	c nbDecision=1157500 #constraints=5338
1616.71/1617.45	c nbDecision=1158000 #constraints=5338
1617.41/1618.15	c nbDecision=1158500 #constraints=5338
1618.10/1618.86	c nbDecision=1159000 #constraints=5338
1618.80/1619.57	c nbDecision=1159500 #constraints=5338
1619.51/1620.27	c nbDecision=1160000 #constraints=5338
1620.20/1620.97	c nbDecision=1160500 #constraints=5338
1620.90/1621.67	c nbDecision=1161000 #constraints=5338
1621.60/1622.37	c nbDecision=1161500 #constraints=5338
1622.30/1623.05	c nbDecision=1162000 #constraints=5338
1623.00/1623.74	c nbDecision=1162500 #constraints=5338
1623.70/1624.43	c nbDecision=1163000 #constraints=5338
1624.40/1625.12	c nbDecision=1163500 #constraints=5338
1625.01/1625.80	c nbDecision=1164000 #constraints=5338
1625.70/1626.48	c nbDecision=1164500 #constraints=5338
1626.40/1627.15	c nbDecision=1165000 #constraints=5338
1627.10/1627.83	c nbDecision=1165500 #constraints=5338
1627.80/1628.50	c nbDecision=1166000 #constraints=5338
1628.40/1629.17	c nbDecision=1166500 #constraints=5338
1629.10/1629.83	c nbDecision=1167000 #constraints=5338
1629.70/1630.49	c nbDecision=1167500 #constraints=5338
1630.40/1631.14	c nbDecision=1168000 #constraints=5338
1631.00/1631.79	c nbDecision=1168500 #constraints=5338
1631.70/1632.49	c nbDecision=1169000 #constraints=5339
1632.50/1633.23	c nbDecision=1169500 #constraints=5339
1633.20/1633.96	c nbDecision=1170000 #constraints=5339
1633.90/1634.69	c nbDecision=1170500 #constraints=5339
1634.70/1635.41	c nbDecision=1171000 #constraints=5339
1635.40/1636.14	c nbDecision=1171500 #constraints=5339
1636.10/1636.86	c nbDecision=1172000 #constraints=5339
1636.80/1637.58	c nbDecision=1172500 #constraints=5339
1637.50/1638.29	c nbDecision=1173000 #constraints=5339
1638.30/1639.01	c nbDecision=1173500 #constraints=5339
1639.00/1639.73	c nbDecision=1174000 #constraints=5339
1639.70/1640.44	c nbDecision=1174500 #constraints=5339
1640.40/1641.15	c nbDecision=1175000 #constraints=5339
1641.10/1641.86	c nbDecision=1175500 #constraints=5339
1641.80/1642.56	c nbDecision=1176000 #constraints=5339
1642.50/1643.26	c nbDecision=1176500 #constraints=5339
1643.20/1643.95	c nbDecision=1177000 #constraints=5339
1643.90/1644.64	c nbDecision=1177500 #constraints=5339
1644.59/1645.34	c nbDecision=1178000 #constraints=5339
1645.29/1646.03	c nbDecision=1178500 #constraints=5339
1646.00/1646.71	c nbDecision=1179000 #constraints=5339
1646.69/1647.40	c nbDecision=1179500 #constraints=5339
1647.29/1648.08	c nbDecision=1180000 #constraints=5339
1647.99/1648.75	c nbDecision=1180500 #constraints=5339
1648.69/1649.41	c nbDecision=1181000 #constraints=5339
1649.31/1650.08	c nbDecision=1181500 #constraints=5339
1650.00/1650.74	c nbDecision=1182000 #constraints=5339
1650.70/1651.41	c nbDecision=1182500 #constraints=5339
1651.30/1652.06	c nbDecision=1183000 #constraints=5339
1652.00/1652.71	c nbDecision=1183500 #constraints=5339
1652.60/1653.37	c nbDecision=1184000 #constraints=5339
1653.30/1654.06	c nbDecision=1184500 #constraints=5340
1654.00/1654.79	c nbDecision=1185000 #constraints=5340
1654.80/1655.52	c nbDecision=1185500 #constraints=5340
1655.50/1656.25	c nbDecision=1186000 #constraints=5340
1656.20/1656.98	c nbDecision=1186500 #constraints=5340
1657.00/1657.71	c nbDecision=1187000 #constraints=5340
1657.69/1658.44	c nbDecision=1187500 #constraints=5340
1658.39/1659.17	c nbDecision=1188000 #constraints=5340
1659.09/1659.89	c nbDecision=1188500 #constraints=5340
1659.89/1660.61	c nbDecision=1189000 #constraints=5340
1660.58/1661.34	c nbDecision=1189500 #constraints=5340
1661.28/1662.05	c nbDecision=1190000 #constraints=5340
1661.98/1662.76	c nbDecision=1190500 #constraints=5340
1662.68/1663.47	c nbDecision=1191000 #constraints=5340
1663.38/1664.18	c nbDecision=1191500 #constraints=5340
1664.08/1664.88	c nbDecision=1192000 #constraints=5340
1664.77/1665.58	c nbDecision=1192500 #constraints=5340
1665.47/1666.27	c nbDecision=1193000 #constraints=5340
1666.17/1666.96	c nbDecision=1193500 #constraints=5340
1666.88/1667.65	c nbDecision=1194000 #constraints=5340
1667.57/1668.34	c nbDecision=1194500 #constraints=5340
1668.27/1669.02	c nbDecision=1195000 #constraints=5340
1668.87/1669.69	c nbDecision=1195500 #constraints=5340
1669.57/1670.38	c nbDecision=1196000 #constraints=5340
1670.27/1671.04	c nbDecision=1196500 #constraints=5340
1670.97/1671.71	c nbDecision=1197000 #constraints=5340
1671.57/1672.38	c nbDecision=1197500 #constraints=5340
1672.26/1673.06	c nbDecision=1198000 #constraints=5340
1672.95/1673.72	c nbDecision=1198500 #constraints=5340
1673.55/1674.38	c nbDecision=1199000 #constraints=5340
1674.25/1675.04	c nbDecision=1199500 #constraints=5340
1674.85/1675.69	c nbDecision=1200000 #constraints=5340
1675.65/1676.45	c nbDecision=1200500 #constraints=5341
1676.35/1677.17	c nbDecision=1201000 #constraints=5341
1677.14/1677.90	c nbDecision=1201500 #constraints=5341
1677.85/1678.62	c nbDecision=1202000 #constraints=5341
1678.54/1679.36	c nbDecision=1202500 #constraints=5341
1679.24/1680.08	c nbDecision=1203000 #constraints=5341
1679.94/1680.79	c nbDecision=1203500 #constraints=5341
1680.64/1681.50	c nbDecision=1204000 #constraints=5341
1681.43/1682.21	c nbDecision=1204500 #constraints=5341
1682.13/1682.92	c nbDecision=1205000 #constraints=5341
1682.83/1683.63	c nbDecision=1205500 #constraints=5341
1683.53/1684.32	c nbDecision=1206000 #constraints=5341
1684.22/1685.04	c nbDecision=1206500 #constraints=5341
1684.92/1685.74	c nbDecision=1207000 #constraints=5341
1685.62/1686.43	c nbDecision=1207500 #constraints=5341
1686.32/1687.11	c nbDecision=1208000 #constraints=5341
1687.02/1687.81	c nbDecision=1208500 #constraints=5341
1687.62/1688.50	c nbDecision=1209000 #constraints=5341
1688.31/1689.18	c nbDecision=1209500 #constraints=5341
1689.01/1689.86	c nbDecision=1210000 #constraints=5341
1689.71/1690.53	c nbDecision=1210500 #constraints=5341
1690.41/1691.21	c nbDecision=1211000 #constraints=5341
1691.01/1691.87	c nbDecision=1211500 #constraints=5341
1691.71/1692.54	c nbDecision=1212000 #constraints=5341
1692.41/1693.20	c nbDecision=1212500 #constraints=5341
1693.01/1693.86	c nbDecision=1213000 #constraints=5341
1693.71/1694.52	c nbDecision=1213500 #constraints=5341
1694.31/1695.17	c nbDecision=1214000 #constraints=5341
1695.01/1695.82	c nbDecision=1214500 #constraints=5341
1695.71/1696.56	c nbDecision=1215000 #constraints=5342
1696.51/1697.30	c nbDecision=1215500 #constraints=5342
1697.20/1698.03	c nbDecision=1216000 #constraints=5342
1697.90/1698.75	c nbDecision=1216500 #constraints=5342
1698.61/1699.50	c nbDecision=1217000 #constraints=5342
1699.40/1700.22	c nbDecision=1217500 #constraints=5342
1700.10/1700.94	c nbDecision=1218000 #constraints=5342
1700.80/1701.66	c nbDecision=1218500 #constraints=5342
1701.50/1702.37	c nbDecision=1219000 #constraints=5342
1702.20/1703.09	c nbDecision=1219500 #constraints=5342
1702.90/1703.79	c nbDecision=1220000 #constraints=5342
1703.70/1704.50	c nbDecision=1220500 #constraints=5342
1704.30/1705.20	c nbDecision=1221000 #constraints=5342
1705.00/1705.89	c nbDecision=1221500 #constraints=5342
1705.70/1706.59	c nbDecision=1222000 #constraints=5342
1706.40/1707.28	c nbDecision=1222500 #constraints=5342
1707.10/1707.97	c nbDecision=1223000 #constraints=5342
1707.80/1708.66	c nbDecision=1223500 #constraints=5342
1708.50/1709.34	c nbDecision=1224000 #constraints=5342
1709.20/1710.01	c nbDecision=1224500 #constraints=5342
1709.80/1710.68	c nbDecision=1225000 #constraints=5342
1710.49/1711.35	c nbDecision=1225500 #constraints=5342
1711.18/1712.03	c nbDecision=1226000 #constraints=5342
1711.88/1712.70	c nbDecision=1226500 #constraints=5342
1712.48/1713.37	c nbDecision=1227000 #constraints=5342
1713.18/1714.03	c nbDecision=1227500 #constraints=5342
1713.78/1714.68	c nbDecision=1228000 #constraints=5342
1714.48/1715.34	c nbDecision=1228500 #constraints=5342
1715.08/1715.99	c nbDecision=1229000 #constraints=5342
1715.88/1716.71	c nbDecision=1229500 #constraints=5343
1716.58/1717.44	c nbDecision=1230000 #constraints=5343
1717.28/1718.16	c nbDecision=1230500 #constraints=5343
1717.97/1718.89	c nbDecision=1231000 #constraints=5343
1718.77/1719.61	c nbDecision=1231500 #constraints=5343
1719.48/1720.34	c nbDecision=1232000 #constraints=5343
1720.17/1721.06	c nbDecision=1232500 #constraints=5343
1720.87/1721.77	c nbDecision=1233000 #constraints=5343
1721.57/1722.49	c nbDecision=1233500 #constraints=5343
1722.37/1723.20	c nbDecision=1234000 #constraints=5343
1723.07/1723.91	c nbDecision=1234500 #constraints=5343
1723.77/1724.62	c nbDecision=1235000 #constraints=5343
1724.47/1725.32	c nbDecision=1235500 #constraints=5343
1725.17/1726.02	c nbDecision=1236000 #constraints=5343
1725.87/1726.71	c nbDecision=1236500 #constraints=5343
1726.57/1727.41	c nbDecision=1237000 #constraints=5343
1727.18/1728.10	c nbDecision=1237500 #constraints=5343
1727.87/1728.78	c nbDecision=1238000 #constraints=5343
1728.57/1729.46	c nbDecision=1238500 #constraints=5343
1729.27/1730.14	c nbDecision=1239000 #constraints=5343
1729.97/1730.81	c nbDecision=1239500 #constraints=5343
1730.57/1731.48	c nbDecision=1240000 #constraints=5343
1731.27/1732.14	c nbDecision=1240500 #constraints=5343
1731.97/1732.81	c nbDecision=1241000 #constraints=5343
1732.57/1733.47	c nbDecision=1241500 #constraints=5343
1733.27/1734.13	c nbDecision=1242000 #constraints=5343
1733.87/1734.78	c nbDecision=1242500 #constraints=5343
1734.57/1735.44	c nbDecision=1243000 #constraints=5343
1735.17/1736.09	c nbDecision=1243500 #constraints=5343
1735.87/1736.79	c nbDecision=1244000 #constraints=5344
1736.67/1737.52	c nbDecision=1244500 #constraints=5344
1737.37/1738.23	c nbDecision=1245000 #constraints=5344
1738.07/1738.97	c nbDecision=1245500 #constraints=5344
1738.87/1739.70	c nbDecision=1246000 #constraints=5344
1739.57/1740.42	c nbDecision=1246500 #constraints=5344
1740.27/1741.14	c nbDecision=1247000 #constraints=5344
1740.97/1741.86	c nbDecision=1247500 #constraints=5344
1741.67/1742.58	c nbDecision=1248000 #constraints=5344
1742.37/1743.29	c nbDecision=1248500 #constraints=5344
1743.07/1743.99	c nbDecision=1249000 #constraints=5344
1743.77/1744.69	c nbDecision=1249500 #constraints=5344
1744.46/1745.39	c nbDecision=1250000 #constraints=5344
1745.16/1746.09	c nbDecision=1250500 #constraints=5344
1745.87/1746.78	c nbDecision=1251000 #constraints=5344
1746.56/1747.48	c nbDecision=1251500 #constraints=5344
1747.26/1748.16	c nbDecision=1252000 #constraints=5344
1747.96/1748.85	c nbDecision=1252500 #constraints=5344
1748.66/1749.52	c nbDecision=1253000 #constraints=5344
1749.27/1750.19	c nbDecision=1253500 #constraints=5344
1749.96/1750.86	c nbDecision=1254000 #constraints=5344
1750.66/1751.52	c nbDecision=1254500 #constraints=5344
1751.26/1752.19	c nbDecision=1255000 #constraints=5344
1751.96/1752.85	c nbDecision=1255500 #constraints=5344
1752.66/1753.51	c nbDecision=1256000 #constraints=5344
1753.26/1754.17	c nbDecision=1256500 #constraints=5344
1753.96/1754.83	c nbDecision=1257000 #constraints=5344
1754.56/1755.48	c nbDecision=1257500 #constraints=5344
1755.26/1756.13	c nbDecision=1258000 #constraints=5344
1755.96/1756.82	c nbDecision=1258500 #constraints=5345
1756.66/1757.55	c nbDecision=1259000 #constraints=5345
1757.36/1758.27	c nbDecision=1259500 #constraints=5345
1758.16/1759.01	c nbDecision=1260000 #constraints=5345
1758.86/1759.73	c nbDecision=1260500 #constraints=5345
1759.56/1760.46	c nbDecision=1261000 #constraints=5345
1760.26/1761.17	c nbDecision=1261500 #constraints=5345
1760.96/1761.88	c nbDecision=1262000 #constraints=5345
1761.76/1762.60	c nbDecision=1262500 #constraints=5345
1762.46/1763.31	c nbDecision=1263000 #constraints=5345
1763.16/1764.02	c nbDecision=1263500 #constraints=5345
1763.86/1764.72	c nbDecision=1264000 #constraints=5345
1764.56/1765.43	c nbDecision=1264500 #constraints=5345
1765.26/1766.13	c nbDecision=1265000 #constraints=5345
1765.96/1766.82	c nbDecision=1265500 #constraints=5345
1766.66/1767.51	c nbDecision=1266000 #constraints=5345
1767.36/1768.20	c nbDecision=1266500 #constraints=5345
1767.96/1768.88	c nbDecision=1267000 #constraints=5345
1768.66/1769.56	c nbDecision=1267500 #constraints=5345
1769.35/1770.23	c nbDecision=1268000 #constraints=5345
1769.95/1770.90	c nbDecision=1268500 #constraints=5345
1770.65/1771.57	c nbDecision=1269000 #constraints=5345
1771.35/1772.24	c nbDecision=1269500 #constraints=5345
1772.05/1772.91	c nbDecision=1270000 #constraints=5345
1772.65/1773.57	c nbDecision=1270500 #constraints=5345
1773.36/1774.22	c nbDecision=1271000 #constraints=5345
1773.95/1774.88	c nbDecision=1271500 #constraints=5345
1774.65/1775.54	c nbDecision=1272000 #constraints=5345
1775.25/1776.19	c nbDecision=1272500 #constraints=5345
1775.95/1776.87	c nbDecision=1273000 #constraints=5346
1776.76/1777.60	c nbDecision=1273500 #constraints=5346
1777.45/1778.33	c nbDecision=1274000 #constraints=5346
1778.15/1779.06	c nbDecision=1274500 #constraints=5346
1778.85/1779.79	c nbDecision=1275000 #constraints=5346
1779.65/1780.51	c nbDecision=1275500 #constraints=5346
1780.35/1781.24	c nbDecision=1276000 #constraints=5346
1781.05/1781.95	c nbDecision=1276500 #constraints=5346
1781.75/1782.67	c nbDecision=1277000 #constraints=5346
1782.45/1783.38	c nbDecision=1277500 #constraints=5346
1783.15/1784.09	c nbDecision=1278000 #constraints=5346
1783.95/1784.80	c nbDecision=1278500 #constraints=5346
1784.65/1785.50	c nbDecision=1279000 #constraints=5346
1785.35/1786.20	c nbDecision=1279500 #constraints=5346
1785.95/1786.89	c nbDecision=1280000 #constraints=5346
1786.65/1787.59	c nbDecision=1280500 #constraints=5346
1787.35/1788.29	c nbDecision=1281000 #constraints=5346
1788.05/1788.96	c nbDecision=1281500 #constraints=5346
1788.75/1789.64	c nbDecision=1282000 #constraints=5346
1789.45/1790.32	c nbDecision=1282500 #constraints=5346
1790.05/1790.99	c nbDecision=1283000 #constraints=5346
1790.75/1791.66	c nbDecision=1283500 #constraints=5346
1791.45/1792.33	c nbDecision=1284000 #constraints=5346
1792.05/1793.00	c nbDecision=1284500 #constraints=5346
1792.74/1793.66	c nbDecision=1285000 #constraints=5346
1793.44/1794.33	c nbDecision=1285500 #constraints=5346
1794.04/1794.98	c nbDecision=1286000 #constraints=5346
1794.74/1795.64	c nbDecision=1286500 #constraints=5346
1795.35/1796.29	c nbDecision=1287000 #constraints=5346
1796.04/1796.94	c nbDecision=1287500 #constraints=5346
1796.84/1797.70	c nbDecision=1288000 #constraints=5347
1797.55/1798.42	c nbDecision=1288500 #constraints=5347
1798.24/1799.15	c nbDecision=1289000 #constraints=5347
1798.94/1799.87	c nbDecision=1289500 #constraints=5347
1799.75/1800.60	c nbDecision=1290000 #constraints=5347
1800.05/1800.90	Received signal 15
1800.05/1800.90	
1800.05/1800.90	s UNKNOWN
1800.05/1800.90	
1800.05/1800.90	c user time= 1799.9 s
1800.05/1800.90	c system time= 0.156976 s
1800.05/1800.90	c wall clock time=1800.91

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/node58/watcher-357278-1176993202 -o ROOT/results/node58/solver-357278-1176993202 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357278-1176993202/instance-357278-1176993202.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: 0.92 0.98 0.98 3/64 24902
/proc/meminfo: memFree=1705312/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=1468 CPUtime=0
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147229968 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 367 161 127 317 0 46 0

[startup+0.0450729 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 24902
/proc/meminfo: memFree=1705312/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=2660 CPUtime=0.04
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 451 0 0 0 4 0 0 0 18 0 1 0 147229968 2723840 400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 665 400 127 317 0 344 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2660

[startup+0.101082 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 24902
/proc/meminfo: memFree=1705312/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=3440 CPUtime=0.09
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 790 0 0 0 9 0 0 0 18 0 1 0 147229968 3522560 545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 860 545 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301115 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 24902
/proc/meminfo: memFree=1705312/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=5232 CPUtime=0.29
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 1230 0 0 0 29 0 0 0 19 0 1 0 147229968 5357568 985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 1308 985 131 317 0 987 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5232

[startup+0.701183 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 24902
/proc/meminfo: memFree=1705312/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=13020 CPUtime=0.69
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 3175 0 0 0 69 0 0 0 23 0 1 0 147229968 13332480 2930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 3255 2930 131 317 0 2934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13020

[startup+1.50132 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 24903
/proc/meminfo: memFree=1689048/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=32456 CPUtime=1.49
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8051 0 0 0 147 2 0 0 25 0 1 0 147229968 33234944 7806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8114 7806 137 317 0 7793 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32456

[startup+3.10159 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 24903
/proc/meminfo: memFree=1672856/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34040 CPUtime=3.09
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8435 0 0 0 307 2 0 0 25 0 1 0 147229968 34856960 8190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8510 8190 138 317 0 8189 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34040

[startup+6.30113 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 24903
/proc/meminfo: memFree=1672664/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34040 CPUtime=6.29
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8437 0 0 0 627 2 0 0 25 0 1 0 147229968 34856960 8192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8510 8192 138 317 0 8189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34040

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 24903
/proc/meminfo: memFree=1672680/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34040 CPUtime=12.68
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8442 0 0 0 1266 2 0 0 25 0 1 0 147229968 34856960 8197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8510 8197 138 317 0 8189 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34040

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.98 2/65 24903
/proc/meminfo: memFree=1672680/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34176 CPUtime=25.48
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8451 0 0 0 2546 2 0 0 25 0 1 0 147229968 34996224 8206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8544 8206 138 317 0 8223 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34176

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.98 2/65 24903
/proc/meminfo: memFree=1672680/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34176 CPUtime=51.07
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8466 0 0 0 5105 2 0 0 25 0 1 0 147229968 34996224 8221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8544 8221 138 317 0 8223 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34176

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.98 2/65 24903
/proc/meminfo: memFree=1672424/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=102.25
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8577 0 0 0 10223 2 0 0 25 0 1 0 147229968 35409920 8296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8296 139 317 0 8324 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 34580

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 24903
/proc/meminfo: memFree=1672360/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=162.24
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8577 0 0 0 16221 3 0 0 25 0 1 0 147229968 35409920 8296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8296 139 317 0 8324 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 34580

[startup+222.302 s]
/proc/loadavg: 1.03 1.00 0.99 2/65 24903
/proc/meminfo: memFree=1672296/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=222.21
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8579 0 0 0 22218 3 0 0 25 0 1 0 147229968 35409920 8298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8298 139 317 0 8324 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 34580

[startup+282.302 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 24903
/proc/meminfo: memFree=1672232/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=282.18
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8581 0 0 0 28215 3 0 0 25 0 1 0 147229968 35409920 8300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8300 139 317 0 8324 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 34580

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24903
/proc/meminfo: memFree=1672232/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=342.17
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8581 0 0 0 34213 4 0 0 25 0 1 0 147229968 35409920 8300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8300 139 317 0 8324 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 34580

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672360/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=402.14
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8582 0 0 0 40210 4 0 0 25 0 1 0 147229968 35409920 8301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8301 139 317 0 8324 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 34580

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672360/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=462.11
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8582 0 0 0 46207 4 0 0 25 0 1 0 147229968 35409920 8301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8301 139 317 0 8324 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 34580

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672296/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=522.08
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8583 0 0 0 52204 4 0 0 25 0 1 0 147229968 35409920 8302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8302 139 317 0 8324 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 34580

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672296/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=582.07
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8583 0 0 0 58202 5 0 0 25 0 1 0 147229968 35409920 8302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8302 139 317 0 8324 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 34580

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672296/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=642.04
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8584 0 0 0 64199 5 0 0 25 0 1 0 147229968 35409920 8303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8303 139 317 0 8324 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 34580


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672104/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=881.93
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8586 0 0 0 88187 6 0 0 25 0 1 0 147229968 35409920 8305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8305 139 317 0 8324 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 34580

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672104/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=941.9
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8587 0 0 0 94184 6 0 0 25 0 1 0 147229968 35409920 8306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8306 139 317 0 8324 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 34580

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672040/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=1001.87
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8588 0 0 0 100181 6 0 0 25 0 1 0 147229968 35409920 8307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8307 139 317 0 8324 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 34580

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672104/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=1061.85
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8588 0 0 0 106178 7 0 0 25 0 1 0 147229968 35409920 8307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8307 139 317 0 8324 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 34580

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672040/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=1121.81
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8588 0 0 0 112174 7 0 0 25 0 1 0 147229968 35409920 8307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8307 139 317 0 8324 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 34580

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672104/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=1181.8
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8589 0 0 0 118172 8 0 0 25 0 1 0 147229968 35409920 8308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8308 139 317 0 8324 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 34580

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672104/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=1241.77
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8589 0 0 0 124169 8 0 0 25 0 1 0 147229968 35409920 8308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8308 139 317 0 8324 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 34580

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672040/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=1301.75
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8589 0 0 0 130167 8 0 0 25 0 1 0 147229968 35409920 8308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8308 139 317 0 8324 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 34580

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672040/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34580 CPUtime=1361.72
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8589 0 0 0 136163 9 0 0 25 0 1 0 147229968 35409920 8308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8645 8308 139 317 0 8324 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 34580

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1671976/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34712 CPUtime=1421.69
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8590 0 0 0 142160 9 0 0 25 0 1 0 147229968 35545088 8309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8678 8309 139 317 0 8357 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 34712

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1671976/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34712 CPUtime=1481.66
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8590 0 0 0 148157 9 0 0 25 0 1 0 147229968 35545088 8309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8678 8309 139 317 0 8357 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 34712

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672168/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34712 CPUtime=1541.64
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8591 0 0 0 154154 10 0 0 25 0 1 0 147229968 35545088 8310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8678 8310 139 317 0 8357 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 34712

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 24905
/proc/meminfo: memFree=1672168/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34712 CPUtime=1601.61
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8591 0 0 0 160151 10 0 0 25 0 1 0 147229968 35545088 8310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8678 8310 139 317 0 8357 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 34712

[startup+1662.3 s]
/proc/loadavg: 1.07 1.02 0.99 2/71 24971
/proc/meminfo: memFree=1670904/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34712 CPUtime=1661.58
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8592 0 0 0 166144 14 0 0 25 0 1 0 147229968 35545088 8311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8678 8311 139 317 0 8357 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 34712

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 0.99 2/65 25103
/proc/meminfo: memFree=1671720/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34712 CPUtime=1721.47
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8592 0 0 0 172132 15 0 0 25 0 1 0 147229968 35545088 8311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8678 8311 139 317 0 8357 0
Current children cumulated CPU time (s) 1721.47
Current children cumulated vsize (KiB) 34712

[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 25103
/proc/meminfo: memFree=1671720/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34712 CPUtime=1781.45
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8593 0 0 0 178130 15 0 0 25 0 1 0 147229968 35545088 8312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8678 8312 139 317 0 8357 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (KiB) 34712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25103
/proc/meminfo: memFree=1671720/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34712 CPUtime=1800.05
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8593 0 0 0 179990 15 0 0 25 0 1 0 147229968 35545088 8312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8678 8312 139 317 0 8357 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 34712

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

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25103
/proc/meminfo: memFree=1671720/2055920 swapFree=4184528/4192956
[pid=24902] ppid=24900 vsize=34712 CPUtime=1800.05
/proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8593 0 0 0 179990 15 0 0 25 0 1 0 147229968 35545088 8312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24902/statm: 8678 8312 139 317 0 8357 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 34712

Child status: 0
Real time (s): 1800.93
CPU time (s): 1800.08
CPU user time (s): 1799.92
CPU system time (s): 0.161975
CPU usage (%): 99.9528
Max. virtual memory (cumulated for all children) (KiB): 34712

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

runsolver used 1.55976 second user time and 3.66644 second system time

The end

Launcher Data (download as text)

Begin job on node58 on Thu Apr 19 14:33:23 UTC 2007

IDJOB= 357278
IDBENCH= 2342
IDSOLVER= 172
FILE ID= node58/357278-1176993202

PBS_JOBID= 4630442

Free space on /tmp= 66445 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
COMMAND LINE= oree /tmp/evaluation/357278-1176993202/instance-357278-1176993202.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-357278-1176993202 -o ROOT/results/node58/solver-357278-1176993202 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357278-1176993202/instance-357278-1176993202.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  bb02029eb777c2a6ae8e192b29bcb9de

RANDOM SEED= 166730033

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node58.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.265
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.265
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:       1705720 kB
Buffers:         27560 kB
Cached:         248152 kB
SwapCached:       2340 kB
Active:          27584 kB
Inactive:       258536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1705720 kB
SwapTotal:     4192956 kB
SwapFree:      4184528 kB
Dirty:            5968 kB
Writeback:           0 kB
Mapped:          16836 kB
Slab:            50116 kB
Committed_AS:   957452 kB
PageTables:       1384 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= 66445 MiB

End job on node58 on Thu Apr 19 15:03:26 UTC 2007