Trace number 357303

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb
MD5SUM1a4e4bfb1c77b43166d46bacbe01c892
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 variables103872
Total number of constraints3312
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 constraints3312
Minimum length of a constraint31
Maximum length of a constraint725
Number of terms in the objective function 37632
Biggest coefficient in the objective function 31125091123200
Number of bits for the biggest coefficient in the objective function 45
Sum of the numbers in the objective function 14624065344515792
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 31125091123200
Number of bits of the biggest number in a constraint 45
Biggest sum of numbers in a constraint 14624065344515792
Number of bits of the biggest sum of numbers54
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.09/1.11	c ...done
1.09/1.11	c #vars=103872 #constraints=4561 hasObjective=yes
1.58/1.60	c res. mode=mod
1.58/1.60	c VSIDS like heuristics
1.58/1.60	c complete search running
2.48/2.54	c restart after 401 decisions
2.58/2.70	c nbDecision=500 #constraints=4637
3.39/3.45	c restart after 801 decisions
3.69/3.76	c nbDecision=1000 #constraints=4716
4.89/4.93	c nbDecision=1500 #constraints=4815
4.99/5.08	c restart after 1601 decisions
5.59/5.70	c nbDecision=2000 #constraints=4815
6.39/6.45	c nbDecision=2500 #constraints=4817
7.19/7.20	c nbDecision=3000 #constraints=4820
7.49/7.50	c restart after 3201 decisions
7.89/7.96	c nbDecision=3500 #constraints=4820
8.69/8.72	c nbDecision=4000 #constraints=4820
9.39/9.47	c nbDecision=4500 #constraints=4820
10.19/10.21	c nbDecision=5000 #constraints=4820
10.89/10.95	c nbDecision=5500 #constraints=4820
11.58/11.69	c nbDecision=6000 #constraints=4820
12.18/12.29	c restart after 6401 decisions
12.38/12.45	c nbDecision=6500 #constraints=4820
13.09/13.20	c nbDecision=7000 #constraints=4820
13.88/13.95	c nbDecision=7500 #constraints=4820
14.58/14.69	c nbDecision=8000 #constraints=4820
15.39/15.44	c nbDecision=8500 #constraints=4820
16.08/16.19	c nbDecision=9000 #constraints=4820
16.88/16.93	c nbDecision=9500 #constraints=4820
17.59/17.67	c nbDecision=10000 #constraints=4820
18.28/18.39	c nbDecision=10500 #constraints=4820
19.08/19.12	c nbDecision=11000 #constraints=4820
19.79/19.85	c nbDecision=11500 #constraints=4820
20.48/20.58	c nbDecision=12000 #constraints=4820
21.28/21.31	c nbDecision=12500 #constraints=4820
21.68/21.75	c restart after 12801 decisions
21.98/22.07	c nbDecision=13000 #constraints=4820
22.78/22.84	c nbDecision=13500 #constraints=4820
23.48/23.59	c nbDecision=14000 #constraints=4820
24.28/24.34	c nbDecision=14500 #constraints=4820
24.98/25.09	c nbDecision=15000 #constraints=4820
25.78/25.82	c nbDecision=15500 #constraints=4820
26.48/26.56	c nbDecision=16000 #constraints=4820
27.18/27.29	c nbDecision=16500 #constraints=4820
27.98/28.03	c nbDecision=17000 #constraints=4820
28.68/28.75	c nbDecision=17500 #constraints=4820
29.38/29.48	c nbDecision=18000 #constraints=4820
30.08/30.19	c nbDecision=18500 #constraints=4820
30.78/30.90	c nbDecision=19000 #constraints=4820
31.58/31.60	c nbDecision=19500 #constraints=4820
32.28/32.31	c nbDecision=20000 #constraints=4820
32.98/33.02	c nbDecision=20500 #constraints=4820
33.68/33.73	c nbDecision=21000 #constraints=4820
34.38/34.43	c nbDecision=21500 #constraints=4820
35.08/35.13	c nbDecision=22000 #constraints=4820
35.78/35.84	c nbDecision=22500 #constraints=4820
36.48/36.54	c nbDecision=23000 #constraints=4820
37.18/37.24	c nbDecision=23500 #constraints=4820
37.88/37.94	c nbDecision=24000 #constraints=4820
38.58/38.63	c nbDecision=24500 #constraints=4820
39.28/39.32	c nbDecision=25000 #constraints=4820
39.97/40.01	c nbDecision=25500 #constraints=4820
40.07/40.15	c restart after 25601 decisions
40.68/40.77	c nbDecision=26000 #constraints=4820
41.47/41.53	c nbDecision=26500 #constraints=4820
42.17/42.29	c nbDecision=27000 #constraints=4820
42.97/43.04	c nbDecision=27500 #constraints=4820
43.67/43.78	c nbDecision=28000 #constraints=4820
44.47/44.53	c nbDecision=28500 #constraints=4820
45.17/45.26	c nbDecision=29000 #constraints=4820
45.87/46.00	c nbDecision=29500 #constraints=4820
46.68/46.72	c nbDecision=30000 #constraints=4820
47.38/47.45	c nbDecision=30500 #constraints=4820
48.08/48.18	c nbDecision=31000 #constraints=4820
48.88/48.90	c nbDecision=31500 #constraints=4820
49.58/49.62	c nbDecision=32000 #constraints=4820
50.28/50.33	c nbDecision=32500 #constraints=4820
50.98/51.05	c nbDecision=33000 #constraints=4820
51.68/51.76	c nbDecision=33500 #constraints=4820
52.38/52.46	c nbDecision=34000 #constraints=4820
53.08/53.17	c nbDecision=34500 #constraints=4820
53.78/53.87	c nbDecision=35000 #constraints=4820
54.48/54.56	c nbDecision=35500 #constraints=4820
55.18/55.27	c nbDecision=36000 #constraints=4820
55.88/55.96	c nbDecision=36500 #constraints=4820
56.58/56.66	c nbDecision=37000 #constraints=4820
57.28/57.35	c nbDecision=37500 #constraints=4820
57.98/58.05	c nbDecision=38000 #constraints=4820
58.68/58.73	c nbDecision=38500 #constraints=4820
59.38/59.44	c nbDecision=39000 #constraints=4820
60.08/60.13	c nbDecision=39500 #constraints=4820
60.78/60.80	c nbDecision=40000 #constraints=4820
61.38/61.47	c nbDecision=40500 #constraints=4820
62.08/62.15	c nbDecision=41000 #constraints=4820
62.78/62.82	c nbDecision=41500 #constraints=4820
63.38/63.49	c nbDecision=42000 #constraints=4820
64.08/64.16	c nbDecision=42500 #constraints=4820
64.78/64.82	c nbDecision=43000 #constraints=4820
65.38/65.48	c nbDecision=43500 #constraints=4820
66.07/66.13	c nbDecision=44000 #constraints=4820
66.68/66.78	c nbDecision=44500 #constraints=4820
67.37/67.43	c nbDecision=45000 #constraints=4820
67.97/68.08	c nbDecision=45500 #constraints=4820
68.67/68.73	c nbDecision=46000 #constraints=4820
69.28/69.37	c nbDecision=46500 #constraints=4820
69.97/70.01	c nbDecision=47000 #constraints=4820
70.57/70.64	c nbDecision=47500 #constraints=4820
71.17/71.27	c nbDecision=48000 #constraints=4820
71.87/71.90	c nbDecision=48500 #constraints=4820
72.48/72.60	c nbDecision=49000 #constraints=4821
73.17/73.29	c nbDecision=49500 #constraints=4821
73.87/73.97	c nbDecision=50000 #constraints=4821
74.57/74.65	c nbDecision=50500 #constraints=4821
75.27/75.34	c nbDecision=51000 #constraints=4821
75.57/75.61	c restart after 51201 decisions
76.07/76.10	c nbDecision=51500 #constraints=4821
76.77/76.86	c nbDecision=52000 #constraints=4821
77.57/77.60	c nbDecision=52500 #constraints=4821
78.27/78.35	c nbDecision=53000 #constraints=4821
78.97/79.10	c nbDecision=53500 #constraints=4821
79.77/79.85	c nbDecision=54000 #constraints=4821
80.47/80.57	c nbDecision=54500 #constraints=4821
81.27/81.31	c nbDecision=55000 #constraints=4821
81.97/82.05	c nbDecision=55500 #constraints=4821
82.67/82.79	c nbDecision=56000 #constraints=4821
83.47/83.52	c nbDecision=56500 #constraints=4821
84.17/84.24	c nbDecision=57000 #constraints=4821
84.87/84.96	c nbDecision=57500 #constraints=4821
85.57/85.67	c nbDecision=58000 #constraints=4821
86.27/86.39	c nbDecision=58500 #constraints=4821
87.07/87.10	c nbDecision=59000 #constraints=4821
87.77/87.81	c nbDecision=59500 #constraints=4821
88.47/88.51	c nbDecision=60000 #constraints=4821
89.17/89.22	c nbDecision=60500 #constraints=4821
89.87/89.92	c nbDecision=61000 #constraints=4821
90.57/90.61	c nbDecision=61500 #constraints=4821
91.27/91.31	c nbDecision=62000 #constraints=4821
91.97/92.00	c nbDecision=62500 #constraints=4821
92.57/92.69	c nbDecision=63000 #constraints=4821
93.26/93.38	c nbDecision=63500 #constraints=4821
93.96/94.06	c nbDecision=64000 #constraints=4821
94.66/94.75	c nbDecision=64500 #constraints=4821
95.36/95.43	c nbDecision=65000 #constraints=4821
96.06/96.12	c nbDecision=65500 #constraints=4821
96.67/96.79	c nbDecision=66000 #constraints=4821
97.36/97.46	c nbDecision=66500 #constraints=4821
98.06/98.13	c nbDecision=67000 #constraints=4821
98.76/98.80	c nbDecision=67500 #constraints=4821
99.36/99.47	c nbDecision=68000 #constraints=4821
100.07/100.14	c nbDecision=68500 #constraints=4821
100.76/100.80	c nbDecision=69000 #constraints=4821
101.36/101.46	c nbDecision=69500 #constraints=4821
102.06/102.11	c nbDecision=70000 #constraints=4821
102.66/102.76	c nbDecision=70500 #constraints=4821
103.37/103.42	c nbDecision=71000 #constraints=4821
103.96/104.06	c nbDecision=71500 #constraints=4821
104.66/104.70	c nbDecision=72000 #constraints=4821
105.26/105.34	c nbDecision=72500 #constraints=4821
105.86/105.97	c nbDecision=73000 #constraints=4821
106.56/106.60	c nbDecision=73500 #constraints=4821
107.16/107.23	c nbDecision=74000 #constraints=4821
107.86/107.93	c nbDecision=74500 #constraints=4822
108.56/108.63	c nbDecision=75000 #constraints=4822
109.26/109.33	c nbDecision=75500 #constraints=4822
109.96/110.03	c nbDecision=76000 #constraints=4822
110.66/110.72	c nbDecision=76500 #constraints=4822
111.36/111.41	c nbDecision=77000 #constraints=4822
111.96/112.10	c nbDecision=77500 #constraints=4822
112.66/112.78	c nbDecision=78000 #constraints=4822
113.36/113.46	c nbDecision=78500 #constraints=4822
114.06/114.14	c nbDecision=79000 #constraints=4822
114.76/114.82	c nbDecision=79500 #constraints=4822
115.36/115.50	c nbDecision=80000 #constraints=4822
116.06/116.18	c nbDecision=80500 #constraints=4822
116.76/116.85	c nbDecision=81000 #constraints=4822
117.46/117.52	c nbDecision=81500 #constraints=4822
118.06/118.19	c nbDecision=82000 #constraints=4822
118.76/118.86	c nbDecision=82500 #constraints=4822
119.45/119.52	c nbDecision=83000 #constraints=4822
120.05/120.18	c nbDecision=83500 #constraints=4822
120.75/120.84	c nbDecision=84000 #constraints=4822
121.35/121.49	c nbDecision=84500 #constraints=4822
122.06/122.14	c nbDecision=85000 #constraints=4822
122.65/122.79	c nbDecision=85500 #constraints=4822
123.35/123.43	c nbDecision=86000 #constraints=4822
123.95/124.07	c nbDecision=86500 #constraints=4822
124.65/124.71	c nbDecision=87000 #constraints=4822
125.26/125.34	c nbDecision=87500 #constraints=4822
125.85/125.97	c nbDecision=88000 #constraints=4822
126.55/126.66	c nbDecision=88500 #constraints=4823
127.25/127.36	c nbDecision=89000 #constraints=4823
127.95/128.04	c nbDecision=89500 #constraints=4823
128.65/128.73	c nbDecision=90000 #constraints=4823
129.35/129.42	c nbDecision=90500 #constraints=4823
130.05/130.10	c nbDecision=91000 #constraints=4823
130.65/130.78	c nbDecision=91500 #constraints=4823
131.35/131.46	c nbDecision=92000 #constraints=4823
132.05/132.14	c nbDecision=92500 #constraints=4823
132.75/132.80	c nbDecision=93000 #constraints=4823
133.35/133.47	c nbDecision=93500 #constraints=4823
134.05/134.13	c nbDecision=94000 #constraints=4823
134.65/134.80	c nbDecision=94500 #constraints=4823
135.35/135.46	c nbDecision=95000 #constraints=4823
136.05/136.13	c nbDecision=95500 #constraints=4823
136.65/136.79	c nbDecision=96000 #constraints=4823
137.35/137.45	c nbDecision=96500 #constraints=4823
138.05/138.11	c nbDecision=97000 #constraints=4823
138.65/138.76	c nbDecision=97500 #constraints=4823
139.35/139.41	c nbDecision=98000 #constraints=4823
139.95/140.06	c nbDecision=98500 #constraints=4823
140.65/140.70	c nbDecision=99000 #constraints=4823
141.25/141.35	c nbDecision=99500 #constraints=4823
141.85/141.99	c nbDecision=100000 #constraints=4823
142.55/142.62	c nbDecision=100500 #constraints=4823
143.14/143.26	c nbDecision=101000 #constraints=4823
143.85/143.98	c nbDecision=101500 #constraints=4824
144.54/144.69	c nbDecision=102000 #constraints=4824
145.15/145.25	c restart after 102401 decisions
145.34/145.42	c nbDecision=102500 #constraints=4824
146.04/146.18	c nbDecision=103000 #constraints=4824
146.84/146.93	c nbDecision=103500 #constraints=4824
147.54/147.67	c nbDecision=104000 #constraints=4824
148.35/148.42	c nbDecision=104500 #constraints=4824
149.04/149.16	c nbDecision=105000 #constraints=4824
149.74/149.89	c nbDecision=105500 #constraints=4824
150.55/150.63	c nbDecision=106000 #constraints=4824
151.24/151.36	c nbDecision=106500 #constraints=4824
151.95/152.08	c nbDecision=107000 #constraints=4824
152.75/152.80	c nbDecision=107500 #constraints=4824
153.45/153.53	c nbDecision=108000 #constraints=4824
154.15/154.25	c nbDecision=108500 #constraints=4824
154.85/154.97	c nbDecision=109000 #constraints=4824
155.55/155.69	c nbDecision=109500 #constraints=4824
156.35/156.41	c nbDecision=110000 #constraints=4824
157.05/157.13	c nbDecision=110500 #constraints=4824
157.74/157.84	c nbDecision=111000 #constraints=4824
158.44/158.56	c nbDecision=111500 #constraints=4824
159.14/159.26	c nbDecision=112000 #constraints=4824
159.84/159.97	c nbDecision=112500 #constraints=4824
160.55/160.67	c nbDecision=113000 #constraints=4824
161.24/161.37	c nbDecision=113500 #constraints=4824
161.94/162.06	c nbDecision=114000 #constraints=4824
162.65/162.76	c nbDecision=114500 #constraints=4824
163.34/163.45	c nbDecision=115000 #constraints=4824
164.04/164.14	c nbDecision=115500 #constraints=4824
164.74/164.83	c nbDecision=116000 #constraints=4824
165.34/165.50	c nbDecision=116500 #constraints=4824
166.04/166.17	c nbDecision=117000 #constraints=4824
166.74/166.84	c nbDecision=117500 #constraints=4824
167.44/167.51	c nbDecision=118000 #constraints=4824
168.04/168.17	c nbDecision=118500 #constraints=4824
168.74/168.84	c nbDecision=119000 #constraints=4824
169.44/169.50	c nbDecision=119500 #constraints=4824
170.04/170.16	c nbDecision=120000 #constraints=4824
170.74/170.81	c nbDecision=120500 #constraints=4824
171.34/171.46	c nbDecision=121000 #constraints=4824
172.04/172.11	c nbDecision=121500 #constraints=4824
172.64/172.76	c nbDecision=122000 #constraints=4824
173.34/173.40	c nbDecision=122500 #constraints=4824
173.94/174.04	c nbDecision=123000 #constraints=4824
174.54/174.68	c nbDecision=123500 #constraints=4824
175.24/175.32	c nbDecision=124000 #constraints=4824
175.84/175.96	c nbDecision=124500 #constraints=4824
176.44/176.60	c nbDecision=125000 #constraints=4824
177.14/177.27	c nbDecision=125500 #constraints=4825
177.84/177.98	c nbDecision=126000 #constraints=4825
178.54/178.68	c nbDecision=126500 #constraints=4825
179.24/179.39	c nbDecision=127000 #constraints=4825
179.94/180.09	c nbDecision=127500 #constraints=4825
180.64/180.79	c nbDecision=128000 #constraints=4825
181.34/181.48	c nbDecision=128500 #constraints=4825
182.04/182.17	c nbDecision=129000 #constraints=4825
182.74/182.86	c nbDecision=129500 #constraints=4825
183.44/183.55	c nbDecision=130000 #constraints=4825
184.14/184.23	c nbDecision=130500 #constraints=4825
184.84/184.91	c nbDecision=131000 #constraints=4825
185.44/185.57	c nbDecision=131500 #constraints=4825
186.14/186.24	c nbDecision=132000 #constraints=4825
186.84/186.91	c nbDecision=132500 #constraints=4825
187.43/187.57	c nbDecision=133000 #constraints=4825
188.13/188.23	c nbDecision=133500 #constraints=4825
188.83/188.95	c nbDecision=134000 #constraints=4825
189.53/189.60	c nbDecision=134500 #constraints=4825
190.14/190.25	c nbDecision=135000 #constraints=4825
190.83/190.90	c nbDecision=135500 #constraints=4825
191.43/191.55	c nbDecision=136000 #constraints=4825
192.03/192.19	c nbDecision=136500 #constraints=4825
192.73/192.83	c nbDecision=137000 #constraints=4825
193.33/193.47	c nbDecision=137500 #constraints=4825
194.03/194.11	c nbDecision=138000 #constraints=4825
194.64/194.74	c nbDecision=138500 #constraints=4825
195.23/195.38	c nbDecision=139000 #constraints=4825
195.93/196.05	c nbDecision=139500 #constraints=4826
196.63/196.76	c nbDecision=140000 #constraints=4826
197.33/197.47	c nbDecision=140500 #constraints=4826
198.03/198.17	c nbDecision=141000 #constraints=4826
198.73/198.87	c nbDecision=141500 #constraints=4826
199.43/199.57	c nbDecision=142000 #constraints=4826
200.13/200.26	c nbDecision=142500 #constraints=4826
200.83/200.94	c nbDecision=143000 #constraints=4826
201.53/201.63	c nbDecision=143500 #constraints=4826
202.23/202.31	c nbDecision=144000 #constraints=4826
202.93/203.00	c nbDecision=144500 #constraints=4826
203.53/203.68	c nbDecision=145000 #constraints=4826
204.22/204.35	c nbDecision=145500 #constraints=4826
204.92/205.02	c nbDecision=146000 #constraints=4826
205.53/205.68	c nbDecision=146500 #constraints=4826
206.22/206.35	c nbDecision=147000 #constraints=4826
206.92/207.00	c nbDecision=147500 #constraints=4826
207.52/207.66	c nbDecision=148000 #constraints=4826
208.22/208.32	c nbDecision=148500 #constraints=4826
208.83/208.97	c nbDecision=149000 #constraints=4826
209.52/209.62	c nbDecision=149500 #constraints=4826
210.12/210.26	c nbDecision=150000 #constraints=4826
210.82/210.90	c nbDecision=150500 #constraints=4826
211.42/211.54	c nbDecision=151000 #constraints=4826
212.02/212.18	c nbDecision=151500 #constraints=4826
212.72/212.82	c nbDecision=152000 #constraints=4826
213.33/213.45	c nbDecision=152500 #constraints=4826
213.92/214.08	c nbDecision=153000 #constraints=4826
214.62/214.76	c nbDecision=153500 #constraints=4827
215.32/215.47	c nbDecision=154000 #constraints=4827
216.02/216.17	c nbDecision=154500 #constraints=4827
216.72/216.87	c nbDecision=155000 #constraints=4827
217.42/217.57	c nbDecision=155500 #constraints=4827
218.12/218.27	c nbDecision=156000 #constraints=4827
218.82/218.97	c nbDecision=156500 #constraints=4827
219.52/219.66	c nbDecision=157000 #constraints=4827
220.22/220.34	c nbDecision=157500 #constraints=4827
220.92/221.03	c nbDecision=158000 #constraints=4827
221.62/221.71	c nbDecision=158500 #constraints=4827
222.22/222.39	c nbDecision=159000 #constraints=4827
222.92/223.07	c nbDecision=159500 #constraints=4827
223.62/223.74	c nbDecision=160000 #constraints=4827
224.32/224.42	c nbDecision=160500 #constraints=4827
224.92/225.08	c nbDecision=161000 #constraints=4827
225.62/225.74	c nbDecision=161500 #constraints=4827
226.32/226.40	c nbDecision=162000 #constraints=4827
226.92/227.05	c nbDecision=162500 #constraints=4827
227.63/227.70	c nbDecision=163000 #constraints=4827
228.22/228.35	c nbDecision=163500 #constraints=4827
228.82/228.99	c nbDecision=164000 #constraints=4827
229.52/229.63	c nbDecision=164500 #constraints=4827
230.12/230.27	c nbDecision=165000 #constraints=4827
230.83/230.91	c nbDecision=165500 #constraints=4827
231.42/231.55	c nbDecision=166000 #constraints=4827
232.03/232.18	c nbDecision=166500 #constraints=4827
232.72/232.81	c nbDecision=167000 #constraints=4827
233.32/233.48	c nbDecision=167500 #constraints=4828
234.02/234.16	c nbDecision=168000 #constraints=4828
234.72/234.84	c nbDecision=168500 #constraints=4828
235.42/235.52	c nbDecision=169000 #constraints=4828
236.12/236.20	c nbDecision=169500 #constraints=4828
236.72/236.88	c nbDecision=170000 #constraints=4828
237.42/237.55	c nbDecision=170500 #constraints=4828
238.12/238.22	c nbDecision=171000 #constraints=4828
238.72/238.89	c nbDecision=171500 #constraints=4828
239.42/239.56	c nbDecision=172000 #constraints=4828
240.12/240.22	c nbDecision=172500 #constraints=4828
240.72/240.88	c nbDecision=173000 #constraints=4828
241.42/241.54	c nbDecision=173500 #constraints=4828
242.02/242.19	c nbDecision=174000 #constraints=4828
242.72/242.84	c nbDecision=174500 #constraints=4828
243.32/243.49	c nbDecision=175000 #constraints=4828
244.02/244.14	c nbDecision=175500 #constraints=4828
244.62/244.78	c nbDecision=176000 #constraints=4828
245.32/245.41	c nbDecision=176500 #constraints=4828
245.92/246.04	c nbDecision=177000 #constraints=4828
246.52/246.67	c nbDecision=177500 #constraints=4828
247.22/247.37	c nbDecision=178000 #constraints=4829
247.92/248.05	c nbDecision=178500 #constraints=4829
248.62/248.73	c nbDecision=179000 #constraints=4829
249.32/249.41	c nbDecision=179500 #constraints=4829
249.92/250.09	c nbDecision=180000 #constraints=4829
250.62/250.77	c nbDecision=180500 #constraints=4829
251.31/251.44	c nbDecision=181000 #constraints=4829
252.01/252.11	c nbDecision=181500 #constraints=4829
252.61/252.78	c nbDecision=182000 #constraints=4829
253.31/253.44	c nbDecision=182500 #constraints=4829
254.02/254.10	c nbDecision=183000 #constraints=4829
254.61/254.76	c nbDecision=183500 #constraints=4829
255.31/255.43	c nbDecision=184000 #constraints=4829
255.91/256.09	c nbDecision=184500 #constraints=4829
256.61/256.74	c nbDecision=185000 #constraints=4829
257.22/257.39	c nbDecision=185500 #constraints=4829
257.91/258.04	c nbDecision=186000 #constraints=4829
258.51/258.69	c nbDecision=186500 #constraints=4829
259.21/259.34	c nbDecision=187000 #constraints=4829
259.81/259.98	c nbDecision=187500 #constraints=4829
260.52/260.62	c nbDecision=188000 #constraints=4829
261.11/261.25	c nbDecision=188500 #constraints=4829
261.72/261.89	c nbDecision=189000 #constraints=4829
262.41/262.59	c nbDecision=189500 #constraints=4830
263.11/263.28	c nbDecision=190000 #constraints=4830
263.81/263.97	c nbDecision=190500 #constraints=4830
264.51/264.65	c nbDecision=191000 #constraints=4830
265.21/265.33	c nbDecision=191500 #constraints=4830
265.91/266.00	c nbDecision=192000 #constraints=4830
266.51/266.67	c nbDecision=192500 #constraints=4830
267.21/267.34	c nbDecision=193000 #constraints=4830
267.91/268.01	c nbDecision=193500 #constraints=4830
268.51/268.67	c nbDecision=194000 #constraints=4830
269.21/269.33	c nbDecision=194500 #constraints=4830
269.81/269.98	c nbDecision=195000 #constraints=4830
270.51/270.64	c nbDecision=195500 #constraints=4830
271.11/271.29	c nbDecision=196000 #constraints=4830
271.81/271.95	c nbDecision=196500 #constraints=4830
272.41/272.59	c nbDecision=197000 #constraints=4830
273.11/273.24	c nbDecision=197500 #constraints=4830
273.71/273.88	c nbDecision=198000 #constraints=4830
274.40/274.52	c nbDecision=198500 #constraints=4830
275.00/275.16	c nbDecision=199000 #constraints=4830
275.70/275.80	c nbDecision=199500 #constraints=4830
276.30/276.44	c nbDecision=200000 #constraints=4830
276.90/277.08	c nbDecision=200500 #constraints=4830
277.60/277.79	c nbDecision=201000 #constraints=4831
278.40/278.50	c nbDecision=201500 #constraints=4831
279.10/279.20	c nbDecision=202000 #constraints=4831
279.80/279.90	c nbDecision=202500 #constraints=4831
280.41/280.59	c nbDecision=203000 #constraints=4831
281.10/281.29	c nbDecision=203500 #constraints=4831
281.80/281.98	c nbDecision=204000 #constraints=4831
282.51/282.67	c nbDecision=204500 #constraints=4831
282.90/283.09	c restart after 204801 decisions
283.30/283.42	c nbDecision=205000 #constraints=4831
284.00/284.19	c nbDecision=205500 #constraints=4831
284.80/284.94	c nbDecision=206000 #constraints=4831
285.50/285.68	c nbDecision=206500 #constraints=4831
286.30/286.42	c nbDecision=207000 #constraints=4831
287.00/287.16	c nbDecision=207500 #constraints=4831
287.80/287.90	c nbDecision=208000 #constraints=4831
288.50/288.63	c nbDecision=208500 #constraints=4831
289.20/289.36	c nbDecision=209000 #constraints=4831
289.90/290.09	c nbDecision=209500 #constraints=4831
290.70/290.82	c nbDecision=210000 #constraints=4831
291.40/291.54	c nbDecision=210500 #constraints=4831
292.10/292.26	c nbDecision=211000 #constraints=4831
292.80/292.98	c nbDecision=211500 #constraints=4831
293.50/293.69	c nbDecision=212000 #constraints=4831
294.30/294.40	c nbDecision=212500 #constraints=4831
295.00/295.12	c nbDecision=213000 #constraints=4831
295.70/295.83	c nbDecision=213500 #constraints=4831
296.39/296.54	c nbDecision=214000 #constraints=4831
297.09/297.25	c nbDecision=214500 #constraints=4831
297.79/297.95	c nbDecision=215000 #constraints=4831
298.49/298.65	c nbDecision=215500 #constraints=4831
299.19/299.35	c nbDecision=216000 #constraints=4831
299.89/300.05	c nbDecision=216500 #constraints=4831
300.59/300.74	c nbDecision=217000 #constraints=4831
301.30/301.44	c nbDecision=217500 #constraints=4831
301.99/302.12	c nbDecision=218000 #constraints=4831
302.69/302.81	c nbDecision=218500 #constraints=4831
303.29/303.49	c nbDecision=219000 #constraints=4831
303.99/304.17	c nbDecision=219500 #constraints=4831
304.69/304.85	c nbDecision=220000 #constraints=4831
305.39/305.52	c nbDecision=220500 #constraints=4831
305.99/306.18	c nbDecision=221000 #constraints=4831
306.70/306.83	c nbDecision=221500 #constraints=4831
307.29/307.49	c nbDecision=222000 #constraints=4831
307.99/308.15	c nbDecision=222500 #constraints=4831
308.69/308.80	c nbDecision=223000 #constraints=4831
309.29/309.45	c nbDecision=223500 #constraints=4831
309.99/310.10	c nbDecision=224000 #constraints=4831
310.59/310.75	c nbDecision=224500 #constraints=4831
311.19/311.39	c nbDecision=225000 #constraints=4831
311.89/312.03	c nbDecision=225500 #constraints=4831
312.49/312.67	c nbDecision=226000 #constraints=4831
313.19/313.30	c nbDecision=226500 #constraints=4831
313.79/313.93	c nbDecision=227000 #constraints=4831
314.39/314.56	c nbDecision=227500 #constraints=4831
315.09/315.26	c nbDecision=228000 #constraints=4832
315.79/315.96	c nbDecision=228500 #constraints=4832
316.49/316.66	c nbDecision=229000 #constraints=4832
317.18/317.37	c nbDecision=229500 #constraints=4832
317.88/318.06	c nbDecision=230000 #constraints=4832
318.58/318.75	c nbDecision=230500 #constraints=4832
319.28/319.45	c nbDecision=231000 #constraints=4832
319.99/320.14	c nbDecision=231500 #constraints=4832
320.68/320.82	c nbDecision=232000 #constraints=4832
321.38/321.50	c nbDecision=232500 #constraints=4832
321.98/322.17	c nbDecision=233000 #constraints=4832
322.68/322.85	c nbDecision=233500 #constraints=4832
323.38/323.53	c nbDecision=234000 #constraints=4832
324.08/324.21	c nbDecision=234500 #constraints=4832
324.68/324.87	c nbDecision=235000 #constraints=4832
325.39/325.53	c nbDecision=235500 #constraints=4832
325.98/326.19	c nbDecision=236000 #constraints=4832
326.68/326.85	c nbDecision=236500 #constraints=4832
327.38/327.50	c nbDecision=237000 #constraints=4832
327.98/328.16	c nbDecision=237500 #constraints=4832
328.58/328.80	c nbDecision=238000 #constraints=4832
329.28/329.44	c nbDecision=238500 #constraints=4832
329.88/330.08	c nbDecision=239000 #constraints=4832
330.58/330.72	c nbDecision=239500 #constraints=4832
331.18/331.36	c nbDecision=240000 #constraints=4832
331.79/332.00	c nbDecision=240500 #constraints=4832
332.49/332.63	c nbDecision=241000 #constraints=4832
333.09/333.26	c nbDecision=241500 #constraints=4832
333.79/333.94	c nbDecision=242000 #constraints=4833
334.49/334.62	c nbDecision=242500 #constraints=4833
335.19/335.30	c nbDecision=243000 #constraints=4833
335.79/335.98	c nbDecision=243500 #constraints=4833
336.49/336.66	c nbDecision=244000 #constraints=4833
337.19/337.34	c nbDecision=244500 #constraints=4833
337.89/338.01	c nbDecision=245000 #constraints=4833
338.48/338.68	c nbDecision=245500 #constraints=4833
339.18/339.35	c nbDecision=246000 #constraints=4833
339.88/340.01	c nbDecision=246500 #constraints=4833
340.49/340.67	c nbDecision=247000 #constraints=4833
341.18/341.33	c nbDecision=247500 #constraints=4833
341.78/341.98	c nbDecision=248000 #constraints=4833
342.48/342.64	c nbDecision=248500 #constraints=4833
343.09/343.29	c nbDecision=249000 #constraints=4833
343.78/343.93	c nbDecision=249500 #constraints=4833
344.38/344.58	c nbDecision=250000 #constraints=4833
345.08/345.21	c nbDecision=250500 #constraints=4833
345.68/345.84	c nbDecision=251000 #constraints=4833
346.29/346.47	c nbDecision=251500 #constraints=4833
346.98/347.14	c nbDecision=252000 #constraints=4834
347.68/347.84	c nbDecision=252500 #constraints=4834
348.38/348.53	c nbDecision=253000 #constraints=4834
349.08/349.22	c nbDecision=253500 #constraints=4834
349.78/349.90	c nbDecision=254000 #constraints=4834
350.38/350.59	c nbDecision=254500 #constraints=4834
351.08/351.27	c nbDecision=255000 #constraints=4834
351.78/351.94	c nbDecision=255500 #constraints=4834
352.48/352.62	c nbDecision=256000 #constraints=4834
353.08/353.29	c nbDecision=256500 #constraints=4834
353.78/353.96	c nbDecision=257000 #constraints=4834
354.48/354.63	c nbDecision=257500 #constraints=4834
355.18/355.30	c nbDecision=258000 #constraints=4834
355.78/355.97	c nbDecision=258500 #constraints=4834
356.48/356.63	c nbDecision=259000 #constraints=4834
357.08/357.30	c nbDecision=259500 #constraints=4834
357.78/357.96	c nbDecision=260000 #constraints=4834
358.48/358.61	c nbDecision=260500 #constraints=4834
359.07/359.27	c nbDecision=261000 #constraints=4834
359.77/359.92	c nbDecision=261500 #constraints=4834
360.37/360.57	c nbDecision=262000 #constraints=4834
361.07/361.21	c nbDecision=262500 #constraints=4834
361.68/361.86	c nbDecision=263000 #constraints=4834
362.27/362.49	c nbDecision=263500 #constraints=4834
362.97/363.13	c nbDecision=264000 #constraints=4834
363.57/363.79	c nbDecision=264500 #constraints=4835
364.27/364.47	c nbDecision=265000 #constraints=4835
364.98/365.15	c nbDecision=265500 #constraints=4835
365.67/365.83	c nbDecision=266000 #constraints=4835
366.37/366.50	c nbDecision=266500 #constraints=4835
366.97/367.17	c nbDecision=267000 #constraints=4835
367.67/367.84	c nbDecision=267500 #constraints=4835
368.37/368.51	c nbDecision=268000 #constraints=4835
368.97/369.17	c nbDecision=268500 #constraints=4835
369.67/369.82	c nbDecision=269000 #constraints=4835
370.27/370.48	c nbDecision=269500 #constraints=4835
370.97/371.14	c nbDecision=270000 #constraints=4835
371.57/371.79	c nbDecision=270500 #constraints=4835
372.27/372.44	c nbDecision=271000 #constraints=4835
372.87/373.08	c nbDecision=271500 #constraints=4835
373.57/373.72	c nbDecision=272000 #constraints=4835
374.17/374.36	c nbDecision=272500 #constraints=4835
374.77/375.00	c nbDecision=273000 #constraints=4835
375.47/375.64	c nbDecision=273500 #constraints=4835
376.07/376.27	c nbDecision=274000 #constraints=4835
376.77/376.91	c nbDecision=274500 #constraints=4835
377.47/377.64	c nbDecision=275000 #constraints=4836
378.17/378.38	c nbDecision=275500 #constraints=4836
378.97/379.11	c nbDecision=276000 #constraints=4836
379.67/379.84	c nbDecision=276500 #constraints=4836
380.37/380.56	c nbDecision=277000 #constraints=4836
381.06/381.29	c nbDecision=277500 #constraints=4836
381.86/382.01	c nbDecision=278000 #constraints=4836
382.57/382.74	c nbDecision=278500 #constraints=4836
383.26/383.45	c nbDecision=279000 #constraints=4836
383.96/384.16	c nbDecision=279500 #constraints=4836
384.66/384.87	c nbDecision=280000 #constraints=4836
385.36/385.57	c nbDecision=280500 #constraints=4836
386.06/386.27	c nbDecision=281000 #constraints=4836
386.76/386.96	c nbDecision=281500 #constraints=4836
387.46/387.65	c nbDecision=282000 #constraints=4836
388.17/388.34	c nbDecision=282500 #constraints=4836
388.86/389.03	c nbDecision=283000 #constraints=4836
389.56/389.71	c nbDecision=283500 #constraints=4836
390.16/390.39	c nbDecision=284000 #constraints=4836
390.86/391.07	c nbDecision=284500 #constraints=4836
391.56/391.75	c nbDecision=285000 #constraints=4836
392.26/392.42	c nbDecision=285500 #constraints=4836
392.86/393.09	c nbDecision=286000 #constraints=4836
393.56/393.76	c nbDecision=286500 #constraints=4836
394.27/394.42	c nbDecision=287000 #constraints=4836
394.87/395.08	c nbDecision=287500 #constraints=4836
395.57/395.75	c nbDecision=288000 #constraints=4836
396.27/396.41	c nbDecision=288500 #constraints=4836
396.87/397.07	c nbDecision=289000 #constraints=4836
397.57/397.73	c nbDecision=289500 #constraints=4836
398.17/398.39	c nbDecision=290000 #constraints=4836
398.87/399.04	c nbDecision=290500 #constraints=4836
399.47/399.69	c nbDecision=291000 #constraints=4836
400.17/400.33	c nbDecision=291500 #constraints=4836
400.77/400.98	c nbDecision=292000 #constraints=4836
401.47/401.62	c nbDecision=292500 #constraints=4836
402.07/402.26	c nbDecision=293000 #constraints=4836
402.67/402.89	c nbDecision=293500 #constraints=4836
403.47/403.65	c nbDecision=294000 #constraints=4837
404.17/404.39	c nbDecision=294500 #constraints=4837
404.97/405.13	c nbDecision=295000 #constraints=4837
405.67/405.87	c nbDecision=295500 #constraints=4837
406.46/406.60	c nbDecision=296000 #constraints=4837
407.16/407.32	c nbDecision=296500 #constraints=4837
407.87/408.05	c nbDecision=297000 #constraints=4837
408.56/408.78	c nbDecision=297500 #constraints=4837
409.36/409.50	c nbDecision=298000 #constraints=4837
410.06/410.21	c nbDecision=298500 #constraints=4837
410.76/410.93	c nbDecision=299000 #constraints=4837
411.46/411.64	c nbDecision=299500 #constraints=4837
412.16/412.34	c nbDecision=300000 #constraints=4837
412.86/413.05	c nbDecision=300500 #constraints=4837
413.56/413.75	c nbDecision=301000 #constraints=4837
414.26/414.45	c nbDecision=301500 #constraints=4837
414.96/415.16	c nbDecision=302000 #constraints=4837
415.66/415.86	c nbDecision=302500 #constraints=4837
416.35/416.56	c nbDecision=303000 #constraints=4837
417.05/417.26	c nbDecision=303500 #constraints=4837
417.76/417.96	c nbDecision=304000 #constraints=4837
418.45/418.65	c nbDecision=304500 #constraints=4837
419.15/419.34	c nbDecision=305000 #constraints=4837
419.85/420.03	c nbDecision=305500 #constraints=4837
420.55/420.71	c nbDecision=306000 #constraints=4837
421.16/421.38	c nbDecision=306500 #constraints=4837
421.85/422.06	c nbDecision=307000 #constraints=4837
422.55/422.74	c nbDecision=307500 #constraints=4837
423.26/423.41	c nbDecision=308000 #constraints=4837
423.85/424.08	c nbDecision=308500 #constraints=4837
424.55/424.75	c nbDecision=309000 #constraints=4837
425.25/425.41	c nbDecision=309500 #constraints=4837
425.85/426.07	c nbDecision=310000 #constraints=4837
426.56/426.72	c nbDecision=310500 #constraints=4837
427.15/427.37	c nbDecision=311000 #constraints=4837
427.85/428.01	c nbDecision=311500 #constraints=4837
428.45/428.66	c nbDecision=312000 #constraints=4837
429.15/429.30	c nbDecision=312500 #constraints=4837
429.75/429.94	c nbDecision=313000 #constraints=4837
430.35/430.58	c nbDecision=313500 #constraints=4837
431.05/431.21	c nbDecision=314000 #constraints=4837
431.65/431.84	c nbDecision=314500 #constraints=4837
432.25/432.47	c nbDecision=315000 #constraints=4837
433.05/433.23	c nbDecision=315500 #constraints=4838
433.75/433.97	c nbDecision=316000 #constraints=4838
434.55/434.71	c nbDecision=316500 #constraints=4838
435.25/435.46	c nbDecision=317000 #constraints=4838
435.95/436.19	c nbDecision=317500 #constraints=4838
436.75/436.93	c nbDecision=318000 #constraints=4838
437.45/437.66	c nbDecision=318500 #constraints=4838
438.15/438.39	c nbDecision=319000 #constraints=4838
438.95/439.12	c nbDecision=319500 #constraints=4838
439.65/439.85	c nbDecision=320000 #constraints=4838
440.35/440.57	c nbDecision=320500 #constraints=4838
441.05/441.29	c nbDecision=321000 #constraints=4838
441.85/442.00	c nbDecision=321500 #constraints=4838
442.55/442.72	c nbDecision=322000 #constraints=4838
443.25/443.43	c nbDecision=322500 #constraints=4838
443.95/444.13	c nbDecision=323000 #constraints=4838
444.64/444.84	c nbDecision=323500 #constraints=4838
445.35/445.53	c nbDecision=324000 #constraints=4838
446.04/446.23	c nbDecision=324500 #constraints=4838
446.74/446.93	c nbDecision=325000 #constraints=4838
447.45/447.62	c nbDecision=325500 #constraints=4838
448.14/448.30	c nbDecision=326000 #constraints=4838
448.74/448.99	c nbDecision=326500 #constraints=4838
449.44/449.67	c nbDecision=327000 #constraints=4838
450.14/450.34	c nbDecision=327500 #constraints=4838
450.85/451.01	c nbDecision=328000 #constraints=4838
451.44/451.68	c nbDecision=328500 #constraints=4838
452.14/452.35	c nbDecision=329000 #constraints=4838
452.84/453.02	c nbDecision=329500 #constraints=4838
453.44/453.68	c nbDecision=330000 #constraints=4838
454.14/454.34	c nbDecision=330500 #constraints=4838
454.84/455.00	c nbDecision=331000 #constraints=4838
455.44/455.66	c nbDecision=331500 #constraints=4838
456.14/456.32	c nbDecision=332000 #constraints=4838
456.74/456.97	c nbDecision=332500 #constraints=4838
457.44/457.63	c nbDecision=333000 #constraints=4838
458.04/458.28	c nbDecision=333500 #constraints=4838
458.74/458.92	c nbDecision=334000 #constraints=4838
459.34/459.56	c nbDecision=334500 #constraints=4838
460.04/460.21	c nbDecision=335000 #constraints=4838
460.64/460.84	c nbDecision=335500 #constraints=4838
461.24/461.48	c nbDecision=336000 #constraints=4838
461.94/462.16	c nbDecision=336500 #constraints=4839
462.64/462.90	c nbDecision=337000 #constraints=4839
463.44/463.63	c nbDecision=337500 #constraints=4839
464.14/464.35	c nbDecision=338000 #constraints=4839
464.84/465.09	c nbDecision=338500 #constraints=4839
465.64/465.82	c nbDecision=339000 #constraints=4839
466.34/466.55	c nbDecision=339500 #constraints=4839
467.03/467.28	c nbDecision=340000 #constraints=4839
467.83/468.00	c nbDecision=340500 #constraints=4839
468.53/468.72	c nbDecision=341000 #constraints=4839
469.23/469.44	c nbDecision=341500 #constraints=4839
469.93/470.15	c nbDecision=342000 #constraints=4839
470.64/470.86	c nbDecision=342500 #constraints=4839
471.33/471.57	c nbDecision=343000 #constraints=4839
472.03/472.27	c nbDecision=343500 #constraints=4839
472.74/472.98	c nbDecision=344000 #constraints=4839
473.43/473.68	c nbDecision=344500 #constraints=4839
474.13/474.38	c nbDecision=345000 #constraints=4839
474.83/475.08	c nbDecision=345500 #constraints=4839
475.53/475.78	c nbDecision=346000 #constraints=4839
476.23/476.48	c nbDecision=346500 #constraints=4839
476.93/477.17	c nbDecision=347000 #constraints=4839
477.63/477.86	c nbDecision=347500 #constraints=4839
478.33/478.54	c nbDecision=348000 #constraints=4839
479.03/479.23	c nbDecision=348500 #constraints=4839
479.73/479.91	c nbDecision=349000 #constraints=4839
480.33/480.59	c nbDecision=349500 #constraints=4839
481.03/481.27	c nbDecision=350000 #constraints=4839
481.73/481.94	c nbDecision=350500 #constraints=4839
482.43/482.62	c nbDecision=351000 #constraints=4839
483.03/483.28	c nbDecision=351500 #constraints=4839
483.73/483.95	c nbDecision=352000 #constraints=4839
484.43/484.61	c nbDecision=352500 #constraints=4839
485.03/485.27	c nbDecision=353000 #constraints=4839
485.73/485.92	c nbDecision=353500 #constraints=4839
486.33/486.57	c nbDecision=354000 #constraints=4839
487.03/487.22	c nbDecision=354500 #constraints=4839
487.63/487.86	c nbDecision=355000 #constraints=4839
488.34/488.50	c nbDecision=355500 #constraints=4839
488.94/489.14	c nbDecision=356000 #constraints=4839
489.54/489.78	c nbDecision=356500 #constraints=4839
490.23/490.41	c nbDecision=357000 #constraints=4839
490.83/491.04	c nbDecision=357500 #constraints=4839
491.54/491.74	c nbDecision=358000 #constraints=4840
492.23/492.48	c nbDecision=358500 #constraints=4840
493.03/493.22	c nbDecision=359000 #constraints=4840
493.74/493.95	c nbDecision=359500 #constraints=4840
494.43/494.69	c nbDecision=360000 #constraints=4840
495.23/495.42	c nbDecision=360500 #constraints=4840
495.94/496.16	c nbDecision=361000 #constraints=4840
496.63/496.89	c nbDecision=361500 #constraints=4840
497.43/497.62	c nbDecision=362000 #constraints=4840
498.14/498.34	c nbDecision=362500 #constraints=4840
498.83/499.06	c nbDecision=363000 #constraints=4840
499.53/499.78	c nbDecision=363500 #constraints=4840
500.34/500.50	c nbDecision=364000 #constraints=4840
501.03/501.22	c nbDecision=364500 #constraints=4840
501.73/501.93	c nbDecision=365000 #constraints=4840
502.44/502.64	c nbDecision=365500 #constraints=4840
503.13/503.35	c nbDecision=366000 #constraints=4840
503.83/504.05	c nbDecision=366500 #constraints=4840
504.53/504.75	c nbDecision=367000 #constraints=4840
505.23/505.44	c nbDecision=367500 #constraints=4840
505.93/506.13	c nbDecision=368000 #constraints=4840
506.63/506.82	c nbDecision=368500 #constraints=4840
507.33/507.50	c nbDecision=369000 #constraints=4840
507.93/508.19	c nbDecision=369500 #constraints=4840
508.63/508.86	c nbDecision=370000 #constraints=4840
509.33/509.54	c nbDecision=370500 #constraints=4840
510.03/510.21	c nbDecision=371000 #constraints=4840
510.63/510.88	c nbDecision=371500 #constraints=4840
511.33/511.55	c nbDecision=372000 #constraints=4840
512.03/512.22	c nbDecision=372500 #constraints=4840
512.63/512.88	c nbDecision=373000 #constraints=4840
513.33/513.54	c nbDecision=373500 #constraints=4840
513.92/514.20	c nbDecision=374000 #constraints=4840
514.63/514.85	c nbDecision=374500 #constraints=4840
515.32/515.51	c nbDecision=375000 #constraints=4840
515.92/516.17	c nbDecision=375500 #constraints=4840
516.62/516.82	c nbDecision=376000 #constraints=4840
517.22/517.47	c nbDecision=376500 #constraints=4840
517.93/518.11	c nbDecision=377000 #constraints=4840
518.52/518.75	c nbDecision=377500 #constraints=4840
519.12/519.39	c nbDecision=378000 #constraints=4840
519.82/520.03	c nbDecision=378500 #constraints=4840
520.42/520.66	c nbDecision=379000 #constraints=4840
521.23/521.40	c nbDecision=379500 #constraints=4841
521.92/522.15	c nbDecision=380000 #constraints=4841
522.62/522.90	c nbDecision=380500 #constraints=4841
523.43/523.64	c nbDecision=381000 #constraints=4841
524.12/524.38	c nbDecision=381500 #constraints=4841
524.92/525.11	c nbDecision=382000 #constraints=4841
525.62/525.84	c nbDecision=382500 #constraints=4841
526.32/526.56	c nbDecision=383000 #constraints=4841
527.02/527.28	c nbDecision=383500 #constraints=4841
527.72/528.00	c nbDecision=384000 #constraints=4841
528.52/528.71	c nbDecision=384500 #constraints=4841
529.22/529.43	c nbDecision=385000 #constraints=4841
529.92/530.14	c nbDecision=385500 #constraints=4841
530.62/530.84	c nbDecision=386000 #constraints=4841
531.32/531.55	c nbDecision=386500 #constraints=4841
532.02/532.25	c nbDecision=387000 #constraints=4841
532.72/532.95	c nbDecision=387500 #constraints=4841
533.42/533.65	c nbDecision=388000 #constraints=4841
534.12/534.34	c nbDecision=388500 #constraints=4841
534.82/535.04	c nbDecision=389000 #constraints=4841
535.52/535.73	c nbDecision=389500 #constraints=4841
536.22/536.42	c nbDecision=390000 #constraints=4841
536.92/537.11	c nbDecision=390500 #constraints=4841
537.52/537.80	c nbDecision=391000 #constraints=4841
538.22/538.49	c nbDecision=391500 #constraints=4841
538.92/539.17	c nbDecision=392000 #constraints=4841
539.61/539.84	c nbDecision=392500 #constraints=4841
540.31/540.52	c nbDecision=393000 #constraints=4841
540.92/541.19	c nbDecision=393500 #constraints=4841
541.61/541.86	c nbDecision=394000 #constraints=4841
542.31/542.53	c nbDecision=394500 #constraints=4841
542.91/543.19	c nbDecision=395000 #constraints=4841
543.61/543.85	c nbDecision=395500 #constraints=4841
544.32/544.51	c nbDecision=396000 #constraints=4841
544.91/545.16	c nbDecision=396500 #constraints=4841
545.61/545.81	c nbDecision=397000 #constraints=4841
546.21/546.46	c nbDecision=397500 #constraints=4841
546.81/547.09	c nbDecision=398000 #constraints=4841
547.51/547.73	c nbDecision=398500 #constraints=4841
548.11/548.37	c nbDecision=399000 #constraints=4841
548.81/549.00	c nbDecision=399500 #constraints=4841
549.41/549.63	c nbDecision=400000 #constraints=4841
550.01/550.26	c nbDecision=400500 #constraints=4841
550.71/551.00	c nbDecision=401000 #constraints=4842
551.51/551.71	c nbDecision=401500 #constraints=4842
552.21/552.42	c nbDecision=402000 #constraints=4842
552.91/553.13	c nbDecision=402500 #constraints=4842
553.61/553.83	c nbDecision=403000 #constraints=4842
554.31/554.54	c nbDecision=403500 #constraints=4842
555.01/555.24	c nbDecision=404000 #constraints=4842
555.71/555.94	c nbDecision=404500 #constraints=4842
556.41/556.64	c nbDecision=405000 #constraints=4842
557.11/557.34	c nbDecision=405500 #constraints=4842
557.81/558.03	c nbDecision=406000 #constraints=4842
558.51/558.73	c nbDecision=406500 #constraints=4842
559.21/559.42	c nbDecision=407000 #constraints=4842
559.92/560.10	c nbDecision=407500 #constraints=4842
560.52/560.79	c nbDecision=408000 #constraints=4842
561.21/561.47	c nbDecision=408500 #constraints=4842
561.92/562.14	c nbDecision=409000 #constraints=4842
562.61/562.82	c nbDecision=409500 #constraints=4842
562.71/562.95	c restart after 409601 decisions
563.32/563.59	c nbDecision=410000 #constraints=4842
564.12/564.35	c nbDecision=410500 #constraints=4842
564.81/565.10	c nbDecision=411000 #constraints=4842
565.61/565.84	c nbDecision=411500 #constraints=4842
566.32/566.58	c nbDecision=412000 #constraints=4842
567.11/567.32	c nbDecision=412500 #constraints=4842
567.81/568.05	c nbDecision=413000 #constraints=4842
568.52/568.78	c nbDecision=413500 #constraints=4842
569.31/569.50	c nbDecision=414000 #constraints=4842
570.01/570.23	c nbDecision=414500 #constraints=4842
570.72/570.95	c nbDecision=415000 #constraints=4842
571.41/571.68	c nbDecision=415500 #constraints=4842
572.11/572.40	c nbDecision=416000 #constraints=4842
572.91/573.11	c nbDecision=416500 #constraints=4842
573.61/573.82	c nbDecision=417000 #constraints=4842
574.31/574.54	c nbDecision=417500 #constraints=4842
575.01/575.25	c nbDecision=418000 #constraints=4842
575.71/575.96	c nbDecision=418500 #constraints=4842
576.41/576.67	c nbDecision=419000 #constraints=4842
577.11/577.38	c nbDecision=419500 #constraints=4842
577.81/578.08	c nbDecision=420000 #constraints=4842
578.51/578.79	c nbDecision=420500 #constraints=4842
579.21/579.48	c nbDecision=421000 #constraints=4842
579.91/580.18	c nbDecision=421500 #constraints=4842
580.61/580.87	c nbDecision=422000 #constraints=4842
581.31/581.56	c nbDecision=422500 #constraints=4842
582.01/582.25	c nbDecision=423000 #constraints=4842
582.71/582.94	c nbDecision=423500 #constraints=4842
583.41/583.62	c nbDecision=424000 #constraints=4842
584.11/584.30	c nbDecision=424500 #constraints=4842
584.71/584.97	c nbDecision=425000 #constraints=4842
585.41/585.63	c nbDecision=425500 #constraints=4842
586.01/586.30	c nbDecision=426000 #constraints=4842
586.71/586.95	c nbDecision=426500 #constraints=4842
587.41/587.61	c nbDecision=427000 #constraints=4842
588.01/588.27	c nbDecision=427500 #constraints=4842
588.71/588.92	c nbDecision=428000 #constraints=4842
589.31/589.57	c nbDecision=428500 #constraints=4842
590.01/590.22	c nbDecision=429000 #constraints=4842
590.61/590.86	c nbDecision=429500 #constraints=4842
591.31/591.51	c nbDecision=430000 #constraints=4842
591.91/592.15	c nbDecision=430500 #constraints=4842
592.50/592.79	c nbDecision=431000 #constraints=4842
593.20/593.42	c nbDecision=431500 #constraints=4842
593.81/594.05	c nbDecision=432000 #constraints=4842
594.40/594.68	c nbDecision=432500 #constraints=4842
595.20/595.43	c nbDecision=433000 #constraints=4843
595.91/596.16	c nbDecision=433500 #constraints=4843
596.60/596.89	c nbDecision=434000 #constraints=4843
597.40/597.62	c nbDecision=434500 #constraints=4843
598.11/598.34	c nbDecision=435000 #constraints=4843
598.80/599.07	c nbDecision=435500 #constraints=4843
599.50/599.79	c nbDecision=436000 #constraints=4843
600.20/600.50	c nbDecision=436500 #constraints=4843
601.00/601.21	c nbDecision=437000 #constraints=4843
601.70/601.93	c nbDecision=437500 #constraints=4843
602.40/602.63	c nbDecision=438000 #constraints=4843
603.10/603.34	c nbDecision=438500 #constraints=4843
603.80/604.04	c nbDecision=439000 #constraints=4843
604.50/604.74	c nbDecision=439500 #constraints=4843
605.20/605.43	c nbDecision=440000 #constraints=4843
605.90/606.12	c nbDecision=440500 #constraints=4843
606.60/606.80	c nbDecision=441000 #constraints=4843
607.20/607.49	c nbDecision=441500 #constraints=4843
607.90/608.16	c nbDecision=442000 #constraints=4843
608.60/608.84	c nbDecision=442500 #constraints=4843
609.30/609.51	c nbDecision=443000 #constraints=4843
609.90/610.19	c nbDecision=443500 #constraints=4843
610.59/610.85	c nbDecision=444000 #constraints=4843
611.30/611.52	c nbDecision=444500 #constraints=4843
611.89/612.18	c nbDecision=445000 #constraints=4843
612.59/612.84	c nbDecision=445500 #constraints=4843
613.29/613.50	c nbDecision=446000 #constraints=4843
613.89/614.15	c nbDecision=446500 #constraints=4843
614.60/614.81	c nbDecision=447000 #constraints=4843
615.19/615.47	c nbDecision=447500 #constraints=4843
615.89/616.12	c nbDecision=448000 #constraints=4843
616.49/616.77	c nbDecision=448500 #constraints=4843
617.19/617.42	c nbDecision=449000 #constraints=4843
617.79/618.06	c nbDecision=449500 #constraints=4843
618.49/618.70	c nbDecision=450000 #constraints=4843
619.10/619.34	c nbDecision=450500 #constraints=4843
619.69/619.98	c nbDecision=451000 #constraints=4843
620.39/620.67	c nbDecision=451500 #constraints=4844
621.20/621.40	c nbDecision=452000 #constraints=4844
621.89/622.13	c nbDecision=452500 #constraints=4844
622.59/622.86	c nbDecision=453000 #constraints=4844
623.29/623.59	c nbDecision=453500 #constraints=4844
624.09/624.30	c nbDecision=454000 #constraints=4844
624.79/625.02	c nbDecision=454500 #constraints=4844
625.49/625.73	c nbDecision=455000 #constraints=4844
626.19/626.43	c nbDecision=455500 #constraints=4844
626.89/627.14	c nbDecision=456000 #constraints=4844
627.59/627.84	c nbDecision=456500 #constraints=4844
628.29/628.53	c nbDecision=457000 #constraints=4844
628.99/629.23	c nbDecision=457500 #constraints=4844
629.69/629.93	c nbDecision=458000 #constraints=4844
630.39/630.62	c nbDecision=458500 #constraints=4844
631.09/631.31	c nbDecision=459000 #constraints=4844
631.69/631.99	c nbDecision=459500 #constraints=4844
632.39/632.68	c nbDecision=460000 #constraints=4844
633.09/633.36	c nbDecision=460500 #constraints=4844
633.79/634.04	c nbDecision=461000 #constraints=4844
634.49/634.72	c nbDecision=461500 #constraints=4844
635.09/635.40	c nbDecision=462000 #constraints=4844
635.79/636.07	c nbDecision=462500 #constraints=4844
636.49/636.74	c nbDecision=463000 #constraints=4844
637.19/637.41	c nbDecision=463500 #constraints=4844
637.79/638.08	c nbDecision=464000 #constraints=4844
638.48/638.75	c nbDecision=464500 #constraints=4844
639.18/639.41	c nbDecision=465000 #constraints=4844
639.78/640.07	c nbDecision=465500 #constraints=4844
640.48/640.73	c nbDecision=466000 #constraints=4844
641.09/641.38	c nbDecision=466500 #constraints=4844
641.78/642.03	c nbDecision=467000 #constraints=4844
642.38/642.68	c nbDecision=467500 #constraints=4844
643.08/643.32	c nbDecision=468000 #constraints=4844
643.68/643.97	c nbDecision=468500 #constraints=4844
644.39/644.60	c nbDecision=469000 #constraints=4844
644.98/645.24	c nbDecision=469500 #constraints=4844
645.58/645.87	c nbDecision=470000 #constraints=4844
646.39/646.60	c nbDecision=470500 #constraints=4845
647.09/647.34	c nbDecision=471000 #constraints=4845
647.79/648.08	c nbDecision=471500 #constraints=4845
648.59/648.82	c nbDecision=472000 #constraints=4845
649.29/649.55	c nbDecision=472500 #constraints=4845
649.99/650.27	c nbDecision=473000 #constraints=4845
650.69/651.00	c nbDecision=473500 #constraints=4845
651.49/651.72	c nbDecision=474000 #constraints=4845
652.19/652.44	c nbDecision=474500 #constraints=4845
652.89/653.16	c nbDecision=475000 #constraints=4845
653.59/653.87	c nbDecision=475500 #constraints=4845
654.29/654.57	c nbDecision=476000 #constraints=4845
654.99/655.29	c nbDecision=476500 #constraints=4845
655.69/655.99	c nbDecision=477000 #constraints=4845
656.49/656.71	c nbDecision=477500 #constraints=4845
657.19/657.41	c nbDecision=478000 #constraints=4845
657.89/658.12	c nbDecision=478500 #constraints=4845
658.59/658.82	c nbDecision=479000 #constraints=4845
659.28/659.52	c nbDecision=479500 #constraints=4845
659.98/660.22	c nbDecision=480000 #constraints=4845
660.68/660.91	c nbDecision=480500 #constraints=4845
661.38/661.61	c nbDecision=481000 #constraints=4845
661.99/662.29	c nbDecision=481500 #constraints=4845
662.68/662.98	c nbDecision=482000 #constraints=4845
663.38/663.66	c nbDecision=482500 #constraints=4845
664.09/664.34	c nbDecision=483000 #constraints=4845
664.78/665.02	c nbDecision=483500 #constraints=4845
665.38/665.69	c nbDecision=484000 #constraints=4845
666.08/666.35	c nbDecision=484500 #constraints=4845
666.78/667.01	c nbDecision=485000 #constraints=4845
667.39/667.67	c nbDecision=485500 #constraints=4845
668.08/668.32	c nbDecision=486000 #constraints=4845
668.68/668.98	c nbDecision=486500 #constraints=4845
669.38/669.63	c nbDecision=487000 #constraints=4845
669.98/670.28	c nbDecision=487500 #constraints=4845
670.68/670.93	c nbDecision=488000 #constraints=4845
671.28/671.57	c nbDecision=488500 #constraints=4845
671.98/672.21	c nbDecision=489000 #constraints=4845
672.58/672.85	c nbDecision=489500 #constraints=4845
673.18/673.49	c nbDecision=490000 #constraints=4845
673.88/674.12	c nbDecision=490500 #constraints=4845
674.48/674.75	c nbDecision=491000 #constraints=4845
675.18/675.44	c nbDecision=491500 #constraints=4846
675.88/676.19	c nbDecision=492000 #constraints=4846
676.68/676.93	c nbDecision=492500 #constraints=4846
677.38/677.68	c nbDecision=493000 #constraints=4846
678.18/678.42	c nbDecision=493500 #constraints=4846
678.88/679.15	c nbDecision=494000 #constraints=4846
679.58/679.89	c nbDecision=494500 #constraints=4846
680.38/680.62	c nbDecision=495000 #constraints=4846
681.08/681.35	c nbDecision=495500 #constraints=4846
681.78/682.08	c nbDecision=496000 #constraints=4846
682.58/682.80	c nbDecision=496500 #constraints=4846
683.28/683.52	c nbDecision=497000 #constraints=4846
683.98/684.24	c nbDecision=497500 #constraints=4846
684.67/684.95	c nbDecision=498000 #constraints=4846
685.37/685.66	c nbDecision=498500 #constraints=4846
686.08/686.35	c nbDecision=499000 #constraints=4846
686.77/687.05	c nbDecision=499500 #constraints=4846
687.47/687.75	c nbDecision=500000 #constraints=4846
688.17/688.45	c nbDecision=500500 #constraints=4846
688.87/689.14	c nbDecision=501000 #constraints=4846
689.57/689.83	c nbDecision=501500 #constraints=4846
690.27/690.51	c nbDecision=502000 #constraints=4846
690.87/691.19	c nbDecision=502500 #constraints=4846
691.58/691.87	c nbDecision=503000 #constraints=4846
692.27/692.55	c nbDecision=503500 #constraints=4846
692.97/693.23	c nbDecision=504000 #constraints=4846
693.67/693.90	c nbDecision=504500 #constraints=4846
694.27/694.57	c nbDecision=505000 #constraints=4846
694.97/695.24	c nbDecision=505500 #constraints=4846
695.67/695.91	c nbDecision=506000 #constraints=4846
696.27/696.58	c nbDecision=506500 #constraints=4846
696.97/697.25	c nbDecision=507000 #constraints=4846
697.67/697.91	c nbDecision=507500 #constraints=4846
698.27/698.57	c nbDecision=508000 #constraints=4846
698.97/699.22	c nbDecision=508500 #constraints=4846
699.57/699.87	c nbDecision=509000 #constraints=4846
700.27/700.53	c nbDecision=509500 #constraints=4846
700.87/701.17	c nbDecision=510000 #constraints=4846
701.57/701.82	c nbDecision=510500 #constraints=4846
702.16/702.46	c nbDecision=511000 #constraints=4846
702.86/703.10	c nbDecision=511500 #constraints=4846
703.46/703.73	c nbDecision=512000 #constraints=4846
704.06/704.36	c nbDecision=512500 #constraints=4846
704.87/705.11	c nbDecision=513000 #constraints=4847
705.56/705.85	c nbDecision=513500 #constraints=4847
706.26/706.58	c nbDecision=514000 #constraints=4847
707.07/707.31	c nbDecision=514500 #constraints=4847
707.76/708.04	c nbDecision=515000 #constraints=4847
708.46/708.77	c nbDecision=515500 #constraints=4847
709.17/709.48	c nbDecision=516000 #constraints=4847
709.96/710.21	c nbDecision=516500 #constraints=4847
710.66/710.92	c nbDecision=517000 #constraints=4847
711.36/711.64	c nbDecision=517500 #constraints=4847
712.06/712.35	c nbDecision=518000 #constraints=4847
712.76/713.06	c nbDecision=518500 #constraints=4847
713.46/713.77	c nbDecision=519000 #constraints=4847
714.16/714.48	c nbDecision=519500 #constraints=4847
714.86/715.19	c nbDecision=520000 #constraints=4847
715.66/715.90	c nbDecision=520500 #constraints=4847
716.36/716.61	c nbDecision=521000 #constraints=4847
717.06/717.31	c nbDecision=521500 #constraints=4847
717.76/718.01	c nbDecision=522000 #constraints=4847
718.46/718.70	c nbDecision=522500 #constraints=4847
719.06/719.39	c nbDecision=523000 #constraints=4847
719.76/720.09	c nbDecision=523500 #constraints=4847
720.46/720.78	c nbDecision=524000 #constraints=4847
721.16/721.46	c nbDecision=524500 #constraints=4847
721.86/722.14	c nbDecision=525000 #constraints=4847
722.56/722.82	c nbDecision=525500 #constraints=4847
723.16/723.49	c nbDecision=526000 #constraints=4847
723.86/724.17	c nbDecision=526500 #constraints=4847
724.56/724.83	c nbDecision=527000 #constraints=4847
725.16/725.50	c nbDecision=527500 #constraints=4847
725.85/726.16	c nbDecision=528000 #constraints=4847
726.55/726.81	c nbDecision=528500 #constraints=4847
727.15/727.47	c nbDecision=529000 #constraints=4847
727.86/728.12	c nbDecision=529500 #constraints=4847
728.45/728.77	c nbDecision=530000 #constraints=4847
729.15/729.42	c nbDecision=530500 #constraints=4847
729.75/730.06	c nbDecision=531000 #constraints=4847
730.45/730.70	c nbDecision=531500 #constraints=4847
731.05/731.34	c nbDecision=532000 #constraints=4847
731.65/731.98	c nbDecision=532500 #constraints=4847
732.35/732.61	c nbDecision=533000 #constraints=4847
732.95/733.24	c nbDecision=533500 #constraints=4847
733.65/733.93	c nbDecision=534000 #constraints=4848
734.35/734.66	c nbDecision=534500 #constraints=4848
735.05/735.38	c nbDecision=535000 #constraints=4848
735.85/736.11	c nbDecision=535500 #constraints=4848
736.55/736.84	c nbDecision=536000 #constraints=4848
737.25/737.56	c nbDecision=536500 #constraints=4848
737.95/738.28	c nbDecision=537000 #constraints=4848
738.75/739.00	c nbDecision=537500 #constraints=4848
739.45/739.71	c nbDecision=538000 #constraints=4848
740.15/740.42	c nbDecision=538500 #constraints=4848
740.85/741.13	c nbDecision=539000 #constraints=4848
741.55/741.83	c nbDecision=539500 #constraints=4848
742.25/742.53	c nbDecision=540000 #constraints=4848
742.95/743.24	c nbDecision=540500 #constraints=4848
743.65/743.93	c nbDecision=541000 #constraints=4848
744.35/744.63	c nbDecision=541500 #constraints=4848
745.05/745.32	c nbDecision=542000 #constraints=4848
745.75/746.00	c nbDecision=542500 #constraints=4848
746.35/746.68	c nbDecision=543000 #constraints=4848
747.05/747.36	c nbDecision=543500 #constraints=4848
747.75/748.03	c nbDecision=544000 #constraints=4848
748.45/748.70	c nbDecision=544500 #constraints=4848
749.05/749.37	c nbDecision=545000 #constraints=4848
749.75/750.04	c nbDecision=545500 #constraints=4848
750.45/750.71	c nbDecision=546000 #constraints=4848
751.05/751.37	c nbDecision=546500 #constraints=4848
751.74/752.03	c nbDecision=547000 #constraints=4848
752.34/752.68	c nbDecision=547500 #constraints=4848
753.04/753.34	c nbDecision=548000 #constraints=4848
753.64/753.99	c nbDecision=548500 #constraints=4848
754.36/754.63	c nbDecision=549000 #constraints=4848
754.95/755.29	c nbDecision=549500 #constraints=4848
755.65/755.94	c nbDecision=550000 #constraints=4848
756.25/756.58	c nbDecision=550500 #constraints=4848
756.95/757.22	c nbDecision=551000 #constraints=4848
757.55/757.86	c nbDecision=551500 #constraints=4848
758.15/758.49	c nbDecision=552000 #constraints=4848
758.85/759.13	c nbDecision=552500 #constraints=4848
759.55/759.89	c nbDecision=553000 #constraints=4849
760.35/760.64	c nbDecision=553500 #constraints=4849
761.05/761.38	c nbDecision=554000 #constraints=4849
761.85/762.12	c nbDecision=554500 #constraints=4849
762.55/762.86	c nbDecision=555000 #constraints=4849
763.34/763.60	c nbDecision=555500 #constraints=4849
764.04/764.33	c nbDecision=556000 #constraints=4849
764.74/765.06	c nbDecision=556500 #constraints=4849
765.44/765.78	c nbDecision=557000 #constraints=4849
766.14/766.49	c nbDecision=557500 #constraints=4849
766.94/767.20	c nbDecision=558000 #constraints=4849
767.64/767.92	c nbDecision=558500 #constraints=4849
768.34/768.63	c nbDecision=559000 #constraints=4849
769.04/769.33	c nbDecision=559500 #constraints=4849
769.75/770.03	c nbDecision=560000 #constraints=4849
770.44/770.73	c nbDecision=560500 #constraints=4849
771.14/771.43	c nbDecision=561000 #constraints=4849
771.85/772.13	c nbDecision=561500 #constraints=4849
772.54/772.81	c nbDecision=562000 #constraints=4849
773.24/773.50	c nbDecision=562500 #constraints=4849
773.84/774.19	c nbDecision=563000 #constraints=4849
774.54/774.87	c nbDecision=563500 #constraints=4849
775.24/775.56	c nbDecision=564000 #constraints=4849
775.94/776.25	c nbDecision=564500 #constraints=4849
776.64/776.93	c nbDecision=565000 #constraints=4849
777.34/777.61	c nbDecision=565500 #constraints=4849
777.94/778.29	c nbDecision=566000 #constraints=4849
778.64/778.96	c nbDecision=566500 #constraints=4849
779.34/779.63	c nbDecision=567000 #constraints=4849
780.04/780.30	c nbDecision=567500 #constraints=4849
780.64/780.97	c nbDecision=568000 #constraints=4849
781.34/781.63	c nbDecision=568500 #constraints=4849
781.94/782.29	c nbDecision=569000 #constraints=4849
782.64/782.95	c nbDecision=569500 #constraints=4849
783.33/783.61	c nbDecision=570000 #constraints=4849
783.94/784.26	c nbDecision=570500 #constraints=4849
784.63/784.91	c nbDecision=571000 #constraints=4849
785.23/785.55	c nbDecision=571500 #constraints=4849
785.83/786.19	c nbDecision=572000 #constraints=4849
786.53/786.82	c nbDecision=572500 #constraints=4849
787.13/787.45	c nbDecision=573000 #constraints=4849
787.73/788.08	c nbDecision=573500 #constraints=4849
788.44/788.78	c nbDecision=574000 #constraints=4850
789.23/789.50	c nbDecision=574500 #constraints=4850
789.93/790.22	c nbDecision=575000 #constraints=4850
790.63/790.94	c nbDecision=575500 #constraints=4850
791.33/791.65	c nbDecision=576000 #constraints=4850
792.03/792.36	c nbDecision=576500 #constraints=4850
792.73/793.07	c nbDecision=577000 #constraints=4850
793.43/793.77	c nbDecision=577500 #constraints=4850
794.13/794.48	c nbDecision=578000 #constraints=4850
794.83/795.18	c nbDecision=578500 #constraints=4850
795.53/795.88	c nbDecision=579000 #constraints=4850
796.23/796.59	c nbDecision=579500 #constraints=4850
796.93/797.28	c nbDecision=580000 #constraints=4850
797.63/797.97	c nbDecision=580500 #constraints=4850
798.33/798.67	c nbDecision=581000 #constraints=4850
799.03/799.36	c nbDecision=581500 #constraints=4850
799.73/800.04	c nbDecision=582000 #constraints=4850
800.43/800.73	c nbDecision=582500 #constraints=4850
801.13/801.41	c nbDecision=583000 #constraints=4850
801.73/802.09	c nbDecision=583500 #constraints=4850
802.43/802.77	c nbDecision=584000 #constraints=4850
803.13/803.44	c nbDecision=584500 #constraints=4850
803.83/804.11	c nbDecision=585000 #constraints=4850
804.43/804.78	c nbDecision=585500 #constraints=4850
805.13/805.44	c nbDecision=586000 #constraints=4850
805.73/806.09	c nbDecision=586500 #constraints=4850
806.43/806.75	c nbDecision=587000 #constraints=4850
807.03/807.39	c nbDecision=587500 #constraints=4850
807.73/808.04	c nbDecision=588000 #constraints=4850
808.33/808.68	c nbDecision=588500 #constraints=4850
809.03/809.32	c nbDecision=589000 #constraints=4850
809.62/809.96	c nbDecision=589500 #constraints=4850
810.22/810.59	c nbDecision=590000 #constraints=4850
810.93/811.23	c nbDecision=590500 #constraints=4850
811.53/811.86	c nbDecision=591000 #constraints=4850
812.22/812.53	c nbDecision=591500 #constraints=4851
812.92/813.26	c nbDecision=592000 #constraints=4851
813.63/813.99	c nbDecision=592500 #constraints=4851
814.42/814.73	c nbDecision=593000 #constraints=4851
815.12/815.46	c nbDecision=593500 #constraints=4851
815.82/816.18	c nbDecision=594000 #constraints=4851
816.62/816.91	c nbDecision=594500 #constraints=4851
817.32/817.64	c nbDecision=595000 #constraints=4851
818.02/818.36	c nbDecision=595500 #constraints=4851
818.72/819.08	c nbDecision=596000 #constraints=4851
819.52/819.80	c nbDecision=596500 #constraints=4851
820.22/820.51	c nbDecision=597000 #constraints=4851
820.92/821.22	c nbDecision=597500 #constraints=4851
821.62/821.92	c nbDecision=598000 #constraints=4851
822.32/822.63	c nbDecision=598500 #constraints=4851
823.02/823.33	c nbDecision=599000 #constraints=4851
823.72/824.04	c nbDecision=599500 #constraints=4851
824.42/824.73	c nbDecision=600000 #constraints=4851
825.12/825.42	c nbDecision=600500 #constraints=4851
825.82/826.11	c nbDecision=601000 #constraints=4851
826.42/826.79	c nbDecision=601500 #constraints=4851
827.12/827.47	c nbDecision=602000 #constraints=4851
827.82/828.15	c nbDecision=602500 #constraints=4851
828.52/828.82	c nbDecision=603000 #constraints=4851
829.21/829.50	c nbDecision=603500 #constraints=4851
829.81/830.17	c nbDecision=604000 #constraints=4851
830.51/830.83	c nbDecision=604500 #constraints=4851
831.11/831.50	c nbDecision=605000 #constraints=4851
831.81/832.16	c nbDecision=605500 #constraints=4851
832.51/832.82	c nbDecision=606000 #constraints=4851
833.11/833.48	c nbDecision=606500 #constraints=4851
833.81/834.13	c nbDecision=607000 #constraints=4851
834.41/834.78	c nbDecision=607500 #constraints=4851
835.11/835.43	c nbDecision=608000 #constraints=4851
835.72/836.09	c nbDecision=608500 #constraints=4851
836.41/836.74	c nbDecision=609000 #constraints=4851
837.01/837.38	c nbDecision=609500 #constraints=4851
837.71/838.03	c nbDecision=610000 #constraints=4851
838.31/838.66	c nbDecision=610500 #constraints=4851
838.92/839.30	c nbDecision=611000 #constraints=4851
839.61/839.93	c nbDecision=611500 #constraints=4851
840.31/840.67	c nbDecision=612000 #constraints=4852
841.12/841.41	c nbDecision=612500 #constraints=4852
841.81/842.15	c nbDecision=613000 #constraints=4852
842.51/842.89	c nbDecision=613500 #constraints=4852
843.31/843.62	c nbDecision=614000 #constraints=4852
844.01/844.35	c nbDecision=614500 #constraints=4852
844.71/845.08	c nbDecision=615000 #constraints=4852
845.41/845.78	c nbDecision=615500 #constraints=4852
846.11/846.49	c nbDecision=616000 #constraints=4852
846.91/847.20	c nbDecision=616500 #constraints=4852
847.61/847.91	c nbDecision=617000 #constraints=4852
848.31/848.62	c nbDecision=617500 #constraints=4852
849.01/849.32	c nbDecision=618000 #constraints=4852
849.71/850.03	c nbDecision=618500 #constraints=4852
850.42/850.72	c nbDecision=619000 #constraints=4852
851.12/851.42	c nbDecision=619500 #constraints=4852
851.82/852.11	c nbDecision=620000 #constraints=4852
852.52/852.80	c nbDecision=620500 #constraints=4852
853.12/853.49	c nbDecision=621000 #constraints=4852
853.82/854.18	c nbDecision=621500 #constraints=4852
854.52/854.86	c nbDecision=622000 #constraints=4852
855.22/855.55	c nbDecision=622500 #constraints=4852
855.92/856.23	c nbDecision=623000 #constraints=4852
856.62/856.90	c nbDecision=623500 #constraints=4852
857.22/857.58	c nbDecision=624000 #constraints=4852
857.91/858.26	c nbDecision=624500 #constraints=4852
858.61/858.93	c nbDecision=625000 #constraints=4852
859.31/859.60	c nbDecision=625500 #constraints=4852
859.92/860.27	c nbDecision=626000 #constraints=4852
860.61/860.93	c nbDecision=626500 #constraints=4852
861.21/861.59	c nbDecision=627000 #constraints=4852
861.91/862.25	c nbDecision=627500 #constraints=4852
862.61/862.91	c nbDecision=628000 #constraints=4852
863.22/863.56	c nbDecision=628500 #constraints=4852
863.91/864.21	c nbDecision=629000 #constraints=4852
864.51/864.85	c nbDecision=629500 #constraints=4852
865.11/865.49	c nbDecision=630000 #constraints=4852
865.81/866.13	c nbDecision=630500 #constraints=4852
866.42/866.76	c nbDecision=631000 #constraints=4852
867.01/867.39	c nbDecision=631500 #constraints=4852
867.71/868.09	c nbDecision=632000 #constraints=4853
868.51/868.82	c nbDecision=632500 #constraints=4853
869.21/869.56	c nbDecision=633000 #constraints=4853
869.91/870.28	c nbDecision=633500 #constraints=4853
870.71/871.01	c nbDecision=634000 #constraints=4853
871.41/871.73	c nbDecision=634500 #constraints=4853
872.11/872.45	c nbDecision=635000 #constraints=4853
872.81/873.17	c nbDecision=635500 #constraints=4853
873.51/873.89	c nbDecision=636000 #constraints=4853
874.21/874.59	c nbDecision=636500 #constraints=4853
875.01/875.31	c nbDecision=637000 #constraints=4853
875.71/876.02	c nbDecision=637500 #constraints=4853
876.41/876.73	c nbDecision=638000 #constraints=4853
877.11/877.44	c nbDecision=638500 #constraints=4853
877.81/878.15	c nbDecision=639000 #constraints=4853
878.51/878.85	c nbDecision=639500 #constraints=4853
879.20/879.55	c nbDecision=640000 #constraints=4853
879.90/880.24	c nbDecision=640500 #constraints=4853
880.60/880.94	c nbDecision=641000 #constraints=4853
881.30/881.63	c nbDecision=641500 #constraints=4853
882.00/882.32	c nbDecision=642000 #constraints=4853
882.70/883.01	c nbDecision=642500 #constraints=4853
883.30/883.69	c nbDecision=643000 #constraints=4853
884.01/884.37	c nbDecision=643500 #constraints=4853
884.70/885.04	c nbDecision=644000 #constraints=4853
885.40/885.71	c nbDecision=644500 #constraints=4853
886.00/886.38	c nbDecision=645000 #constraints=4853
886.70/887.04	c nbDecision=645500 #constraints=4853
887.41/887.71	c nbDecision=646000 #constraints=4853
888.00/888.36	c nbDecision=646500 #constraints=4853
888.70/889.02	c nbDecision=647000 #constraints=4853
889.30/889.67	c nbDecision=647500 #constraints=4853
890.00/890.32	c nbDecision=648000 #constraints=4853
890.60/890.97	c nbDecision=648500 #constraints=4853
891.30/891.61	c nbDecision=649000 #constraints=4853
891.90/892.25	c nbDecision=649500 #constraints=4853
892.50/892.89	c nbDecision=650000 #constraints=4853
893.20/893.53	c nbDecision=650500 #constraints=4853
893.80/894.16	c nbDecision=651000 #constraints=4853
894.40/894.79	c nbDecision=651500 #constraints=4853
895.10/895.46	c nbDecision=652000 #constraints=4854
895.80/896.19	c nbDecision=652500 #constraints=4854
896.60/896.93	c nbDecision=653000 #constraints=4854
897.30/897.67	c nbDecision=653500 #constraints=4854
898.10/898.41	c nbDecision=654000 #constraints=4854
898.80/899.15	c nbDecision=654500 #constraints=4854
899.50/899.88	c nbDecision=655000 #constraints=4854
900.29/900.60	c nbDecision=655500 #constraints=4854
900.99/901.33	c nbDecision=656000 #constraints=4854
901.70/902.05	c nbDecision=656500 #constraints=4854
902.39/902.77	c nbDecision=657000 #constraints=4854
903.09/903.48	c nbDecision=657500 #constraints=4854
903.80/904.19	c nbDecision=658000 #constraints=4854
904.59/904.90	c nbDecision=658500 #constraints=4854
905.29/905.60	c nbDecision=659000 #constraints=4854
906.00/906.30	c nbDecision=659500 #constraints=4854
906.59/907.00	c nbDecision=660000 #constraints=4854
907.29/907.69	c nbDecision=660500 #constraints=4854
907.99/908.38	c nbDecision=661000 #constraints=4854
908.69/909.06	c nbDecision=661500 #constraints=4854
909.40/909.75	c nbDecision=662000 #constraints=4854
910.09/910.43	c nbDecision=662500 #constraints=4854
910.69/911.10	c nbDecision=663000 #constraints=4854
911.39/911.77	c nbDecision=663500 #constraints=4854
912.09/912.44	c nbDecision=664000 #constraints=4854
912.79/913.11	c nbDecision=664500 #constraints=4854
913.39/913.78	c nbDecision=665000 #constraints=4854
914.09/914.44	c nbDecision=665500 #constraints=4854
914.79/915.11	c nbDecision=666000 #constraints=4854
915.39/915.77	c nbDecision=666500 #constraints=4854
916.09/916.43	c nbDecision=667000 #constraints=4854
916.69/917.09	c nbDecision=667500 #constraints=4854
917.39/917.75	c nbDecision=668000 #constraints=4854
918.09/918.40	c nbDecision=668500 #constraints=4854
918.69/919.06	c nbDecision=669000 #constraints=4854
919.39/919.71	c nbDecision=669500 #constraints=4854
919.99/920.35	c nbDecision=670000 #constraints=4854
920.59/920.99	c nbDecision=670500 #constraints=4854
921.29/921.63	c nbDecision=671000 #constraints=4854
921.89/922.26	c nbDecision=671500 #constraints=4854
922.59/922.90	c nbDecision=672000 #constraints=4854
923.29/923.65	c nbDecision=672500 #constraints=4855
923.98/924.39	c nbDecision=673000 #constraints=4855
924.79/925.13	c nbDecision=673500 #constraints=4855
925.48/925.85	c nbDecision=674000 #constraints=4855
926.18/926.57	c nbDecision=674500 #constraints=4855
926.89/927.29	c nbDecision=675000 #constraints=4855
927.68/928.01	c nbDecision=675500 #constraints=4855
928.38/928.72	c nbDecision=676000 #constraints=4855
929.09/929.44	c nbDecision=676500 #constraints=4855
929.78/930.15	c nbDecision=677000 #constraints=4855
930.48/930.86	c nbDecision=677500 #constraints=4855
931.18/931.57	c nbDecision=678000 #constraints=4855
931.88/932.27	c nbDecision=678500 #constraints=4855
932.58/932.97	c nbDecision=679000 #constraints=4855
933.28/933.67	c nbDecision=679500 #constraints=4855
933.98/934.36	c nbDecision=680000 #constraints=4855
934.68/935.05	c nbDecision=680500 #constraints=4855
935.38/935.75	c nbDecision=681000 #constraints=4855
936.08/936.45	c nbDecision=681500 #constraints=4855
936.78/937.13	c nbDecision=682000 #constraints=4855
937.48/937.82	c nbDecision=682500 #constraints=4855
938.18/938.50	c nbDecision=683000 #constraints=4855
938.78/939.18	c nbDecision=683500 #constraints=4855
939.48/939.86	c nbDecision=684000 #constraints=4855
940.18/940.53	c nbDecision=684500 #constraints=4855
940.88/941.21	c nbDecision=685000 #constraints=4855
941.48/941.87	c nbDecision=685500 #constraints=4855
942.18/942.53	c nbDecision=686000 #constraints=4855
942.88/943.20	c nbDecision=686500 #constraints=4855
943.48/943.86	c nbDecision=687000 #constraints=4855
944.18/944.52	c nbDecision=687500 #constraints=4855
944.78/945.18	c nbDecision=688000 #constraints=4855
945.48/945.83	c nbDecision=688500 #constraints=4855
946.09/946.47	c nbDecision=689000 #constraints=4855
946.79/947.11	c nbDecision=689500 #constraints=4855
947.39/947.75	c nbDecision=690000 #constraints=4855
947.99/948.39	c nbDecision=690500 #constraints=4855
948.69/949.03	c nbDecision=691000 #constraints=4855
949.29/949.65	c nbDecision=691500 #constraints=4855
949.89/950.28	c nbDecision=692000 #constraints=4855
950.69/951.01	c nbDecision=692500 #constraints=4856
951.39/951.74	c nbDecision=693000 #constraints=4856
952.09/952.47	c nbDecision=693500 #constraints=4856
952.89/953.20	c nbDecision=694000 #constraints=4856
953.58/953.93	c nbDecision=694500 #constraints=4856
954.28/954.65	c nbDecision=695000 #constraints=4856
954.98/955.38	c nbDecision=695500 #constraints=4856
955.78/956.10	c nbDecision=696000 #constraints=4856
956.48/956.82	c nbDecision=696500 #constraints=4856
957.18/957.54	c nbDecision=697000 #constraints=4856
957.88/958.25	c nbDecision=697500 #constraints=4856
958.58/958.97	c nbDecision=698000 #constraints=4856
959.28/959.66	c nbDecision=698500 #constraints=4856
959.99/960.37	c nbDecision=699000 #constraints=4856
960.68/961.08	c nbDecision=699500 #constraints=4856
961.38/961.78	c nbDecision=700000 #constraints=4856
962.08/962.48	c nbDecision=700500 #constraints=4856
962.78/963.18	c nbDecision=701000 #constraints=4856
963.48/963.87	c nbDecision=701500 #constraints=4856
964.18/964.56	c nbDecision=702000 #constraints=4856
964.88/965.24	c nbDecision=702500 #constraints=4856
965.58/965.92	c nbDecision=703000 #constraints=4856
966.28/966.60	c nbDecision=703500 #constraints=4856
966.88/967.27	c nbDecision=704000 #constraints=4856
967.58/967.94	c nbDecision=704500 #constraints=4856
968.28/968.60	c nbDecision=705000 #constraints=4856
968.88/969.27	c nbDecision=705500 #constraints=4856
969.58/969.93	c nbDecision=706000 #constraints=4856
970.18/970.59	c nbDecision=706500 #constraints=4856
970.88/971.25	c nbDecision=707000 #constraints=4856
971.58/971.90	c nbDecision=707500 #constraints=4856
972.18/972.55	c nbDecision=708000 #constraints=4856
972.88/973.20	c nbDecision=708500 #constraints=4856
973.48/973.84	c nbDecision=709000 #constraints=4856
974.08/974.49	c nbDecision=709500 #constraints=4856
974.77/975.13	c nbDecision=710000 #constraints=4856
975.38/975.78	c nbDecision=710500 #constraints=4856
976.07/976.41	c nbDecision=711000 #constraints=4856
976.67/977.05	c nbDecision=711500 #constraints=4856
977.27/977.69	c nbDecision=712000 #constraints=4856
977.97/978.39	c nbDecision=712500 #constraints=4857
978.77/979.12	c nbDecision=713000 #constraints=4857
979.47/979.85	c nbDecision=713500 #constraints=4857
980.17/980.57	c nbDecision=714000 #constraints=4857
980.88/981.29	c nbDecision=714500 #constraints=4857
981.67/982.01	c nbDecision=715000 #constraints=4857
982.37/982.72	c nbDecision=715500 #constraints=4857
983.08/983.43	c nbDecision=716000 #constraints=4857
983.77/984.14	c nbDecision=716500 #constraints=4857
984.47/984.85	c nbDecision=717000 #constraints=4857
985.18/985.54	c nbDecision=717500 #constraints=4857
985.87/986.24	c nbDecision=718000 #constraints=4857
986.57/986.92	c nbDecision=718500 #constraints=4857
987.27/987.61	c nbDecision=719000 #constraints=4857
987.87/988.30	c nbDecision=719500 #constraints=4857
988.57/988.98	c nbDecision=720000 #constraints=4857
989.27/989.66	c nbDecision=720500 #constraints=4857
989.97/990.34	c nbDecision=721000 #constraints=4857
990.67/991.01	c nbDecision=721500 #constraints=4857
991.27/991.68	c nbDecision=722000 #constraints=4857
991.97/992.35	c nbDecision=722500 #constraints=4857
992.67/993.02	c nbDecision=723000 #constraints=4857
993.27/993.68	c nbDecision=723500 #constraints=4857
993.97/994.34	c nbDecision=724000 #constraints=4857
994.67/995.00	c nbDecision=724500 #constraints=4857
995.27/995.67	c nbDecision=725000 #constraints=4857
995.97/996.32	c nbDecision=725500 #constraints=4857
996.57/996.98	c nbDecision=726000 #constraints=4857
997.27/997.63	c nbDecision=726500 #constraints=4857
997.87/998.28	c nbDecision=727000 #constraints=4857
998.57/998.93	c nbDecision=727500 #constraints=4857
999.17/999.58	c nbDecision=728000 #constraints=4857
999.87/1000.22	c nbDecision=728500 #constraints=4857
1000.46/1000.86	c nbDecision=729000 #constraints=4857
1001.06/1001.49	c nbDecision=729500 #constraints=4857
1001.77/1002.19	c nbDecision=730000 #constraints=4858
1002.56/1002.91	c nbDecision=730500 #constraints=4858
1003.26/1003.65	c nbDecision=731000 #constraints=4858
1003.97/1004.39	c nbDecision=731500 #constraints=4858
1004.76/1005.11	c nbDecision=732000 #constraints=4858
1005.46/1005.84	c nbDecision=732500 #constraints=4858
1006.17/1006.55	c nbDecision=733000 #constraints=4858
1006.86/1007.27	c nbDecision=733500 #constraints=4858
1007.56/1007.97	c nbDecision=734000 #constraints=4858
1008.27/1008.68	c nbDecision=734500 #constraints=4858
1008.96/1009.39	c nbDecision=735000 #constraints=4858
1009.76/1010.10	c nbDecision=735500 #constraints=4858
1010.46/1010.80	c nbDecision=736000 #constraints=4858
1011.06/1011.49	c nbDecision=736500 #constraints=4858
1011.76/1012.19	c nbDecision=737000 #constraints=4858
1012.46/1012.89	c nbDecision=737500 #constraints=4858
1013.16/1013.58	c nbDecision=738000 #constraints=4858
1013.86/1014.27	c nbDecision=738500 #constraints=4858
1014.56/1014.96	c nbDecision=739000 #constraints=4858
1015.26/1015.65	c nbDecision=739500 #constraints=4858
1015.96/1016.34	c nbDecision=740000 #constraints=4858
1016.66/1017.02	c nbDecision=740500 #constraints=4858
1017.36/1017.70	c nbDecision=741000 #constraints=4858
1017.96/1018.38	c nbDecision=741500 #constraints=4858
1018.66/1019.06	c nbDecision=742000 #constraints=4858
1019.36/1019.72	c nbDecision=742500 #constraints=4858
1019.95/1020.39	c nbDecision=743000 #constraints=4858
1020.65/1021.06	c nbDecision=743500 #constraints=4858
1021.35/1021.73	c nbDecision=744000 #constraints=4858
1021.95/1022.39	c nbDecision=744500 #constraints=4858
1022.66/1023.05	c nbDecision=745000 #constraints=4858
1023.35/1023.71	c nbDecision=745500 #constraints=4858
1023.95/1024.37	c nbDecision=746000 #constraints=4858
1024.65/1025.02	c nbDecision=746500 #constraints=4858
1025.25/1025.66	c nbDecision=747000 #constraints=4858
1025.86/1026.30	c nbDecision=747500 #constraints=4858
1026.55/1026.94	c nbDecision=748000 #constraints=4858
1027.15/1027.57	c nbDecision=748500 #constraints=4858
1027.85/1028.20	c nbDecision=749000 #constraints=4858
1028.45/1028.83	c nbDecision=749500 #constraints=4858
1029.15/1029.50	c nbDecision=750000 #constraints=4859
1029.85/1030.22	c nbDecision=750500 #constraints=4859
1030.55/1030.93	c nbDecision=751000 #constraints=4859
1031.25/1031.65	c nbDecision=751500 #constraints=4859
1031.95/1032.36	c nbDecision=752000 #constraints=4859
1032.65/1033.07	c nbDecision=752500 #constraints=4859
1033.35/1033.78	c nbDecision=753000 #constraints=4859
1034.05/1034.49	c nbDecision=753500 #constraints=4859
1034.75/1035.19	c nbDecision=754000 #constraints=4859
1035.55/1035.90	c nbDecision=754500 #constraints=4859
1036.25/1036.60	c nbDecision=755000 #constraints=4859
1036.85/1037.30	c nbDecision=755500 #constraints=4859
1037.65/1038.00	c nbDecision=756000 #constraints=4859
1038.25/1038.69	c nbDecision=756500 #constraints=4859
1038.95/1039.38	c nbDecision=757000 #constraints=4859
1039.63/1040.09	c nbDecision=757500 #constraints=4859
1040.33/1040.78	c nbDecision=758000 #constraints=4859
1041.03/1041.47	c nbDecision=758500 #constraints=4859
1041.73/1042.14	c nbDecision=759000 #constraints=4859
1042.42/1042.85	c nbDecision=759500 #constraints=4859
1043.12/1043.52	c nbDecision=760000 #constraints=4859
1043.72/1044.19	c nbDecision=760500 #constraints=4859
1044.42/1044.86	c nbDecision=761000 #constraints=4859
1045.12/1045.52	c nbDecision=761500 #constraints=4859
1045.71/1046.19	c nbDecision=762000 #constraints=4859
1046.41/1046.84	c nbDecision=762500 #constraints=4859
1047.01/1047.50	c nbDecision=763000 #constraints=4859
1047.71/1048.14	c nbDecision=763500 #constraints=4859
1048.31/1048.79	c nbDecision=764000 #constraints=4859
1049.01/1049.44	c nbDecision=764500 #constraints=4859
1049.60/1050.08	c nbDecision=765000 #constraints=4859
1050.31/1050.71	c nbDecision=765500 #constraints=4859
1050.90/1051.35	c nbDecision=766000 #constraints=4859
1051.50/1051.99	c nbDecision=766500 #constraints=4859
1052.20/1052.62	c nbDecision=767000 #constraints=4859
1052.80/1053.29	c nbDecision=767500 #constraints=4860
1053.60/1054.02	c nbDecision=768000 #constraints=4860
1054.30/1054.76	c nbDecision=768500 #constraints=4860
1054.98/1055.49	c nbDecision=769000 #constraints=4860
1055.77/1056.22	c nbDecision=769500 #constraints=4860
1056.47/1056.96	c nbDecision=770000 #constraints=4860
1057.17/1057.68	c nbDecision=770500 #constraints=4860
1057.97/1058.41	c nbDecision=771000 #constraints=4860
1058.67/1059.13	c nbDecision=771500 #constraints=4860
1059.37/1059.85	c nbDecision=772000 #constraints=4860
1060.07/1060.57	c nbDecision=772500 #constraints=4860
1060.86/1061.30	c nbDecision=773000 #constraints=4860
1061.56/1062.01	c nbDecision=773500 #constraints=4860
1062.26/1062.71	c nbDecision=774000 #constraints=4860
1062.96/1063.43	c nbDecision=774500 #constraints=4860
1063.65/1064.14	c nbDecision=775000 #constraints=4860
1064.35/1064.83	c nbDecision=775500 #constraints=4860
1065.05/1065.53	c nbDecision=776000 #constraints=4860
1065.75/1066.22	c nbDecision=776500 #constraints=4860
1066.44/1066.92	c nbDecision=777000 #constraints=4860
1067.13/1067.60	c nbDecision=777500 #constraints=4860
1067.74/1068.29	c nbDecision=778000 #constraints=4860
1068.43/1068.96	c nbDecision=778500 #constraints=4860
1069.13/1069.63	c nbDecision=779000 #constraints=4860
1069.83/1070.30	c nbDecision=779500 #constraints=4860
1070.43/1070.97	c nbDecision=780000 #constraints=4860
1071.13/1071.64	c nbDecision=780500 #constraints=4860
1071.83/1072.30	c nbDecision=781000 #constraints=4860
1072.43/1072.97	c nbDecision=781500 #constraints=4860
1073.13/1073.63	c nbDecision=782000 #constraints=4860
1073.73/1074.28	c nbDecision=782500 #constraints=4860
1074.43/1074.94	c nbDecision=783000 #constraints=4860
1075.03/1075.59	c nbDecision=783500 #constraints=4860
1075.73/1076.25	c nbDecision=784000 #constraints=4860
1076.33/1076.90	c nbDecision=784500 #constraints=4860
1077.03/1077.55	c nbDecision=785000 #constraints=4860
1077.63/1078.19	c nbDecision=785500 #constraints=4860
1078.33/1078.83	c nbDecision=786000 #constraints=4860
1078.93/1079.48	c nbDecision=786500 #constraints=4860
1079.64/1080.11	c nbDecision=787000 #constraints=4860
1080.23/1080.78	c nbDecision=787500 #constraints=4861
1081.03/1081.51	c nbDecision=788000 #constraints=4861
1081.73/1082.24	c nbDecision=788500 #constraints=4861
1082.43/1082.96	c nbDecision=789000 #constraints=4861
1083.13/1083.68	c nbDecision=789500 #constraints=4861
1083.93/1084.40	c nbDecision=790000 #constraints=4861
1084.63/1085.12	c nbDecision=790500 #constraints=4861
1085.33/1085.82	c nbDecision=791000 #constraints=4861
1086.03/1086.52	c nbDecision=791500 #constraints=4861
1086.73/1087.23	c nbDecision=792000 #constraints=4861
1087.43/1087.93	c nbDecision=792500 #constraints=4861
1088.13/1088.61	c nbDecision=793000 #constraints=4861
1088.83/1089.30	c nbDecision=793500 #constraints=4861
1089.43/1089.99	c nbDecision=794000 #constraints=4861
1090.13/1090.68	c nbDecision=794500 #constraints=4861
1090.82/1091.37	c nbDecision=795000 #constraints=4861
1091.52/1092.05	c nbDecision=795500 #constraints=4861
1092.22/1092.72	c nbDecision=796000 #constraints=4861
1092.83/1093.40	c nbDecision=796500 #constraints=4861
1093.51/1094.09	c nbDecision=797000 #constraints=4861
1094.21/1094.76	c nbDecision=797500 #constraints=4861
1094.91/1095.43	c nbDecision=798000 #constraints=4861
1095.61/1096.10	c nbDecision=798500 #constraints=4861
1096.21/1096.75	c nbDecision=799000 #constraints=4861
1096.91/1097.42	c nbDecision=799500 #constraints=4861
1097.51/1098.07	c nbDecision=800000 #constraints=4861
1098.21/1098.72	c nbDecision=800500 #constraints=4861
1098.80/1099.38	c nbDecision=801000 #constraints=4861
1099.51/1100.03	c nbDecision=801500 #constraints=4861
1100.10/1100.68	c nbDecision=802000 #constraints=4861
1100.80/1101.32	c nbDecision=802500 #constraints=4861
1101.40/1101.97	c nbDecision=803000 #constraints=4861
1102.10/1102.61	c nbDecision=803500 #constraints=4861
1102.71/1103.24	c nbDecision=804000 #constraints=4861
1103.30/1103.87	c nbDecision=804500 #constraints=4861
1104.00/1104.51	c nbDecision=805000 #constraints=4861
1104.70/1105.26	c nbDecision=805500 #constraints=4862
1105.40/1105.97	c nbDecision=806000 #constraints=4862
1106.11/1106.68	c nbDecision=806500 #constraints=4862
1106.80/1107.39	c nbDecision=807000 #constraints=4862
1107.60/1108.10	c nbDecision=807500 #constraints=4862
1108.31/1108.81	c nbDecision=808000 #constraints=4862
1109.00/1109.51	c nbDecision=808500 #constraints=4862
1109.70/1110.20	c nbDecision=809000 #constraints=4862
1110.30/1110.90	c nbDecision=809500 #constraints=4862
1111.00/1111.59	c nbDecision=810000 #constraints=4862
1111.70/1112.28	c nbDecision=810500 #constraints=4862
1112.40/1112.97	c nbDecision=811000 #constraints=4862
1113.10/1113.65	c nbDecision=811500 #constraints=4862
1113.80/1114.33	c nbDecision=812000 #constraints=4862
1114.50/1115.01	c nbDecision=812500 #constraints=4862
1115.20/1115.70	c nbDecision=813000 #constraints=4862
1115.80/1116.38	c nbDecision=813500 #constraints=4862
1116.50/1117.07	c nbDecision=814000 #constraints=4862
1117.20/1117.74	c nbDecision=814500 #constraints=4862
1117.90/1118.42	c nbDecision=815000 #constraints=4862
1118.50/1119.09	c nbDecision=815500 #constraints=4862
1119.20/1119.76	c nbDecision=816000 #constraints=4862
1119.90/1120.43	c nbDecision=816500 #constraints=4862
1120.50/1121.09	c nbDecision=817000 #constraints=4862
1121.20/1121.75	c nbDecision=817500 #constraints=4862
1121.90/1122.41	c nbDecision=818000 #constraints=4862
1122.50/1123.07	c nbDecision=818500 #constraints=4862
1123.20/1123.72	c nbDecision=819000 #constraints=4862
1123.40/1123.98	c restart after 819201 decisions
1123.90/1124.48	c nbDecision=819500 #constraints=4862
1124.70/1125.24	c nbDecision=820000 #constraints=4862
1125.39/1125.99	c nbDecision=820500 #constraints=4862
1126.19/1126.73	c nbDecision=821000 #constraints=4862
1126.90/1127.47	c nbDecision=821500 #constraints=4862
1127.69/1128.21	c nbDecision=822000 #constraints=4862
1128.39/1128.95	c nbDecision=822500 #constraints=4862
1129.10/1129.68	c nbDecision=823000 #constraints=4862
1129.89/1130.41	c nbDecision=823500 #constraints=4862
1130.59/1131.14	c nbDecision=824000 #constraints=4862
1131.30/1131.85	c nbDecision=824500 #constraints=4862
1131.99/1132.58	c nbDecision=825000 #constraints=4862
1132.69/1133.30	c nbDecision=825500 #constraints=4862
1133.50/1134.01	c nbDecision=826000 #constraints=4862
1134.19/1134.73	c nbDecision=826500 #constraints=4862
1134.89/1135.45	c nbDecision=827000 #constraints=4862
1135.59/1136.16	c nbDecision=827500 #constraints=4862
1136.29/1136.87	c nbDecision=828000 #constraints=4862
1136.99/1137.58	c nbDecision=828500 #constraints=4862
1137.69/1138.29	c nbDecision=829000 #constraints=4862
1138.49/1139.00	c nbDecision=829500 #constraints=4862
1139.19/1139.70	c nbDecision=830000 #constraints=4862
1139.89/1140.40	c nbDecision=830500 #constraints=4862
1140.49/1141.09	c nbDecision=831000 #constraints=4862
1141.19/1141.79	c nbDecision=831500 #constraints=4862
1141.89/1142.48	c nbDecision=832000 #constraints=4862
1142.59/1143.17	c nbDecision=832500 #constraints=4862
1143.29/1143.85	c nbDecision=833000 #constraints=4862
1143.99/1144.53	c nbDecision=833500 #constraints=4862
1144.69/1145.20	c nbDecision=834000 #constraints=4862
1145.28/1145.87	c nbDecision=834500 #constraints=4862
1145.98/1146.53	c nbDecision=835000 #constraints=4862
1146.58/1147.19	c nbDecision=835500 #constraints=4862
1147.28/1147.85	c nbDecision=836000 #constraints=4862
1147.98/1148.51	c nbDecision=836500 #constraints=4862
1148.58/1149.17	c nbDecision=837000 #constraints=4862
1149.28/1149.82	c nbDecision=837500 #constraints=4862
1149.88/1150.48	c nbDecision=838000 #constraints=4862
1150.58/1151.12	c nbDecision=838500 #constraints=4862
1151.19/1151.77	c nbDecision=839000 #constraints=4862
1151.88/1152.41	c nbDecision=839500 #constraints=4862
1152.48/1153.05	c nbDecision=840000 #constraints=4862
1153.08/1153.69	c nbDecision=840500 #constraints=4862
1153.78/1154.32	c nbDecision=841000 #constraints=4862
1154.39/1154.96	c nbDecision=841500 #constraints=4862
1154.98/1155.59	c nbDecision=842000 #constraints=4862
1155.78/1156.33	c nbDecision=842500 #constraints=4863
1156.48/1157.07	c nbDecision=843000 #constraints=4863
1157.28/1157.81	c nbDecision=843500 #constraints=4863
1157.98/1158.54	c nbDecision=844000 #constraints=4863
1158.68/1159.28	c nbDecision=844500 #constraints=4863
1159.48/1160.00	c nbDecision=845000 #constraints=4863
1160.18/1160.72	c nbDecision=845500 #constraints=4863
1160.88/1161.44	c nbDecision=846000 #constraints=4863
1161.58/1162.16	c nbDecision=846500 #constraints=4863
1162.28/1162.88	c nbDecision=847000 #constraints=4863
1162.98/1163.58	c nbDecision=847500 #constraints=4863
1163.78/1164.30	c nbDecision=848000 #constraints=4863
1164.48/1165.00	c nbDecision=848500 #constraints=4863
1165.18/1165.70	c nbDecision=849000 #constraints=4863
1165.88/1166.40	c nbDecision=849500 #constraints=4863
1166.48/1167.10	c nbDecision=850000 #constraints=4863
1167.18/1167.79	c nbDecision=850500 #constraints=4863
1167.87/1168.48	c nbDecision=851000 #constraints=4863
1168.57/1169.16	c nbDecision=851500 #constraints=4863
1169.27/1169.85	c nbDecision=852000 #constraints=4863
1169.97/1170.53	c nbDecision=852500 #constraints=4863
1170.67/1171.21	c nbDecision=853000 #constraints=4863
1171.27/1171.88	c nbDecision=853500 #constraints=4863
1171.98/1172.55	c nbDecision=854000 #constraints=4863
1172.67/1173.22	c nbDecision=854500 #constraints=4863
1173.27/1173.89	c nbDecision=855000 #constraints=4863
1173.97/1174.56	c nbDecision=855500 #constraints=4863
1174.67/1175.23	c nbDecision=856000 #constraints=4863
1175.28/1175.89	c nbDecision=856500 #constraints=4863
1175.97/1176.55	c nbDecision=857000 #constraints=4863
1176.67/1177.21	c nbDecision=857500 #constraints=4863
1177.27/1177.87	c nbDecision=858000 #constraints=4863
1177.97/1178.53	c nbDecision=858500 #constraints=4863
1178.57/1179.18	c nbDecision=859000 #constraints=4863
1179.27/1179.83	c nbDecision=859500 #constraints=4863
1179.87/1180.47	c nbDecision=860000 #constraints=4863
1180.57/1181.11	c nbDecision=860500 #constraints=4863
1181.17/1181.75	c nbDecision=861000 #constraints=4863
1181.77/1182.39	c nbDecision=861500 #constraints=4863
1182.47/1183.02	c nbDecision=862000 #constraints=4863
1183.17/1183.76	c nbDecision=862500 #constraints=4864
1183.87/1184.49	c nbDecision=863000 #constraints=4864
1184.67/1185.20	c nbDecision=863500 #constraints=4864
1185.37/1185.92	c nbDecision=864000 #constraints=4864
1186.07/1186.63	c nbDecision=864500 #constraints=4864
1186.77/1187.34	c nbDecision=865000 #constraints=4864
1187.47/1188.04	c nbDecision=865500 #constraints=4864
1188.17/1188.74	c nbDecision=866000 #constraints=4864
1188.87/1189.44	c nbDecision=866500 #constraints=4864
1189.57/1190.14	c nbDecision=867000 #constraints=4864
1190.27/1190.83	c nbDecision=867500 #constraints=4864
1190.96/1191.52	c nbDecision=868000 #constraints=4864
1191.67/1192.21	c nbDecision=868500 #constraints=4864
1192.27/1192.90	c nbDecision=869000 #constraints=4864
1192.98/1193.58	c nbDecision=869500 #constraints=4864
1193.67/1194.26	c nbDecision=870000 #constraints=4864
1194.37/1194.94	c nbDecision=870500 #constraints=4864
1195.08/1195.62	c nbDecision=871000 #constraints=4864
1195.77/1196.30	c nbDecision=871500 #constraints=4864
1196.37/1196.97	c nbDecision=872000 #constraints=4864
1197.07/1197.65	c nbDecision=872500 #constraints=4864
1197.77/1198.32	c nbDecision=873000 #constraints=4864
1198.38/1198.99	c nbDecision=873500 #constraints=4864
1199.07/1199.65	c nbDecision=874000 #constraints=4864
1199.77/1200.31	c nbDecision=874500 #constraints=4864
1200.37/1200.97	c nbDecision=875000 #constraints=4864
1201.07/1201.63	c nbDecision=875500 #constraints=4864
1201.68/1202.28	c nbDecision=876000 #constraints=4864
1202.37/1202.93	c nbDecision=876500 #constraints=4864
1202.97/1203.58	c nbDecision=877000 #constraints=4864
1203.67/1204.22	c nbDecision=877500 #constraints=4864
1204.27/1204.86	c nbDecision=878000 #constraints=4864
1204.87/1205.50	c nbDecision=878500 #constraints=4864
1205.57/1206.13	c nbDecision=879000 #constraints=4864
1206.17/1206.76	c nbDecision=879500 #constraints=4864
1206.97/1207.52	c nbDecision=880000 #constraints=4865
1207.67/1208.26	c nbDecision=880500 #constraints=4865
1208.37/1209.00	c nbDecision=881000 #constraints=4865
1209.17/1209.73	c nbDecision=881500 #constraints=4865
1209.87/1210.45	c nbDecision=882000 #constraints=4865
1210.57/1211.18	c nbDecision=882500 #constraints=4865
1211.37/1211.91	c nbDecision=883000 #constraints=4865
1212.07/1212.63	c nbDecision=883500 #constraints=4865
1212.77/1213.35	c nbDecision=884000 #constraints=4865
1213.46/1214.07	c nbDecision=884500 #constraints=4865
1214.16/1214.77	c nbDecision=885000 #constraints=4865
1214.87/1215.49	c nbDecision=885500 #constraints=4865
1215.66/1216.20	c nbDecision=886000 #constraints=4865
1216.36/1216.91	c nbDecision=886500 #constraints=4865
1217.07/1217.62	c nbDecision=887000 #constraints=4865
1217.76/1218.33	c nbDecision=887500 #constraints=4865
1218.46/1219.04	c nbDecision=888000 #constraints=4865
1219.16/1219.74	c nbDecision=888500 #constraints=4865
1219.86/1220.44	c nbDecision=889000 #constraints=4865
1220.56/1221.12	c nbDecision=889500 #constraints=4865
1221.26/1221.81	c nbDecision=890000 #constraints=4865
1221.96/1222.51	c nbDecision=890500 #constraints=4865
1222.57/1223.19	c nbDecision=891000 #constraints=4865
1223.26/1223.87	c nbDecision=891500 #constraints=4865
1223.96/1224.56	c nbDecision=892000 #constraints=4865
1224.66/1225.23	c nbDecision=892500 #constraints=4865
1225.36/1225.90	c nbDecision=893000 #constraints=4865
1225.97/1226.57	c nbDecision=893500 #constraints=4865
1226.66/1227.23	c nbDecision=894000 #constraints=4865
1227.26/1227.90	c nbDecision=894500 #constraints=4865
1227.96/1228.55	c nbDecision=895000 #constraints=4865
1228.66/1229.21	c nbDecision=895500 #constraints=4865
1229.26/1229.87	c nbDecision=896000 #constraints=4865
1229.96/1230.52	c nbDecision=896500 #constraints=4865
1230.56/1231.17	c nbDecision=897000 #constraints=4865
1231.26/1231.81	c nbDecision=897500 #constraints=4865
1231.86/1232.45	c nbDecision=898000 #constraints=4865
1232.46/1233.09	c nbDecision=898500 #constraints=4865
1233.16/1233.73	c nbDecision=899000 #constraints=4865
1233.76/1234.36	c nbDecision=899500 #constraints=4865
1234.36/1234.99	c nbDecision=900000 #constraints=4865
1235.06/1235.62	c nbDecision=900500 #constraints=4865
1235.76/1236.36	c nbDecision=901000 #constraints=4866
1236.56/1237.10	c nbDecision=901500 #constraints=4866
1237.26/1237.84	c nbDecision=902000 #constraints=4866
1237.96/1238.57	c nbDecision=902500 #constraints=4866
1238.76/1239.31	c nbDecision=903000 #constraints=4866
1239.46/1240.03	c nbDecision=903500 #constraints=4866
1240.16/1240.76	c nbDecision=904000 #constraints=4866
1240.86/1241.48	c nbDecision=904500 #constraints=4866
1241.66/1242.20	c nbDecision=905000 #constraints=4866
1242.36/1242.92	c nbDecision=905500 #constraints=4866
1243.06/1243.63	c nbDecision=906000 #constraints=4866
1243.75/1244.35	c nbDecision=906500 #constraints=4866
1244.45/1245.05	c nbDecision=907000 #constraints=4866
1245.15/1245.74	c nbDecision=907500 #constraints=4866
1245.85/1246.44	c nbDecision=908000 #constraints=4866
1246.55/1247.13	c nbDecision=908500 #constraints=4866
1247.25/1247.83	c nbDecision=909000 #constraints=4866
1247.96/1248.51	c nbDecision=909500 #constraints=4866
1248.55/1249.19	c nbDecision=910000 #constraints=4866
1249.25/1249.87	c nbDecision=910500 #constraints=4866
1249.95/1250.55	c nbDecision=911000 #constraints=4866
1250.65/1251.23	c nbDecision=911500 #constraints=4866
1251.35/1251.90	c nbDecision=912000 #constraints=4866
1251.95/1252.58	c nbDecision=912500 #constraints=4866
1252.65/1253.25	c nbDecision=913000 #constraints=4866
1253.35/1253.91	c nbDecision=913500 #constraints=4866
1253.95/1254.58	c nbDecision=914000 #constraints=4866
1254.65/1255.24	c nbDecision=914500 #constraints=4866
1255.35/1255.91	c nbDecision=915000 #constraints=4866
1255.95/1256.57	c nbDecision=915500 #constraints=4866
1256.65/1257.22	c nbDecision=916000 #constraints=4866
1257.25/1257.88	c nbDecision=916500 #constraints=4866
1257.95/1258.54	c nbDecision=917000 #constraints=4866
1258.55/1259.19	c nbDecision=917500 #constraints=4866
1259.25/1259.84	c nbDecision=918000 #constraints=4866
1259.85/1260.48	c nbDecision=918500 #constraints=4866
1260.55/1261.12	c nbDecision=919000 #constraints=4866
1261.15/1261.76	c nbDecision=919500 #constraints=4866
1261.75/1262.40	c nbDecision=920000 #constraints=4866
1262.45/1263.03	c nbDecision=920500 #constraints=4866
1263.25/1263.81	c nbDecision=921000 #constraints=4867
1263.95/1264.56	c nbDecision=921500 #constraints=4867
1264.75/1265.30	c nbDecision=922000 #constraints=4867
1265.45/1266.03	c nbDecision=922500 #constraints=4867
1266.15/1266.75	c nbDecision=923000 #constraints=4867
1266.85/1267.48	c nbDecision=923500 #constraints=4867
1267.55/1268.20	c nbDecision=924000 #constraints=4867
1268.35/1268.92	c nbDecision=924500 #constraints=4867
1269.05/1269.64	c nbDecision=925000 #constraints=4867
1269.74/1270.35	c nbDecision=925500 #constraints=4867
1270.44/1271.07	c nbDecision=926000 #constraints=4867
1271.14/1271.78	c nbDecision=926500 #constraints=4867
1271.84/1272.49	c nbDecision=927000 #constraints=4867
1272.54/1273.19	c nbDecision=927500 #constraints=4867
1273.34/1273.90	c nbDecision=928000 #constraints=4867
1274.04/1274.60	c nbDecision=928500 #constraints=4867
1274.74/1275.30	c nbDecision=929000 #constraints=4867
1275.34/1276.00	c nbDecision=929500 #constraints=4867
1276.14/1276.70	c nbDecision=930000 #constraints=4867
1276.74/1277.40	c nbDecision=930500 #constraints=4867
1277.44/1278.09	c nbDecision=931000 #constraints=4867
1278.14/1278.78	c nbDecision=931500 #constraints=4867
1278.84/1279.47	c nbDecision=932000 #constraints=4867
1279.54/1280.15	c nbDecision=932500 #constraints=4867
1280.24/1280.83	c nbDecision=933000 #constraints=4867
1280.94/1281.51	c nbDecision=933500 #constraints=4867
1281.54/1282.19	c nbDecision=934000 #constraints=4867
1282.24/1282.86	c nbDecision=934500 #constraints=4867
1282.93/1283.53	c nbDecision=935000 #constraints=4867
1283.63/1284.20	c nbDecision=935500 #constraints=4867
1284.24/1284.87	c nbDecision=936000 #constraints=4867
1284.93/1285.52	c nbDecision=936500 #constraints=4867
1285.53/1286.17	c nbDecision=937000 #constraints=4867
1286.23/1286.82	c nbDecision=937500 #constraints=4867
1286.83/1287.47	c nbDecision=938000 #constraints=4867
1287.54/1288.12	c nbDecision=938500 #constraints=4867
1288.13/1288.76	c nbDecision=939000 #constraints=4867
1288.83/1289.40	c nbDecision=939500 #constraints=4867
1289.43/1290.04	c nbDecision=940000 #constraints=4867
1290.03/1290.67	c nbDecision=940500 #constraints=4867
1290.74/1291.30	c nbDecision=941000 #constraints=4867
1291.33/1291.93	c nbDecision=941500 #constraints=4867
1292.03/1292.69	c nbDecision=942000 #constraints=4868
1292.83/1293.43	c nbDecision=942500 #constraints=4868
1293.53/1294.17	c nbDecision=943000 #constraints=4868
1294.34/1294.90	c nbDecision=943500 #constraints=4868
1295.04/1295.64	c nbDecision=944000 #constraints=4868
1295.74/1296.37	c nbDecision=944500 #constraints=4868
1296.54/1297.10	c nbDecision=945000 #constraints=4868
1297.24/1297.83	c nbDecision=945500 #constraints=4868
1297.94/1298.56	c nbDecision=946000 #constraints=4868
1298.64/1299.28	c nbDecision=946500 #constraints=4868
1299.44/1300.00	c nbDecision=947000 #constraints=4868
1300.14/1300.72	c nbDecision=947500 #constraints=4868
1300.84/1301.44	c nbDecision=948000 #constraints=4868
1301.54/1302.15	c nbDecision=948500 #constraints=4868
1302.24/1302.86	c nbDecision=949000 #constraints=4868
1302.94/1303.57	c nbDecision=949500 #constraints=4868
1303.64/1304.27	c nbDecision=950000 #constraints=4868
1304.34/1304.97	c nbDecision=950500 #constraints=4868
1305.04/1305.66	c nbDecision=951000 #constraints=4868
1305.74/1306.35	c nbDecision=951500 #constraints=4868
1306.44/1307.04	c nbDecision=952000 #constraints=4868
1307.14/1307.72	c nbDecision=952500 #constraints=4868
1307.84/1308.40	c nbDecision=953000 #constraints=4868
1308.44/1309.08	c nbDecision=953500 #constraints=4868
1309.14/1309.76	c nbDecision=954000 #constraints=4868
1309.84/1310.43	c nbDecision=954500 #constraints=4868
1310.44/1311.10	c nbDecision=955000 #constraints=4868
1311.14/1311.76	c nbDecision=955500 #constraints=4868
1311.83/1312.43	c nbDecision=956000 #constraints=4868
1312.43/1313.09	c nbDecision=956500 #constraints=4868
1313.13/1313.75	c nbDecision=957000 #constraints=4868
1313.83/1314.40	c nbDecision=957500 #constraints=4868
1314.43/1315.06	c nbDecision=958000 #constraints=4868
1315.13/1315.72	c nbDecision=958500 #constraints=4868
1315.73/1316.37	c nbDecision=959000 #constraints=4868
1316.43/1317.02	c nbDecision=959500 #constraints=4868
1317.03/1317.67	c nbDecision=960000 #constraints=4868
1317.73/1318.32	c nbDecision=960500 #constraints=4868
1318.33/1318.96	c nbDecision=961000 #constraints=4868
1319.03/1319.60	c nbDecision=961500 #constraints=4868
1319.63/1320.24	c nbDecision=962000 #constraints=4868
1320.23/1320.88	c nbDecision=962500 #constraints=4868
1321.03/1321.64	c nbDecision=963000 #constraints=4869
1321.73/1322.38	c nbDecision=963500 #constraints=4869
1322.53/1323.12	c nbDecision=964000 #constraints=4869
1323.23/1323.86	c nbDecision=964500 #constraints=4869
1324.03/1324.60	c nbDecision=965000 #constraints=4869
1324.73/1325.33	c nbDecision=965500 #constraints=4869
1325.43/1326.05	c nbDecision=966000 #constraints=4869
1326.13/1326.78	c nbDecision=966500 #constraints=4869
1326.83/1327.50	c nbDecision=967000 #constraints=4869
1327.63/1328.21	c nbDecision=967500 #constraints=4869
1328.33/1328.93	c nbDecision=968000 #constraints=4869
1329.02/1329.64	c nbDecision=968500 #constraints=4869
1329.72/1330.34	c nbDecision=969000 #constraints=4869
1330.43/1331.05	c nbDecision=969500 #constraints=4869
1331.12/1331.75	c nbDecision=970000 #constraints=4869
1331.82/1332.46	c nbDecision=970500 #constraints=4869
1332.53/1333.15	c nbDecision=971000 #constraints=4869
1333.22/1333.85	c nbDecision=971500 #constraints=4869
1333.92/1334.54	c nbDecision=972000 #constraints=4869
1334.62/1335.23	c nbDecision=972500 #constraints=4869
1335.32/1335.93	c nbDecision=973000 #constraints=4869
1336.02/1336.61	c nbDecision=973500 #constraints=4869
1336.72/1337.30	c nbDecision=974000 #constraints=4869
1337.32/1337.99	c nbDecision=974500 #constraints=4869
1338.02/1338.67	c nbDecision=975000 #constraints=4869
1338.72/1339.35	c nbDecision=975500 #constraints=4869
1339.42/1340.03	c nbDecision=976000 #constraints=4869
1340.02/1340.70	c nbDecision=976500 #constraints=4869
1340.72/1341.37	c nbDecision=977000 #constraints=4869
1341.43/1342.04	c nbDecision=977500 #constraints=4869
1342.12/1342.70	c nbDecision=978000 #constraints=4869
1342.72/1343.36	c nbDecision=978500 #constraints=4869
1343.42/1344.01	c nbDecision=979000 #constraints=4869
1344.02/1344.67	c nbDecision=979500 #constraints=4869
1344.72/1345.32	c nbDecision=980000 #constraints=4869
1345.32/1345.97	c nbDecision=980500 #constraints=4869
1346.02/1346.61	c nbDecision=981000 #constraints=4869
1346.62/1347.24	c nbDecision=981500 #constraints=4869
1347.21/1347.88	c nbDecision=982000 #constraints=4869
1347.92/1348.51	c nbDecision=982500 #constraints=4869
1348.51/1349.14	c nbDecision=983000 #constraints=4869
1349.12/1349.77	c nbDecision=983500 #constraints=4869
1349.91/1350.52	c nbDecision=984000 #constraints=4870
1350.61/1351.26	c nbDecision=984500 #constraints=4870
1351.32/1352.00	c nbDecision=985000 #constraints=4870
1352.11/1352.72	c nbDecision=985500 #constraints=4870
1352.81/1353.45	c nbDecision=986000 #constraints=4870
1353.51/1354.18	c nbDecision=986500 #constraints=4870
1354.31/1354.90	c nbDecision=987000 #constraints=4870
1355.01/1355.63	c nbDecision=987500 #constraints=4870
1355.71/1356.36	c nbDecision=988000 #constraints=4870
1356.41/1357.08	c nbDecision=988500 #constraints=4870
1357.21/1357.80	c nbDecision=989000 #constraints=4870
1357.91/1358.52	c nbDecision=989500 #constraints=4870
1358.61/1359.24	c nbDecision=990000 #constraints=4870
1359.31/1359.95	c nbDecision=990500 #constraints=4870
1360.01/1360.66	c nbDecision=991000 #constraints=4870
1360.71/1361.37	c nbDecision=991500 #constraints=4870
1361.41/1362.06	c nbDecision=992000 #constraints=4870
1362.11/1362.75	c nbDecision=992500 #constraints=4870
1362.81/1363.45	c nbDecision=993000 #constraints=4870
1363.51/1364.15	c nbDecision=993500 #constraints=4870
1364.21/1364.84	c nbDecision=994000 #constraints=4870
1364.90/1365.53	c nbDecision=994500 #constraints=4870
1365.61/1366.21	c nbDecision=995000 #constraints=4870
1366.20/1366.89	c nbDecision=995500 #constraints=4870
1366.90/1367.56	c nbDecision=996000 #constraints=4870
1367.60/1368.23	c nbDecision=996500 #constraints=4870
1368.30/1368.90	c nbDecision=997000 #constraints=4870
1368.90/1369.56	c nbDecision=997500 #constraints=4870
1369.60/1370.23	c nbDecision=998000 #constraints=4870
1370.20/1370.88	c nbDecision=998500 #constraints=4870
1370.90/1371.54	c nbDecision=999000 #constraints=4870
1371.61/1372.20	c nbDecision=999500 #constraints=4870
1372.21/1372.85	c nbDecision=1000000 #constraints=4870
1372.91/1373.50	c nbDecision=1000500 #constraints=4870
1373.51/1374.15	c nbDecision=1001000 #constraints=4870
1374.21/1374.80	c nbDecision=1001500 #constraints=4870
1374.81/1375.45	c nbDecision=1002000 #constraints=4870
1375.41/1376.09	c nbDecision=1002500 #constraints=4870
1376.11/1376.74	c nbDecision=1003000 #constraints=4870
1376.71/1377.38	c nbDecision=1003500 #constraints=4870
1377.41/1378.01	c nbDecision=1004000 #constraints=4870
1378.01/1378.65	c nbDecision=1004500 #constraints=4870
1378.71/1379.40	c nbDecision=1005000 #constraints=4871
1379.51/1380.13	c nbDecision=1005500 #constraints=4871
1380.21/1380.86	c nbDecision=1006000 #constraints=4871
1380.91/1381.59	c nbDecision=1006500 #constraints=4871
1381.71/1382.32	c nbDecision=1007000 #constraints=4871
1382.41/1383.05	c nbDecision=1007500 #constraints=4871
1383.11/1383.76	c nbDecision=1008000 #constraints=4871
1383.81/1384.49	c nbDecision=1008500 #constraints=4871
1384.61/1385.20	c nbDecision=1009000 #constraints=4871
1385.31/1385.91	c nbDecision=1009500 #constraints=4871
1386.01/1386.62	c nbDecision=1010000 #constraints=4871
1386.70/1387.32	c nbDecision=1010500 #constraints=4871
1387.40/1388.02	c nbDecision=1011000 #constraints=4871
1388.10/1388.72	c nbDecision=1011500 #constraints=4871
1388.80/1389.42	c nbDecision=1012000 #constraints=4871
1389.50/1390.11	c nbDecision=1012500 #constraints=4871
1390.10/1390.80	c nbDecision=1013000 #constraints=4871
1390.81/1391.48	c nbDecision=1013500 #constraints=4871
1391.50/1392.17	c nbDecision=1014000 #constraints=4871
1392.20/1392.85	c nbDecision=1014500 #constraints=4871
1392.90/1393.53	c nbDecision=1015000 #constraints=4871
1393.60/1394.21	c nbDecision=1015500 #constraints=4871
1394.21/1394.87	c nbDecision=1016000 #constraints=4871
1394.90/1395.55	c nbDecision=1016500 #constraints=4871
1395.60/1396.23	c nbDecision=1017000 #constraints=4871
1396.20/1396.90	c nbDecision=1017500 #constraints=4871
1396.90/1397.57	c nbDecision=1018000 #constraints=4871
1397.60/1398.23	c nbDecision=1018500 #constraints=4871
1398.30/1398.90	c nbDecision=1019000 #constraints=4871
1398.90/1399.56	c nbDecision=1019500 #constraints=4871
1399.60/1400.22	c nbDecision=1020000 #constraints=4871
1400.20/1400.88	c nbDecision=1020500 #constraints=4871
1400.90/1401.53	c nbDecision=1021000 #constraints=4871
1401.50/1402.18	c nbDecision=1021500 #constraints=4871
1402.20/1402.83	c nbDecision=1022000 #constraints=4871
1402.79/1403.47	c nbDecision=1022500 #constraints=4871
1403.49/1404.11	c nbDecision=1023000 #constraints=4871
1404.10/1404.75	c nbDecision=1023500 #constraints=4871
1404.69/1405.38	c nbDecision=1024000 #constraints=4871
1405.39/1406.08	c nbDecision=1024500 #constraints=4872
1406.20/1406.81	c nbDecision=1025000 #constraints=4872
1406.89/1407.54	c nbDecision=1025500 #constraints=4872
1407.59/1408.27	c nbDecision=1026000 #constraints=4872
1408.29/1408.99	c nbDecision=1026500 #constraints=4872
1409.09/1409.71	c nbDecision=1027000 #constraints=4872
1409.79/1410.42	c nbDecision=1027500 #constraints=4872
1410.49/1411.13	c nbDecision=1028000 #constraints=4872
1411.19/1411.84	c nbDecision=1028500 #constraints=4872
1411.89/1412.56	c nbDecision=1029000 #constraints=4872
1412.59/1413.26	c nbDecision=1029500 #constraints=4872
1413.29/1413.97	c nbDecision=1030000 #constraints=4872
1413.99/1414.67	c nbDecision=1030500 #constraints=4872
1414.69/1415.38	c nbDecision=1031000 #constraints=4872
1415.39/1416.08	c nbDecision=1031500 #constraints=4872
1416.09/1416.78	c nbDecision=1032000 #constraints=4872
1416.79/1417.48	c nbDecision=1032500 #constraints=4872
1417.49/1418.18	c nbDecision=1033000 #constraints=4872
1418.19/1418.87	c nbDecision=1033500 #constraints=4872
1418.89/1419.56	c nbDecision=1034000 #constraints=4872
1419.59/1420.25	c nbDecision=1034500 #constraints=4872
1420.29/1420.93	c nbDecision=1035000 #constraints=4872
1420.99/1421.61	c nbDecision=1035500 #constraints=4872
1421.59/1422.29	c nbDecision=1036000 #constraints=4872
1422.29/1422.97	c nbDecision=1036500 #constraints=4872
1422.99/1423.64	c nbDecision=1037000 #constraints=4872
1423.69/1424.31	c nbDecision=1037500 #constraints=4872
1424.29/1424.97	c nbDecision=1038000 #constraints=4872
1424.99/1425.63	c nbDecision=1038500 #constraints=4872
1425.59/1426.29	c nbDecision=1039000 #constraints=4872
1426.29/1426.94	c nbDecision=1039500 #constraints=4872
1426.89/1427.59	c nbDecision=1040000 #constraints=4872
1427.59/1428.24	c nbDecision=1040500 #constraints=4872
1428.19/1428.88	c nbDecision=1041000 #constraints=4872
1428.88/1429.52	c nbDecision=1041500 #constraints=4872
1429.48/1430.16	c nbDecision=1042000 #constraints=4872
1430.18/1430.80	c nbDecision=1042500 #constraints=4872
1430.78/1431.43	c nbDecision=1043000 #constraints=4872
1431.38/1432.06	c nbDecision=1043500 #constraints=4872
1431.98/1432.69	c nbDecision=1044000 #constraints=4872
1432.78/1433.44	c nbDecision=1044500 #constraints=4873
1433.48/1434.17	c nbDecision=1045000 #constraints=4873
1434.28/1434.90	c nbDecision=1045500 #constraints=4873
1434.98/1435.64	c nbDecision=1046000 #constraints=4873
1435.68/1436.36	c nbDecision=1046500 #constraints=4873
1436.38/1437.09	c nbDecision=1047000 #constraints=4873
1437.18/1437.82	c nbDecision=1047500 #constraints=4873
1437.88/1438.54	c nbDecision=1048000 #constraints=4873
1438.58/1439.26	c nbDecision=1048500 #constraints=4873
1439.29/1439.97	c nbDecision=1049000 #constraints=4873
1439.98/1440.69	c nbDecision=1049500 #constraints=4873
1440.78/1441.40	c nbDecision=1050000 #constraints=4873
1441.48/1442.11	c nbDecision=1050500 #constraints=4873
1442.18/1442.80	c nbDecision=1051000 #constraints=4873
1442.88/1443.51	c nbDecision=1051500 #constraints=4873
1443.58/1444.20	c nbDecision=1052000 #constraints=4873
1444.18/1444.89	c nbDecision=1052500 #constraints=4873
1444.88/1445.58	c nbDecision=1053000 #constraints=4873
1445.58/1446.27	c nbDecision=1053500 #constraints=4873
1446.28/1446.95	c nbDecision=1054000 #constraints=4873
1446.98/1447.63	c nbDecision=1054500 #constraints=4873
1447.68/1448.30	c nbDecision=1055000 #constraints=4873
1448.28/1448.97	c nbDecision=1055500 #constraints=4873
1448.98/1449.64	c nbDecision=1056000 #constraints=4873
1449.68/1450.31	c nbDecision=1056500 #constraints=4873
1450.28/1450.96	c nbDecision=1057000 #constraints=4873
1450.98/1451.63	c nbDecision=1057500 #constraints=4873
1451.58/1452.29	c nbDecision=1058000 #constraints=4873
1452.28/1452.94	c nbDecision=1058500 #constraints=4873
1452.98/1453.60	c nbDecision=1059000 #constraints=4873
1453.59/1454.25	c nbDecision=1059500 #constraints=4873
1454.18/1454.89	c nbDecision=1060000 #constraints=4873
1454.88/1455.55	c nbDecision=1060500 #constraints=4873
1455.48/1456.20	c nbDecision=1061000 #constraints=4873
1456.18/1456.84	c nbDecision=1061500 #constraints=4873
1456.78/1457.48	c nbDecision=1062000 #constraints=4873
1457.48/1458.12	c nbDecision=1062500 #constraints=4873
1458.08/1458.76	c nbDecision=1063000 #constraints=4873
1458.68/1459.39	c nbDecision=1063500 #constraints=4873
1459.48/1460.12	c nbDecision=1064000 #constraints=4874
1460.18/1460.87	c nbDecision=1064500 #constraints=4874
1460.98/1461.61	c nbDecision=1065000 #constraints=4874
1461.68/1462.35	c nbDecision=1065500 #constraints=4874
1462.38/1463.09	c nbDecision=1066000 #constraints=4874
1463.18/1463.82	c nbDecision=1066500 #constraints=4874
1463.88/1464.56	c nbDecision=1067000 #constraints=4874
1464.58/1465.28	c nbDecision=1067500 #constraints=4874
1465.38/1466.00	c nbDecision=1068000 #constraints=4874
1466.08/1466.72	c nbDecision=1068500 #constraints=4874
1466.78/1467.43	c nbDecision=1069000 #constraints=4874
1467.48/1468.14	c nbDecision=1069500 #constraints=4874
1468.18/1468.85	c nbDecision=1070000 #constraints=4874
1468.88/1469.55	c nbDecision=1070500 #constraints=4874
1469.58/1470.26	c nbDecision=1071000 #constraints=4874
1470.28/1470.96	c nbDecision=1071500 #constraints=4874
1470.98/1471.65	c nbDecision=1072000 #constraints=4874
1471.68/1472.35	c nbDecision=1072500 #constraints=4874
1472.37/1473.04	c nbDecision=1073000 #constraints=4874
1473.07/1473.73	c nbDecision=1073500 #constraints=4874
1473.77/1474.41	c nbDecision=1074000 #constraints=4874
1474.48/1475.10	c nbDecision=1074500 #constraints=4874
1475.07/1475.79	c nbDecision=1075000 #constraints=4874
1475.77/1476.47	c nbDecision=1075500 #constraints=4874
1476.47/1477.16	c nbDecision=1076000 #constraints=4874
1477.17/1477.84	c nbDecision=1076500 #constraints=4874
1477.87/1478.51	c nbDecision=1077000 #constraints=4874
1478.47/1479.19	c nbDecision=1077500 #constraints=4874
1479.17/1479.86	c nbDecision=1078000 #constraints=4874
1479.87/1480.53	c nbDecision=1078500 #constraints=4874
1480.47/1481.19	c nbDecision=1079000 #constraints=4874
1481.17/1481.85	c nbDecision=1079500 #constraints=4874
1481.87/1482.52	c nbDecision=1080000 #constraints=4874
1482.47/1483.17	c nbDecision=1080500 #constraints=4874
1483.17/1483.83	c nbDecision=1081000 #constraints=4874
1483.77/1484.48	c nbDecision=1081500 #constraints=4874
1484.47/1485.13	c nbDecision=1082000 #constraints=4874
1485.07/1485.77	c nbDecision=1082500 #constraints=4874
1485.77/1486.41	c nbDecision=1083000 #constraints=4874
1486.37/1487.04	c nbDecision=1083500 #constraints=4874
1486.97/1487.67	c nbDecision=1084000 #constraints=4874
1487.57/1488.30	c nbDecision=1084500 #constraints=4874
1488.37/1489.04	c nbDecision=1085000 #constraints=4875
1489.07/1489.78	c nbDecision=1085500 #constraints=4875
1489.87/1490.52	c nbDecision=1086000 #constraints=4875
1490.57/1491.25	c nbDecision=1086500 #constraints=4875
1491.27/1491.98	c nbDecision=1087000 #constraints=4875
1492.07/1492.70	c nbDecision=1087500 #constraints=4875
1492.76/1493.43	c nbDecision=1088000 #constraints=4875
1493.46/1494.15	c nbDecision=1088500 #constraints=4875
1494.17/1494.86	c nbDecision=1089000 #constraints=4875
1494.86/1495.58	c nbDecision=1089500 #constraints=4875
1495.66/1496.30	c nbDecision=1090000 #constraints=4875
1496.37/1497.01	c nbDecision=1090500 #constraints=4875
1497.06/1497.72	c nbDecision=1091000 #constraints=4875
1497.76/1498.43	c nbDecision=1091500 #constraints=4875
1498.46/1499.14	c nbDecision=1092000 #constraints=4875
1499.16/1499.84	c nbDecision=1092500 #constraints=4875
1499.86/1500.54	c nbDecision=1093000 #constraints=4875
1500.56/1501.25	c nbDecision=1093500 #constraints=4875
1501.26/1501.94	c nbDecision=1094000 #constraints=4875
1501.97/1502.63	c nbDecision=1094500 #constraints=4875
1502.66/1503.33	c nbDecision=1095000 #constraints=4875
1503.36/1504.02	c nbDecision=1095500 #constraints=4875
1504.07/1504.70	c nbDecision=1096000 #constraints=4875
1504.66/1505.38	c nbDecision=1096500 #constraints=4875
1505.36/1506.06	c nbDecision=1097000 #constraints=4875
1506.06/1506.73	c nbDecision=1097500 #constraints=4875
1506.76/1507.40	c nbDecision=1098000 #constraints=4875
1507.36/1508.06	c nbDecision=1098500 #constraints=4875
1508.06/1508.72	c nbDecision=1099000 #constraints=4875
1508.66/1509.39	c nbDecision=1099500 #constraints=4875
1509.36/1510.04	c nbDecision=1100000 #constraints=4875
1510.06/1510.70	c nbDecision=1100500 #constraints=4875
1510.66/1511.35	c nbDecision=1101000 #constraints=4875
1511.36/1512.01	c nbDecision=1101500 #constraints=4875
1511.96/1512.65	c nbDecision=1102000 #constraints=4875
1512.56/1513.30	c nbDecision=1102500 #constraints=4875
1513.26/1513.94	c nbDecision=1103000 #constraints=4875
1513.86/1514.58	c nbDecision=1103500 #constraints=4875
1514.56/1515.22	c nbDecision=1104000 #constraints=4875
1515.16/1515.86	c nbDecision=1104500 #constraints=4875
1515.76/1516.49	c nbDecision=1105000 #constraints=4875
1516.46/1517.13	c nbDecision=1105500 #constraints=4875
1517.16/1517.89	c nbDecision=1106000 #constraints=4876
1517.96/1518.64	c nbDecision=1106500 #constraints=4876
1518.66/1519.38	c nbDecision=1107000 #constraints=4876
1519.46/1520.12	c nbDecision=1107500 #constraints=4876
1520.16/1520.85	c nbDecision=1108000 #constraints=4876
1520.86/1521.59	c nbDecision=1108500 #constraints=4876
1521.66/1522.32	c nbDecision=1109000 #constraints=4876
1522.36/1523.05	c nbDecision=1109500 #constraints=4876
1523.05/1523.77	c nbDecision=1110000 #constraints=4876
1523.75/1524.49	c nbDecision=1110500 #constraints=4876
1524.55/1525.21	c nbDecision=1111000 #constraints=4876
1525.25/1525.92	c nbDecision=1111500 #constraints=4876
1525.95/1526.63	c nbDecision=1112000 #constraints=4876
1526.65/1527.32	c nbDecision=1112500 #constraints=4876
1527.35/1528.02	c nbDecision=1113000 #constraints=4876
1528.05/1528.72	c nbDecision=1113500 #constraints=4876
1528.75/1529.42	c nbDecision=1114000 #constraints=4876
1529.46/1530.12	c nbDecision=1114500 #constraints=4876
1530.15/1530.80	c nbDecision=1115000 #constraints=4876
1530.75/1531.49	c nbDecision=1115500 #constraints=4876
1531.45/1532.17	c nbDecision=1116000 #constraints=4876
1532.15/1532.85	c nbDecision=1116500 #constraints=4876
1532.85/1533.53	c nbDecision=1117000 #constraints=4876
1533.56/1534.21	c nbDecision=1117500 #constraints=4876
1534.16/1534.88	c nbDecision=1118000 #constraints=4876
1534.86/1535.56	c nbDecision=1118500 #constraints=4876
1535.56/1536.24	c nbDecision=1119000 #constraints=4876
1536.25/1536.90	c nbDecision=1119500 #constraints=4876
1536.85/1537.57	c nbDecision=1120000 #constraints=4876
1537.56/1538.24	c nbDecision=1120500 #constraints=4876
1538.16/1538.90	c nbDecision=1121000 #constraints=4876
1538.85/1539.56	c nbDecision=1121500 #constraints=4876
1539.55/1540.22	c nbDecision=1122000 #constraints=4876
1540.15/1540.87	c nbDecision=1122500 #constraints=4876
1540.85/1541.53	c nbDecision=1123000 #constraints=4876
1541.46/1542.18	c nbDecision=1123500 #constraints=4876
1542.15/1542.82	c nbDecision=1124000 #constraints=4876
1542.75/1543.47	c nbDecision=1124500 #constraints=4876
1543.45/1544.11	c nbDecision=1125000 #constraints=4876
1544.05/1544.75	c nbDecision=1125500 #constraints=4876
1544.65/1545.38	c nbDecision=1126000 #constraints=4876
1545.35/1546.06	c nbDecision=1126500 #constraints=4877
1546.05/1546.78	c nbDecision=1127000 #constraints=4877
1546.85/1547.51	c nbDecision=1127500 #constraints=4877
1547.55/1548.24	c nbDecision=1128000 #constraints=4877
1548.25/1548.96	c nbDecision=1128500 #constraints=4877
1548.95/1549.67	c nbDecision=1129000 #constraints=4877
1549.65/1550.39	c nbDecision=1129500 #constraints=4877
1550.45/1551.10	c nbDecision=1130000 #constraints=4877
1551.15/1551.81	c nbDecision=1130500 #constraints=4877
1551.85/1552.52	c nbDecision=1131000 #constraints=4877
1552.55/1553.23	c nbDecision=1131500 #constraints=4877
1553.25/1553.93	c nbDecision=1132000 #constraints=4877
1553.95/1554.64	c nbDecision=1132500 #constraints=4877
1554.65/1555.34	c nbDecision=1133000 #constraints=4877
1555.35/1556.05	c nbDecision=1133500 #constraints=4877
1556.05/1556.75	c nbDecision=1134000 #constraints=4877
1556.75/1557.45	c nbDecision=1134500 #constraints=4877
1557.44/1558.14	c nbDecision=1135000 #constraints=4877
1558.14/1558.83	c nbDecision=1135500 #constraints=4877
1558.84/1559.52	c nbDecision=1136000 #constraints=4877
1559.54/1560.20	c nbDecision=1136500 #constraints=4877
1560.15/1560.89	c nbDecision=1137000 #constraints=4877
1560.84/1561.57	c nbDecision=1137500 #constraints=4877
1561.54/1562.25	c nbDecision=1138000 #constraints=4877
1562.24/1562.92	c nbDecision=1138500 #constraints=4877
1562.84/1563.60	c nbDecision=1139000 #constraints=4877
1563.55/1564.27	c nbDecision=1139500 #constraints=4877
1564.24/1564.93	c nbDecision=1140000 #constraints=4877
1564.84/1565.59	c nbDecision=1140500 #constraints=4877
1565.54/1566.25	c nbDecision=1141000 #constraints=4877
1566.24/1566.90	c nbDecision=1141500 #constraints=4877
1566.84/1567.55	c nbDecision=1142000 #constraints=4877
1567.54/1568.20	c nbDecision=1142500 #constraints=4877
1568.14/1568.84	c nbDecision=1143000 #constraints=4877
1568.74/1569.49	c nbDecision=1143500 #constraints=4877
1569.44/1570.13	c nbDecision=1144000 #constraints=4877
1570.04/1570.76	c nbDecision=1144500 #constraints=4877
1570.74/1571.40	c nbDecision=1145000 #constraints=4877
1571.34/1572.03	c nbDecision=1145500 #constraints=4877
1571.94/1572.66	c nbDecision=1146000 #constraints=4877
1572.74/1573.43	c nbDecision=1146500 #constraints=4878
1573.44/1574.16	c nbDecision=1147000 #constraints=4878
1574.24/1574.90	c nbDecision=1147500 #constraints=4878
1574.94/1575.64	c nbDecision=1148000 #constraints=4878
1575.64/1576.37	c nbDecision=1148500 #constraints=4878
1576.34/1577.09	c nbDecision=1149000 #constraints=4878
1577.14/1577.82	c nbDecision=1149500 #constraints=4878
1577.84/1578.55	c nbDecision=1150000 #constraints=4878
1578.54/1579.28	c nbDecision=1150500 #constraints=4878
1579.33/1580.00	c nbDecision=1151000 #constraints=4878
1580.04/1580.72	c nbDecision=1151500 #constraints=4878
1580.74/1581.43	c nbDecision=1152000 #constraints=4878
1581.43/1582.14	c nbDecision=1152500 #constraints=4878
1582.14/1582.85	c nbDecision=1153000 #constraints=4878
1582.83/1583.56	c nbDecision=1153500 #constraints=4878
1583.53/1584.27	c nbDecision=1154000 #constraints=4878
1584.23/1584.97	c nbDecision=1154500 #constraints=4878
1584.93/1585.66	c nbDecision=1155000 #constraints=4878
1585.63/1586.34	c nbDecision=1155500 #constraints=4878
1586.33/1587.03	c nbDecision=1156000 #constraints=4878
1587.03/1587.71	c nbDecision=1156500 #constraints=4878
1587.63/1588.40	c nbDecision=1157000 #constraints=4878
1588.33/1589.08	c nbDecision=1157500 #constraints=4878
1589.03/1589.75	c nbDecision=1158000 #constraints=4878
1589.73/1590.43	c nbDecision=1158500 #constraints=4878
1590.43/1591.10	c nbDecision=1159000 #constraints=4878
1591.03/1591.77	c nbDecision=1159500 #constraints=4878
1591.73/1592.44	c nbDecision=1160000 #constraints=4878
1592.43/1593.10	c nbDecision=1160500 #constraints=4878
1593.03/1593.76	c nbDecision=1161000 #constraints=4878
1593.73/1594.42	c nbDecision=1161500 #constraints=4878
1594.33/1595.07	c nbDecision=1162000 #constraints=4878
1595.03/1595.73	c nbDecision=1162500 #constraints=4878
1595.63/1596.39	c nbDecision=1163000 #constraints=4878
1596.33/1597.04	c nbDecision=1163500 #constraints=4878
1596.93/1597.69	c nbDecision=1164000 #constraints=4878
1597.63/1598.34	c nbDecision=1164500 #constraints=4878
1598.23/1598.98	c nbDecision=1165000 #constraints=4878
1598.93/1599.63	c nbDecision=1165500 #constraints=4878
1599.52/1600.26	c nbDecision=1166000 #constraints=4878
1600.22/1600.90	c nbDecision=1166500 #constraints=4878
1600.93/1601.60	c nbDecision=1167000 #constraints=4879
1601.62/1602.33	c nbDecision=1167500 #constraints=4879
1602.32/1603.06	c nbDecision=1168000 #constraints=4879
1603.03/1603.79	c nbDecision=1168500 #constraints=4879
1603.82/1604.52	c nbDecision=1169000 #constraints=4879
1604.52/1605.24	c nbDecision=1169500 #constraints=4879
1605.23/1605.94	c nbDecision=1170000 #constraints=4879
1605.93/1606.65	c nbDecision=1170500 #constraints=4879
1606.63/1607.35	c nbDecision=1171000 #constraints=4879
1607.33/1608.06	c nbDecision=1171500 #constraints=4879
1608.03/1608.76	c nbDecision=1172000 #constraints=4879
1608.73/1609.46	c nbDecision=1172500 #constraints=4879
1609.43/1610.16	c nbDecision=1173000 #constraints=4879
1610.13/1610.85	c nbDecision=1173500 #constraints=4879
1610.83/1611.54	c nbDecision=1174000 #constraints=4879
1611.53/1612.22	c nbDecision=1174500 #constraints=4879
1612.23/1612.91	c nbDecision=1175000 #constraints=4879
1612.83/1613.59	c nbDecision=1175500 #constraints=4879
1613.53/1614.27	c nbDecision=1176000 #constraints=4879
1614.23/1614.94	c nbDecision=1176500 #constraints=4879
1614.93/1615.62	c nbDecision=1177000 #constraints=4879
1615.53/1616.29	c nbDecision=1177500 #constraints=4879
1616.23/1616.97	c nbDecision=1178000 #constraints=4879
1616.93/1617.64	c nbDecision=1178500 #constraints=4879
1617.63/1618.31	c nbDecision=1179000 #constraints=4879
1618.23/1618.97	c nbDecision=1179500 #constraints=4879
1618.93/1619.64	c nbDecision=1180000 #constraints=4879
1619.63/1620.30	c nbDecision=1180500 #constraints=4879
1620.23/1620.96	c nbDecision=1181000 #constraints=4879
1620.93/1621.62	c nbDecision=1181500 #constraints=4879
1621.53/1622.27	c nbDecision=1182000 #constraints=4879
1622.23/1622.92	c nbDecision=1182500 #constraints=4879
1622.83/1623.57	c nbDecision=1183000 #constraints=4879
1623.53/1624.22	c nbDecision=1183500 #constraints=4879
1624.13/1624.86	c nbDecision=1184000 #constraints=4879
1624.73/1625.49	c nbDecision=1184500 #constraints=4879
1625.42/1626.12	c nbDecision=1185000 #constraints=4879
1626.02/1626.76	c nbDecision=1185500 #constraints=4880
1626.72/1627.40	c nbDecision=1186000 #constraints=4880
1627.33/1628.05	c nbDecision=1186500 #constraints=4880
1627.92/1628.68	c nbDecision=1187000 #constraints=4880
1628.62/1629.32	c nbDecision=1187500 #constraints=4880
1629.22/1629.95	c nbDecision=1188000 #constraints=4880
1629.82/1630.57	c nbDecision=1188500 #constraints=4880
1630.53/1631.29	c nbDecision=1189000 #constraints=4881
1631.32/1632.01	c nbDecision=1189500 #constraints=4881
1632.02/1632.72	c nbDecision=1190000 #constraints=4881
1632.72/1633.43	c nbDecision=1190500 #constraints=4881
1633.42/1634.15	c nbDecision=1191000 #constraints=4881
1634.12/1634.85	c nbDecision=1191500 #constraints=4881
1634.82/1635.56	c nbDecision=1192000 #constraints=4881
1635.52/1636.27	c nbDecision=1192500 #constraints=4881
1636.22/1636.97	c nbDecision=1193000 #constraints=4881
1636.92/1637.68	c nbDecision=1193500 #constraints=4881
1637.62/1638.38	c nbDecision=1194000 #constraints=4881
1638.32/1639.08	c nbDecision=1194500 #constraints=4881
1639.02/1639.78	c nbDecision=1195000 #constraints=4881
1639.72/1640.47	c nbDecision=1195500 #constraints=4881
1640.42/1641.16	c nbDecision=1196000 #constraints=4881
1641.12/1641.85	c nbDecision=1196500 #constraints=4881
1641.82/1642.53	c nbDecision=1197000 #constraints=4881
1642.51/1643.21	c nbDecision=1197500 #constraints=4881
1643.11/1643.89	c nbDecision=1198000 #constraints=4881
1643.82/1644.56	c nbDecision=1198500 #constraints=4881
1644.51/1645.23	c nbDecision=1199000 #constraints=4881
1645.11/1645.90	c nbDecision=1199500 #constraints=4881
1645.81/1646.56	c nbDecision=1200000 #constraints=4881
1646.51/1647.21	c nbDecision=1200500 #constraints=4881
1647.12/1647.87	c nbDecision=1201000 #constraints=4881
1647.81/1648.52	c nbDecision=1201500 #constraints=4881
1648.41/1649.17	c nbDecision=1202000 #constraints=4881
1649.11/1649.82	c nbDecision=1202500 #constraints=4881
1649.71/1650.47	c nbDecision=1203000 #constraints=4881
1650.42/1651.11	c nbDecision=1203500 #constraints=4881
1651.01/1651.75	c nbDecision=1204000 #constraints=4881
1651.61/1652.39	c nbDecision=1204500 #constraints=4881
1652.31/1653.02	c nbDecision=1205000 #constraints=4881
1652.91/1653.65	c nbDecision=1205500 #constraints=4881
1653.51/1654.28	c nbDecision=1206000 #constraints=4881
1654.31/1655.03	c nbDecision=1206500 #constraints=4882
1655.01/1655.76	c nbDecision=1207000 #constraints=4882
1655.71/1656.49	c nbDecision=1207500 #constraints=4882
1656.51/1657.22	c nbDecision=1208000 #constraints=4882
1657.21/1657.94	c nbDecision=1208500 #constraints=4882
1657.91/1658.66	c nbDecision=1209000 #constraints=4882
1658.61/1659.37	c nbDecision=1209500 #constraints=4882
1659.31/1660.08	c nbDecision=1210000 #constraints=4882
1660.01/1660.79	c nbDecision=1210500 #constraints=4882
1660.81/1661.50	c nbDecision=1211000 #constraints=4882
1661.51/1662.21	c nbDecision=1211500 #constraints=4882
1662.21/1662.91	c nbDecision=1212000 #constraints=4882
1662.91/1663.62	c nbDecision=1212500 #constraints=4882
1663.61/1664.32	c nbDecision=1213000 #constraints=4882
1664.30/1665.01	c nbDecision=1213500 #constraints=4882
1665.00/1665.70	c nbDecision=1214000 #constraints=4882
1665.60/1666.38	c nbDecision=1214500 #constraints=4882
1666.30/1667.06	c nbDecision=1215000 #constraints=4882
1667.00/1667.74	c nbDecision=1215500 #constraints=4882
1667.70/1668.42	c nbDecision=1216000 #constraints=4882
1668.30/1669.09	c nbDecision=1216500 #constraints=4882
1669.01/1669.76	c nbDecision=1217000 #constraints=4882
1669.70/1670.43	c nbDecision=1217500 #constraints=4882
1670.30/1671.09	c nbDecision=1218000 #constraints=4882
1671.00/1671.75	c nbDecision=1218500 #constraints=4882
1671.70/1672.41	c nbDecision=1219000 #constraints=4882
1672.30/1673.07	c nbDecision=1219500 #constraints=4882
1673.00/1673.72	c nbDecision=1220000 #constraints=4882
1673.60/1674.38	c nbDecision=1220500 #constraints=4882
1674.30/1675.02	c nbDecision=1221000 #constraints=4882
1674.90/1675.67	c nbDecision=1221500 #constraints=4882
1675.60/1676.32	c nbDecision=1222000 #constraints=4882
1676.20/1676.97	c nbDecision=1222500 #constraints=4882
1676.90/1677.61	c nbDecision=1223000 #constraints=4882
1677.50/1678.25	c nbDecision=1223500 #constraints=4882
1678.10/1678.88	c nbDecision=1224000 #constraints=4882
1678.80/1679.52	c nbDecision=1224500 #constraints=4882
1679.50/1680.27	c nbDecision=1225000 #constraints=4883
1680.30/1681.00	c nbDecision=1225500 #constraints=4883
1681.00/1681.73	c nbDecision=1226000 #constraints=4883
1681.70/1682.46	c nbDecision=1226500 #constraints=4883
1682.40/1683.18	c nbDecision=1227000 #constraints=4883
1683.20/1683.90	c nbDecision=1227500 #constraints=4883
1683.90/1684.62	c nbDecision=1228000 #constraints=4883
1684.59/1685.33	c nbDecision=1228500 #constraints=4883
1685.29/1686.04	c nbDecision=1229000 #constraints=4883
1685.99/1686.74	c nbDecision=1229500 #constraints=4883
1686.70/1687.44	c nbDecision=1230000 #constraints=4883
1687.39/1688.14	c nbDecision=1230500 #constraints=4883
1688.09/1688.83	c nbDecision=1231000 #constraints=4883
1688.80/1689.52	c nbDecision=1231500 #constraints=4883
1689.49/1690.21	c nbDecision=1232000 #constraints=4883
1690.09/1690.89	c nbDecision=1232500 #constraints=4883
1690.79/1691.57	c nbDecision=1233000 #constraints=4883
1691.49/1692.25	c nbDecision=1233500 #constraints=4883
1692.19/1692.93	c nbDecision=1234000 #constraints=4883
1692.79/1693.60	c nbDecision=1234500 #constraints=4883
1693.49/1694.26	c nbDecision=1235000 #constraints=4883
1694.19/1694.93	c nbDecision=1235500 #constraints=4883
1694.89/1695.60	c nbDecision=1236000 #constraints=4883
1695.49/1696.27	c nbDecision=1236500 #constraints=4883
1696.19/1696.94	c nbDecision=1237000 #constraints=4883
1696.89/1697.60	c nbDecision=1237500 #constraints=4883
1697.49/1698.27	c nbDecision=1238000 #constraints=4883
1698.19/1698.93	c nbDecision=1238500 #constraints=4883
1698.79/1699.58	c nbDecision=1239000 #constraints=4883
1699.49/1700.23	c nbDecision=1239500 #constraints=4883
1700.09/1700.88	c nbDecision=1240000 #constraints=4883
1700.79/1701.53	c nbDecision=1240500 #constraints=4883
1701.39/1702.18	c nbDecision=1241000 #constraints=4883
1702.09/1702.82	c nbDecision=1241500 #constraints=4883
1702.69/1703.46	c nbDecision=1242000 #constraints=4883
1703.29/1704.09	c nbDecision=1242500 #constraints=4883
1703.99/1704.73	c nbDecision=1243000 #constraints=4883
1704.69/1705.46	c nbDecision=1243500 #constraints=4884
1705.39/1706.19	c nbDecision=1244000 #constraints=4884
1706.19/1706.91	c nbDecision=1244500 #constraints=4884
1706.89/1707.63	c nbDecision=1245000 #constraints=4884
1707.60/1708.34	c nbDecision=1245500 #constraints=4884
1708.29/1709.05	c nbDecision=1246000 #constraints=4884
1708.99/1709.76	c nbDecision=1246500 #constraints=4884
1709.70/1710.47	c nbDecision=1247000 #constraints=4884
1710.39/1711.17	c nbDecision=1247500 #constraints=4884
1711.09/1711.88	c nbDecision=1248000 #constraints=4884
1711.79/1712.58	c nbDecision=1248500 #constraints=4884
1712.49/1713.27	c nbDecision=1249000 #constraints=4884
1713.19/1713.97	c nbDecision=1249500 #constraints=4884
1713.89/1714.66	c nbDecision=1250000 #constraints=4884
1714.59/1715.35	c nbDecision=1250500 #constraints=4884
1715.29/1716.05	c nbDecision=1251000 #constraints=4884
1715.99/1716.74	c nbDecision=1251500 #constraints=4884
1716.69/1717.43	c nbDecision=1252000 #constraints=4884
1717.39/1718.11	c nbDecision=1252500 #constraints=4884
1717.99/1718.79	c nbDecision=1253000 #constraints=4884
1718.69/1719.47	c nbDecision=1253500 #constraints=4884
1719.39/1720.14	c nbDecision=1254000 #constraints=4884
1720.09/1720.82	c nbDecision=1254500 #constraints=4884
1720.69/1721.49	c nbDecision=1255000 #constraints=4884
1721.39/1722.16	c nbDecision=1255500 #constraints=4884
1722.09/1722.83	c nbDecision=1256000 #constraints=4884
1722.69/1723.49	c nbDecision=1256500 #constraints=4884
1723.39/1724.15	c nbDecision=1257000 #constraints=4884
1724.09/1724.81	c nbDecision=1257500 #constraints=4884
1724.68/1725.46	c nbDecision=1258000 #constraints=4884
1725.38/1726.10	c nbDecision=1258500 #constraints=4884
1725.98/1726.74	c nbDecision=1259000 #constraints=4884
1726.58/1727.38	c nbDecision=1259500 #constraints=4884
1727.29/1728.02	c nbDecision=1260000 #constraints=4884
1727.88/1728.66	c nbDecision=1260500 #constraints=4884
1728.49/1729.28	c nbDecision=1261000 #constraints=4884
1729.18/1729.91	c nbDecision=1261500 #constraints=4884
1729.88/1730.63	c nbDecision=1262000 #constraints=4885
1730.58/1731.35	c nbDecision=1262500 #constraints=4885
1731.28/1732.07	c nbDecision=1263000 #constraints=4885
1731.98/1732.78	c nbDecision=1263500 #constraints=4885
1732.68/1733.49	c nbDecision=1264000 #constraints=4885
1733.48/1734.20	c nbDecision=1264500 #constraints=4885
1734.08/1734.89	c nbDecision=1265000 #constraints=4885
1734.88/1735.60	c nbDecision=1265500 #constraints=4885
1735.58/1736.31	c nbDecision=1266000 #constraints=4885
1736.28/1737.01	c nbDecision=1266500 #constraints=4885
1736.98/1737.71	c nbDecision=1267000 #constraints=4885
1737.68/1738.42	c nbDecision=1267500 #constraints=4885
1738.38/1739.11	c nbDecision=1268000 #constraints=4885
1739.08/1739.81	c nbDecision=1268500 #constraints=4885
1739.68/1740.49	c nbDecision=1269000 #constraints=4885
1740.38/1741.17	c nbDecision=1269500 #constraints=4885
1741.08/1741.85	c nbDecision=1270000 #constraints=4885
1741.78/1742.53	c nbDecision=1270500 #constraints=4885
1742.48/1743.21	c nbDecision=1271000 #constraints=4885
1743.08/1743.88	c nbDecision=1271500 #constraints=4885
1743.78/1744.56	c nbDecision=1272000 #constraints=4885
1744.47/1745.22	c nbDecision=1272500 #constraints=4885
1745.07/1745.88	c nbDecision=1273000 #constraints=4885
1745.77/1746.54	c nbDecision=1273500 #constraints=4885
1746.47/1747.20	c nbDecision=1274000 #constraints=4885
1747.08/1747.85	c nbDecision=1274500 #constraints=4885
1747.77/1748.50	c nbDecision=1275000 #constraints=4885
1748.37/1749.15	c nbDecision=1275500 #constraints=4885
1748.97/1749.79	c nbDecision=1276000 #constraints=4885
1749.67/1750.43	c nbDecision=1276500 #constraints=4885
1750.27/1751.07	c nbDecision=1277000 #constraints=4885
1750.97/1751.71	c nbDecision=1277500 #constraints=4885
1751.58/1752.34	c nbDecision=1278000 #constraints=4885
1752.17/1752.97	c nbDecision=1278500 #constraints=4885
1752.87/1753.65	c nbDecision=1279000 #constraints=4886
1753.57/1754.37	c nbDecision=1279500 #constraints=4886
1754.27/1755.09	c nbDecision=1280000 #constraints=4886
1755.07/1755.81	c nbDecision=1280500 #constraints=4886
1755.77/1756.53	c nbDecision=1281000 #constraints=4886
1756.47/1757.24	c nbDecision=1281500 #constraints=4886
1757.17/1757.96	c nbDecision=1282000 #constraints=4886
1757.87/1758.67	c nbDecision=1282500 #constraints=4886
1758.57/1759.37	c nbDecision=1283000 #constraints=4886
1759.27/1760.08	c nbDecision=1283500 #constraints=4886
1759.97/1760.78	c nbDecision=1284000 #constraints=4886
1760.67/1761.47	c nbDecision=1284500 #constraints=4886
1761.37/1762.17	c nbDecision=1285000 #constraints=4886
1762.07/1762.86	c nbDecision=1285500 #constraints=4886
1762.77/1763.56	c nbDecision=1286000 #constraints=4886
1763.47/1764.24	c nbDecision=1286500 #constraints=4886
1764.17/1764.93	c nbDecision=1287000 #constraints=4886
1764.87/1765.61	c nbDecision=1287500 #constraints=4886
1765.47/1766.28	c nbDecision=1288000 #constraints=4886
1766.17/1766.95	c nbDecision=1288500 #constraints=4886
1766.87/1767.62	c nbDecision=1289000 #constraints=4886
1767.47/1768.28	c nbDecision=1289500 #constraints=4886
1768.17/1768.95	c nbDecision=1290000 #constraints=4886
1768.87/1769.61	c nbDecision=1290500 #constraints=4886
1769.47/1770.26	c nbDecision=1291000 #constraints=4886
1770.17/1770.91	c nbDecision=1291500 #constraints=4886
1770.76/1771.56	c nbDecision=1292000 #constraints=4886
1771.46/1772.21	c nbDecision=1292500 #constraints=4886
1772.06/1772.86	c nbDecision=1293000 #constraints=4886
1772.76/1773.50	c nbDecision=1293500 #constraints=4886
1773.36/1774.14	c nbDecision=1294000 #constraints=4886
1773.96/1774.77	c nbDecision=1294500 #constraints=4886
1774.67/1775.41	c nbDecision=1295000 #constraints=4886
1775.26/1776.05	c nbDecision=1295500 #constraints=4886
1775.86/1776.68	c nbDecision=1296000 #constraints=4886
1776.66/1777.42	c nbDecision=1296500 #constraints=4887
1777.36/1778.15	c nbDecision=1297000 #constraints=4887
1778.06/1778.88	c nbDecision=1297500 #constraints=4887
1778.86/1779.61	c nbDecision=1298000 #constraints=4887
1779.56/1780.33	c nbDecision=1298500 #constraints=4887
1780.26/1781.05	c nbDecision=1299000 #constraints=4887
1780.96/1781.77	c nbDecision=1299500 #constraints=4887
1781.66/1782.48	c nbDecision=1300000 #constraints=4887
1782.46/1783.20	c nbDecision=1300500 #constraints=4887
1783.16/1783.91	c nbDecision=1301000 #constraints=4887
1783.86/1784.62	c nbDecision=1301500 #constraints=4887
1784.56/1785.32	c nbDecision=1302000 #constraints=4887
1785.26/1786.01	c nbDecision=1302500 #constraints=4887
1785.96/1786.70	c nbDecision=1303000 #constraints=4887
1786.56/1787.39	c nbDecision=1303500 #constraints=4887
1787.26/1788.08	c nbDecision=1304000 #constraints=4887
1787.96/1788.76	c nbDecision=1304500 #constraints=4887
1788.66/1789.44	c nbDecision=1305000 #constraints=4887
1789.36/1790.11	c nbDecision=1305500 #constraints=4887
1789.96/1790.78	c nbDecision=1306000 #constraints=4887
1790.66/1791.46	c nbDecision=1306500 #constraints=4887
1791.36/1792.13	c nbDecision=1307000 #constraints=4887
1791.96/1792.80	c nbDecision=1307500 #constraints=4887
1792.66/1793.46	c nbDecision=1308000 #constraints=4887
1793.36/1794.12	c nbDecision=1308500 #constraints=4887
1793.95/1794.78	c nbDecision=1309000 #constraints=4887
1794.66/1795.44	c nbDecision=1309500 #constraints=4887
1795.35/1796.10	c nbDecision=1310000 #constraints=4887
1795.95/1796.76	c nbDecision=1310500 #constraints=4887
1796.66/1797.42	c nbDecision=1311000 #constraints=4887
1797.25/1798.07	c nbDecision=1311500 #constraints=4887
1797.95/1798.72	c nbDecision=1312000 #constraints=4887
1798.56/1799.36	c nbDecision=1312500 #constraints=4887
1799.26/1800.01	c nbDecision=1313000 #constraints=4887
1799.87/1800.65	c nbDecision=1313500 #constraints=4887
1800.07/1800.80	Received signal 15
1800.07/1800.80	
1800.07/1800.80	s UNKNOWN
1800.07/1800.80	
1800.07/1800.80	c user time= 1799.81 s
1800.07/1800.80	c system time= 0.26096 s
1800.07/1800.80	c wall clock time=1800.8

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/node14/watcher-357303-1176993821 -o ROOT/results/node14/solver-357303-1176993821 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357303-1176993821/instance-357303-1176993821.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.99 0.97 0.99 2/77 17258
/proc/meminfo: memFree=1711240/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=1468 CPUtime=0
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 147299856 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135290291 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 405 164 127 317 0 84 0

[startup+0.071183 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 17258
/proc/meminfo: memFree=1711240/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=2400 CPUtime=0.06
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 481 0 0 0 6 0 0 0 18 0 1 0 147299856 2457600 365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 600 365 127 317 0 279 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2400

[startup+0.101185 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 17258
/proc/meminfo: memFree=1711240/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=3440 CPUtime=0.09
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 775 0 0 0 9 0 0 0 18 0 1 0 147299856 3522560 530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827787 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 860 530 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301205 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 17258
/proc/meminfo: memFree=1711240/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=5052 CPUtime=0.29
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 1173 0 0 0 29 0 0 0 19 0 1 0 147299856 5173248 928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 1263 928 131 317 0 942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5052

[startup+0.701243 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 17258
/proc/meminfo: memFree=1711240/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=12840 CPUtime=0.69
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 3125 0 0 0 68 1 0 0 22 0 1 0 147299856 13148160 2880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 3210 2881 131 317 0 2889 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12840

[startup+1.50132 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1695296/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=31492 CPUtime=1.48
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 7815 0 0 0 146 2 0 0 25 0 1 0 147299856 32247808 7570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 7873 7570 137 317 0 7552 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31492

[startup+3.10147 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1680832/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=32400 CPUtime=3.08
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8009 0 0 0 306 2 0 0 25 0 1 0 147299856 33177600 7764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563810 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8100 7764 139 317 0 7779 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32400

[startup+6.30177 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33312 CPUtime=6.29
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8240 0 0 0 626 3 0 0 25 0 1 0 147299856 34111488 7995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8328 7995 139 317 0 8007 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33312

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679424/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33440 CPUtime=12.68
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8251 0 0 0 1265 3 0 0 25 0 1 0 147299856 34242560 8006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8360 8006 139 317 0 8039 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33440

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679552/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33440 CPUtime=25.48
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8259 0 0 0 2545 3 0 0 25 0 1 0 147299856 34242560 8014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8360 8014 139 317 0 8039 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33440

[startup+51.102 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679488/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33440 CPUtime=51.08
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8274 0 0 0 5104 4 0 0 25 0 1 0 147299856 34242560 8029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8360 8029 139 317 0 8039 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33440

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679424/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=102.27
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8300 0 0 0 10223 4 0 0 25 0 1 0 147299856 34373632 8055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8055 139 317 0 8071 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 33568

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=162.24
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8300 0 0 0 16219 5 0 0 25 0 1 0 147299856 34373632 8055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8055 139 317 0 8071 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 33568

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=222.22
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8301 0 0 0 22217 5 0 0 25 0 1 0 147299856 34373632 8056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8056 139 317 0 8071 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 33568

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=282.2
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8302 0 0 0 28214 6 0 0 25 0 1 0 147299856 34373632 8057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8057 139 317 0 8071 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 33568

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679424/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=342.18
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8303 0 0 0 34211 7 0 0 25 0 1 0 147299856 34373632 8058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8058 139 317 0 8071 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 33568

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679424/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=402.17
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8303 0 0 0 40209 8 0 0 25 0 1 0 147299856 34373632 8058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8058 139 317 0 8071 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 33568

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=462.14
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8304 0 0 0 46206 8 0 0 25 0 1 0 147299856 34373632 8059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8059 139 317 0 8071 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 33568

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=522.12
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8305 0 0 0 52203 9 0 0 25 0 1 0 147299856 34373632 8060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8060 139 317 0 8071 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 33568

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679296/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=582.11
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8305 0 0 0 58201 10 0 0 25 0 1 0 147299856 34373632 8060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8060 139 317 0 8071 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 33568

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679424/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=642.09
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8306 0 0 0 64199 10 0 0 25 0 1 0 147299856 34373632 8061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8061 139 317 0 8071 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 33568


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679232/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=822.02
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8308 0 0 0 82190 12 0 0 25 0 1 0 147299856 34373632 8063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8063 139 317 0 8071 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 33568

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679296/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=882
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8309 0 0 0 88187 13 0 0 25 0 1 0 147299856 34373632 8064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8064 139 317 0 8071 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 33568

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679232/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=941.98
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8309 0 0 0 94185 13 0 0 25 0 1 0 147299856 34373632 8064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8064 139 317 0 8071 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 33568

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17259
/proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33568 CPUtime=1001.96
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8310 0 0 0 100182 14 0 0 25 0 1 0 147299856 34373632 8065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8392 8065 139 317 0 8071 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 33568

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 17381
/proc/meminfo: memFree=1678016/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1061.86
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8311 0 0 0 106170 16 0 0 25 0 1 0 147299856 34504704 8066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8066 139 317 0 8103 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 33696

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1678848/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1121.8
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8311 0 0 0 112162 18 0 0 25 0 1 0 147299856 34504704 8066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8066 139 317 0 8103 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 33696

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1678848/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1181.77
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8312 0 0 0 118159 18 0 0 25 0 1 0 147299856 34504704 8067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8067 139 317 0 8103 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 33696

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1678912/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1241.76
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8313 0 0 0 124157 19 0 0 25 0 1 0 147299856 34504704 8068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8068 139 317 0 8103 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 33696

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1678912/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1301.74
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8314 0 0 0 130154 20 0 0 25 0 1 0 147299856 34504704 8069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8069 139 317 0 8103 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 33696

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1678912/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1361.71
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8314 0 0 0 136151 20 0 0 25 0 1 0 147299856 34504704 8069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8069 139 317 0 8103 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 33696

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1678976/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1421.69
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8315 0 0 0 142148 21 0 0 25 0 1 0 147299856 34504704 8070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8070 139 317 0 8103 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 33696

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1678976/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1481.67
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8315 0 0 0 148145 22 0 0 25 0 1 0 147299856 34504704 8070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8070 139 317 0 8103 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 33696

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1679040/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1541.65
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8316 0 0 0 154142 23 0 0 25 0 1 0 147299856 34504704 8071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8071 139 317 0 8103 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 33696

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1678976/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1601.62
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8317 0 0 0 160139 23 0 0 25 0 1 0 147299856 34504704 8072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8072 139 317 0 8103 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 33696

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1678976/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1661.61
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8318 0 0 0 166137 24 0 0 25 0 1 0 147299856 34504704 8073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8073 139 317 0 8103 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 33696

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1678976/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1721.59
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8319 0 0 0 172134 25 0 0 25 0 1 0 147299856 34504704 8074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8074 139 317 0 8103 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 33696

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1678976/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1781.56
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8320 0 0 0 178131 25 0 0 25 0 1 0 147299856 34504704 8075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8075 139 317 0 8103 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 33696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17457
/proc/meminfo: memFree=1678912/2055920 swapFree=4148736/4192956
[pid=17258] ppid=17256 vsize=33696 CPUtime=1800.07
/proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8320 0 0 0 179981 26 0 0 25 0 1 0 147299856 34504704 8075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17258/statm: 8424 8075 139 317 0 8103 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 33696

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

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

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.09
CPU user time (s): 1799.83
CPU system time (s): 0.265959
CPU usage (%): 99.9592
Max. virtual memory (cumulated for all children) (KiB): 33696

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

runsolver used 1.91071 second user time and 4.81827 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Thu Apr 19 14:43:41 UTC 2007

IDJOB= 357303
IDBENCH= 2367
IDSOLVER= 172
FILE ID= node14/357303-1176993821

PBS_JOBID= 4630413

Free space on /tmp= 66202 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-A1C1S1.opb
COMMAND LINE= oree /tmp/evaluation/357303-1176993821/instance-357303-1176993821.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-357303-1176993821 -o ROOT/results/node14/solver-357303-1176993821 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357303-1176993821/instance-357303-1176993821.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1a4e4bfb1c77b43166d46bacbe01c892

RANDOM SEED= 726117546

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1711712 kB
Buffers:         36276 kB
Cached:         243224 kB
SwapCached:      11472 kB
Active:         140420 kB
Inactive:       163304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1711712 kB
SwapTotal:     4192956 kB
SwapFree:      4148736 kB
Dirty:            5800 kB
Writeback:           0 kB
Mapped:          31108 kB
Slab:            26032 kB
Committed_AS:  6655000 kB
PageTables:       1792 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= 66202 MiB

End job on node14 on Thu Apr 19 15:13:44 UTC 2007