Trace number 357383

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.08 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb
MD5SUMdaeaeaee67028e931b0f5195f178e9b3
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 variables107520
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 constraint50
Maximum length of a constraint820
Number of terms in the objective function 41280
Biggest coefficient in the objective function 1342177280000000
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 260295726093315792
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 1342177280000000
Number of bits of the biggest number in a constraint 51
Biggest sum of numbers in a constraint 260295726093315792
Number of bits of the biggest sum of numbers58
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.18/1.24	c ...done
1.18/1.24	c #vars=107520 #constraints=4561 hasObjective=yes
1.69/1.77	c res. mode=mod
1.69/1.77	c VSIDS like heuristics
1.69/1.77	c complete search running
2.49/2.53	c restart after 401 decisions
2.59/2.69	c nbDecision=500 #constraints=4561
3.09/3.16	c restart after 801 decisions
3.39/3.47	c nbDecision=1000 #constraints=4561
4.19/4.26	c nbDecision=1500 #constraints=4561
4.39/4.42	c restart after 1601 decisions
4.99/5.05	c nbDecision=2000 #constraints=4561
5.79/5.83	c nbDecision=2500 #constraints=4561
6.59/6.62	c nbDecision=3000 #constraints=4561
6.89/6.94	c restart after 3201 decisions
7.39/7.41	c nbDecision=3500 #constraints=4561
8.09/8.19	c nbDecision=4000 #constraints=4561
8.89/8.98	c nbDecision=4500 #constraints=4561
9.69/9.76	c nbDecision=5000 #constraints=4561
10.49/10.54	c nbDecision=5500 #constraints=4561
11.28/11.32	c nbDecision=6000 #constraints=4561
11.88/11.94	c restart after 6401 decisions
12.09/12.11	c nbDecision=6500 #constraints=4561
12.79/12.89	c nbDecision=7000 #constraints=4561
13.58/13.67	c nbDecision=7500 #constraints=4561
14.38/14.44	c nbDecision=8000 #constraints=4561
15.18/15.22	c nbDecision=8500 #constraints=4561
15.98/16.00	c nbDecision=9000 #constraints=4561
16.68/16.78	c nbDecision=9500 #constraints=4561
17.49/17.55	c nbDecision=10000 #constraints=4561
18.28/18.32	c nbDecision=10500 #constraints=4561
18.98/19.09	c nbDecision=11000 #constraints=4561
19.79/19.86	c nbDecision=11500 #constraints=4561
20.58/20.63	c nbDecision=12000 #constraints=4561
21.38/21.45	c nbDecision=12500 #constraints=4561
22.18/22.26	c restart after 12801 decisions
22.48/22.59	c nbDecision=13000 #constraints=4561
23.28/23.37	c nbDecision=13500 #constraints=4561
24.09/24.16	c nbDecision=14000 #constraints=4561
24.88/24.93	c nbDecision=14500 #constraints=4561
25.68/25.72	c nbDecision=15000 #constraints=4561
26.48/26.50	c nbDecision=15500 #constraints=4561
27.18/27.28	c nbDecision=16000 #constraints=4561
27.98/28.05	c nbDecision=16500 #constraints=4561
28.78/28.82	c nbDecision=17000 #constraints=4561
29.48/29.60	c nbDecision=17500 #constraints=4561
30.28/30.37	c nbDecision=18000 #constraints=4561
31.08/31.13	c nbDecision=18500 #constraints=4561
31.98/32.06	c nbDecision=19000 #constraints=4561
33.28/33.37	c nbDecision=19500 #constraints=4561
34.58/34.68	c nbDecision=20000 #constraints=4561
35.88/35.97	c nbDecision=20500 #constraints=4561
37.18/37.25	c nbDecision=21000 #constraints=4561
38.49/38.58	c nbDecision=21500 #constraints=4581
42.18/42.26	c nbDecision=22000 #constraints=4610
43.38/43.49	c nbDecision=22500 #constraints=4621
44.48/44.51	c nbDecision=23000 #constraints=4621
45.48/45.52	c nbDecision=23500 #constraints=4621
46.48/46.51	c nbDecision=24000 #constraints=4621
47.48/47.51	c nbDecision=24500 #constraints=4621
48.78/48.89	c nbDecision=25000 #constraints=4641
50.28/50.32	c nbDecision=25500 #constraints=4644
50.48/50.54	c restart after 25601 decisions
51.18/51.21	c nbDecision=26000 #constraints=4644
51.88/51.97	c nbDecision=26500 #constraints=4644
52.68/52.74	c nbDecision=27000 #constraints=4644
53.48/53.52	c nbDecision=27500 #constraints=4644
54.28/54.30	c nbDecision=28000 #constraints=4644
54.98/55.06	c nbDecision=28500 #constraints=4644
55.78/55.83	c nbDecision=29000 #constraints=4644
56.57/56.61	c nbDecision=29500 #constraints=4644
57.27/57.38	c nbDecision=30000 #constraints=4644
58.07/58.14	c nbDecision=30500 #constraints=4644
58.87/58.90	c nbDecision=31000 #constraints=4644
59.57/59.67	c nbDecision=31500 #constraints=4644
60.77/60.82	c nbDecision=32000 #constraints=4644
62.07/62.15	c nbDecision=32500 #constraints=4644
63.37/63.46	c nbDecision=33000 #constraints=4644
64.67/64.76	c nbDecision=33500 #constraints=4644
65.97/66.05	c nbDecision=34000 #constraints=4644
67.37/67.40	c nbDecision=34500 #constraints=4648
68.47/68.59	c nbDecision=35000 #constraints=4652
69.57/69.62	c nbDecision=35500 #constraints=4652
70.57/70.64	c nbDecision=36000 #constraints=4652
71.57/71.65	c nbDecision=36500 #constraints=4652
72.57/72.64	c nbDecision=37000 #constraints=4652
73.67/73.74	c nbDecision=37500 #constraints=4656
75.57/75.68	c nbDecision=38000 #constraints=4690
76.66/76.72	c nbDecision=38500 #constraints=4690
77.66/77.75	c nbDecision=39000 #constraints=4690
78.66/78.77	c nbDecision=39500 #constraints=4690
79.66/79.79	c nbDecision=40000 #constraints=4690
80.66/80.79	c nbDecision=40500 #constraints=4690
82.86/82.97	c nbDecision=41000 #constraints=4713
83.96/84.01	c nbDecision=41500 #constraints=4723
84.96/85.02	c nbDecision=42000 #constraints=4723
85.96/86.02	c nbDecision=42500 #constraints=4723
86.96/87.01	c nbDecision=43000 #constraints=4723
87.87/87.99	c nbDecision=43500 #constraints=4723
89.26/89.33	c nbDecision=44000 #constraints=4738
90.46/90.55	c nbDecision=44500 #constraints=4749
91.46/91.59	c nbDecision=45000 #constraints=4749
92.56/92.61	c nbDecision=45500 #constraints=4749
93.56/93.63	c nbDecision=46000 #constraints=4749
94.56/94.63	c nbDecision=46500 #constraints=4749
95.56/95.68	c nbDecision=47000 #constraints=4750
96.96/97.01	c nbDecision=47500 #constraints=4758
98.56/98.62	c nbDecision=48000 #constraints=4769
99.56/99.63	c nbDecision=48500 #constraints=4769
100.56/100.64	c nbDecision=49000 #constraints=4769
101.56/101.65	c nbDecision=49500 #constraints=4769
102.56/102.64	c nbDecision=50000 #constraints=4769
103.76/103.84	c nbDecision=50500 #constraints=4773
105.16/105.23	c nbDecision=51000 #constraints=4788
105.57/105.64	c restart after 51201 decisions
106.06/106.16	c nbDecision=51500 #constraints=4788
106.86/106.93	c nbDecision=52000 #constraints=4788
107.67/107.71	c nbDecision=52500 #constraints=4788
108.46/108.50	c nbDecision=53000 #constraints=4788
109.16/109.29	c nbDecision=53500 #constraints=4788
109.97/110.07	c nbDecision=54000 #constraints=4788
110.76/110.84	c nbDecision=54500 #constraints=4788
111.56/111.61	c nbDecision=55000 #constraints=4788
112.26/112.38	c nbDecision=55500 #constraints=4788
113.06/113.15	c nbDecision=56000 #constraints=4788
113.86/113.91	c nbDecision=56500 #constraints=4788
114.56/114.68	c nbDecision=57000 #constraints=4788
115.66/115.71	c nbDecision=57500 #constraints=4788
116.96/117.03	c nbDecision=58000 #constraints=4788
118.26/118.33	c nbDecision=58500 #constraints=4788
119.56/119.62	c nbDecision=59000 #constraints=4788
120.86/120.91	c nbDecision=59500 #constraints=4788
122.16/122.24	c nbDecision=60000 #constraints=4790
125.55/125.62	c nbDecision=60500 #constraints=4816
126.55/126.63	c nbDecision=61000 #constraints=4816
127.56/127.62	c nbDecision=61500 #constraints=4816
128.56/128.61	c nbDecision=62000 #constraints=4816
129.45/129.58	c nbDecision=62500 #constraints=4816
130.55/130.64	c nbDecision=63000 #constraints=4820
132.25/132.31	c nbDecision=63500 #constraints=4846
133.65/133.77	c nbDecision=64000 #constraints=4857
134.65/134.75	c nbDecision=64500 #constraints=4857
135.65/135.72	c nbDecision=65000 #constraints=4857
136.55/136.68	c nbDecision=65500 #constraints=4857
137.55/137.63	c nbDecision=66000 #constraints=4857
138.95/139.01	c nbDecision=66500 #constraints=4870
140.05/140.14	c nbDecision=67000 #constraints=4872
141.05/141.13	c nbDecision=67500 #constraints=4872
142.05/142.12	c nbDecision=68000 #constraints=4872
143.05/143.10	c nbDecision=68500 #constraints=4872
143.95/144.07	c nbDecision=69000 #constraints=4872
145.25/145.30	c nbDecision=69500 #constraints=4888
146.85/146.90	c nbDecision=70000 #constraints=4925
147.85/147.91	c nbDecision=70500 #constraints=4925
148.85/148.92	c nbDecision=71000 #constraints=4925
149.85/149.92	c nbDecision=71500 #constraints=4925
150.75/150.89	c nbDecision=72000 #constraints=4925
151.75/151.88	c nbDecision=72500 #constraints=4941
152.75/152.88	c nbDecision=73000 #constraints=4941
153.74/153.88	c nbDecision=73500 #constraints=4941
154.74/154.87	c nbDecision=74000 #constraints=4941
155.74/155.85	c nbDecision=74500 #constraints=4941
156.74/156.82	c nbDecision=75000 #constraints=4941
157.74/157.86	c nbDecision=75500 #constraints=4954
158.74/158.86	c nbDecision=76000 #constraints=4954
159.74/159.85	c nbDecision=76500 #constraints=4954
160.74/160.84	c nbDecision=77000 #constraints=4954
161.74/161.82	c nbDecision=77500 #constraints=4954
162.75/162.81	c nbDecision=78000 #constraints=4966
163.64/163.77	c nbDecision=78500 #constraints=4966
164.64/164.80	c nbDecision=79000 #constraints=4977
165.74/165.81	c nbDecision=79500 #constraints=4977
166.74/166.81	c nbDecision=80000 #constraints=4977
167.74/167.80	c nbDecision=80500 #constraints=4977
168.64/168.78	c nbDecision=81000 #constraints=4977
169.64/169.78	c nbDecision=81500 #constraints=4979
170.74/170.80	c nbDecision=82000 #constraints=4979
171.74/171.80	c nbDecision=82500 #constraints=4979
172.64/172.78	c nbDecision=83000 #constraints=4979
173.64/173.76	c nbDecision=83500 #constraints=4979
174.64/174.74	c nbDecision=84000 #constraints=4980
175.64/175.77	c nbDecision=84500 #constraints=4980
176.64/176.77	c nbDecision=85000 #constraints=4980
177.65/177.75	c nbDecision=85500 #constraints=4980
178.64/178.73	c nbDecision=86000 #constraints=4980
179.54/179.70	c nbDecision=86500 #constraints=4980
180.64/180.72	c nbDecision=87000 #constraints=4988
181.64/181.72	c nbDecision=87500 #constraints=4988
182.64/182.72	c nbDecision=88000 #constraints=4988
183.65/183.71	c nbDecision=88500 #constraints=4988
184.54/184.68	c nbDecision=89000 #constraints=4988
185.54/185.66	c nbDecision=89500 #constraints=4989
186.54/186.63	c nbDecision=90000 #constraints=4990
187.54/187.64	c nbDecision=90500 #constraints=4990
188.54/188.65	c nbDecision=91000 #constraints=4990
189.54/189.65	c nbDecision=91500 #constraints=4990
190.54/190.65	c nbDecision=92000 #constraints=4990
191.54/191.63	c nbDecision=92500 #constraints=4990
192.54/192.64	c nbDecision=93000 #constraints=5002
193.54/193.64	c nbDecision=93500 #constraints=5002
194.54/194.63	c nbDecision=94000 #constraints=5002
195.54/195.62	c nbDecision=94500 #constraints=5002
196.44/196.59	c nbDecision=95000 #constraints=5002
197.54/197.65	c nbDecision=95500 #constraints=5013
198.54/198.66	c nbDecision=96000 #constraints=5013
199.54/199.66	c nbDecision=96500 #constraints=5013
200.54/200.66	c nbDecision=97000 #constraints=5013
201.54/201.64	c nbDecision=97500 #constraints=5013
202.54/202.62	c nbDecision=98000 #constraints=5013
203.54/203.63	c nbDecision=98500 #constraints=5014
204.54/204.65	c nbDecision=99000 #constraints=5014
205.54/205.65	c nbDecision=99500 #constraints=5014
206.53/206.65	c nbDecision=100000 #constraints=5014
207.53/207.63	c nbDecision=100500 #constraints=5014
208.53/208.60	c nbDecision=101000 #constraints=5015
209.43/209.57	c nbDecision=101500 #constraints=5015
210.43/210.57	c nbDecision=102000 #constraints=5018
211.23/211.38	c restart after 102401 decisions
211.43/211.59	c nbDecision=102500 #constraints=5018
212.24/212.37	c nbDecision=103000 #constraints=5018
213.03/213.15	c nbDecision=103500 #constraints=5018
213.83/213.93	c nbDecision=104000 #constraints=5018
214.63/214.70	c nbDecision=104500 #constraints=5018
215.33/215.48	c nbDecision=105000 #constraints=5018
216.13/216.25	c nbDecision=105500 #constraints=5018
216.93/217.03	c nbDecision=106000 #constraints=5018
217.63/217.79	c nbDecision=106500 #constraints=5018
218.43/218.55	c nbDecision=107000 #constraints=5018
219.23/219.31	c nbDecision=107500 #constraints=5018
219.93/220.08	c nbDecision=108000 #constraints=5018
220.73/220.90	c nbDecision=108500 #constraints=5018
222.13/222.23	c nbDecision=109000 #constraints=5018
223.43/223.54	c nbDecision=109500 #constraints=5018
224.73/224.85	c nbDecision=110000 #constraints=5018
226.03/226.14	c nbDecision=110500 #constraints=5018
227.33/227.43	c nbDecision=111000 #constraints=5018
228.93/229.07	c nbDecision=111500 #constraints=5027
230.13/230.27	c nbDecision=112000 #constraints=5038
231.12/231.26	c nbDecision=112500 #constraints=5038
232.13/232.26	c nbDecision=113000 #constraints=5038
233.13/233.22	c nbDecision=113500 #constraints=5038
234.02/234.18	c nbDecision=114000 #constraints=5038
235.02/235.14	c nbDecision=114500 #constraints=5042
236.02/236.11	c nbDecision=115000 #constraints=5042
237.52/237.69	c nbDecision=115500 #constraints=5048
238.52/238.69	c nbDecision=116000 #constraints=5048
239.52/239.67	c nbDecision=116500 #constraints=5048
240.52/240.65	c nbDecision=117000 #constraints=5048
241.52/241.62	c nbDecision=117500 #constraints=5048
242.42/242.58	c nbDecision=118000 #constraints=5048
243.92/244.05	c nbDecision=118500 #constraints=5074
245.22/245.30	c nbDecision=119000 #constraints=5076
246.22/246.31	c nbDecision=119500 #constraints=5076
247.22/247.32	c nbDecision=120000 #constraints=5076
248.22/248.31	c nbDecision=120500 #constraints=5076
249.12/249.29	c nbDecision=121000 #constraints=5076
252.43/252.50	c nbDecision=121500 #constraints=5089
253.63/253.73	c nbDecision=122000 #constraints=5090
254.63/254.73	c nbDecision=122500 #constraints=5090
255.62/255.72	c nbDecision=123000 #constraints=5090
256.62/256.70	c nbDecision=123500 #constraints=5090
257.52/257.67	c nbDecision=124000 #constraints=5090
258.62/258.72	c nbDecision=124500 #constraints=5109
259.62/259.74	c nbDecision=125000 #constraints=5109
260.63/260.75	c nbDecision=125500 #constraints=5109
261.63/261.74	c nbDecision=126000 #constraints=5109
262.62/262.73	c nbDecision=126500 #constraints=5109
264.92/265.05	c nbDecision=127000 #constraints=5116
265.92/266.07	c nbDecision=127500 #constraints=5116
266.92/267.08	c nbDecision=128000 #constraints=5116
267.92/268.08	c nbDecision=128500 #constraints=5116
268.92/269.07	c nbDecision=129000 #constraints=5116
269.92/270.05	c nbDecision=129500 #constraints=5116
270.92/271.02	c nbDecision=130000 #constraints=5117
271.92/272.01	c nbDecision=130500 #constraints=5132
272.82/272.98	c nbDecision=131000 #constraints=5151
273.82/273.96	c nbDecision=131500 #constraints=5162
274.82/274.97	c nbDecision=132000 #constraints=5162
275.82/275.97	c nbDecision=132500 #constraints=5162
276.82/276.96	c nbDecision=133000 #constraints=5162
277.82/277.94	c nbDecision=133500 #constraints=5162
278.82/278.92	c nbDecision=134000 #constraints=5162
279.72/279.89	c nbDecision=134500 #constraints=5170
280.72/280.85	c nbDecision=135000 #constraints=5171
281.72/281.81	c nbDecision=135500 #constraints=5173
282.72/282.85	c nbDecision=136000 #constraints=5189
283.72/283.87	c nbDecision=136500 #constraints=5189
284.72/284.88	c nbDecision=137000 #constraints=5189
285.71/285.89	c nbDecision=137500 #constraints=5189
286.71/286.88	c nbDecision=138000 #constraints=5189
287.71/287.86	c nbDecision=138500 #constraints=5189
288.71/288.84	c nbDecision=139000 #constraints=5189
289.71/289.81	c nbDecision=139500 #constraints=5200
290.61/290.76	c nbDecision=140000 #constraints=5200
291.61/291.76	c nbDecision=140500 #constraints=5202
292.71/292.87	c nbDecision=141000 #constraints=5204
293.81/293.90	c nbDecision=141500 #constraints=5204
294.81/294.91	c nbDecision=142000 #constraints=5204
295.81/295.92	c nbDecision=142500 #constraints=5204
296.81/296.91	c nbDecision=143000 #constraints=5204
297.81/297.93	c nbDecision=143500 #constraints=5205
298.81/298.96	c nbDecision=144000 #constraints=5205
299.81/299.98	c nbDecision=144500 #constraints=5205
300.91/301.00	c nbDecision=145000 #constraints=5205
301.91/302.01	c nbDecision=145500 #constraints=5205
302.91/303.02	c nbDecision=146000 #constraints=5206
303.91/304.01	c nbDecision=146500 #constraints=5206
304.91/305.01	c nbDecision=147000 #constraints=5209
305.91/306.05	c nbDecision=147500 #constraints=5209
306.91/307.08	c nbDecision=148000 #constraints=5209
307.91/308.10	c nbDecision=148500 #constraints=5209
309.01/309.10	c nbDecision=149000 #constraints=5209
309.90/310.10	c nbDecision=149500 #constraints=5209
310.90/311.08	c nbDecision=150000 #constraints=5209
312.00/312.12	c nbDecision=150500 #constraints=5210
313.00/313.15	c nbDecision=151000 #constraints=5210
314.00/314.18	c nbDecision=151500 #constraints=5210
315.00/315.19	c nbDecision=152000 #constraints=5210
316.01/316.20	c nbDecision=152500 #constraints=5210
317.01/317.19	c nbDecision=153000 #constraints=5210
318.11/318.26	c nbDecision=153500 #constraints=5212
319.11/319.28	c nbDecision=154000 #constraints=5212
320.21/320.31	c nbDecision=154500 #constraints=5212
321.21/321.33	c nbDecision=155000 #constraints=5212
322.21/322.34	c nbDecision=155500 #constraints=5212
323.21/323.34	c nbDecision=156000 #constraints=5214
324.21/324.33	c nbDecision=156500 #constraints=5214
325.21/325.38	c nbDecision=157000 #constraints=5215
326.21/326.39	c nbDecision=157500 #constraints=5215
327.31/327.41	c nbDecision=158000 #constraints=5215
328.31/328.41	c nbDecision=158500 #constraints=5215
329.30/329.40	c nbDecision=159000 #constraints=5215
330.20/330.38	c nbDecision=159500 #constraints=5215
331.20/331.34	c nbDecision=160000 #constraints=5217
332.20/332.32	c nbDecision=160500 #constraints=5218
333.21/333.33	c nbDecision=161000 #constraints=5218
334.21/334.33	c nbDecision=161500 #constraints=5218
335.20/335.33	c nbDecision=162000 #constraints=5218
336.20/336.31	c nbDecision=162500 #constraints=5218
337.10/337.28	c nbDecision=163000 #constraints=5218
338.10/338.28	c nbDecision=163500 #constraints=5219
339.10/339.29	c nbDecision=164000 #constraints=5219
340.10/340.29	c nbDecision=164500 #constraints=5219
341.10/341.28	c nbDecision=165000 #constraints=5219
342.10/342.27	c nbDecision=165500 #constraints=5219
343.10/343.25	c nbDecision=166000 #constraints=5219
344.10/344.22	c nbDecision=166500 #constraints=5219
344.99/345.18	c nbDecision=167000 #constraints=5229
345.99/346.15	c nbDecision=167500 #constraints=5245
346.89/347.09	c nbDecision=168000 #constraints=5247
347.89/348.02	c nbDecision=168500 #constraints=5247
348.89/349.09	c nbDecision=169000 #constraints=5251
349.99/350.10	c nbDecision=169500 #constraints=5251
350.99/351.10	c nbDecision=170000 #constraints=5251
351.89/352.09	c nbDecision=170500 #constraints=5251
352.89/353.07	c nbDecision=171000 #constraints=5251
353.89/354.04	c nbDecision=171500 #constraints=5251
354.89/355.00	c nbDecision=172000 #constraints=5251
355.79/355.98	c nbDecision=172500 #constraints=5252
356.79/356.99	c nbDecision=173000 #constraints=5252
357.79/357.98	c nbDecision=173500 #constraints=5252
358.79/358.97	c nbDecision=174000 #constraints=5252
359.79/359.95	c nbDecision=174500 #constraints=5252
360.79/360.93	c nbDecision=175000 #constraints=5252
361.69/361.89	c nbDecision=175500 #constraints=5252
362.68/362.85	c nbDecision=176000 #constraints=5252
363.68/363.80	c nbDecision=176500 #constraints=5252
364.68/364.83	c nbDecision=177000 #constraints=5253
365.68/365.86	c nbDecision=177500 #constraints=5253
366.69/366.86	c nbDecision=178000 #constraints=5253
367.68/367.86	c nbDecision=178500 #constraints=5253
368.68/368.84	c nbDecision=179000 #constraints=5253
369.68/369.82	c nbDecision=179500 #constraints=5254
370.59/370.78	c nbDecision=180000 #constraints=5254
371.59/371.76	c nbDecision=180500 #constraints=5274
372.48/372.70	c nbDecision=181000 #constraints=5275
373.58/373.71	c nbDecision=181500 #constraints=5275
374.58/374.72	c nbDecision=182000 #constraints=5275
375.59/375.71	c nbDecision=182500 #constraints=5275
376.49/376.70	c nbDecision=183000 #constraints=5275
377.49/377.68	c nbDecision=183500 #constraints=5275
378.49/378.65	c nbDecision=184000 #constraints=5275
379.49/379.60	c nbDecision=184500 #constraints=5275
380.39/380.55	c nbDecision=185000 #constraints=5275
381.39/381.52	c nbDecision=185500 #constraints=5288
382.29/382.46	c nbDecision=186000 #constraints=5290
383.19/383.39	c nbDecision=186500 #constraints=5290
384.19/384.35	c nbDecision=187000 #constraints=5302
385.09/385.27	c nbDecision=187500 #constraints=5302
386.19/386.30	c nbDecision=188000 #constraints=5314
387.19/387.31	c nbDecision=188500 #constraints=5314
388.19/388.31	c nbDecision=189000 #constraints=5314
389.19/389.30	c nbDecision=189500 #constraints=5314
390.08/390.29	c nbDecision=190000 #constraints=5314
391.08/391.26	c nbDecision=190500 #constraints=5319
392.08/392.22	c nbDecision=191000 #constraints=5319
392.98/393.16	c nbDecision=191500 #constraints=5319
393.98/394.11	c nbDecision=192000 #constraints=5328
394.88/395.06	c nbDecision=192500 #constraints=5346
395.88/396.04	c nbDecision=193000 #constraints=5347
396.88/397.05	c nbDecision=193500 #constraints=5347
397.88/398.06	c nbDecision=194000 #constraints=5347
398.88/399.05	c nbDecision=194500 #constraints=5347
399.88/400.04	c nbDecision=195000 #constraints=5347
400.88/401.02	c nbDecision=195500 #constraints=5347
401.88/402.00	c nbDecision=196000 #constraints=5347
402.78/402.97	c nbDecision=196500 #constraints=5347
403.78/403.93	c nbDecision=197000 #constraints=5347
404.68/404.87	c nbDecision=197500 #constraints=5347
405.78/405.94	c nbDecision=198000 #constraints=5348
406.78/406.96	c nbDecision=198500 #constraints=5348
407.78/407.97	c nbDecision=199000 #constraints=5348
408.78/408.97	c nbDecision=199500 #constraints=5348
409.77/409.95	c nbDecision=200000 #constraints=5348
410.77/410.93	c nbDecision=200500 #constraints=5354
411.67/411.89	c nbDecision=201000 #constraints=5354
412.67/412.89	c nbDecision=201500 #constraints=5355
413.67/413.89	c nbDecision=202000 #constraints=5355
414.67/414.89	c nbDecision=202500 #constraints=5355
415.68/415.89	c nbDecision=203000 #constraints=5355
416.68/416.86	c nbDecision=203500 #constraints=5355
417.67/417.83	c nbDecision=204000 #constraints=5357
418.57/418.80	c nbDecision=204500 #constraints=5357
419.17/419.37	c restart after 204801 decisions
419.57/419.75	c nbDecision=205000 #constraints=5357
420.37/420.54	c nbDecision=205500 #constraints=5357
421.17/421.32	c nbDecision=206000 #constraints=5357
421.97/422.11	c nbDecision=206500 #constraints=5357
422.67/422.89	c nbDecision=207000 #constraints=5357
423.47/423.67	c nbDecision=207500 #constraints=5357
424.27/424.46	c nbDecision=208000 #constraints=5357
425.07/425.24	c nbDecision=208500 #constraints=5357
425.87/426.02	c nbDecision=209000 #constraints=5357
426.58/426.79	c nbDecision=209500 #constraints=5357
427.37/427.57	c nbDecision=210000 #constraints=5357
428.17/428.34	c nbDecision=210500 #constraints=5357
429.07/429.27	c nbDecision=211000 #constraints=5357
430.37/430.59	c nbDecision=211500 #constraints=5357
431.77/431.90	c nbDecision=212000 #constraints=5357
433.07/433.20	c nbDecision=212500 #constraints=5357
434.27/434.48	c nbDecision=213000 #constraints=5357
435.57/435.77	c nbDecision=213500 #constraints=5359
437.16/437.30	c nbDecision=214000 #constraints=5385
438.36/438.58	c nbDecision=214500 #constraints=5394
439.46/439.61	c nbDecision=215000 #constraints=5394
440.46/440.65	c nbDecision=215500 #constraints=5394
441.46/441.68	c nbDecision=216000 #constraints=5394
442.56/442.70	c nbDecision=216500 #constraints=5394
443.66/443.87	c nbDecision=217000 #constraints=5397
444.66/444.87	c nbDecision=217500 #constraints=5397
445.66/445.87	c nbDecision=218000 #constraints=5397
446.66/446.86	c nbDecision=218500 #constraints=5397
447.66/447.84	c nbDecision=219000 #constraints=5397
448.66/448.82	c nbDecision=219500 #constraints=5399
449.66/449.83	c nbDecision=220000 #constraints=5399
450.66/450.82	c nbDecision=220500 #constraints=5399
451.56/451.80	c nbDecision=221000 #constraints=5399
452.56/452.77	c nbDecision=221500 #constraints=5399
453.56/453.73	c nbDecision=222000 #constraints=5399
454.46/454.70	c nbDecision=222500 #constraints=5410
455.45/455.69	c nbDecision=223000 #constraints=5429
456.45/456.69	c nbDecision=223500 #constraints=5429
457.46/457.68	c nbDecision=224000 #constraints=5429
458.46/458.66	c nbDecision=224500 #constraints=5429
459.46/459.63	c nbDecision=225000 #constraints=5429
460.46/460.60	c nbDecision=225500 #constraints=5429
461.36/461.56	c nbDecision=226000 #constraints=5429
462.36/462.55	c nbDecision=226500 #constraints=5441
463.36/463.55	c nbDecision=227000 #constraints=5441
464.36/464.55	c nbDecision=227500 #constraints=5441
465.36/465.54	c nbDecision=228000 #constraints=5441
466.36/466.52	c nbDecision=228500 #constraints=5441
467.36/467.51	c nbDecision=229000 #constraints=5449
468.26/468.47	c nbDecision=229500 #constraints=5449
469.26/469.45	c nbDecision=230000 #constraints=5460
470.16/470.38	c nbDecision=230500 #constraints=5460
471.26/471.40	c nbDecision=231000 #constraints=5482
472.16/472.40	c nbDecision=231500 #constraints=5482
473.16/473.38	c nbDecision=232000 #constraints=5482
474.15/474.36	c nbDecision=232500 #constraints=5482
475.15/475.33	c nbDecision=233000 #constraints=5482
476.16/476.31	c nbDecision=233500 #constraints=5491
477.05/477.25	c nbDecision=234000 #constraints=5491
477.95/478.19	c nbDecision=234500 #constraints=5493
478.95/479.13	c nbDecision=235000 #constraints=5493
479.85/480.07	c nbDecision=235500 #constraints=5515
480.75/480.99	c nbDecision=236000 #constraints=5515
481.85/482.09	c nbDecision=236500 #constraints=5524
482.95/483.10	c nbDecision=237000 #constraints=5524
483.95/484.10	c nbDecision=237500 #constraints=5524
484.85/485.09	c nbDecision=238000 #constraints=5524
485.85/486.07	c nbDecision=238500 #constraints=5524
488.25/488.41	c nbDecision=239000 #constraints=5525
489.25/489.45	c nbDecision=239500 #constraints=5526
490.25/490.45	c nbDecision=240000 #constraints=5526
491.25/491.43	c nbDecision=240500 #constraints=5526
492.25/492.41	c nbDecision=241000 #constraints=5526
493.15/493.38	c nbDecision=241500 #constraints=5526
494.14/494.34	c nbDecision=242000 #constraints=5536
495.04/495.29	c nbDecision=242500 #constraints=5536
496.04/496.29	c nbDecision=243000 #constraints=5537
497.05/497.28	c nbDecision=243500 #constraints=5537
498.05/498.27	c nbDecision=244000 #constraints=5537
499.04/499.24	c nbDecision=244500 #constraints=5537
500.04/500.20	c nbDecision=245000 #constraints=5537
500.94/501.17	c nbDecision=245500 #constraints=5538
501.94/502.13	c nbDecision=246000 #constraints=5550
502.84/503.08	c nbDecision=246500 #constraints=5550
503.84/504.09	c nbDecision=247000 #constraints=5559
504.95/505.10	c nbDecision=247500 #constraints=5559
505.95/506.10	c nbDecision=248000 #constraints=5559
506.85/507.09	c nbDecision=248500 #constraints=5559
507.85/508.07	c nbDecision=249000 #constraints=5559
508.85/509.04	c nbDecision=249500 #constraints=5559
509.85/510.01	c nbDecision=250000 #constraints=5559
510.75/510.96	c nbDecision=250500 #constraints=5568
511.65/511.90	c nbDecision=251000 #constraints=5568
512.65/512.83	c nbDecision=251500 #constraints=5572
513.55/513.74	c nbDecision=252000 #constraints=5572
514.55/514.71	c nbDecision=252500 #constraints=5573
515.55/515.71	c nbDecision=253000 #constraints=5574
516.55/516.70	c nbDecision=253500 #constraints=5574
517.44/517.69	c nbDecision=254000 #constraints=5574
518.44/518.66	c nbDecision=254500 #constraints=5574
519.44/519.63	c nbDecision=255000 #constraints=5574
520.34/520.59	c nbDecision=255500 #constraints=5574
521.34/521.55	c nbDecision=256000 #constraints=5574
522.25/522.49	c nbDecision=256500 #constraints=5574
523.24/523.45	c nbDecision=257000 #constraints=5575
524.24/524.46	c nbDecision=257500 #constraints=5575
525.24/525.46	c nbDecision=258000 #constraints=5575
526.24/526.45	c nbDecision=258500 #constraints=5575
527.24/527.45	c nbDecision=259000 #constraints=5575
528.24/528.42	c nbDecision=259500 #constraints=5575
529.14/529.38	c nbDecision=260000 #constraints=5575
530.24/530.45	c nbDecision=260500 #constraints=5579
531.34/531.50	c nbDecision=261000 #constraints=5579
532.24/532.49	c nbDecision=261500 #constraints=5579
533.24/533.47	c nbDecision=262000 #constraints=5579
534.24/534.45	c nbDecision=262500 #constraints=5579
535.24/535.41	c nbDecision=263000 #constraints=5579
537.54/537.72	c nbDecision=263500 #constraints=5585
538.64/538.84	c nbDecision=264000 #constraints=5586
539.63/539.83	c nbDecision=264500 #constraints=5586
540.63/540.82	c nbDecision=265000 #constraints=5586
541.53/541.79	c nbDecision=265500 #constraints=5586
542.53/542.76	c nbDecision=266000 #constraints=5586
543.53/543.75	c nbDecision=266500 #constraints=5589
544.53/544.75	c nbDecision=267000 #constraints=5589
545.53/545.74	c nbDecision=267500 #constraints=5589
546.54/546.72	c nbDecision=268000 #constraints=5589
547.43/547.69	c nbDecision=268500 #constraints=5589
548.43/548.66	c nbDecision=269000 #constraints=5590
549.43/549.61	c nbDecision=269500 #constraints=5590
550.33/550.55	c nbDecision=270000 #constraints=5592
551.23/551.49	c nbDecision=270500 #constraints=5593
552.43/552.67	c nbDecision=271000 #constraints=5605
553.43/553.67	c nbDecision=271500 #constraints=5605
554.43/554.65	c nbDecision=272000 #constraints=5605
555.43/555.62	c nbDecision=272500 #constraints=5605
556.33/556.58	c nbDecision=273000 #constraints=5605
557.33/557.53	c nbDecision=273500 #constraints=5605
558.23/558.49	c nbDecision=274000 #constraints=5614
559.23/559.42	c nbDecision=274500 #constraints=5614
560.23/560.41	c nbDecision=275000 #constraints=5615
561.23/561.40	c nbDecision=275500 #constraints=5615
562.13/562.38	c nbDecision=276000 #constraints=5615
563.13/563.35	c nbDecision=276500 #constraints=5615
564.13/564.32	c nbDecision=277000 #constraints=5615
565.03/565.27	c nbDecision=277500 #constraints=5615
566.02/566.21	c nbDecision=278000 #constraints=5615
566.92/567.14	c nbDecision=278500 #constraints=5615
567.92/568.10	c nbDecision=279000 #constraints=5617
568.82/569.10	c nbDecision=279500 #constraints=5617
569.82/570.08	c nbDecision=280000 #constraints=5617
570.82/571.04	c nbDecision=280500 #constraints=5617
571.73/572.00	c nbDecision=281000 #constraints=5617
572.72/572.96	c nbDecision=281500 #constraints=5626
573.62/573.90	c nbDecision=282000 #constraints=5626
574.62/574.83	c nbDecision=282500 #constraints=5633
575.52/575.75	c nbDecision=283000 #constraints=5633
576.52/576.74	c nbDecision=283500 #constraints=5634
577.52/577.73	c nbDecision=284000 #constraints=5634
578.52/578.71	c nbDecision=284500 #constraints=5634
579.42/579.67	c nbDecision=285000 #constraints=5634
580.42/580.64	c nbDecision=285500 #constraints=5634
581.32/581.60	c nbDecision=286000 #constraints=5634
582.32/582.54	c nbDecision=286500 #constraints=5634
583.32/583.57	c nbDecision=287000 #constraints=5636
584.32/584.57	c nbDecision=287500 #constraints=5636
585.42/585.62	c nbDecision=288000 #constraints=5636
586.41/586.60	c nbDecision=288500 #constraints=5636
587.31/587.57	c nbDecision=289000 #constraints=5636
588.32/588.53	c nbDecision=289500 #constraints=5636
589.32/589.55	c nbDecision=290000 #constraints=5637
590.31/590.55	c nbDecision=290500 #constraints=5637
591.31/591.53	c nbDecision=291000 #constraints=5637
592.31/592.50	c nbDecision=291500 #constraints=5637
593.22/593.46	c nbDecision=292000 #constraints=5637
594.22/594.41	c nbDecision=292500 #constraints=5637
595.12/595.36	c nbDecision=293000 #constraints=5639
596.12/596.31	c nbDecision=293500 #constraints=5640
597.13/597.31	c nbDecision=294000 #constraints=5640
598.13/598.30	c nbDecision=294500 #constraints=5640
599.02/599.28	c nbDecision=295000 #constraints=5640
600.02/600.25	c nbDecision=295500 #constraints=5640
601.02/601.22	c nbDecision=296000 #constraints=5640
601.92/602.18	c nbDecision=296500 #constraints=5641
602.92/603.13	c nbDecision=297000 #constraints=5641
603.82/604.08	c nbDecision=297500 #constraints=5650
604.82/605.01	c nbDecision=298000 #constraints=5650
605.72/605.95	c nbDecision=298500 #constraints=5672
606.62/606.86	c nbDecision=299000 #constraints=5672
607.52/607.79	c nbDecision=299500 #constraints=5685
608.42/608.69	c nbDecision=300000 #constraints=5685
609.42/609.61	c nbDecision=300500 #constraints=5688
610.32/610.51	c nbDecision=301000 #constraints=5688
611.21/611.43	c nbDecision=301500 #constraints=5704
612.11/612.31	c nbDecision=302000 #constraints=5704
613.01/613.21	c nbDecision=302500 #constraints=5707
613.91/614.11	c nbDecision=303000 #constraints=5707
614.81/615.03	c nbDecision=303500 #constraints=5727
615.71/615.91	c nbDecision=304000 #constraints=5727
616.61/616.86	c nbDecision=304500 #constraints=5770
617.51/617.76	c nbDecision=305000 #constraints=5770
618.41/618.66	c nbDecision=305500 #constraints=5771
619.31/619.57	c nbDecision=306000 #constraints=5771
620.21/620.47	c nbDecision=306500 #constraints=5777
621.11/621.36	c nbDecision=307000 #constraints=5777
622.01/622.25	c nbDecision=307500 #constraints=5780
622.91/623.14	c nbDecision=308000 #constraints=5780
623.81/624.03	c nbDecision=308500 #constraints=5781
624.71/624.91	c nbDecision=309000 #constraints=5781
625.61/625.82	c nbDecision=309500 #constraints=5782
626.50/626.75	c nbDecision=310000 #constraints=5782
627.40/627.66	c nbDecision=310500 #constraints=5792
628.30/628.54	c nbDecision=311000 #constraints=5792
629.20/629.46	c nbDecision=311500 #constraints=5813
630.11/630.34	c nbDecision=312000 #constraints=5813
631.00/631.24	c nbDecision=312500 #constraints=5836
631.90/632.14	c nbDecision=313000 #constraints=5853
632.80/633.01	c nbDecision=313500 #constraints=5853
633.60/633.87	c nbDecision=314000 #constraints=5854
634.50/634.73	c nbDecision=314500 #constraints=5854
635.40/635.60	c nbDecision=315000 #constraints=5856
636.20/636.46	c nbDecision=315500 #constraints=5856
637.10/637.32	c nbDecision=316000 #constraints=5858
637.90/638.19	c nbDecision=316500 #constraints=5870
638.80/639.06	c nbDecision=317000 #constraints=5879
639.71/639.94	c nbDecision=317500 #constraints=5898
640.51/640.79	c nbDecision=318000 #constraints=5898
641.41/641.65	c nbDecision=318500 #constraints=5909
642.40/642.60	c nbDecision=319000 #constraints=5949
643.21/643.45	c nbDecision=319500 #constraints=5950
644.10/644.33	c nbDecision=320000 #constraints=5976
645.00/645.26	c nbDecision=320500 #constraints=6000
645.90/646.13	c nbDecision=321000 #constraints=6012
646.80/647.05	c nbDecision=321500 #constraints=6032
647.60/647.89	c nbDecision=322000 #constraints=6032
648.50/648.78	c nbDecision=322500 #constraints=6043
649.40/649.63	c nbDecision=323000 #constraints=6043
650.20/650.49	c nbDecision=323500 #constraints=6053
651.10/651.39	c nbDecision=324000 #constraints=6074
652.00/652.23	c nbDecision=324500 #constraints=6074
652.80/653.08	c nbDecision=325000 #constraints=6080
653.70/653.92	c nbDecision=325500 #constraints=6080
654.50/654.77	c nbDecision=326000 #constraints=6083
656.10/656.37	c nbDecision=326500 #constraints=6112
657.00/657.21	c nbDecision=327000 #constraints=6112
657.79/658.05	c nbDecision=327500 #constraints=6115
658.70/658.90	c nbDecision=328000 #constraints=6135
659.49/659.75	c nbDecision=328500 #constraints=6135
660.29/660.60	c nbDecision=329000 #constraints=6137
661.19/661.46	c nbDecision=329500 #constraints=6158
662.09/662.38	c nbDecision=330000 #constraints=6192
662.99/663.22	c nbDecision=330500 #constraints=6199
663.79/664.06	c nbDecision=331000 #constraints=6203
664.69/664.90	c nbDecision=331500 #constraints=6207
665.49/665.78	c nbDecision=332000 #constraints=6215
666.39/666.63	c nbDecision=332500 #constraints=6228
667.30/667.54	c nbDecision=333000 #constraints=6242
668.10/668.40	c nbDecision=333500 #constraints=6263
669.00/669.27	c nbDecision=334000 #constraints=6282
669.90/670.14	c nbDecision=334500 #constraints=6319
670.80/671.03	c nbDecision=335000 #constraints=6337
671.69/671.90	c nbDecision=335500 #constraints=6337
672.49/672.77	c nbDecision=336000 #constraints=6338
673.39/673.63	c nbDecision=336500 #constraints=6339
674.19/674.50	c nbDecision=337000 #constraints=6339
675.10/675.36	c nbDecision=337500 #constraints=6349
675.99/676.20	c nbDecision=338000 #constraints=6349
676.79/677.05	c nbDecision=338500 #constraints=6355
677.69/677.91	c nbDecision=339000 #constraints=6359
678.50/678.79	c nbDecision=339500 #constraints=6359
679.49/679.73	c nbDecision=340000 #constraints=6386
680.39/680.61	c nbDecision=340500 #constraints=6386
681.19/681.48	c nbDecision=341000 #constraints=6386
682.09/682.38	c nbDecision=341500 #constraints=6405
682.99/683.26	c nbDecision=342000 #constraints=6420
683.89/684.10	c nbDecision=342500 #constraints=6421
684.69/684.98	c nbDecision=343000 #constraints=6443
685.59/685.83	c nbDecision=343500 #constraints=6463
686.39/686.69	c nbDecision=344000 #constraints=6479
687.29/687.54	c nbDecision=344500 #constraints=6479
688.19/688.43	c nbDecision=345000 #constraints=6499
688.99/689.29	c nbDecision=345500 #constraints=6538
689.88/690.14	c nbDecision=346000 #constraints=6553
690.69/690.98	c nbDecision=346500 #constraints=6553
691.59/691.82	c nbDecision=347000 #constraints=6559
692.38/692.67	c nbDecision=347500 #constraints=6563
693.28/693.52	c nbDecision=348000 #constraints=6563
694.18/694.40	c nbDecision=348500 #constraints=6566
694.98/695.27	c nbDecision=349000 #constraints=6566
695.88/696.15	c nbDecision=349500 #constraints=6576
696.78/697.01	c nbDecision=350000 #constraints=6576
697.58/697.88	c nbDecision=350500 #constraints=6587
698.48/698.72	c nbDecision=351000 #constraints=6587
699.28/699.59	c nbDecision=351500 #constraints=6600
700.18/700.44	c nbDecision=352000 #constraints=6600
701.08/701.31	c nbDecision=352500 #constraints=6614
701.88/702.16	c nbDecision=353000 #constraints=6617
702.78/703.01	c nbDecision=353500 #constraints=6617
703.58/703.85	c nbDecision=354000 #constraints=6619
704.48/704.75	c nbDecision=354500 #constraints=6630
705.38/705.60	c nbDecision=355000 #constraints=6630
706.18/706.44	c nbDecision=355500 #constraints=6633
707.08/707.30	c nbDecision=356000 #constraints=6661
707.88/708.16	c nbDecision=356500 #constraints=6663
708.78/709.01	c nbDecision=357000 #constraints=6663
709.88/710.16	c nbDecision=357500 #constraints=6685
710.77/711.01	c nbDecision=358000 #constraints=6690
711.57/711.85	c nbDecision=358500 #constraints=6710
712.48/712.72	c nbDecision=359000 #constraints=6766
713.27/713.53	c nbDecision=359500 #constraints=6768
714.07/714.39	c nbDecision=360000 #constraints=6777
714.97/715.22	c nbDecision=360500 #constraints=6777
715.78/716.08	c nbDecision=361000 #constraints=6781
716.67/716.92	c nbDecision=361500 #constraints=6781
717.47/717.76	c nbDecision=362000 #constraints=6782
718.38/718.64	c nbDecision=362500 #constraints=6787
719.28/719.52	c nbDecision=363000 #constraints=6787
720.08/720.39	c nbDecision=363500 #constraints=6788
720.98/721.25	c nbDecision=364000 #constraints=6788
721.88/722.12	c nbDecision=364500 #constraints=6794
722.68/722.97	c nbDecision=365000 #constraints=6794
723.58/723.83	c nbDecision=365500 #constraints=6798
724.37/724.68	c nbDecision=366000 #constraints=6798
725.27/725.53	c nbDecision=366500 #constraints=6802
726.17/726.40	c nbDecision=367000 #constraints=6828
726.97/727.25	c nbDecision=367500 #constraints=6828
727.77/728.10	c nbDecision=368000 #constraints=6829
728.67/728.95	c nbDecision=368500 #constraints=6833
729.57/729.80	c nbDecision=369000 #constraints=6833
730.37/730.66	c nbDecision=369500 #constraints=6834
731.28/731.50	c nbDecision=370000 #constraints=6834
732.07/732.34	c nbDecision=370500 #constraints=6834
732.87/733.18	c nbDecision=371000 #constraints=6841
733.77/734.01	c nbDecision=371500 #constraints=6873
734.58/734.88	c nbDecision=372000 #constraints=6919
735.47/735.73	c nbDecision=372500 #constraints=6927
736.27/736.57	c nbDecision=373000 #constraints=6927
737.17/737.42	c nbDecision=373500 #constraints=6933
737.97/738.26	c nbDecision=374000 #constraints=6954
738.87/739.12	c nbDecision=374500 #constraints=6983
739.67/739.96	c nbDecision=375000 #constraints=6983
740.57/740.81	c nbDecision=375500 #constraints=6985
741.37/741.62	c nbDecision=376000 #constraints=6992
742.17/742.46	c nbDecision=376500 #constraints=7040
742.97/743.28	c nbDecision=377000 #constraints=7042
743.86/744.12	c nbDecision=377500 #constraints=7050
744.66/744.96	c nbDecision=378000 #constraints=7050
745.57/745.82	c nbDecision=378500 #constraints=7061
746.36/746.64	c nbDecision=379000 #constraints=7067
747.26/747.51	c nbDecision=379500 #constraints=7095
748.06/748.37	c nbDecision=380000 #constraints=7095
748.96/749.22	c nbDecision=380500 #constraints=7096
749.76/750.05	c nbDecision=381000 #constraints=7098
750.56/750.86	c nbDecision=381500 #constraints=7103
751.36/751.67	c nbDecision=382000 #constraints=7110
752.26/752.54	c nbDecision=382500 #constraints=7163
753.06/753.34	c nbDecision=383000 #constraints=7165
753.86/754.19	c nbDecision=383500 #constraints=7172
754.76/755.03	c nbDecision=384000 #constraints=7172
755.56/755.88	c nbDecision=384500 #constraints=7176
756.47/756.73	c nbDecision=385000 #constraints=7187
757.26/757.57	c nbDecision=385500 #constraints=7188
758.16/758.41	c nbDecision=386000 #constraints=7188
758.96/759.25	c nbDecision=386500 #constraints=7191
759.76/760.05	c nbDecision=387000 #constraints=7192
760.66/760.91	c nbDecision=387500 #constraints=7216
761.46/761.76	c nbDecision=388000 #constraints=7216
762.36/762.62	c nbDecision=388500 #constraints=7218
763.16/763.47	c nbDecision=389000 #constraints=7218
764.06/764.32	c nbDecision=389500 #constraints=7218
764.86/765.16	c nbDecision=390000 #constraints=7220
765.76/766.01	c nbDecision=390500 #constraints=7221
766.56/766.86	c nbDecision=391000 #constraints=7221
767.46/767.71	c nbDecision=391500 #constraints=7222
768.36/768.60	c nbDecision=392000 #constraints=7230
769.16/769.43	c nbDecision=392500 #constraints=7232
769.95/770.26	c nbDecision=393000 #constraints=7252
770.76/771.09	c nbDecision=393500 #constraints=7264
771.65/771.92	c nbDecision=394000 #constraints=7282
772.45/772.74	c nbDecision=394500 #constraints=7297
773.25/773.54	c nbDecision=395000 #constraints=7316
774.06/774.35	c nbDecision=395500 #constraints=7327
775.06/775.39	c nbDecision=396000 #constraints=7369
776.16/776.40	c nbDecision=396500 #constraints=7388
776.96/777.26	c nbDecision=397000 #constraints=7400
777.76/778.05	c nbDecision=397500 #constraints=7400
778.66/778.92	c nbDecision=398000 #constraints=7423
779.46/779.76	c nbDecision=398500 #constraints=7423
780.36/780.61	c nbDecision=399000 #constraints=7428
781.16/781.40	c nbDecision=399500 #constraints=7429
781.96/782.21	c nbDecision=400000 #constraints=7437
782.76/783.08	c nbDecision=400500 #constraints=7499
783.56/783.89	c nbDecision=401000 #constraints=7520
784.46/784.72	c nbDecision=401500 #constraints=7542
785.26/785.55	c nbDecision=402000 #constraints=7588
786.16/786.41	c nbDecision=402500 #constraints=7598
786.96/787.28	c nbDecision=403000 #constraints=7598
787.86/788.13	c nbDecision=403500 #constraints=7600
788.66/788.96	c nbDecision=404000 #constraints=7623
789.56/789.83	c nbDecision=404500 #constraints=7665
790.35/790.64	c nbDecision=405000 #constraints=7686
791.15/791.49	c nbDecision=405500 #constraints=7687
792.05/792.34	c nbDecision=406000 #constraints=7687
792.95/793.22	c nbDecision=406500 #constraints=7688
793.75/794.10	c nbDecision=407000 #constraints=7688
794.65/794.99	c nbDecision=407500 #constraints=7696
795.55/795.87	c nbDecision=408000 #constraints=7707
796.45/796.72	c nbDecision=408500 #constraints=7707
797.25/797.56	c nbDecision=409000 #constraints=7708
798.05/798.39	c nbDecision=409500 #constraints=7711
798.25/798.55	c restart after 409601 decisions
798.95/799.28	c nbDecision=410000 #constraints=7711
799.75/800.06	c nbDecision=410500 #constraints=7711
800.55/800.84	c nbDecision=411000 #constraints=7711
801.35/801.62	c nbDecision=411500 #constraints=7711
802.15/802.41	c nbDecision=412000 #constraints=7711
802.85/803.19	c nbDecision=412500 #constraints=7711
803.65/803.98	c nbDecision=413000 #constraints=7711
804.45/804.75	c nbDecision=413500 #constraints=7711
805.25/805.53	c nbDecision=414000 #constraints=7711
805.95/806.30	c nbDecision=414500 #constraints=7711
806.75/807.07	c nbDecision=415000 #constraints=7711
807.55/807.85	c nbDecision=415500 #constraints=7711
808.75/809.00	c nbDecision=416000 #constraints=7711
810.05/810.32	c nbDecision=416500 #constraints=7711
811.35/811.62	c nbDecision=417000 #constraints=7711
812.65/812.92	c nbDecision=417500 #constraints=7711
813.84/814.19	c nbDecision=418000 #constraints=7711
815.14/815.49	c nbDecision=418500 #constraints=7713
816.34/816.62	c nbDecision=419000 #constraints=7716
817.24/817.57	c nbDecision=419500 #constraints=7716
818.24/818.51	c nbDecision=420000 #constraints=7716
819.15/819.44	c nbDecision=420500 #constraints=7716
820.04/820.36	c nbDecision=421000 #constraints=7716
820.94/821.28	c nbDecision=421500 #constraints=7718
821.84/822.19	c nbDecision=422000 #constraints=7718
822.84/823.15	c nbDecision=422500 #constraints=7719
823.84/824.10	c nbDecision=423000 #constraints=7719
824.74/825.05	c nbDecision=423500 #constraints=7719
825.64/825.99	c nbDecision=424000 #constraints=7719
826.64/826.93	c nbDecision=424500 #constraints=7719
827.54/827.85	c nbDecision=425000 #constraints=7720
828.44/828.76	c nbDecision=425500 #constraints=7720
829.34/829.66	c nbDecision=426000 #constraints=7721
830.24/830.55	c nbDecision=426500 #constraints=7721
831.24/831.51	c nbDecision=427000 #constraints=7730
832.14/832.46	c nbDecision=427500 #constraints=7730
833.04/833.39	c nbDecision=428000 #constraints=7730
834.04/834.32	c nbDecision=428500 #constraints=7730
834.94/835.24	c nbDecision=429000 #constraints=7730
835.84/836.18	c nbDecision=429500 #constraints=7731
836.84/837.13	c nbDecision=430000 #constraints=7731
837.73/838.08	c nbDecision=430500 #constraints=7731
838.73/839.01	c nbDecision=431000 #constraints=7731
839.63/839.94	c nbDecision=431500 #constraints=7731
840.53/840.87	c nbDecision=432000 #constraints=7738
841.43/841.79	c nbDecision=432500 #constraints=7739
842.43/842.70	c nbDecision=433000 #constraints=7739
843.23/843.59	c nbDecision=433500 #constraints=7739
844.23/844.52	c nbDecision=434000 #constraints=7762
845.03/845.39	c nbDecision=434500 #constraints=7762
845.93/846.27	c nbDecision=435000 #constraints=7763
846.83/847.14	c nbDecision=435500 #constraints=7763
847.73/848.09	c nbDecision=436000 #constraints=7773
848.73/849.05	c nbDecision=436500 #constraints=7773
849.73/850.00	c nbDecision=437000 #constraints=7773
850.63/850.94	c nbDecision=437500 #constraints=7773
851.53/851.86	c nbDecision=438000 #constraints=7773
852.43/852.78	c nbDecision=438500 #constraints=7773
853.33/853.69	c nbDecision=439000 #constraints=7773
854.33/854.63	c nbDecision=439500 #constraints=7783
855.24/855.58	c nbDecision=440000 #constraints=7783
856.24/856.52	c nbDecision=440500 #constraints=7783
857.14/857.45	c nbDecision=441000 #constraints=7783
858.04/858.37	c nbDecision=441500 #constraints=7783
858.94/859.28	c nbDecision=442000 #constraints=7783
859.84/860.19	c nbDecision=442500 #constraints=7783
860.74/861.09	c nbDecision=443000 #constraints=7783
861.64/861.98	c nbDecision=443500 #constraints=7783
862.54/862.88	c nbDecision=444000 #constraints=7790
863.44/863.74	c nbDecision=444500 #constraints=7790
864.34/864.63	c nbDecision=445000 #constraints=7804
865.14/865.48	c nbDecision=445500 #constraints=7804
866.03/866.33	c nbDecision=446000 #constraints=7805
866.83/867.19	c nbDecision=446500 #constraints=7805
867.73/868.07	c nbDecision=447000 #constraints=7819
868.64/868.93	c nbDecision=447500 #constraints=7819
869.43/869.80	c nbDecision=448000 #constraints=7820
870.33/870.66	c nbDecision=448500 #constraints=7820
871.23/871.53	c nbDecision=449000 #constraints=7828
872.04/872.37	c nbDecision=449500 #constraints=7828
872.93/873.24	c nbDecision=450000 #constraints=7829
873.83/874.10	c nbDecision=450500 #constraints=7829
874.63/875.00	c nbDecision=451000 #constraints=7853
875.53/875.84	c nbDecision=451500 #constraints=7853
876.43/876.71	c nbDecision=452000 #constraints=7880
877.23/877.53	c nbDecision=452500 #constraints=7880
878.03/878.37	c nbDecision=453000 #constraints=7881
878.93/879.21	c nbDecision=453500 #constraints=7890
879.73/880.03	c nbDecision=454000 #constraints=7890
880.63/880.91	c nbDecision=454500 #constraints=7923
881.43/881.73	c nbDecision=455000 #constraints=7923
882.33/882.63	c nbDecision=455500 #constraints=7927
883.33/883.67	c nbDecision=456000 #constraints=7946
884.13/884.48	c nbDecision=456500 #constraints=7946
885.63/885.95	c nbDecision=457000 #constraints=7973
886.42/886.77	c nbDecision=457500 #constraints=7973
887.22/887.58	c nbDecision=458000 #constraints=7973
888.13/888.43	c nbDecision=458500 #constraints=7987
889.02/889.30	c nbDecision=459000 #constraints=7988
890.02/890.35	c nbDecision=459500 #constraints=8008
890.92/891.22	c nbDecision=460000 #constraints=8008
891.83/892.12	c nbDecision=460500 #constraints=8009
892.72/893.08	c nbDecision=461000 #constraints=8009
893.72/894.02	c nbDecision=461500 #constraints=8009
894.62/894.96	c nbDecision=462000 #constraints=8009
895.52/895.88	c nbDecision=462500 #constraints=8009
896.42/896.80	c nbDecision=463000 #constraints=8009
897.42/897.70	c nbDecision=463500 #constraints=8009
898.32/898.60	c nbDecision=464000 #constraints=8009
899.12/899.49	c nbDecision=464500 #constraints=8009
900.02/900.37	c nbDecision=465000 #constraints=8011
900.92/901.25	c nbDecision=465500 #constraints=8011
901.82/902.14	c nbDecision=466000 #constraints=8021
902.62/903.00	c nbDecision=466500 #constraints=8022
903.62/903.90	c nbDecision=467000 #constraints=8046
904.42/904.74	c nbDecision=467500 #constraints=8046
905.22/905.59	c nbDecision=468000 #constraints=8048
906.12/906.47	c nbDecision=468500 #constraints=8048
907.02/907.34	c nbDecision=469000 #constraints=8049
907.82/908.19	c nbDecision=469500 #constraints=8049
909.11/909.41	c nbDecision=470000 #constraints=8057
910.01/910.37	c nbDecision=470500 #constraints=8057
911.01/911.31	c nbDecision=471000 #constraints=8057
911.91/912.25	c nbDecision=471500 #constraints=8057
912.81/913.17	c nbDecision=472000 #constraints=8057
913.72/914.09	c nbDecision=472500 #constraints=8057
914.71/915.00	c nbDecision=473000 #constraints=8058
915.61/915.90	c nbDecision=473500 #constraints=8060
916.41/916.79	c nbDecision=474000 #constraints=8060
917.31/917.69	c nbDecision=474500 #constraints=8071
918.21/918.56	c nbDecision=475000 #constraints=8071
919.11/919.43	c nbDecision=475500 #constraints=8080
919.91/920.28	c nbDecision=476000 #constraints=8080
920.81/921.17	c nbDecision=476500 #constraints=8093
921.71/922.05	c nbDecision=477000 #constraints=8093
922.61/922.94	c nbDecision=477500 #constraints=8103
923.41/923.80	c nbDecision=478000 #constraints=8105
924.31/924.67	c nbDecision=478500 #constraints=8111
925.21/925.55	c nbDecision=479000 #constraints=8111
926.11/926.43	c nbDecision=479500 #constraints=8120
927.01/927.30	c nbDecision=480000 #constraints=8129
927.80/928.15	c nbDecision=480500 #constraints=8129
928.70/929.00	c nbDecision=481000 #constraints=8130
929.50/929.86	c nbDecision=481500 #constraints=8135
930.40/930.71	c nbDecision=482000 #constraints=8135
931.20/931.57	c nbDecision=482500 #constraints=8153
932.10/932.40	c nbDecision=483000 #constraints=8153
932.90/933.24	c nbDecision=483500 #constraints=8158
933.70/934.06	c nbDecision=484000 #constraints=8158
934.50/934.88	c nbDecision=484500 #constraints=8161
935.30/935.69	c nbDecision=485000 #constraints=8161
936.30/936.63	c nbDecision=485500 #constraints=8166
937.20/937.52	c nbDecision=486000 #constraints=8190
938.10/938.42	c nbDecision=486500 #constraints=8195
938.91/939.23	c nbDecision=487000 #constraints=8195
939.71/940.04	c nbDecision=487500 #constraints=8196
940.61/940.99	c nbDecision=488000 #constraints=8205
942.11/942.47	c nbDecision=488500 #constraints=8238
943.21/943.55	c nbDecision=489000 #constraints=8254
944.91/945.29	c nbDecision=489500 #constraints=8274
945.71/946.09	c nbDecision=490000 #constraints=8278
946.61/946.92	c nbDecision=490500 #constraints=8283
947.40/947.73	c nbDecision=491000 #constraints=8283
948.50/948.81	c nbDecision=491500 #constraints=8285
949.30/949.68	c nbDecision=492000 #constraints=8292
950.30/950.62	c nbDecision=492500 #constraints=8322
951.11/951.45	c nbDecision=493000 #constraints=8343
951.90/952.26	c nbDecision=493500 #constraints=8343
952.70/953.06	c nbDecision=494000 #constraints=8347
953.60/953.94	c nbDecision=494500 #constraints=8349
954.51/954.80	c nbDecision=495000 #constraints=8349
955.30/955.65	c nbDecision=495500 #constraints=8349
956.10/956.50	c nbDecision=496000 #constraints=8349
957.10/957.45	c nbDecision=496500 #constraints=8352
958.00/958.39	c nbDecision=497000 #constraints=8352
959.00/959.33	c nbDecision=497500 #constraints=8352
959.91/960.26	c nbDecision=498000 #constraints=8352
960.80/961.18	c nbDecision=498500 #constraints=8352
961.80/962.15	c nbDecision=499000 #constraints=8353
962.80/963.11	c nbDecision=499500 #constraints=8353
963.70/964.06	c nbDecision=500000 #constraints=8353
964.70/965.00	c nbDecision=500500 #constraints=8353
965.60/965.93	c nbDecision=501000 #constraints=8353
966.50/966.86	c nbDecision=501500 #constraints=8357
967.40/967.77	c nbDecision=502000 #constraints=8357
968.40/968.73	c nbDecision=502500 #constraints=8365
969.30/969.69	c nbDecision=503000 #constraints=8365
970.30/970.64	c nbDecision=503500 #constraints=8365
971.20/971.56	c nbDecision=504000 #constraints=8365
972.10/972.49	c nbDecision=504500 #constraints=8365
973.00/973.40	c nbDecision=505000 #constraints=8365
974.00/974.30	c nbDecision=505500 #constraints=8365
974.90/975.23	c nbDecision=506000 #constraints=8366
975.79/976.18	c nbDecision=506500 #constraints=8366
976.79/977.13	c nbDecision=507000 #constraints=8366
977.69/978.06	c nbDecision=507500 #constraints=8366
978.60/978.98	c nbDecision=508000 #constraints=8366
979.59/979.91	c nbDecision=508500 #constraints=8375
980.49/980.82	c nbDecision=509000 #constraints=8375
981.39/981.73	c nbDecision=509500 #constraints=8377
982.29/982.63	c nbDecision=510000 #constraints=8377
983.19/983.52	c nbDecision=510500 #constraints=8380
983.99/984.39	c nbDecision=511000 #constraints=8380
984.99/985.32	c nbDecision=511500 #constraints=8381
985.89/986.28	c nbDecision=512000 #constraints=8381
986.89/987.23	c nbDecision=512500 #constraints=8381
987.79/988.17	c nbDecision=513000 #constraints=8381
988.79/989.10	c nbDecision=513500 #constraints=8381
989.70/990.03	c nbDecision=514000 #constraints=8381
990.59/990.93	c nbDecision=514500 #constraints=8381
991.49/991.83	c nbDecision=515000 #constraints=8381
992.39/992.72	c nbDecision=515500 #constraints=8381
993.29/993.61	c nbDecision=516000 #constraints=8392
994.09/994.48	c nbDecision=516500 #constraints=8392
994.99/995.33	c nbDecision=517000 #constraints=8392
995.79/996.18	c nbDecision=517500 #constraints=8392
996.79/997.10	c nbDecision=518000 #constraints=8397
997.69/998.05	c nbDecision=518500 #constraints=8397
998.59/998.99	c nbDecision=519000 #constraints=8397
999.59/999.92	c nbDecision=519500 #constraints=8397
1000.49/1000.85	c nbDecision=520000 #constraints=8397
1001.39/1001.77	c nbDecision=520500 #constraints=8397
1002.29/1002.69	c nbDecision=521000 #constraints=8397
1003.19/1003.59	c nbDecision=521500 #constraints=8397
1004.08/1004.48	c nbDecision=522000 #constraints=8397
1004.99/1005.36	c nbDecision=522500 #constraints=8397
1005.88/1006.23	c nbDecision=523000 #constraints=8397
1006.78/1007.12	c nbDecision=523500 #constraints=8409
1007.58/1007.97	c nbDecision=524000 #constraints=8409
1008.58/1008.94	c nbDecision=524500 #constraints=8418
1009.49/1009.90	c nbDecision=525000 #constraints=8418
1010.49/1010.84	c nbDecision=525500 #constraints=8418
1011.38/1011.77	c nbDecision=526000 #constraints=8418
1012.38/1012.70	c nbDecision=526500 #constraints=8418
1013.28/1013.61	c nbDecision=527000 #constraints=8418
1014.18/1014.51	c nbDecision=527500 #constraints=8418
1015.08/1015.41	c nbDecision=528000 #constraints=8418
1015.88/1016.29	c nbDecision=528500 #constraints=8418
1016.78/1017.19	c nbDecision=529000 #constraints=8427
1017.68/1018.05	c nbDecision=529500 #constraints=8427
1018.58/1018.91	c nbDecision=530000 #constraints=8428
1019.38/1019.75	c nbDecision=530500 #constraints=8428
1020.28/1020.63	c nbDecision=531000 #constraints=8431
1021.08/1021.50	c nbDecision=531500 #constraints=8431
1021.98/1022.37	c nbDecision=532000 #constraints=8433
1022.88/1023.22	c nbDecision=532500 #constraints=8433
1023.78/1024.11	c nbDecision=533000 #constraints=8443
1024.58/1024.98	c nbDecision=533500 #constraints=8443
1025.48/1025.86	c nbDecision=534000 #constraints=8448
1026.37/1026.71	c nbDecision=534500 #constraints=8448
1027.17/1027.57	c nbDecision=535000 #constraints=8459
1028.08/1028.41	c nbDecision=535500 #constraints=8459
1028.87/1029.25	c nbDecision=536000 #constraints=8460
1029.67/1030.07	c nbDecision=536500 #constraints=8460
1030.57/1030.94	c nbDecision=537000 #constraints=8473
1031.38/1031.77	c nbDecision=537500 #constraints=8479
1032.17/1032.59	c nbDecision=538000 #constraints=8487
1033.07/1033.40	c nbDecision=538500 #constraints=8488
1033.87/1034.22	c nbDecision=539000 #constraints=8489
1034.68/1035.03	c nbDecision=539500 #constraints=8489
1035.48/1035.83	c nbDecision=540000 #constraints=8491
1036.38/1036.75	c nbDecision=540500 #constraints=8540
1037.98/1038.38	c nbDecision=541000 #constraints=8574
1038.88/1039.24	c nbDecision=541500 #constraints=8574
1039.78/1040.11	c nbDecision=542000 #constraints=8582
1040.58/1040.96	c nbDecision=542500 #constraints=8582
1041.48/1041.81	c nbDecision=543000 #constraints=8583
1042.28/1042.64	c nbDecision=543500 #constraints=8583
1043.08/1043.49	c nbDecision=544000 #constraints=8584
1043.98/1044.35	c nbDecision=544500 #constraints=8596
1044.78/1045.18	c nbDecision=545000 #constraints=8596
1045.68/1046.02	c nbDecision=545500 #constraints=8597
1046.48/1046.85	c nbDecision=546000 #constraints=8597
1047.38/1047.76	c nbDecision=546500 #constraints=8620
1048.28/1048.63	c nbDecision=547000 #constraints=8620
1049.17/1049.50	c nbDecision=547500 #constraints=8620
1049.97/1050.35	c nbDecision=548000 #constraints=8620
1050.78/1051.20	c nbDecision=548500 #constraints=8622
1051.67/1052.02	c nbDecision=549000 #constraints=8622
1052.47/1052.88	c nbDecision=549500 #constraints=8637
1053.27/1053.69	c nbDecision=550000 #constraints=8637
1054.17/1054.50	c nbDecision=550500 #constraints=8640
1054.97/1055.34	c nbDecision=551000 #constraints=8659
1055.77/1056.15	c nbDecision=551500 #constraints=8676
1056.57/1056.96	c nbDecision=552000 #constraints=8680
1057.37/1057.77	c nbDecision=552500 #constraints=8680
1058.17/1058.58	c nbDecision=553000 #constraints=8686
1058.97/1059.38	c nbDecision=553500 #constraints=8701
1059.86/1060.20	c nbDecision=554000 #constraints=8726
1060.66/1061.00	c nbDecision=554500 #constraints=8732
1061.46/1061.81	c nbDecision=555000 #constraints=8760
1062.27/1062.66	c nbDecision=555500 #constraints=8787
1063.06/1063.48	c nbDecision=556000 #constraints=8787
1063.86/1064.29	c nbDecision=556500 #constraints=8787
1064.76/1065.11	c nbDecision=557000 #constraints=8797
1065.57/1065.93	c nbDecision=557500 #constraints=8810
1066.36/1066.75	c nbDecision=558000 #constraints=8810
1067.16/1067.56	c nbDecision=558500 #constraints=8811
1068.36/1068.77	c nbDecision=559000 #constraints=8818
1069.16/1069.58	c nbDecision=559500 #constraints=8827
1069.96/1070.39	c nbDecision=560000 #constraints=8827
1070.76/1071.20	c nbDecision=560500 #constraints=8828
1071.56/1071.98	c nbDecision=561000 #constraints=8829
1072.36/1072.76	c nbDecision=561500 #constraints=8853
1073.26/1073.61	c nbDecision=562000 #constraints=8881
1074.06/1074.42	c nbDecision=562500 #constraints=8881
1074.86/1075.23	c nbDecision=563000 #constraints=8882
1075.66/1076.04	c nbDecision=563500 #constraints=8884
1076.46/1076.83	c nbDecision=564000 #constraints=8913
1077.35/1077.71	c nbDecision=564500 #constraints=8962
1078.15/1078.52	c nbDecision=565000 #constraints=8962
1078.95/1079.32	c nbDecision=565500 #constraints=8962
1079.65/1080.09	c nbDecision=566000 #constraints=8964
1080.45/1080.89	c nbDecision=566500 #constraints=8966
1081.35/1081.70	c nbDecision=567000 #constraints=8981
1082.15/1082.54	c nbDecision=567500 #constraints=9041
1082.95/1083.37	c nbDecision=568000 #constraints=9097
1083.86/1084.26	c nbDecision=568500 #constraints=9163
1084.96/1085.39	c nbDecision=569000 #constraints=9203
1085.86/1086.25	c nbDecision=569500 #constraints=9238
1087.06/1087.42	c nbDecision=570000 #constraints=9287
1087.86/1088.28	c nbDecision=570500 #constraints=9318
1088.66/1089.06	c nbDecision=571000 #constraints=9327
1089.46/1089.84	c nbDecision=571500 #constraints=9335
1090.26/1090.63	c nbDecision=572000 #constraints=9351
1091.05/1091.45	c nbDecision=572500 #constraints=9382
1091.96/1092.31	c nbDecision=573000 #constraints=9400
1092.85/1093.28	c nbDecision=573500 #constraints=9416
1093.65/1094.10	c nbDecision=574000 #constraints=9454
1094.85/1095.29	c nbDecision=574500 #constraints=9523
1095.65/1096.08	c nbDecision=575000 #constraints=9562
1096.45/1096.85	c nbDecision=575500 #constraints=9583
1097.36/1097.79	c nbDecision=576000 #constraints=9607
1098.15/1098.57	c nbDecision=576500 #constraints=9624
1098.95/1099.33	c nbDecision=577000 #constraints=9638
1099.75/1100.18	c nbDecision=577500 #constraints=9673
1101.05/1101.40	c nbDecision=578000 #constraints=9702
1102.15/1102.51	c nbDecision=578500 #constraints=9730
1102.85/1103.30	c nbDecision=579000 #constraints=9761
1103.65/1104.09	c nbDecision=579500 #constraints=9787
1104.45/1104.88	c nbDecision=580000 #constraints=9805
1105.25/1105.66	c nbDecision=580500 #constraints=9816
1106.05/1106.45	c nbDecision=581000 #constraints=9838
1107.05/1107.46	c nbDecision=581500 #constraints=9888
1107.85/1108.26	c nbDecision=582000 #constraints=9944
1108.75/1109.18	c nbDecision=582500 #constraints=9971
1109.55/1109.94	c nbDecision=583000 #constraints=9991
1110.45/1110.80	c nbDecision=583500 #constraints=10039
1111.14/1111.56	c nbDecision=584000 #constraints=10083
1111.94/1112.34	c nbDecision=584500 #constraints=10119
1112.75/1113.20	c nbDecision=585000 #constraints=10143
1113.65/1114.02	c nbDecision=585500 #constraints=10178
1114.45/1114.81	c nbDecision=586000 #constraints=10212
1115.25/1115.61	c nbDecision=586500 #constraints=10226
1116.05/1116.44	c nbDecision=587000 #constraints=10254
1116.84/1117.23	c nbDecision=587500 #constraints=10293
1118.04/1118.42	c nbDecision=588000 #constraints=10344
1118.84/1119.20	c nbDecision=588500 #constraints=10368
1119.64/1120.01	c nbDecision=589000 #constraints=10407
1120.34/1120.76	c nbDecision=589500 #constraints=10413
1121.25/1121.67	c nbDecision=590000 #constraints=10429
1122.05/1122.42	c nbDecision=590500 #constraints=10448
1122.85/1123.23	c nbDecision=591000 #constraints=10468
1123.65/1124.00	c nbDecision=591500 #constraints=10473
1124.45/1124.80	c nbDecision=592000 #constraints=10487
1125.25/1125.63	c nbDecision=592500 #constraints=10512
1126.05/1126.43	c nbDecision=593000 #constraints=10544
1126.95/1127.39	c nbDecision=593500 #constraints=10557
1127.85/1128.23	c nbDecision=594000 #constraints=10595
1128.65/1129.06	c nbDecision=594500 #constraints=10635
1129.45/1129.89	c nbDecision=595000 #constraints=10662
1130.75/1131.19	c nbDecision=595500 #constraints=10677
1131.64/1132.04	c nbDecision=596000 #constraints=10719
1132.44/1132.85	c nbDecision=596500 #constraints=10740
1133.75/1134.11	c nbDecision=597000 #constraints=10770
1134.44/1134.89	c nbDecision=597500 #constraints=10794
1135.34/1135.71	c nbDecision=598000 #constraints=10795
1136.14/1136.52	c nbDecision=598500 #constraints=10795
1136.95/1137.32	c nbDecision=599000 #constraints=10797
1137.64/1138.08	c nbDecision=599500 #constraints=10797
1138.54/1138.91	c nbDecision=600000 #constraints=10830
1139.25/1139.69	c nbDecision=600500 #constraints=10841
1140.04/1140.48	c nbDecision=601000 #constraints=10851
1140.94/1141.31	c nbDecision=601500 #constraints=10882
1141.74/1142.17	c nbDecision=602000 #constraints=10897
1142.64/1143.05	c nbDecision=602500 #constraints=10913
1143.44/1143.89	c nbDecision=603000 #constraints=10938
1144.34/1144.70	c nbDecision=603500 #constraints=10952
1145.14/1145.51	c nbDecision=604000 #constraints=10968
1145.94/1146.31	c nbDecision=604500 #constraints=10983
1146.64/1147.08	c nbDecision=605000 #constraints=10987
1147.44/1147.88	c nbDecision=605500 #constraints=11024
1148.34/1148.76	c nbDecision=606000 #constraints=11044
1149.53/1149.91	c nbDecision=606500 #constraints=11067
1151.03/1151.45	c nbDecision=607000 #constraints=11086
1151.83/1152.30	c nbDecision=607500 #constraints=11103
1152.73/1153.11	c nbDecision=608000 #constraints=11115
1153.63/1154.08	c nbDecision=608500 #constraints=11124
1154.63/1155.08	c nbDecision=609000 #constraints=11162
1155.53/1155.99	c nbDecision=609500 #constraints=11168
1156.63/1157.07	c nbDecision=610000 #constraints=11207
1157.54/1157.90	c nbDecision=610500 #constraints=11223
1158.34/1158.76	c nbDecision=611000 #constraints=11248
1159.14/1159.55	c nbDecision=611500 #constraints=11254
1160.14/1160.51	c nbDecision=612000 #constraints=11291
1160.93/1161.37	c nbDecision=612500 #constraints=11296
1161.93/1162.31	c nbDecision=613000 #constraints=11310
1162.63/1163.09	c nbDecision=613500 #constraints=11311
1163.53/1163.92	c nbDecision=614000 #constraints=11328
1164.33/1164.73	c nbDecision=614500 #constraints=11333
1165.03/1165.47	c nbDecision=615000 #constraints=11333
1165.93/1166.31	c nbDecision=615500 #constraints=11344
1166.63/1167.08	c nbDecision=616000 #constraints=11346
1167.43/1167.90	c nbDecision=616500 #constraints=11377
1169.33/1169.72	c nbDecision=617000 #constraints=11410
1170.13/1170.52	c nbDecision=617500 #constraints=11416
1170.93/1171.34	c nbDecision=618000 #constraints=11427
1172.43/1172.81	c nbDecision=618500 #constraints=11442
1173.12/1173.58	c nbDecision=619000 #constraints=11458
1173.92/1174.34	c nbDecision=619500 #constraints=11459
1174.72/1175.14	c nbDecision=620000 #constraints=11463
1175.72/1176.13	c nbDecision=620500 #constraints=11481
1176.63/1177.01	c nbDecision=621000 #constraints=11512
1177.42/1177.83	c nbDecision=621500 #constraints=11513
1178.22/1178.64	c nbDecision=622000 #constraints=11513
1179.02/1179.44	c nbDecision=622500 #constraints=11513
1179.82/1180.21	c nbDecision=623000 #constraints=11514
1180.62/1181.01	c nbDecision=623500 #constraints=11516
1181.42/1181.80	c nbDecision=624000 #constraints=11522
1182.22/1182.63	c nbDecision=624500 #constraints=11548
1183.03/1183.49	c nbDecision=625000 #constraints=11567
1183.93/1184.30	c nbDecision=625500 #constraints=11590
1185.03/1185.42	c nbDecision=626000 #constraints=11601
1185.93/1186.33	c nbDecision=626500 #constraints=11615
1186.73/1187.17	c nbDecision=627000 #constraints=11637
1187.53/1187.98	c nbDecision=627500 #constraints=11641
1188.32/1188.77	c nbDecision=628000 #constraints=11645
1189.22/1189.62	c nbDecision=628500 #constraints=11667
1190.12/1190.54	c nbDecision=629000 #constraints=11690
1190.93/1191.32	c nbDecision=629500 #constraints=11695
1191.72/1192.16	c nbDecision=630000 #constraints=11697
1192.62/1193.00	c nbDecision=630500 #constraints=11697
1193.42/1193.85	c nbDecision=631000 #constraints=11698
1194.23/1194.68	c nbDecision=631500 #constraints=11698
1195.02/1195.50	c nbDecision=632000 #constraints=11698
1195.92/1196.30	c nbDecision=632500 #constraints=11698
1196.72/1197.12	c nbDecision=633000 #constraints=11700
1197.53/1197.92	c nbDecision=633500 #constraints=11710
1198.32/1198.72	c nbDecision=634000 #constraints=11723
1199.02/1199.49	c nbDecision=634500 #constraints=11727
1199.92/1200.31	c nbDecision=635000 #constraints=11750
1200.72/1201.15	c nbDecision=635500 #constraints=11752
1201.52/1201.97	c nbDecision=636000 #constraints=11752
1202.32/1202.77	c nbDecision=636500 #constraints=11753
1203.32/1203.75	c nbDecision=637000 #constraints=11764
1204.12/1204.57	c nbDecision=637500 #constraints=11764
1204.92/1205.38	c nbDecision=638000 #constraints=11764
1205.72/1206.17	c nbDecision=638500 #constraints=11768
1206.52/1206.98	c nbDecision=639000 #constraints=11781
1207.42/1207.84	c nbDecision=639500 #constraints=11794
1208.32/1208.72	c nbDecision=640000 #constraints=11826
1209.12/1209.55	c nbDecision=640500 #constraints=11833
1209.92/1210.37	c nbDecision=641000 #constraints=11850
1210.91/1211.36	c nbDecision=641500 #constraints=11868
1211.72/1212.13	c nbDecision=642000 #constraints=11872
1212.71/1213.17	c nbDecision=642500 #constraints=11918
1213.51/1213.92	c nbDecision=643000 #constraints=11918
1214.31/1214.71	c nbDecision=643500 #constraints=11945
1215.31/1215.78	c nbDecision=644000 #constraints=11968
1216.12/1216.55	c nbDecision=644500 #constraints=11986
1217.02/1217.40	c nbDecision=645000 #constraints=12003
1217.72/1218.17	c nbDecision=645500 #constraints=12004
1218.61/1219.07	c nbDecision=646000 #constraints=12020
1220.21/1220.69	c nbDecision=646500 #constraints=12033
1221.11/1221.50	c nbDecision=647000 #constraints=12045
1221.91/1222.32	c nbDecision=647500 #constraints=12059
1222.72/1223.17	c nbDecision=648000 #constraints=12096
1223.51/1223.95	c nbDecision=648500 #constraints=12099
1224.31/1224.76	c nbDecision=649000 #constraints=12106
1225.11/1225.55	c nbDecision=649500 #constraints=12117
1225.91/1226.33	c nbDecision=650000 #constraints=12117
1226.71/1227.19	c nbDecision=650500 #constraints=12125
1227.71/1228.15	c nbDecision=651000 #constraints=12147
1229.11/1229.55	c nbDecision=651500 #constraints=12157
1230.01/1230.46	c nbDecision=652000 #constraints=12169
1230.81/1231.28	c nbDecision=652500 #constraints=12177
1231.61/1232.08	c nbDecision=653000 #constraints=12183
1232.41/1232.87	c nbDecision=653500 #constraints=12192
1233.31/1233.73	c nbDecision=654000 #constraints=12198
1234.11/1234.51	c nbDecision=654500 #constraints=12211
1234.91/1235.31	c nbDecision=655000 #constraints=12221
1236.31/1236.75	c nbDecision=655500 #constraints=12236
1237.21/1237.63	c nbDecision=656000 #constraints=12239
1238.51/1238.98	c nbDecision=656500 #constraints=12256
1239.40/1239.85	c nbDecision=657000 #constraints=12271
1240.70/1241.18	c nbDecision=657500 #constraints=12284
1242.01/1242.49	c nbDecision=658000 #constraints=12309
1242.91/1243.33	c nbDecision=658500 #constraints=12309
1243.71/1244.18	c nbDecision=659000 #constraints=12309
1244.61/1245.01	c nbDecision=659500 #constraints=12309
1245.41/1245.84	c nbDecision=660000 #constraints=12309
1246.21/1246.65	c nbDecision=660500 #constraints=12309
1247.01/1247.47	c nbDecision=661000 #constraints=12310
1247.91/1248.30	c nbDecision=661500 #constraints=12315
1248.71/1249.13	c nbDecision=662000 #constraints=12316
1249.51/1249.95	c nbDecision=662500 #constraints=12317
1250.31/1250.79	c nbDecision=663000 #constraints=12332
1251.50/1251.91	c nbDecision=663500 #constraints=12352
1252.30/1252.73	c nbDecision=664000 #constraints=12363
1253.10/1253.51	c nbDecision=664500 #constraints=12367
1253.90/1254.33	c nbDecision=665000 #constraints=12380
1254.80/1255.23	c nbDecision=665500 #constraints=12412
1255.60/1256.07	c nbDecision=666000 #constraints=12423
1256.40/1256.89	c nbDecision=666500 #constraints=12439
1257.30/1257.72	c nbDecision=667000 #constraints=12454
1258.10/1258.59	c nbDecision=667500 #constraints=12470
1258.90/1259.40	c nbDecision=668000 #constraints=12478
1259.80/1260.23	c nbDecision=668500 #constraints=12487
1260.70/1261.11	c nbDecision=669000 #constraints=12499
1261.40/1261.89	c nbDecision=669500 #constraints=12499
1262.30/1262.75	c nbDecision=670000 #constraints=12507
1263.10/1263.57	c nbDecision=670500 #constraints=12507
1264.00/1264.42	c nbDecision=671000 #constraints=12514
1264.80/1265.20	c nbDecision=671500 #constraints=12515
1265.60/1266.06	c nbDecision=672000 #constraints=12536
1266.40/1266.87	c nbDecision=672500 #constraints=12544
1267.20/1267.67	c nbDecision=673000 #constraints=12548
1268.10/1268.55	c nbDecision=673500 #constraints=12560
1268.90/1269.39	c nbDecision=674000 #constraints=12564
1269.80/1270.22	c nbDecision=674500 #constraints=12568
1270.59/1271.03	c nbDecision=675000 #constraints=12568
1271.49/1271.96	c nbDecision=675500 #constraints=12574
1272.30/1272.73	c nbDecision=676000 #constraints=12575
1273.09/1273.59	c nbDecision=676500 #constraints=12591
1273.99/1274.41	c nbDecision=677000 #constraints=12591
1274.79/1275.23	c nbDecision=677500 #constraints=12591
1275.59/1276.04	c nbDecision=678000 #constraints=12591
1276.49/1276.90	c nbDecision=678500 #constraints=12592
1277.29/1277.74	c nbDecision=679000 #constraints=12592
1278.19/1278.60	c nbDecision=679500 #constraints=12601
1278.99/1279.42	c nbDecision=680000 #constraints=12601
1279.79/1280.24	c nbDecision=680500 #constraints=12601
1280.59/1281.05	c nbDecision=681000 #constraints=12601
1281.39/1281.89	c nbDecision=681500 #constraints=12613
1282.29/1282.70	c nbDecision=682000 #constraints=12626
1282.99/1283.49	c nbDecision=682500 #constraints=12629
1283.89/1284.31	c nbDecision=683000 #constraints=12642
1284.99/1285.42	c nbDecision=683500 #constraints=12653
1285.89/1286.33	c nbDecision=684000 #constraints=12662
1286.69/1287.17	c nbDecision=684500 #constraints=12662
1287.49/1287.99	c nbDecision=685000 #constraints=12662
1288.39/1288.81	c nbDecision=685500 #constraints=12662
1289.19/1289.63	c nbDecision=686000 #constraints=12672
1289.99/1290.48	c nbDecision=686500 #constraints=12674
1290.89/1291.30	c nbDecision=687000 #constraints=12674
1291.68/1292.11	c nbDecision=687500 #constraints=12674
1292.48/1292.93	c nbDecision=688000 #constraints=12676
1293.29/1293.75	c nbDecision=688500 #constraints=12683
1294.09/1294.58	c nbDecision=689000 #constraints=12693
1294.99/1295.41	c nbDecision=689500 #constraints=12693
1295.79/1296.23	c nbDecision=690000 #constraints=12693
1296.59/1297.04	c nbDecision=690500 #constraints=12693
1297.39/1297.85	c nbDecision=691000 #constraints=12695
1298.19/1298.64	c nbDecision=691500 #constraints=12697
1299.09/1299.56	c nbDecision=692000 #constraints=12734
1299.99/1300.40	c nbDecision=692500 #constraints=12734
1300.79/1301.25	c nbDecision=693000 #constraints=12734
1301.59/1302.09	c nbDecision=693500 #constraints=12734
1302.49/1302.92	c nbDecision=694000 #constraints=12734
1303.29/1303.73	c nbDecision=694500 #constraints=12734
1304.09/1304.58	c nbDecision=695000 #constraints=12738
1304.99/1305.40	c nbDecision=695500 #constraints=12738
1305.79/1306.22	c nbDecision=696000 #constraints=12739
1306.59/1307.06	c nbDecision=696500 #constraints=12757
1307.49/1307.97	c nbDecision=697000 #constraints=12795
1308.29/1308.75	c nbDecision=697500 #constraints=12797
1309.19/1309.60	c nbDecision=698000 #constraints=12814
1309.99/1310.48	c nbDecision=698500 #constraints=12815
1310.89/1311.32	c nbDecision=699000 #constraints=12815
1311.68/1312.14	c nbDecision=699500 #constraints=12815
1312.48/1312.97	c nbDecision=700000 #constraints=12815
1313.28/1313.78	c nbDecision=700500 #constraints=12815
1314.09/1314.59	c nbDecision=701000 #constraints=12816
1314.88/1315.39	c nbDecision=701500 #constraints=12820
1315.68/1316.18	c nbDecision=702000 #constraints=12827
1316.48/1316.95	c nbDecision=702500 #constraints=12827
1317.28/1317.73	c nbDecision=703000 #constraints=12829
1318.08/1318.52	c nbDecision=703500 #constraints=12834
1318.88/1319.30	c nbDecision=704000 #constraints=12836
1319.68/1320.11	c nbDecision=704500 #constraints=12852
1320.48/1320.91	c nbDecision=705000 #constraints=12863
1321.38/1321.82	c nbDecision=705500 #constraints=12866
1322.18/1322.63	c nbDecision=706000 #constraints=12877
1322.98/1323.42	c nbDecision=706500 #constraints=12882
1323.78/1324.22	c nbDecision=707000 #constraints=12889
1324.58/1325.04	c nbDecision=707500 #constraints=12901
1325.37/1325.81	c nbDecision=708000 #constraints=12901
1326.27/1326.72	c nbDecision=708500 #constraints=12915
1327.07/1327.59	c nbDecision=709000 #constraints=12917
1327.97/1328.44	c nbDecision=709500 #constraints=12917
1328.77/1329.27	c nbDecision=710000 #constraints=12917
1329.67/1330.11	c nbDecision=710500 #constraints=12918
1330.48/1330.92	c nbDecision=711000 #constraints=12918
1331.27/1331.73	c nbDecision=711500 #constraints=12918
1332.07/1332.52	c nbDecision=712000 #constraints=12918
1332.87/1333.34	c nbDecision=712500 #constraints=12929
1333.67/1334.19	c nbDecision=713000 #constraints=12929
1334.57/1335.03	c nbDecision=713500 #constraints=12929
1335.37/1335.85	c nbDecision=714000 #constraints=12929
1336.17/1336.69	c nbDecision=714500 #constraints=12933
1336.97/1337.49	c nbDecision=715000 #constraints=12933
1337.87/1338.32	c nbDecision=715500 #constraints=12939
1338.67/1339.10	c nbDecision=716000 #constraints=12940
1339.47/1339.98	c nbDecision=716500 #constraints=12943
1340.37/1340.83	c nbDecision=717000 #constraints=12943
1341.17/1341.67	c nbDecision=717500 #constraints=12943
1342.07/1342.50	c nbDecision=718000 #constraints=12943
1342.87/1343.33	c nbDecision=718500 #constraints=12943
1343.67/1344.15	c nbDecision=719000 #constraints=12943
1344.47/1344.97	c nbDecision=719500 #constraints=12947
1345.37/1345.81	c nbDecision=720000 #constraints=12948
1346.07/1346.59	c nbDecision=720500 #constraints=12950
1346.87/1347.39	c nbDecision=721000 #constraints=12955
1347.67/1348.17	c nbDecision=721500 #constraints=12956
1348.67/1349.13	c nbDecision=722000 #constraints=12968
1349.47/1349.94	c nbDecision=722500 #constraints=12978
1350.27/1350.71	c nbDecision=723000 #constraints=12980
1351.07/1351.56	c nbDecision=723500 #constraints=12984
1351.87/1352.35	c nbDecision=724000 #constraints=12989
1352.97/1353.41	c nbDecision=724500 #constraints=13012
1353.67/1354.17	c nbDecision=725000 #constraints=13012
1354.56/1355.05	c nbDecision=725500 #constraints=13020
1355.36/1355.82	c nbDecision=726000 #constraints=13025
1356.26/1356.70	c nbDecision=726500 #constraints=13040
1357.06/1357.50	c nbDecision=727000 #constraints=13053
1357.86/1358.33	c nbDecision=727500 #constraints=13059
1358.66/1359.12	c nbDecision=728000 #constraints=13062
1359.46/1359.90	c nbDecision=728500 #constraints=13062
1360.17/1360.68	c nbDecision=729000 #constraints=13064
1360.96/1361.46	c nbDecision=729500 #constraints=13066
1361.86/1362.31	c nbDecision=730000 #constraints=13067
1362.66/1363.16	c nbDecision=730500 #constraints=13067
1363.56/1364.00	c nbDecision=731000 #constraints=13067
1364.36/1364.84	c nbDecision=731500 #constraints=13067
1365.16/1365.66	c nbDecision=732000 #constraints=13067
1365.96/1366.48	c nbDecision=732500 #constraints=13068
1366.76/1367.28	c nbDecision=733000 #constraints=13069
1367.56/1368.06	c nbDecision=733500 #constraints=13072
1368.36/1368.86	c nbDecision=734000 #constraints=13074
1369.16/1369.68	c nbDecision=734500 #constraints=13097
1369.96/1370.44	c nbDecision=735000 #constraints=13097
1370.76/1371.29	c nbDecision=735500 #constraints=13110
1371.86/1372.31	c nbDecision=736000 #constraints=13132
1372.65/1373.13	c nbDecision=736500 #constraints=13137
1373.36/1373.90	c nbDecision=737000 #constraints=13137
1374.15/1374.68	c nbDecision=737500 #constraints=13138
1375.05/1375.54	c nbDecision=738000 #constraints=13150
1375.85/1376.34	c nbDecision=738500 #constraints=13155
1376.67/1377.12	c nbDecision=739000 #constraints=13156
1377.56/1378.00	c nbDecision=739500 #constraints=13175
1378.36/1378.82	c nbDecision=740000 #constraints=13180
1379.06/1379.58	c nbDecision=740500 #constraints=13180
1379.97/1380.42	c nbDecision=741000 #constraints=13192
1380.76/1381.26	c nbDecision=741500 #constraints=13195
1381.66/1382.19	c nbDecision=742000 #constraints=13209
1382.46/1382.98	c nbDecision=742500 #constraints=13210
1383.46/1383.96	c nbDecision=743000 #constraints=13235
1384.36/1384.81	c nbDecision=743500 #constraints=13235
1385.16/1385.66	c nbDecision=744000 #constraints=13235
1385.96/1386.49	c nbDecision=744500 #constraints=13235
1386.86/1387.31	c nbDecision=745000 #constraints=13235
1387.66/1388.12	c nbDecision=745500 #constraints=13235
1388.46/1388.97	c nbDecision=746000 #constraints=13237
1389.26/1389.76	c nbDecision=746500 #constraints=13237
1390.06/1390.56	c nbDecision=747000 #constraints=13246
1390.86/1391.32	c nbDecision=747500 #constraints=13246
1391.86/1392.31	c nbDecision=748000 #constraints=13258
1392.66/1393.14	c nbDecision=748500 #constraints=13259
1393.45/1393.99	c nbDecision=749000 #constraints=13259
1394.36/1394.83	c nbDecision=749500 #constraints=13259
1395.15/1395.65	c nbDecision=750000 #constraints=13259
1396.05/1396.55	c nbDecision=750500 #constraints=13269
1396.85/1397.39	c nbDecision=751000 #constraints=13269
1397.75/1398.23	c nbDecision=751500 #constraints=13269
1398.55/1399.05	c nbDecision=752000 #constraints=13269
1399.35/1399.86	c nbDecision=752500 #constraints=13269
1400.15/1400.67	c nbDecision=753000 #constraints=13270
1401.05/1401.53	c nbDecision=753500 #constraints=13271
1401.85/1402.38	c nbDecision=754000 #constraints=13271
1402.75/1403.22	c nbDecision=754500 #constraints=13271
1403.55/1404.05	c nbDecision=755000 #constraints=13271
1404.35/1404.87	c nbDecision=755500 #constraints=13271
1405.15/1405.70	c nbDecision=756000 #constraints=13272
1406.05/1406.51	c nbDecision=756500 #constraints=13278
1406.84/1407.36	c nbDecision=757000 #constraints=13291
1407.64/1408.19	c nbDecision=757500 #constraints=13301
1408.44/1408.98	c nbDecision=758000 #constraints=13304
1409.24/1409.77	c nbDecision=758500 #constraints=13305
1410.04/1410.57	c nbDecision=759000 #constraints=13316
1410.85/1411.38	c nbDecision=759500 #constraints=13322
1411.64/1412.16	c nbDecision=760000 #constraints=13324
1412.54/1413.01	c nbDecision=760500 #constraints=13345
1413.24/1413.79	c nbDecision=761000 #constraints=13346
1414.34/1414.88	c nbDecision=761500 #constraints=13364
1415.24/1415.75	c nbDecision=762000 #constraints=13374
1416.04/1416.53	c nbDecision=762500 #constraints=13374
1416.84/1417.33	c nbDecision=763000 #constraints=13375
1417.64/1418.11	c nbDecision=763500 #constraints=13376
1418.45/1418.98	c nbDecision=764000 #constraints=13388
1419.25/1419.79	c nbDecision=764500 #constraints=13396
1420.15/1420.60	c nbDecision=765000 #constraints=13399
1420.95/1421.41	c nbDecision=765500 #constraints=13401
1421.75/1422.27	c nbDecision=766000 #constraints=13401
1422.64/1423.13	c nbDecision=766500 #constraints=13404
1423.44/1423.96	c nbDecision=767000 #constraints=13404
1424.24/1424.79	c nbDecision=767500 #constraints=13404
1425.15/1425.60	c nbDecision=768000 #constraints=13404
1425.94/1426.46	c nbDecision=768500 #constraints=13405
1426.74/1427.25	c nbDecision=769000 #constraints=13405
1427.54/1428.05	c nbDecision=769500 #constraints=13411
1428.34/1428.85	c nbDecision=770000 #constraints=13413
1429.14/1429.65	c nbDecision=770500 #constraints=13416
1429.94/1430.44	c nbDecision=771000 #constraints=13418
1430.74/1431.25	c nbDecision=771500 #constraints=13429
1431.54/1432.09	c nbDecision=772000 #constraints=13441
1432.34/1432.89	c nbDecision=772500 #constraints=13443
1433.14/1433.67	c nbDecision=773000 #constraints=13444
1434.04/1434.55	c nbDecision=773500 #constraints=13456
1434.84/1435.32	c nbDecision=774000 #constraints=13458
1435.64/1436.11	c nbDecision=774500 #constraints=13461
1436.34/1436.90	c nbDecision=775000 #constraints=13463
1437.24/1437.74	c nbDecision=775500 #constraints=13472
1438.14/1438.60	c nbDecision=776000 #constraints=13486
1438.94/1439.41	c nbDecision=776500 #constraints=13489
1439.74/1440.28	c nbDecision=777000 #constraints=13495
1440.54/1441.10	c nbDecision=777500 #constraints=13495
1441.43/1441.91	c nbDecision=778000 #constraints=13497
1442.13/1442.69	c nbDecision=778500 #constraints=13497
1443.13/1443.69	c nbDecision=779000 #constraints=13516
1444.03/1444.50	c nbDecision=779500 #constraints=13529
1444.94/1445.40	c nbDecision=780000 #constraints=13546
1445.73/1446.25	c nbDecision=780500 #constraints=13546
1446.53/1447.09	c nbDecision=781000 #constraints=13546
1447.43/1447.92	c nbDecision=781500 #constraints=13546
1448.24/1448.74	c nbDecision=782000 #constraints=13546
1449.03/1449.55	c nbDecision=782500 #constraints=13547
1449.83/1450.36	c nbDecision=783000 #constraints=13548
1450.63/1451.15	c nbDecision=783500 #constraints=13549
1451.43/1451.93	c nbDecision=784000 #constraints=13550
1452.33/1452.83	c nbDecision=784500 #constraints=13561
1453.13/1453.68	c nbDecision=785000 #constraints=13561
1454.03/1454.52	c nbDecision=785500 #constraints=13561
1454.83/1455.34	c nbDecision=786000 #constraints=13561
1455.63/1456.17	c nbDecision=786500 #constraints=13562
1456.43/1456.97	c nbDecision=787000 #constraints=13562
1457.23/1457.78	c nbDecision=787500 #constraints=13563
1458.03/1458.56	c nbDecision=788000 #constraints=13563
1458.83/1459.36	c nbDecision=788500 #constraints=13569
1459.62/1460.11	c nbDecision=789000 #constraints=13570
1460.42/1460.96	c nbDecision=789500 #constraints=13584
1461.52/1462.00	c nbDecision=790000 #constraints=13601
1462.22/1462.79	c nbDecision=790500 #constraints=13604
1463.12/1463.61	c nbDecision=791000 #constraints=13607
1463.82/1464.38	c nbDecision=791500 #constraints=13611
1464.63/1465.20	c nbDecision=792000 #constraints=13615
1465.52/1466.05	c nbDecision=792500 #constraints=13626
1466.32/1466.83	c nbDecision=793000 #constraints=13627
1467.12/1467.64	c nbDecision=793500 #constraints=13631
1468.03/1468.50	c nbDecision=794000 #constraints=13640
1468.82/1469.31	c nbDecision=794500 #constraints=13641
1469.62/1470.14	c nbDecision=795000 #constraints=13649
1470.52/1471.03	c nbDecision=795500 #constraints=13658
1471.42/1471.99	c nbDecision=796000 #constraints=13670
1472.32/1472.81	c nbDecision=796500 #constraints=13670
1473.13/1473.69	c nbDecision=797000 #constraints=13671
1474.03/1474.55	c nbDecision=797500 #constraints=13671
1474.93/1475.41	c nbDecision=798000 #constraints=13672
1475.73/1476.25	c nbDecision=798500 #constraints=13673
1476.53/1477.09	c nbDecision=799000 #constraints=13676
1477.43/1477.93	c nbDecision=799500 #constraints=13679
1478.33/1478.80	c nbDecision=800000 #constraints=13679
1479.13/1479.66	c nbDecision=800500 #constraints=13679
1480.03/1480.51	c nbDecision=801000 #constraints=13679
1480.82/1481.39	c nbDecision=801500 #constraints=13688
1481.72/1482.22	c nbDecision=802000 #constraints=13688
1482.52/1483.06	c nbDecision=802500 #constraints=13689
1483.43/1483.94	c nbDecision=803000 #constraints=13700
1484.32/1484.84	c nbDecision=803500 #constraints=13710
1485.12/1485.65	c nbDecision=804000 #constraints=13710
1486.02/1486.55	c nbDecision=804500 #constraints=13722
1486.82/1487.36	c nbDecision=805000 #constraints=13728
1487.73/1488.20	c nbDecision=805500 #constraints=13737
1488.52/1489.07	c nbDecision=806000 #constraints=13750
1489.32/1489.86	c nbDecision=806500 #constraints=13753
1490.12/1490.66	c nbDecision=807000 #constraints=13757
1491.02/1491.50	c nbDecision=807500 #constraints=13772
1491.82/1492.30	c nbDecision=808000 #constraints=13775
1492.62/1493.19	c nbDecision=808500 #constraints=13782
1493.42/1493.99	c nbDecision=809000 #constraints=13782
1494.32/1494.82	c nbDecision=809500 #constraints=13786
1495.12/1495.61	c nbDecision=810000 #constraints=13790
1495.92/1496.48	c nbDecision=810500 #constraints=13808
1496.82/1497.30	c nbDecision=811000 #constraints=13809
1497.62/1498.14	c nbDecision=811500 #constraints=13818
1499.11/1499.60	c nbDecision=812000 #constraints=13839
1499.92/1500.50	c nbDecision=812500 #constraints=13859
1500.81/1501.31	c nbDecision=813000 #constraints=13859
1501.61/1502.14	c nbDecision=813500 #constraints=13859
1502.41/1502.93	c nbDecision=814000 #constraints=13859
1503.22/1503.76	c nbDecision=814500 #constraints=13860
1504.11/1504.63	c nbDecision=815000 #constraints=13860
1504.91/1505.49	c nbDecision=815500 #constraints=13860
1505.81/1506.35	c nbDecision=816000 #constraints=13860
1506.71/1507.22	c nbDecision=816500 #constraints=13868
1507.52/1508.06	c nbDecision=817000 #constraints=13868
1508.41/1508.92	c nbDecision=817500 #constraints=13879
1509.21/1509.74	c nbDecision=818000 #constraints=13879
1510.01/1510.56	c nbDecision=818500 #constraints=13883
1510.81/1511.35	c nbDecision=819000 #constraints=13883
1511.11/1511.66	c restart after 819201 decisions
1511.81/1512.33	c nbDecision=819500 #constraints=13883
1512.61/1513.12	c nbDecision=820000 #constraints=13883
1513.31/1513.89	c nbDecision=820500 #constraints=13883
1514.11/1514.67	c nbDecision=821000 #constraints=13883
1514.91/1515.45	c nbDecision=821500 #constraints=13883
1515.71/1516.23	c nbDecision=822000 #constraints=13883
1516.51/1517.01	c nbDecision=822500 #constraints=13883
1517.21/1517.78	c nbDecision=823000 #constraints=13883
1518.01/1518.55	c nbDecision=823500 #constraints=13883
1518.81/1519.33	c nbDecision=824000 #constraints=13883
1519.61/1520.10	c nbDecision=824500 #constraints=13883
1520.31/1520.87	c nbDecision=825000 #constraints=13883
1521.41/1521.92	c nbDecision=825500 #constraints=13883
1522.71/1523.25	c nbDecision=826000 #constraints=13883
1524.01/1524.56	c nbDecision=826500 #constraints=13883
1525.31/1525.86	c nbDecision=827000 #constraints=13883
1526.61/1527.16	c nbDecision=827500 #constraints=13883
1528.01/1528.54	c nbDecision=828000 #constraints=13885
1529.20/1529.72	c nbDecision=828500 #constraints=13887
1530.10/1530.68	c nbDecision=829000 #constraints=13887
1531.10/1531.62	c nbDecision=829500 #constraints=13887
1532.00/1532.55	c nbDecision=830000 #constraints=13887
1532.91/1533.47	c nbDecision=830500 #constraints=13887
1533.80/1534.39	c nbDecision=831000 #constraints=13887
1534.80/1535.30	c nbDecision=831500 #constraints=13887
1535.60/1536.19	c nbDecision=832000 #constraints=13887
1536.50/1537.09	c nbDecision=832500 #constraints=13887
1537.40/1537.97	c nbDecision=833000 #constraints=13887
1538.31/1538.83	c nbDecision=833500 #constraints=13887
1539.20/1539.70	c nbDecision=834000 #constraints=13888
1540.00/1540.55	c nbDecision=834500 #constraints=13888
1540.90/1541.44	c nbDecision=835000 #constraints=13902
1541.70/1542.28	c nbDecision=835500 #constraints=13902
1542.70/1543.28	c nbDecision=836000 #constraints=13931
1543.70/1544.23	c nbDecision=836500 #constraints=13931
1544.60/1545.18	c nbDecision=837000 #constraints=13931
1545.60/1546.12	c nbDecision=837500 #constraints=13931
1546.50/1547.06	c nbDecision=838000 #constraints=13931
1547.40/1547.98	c nbDecision=838500 #constraints=13931
1548.30/1548.89	c nbDecision=839000 #constraints=13931
1549.20/1549.79	c nbDecision=839500 #constraints=13931
1550.10/1550.68	c nbDecision=840000 #constraints=13931
1551.00/1551.56	c nbDecision=840500 #constraints=13931
1551.90/1552.42	c nbDecision=841000 #constraints=13931
1552.80/1553.31	c nbDecision=841500 #constraints=13939
1553.60/1554.15	c nbDecision=842000 #constraints=13939
1554.50/1555.00	c nbDecision=842500 #constraints=13944
1555.30/1555.82	c nbDecision=843000 #constraints=13944
1556.10/1556.65	c nbDecision=843500 #constraints=13946
1556.89/1557.45	c nbDecision=844000 #constraints=13946
1557.69/1558.28	c nbDecision=844500 #constraints=13951
1558.59/1559.14	c nbDecision=845000 #constraints=13955
1559.39/1559.95	c nbDecision=845500 #constraints=13955
1560.30/1560.84	c nbDecision=846000 #constraints=13960
1561.09/1561.64	c nbDecision=846500 #constraints=13963
1561.89/1562.43	c nbDecision=847000 #constraints=13967
1562.69/1563.27	c nbDecision=847500 #constraints=13970
1563.89/1564.49	c nbDecision=848000 #constraints=13990
1565.30/1565.83	c nbDecision=848500 #constraints=14022
1567.90/1568.41	c nbDecision=849000 #constraints=14087
1569.10/1569.69	c nbDecision=849500 #constraints=14124
1570.80/1571.33	c nbDecision=850000 #constraints=14151
1572.40/1572.95	c nbDecision=850500 #constraints=14167
1573.39/1573.92	c nbDecision=851000 #constraints=14193
1574.29/1574.84	c nbDecision=851500 #constraints=14205
1575.99/1576.51	c nbDecision=852000 #constraints=14230
1578.00/1578.52	c nbDecision=852500 #constraints=14263
1578.79/1579.37	c nbDecision=853000 #constraints=14287
1579.59/1580.19	c nbDecision=853500 #constraints=14297
1580.49/1581.03	c nbDecision=854000 #constraints=14302
1581.59/1582.11	c nbDecision=854500 #constraints=14340
1582.49/1583.06	c nbDecision=855000 #constraints=14362
1583.69/1584.20	c nbDecision=855500 #constraints=14385
1584.49/1585.02	c nbDecision=856000 #constraints=14390
1585.49/1586.09	c nbDecision=856500 #constraints=14399
1586.49/1587.00	c nbDecision=857000 #constraints=14404
1587.29/1587.82	c nbDecision=857500 #constraints=14415
1588.19/1588.75	c nbDecision=858000 #constraints=14425
1589.09/1589.66	c nbDecision=858500 #constraints=14436
1590.09/1590.62	c nbDecision=859000 #constraints=14436
1590.99/1591.56	c nbDecision=859500 #constraints=14436
1591.89/1592.50	c nbDecision=860000 #constraints=14436
1592.88/1593.42	c nbDecision=860500 #constraints=14436
1593.78/1594.34	c nbDecision=861000 #constraints=14436
1594.68/1595.25	c nbDecision=861500 #constraints=14436
1595.59/1596.15	c nbDecision=862000 #constraints=14436
1596.48/1597.04	c nbDecision=862500 #constraints=14436
1597.38/1597.92	c nbDecision=863000 #constraints=14436
1598.18/1598.79	c nbDecision=863500 #constraints=14436
1599.08/1599.65	c nbDecision=864000 #constraints=14436
1599.98/1600.52	c nbDecision=864500 #constraints=14439
1600.78/1601.37	c nbDecision=865000 #constraints=14440
1601.68/1602.21	c nbDecision=865500 #constraints=14440
1602.48/1603.04	c nbDecision=866000 #constraints=14440
1603.28/1603.86	c nbDecision=866500 #constraints=14440
1604.08/1604.68	c nbDecision=867000 #constraints=14441
1605.48/1606.09	c nbDecision=867500 #constraints=14454
1606.38/1606.90	c nbDecision=868000 #constraints=14456
1607.08/1607.69	c nbDecision=868500 #constraints=14460
1607.98/1608.52	c nbDecision=869000 #constraints=14463
1609.08/1609.60	c nbDecision=869500 #constraints=14490
1609.98/1610.55	c nbDecision=870000 #constraints=14502
1610.99/1611.58	c nbDecision=870500 #constraints=14516
1611.78/1612.36	c nbDecision=871000 #constraints=14518
1612.68/1613.20	c nbDecision=871500 #constraints=14521
1613.58/1614.13	c nbDecision=872000 #constraints=14526
1614.38/1614.98	c nbDecision=872500 #constraints=14527
1615.18/1615.80	c nbDecision=873000 #constraints=14527
1616.08/1616.62	c nbDecision=873500 #constraints=14528
1616.88/1617.43	c nbDecision=874000 #constraints=14528
1618.28/1618.84	c nbDecision=874500 #constraints=14541
1619.08/1619.63	c nbDecision=875000 #constraints=14542
1619.88/1620.41	c nbDecision=875500 #constraints=14544
1620.68/1621.28	c nbDecision=876000 #constraints=14554
1621.58/1622.19	c nbDecision=876500 #constraints=14558
1622.68/1623.28	c nbDecision=877000 #constraints=14589
1623.78/1624.38	c nbDecision=877500 #constraints=14610
1625.08/1625.65	c nbDecision=878000 #constraints=14637
1626.17/1626.74	c nbDecision=878500 #constraints=14646
1626.97/1627.57	c nbDecision=879000 #constraints=14651
1627.97/1628.58	c nbDecision=879500 #constraints=14674
1628.87/1629.44	c nbDecision=880000 #constraints=14674
1629.68/1630.30	c nbDecision=880500 #constraints=14677
1630.57/1631.12	c nbDecision=881000 #constraints=14677
1631.37/1631.95	c nbDecision=881500 #constraints=14678
1632.17/1632.75	c nbDecision=882000 #constraints=14678
1632.97/1633.57	c nbDecision=882500 #constraints=14679
1633.77/1634.39	c nbDecision=883000 #constraints=14694
1634.57/1635.18	c nbDecision=883500 #constraints=14699
1636.37/1636.92	c nbDecision=884000 #constraints=14715
1637.37/1637.92	c nbDecision=884500 #constraints=14730
1638.17/1638.77	c nbDecision=885000 #constraints=14734
1639.17/1639.71	c nbDecision=885500 #constraints=14752
1639.97/1640.55	c nbDecision=886000 #constraints=14754
1640.97/1641.50	c nbDecision=886500 #constraints=14770
1641.87/1642.44	c nbDecision=887000 #constraints=14779
1643.37/1643.97	c nbDecision=887500 #constraints=14795
1644.37/1644.90	c nbDecision=888000 #constraints=14802
1645.27/1645.83	c nbDecision=888500 #constraints=14813
1646.07/1646.62	c nbDecision=889000 #constraints=14823
1646.97/1647.55	c nbDecision=889500 #constraints=14845
1648.07/1648.64	c nbDecision=890000 #constraints=14861
1648.97/1649.50	c nbDecision=890500 #constraints=14872
1649.77/1650.33	c nbDecision=891000 #constraints=14873
1650.57/1651.14	c nbDecision=891500 #constraints=14873
1651.37/1651.95	c nbDecision=892000 #constraints=14873
1652.57/1653.15	c nbDecision=892500 #constraints=14888
1653.37/1653.97	c nbDecision=893000 #constraints=14894
1654.47/1655.01	c nbDecision=893500 #constraints=14905
1655.26/1655.85	c nbDecision=894000 #constraints=14908
1656.16/1656.72	c nbDecision=894500 #constraints=14912
1656.96/1657.54	c nbDecision=895000 #constraints=14915
1657.97/1658.50	c nbDecision=895500 #constraints=14929
1658.86/1659.45	c nbDecision=896000 #constraints=14929
1659.76/1660.39	c nbDecision=896500 #constraints=14929
1660.76/1661.34	c nbDecision=897000 #constraints=14929
1661.66/1662.27	c nbDecision=897500 #constraints=14929
1662.57/1663.19	c nbDecision=898000 #constraints=14929
1663.56/1664.10	c nbDecision=898500 #constraints=14929
1664.46/1665.04	c nbDecision=899000 #constraints=14929
1665.36/1665.93	c nbDecision=899500 #constraints=14929
1666.26/1666.84	c nbDecision=900000 #constraints=14937
1667.16/1667.72	c nbDecision=900500 #constraints=14937
1667.96/1668.58	c nbDecision=901000 #constraints=14937
1668.86/1669.44	c nbDecision=901500 #constraints=14937
1669.76/1670.39	c nbDecision=902000 #constraints=14949
1670.66/1671.22	c nbDecision=902500 #constraints=14949
1671.56/1672.14	c nbDecision=903000 #constraints=14951
1672.46/1673.09	c nbDecision=903500 #constraints=14951
1673.46/1674.03	c nbDecision=904000 #constraints=14951
1674.35/1674.96	c nbDecision=904500 #constraints=14951
1675.25/1675.88	c nbDecision=905000 #constraints=14951
1676.15/1676.79	c nbDecision=905500 #constraints=14951
1677.05/1677.69	c nbDecision=906000 #constraints=14951
1677.96/1678.58	c nbDecision=906500 #constraints=14951
1678.85/1679.46	c nbDecision=907000 #constraints=14951
1679.75/1680.33	c nbDecision=907500 #constraints=14951
1680.65/1681.20	c nbDecision=908000 #constraints=14951
1681.45/1682.06	c nbDecision=908500 #constraints=14951
1682.36/1682.91	c nbDecision=909000 #constraints=14951
1683.25/1683.88	c nbDecision=909500 #constraints=14983
1684.15/1684.71	c nbDecision=910000 #constraints=14983
1685.05/1685.69	c nbDecision=910500 #constraints=14985
1686.05/1686.65	c nbDecision=911000 #constraints=14985
1686.95/1687.59	c nbDecision=911500 #constraints=14985
1687.95/1688.53	c nbDecision=912000 #constraints=14985
1688.85/1689.45	c nbDecision=912500 #constraints=14985
1689.75/1690.37	c nbDecision=913000 #constraints=14985
1690.65/1691.27	c nbDecision=913500 #constraints=14985
1691.55/1692.16	c nbDecision=914000 #constraints=14985
1692.45/1693.05	c nbDecision=914500 #constraints=14985
1693.35/1693.91	c nbDecision=915000 #constraints=14985
1694.15/1694.77	c nbDecision=915500 #constraints=14985
1695.15/1695.72	c nbDecision=916000 #constraints=14995
1695.95/1696.56	c nbDecision=916500 #constraints=14995
1696.75/1697.39	c nbDecision=917000 #constraints=14995
1697.64/1698.27	c nbDecision=917500 #constraints=14997
1698.64/1699.22	c nbDecision=918000 #constraints=14997
1699.54/1700.16	c nbDecision=918500 #constraints=14997
1700.54/1701.10	c nbDecision=919000 #constraints=14997
1701.44/1702.04	c nbDecision=919500 #constraints=14997
1702.34/1702.96	c nbDecision=920000 #constraints=14997
1703.25/1703.87	c nbDecision=920500 #constraints=14997
1704.14/1704.77	c nbDecision=921000 #constraints=14997
1705.04/1705.66	c nbDecision=921500 #constraints=14997
1705.94/1706.55	c nbDecision=922000 #constraints=14997
1706.84/1707.43	c nbDecision=922500 #constraints=14997
1707.64/1708.29	c nbDecision=923000 #constraints=14997
1708.54/1709.15	c nbDecision=923500 #constraints=14997
1709.34/1709.99	c nbDecision=924000 #constraints=14997
1710.24/1710.82	c nbDecision=924500 #constraints=14997
1711.14/1711.76	c nbDecision=925000 #constraints=15008
1711.94/1712.56	c nbDecision=925500 #constraints=15008
1712.74/1713.39	c nbDecision=926000 #constraints=15011
1713.74/1714.34	c nbDecision=926500 #constraints=15013
1714.64/1715.29	c nbDecision=927000 #constraints=15013
1715.64/1716.23	c nbDecision=927500 #constraints=15013
1716.54/1717.16	c nbDecision=928000 #constraints=15013
1717.44/1718.08	c nbDecision=928500 #constraints=15013
1718.34/1718.99	c nbDecision=929000 #constraints=15013
1719.24/1719.89	c nbDecision=929500 #constraints=15013
1720.14/1720.79	c nbDecision=930000 #constraints=15013
1721.04/1721.68	c nbDecision=930500 #constraints=15013
1721.94/1722.55	c nbDecision=931000 #constraints=15013
1722.84/1723.42	c nbDecision=931500 #constraints=15013
1723.64/1724.28	c nbDecision=932000 #constraints=15013
1724.63/1725.20	c nbDecision=932500 #constraints=15024
1725.43/1726.04	c nbDecision=933000 #constraints=15024
1726.24/1726.88	c nbDecision=933500 #constraints=15025
1727.13/1727.71	c nbDecision=934000 #constraints=15025
1728.03/1728.64	c nbDecision=934500 #constraints=15046
1728.83/1729.45	c nbDecision=935000 #constraints=15046
1729.64/1730.28	c nbDecision=935500 #constraints=15048
1730.44/1731.08	c nbDecision=936000 #constraints=15049
1731.54/1732.18	c nbDecision=936500 #constraints=15058
1732.44/1733.08	c nbDecision=937000 #constraints=15075
1733.24/1733.86	c nbDecision=937500 #constraints=15076
1734.05/1734.65	c nbDecision=938000 #constraints=15077
1734.94/1735.53	c nbDecision=938500 #constraints=15081
1735.84/1736.40	c nbDecision=939000 #constraints=15081
1736.64/1737.26	c nbDecision=939500 #constraints=15081
1737.54/1738.11	c nbDecision=940000 #constraints=15081
1738.34/1738.95	c nbDecision=940500 #constraints=15082
1739.14/1739.78	c nbDecision=941000 #constraints=15082
1740.04/1740.64	c nbDecision=941500 #constraints=15091
1740.84/1741.46	c nbDecision=942000 #constraints=15091
1741.64/1742.30	c nbDecision=942500 #constraints=15093
1742.44/1743.09	c nbDecision=943000 #constraints=15093
1743.24/1743.87	c nbDecision=943500 #constraints=15094
1744.13/1744.75	c nbDecision=944000 #constraints=15108
1744.93/1745.59	c nbDecision=944500 #constraints=15114
1745.83/1746.49	c nbDecision=945000 #constraints=15117
1746.73/1747.36	c nbDecision=945500 #constraints=15117
1747.63/1748.22	c nbDecision=946000 #constraints=15117
1748.44/1749.07	c nbDecision=946500 #constraints=15117
1749.33/1749.91	c nbDecision=947000 #constraints=15117
1750.13/1750.74	c nbDecision=947500 #constraints=15117
1750.93/1751.54	c nbDecision=948000 #constraints=15117
1751.74/1752.36	c nbDecision=948500 #constraints=15118
1752.63/1753.22	c nbDecision=949000 #constraints=15120
1753.43/1754.00	c nbDecision=949500 #constraints=15121
1754.23/1754.82	c nbDecision=950000 #constraints=15124
1755.03/1755.63	c nbDecision=950500 #constraints=15135
1755.83/1756.48	c nbDecision=951000 #constraints=15139
1756.73/1757.30	c nbDecision=951500 #constraints=15139
1757.53/1758.12	c nbDecision=952000 #constraints=15140
1758.33/1758.94	c nbDecision=952500 #constraints=15140
1759.13/1759.75	c nbDecision=953000 #constraints=15142
1760.03/1760.60	c nbDecision=953500 #constraints=15143
1760.93/1761.50	c nbDecision=954000 #constraints=15144
1761.73/1762.37	c nbDecision=954500 #constraints=15144
1762.63/1763.23	c nbDecision=955000 #constraints=15144
1763.42/1764.09	c nbDecision=955500 #constraints=15145
1764.32/1764.95	c nbDecision=956000 #constraints=15145
1765.12/1765.80	c nbDecision=956500 #constraints=15145
1766.03/1766.65	c nbDecision=957000 #constraints=15145
1766.82/1767.48	c nbDecision=957500 #constraints=15145
1767.72/1768.30	c nbDecision=958000 #constraints=15145
1768.52/1769.12	c nbDecision=958500 #constraints=15146
1769.33/1769.93	c nbDecision=959000 #constraints=15147
1770.12/1770.71	c nbDecision=959500 #constraints=15147
1770.92/1771.50	c nbDecision=960000 #constraints=15148
1771.62/1772.28	c nbDecision=960500 #constraints=15149
1772.53/1773.15	c nbDecision=961000 #constraints=15161
1773.32/1773.99	c nbDecision=961500 #constraints=15166
1774.12/1774.76	c nbDecision=962000 #constraints=15166
1774.92/1775.56	c nbDecision=962500 #constraints=15168
1775.92/1776.51	c nbDecision=963000 #constraints=15177
1776.72/1777.39	c nbDecision=963500 #constraints=15179
1777.62/1778.21	c nbDecision=964000 #constraints=15179
1778.42/1779.08	c nbDecision=964500 #constraints=15180
1779.32/1779.91	c nbDecision=965000 #constraints=15180
1780.13/1780.75	c nbDecision=965500 #constraints=15180
1780.93/1781.58	c nbDecision=966000 #constraints=15180
1781.83/1782.40	c nbDecision=966500 #constraints=15180
1782.63/1783.21	c nbDecision=967000 #constraints=15181
1783.43/1784.05	c nbDecision=967500 #constraints=15184
1784.23/1784.83	c nbDecision=968000 #constraints=15185
1785.12/1785.70	c nbDecision=968500 #constraints=15188
1785.92/1786.58	c nbDecision=969000 #constraints=15189
1786.83/1787.45	c nbDecision=969500 #constraints=15189
1787.72/1788.31	c nbDecision=970000 #constraints=15189
1788.52/1789.16	c nbDecision=970500 #constraints=15189
1789.42/1790.00	c nbDecision=971000 #constraints=15189
1790.23/1790.83	c nbDecision=971500 #constraints=15189
1791.02/1791.64	c nbDecision=972000 #constraints=15189
1791.82/1792.45	c nbDecision=972500 #constraints=15189
1792.62/1793.27	c nbDecision=973000 #constraints=15191
1793.52/1794.10	c nbDecision=973500 #constraints=15202
1794.22/1794.89	c nbDecision=974000 #constraints=15204
1795.22/1795.90	c nbDecision=974500 #constraints=15222
1796.72/1797.38	c nbDecision=975000 #constraints=15241
1797.62/1798.24	c nbDecision=975500 #constraints=15243
1798.92/1799.59	c nbDecision=976000 #constraints=15253
1800.02/1800.61	Received signal 15
1800.02/1800.61	
1800.02/1800.61	s UNKNOWN
1800.02/1800.61	
1800.02/1800.61	c user time= 1799.68 s
1800.02/1800.61	c system time= 0.354946 s
1800.02/1800.61	c wall clock time=1800.61

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node44/watcher-357383-1176996289 -o ROOT/results/node44/solver-357383-1176996289 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357383-1176996289/instance-357383-1176996289.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.95 0.98 0.99 3/77 4598
/proc/meminfo: memFree=1683200/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=1468 CPUtime=0
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147540613 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827890 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 367 161 127 317 0 46 0

[startup+0.084916 s]
/proc/loadavg: 0.95 0.98 0.99 3/77 4598
/proc/meminfo: memFree=1683200/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=2400 CPUtime=0.07
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 504 0 0 0 7 0 0 0 18 0 1 0 147540613 2457600 388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827838 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 600 388 127 317 0 279 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2400

[startup+0.101917 s]
/proc/loadavg: 0.95 0.98 0.99 3/77 4598
/proc/meminfo: memFree=1683200/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=3440 CPUtime=0.09
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 779 0 0 0 9 0 0 0 18 0 1 0 147540613 3522560 534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 860 534 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301938 s]
/proc/loadavg: 0.95 0.98 0.99 3/77 4598
/proc/meminfo: memFree=1683200/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=5552 CPUtime=0.29
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 1339 0 0 0 29 0 0 0 19 0 1 0 147540613 5685248 1094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 1388 1094 131 317 0 1067 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5552

[startup+0.70198 s]
/proc/loadavg: 0.95 0.98 0.99 3/77 4598
/proc/meminfo: memFree=1683200/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=11228 CPUtime=0.69
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 2758 0 0 0 68 1 0 0 22 0 1 0 147540613 11497472 2513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 2807 2514 131 317 0 2486 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11228

[startup+1.50106 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 4599
/proc/meminfo: memFree=1669112/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=30712 CPUtime=1.49
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 7637 0 0 0 146 3 0 0 25 0 1 0 147540613 31449088 7392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 7678 7392 137 317 0 7357 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30712

[startup+3.10123 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 4599
/proc/meminfo: memFree=1651192/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=33484 CPUtime=3.09
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 8324 0 0 0 306 3 0 0 25 0 1 0 147540613 34287616 8079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 8371 8079 138 317 0 8050 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33484

[startup+6.30156 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 4599
/proc/meminfo: memFree=1650936/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=33484 CPUtime=6.29
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 8327 0 0 0 626 3 0 0 25 0 1 0 147540613 34287616 8082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 8371 8082 138 317 0 8050 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33484

[startup+12.7012 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 4599
/proc/meminfo: memFree=1651064/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=33580 CPUtime=12.68
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 8335 0 0 0 1265 3 0 0 25 0 1 0 147540613 34385920 8090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 8395 8090 138 317 0 8074 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33580

[startup+25.5015 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 4599
/proc/meminfo: memFree=1651192/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=33580 CPUtime=25.48
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 8341 0 0 0 2545 3 0 0 25 0 1 0 147540613 34385920 8096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 8395 8096 138 317 0 8074 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33580

[startup+51.1012 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 4599
/proc/meminfo: memFree=1650488/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=34504 CPUtime=51.08
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 8531 0 0 0 5104 4 0 0 25 0 1 0 147540613 35332096 8286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 8626 8286 139 317 0 8305 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34504

[startup+102.305 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 4599
/proc/meminfo: memFree=1648248/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=36904 CPUtime=102.27
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 9083 0 0 0 10222 5 0 0 25 0 1 0 147540613 37789696 8838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 9226 8838 139 317 0 8905 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36904

[startup+162.302 s]
/proc/loadavg: 1.10 1.03 1.01 2/78 4599
/proc/meminfo: memFree=1645880/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=39376 CPUtime=162.24
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 9663 0 0 0 16219 5 0 0 25 0 1 0 147540613 40321024 9418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 9844 9418 139 317 0 9523 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 39376

[startup+222.302 s]
/proc/loadavg: 1.08 1.03 1.01 2/78 4599
/proc/meminfo: memFree=1645496/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=39772 CPUtime=222.23
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 9757 0 0 0 22217 6 0 0 25 0 1 0 147540613 40726528 9512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 9943 9512 139 317 0 9622 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 39772

[startup+282.302 s]
/proc/loadavg: 1.06 1.04 1.01 2/78 4599
/proc/meminfo: memFree=1643384/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=42100 CPUtime=282.22
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 10294 0 0 0 28215 7 0 0 25 0 1 0 147540613 43110400 10049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 10525 10049 139 317 0 10204 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 42100

[startup+342.301 s]
/proc/loadavg: 1.06 1.04 1.01 2/78 4599
/proc/meminfo: memFree=1642744/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=42628 CPUtime=342.2
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 10447 0 0 0 34212 8 0 0 25 0 1 0 147540613 43651072 10202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 10657 10202 139 317 0 10336 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 42628

[startup+402.301 s]
/proc/loadavg: 1.09 1.06 1.01 2/78 4599
/proc/meminfo: memFree=1642232/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=43152 CPUtime=402.18
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 10569 0 0 0 40209 9 0 0 25 0 1 0 147540613 44187648 10324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 10788 10324 139 317 0 10467 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 43152

[startup+462.301 s]
/proc/loadavg: 1.03 1.05 1.00 2/78 4599
/proc/meminfo: memFree=1641592/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=43804 CPUtime=462.16
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 10720 0 0 0 46206 10 0 0 25 0 1 0 147540613 44855296 10475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 10951 10475 139 317 0 10630 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 43804

[startup+522.302 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 4599
/proc/meminfo: memFree=1641016/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=44388 CPUtime=522.14
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 10864 0 0 0 52203 11 0 0 25 0 1 0 147540613 45453312 10619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 11097 10619 139 317 0 10776 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 44388

[startup+582.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 4599
/proc/meminfo: memFree=1640568/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=44784 CPUtime=582.12
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 10957 0 0 0 58201 11 0 0 25 0 1 0 147540613 45858816 10712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 11196 10712 139 317 0 10875 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 44784

[startup+642.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 4599
/proc/meminfo: memFree=1639352/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=46096 CPUtime=642.11
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 11293 0 0 0 64198 13 0 0 25 0 1 0 147540613 47202304 11048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 11524 11048 139 317 0 11203 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 46096


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4599
/proc/meminfo: memFree=1630520/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=54680 CPUtime=822.04
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 13432 0 0 0 82188 16 0 0 25 0 1 0 147540613 55992320 13187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 13670 13187 139 317 0 13349 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 54680

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1630008/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=55208 CPUtime=882.03
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 13565 0 0 0 88186 17 0 0 25 0 1 0 147540613 56532992 13320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 13802 13320 139 317 0 13481 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 55208

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1627448/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=58292 CPUtime=942.01
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 14270 0 0 0 94183 18 0 0 25 0 1 0 147540613 59691008 14025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 14573 14025 139 317 0 14252 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 58292

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1625912/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=59808 CPUtime=1001.99
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 14619 0 0 0 100181 18 0 0 25 0 1 0 147540613 61243392 14374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 14952 14374 139 317 0 14631 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 59808

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1624184/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=61524 CPUtime=1061.96
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 15059 0 0 0 106177 19 0 0 25 0 1 0 147540613 63000576 14814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 15381 14814 139 317 0 15060 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 61524

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1613432/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=72596 CPUtime=1121.95
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 17838 0 0 0 112173 22 0 0 25 0 1 0 147540613 74338304 17531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 18149 17531 170 317 0 17828 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 72596

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1603128/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=83240 CPUtime=1181.92
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 20428 0 0 0 118169 23 0 0 25 0 1 0 147540613 85237760 20121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 20810 20121 170 317 0 20489 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 83240

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1594808/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=91488 CPUtime=1241.91
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 22444 0 0 0 124165 26 0 0 25 0 1 0 147540613 93683712 22137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 22872 22137 170 317 0 22551 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 91488

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1590200/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=96252 CPUtime=1301.89
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 23585 0 0 0 130162 27 0 0 25 0 1 0 147540613 98562048 23278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 24063 23278 170 317 0 23742 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 96252

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1587512/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=98904 CPUtime=1361.86
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 24238 0 0 0 136159 27 0 0 25 0 1 0 147540613 101277696 23931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606719 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 24726 23931 170 317 0 24405 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 98904

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1583544/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=102896 CPUtime=1421.85
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 25216 0 0 0 142156 29 0 0 25 0 1 0 147540613 105365504 24909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 25724 24909 170 317 0 25403 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 102896

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1580408/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=106092 CPUtime=1481.82
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 25991 0 0 0 148152 30 0 0 25 0 1 0 147540613 108638208 25684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 26523 25684 170 317 0 26202 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 106092

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1578296/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=108364 CPUtime=1541.8
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 26546 0 0 0 154150 30 0 0 25 0 1 0 147540613 110964736 26239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 27091 26239 170 317 0 26770 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 108364

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1572024/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=114900 CPUtime=1601.78
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 28115 0 0 0 160147 31 0 0 25 0 1 0 147540613 117657600 27808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 28725 27808 170 317 0 28404 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 114900

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1563064/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=124300 CPUtime=1661.76
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 30347 0 0 0 166143 33 0 0 25 0 1 0 147540613 127283200 30040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385271 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 31075 30040 170 317 0 30754 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 124300

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1562424/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=124964 CPUtime=1721.74
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 30507 0 0 0 172141 33 0 0 25 0 1 0 147540613 127963136 30200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 31241 30200 170 317 0 30920 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 124964

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1560760/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=126728 CPUtime=1781.73
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 30922 0 0 0 178138 35 0 0 25 0 1 0 147540613 129769472 30615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 31682 30615 170 317 0 31361 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 126728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4601
/proc/meminfo: memFree=1558584/2055920 swapFree=4150992/4192956
[pid=4598] ppid=4596 vsize=129128 CPUtime=1800.02
/proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 31462 0 0 0 179967 35 0 0 25 0 1 0 147540613 132227072 31155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4598/statm: 32282 31155 170 317 0 31961 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 129128

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.66
CPU time (s): 1800.08
CPU user time (s): 1799.7
CPU system time (s): 0.377942
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 129128

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

runsolver used 1.9887 second user time and 4.69629 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Thu Apr 19 15:24:49 UTC 2007

IDJOB= 357383
IDBENCH= 2504
IDSOLVER= 172
FILE ID= node44/357383-1176996289

PBS_JOBID= 4630462

Free space on /tmp= 66409 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb
COMMAND LINE= oree /tmp/evaluation/357383-1176996289/instance-357383-1176996289.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-357383-1176996289 -o ROOT/results/node44/solver-357383-1176996289 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357383-1176996289/instance-357383-1176996289.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  daeaeaee67028e931b0f5195f178e9b3

RANDOM SEED= 125848120

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
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:       1683608 kB
Buffers:         42296 kB
Cached:         236712 kB
SwapCached:      18832 kB
Active:          89632 kB
Inactive:       218772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1683608 kB
SwapTotal:     4192956 kB
SwapFree:      4150992 kB
Dirty:            6188 kB
Writeback:           0 kB
Mapped:          32396 kB
Slab:            49376 kB
Committed_AS:   498712 kB
PageTables:       1736 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= 66409 MiB

End job on node44 on Thu Apr 19 15:54:52 UTC 2007