Trace number 357292

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.03 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-A2C1S1.opb
MD5SUMa644593dc228e712d5b0d277ee939168
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.00/1.10	c ...done
1.00/1.10	c #vars=103872 #constraints=4561 hasObjective=yes
1.49/1.58	c res. mode=mod
1.49/1.58	c VSIDS like heuristics
1.49/1.58	c complete search running
2.29/2.32	c restart after 401 decisions
2.39/2.47	c nbDecision=500 #constraints=4561
2.89/2.92	c restart after 801 decisions
3.19/3.22	c nbDecision=1000 #constraints=4561
3.89/3.98	c nbDecision=1500 #constraints=4567
4.09/4.13	c restart after 1601 decisions
4.69/4.73	c nbDecision=2000 #constraints=4567
5.40/5.48	c nbDecision=2500 #constraints=4567
6.19/6.24	c nbDecision=3000 #constraints=4567
6.50/6.54	c restart after 3201 decisions
6.89/7.00	c nbDecision=3500 #constraints=4567
7.69/7.75	c nbDecision=4000 #constraints=4567
8.49/8.50	c nbDecision=4500 #constraints=4567
9.19/9.25	c nbDecision=5000 #constraints=4567
9.99/10.02	c nbDecision=5500 #constraints=4567
10.69/10.77	c nbDecision=6000 #constraints=4567
11.29/11.37	c restart after 6401 decisions
11.49/11.53	c nbDecision=6500 #constraints=4567
12.19/12.28	c nbDecision=7000 #constraints=4567
12.99/13.03	c nbDecision=7500 #constraints=4567
13.69/13.79	c nbDecision=8000 #constraints=4567
14.49/14.53	c nbDecision=8500 #constraints=4567
15.19/15.28	c nbDecision=9000 #constraints=4567
15.99/16.02	c nbDecision=9500 #constraints=4567
16.69/16.76	c nbDecision=10000 #constraints=4567
17.49/17.50	c nbDecision=10500 #constraints=4567
18.19/18.23	c nbDecision=11000 #constraints=4567
18.89/18.95	c nbDecision=11500 #constraints=4567
19.59/19.68	c nbDecision=12000 #constraints=4567
20.29/20.39	c nbDecision=12500 #constraints=4567
20.79/20.82	c restart after 12801 decisions
21.09/21.13	c nbDecision=13000 #constraints=4567
21.79/21.88	c nbDecision=13500 #constraints=4567
22.59/22.63	c nbDecision=14000 #constraints=4567
23.29/23.38	c nbDecision=14500 #constraints=4567
24.09/24.12	c nbDecision=15000 #constraints=4567
24.79/24.84	c nbDecision=15500 #constraints=4567
25.49/25.56	c nbDecision=16000 #constraints=4567
26.19/26.28	c nbDecision=16500 #constraints=4567
26.98/27.02	c nbDecision=17000 #constraints=4567
27.68/27.75	c nbDecision=17500 #constraints=4567
28.38/28.48	c nbDecision=18000 #constraints=4567
29.18/29.21	c nbDecision=18500 #constraints=4567
29.88/29.93	c nbDecision=19000 #constraints=4567
30.58/30.66	c nbDecision=19500 #constraints=4567
31.28/31.37	c nbDecision=20000 #constraints=4567
31.98/32.09	c nbDecision=20500 #constraints=4567
32.68/32.80	c nbDecision=21000 #constraints=4567
33.48/33.50	c nbDecision=21500 #constraints=4567
34.18/34.21	c nbDecision=22000 #constraints=4567
34.88/34.91	c nbDecision=22500 #constraints=4567
35.58/35.61	c nbDecision=23000 #constraints=4567
36.28/36.31	c nbDecision=23500 #constraints=4567
36.87/36.99	c nbDecision=24000 #constraints=4567
37.67/37.73	c nbDecision=24500 #constraints=4567
38.38/38.42	c nbDecision=25000 #constraints=4567
39.07/39.10	c nbDecision=25500 #constraints=4567
39.17/39.24	c restart after 25601 decisions
39.77/39.87	c nbDecision=26000 #constraints=4567
40.58/40.61	c nbDecision=26500 #constraints=4567
41.27/41.35	c nbDecision=27000 #constraints=4567
41.97/42.09	c nbDecision=27500 #constraints=4567
42.77/42.82	c nbDecision=28000 #constraints=4567
43.47/43.56	c nbDecision=28500 #constraints=4567
44.17/44.29	c nbDecision=29000 #constraints=4567
44.97/45.03	c nbDecision=29500 #constraints=4567
45.67/45.76	c nbDecision=30000 #constraints=4567
46.37/46.48	c nbDecision=30500 #constraints=4567
47.07/47.20	c nbDecision=31000 #constraints=4567
47.87/47.92	c nbDecision=31500 #constraints=4567
48.57/48.65	c nbDecision=32000 #constraints=4567
49.27/49.37	c nbDecision=32500 #constraints=4567
49.97/50.09	c nbDecision=33000 #constraints=4567
50.77/50.80	c nbDecision=33500 #constraints=4567
51.47/51.53	c nbDecision=34000 #constraints=4567
52.17/52.24	c nbDecision=34500 #constraints=4567
52.87/52.94	c nbDecision=35000 #constraints=4567
53.57/53.65	c nbDecision=35500 #constraints=4567
54.27/54.35	c nbDecision=36000 #constraints=4567
54.97/55.04	c nbDecision=36500 #constraints=4567
55.67/55.73	c nbDecision=37000 #constraints=4567
56.37/56.41	c nbDecision=37500 #constraints=4567
57.07/57.10	c nbDecision=38000 #constraints=4567
57.67/57.78	c nbDecision=38500 #constraints=4567
58.37/58.46	c nbDecision=39000 #constraints=4567
59.07/59.16	c nbDecision=39500 #constraints=4567
59.76/59.86	c nbDecision=40000 #constraints=4567
60.47/60.57	c nbDecision=40500 #constraints=4567
61.26/61.31	c nbDecision=41000 #constraints=4567
61.86/61.99	c nbDecision=41500 #constraints=4567
62.57/62.66	c nbDecision=42000 #constraints=4567
63.26/63.32	c nbDecision=42500 #constraints=4567
63.86/63.98	c nbDecision=43000 #constraints=4567
64.56/64.64	c nbDecision=43500 #constraints=4567
65.26/65.30	c nbDecision=44000 #constraints=4567
65.97/66.01	c nbDecision=44500 #constraints=4567
66.66/66.70	c nbDecision=45000 #constraints=4567
67.26/67.36	c nbDecision=45500 #constraints=4567
67.96/68.00	c nbDecision=46000 #constraints=4567
68.56/68.65	c nbDecision=46500 #constraints=4567
69.17/69.29	c nbDecision=47000 #constraints=4567
69.86/69.93	c nbDecision=47500 #constraints=4567
70.46/70.57	c nbDecision=48000 #constraints=4567
71.16/71.20	c nbDecision=48500 #constraints=4567
71.86/71.91	c nbDecision=49000 #constraints=4568
72.56/72.61	c nbDecision=49500 #constraints=4568
73.26/73.31	c nbDecision=50000 #constraints=4568
73.96/74.01	c nbDecision=50500 #constraints=4568
74.66/74.71	c nbDecision=51000 #constraints=4568
74.86/74.98	c restart after 51201 decisions
75.36/75.45	c nbDecision=51500 #constraints=4568
76.16/76.20	c nbDecision=52000 #constraints=4568
76.86/76.96	c nbDecision=52500 #constraints=4568
77.66/77.70	c nbDecision=53000 #constraints=4568
78.36/78.43	c nbDecision=53500 #constraints=4568
79.06/79.17	c nbDecision=54000 #constraints=4568
79.86/79.91	c nbDecision=54500 #constraints=4568
80.56/80.64	c nbDecision=55000 #constraints=4568
81.26/81.37	c nbDecision=55500 #constraints=4568
81.96/82.10	c nbDecision=56000 #constraints=4568
82.76/82.82	c nbDecision=56500 #constraints=4568
83.46/83.54	c nbDecision=57000 #constraints=4568
84.16/84.25	c nbDecision=57500 #constraints=4568
84.86/84.97	c nbDecision=58000 #constraints=4568
85.66/85.72	c nbDecision=58500 #constraints=4568
86.36/86.46	c nbDecision=59000 #constraints=4568
87.06/87.17	c nbDecision=59500 #constraints=4568
87.75/87.88	c nbDecision=60000 #constraints=4568
88.45/88.58	c nbDecision=60500 #constraints=4568
89.15/89.29	c nbDecision=61000 #constraints=4568
89.85/89.99	c nbDecision=61500 #constraints=4568
90.55/90.69	c nbDecision=62000 #constraints=4568
91.26/91.39	c nbDecision=62500 #constraints=4568
91.95/92.09	c nbDecision=63000 #constraints=4568
92.65/92.78	c nbDecision=63500 #constraints=4568
93.36/93.46	c nbDecision=64000 #constraints=4568
94.05/94.15	c nbDecision=64500 #constraints=4568
94.75/94.83	c nbDecision=65000 #constraints=4568
95.45/95.51	c nbDecision=65500 #constraints=4568
96.05/96.18	c nbDecision=66000 #constraints=4568
96.76/96.86	c nbDecision=66500 #constraints=4568
97.45/97.52	c nbDecision=67000 #constraints=4568
98.05/98.19	c nbDecision=67500 #constraints=4568
98.75/98.85	c nbDecision=68000 #constraints=4568
99.45/99.51	c nbDecision=68500 #constraints=4568
100.05/100.17	c nbDecision=69000 #constraints=4568
100.75/100.81	c nbDecision=69500 #constraints=4568
101.35/101.46	c nbDecision=70000 #constraints=4568
102.05/102.10	c nbDecision=70500 #constraints=4568
102.65/102.75	c nbDecision=71000 #constraints=4568
103.25/103.38	c nbDecision=71500 #constraints=4568
103.95/104.02	c nbDecision=72000 #constraints=4568
104.55/104.65	c nbDecision=72500 #constraints=4568
105.15/105.29	c nbDecision=73000 #constraints=4568
105.85/105.92	c nbDecision=73500 #constraints=4568
106.45/106.55	c nbDecision=74000 #constraints=4568
107.15/107.24	c nbDecision=74500 #constraints=4569
107.85/107.94	c nbDecision=75000 #constraints=4569
108.55/108.64	c nbDecision=75500 #constraints=4569
109.25/109.33	c nbDecision=76000 #constraints=4569
109.95/110.02	c nbDecision=76500 #constraints=4569
110.65/110.71	c nbDecision=77000 #constraints=4569
111.25/111.39	c nbDecision=77500 #constraints=4569
111.95/112.07	c nbDecision=78000 #constraints=4569
112.65/112.75	c nbDecision=78500 #constraints=4569
113.35/113.43	c nbDecision=79000 #constraints=4569
114.05/114.11	c nbDecision=79500 #constraints=4569
114.65/114.78	c nbDecision=80000 #constraints=4569
115.35/115.45	c nbDecision=80500 #constraints=4569
116.05/116.12	c nbDecision=81000 #constraints=4569
116.65/116.78	c nbDecision=81500 #constraints=4569
117.35/117.43	c nbDecision=82000 #constraints=4569
117.95/118.08	c nbDecision=82500 #constraints=4569
118.65/118.73	c nbDecision=83000 #constraints=4569
119.24/119.37	c nbDecision=83500 #constraints=4569
119.94/120.01	c nbDecision=84000 #constraints=4569
120.54/120.65	c nbDecision=84500 #constraints=4569
121.14/121.29	c nbDecision=85000 #constraints=4569
121.84/121.93	c nbDecision=85500 #constraints=4569
122.44/122.56	c nbDecision=86000 #constraints=4569
123.05/123.19	c nbDecision=86500 #constraints=4569
123.74/123.81	c nbDecision=87000 #constraints=4569
124.44/124.50	c nbDecision=87500 #constraints=4570
125.14/125.20	c nbDecision=88000 #constraints=4570
125.74/125.89	c nbDecision=88500 #constraints=4570
126.45/126.57	c nbDecision=89000 #constraints=4570
127.14/127.26	c nbDecision=89500 #constraints=4570
127.84/127.95	c nbDecision=90000 #constraints=4570
128.55/128.63	c nbDecision=90500 #constraints=4570
129.24/129.32	c nbDecision=91000 #constraints=4570
129.94/130.00	c nbDecision=91500 #constraints=4570
130.54/130.67	c nbDecision=92000 #constraints=4570
131.24/131.34	c nbDecision=92500 #constraints=4570
131.84/132.00	c nbDecision=93000 #constraints=4570
132.54/132.67	c nbDecision=93500 #constraints=4570
133.24/133.33	c nbDecision=94000 #constraints=4570
133.94/134.00	c nbDecision=94500 #constraints=4570
134.54/134.66	c nbDecision=95000 #constraints=4570
135.24/135.32	c nbDecision=95500 #constraints=4570
135.84/135.97	c nbDecision=96000 #constraints=4570
136.54/136.62	c nbDecision=96500 #constraints=4570
137.14/137.27	c nbDecision=97000 #constraints=4570
137.84/137.92	c nbDecision=97500 #constraints=4570
138.44/138.55	c nbDecision=98000 #constraints=4570
139.04/139.19	c nbDecision=98500 #constraints=4570
139.74/139.82	c nbDecision=99000 #constraints=4570
140.34/140.45	c nbDecision=99500 #constraints=4570
140.94/141.07	c nbDecision=100000 #constraints=4570
141.64/141.78	c nbDecision=100500 #constraints=4571
142.34/142.48	c nbDecision=101000 #constraints=4571
143.04/143.18	c nbDecision=101500 #constraints=4571
143.74/143.87	c nbDecision=102000 #constraints=4571
144.34/144.42	c restart after 102401 decisions
144.44/144.59	c nbDecision=102500 #constraints=4571
145.23/145.33	c nbDecision=103000 #constraints=4571
145.93/146.08	c nbDecision=103500 #constraints=4571
146.73/146.82	c nbDecision=104000 #constraints=4571
147.43/147.56	c nbDecision=104500 #constraints=4571
148.23/148.31	c nbDecision=105000 #constraints=4571
148.93/149.05	c nbDecision=105500 #constraints=4571
149.63/149.79	c nbDecision=106000 #constraints=4571
150.43/150.52	c nbDecision=106500 #constraints=4571
151.13/151.24	c nbDecision=107000 #constraints=4571
151.83/151.96	c nbDecision=107500 #constraints=4571
152.53/152.68	c nbDecision=108000 #constraints=4571
153.33/153.40	c nbDecision=108500 #constraints=4571
154.03/154.12	c nbDecision=109000 #constraints=4571
154.73/154.84	c nbDecision=109500 #constraints=4571
155.43/155.56	c nbDecision=110000 #constraints=4571
156.14/156.27	c nbDecision=110500 #constraints=4571
156.83/156.98	c nbDecision=111000 #constraints=4571
157.53/157.68	c nbDecision=111500 #constraints=4571
158.23/158.38	c nbDecision=112000 #constraints=4571
158.93/159.07	c nbDecision=112500 #constraints=4571
159.63/159.77	c nbDecision=113000 #constraints=4571
160.33/160.46	c nbDecision=113500 #constraints=4571
161.03/161.15	c nbDecision=114000 #constraints=4571
161.73/161.84	c nbDecision=114500 #constraints=4571
162.43/162.52	c nbDecision=115000 #constraints=4571
163.13/163.20	c nbDecision=115500 #constraints=4571
163.73/163.88	c nbDecision=116000 #constraints=4571
164.43/164.55	c nbDecision=116500 #constraints=4571
165.13/165.22	c nbDecision=117000 #constraints=4571
165.73/165.89	c nbDecision=117500 #constraints=4571
166.43/166.55	c nbDecision=118000 #constraints=4571
167.13/167.22	c nbDecision=118500 #constraints=4571
167.73/167.89	c nbDecision=119000 #constraints=4571
168.43/168.55	c nbDecision=119500 #constraints=4571
169.13/169.22	c nbDecision=120000 #constraints=4571
169.73/169.88	c nbDecision=120500 #constraints=4571
170.43/170.53	c nbDecision=121000 #constraints=4571
171.03/171.18	c nbDecision=121500 #constraints=4571
171.73/171.83	c nbDecision=122000 #constraints=4571
172.33/172.48	c nbDecision=122500 #constraints=4571
173.03/173.12	c nbDecision=123000 #constraints=4571
173.63/173.77	c nbDecision=123500 #constraints=4571
174.33/174.41	c nbDecision=124000 #constraints=4571
174.93/175.05	c nbDecision=124500 #constraints=4571
175.53/175.69	c nbDecision=125000 #constraints=4571
176.23/176.34	c nbDecision=125500 #constraints=4572
176.93/177.05	c nbDecision=126000 #constraints=4572
177.63/177.74	c nbDecision=126500 #constraints=4572
178.32/178.42	c nbDecision=127000 #constraints=4572
179.02/179.11	c nbDecision=127500 #constraints=4572
179.62/179.79	c nbDecision=128000 #constraints=4572
180.33/180.47	c nbDecision=128500 #constraints=4572
181.02/181.15	c nbDecision=129000 #constraints=4572
181.72/181.83	c nbDecision=129500 #constraints=4572
182.32/182.49	c nbDecision=130000 #constraints=4572
183.02/183.16	c nbDecision=130500 #constraints=4572
183.72/183.83	c nbDecision=131000 #constraints=4572
184.32/184.49	c nbDecision=131500 #constraints=4572
185.02/185.14	c nbDecision=132000 #constraints=4572
185.62/185.79	c nbDecision=132500 #constraints=4572
186.32/186.44	c nbDecision=133000 #constraints=4572
186.92/187.09	c nbDecision=133500 #constraints=4572
187.62/187.75	c nbDecision=134000 #constraints=4572
188.32/188.40	c nbDecision=134500 #constraints=4572
188.92/189.06	c nbDecision=135000 #constraints=4572
189.62/189.71	c nbDecision=135500 #constraints=4572
190.22/190.35	c nbDecision=136000 #constraints=4572
190.82/190.99	c nbDecision=136500 #constraints=4572
191.52/191.63	c nbDecision=137000 #constraints=4572
192.12/192.27	c nbDecision=137500 #constraints=4572
192.82/192.90	c nbDecision=138000 #constraints=4572
193.42/193.57	c nbDecision=138500 #constraints=4573
194.12/194.26	c nbDecision=139000 #constraints=4573
194.82/194.93	c nbDecision=139500 #constraints=4573
195.52/195.60	c nbDecision=140000 #constraints=4573
196.12/196.28	c nbDecision=140500 #constraints=4573
196.82/196.95	c nbDecision=141000 #constraints=4573
197.52/197.62	c nbDecision=141500 #constraints=4573
198.12/198.28	c nbDecision=142000 #constraints=4573
198.82/198.94	c nbDecision=142500 #constraints=4573
199.52/199.60	c nbDecision=143000 #constraints=4573
200.12/200.26	c nbDecision=143500 #constraints=4573
200.82/200.91	c nbDecision=144000 #constraints=4573
201.42/201.55	c nbDecision=144500 #constraints=4573
202.12/202.20	c nbDecision=145000 #constraints=4573
202.72/202.84	c nbDecision=145500 #constraints=4573
203.32/203.49	c nbDecision=146000 #constraints=4573
204.01/204.13	c nbDecision=146500 #constraints=4573
204.61/204.76	c nbDecision=147000 #constraints=4573
205.21/205.38	c nbDecision=147500 #constraints=4573
205.91/206.01	c nbDecision=148000 #constraints=4573
206.51/206.63	c nbDecision=148500 #constraints=4573
207.21/207.32	c nbDecision=149000 #constraints=4574
207.91/208.03	c nbDecision=149500 #constraints=4574
208.61/208.73	c nbDecision=150000 #constraints=4574
209.31/209.43	c nbDecision=150500 #constraints=4574
210.02/210.13	c nbDecision=151000 #constraints=4574
210.71/210.82	c nbDecision=151500 #constraints=4574
211.41/211.50	c nbDecision=152000 #constraints=4574
212.01/212.18	c nbDecision=152500 #constraints=4574
212.71/212.87	c nbDecision=153000 #constraints=4574
213.41/213.55	c nbDecision=153500 #constraints=4574
214.11/214.24	c nbDecision=154000 #constraints=4574
214.81/214.91	c nbDecision=154500 #constraints=4574
215.42/215.59	c nbDecision=155000 #constraints=4574
216.11/216.27	c nbDecision=155500 #constraints=4574
216.81/216.93	c nbDecision=156000 #constraints=4574
217.41/217.59	c nbDecision=156500 #constraints=4574
218.11/218.25	c nbDecision=157000 #constraints=4574
218.81/218.90	c nbDecision=157500 #constraints=4574
219.41/219.56	c nbDecision=158000 #constraints=4574
220.11/220.21	c nbDecision=158500 #constraints=4574
220.71/220.85	c nbDecision=159000 #constraints=4574
221.31/221.49	c nbDecision=159500 #constraints=4574
222.01/222.13	c nbDecision=160000 #constraints=4574
222.61/222.77	c nbDecision=160500 #constraints=4574
223.31/223.40	c nbDecision=161000 #constraints=4574
223.91/224.03	c nbDecision=161500 #constraints=4574
224.51/224.66	c nbDecision=162000 #constraints=4574
225.11/225.29	c nbDecision=162500 #constraints=4574
225.81/225.97	c nbDecision=163000 #constraints=4575
226.51/226.66	c nbDecision=163500 #constraints=4575
227.21/227.36	c nbDecision=164000 #constraints=4575
227.91/228.05	c nbDecision=164500 #constraints=4575
228.61/228.74	c nbDecision=165000 #constraints=4575
229.31/229.43	c nbDecision=165500 #constraints=4575
230.01/230.11	c nbDecision=166000 #constraints=4575
230.61/230.79	c nbDecision=166500 #constraints=4575
231.31/231.47	c nbDecision=167000 #constraints=4575
232.01/232.16	c nbDecision=167500 #constraints=4575
232.71/232.83	c nbDecision=168000 #constraints=4575
233.41/233.51	c nbDecision=168500 #constraints=4575
234.01/234.17	c nbDecision=169000 #constraints=4575
234.71/234.85	c nbDecision=169500 #constraints=4575
235.41/235.52	c nbDecision=170000 #constraints=4575
236.01/236.18	c nbDecision=170500 #constraints=4575
236.71/236.84	c nbDecision=171000 #constraints=4575
237.31/237.50	c nbDecision=171500 #constraints=4575
238.01/238.15	c nbDecision=172000 #constraints=4575
238.71/238.80	c nbDecision=172500 #constraints=4575
239.31/239.45	c nbDecision=173000 #constraints=4575
240.01/240.10	c nbDecision=173500 #constraints=4575
240.61/240.74	c nbDecision=174000 #constraints=4575
241.21/241.38	c nbDecision=174500 #constraints=4575
241.91/242.02	c nbDecision=175000 #constraints=4575
242.51/242.65	c nbDecision=175500 #constraints=4575
243.11/243.28	c nbDecision=176000 #constraints=4575
243.81/243.91	c nbDecision=176500 #constraints=4575
244.41/244.58	c nbDecision=177000 #constraints=4576
245.11/245.28	c nbDecision=177500 #constraints=4576
245.81/245.97	c nbDecision=178000 #constraints=4576
246.51/246.65	c nbDecision=178500 #constraints=4576
247.21/247.34	c nbDecision=179000 #constraints=4576
247.91/248.03	c nbDecision=179500 #constraints=4576
248.61/248.72	c nbDecision=180000 #constraints=4576
249.31/249.40	c nbDecision=180500 #constraints=4576
249.91/250.08	c nbDecision=181000 #constraints=4576
250.61/250.76	c nbDecision=181500 #constraints=4576
251.31/251.43	c nbDecision=182000 #constraints=4576
252.01/252.10	c nbDecision=182500 #constraints=4576
252.61/252.77	c nbDecision=183000 #constraints=4576
253.31/253.43	c nbDecision=183500 #constraints=4576
253.91/254.10	c nbDecision=184000 #constraints=4576
254.61/254.75	c nbDecision=184500 #constraints=4576
255.31/255.41	c nbDecision=185000 #constraints=4576
255.90/256.07	c nbDecision=185500 #constraints=4576
256.60/256.73	c nbDecision=186000 #constraints=4576
257.21/257.37	c nbDecision=186500 #constraints=4576
257.90/258.01	c nbDecision=187000 #constraints=4576
258.50/258.65	c nbDecision=187500 #constraints=4576
259.10/259.28	c nbDecision=188000 #constraints=4576
259.80/259.92	c nbDecision=188500 #constraints=4576
260.40/260.55	c nbDecision=189000 #constraints=4576
261.00/261.18	c nbDecision=189500 #constraints=4576
261.71/261.88	c nbDecision=190000 #constraints=4577
262.40/262.58	c nbDecision=190500 #constraints=4577
263.10/263.28	c nbDecision=191000 #constraints=4577
263.80/263.97	c nbDecision=191500 #constraints=4577
264.50/264.67	c nbDecision=192000 #constraints=4577
265.20/265.35	c nbDecision=192500 #constraints=4577
265.90/266.04	c nbDecision=193000 #constraints=4577
266.60/266.72	c nbDecision=193500 #constraints=4577
267.30/267.41	c nbDecision=194000 #constraints=4577
267.90/268.09	c nbDecision=194500 #constraints=4577
268.60/268.77	c nbDecision=195000 #constraints=4577
269.30/269.44	c nbDecision=195500 #constraints=4577
270.00/270.12	c nbDecision=196000 #constraints=4577
270.60/270.79	c nbDecision=196500 #constraints=4577
271.30/271.46	c nbDecision=197000 #constraints=4577
272.00/272.12	c nbDecision=197500 #constraints=4577
272.60/272.79	c nbDecision=198000 #constraints=4577
273.30/273.45	c nbDecision=198500 #constraints=4577
274.00/274.11	c nbDecision=199000 #constraints=4577
274.60/274.76	c nbDecision=199500 #constraints=4577
275.30/275.42	c nbDecision=200000 #constraints=4577
275.90/276.07	c nbDecision=200500 #constraints=4577
276.60/276.71	c nbDecision=201000 #constraints=4577
277.20/277.36	c nbDecision=201500 #constraints=4577
277.80/277.99	c nbDecision=202000 #constraints=4577
278.50/278.63	c nbDecision=202500 #constraints=4577
279.09/279.26	c nbDecision=203000 #constraints=4577
279.69/279.89	c nbDecision=203500 #constraints=4577
280.40/280.59	c nbDecision=204000 #constraints=4578
281.09/281.29	c nbDecision=204500 #constraints=4578
281.59/281.71	c restart after 204801 decisions
281.89/282.03	c nbDecision=205000 #constraints=4578
282.60/282.78	c nbDecision=205500 #constraints=4578
283.39/283.53	c nbDecision=206000 #constraints=4578
284.09/284.27	c nbDecision=206500 #constraints=4578
284.89/285.01	c nbDecision=207000 #constraints=4578
285.59/285.75	c nbDecision=207500 #constraints=4578
286.29/286.48	c nbDecision=208000 #constraints=4578
287.09/287.22	c nbDecision=208500 #constraints=4578
287.79/287.96	c nbDecision=209000 #constraints=4578
288.49/288.69	c nbDecision=209500 #constraints=4578
289.29/289.42	c nbDecision=210000 #constraints=4578
289.99/290.15	c nbDecision=210500 #constraints=4578
290.69/290.88	c nbDecision=211000 #constraints=4578
291.49/291.60	c nbDecision=211500 #constraints=4578
292.19/292.33	c nbDecision=212000 #constraints=4578
292.89/293.04	c nbDecision=212500 #constraints=4578
293.59/293.76	c nbDecision=213000 #constraints=4578
294.29/294.47	c nbDecision=213500 #constraints=4578
294.99/295.19	c nbDecision=214000 #constraints=4578
295.69/295.89	c nbDecision=214500 #constraints=4578
296.39/296.59	c nbDecision=215000 #constraints=4578
297.09/297.29	c nbDecision=215500 #constraints=4578
297.78/297.98	c nbDecision=216000 #constraints=4578
298.48/298.67	c nbDecision=216500 #constraints=4578
299.18/299.36	c nbDecision=217000 #constraints=4578
299.88/300.04	c nbDecision=217500 #constraints=4578
300.59/300.73	c nbDecision=218000 #constraints=4578
301.29/301.41	c nbDecision=218500 #constraints=4578
301.88/302.08	c nbDecision=219000 #constraints=4578
302.58/302.75	c nbDecision=219500 #constraints=4578
303.28/303.44	c nbDecision=220000 #constraints=4578
303.98/304.10	c nbDecision=220500 #constraints=4578
304.59/304.77	c nbDecision=221000 #constraints=4578
305.28/305.43	c nbDecision=221500 #constraints=4578
305.88/306.09	c nbDecision=222000 #constraints=4578
306.58/306.74	c nbDecision=222500 #constraints=4578
307.28/307.40	c nbDecision=223000 #constraints=4578
307.89/308.06	c nbDecision=223500 #constraints=4578
308.58/308.71	c nbDecision=224000 #constraints=4578
309.18/309.37	c nbDecision=224500 #constraints=4578
309.88/310.02	c nbDecision=225000 #constraints=4578
310.48/310.66	c nbDecision=225500 #constraints=4578
311.18/311.31	c nbDecision=226000 #constraints=4578
311.78/311.95	c nbDecision=226500 #constraints=4578
312.38/312.59	c nbDecision=227000 #constraints=4578
313.08/313.22	c nbDecision=227500 #constraints=4578
313.68/313.89	c nbDecision=228000 #constraints=4579
314.38/314.59	c nbDecision=228500 #constraints=4579
315.08/315.29	c nbDecision=229000 #constraints=4579
315.78/315.99	c nbDecision=229500 #constraints=4579
316.48/316.68	c nbDecision=230000 #constraints=4579
317.18/317.36	c nbDecision=230500 #constraints=4579
317.88/318.04	c nbDecision=231000 #constraints=4579
318.58/318.72	c nbDecision=231500 #constraints=4579
319.18/319.39	c nbDecision=232000 #constraints=4579
319.88/320.06	c nbDecision=232500 #constraints=4579
320.58/320.73	c nbDecision=233000 #constraints=4579
321.28/321.40	c nbDecision=233500 #constraints=4579
321.88/322.06	c nbDecision=234000 #constraints=4579
322.57/322.73	c nbDecision=234500 #constraints=4579
323.18/323.38	c nbDecision=235000 #constraints=4579
323.87/324.03	c nbDecision=235500 #constraints=4579
324.47/324.69	c nbDecision=236000 #constraints=4579
325.17/325.34	c nbDecision=236500 #constraints=4579
325.77/325.98	c nbDecision=237000 #constraints=4579
326.48/326.63	c nbDecision=237500 #constraints=4579
327.07/327.27	c nbDecision=238000 #constraints=4579
327.77/327.92	c nbDecision=238500 #constraints=4579
328.37/328.56	c nbDecision=239000 #constraints=4579
329.07/329.20	c nbDecision=239500 #constraints=4579
329.67/329.83	c nbDecision=240000 #constraints=4579
330.27/330.47	c nbDecision=240500 #constraints=4579
330.98/331.18	c nbDecision=241000 #constraints=4580
331.67/331.88	c nbDecision=241500 #constraints=4580
332.37/332.59	c nbDecision=242000 #constraints=4580
333.07/333.29	c nbDecision=242500 #constraints=4580
333.77/333.97	c nbDecision=243000 #constraints=4580
334.47/334.66	c nbDecision=243500 #constraints=4580
335.17/335.35	c nbDecision=244000 #constraints=4580
335.87/336.04	c nbDecision=244500 #constraints=4580
336.57/336.72	c nbDecision=245000 #constraints=4580
337.27/337.40	c nbDecision=245500 #constraints=4580
337.87/338.07	c nbDecision=246000 #constraints=4580
338.57/338.74	c nbDecision=246500 #constraints=4580
339.27/339.41	c nbDecision=247000 #constraints=4580
339.87/340.08	c nbDecision=247500 #constraints=4580
340.57/340.74	c nbDecision=248000 #constraints=4580
341.27/341.40	c nbDecision=248500 #constraints=4580
341.87/342.06	c nbDecision=249000 #constraints=4580
342.57/342.72	c nbDecision=249500 #constraints=4580
343.17/343.36	c nbDecision=250000 #constraints=4580
343.87/344.01	c nbDecision=250500 #constraints=4580
344.47/344.66	c nbDecision=251000 #constraints=4580
345.17/345.31	c nbDecision=251500 #constraints=4580
345.77/345.95	c nbDecision=252000 #constraints=4580
346.37/346.59	c nbDecision=252500 #constraints=4580
347.06/347.22	c nbDecision=253000 #constraints=4580
347.66/347.86	c nbDecision=253500 #constraints=4580
348.36/348.50	c nbDecision=254000 #constraints=4580
348.96/349.13	c nbDecision=254500 #constraints=4580
349.67/349.85	c nbDecision=255000 #constraints=4581
350.36/350.54	c nbDecision=255500 #constraints=4581
351.06/351.24	c nbDecision=256000 #constraints=4581
351.77/351.92	c nbDecision=256500 #constraints=4581
352.46/352.62	c nbDecision=257000 #constraints=4581
353.16/353.30	c nbDecision=257500 #constraints=4581
353.76/353.98	c nbDecision=258000 #constraints=4581
354.46/354.66	c nbDecision=258500 #constraints=4581
355.17/355.34	c nbDecision=259000 #constraints=4581
355.86/356.02	c nbDecision=259500 #constraints=4581
356.46/356.69	c nbDecision=260000 #constraints=4581
357.16/357.35	c nbDecision=260500 #constraints=4581
357.86/358.01	c nbDecision=261000 #constraints=4581
358.46/358.67	c nbDecision=261500 #constraints=4581
359.16/359.33	c nbDecision=262000 #constraints=4581
359.76/359.98	c nbDecision=262500 #constraints=4581
360.46/360.63	c nbDecision=263000 #constraints=4581
361.06/361.28	c nbDecision=263500 #constraints=4581
361.76/361.93	c nbDecision=264000 #constraints=4581
362.36/362.57	c nbDecision=264500 #constraints=4581
363.06/363.21	c nbDecision=265000 #constraints=4581
363.66/363.85	c nbDecision=265500 #constraints=4581
364.26/364.48	c nbDecision=266000 #constraints=4581
364.96/365.11	c nbDecision=266500 #constraints=4581
365.56/365.74	c nbDecision=267000 #constraints=4581
366.26/366.44	c nbDecision=267500 #constraints=4582
366.96/367.14	c nbDecision=268000 #constraints=4582
367.66/367.84	c nbDecision=268500 #constraints=4582
368.36/368.54	c nbDecision=269000 #constraints=4582
369.05/369.24	c nbDecision=269500 #constraints=4582
369.75/369.93	c nbDecision=270000 #constraints=4582
370.46/370.63	c nbDecision=270500 #constraints=4582
371.15/371.32	c nbDecision=271000 #constraints=4582
371.75/372.00	c nbDecision=271500 #constraints=4582
372.45/372.68	c nbDecision=272000 #constraints=4582
373.15/373.35	c nbDecision=272500 #constraints=4582
373.86/374.03	c nbDecision=273000 #constraints=4582
374.55/374.71	c nbDecision=273500 #constraints=4582
375.15/375.38	c nbDecision=274000 #constraints=4582
375.85/376.05	c nbDecision=274500 #constraints=4582
376.55/376.72	c nbDecision=275000 #constraints=4582
377.15/377.38	c nbDecision=275500 #constraints=4582
377.85/378.04	c nbDecision=276000 #constraints=4582
378.45/378.69	c nbDecision=276500 #constraints=4582
379.15/379.34	c nbDecision=277000 #constraints=4582
379.75/379.99	c nbDecision=277500 #constraints=4582
380.45/380.63	c nbDecision=278000 #constraints=4582
381.05/381.28	c nbDecision=278500 #constraints=4582
381.75/381.92	c nbDecision=279000 #constraints=4582
382.35/382.55	c nbDecision=279500 #constraints=4582
382.95/383.19	c nbDecision=280000 #constraints=4582
383.65/383.82	c nbDecision=280500 #constraints=4582
384.25/384.44	c nbDecision=281000 #constraints=4582
384.95/385.19	c nbDecision=281500 #constraints=4583
385.75/385.93	c nbDecision=282000 #constraints=4583
386.45/386.67	c nbDecision=282500 #constraints=4583
387.25/387.41	c nbDecision=283000 #constraints=4583
387.95/388.15	c nbDecision=283500 #constraints=4583
388.65/388.88	c nbDecision=284000 #constraints=4583
389.45/389.61	c nbDecision=284500 #constraints=4583
390.15/390.35	c nbDecision=285000 #constraints=4583
390.85/391.08	c nbDecision=285500 #constraints=4583
391.65/391.81	c nbDecision=286000 #constraints=4583
392.35/392.53	c nbDecision=286500 #constraints=4583
393.05/393.25	c nbDecision=287000 #constraints=4583
393.75/393.97	c nbDecision=287500 #constraints=4583
394.45/394.68	c nbDecision=288000 #constraints=4583
395.14/395.39	c nbDecision=288500 #constraints=4583
395.94/396.10	c nbDecision=289000 #constraints=4583
396.64/396.81	c nbDecision=289500 #constraints=4583
397.34/397.51	c nbDecision=290000 #constraints=4583
398.05/398.20	c nbDecision=290500 #constraints=4583
398.64/398.90	c nbDecision=291000 #constraints=4583
399.34/399.58	c nbDecision=291500 #constraints=4583
400.04/400.27	c nbDecision=292000 #constraints=4583
400.74/400.95	c nbDecision=292500 #constraints=4583
401.44/401.63	c nbDecision=293000 #constraints=4583
402.14/402.31	c nbDecision=293500 #constraints=4583
402.74/402.99	c nbDecision=294000 #constraints=4583
403.44/403.66	c nbDecision=294500 #constraints=4583
404.14/404.33	c nbDecision=295000 #constraints=4583
404.74/405.00	c nbDecision=295500 #constraints=4583
405.44/405.66	c nbDecision=296000 #constraints=4583
406.14/406.32	c nbDecision=296500 #constraints=4583
406.74/406.98	c nbDecision=297000 #constraints=4583
407.44/407.64	c nbDecision=297500 #constraints=4583
408.14/408.30	c nbDecision=298000 #constraints=4583
408.74/408.96	c nbDecision=298500 #constraints=4583
409.44/409.61	c nbDecision=299000 #constraints=4583
410.04/410.26	c nbDecision=299500 #constraints=4583
410.74/410.91	c nbDecision=300000 #constraints=4583
411.34/411.56	c nbDecision=300500 #constraints=4583
412.04/412.20	c nbDecision=301000 #constraints=4583
412.64/412.84	c nbDecision=301500 #constraints=4583
413.24/413.48	c nbDecision=302000 #constraints=4583
413.94/414.12	c nbDecision=302500 #constraints=4583
414.64/414.86	c nbDecision=303000 #constraints=4584
415.44/415.61	c nbDecision=303500 #constraints=4584
416.14/416.36	c nbDecision=304000 #constraints=4584
416.84/417.09	c nbDecision=304500 #constraints=4584
417.64/417.82	c nbDecision=305000 #constraints=4584
418.34/418.55	c nbDecision=305500 #constraints=4584
419.04/419.27	c nbDecision=306000 #constraints=4584
419.84/420.00	c nbDecision=306500 #constraints=4584
420.53/420.71	c nbDecision=307000 #constraints=4584
421.23/421.43	c nbDecision=307500 #constraints=4584
421.93/422.16	c nbDecision=308000 #constraints=4584
422.63/422.88	c nbDecision=308500 #constraints=4584
423.34/423.59	c nbDecision=309000 #constraints=4584
424.03/424.29	c nbDecision=309500 #constraints=4584
424.83/425.00	c nbDecision=310000 #constraints=4584
425.54/425.70	c nbDecision=310500 #constraints=4584
426.23/426.40	c nbDecision=311000 #constraints=4584
426.93/427.10	c nbDecision=311500 #constraints=4584
427.64/427.80	c nbDecision=312000 #constraints=4584
428.23/428.49	c nbDecision=312500 #constraints=4584
428.93/429.19	c nbDecision=313000 #constraints=4584
429.63/429.88	c nbDecision=313500 #constraints=4584
430.33/430.57	c nbDecision=314000 #constraints=4584
431.03/431.26	c nbDecision=314500 #constraints=4584
431.73/431.94	c nbDecision=315000 #constraints=4584
432.43/432.62	c nbDecision=315500 #constraints=4584
433.03/433.30	c nbDecision=316000 #constraints=4584
433.73/433.97	c nbDecision=316500 #constraints=4584
434.43/434.65	c nbDecision=317000 #constraints=4584
435.13/435.31	c nbDecision=317500 #constraints=4584
435.73/435.98	c nbDecision=318000 #constraints=4584
436.43/436.65	c nbDecision=318500 #constraints=4584
437.13/437.31	c nbDecision=319000 #constraints=4584
437.73/437.96	c nbDecision=319500 #constraints=4584
438.43/438.61	c nbDecision=320000 #constraints=4584
439.03/439.26	c nbDecision=320500 #constraints=4584
439.73/439.90	c nbDecision=321000 #constraints=4584
440.33/440.54	c nbDecision=321500 #constraints=4584
440.93/441.18	c nbDecision=322000 #constraints=4584
441.63/441.82	c nbDecision=322500 #constraints=4584
442.33/442.53	c nbDecision=323000 #constraints=4584
442.93/443.16	c nbDecision=323500 #constraints=4584
443.53/443.79	c nbDecision=324000 #constraints=4584
444.33/444.51	c nbDecision=324500 #constraints=4585
445.03/445.24	c nbDecision=325000 #constraints=4585
445.72/445.96	c nbDecision=325500 #constraints=4585
446.43/446.69	c nbDecision=326000 #constraints=4585
447.22/447.41	c nbDecision=326500 #constraints=4585
447.92/448.13	c nbDecision=327000 #constraints=4585
448.63/448.84	c nbDecision=327500 #constraints=4585
449.32/449.56	c nbDecision=328000 #constraints=4585
450.02/450.26	c nbDecision=328500 #constraints=4585
450.73/450.97	c nbDecision=329000 #constraints=4585
451.42/451.68	c nbDecision=329500 #constraints=4585
452.12/452.39	c nbDecision=330000 #constraints=4585
452.82/453.08	c nbDecision=330500 #constraints=4585
453.52/453.78	c nbDecision=331000 #constraints=4585
454.22/454.48	c nbDecision=331500 #constraints=4585
454.92/455.18	c nbDecision=332000 #constraints=4585
455.62/455.87	c nbDecision=332500 #constraints=4585
456.32/456.56	c nbDecision=333000 #constraints=4585
457.02/457.25	c nbDecision=333500 #constraints=4585
457.72/457.92	c nbDecision=334000 #constraints=4585
458.32/458.60	c nbDecision=334500 #constraints=4585
459.02/459.27	c nbDecision=335000 #constraints=4585
459.72/459.94	c nbDecision=335500 #constraints=4585
460.42/460.61	c nbDecision=336000 #constraints=4585
461.02/461.27	c nbDecision=336500 #constraints=4585
461.72/461.93	c nbDecision=337000 #constraints=4585
462.32/462.59	c nbDecision=337500 #constraints=4585
463.02/463.25	c nbDecision=338000 #constraints=4585
463.72/463.90	c nbDecision=338500 #constraints=4585
464.32/464.55	c nbDecision=339000 #constraints=4585
464.92/465.20	c nbDecision=339500 #constraints=4585
465.62/465.85	c nbDecision=340000 #constraints=4585
466.22/466.49	c nbDecision=340500 #constraints=4585
466.92/467.12	c nbDecision=341000 #constraints=4585
467.51/467.77	c nbDecision=341500 #constraints=4585
468.22/468.41	c nbDecision=342000 #constraints=4585
468.81/469.04	c nbDecision=342500 #constraints=4585
469.42/469.68	c nbDecision=343000 #constraints=4585
470.21/470.42	c nbDecision=343500 #constraints=4586
470.91/471.17	c nbDecision=344000 #constraints=4586
471.72/471.91	c nbDecision=344500 #constraints=4586
472.41/472.65	c nbDecision=345000 #constraints=4586
473.11/473.39	c nbDecision=345500 #constraints=4586
473.91/474.13	c nbDecision=346000 #constraints=4586
474.61/474.86	c nbDecision=346500 #constraints=4586
475.31/475.59	c nbDecision=347000 #constraints=4586
476.11/476.31	c nbDecision=347500 #constraints=4586
476.81/477.04	c nbDecision=348000 #constraints=4586
477.51/477.76	c nbDecision=348500 #constraints=4586
478.21/478.47	c nbDecision=349000 #constraints=4586
478.91/479.18	c nbDecision=349500 #constraints=4586
479.61/479.89	c nbDecision=350000 #constraints=4586
480.31/480.59	c nbDecision=350500 #constraints=4586
481.11/481.30	c nbDecision=351000 #constraints=4586
481.81/482.00	c nbDecision=351500 #constraints=4586
482.41/482.69	c nbDecision=352000 #constraints=4586
483.11/483.39	c nbDecision=352500 #constraints=4586
483.81/484.08	c nbDecision=353000 #constraints=4586
484.51/484.77	c nbDecision=353500 #constraints=4586
485.21/485.46	c nbDecision=354000 #constraints=4586
485.91/486.14	c nbDecision=354500 #constraints=4586
486.61/486.82	c nbDecision=355000 #constraints=4586
487.31/487.50	c nbDecision=355500 #constraints=4586
487.91/488.18	c nbDecision=356000 #constraints=4586
488.61/488.86	c nbDecision=356500 #constraints=4586
489.31/489.54	c nbDecision=357000 #constraints=4586
490.00/490.21	c nbDecision=357500 #constraints=4586
490.60/490.87	c nbDecision=358000 #constraints=4586
491.30/491.54	c nbDecision=358500 #constraints=4586
492.00/492.21	c nbDecision=359000 #constraints=4586
492.61/492.87	c nbDecision=359500 #constraints=4586
493.30/493.53	c nbDecision=360000 #constraints=4586
493.90/494.19	c nbDecision=360500 #constraints=4586
494.60/494.84	c nbDecision=361000 #constraints=4586
495.20/495.49	c nbDecision=361500 #constraints=4586
495.90/496.14	c nbDecision=362000 #constraints=4586
496.50/496.79	c nbDecision=362500 #constraints=4586
497.20/497.43	c nbDecision=363000 #constraints=4586
497.80/498.06	c nbDecision=363500 #constraints=4586
498.40/498.69	c nbDecision=364000 #constraints=4586
499.10/499.31	c nbDecision=364500 #constraints=4586
499.80/500.04	c nbDecision=365000 #constraints=4587
500.50/500.77	c nbDecision=365500 #constraints=4587
501.20/501.49	c nbDecision=366000 #constraints=4587
502.00/502.21	c nbDecision=366500 #constraints=4587
502.70/502.93	c nbDecision=367000 #constraints=4587
503.40/503.65	c nbDecision=367500 #constraints=4587
504.10/504.36	c nbDecision=368000 #constraints=4587
504.80/505.07	c nbDecision=368500 #constraints=4587
505.50/505.78	c nbDecision=369000 #constraints=4587
506.20/506.49	c nbDecision=369500 #constraints=4587
506.90/507.19	c nbDecision=370000 #constraints=4587
507.70/507.90	c nbDecision=370500 #constraints=4587
508.40/508.60	c nbDecision=371000 #constraints=4587
509.10/509.30	c nbDecision=371500 #constraints=4587
509.80/510.00	c nbDecision=372000 #constraints=4587
510.40/510.69	c nbDecision=372500 #constraints=4587
511.09/511.39	c nbDecision=373000 #constraints=4587
511.79/512.08	c nbDecision=373500 #constraints=4587
512.49/512.76	c nbDecision=374000 #constraints=4587
513.19/513.44	c nbDecision=374500 #constraints=4587
513.89/514.12	c nbDecision=375000 #constraints=4587
514.60/514.80	c nbDecision=375500 #constraints=4587
515.19/515.48	c nbDecision=376000 #constraints=4587
515.89/516.15	c nbDecision=376500 #constraints=4587
516.59/516.82	c nbDecision=377000 #constraints=4587
517.19/517.48	c nbDecision=377500 #constraints=4587
517.90/518.14	c nbDecision=378000 #constraints=4587
518.49/518.79	c nbDecision=378500 #constraints=4587
519.19/519.45	c nbDecision=379000 #constraints=4587
519.79/520.09	c nbDecision=379500 #constraints=4587
520.49/520.74	c nbDecision=380000 #constraints=4587
521.09/521.38	c nbDecision=380500 #constraints=4587
521.79/522.03	c nbDecision=381000 #constraints=4587
522.39/522.66	c nbDecision=381500 #constraints=4587
523.09/523.30	c nbDecision=382000 #constraints=4587
523.69/523.93	c nbDecision=382500 #constraints=4587
524.29/524.56	c nbDecision=383000 #constraints=4587
524.89/525.19	c nbDecision=383500 #constraints=4587
525.69/525.91	c nbDecision=384000 #constraints=4588
526.39/526.62	c nbDecision=384500 #constraints=4588
527.09/527.34	c nbDecision=385000 #constraints=4588
527.79/528.05	c nbDecision=385500 #constraints=4588
528.49/528.76	c nbDecision=386000 #constraints=4588
529.19/529.47	c nbDecision=386500 #constraints=4588
529.89/530.18	c nbDecision=387000 #constraints=4588
530.59/530.88	c nbDecision=387500 #constraints=4588
531.29/531.58	c nbDecision=388000 #constraints=4588
531.99/532.27	c nbDecision=388500 #constraints=4588
532.69/532.96	c nbDecision=389000 #constraints=4588
533.38/533.65	c nbDecision=389500 #constraints=4588
534.08/534.34	c nbDecision=390000 #constraints=4588
534.78/535.02	c nbDecision=390500 #constraints=4588
535.49/535.71	c nbDecision=391000 #constraints=4588
536.08/536.39	c nbDecision=391500 #constraints=4588
536.78/537.07	c nbDecision=392000 #constraints=4588
537.48/537.73	c nbDecision=392500 #constraints=4588
538.18/538.40	c nbDecision=393000 #constraints=4588
538.79/539.06	c nbDecision=393500 #constraints=4588
539.48/539.72	c nbDecision=394000 #constraints=4588
540.08/540.38	c nbDecision=394500 #constraints=4588
540.78/541.04	c nbDecision=395000 #constraints=4588
541.38/541.69	c nbDecision=395500 #constraints=4588
542.09/542.34	c nbDecision=396000 #constraints=4588
542.68/542.99	c nbDecision=396500 #constraints=4588
543.38/543.63	c nbDecision=397000 #constraints=4588
543.98/544.27	c nbDecision=397500 #constraints=4588
544.68/544.91	c nbDecision=398000 #constraints=4588
545.28/545.55	c nbDecision=398500 #constraints=4588
545.88/546.18	c nbDecision=399000 #constraints=4588
546.58/546.82	c nbDecision=399500 #constraints=4588
547.18/547.45	c nbDecision=400000 #constraints=4588
547.98/548.20	c nbDecision=400500 #constraints=4589
548.68/548.95	c nbDecision=401000 #constraints=4589
549.38/549.69	c nbDecision=401500 #constraints=4589
550.18/550.43	c nbDecision=402000 #constraints=4589
550.88/551.17	c nbDecision=402500 #constraints=4589
551.68/551.91	c nbDecision=403000 #constraints=4589
552.38/552.64	c nbDecision=403500 #constraints=4589
553.08/553.37	c nbDecision=404000 #constraints=4589
553.88/554.10	c nbDecision=404500 #constraints=4589
554.58/554.83	c nbDecision=405000 #constraints=4589
555.28/555.55	c nbDecision=405500 #constraints=4589
555.98/556.27	c nbDecision=406000 #constraints=4589
556.68/556.99	c nbDecision=406500 #constraints=4589
557.38/557.69	c nbDecision=407000 #constraints=4589
558.18/558.40	c nbDecision=407500 #constraints=4589
558.88/559.10	c nbDecision=408000 #constraints=4589
559.48/559.80	c nbDecision=408500 #constraints=4589
560.28/560.50	c nbDecision=409000 #constraints=4589
560.88/561.19	c nbDecision=409500 #constraints=4589
561.08/561.33	c restart after 409601 decisions
561.68/561.95	c nbDecision=410000 #constraints=4589
562.47/562.70	c nbDecision=410500 #constraints=4589
563.17/563.45	c nbDecision=411000 #constraints=4589
563.87/564.19	c nbDecision=411500 #constraints=4589
564.67/564.93	c nbDecision=412000 #constraints=4589
565.37/565.67	c nbDecision=412500 #constraints=4589
566.18/566.41	c nbDecision=413000 #constraints=4589
566.87/567.14	c nbDecision=413500 #constraints=4589
567.57/567.88	c nbDecision=414000 #constraints=4589
568.38/568.61	c nbDecision=414500 #constraints=4589
569.07/569.34	c nbDecision=415000 #constraints=4589
569.77/570.07	c nbDecision=415500 #constraints=4589
570.47/570.80	c nbDecision=416000 #constraints=4589
571.27/571.52	c nbDecision=416500 #constraints=4589
571.97/572.24	c nbDecision=417000 #constraints=4589
572.67/572.96	c nbDecision=417500 #constraints=4589
573.37/573.67	c nbDecision=418000 #constraints=4589
574.07/574.39	c nbDecision=418500 #constraints=4589
574.77/575.10	c nbDecision=419000 #constraints=4589
575.57/575.80	c nbDecision=419500 #constraints=4589
576.27/576.51	c nbDecision=420000 #constraints=4589
576.97/577.21	c nbDecision=420500 #constraints=4589
577.67/577.90	c nbDecision=421000 #constraints=4589
578.27/578.59	c nbDecision=421500 #constraints=4589
578.98/579.27	c nbDecision=422000 #constraints=4589
579.68/579.96	c nbDecision=422500 #constraints=4589
580.38/580.64	c nbDecision=423000 #constraints=4589
581.07/581.31	c nbDecision=423500 #constraints=4589
581.68/581.99	c nbDecision=424000 #constraints=4589
582.37/582.66	c nbDecision=424500 #constraints=4589
583.07/583.33	c nbDecision=425000 #constraints=4589
583.67/584.00	c nbDecision=425500 #constraints=4589
584.37/584.66	c nbDecision=426000 #constraints=4589
585.08/585.32	c nbDecision=426500 #constraints=4589
585.67/585.97	c nbDecision=427000 #constraints=4589
586.37/586.63	c nbDecision=427500 #constraints=4589
586.97/587.29	c nbDecision=428000 #constraints=4589
587.67/587.94	c nbDecision=428500 #constraints=4589
588.28/588.59	c nbDecision=429000 #constraints=4589
588.97/589.24	c nbDecision=429500 #constraints=4589
589.57/589.89	c nbDecision=430000 #constraints=4589
590.27/590.54	c nbDecision=430500 #constraints=4589
590.87/591.18	c nbDecision=431000 #constraints=4589
591.58/591.82	c nbDecision=431500 #constraints=4589
592.17/592.45	c nbDecision=432000 #constraints=4589
592.77/593.08	c nbDecision=432500 #constraints=4589
593.57/593.82	c nbDecision=433000 #constraints=4590
594.27/594.57	c nbDecision=433500 #constraints=4590
595.07/595.31	c nbDecision=434000 #constraints=4590
595.77/596.05	c nbDecision=434500 #constraints=4590
596.47/596.79	c nbDecision=435000 #constraints=4590
597.27/597.51	c nbDecision=435500 #constraints=4590
597.97/598.24	c nbDecision=436000 #constraints=4590
598.67/598.96	c nbDecision=436500 #constraints=4590
599.37/599.68	c nbDecision=437000 #constraints=4590
600.17/600.40	c nbDecision=437500 #constraints=4590
600.87/601.12	c nbDecision=438000 #constraints=4590
601.57/601.83	c nbDecision=438500 #constraints=4590
602.27/602.54	c nbDecision=439000 #constraints=4590
602.97/603.25	c nbDecision=439500 #constraints=4590
603.67/603.95	c nbDecision=440000 #constraints=4590
604.37/604.65	c nbDecision=440500 #constraints=4590
605.07/605.35	c nbDecision=441000 #constraints=4590
605.77/606.04	c nbDecision=441500 #constraints=4590
606.47/606.74	c nbDecision=442000 #constraints=4590
607.17/607.43	c nbDecision=442500 #constraints=4590
607.87/608.13	c nbDecision=443000 #constraints=4590
608.57/608.82	c nbDecision=443500 #constraints=4590
609.27/609.51	c nbDecision=444000 #constraints=4590
609.87/610.19	c nbDecision=444500 #constraints=4590
610.57/610.88	c nbDecision=445000 #constraints=4590
611.27/611.56	c nbDecision=445500 #constraints=4590
611.96/612.24	c nbDecision=446000 #constraints=4590
612.66/612.91	c nbDecision=446500 #constraints=4590
613.26/613.59	c nbDecision=447000 #constraints=4590
613.96/614.25	c nbDecision=447500 #constraints=4590
614.67/614.92	c nbDecision=448000 #constraints=4590
615.36/615.60	c nbDecision=448500 #constraints=4590
615.96/616.26	c nbDecision=449000 #constraints=4590
616.66/616.92	c nbDecision=449500 #constraints=4590
617.26/617.57	c nbDecision=450000 #constraints=4590
617.97/618.22	c nbDecision=450500 #constraints=4590
618.56/618.86	c nbDecision=451000 #constraints=4590
619.26/619.50	c nbDecision=451500 #constraints=4590
619.86/620.14	c nbDecision=452000 #constraints=4590
620.46/620.78	c nbDecision=452500 #constraints=4590
621.16/621.41	c nbDecision=453000 #constraints=4590
621.76/622.04	c nbDecision=453500 #constraints=4590
622.36/622.67	c nbDecision=454000 #constraints=4590
623.16/623.42	c nbDecision=454500 #constraints=4591
623.86/624.16	c nbDecision=455000 #constraints=4591
624.66/624.90	c nbDecision=455500 #constraints=4591
625.36/625.63	c nbDecision=456000 #constraints=4591
626.06/626.36	c nbDecision=456500 #constraints=4591
626.76/627.09	c nbDecision=457000 #constraints=4591
627.56/627.82	c nbDecision=457500 #constraints=4591
628.26/628.55	c nbDecision=458000 #constraints=4591
628.96/629.27	c nbDecision=458500 #constraints=4591
629.76/630.00	c nbDecision=459000 #constraints=4591
630.46/630.72	c nbDecision=459500 #constraints=4591
631.16/631.44	c nbDecision=460000 #constraints=4591
631.86/632.16	c nbDecision=460500 #constraints=4591
632.56/632.87	c nbDecision=461000 #constraints=4591
633.26/633.58	c nbDecision=461500 #constraints=4591
633.96/634.29	c nbDecision=462000 #constraints=4591
634.66/634.99	c nbDecision=462500 #constraints=4591
635.36/635.70	c nbDecision=463000 #constraints=4591
636.05/636.40	c nbDecision=463500 #constraints=4591
636.75/637.09	c nbDecision=464000 #constraints=4591
637.45/637.78	c nbDecision=464500 #constraints=4591
638.15/638.46	c nbDecision=465000 #constraints=4591
638.86/639.15	c nbDecision=465500 #constraints=4591
639.55/639.83	c nbDecision=466000 #constraints=4591
640.25/640.50	c nbDecision=466500 #constraints=4591
640.85/641.18	c nbDecision=467000 #constraints=4591
641.55/641.85	c nbDecision=467500 #constraints=4591
642.25/642.52	c nbDecision=468000 #constraints=4591
642.85/643.18	c nbDecision=468500 #constraints=4591
643.55/643.84	c nbDecision=469000 #constraints=4591
644.26/644.51	c nbDecision=469500 #constraints=4591
644.85/645.16	c nbDecision=470000 #constraints=4591
645.55/645.82	c nbDecision=470500 #constraints=4591
646.15/646.47	c nbDecision=471000 #constraints=4591
646.85/647.11	c nbDecision=471500 #constraints=4591
647.45/647.77	c nbDecision=472000 #constraints=4591
648.15/648.42	c nbDecision=472500 #constraints=4591
648.75/649.07	c nbDecision=473000 #constraints=4591
649.45/649.71	c nbDecision=473500 #constraints=4591
650.05/650.35	c nbDecision=474000 #constraints=4591
650.65/650.99	c nbDecision=474500 #constraints=4591
651.35/651.63	c nbDecision=475000 #constraints=4591
652.05/652.32	c nbDecision=475500 #constraints=4592
652.75/653.06	c nbDecision=476000 #constraints=4592
653.55/653.81	c nbDecision=476500 #constraints=4592
654.25/654.55	c nbDecision=477000 #constraints=4592
654.94/655.29	c nbDecision=477500 #constraints=4592
655.74/656.03	c nbDecision=478000 #constraints=4592
656.45/656.76	c nbDecision=478500 #constraints=4592
657.14/657.49	c nbDecision=479000 #constraints=4592
657.94/658.21	c nbDecision=479500 #constraints=4592
658.65/658.93	c nbDecision=480000 #constraints=4592
659.34/659.65	c nbDecision=480500 #constraints=4592
660.04/660.36	c nbDecision=481000 #constraints=4592
660.75/661.07	c nbDecision=481500 #constraints=4592
661.44/661.78	c nbDecision=482000 #constraints=4592
662.14/662.49	c nbDecision=482500 #constraints=4592
662.84/663.19	c nbDecision=483000 #constraints=4592
663.54/663.89	c nbDecision=483500 #constraints=4592
664.24/664.59	c nbDecision=484000 #constraints=4592
664.94/665.28	c nbDecision=484500 #constraints=4592
665.64/665.97	c nbDecision=485000 #constraints=4592
666.34/666.66	c nbDecision=485500 #constraints=4592
667.04/667.35	c nbDecision=486000 #constraints=4592
667.74/668.04	c nbDecision=486500 #constraints=4592
668.44/668.73	c nbDecision=487000 #constraints=4592
669.14/669.41	c nbDecision=487500 #constraints=4592
669.74/670.09	c nbDecision=488000 #constraints=4592
670.44/670.77	c nbDecision=488500 #constraints=4592
671.14/671.45	c nbDecision=489000 #constraints=4592
671.84/672.12	c nbDecision=489500 #constraints=4592
672.44/672.80	c nbDecision=490000 #constraints=4592
673.14/673.46	c nbDecision=490500 #constraints=4592
673.84/674.13	c nbDecision=491000 #constraints=4592
674.44/674.79	c nbDecision=491500 #constraints=4592
675.14/675.45	c nbDecision=492000 #constraints=4592
675.84/676.10	c nbDecision=492500 #constraints=4592
676.44/676.76	c nbDecision=493000 #constraints=4592
677.14/677.41	c nbDecision=493500 #constraints=4592
677.74/678.05	c nbDecision=494000 #constraints=4592
678.34/678.69	c nbDecision=494500 #constraints=4592
679.04/679.33	c nbDecision=495000 #constraints=4592
679.63/679.97	c nbDecision=495500 #constraints=4592
680.33/680.60	c nbDecision=496000 #constraints=4592
680.93/681.23	c nbDecision=496500 #constraints=4592
681.64/681.93	c nbDecision=497000 #constraints=4593
682.33/682.66	c nbDecision=497500 #constraints=4593
683.03/683.38	c nbDecision=498000 #constraints=4593
683.84/684.11	c nbDecision=498500 #constraints=4593
684.53/684.82	c nbDecision=499000 #constraints=4593
685.23/685.54	c nbDecision=499500 #constraints=4593
685.93/686.25	c nbDecision=500000 #constraints=4593
686.63/686.96	c nbDecision=500500 #constraints=4593
687.33/687.68	c nbDecision=501000 #constraints=4593
688.03/688.38	c nbDecision=501500 #constraints=4593
688.73/689.09	c nbDecision=502000 #constraints=4593
689.44/689.79	c nbDecision=502500 #constraints=4593
690.23/690.50	c nbDecision=503000 #constraints=4593
690.93/691.20	c nbDecision=503500 #constraints=4593
691.53/691.90	c nbDecision=504000 #constraints=4593
692.23/692.58	c nbDecision=504500 #constraints=4593
692.93/693.28	c nbDecision=505000 #constraints=4593
693.63/693.96	c nbDecision=505500 #constraints=4593
694.33/694.64	c nbDecision=506000 #constraints=4593
695.03/695.33	c nbDecision=506500 #constraints=4593
695.73/696.01	c nbDecision=507000 #constraints=4593
696.33/696.69	c nbDecision=507500 #constraints=4593
697.03/697.35	c nbDecision=508000 #constraints=4593
697.73/698.01	c nbDecision=508500 #constraints=4593
698.33/698.67	c nbDecision=509000 #constraints=4593
699.03/699.33	c nbDecision=509500 #constraints=4593
699.63/699.99	c nbDecision=510000 #constraints=4593
700.33/700.64	c nbDecision=510500 #constraints=4593
701.03/701.30	c nbDecision=511000 #constraints=4593
701.63/701.95	c nbDecision=511500 #constraints=4593
702.23/702.59	c nbDecision=512000 #constraints=4593
702.93/703.24	c nbDecision=512500 #constraints=4593
703.53/703.88	c nbDecision=513000 #constraints=4593
704.22/704.52	c nbDecision=513500 #constraints=4593
704.83/705.16	c nbDecision=514000 #constraints=4593
705.42/705.79	c nbDecision=514500 #constraints=4593
706.12/706.42	c nbDecision=515000 #constraints=4593
706.73/707.05	c nbDecision=515500 #constraints=4593
707.52/707.81	c nbDecision=516000 #constraints=4594
708.22/708.54	c nbDecision=516500 #constraints=4594
708.92/709.29	c nbDecision=517000 #constraints=4594
709.72/710.03	c nbDecision=517500 #constraints=4594
710.42/710.77	c nbDecision=518000 #constraints=4594
711.22/711.50	c nbDecision=518500 #constraints=4594
711.92/712.23	c nbDecision=519000 #constraints=4594
712.62/712.96	c nbDecision=519500 #constraints=4594
713.32/713.68	c nbDecision=520000 #constraints=4594
714.12/714.40	c nbDecision=520500 #constraints=4594
714.82/715.12	c nbDecision=521000 #constraints=4594
715.52/715.83	c nbDecision=521500 #constraints=4594
716.22/716.55	c nbDecision=522000 #constraints=4594
716.92/717.26	c nbDecision=522500 #constraints=4594
717.62/717.97	c nbDecision=523000 #constraints=4594
718.32/718.67	c nbDecision=523500 #constraints=4594
719.02/719.36	c nbDecision=524000 #constraints=4594
719.72/720.06	c nbDecision=524500 #constraints=4594
720.42/720.75	c nbDecision=525000 #constraints=4594
721.12/721.44	c nbDecision=525500 #constraints=4594
721.82/722.13	c nbDecision=526000 #constraints=4594
722.52/722.81	c nbDecision=526500 #constraints=4594
723.12/723.49	c nbDecision=527000 #constraints=4594
723.82/724.17	c nbDecision=527500 #constraints=4594
724.52/724.85	c nbDecision=528000 #constraints=4594
725.22/725.52	c nbDecision=528500 #constraints=4594
725.82/726.19	c nbDecision=529000 #constraints=4594
726.52/726.86	c nbDecision=529500 #constraints=4594
727.22/727.53	c nbDecision=530000 #constraints=4594
727.82/728.20	c nbDecision=530500 #constraints=4594
728.52/728.87	c nbDecision=531000 #constraints=4594
729.22/729.53	c nbDecision=531500 #constraints=4594
729.82/730.19	c nbDecision=532000 #constraints=4594
730.52/730.85	c nbDecision=532500 #constraints=4594
731.22/731.50	c nbDecision=533000 #constraints=4594
731.82/732.15	c nbDecision=533500 #constraints=4594
732.51/732.80	c nbDecision=534000 #constraints=4594
733.11/733.45	c nbDecision=534500 #constraints=4594
733.71/734.09	c nbDecision=535000 #constraints=4594
734.42/734.74	c nbDecision=535500 #constraints=4594
735.01/735.37	c nbDecision=536000 #constraints=4594
735.71/736.01	c nbDecision=536500 #constraints=4594
736.41/736.71	c nbDecision=537000 #constraints=4595
737.11/737.45	c nbDecision=537500 #constraints=4595
737.82/738.19	c nbDecision=538000 #constraints=4595
738.61/738.92	c nbDecision=538500 #constraints=4595
739.31/739.65	c nbDecision=539000 #constraints=4595
740.02/740.38	c nbDecision=539500 #constraints=4595
740.81/741.11	c nbDecision=540000 #constraints=4595
741.51/741.83	c nbDecision=540500 #constraints=4595
742.21/742.56	c nbDecision=541000 #constraints=4595
742.91/743.27	c nbDecision=541500 #constraints=4595
743.61/743.98	c nbDecision=542000 #constraints=4595
744.31/744.70	c nbDecision=542500 #constraints=4595
745.11/745.41	c nbDecision=543000 #constraints=4595
745.81/746.11	c nbDecision=543500 #constraints=4595
746.51/746.82	c nbDecision=544000 #constraints=4595
747.21/747.52	c nbDecision=544500 #constraints=4595
747.91/748.22	c nbDecision=545000 #constraints=4595
748.61/748.92	c nbDecision=545500 #constraints=4595
749.31/749.63	c nbDecision=546000 #constraints=4595
750.01/750.32	c nbDecision=546500 #constraints=4595
750.71/751.02	c nbDecision=547000 #constraints=4595
751.41/751.71	c nbDecision=547500 #constraints=4595
752.01/752.40	c nbDecision=548000 #constraints=4595
752.71/753.08	c nbDecision=548500 #constraints=4595
753.41/753.77	c nbDecision=549000 #constraints=4595
754.11/754.45	c nbDecision=549500 #constraints=4595
754.81/755.13	c nbDecision=550000 #constraints=4595
755.51/755.80	c nbDecision=550500 #constraints=4595
756.11/756.48	c nbDecision=551000 #constraints=4595
756.80/757.15	c nbDecision=551500 #constraints=4595
757.51/757.81	c nbDecision=552000 #constraints=4595
758.10/758.47	c nbDecision=552500 #constraints=4595
758.80/759.12	c nbDecision=553000 #constraints=4595
759.40/759.79	c nbDecision=553500 #constraints=4595
760.10/760.43	c nbDecision=554000 #constraints=4595
760.70/761.08	c nbDecision=554500 #constraints=4595
761.40/761.72	c nbDecision=555000 #constraints=4595
762.01/762.37	c nbDecision=555500 #constraints=4595
762.70/763.01	c nbDecision=556000 #constraints=4595
763.30/763.64	c nbDecision=556500 #constraints=4595
763.90/764.28	c nbDecision=557000 #constraints=4595
764.60/764.90	c nbDecision=557500 #constraints=4595
765.21/765.53	c nbDecision=558000 #constraints=4595
765.90/766.27	c nbDecision=558500 #constraints=4596
766.70/767.01	c nbDecision=559000 #constraints=4596
767.40/767.75	c nbDecision=559500 #constraints=4596
768.10/768.49	c nbDecision=560000 #constraints=4596
768.90/769.23	c nbDecision=560500 #constraints=4596
769.60/769.97	c nbDecision=561000 #constraints=4596
770.40/770.70	c nbDecision=561500 #constraints=4596
771.10/771.42	c nbDecision=562000 #constraints=4596
771.80/772.15	c nbDecision=562500 #constraints=4596
772.50/772.88	c nbDecision=563000 #constraints=4596
773.20/773.59	c nbDecision=563500 #constraints=4596
774.00/774.31	c nbDecision=564000 #constraints=4596
774.70/775.02	c nbDecision=564500 #constraints=4596
775.40/775.73	c nbDecision=565000 #constraints=4596
776.10/776.43	c nbDecision=565500 #constraints=4596
776.80/777.14	c nbDecision=566000 #constraints=4596
777.50/777.84	c nbDecision=566500 #constraints=4596
778.19/778.53	c nbDecision=567000 #constraints=4596
778.89/779.23	c nbDecision=567500 #constraints=4596
779.60/779.91	c nbDecision=568000 #constraints=4596
780.29/780.60	c nbDecision=568500 #constraints=4596
780.89/781.29	c nbDecision=569000 #constraints=4596
781.59/781.96	c nbDecision=569500 #constraints=4596
782.29/782.63	c nbDecision=570000 #constraints=4596
782.99/783.31	c nbDecision=570500 #constraints=4596
783.59/783.98	c nbDecision=571000 #constraints=4596
784.29/784.65	c nbDecision=571500 #constraints=4596
784.99/785.31	c nbDecision=572000 #constraints=4596
785.59/785.98	c nbDecision=572500 #constraints=4596
786.29/786.64	c nbDecision=573000 #constraints=4596
786.99/787.30	c nbDecision=573500 #constraints=4596
787.59/787.97	c nbDecision=574000 #constraints=4596
788.29/788.63	c nbDecision=574500 #constraints=4596
788.89/789.28	c nbDecision=575000 #constraints=4596
789.59/789.94	c nbDecision=575500 #constraints=4596
790.19/790.59	c nbDecision=576000 #constraints=4596
790.89/791.24	c nbDecision=576500 #constraints=4596
791.49/791.89	c nbDecision=577000 #constraints=4596
792.19/792.53	c nbDecision=577500 #constraints=4596
792.79/793.17	c nbDecision=578000 #constraints=4596
793.49/793.81	c nbDecision=578500 #constraints=4596
794.09/794.44	c nbDecision=579000 #constraints=4596
794.79/795.12	c nbDecision=579500 #constraints=4597
795.49/795.86	c nbDecision=580000 #constraints=4597
796.29/796.60	c nbDecision=580500 #constraints=4597
796.98/797.34	c nbDecision=581000 #constraints=4597
797.68/798.06	c nbDecision=581500 #constraints=4597
798.39/798.79	c nbDecision=582000 #constraints=4597
799.18/799.51	c nbDecision=582500 #constraints=4597
799.88/800.23	c nbDecision=583000 #constraints=4597
800.58/800.95	c nbDecision=583500 #constraints=4597
801.28/801.66	c nbDecision=584000 #constraints=4597
801.98/802.37	c nbDecision=584500 #constraints=4597
802.69/803.08	c nbDecision=585000 #constraints=4597
803.38/803.79	c nbDecision=585500 #constraints=4597
804.08/804.49	c nbDecision=586000 #constraints=4597
804.79/805.18	c nbDecision=586500 #constraints=4597
805.48/805.88	c nbDecision=587000 #constraints=4597
806.18/806.56	c nbDecision=587500 #constraints=4597
806.88/807.25	c nbDecision=588000 #constraints=4597
807.58/807.95	c nbDecision=588500 #constraints=4597
808.28/808.64	c nbDecision=589000 #constraints=4597
808.98/809.32	c nbDecision=589500 #constraints=4597
809.68/810.01	c nbDecision=590000 #constraints=4597
810.28/810.69	c nbDecision=590500 #constraints=4597
810.98/811.37	c nbDecision=591000 #constraints=4597
811.68/812.05	c nbDecision=591500 #constraints=4597
812.38/812.73	c nbDecision=592000 #constraints=4597
813.08/813.40	c nbDecision=592500 #constraints=4597
813.68/814.07	c nbDecision=593000 #constraints=4597
814.38/814.74	c nbDecision=593500 #constraints=4597
815.08/815.41	c nbDecision=594000 #constraints=4597
815.68/816.06	c nbDecision=594500 #constraints=4597
816.38/816.72	c nbDecision=595000 #constraints=4597
816.98/817.38	c nbDecision=595500 #constraints=4597
817.68/818.03	c nbDecision=596000 #constraints=4597
818.28/818.67	c nbDecision=596500 #constraints=4597
818.99/819.32	c nbDecision=597000 #constraints=4597
819.59/819.96	c nbDecision=597500 #constraints=4597
820.19/820.59	c nbDecision=598000 #constraints=4597
820.88/821.22	c nbDecision=598500 #constraints=4597
821.48/821.85	c nbDecision=599000 #constraints=4597
822.08/822.48	c nbDecision=599500 #constraints=4597
822.88/823.20	c nbDecision=600000 #constraints=4598
823.59/823.94	c nbDecision=600500 #constraints=4598
824.28/824.67	c nbDecision=601000 #constraints=4598
824.98/825.40	c nbDecision=601500 #constraints=4598
825.79/826.12	c nbDecision=602000 #constraints=4598
826.48/826.85	c nbDecision=602500 #constraints=4598
827.18/827.57	c nbDecision=603000 #constraints=4598
827.89/828.30	c nbDecision=603500 #constraints=4598
828.68/829.02	c nbDecision=604000 #constraints=4598
829.38/829.74	c nbDecision=604500 #constraints=4598
830.08/830.45	c nbDecision=605000 #constraints=4598
830.78/831.16	c nbDecision=605500 #constraints=4598
831.48/831.87	c nbDecision=606000 #constraints=4598
832.18/832.58	c nbDecision=606500 #constraints=4598
832.88/833.29	c nbDecision=607000 #constraints=4598
833.58/833.99	c nbDecision=607500 #constraints=4598
834.28/834.69	c nbDecision=608000 #constraints=4598
834.98/835.39	c nbDecision=608500 #constraints=4598
835.68/836.08	c nbDecision=609000 #constraints=4598
836.38/836.77	c nbDecision=609500 #constraints=4598
837.08/837.45	c nbDecision=610000 #constraints=4598
837.78/838.13	c nbDecision=610500 #constraints=4598
838.48/838.81	c nbDecision=611000 #constraints=4598
839.08/839.48	c nbDecision=611500 #constraints=4598
839.78/840.16	c nbDecision=612000 #constraints=4598
840.48/840.82	c nbDecision=612500 #constraints=4598
841.08/841.49	c nbDecision=613000 #constraints=4598
841.78/842.14	c nbDecision=613500 #constraints=4598
842.48/842.80	c nbDecision=614000 #constraints=4598
843.08/843.45	c nbDecision=614500 #constraints=4598
843.78/844.11	c nbDecision=615000 #constraints=4598
844.38/844.76	c nbDecision=615500 #constraints=4598
845.08/845.41	c nbDecision=616000 #constraints=4598
845.68/846.06	c nbDecision=616500 #constraints=4598
846.37/846.70	c nbDecision=617000 #constraints=4598
846.97/847.34	c nbDecision=617500 #constraints=4598
847.57/847.99	c nbDecision=618000 #constraints=4598
848.27/848.63	c nbDecision=618500 #constraints=4598
848.88/849.27	c nbDecision=619000 #constraints=4598
849.57/849.90	c nbDecision=619500 #constraints=4598
850.17/850.54	c nbDecision=620000 #constraints=4598
850.98/851.30	c nbDecision=620500 #constraints=4599
851.67/852.04	c nbDecision=621000 #constraints=4599
852.37/852.78	c nbDecision=621500 #constraints=4599
853.18/853.51	c nbDecision=622000 #constraints=4599
853.87/854.24	c nbDecision=622500 #constraints=4599
854.57/854.97	c nbDecision=623000 #constraints=4599
855.27/855.70	c nbDecision=623500 #constraints=4599
856.07/856.42	c nbDecision=624000 #constraints=4599
856.77/857.14	c nbDecision=624500 #constraints=4599
857.47/857.85	c nbDecision=625000 #constraints=4599
858.17/858.56	c nbDecision=625500 #constraints=4599
858.87/859.27	c nbDecision=626000 #constraints=4599
859.57/859.97	c nbDecision=626500 #constraints=4599
860.27/860.67	c nbDecision=627000 #constraints=4599
860.97/861.37	c nbDecision=627500 #constraints=4599
861.67/862.06	c nbDecision=628000 #constraints=4599
862.37/862.75	c nbDecision=628500 #constraints=4599
863.07/863.44	c nbDecision=629000 #constraints=4599
863.77/864.14	c nbDecision=629500 #constraints=4599
864.47/864.82	c nbDecision=630000 #constraints=4599
865.17/865.50	c nbDecision=630500 #constraints=4599
865.77/866.18	c nbDecision=631000 #constraints=4599
866.47/866.85	c nbDecision=631500 #constraints=4599
867.17/867.53	c nbDecision=632000 #constraints=4599
867.87/868.20	c nbDecision=632500 #constraints=4599
868.47/868.87	c nbDecision=633000 #constraints=4599
869.17/869.54	c nbDecision=633500 #constraints=4599
869.87/870.21	c nbDecision=634000 #constraints=4599
870.47/870.87	c nbDecision=634500 #constraints=4599
871.16/871.54	c nbDecision=635000 #constraints=4599
871.76/872.20	c nbDecision=635500 #constraints=4599
872.46/872.85	c nbDecision=636000 #constraints=4599
873.16/873.51	c nbDecision=636500 #constraints=4599
873.76/874.15	c nbDecision=637000 #constraints=4599
874.46/874.80	c nbDecision=637500 #constraints=4599
875.06/875.45	c nbDecision=638000 #constraints=4599
875.66/876.09	c nbDecision=638500 #constraints=4599
876.37/876.73	c nbDecision=639000 #constraints=4599
876.96/877.37	c nbDecision=639500 #constraints=4599
877.56/877.99	c nbDecision=640000 #constraints=4599
878.36/878.71	c nbDecision=640500 #constraints=4600
879.06/879.45	c nbDecision=641000 #constraints=4600
879.76/880.18	c nbDecision=641500 #constraints=4600
880.56/880.91	c nbDecision=642000 #constraints=4600
881.26/881.63	c nbDecision=642500 #constraints=4600
881.96/882.36	c nbDecision=643000 #constraints=4600
882.66/883.08	c nbDecision=643500 #constraints=4600
883.36/883.80	c nbDecision=644000 #constraints=4600
884.16/884.51	c nbDecision=644500 #constraints=4600
884.86/885.21	c nbDecision=645000 #constraints=4600
885.56/885.92	c nbDecision=645500 #constraints=4600
886.26/886.63	c nbDecision=646000 #constraints=4600
886.96/887.33	c nbDecision=646500 #constraints=4600
887.66/888.04	c nbDecision=647000 #constraints=4600
888.36/888.74	c nbDecision=647500 #constraints=4600
889.06/889.45	c nbDecision=648000 #constraints=4600
889.76/890.15	c nbDecision=648500 #constraints=4600
890.46/890.84	c nbDecision=649000 #constraints=4600
891.16/891.53	c nbDecision=649500 #constraints=4600
891.86/892.23	c nbDecision=650000 #constraints=4600
892.56/892.92	c nbDecision=650500 #constraints=4600
893.26/893.60	c nbDecision=651000 #constraints=4600
893.86/894.29	c nbDecision=651500 #constraints=4600
894.56/894.96	c nbDecision=652000 #constraints=4600
895.25/895.64	c nbDecision=652500 #constraints=4600
895.95/896.31	c nbDecision=653000 #constraints=4600
896.55/896.99	c nbDecision=653500 #constraints=4600
897.26/897.65	c nbDecision=654000 #constraints=4600
897.95/898.30	c nbDecision=654500 #constraints=4600
898.55/898.96	c nbDecision=655000 #constraints=4600
899.25/899.62	c nbDecision=655500 #constraints=4600
899.85/900.27	c nbDecision=656000 #constraints=4600
900.56/900.92	c nbDecision=656500 #constraints=4600
901.15/901.56	c nbDecision=657000 #constraints=4600
901.85/902.21	c nbDecision=657500 #constraints=4600
902.45/902.85	c nbDecision=658000 #constraints=4600
903.05/903.49	c nbDecision=658500 #constraints=4600
903.76/904.13	c nbDecision=659000 #constraints=4600
904.35/904.76	c nbDecision=659500 #constraints=4600
904.96/905.39	c nbDecision=660000 #constraints=4600
905.65/906.06	c nbDecision=660500 #constraints=4601
906.35/906.79	c nbDecision=661000 #constraints=4601
907.16/907.53	c nbDecision=661500 #constraints=4601
907.85/908.25	c nbDecision=662000 #constraints=4601
908.55/908.99	c nbDecision=662500 #constraints=4601
909.35/909.72	c nbDecision=663000 #constraints=4601
910.05/910.45	c nbDecision=663500 #constraints=4601
910.75/911.18	c nbDecision=664000 #constraints=4601
911.45/911.90	c nbDecision=664500 #constraints=4601
912.25/912.61	c nbDecision=665000 #constraints=4601
912.95/913.33	c nbDecision=665500 #constraints=4601
913.65/914.04	c nbDecision=666000 #constraints=4601
914.35/914.76	c nbDecision=666500 #constraints=4601
915.05/915.47	c nbDecision=667000 #constraints=4601
915.75/916.17	c nbDecision=667500 #constraints=4601
916.45/916.88	c nbDecision=668000 #constraints=4601
917.15/917.58	c nbDecision=668500 #constraints=4601
917.84/918.27	c nbDecision=669000 #constraints=4601
918.54/918.95	c nbDecision=669500 #constraints=4601
919.25/919.64	c nbDecision=670000 #constraints=4601
919.94/920.32	c nbDecision=670500 #constraints=4601
920.64/921.01	c nbDecision=671000 #constraints=4601
921.24/921.68	c nbDecision=671500 #constraints=4601
921.94/922.36	c nbDecision=672000 #constraints=4601
922.64/923.03	c nbDecision=672500 #constraints=4601
923.34/923.70	c nbDecision=673000 #constraints=4601
923.94/924.37	c nbDecision=673500 #constraints=4601
924.65/925.03	c nbDecision=674000 #constraints=4601
925.24/925.69	c nbDecision=674500 #constraints=4601
925.94/926.35	c nbDecision=675000 #constraints=4601
926.64/927.01	c nbDecision=675500 #constraints=4601
927.24/927.66	c nbDecision=676000 #constraints=4601
927.94/928.32	c nbDecision=676500 #constraints=4601
928.54/928.97	c nbDecision=677000 #constraints=4601
929.24/929.62	c nbDecision=677500 #constraints=4601
929.84/930.27	c nbDecision=678000 #constraints=4601
930.54/930.91	c nbDecision=678500 #constraints=4601
931.14/931.55	c nbDecision=679000 #constraints=4601
931.74/932.19	c nbDecision=679500 #constraints=4601
932.44/932.83	c nbDecision=680000 #constraints=4601
933.04/933.46	c nbDecision=680500 #constraints=4601
933.74/934.18	c nbDecision=681000 #constraints=4602
934.54/934.91	c nbDecision=681500 #constraints=4602
935.24/935.64	c nbDecision=682000 #constraints=4602
935.94/936.36	c nbDecision=682500 #constraints=4602
936.64/937.07	c nbDecision=683000 #constraints=4602
937.34/937.78	c nbDecision=683500 #constraints=4602
938.04/938.48	c nbDecision=684000 #constraints=4602
938.74/939.18	c nbDecision=684500 #constraints=4602
939.44/939.88	c nbDecision=685000 #constraints=4602
940.14/940.58	c nbDecision=685500 #constraints=4602
940.83/941.27	c nbDecision=686000 #constraints=4602
941.53/941.97	c nbDecision=686500 #constraints=4602
942.24/942.66	c nbDecision=687000 #constraints=4602
942.93/943.34	c nbDecision=687500 #constraints=4602
943.63/944.03	c nbDecision=688000 #constraints=4602
944.33/944.71	c nbDecision=688500 #constraints=4602
944.93/945.39	c nbDecision=689000 #constraints=4602
945.64/946.07	c nbDecision=689500 #constraints=4602
946.33/946.74	c nbDecision=690000 #constraints=4602
947.03/947.41	c nbDecision=690500 #constraints=4602
947.63/948.09	c nbDecision=691000 #constraints=4602
948.33/948.76	c nbDecision=691500 #constraints=4602
949.03/949.43	c nbDecision=692000 #constraints=4602
949.63/950.10	c nbDecision=692500 #constraints=4602
950.33/950.76	c nbDecision=693000 #constraints=4602
951.04/951.42	c nbDecision=693500 #constraints=4602
951.63/952.08	c nbDecision=694000 #constraints=4602
952.33/952.73	c nbDecision=694500 #constraints=4602
952.93/953.39	c nbDecision=695000 #constraints=4602
953.63/954.04	c nbDecision=695500 #constraints=4602
954.23/954.68	c nbDecision=696000 #constraints=4602
954.93/955.33	c nbDecision=696500 #constraints=4602
955.53/955.97	c nbDecision=697000 #constraints=4602
956.23/956.61	c nbDecision=697500 #constraints=4602
956.83/957.24	c nbDecision=698000 #constraints=4602
957.53/957.92	c nbDecision=698500 #constraints=4603
958.23/958.64	c nbDecision=699000 #constraints=4603
958.93/959.36	c nbDecision=699500 #constraints=4603
959.63/960.07	c nbDecision=700000 #constraints=4603
960.33/960.78	c nbDecision=700500 #constraints=4603
961.03/961.49	c nbDecision=701000 #constraints=4603
961.83/962.20	c nbDecision=701500 #constraints=4603
962.53/962.91	c nbDecision=702000 #constraints=4603
963.23/963.61	c nbDecision=702500 #constraints=4603
963.93/964.31	c nbDecision=703000 #constraints=4603
964.63/965.01	c nbDecision=703500 #constraints=4603
965.33/965.70	c nbDecision=704000 #constraints=4603
965.93/966.39	c nbDecision=704500 #constraints=4603
966.73/967.11	c nbDecision=705000 #constraints=4603
967.42/967.80	c nbDecision=705500 #constraints=4603
968.02/968.48	c nbDecision=706000 #constraints=4603
968.73/969.17	c nbDecision=706500 #constraints=4603
969.42/969.85	c nbDecision=707000 #constraints=4603
970.12/970.53	c nbDecision=707500 #constraints=4603
970.83/971.21	c nbDecision=708000 #constraints=4603
971.42/971.88	c nbDecision=708500 #constraints=4603
972.12/972.55	c nbDecision=709000 #constraints=4603
972.82/973.22	c nbDecision=709500 #constraints=4603
973.42/973.89	c nbDecision=710000 #constraints=4603
974.13/974.56	c nbDecision=710500 #constraints=4603
974.82/975.21	c nbDecision=711000 #constraints=4603
975.42/975.87	c nbDecision=711500 #constraints=4603
976.12/976.52	c nbDecision=712000 #constraints=4603
976.72/977.17	c nbDecision=712500 #constraints=4603
977.42/977.82	c nbDecision=713000 #constraints=4603
978.02/978.46	c nbDecision=713500 #constraints=4603
978.72/979.10	c nbDecision=714000 #constraints=4603
979.32/979.74	c nbDecision=714500 #constraints=4603
979.92/980.37	c nbDecision=715000 #constraints=4603
980.62/981.00	c nbDecision=715500 #constraints=4603
981.22/981.63	c nbDecision=716000 #constraints=4603
981.92/982.37	c nbDecision=716500 #constraints=4604
982.72/983.10	c nbDecision=717000 #constraints=4604
983.42/983.83	c nbDecision=717500 #constraints=4604
984.12/984.56	c nbDecision=718000 #constraints=4604
984.82/985.29	c nbDecision=718500 #constraints=4604
985.62/986.01	c nbDecision=719000 #constraints=4604
986.32/986.73	c nbDecision=719500 #constraints=4604
987.02/987.45	c nbDecision=720000 #constraints=4604
987.72/988.17	c nbDecision=720500 #constraints=4604
988.42/988.89	c nbDecision=721000 #constraints=4604
989.22/989.60	c nbDecision=721500 #constraints=4604
989.92/990.32	c nbDecision=722000 #constraints=4604
990.62/991.03	c nbDecision=722500 #constraints=4604
991.32/991.73	c nbDecision=723000 #constraints=4604
992.02/992.44	c nbDecision=723500 #constraints=4604
992.72/993.14	c nbDecision=724000 #constraints=4604
993.42/993.83	c nbDecision=724500 #constraints=4604
994.11/994.53	c nbDecision=725000 #constraints=4604
994.81/995.22	c nbDecision=725500 #constraints=4604
995.51/995.91	c nbDecision=726000 #constraints=4604
996.22/996.60	c nbDecision=726500 #constraints=4604
996.81/997.29	c nbDecision=727000 #constraints=4604
997.51/997.96	c nbDecision=727500 #constraints=4604
998.21/998.64	c nbDecision=728000 #constraints=4604
998.91/999.31	c nbDecision=728500 #constraints=4604
999.52/999.97	c nbDecision=729000 #constraints=4604
1000.21/1000.64	c nbDecision=729500 #constraints=4604
1000.81/1001.29	c nbDecision=730000 #constraints=4604
1001.51/1001.95	c nbDecision=730500 #constraints=4604
1002.21/1002.61	c nbDecision=731000 #constraints=4604
1002.82/1003.26	c nbDecision=731500 #constraints=4604
1003.51/1003.91	c nbDecision=732000 #constraints=4604
1004.11/1004.56	c nbDecision=732500 #constraints=4604
1004.81/1005.20	c nbDecision=733000 #constraints=4604
1005.41/1005.85	c nbDecision=733500 #constraints=4604
1006.02/1006.49	c nbDecision=734000 #constraints=4604
1006.71/1007.12	c nbDecision=734500 #constraints=4604
1007.31/1007.76	c nbDecision=735000 #constraints=4604
1008.01/1008.40	c nbDecision=735500 #constraints=4604
1008.61/1009.03	c nbDecision=736000 #constraints=4604
1009.31/1009.75	c nbDecision=736500 #constraints=4605
1010.01/1010.49	c nbDecision=737000 #constraints=4605
1010.81/1011.23	c nbDecision=737500 #constraints=4605
1011.51/1011.96	c nbDecision=738000 #constraints=4605
1012.21/1012.69	c nbDecision=738500 #constraints=4605
1013.01/1013.42	c nbDecision=739000 #constraints=4605
1013.71/1014.15	c nbDecision=739500 #constraints=4605
1014.41/1014.87	c nbDecision=740000 #constraints=4605
1015.11/1015.59	c nbDecision=740500 #constraints=4605
1015.81/1016.30	c nbDecision=741000 #constraints=4605
1016.61/1017.02	c nbDecision=741500 #constraints=4605
1017.31/1017.72	c nbDecision=742000 #constraints=4605
1018.01/1018.43	c nbDecision=742500 #constraints=4605
1018.70/1019.13	c nbDecision=743000 #constraints=4605
1019.40/1019.83	c nbDecision=743500 #constraints=4605
1020.10/1020.52	c nbDecision=744000 #constraints=4605
1020.80/1021.22	c nbDecision=744500 #constraints=4605
1021.51/1021.91	c nbDecision=745000 #constraints=4605
1022.10/1022.60	c nbDecision=745500 #constraints=4605
1022.80/1023.28	c nbDecision=746000 #constraints=4605
1023.50/1023.96	c nbDecision=746500 #constraints=4605
1024.20/1024.63	c nbDecision=747000 #constraints=4605
1024.90/1025.30	c nbDecision=747500 #constraints=4605
1025.50/1025.97	c nbDecision=748000 #constraints=4605
1026.20/1026.64	c nbDecision=748500 #constraints=4605
1026.91/1027.31	c nbDecision=749000 #constraints=4605
1027.50/1027.99	c nbDecision=749500 #constraints=4605
1028.20/1028.65	c nbDecision=750000 #constraints=4605
1028.90/1029.32	c nbDecision=750500 #constraints=4605
1029.50/1029.98	c nbDecision=751000 #constraints=4605
1030.20/1030.64	c nbDecision=751500 #constraints=4605
1030.90/1031.30	c nbDecision=752000 #constraints=4605
1031.50/1031.95	c nbDecision=752500 #constraints=4605
1032.20/1032.61	c nbDecision=753000 #constraints=4605
1032.80/1033.26	c nbDecision=753500 #constraints=4605
1033.50/1033.91	c nbDecision=754000 #constraints=4605
1034.10/1034.55	c nbDecision=754500 #constraints=4605
1034.70/1035.18	c nbDecision=755000 #constraints=4605
1035.40/1035.82	c nbDecision=755500 #constraints=4605
1036.00/1036.45	c nbDecision=756000 #constraints=4605
1036.70/1037.15	c nbDecision=756500 #constraints=4606
1037.40/1037.88	c nbDecision=757000 #constraints=4606
1038.20/1038.61	c nbDecision=757500 #constraints=4606
1038.90/1039.34	c nbDecision=758000 #constraints=4606
1039.60/1040.07	c nbDecision=758500 #constraints=4606
1040.30/1040.79	c nbDecision=759000 #constraints=4606
1041.10/1041.51	c nbDecision=759500 #constraints=4606
1041.80/1042.23	c nbDecision=760000 #constraints=4606
1042.50/1042.94	c nbDecision=760500 #constraints=4606
1043.20/1043.66	c nbDecision=761000 #constraints=4606
1043.89/1044.37	c nbDecision=761500 #constraints=4606
1044.60/1045.07	c nbDecision=762000 #constraints=4606
1045.29/1045.78	c nbDecision=762500 #constraints=4606
1045.99/1046.48	c nbDecision=763000 #constraints=4606
1046.70/1047.18	c nbDecision=763500 #constraints=4606
1047.39/1047.88	c nbDecision=764000 #constraints=4606
1048.09/1048.58	c nbDecision=764500 #constraints=4606
1048.79/1049.28	c nbDecision=765000 #constraints=4606
1049.49/1049.97	c nbDecision=765500 #constraints=4606
1050.19/1050.67	c nbDecision=766000 #constraints=4606
1050.89/1051.35	c nbDecision=766500 #constraints=4606
1051.59/1052.03	c nbDecision=767000 #constraints=4606
1052.29/1052.71	c nbDecision=767500 #constraints=4606
1052.89/1053.39	c nbDecision=768000 #constraints=4606
1053.59/1054.06	c nbDecision=768500 #constraints=4606
1054.29/1054.74	c nbDecision=769000 #constraints=4606
1054.99/1055.41	c nbDecision=769500 #constraints=4606
1055.59/1056.08	c nbDecision=770000 #constraints=4606
1056.29/1056.74	c nbDecision=770500 #constraints=4606
1056.99/1057.41	c nbDecision=771000 #constraints=4606
1057.59/1058.06	c nbDecision=771500 #constraints=4606
1058.29/1058.71	c nbDecision=772000 #constraints=4606
1058.89/1059.36	c nbDecision=772500 #constraints=4606
1059.59/1060.00	c nbDecision=773000 #constraints=4606
1060.19/1060.65	c nbDecision=773500 #constraints=4606
1060.79/1061.29	c nbDecision=774000 #constraints=4606
1061.49/1061.93	c nbDecision=774500 #constraints=4606
1062.09/1062.56	c nbDecision=775000 #constraints=4606
1062.68/1063.20	c nbDecision=775500 #constraints=4606
1063.38/1063.83	c nbDecision=776000 #constraints=4606
1063.98/1064.46	c nbDecision=776500 #constraints=4606
1064.78/1065.20	c nbDecision=777000 #constraints=4607
1065.49/1065.92	c nbDecision=777500 #constraints=4607
1066.18/1066.64	c nbDecision=778000 #constraints=4607
1066.88/1067.34	c nbDecision=778500 #constraints=4607
1067.59/1068.06	c nbDecision=779000 #constraints=4607
1068.28/1068.77	c nbDecision=779500 #constraints=4607
1068.98/1069.49	c nbDecision=780000 #constraints=4607
1069.68/1070.20	c nbDecision=780500 #constraints=4607
1070.48/1070.90	c nbDecision=781000 #constraints=4607
1071.18/1071.61	c nbDecision=781500 #constraints=4607
1071.88/1072.31	c nbDecision=782000 #constraints=4607
1072.58/1073.00	c nbDecision=782500 #constraints=4607
1073.28/1073.70	c nbDecision=783000 #constraints=4607
1073.88/1074.39	c nbDecision=783500 #constraints=4607
1074.58/1075.08	c nbDecision=784000 #constraints=4607
1075.28/1075.76	c nbDecision=784500 #constraints=4607
1075.98/1076.45	c nbDecision=785000 #constraints=4607
1076.68/1077.13	c nbDecision=785500 #constraints=4607
1077.38/1077.80	c nbDecision=786000 #constraints=4607
1077.98/1078.47	c nbDecision=786500 #constraints=4607
1078.68/1079.13	c nbDecision=787000 #constraints=4607
1079.28/1079.80	c nbDecision=787500 #constraints=4607
1079.98/1080.46	c nbDecision=788000 #constraints=4607
1080.68/1081.12	c nbDecision=788500 #constraints=4607
1081.28/1081.77	c nbDecision=789000 #constraints=4607
1081.98/1082.42	c nbDecision=789500 #constraints=4607
1082.58/1083.07	c nbDecision=790000 #constraints=4607
1083.28/1083.72	c nbDecision=790500 #constraints=4607
1083.88/1084.36	c nbDecision=791000 #constraints=4607
1084.58/1085.00	c nbDecision=791500 #constraints=4607
1085.18/1085.64	c nbDecision=792000 #constraints=4607
1085.77/1086.28	c nbDecision=792500 #constraints=4607
1086.47/1086.91	c nbDecision=793000 #constraints=4607
1087.07/1087.54	c nbDecision=793500 #constraints=4607
1087.67/1088.17	c nbDecision=794000 #constraints=4607
1088.48/1088.92	c nbDecision=794500 #constraints=4608
1089.17/1089.66	c nbDecision=795000 #constraints=4608
1089.87/1090.39	c nbDecision=795500 #constraints=4608
1090.68/1091.13	c nbDecision=796000 #constraints=4608
1091.37/1091.86	c nbDecision=796500 #constraints=4608
1092.07/1092.59	c nbDecision=797000 #constraints=4608
1092.88/1093.32	c nbDecision=797500 #constraints=4608
1093.57/1094.03	c nbDecision=798000 #constraints=4608
1094.27/1094.75	c nbDecision=798500 #constraints=4608
1094.97/1095.47	c nbDecision=799000 #constraints=4608
1095.67/1096.18	c nbDecision=799500 #constraints=4608
1096.37/1096.89	c nbDecision=800000 #constraints=4608
1097.17/1097.60	c nbDecision=800500 #constraints=4608
1097.77/1098.30	c nbDecision=801000 #constraints=4608
1098.47/1099.00	c nbDecision=801500 #constraints=4608
1099.17/1099.69	c nbDecision=802000 #constraints=4608
1099.87/1100.38	c nbDecision=802500 #constraints=4608
1100.57/1101.06	c nbDecision=803000 #constraints=4608
1101.27/1101.75	c nbDecision=803500 #constraints=4608
1101.97/1102.43	c nbDecision=804000 #constraints=4608
1102.67/1103.11	c nbDecision=804500 #constraints=4608
1103.27/1103.79	c nbDecision=805000 #constraints=4608
1103.97/1104.46	c nbDecision=805500 #constraints=4608
1104.67/1105.14	c nbDecision=806000 #constraints=4608
1105.37/1105.81	c nbDecision=806500 #constraints=4608
1105.97/1106.47	c nbDecision=807000 #constraints=4608
1106.67/1107.14	c nbDecision=807500 #constraints=4608
1107.37/1107.81	c nbDecision=808000 #constraints=4608
1107.97/1108.47	c nbDecision=808500 #constraints=4608
1108.67/1109.13	c nbDecision=809000 #constraints=4608
1109.27/1109.79	c nbDecision=809500 #constraints=4608
1109.97/1110.44	c nbDecision=810000 #constraints=4608
1110.57/1111.09	c nbDecision=810500 #constraints=4608
1111.27/1111.74	c nbDecision=811000 #constraints=4608
1111.87/1112.39	c nbDecision=811500 #constraints=4608
1112.57/1113.04	c nbDecision=812000 #constraints=4608
1113.17/1113.68	c nbDecision=812500 #constraints=4608
1113.87/1114.32	c nbDecision=813000 #constraints=4608
1114.47/1114.96	c nbDecision=813500 #constraints=4608
1115.07/1115.59	c nbDecision=814000 #constraints=4608
1115.87/1116.30	c nbDecision=814500 #constraints=4609
1116.57/1117.01	c nbDecision=815000 #constraints=4609
1117.27/1117.72	c nbDecision=815500 #constraints=4609
1117.97/1118.42	c nbDecision=816000 #constraints=4609
1118.67/1119.12	c nbDecision=816500 #constraints=4609
1119.37/1119.81	c nbDecision=817000 #constraints=4609
1119.97/1120.50	c nbDecision=817500 #constraints=4609
1120.67/1121.18	c nbDecision=818000 #constraints=4609
1121.37/1121.87	c nbDecision=818500 #constraints=4609
1122.07/1122.56	c nbDecision=819000 #constraints=4609
1122.37/1122.83	c restart after 819201 decisions
1122.87/1123.31	c nbDecision=819500 #constraints=4609
1123.57/1124.06	c nbDecision=820000 #constraints=4609
1124.37/1124.81	c nbDecision=820500 #constraints=4609
1125.07/1125.55	c nbDecision=821000 #constraints=4609
1125.77/1126.29	c nbDecision=821500 #constraints=4609
1126.57/1127.03	c nbDecision=822000 #constraints=4609
1127.27/1127.77	c nbDecision=822500 #constraints=4609
1128.07/1128.51	c nbDecision=823000 #constraints=4609
1128.77/1129.24	c nbDecision=823500 #constraints=4609
1129.47/1129.98	c nbDecision=824000 #constraints=4609
1130.27/1130.71	c nbDecision=824500 #constraints=4609
1130.96/1131.44	c nbDecision=825000 #constraints=4609
1131.66/1132.16	c nbDecision=825500 #constraints=4609
1132.36/1132.89	c nbDecision=826000 #constraints=4609
1133.16/1133.61	c nbDecision=826500 #constraints=4609
1133.86/1134.31	c nbDecision=827000 #constraints=4609
1134.56/1135.03	c nbDecision=827500 #constraints=4609
1135.26/1135.74	c nbDecision=828000 #constraints=4609
1135.96/1136.45	c nbDecision=828500 #constraints=4609
1136.66/1137.15	c nbDecision=829000 #constraints=4609
1137.36/1137.85	c nbDecision=829500 #constraints=4609
1138.06/1138.55	c nbDecision=830000 #constraints=4609
1138.76/1139.24	c nbDecision=830500 #constraints=4609
1139.46/1139.93	c nbDecision=831000 #constraints=4609
1140.16/1140.62	c nbDecision=831500 #constraints=4609
1140.86/1141.30	c nbDecision=832000 #constraints=4609
1141.46/1141.98	c nbDecision=832500 #constraints=4609
1142.16/1142.66	c nbDecision=833000 #constraints=4609
1142.86/1143.34	c nbDecision=833500 #constraints=4609
1143.56/1144.01	c nbDecision=834000 #constraints=4609
1144.16/1144.68	c nbDecision=834500 #constraints=4609
1144.86/1145.35	c nbDecision=835000 #constraints=4609
1145.56/1146.01	c nbDecision=835500 #constraints=4609
1146.16/1146.68	c nbDecision=836000 #constraints=4609
1146.86/1147.33	c nbDecision=836500 #constraints=4609
1147.46/1147.99	c nbDecision=837000 #constraints=4609
1148.16/1148.65	c nbDecision=837500 #constraints=4609
1148.86/1149.31	c nbDecision=838000 #constraints=4609
1149.46/1149.95	c nbDecision=838500 #constraints=4609
1150.16/1150.61	c nbDecision=839000 #constraints=4609
1150.76/1151.26	c nbDecision=839500 #constraints=4609
1151.45/1151.90	c nbDecision=840000 #constraints=4609
1152.05/1152.55	c nbDecision=840500 #constraints=4609
1152.65/1153.19	c nbDecision=841000 #constraints=4609
1153.36/1153.82	c nbDecision=841500 #constraints=4609
1153.95/1154.46	c nbDecision=842000 #constraints=4609
1154.65/1155.18	c nbDecision=842500 #constraints=4610
1155.45/1155.92	c nbDecision=843000 #constraints=4610
1156.15/1156.65	c nbDecision=843500 #constraints=4610
1156.85/1157.39	c nbDecision=844000 #constraints=4610
1157.65/1158.11	c nbDecision=844500 #constraints=4610
1158.35/1158.83	c nbDecision=845000 #constraints=4610
1159.05/1159.55	c nbDecision=845500 #constraints=4610
1159.75/1160.27	c nbDecision=846000 #constraints=4610
1160.45/1160.98	c nbDecision=846500 #constraints=4610
1161.16/1161.69	c nbDecision=847000 #constraints=4610
1161.95/1162.40	c nbDecision=847500 #constraints=4610
1162.65/1163.11	c nbDecision=848000 #constraints=4610
1163.36/1163.81	c nbDecision=848500 #constraints=4610
1164.05/1164.51	c nbDecision=849000 #constraints=4610
1164.75/1165.21	c nbDecision=849500 #constraints=4610
1165.45/1165.90	c nbDecision=850000 #constraints=4610
1166.05/1166.60	c nbDecision=850500 #constraints=4610
1166.75/1167.28	c nbDecision=851000 #constraints=4610
1167.45/1167.97	c nbDecision=851500 #constraints=4610
1168.15/1168.66	c nbDecision=852000 #constraints=4610
1168.85/1169.35	c nbDecision=852500 #constraints=4610
1169.55/1170.03	c nbDecision=853000 #constraints=4610
1170.25/1170.72	c nbDecision=853500 #constraints=4610
1170.85/1171.39	c nbDecision=854000 #constraints=4610
1171.55/1172.06	c nbDecision=854500 #constraints=4610
1172.25/1172.73	c nbDecision=855000 #constraints=4610
1172.95/1173.40	c nbDecision=855500 #constraints=4610
1173.55/1174.07	c nbDecision=856000 #constraints=4610
1174.25/1174.74	c nbDecision=856500 #constraints=4610
1174.85/1175.39	c nbDecision=857000 #constraints=4610
1175.55/1176.05	c nbDecision=857500 #constraints=4610
1176.25/1176.71	c nbDecision=858000 #constraints=4610
1176.85/1177.36	c nbDecision=858500 #constraints=4610
1177.45/1178.00	c nbDecision=859000 #constraints=4610
1178.14/1178.64	c nbDecision=859500 #constraints=4610
1178.75/1179.28	c nbDecision=860000 #constraints=4610
1179.44/1179.92	c nbDecision=860500 #constraints=4610
1180.04/1180.56	c nbDecision=861000 #constraints=4610
1180.64/1181.19	c nbDecision=861500 #constraints=4610
1181.34/1181.82	c nbDecision=862000 #constraints=4610
1182.05/1182.52	c nbDecision=862500 #constraints=4611
1182.74/1183.24	c nbDecision=863000 #constraints=4611
1183.44/1183.95	c nbDecision=863500 #constraints=4611
1184.15/1184.67	c nbDecision=864000 #constraints=4611
1184.84/1185.38	c nbDecision=864500 #constraints=4611
1185.54/1186.09	c nbDecision=865000 #constraints=4611
1186.24/1186.79	c nbDecision=865500 #constraints=4611
1187.04/1187.50	c nbDecision=866000 #constraints=4611
1187.74/1188.21	c nbDecision=866500 #constraints=4611
1188.44/1188.91	c nbDecision=867000 #constraints=4611
1189.14/1189.62	c nbDecision=867500 #constraints=4611
1189.84/1190.32	c nbDecision=868000 #constraints=4611
1190.54/1191.01	c nbDecision=868500 #constraints=4611
1191.24/1191.70	c nbDecision=869000 #constraints=4611
1191.84/1192.39	c nbDecision=869500 #constraints=4611
1192.54/1193.08	c nbDecision=870000 #constraints=4611
1193.24/1193.77	c nbDecision=870500 #constraints=4611
1193.94/1194.45	c nbDecision=871000 #constraints=4611
1194.64/1195.13	c nbDecision=871500 #constraints=4611
1195.34/1195.80	c nbDecision=872000 #constraints=4611
1195.94/1196.48	c nbDecision=872500 #constraints=4611
1196.64/1197.15	c nbDecision=873000 #constraints=4611
1197.34/1197.81	c nbDecision=873500 #constraints=4611
1197.93/1198.47	c nbDecision=874000 #constraints=4611
1198.63/1199.13	c nbDecision=874500 #constraints=4611
1199.23/1199.78	c nbDecision=875000 #constraints=4611
1199.93/1200.44	c nbDecision=875500 #constraints=4611
1200.53/1201.09	c nbDecision=876000 #constraints=4611
1201.23/1201.73	c nbDecision=876500 #constraints=4611
1201.84/1202.38	c nbDecision=877000 #constraints=4611
1202.53/1203.02	c nbDecision=877500 #constraints=4611
1203.13/1203.66	c nbDecision=878000 #constraints=4611
1203.73/1204.29	c nbDecision=878500 #constraints=4611
1204.43/1204.92	c nbDecision=879000 #constraints=4611
1205.03/1205.55	c nbDecision=879500 #constraints=4611
1205.73/1206.25	c nbDecision=880000 #constraints=4612
1206.43/1206.99	c nbDecision=880500 #constraints=4612
1207.23/1207.73	c nbDecision=881000 #constraints=4612
1207.93/1208.47	c nbDecision=881500 #constraints=4612
1208.73/1209.20	c nbDecision=882000 #constraints=4612
1209.43/1209.94	c nbDecision=882500 #constraints=4612
1210.13/1210.67	c nbDecision=883000 #constraints=4612
1210.93/1211.40	c nbDecision=883500 #constraints=4612
1211.63/1212.13	c nbDecision=884000 #constraints=4612
1212.33/1212.86	c nbDecision=884500 #constraints=4612
1213.03/1213.58	c nbDecision=885000 #constraints=4612
1213.73/1214.30	c nbDecision=885500 #constraints=4612
1214.53/1215.02	c nbDecision=886000 #constraints=4612
1215.23/1215.73	c nbDecision=886500 #constraints=4612
1215.93/1216.44	c nbDecision=887000 #constraints=4612
1216.63/1217.15	c nbDecision=887500 #constraints=4612
1217.33/1217.85	c nbDecision=888000 #constraints=4612
1218.03/1218.55	c nbDecision=888500 #constraints=4612
1218.73/1219.24	c nbDecision=889000 #constraints=4612
1219.43/1219.93	c nbDecision=889500 #constraints=4612
1220.13/1220.62	c nbDecision=890000 #constraints=4612
1220.83/1221.31	c nbDecision=890500 #constraints=4612
1221.43/1221.99	c nbDecision=891000 #constraints=4612
1222.12/1222.67	c nbDecision=891500 #constraints=4612
1222.82/1223.34	c nbDecision=892000 #constraints=4612
1223.52/1224.02	c nbDecision=892500 #constraints=4612
1224.12/1224.69	c nbDecision=893000 #constraints=4612
1224.83/1225.35	c nbDecision=893500 #constraints=4612
1225.52/1226.02	c nbDecision=894000 #constraints=4612
1226.12/1226.68	c nbDecision=894500 #constraints=4612
1226.82/1227.35	c nbDecision=895000 #constraints=4612
1227.52/1228.01	c nbDecision=895500 #constraints=4612
1228.13/1228.67	c nbDecision=896000 #constraints=4612
1228.82/1229.33	c nbDecision=896500 #constraints=4612
1229.42/1229.99	c nbDecision=897000 #constraints=4612
1230.12/1230.64	c nbDecision=897500 #constraints=4612
1230.72/1231.29	c nbDecision=898000 #constraints=4612
1231.42/1231.94	c nbDecision=898500 #constraints=4612
1232.02/1232.58	c nbDecision=899000 #constraints=4612
1232.72/1233.22	c nbDecision=899500 #constraints=4612
1233.32/1233.86	c nbDecision=900000 #constraints=4612
1234.02/1234.50	c nbDecision=900500 #constraints=4612
1234.62/1235.13	c nbDecision=901000 #constraints=4612
1235.32/1235.89	c nbDecision=901500 #constraints=4613
1236.12/1236.63	c nbDecision=902000 #constraints=4613
1236.82/1237.37	c nbDecision=902500 #constraints=4613
1237.52/1238.09	c nbDecision=903000 #constraints=4613
1238.32/1238.81	c nbDecision=903500 #constraints=4613
1239.02/1239.53	c nbDecision=904000 #constraints=4613
1239.72/1240.25	c nbDecision=904500 #constraints=4613
1240.42/1240.97	c nbDecision=905000 #constraints=4613
1241.12/1241.68	c nbDecision=905500 #constraints=4613
1241.82/1242.39	c nbDecision=906000 #constraints=4613
1242.52/1243.09	c nbDecision=906500 #constraints=4613
1243.31/1243.80	c nbDecision=907000 #constraints=4613
1244.01/1244.50	c nbDecision=907500 #constraints=4613
1244.62/1245.20	c nbDecision=908000 #constraints=4613
1245.31/1245.90	c nbDecision=908500 #constraints=4613
1246.01/1246.59	c nbDecision=909000 #constraints=4613
1246.71/1247.27	c nbDecision=909500 #constraints=4613
1247.41/1247.97	c nbDecision=910000 #constraints=4613
1248.11/1248.66	c nbDecision=910500 #constraints=4613
1248.81/1249.34	c nbDecision=911000 #constraints=4613
1249.51/1250.02	c nbDecision=911500 #constraints=4613
1250.21/1250.71	c nbDecision=912000 #constraints=4613
1250.81/1251.38	c nbDecision=912500 #constraints=4613
1251.51/1252.06	c nbDecision=913000 #constraints=4613
1252.21/1252.73	c nbDecision=913500 #constraints=4613
1252.91/1253.40	c nbDecision=914000 #constraints=4613
1253.51/1254.07	c nbDecision=914500 #constraints=4613
1254.21/1254.74	c nbDecision=915000 #constraints=4613
1254.81/1255.40	c nbDecision=915500 #constraints=4613
1255.51/1256.06	c nbDecision=916000 #constraints=4613
1256.21/1256.72	c nbDecision=916500 #constraints=4613
1256.81/1257.37	c nbDecision=917000 #constraints=4613
1257.51/1258.02	c nbDecision=917500 #constraints=4613
1258.11/1258.66	c nbDecision=918000 #constraints=4613
1258.81/1259.31	c nbDecision=918500 #constraints=4613
1259.41/1259.95	c nbDecision=919000 #constraints=4613
1260.01/1260.58	c nbDecision=919500 #constraints=4613
1260.71/1261.20	c nbDecision=920000 #constraints=4613
1261.31/1261.83	c nbDecision=920500 #constraints=4613
1261.91/1262.46	c nbDecision=921000 #constraints=4613
1262.71/1263.23	c nbDecision=921500 #constraints=4614
1263.41/1263.96	c nbDecision=922000 #constraints=4614
1264.11/1264.69	c nbDecision=922500 #constraints=4614
1264.90/1265.41	c nbDecision=923000 #constraints=4614
1265.61/1266.14	c nbDecision=923500 #constraints=4614
1266.30/1266.86	c nbDecision=924000 #constraints=4614
1267.00/1267.58	c nbDecision=924500 #constraints=4614
1267.80/1268.30	c nbDecision=925000 #constraints=4614
1268.50/1269.02	c nbDecision=925500 #constraints=4614
1269.20/1269.73	c nbDecision=926000 #constraints=4614
1269.90/1270.44	c nbDecision=926500 #constraints=4614
1270.59/1271.16	c nbDecision=927000 #constraints=4614
1271.29/1271.87	c nbDecision=927500 #constraints=4614
1271.98/1272.57	c nbDecision=928000 #constraints=4614
1272.68/1273.28	c nbDecision=928500 #constraints=4614
1273.38/1273.97	c nbDecision=929000 #constraints=4614
1274.08/1274.66	c nbDecision=929500 #constraints=4614
1274.78/1275.36	c nbDecision=930000 #constraints=4614
1275.48/1276.05	c nbDecision=930500 #constraints=4614
1276.18/1276.74	c nbDecision=931000 #constraints=4614
1276.88/1277.42	c nbDecision=931500 #constraints=4614
1277.58/1278.10	c nbDecision=932000 #constraints=4614
1278.18/1278.77	c nbDecision=932500 #constraints=4614
1278.88/1279.45	c nbDecision=933000 #constraints=4614
1279.57/1280.12	c nbDecision=933500 #constraints=4614
1280.17/1280.78	c nbDecision=934000 #constraints=4614
1280.88/1281.45	c nbDecision=934500 #constraints=4614
1281.57/1282.11	c nbDecision=935000 #constraints=4614
1282.17/1282.77	c nbDecision=935500 #constraints=4614
1282.86/1283.44	c nbDecision=936000 #constraints=4614
1283.46/1284.10	c nbDecision=936500 #constraints=4614
1284.16/1284.75	c nbDecision=937000 #constraints=4614
1284.76/1285.39	c nbDecision=937500 #constraints=4614
1285.45/1286.04	c nbDecision=938000 #constraints=4614
1286.05/1286.68	c nbDecision=938500 #constraints=4614
1286.75/1287.32	c nbDecision=939000 #constraints=4614
1287.35/1287.96	c nbDecision=939500 #constraints=4614
1288.05/1288.60	c nbDecision=940000 #constraints=4614
1288.65/1289.24	c nbDecision=940500 #constraints=4614
1289.35/1289.93	c nbDecision=941000 #constraints=4615
1290.04/1290.67	c nbDecision=941500 #constraints=4615
1290.85/1291.42	c nbDecision=942000 #constraints=4615
1291.54/1292.17	c nbDecision=942500 #constraints=4615
1292.34/1292.91	c nbDecision=943000 #constraints=4615
1293.04/1293.64	c nbDecision=943500 #constraints=4615
1293.74/1294.38	c nbDecision=944000 #constraints=4615
1294.53/1295.12	c nbDecision=944500 #constraints=4615
1295.23/1295.85	c nbDecision=945000 #constraints=4615
1295.93/1296.57	c nbDecision=945500 #constraints=4615
1296.62/1297.30	c nbDecision=946000 #constraints=4615
1297.43/1298.01	c nbDecision=946500 #constraints=4615
1298.12/1298.71	c nbDecision=947000 #constraints=4615
1298.82/1299.42	c nbDecision=947500 #constraints=4615
1299.52/1300.13	c nbDecision=948000 #constraints=4615
1300.22/1300.83	c nbDecision=948500 #constraints=4615
1300.92/1301.52	c nbDecision=949000 #constraints=4615
1301.62/1302.22	c nbDecision=949500 #constraints=4615
1302.31/1302.91	c nbDecision=950000 #constraints=4615
1303.01/1303.60	c nbDecision=950500 #constraints=4615
1303.61/1304.29	c nbDecision=951000 #constraints=4615
1304.31/1304.98	c nbDecision=951500 #constraints=4615
1305.02/1305.65	c nbDecision=952000 #constraints=4615
1305.71/1306.34	c nbDecision=952500 #constraints=4615
1306.42/1307.01	c nbDecision=953000 #constraints=4615
1307.02/1307.69	c nbDecision=953500 #constraints=4615
1307.72/1308.36	c nbDecision=954000 #constraints=4615
1308.42/1309.04	c nbDecision=954500 #constraints=4615
1309.12/1309.71	c nbDecision=955000 #constraints=4615
1309.72/1310.38	c nbDecision=955500 #constraints=4615
1310.42/1311.04	c nbDecision=956000 #constraints=4615
1311.12/1311.71	c nbDecision=956500 #constraints=4615
1311.72/1312.37	c nbDecision=957000 #constraints=4615
1312.42/1313.02	c nbDecision=957500 #constraints=4615
1313.02/1313.68	c nbDecision=958000 #constraints=4615
1313.72/1314.33	c nbDecision=958500 #constraints=4615
1314.32/1314.99	c nbDecision=959000 #constraints=4615
1315.02/1315.63	c nbDecision=959500 #constraints=4615
1315.61/1316.28	c nbDecision=960000 #constraints=4615
1316.31/1316.92	c nbDecision=960500 #constraints=4615
1316.91/1317.56	c nbDecision=961000 #constraints=4615
1317.51/1318.19	c nbDecision=961500 #constraints=4615
1318.22/1318.81	c nbDecision=962000 #constraints=4615
1318.91/1319.56	c nbDecision=962500 #constraints=4616
1319.61/1320.29	c nbDecision=963000 #constraints=4616
1320.42/1321.02	c nbDecision=963500 #constraints=4616
1321.11/1321.74	c nbDecision=964000 #constraints=4616
1321.80/1322.48	c nbDecision=964500 #constraints=4616
1322.60/1323.20	c nbDecision=965000 #constraints=4616
1323.30/1323.92	c nbDecision=965500 #constraints=4616
1324.00/1324.63	c nbDecision=966000 #constraints=4616
1324.70/1325.35	c nbDecision=966500 #constraints=4616
1325.40/1326.06	c nbDecision=967000 #constraints=4616
1326.10/1326.76	c nbDecision=967500 #constraints=4616
1326.80/1327.47	c nbDecision=968000 #constraints=4616
1327.50/1328.17	c nbDecision=968500 #constraints=4616
1328.20/1328.87	c nbDecision=969000 #constraints=4616
1328.90/1329.57	c nbDecision=969500 #constraints=4616
1329.60/1330.27	c nbDecision=970000 #constraints=4616
1330.30/1330.97	c nbDecision=970500 #constraints=4616
1331.00/1331.67	c nbDecision=971000 #constraints=4616
1331.70/1332.35	c nbDecision=971500 #constraints=4616
1332.40/1333.04	c nbDecision=972000 #constraints=4616
1333.09/1333.72	c nbDecision=972500 #constraints=4616
1333.79/1334.41	c nbDecision=973000 #constraints=4616
1334.39/1335.09	c nbDecision=973500 #constraints=4616
1335.09/1335.76	c nbDecision=974000 #constraints=4616
1335.80/1336.44	c nbDecision=974500 #constraints=4616
1336.49/1337.11	c nbDecision=975000 #constraints=4616
1337.09/1337.78	c nbDecision=975500 #constraints=4616
1337.79/1338.44	c nbDecision=976000 #constraints=4616
1338.39/1339.09	c nbDecision=976500 #constraints=4616
1339.09/1339.74	c nbDecision=977000 #constraints=4616
1339.79/1340.40	c nbDecision=977500 #constraints=4616
1340.39/1341.05	c nbDecision=978000 #constraints=4616
1340.99/1341.69	c nbDecision=978500 #constraints=4616
1341.69/1342.34	c nbDecision=979000 #constraints=4616
1342.29/1342.98	c nbDecision=979500 #constraints=4616
1342.99/1343.61	c nbDecision=980000 #constraints=4616
1343.59/1344.25	c nbDecision=980500 #constraints=4616
1344.19/1344.88	c nbDecision=981000 #constraints=4616
1344.89/1345.51	c nbDecision=981500 #constraints=4616
1345.49/1346.18	c nbDecision=982000 #constraints=4617
1346.29/1346.92	c nbDecision=982500 #constraints=4617
1346.99/1347.66	c nbDecision=983000 #constraints=4617
1347.79/1348.40	c nbDecision=983500 #constraints=4617
1348.49/1349.14	c nbDecision=984000 #constraints=4617
1349.18/1349.87	c nbDecision=984500 #constraints=4617
1349.98/1350.61	c nbDecision=985000 #constraints=4617
1350.68/1351.34	c nbDecision=985500 #constraints=4617
1351.38/1352.07	c nbDecision=986000 #constraints=4617
1352.08/1352.79	c nbDecision=986500 #constraints=4617
1352.88/1353.51	c nbDecision=987000 #constraints=4617
1353.58/1354.23	c nbDecision=987500 #constraints=4617
1354.28/1354.95	c nbDecision=988000 #constraints=4617
1354.98/1355.66	c nbDecision=988500 #constraints=4617
1355.69/1356.38	c nbDecision=989000 #constraints=4617
1356.38/1357.08	c nbDecision=989500 #constraints=4617
1357.08/1357.79	c nbDecision=990000 #constraints=4617
1357.79/1358.48	c nbDecision=990500 #constraints=4617
1358.48/1359.18	c nbDecision=991000 #constraints=4617
1359.18/1359.87	c nbDecision=991500 #constraints=4617
1359.88/1360.56	c nbDecision=992000 #constraints=4617
1360.58/1361.24	c nbDecision=992500 #constraints=4617
1361.28/1361.92	c nbDecision=993000 #constraints=4617
1361.98/1362.60	c nbDecision=993500 #constraints=4617
1362.58/1363.27	c nbDecision=994000 #constraints=4617
1363.28/1363.94	c nbDecision=994500 #constraints=4617
1363.98/1364.62	c nbDecision=995000 #constraints=4617
1364.58/1365.28	c nbDecision=995500 #constraints=4617
1365.28/1365.95	c nbDecision=996000 #constraints=4617
1365.98/1366.61	c nbDecision=996500 #constraints=4617
1366.58/1367.27	c nbDecision=997000 #constraints=4617
1367.28/1367.93	c nbDecision=997500 #constraints=4617
1367.88/1368.59	c nbDecision=998000 #constraints=4617
1368.58/1369.25	c nbDecision=998500 #constraints=4617
1369.28/1369.91	c nbDecision=999000 #constraints=4617
1369.88/1370.56	c nbDecision=999500 #constraints=4617
1370.58/1371.21	c nbDecision=1000000 #constraints=4617
1371.18/1371.86	c nbDecision=1000500 #constraints=4617
1371.88/1372.51	c nbDecision=1001000 #constraints=4617
1372.47/1373.15	c nbDecision=1001500 #constraints=4617
1373.07/1373.79	c nbDecision=1002000 #constraints=4617
1373.77/1374.42	c nbDecision=1002500 #constraints=4617
1374.38/1375.06	c nbDecision=1003000 #constraints=4617
1375.17/1375.83	c nbDecision=1003500 #constraints=4618
1375.87/1376.57	c nbDecision=1004000 #constraints=4618
1376.67/1377.30	c nbDecision=1004500 #constraints=4618
1377.37/1378.04	c nbDecision=1005000 #constraints=4618
1378.07/1378.77	c nbDecision=1005500 #constraints=4618
1378.78/1379.49	c nbDecision=1006000 #constraints=4618
1379.57/1380.22	c nbDecision=1006500 #constraints=4618
1380.27/1380.94	c nbDecision=1007000 #constraints=4618
1380.98/1381.66	c nbDecision=1007500 #constraints=4618
1381.67/1382.37	c nbDecision=1008000 #constraints=4618
1382.37/1383.09	c nbDecision=1008500 #constraints=4618
1383.07/1383.80	c nbDecision=1009000 #constraints=4618
1383.87/1384.51	c nbDecision=1009500 #constraints=4618
1384.57/1385.21	c nbDecision=1010000 #constraints=4618
1385.27/1385.91	c nbDecision=1010500 #constraints=4618
1385.97/1386.61	c nbDecision=1011000 #constraints=4618
1386.67/1387.31	c nbDecision=1011500 #constraints=4618
1387.37/1388.01	c nbDecision=1012000 #constraints=4618
1388.07/1388.71	c nbDecision=1012500 #constraints=4618
1388.77/1389.40	c nbDecision=1013000 #constraints=4618
1389.37/1390.10	c nbDecision=1013500 #constraints=4618
1390.07/1390.79	c nbDecision=1014000 #constraints=4618
1390.77/1391.47	c nbDecision=1014500 #constraints=4618
1391.47/1392.16	c nbDecision=1015000 #constraints=4618
1392.17/1392.84	c nbDecision=1015500 #constraints=4618
1392.87/1393.51	c nbDecision=1016000 #constraints=4618
1393.47/1394.19	c nbDecision=1016500 #constraints=4618
1394.17/1394.86	c nbDecision=1017000 #constraints=4618
1394.87/1395.53	c nbDecision=1017500 #constraints=4618
1395.57/1396.20	c nbDecision=1018000 #constraints=4618
1396.16/1396.87	c nbDecision=1018500 #constraints=4618
1396.86/1397.53	c nbDecision=1019000 #constraints=4618
1397.47/1398.18	c nbDecision=1019500 #constraints=4618
1398.16/1398.83	c nbDecision=1020000 #constraints=4618
1398.76/1399.47	c nbDecision=1020500 #constraints=4618
1399.46/1400.12	c nbDecision=1021000 #constraints=4618
1400.06/1400.76	c nbDecision=1021500 #constraints=4618
1400.67/1401.39	c nbDecision=1022000 #constraints=4618
1401.36/1402.03	c nbDecision=1022500 #constraints=4618
1401.96/1402.66	c nbDecision=1023000 #constraints=4618
1402.56/1403.30	c nbDecision=1023500 #constraints=4618
1403.26/1403.92	c nbDecision=1024000 #constraints=4618
1403.97/1404.66	c nbDecision=1024500 #constraints=4619
1404.66/1405.39	c nbDecision=1025000 #constraints=4619
1405.46/1406.12	c nbDecision=1025500 #constraints=4619
1406.16/1406.84	c nbDecision=1026000 #constraints=4619
1406.86/1407.57	c nbDecision=1026500 #constraints=4619
1407.66/1408.30	c nbDecision=1027000 #constraints=4619
1408.36/1409.02	c nbDecision=1027500 #constraints=4619
1409.06/1409.74	c nbDecision=1028000 #constraints=4619
1409.76/1410.46	c nbDecision=1028500 #constraints=4619
1410.46/1411.18	c nbDecision=1029000 #constraints=4619
1411.16/1411.89	c nbDecision=1029500 #constraints=4619
1411.96/1412.60	c nbDecision=1030000 #constraints=4619
1412.66/1413.31	c nbDecision=1030500 #constraints=4619
1413.36/1414.02	c nbDecision=1031000 #constraints=4619
1414.06/1414.72	c nbDecision=1031500 #constraints=4619
1414.76/1415.42	c nbDecision=1032000 #constraints=4619
1415.46/1416.12	c nbDecision=1032500 #constraints=4619
1416.16/1416.81	c nbDecision=1033000 #constraints=4619
1416.86/1417.50	c nbDecision=1033500 #constraints=4619
1417.46/1418.18	c nbDecision=1034000 #constraints=4619
1418.16/1418.86	c nbDecision=1034500 #constraints=4619
1418.86/1419.54	c nbDecision=1035000 #constraints=4619
1419.55/1420.21	c nbDecision=1035500 #constraints=4619
1420.15/1420.89	c nbDecision=1036000 #constraints=4619
1420.85/1421.55	c nbDecision=1036500 #constraints=4619
1421.56/1422.22	c nbDecision=1037000 #constraints=4619
1422.15/1422.88	c nbDecision=1037500 #constraints=4619
1422.85/1423.54	c nbDecision=1038000 #constraints=4619
1423.55/1424.20	c nbDecision=1038500 #constraints=4619
1424.15/1424.86	c nbDecision=1039000 #constraints=4619
1424.86/1425.51	c nbDecision=1039500 #constraints=4619
1425.45/1426.16	c nbDecision=1040000 #constraints=4619
1426.15/1426.80	c nbDecision=1040500 #constraints=4619
1426.75/1427.44	c nbDecision=1041000 #constraints=4619
1427.35/1428.09	c nbDecision=1041500 #constraints=4619
1428.05/1428.73	c nbDecision=1042000 #constraints=4619
1428.65/1429.37	c nbDecision=1042500 #constraints=4619
1429.35/1430.01	c nbDecision=1043000 #constraints=4619
1429.95/1430.65	c nbDecision=1043500 #constraints=4619
1430.65/1431.33	c nbDecision=1044000 #constraints=4620
1431.35/1432.08	c nbDecision=1044500 #constraints=4620
1432.15/1432.82	c nbDecision=1045000 #constraints=4620
1432.85/1433.56	c nbDecision=1045500 #constraints=4620
1433.55/1434.30	c nbDecision=1046000 #constraints=4620
1434.35/1435.03	c nbDecision=1046500 #constraints=4620
1435.05/1435.77	c nbDecision=1047000 #constraints=4620
1435.75/1436.50	c nbDecision=1047500 #constraints=4620
1436.55/1437.22	c nbDecision=1048000 #constraints=4620
1437.25/1437.94	c nbDecision=1048500 #constraints=4620
1437.95/1438.66	c nbDecision=1049000 #constraints=4620
1438.64/1439.37	c nbDecision=1049500 #constraints=4620
1439.34/1440.08	c nbDecision=1050000 #constraints=4620
1440.04/1440.77	c nbDecision=1050500 #constraints=4620
1440.74/1441.48	c nbDecision=1051000 #constraints=4620
1441.45/1442.18	c nbDecision=1051500 #constraints=4620
1442.14/1442.88	c nbDecision=1052000 #constraints=4620
1442.84/1443.58	c nbDecision=1052500 #constraints=4620
1443.55/1444.27	c nbDecision=1053000 #constraints=4620
1444.24/1444.95	c nbDecision=1053500 #constraints=4620
1444.94/1445.64	c nbDecision=1054000 #constraints=4620
1445.64/1446.32	c nbDecision=1054500 #constraints=4620
1446.34/1447.01	c nbDecision=1055000 #constraints=4620
1446.95/1447.69	c nbDecision=1055500 #constraints=4620
1447.64/1448.37	c nbDecision=1056000 #constraints=4620
1448.34/1449.05	c nbDecision=1056500 #constraints=4620
1449.04/1449.73	c nbDecision=1057000 #constraints=4620
1449.74/1450.41	c nbDecision=1057500 #constraints=4620
1450.34/1451.08	c nbDecision=1058000 #constraints=4620
1451.04/1451.75	c nbDecision=1058500 #constraints=4620
1451.74/1452.41	c nbDecision=1059000 #constraints=4620
1452.34/1453.07	c nbDecision=1059500 #constraints=4620
1453.04/1453.74	c nbDecision=1060000 #constraints=4620
1453.64/1454.39	c nbDecision=1060500 #constraints=4620
1454.34/1455.05	c nbDecision=1061000 #constraints=4620
1455.04/1455.70	c nbDecision=1061500 #constraints=4620
1455.64/1456.35	c nbDecision=1062000 #constraints=4620
1456.24/1456.99	c nbDecision=1062500 #constraints=4620
1456.94/1457.64	c nbDecision=1063000 #constraints=4620
1457.54/1458.27	c nbDecision=1063500 #constraints=4620
1458.24/1458.91	c nbDecision=1064000 #constraints=4620
1458.84/1459.54	c nbDecision=1064500 #constraints=4620
1459.54/1460.21	c nbDecision=1065000 #constraints=4621
1460.24/1460.94	c nbDecision=1065500 #constraints=4621
1460.94/1461.68	c nbDecision=1066000 #constraints=4621
1461.74/1462.41	c nbDecision=1066500 #constraints=4621
1462.43/1463.15	c nbDecision=1067000 #constraints=4621
1463.13/1463.87	c nbDecision=1067500 #constraints=4621
1463.93/1464.60	c nbDecision=1068000 #constraints=4621
1464.63/1465.32	c nbDecision=1068500 #constraints=4621
1465.33/1466.04	c nbDecision=1069000 #constraints=4621
1466.03/1466.76	c nbDecision=1069500 #constraints=4621
1466.74/1467.47	c nbDecision=1070000 #constraints=4621
1467.43/1468.19	c nbDecision=1070500 #constraints=4621
1468.23/1468.90	c nbDecision=1071000 #constraints=4621
1468.94/1469.62	c nbDecision=1071500 #constraints=4621
1469.63/1470.33	c nbDecision=1072000 #constraints=4621
1470.33/1471.04	c nbDecision=1072500 #constraints=4621
1471.03/1471.74	c nbDecision=1073000 #constraints=4621
1471.73/1472.45	c nbDecision=1073500 #constraints=4621
1472.43/1473.15	c nbDecision=1074000 #constraints=4621
1473.13/1473.84	c nbDecision=1074500 #constraints=4621
1473.83/1474.54	c nbDecision=1075000 #constraints=4621
1474.53/1475.23	c nbDecision=1075500 #constraints=4621
1475.23/1475.91	c nbDecision=1076000 #constraints=4621
1475.93/1476.60	c nbDecision=1076500 #constraints=4621
1476.53/1477.28	c nbDecision=1077000 #constraints=4621
1477.23/1477.95	c nbDecision=1077500 #constraints=4621
1477.93/1478.63	c nbDecision=1078000 #constraints=4621
1478.53/1479.29	c nbDecision=1078500 #constraints=4621
1479.23/1479.96	c nbDecision=1079000 #constraints=4621
1479.93/1480.62	c nbDecision=1079500 #constraints=4621
1480.53/1481.28	c nbDecision=1080000 #constraints=4621
1481.23/1481.93	c nbDecision=1080500 #constraints=4621
1481.82/1482.59	c nbDecision=1081000 #constraints=4621
1482.52/1483.24	c nbDecision=1081500 #constraints=4621
1483.13/1483.89	c nbDecision=1082000 #constraints=4621
1483.82/1484.54	c nbDecision=1082500 #constraints=4621
1484.42/1485.18	c nbDecision=1083000 #constraints=4621
1485.12/1485.82	c nbDecision=1083500 #constraints=4621
1485.72/1486.46	c nbDecision=1084000 #constraints=4621
1486.32/1487.10	c nbDecision=1084500 #constraints=4621
1487.02/1487.74	c nbDecision=1085000 #constraints=4621
1487.62/1488.37	c nbDecision=1085500 #constraints=4621
1488.32/1489.04	c nbDecision=1086000 #constraints=4622
1489.02/1489.78	c nbDecision=1086500 #constraints=4622
1489.82/1490.52	c nbDecision=1087000 #constraints=4622
1490.52/1491.25	c nbDecision=1087500 #constraints=4622
1491.22/1491.98	c nbDecision=1088000 #constraints=4622
1492.02/1492.71	c nbDecision=1088500 #constraints=4622
1492.72/1493.44	c nbDecision=1089000 #constraints=4622
1493.41/1494.15	c nbDecision=1089500 #constraints=4622
1494.12/1494.87	c nbDecision=1090000 #constraints=4622
1494.81/1495.58	c nbDecision=1090500 #constraints=4622
1495.51/1496.29	c nbDecision=1091000 #constraints=4622
1496.32/1497.01	c nbDecision=1091500 #constraints=4622
1497.01/1497.71	c nbDecision=1092000 #constraints=4622
1497.71/1498.41	c nbDecision=1092500 #constraints=4622
1498.41/1499.11	c nbDecision=1093000 #constraints=4622
1499.02/1499.79	c nbDecision=1093500 #constraints=4622
1499.72/1500.49	c nbDecision=1094000 #constraints=4622
1500.41/1501.18	c nbDecision=1094500 #constraints=4622
1501.11/1501.86	c nbDecision=1095000 #constraints=4622
1501.82/1502.55	c nbDecision=1095500 #constraints=4622
1502.51/1503.23	c nbDecision=1096000 #constraints=4622
1503.21/1503.90	c nbDecision=1096500 #constraints=4622
1503.81/1504.58	c nbDecision=1097000 #constraints=4622
1504.51/1505.25	c nbDecision=1097500 #constraints=4622
1505.22/1505.92	c nbDecision=1098000 #constraints=4622
1505.81/1506.59	c nbDecision=1098500 #constraints=4622
1506.51/1507.25	c nbDecision=1099000 #constraints=4622
1507.21/1507.92	c nbDecision=1099500 #constraints=4622
1507.81/1508.58	c nbDecision=1100000 #constraints=4622
1508.51/1509.24	c nbDecision=1100500 #constraints=4622
1509.21/1509.90	c nbDecision=1101000 #constraints=4622
1509.81/1510.56	c nbDecision=1101500 #constraints=4622
1510.51/1511.21	c nbDecision=1102000 #constraints=4622
1511.11/1511.86	c nbDecision=1102500 #constraints=4622
1511.81/1512.52	c nbDecision=1103000 #constraints=4622
1512.41/1513.17	c nbDecision=1103500 #constraints=4622
1513.11/1513.81	c nbDecision=1104000 #constraints=4622
1513.71/1514.45	c nbDecision=1104500 #constraints=4622
1514.31/1515.09	c nbDecision=1105000 #constraints=4622
1515.01/1515.72	c nbDecision=1105500 #constraints=4622
1515.71/1516.45	c nbDecision=1106000 #constraints=4623
1516.41/1517.20	c nbDecision=1106500 #constraints=4623
1517.21/1517.93	c nbDecision=1107000 #constraints=4623
1517.91/1518.65	c nbDecision=1107500 #constraints=4623
1518.61/1519.38	c nbDecision=1108000 #constraints=4623
1519.41/1520.11	c nbDecision=1108500 #constraints=4623
1520.10/1520.83	c nbDecision=1109000 #constraints=4623
1520.80/1521.55	c nbDecision=1109500 #constraints=4623
1521.50/1522.27	c nbDecision=1110000 #constraints=4623
1522.20/1522.99	c nbDecision=1110500 #constraints=4623
1523.00/1523.70	c nbDecision=1111000 #constraints=4623
1523.70/1524.41	c nbDecision=1111500 #constraints=4623
1524.40/1525.12	c nbDecision=1112000 #constraints=4623
1525.10/1525.82	c nbDecision=1112500 #constraints=4623
1525.80/1526.53	c nbDecision=1113000 #constraints=4623
1526.50/1527.23	c nbDecision=1113500 #constraints=4623
1527.21/1527.93	c nbDecision=1114000 #constraints=4623
1527.90/1528.63	c nbDecision=1114500 #constraints=4623
1528.60/1529.33	c nbDecision=1115000 #constraints=4623
1529.31/1530.03	c nbDecision=1115500 #constraints=4623
1530.00/1530.72	c nbDecision=1116000 #constraints=4623
1530.70/1531.41	c nbDecision=1116500 #constraints=4623
1531.30/1532.10	c nbDecision=1117000 #constraints=4623
1532.00/1532.78	c nbDecision=1117500 #constraints=4623
1532.70/1533.46	c nbDecision=1118000 #constraints=4623
1533.40/1534.14	c nbDecision=1118500 #constraints=4623
1534.10/1534.81	c nbDecision=1119000 #constraints=4623
1534.70/1535.49	c nbDecision=1119500 #constraints=4623
1535.40/1536.16	c nbDecision=1120000 #constraints=4623
1536.10/1536.83	c nbDecision=1120500 #constraints=4623
1536.70/1537.48	c nbDecision=1121000 #constraints=4623
1537.40/1538.14	c nbDecision=1121500 #constraints=4623
1538.00/1538.79	c nbDecision=1122000 #constraints=4623
1538.70/1539.44	c nbDecision=1122500 #constraints=4623
1539.30/1540.09	c nbDecision=1123000 #constraints=4623
1540.00/1540.74	c nbDecision=1123500 #constraints=4623
1540.60/1541.38	c nbDecision=1124000 #constraints=4623
1541.30/1542.02	c nbDecision=1124500 #constraints=4623
1541.90/1542.66	c nbDecision=1125000 #constraints=4623
1542.50/1543.29	c nbDecision=1125500 #constraints=4623
1543.20/1543.92	c nbDecision=1126000 #constraints=4623
1543.80/1544.55	c nbDecision=1126500 #constraints=4623
1544.50/1545.27	c nbDecision=1127000 #constraints=4624
1545.30/1546.01	c nbDecision=1127500 #constraints=4624
1546.00/1546.74	c nbDecision=1128000 #constraints=4624
1546.70/1547.47	c nbDecision=1128500 #constraints=4624
1547.50/1548.20	c nbDecision=1129000 #constraints=4624
1548.20/1548.92	c nbDecision=1129500 #constraints=4624
1548.90/1549.64	c nbDecision=1130000 #constraints=4624
1549.60/1550.36	c nbDecision=1130500 #constraints=4624
1550.31/1551.08	c nbDecision=1131000 #constraints=4624
1551.10/1551.80	c nbDecision=1131500 #constraints=4624
1551.80/1552.51	c nbDecision=1132000 #constraints=4624
1552.50/1553.22	c nbDecision=1132500 #constraints=4624
1553.20/1553.93	c nbDecision=1133000 #constraints=4624
1553.90/1554.64	c nbDecision=1133500 #constraints=4624
1554.60/1555.34	c nbDecision=1134000 #constraints=4624
1555.30/1556.04	c nbDecision=1134500 #constraints=4624
1556.00/1556.73	c nbDecision=1135000 #constraints=4624
1556.70/1557.43	c nbDecision=1135500 #constraints=4624
1557.40/1558.11	c nbDecision=1136000 #constraints=4624
1558.00/1558.79	c nbDecision=1136500 #constraints=4624
1558.70/1559.47	c nbDecision=1137000 #constraints=4624
1559.40/1560.15	c nbDecision=1137500 #constraints=4624
1560.10/1560.82	c nbDecision=1138000 #constraints=4624
1560.70/1561.49	c nbDecision=1138500 #constraints=4624
1561.40/1562.15	c nbDecision=1139000 #constraints=4624
1562.10/1562.82	c nbDecision=1139500 #constraints=4624
1562.70/1563.48	c nbDecision=1140000 #constraints=4624
1563.40/1564.14	c nbDecision=1140500 #constraints=4624
1564.10/1564.80	c nbDecision=1141000 #constraints=4624
1564.70/1565.45	c nbDecision=1141500 #constraints=4624
1565.40/1566.11	c nbDecision=1142000 #constraints=4624
1566.00/1566.75	c nbDecision=1142500 #constraints=4624
1566.70/1567.40	c nbDecision=1143000 #constraints=4624
1567.29/1568.05	c nbDecision=1143500 #constraints=4624
1567.99/1568.70	c nbDecision=1144000 #constraints=4624
1568.59/1569.34	c nbDecision=1144500 #constraints=4624
1569.19/1569.99	c nbDecision=1145000 #constraints=4624
1569.90/1570.62	c nbDecision=1145500 #constraints=4624
1570.49/1571.26	c nbDecision=1146000 #constraints=4624
1571.20/1571.95	c nbDecision=1146500 #constraints=4625
1571.89/1572.70	c nbDecision=1147000 #constraints=4625
1572.69/1573.44	c nbDecision=1147500 #constraints=4625
1573.40/1574.18	c nbDecision=1148000 #constraints=4625
1574.19/1574.91	c nbDecision=1148500 #constraints=4625
1574.89/1575.65	c nbDecision=1149000 #constraints=4625
1575.60/1576.38	c nbDecision=1149500 #constraints=4625
1576.39/1577.11	c nbDecision=1150000 #constraints=4625
1577.09/1577.83	c nbDecision=1150500 #constraints=4625
1577.80/1578.55	c nbDecision=1151000 #constraints=4625
1578.49/1579.27	c nbDecision=1151500 #constraints=4625
1579.19/1579.98	c nbDecision=1152000 #constraints=4625
1579.90/1580.69	c nbDecision=1152500 #constraints=4625
1580.59/1581.39	c nbDecision=1153000 #constraints=4625
1581.29/1582.09	c nbDecision=1153500 #constraints=4625
1581.99/1582.79	c nbDecision=1154000 #constraints=4625
1582.69/1583.49	c nbDecision=1154500 #constraints=4625
1583.39/1584.18	c nbDecision=1155000 #constraints=4625
1584.09/1584.88	c nbDecision=1155500 #constraints=4625
1584.79/1585.57	c nbDecision=1156000 #constraints=4625
1585.49/1586.25	c nbDecision=1156500 #constraints=4625
1586.19/1586.93	c nbDecision=1157000 #constraints=4625
1586.89/1587.62	c nbDecision=1157500 #constraints=4625
1587.59/1588.30	c nbDecision=1158000 #constraints=4625
1588.19/1588.99	c nbDecision=1158500 #constraints=4625
1588.89/1589.67	c nbDecision=1159000 #constraints=4625
1589.59/1590.34	c nbDecision=1159500 #constraints=4625
1590.29/1591.02	c nbDecision=1160000 #constraints=4625
1590.89/1591.69	c nbDecision=1160500 #constraints=4625
1591.59/1592.36	c nbDecision=1161000 #constraints=4625
1592.29/1593.02	c nbDecision=1161500 #constraints=4625
1592.89/1593.69	c nbDecision=1162000 #constraints=4625
1593.59/1594.35	c nbDecision=1162500 #constraints=4625
1594.29/1595.00	c nbDecision=1163000 #constraints=4625
1594.89/1595.66	c nbDecision=1163500 #constraints=4625
1595.59/1596.31	c nbDecision=1164000 #constraints=4625
1596.19/1596.96	c nbDecision=1164500 #constraints=4625
1596.89/1597.60	c nbDecision=1165000 #constraints=4625
1597.49/1598.24	c nbDecision=1165500 #constraints=4625
1598.09/1598.88	c nbDecision=1166000 #constraints=4625
1598.78/1599.50	c nbDecision=1166500 #constraints=4625
1599.38/1600.13	c nbDecision=1167000 #constraints=4625
1600.08/1600.82	c nbDecision=1167500 #constraints=4626
1600.79/1601.55	c nbDecision=1168000 #constraints=4626
1601.48/1602.27	c nbDecision=1168500 #constraints=4626
1602.18/1602.99	c nbDecision=1169000 #constraints=4626
1602.99/1603.70	c nbDecision=1169500 #constraints=4626
1603.68/1604.41	c nbDecision=1170000 #constraints=4626
1604.38/1605.12	c nbDecision=1170500 #constraints=4626
1605.08/1605.83	c nbDecision=1171000 #constraints=4626
1605.78/1606.54	c nbDecision=1171500 #constraints=4626
1606.48/1607.24	c nbDecision=1172000 #constraints=4626
1607.18/1607.95	c nbDecision=1172500 #constraints=4626
1607.88/1608.66	c nbDecision=1173000 #constraints=4626
1608.58/1609.36	c nbDecision=1173500 #constraints=4626
1609.28/1610.06	c nbDecision=1174000 #constraints=4626
1609.98/1610.76	c nbDecision=1174500 #constraints=4626
1610.68/1611.45	c nbDecision=1175000 #constraints=4626
1611.38/1612.15	c nbDecision=1175500 #constraints=4626
1612.08/1612.83	c nbDecision=1176000 #constraints=4626
1612.77/1613.52	c nbDecision=1176500 #constraints=4626
1613.47/1614.21	c nbDecision=1177000 #constraints=4626
1614.08/1614.89	c nbDecision=1177500 #constraints=4626
1614.77/1615.57	c nbDecision=1178000 #constraints=4626
1615.47/1616.24	c nbDecision=1178500 #constraints=4626
1616.18/1616.91	c nbDecision=1179000 #constraints=4626
1616.77/1617.58	c nbDecision=1179500 #constraints=4626
1617.47/1618.24	c nbDecision=1180000 #constraints=4626
1618.17/1618.90	c nbDecision=1180500 #constraints=4626
1618.77/1619.56	c nbDecision=1181000 #constraints=4626
1619.48/1620.21	c nbDecision=1181500 #constraints=4626
1620.07/1620.86	c nbDecision=1182000 #constraints=4626
1620.77/1621.51	c nbDecision=1182500 #constraints=4626
1621.37/1622.15	c nbDecision=1183000 #constraints=4626
1621.97/1622.79	c nbDecision=1183500 #constraints=4626
1622.67/1623.43	c nbDecision=1184000 #constraints=4626
1623.27/1624.07	c nbDecision=1184500 #constraints=4626
1623.87/1624.70	c nbDecision=1185000 #constraints=4626
1624.57/1625.33	c nbDecision=1185500 #constraints=4626
1625.17/1625.95	c nbDecision=1186000 #constraints=4626
1625.87/1626.70	c nbDecision=1186500 #constraints=4627
1626.67/1627.41	c nbDecision=1187000 #constraints=4627
1627.37/1628.14	c nbDecision=1187500 #constraints=4627
1628.07/1628.86	c nbDecision=1188000 #constraints=4627
1628.77/1629.57	c nbDecision=1188500 #constraints=4627
1629.47/1630.29	c nbDecision=1189000 #constraints=4627
1630.27/1631.00	c nbDecision=1189500 #constraints=4627
1630.97/1631.70	c nbDecision=1190000 #constraints=4627
1631.67/1632.41	c nbDecision=1190500 #constraints=4627
1632.37/1633.11	c nbDecision=1191000 #constraints=4627
1633.07/1633.81	c nbDecision=1191500 #constraints=4627
1633.77/1634.51	c nbDecision=1192000 #constraints=4627
1634.47/1635.21	c nbDecision=1192500 #constraints=4627
1635.17/1635.90	c nbDecision=1193000 #constraints=4627
1635.77/1636.59	c nbDecision=1193500 #constraints=4627
1636.47/1637.27	c nbDecision=1194000 #constraints=4627
1637.17/1637.95	c nbDecision=1194500 #constraints=4627
1637.86/1638.62	c nbDecision=1195000 #constraints=4627
1638.46/1639.30	c nbDecision=1195500 #constraints=4627
1639.16/1639.97	c nbDecision=1196000 #constraints=4627
1639.86/1640.63	c nbDecision=1196500 #constraints=4627
1640.47/1641.30	c nbDecision=1197000 #constraints=4627
1641.16/1641.96	c nbDecision=1197500 #constraints=4627
1641.86/1642.61	c nbDecision=1198000 #constraints=4627
1642.46/1643.27	c nbDecision=1198500 #constraints=4627
1643.16/1643.92	c nbDecision=1199000 #constraints=4627
1643.76/1644.57	c nbDecision=1199500 #constraints=4627
1644.46/1645.22	c nbDecision=1200000 #constraints=4627
1645.06/1645.86	c nbDecision=1200500 #constraints=4627
1645.76/1646.51	c nbDecision=1201000 #constraints=4627
1646.36/1647.15	c nbDecision=1201500 #constraints=4627
1646.96/1647.79	c nbDecision=1202000 #constraints=4627
1647.66/1648.43	c nbDecision=1202500 #constraints=4627
1648.26/1649.06	c nbDecision=1203000 #constraints=4627
1648.96/1649.70	c nbDecision=1203500 #constraints=4627
1649.56/1650.35	c nbDecision=1204000 #constraints=4628
1650.16/1651.00	c nbDecision=1204500 #constraints=4628
1650.86/1651.64	c nbDecision=1205000 #constraints=4628
1651.46/1652.28	c nbDecision=1205500 #constraints=4628
1652.16/1652.91	c nbDecision=1206000 #constraints=4628
1652.76/1653.54	c nbDecision=1206500 #constraints=4628
1653.36/1654.19	c nbDecision=1207000 #constraints=4629
1654.05/1654.83	c nbDecision=1207500 #constraints=4629
1654.66/1655.48	c nbDecision=1208000 #constraints=4629
1655.35/1656.12	c nbDecision=1208500 #constraints=4629
1655.95/1656.76	c nbDecision=1209000 #constraints=4629
1656.55/1657.39	c nbDecision=1209500 #constraints=4629
1657.25/1658.03	c nbDecision=1210000 #constraints=4630
1657.85/1658.67	c nbDecision=1210500 #constraints=4630
1658.55/1659.31	c nbDecision=1211000 #constraints=4630
1659.16/1659.94	c nbDecision=1211500 #constraints=4630
1659.75/1660.57	c nbDecision=1212000 #constraints=4630
1660.45/1661.20	c nbDecision=1212500 #constraints=4630
1661.15/1661.92	c nbDecision=1213000 #constraints=4631
1661.85/1662.64	c nbDecision=1213500 #constraints=4631
1662.55/1663.36	c nbDecision=1214000 #constraints=4631
1663.25/1664.07	c nbDecision=1214500 #constraints=4631
1664.05/1664.80	c nbDecision=1215000 #constraints=4631
1664.75/1665.51	c nbDecision=1215500 #constraints=4631
1665.45/1666.21	c nbDecision=1216000 #constraints=4631
1666.15/1666.91	c nbDecision=1216500 #constraints=4631
1666.85/1667.62	c nbDecision=1217000 #constraints=4631
1667.55/1668.32	c nbDecision=1217500 #constraints=4631
1668.25/1669.02	c nbDecision=1218000 #constraints=4631
1668.95/1669.72	c nbDecision=1218500 #constraints=4631
1669.65/1670.41	c nbDecision=1219000 #constraints=4631
1670.35/1671.10	c nbDecision=1219500 #constraints=4631
1670.95/1671.79	c nbDecision=1220000 #constraints=4631
1671.65/1672.48	c nbDecision=1220500 #constraints=4631
1672.35/1673.16	c nbDecision=1221000 #constraints=4631
1673.05/1673.84	c nbDecision=1221500 #constraints=4631
1673.75/1674.52	c nbDecision=1222000 #constraints=4631
1674.35/1675.20	c nbDecision=1222500 #constraints=4631
1675.05/1675.87	c nbDecision=1223000 #constraints=4631
1675.75/1676.54	c nbDecision=1223500 #constraints=4631
1676.45/1677.21	c nbDecision=1224000 #constraints=4631
1677.05/1677.87	c nbDecision=1224500 #constraints=4631
1677.75/1678.52	c nbDecision=1225000 #constraints=4631
1678.34/1679.17	c nbDecision=1225500 #constraints=4631
1679.04/1679.82	c nbDecision=1226000 #constraints=4631
1679.64/1680.47	c nbDecision=1226500 #constraints=4631
1680.34/1681.12	c nbDecision=1227000 #constraints=4631
1680.94/1681.76	c nbDecision=1227500 #constraints=4631
1681.64/1682.40	c nbDecision=1228000 #constraints=4631
1682.25/1683.03	c nbDecision=1228500 #constraints=4631
1682.84/1683.67	c nbDecision=1229000 #constraints=4631
1683.44/1684.30	c nbDecision=1229500 #constraints=4631
1684.14/1684.92	c nbDecision=1230000 #constraints=4631
1684.84/1685.66	c nbDecision=1230500 #constraints=4632
1685.55/1686.38	c nbDecision=1231000 #constraints=4632
1686.24/1687.10	c nbDecision=1231500 #constraints=4632
1687.04/1687.81	c nbDecision=1232000 #constraints=4632
1687.75/1688.53	c nbDecision=1232500 #constraints=4632
1688.44/1689.24	c nbDecision=1233000 #constraints=4632
1689.14/1689.95	c nbDecision=1233500 #constraints=4632
1689.85/1690.66	c nbDecision=1234000 #constraints=4632
1690.54/1691.37	c nbDecision=1234500 #constraints=4632
1691.24/1692.07	c nbDecision=1235000 #constraints=4632
1691.94/1692.77	c nbDecision=1235500 #constraints=4632
1692.64/1693.46	c nbDecision=1236000 #constraints=4632
1693.34/1694.16	c nbDecision=1236500 #constraints=4632
1694.04/1694.85	c nbDecision=1237000 #constraints=4632
1694.74/1695.53	c nbDecision=1237500 #constraints=4632
1695.44/1696.22	c nbDecision=1238000 #constraints=4632
1696.14/1696.91	c nbDecision=1238500 #constraints=4632
1696.74/1697.58	c nbDecision=1239000 #constraints=4632
1697.44/1698.26	c nbDecision=1239500 #constraints=4632
1698.14/1698.92	c nbDecision=1240000 #constraints=4632
1698.74/1699.59	c nbDecision=1240500 #constraints=4632
1699.44/1700.25	c nbDecision=1241000 #constraints=4632
1700.14/1700.91	c nbDecision=1241500 #constraints=4632
1700.74/1701.57	c nbDecision=1242000 #constraints=4632
1701.44/1702.23	c nbDecision=1242500 #constraints=4632
1702.04/1702.88	c nbDecision=1243000 #constraints=4632
1702.74/1703.53	c nbDecision=1243500 #constraints=4632
1703.34/1704.18	c nbDecision=1244000 #constraints=4632
1704.03/1704.82	c nbDecision=1244500 #constraints=4632
1704.63/1705.46	c nbDecision=1245000 #constraints=4632
1705.34/1706.10	c nbDecision=1245500 #constraints=4632
1705.93/1706.74	c nbDecision=1246000 #constraints=4632
1706.53/1707.37	c nbDecision=1246500 #constraints=4632
1707.23/1708.00	c nbDecision=1247000 #constraints=4632
1707.83/1708.68	c nbDecision=1247500 #constraints=4633
1708.64/1709.42	c nbDecision=1248000 #constraints=4633
1709.33/1710.14	c nbDecision=1248500 #constraints=4633
1710.03/1710.87	c nbDecision=1249000 #constraints=4633
1710.74/1711.58	c nbDecision=1249500 #constraints=4633
1711.53/1712.30	c nbDecision=1250000 #constraints=4633
1712.23/1713.02	c nbDecision=1250500 #constraints=4633
1712.94/1713.74	c nbDecision=1251000 #constraints=4633
1713.63/1714.45	c nbDecision=1251500 #constraints=4633
1714.33/1715.17	c nbDecision=1252000 #constraints=4633
1715.03/1715.87	c nbDecision=1252500 #constraints=4633
1715.73/1716.58	c nbDecision=1253000 #constraints=4633
1716.43/1717.28	c nbDecision=1253500 #constraints=4633
1717.13/1717.98	c nbDecision=1254000 #constraints=4633
1717.83/1718.67	c nbDecision=1254500 #constraints=4633
1718.53/1719.36	c nbDecision=1255000 #constraints=4633
1719.23/1720.04	c nbDecision=1255500 #constraints=4633
1719.93/1720.72	c nbDecision=1256000 #constraints=4633
1720.53/1721.40	c nbDecision=1256500 #constraints=4633
1721.23/1722.07	c nbDecision=1257000 #constraints=4633
1721.93/1722.74	c nbDecision=1257500 #constraints=4633
1722.63/1723.41	c nbDecision=1258000 #constraints=4633
1723.23/1724.08	c nbDecision=1258500 #constraints=4633
1723.93/1724.75	c nbDecision=1259000 #constraints=4633
1724.63/1725.41	c nbDecision=1259500 #constraints=4633
1725.23/1726.07	c nbDecision=1260000 #constraints=4633
1725.93/1726.72	c nbDecision=1260500 #constraints=4633
1726.53/1727.38	c nbDecision=1261000 #constraints=4633
1727.23/1728.04	c nbDecision=1261500 #constraints=4633
1727.83/1728.69	c nbDecision=1262000 #constraints=4633
1728.53/1729.35	c nbDecision=1262500 #constraints=4633
1729.23/1730.00	c nbDecision=1263000 #constraints=4633
1729.83/1730.65	c nbDecision=1263500 #constraints=4633
1730.43/1731.29	c nbDecision=1264000 #constraints=4633
1731.13/1731.93	c nbDecision=1264500 #constraints=4633
1731.73/1732.57	c nbDecision=1265000 #constraints=4633
1732.42/1733.21	c nbDecision=1265500 #constraints=4633
1733.02/1733.84	c nbDecision=1266000 #constraints=4633
1733.62/1734.49	c nbDecision=1266500 #constraints=4634
1734.32/1735.13	c nbDecision=1267000 #constraints=4634
1734.93/1735.77	c nbDecision=1267500 #constraints=4634
1735.62/1736.41	c nbDecision=1268000 #constraints=4634
1736.22/1737.04	c nbDecision=1268500 #constraints=4634
1736.82/1737.69	c nbDecision=1269000 #constraints=4635
1737.52/1738.33	c nbDecision=1269500 #constraints=4635
1738.12/1738.97	c nbDecision=1270000 #constraints=4635
1738.82/1739.60	c nbDecision=1270500 #constraints=4635
1739.42/1740.24	c nbDecision=1271000 #constraints=4635
1740.02/1740.87	c nbDecision=1271500 #constraints=4635
1740.72/1741.53	c nbDecision=1272000 #constraints=4636
1741.42/1742.25	c nbDecision=1272500 #constraints=4636
1742.12/1742.96	c nbDecision=1273000 #constraints=4636
1742.82/1743.68	c nbDecision=1273500 #constraints=4636
1743.52/1744.39	c nbDecision=1274000 #constraints=4636
1744.32/1745.10	c nbDecision=1274500 #constraints=4636
1745.02/1745.81	c nbDecision=1275000 #constraints=4636
1745.72/1746.51	c nbDecision=1275500 #constraints=4636
1746.42/1747.21	c nbDecision=1276000 #constraints=4636
1747.12/1747.91	c nbDecision=1276500 #constraints=4636
1747.82/1748.61	c nbDecision=1277000 #constraints=4636
1748.52/1749.31	c nbDecision=1277500 #constraints=4636
1749.22/1750.01	c nbDecision=1278000 #constraints=4636
1749.92/1750.70	c nbDecision=1278500 #constraints=4636
1750.52/1751.39	c nbDecision=1279000 #constraints=4636
1751.22/1752.08	c nbDecision=1279500 #constraints=4636
1751.92/1752.76	c nbDecision=1280000 #constraints=4636
1752.62/1753.44	c nbDecision=1280500 #constraints=4636
1753.31/1754.12	c nbDecision=1281000 #constraints=4636
1753.91/1754.79	c nbDecision=1281500 #constraints=4636
1754.61/1755.46	c nbDecision=1282000 #constraints=4636
1755.31/1756.13	c nbDecision=1282500 #constraints=4636
1756.01/1756.80	c nbDecision=1283000 #constraints=4636
1756.61/1757.47	c nbDecision=1283500 #constraints=4636
1757.31/1758.12	c nbDecision=1284000 #constraints=4636
1757.91/1758.78	c nbDecision=1284500 #constraints=4636
1758.61/1759.43	c nbDecision=1285000 #constraints=4636
1759.22/1760.08	c nbDecision=1285500 #constraints=4636
1759.91/1760.73	c nbDecision=1286000 #constraints=4636
1760.51/1761.37	c nbDecision=1286500 #constraints=4636
1761.21/1762.01	c nbDecision=1287000 #constraints=4636
1761.81/1762.65	c nbDecision=1287500 #constraints=4636
1762.42/1763.28	c nbDecision=1288000 #constraints=4636
1763.11/1763.91	c nbDecision=1288500 #constraints=4636
1763.71/1764.54	c nbDecision=1289000 #constraints=4636
1764.41/1765.24	c nbDecision=1289500 #constraints=4637
1765.11/1765.96	c nbDecision=1290000 #constraints=4637
1765.81/1766.68	c nbDecision=1290500 #constraints=4637
1766.51/1767.39	c nbDecision=1291000 #constraints=4637
1767.31/1768.11	c nbDecision=1291500 #constraints=4637
1768.01/1768.82	c nbDecision=1292000 #constraints=4637
1768.71/1769.53	c nbDecision=1292500 #constraints=4637
1769.41/1770.24	c nbDecision=1293000 #constraints=4637
1770.11/1770.95	c nbDecision=1293500 #constraints=4637
1770.81/1771.65	c nbDecision=1294000 #constraints=4637
1771.51/1772.35	c nbDecision=1294500 #constraints=4637
1772.21/1773.05	c nbDecision=1295000 #constraints=4637
1772.91/1773.75	c nbDecision=1295500 #constraints=4637
1773.61/1774.44	c nbDecision=1296000 #constraints=4637
1774.31/1775.12	c nbDecision=1296500 #constraints=4637
1775.01/1775.81	c nbDecision=1297000 #constraints=4637
1775.61/1776.50	c nbDecision=1297500 #constraints=4637
1776.31/1777.18	c nbDecision=1298000 #constraints=4637
1777.00/1777.85	c nbDecision=1298500 #constraints=4637
1777.70/1778.52	c nbDecision=1299000 #constraints=4637
1778.30/1779.19	c nbDecision=1299500 #constraints=4637
1779.01/1779.85	c nbDecision=1300000 #constraints=4637
1779.70/1780.51	c nbDecision=1300500 #constraints=4637
1780.30/1781.17	c nbDecision=1301000 #constraints=4637
1781.00/1781.83	c nbDecision=1301500 #constraints=4637
1781.60/1782.48	c nbDecision=1302000 #constraints=4637
1782.31/1783.13	c nbDecision=1302500 #constraints=4637
1782.90/1783.77	c nbDecision=1303000 #constraints=4637
1783.60/1784.42	c nbDecision=1303500 #constraints=4637
1784.20/1785.06	c nbDecision=1304000 #constraints=4637
1784.90/1785.70	c nbDecision=1304500 #constraints=4637
1785.51/1786.33	c nbDecision=1305000 #constraints=4637
1786.10/1786.97	c nbDecision=1305500 #constraints=4637
1786.71/1787.59	c nbDecision=1306000 #constraints=4637
1787.40/1788.23	c nbDecision=1306500 #constraints=4637
1788.00/1788.88	c nbDecision=1307000 #constraints=4638
1788.70/1789.53	c nbDecision=1307500 #constraints=4638
1789.30/1790.17	c nbDecision=1308000 #constraints=4638
1790.00/1790.81	c nbDecision=1308500 #constraints=4638
1790.60/1791.44	c nbDecision=1309000 #constraints=4638
1791.20/1792.08	c nbDecision=1309500 #constraints=4638
1791.90/1792.73	c nbDecision=1310000 #constraints=4639
1792.50/1793.37	c nbDecision=1310500 #constraints=4639
1793.20/1794.01	c nbDecision=1311000 #constraints=4639
1793.80/1794.65	c nbDecision=1311500 #constraints=4639
1794.40/1795.28	c nbDecision=1312000 #constraints=4639
1795.10/1795.97	c nbDecision=1312500 #constraints=4640
1795.90/1796.70	c nbDecision=1313000 #constraints=4640
1796.60/1797.42	c nbDecision=1313500 #constraints=4640
1797.30/1798.13	c nbDecision=1314000 #constraints=4640
1798.00/1798.84	c nbDecision=1314500 #constraints=4640
1798.70/1799.55	c nbDecision=1315000 #constraints=4640
1799.40/1800.26	c nbDecision=1315500 #constraints=4640
1800.00/1800.80	Received signal 15
1800.00/1800.80	
1800.00/1800.80	s UNKNOWN
1800.00/1800.80	
1800.00/1800.80	c user time= 1799.91 s
1800.00/1800.80	c system time= 0.106983 s
1800.00/1800.80	c wall clock time=1800.81

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/node69/watcher-357292-1176993593 -o ROOT/results/node69/solver-357292-1176993593 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357292-1176993593/instance-357292-1176993593.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.93 0.99 0.99 3/64 2071
/proc/meminfo: memFree=1661476/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=1468 CPUtime=0
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175348780 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 367 160 127 317 0 46 0

[startup+0.0408559 s]
/proc/loadavg: 0.93 0.99 0.99 3/64 2071
/proc/meminfo: memFree=1661476/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=1880 CPUtime=0.03
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 314 0 0 0 3 0 0 0 18 0 1 0 175348780 1925120 263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 470 263 127 317 0 149 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1880

[startup+0.101865 s]
/proc/loadavg: 0.93 0.99 0.99 3/64 2071
/proc/meminfo: memFree=1661476/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=3440 CPUtime=0.09
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 781 0 0 0 9 0 0 0 18 0 1 0 175348780 3522560 536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 860 536 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301897 s]
/proc/loadavg: 0.93 0.99 0.99 3/64 2071
/proc/meminfo: memFree=1661476/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=5052 CPUtime=0.29
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 1197 0 0 0 29 0 0 0 19 0 1 0 175348780 5173248 952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 1263 953 131 317 0 942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5052

[startup+0.701961 s]
/proc/loadavg: 0.93 0.99 0.99 3/64 2071
/proc/meminfo: memFree=1661476/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=12972 CPUtime=0.69
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 3168 0 0 0 68 1 0 0 22 0 1 0 175348780 13283328 2923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 3243 2923 131 317 0 2922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12972

[startup+1.50109 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 2073
/proc/meminfo: memFree=1645276/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=31492 CPUtime=1.49
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7816 0 0 0 146 3 0 0 25 0 1 0 175348780 32247808 7571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 7873 7571 137 317 0 7552 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31492

[startup+3.10135 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 2073
/proc/meminfo: memFree=1631004/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32020 CPUtime=3.09
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7942 0 0 0 306 3 0 0 25 0 1 0 175348780 32788480 7697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8005 7697 138 317 0 7684 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32020

[startup+6.30288 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 2073
/proc/meminfo: memFree=1630620/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=6.29
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 625 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32272

[startup+12.7019 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 2073
/proc/meminfo: memFree=1630620/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=12.69
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 1265 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32272

[startup+25.502 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 2073
/proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=25.49
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 2545 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32272

[startup+51.1011 s]
/proc/loadavg: 0.97 0.99 0.99 2/65 2073
/proc/meminfo: memFree=1630748/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=51.07
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 5103 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32272

[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/65 2073
/proc/meminfo: memFree=1630876/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=102.25
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 10221 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 32272

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 2073
/proc/meminfo: memFree=1630812/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=162.23
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 16219 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 32272

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 2073
/proc/meminfo: memFree=1630812/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=222.21
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 22217 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 32272

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 2073
/proc/meminfo: memFree=1630812/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=282.19
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 28214 5 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 32272

[startup+342.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 2073
/proc/meminfo: memFree=1630748/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=342.17
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 34212 5 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 32272

[startup+402.302 s]
/proc/loadavg: 1.23 1.05 1.01 2/65 2073
/proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=402.14
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 40209 5 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 32272

[startup+462.302 s]
/proc/loadavg: 1.08 1.04 1.01 2/65 2073
/proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=462.12
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 46207 5 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 32272

[startup+522.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 2073
/proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=522.09
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 52204 5 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 32272

[startup+582.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 2073
/proc/meminfo: memFree=1630748/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=582.07
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 58201 6 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 32272

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2073
/proc/meminfo: memFree=1630748/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=642.06
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 64200 6 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 32272


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2073
/proc/meminfo: memFree=1630812/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=821.98
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 82191 7 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 32272

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2073
/proc/meminfo: memFree=1630876/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=881.96
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 88189 7 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 32272

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2073
/proc/meminfo: memFree=1630812/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=941.93
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 94186 7 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 32272

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2073
/proc/meminfo: memFree=1630812/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1001.91
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 100184 7 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 32272

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2073
/proc/meminfo: memFree=1630748/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1061.88
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 106181 7 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 32272

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2073
/proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1121.87
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 112179 8 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 32272

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2073
/proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1181.84
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 118176 8 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 32272

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2073
/proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1241.82
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 124174 8 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 32272

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 2246
/proc/meminfo: memFree=1629212/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1301.72
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 130164 8 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 32272

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2278
/proc/meminfo: memFree=1630236/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1361.68
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 136159 9 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 32272

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2278
/proc/meminfo: memFree=1630236/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1421.66
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 142157 9 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 32272

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2278
/proc/meminfo: memFree=1630428/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1481.62
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 148153 9 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 32272

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2278
/proc/meminfo: memFree=1630428/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1541.6
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 154151 9 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 32272

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2278
/proc/meminfo: memFree=1630364/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1601.58
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 160148 10 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7733 139 317 0 7747 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 32272

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2278
/proc/meminfo: memFree=1630428/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1661.55
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7979 0 0 0 166145 10 0 0 25 0 1 0 175348780 33046528 7734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7734 139 317 0 7747 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 32272

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2278
/proc/meminfo: memFree=1630364/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1721.53
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7979 0 0 0 172143 10 0 0 25 0 1 0 175348780 33046528 7734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7734 139 317 0 7747 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 32272

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2278
/proc/meminfo: memFree=1630364/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1781.5
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7981 0 0 0 178140 10 0 0 25 0 1 0 175348780 33046528 7736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7736 139 317 0 7747 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (KiB) 32272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2278
/proc/meminfo: memFree=1630364/2055920 swapFree=4182908/4192956
[pid=2071] ppid=2069 vsize=32272 CPUtime=1800
/proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7982 0 0 0 179990 10 0 0 25 0 1 0 175348780 33046528 7737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2071/statm: 8068 7737 139 317 0 7747 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 32272

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.03
CPU user time (s): 1799.92
CPU system time (s): 0.111982
CPU usage (%): 99.956
Max. virtual memory (cumulated for all children) (KiB): 32272

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

runsolver used 1.44178 second user time and 3.72343 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Thu Apr 19 14:39:53 UTC 2007

IDJOB= 357292
IDBENCH= 2356
IDSOLVER= 172
FILE ID= node69/357292-1176993593

PBS_JOBID= 4630441

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a644593dc228e712d5b0d277ee939168

RANDOM SEED= 396686902

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
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:       1661884 kB
Buffers:         29528 kB
Cached:         295908 kB
SwapCached:       3888 kB
Active:         151440 kB
Inactive:       183564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1661884 kB
SwapTotal:     4192956 kB
SwapFree:      4182908 kB
Dirty:            5752 kB
Writeback:           0 kB
Mapped:          15484 kB
Slab:            45052 kB
Committed_AS:  1532796 kB
PageTables:       1472 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= 66493 MiB

End job on node69 on Thu Apr 19 15:09:56 UTC 2007