Trace number 356910

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb
MD5SUMcc797868c6f9cb3811b8dc2300ad7f9f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107808
Total number of constraints3904
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 612
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 556800
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 556800
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.89/0.93	c ...done
0.89/0.93	c #vars=107808 #constraints=5185 hasObjective=yes
1.39/1.44	c res. mode=mod
1.39/1.44	c VSIDS like heuristics
1.39/1.44	c complete search running
2.09/2.18	c restart after 401 decisions
2.29/2.34	c nbDecision=500 #constraints=5185
2.79/2.81	c restart after 801 decisions
3.09/3.12	c nbDecision=1000 #constraints=5185
3.89/3.90	c nbDecision=1500 #constraints=5185
3.99/4.06	c restart after 1601 decisions
4.59/4.69	c nbDecision=2000 #constraints=5185
5.40/5.47	c nbDecision=2500 #constraints=5185
6.19/6.26	c nbDecision=3000 #constraints=5185
6.49/6.57	c restart after 3201 decisions
6.99/7.04	c nbDecision=3500 #constraints=5185
7.79/7.83	c nbDecision=4000 #constraints=5185
8.59/8.61	c nbDecision=4500 #constraints=5185
9.29/9.39	c nbDecision=5000 #constraints=5185
10.09/10.17	c nbDecision=5500 #constraints=5185
10.89/10.94	c nbDecision=6000 #constraints=5185
11.49/11.56	c restart after 6401 decisions
11.69/11.72	c nbDecision=6500 #constraints=5185
12.49/12.50	c nbDecision=7000 #constraints=5185
13.19/13.27	c nbDecision=7500 #constraints=5185
13.99/14.05	c nbDecision=8000 #constraints=5185
14.79/14.81	c nbDecision=8500 #constraints=5185
15.49/15.58	c nbDecision=9000 #constraints=5185
16.29/16.35	c nbDecision=9500 #constraints=5185
17.09/17.12	c nbDecision=10000 #constraints=5185
17.79/17.88	c nbDecision=10500 #constraints=5185
18.59/18.64	c nbDecision=11000 #constraints=5185
19.38/19.41	c nbDecision=11500 #constraints=5185
20.08/20.17	c nbDecision=12000 #constraints=5185
20.89/20.93	c nbDecision=12500 #constraints=5185
21.28/21.39	c restart after 12801 decisions
21.68/21.71	c nbDecision=13000 #constraints=5185
22.38/22.49	c nbDecision=13500 #constraints=5185
23.18/23.27	c nbDecision=14000 #constraints=5185
23.98/24.05	c nbDecision=14500 #constraints=5185
24.78/24.83	c nbDecision=15000 #constraints=5185
25.48/25.60	c nbDecision=15500 #constraints=5185
26.29/26.37	c nbDecision=16000 #constraints=5185
27.08/27.14	c nbDecision=16500 #constraints=5185
27.88/27.91	c nbDecision=17000 #constraints=5185
28.59/28.68	c nbDecision=17500 #constraints=5185
29.38/29.46	c nbDecision=18000 #constraints=5185
30.18/30.22	c nbDecision=18500 #constraints=5185
30.88/30.99	c nbDecision=19000 #constraints=5185
31.68/31.75	c nbDecision=19500 #constraints=5185
32.48/32.51	c nbDecision=20000 #constraints=5185
33.18/33.27	c nbDecision=20500 #constraints=5185
33.98/34.02	c nbDecision=21000 #constraints=5185
34.68/34.78	c nbDecision=21500 #constraints=5185
35.48/35.54	c nbDecision=22000 #constraints=5185
36.18/36.29	c nbDecision=22500 #constraints=5185
36.97/37.04	c nbDecision=23000 #constraints=5185
37.67/37.79	c nbDecision=23500 #constraints=5185
38.48/38.53	c nbDecision=24000 #constraints=5185
39.17/39.28	c nbDecision=24500 #constraints=5185
39.97/40.02	c nbDecision=25000 #constraints=5185
40.68/40.77	c nbDecision=25500 #constraints=5185
40.87/40.93	c restart after 25601 decisions
41.47/41.56	c nbDecision=26000 #constraints=5185
42.27/42.35	c nbDecision=26500 #constraints=5185
43.07/43.13	c nbDecision=27000 #constraints=5185
43.87/43.91	c nbDecision=27500 #constraints=5185
44.57/44.68	c nbDecision=28000 #constraints=5185
45.37/45.46	c nbDecision=28500 #constraints=5185
46.17/46.24	c nbDecision=29000 #constraints=5185
46.97/47.02	c nbDecision=29500 #constraints=5185
47.67/47.79	c nbDecision=30000 #constraints=5185
48.47/48.56	c nbDecision=30500 #constraints=5185
49.27/49.33	c nbDecision=31000 #constraints=5185
50.07/50.10	c nbDecision=31500 #constraints=5185
50.77/50.85	c nbDecision=32000 #constraints=5185
51.57/51.61	c nbDecision=32500 #constraints=5185
52.27/52.35	c nbDecision=33000 #constraints=5185
53.07/53.11	c nbDecision=33500 #constraints=5185
53.77/53.85	c nbDecision=34000 #constraints=5185
54.56/54.60	c nbDecision=34500 #constraints=5185
55.26/55.34	c nbDecision=35000 #constraints=5185
55.97/56.08	c nbDecision=35500 #constraints=5185
56.76/56.83	c nbDecision=36000 #constraints=5185
57.46/57.58	c nbDecision=36500 #constraints=5185
58.27/58.32	c nbDecision=37000 #constraints=5185
58.96/59.06	c nbDecision=37500 #constraints=5185
59.76/59.80	c nbDecision=38000 #constraints=5185
60.47/60.55	c nbDecision=38500 #constraints=5185
61.16/61.30	c nbDecision=39000 #constraints=5185
61.96/62.05	c nbDecision=39500 #constraints=5185
62.67/62.79	c nbDecision=40000 #constraints=5185
63.46/63.54	c nbDecision=40500 #constraints=5185
64.16/64.28	c nbDecision=41000 #constraints=5185
64.96/65.03	c nbDecision=41500 #constraints=5185
65.66/65.76	c nbDecision=42000 #constraints=5185
66.46/66.51	c nbDecision=42500 #constraints=5185
67.16/67.25	c nbDecision=43000 #constraints=5185
67.86/67.99	c nbDecision=43500 #constraints=5185
68.66/68.73	c nbDecision=44000 #constraints=5185
69.36/69.47	c nbDecision=44500 #constraints=5185
70.16/70.21	c nbDecision=45000 #constraints=5185
70.86/70.94	c nbDecision=45500 #constraints=5185
71.56/71.67	c nbDecision=46000 #constraints=5185
72.36/72.40	c nbDecision=46500 #constraints=5185
73.06/73.13	c nbDecision=47000 #constraints=5185
73.76/73.85	c nbDecision=47500 #constraints=5185
74.46/74.58	c nbDecision=48000 #constraints=5185
75.26/75.30	c nbDecision=48500 #constraints=5185
75.96/76.03	c nbDecision=49000 #constraints=5185
76.66/76.75	c nbDecision=49500 #constraints=5185
77.36/77.47	c nbDecision=50000 #constraints=5185
78.06/78.19	c nbDecision=50500 #constraints=5185
78.86/78.91	c nbDecision=51000 #constraints=5185
79.16/79.20	c restart after 51201 decisions
79.65/79.70	c nbDecision=51500 #constraints=5185
80.35/80.47	c nbDecision=52000 #constraints=5185
81.15/81.25	c nbDecision=52500 #constraints=5185
81.95/82.03	c nbDecision=53000 #constraints=5185
82.75/82.81	c nbDecision=53500 #constraints=5185
83.47/83.59	c nbDecision=54000 #constraints=5185
84.26/84.37	c nbDecision=54500 #constraints=5185
85.06/85.14	c nbDecision=55000 #constraints=5185
85.86/85.92	c nbDecision=55500 #constraints=5185
86.56/86.69	c nbDecision=56000 #constraints=5185
87.36/87.46	c nbDecision=56500 #constraints=5185
88.16/88.22	c nbDecision=57000 #constraints=5185
88.86/88.99	c nbDecision=57500 #constraints=5185
89.66/89.75	c nbDecision=58000 #constraints=5185
90.46/90.51	c nbDecision=58500 #constraints=5185
91.16/91.27	c nbDecision=59000 #constraints=5185
91.96/92.02	c nbDecision=59500 #constraints=5185
92.66/92.76	c nbDecision=60000 #constraints=5185
93.46/93.51	c nbDecision=60500 #constraints=5185
94.16/94.26	c nbDecision=61000 #constraints=5185
94.96/95.00	c nbDecision=61500 #constraints=5185
95.66/95.75	c nbDecision=62000 #constraints=5185
96.36/96.49	c nbDecision=62500 #constraints=5185
97.16/97.24	c nbDecision=63000 #constraints=5185
97.86/97.99	c nbDecision=63500 #constraints=5185
98.66/98.73	c nbDecision=64000 #constraints=5185
99.36/99.47	c nbDecision=64500 #constraints=5185
100.16/100.22	c nbDecision=65000 #constraints=5185
100.86/100.97	c nbDecision=65500 #constraints=5185
101.65/101.71	c nbDecision=66000 #constraints=5185
102.35/102.45	c nbDecision=66500 #constraints=5185
103.15/103.20	c nbDecision=67000 #constraints=5185
103.85/103.94	c nbDecision=67500 #constraints=5185
104.55/104.69	c nbDecision=68000 #constraints=5185
105.35/105.43	c nbDecision=68500 #constraints=5185
106.05/106.17	c nbDecision=69000 #constraints=5185
106.85/106.91	c nbDecision=69500 #constraints=5185
107.55/107.65	c nbDecision=70000 #constraints=5185
108.25/108.39	c nbDecision=70500 #constraints=5185
109.05/109.13	c nbDecision=71000 #constraints=5185
109.75/109.87	c nbDecision=71500 #constraints=5185
110.45/110.60	c nbDecision=72000 #constraints=5185
111.25/111.32	c nbDecision=72500 #constraints=5185
111.95/112.05	c nbDecision=73000 #constraints=5185
112.65/112.78	c nbDecision=73500 #constraints=5185
113.45/113.50	c nbDecision=74000 #constraints=5185
114.15/114.23	c nbDecision=74500 #constraints=5185
114.85/114.95	c nbDecision=75000 #constraints=5185
115.55/115.67	c nbDecision=75500 #constraints=5185
116.25/116.39	c nbDecision=76000 #constraints=5185
117.05/117.12	c nbDecision=76500 #constraints=5185
117.75/117.84	c nbDecision=77000 #constraints=5185
118.45/118.56	c nbDecision=77500 #constraints=5185
119.15/119.28	c nbDecision=78000 #constraints=5185
119.85/119.99	c nbDecision=78500 #constraints=5185
120.65/120.75	c nbDecision=79000 #constraints=5186
121.35/121.48	c nbDecision=79500 #constraints=5186
122.15/122.22	c nbDecision=80000 #constraints=5186
122.85/122.97	c nbDecision=80500 #constraints=5186
123.65/123.70	c nbDecision=81000 #constraints=5186
124.35/124.43	c nbDecision=81500 #constraints=5186
125.05/125.18	c nbDecision=82000 #constraints=5186
125.84/125.92	c nbDecision=82500 #constraints=5186
126.54/126.66	c nbDecision=83000 #constraints=5186
127.35/127.41	c nbDecision=83500 #constraints=5186
128.04/128.14	c nbDecision=84000 #constraints=5186
128.74/128.87	c nbDecision=84500 #constraints=5186
129.54/129.61	c nbDecision=85000 #constraints=5186
130.24/130.34	c nbDecision=85500 #constraints=5186
130.94/131.06	c nbDecision=86000 #constraints=5186
131.64/131.79	c nbDecision=86500 #constraints=5186
132.44/132.51	c nbDecision=87000 #constraints=5186
133.14/133.23	c nbDecision=87500 #constraints=5186
133.84/133.94	c nbDecision=88000 #constraints=5186
134.54/134.65	c nbDecision=88500 #constraints=5186
135.25/135.37	c nbDecision=89000 #constraints=5186
136.04/136.10	c nbDecision=89500 #constraints=5186
136.74/136.81	c nbDecision=90000 #constraints=5186
137.45/137.55	c nbDecision=90500 #constraints=5187
138.14/138.28	c nbDecision=91000 #constraints=5187
138.94/139.01	c nbDecision=91500 #constraints=5187
139.64/139.73	c nbDecision=92000 #constraints=5187
140.34/140.46	c nbDecision=92500 #constraints=5187
141.04/141.19	c nbDecision=93000 #constraints=5187
141.85/141.92	c nbDecision=93500 #constraints=5187
142.54/142.64	c nbDecision=94000 #constraints=5187
143.24/143.37	c nbDecision=94500 #constraints=5187
143.94/144.10	c nbDecision=95000 #constraints=5187
144.74/144.82	c nbDecision=95500 #constraints=5187
145.44/145.54	c nbDecision=96000 #constraints=5187
146.14/146.25	c nbDecision=96500 #constraints=5187
146.84/146.98	c nbDecision=97000 #constraints=5187
147.64/147.70	c nbDecision=97500 #constraints=5187
148.34/148.45	c nbDecision=98000 #constraints=5188
149.04/149.19	c nbDecision=98500 #constraints=5188
149.84/149.93	c nbDecision=99000 #constraints=5188
150.54/150.67	c nbDecision=99500 #constraints=5188
151.33/151.40	c nbDecision=100000 #constraints=5188
152.03/152.13	c nbDecision=100500 #constraints=5188
152.74/152.86	c nbDecision=101000 #constraints=5188
153.43/153.59	c nbDecision=101500 #constraints=5188
154.23/154.32	c nbDecision=102000 #constraints=5188
154.83/154.91	c restart after 102401 decisions
154.94/155.09	c nbDecision=102500 #constraints=5188
155.73/155.86	c nbDecision=103000 #constraints=5188
156.53/156.63	c nbDecision=103500 #constraints=5188
157.24/157.40	c nbDecision=104000 #constraints=5188
158.03/158.17	c nbDecision=104500 #constraints=5188
158.83/158.94	c nbDecision=105000 #constraints=5188
159.63/159.71	c nbDecision=105500 #constraints=5188
160.33/160.48	c nbDecision=106000 #constraints=5188
161.13/161.25	c nbDecision=106500 #constraints=5188
161.93/162.02	c nbDecision=107000 #constraints=5188
162.63/162.78	c nbDecision=107500 #constraints=5188
163.43/163.54	c nbDecision=108000 #constraints=5188
164.23/164.31	c nbDecision=108500 #constraints=5188
164.93/165.08	c nbDecision=109000 #constraints=5188
165.73/165.84	c nbDecision=109500 #constraints=5188
166.53/166.61	c nbDecision=110000 #constraints=5188
167.23/167.37	c nbDecision=110500 #constraints=5188
168.03/168.14	c nbDecision=111000 #constraints=5188
168.73/168.89	c nbDecision=111500 #constraints=5188
169.53/169.65	c nbDecision=112000 #constraints=5188
170.23/170.40	c nbDecision=112500 #constraints=5188
171.02/171.14	c nbDecision=113000 #constraints=5188
171.73/171.89	c nbDecision=113500 #constraints=5188
172.54/172.63	c nbDecision=114000 #constraints=5188
173.23/173.37	c nbDecision=114500 #constraints=5188
174.03/174.11	c nbDecision=115000 #constraints=5188
174.74/174.84	c nbDecision=115500 #constraints=5188
175.43/175.57	c nbDecision=116000 #constraints=5188
176.23/176.30	c nbDecision=116500 #constraints=5188
176.94/177.04	c nbDecision=117000 #constraints=5188
177.63/177.78	c nbDecision=117500 #constraints=5188
178.43/178.52	c nbDecision=118000 #constraints=5188
179.13/179.25	c nbDecision=118500 #constraints=5188
179.83/179.98	c nbDecision=119000 #constraints=5188
180.63/180.71	c nbDecision=119500 #constraints=5188
181.33/181.45	c nbDecision=120000 #constraints=5188
182.03/182.19	c nbDecision=120500 #constraints=5188
182.83/182.93	c nbDecision=121000 #constraints=5188
183.53/183.67	c nbDecision=121500 #constraints=5188
184.33/184.40	c nbDecision=122000 #constraints=5188
185.03/185.14	c nbDecision=122500 #constraints=5188
185.73/185.87	c nbDecision=123000 #constraints=5188
186.53/186.61	c nbDecision=123500 #constraints=5188
187.23/187.34	c nbDecision=124000 #constraints=5188
187.93/188.08	c nbDecision=124500 #constraints=5188
188.73/188.80	c nbDecision=125000 #constraints=5188
189.43/189.53	c nbDecision=125500 #constraints=5188
190.13/190.25	c nbDecision=126000 #constraints=5188
190.83/190.97	c nbDecision=126500 #constraints=5188
191.53/191.68	c nbDecision=127000 #constraints=5188
192.23/192.39	c nbDecision=127500 #constraints=5188
193.03/193.11	c nbDecision=128000 #constraints=5188
193.73/193.83	c nbDecision=128500 #constraints=5188
194.43/194.54	c nbDecision=129000 #constraints=5188
195.13/195.26	c nbDecision=129500 #constraints=5188
195.93/196.00	c nbDecision=130000 #constraints=5189
196.62/196.73	c nbDecision=130500 #constraints=5189
197.32/197.46	c nbDecision=131000 #constraints=5189
198.12/198.20	c nbDecision=131500 #constraints=5189
198.82/198.93	c nbDecision=132000 #constraints=5189
199.52/199.65	c nbDecision=132500 #constraints=5189
200.22/200.39	c nbDecision=133000 #constraints=5189
201.02/201.12	c nbDecision=133500 #constraints=5189
201.72/201.85	c nbDecision=134000 #constraints=5189
202.42/202.59	c nbDecision=134500 #constraints=5189
203.22/203.32	c nbDecision=135000 #constraints=5189
203.92/204.06	c nbDecision=135500 #constraints=5189
204.62/204.79	c nbDecision=136000 #constraints=5189
205.42/205.52	c nbDecision=136500 #constraints=5189
206.12/206.25	c nbDecision=137000 #constraints=5189
206.82/206.96	c nbDecision=137500 #constraints=5189
207.52/207.69	c nbDecision=138000 #constraints=5189
208.32/208.41	c nbDecision=138500 #constraints=5189
209.02/209.12	c nbDecision=139000 #constraints=5189
209.72/209.85	c nbDecision=139500 #constraints=5189
210.42/210.56	c nbDecision=140000 #constraints=5189
211.12/211.26	c nbDecision=140500 #constraints=5189
211.92/212.01	c nbDecision=141000 #constraints=5190
212.62/212.74	c nbDecision=141500 #constraints=5190
213.32/213.47	c nbDecision=142000 #constraints=5190
214.12/214.20	c nbDecision=142500 #constraints=5190
214.82/214.93	c nbDecision=143000 #constraints=5190
215.52/215.66	c nbDecision=143500 #constraints=5190
216.22/216.38	c nbDecision=144000 #constraints=5190
217.02/217.11	c nbDecision=144500 #constraints=5190
217.72/217.83	c nbDecision=145000 #constraints=5190
218.42/218.56	c nbDecision=145500 #constraints=5190
219.11/219.27	c nbDecision=146000 #constraints=5190
219.82/219.99	c nbDecision=146500 #constraints=5190
220.61/220.70	c nbDecision=147000 #constraints=5190
221.31/221.43	c nbDecision=147500 #constraints=5190
222.02/222.14	c nbDecision=148000 #constraints=5190
222.71/222.87	c nbDecision=148500 #constraints=5190
223.41/223.60	c nbDecision=149000 #constraints=5190
224.22/224.31	c nbDecision=149500 #constraints=5190
224.91/225.05	c nbDecision=150000 #constraints=5191
225.61/225.77	c nbDecision=150500 #constraints=5191
226.31/226.49	c nbDecision=151000 #constraints=5191
227.11/227.24	c nbDecision=151500 #constraints=5192
227.81/227.98	c nbDecision=152000 #constraints=5192
228.61/228.72	c nbDecision=152500 #constraints=5192
229.31/229.46	c nbDecision=153000 #constraints=5192
230.11/230.20	c nbDecision=153500 #constraints=5192
230.81/230.94	c nbDecision=154000 #constraints=5192
231.51/231.66	c nbDecision=154500 #constraints=5192
232.21/232.39	c nbDecision=155000 #constraints=5192
233.01/233.12	c nbDecision=155500 #constraints=5192
233.71/233.84	c nbDecision=156000 #constraints=5192
234.41/234.56	c nbDecision=156500 #constraints=5192
235.11/235.27	c nbDecision=157000 #constraints=5192
235.81/235.99	c nbDecision=157500 #constraints=5192
236.61/236.71	c nbDecision=158000 #constraints=5192
237.31/237.43	c nbDecision=158500 #constraints=5192
238.00/238.15	c nbDecision=159000 #constraints=5192
238.71/238.86	c nbDecision=159500 #constraints=5192
239.40/239.58	c nbDecision=160000 #constraints=5192
240.10/240.29	c nbDecision=160500 #constraints=5192
240.90/241.00	c nbDecision=161000 #constraints=5192
241.60/241.72	c nbDecision=161500 #constraints=5192
242.30/242.46	c nbDecision=162000 #constraints=5193
243.01/243.19	c nbDecision=162500 #constraints=5193
243.80/243.92	c nbDecision=163000 #constraints=5193
244.50/244.66	c nbDecision=163500 #constraints=5193
245.21/245.39	c nbDecision=164000 #constraints=5193
246.00/246.11	c nbDecision=164500 #constraints=5193
246.70/246.83	c nbDecision=165000 #constraints=5193
247.41/247.56	c nbDecision=165500 #constraints=5193
248.10/248.28	c nbDecision=166000 #constraints=5193
248.90/249.00	c nbDecision=166500 #constraints=5193
249.61/249.73	c nbDecision=167000 #constraints=5193
250.30/250.44	c nbDecision=167500 #constraints=5193
251.00/251.15	c nbDecision=168000 #constraints=5193
251.70/251.86	c nbDecision=168500 #constraints=5193
252.50/252.61	c nbDecision=169000 #constraints=5194
253.20/253.34	c nbDecision=169500 #constraints=5194
253.90/254.07	c nbDecision=170000 #constraints=5194
254.70/254.80	c nbDecision=170500 #constraints=5194
255.40/255.53	c nbDecision=171000 #constraints=5194
256.10/256.26	c nbDecision=171500 #constraints=5194
256.80/256.99	c nbDecision=172000 #constraints=5194
257.60/257.72	c nbDecision=172500 #constraints=5194
258.30/258.44	c nbDecision=173000 #constraints=5194
259.00/259.17	c nbDecision=173500 #constraints=5194
259.70/259.89	c nbDecision=174000 #constraints=5194
260.50/260.62	c nbDecision=174500 #constraints=5194
261.20/261.35	c nbDecision=175000 #constraints=5194
261.90/262.08	c nbDecision=175500 #constraints=5194
262.60/262.80	c nbDecision=176000 #constraints=5194
263.40/263.51	c nbDecision=176500 #constraints=5194
264.10/264.23	c nbDecision=177000 #constraints=5194
264.80/264.95	c nbDecision=177500 #constraints=5194
265.50/265.66	c nbDecision=178000 #constraints=5194
266.30/266.40	c nbDecision=178500 #constraints=5195
267.00/267.14	c nbDecision=179000 #constraints=5195
267.69/267.88	c nbDecision=179500 #constraints=5195
268.49/268.62	c nbDecision=180000 #constraints=5195
269.19/269.36	c nbDecision=180500 #constraints=5195
269.99/270.10	c nbDecision=181000 #constraints=5195
270.69/270.84	c nbDecision=181500 #constraints=5195
271.39/271.57	c nbDecision=182000 #constraints=5195
272.09/272.30	c nbDecision=182500 #constraints=5195
272.89/273.03	c nbDecision=183000 #constraints=5195
273.59/273.75	c nbDecision=183500 #constraints=5195
274.29/274.47	c nbDecision=184000 #constraints=5195
274.99/275.19	c nbDecision=184500 #constraints=5195
275.79/275.91	c nbDecision=185000 #constraints=5195
276.49/276.63	c nbDecision=185500 #constraints=5195
277.19/277.36	c nbDecision=186000 #constraints=5195
277.89/278.08	c nbDecision=186500 #constraints=5195
278.69/278.80	c nbDecision=187000 #constraints=5195
279.39/279.52	c nbDecision=187500 #constraints=5195
280.09/280.23	c nbDecision=188000 #constraints=5195
280.79/280.95	c nbDecision=188500 #constraints=5195
281.49/281.67	c nbDecision=189000 #constraints=5195
282.29/282.42	c nbDecision=189500 #constraints=5196
282.98/283.15	c nbDecision=190000 #constraints=5196
283.69/283.90	c nbDecision=190500 #constraints=5196
284.48/284.63	c nbDecision=191000 #constraints=5196
285.18/285.37	c nbDecision=191500 #constraints=5196
285.98/286.11	c nbDecision=192000 #constraints=5196
286.68/286.85	c nbDecision=192500 #constraints=5196
287.38/287.58	c nbDecision=193000 #constraints=5196
288.18/288.32	c nbDecision=193500 #constraints=5196
288.88/289.06	c nbDecision=194000 #constraints=5196
289.58/289.79	c nbDecision=194500 #constraints=5196
290.38/290.52	c nbDecision=195000 #constraints=5196
291.08/291.25	c nbDecision=195500 #constraints=5196
291.78/291.97	c nbDecision=196000 #constraints=5196
292.58/292.70	c nbDecision=196500 #constraints=5196
293.28/293.42	c nbDecision=197000 #constraints=5196
293.98/294.14	c nbDecision=197500 #constraints=5196
294.68/294.86	c nbDecision=198000 #constraints=5196
295.38/295.58	c nbDecision=198500 #constraints=5196
296.18/296.30	c nbDecision=199000 #constraints=5196
296.88/297.02	c nbDecision=199500 #constraints=5196
297.58/297.77	c nbDecision=200000 #constraints=5197
298.38/298.51	c nbDecision=200500 #constraints=5197
299.08/299.24	c nbDecision=201000 #constraints=5197
299.78/299.98	c nbDecision=201500 #constraints=5197
300.58/300.71	c nbDecision=202000 #constraints=5197
301.28/301.45	c nbDecision=202500 #constraints=5197
301.98/302.19	c nbDecision=203000 #constraints=5197
302.78/302.92	c nbDecision=203500 #constraints=5197
303.48/303.66	c nbDecision=204000 #constraints=5197
304.17/304.39	c nbDecision=204500 #constraints=5197
304.67/304.83	c restart after 204801 decisions
304.97/305.17	c nbDecision=205000 #constraints=5197
305.77/305.95	c nbDecision=205500 #constraints=5197
306.57/306.73	c nbDecision=206000 #constraints=5197
307.37/307.51	c nbDecision=206500 #constraints=5197
308.07/308.29	c nbDecision=207000 #constraints=5197
308.88/309.07	c nbDecision=207500 #constraints=5197
309.67/309.85	c nbDecision=208000 #constraints=5197
310.47/310.63	c nbDecision=208500 #constraints=5197
311.18/311.39	c nbDecision=209000 #constraints=5197
311.97/312.16	c nbDecision=209500 #constraints=5197
312.77/312.93	c nbDecision=210000 #constraints=5197
313.47/313.69	c nbDecision=210500 #constraints=5197
314.27/314.45	c nbDecision=211000 #constraints=5197
315.08/315.21	c nbDecision=211500 #constraints=5197
315.78/315.97	c nbDecision=212000 #constraints=5197
316.58/316.72	c nbDecision=212500 #constraints=5197
317.28/317.48	c nbDecision=213000 #constraints=5197
318.08/318.24	c nbDecision=213500 #constraints=5197
318.78/318.99	c nbDecision=214000 #constraints=5197
319.58/319.73	c nbDecision=214500 #constraints=5197
320.28/320.49	c nbDecision=215000 #constraints=5197
321.08/321.25	c nbDecision=215500 #constraints=5197
321.88/322.00	c nbDecision=216000 #constraints=5197
322.57/322.75	c nbDecision=216500 #constraints=5197
323.37/323.51	c nbDecision=217000 #constraints=5197
324.07/324.26	c nbDecision=217500 #constraints=5197
324.87/325.02	c nbDecision=218000 #constraints=5197
325.57/325.77	c nbDecision=218500 #constraints=5197
326.37/326.52	c nbDecision=219000 #constraints=5197
327.07/327.25	c nbDecision=219500 #constraints=5197
327.77/327.99	c nbDecision=220000 #constraints=5197
328.57/328.73	c nbDecision=220500 #constraints=5197
329.27/329.48	c nbDecision=221000 #constraints=5197
330.07/330.22	c nbDecision=221500 #constraints=5197
330.77/330.96	c nbDecision=222000 #constraints=5197
331.47/331.69	c nbDecision=222500 #constraints=5197
332.27/332.43	c nbDecision=223000 #constraints=5197
332.97/333.16	c nbDecision=223500 #constraints=5197
333.67/333.90	c nbDecision=224000 #constraints=5197
334.47/334.63	c nbDecision=224500 #constraints=5197
335.17/335.36	c nbDecision=225000 #constraints=5197
335.87/336.09	c nbDecision=225500 #constraints=5197
336.67/336.82	c nbDecision=226000 #constraints=5197
337.37/337.55	c nbDecision=226500 #constraints=5197
338.07/338.27	c nbDecision=227000 #constraints=5197
338.87/339.00	c nbDecision=227500 #constraints=5197
339.57/339.72	c nbDecision=228000 #constraints=5197
340.27/340.43	c nbDecision=228500 #constraints=5197
340.97/341.15	c nbDecision=229000 #constraints=5197
341.67/341.87	c nbDecision=229500 #constraints=5197
342.37/342.59	c nbDecision=230000 #constraints=5197
343.17/343.30	c nbDecision=230500 #constraints=5197
343.87/344.02	c nbDecision=231000 #constraints=5197
344.56/344.73	c nbDecision=231500 #constraints=5197
345.27/345.45	c nbDecision=232000 #constraints=5197
346.06/346.20	c nbDecision=232500 #constraints=5198
346.76/346.94	c nbDecision=233000 #constraints=5198
347.47/347.68	c nbDecision=233500 #constraints=5198
348.26/348.42	c nbDecision=234000 #constraints=5198
348.96/349.16	c nbDecision=234500 #constraints=5198
349.76/349.90	c nbDecision=235000 #constraints=5198
350.46/350.63	c nbDecision=235500 #constraints=5198
351.16/351.37	c nbDecision=236000 #constraints=5198
351.86/352.10	c nbDecision=236500 #constraints=5198
352.66/352.82	c nbDecision=237000 #constraints=5198
353.36/353.55	c nbDecision=237500 #constraints=5198
354.06/354.28	c nbDecision=238000 #constraints=5198
354.86/355.00	c nbDecision=238500 #constraints=5198
355.56/355.73	c nbDecision=239000 #constraints=5198
356.26/356.44	c nbDecision=239500 #constraints=5198
356.96/357.16	c nbDecision=240000 #constraints=5198
357.66/357.88	c nbDecision=240500 #constraints=5198
358.36/358.59	c nbDecision=241000 #constraints=5198
359.16/359.30	c nbDecision=241500 #constraints=5198
359.86/360.01	c nbDecision=242000 #constraints=5198
360.56/360.73	c nbDecision=242500 #constraints=5198
361.26/361.46	c nbDecision=243000 #constraints=5199
361.95/362.20	c nbDecision=243500 #constraints=5199
362.76/362.93	c nbDecision=244000 #constraints=5199
363.45/363.66	c nbDecision=244500 #constraints=5199
364.15/364.39	c nbDecision=245000 #constraints=5199
364.96/365.11	c nbDecision=245500 #constraints=5199
365.65/365.83	c nbDecision=246000 #constraints=5199
366.35/366.55	c nbDecision=246500 #constraints=5199
367.05/367.28	c nbDecision=247000 #constraints=5199
367.85/368.00	c nbDecision=247500 #constraints=5199
368.55/368.72	c nbDecision=248000 #constraints=5199
369.25/369.43	c nbDecision=248500 #constraints=5199
369.95/370.15	c nbDecision=249000 #constraints=5199
370.65/370.87	c nbDecision=249500 #constraints=5200
371.45/371.61	c nbDecision=250000 #constraints=5201
372.15/372.35	c nbDecision=250500 #constraints=5201
372.85/373.08	c nbDecision=251000 #constraints=5201
373.65/373.81	c nbDecision=251500 #constraints=5201
374.35/374.55	c nbDecision=252000 #constraints=5201
375.05/375.28	c nbDecision=252500 #constraints=5201
375.85/376.02	c nbDecision=253000 #constraints=5201
376.55/376.74	c nbDecision=253500 #constraints=5201
377.25/377.47	c nbDecision=254000 #constraints=5201
378.05/378.20	c nbDecision=254500 #constraints=5201
378.75/378.93	c nbDecision=255000 #constraints=5201
379.45/379.65	c nbDecision=255500 #constraints=5201
380.15/380.37	c nbDecision=256000 #constraints=5201
380.85/381.09	c nbDecision=256500 #constraints=5201
381.65/381.81	c nbDecision=257000 #constraints=5201
382.35/382.53	c nbDecision=257500 #constraints=5201
383.05/383.26	c nbDecision=258000 #constraints=5201
383.75/383.97	c nbDecision=258500 #constraints=5201
384.45/384.69	c nbDecision=259000 #constraints=5201
385.25/385.41	c nbDecision=259500 #constraints=5201
385.95/386.13	c nbDecision=260000 #constraints=5201
386.64/386.84	c nbDecision=260500 #constraints=5201
387.34/387.56	c nbDecision=261000 #constraints=5201
388.05/388.30	c nbDecision=261500 #constraints=5202
388.84/389.02	c nbDecision=262000 #constraints=5202
389.54/389.74	c nbDecision=262500 #constraints=5202
390.25/390.46	c nbDecision=263000 #constraints=5202
390.94/391.18	c nbDecision=263500 #constraints=5202
391.74/391.91	c nbDecision=264000 #constraints=5203
392.44/392.63	c nbDecision=264500 #constraints=5203
393.14/393.35	c nbDecision=265000 #constraints=5203
393.84/394.08	c nbDecision=265500 #constraints=5204
394.54/394.80	c nbDecision=266000 #constraints=5204
395.34/395.52	c nbDecision=266500 #constraints=5204
396.04/396.24	c nbDecision=267000 #constraints=5204
396.74/396.95	c nbDecision=267500 #constraints=5204
397.44/397.69	c nbDecision=268000 #constraints=5205
398.24/398.42	c nbDecision=268500 #constraints=5205
398.93/399.15	c nbDecision=269000 #constraints=5205
399.63/399.88	c nbDecision=269500 #constraints=5205
400.43/400.61	c nbDecision=270000 #constraints=5205
401.13/401.34	c nbDecision=270500 #constraints=5205
401.83/402.07	c nbDecision=271000 #constraints=5205
402.63/402.80	c nbDecision=271500 #constraints=5205
403.33/403.54	c nbDecision=272000 #constraints=5205
404.03/404.27	c nbDecision=272500 #constraints=5205
404.83/405.00	c nbDecision=273000 #constraints=5205
405.53/405.73	c nbDecision=273500 #constraints=5205
406.23/406.46	c nbDecision=274000 #constraints=5205
406.93/407.18	c nbDecision=274500 #constraints=5205
407.73/407.90	c nbDecision=275000 #constraints=5205
408.43/408.62	c nbDecision=275500 #constraints=5205
409.13/409.34	c nbDecision=276000 #constraints=5205
409.83/410.05	c nbDecision=276500 #constraints=5205
410.53/410.80	c nbDecision=277000 #constraints=5206
411.33/411.52	c nbDecision=277500 #constraints=5206
412.03/412.26	c nbDecision=278000 #constraints=5206
412.73/412.99	c nbDecision=278500 #constraints=5206
413.53/413.72	c nbDecision=279000 #constraints=5206
414.23/414.44	c nbDecision=279500 #constraints=5206
414.93/415.17	c nbDecision=280000 #constraints=5206
415.73/415.90	c nbDecision=280500 #constraints=5206
416.43/416.62	c nbDecision=281000 #constraints=5206
417.13/417.34	c nbDecision=281500 #constraints=5206
417.83/418.06	c nbDecision=282000 #constraints=5206
418.53/418.79	c nbDecision=282500 #constraints=5206
419.33/419.51	c nbDecision=283000 #constraints=5206
420.03/420.23	c nbDecision=283500 #constraints=5206
420.73/420.95	c nbDecision=284000 #constraints=5206
421.43/421.66	c nbDecision=284500 #constraints=5206
422.13/422.38	c nbDecision=285000 #constraints=5206
422.93/423.11	c nbDecision=285500 #constraints=5207
423.63/423.83	c nbDecision=286000 #constraints=5207
424.33/424.55	c nbDecision=286500 #constraints=5207
425.03/425.26	c nbDecision=287000 #constraints=5207
425.83/426.01	c nbDecision=287500 #constraints=5208
426.53/426.74	c nbDecision=288000 #constraints=5208
427.23/427.48	c nbDecision=288500 #constraints=5208
428.02/428.22	c nbDecision=289000 #constraints=5208
428.74/428.95	c nbDecision=289500 #constraints=5208
429.43/429.68	c nbDecision=290000 #constraints=5208
430.23/430.41	c nbDecision=290500 #constraints=5208
430.94/431.14	c nbDecision=291000 #constraints=5208
431.63/431.86	c nbDecision=291500 #constraints=5208
432.33/432.59	c nbDecision=292000 #constraints=5208
433.14/433.31	c nbDecision=292500 #constraints=5208
433.83/434.03	c nbDecision=293000 #constraints=5208
434.53/434.75	c nbDecision=293500 #constraints=5208
435.23/435.47	c nbDecision=294000 #constraints=5208
435.93/436.17	c nbDecision=294500 #constraints=5208
436.63/436.88	c nbDecision=295000 #constraints=5208
437.43/437.64	c nbDecision=295500 #constraints=5209
438.13/438.37	c nbDecision=296000 #constraints=5209
438.93/439.11	c nbDecision=296500 #constraints=5209
439.63/439.84	c nbDecision=297000 #constraints=5209
440.33/440.57	c nbDecision=297500 #constraints=5209
441.13/441.31	c nbDecision=298000 #constraints=5209
441.83/442.05	c nbDecision=298500 #constraints=5209
442.53/442.78	c nbDecision=299000 #constraints=5209
443.33/443.52	c nbDecision=299500 #constraints=5209
444.03/444.26	c nbDecision=300000 #constraints=5209
444.73/444.99	c nbDecision=300500 #constraints=5209
445.52/445.72	c nbDecision=301000 #constraints=5209
446.22/446.46	c nbDecision=301500 #constraints=5209
446.92/447.19	c nbDecision=302000 #constraints=5209
447.72/447.92	c nbDecision=302500 #constraints=5209
448.42/448.65	c nbDecision=303000 #constraints=5209
449.12/449.38	c nbDecision=303500 #constraints=5209
449.92/450.11	c nbDecision=304000 #constraints=5209
450.62/450.83	c nbDecision=304500 #constraints=5209
451.32/451.55	c nbDecision=305000 #constraints=5209
452.02/452.26	c nbDecision=305500 #constraints=5209
452.72/452.98	c nbDecision=306000 #constraints=5209
453.52/453.71	c nbDecision=306500 #constraints=5210
454.22/454.44	c nbDecision=307000 #constraints=5210
454.92/455.17	c nbDecision=307500 #constraints=5210
455.62/455.89	c nbDecision=308000 #constraints=5210
456.42/456.61	c nbDecision=308500 #constraints=5210
457.12/457.34	c nbDecision=309000 #constraints=5210
457.81/458.07	c nbDecision=309500 #constraints=5210
458.52/458.79	c nbDecision=310000 #constraints=5210
459.31/459.51	c nbDecision=310500 #constraints=5210
460.01/460.24	c nbDecision=311000 #constraints=5210
460.72/460.97	c nbDecision=311500 #constraints=5210
461.41/461.69	c nbDecision=312000 #constraints=5210
462.21/462.42	c nbDecision=312500 #constraints=5210
462.92/463.14	c nbDecision=313000 #constraints=5210
463.61/463.87	c nbDecision=313500 #constraints=5210
464.41/464.61	c nbDecision=314000 #constraints=5211
465.11/465.35	c nbDecision=314500 #constraints=5211
465.81/466.09	c nbDecision=315000 #constraints=5211
466.61/466.83	c nbDecision=315500 #constraints=5211
467.31/467.56	c nbDecision=316000 #constraints=5211
468.01/468.30	c nbDecision=316500 #constraints=5211
468.81/469.03	c nbDecision=317000 #constraints=5211
469.51/469.76	c nbDecision=317500 #constraints=5211
470.21/470.49	c nbDecision=318000 #constraints=5211
471.01/471.21	c nbDecision=318500 #constraints=5211
471.71/471.94	c nbDecision=319000 #constraints=5211
472.41/472.66	c nbDecision=319500 #constraints=5211
473.11/473.37	c nbDecision=320000 #constraints=5211
473.81/474.09	c nbDecision=320500 #constraints=5211
474.61/474.80	c nbDecision=321000 #constraints=5211
475.30/475.52	c nbDecision=321500 #constraints=5211
476.01/476.27	c nbDecision=322000 #constraints=5212
476.80/477.00	c nbDecision=322500 #constraints=5212
477.51/477.73	c nbDecision=323000 #constraints=5212
478.21/478.46	c nbDecision=323500 #constraints=5212
478.90/479.18	c nbDecision=324000 #constraints=5212
479.70/479.90	c nbDecision=324500 #constraints=5212
480.41/480.63	c nbDecision=325000 #constraints=5212
481.10/481.37	c nbDecision=325500 #constraints=5212
481.90/482.10	c nbDecision=326000 #constraints=5212
482.61/482.83	c nbDecision=326500 #constraints=5212
483.30/483.56	c nbDecision=327000 #constraints=5212
484.00/484.29	c nbDecision=327500 #constraints=5212
484.81/485.02	c nbDecision=328000 #constraints=5212
485.50/485.74	c nbDecision=328500 #constraints=5212
486.20/486.46	c nbDecision=329000 #constraints=5212
486.90/487.18	c nbDecision=329500 #constraints=5212
487.70/487.93	c nbDecision=330000 #constraints=5213
488.40/488.67	c nbDecision=330500 #constraints=5213
489.20/489.41	c nbDecision=331000 #constraints=5213
489.90/490.14	c nbDecision=331500 #constraints=5213
490.60/490.87	c nbDecision=332000 #constraints=5213
491.30/491.60	c nbDecision=332500 #constraints=5213
492.10/492.33	c nbDecision=333000 #constraints=5213
492.80/493.05	c nbDecision=333500 #constraints=5213
493.50/493.78	c nbDecision=334000 #constraints=5213
494.30/494.50	c nbDecision=334500 #constraints=5213
495.00/495.22	c nbDecision=335000 #constraints=5213
495.70/495.94	c nbDecision=335500 #constraints=5213
496.40/496.67	c nbDecision=336000 #constraints=5213
497.10/497.38	c nbDecision=336500 #constraints=5213
497.80/498.09	c nbDecision=337000 #constraints=5213
498.59/498.83	c nbDecision=337500 #constraints=5214
499.29/499.55	c nbDecision=338000 #constraints=5214
499.99/500.26	c nbDecision=338500 #constraints=5214
500.79/501.01	c nbDecision=339000 #constraints=5215
501.49/501.75	c nbDecision=339500 #constraints=5215
502.29/502.50	c nbDecision=340000 #constraints=5215
502.99/503.24	c nbDecision=340500 #constraints=5215
503.69/503.98	c nbDecision=341000 #constraints=5215
504.49/504.72	c nbDecision=341500 #constraints=5215
505.19/505.46	c nbDecision=342000 #constraints=5215
505.99/506.20	c nbDecision=342500 #constraints=5215
506.69/506.94	c nbDecision=343000 #constraints=5215
507.39/507.67	c nbDecision=343500 #constraints=5215
508.19/508.41	c nbDecision=344000 #constraints=5215
508.89/509.14	c nbDecision=344500 #constraints=5215
509.59/509.87	c nbDecision=345000 #constraints=5215
510.39/510.61	c nbDecision=345500 #constraints=5215
511.09/511.33	c nbDecision=346000 #constraints=5215
511.79/512.05	c nbDecision=346500 #constraints=5215
512.49/512.78	c nbDecision=347000 #constraints=5215
513.29/513.50	c nbDecision=347500 #constraints=5215
513.99/514.22	c nbDecision=348000 #constraints=5215
514.69/514.95	c nbDecision=348500 #constraints=5215
515.39/515.66	c nbDecision=349000 #constraints=5215
516.09/516.38	c nbDecision=349500 #constraints=5215
516.89/517.14	c nbDecision=350000 #constraints=5216
517.69/517.90	c nbDecision=350500 #constraints=5216
518.39/518.66	c nbDecision=351000 #constraints=5216
519.18/519.43	c nbDecision=351500 #constraints=5216
519.88/520.17	c nbDecision=352000 #constraints=5216
520.68/520.93	c nbDecision=352500 #constraints=5216
521.38/521.70	c nbDecision=353000 #constraints=5216
522.19/522.45	c nbDecision=353500 #constraints=5216
522.98/523.21	c nbDecision=354000 #constraints=5216
523.68/523.97	c nbDecision=354500 #constraints=5216
524.49/524.73	c nbDecision=355000 #constraints=5216
525.18/525.47	c nbDecision=355500 #constraints=5216
525.98/526.23	c nbDecision=356000 #constraints=5216
526.68/526.98	c nbDecision=356500 #constraints=5216
527.48/527.74	c nbDecision=357000 #constraints=5216
528.18/528.48	c nbDecision=357500 #constraints=5216
528.98/529.23	c nbDecision=358000 #constraints=5216
529.68/529.98	c nbDecision=358500 #constraints=5216
530.48/530.73	c nbDecision=359000 #constraints=5216
531.18/531.47	c nbDecision=359500 #constraints=5216
531.98/532.20	c nbDecision=360000 #constraints=5216
532.68/532.94	c nbDecision=360500 #constraints=5216
533.38/533.68	c nbDecision=361000 #constraints=5216
534.17/534.41	c nbDecision=361500 #constraints=5216
534.88/535.15	c nbDecision=362000 #constraints=5216
535.58/535.88	c nbDecision=362500 #constraints=5216
536.38/536.62	c nbDecision=363000 #constraints=5216
537.08/537.36	c nbDecision=363500 #constraints=5216
537.78/538.09	c nbDecision=364000 #constraints=5216
538.58/538.82	c nbDecision=364500 #constraints=5216
539.28/539.55	c nbDecision=365000 #constraints=5216
539.98/540.28	c nbDecision=365500 #constraints=5216
540.78/541.01	c nbDecision=366000 #constraints=5216
541.48/541.75	c nbDecision=366500 #constraints=5216
542.18/542.48	c nbDecision=367000 #constraints=5216
542.98/543.21	c nbDecision=367500 #constraints=5216
543.68/543.94	c nbDecision=368000 #constraints=5216
544.38/544.67	c nbDecision=368500 #constraints=5216
545.18/545.40	c nbDecision=369000 #constraints=5216
545.88/546.13	c nbDecision=369500 #constraints=5216
546.58/546.86	c nbDecision=370000 #constraints=5216
547.28/547.58	c nbDecision=370500 #constraints=5216
548.08/548.30	c nbDecision=371000 #constraints=5216
548.78/549.06	c nbDecision=371500 #constraints=5217
549.58/549.83	c nbDecision=372000 #constraints=5217
550.28/550.58	c nbDecision=372500 #constraints=5217
551.08/551.34	c nbDecision=373000 #constraints=5217
551.88/552.10	c nbDecision=373500 #constraints=5217
552.58/552.86	c nbDecision=374000 #constraints=5217
553.38/553.62	c nbDecision=374500 #constraints=5217
554.08/554.38	c nbDecision=375000 #constraints=5217
554.88/555.12	c nbDecision=375500 #constraints=5217
555.58/555.87	c nbDecision=376000 #constraints=5217
556.38/556.63	c nbDecision=376500 #constraints=5217
557.08/557.38	c nbDecision=377000 #constraints=5217
557.88/558.13	c nbDecision=377500 #constraints=5217
558.58/558.87	c nbDecision=378000 #constraints=5217
559.37/559.61	c nbDecision=378500 #constraints=5217
560.07/560.36	c nbDecision=379000 #constraints=5217
560.87/561.11	c nbDecision=379500 #constraints=5217
561.57/561.86	c nbDecision=380000 #constraints=5217
562.37/562.61	c nbDecision=380500 #constraints=5217
563.07/563.36	c nbDecision=381000 #constraints=5217
563.87/564.10	c nbDecision=381500 #constraints=5217
564.57/564.85	c nbDecision=382000 #constraints=5217
565.27/565.59	c nbDecision=382500 #constraints=5217
566.07/566.34	c nbDecision=383000 #constraints=5217
566.77/567.08	c nbDecision=383500 #constraints=5217
567.57/567.83	c nbDecision=384000 #constraints=5217
568.27/568.57	c nbDecision=384500 #constraints=5217
569.07/569.30	c nbDecision=385000 #constraints=5217
569.77/570.05	c nbDecision=385500 #constraints=5217
570.47/570.78	c nbDecision=386000 #constraints=5217
571.27/571.51	c nbDecision=386500 #constraints=5217
571.97/572.24	c nbDecision=387000 #constraints=5217
572.67/572.97	c nbDecision=387500 #constraints=5217
573.46/573.70	c nbDecision=388000 #constraints=5217
574.17/574.42	c nbDecision=388500 #constraints=5217
574.86/575.15	c nbDecision=389000 #constraints=5217
575.56/575.87	c nbDecision=389500 #constraints=5217
576.36/576.60	c nbDecision=390000 #constraints=5217
577.06/577.32	c nbDecision=390500 #constraints=5217
577.76/578.05	c nbDecision=391000 #constraints=5217
578.46/578.77	c nbDecision=391500 #constraints=5217
579.16/579.49	c nbDecision=392000 #constraints=5217
579.96/580.21	c nbDecision=392500 #constraints=5217
580.66/580.93	c nbDecision=393000 #constraints=5217
581.36/581.66	c nbDecision=393500 #constraints=5217
582.16/582.44	c nbDecision=394000 #constraints=5218
582.96/583.20	c nbDecision=394500 #constraints=5218
583.66/583.97	c nbDecision=395000 #constraints=5218
584.46/584.74	c nbDecision=395500 #constraints=5218
585.26/585.51	c nbDecision=396000 #constraints=5218
585.96/586.27	c nbDecision=396500 #constraints=5218
586.76/587.03	c nbDecision=397000 #constraints=5218
587.46/587.79	c nbDecision=397500 #constraints=5218
588.26/588.56	c nbDecision=398000 #constraints=5218
589.06/589.32	c nbDecision=398500 #constraints=5218
589.76/590.07	c nbDecision=399000 #constraints=5218
590.56/590.83	c nbDecision=399500 #constraints=5218
591.26/591.58	c nbDecision=400000 #constraints=5218
592.06/592.33	c nbDecision=400500 #constraints=5218
592.76/593.07	c nbDecision=401000 #constraints=5218
593.55/593.82	c nbDecision=401500 #constraints=5218
594.25/594.56	c nbDecision=402000 #constraints=5218
595.05/595.30	c nbDecision=402500 #constraints=5218
595.75/596.04	c nbDecision=403000 #constraints=5218
596.45/596.78	c nbDecision=403500 #constraints=5218
597.25/597.51	c nbDecision=404000 #constraints=5218
597.95/598.25	c nbDecision=404500 #constraints=5218
598.65/598.99	c nbDecision=405000 #constraints=5218
599.45/599.73	c nbDecision=405500 #constraints=5218
600.15/600.46	c nbDecision=406000 #constraints=5218
600.85/601.19	c nbDecision=406500 #constraints=5218
601.65/601.93	c nbDecision=407000 #constraints=5218
602.35/602.67	c nbDecision=407500 #constraints=5218
603.15/603.41	c nbDecision=408000 #constraints=5218
603.85/604.15	c nbDecision=408500 #constraints=5218
604.55/604.89	c nbDecision=409000 #constraints=5218
605.35/605.62	c nbDecision=409500 #constraints=5218
605.45/605.77	c restart after 409601 decisions
606.15/606.42	c nbDecision=410000 #constraints=5218
606.95/607.21	c nbDecision=410500 #constraints=5218
607.65/607.99	c nbDecision=411000 #constraints=5218
608.45/608.77	c nbDecision=411500 #constraints=5218
609.25/609.55	c nbDecision=412000 #constraints=5218
610.05/610.33	c nbDecision=412500 #constraints=5218
610.85/611.10	c nbDecision=413000 #constraints=5218
611.55/611.87	c nbDecision=413500 #constraints=5218
612.35/612.64	c nbDecision=414000 #constraints=5218
613.15/613.40	c nbDecision=414500 #constraints=5218
613.85/614.17	c nbDecision=415000 #constraints=5218
614.65/614.93	c nbDecision=415500 #constraints=5218
615.35/615.69	c nbDecision=416000 #constraints=5218
616.15/616.45	c nbDecision=416500 #constraints=5218
616.94/617.21	c nbDecision=417000 #constraints=5218
617.64/617.97	c nbDecision=417500 #constraints=5218
618.44/618.72	c nbDecision=418000 #constraints=5218
619.14/619.48	c nbDecision=418500 #constraints=5218
619.94/620.23	c nbDecision=419000 #constraints=5218
620.64/620.99	c nbDecision=419500 #constraints=5218
621.44/621.74	c nbDecision=420000 #constraints=5218
622.25/622.50	c nbDecision=420500 #constraints=5218
622.94/623.25	c nbDecision=421000 #constraints=5218
623.74/624.01	c nbDecision=421500 #constraints=5218
624.45/624.76	c nbDecision=422000 #constraints=5218
625.24/625.51	c nbDecision=422500 #constraints=5218
625.94/626.26	c nbDecision=423000 #constraints=5218
626.75/627.01	c nbDecision=423500 #constraints=5218
627.44/627.75	c nbDecision=424000 #constraints=5218
628.14/628.49	c nbDecision=424500 #constraints=5218
628.94/629.24	c nbDecision=425000 #constraints=5218
629.64/629.99	c nbDecision=425500 #constraints=5218
630.44/630.73	c nbDecision=426000 #constraints=5218
631.14/631.47	c nbDecision=426500 #constraints=5218
631.94/632.20	c nbDecision=427000 #constraints=5218
632.64/632.94	c nbDecision=427500 #constraints=5218
633.34/633.67	c nbDecision=428000 #constraints=5218
634.14/634.41	c nbDecision=428500 #constraints=5218
634.84/635.13	c nbDecision=429000 #constraints=5218
635.54/635.86	c nbDecision=429500 #constraints=5218
636.24/636.59	c nbDecision=430000 #constraints=5218
637.04/637.32	c nbDecision=430500 #constraints=5218
637.74/638.05	c nbDecision=431000 #constraints=5218
638.43/638.78	c nbDecision=431500 #constraints=5218
639.23/639.51	c nbDecision=432000 #constraints=5218
639.94/640.23	c nbDecision=432500 #constraints=5218
640.63/640.96	c nbDecision=433000 #constraints=5218
641.33/641.69	c nbDecision=433500 #constraints=5218
642.14/642.42	c nbDecision=434000 #constraints=5218
642.83/643.15	c nbDecision=434500 #constraints=5218
643.53/643.88	c nbDecision=435000 #constraints=5218
644.34/644.60	c nbDecision=435500 #constraints=5218
645.03/645.33	c nbDecision=436000 #constraints=5218
645.73/646.06	c nbDecision=436500 #constraints=5218
646.43/646.78	c nbDecision=437000 #constraints=5218
647.23/647.58	c nbDecision=437500 #constraints=5219
648.03/648.34	c nbDecision=438000 #constraints=5219
648.83/649.11	c nbDecision=438500 #constraints=5219
649.53/649.87	c nbDecision=439000 #constraints=5219
650.33/650.64	c nbDecision=439500 #constraints=5219
651.03/651.40	c nbDecision=440000 #constraints=5219
651.82/652.15	c nbDecision=440500 #constraints=5219
652.62/652.91	c nbDecision=441000 #constraints=5219
653.32/653.66	c nbDecision=441500 #constraints=5219
654.13/654.42	c nbDecision=442000 #constraints=5219
654.82/655.15	c nbDecision=442500 #constraints=5219
655.62/655.90	c nbDecision=443000 #constraints=5219
656.33/656.65	c nbDecision=443500 #constraints=5219
657.02/657.39	c nbDecision=444000 #constraints=5219
657.82/658.13	c nbDecision=444500 #constraints=5219
658.52/658.87	c nbDecision=445000 #constraints=5219
659.32/659.62	c nbDecision=445500 #constraints=5219
660.02/660.36	c nbDecision=446000 #constraints=5219
660.82/661.10	c nbDecision=446500 #constraints=5219
661.52/661.85	c nbDecision=447000 #constraints=5219
662.22/662.59	c nbDecision=447500 #constraints=5219
663.02/663.34	c nbDecision=448000 #constraints=5219
663.72/664.08	c nbDecision=448500 #constraints=5219
664.52/664.82	c nbDecision=449000 #constraints=5219
665.22/665.54	c nbDecision=449500 #constraints=5219
665.92/666.29	c nbDecision=450000 #constraints=5219
666.72/667.03	c nbDecision=450500 #constraints=5219
667.42/667.77	c nbDecision=451000 #constraints=5219
668.22/668.50	c nbDecision=451500 #constraints=5219
668.92/669.24	c nbDecision=452000 #constraints=5219
669.62/669.98	c nbDecision=452500 #constraints=5219
670.42/670.71	c nbDecision=453000 #constraints=5219
671.12/671.44	c nbDecision=453500 #constraints=5219
671.82/672.16	c nbDecision=454000 #constraints=5219
672.52/672.89	c nbDecision=454500 #constraints=5219
673.32/673.60	c nbDecision=455000 #constraints=5219
674.02/674.33	c nbDecision=455500 #constraints=5219
674.72/675.05	c nbDecision=456000 #constraints=5219
675.42/675.77	c nbDecision=456500 #constraints=5219
676.12/676.49	c nbDecision=457000 #constraints=5219
676.92/677.21	c nbDecision=457500 #constraints=5219
677.61/677.93	c nbDecision=458000 #constraints=5219
678.32/678.64	c nbDecision=458500 #constraints=5219
679.01/679.36	c nbDecision=459000 #constraints=5219
679.81/680.12	c nbDecision=459500 #constraints=5220
680.52/680.88	c nbDecision=460000 #constraints=5220
681.31/681.64	c nbDecision=460500 #constraints=5220
682.11/682.41	c nbDecision=461000 #constraints=5220
682.82/683.17	c nbDecision=461500 #constraints=5220
683.61/683.94	c nbDecision=462000 #constraints=5220
684.41/684.70	c nbDecision=462500 #constraints=5220
685.11/685.45	c nbDecision=463000 #constraints=5220
685.91/686.21	c nbDecision=463500 #constraints=5220
686.62/686.97	c nbDecision=464000 #constraints=5220
687.42/687.72	c nbDecision=464500 #constraints=5220
688.12/688.46	c nbDecision=465000 #constraints=5220
688.92/689.21	c nbDecision=465500 #constraints=5220
689.62/689.97	c nbDecision=466000 #constraints=5220
690.42/690.72	c nbDecision=466500 #constraints=5220
691.12/691.45	c nbDecision=467000 #constraints=5220
691.92/692.20	c nbDecision=467500 #constraints=5220
692.62/692.94	c nbDecision=468000 #constraints=5220
693.32/693.68	c nbDecision=468500 #constraints=5220
694.12/694.42	c nbDecision=469000 #constraints=5220
694.82/695.16	c nbDecision=469500 #constraints=5220
695.62/695.90	c nbDecision=470000 #constraints=5220
696.32/696.63	c nbDecision=470500 #constraints=5220
697.02/697.37	c nbDecision=471000 #constraints=5220
697.81/698.10	c nbDecision=471500 #constraints=5220
698.51/698.84	c nbDecision=472000 #constraints=5220
699.22/699.57	c nbDecision=472500 #constraints=5220
700.01/700.30	c nbDecision=473000 #constraints=5220
700.71/701.04	c nbDecision=473500 #constraints=5220
701.42/701.78	c nbDecision=474000 #constraints=5220
702.21/702.52	c nbDecision=474500 #constraints=5220
702.91/703.25	c nbDecision=475000 #constraints=5220
703.62/703.99	c nbDecision=475500 #constraints=5220
704.41/704.72	c nbDecision=476000 #constraints=5220
705.11/705.44	c nbDecision=476500 #constraints=5220
705.81/706.17	c nbDecision=477000 #constraints=5220
706.61/706.91	c nbDecision=477500 #constraints=5220
707.31/707.62	c nbDecision=478000 #constraints=5220
708.01/708.35	c nbDecision=478500 #constraints=5220
708.71/709.08	c nbDecision=479000 #constraints=5220
709.51/709.81	c nbDecision=479500 #constraints=5220
710.21/710.53	c nbDecision=480000 #constraints=5220
710.91/711.26	c nbDecision=480500 #constraints=5220
711.61/711.98	c nbDecision=481000 #constraints=5220
712.31/712.70	c nbDecision=481500 #constraints=5220
713.11/713.48	c nbDecision=482000 #constraints=5221
713.91/714.24	c nbDecision=482500 #constraints=5221
714.61/715.00	c nbDecision=483000 #constraints=5221
715.41/715.76	c nbDecision=483500 #constraints=5221
716.21/716.51	c nbDecision=484000 #constraints=5221
716.91/717.27	c nbDecision=484500 #constraints=5221
717.71/718.02	c nbDecision=485000 #constraints=5221
718.41/718.77	c nbDecision=485500 #constraints=5221
719.20/719.52	c nbDecision=486000 #constraints=5221
719.90/720.26	c nbDecision=486500 #constraints=5221
720.70/721.02	c nbDecision=487000 #constraints=5221
721.41/721.77	c nbDecision=487500 #constraints=5221
722.20/722.52	c nbDecision=488000 #constraints=5221
722.90/723.27	c nbDecision=488500 #constraints=5221
723.70/724.02	c nbDecision=489000 #constraints=5221
724.40/724.77	c nbDecision=489500 #constraints=5221
725.20/725.52	c nbDecision=490000 #constraints=5221
725.90/726.27	c nbDecision=490500 #constraints=5221
726.71/727.01	c nbDecision=491000 #constraints=5221
727.40/727.76	c nbDecision=491500 #constraints=5221
728.20/728.50	c nbDecision=492000 #constraints=5221
728.91/729.24	c nbDecision=492500 #constraints=5221
729.60/729.98	c nbDecision=493000 #constraints=5221
730.40/730.72	c nbDecision=493500 #constraints=5221
731.10/731.45	c nbDecision=494000 #constraints=5221
731.80/732.18	c nbDecision=494500 #constraints=5221
732.60/732.92	c nbDecision=495000 #constraints=5221
733.30/733.64	c nbDecision=495500 #constraints=5221
734.00/734.37	c nbDecision=496000 #constraints=5221
734.80/735.10	c nbDecision=496500 #constraints=5221
735.50/735.82	c nbDecision=497000 #constraints=5221
736.20/736.54	c nbDecision=497500 #constraints=5221
736.90/737.26	c nbDecision=498000 #constraints=5221
737.60/737.98	c nbDecision=498500 #constraints=5221
738.40/738.70	c nbDecision=499000 #constraints=5221
739.10/739.43	c nbDecision=499500 #constraints=5221
739.80/740.15	c nbDecision=500000 #constraints=5221
740.50/740.88	c nbDecision=500500 #constraints=5221
741.30/741.60	c nbDecision=501000 #constraints=5221
742.00/742.33	c nbDecision=501500 #constraints=5221
742.70/743.05	c nbDecision=502000 #constraints=5221
743.40/743.77	c nbDecision=502500 #constraints=5221
744.20/744.50	c nbDecision=503000 #constraints=5221
744.90/745.29	c nbDecision=503500 #constraints=5222
745.70/746.06	c nbDecision=504000 #constraints=5222
746.50/746.83	c nbDecision=504500 #constraints=5222
747.20/747.58	c nbDecision=505000 #constraints=5222
748.00/748.34	c nbDecision=505500 #constraints=5222
748.80/749.11	c nbDecision=506000 #constraints=5222
749.50/749.86	c nbDecision=506500 #constraints=5222
750.29/750.62	c nbDecision=507000 #constraints=5222
751.00/751.37	c nbDecision=507500 #constraints=5222
751.80/752.12	c nbDecision=508000 #constraints=5222
752.49/752.87	c nbDecision=508500 #constraints=5222
753.29/753.61	c nbDecision=509000 #constraints=5222
753.99/754.36	c nbDecision=509500 #constraints=5222
754.79/755.11	c nbDecision=510000 #constraints=5222
755.49/755.86	c nbDecision=510500 #constraints=5222
756.19/756.60	c nbDecision=511000 #constraints=5222
756.99/757.33	c nbDecision=511500 #constraints=5222
757.69/758.07	c nbDecision=512000 #constraints=5222
758.49/758.81	c nbDecision=512500 #constraints=5222
759.19/759.55	c nbDecision=513000 #constraints=5222
759.89/760.29	c nbDecision=513500 #constraints=5222
760.69/761.03	c nbDecision=514000 #constraints=5222
761.39/761.77	c nbDecision=514500 #constraints=5222
762.19/762.52	c nbDecision=515000 #constraints=5222
762.89/763.26	c nbDecision=515500 #constraints=5222
763.59/763.99	c nbDecision=516000 #constraints=5222
764.39/764.73	c nbDecision=516500 #constraints=5222
765.09/765.47	c nbDecision=517000 #constraints=5222
765.89/766.21	c nbDecision=517500 #constraints=5222
766.59/766.95	c nbDecision=518000 #constraints=5222
767.29/767.68	c nbDecision=518500 #constraints=5222
768.09/768.41	c nbDecision=519000 #constraints=5222
768.79/769.14	c nbDecision=519500 #constraints=5222
769.49/769.88	c nbDecision=520000 #constraints=5222
770.29/770.61	c nbDecision=520500 #constraints=5222
770.98/771.33	c nbDecision=521000 #constraints=5222
771.68/772.06	c nbDecision=521500 #constraints=5222
772.38/772.78	c nbDecision=522000 #constraints=5222
773.08/773.49	c nbDecision=522500 #constraints=5222
773.88/774.21	c nbDecision=523000 #constraints=5222
774.58/774.94	c nbDecision=523500 #constraints=5222
775.28/775.64	c nbDecision=524000 #constraints=5222
775.98/776.36	c nbDecision=524500 #constraints=5222
776.68/777.07	c nbDecision=525000 #constraints=5222
777.48/777.84	c nbDecision=525500 #constraints=5223
778.18/778.59	c nbDecision=526000 #constraints=5223
778.98/779.33	c nbDecision=526500 #constraints=5223
779.68/780.08	c nbDecision=527000 #constraints=5223
780.48/780.83	c nbDecision=527500 #constraints=5223
781.18/781.58	c nbDecision=528000 #constraints=5223
781.98/782.33	c nbDecision=528500 #constraints=5223
782.68/783.08	c nbDecision=529000 #constraints=5223
783.48/783.83	c nbDecision=529500 #constraints=5223
784.18/784.57	c nbDecision=530000 #constraints=5223
784.98/785.32	c nbDecision=530500 #constraints=5223
785.68/786.06	c nbDecision=531000 #constraints=5223
786.48/786.81	c nbDecision=531500 #constraints=5223
787.18/787.54	c nbDecision=532000 #constraints=5223
787.88/788.28	c nbDecision=532500 #constraints=5223
788.68/789.02	c nbDecision=533000 #constraints=5223
789.38/789.76	c nbDecision=533500 #constraints=5223
790.18/790.50	c nbDecision=534000 #constraints=5223
790.88/791.23	c nbDecision=534500 #constraints=5223
791.58/791.96	c nbDecision=535000 #constraints=5223
792.28/792.69	c nbDecision=535500 #constraints=5223
793.08/793.42	c nbDecision=536000 #constraints=5223
793.78/794.15	c nbDecision=536500 #constraints=5223
794.48/794.87	c nbDecision=537000 #constraints=5223
795.27/795.60	c nbDecision=537500 #constraints=5223
795.98/796.33	c nbDecision=538000 #constraints=5223
796.67/797.05	c nbDecision=538500 #constraints=5223
797.37/797.78	c nbDecision=539000 #constraints=5223
798.18/798.50	c nbDecision=539500 #constraints=5223
798.87/799.22	c nbDecision=540000 #constraints=5223
799.57/799.94	c nbDecision=540500 #constraints=5223
800.27/800.65	c nbDecision=541000 #constraints=5223
800.97/801.38	c nbDecision=541500 #constraints=5223
801.77/802.11	c nbDecision=542000 #constraints=5223
802.47/802.83	c nbDecision=542500 #constraints=5223
803.27/803.60	c nbDecision=543000 #constraints=5224
803.97/804.37	c nbDecision=543500 #constraints=5224
804.77/805.13	c nbDecision=544000 #constraints=5224
805.47/805.89	c nbDecision=544500 #constraints=5224
806.27/806.66	c nbDecision=545000 #constraints=5224
807.07/807.42	c nbDecision=545500 #constraints=5224
807.77/808.18	c nbDecision=546000 #constraints=5224
808.57/808.94	c nbDecision=546500 #constraints=5224
809.27/809.69	c nbDecision=547000 #constraints=5224
810.07/810.45	c nbDecision=547500 #constraints=5224
810.87/811.20	c nbDecision=548000 #constraints=5224
811.57/811.95	c nbDecision=548500 #constraints=5224
812.37/812.70	c nbDecision=549000 #constraints=5224
813.08/813.44	c nbDecision=549500 #constraints=5224
813.78/814.19	c nbDecision=550000 #constraints=5224
814.58/814.93	c nbDecision=550500 #constraints=5224
815.28/815.67	c nbDecision=551000 #constraints=5224
816.08/816.41	c nbDecision=551500 #constraints=5224
816.78/817.15	c nbDecision=552000 #constraints=5224
817.48/817.88	c nbDecision=552500 #constraints=5224
818.27/818.61	c nbDecision=553000 #constraints=5224
818.97/819.35	c nbDecision=553500 #constraints=5224
819.67/820.09	c nbDecision=554000 #constraints=5224
820.47/820.82	c nbDecision=554500 #constraints=5224
821.17/821.56	c nbDecision=555000 #constraints=5224
821.97/822.30	c nbDecision=555500 #constraints=5224
822.67/823.04	c nbDecision=556000 #constraints=5224
823.37/823.78	c nbDecision=556500 #constraints=5224
824.17/824.51	c nbDecision=557000 #constraints=5224
824.87/825.25	c nbDecision=557500 #constraints=5224
825.57/825.99	c nbDecision=558000 #constraints=5224
826.37/826.72	c nbDecision=558500 #constraints=5224
827.07/827.46	c nbDecision=559000 #constraints=5224
827.77/828.19	c nbDecision=559500 #constraints=5224
828.57/828.92	c nbDecision=560000 #constraints=5224
829.27/829.65	c nbDecision=560500 #constraints=5224
829.97/830.38	c nbDecision=561000 #constraints=5224
830.77/831.10	c nbDecision=561500 #constraints=5224
831.47/831.83	c nbDecision=562000 #constraints=5224
832.17/832.55	c nbDecision=562500 #constraints=5224
832.87/833.27	c nbDecision=563000 #constraints=5224
833.57/833.98	c nbDecision=563500 #constraints=5224
834.37/834.70	c nbDecision=564000 #constraints=5224
835.07/835.46	c nbDecision=564500 #constraints=5225
835.87/836.22	c nbDecision=565000 #constraints=5225
836.56/836.99	c nbDecision=565500 #constraints=5225
837.36/837.74	c nbDecision=566000 #constraints=5225
838.07/838.50	c nbDecision=566500 #constraints=5225
838.87/839.26	c nbDecision=567000 #constraints=5225
839.66/840.01	c nbDecision=567500 #constraints=5225
840.36/840.76	c nbDecision=568000 #constraints=5225
841.17/841.52	c nbDecision=568500 #constraints=5225
841.86/842.28	c nbDecision=569000 #constraints=5225
842.66/843.04	c nbDecision=569500 #constraints=5225
843.37/843.80	c nbDecision=570000 #constraints=5225
844.16/844.55	c nbDecision=570500 #constraints=5225
844.96/845.31	c nbDecision=571000 #constraints=5225
845.66/846.06	c nbDecision=571500 #constraints=5225
846.46/846.81	c nbDecision=572000 #constraints=5225
847.16/847.56	c nbDecision=572500 #constraints=5225
847.96/848.30	c nbDecision=573000 #constraints=5225
848.66/849.05	c nbDecision=573500 #constraints=5225
849.36/849.79	c nbDecision=574000 #constraints=5225
850.16/850.54	c nbDecision=574500 #constraints=5225
850.86/851.28	c nbDecision=575000 #constraints=5225
851.66/852.02	c nbDecision=575500 #constraints=5225
852.36/852.75	c nbDecision=576000 #constraints=5225
853.06/853.48	c nbDecision=576500 #constraints=5225
853.86/854.22	c nbDecision=577000 #constraints=5225
854.56/854.95	c nbDecision=577500 #constraints=5225
855.26/855.67	c nbDecision=578000 #constraints=5225
856.06/856.40	c nbDecision=578500 #constraints=5225
856.76/857.13	c nbDecision=579000 #constraints=5225
857.46/857.85	c nbDecision=579500 #constraints=5225
858.16/858.57	c nbDecision=580000 #constraints=5225
858.96/859.30	c nbDecision=580500 #constraints=5225
859.66/860.03	c nbDecision=581000 #constraints=5225
860.35/860.75	c nbDecision=581500 #constraints=5225
861.05/861.48	c nbDecision=582000 #constraints=5225
861.85/862.22	c nbDecision=582500 #constraints=5225
862.55/862.95	c nbDecision=583000 #constraints=5225
863.25/863.67	c nbDecision=583500 #constraints=5225
864.05/864.40	c nbDecision=584000 #constraints=5225
864.75/865.13	c nbDecision=584500 #constraints=5225
865.45/865.86	c nbDecision=585000 #constraints=5225
866.15/866.58	c nbDecision=585500 #constraints=5225
866.95/867.30	c nbDecision=586000 #constraints=5225
867.65/868.06	c nbDecision=586500 #constraints=5226
868.45/868.83	c nbDecision=587000 #constraints=5226
869.15/869.59	c nbDecision=587500 #constraints=5226
869.95/870.35	c nbDecision=588000 #constraints=5226
870.76/871.12	c nbDecision=588500 #constraints=5226
871.45/871.87	c nbDecision=589000 #constraints=5226
872.25/872.62	c nbDecision=589500 #constraints=5226
872.95/873.37	c nbDecision=590000 #constraints=5226
873.75/874.12	c nbDecision=590500 #constraints=5226
874.45/874.87	c nbDecision=591000 #constraints=5226
875.25/875.62	c nbDecision=591500 #constraints=5226
875.95/876.37	c nbDecision=592000 #constraints=5226
876.75/877.11	c nbDecision=592500 #constraints=5226
877.45/877.85	c nbDecision=593000 #constraints=5226
878.15/878.59	c nbDecision=593500 #constraints=5226
878.95/879.33	c nbDecision=594000 #constraints=5226
879.65/880.07	c nbDecision=594500 #constraints=5226
880.45/880.81	c nbDecision=595000 #constraints=5226
881.15/881.55	c nbDecision=595500 #constraints=5226
881.85/882.29	c nbDecision=596000 #constraints=5226
882.64/883.04	c nbDecision=596500 #constraints=5226
883.34/883.77	c nbDecision=597000 #constraints=5226
884.14/884.52	c nbDecision=597500 #constraints=5226
884.84/885.26	c nbDecision=598000 #constraints=5226
885.64/886.00	c nbDecision=598500 #constraints=5226
886.34/886.74	c nbDecision=599000 #constraints=5226
887.04/887.48	c nbDecision=599500 #constraints=5226
887.84/888.22	c nbDecision=600000 #constraints=5226
888.54/888.96	c nbDecision=600500 #constraints=5226
889.24/889.69	c nbDecision=601000 #constraints=5226
890.04/890.42	c nbDecision=601500 #constraints=5226
890.74/891.15	c nbDecision=602000 #constraints=5226
891.45/891.88	c nbDecision=602500 #constraints=5226
892.25/892.61	c nbDecision=603000 #constraints=5226
892.95/893.33	c nbDecision=603500 #constraints=5226
893.65/894.06	c nbDecision=604000 #constraints=5226
894.35/894.78	c nbDecision=604500 #constraints=5226
895.15/895.50	c nbDecision=605000 #constraints=5226
895.85/896.22	c nbDecision=605500 #constraints=5226
896.55/896.94	c nbDecision=606000 #constraints=5226
897.25/897.66	c nbDecision=606500 #constraints=5226
897.95/898.37	c nbDecision=607000 #constraints=5226
898.65/899.09	c nbDecision=607500 #constraints=5226
899.45/899.84	c nbDecision=608000 #constraints=5227
900.25/900.60	c nbDecision=608500 #constraints=5227
900.95/901.37	c nbDecision=609000 #constraints=5227
901.74/902.13	c nbDecision=609500 #constraints=5227
902.44/902.89	c nbDecision=610000 #constraints=5227
903.24/903.65	c nbDecision=610500 #constraints=5227
904.04/904.42	c nbDecision=611000 #constraints=5227
904.74/905.18	c nbDecision=611500 #constraints=5227
905.54/905.92	c nbDecision=612000 #constraints=5227
906.24/906.67	c nbDecision=612500 #constraints=5227
907.05/907.42	c nbDecision=613000 #constraints=5227
907.74/908.17	c nbDecision=613500 #constraints=5227
908.54/908.93	c nbDecision=614000 #constraints=5227
909.25/909.68	c nbDecision=614500 #constraints=5227
910.04/910.42	c nbDecision=615000 #constraints=5227
910.74/911.17	c nbDecision=615500 #constraints=5227
911.55/911.90	c nbDecision=616000 #constraints=5227
912.24/912.64	c nbDecision=616500 #constraints=5227
912.94/913.38	c nbDecision=617000 #constraints=5227
913.75/914.11	c nbDecision=617500 #constraints=5227
914.44/914.84	c nbDecision=618000 #constraints=5227
915.14/915.58	c nbDecision=618500 #constraints=5227
915.94/916.31	c nbDecision=619000 #constraints=5227
916.64/917.04	c nbDecision=619500 #constraints=5227
917.34/917.77	c nbDecision=620000 #constraints=5227
918.14/918.51	c nbDecision=620500 #constraints=5227
918.84/919.23	c nbDecision=621000 #constraints=5227
919.54/919.96	c nbDecision=621500 #constraints=5227
920.24/920.69	c nbDecision=622000 #constraints=5227
921.04/921.42	c nbDecision=622500 #constraints=5227
921.74/922.16	c nbDecision=623000 #constraints=5227
922.44/922.89	c nbDecision=623500 #constraints=5227
923.24/923.62	c nbDecision=624000 #constraints=5227
923.94/924.36	c nbDecision=624500 #constraints=5227
924.64/925.09	c nbDecision=625000 #constraints=5227
925.43/925.81	c nbDecision=625500 #constraints=5227
926.13/926.54	c nbDecision=626000 #constraints=5227
926.84/927.26	c nbDecision=626500 #constraints=5227
927.53/927.99	c nbDecision=627000 #constraints=5227
928.33/928.71	c nbDecision=627500 #constraints=5227
929.04/929.44	c nbDecision=628000 #constraints=5227
929.73/930.16	c nbDecision=628500 #constraints=5227
930.53/930.95	c nbDecision=629000 #constraints=5228
931.34/931.71	c nbDecision=629500 #constraints=5228
932.03/932.47	c nbDecision=630000 #constraints=5228
932.83/933.23	c nbDecision=630500 #constraints=5228
933.53/933.99	c nbDecision=631000 #constraints=5228
934.33/934.74	c nbDecision=631500 #constraints=5228
935.03/935.49	c nbDecision=632000 #constraints=5228
935.83/936.23	c nbDecision=632500 #constraints=5228
936.53/936.99	c nbDecision=633000 #constraints=5228
937.33/937.73	c nbDecision=633500 #constraints=5228
938.03/938.48	c nbDecision=634000 #constraints=5228
938.83/939.23	c nbDecision=634500 #constraints=5228
939.53/939.98	c nbDecision=635000 #constraints=5228
940.33/940.72	c nbDecision=635500 #constraints=5228
941.03/941.47	c nbDecision=636000 #constraints=5228
941.83/942.23	c nbDecision=636500 #constraints=5228
942.53/942.97	c nbDecision=637000 #constraints=5228
943.33/943.72	c nbDecision=637500 #constraints=5228
944.03/944.46	c nbDecision=638000 #constraints=5228
944.83/945.20	c nbDecision=638500 #constraints=5228
945.53/945.94	c nbDecision=639000 #constraints=5228
946.23/946.69	c nbDecision=639500 #constraints=5228
947.03/947.42	c nbDecision=640000 #constraints=5228
947.73/948.16	c nbDecision=640500 #constraints=5228
948.52/948.90	c nbDecision=641000 #constraints=5228
949.22/949.64	c nbDecision=641500 #constraints=5228
949.93/950.38	c nbDecision=642000 #constraints=5228
950.72/951.12	c nbDecision=642500 #constraints=5228
951.42/951.85	c nbDecision=643000 #constraints=5228
952.13/952.58	c nbDecision=643500 #constraints=5228
952.92/953.31	c nbDecision=644000 #constraints=5228
953.62/954.04	c nbDecision=644500 #constraints=5228
954.33/954.76	c nbDecision=645000 #constraints=5228
955.02/955.48	c nbDecision=645500 #constraints=5228
955.82/956.21	c nbDecision=646000 #constraints=5228
956.52/956.93	c nbDecision=646500 #constraints=5228
957.22/957.66	c nbDecision=647000 #constraints=5228
957.92/958.38	c nbDecision=647500 #constraints=5228
958.72/959.10	c nbDecision=648000 #constraints=5228
959.42/959.82	c nbDecision=648500 #constraints=5228
960.12/960.53	c nbDecision=649000 #constraints=5228
960.82/961.26	c nbDecision=649500 #constraints=5228
961.52/961.99	c nbDecision=650000 #constraints=5228
962.32/962.71	c nbDecision=650500 #constraints=5228
963.02/963.47	c nbDecision=651000 #constraints=5229
963.82/964.23	c nbDecision=651500 #constraints=5229
964.52/964.99	c nbDecision=652000 #constraints=5229
965.32/965.74	c nbDecision=652500 #constraints=5229
966.02/966.49	c nbDecision=653000 #constraints=5229
966.82/967.25	c nbDecision=653500 #constraints=5229
967.52/968.00	c nbDecision=654000 #constraints=5229
968.32/968.75	c nbDecision=654500 #constraints=5229
969.12/969.50	c nbDecision=655000 #constraints=5229
969.82/970.23	c nbDecision=655500 #constraints=5229
970.52/970.98	c nbDecision=656000 #constraints=5229
971.32/971.72	c nbDecision=656500 #constraints=5229
972.02/972.45	c nbDecision=657000 #constraints=5229
972.71/973.19	c nbDecision=657500 #constraints=5229
973.51/973.93	c nbDecision=658000 #constraints=5229
974.22/974.66	c nbDecision=658500 #constraints=5229
974.91/975.38	c nbDecision=659000 #constraints=5229
975.71/976.12	c nbDecision=659500 #constraints=5229
976.42/976.85	c nbDecision=660000 #constraints=5229
977.11/977.58	c nbDecision=660500 #constraints=5229
977.91/978.31	c nbDecision=661000 #constraints=5229
978.62/979.03	c nbDecision=661500 #constraints=5229
979.31/979.76	c nbDecision=662000 #constraints=5229
980.01/980.49	c nbDecision=662500 #constraints=5229
980.82/981.22	c nbDecision=663000 #constraints=5229
981.51/981.95	c nbDecision=663500 #constraints=5229
982.21/982.68	c nbDecision=664000 #constraints=5229
983.02/983.41	c nbDecision=664500 #constraints=5229
983.71/984.15	c nbDecision=665000 #constraints=5229
984.41/984.87	c nbDecision=665500 #constraints=5229
985.11/985.60	c nbDecision=666000 #constraints=5229
985.91/986.32	c nbDecision=666500 #constraints=5229
986.61/987.05	c nbDecision=667000 #constraints=5229
987.31/987.77	c nbDecision=667500 #constraints=5229
988.01/988.50	c nbDecision=668000 #constraints=5229
988.81/989.27	c nbDecision=668500 #constraints=5230
989.61/990.03	c nbDecision=669000 #constraints=5230
990.31/990.79	c nbDecision=669500 #constraints=5230
991.11/991.55	c nbDecision=670000 #constraints=5230
991.91/992.31	c nbDecision=670500 #constraints=5230
992.61/993.06	c nbDecision=671000 #constraints=5230
993.41/993.82	c nbDecision=671500 #constraints=5230
994.11/994.57	c nbDecision=672000 #constraints=5230
994.91/995.32	c nbDecision=672500 #constraints=5230
995.61/996.07	c nbDecision=673000 #constraints=5230
996.41/996.82	c nbDecision=673500 #constraints=5230
997.11/997.57	c nbDecision=674000 #constraints=5230
997.91/998.31	c nbDecision=674500 #constraints=5230
998.60/999.06	c nbDecision=675000 #constraints=5230
999.30/999.80	c nbDecision=675500 #constraints=5230
1000.10/1000.54	c nbDecision=676000 #constraints=5230
1000.80/1001.28	c nbDecision=676500 #constraints=5230
1001.61/1002.03	c nbDecision=677000 #constraints=5230
1002.30/1002.78	c nbDecision=677500 #constraints=5230
1003.10/1003.52	c nbDecision=678000 #constraints=5230
1003.81/1004.27	c nbDecision=678500 #constraints=5230
1004.60/1005.01	c nbDecision=679000 #constraints=5230
1005.30/1005.75	c nbDecision=679500 #constraints=5230
1006.01/1006.49	c nbDecision=680000 #constraints=5230
1006.80/1007.23	c nbDecision=680500 #constraints=5230
1007.50/1007.98	c nbDecision=681000 #constraints=5230
1008.30/1008.72	c nbDecision=681500 #constraints=5230
1009.00/1009.46	c nbDecision=682000 #constraints=5230
1009.70/1010.18	c nbDecision=682500 #constraints=5230
1010.50/1010.91	c nbDecision=683000 #constraints=5230
1011.21/1011.64	c nbDecision=683500 #constraints=5230
1011.91/1012.37	c nbDecision=684000 #constraints=5230
1012.61/1013.10	c nbDecision=684500 #constraints=5230
1013.41/1013.82	c nbDecision=685000 #constraints=5230
1014.11/1014.55	c nbDecision=685500 #constraints=5230
1014.81/1015.26	c nbDecision=686000 #constraints=5230
1015.51/1015.98	c nbDecision=686500 #constraints=5230
1016.31/1016.70	c nbDecision=687000 #constraints=5230
1017.01/1017.41	c nbDecision=687500 #constraints=5230
1017.71/1018.14	c nbDecision=688000 #constraints=5230
1018.41/1018.85	c nbDecision=688500 #constraints=5230
1019.11/1019.57	c nbDecision=689000 #constraints=5230
1019.80/1020.28	c nbDecision=689500 #constraints=5230
1020.60/1021.07	c nbDecision=690000 #constraints=5231
1021.41/1021.83	c nbDecision=690500 #constraints=5231
1022.10/1022.59	c nbDecision=691000 #constraints=5231
1022.90/1023.36	c nbDecision=691500 #constraints=5231
1023.71/1024.12	c nbDecision=692000 #constraints=5231
1024.40/1024.88	c nbDecision=692500 #constraints=5231
1025.20/1025.63	c nbDecision=693000 #constraints=5231
1025.91/1026.39	c nbDecision=693500 #constraints=5231
1026.70/1027.15	c nbDecision=694000 #constraints=5231
1027.50/1027.90	c nbDecision=694500 #constraints=5231
1028.20/1028.66	c nbDecision=695000 #constraints=5231
1029.00/1029.42	c nbDecision=695500 #constraints=5231
1029.70/1030.17	c nbDecision=696000 #constraints=5231
1030.50/1030.92	c nbDecision=696500 #constraints=5231
1031.20/1031.67	c nbDecision=697000 #constraints=5231
1032.00/1032.41	c nbDecision=697500 #constraints=5231
1032.70/1033.15	c nbDecision=698000 #constraints=5231
1033.40/1033.89	c nbDecision=698500 #constraints=5231
1034.20/1034.63	c nbDecision=699000 #constraints=5231
1034.90/1035.35	c nbDecision=699500 #constraints=5231
1035.60/1036.09	c nbDecision=700000 #constraints=5231
1036.40/1036.82	c nbDecision=700500 #constraints=5231
1037.10/1037.56	c nbDecision=701000 #constraints=5231
1037.80/1038.30	c nbDecision=701500 #constraints=5231
1038.60/1039.03	c nbDecision=702000 #constraints=5231
1039.30/1039.76	c nbDecision=702500 #constraints=5231
1040.00/1040.48	c nbDecision=703000 #constraints=5231
1040.80/1041.22	c nbDecision=703500 #constraints=5231
1041.50/1041.96	c nbDecision=704000 #constraints=5231
1042.20/1042.69	c nbDecision=704500 #constraints=5231
1043.00/1043.43	c nbDecision=705000 #constraints=5231
1043.70/1044.17	c nbDecision=705500 #constraints=5231
1044.40/1044.89	c nbDecision=706000 #constraints=5231
1045.20/1045.62	c nbDecision=706500 #constraints=5231
1045.90/1046.35	c nbDecision=707000 #constraints=5231
1046.60/1047.08	c nbDecision=707500 #constraints=5231
1047.40/1047.81	c nbDecision=708000 #constraints=5231
1048.10/1048.54	c nbDecision=708500 #constraints=5231
1048.80/1049.27	c nbDecision=709000 #constraints=5231
1049.59/1050.00	c nbDecision=709500 #constraints=5231
1050.29/1050.72	c nbDecision=710000 #constraints=5231
1050.99/1051.44	c nbDecision=710500 #constraints=5231
1051.69/1052.16	c nbDecision=711000 #constraints=5231
1052.49/1052.93	c nbDecision=711500 #constraints=5232
1053.19/1053.69	c nbDecision=712000 #constraints=5232
1053.99/1054.45	c nbDecision=712500 #constraints=5232
1054.79/1055.21	c nbDecision=713000 #constraints=5232
1055.50/1055.97	c nbDecision=713500 #constraints=5232
1056.29/1056.72	c nbDecision=714000 #constraints=5232
1056.99/1057.48	c nbDecision=714500 #constraints=5232
1057.80/1058.24	c nbDecision=715000 #constraints=5232
1058.49/1058.99	c nbDecision=715500 #constraints=5232
1059.29/1059.74	c nbDecision=716000 #constraints=5232
1059.99/1060.49	c nbDecision=716500 #constraints=5232
1060.79/1061.25	c nbDecision=717000 #constraints=5232
1061.59/1062.00	c nbDecision=717500 #constraints=5232
1062.29/1062.76	c nbDecision=718000 #constraints=5232
1063.09/1063.51	c nbDecision=718500 #constraints=5232
1063.79/1064.26	c nbDecision=719000 #constraints=5232
1064.59/1065.01	c nbDecision=719500 #constraints=5232
1065.29/1065.76	c nbDecision=720000 #constraints=5232
1066.09/1066.51	c nbDecision=720500 #constraints=5232
1066.79/1067.26	c nbDecision=721000 #constraints=5232
1067.59/1068.00	c nbDecision=721500 #constraints=5232
1068.29/1068.75	c nbDecision=722000 #constraints=5232
1068.99/1069.49	c nbDecision=722500 #constraints=5232
1069.79/1070.23	c nbDecision=723000 #constraints=5232
1070.49/1070.97	c nbDecision=723500 #constraints=5232
1071.29/1071.71	c nbDecision=724000 #constraints=5232
1071.99/1072.44	c nbDecision=724500 #constraints=5232
1072.68/1073.17	c nbDecision=725000 #constraints=5232
1073.48/1073.90	c nbDecision=725500 #constraints=5232
1074.19/1074.63	c nbDecision=726000 #constraints=5232
1074.88/1075.36	c nbDecision=726500 #constraints=5232
1075.58/1076.09	c nbDecision=727000 #constraints=5232
1076.39/1076.82	c nbDecision=727500 #constraints=5232
1077.08/1077.55	c nbDecision=728000 #constraints=5232
1077.78/1078.27	c nbDecision=728500 #constraints=5232
1078.48/1079.00	c nbDecision=729000 #constraints=5232
1079.28/1079.72	c nbDecision=729500 #constraints=5232
1079.98/1080.44	c nbDecision=730000 #constraints=5232
1080.68/1081.17	c nbDecision=730500 #constraints=5232
1081.48/1081.90	c nbDecision=731000 #constraints=5232
1082.18/1082.63	c nbDecision=731500 #constraints=5232
1082.88/1083.36	c nbDecision=732000 #constraints=5232
1083.58/1084.09	c nbDecision=732500 #constraints=5232
1084.38/1084.81	c nbDecision=733000 #constraints=5232
1085.08/1085.54	c nbDecision=733500 #constraints=5232
1085.88/1086.34	c nbDecision=734000 #constraints=5233
1086.68/1087.11	c nbDecision=734500 #constraints=5233
1087.38/1087.88	c nbDecision=735000 #constraints=5233
1088.18/1088.64	c nbDecision=735500 #constraints=5233
1088.98/1089.40	c nbDecision=736000 #constraints=5233
1089.68/1090.17	c nbDecision=736500 #constraints=5233
1090.48/1090.93	c nbDecision=737000 #constraints=5233
1091.18/1091.68	c nbDecision=737500 #constraints=5233
1091.98/1092.44	c nbDecision=738000 #constraints=5233
1092.67/1093.19	c nbDecision=738500 #constraints=5233
1093.47/1093.94	c nbDecision=739000 #constraints=5233
1094.17/1094.69	c nbDecision=739500 #constraints=5233
1094.97/1095.44	c nbDecision=740000 #constraints=5233
1095.67/1096.19	c nbDecision=740500 #constraints=5233
1096.47/1096.93	c nbDecision=741000 #constraints=5233
1097.17/1097.67	c nbDecision=741500 #constraints=5233
1097.97/1098.42	c nbDecision=742000 #constraints=5233
1098.67/1099.16	c nbDecision=742500 #constraints=5233
1099.37/1099.90	c nbDecision=743000 #constraints=5233
1100.17/1100.64	c nbDecision=743500 #constraints=5233
1100.87/1101.38	c nbDecision=744000 #constraints=5233
1101.68/1102.12	c nbDecision=744500 #constraints=5233
1102.37/1102.87	c nbDecision=745000 #constraints=5233
1103.17/1103.61	c nbDecision=745500 #constraints=5233
1103.87/1104.35	c nbDecision=746000 #constraints=5233
1104.57/1105.09	c nbDecision=746500 #constraints=5233
1105.37/1105.83	c nbDecision=747000 #constraints=5233
1106.07/1106.58	c nbDecision=747500 #constraints=5233
1106.87/1107.31	c nbDecision=748000 #constraints=5233
1107.57/1108.05	c nbDecision=748500 #constraints=5233
1108.27/1108.78	c nbDecision=749000 #constraints=5233
1109.07/1109.52	c nbDecision=749500 #constraints=5233
1109.77/1110.25	c nbDecision=750000 #constraints=5233
1110.47/1110.99	c nbDecision=750500 #constraints=5233
1111.27/1111.71	c nbDecision=751000 #constraints=5233
1111.97/1112.44	c nbDecision=751500 #constraints=5233
1112.67/1113.16	c nbDecision=752000 #constraints=5233
1113.37/1113.88	c nbDecision=752500 #constraints=5233
1114.16/1114.60	c nbDecision=753000 #constraints=5233
1114.87/1115.32	c nbDecision=753500 #constraints=5233
1115.56/1116.05	c nbDecision=754000 #constraints=5233
1116.26/1116.76	c nbDecision=754500 #constraints=5233
1116.96/1117.48	c nbDecision=755000 #constraints=5233
1117.76/1118.20	c nbDecision=755500 #constraints=5233
1118.46/1118.97	c nbDecision=756000 #constraints=5234
1119.26/1119.73	c nbDecision=756500 #constraints=5234
1119.96/1120.49	c nbDecision=757000 #constraints=5234
1120.76/1121.26	c nbDecision=757500 #constraints=5234
1121.56/1122.03	c nbDecision=758000 #constraints=5234
1122.26/1122.79	c nbDecision=758500 #constraints=5234
1123.06/1123.56	c nbDecision=759000 #constraints=5234
1123.86/1124.32	c nbDecision=759500 #constraints=5234
1124.56/1125.08	c nbDecision=760000 #constraints=5234
1125.36/1125.84	c nbDecision=760500 #constraints=5234
1126.16/1126.60	c nbDecision=761000 #constraints=5234
1126.85/1127.36	c nbDecision=761500 #constraints=5234
1127.66/1128.11	c nbDecision=762000 #constraints=5234
1128.35/1128.87	c nbDecision=762500 #constraints=5234
1129.16/1129.62	c nbDecision=763000 #constraints=5234
1129.85/1130.37	c nbDecision=763500 #constraints=5234
1130.65/1131.12	c nbDecision=764000 #constraints=5234
1131.36/1131.85	c nbDecision=764500 #constraints=5234
1132.05/1132.59	c nbDecision=765000 #constraints=5234
1132.85/1133.33	c nbDecision=765500 #constraints=5234
1133.55/1134.07	c nbDecision=766000 #constraints=5234
1134.35/1134.81	c nbDecision=766500 #constraints=5234
1135.05/1135.55	c nbDecision=767000 #constraints=5234
1135.75/1136.28	c nbDecision=767500 #constraints=5234
1136.55/1137.02	c nbDecision=768000 #constraints=5234
1137.25/1137.76	c nbDecision=768500 #constraints=5234
1137.95/1138.49	c nbDecision=769000 #constraints=5234
1138.75/1139.22	c nbDecision=769500 #constraints=5234
1139.45/1139.95	c nbDecision=770000 #constraints=5234
1140.15/1140.68	c nbDecision=770500 #constraints=5234
1140.95/1141.42	c nbDecision=771000 #constraints=5234
1141.65/1142.15	c nbDecision=771500 #constraints=5234
1142.35/1142.88	c nbDecision=772000 #constraints=5234
1143.15/1143.62	c nbDecision=772500 #constraints=5234
1143.85/1144.35	c nbDecision=773000 #constraints=5234
1144.55/1145.09	c nbDecision=773500 #constraints=5234
1145.34/1145.82	c nbDecision=774000 #constraints=5234
1146.04/1146.55	c nbDecision=774500 #constraints=5234
1146.75/1147.28	c nbDecision=775000 #constraints=5234
1147.54/1148.01	c nbDecision=775500 #constraints=5234
1148.24/1148.74	c nbDecision=776000 #constraints=5234
1148.95/1149.47	c nbDecision=776500 #constraints=5234
1149.74/1150.20	c nbDecision=777000 #constraints=5234
1150.44/1150.92	c nbDecision=777500 #constraints=5234
1151.15/1151.67	c nbDecision=778000 #constraints=5235
1151.94/1152.43	c nbDecision=778500 #constraints=5235
1152.64/1153.19	c nbDecision=779000 #constraints=5235
1153.44/1153.95	c nbDecision=779500 #constraints=5235
1154.24/1154.71	c nbDecision=780000 #constraints=5235
1154.94/1155.46	c nbDecision=780500 #constraints=5235
1155.74/1156.22	c nbDecision=781000 #constraints=5235
1156.44/1156.98	c nbDecision=781500 #constraints=5235
1157.24/1157.73	c nbDecision=782000 #constraints=5235
1157.94/1158.48	c nbDecision=782500 #constraints=5235
1158.73/1159.23	c nbDecision=783000 #constraints=5235
1159.43/1159.98	c nbDecision=783500 #constraints=5235
1160.23/1160.73	c nbDecision=784000 #constraints=5235
1160.93/1161.49	c nbDecision=784500 #constraints=5235
1161.73/1162.24	c nbDecision=785000 #constraints=5235
1162.43/1162.99	c nbDecision=785500 #constraints=5235
1163.24/1163.74	c nbDecision=786000 #constraints=5235
1163.93/1164.49	c nbDecision=786500 #constraints=5235
1164.73/1165.24	c nbDecision=787000 #constraints=5235
1165.44/1165.98	c nbDecision=787500 #constraints=5235
1166.23/1166.73	c nbDecision=788000 #constraints=5235
1166.93/1167.48	c nbDecision=788500 #constraints=5235
1167.74/1168.22	c nbDecision=789000 #constraints=5235
1168.43/1168.96	c nbDecision=789500 #constraints=5235
1169.23/1169.71	c nbDecision=790000 #constraints=5235
1169.94/1170.45	c nbDecision=790500 #constraints=5235
1170.63/1171.19	c nbDecision=791000 #constraints=5235
1171.43/1171.92	c nbDecision=791500 #constraints=5235
1172.13/1172.65	c nbDecision=792000 #constraints=5235
1172.84/1173.39	c nbDecision=792500 #constraints=5235
1173.64/1174.12	c nbDecision=793000 #constraints=5235
1174.34/1174.85	c nbDecision=793500 #constraints=5235
1175.04/1175.58	c nbDecision=794000 #constraints=5235
1175.74/1176.30	c nbDecision=794500 #constraints=5235
1176.54/1177.02	c nbDecision=795000 #constraints=5235
1177.24/1177.74	c nbDecision=795500 #constraints=5235
1177.94/1178.47	c nbDecision=796000 #constraints=5235
1178.64/1179.19	c nbDecision=796500 #constraints=5235
1179.44/1179.92	c nbDecision=797000 #constraints=5235
1180.13/1180.64	c nbDecision=797500 #constraints=5235
1180.84/1181.37	c nbDecision=798000 #constraints=5235
1181.53/1182.10	c nbDecision=798500 #constraints=5235
1182.33/1182.82	c nbDecision=799000 #constraints=5235
1183.04/1183.55	c nbDecision=799500 #constraints=5235
1183.73/1184.27	c nbDecision=800000 #constraints=5235
1184.53/1185.06	c nbDecision=800500 #constraints=5236
1185.34/1185.82	c nbDecision=801000 #constraints=5236
1186.03/1186.59	c nbDecision=801500 #constraints=5236
1186.83/1187.36	c nbDecision=802000 #constraints=5236
1187.63/1188.12	c nbDecision=802500 #constraints=5236
1188.33/1188.88	c nbDecision=803000 #constraints=5236
1189.13/1189.65	c nbDecision=803500 #constraints=5236
1189.93/1190.41	c nbDecision=804000 #constraints=5236
1190.63/1191.16	c nbDecision=804500 #constraints=5236
1191.43/1191.90	c nbDecision=805000 #constraints=5236
1192.13/1192.66	c nbDecision=805500 #constraints=5236
1192.93/1193.40	c nbDecision=806000 #constraints=5236
1193.63/1194.15	c nbDecision=806500 #constraints=5236
1194.33/1194.90	c nbDecision=807000 #constraints=5236
1195.13/1195.64	c nbDecision=807500 #constraints=5236
1195.83/1196.38	c nbDecision=808000 #constraints=5236
1196.63/1197.12	c nbDecision=808500 #constraints=5236
1197.33/1197.86	c nbDecision=809000 #constraints=5236
1198.12/1198.60	c nbDecision=809500 #constraints=5236
1198.82/1199.34	c nbDecision=810000 #constraints=5236
1199.53/1200.08	c nbDecision=810500 #constraints=5236
1200.32/1200.81	c nbDecision=811000 #constraints=5236
1201.02/1201.56	c nbDecision=811500 #constraints=5236
1201.73/1202.30	c nbDecision=812000 #constraints=5236
1202.52/1203.04	c nbDecision=812500 #constraints=5236
1203.22/1203.78	c nbDecision=813000 #constraints=5236
1204.02/1204.52	c nbDecision=813500 #constraints=5236
1204.72/1205.26	c nbDecision=814000 #constraints=5236
1205.52/1206.00	c nbDecision=814500 #constraints=5236
1206.22/1206.74	c nbDecision=815000 #constraints=5236
1206.92/1207.47	c nbDecision=815500 #constraints=5236
1207.72/1208.21	c nbDecision=816000 #constraints=5236
1208.42/1208.94	c nbDecision=816500 #constraints=5236
1209.12/1209.68	c nbDecision=817000 #constraints=5236
1209.92/1210.41	c nbDecision=817500 #constraints=5236
1210.62/1211.13	c nbDecision=818000 #constraints=5236
1211.32/1211.85	c nbDecision=818500 #constraints=5236
1212.02/1212.57	c nbDecision=819000 #constraints=5236
1212.32/1212.86	c restart after 819201 decisions
1212.82/1213.36	c nbDecision=819500 #constraints=5236
1213.62/1214.14	c nbDecision=820000 #constraints=5236
1214.42/1214.91	c nbDecision=820500 #constraints=5236
1215.11/1215.68	c nbDecision=821000 #constraints=5236
1215.91/1216.46	c nbDecision=821500 #constraints=5236
1216.71/1217.23	c nbDecision=822000 #constraints=5236
1217.51/1218.00	c nbDecision=822500 #constraints=5236
1218.22/1218.77	c nbDecision=823000 #constraints=5236
1219.01/1219.54	c nbDecision=823500 #constraints=5236
1219.81/1220.30	c nbDecision=824000 #constraints=5236
1220.52/1221.07	c nbDecision=824500 #constraints=5236
1221.31/1221.84	c nbDecision=825000 #constraints=5236
1222.11/1222.61	c nbDecision=825500 #constraints=5236
1222.81/1223.38	c nbDecision=826000 #constraints=5236
1223.61/1224.15	c nbDecision=826500 #constraints=5236
1224.41/1224.91	c nbDecision=827000 #constraints=5236
1225.11/1225.68	c nbDecision=827500 #constraints=5236
1225.92/1226.44	c nbDecision=828000 #constraints=5236
1226.71/1227.20	c nbDecision=828500 #constraints=5236
1227.41/1227.96	c nbDecision=829000 #constraints=5236
1228.21/1228.72	c nbDecision=829500 #constraints=5236
1228.91/1229.48	c nbDecision=830000 #constraints=5236
1229.71/1230.24	c nbDecision=830500 #constraints=5236
1230.41/1230.99	c nbDecision=831000 #constraints=5236
1231.21/1231.74	c nbDecision=831500 #constraints=5236
1231.91/1232.48	c nbDecision=832000 #constraints=5236
1232.71/1233.23	c nbDecision=832500 #constraints=5236
1233.41/1233.97	c nbDecision=833000 #constraints=5236
1234.21/1234.71	c nbDecision=833500 #constraints=5236
1234.91/1235.45	c nbDecision=834000 #constraints=5236
1235.61/1236.19	c nbDecision=834500 #constraints=5236
1236.41/1236.93	c nbDecision=835000 #constraints=5236
1237.11/1237.67	c nbDecision=835500 #constraints=5236
1237.91/1238.40	c nbDecision=836000 #constraints=5236
1238.61/1239.14	c nbDecision=836500 #constraints=5236
1239.31/1239.87	c nbDecision=837000 #constraints=5236
1240.10/1240.60	c nbDecision=837500 #constraints=5236
1240.80/1241.34	c nbDecision=838000 #constraints=5236
1241.50/1242.08	c nbDecision=838500 #constraints=5236
1242.30/1242.82	c nbDecision=839000 #constraints=5236
1243.00/1243.56	c nbDecision=839500 #constraints=5236
1243.70/1244.29	c nbDecision=840000 #constraints=5236
1244.50/1245.03	c nbDecision=840500 #constraints=5236
1245.20/1245.76	c nbDecision=841000 #constraints=5236
1245.90/1246.49	c nbDecision=841500 #constraints=5236
1246.70/1247.22	c nbDecision=842000 #constraints=5236
1247.40/1247.95	c nbDecision=842500 #constraints=5236
1248.10/1248.68	c nbDecision=843000 #constraints=5236
1248.90/1249.41	c nbDecision=843500 #constraints=5236
1249.60/1250.14	c nbDecision=844000 #constraints=5236
1250.30/1250.87	c nbDecision=844500 #constraints=5236
1251.00/1251.59	c nbDecision=845000 #constraints=5236
1251.80/1252.31	c nbDecision=845500 #constraints=5236
1252.50/1253.03	c nbDecision=846000 #constraints=5236
1253.20/1253.75	c nbDecision=846500 #constraints=5236
1254.00/1254.53	c nbDecision=847000 #constraints=5237
1254.70/1255.29	c nbDecision=847500 #constraints=5237
1255.50/1256.05	c nbDecision=848000 #constraints=5237
1256.30/1256.81	c nbDecision=848500 #constraints=5237
1257.00/1257.56	c nbDecision=849000 #constraints=5237
1257.80/1258.32	c nbDecision=849500 #constraints=5237
1258.50/1259.08	c nbDecision=850000 #constraints=5237
1259.30/1259.83	c nbDecision=850500 #constraints=5237
1260.00/1260.59	c nbDecision=851000 #constraints=5237
1260.79/1261.35	c nbDecision=851500 #constraints=5237
1261.59/1262.11	c nbDecision=852000 #constraints=5237
1262.30/1262.86	c nbDecision=852500 #constraints=5237
1263.09/1263.62	c nbDecision=853000 #constraints=5237
1263.79/1264.37	c nbDecision=853500 #constraints=5237
1264.59/1265.13	c nbDecision=854000 #constraints=5237
1265.29/1265.88	c nbDecision=854500 #constraints=5237
1266.09/1266.63	c nbDecision=855000 #constraints=5237
1266.79/1267.38	c nbDecision=855500 #constraints=5237
1267.59/1268.12	c nbDecision=856000 #constraints=5237
1268.29/1268.87	c nbDecision=856500 #constraints=5237
1269.09/1269.62	c nbDecision=857000 #constraints=5237
1269.79/1270.36	c nbDecision=857500 #constraints=5237
1270.59/1271.10	c nbDecision=858000 #constraints=5237
1271.29/1271.84	c nbDecision=858500 #constraints=5237
1271.99/1272.58	c nbDecision=859000 #constraints=5237
1272.79/1273.31	c nbDecision=859500 #constraints=5237
1273.49/1274.05	c nbDecision=860000 #constraints=5237
1274.19/1274.78	c nbDecision=860500 #constraints=5237
1274.99/1275.51	c nbDecision=861000 #constraints=5237
1275.69/1276.24	c nbDecision=861500 #constraints=5237
1276.39/1276.97	c nbDecision=862000 #constraints=5237
1277.19/1277.70	c nbDecision=862500 #constraints=5237
1277.89/1278.43	c nbDecision=863000 #constraints=5237
1278.59/1279.16	c nbDecision=863500 #constraints=5237
1279.29/1279.88	c nbDecision=864000 #constraints=5237
1280.09/1280.61	c nbDecision=864500 #constraints=5237
1280.79/1281.34	c nbDecision=865000 #constraints=5237
1281.49/1282.06	c nbDecision=865500 #constraints=5237
1282.19/1282.79	c nbDecision=866000 #constraints=5237
1282.99/1283.52	c nbDecision=866500 #constraints=5237
1283.69/1284.25	c nbDecision=867000 #constraints=5237
1284.39/1284.98	c nbDecision=867500 #constraints=5237
1285.19/1285.70	c nbDecision=868000 #constraints=5237
1285.89/1286.43	c nbDecision=868500 #constraints=5237
1286.58/1287.20	c nbDecision=869000 #constraints=5238
1287.38/1287.96	c nbDecision=869500 #constraints=5238
1288.18/1288.73	c nbDecision=870000 #constraints=5238
1288.98/1289.50	c nbDecision=870500 #constraints=5238
1289.69/1290.26	c nbDecision=871000 #constraints=5238
1290.48/1291.03	c nbDecision=871500 #constraints=5238
1291.18/1291.78	c nbDecision=872000 #constraints=5238
1291.98/1292.53	c nbDecision=872500 #constraints=5238
1292.69/1293.28	c nbDecision=873000 #constraints=5238
1293.49/1294.04	c nbDecision=873500 #constraints=5238
1294.19/1294.78	c nbDecision=874000 #constraints=5238
1294.99/1295.53	c nbDecision=874500 #constraints=5238
1295.69/1296.28	c nbDecision=875000 #constraints=5238
1296.49/1297.03	c nbDecision=875500 #constraints=5238
1297.19/1297.77	c nbDecision=876000 #constraints=5238
1297.99/1298.51	c nbDecision=876500 #constraints=5238
1298.68/1299.25	c nbDecision=877000 #constraints=5238
1299.38/1299.99	c nbDecision=877500 #constraints=5238
1300.18/1300.73	c nbDecision=878000 #constraints=5238
1300.88/1301.48	c nbDecision=878500 #constraints=5238
1301.68/1302.22	c nbDecision=879000 #constraints=5238
1302.38/1302.97	c nbDecision=879500 #constraints=5238
1303.18/1303.71	c nbDecision=880000 #constraints=5238
1303.88/1304.45	c nbDecision=880500 #constraints=5238
1304.58/1305.20	c nbDecision=881000 #constraints=5238
1305.38/1305.94	c nbDecision=881500 #constraints=5238
1306.08/1306.68	c nbDecision=882000 #constraints=5238
1306.88/1307.42	c nbDecision=882500 #constraints=5238
1307.58/1308.16	c nbDecision=883000 #constraints=5238
1308.28/1308.89	c nbDecision=883500 #constraints=5238
1309.08/1309.63	c nbDecision=884000 #constraints=5238
1309.78/1310.37	c nbDecision=884500 #constraints=5238
1310.48/1311.10	c nbDecision=885000 #constraints=5238
1311.28/1311.82	c nbDecision=885500 #constraints=5238
1311.98/1312.55	c nbDecision=886000 #constraints=5238
1312.68/1313.27	c nbDecision=886500 #constraints=5238
1313.48/1314.00	c nbDecision=887000 #constraints=5238
1314.18/1314.72	c nbDecision=887500 #constraints=5238
1314.88/1315.45	c nbDecision=888000 #constraints=5238
1315.58/1316.17	c nbDecision=888500 #constraints=5238
1316.27/1316.89	c nbDecision=889000 #constraints=5238
1317.07/1317.61	c nbDecision=889500 #constraints=5238
1317.77/1318.33	c nbDecision=890000 #constraints=5238
1318.47/1319.09	c nbDecision=890500 #constraints=5239
1319.27/1319.85	c nbDecision=891000 #constraints=5239
1320.07/1320.61	c nbDecision=891500 #constraints=5239
1320.77/1321.37	c nbDecision=892000 #constraints=5239
1321.58/1322.13	c nbDecision=892500 #constraints=5239
1322.27/1322.89	c nbDecision=893000 #constraints=5239
1323.07/1323.65	c nbDecision=893500 #constraints=5239
1323.87/1324.41	c nbDecision=894000 #constraints=5239
1324.57/1325.17	c nbDecision=894500 #constraints=5239
1325.37/1325.92	c nbDecision=895000 #constraints=5239
1326.07/1326.68	c nbDecision=895500 #constraints=5239
1326.87/1327.43	c nbDecision=896000 #constraints=5239
1327.57/1328.19	c nbDecision=896500 #constraints=5239
1328.37/1328.94	c nbDecision=897000 #constraints=5239
1329.07/1329.69	c nbDecision=897500 #constraints=5239
1329.87/1330.44	c nbDecision=898000 #constraints=5239
1330.57/1331.19	c nbDecision=898500 #constraints=5239
1331.37/1331.92	c nbDecision=899000 #constraints=5239
1332.07/1332.66	c nbDecision=899500 #constraints=5239
1332.87/1333.40	c nbDecision=900000 #constraints=5239
1333.57/1334.14	c nbDecision=900500 #constraints=5239
1334.27/1334.88	c nbDecision=901000 #constraints=5239
1335.06/1335.61	c nbDecision=901500 #constraints=5239
1335.76/1336.35	c nbDecision=902000 #constraints=5239
1336.46/1337.08	c nbDecision=902500 #constraints=5239
1337.26/1337.81	c nbDecision=903000 #constraints=5239
1337.96/1338.55	c nbDecision=903500 #constraints=5239
1338.66/1339.28	c nbDecision=904000 #constraints=5239
1339.46/1340.01	c nbDecision=904500 #constraints=5239
1340.16/1340.74	c nbDecision=905000 #constraints=5239
1340.86/1341.47	c nbDecision=905500 #constraints=5239
1341.66/1342.20	c nbDecision=906000 #constraints=5239
1342.36/1342.93	c nbDecision=906500 #constraints=5239
1343.06/1343.67	c nbDecision=907000 #constraints=5239
1343.76/1344.39	c nbDecision=907500 #constraints=5239
1344.56/1345.12	c nbDecision=908000 #constraints=5239
1345.26/1345.85	c nbDecision=908500 #constraints=5239
1345.96/1346.58	c nbDecision=909000 #constraints=5239
1346.76/1347.31	c nbDecision=909500 #constraints=5239
1347.46/1348.04	c nbDecision=910000 #constraints=5239
1348.16/1348.77	c nbDecision=910500 #constraints=5239
1348.86/1349.49	c nbDecision=911000 #constraints=5239
1349.66/1350.22	c nbDecision=911500 #constraints=5239
1350.36/1350.99	c nbDecision=912000 #constraints=5240
1351.16/1351.74	c nbDecision=912500 #constraints=5240
1351.96/1352.50	c nbDecision=913000 #constraints=5240
1352.65/1353.26	c nbDecision=913500 #constraints=5240
1353.46/1354.02	c nbDecision=914000 #constraints=5240
1354.15/1354.78	c nbDecision=914500 #constraints=5240
1354.95/1355.54	c nbDecision=915000 #constraints=5240
1355.66/1356.29	c nbDecision=915500 #constraints=5240
1356.45/1357.05	c nbDecision=916000 #constraints=5240
1357.25/1357.80	c nbDecision=916500 #constraints=5240
1357.96/1358.55	c nbDecision=917000 #constraints=5240
1358.75/1359.30	c nbDecision=917500 #constraints=5240
1359.45/1360.04	c nbDecision=918000 #constraints=5240
1360.16/1360.78	c nbDecision=918500 #constraints=5240
1360.95/1361.54	c nbDecision=919000 #constraints=5240
1361.65/1362.29	c nbDecision=919500 #constraints=5240
1362.45/1363.04	c nbDecision=920000 #constraints=5240
1363.15/1363.79	c nbDecision=920500 #constraints=5240
1363.95/1364.54	c nbDecision=921000 #constraints=5240
1364.65/1365.28	c nbDecision=921500 #constraints=5240
1365.45/1366.03	c nbDecision=922000 #constraints=5240
1366.15/1366.78	c nbDecision=922500 #constraints=5240
1366.95/1367.52	c nbDecision=923000 #constraints=5240
1367.65/1368.26	c nbDecision=923500 #constraints=5240
1368.45/1369.01	c nbDecision=924000 #constraints=5240
1369.15/1369.75	c nbDecision=924500 #constraints=5240
1369.85/1370.49	c nbDecision=925000 #constraints=5240
1370.64/1371.22	c nbDecision=925500 #constraints=5240
1371.35/1371.95	c nbDecision=926000 #constraints=5240
1372.04/1372.68	c nbDecision=926500 #constraints=5240
1372.84/1373.41	c nbDecision=927000 #constraints=5240
1373.54/1374.14	c nbDecision=927500 #constraints=5240
1374.24/1374.87	c nbDecision=928000 #constraints=5240
1374.94/1375.60	c nbDecision=928500 #constraints=5240
1375.74/1376.32	c nbDecision=929000 #constraints=5240
1376.44/1377.05	c nbDecision=929500 #constraints=5240
1377.14/1377.77	c nbDecision=930000 #constraints=5240
1377.94/1378.50	c nbDecision=930500 #constraints=5240
1378.64/1379.22	c nbDecision=931000 #constraints=5240
1379.34/1379.94	c nbDecision=931500 #constraints=5240
1380.04/1380.66	c nbDecision=932000 #constraints=5240
1380.74/1381.39	c nbDecision=932500 #constraints=5240
1381.54/1382.11	c nbDecision=933000 #constraints=5240
1382.24/1382.84	c nbDecision=933500 #constraints=5240
1383.05/1383.60	c nbDecision=934000 #constraints=5241
1383.75/1384.37	c nbDecision=934500 #constraints=5241
1384.55/1385.14	c nbDecision=935000 #constraints=5241
1385.35/1385.90	c nbDecision=935500 #constraints=5241
1386.04/1386.67	c nbDecision=936000 #constraints=5241
1386.84/1387.43	c nbDecision=936500 #constraints=5241
1387.55/1388.19	c nbDecision=937000 #constraints=5241
1388.34/1388.96	c nbDecision=937500 #constraints=5241
1389.14/1389.71	c nbDecision=938000 #constraints=5241
1389.85/1390.47	c nbDecision=938500 #constraints=5241
1390.64/1391.22	c nbDecision=939000 #constraints=5241
1391.34/1391.97	c nbDecision=939500 #constraints=5241
1392.14/1392.72	c nbDecision=940000 #constraints=5241
1392.84/1393.46	c nbDecision=940500 #constraints=5241
1393.64/1394.21	c nbDecision=941000 #constraints=5241
1394.34/1394.94	c nbDecision=941500 #constraints=5241
1395.04/1395.69	c nbDecision=942000 #constraints=5241
1395.84/1396.43	c nbDecision=942500 #constraints=5241
1396.54/1397.17	c nbDecision=943000 #constraints=5241
1397.34/1397.91	c nbDecision=943500 #constraints=5241
1398.04/1398.64	c nbDecision=944000 #constraints=5241
1398.74/1399.38	c nbDecision=944500 #constraints=5241
1399.54/1400.12	c nbDecision=945000 #constraints=5241
1400.24/1400.85	c nbDecision=945500 #constraints=5241
1400.94/1401.59	c nbDecision=946000 #constraints=5241
1401.74/1402.33	c nbDecision=946500 #constraints=5241
1402.43/1403.07	c nbDecision=947000 #constraints=5241
1403.23/1403.80	c nbDecision=947500 #constraints=5241
1403.93/1404.54	c nbDecision=948000 #constraints=5241
1404.63/1405.28	c nbDecision=948500 #constraints=5241
1405.43/1406.02	c nbDecision=949000 #constraints=5241
1406.13/1406.75	c nbDecision=949500 #constraints=5241
1406.83/1407.49	c nbDecision=950000 #constraints=5241
1407.63/1408.21	c nbDecision=950500 #constraints=5241
1408.33/1408.94	c nbDecision=951000 #constraints=5241
1409.03/1409.67	c nbDecision=951500 #constraints=5241
1409.83/1410.40	c nbDecision=952000 #constraints=5241
1410.53/1411.13	c nbDecision=952500 #constraints=5241
1411.23/1411.85	c nbDecision=953000 #constraints=5241
1411.93/1412.57	c nbDecision=953500 #constraints=5241
1412.63/1413.29	c nbDecision=954000 #constraints=5241
1413.43/1414.01	c nbDecision=954500 #constraints=5241
1414.13/1414.73	c nbDecision=955000 #constraints=5241
1414.83/1415.49	c nbDecision=955500 #constraints=5242
1415.63/1416.24	c nbDecision=956000 #constraints=5242
1416.33/1417.00	c nbDecision=956500 #constraints=5242
1417.13/1417.75	c nbDecision=957000 #constraints=5242
1417.93/1418.50	c nbDecision=957500 #constraints=5242
1418.63/1419.24	c nbDecision=958000 #constraints=5242
1419.33/1419.98	c nbDecision=958500 #constraints=5242
1420.13/1420.73	c nbDecision=959000 #constraints=5242
1420.83/1421.48	c nbDecision=959500 #constraints=5242
1421.63/1422.24	c nbDecision=960000 #constraints=5242
1422.33/1422.99	c nbDecision=960500 #constraints=5242
1423.13/1423.74	c nbDecision=961000 #constraints=5242
1423.83/1424.49	c nbDecision=961500 #constraints=5242
1424.63/1425.24	c nbDecision=962000 #constraints=5242
1425.33/1425.98	c nbDecision=962500 #constraints=5242
1426.13/1426.73	c nbDecision=963000 #constraints=5242
1426.83/1427.47	c nbDecision=963500 #constraints=5242
1427.63/1428.22	c nbDecision=964000 #constraints=5242
1428.33/1428.96	c nbDecision=964500 #constraints=5242
1429.12/1429.70	c nbDecision=965000 #constraints=5242
1429.82/1430.44	c nbDecision=965500 #constraints=5242
1430.53/1431.18	c nbDecision=966000 #constraints=5242
1431.32/1431.91	c nbDecision=966500 #constraints=5242
1432.02/1432.64	c nbDecision=967000 #constraints=5242
1432.73/1433.37	c nbDecision=967500 #constraints=5242
1433.52/1434.10	c nbDecision=968000 #constraints=5242
1434.22/1434.83	c nbDecision=968500 #constraints=5242
1434.93/1435.56	c nbDecision=969000 #constraints=5242
1435.62/1436.28	c nbDecision=969500 #constraints=5242
1436.42/1437.01	c nbDecision=970000 #constraints=5242
1437.13/1437.72	c nbDecision=970500 #constraints=5242
1437.82/1438.45	c nbDecision=971000 #constraints=5242
1438.52/1439.17	c nbDecision=971500 #constraints=5242
1439.22/1439.88	c nbDecision=972000 #constraints=5242
1440.02/1440.61	c nbDecision=972500 #constraints=5242
1440.72/1441.33	c nbDecision=973000 #constraints=5242
1441.42/1442.06	c nbDecision=973500 #constraints=5242
1442.12/1442.78	c nbDecision=974000 #constraints=5242
1442.92/1443.56	c nbDecision=974500 #constraints=5243
1443.72/1444.33	c nbDecision=975000 #constraints=5243
1444.52/1445.10	c nbDecision=975500 #constraints=5243
1445.22/1445.86	c nbDecision=976000 #constraints=5243
1446.02/1446.63	c nbDecision=976500 #constraints=5243
1446.72/1447.39	c nbDecision=977000 #constraints=5243
1447.52/1448.16	c nbDecision=977500 #constraints=5243
1448.31/1448.92	c nbDecision=978000 #constraints=5243
1449.01/1449.68	c nbDecision=978500 #constraints=5243
1449.81/1450.44	c nbDecision=979000 #constraints=5243
1450.51/1451.19	c nbDecision=979500 #constraints=5243
1451.32/1451.94	c nbDecision=980000 #constraints=5243
1452.01/1452.69	c nbDecision=980500 #constraints=5243
1452.81/1453.44	c nbDecision=981000 #constraints=5243
1453.52/1454.18	c nbDecision=981500 #constraints=5243
1454.31/1454.93	c nbDecision=982000 #constraints=5243
1455.01/1455.67	c nbDecision=982500 #constraints=5243
1455.82/1456.41	c nbDecision=983000 #constraints=5243
1456.51/1457.14	c nbDecision=983500 #constraints=5243
1457.21/1457.88	c nbDecision=984000 #constraints=5243
1458.02/1458.62	c nbDecision=984500 #constraints=5243
1458.71/1459.36	c nbDecision=985000 #constraints=5243
1459.41/1460.09	c nbDecision=985500 #constraints=5243
1460.22/1460.83	c nbDecision=986000 #constraints=5243
1460.91/1461.57	c nbDecision=986500 #constraints=5243
1461.71/1462.32	c nbDecision=987000 #constraints=5243
1462.41/1463.06	c nbDecision=987500 #constraints=5243
1463.21/1463.80	c nbDecision=988000 #constraints=5243
1463.91/1464.54	c nbDecision=988500 #constraints=5243
1464.61/1465.27	c nbDecision=989000 #constraints=5243
1465.41/1466.01	c nbDecision=989500 #constraints=5243
1466.11/1466.75	c nbDecision=990000 #constraints=5243
1466.81/1467.48	c nbDecision=990500 #constraints=5243
1467.61/1468.22	c nbDecision=991000 #constraints=5243
1468.31/1468.95	c nbDecision=991500 #constraints=5243
1469.01/1469.69	c nbDecision=992000 #constraints=5243
1469.81/1470.42	c nbDecision=992500 #constraints=5243
1470.51/1471.15	c nbDecision=993000 #constraints=5243
1471.21/1471.87	c nbDecision=993500 #constraints=5243
1471.91/1472.59	c nbDecision=994000 #constraints=5243
1472.71/1473.31	c nbDecision=994500 #constraints=5243
1473.41/1474.04	c nbDecision=995000 #constraints=5243
1474.10/1474.75	c nbDecision=995500 #constraints=5243
1474.80/1475.47	c nbDecision=996000 #constraints=5243
1475.61/1476.24	c nbDecision=996500 #constraints=5244
1476.40/1477.00	c nbDecision=997000 #constraints=5244
1477.10/1477.76	c nbDecision=997500 #constraints=5244
1477.90/1478.52	c nbDecision=998000 #constraints=5244
1478.60/1479.28	c nbDecision=998500 #constraints=5244
1479.40/1480.04	c nbDecision=999000 #constraints=5244
1480.10/1480.79	c nbDecision=999500 #constraints=5244
1480.90/1481.55	c nbDecision=1000000 #constraints=5244
1481.70/1482.31	c nbDecision=1000500 #constraints=5244
1482.40/1483.07	c nbDecision=1001000 #constraints=5244
1483.20/1483.82	c nbDecision=1001500 #constraints=5244
1483.90/1484.58	c nbDecision=1002000 #constraints=5244
1484.70/1485.34	c nbDecision=1002500 #constraints=5244
1485.40/1486.09	c nbDecision=1003000 #constraints=5244
1486.20/1486.84	c nbDecision=1003500 #constraints=5244
1486.90/1487.59	c nbDecision=1004000 #constraints=5244
1487.70/1488.34	c nbDecision=1004500 #constraints=5244
1488.40/1489.08	c nbDecision=1005000 #constraints=5244
1489.20/1489.83	c nbDecision=1005500 #constraints=5244
1489.90/1490.58	c nbDecision=1006000 #constraints=5244
1490.70/1491.32	c nbDecision=1006500 #constraints=5244
1491.40/1492.06	c nbDecision=1007000 #constraints=5244
1492.10/1492.79	c nbDecision=1007500 #constraints=5244
1492.90/1493.53	c nbDecision=1008000 #constraints=5244
1493.59/1494.27	c nbDecision=1008500 #constraints=5244
1494.39/1495.00	c nbDecision=1009000 #constraints=5244
1495.09/1495.73	c nbDecision=1009500 #constraints=5244
1495.79/1496.47	c nbDecision=1010000 #constraints=5244
1496.59/1497.20	c nbDecision=1010500 #constraints=5244
1497.29/1497.93	c nbDecision=1011000 #constraints=5244
1498.00/1498.66	c nbDecision=1011500 #constraints=5244
1498.70/1499.39	c nbDecision=1012000 #constraints=5244
1499.49/1500.12	c nbDecision=1012500 #constraints=5244
1500.19/1500.85	c nbDecision=1013000 #constraints=5244
1500.90/1501.58	c nbDecision=1013500 #constraints=5244
1501.69/1502.31	c nbDecision=1014000 #constraints=5244
1502.39/1503.04	c nbDecision=1014500 #constraints=5244
1503.10/1503.77	c nbDecision=1015000 #constraints=5244
1503.89/1504.50	c nbDecision=1015500 #constraints=5244
1504.59/1505.23	c nbDecision=1016000 #constraints=5244
1505.30/1505.96	c nbDecision=1016500 #constraints=5244
1505.99/1506.68	c nbDecision=1017000 #constraints=5244
1506.79/1507.41	c nbDecision=1017500 #constraints=5244
1507.49/1508.13	c nbDecision=1018000 #constraints=5244
1508.29/1508.91	c nbDecision=1018500 #constraints=5245
1508.99/1509.68	c nbDecision=1019000 #constraints=5245
1509.79/1510.44	c nbDecision=1019500 #constraints=5245
1510.59/1511.20	c nbDecision=1020000 #constraints=5245
1511.29/1511.96	c nbDecision=1020500 #constraints=5245
1512.09/1512.71	c nbDecision=1021000 #constraints=5245
1512.79/1513.47	c nbDecision=1021500 #constraints=5245
1513.59/1514.22	c nbDecision=1022000 #constraints=5245
1514.29/1514.97	c nbDecision=1022500 #constraints=5245
1515.09/1515.72	c nbDecision=1023000 #constraints=5245
1515.79/1516.47	c nbDecision=1023500 #constraints=5245
1516.59/1517.22	c nbDecision=1024000 #constraints=5245
1517.29/1517.97	c nbDecision=1024500 #constraints=5245
1518.09/1518.71	c nbDecision=1025000 #constraints=5245
1518.78/1519.46	c nbDecision=1025500 #constraints=5245
1519.49/1520.19	c nbDecision=1026000 #constraints=5245
1520.28/1520.93	c nbDecision=1026500 #constraints=5245
1520.98/1521.68	c nbDecision=1027000 #constraints=5245
1521.79/1522.43	c nbDecision=1027500 #constraints=5245
1522.48/1523.17	c nbDecision=1028000 #constraints=5245
1523.28/1523.91	c nbDecision=1028500 #constraints=5245
1523.99/1524.66	c nbDecision=1029000 #constraints=5245
1524.68/1525.39	c nbDecision=1029500 #constraints=5245
1525.48/1526.13	c nbDecision=1030000 #constraints=5245
1526.19/1526.88	c nbDecision=1030500 #constraints=5245
1526.98/1527.62	c nbDecision=1031000 #constraints=5245
1527.68/1528.36	c nbDecision=1031500 #constraints=5245
1528.48/1529.10	c nbDecision=1032000 #constraints=5245
1529.18/1529.83	c nbDecision=1032500 #constraints=5245
1529.88/1530.57	c nbDecision=1033000 #constraints=5245
1530.68/1531.30	c nbDecision=1033500 #constraints=5245
1531.38/1532.03	c nbDecision=1034000 #constraints=5245
1532.08/1532.76	c nbDecision=1034500 #constraints=5245
1532.79/1533.48	c nbDecision=1035000 #constraints=5245
1533.59/1534.21	c nbDecision=1035500 #constraints=5245
1534.29/1534.93	c nbDecision=1036000 #constraints=5245
1534.99/1535.65	c nbDecision=1036500 #constraints=5245
1535.69/1536.38	c nbDecision=1037000 #constraints=5245
1536.49/1537.10	c nbDecision=1037500 #constraints=5245
1537.19/1537.82	c nbDecision=1038000 #constraints=5245
1537.89/1538.54	c nbDecision=1038500 #constraints=5245
1538.58/1539.26	c nbDecision=1039000 #constraints=5245
1539.29/1539.98	c nbDecision=1039500 #constraints=5245
1540.08/1540.76	c nbDecision=1040000 #constraints=5246
1540.88/1541.53	c nbDecision=1040500 #constraints=5246
1541.59/1542.30	c nbDecision=1041000 #constraints=5246
1542.38/1543.06	c nbDecision=1041500 #constraints=5246
1543.18/1543.83	c nbDecision=1042000 #constraints=5246
1543.88/1544.59	c nbDecision=1042500 #constraints=5246
1544.68/1545.34	c nbDecision=1043000 #constraints=5246
1545.48/1546.10	c nbDecision=1043500 #constraints=5246
1546.18/1546.86	c nbDecision=1044000 #constraints=5246
1546.98/1547.62	c nbDecision=1044500 #constraints=5246
1547.68/1548.38	c nbDecision=1045000 #constraints=5246
1548.48/1549.13	c nbDecision=1045500 #constraints=5246
1549.18/1549.88	c nbDecision=1046000 #constraints=5246
1549.98/1550.63	c nbDecision=1046500 #constraints=5246
1550.68/1551.38	c nbDecision=1047000 #constraints=5246
1551.48/1552.11	c nbDecision=1047500 #constraints=5246
1552.18/1552.86	c nbDecision=1048000 #constraints=5246
1552.98/1553.60	c nbDecision=1048500 #constraints=5246
1553.68/1554.34	c nbDecision=1049000 #constraints=5246
1554.38/1555.08	c nbDecision=1049500 #constraints=5246
1555.18/1555.81	c nbDecision=1050000 #constraints=5246
1555.88/1556.55	c nbDecision=1050500 #constraints=5246
1556.58/1557.29	c nbDecision=1051000 #constraints=5246
1557.38/1558.02	c nbDecision=1051500 #constraints=5246
1558.08/1558.75	c nbDecision=1052000 #constraints=5246
1558.77/1559.49	c nbDecision=1052500 #constraints=5246
1559.57/1560.22	c nbDecision=1053000 #constraints=5246
1560.28/1560.95	c nbDecision=1053500 #constraints=5246
1560.97/1561.69	c nbDecision=1054000 #constraints=5246
1561.77/1562.41	c nbDecision=1054500 #constraints=5246
1562.48/1563.15	c nbDecision=1055000 #constraints=5246
1563.17/1563.88	c nbDecision=1055500 #constraints=5246
1563.97/1564.61	c nbDecision=1056000 #constraints=5246
1564.68/1565.35	c nbDecision=1056500 #constraints=5246
1565.37/1566.08	c nbDecision=1057000 #constraints=5246
1566.17/1566.81	c nbDecision=1057500 #constraints=5246
1566.88/1567.55	c nbDecision=1058000 #constraints=5246
1567.57/1568.28	c nbDecision=1058500 #constraints=5246
1568.37/1569.01	c nbDecision=1059000 #constraints=5246
1569.07/1569.73	c nbDecision=1059500 #constraints=5246
1569.77/1570.46	c nbDecision=1060000 #constraints=5246
1570.47/1571.18	c nbDecision=1060500 #constraints=5246
1571.17/1571.89	c nbDecision=1061000 #constraints=5246
1571.97/1572.66	c nbDecision=1061500 #constraints=5247
1572.77/1573.42	c nbDecision=1062000 #constraints=5247
1573.47/1574.19	c nbDecision=1062500 #constraints=5247
1574.27/1574.95	c nbDecision=1063000 #constraints=5247
1575.07/1575.70	c nbDecision=1063500 #constraints=5247
1575.77/1576.46	c nbDecision=1064000 #constraints=5247
1576.57/1577.21	c nbDecision=1064500 #constraints=5247
1577.27/1577.97	c nbDecision=1065000 #constraints=5247
1578.07/1578.72	c nbDecision=1065500 #constraints=5247
1578.77/1579.48	c nbDecision=1066000 #constraints=5247
1579.57/1580.23	c nbDecision=1066500 #constraints=5247
1580.27/1580.98	c nbDecision=1067000 #constraints=5247
1581.07/1581.74	c nbDecision=1067500 #constraints=5247
1581.77/1582.49	c nbDecision=1068000 #constraints=5247
1582.56/1583.24	c nbDecision=1068500 #constraints=5247
1583.27/1583.99	c nbDecision=1069000 #constraints=5247
1584.06/1584.75	c nbDecision=1069500 #constraints=5247
1584.76/1585.48	c nbDecision=1070000 #constraints=5247
1585.57/1586.23	c nbDecision=1070500 #constraints=5247
1586.26/1586.98	c nbDecision=1071000 #constraints=5247
1587.06/1587.73	c nbDecision=1071500 #constraints=5247
1587.77/1588.47	c nbDecision=1072000 #constraints=5247
1588.56/1589.22	c nbDecision=1072500 #constraints=5247
1589.26/1589.96	c nbDecision=1073000 #constraints=5247
1590.06/1590.70	c nbDecision=1073500 #constraints=5247
1590.76/1591.44	c nbDecision=1074000 #constraints=5247
1591.46/1592.17	c nbDecision=1074500 #constraints=5247
1592.26/1592.90	c nbDecision=1075000 #constraints=5247
1592.96/1593.63	c nbDecision=1075500 #constraints=5247
1593.66/1594.37	c nbDecision=1076000 #constraints=5247
1594.46/1595.10	c nbDecision=1076500 #constraints=5247
1595.16/1595.83	c nbDecision=1077000 #constraints=5247
1595.86/1596.55	c nbDecision=1077500 #constraints=5247
1596.56/1597.27	c nbDecision=1078000 #constraints=5247
1597.26/1598.00	c nbDecision=1078500 #constraints=5247
1598.06/1598.72	c nbDecision=1079000 #constraints=5247
1598.76/1599.45	c nbDecision=1079500 #constraints=5247
1599.45/1600.17	c nbDecision=1080000 #constraints=5247
1600.15/1600.89	c nbDecision=1080500 #constraints=5247
1600.96/1601.62	c nbDecision=1081000 #constraints=5247
1601.65/1602.35	c nbDecision=1081500 #constraints=5247
1602.35/1603.08	c nbDecision=1082000 #constraints=5247
1603.16/1603.81	c nbDecision=1082500 #constraints=5247
1603.85/1604.53	c nbDecision=1083000 #constraints=5247
1604.55/1605.26	c nbDecision=1083500 #constraints=5247
1605.36/1606.06	c nbDecision=1084000 #constraints=5248
1606.15/1606.83	c nbDecision=1084500 #constraints=5248
1606.85/1607.59	c nbDecision=1085000 #constraints=5248
1607.65/1608.35	c nbDecision=1085500 #constraints=5248
1608.45/1609.12	c nbDecision=1086000 #constraints=5248
1609.15/1609.88	c nbDecision=1086500 #constraints=5248
1609.95/1610.64	c nbDecision=1087000 #constraints=5248
1610.65/1611.40	c nbDecision=1087500 #constraints=5248
1611.45/1612.15	c nbDecision=1088000 #constraints=5248
1612.25/1612.90	c nbDecision=1088500 #constraints=5248
1612.95/1613.66	c nbDecision=1089000 #constraints=5248
1613.75/1614.41	c nbDecision=1089500 #constraints=5248
1614.45/1615.15	c nbDecision=1090000 #constraints=5248
1615.15/1615.89	c nbDecision=1090500 #constraints=5248
1615.95/1616.63	c nbDecision=1091000 #constraints=5248
1616.65/1617.37	c nbDecision=1091500 #constraints=5248
1617.45/1618.12	c nbDecision=1092000 #constraints=5248
1618.15/1618.86	c nbDecision=1092500 #constraints=5248
1618.94/1619.60	c nbDecision=1093000 #constraints=5248
1619.65/1620.33	c nbDecision=1093500 #constraints=5248
1620.34/1621.07	c nbDecision=1094000 #constraints=5248
1621.14/1621.81	c nbDecision=1094500 #constraints=5248
1621.85/1622.55	c nbDecision=1095000 #constraints=5248
1622.54/1623.30	c nbDecision=1095500 #constraints=5248
1623.34/1624.04	c nbDecision=1096000 #constraints=5248
1624.05/1624.78	c nbDecision=1096500 #constraints=5248
1624.84/1625.51	c nbDecision=1097000 #constraints=5248
1625.54/1626.25	c nbDecision=1097500 #constraints=5248
1626.25/1626.99	c nbDecision=1098000 #constraints=5248
1627.04/1627.73	c nbDecision=1098500 #constraints=5248
1627.74/1628.46	c nbDecision=1099000 #constraints=5248
1628.45/1629.19	c nbDecision=1099500 #constraints=5248
1629.24/1629.93	c nbDecision=1100000 #constraints=5248
1629.94/1630.66	c nbDecision=1100500 #constraints=5248
1630.65/1631.39	c nbDecision=1101000 #constraints=5248
1631.44/1632.12	c nbDecision=1101500 #constraints=5248
1632.14/1632.84	c nbDecision=1102000 #constraints=5248
1632.84/1633.55	c nbDecision=1102500 #constraints=5248
1633.54/1634.27	c nbDecision=1103000 #constraints=5248
1634.24/1634.99	c nbDecision=1103500 #constraints=5248
1635.05/1635.71	c nbDecision=1104000 #constraints=5248
1635.74/1636.43	c nbDecision=1104500 #constraints=5248
1636.44/1637.14	c nbDecision=1105000 #constraints=5248
1637.14/1637.86	c nbDecision=1105500 #constraints=5248
1637.94/1638.63	c nbDecision=1106000 #constraints=5249
1638.64/1639.39	c nbDecision=1106500 #constraints=5249
1639.44/1640.15	c nbDecision=1107000 #constraints=5249
1640.24/1640.91	c nbDecision=1107500 #constraints=5249
1640.94/1641.68	c nbDecision=1108000 #constraints=5249
1641.74/1642.44	c nbDecision=1108500 #constraints=5249
1642.54/1643.21	c nbDecision=1109000 #constraints=5249
1643.24/1643.97	c nbDecision=1109500 #constraints=5249
1644.04/1644.73	c nbDecision=1110000 #constraints=5249
1644.74/1645.48	c nbDecision=1110500 #constraints=5249
1645.54/1646.24	c nbDecision=1111000 #constraints=5249
1646.24/1646.99	c nbDecision=1111500 #constraints=5249
1647.04/1647.75	c nbDecision=1112000 #constraints=5249
1647.83/1648.50	c nbDecision=1112500 #constraints=5249
1648.53/1649.25	c nbDecision=1113000 #constraints=5249
1649.24/1649.99	c nbDecision=1113500 #constraints=5249
1650.03/1650.74	c nbDecision=1114000 #constraints=5249
1650.73/1651.48	c nbDecision=1114500 #constraints=5249
1651.54/1652.22	c nbDecision=1115000 #constraints=5249
1652.23/1652.96	c nbDecision=1115500 #constraints=5249
1652.93/1653.70	c nbDecision=1116000 #constraints=5249
1653.74/1654.43	c nbDecision=1116500 #constraints=5249
1654.43/1655.17	c nbDecision=1117000 #constraints=5249
1655.23/1655.91	c nbDecision=1117500 #constraints=5249
1655.94/1656.63	c nbDecision=1118000 #constraints=5249
1656.63/1657.37	c nbDecision=1118500 #constraints=5249
1657.43/1658.10	c nbDecision=1119000 #constraints=5249
1658.13/1658.83	c nbDecision=1119500 #constraints=5249
1658.83/1659.57	c nbDecision=1120000 #constraints=5249
1659.63/1660.30	c nbDecision=1120500 #constraints=5249
1660.33/1661.03	c nbDecision=1121000 #constraints=5249
1661.03/1661.77	c nbDecision=1121500 #constraints=5249
1661.73/1662.50	c nbDecision=1122000 #constraints=5249
1662.53/1663.23	c nbDecision=1122500 #constraints=5249
1663.23/1663.97	c nbDecision=1123000 #constraints=5249
1664.03/1664.70	c nbDecision=1123500 #constraints=5249
1664.73/1665.42	c nbDecision=1124000 #constraints=5249
1665.43/1666.15	c nbDecision=1124500 #constraints=5249
1666.13/1666.88	c nbDecision=1125000 #constraints=5249
1666.93/1667.60	c nbDecision=1125500 #constraints=5249
1667.63/1668.33	c nbDecision=1126000 #constraints=5249
1668.33/1669.06	c nbDecision=1126500 #constraints=5249
1669.03/1669.78	c nbDecision=1127000 #constraints=5249
1669.83/1670.50	c nbDecision=1127500 #constraints=5249
1670.53/1671.23	c nbDecision=1128000 #constraints=5249
1671.33/1672.02	c nbDecision=1128500 #constraints=5250
1672.02/1672.78	c nbDecision=1129000 #constraints=5250
1672.82/1673.54	c nbDecision=1129500 #constraints=5250
1673.62/1674.30	c nbDecision=1130000 #constraints=5250
1674.32/1675.06	c nbDecision=1130500 #constraints=5250
1675.12/1675.81	c nbDecision=1131000 #constraints=5250
1675.82/1676.57	c nbDecision=1131500 #constraints=5250
1676.62/1677.32	c nbDecision=1132000 #constraints=5250
1677.32/1678.08	c nbDecision=1132500 #constraints=5250
1678.12/1678.83	c nbDecision=1133000 #constraints=5250
1678.82/1679.57	c nbDecision=1133500 #constraints=5250
1679.62/1680.32	c nbDecision=1134000 #constraints=5250
1680.32/1681.08	c nbDecision=1134500 #constraints=5250
1681.13/1681.83	c nbDecision=1135000 #constraints=5250
1681.82/1682.58	c nbDecision=1135500 #constraints=5250
1682.62/1683.33	c nbDecision=1136000 #constraints=5250
1683.32/1684.08	c nbDecision=1136500 #constraints=5250
1684.12/1684.83	c nbDecision=1137000 #constraints=5250
1684.82/1685.56	c nbDecision=1137500 #constraints=5250
1685.62/1686.31	c nbDecision=1138000 #constraints=5250
1686.32/1687.06	c nbDecision=1138500 #constraints=5250
1687.12/1687.80	c nbDecision=1139000 #constraints=5250
1687.82/1688.53	c nbDecision=1139500 #constraints=5250
1688.52/1689.28	c nbDecision=1140000 #constraints=5250
1689.32/1690.02	c nbDecision=1140500 #constraints=5250
1690.02/1690.76	c nbDecision=1141000 #constraints=5250
1690.72/1691.49	c nbDecision=1141500 #constraints=5250
1691.52/1692.22	c nbDecision=1142000 #constraints=5250
1692.22/1692.95	c nbDecision=1142500 #constraints=5250
1692.92/1693.68	c nbDecision=1143000 #constraints=5250
1693.72/1694.41	c nbDecision=1143500 #constraints=5250
1694.43/1695.13	c nbDecision=1144000 #constraints=5250
1695.12/1695.86	c nbDecision=1144500 #constraints=5250
1695.82/1696.59	c nbDecision=1145000 #constraints=5250
1696.63/1697.32	c nbDecision=1145500 #constraints=5250
1697.32/1698.04	c nbDecision=1146000 #constraints=5250
1698.02/1698.76	c nbDecision=1146500 #constraints=5250
1698.73/1699.47	c nbDecision=1147000 #constraints=5250
1699.42/1700.19	c nbDecision=1147500 #constraints=5250
1700.22/1700.92	c nbDecision=1148000 #constraints=5250
1700.93/1701.63	c nbDecision=1148500 #constraints=5250
1701.62/1702.36	c nbDecision=1149000 #constraints=5250
1702.32/1703.09	c nbDecision=1149500 #constraints=5250
1703.13/1703.81	c nbDecision=1150000 #constraints=5250
1703.82/1704.59	c nbDecision=1150500 #constraints=5251
1704.62/1705.36	c nbDecision=1151000 #constraints=5251
1705.42/1706.13	c nbDecision=1151500 #constraints=5251
1706.12/1706.89	c nbDecision=1152000 #constraints=5251
1706.92/1707.65	c nbDecision=1152500 #constraints=5251
1707.72/1708.42	c nbDecision=1153000 #constraints=5251
1708.42/1709.18	c nbDecision=1153500 #constraints=5251
1709.22/1709.93	c nbDecision=1154000 #constraints=5251
1709.92/1710.68	c nbDecision=1154500 #constraints=5251
1710.72/1711.43	c nbDecision=1155000 #constraints=5251
1711.42/1712.18	c nbDecision=1155500 #constraints=5251
1712.22/1712.93	c nbDecision=1156000 #constraints=5251
1712.92/1713.68	c nbDecision=1156500 #constraints=5251
1713.72/1714.42	c nbDecision=1157000 #constraints=5251
1714.42/1715.17	c nbDecision=1157500 #constraints=5251
1715.22/1715.91	c nbDecision=1158000 #constraints=5251
1715.92/1716.65	c nbDecision=1158500 #constraints=5251
1716.62/1717.39	c nbDecision=1159000 #constraints=5251
1717.42/1718.13	c nbDecision=1159500 #constraints=5251
1718.12/1718.87	c nbDecision=1160000 #constraints=5251
1718.91/1719.61	c nbDecision=1160500 #constraints=5251
1719.62/1720.34	c nbDecision=1161000 #constraints=5251
1720.31/1721.08	c nbDecision=1161500 #constraints=5251
1721.11/1721.82	c nbDecision=1162000 #constraints=5251
1721.82/1722.56	c nbDecision=1162500 #constraints=5251
1722.51/1723.29	c nbDecision=1163000 #constraints=5251
1723.31/1724.03	c nbDecision=1163500 #constraints=5251
1724.02/1724.77	c nbDecision=1164000 #constraints=5251
1724.81/1725.50	c nbDecision=1164500 #constraints=5251
1725.51/1726.23	c nbDecision=1165000 #constraints=5251
1726.21/1726.97	c nbDecision=1165500 #constraints=5251
1727.01/1727.70	c nbDecision=1166000 #constraints=5251
1727.71/1728.43	c nbDecision=1166500 #constraints=5251
1728.41/1729.16	c nbDecision=1167000 #constraints=5251
1729.11/1729.89	c nbDecision=1167500 #constraints=5251
1729.91/1730.60	c nbDecision=1168000 #constraints=5251
1730.61/1731.33	c nbDecision=1168500 #constraints=5251
1731.31/1732.06	c nbDecision=1169000 #constraints=5251
1732.01/1732.78	c nbDecision=1169500 #constraints=5251
1732.71/1733.49	c nbDecision=1170000 #constraints=5251
1733.51/1734.21	c nbDecision=1170500 #constraints=5251
1734.21/1734.93	c nbDecision=1171000 #constraints=5251
1734.91/1735.64	c nbDecision=1171500 #constraints=5251
1735.71/1736.41	c nbDecision=1172000 #constraints=5252
1736.41/1737.18	c nbDecision=1172500 #constraints=5252
1737.21/1737.94	c nbDecision=1173000 #constraints=5252
1737.91/1738.68	c nbDecision=1173500 #constraints=5252
1738.71/1739.43	c nbDecision=1174000 #constraints=5252
1739.41/1740.19	c nbDecision=1174500 #constraints=5252
1740.21/1740.94	c nbDecision=1175000 #constraints=5252
1741.01/1741.70	c nbDecision=1175500 #constraints=5252
1741.71/1742.46	c nbDecision=1176000 #constraints=5252
1742.50/1743.22	c nbDecision=1176500 #constraints=5252
1743.20/1743.97	c nbDecision=1177000 #constraints=5252
1744.00/1744.73	c nbDecision=1177500 #constraints=5252
1744.70/1745.48	c nbDecision=1178000 #constraints=5252
1745.50/1746.22	c nbDecision=1178500 #constraints=5252
1746.20/1746.98	c nbDecision=1179000 #constraints=5252
1747.00/1747.73	c nbDecision=1179500 #constraints=5252
1747.70/1748.47	c nbDecision=1180000 #constraints=5252
1748.50/1749.22	c nbDecision=1180500 #constraints=5252
1749.20/1749.96	c nbDecision=1181000 #constraints=5252
1749.90/1750.69	c nbDecision=1181500 #constraints=5252
1750.70/1751.43	c nbDecision=1182000 #constraints=5252
1751.40/1752.16	c nbDecision=1182500 #constraints=5252
1752.20/1752.90	c nbDecision=1183000 #constraints=5252
1752.90/1753.62	c nbDecision=1183500 #constraints=5252
1753.60/1754.35	c nbDecision=1184000 #constraints=5252
1754.30/1755.08	c nbDecision=1184500 #constraints=5252
1755.10/1755.82	c nbDecision=1185000 #constraints=5252
1755.80/1756.55	c nbDecision=1185500 #constraints=5252
1756.50/1757.28	c nbDecision=1186000 #constraints=5252
1757.30/1758.01	c nbDecision=1186500 #constraints=5252
1758.00/1758.74	c nbDecision=1187000 #constraints=5252
1758.69/1759.47	c nbDecision=1187500 #constraints=5252
1759.39/1760.20	c nbDecision=1188000 #constraints=5252
1760.19/1760.92	c nbDecision=1188500 #constraints=5252
1760.89/1761.65	c nbDecision=1189000 #constraints=5252
1761.59/1762.38	c nbDecision=1189500 #constraints=5252
1762.39/1763.11	c nbDecision=1190000 #constraints=5252
1763.09/1763.84	c nbDecision=1190500 #constraints=5252
1763.79/1764.56	c nbDecision=1191000 #constraints=5252
1764.49/1765.29	c nbDecision=1191500 #constraints=5252
1765.29/1766.02	c nbDecision=1192000 #constraints=5252
1765.99/1766.75	c nbDecision=1192500 #constraints=5252
1766.69/1767.47	c nbDecision=1193000 #constraints=5252
1767.39/1768.19	c nbDecision=1193500 #constraints=5252
1768.19/1768.95	c nbDecision=1194000 #constraints=5253
1768.99/1769.71	c nbDecision=1194500 #constraints=5253
1769.69/1770.47	c nbDecision=1195000 #constraints=5253
1770.49/1771.24	c nbDecision=1195500 #constraints=5253
1771.19/1772.00	c nbDecision=1196000 #constraints=5253
1771.99/1772.74	c nbDecision=1196500 #constraints=5253
1772.79/1773.50	c nbDecision=1197000 #constraints=5253
1773.49/1774.25	c nbDecision=1197500 #constraints=5253
1774.29/1775.00	c nbDecision=1198000 #constraints=5253
1774.99/1775.75	c nbDecision=1198500 #constraints=5253
1775.69/1776.50	c nbDecision=1199000 #constraints=5253
1776.49/1777.25	c nbDecision=1199500 #constraints=5253
1777.19/1777.99	c nbDecision=1200000 #constraints=5253
1777.99/1778.73	c nbDecision=1200500 #constraints=5253
1778.69/1779.48	c nbDecision=1201000 #constraints=5253
1779.49/1780.22	c nbDecision=1201500 #constraints=5253
1780.19/1780.96	c nbDecision=1202000 #constraints=5253
1780.99/1781.70	c nbDecision=1202500 #constraints=5253
1781.69/1782.45	c nbDecision=1203000 #constraints=5253
1782.39/1783.19	c nbDecision=1203500 #constraints=5253
1783.19/1783.94	c nbDecision=1204000 #constraints=5253
1783.88/1784.68	c nbDecision=1204500 #constraints=5253
1784.68/1785.42	c nbDecision=1205000 #constraints=5253
1785.38/1786.16	c nbDecision=1205500 #constraints=5253
1786.18/1786.90	c nbDecision=1206000 #constraints=5253
1786.88/1787.63	c nbDecision=1206500 #constraints=5253
1787.59/1788.37	c nbDecision=1207000 #constraints=5253
1788.38/1789.11	c nbDecision=1207500 #constraints=5253
1789.08/1789.84	c nbDecision=1208000 #constraints=5253
1789.78/1790.57	c nbDecision=1208500 #constraints=5253
1790.58/1791.30	c nbDecision=1209000 #constraints=5253
1791.28/1792.03	c nbDecision=1209500 #constraints=5253
1791.98/1792.76	c nbDecision=1210000 #constraints=5253
1792.68/1793.48	c nbDecision=1210500 #constraints=5253
1793.48/1794.21	c nbDecision=1211000 #constraints=5253
1794.18/1794.93	c nbDecision=1211500 #constraints=5253
1794.88/1795.64	c nbDecision=1212000 #constraints=5253
1795.59/1796.36	c nbDecision=1212500 #constraints=5253
1796.28/1797.08	c nbDecision=1213000 #constraints=5253
1797.08/1797.80	c nbDecision=1213500 #constraints=5253
1797.79/1798.51	c nbDecision=1214000 #constraints=5253
1798.48/1799.23	c nbDecision=1214500 #constraints=5253
1799.18/1799.94	c nbDecision=1215000 #constraints=5253
1799.88/1800.70	c nbDecision=1215500 #constraints=5254
1800.08/1800.80	Received signal 15
1800.08/1800.80	
1800.08/1800.80	s UNKNOWN
1800.08/1800.80	
1800.08/1800.80	c user time= 1799.92 s
1800.08/1800.80	c system time= 0.178972 s
1800.08/1800.80	c wall clock time=1800.81

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node39/watcher-356910-1176847747 -o ROOT/results/node39/solver-356910-1176847747 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356910-1176847747/instance-356910-1176847747.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.78 0.95 0.98 3/77 20045
/proc/meminfo: memFree=1881840/2055920 swapFree=4115584/4192956
[pid=20045] ppid=20043 vsize=1620 CPUtime=0
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132686771 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 405 175 126 317 0 84 0

[startup+0.00988894 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 20045
/proc/meminfo: memFree=1881840/2055920 swapFree=4115584/4192956
[pid=20045] ppid=20043 vsize=1752 CPUtime=0
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 228 0 0 0 0 0 0 0 18 0 1 0 132686771 1794048 210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 438 210 126 317 0 117 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1752

[startup+0.102904 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 20045
/proc/meminfo: memFree=1881840/2055920 swapFree=4115584/4192956
[pid=20045] ppid=20043 vsize=3440 CPUtime=0.1
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 795 0 0 0 10 0 0 0 18 0 1 0 132686771 3522560 550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 860 550 127 317 0 539 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3440

[startup+0.302939 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 20045
/proc/meminfo: memFree=1881840/2055920 swapFree=4115584/4192956
[pid=20045] ppid=20043 vsize=7212 CPUtime=0.29
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 1715 0 0 0 29 0 0 0 19 0 1 0 132686771 7385088 1470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 1803 1470 131 317 0 1482 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7212

[startup+0.702004 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 20045
/proc/meminfo: memFree=1881840/2055920 swapFree=4115584/4192956
[pid=20045] ppid=20043 vsize=16188 CPUtime=0.69
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 3967 0 0 0 68 1 0 0 22 0 1 0 132686771 16576512 3722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831126 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 4047 3722 131 317 0 3726 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16188

[startup+1.50114 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 20046
/proc/meminfo: memFree=1853160/2055920 swapFree=4115584/4192956
[pid=20045] ppid=20043 vsize=33908 CPUtime=1.49
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8415 0 0 0 146 3 0 0 25 0 1 0 132686771 34721792 8170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8477 8170 137 317 0 8156 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33908

[startup+3.10141 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 20046
/proc/meminfo: memFree=1849384/2055920 swapFree=4115584/4192956
[pid=20045] ppid=20043 vsize=34040 CPUtime=3.09
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8424 0 0 0 306 3 0 0 25 0 1 0 132686771 34856960 8179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8510 8179 138 317 0 8189 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34040

[startup+6.30195 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 20046
/proc/meminfo: memFree=1849192/2055920 swapFree=4115584/4192956
[pid=20045] ppid=20043 vsize=34040 CPUtime=6.29
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8426 0 0 0 626 3 0 0 25 0 1 0 132686771 34856960 8181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8510 8181 138 317 0 8189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34040

[startup+12.702 s]
/proc/loadavg: 0.83 0.95 0.98 2/78 20046
/proc/meminfo: memFree=1849200/2055920 swapFree=4115584/4192956
[pid=20045] ppid=20043 vsize=34040 CPUtime=12.69
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8428 0 0 0 1266 3 0 0 25 0 1 0 132686771 34856960 8183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8510 8183 138 317 0 8189 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34040

[startup+25.5012 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 20046
/proc/meminfo: memFree=1849200/2055920 swapFree=4115584/4192956
[pid=20045] ppid=20043 vsize=34040 CPUtime=25.48
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8434 0 0 0 2545 3 0 0 25 0 1 0 132686771 34856960 8189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8510 8189 138 317 0 8189 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34040

[startup+51.1025 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 20046
/proc/meminfo: memFree=1849136/2055920 swapFree=4115584/4192956
[pid=20045] ppid=20043 vsize=34040 CPUtime=51.07
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8445 0 0 0 5104 3 0 0 25 0 1 0 132686771 34856960 8200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8510 8200 138 317 0 8189 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34040

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 20046
/proc/meminfo: memFree=1849072/2055920 swapFree=4115648/4192956
[pid=20045] ppid=20043 vsize=34148 CPUtime=102.26
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8464 0 0 0 10222 4 0 0 25 0 1 0 132686771 34967552 8219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8537 8219 138 317 0 8216 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34148

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 20046
/proc/meminfo: memFree=1848880/2055920 swapFree=4115648/4192956
[pid=20045] ppid=20043 vsize=34288 CPUtime=162.23
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8511 0 0 0 16219 4 0 0 25 0 1 0 132686771 35110912 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8572 8230 139 317 0 8251 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 34288

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20046
/proc/meminfo: memFree=1848880/2055920 swapFree=4115648/4192956
[pid=20045] ppid=20043 vsize=34288 CPUtime=222.21
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8511 0 0 0 22216 5 0 0 25 0 1 0 132686771 35110912 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8572 8230 139 317 0 8251 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 34288

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20046
/proc/meminfo: memFree=1848944/2055920 swapFree=4115712/4192956
[pid=20045] ppid=20043 vsize=34288 CPUtime=282.19
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8511 0 0 0 28214 5 0 0 25 0 1 0 132686771 35110912 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8572 8230 139 317 0 8251 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 34288

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20046
/proc/meminfo: memFree=1848944/2055920 swapFree=4115712/4192956
[pid=20045] ppid=20043 vsize=34288 CPUtime=342.17
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8511 0 0 0 34211 6 0 0 25 0 1 0 132686771 35110912 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8572 8230 139 317 0 8251 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 34288

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20046
/proc/meminfo: memFree=1848944/2055920 swapFree=4115776/4192956
[pid=20045] ppid=20043 vsize=34288 CPUtime=402.13
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8511 0 0 0 40207 6 0 0 25 0 1 0 132686771 35110912 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8572 8230 139 317 0 8251 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 34288

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20046
/proc/meminfo: memFree=1849072/2055920 swapFree=4115776/4192956
[pid=20045] ppid=20043 vsize=34288 CPUtime=462.11
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8511 0 0 0 46204 7 0 0 25 0 1 0 132686771 35110912 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8572 8230 139 317 0 8251 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 34288

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20046
/proc/meminfo: memFree=1849008/2055920 swapFree=4115776/4192956
[pid=20045] ppid=20043 vsize=34416 CPUtime=522.08
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8518 0 0 0 52201 7 0 0 25 0 1 0 132686771 35241984 8237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8604 8237 139 317 0 8283 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 34416

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20046
/proc/meminfo: memFree=1849008/2055920 swapFree=4115840/4192956
[pid=20045] ppid=20043 vsize=34416 CPUtime=582.06
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8521 0 0 0 58198 8 0 0 25 0 1 0 132686771 35241984 8240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8604 8240 139 317 0 8283 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 34416

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20046
/proc/meminfo: memFree=1849008/2055920 swapFree=4115840/4192956
[pid=20045] ppid=20043 vsize=34416 CPUtime=642.04
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8521 0 0 0 64196 8 0 0 25 0 1 0 132686771 35241984 8240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8604 8240 139 317 0 8283 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 34416


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

[startup+822.302 s]
/proc/loadavg: 1.05 1.00 0.99 2/78 20046
/proc/meminfo: memFree=1848880/2055920 swapFree=4115904/4192956
[pid=20045] ppid=20043 vsize=34416 CPUtime=821.97
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8529 0 0 0 82187 10 0 0 25 0 1 0 132686771 35241984 8248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8604 8248 139 317 0 8283 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 34416

[startup+882.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 20046
/proc/meminfo: memFree=1848944/2055920 swapFree=4115968/4192956
[pid=20045] ppid=20043 vsize=34416 CPUtime=881.94
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8532 0 0 0 88184 10 0 0 25 0 1 0 132686771 35241984 8251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8604 8251 139 317 0 8283 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 34416

[startup+942.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 20046
/proc/meminfo: memFree=1848944/2055920 swapFree=4115968/4192956
[pid=20045] ppid=20043 vsize=34416 CPUtime=941.93
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8534 0 0 0 94182 11 0 0 25 0 1 0 132686771 35241984 8253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8604 8253 139 317 0 8283 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 34416

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20046
/proc/meminfo: memFree=1848880/2055920 swapFree=4116032/4192956
[pid=20045] ppid=20043 vsize=34416 CPUtime=1001.9
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8537 0 0 0 100179 11 0 0 25 0 1 0 132686771 35241984 8256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8604 8256 139 317 0 8283 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 34416

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20046
/proc/meminfo: memFree=1848880/2055920 swapFree=4116032/4192956
[pid=20045] ppid=20043 vsize=34416 CPUtime=1061.89
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8539 0 0 0 106177 12 0 0 25 0 1 0 132686771 35241984 8258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8604 8258 139 317 0 8283 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 34416

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20046
/proc/meminfo: memFree=1848816/2055920 swapFree=4116032/4192956
[pid=20045] ppid=20043 vsize=34416 CPUtime=1121.86
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8543 0 0 0 112174 12 0 0 25 0 1 0 132686771 35241984 8262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8604 8262 139 317 0 8283 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 34416

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20046
/proc/meminfo: memFree=1848880/2055920 swapFree=4116096/4192956
[pid=20045] ppid=20043 vsize=34416 CPUtime=1181.83
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8544 0 0 0 118170 13 0 0 25 0 1 0 132686771 35241984 8263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8604 8263 139 317 0 8283 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 34416

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20046
/proc/meminfo: memFree=1848752/2055920 swapFree=4116096/4192956
[pid=20045] ppid=20043 vsize=34416 CPUtime=1241.8
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8546 0 0 0 124167 13 0 0 25 0 1 0 132686771 35241984 8265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8604 8265 139 317 0 8283 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 34416

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20046
/proc/meminfo: memFree=1848624/2055920 swapFree=4116160/4192956
[pid=20045] ppid=20043 vsize=34548 CPUtime=1301.79
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8549 0 0 0 130165 14 0 0 25 0 1 0 132686771 35377152 8268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8637 8268 139 317 0 8316 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 34548

[startup+1362.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 20046
/proc/meminfo: memFree=1848624/2055920 swapFree=4116160/4192956
[pid=20045] ppid=20043 vsize=34548 CPUtime=1361.75
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8551 0 0 0 136161 14 0 0 25 0 1 0 132686771 35377152 8270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8637 8270 139 317 0 8316 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 34548

[startup+1422.31 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 20046
/proc/meminfo: memFree=1848688/2055920 swapFree=4116224/4192956
[pid=20045] ppid=20043 vsize=34548 CPUtime=1421.73
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8554 0 0 0 142158 15 0 0 25 0 1 0 132686771 35377152 8273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8637 8273 139 317 0 8316 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 34548

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20046
/proc/meminfo: memFree=1848560/2055920 swapFree=4116224/4192956
[pid=20045] ppid=20043 vsize=34548 CPUtime=1481.7
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8557 0 0 0 148155 15 0 0 25 0 1 0 132686771 35377152 8276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8637 8276 139 317 0 8316 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 34548

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20046
/proc/meminfo: memFree=1848688/2055920 swapFree=4116224/4192956
[pid=20045] ppid=20043 vsize=34548 CPUtime=1541.68
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8560 0 0 0 154152 16 0 0 25 0 1 0 132686771 35377152 8279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8637 8279 139 317 0 8316 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 34548

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20046
/proc/meminfo: memFree=1848688/2055920 swapFree=4116288/4192956
[pid=20045] ppid=20043 vsize=34548 CPUtime=1601.65
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8561 0 0 0 160149 16 0 0 25 0 1 0 132686771 35377152 8280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8637 8280 139 317 0 8316 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 34548

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20046
/proc/meminfo: memFree=1848688/2055920 swapFree=4116288/4192956
[pid=20045] ppid=20043 vsize=34548 CPUtime=1661.63
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8565 0 0 0 166147 16 0 0 25 0 1 0 132686771 35377152 8284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8637 8284 139 317 0 8316 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 34548

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20046
/proc/meminfo: memFree=1848688/2055920 swapFree=4116352/4192956
[pid=20045] ppid=20043 vsize=34548 CPUtime=1721.61
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8568 0 0 0 172144 17 0 0 25 0 1 0 132686771 35377152 8287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8637 8287 139 317 0 8316 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 34548

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20048
/proc/meminfo: memFree=1848624/2055920 swapFree=4116352/4192956
[pid=20045] ppid=20043 vsize=34548 CPUtime=1781.59
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8571 0 0 0 178142 17 0 0 25 0 1 0 132686771 35377152 8290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8637 8290 139 317 0 8316 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 34548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20048
/proc/meminfo: memFree=1848560/2055920 swapFree=4116352/4192956
[pid=20045] ppid=20043 vsize=34548 CPUtime=1800.08
/proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8573 0 0 0 179991 17 0 0 25 0 1 0 132686771 35377152 8292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20045/statm: 8637 8292 139 317 0 8316 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 34548

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

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

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.12
CPU user time (s): 1799.93
CPU system time (s): 0.183972
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 34548

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

runsolver used 2.00769 second user time and 4.66929 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Tue Apr 17 22:09:07 UTC 2007

IDJOB= 356910
IDBENCH= 1623
IDSOLVER= 172
FILE ID= node39/356910-1176847747

PBS_JOBID= 4590220

Free space on /tmp= 66479 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  cc797868c6f9cb3811b8dc2300ad7f9f

RANDOM SEED= 541416094

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1882312 kB
Buffers:         32580 kB
Cached:          75124 kB
SwapCached:      23400 kB
Active:          88508 kB
Inactive:        52412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1882312 kB
SwapTotal:     4192956 kB
SwapFree:      4115584 kB
Dirty:            5060 kB
Writeback:           0 kB
Mapped:          30252 kB
Slab:            18052 kB
Committed_AS:  1752128 kB
PageTables:       2012 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= 66479 MiB

End job on node39 on Tue Apr 17 22:39:10 UTC 2007