Trace number 356914

Some explanations

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

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

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

Solver answer on this benchmark

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

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-B2C1S1.opb
MD5SUMf34eb2d99785ba17979b01527e1f0026
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.92	c ...done
0.89/0.92	c #vars=107808 #constraints=5185 hasObjective=yes
1.39/1.43	c res. mode=mod
1.39/1.43	c VSIDS like heuristics
1.39/1.43	c complete search running
2.09/2.17	c restart after 401 decisions
2.29/2.32	c nbDecision=500 #constraints=5185
2.79/2.80	c restart after 801 decisions
3.09/3.11	c nbDecision=1000 #constraints=5185
3.79/3.89	c nbDecision=1500 #constraints=5185
3.99/4.04	c restart after 1601 decisions
4.59/4.67	c nbDecision=2000 #constraints=5185
5.40/5.44	c nbDecision=2500 #constraints=5185
6.19/6.22	c nbDecision=3000 #constraints=5185
6.50/6.54	c restart after 3201 decisions
6.99/7.01	c nbDecision=3500 #constraints=5185
7.70/7.79	c nbDecision=4000 #constraints=5185
8.49/8.58	c nbDecision=4500 #constraints=5185
9.29/9.36	c nbDecision=5000 #constraints=5185
10.09/10.14	c nbDecision=5500 #constraints=5185
10.90/10.91	c nbDecision=6000 #constraints=5185
11.49/11.54	c restart after 6401 decisions
11.69/11.70	c nbDecision=6500 #constraints=5185
12.39/12.48	c nbDecision=7000 #constraints=5185
13.20/13.27	c nbDecision=7500 #constraints=5185
13.99/14.05	c nbDecision=8000 #constraints=5185
14.79/14.83	c nbDecision=8500 #constraints=5185
15.59/15.61	c nbDecision=9000 #constraints=5185
16.29/16.38	c nbDecision=9500 #constraints=5185
17.09/17.14	c nbDecision=10000 #constraints=5185
17.89/17.91	c nbDecision=10500 #constraints=5185
18.59/18.68	c nbDecision=11000 #constraints=5185
19.39/19.44	c nbDecision=11500 #constraints=5185
20.19/20.21	c nbDecision=12000 #constraints=5185
20.89/20.97	c nbDecision=12500 #constraints=5185
21.39/21.43	c restart after 12801 decisions
21.69/21.75	c nbDecision=13000 #constraints=5185
22.49/22.52	c nbDecision=13500 #constraints=5185
23.19/23.30	c nbDecision=14000 #constraints=5185
23.99/24.07	c nbDecision=14500 #constraints=5185
24.79/24.84	c nbDecision=15000 #constraints=5185
25.48/25.61	c nbDecision=15500 #constraints=5185
26.29/26.39	c nbDecision=16000 #constraints=5185
27.08/27.17	c nbDecision=16500 #constraints=5185
27.88/27.94	c nbDecision=17000 #constraints=5185
28.68/28.71	c nbDecision=17500 #constraints=5185
29.38/29.48	c nbDecision=18000 #constraints=5185
30.18/30.25	c nbDecision=18500 #constraints=5185
30.98/31.02	c nbDecision=19000 #constraints=5185
31.68/31.79	c nbDecision=19500 #constraints=5185
32.48/32.56	c nbDecision=20000 #constraints=5185
33.28/33.32	c nbDecision=20500 #constraints=5185
33.99/34.08	c nbDecision=21000 #constraints=5185
34.78/34.85	c nbDecision=21500 #constraints=5185
35.58/35.60	c nbDecision=22000 #constraints=5185
36.28/36.36	c nbDecision=22500 #constraints=5185
37.08/37.11	c nbDecision=23000 #constraints=5185
37.78/37.86	c nbDecision=23500 #constraints=5185
38.58/38.61	c nbDecision=24000 #constraints=5185
39.28/39.35	c nbDecision=24500 #constraints=5185
40.08/40.10	c nbDecision=25000 #constraints=5185
40.78/40.84	c nbDecision=25500 #constraints=5185
40.88/40.99	c restart after 25601 decisions
41.58/41.63	c nbDecision=26000 #constraints=5185
42.38/42.41	c nbDecision=26500 #constraints=5185
43.08/43.18	c nbDecision=27000 #constraints=5185
43.88/43.95	c nbDecision=27500 #constraints=5185
44.68/44.73	c nbDecision=28000 #constraints=5185
45.38/45.50	c nbDecision=28500 #constraints=5185
46.18/46.27	c nbDecision=29000 #constraints=5185
46.98/47.05	c nbDecision=29500 #constraints=5185
47.78/47.82	c nbDecision=30000 #constraints=5185
48.48/48.59	c nbDecision=30500 #constraints=5185
49.28/49.36	c nbDecision=31000 #constraints=5185
50.08/50.13	c nbDecision=31500 #constraints=5185
50.78/50.89	c nbDecision=32000 #constraints=5185
51.58/51.64	c nbDecision=32500 #constraints=5185
52.28/52.39	c nbDecision=33000 #constraints=5185
53.08/53.15	c nbDecision=33500 #constraints=5185
53.88/53.90	c nbDecision=34000 #constraints=5185
54.58/54.65	c nbDecision=34500 #constraints=5185
55.38/55.40	c nbDecision=35000 #constraints=5185
56.08/56.14	c nbDecision=35500 #constraints=5185
56.78/56.88	c nbDecision=36000 #constraints=5185
57.57/57.61	c nbDecision=36500 #constraints=5185
58.28/58.35	c nbDecision=37000 #constraints=5185
59.07/59.10	c nbDecision=37500 #constraints=5185
59.77/59.84	c nbDecision=38000 #constraints=5185
60.48/60.59	c nbDecision=38500 #constraints=5185
61.27/61.33	c nbDecision=39000 #constraints=5185
61.97/62.07	c nbDecision=39500 #constraints=5185
62.77/62.81	c nbDecision=40000 #constraints=5185
63.47/63.55	c nbDecision=40500 #constraints=5185
64.17/64.29	c nbDecision=41000 #constraints=5185
64.97/65.02	c nbDecision=41500 #constraints=5185
65.67/65.76	c nbDecision=42000 #constraints=5185
66.47/66.50	c nbDecision=42500 #constraints=5185
67.17/67.24	c nbDecision=43000 #constraints=5185
67.87/67.98	c nbDecision=43500 #constraints=5185
68.67/68.72	c nbDecision=44000 #constraints=5185
69.37/69.46	c nbDecision=44500 #constraints=5185
70.17/70.20	c nbDecision=45000 #constraints=5185
70.87/70.94	c nbDecision=45500 #constraints=5185
71.57/71.67	c nbDecision=46000 #constraints=5185
72.37/72.41	c nbDecision=46500 #constraints=5185
73.07/73.14	c nbDecision=47000 #constraints=5185
73.77/73.88	c nbDecision=47500 #constraints=5185
74.57/74.61	c nbDecision=48000 #constraints=5185
75.27/75.34	c nbDecision=48500 #constraints=5185
75.97/76.07	c nbDecision=49000 #constraints=5185
76.68/76.79	c nbDecision=49500 #constraints=5185
77.48/77.51	c nbDecision=50000 #constraints=5185
78.18/78.23	c nbDecision=50500 #constraints=5185
78.87/78.95	c nbDecision=51000 #constraints=5185
79.18/79.24	c restart after 51201 decisions
79.67/79.74	c nbDecision=51500 #constraints=5185
80.47/80.52	c nbDecision=52000 #constraints=5185
81.17/81.29	c nbDecision=52500 #constraints=5185
81.97/82.06	c nbDecision=53000 #constraints=5185
82.77/82.83	c nbDecision=53500 #constraints=5185
83.58/83.61	c nbDecision=54000 #constraints=5185
84.27/84.37	c nbDecision=54500 #constraints=5185
85.07/85.14	c nbDecision=55000 #constraints=5185
85.87/85.91	c nbDecision=55500 #constraints=5185
86.57/86.69	c nbDecision=56000 #constraints=5185
87.37/87.46	c nbDecision=56500 #constraints=5185
88.17/88.23	c nbDecision=57000 #constraints=5185
88.87/88.98	c nbDecision=57500 #constraints=5185
89.67/89.74	c nbDecision=58000 #constraints=5185
90.47/90.50	c nbDecision=58500 #constraints=5185
91.17/91.26	c nbDecision=59000 #constraints=5185
91.97/92.00	c nbDecision=59500 #constraints=5185
92.67/92.76	c nbDecision=60000 #constraints=5185
93.47/93.51	c nbDecision=60500 #constraints=5185
94.17/94.26	c nbDecision=61000 #constraints=5185
94.97/95.00	c nbDecision=61500 #constraints=5185
95.67/95.75	c nbDecision=62000 #constraints=5185
96.37/96.49	c nbDecision=62500 #constraints=5185
97.17/97.23	c nbDecision=63000 #constraints=5185
97.87/97.98	c nbDecision=63500 #constraints=5185
98.67/98.72	c nbDecision=64000 #constraints=5185
99.37/99.47	c nbDecision=64500 #constraints=5185
100.17/100.21	c nbDecision=65000 #constraints=5185
100.87/100.95	c nbDecision=65500 #constraints=5185
101.57/101.69	c nbDecision=66000 #constraints=5185
102.37/102.43	c nbDecision=66500 #constraints=5185
103.07/103.16	c nbDecision=67000 #constraints=5185
103.87/103.90	c nbDecision=67500 #constraints=5185
104.57/104.63	c nbDecision=68000 #constraints=5185
105.27/105.37	c nbDecision=68500 #constraints=5185
106.06/106.10	c nbDecision=69000 #constraints=5185
106.76/106.84	c nbDecision=69500 #constraints=5185
107.46/107.58	c nbDecision=70000 #constraints=5185
108.26/108.32	c nbDecision=70500 #constraints=5185
108.96/109.06	c nbDecision=71000 #constraints=5185
109.66/109.79	c nbDecision=71500 #constraints=5185
110.46/110.53	c nbDecision=72000 #constraints=5185
111.16/111.26	c nbDecision=72500 #constraints=5185
111.86/111.99	c nbDecision=73000 #constraints=5185
112.66/112.73	c nbDecision=73500 #constraints=5185
113.36/113.46	c nbDecision=74000 #constraints=5185
114.06/114.19	c nbDecision=74500 #constraints=5185
114.86/114.92	c nbDecision=75000 #constraints=5185
115.56/115.65	c nbDecision=75500 #constraints=5185
116.26/116.37	c nbDecision=76000 #constraints=5185
116.96/117.09	c nbDecision=76500 #constraints=5185
117.76/117.81	c nbDecision=77000 #constraints=5185
118.46/118.53	c nbDecision=77500 #constraints=5185
119.16/119.25	c nbDecision=78000 #constraints=5185
119.86/119.97	c nbDecision=78500 #constraints=5185
120.66/120.72	c nbDecision=79000 #constraints=5186
121.36/121.46	c nbDecision=79500 #constraints=5186
122.06/122.19	c nbDecision=80000 #constraints=5186
122.86/122.93	c nbDecision=80500 #constraints=5186
123.56/123.66	c nbDecision=81000 #constraints=5186
124.26/124.39	c nbDecision=81500 #constraints=5186
125.06/125.12	c nbDecision=82000 #constraints=5186
125.76/125.85	c nbDecision=82500 #constraints=5186
126.46/126.59	c nbDecision=83000 #constraints=5186
127.26/127.33	c nbDecision=83500 #constraints=5186
127.96/128.06	c nbDecision=84000 #constraints=5186
128.66/128.80	c nbDecision=84500 #constraints=5186
129.46/129.53	c nbDecision=85000 #constraints=5186
130.16/130.26	c nbDecision=85500 #constraints=5186
130.86/130.98	c nbDecision=86000 #constraints=5186
131.65/131.70	c nbDecision=86500 #constraints=5186
132.35/132.41	c nbDecision=87000 #constraints=5186
133.06/133.14	c nbDecision=87500 #constraints=5186
133.75/133.86	c nbDecision=88000 #constraints=5186
134.45/134.58	c nbDecision=88500 #constraints=5186
135.16/135.30	c nbDecision=89000 #constraints=5186
135.95/136.01	c nbDecision=89500 #constraints=5186
136.65/136.72	c nbDecision=90000 #constraints=5186
137.36/137.46	c nbDecision=90500 #constraints=5187
138.05/138.19	c nbDecision=91000 #constraints=5187
138.85/138.92	c nbDecision=91500 #constraints=5187
139.56/139.65	c nbDecision=92000 #constraints=5187
140.25/140.38	c nbDecision=92500 #constraints=5187
141.05/141.11	c nbDecision=93000 #constraints=5187
141.76/141.83	c nbDecision=93500 #constraints=5187
142.45/142.56	c nbDecision=94000 #constraints=5187
143.15/143.28	c nbDecision=94500 #constraints=5187
143.96/144.01	c nbDecision=95000 #constraints=5187
144.65/144.72	c nbDecision=95500 #constraints=5187
145.35/145.43	c nbDecision=96000 #constraints=5187
146.05/146.15	c nbDecision=96500 #constraints=5187
146.75/146.87	c nbDecision=97000 #constraints=5187
147.45/147.58	c nbDecision=97500 #constraints=5187
148.15/148.29	c nbDecision=98000 #constraints=5187
148.95/149.00	c nbDecision=98500 #constraints=5187
149.65/149.72	c nbDecision=99000 #constraints=5187
150.35/150.43	c nbDecision=99500 #constraints=5187
151.05/151.19	c nbDecision=100000 #constraints=5188
151.85/151.93	c nbDecision=100500 #constraints=5188
152.55/152.67	c nbDecision=101000 #constraints=5188
153.35/153.41	c nbDecision=101500 #constraints=5188
154.05/154.15	c nbDecision=102000 #constraints=5188
154.65/154.74	c restart after 102401 decisions
154.85/154.92	c nbDecision=102500 #constraints=5188
155.65/155.70	c nbDecision=103000 #constraints=5188
156.35/156.48	c nbDecision=103500 #constraints=5188
157.15/157.25	c nbDecision=104000 #constraints=5188
157.95/158.02	c nbDecision=104500 #constraints=5188
158.65/158.79	c nbDecision=105000 #constraints=5188
159.45/159.57	c nbDecision=105500 #constraints=5188
160.25/160.33	c nbDecision=106000 #constraints=5188
161.05/161.10	c nbDecision=106500 #constraints=5188
161.75/161.87	c nbDecision=107000 #constraints=5188
162.55/162.63	c nbDecision=107500 #constraints=5188
163.25/163.40	c nbDecision=108000 #constraints=5188
164.05/164.16	c nbDecision=108500 #constraints=5188
164.86/164.92	c nbDecision=109000 #constraints=5188
165.55/165.68	c nbDecision=109500 #constraints=5188
166.35/166.44	c nbDecision=110000 #constraints=5188
167.16/167.20	c nbDecision=110500 #constraints=5188
167.85/167.97	c nbDecision=111000 #constraints=5188
168.65/168.73	c nbDecision=111500 #constraints=5188
169.36/169.48	c nbDecision=112000 #constraints=5188
170.15/170.24	c nbDecision=112500 #constraints=5188
170.85/170.98	c nbDecision=113000 #constraints=5188
171.65/171.73	c nbDecision=113500 #constraints=5188
172.35/172.46	c nbDecision=114000 #constraints=5188
173.15/173.22	c nbDecision=114500 #constraints=5188
173.85/173.95	c nbDecision=115000 #constraints=5188
174.55/174.69	c nbDecision=115500 #constraints=5188
175.35/175.42	c nbDecision=116000 #constraints=5188
176.05/176.17	c nbDecision=116500 #constraints=5188
176.75/176.89	c nbDecision=117000 #constraints=5188
177.55/177.63	c nbDecision=117500 #constraints=5188
178.25/178.36	c nbDecision=118000 #constraints=5188
179.05/179.10	c nbDecision=118500 #constraints=5188
179.75/179.83	c nbDecision=119000 #constraints=5188
180.45/180.57	c nbDecision=119500 #constraints=5188
181.25/181.30	c nbDecision=120000 #constraints=5188
181.95/182.03	c nbDecision=120500 #constraints=5188
182.65/182.77	c nbDecision=121000 #constraints=5188
183.45/183.50	c nbDecision=121500 #constraints=5188
184.15/184.23	c nbDecision=122000 #constraints=5188
184.85/184.96	c nbDecision=122500 #constraints=5188
185.55/185.69	c nbDecision=123000 #constraints=5188
186.35/186.42	c nbDecision=123500 #constraints=5188
187.05/187.15	c nbDecision=124000 #constraints=5188
187.75/187.89	c nbDecision=124500 #constraints=5188
188.55/188.62	c nbDecision=125000 #constraints=5188
189.25/189.35	c nbDecision=125500 #constraints=5188
189.95/190.07	c nbDecision=126000 #constraints=5188
190.65/190.78	c nbDecision=126500 #constraints=5188
191.45/191.50	c nbDecision=127000 #constraints=5188
192.15/192.21	c nbDecision=127500 #constraints=5188
192.85/192.93	c nbDecision=128000 #constraints=5188
193.55/193.64	c nbDecision=128500 #constraints=5188
194.25/194.35	c nbDecision=129000 #constraints=5188
194.95/195.06	c nbDecision=129500 #constraints=5188
195.75/195.80	c nbDecision=130000 #constraints=5189
196.44/196.53	c nbDecision=130500 #constraints=5189
197.15/197.27	c nbDecision=131000 #constraints=5189
197.85/198.00	c nbDecision=131500 #constraints=5189
198.64/198.73	c nbDecision=132000 #constraints=5189
199.34/199.46	c nbDecision=132500 #constraints=5189
200.05/200.19	c nbDecision=133000 #constraints=5189
200.84/200.91	c nbDecision=133500 #constraints=5189
201.54/201.64	c nbDecision=134000 #constraints=5189
202.25/202.37	c nbDecision=134500 #constraints=5189
202.94/203.09	c nbDecision=135000 #constraints=5189
203.74/203.82	c nbDecision=135500 #constraints=5189
204.44/204.53	c nbDecision=136000 #constraints=5189
205.14/205.24	c nbDecision=136500 #constraints=5189
205.84/205.95	c nbDecision=137000 #constraints=5189
206.54/206.67	c nbDecision=137500 #constraints=5189
207.24/207.38	c nbDecision=138000 #constraints=5189
208.04/208.11	c nbDecision=138500 #constraints=5189
208.74/208.82	c nbDecision=139000 #constraints=5189
209.44/209.53	c nbDecision=139500 #constraints=5189
210.14/210.27	c nbDecision=140000 #constraints=5190
210.84/210.99	c nbDecision=140500 #constraints=5190
211.64/211.72	c nbDecision=141000 #constraints=5190
212.34/212.47	c nbDecision=141500 #constraints=5191
213.14/213.22	c nbDecision=142000 #constraints=5191
213.84/213.96	c nbDecision=142500 #constraints=5191
214.54/214.69	c nbDecision=143000 #constraints=5191
215.34/215.43	c nbDecision=143500 #constraints=5191
216.04/216.17	c nbDecision=144000 #constraints=5191
216.74/216.89	c nbDecision=144500 #constraints=5191
217.53/217.62	c nbDecision=145000 #constraints=5191
218.23/218.35	c nbDecision=145500 #constraints=5191
218.93/219.08	c nbDecision=146000 #constraints=5191
219.73/219.80	c nbDecision=146500 #constraints=5191
220.43/220.53	c nbDecision=147000 #constraints=5191
221.13/221.25	c nbDecision=147500 #constraints=5191
221.83/221.96	c nbDecision=148000 #constraints=5191
222.53/222.67	c nbDecision=148500 #constraints=5191
223.24/223.39	c nbDecision=149000 #constraints=5191
224.03/224.11	c nbDecision=149500 #constraints=5191
224.73/224.82	c nbDecision=150000 #constraints=5191
225.44/225.52	c nbDecision=150500 #constraints=5191
226.13/226.25	c nbDecision=151000 #constraints=5191
226.83/226.97	c nbDecision=151500 #constraints=5191
227.64/227.70	c nbDecision=152000 #constraints=5192
228.33/228.43	c nbDecision=152500 #constraints=5192
229.03/229.15	c nbDecision=153000 #constraints=5192
229.84/229.90	c nbDecision=153500 #constraints=5193
230.53/230.64	c nbDecision=154000 #constraints=5193
231.23/231.38	c nbDecision=154500 #constraints=5193
232.03/232.12	c nbDecision=155000 #constraints=5193
232.73/232.86	c nbDecision=155500 #constraints=5193
233.53/233.60	c nbDecision=156000 #constraints=5193
234.23/234.34	c nbDecision=156500 #constraints=5193
234.93/235.07	c nbDecision=157000 #constraints=5193
235.73/235.81	c nbDecision=157500 #constraints=5193
236.43/236.53	c nbDecision=158000 #constraints=5193
237.13/237.26	c nbDecision=158500 #constraints=5193
237.83/237.98	c nbDecision=159000 #constraints=5193
238.63/238.71	c nbDecision=159500 #constraints=5193
239.33/239.43	c nbDecision=160000 #constraints=5193
240.03/240.16	c nbDecision=160500 #constraints=5193
240.73/240.88	c nbDecision=161000 #constraints=5193
241.43/241.59	c nbDecision=161500 #constraints=5193
242.23/242.30	c nbDecision=162000 #constraints=5193
242.93/243.01	c nbDecision=162500 #constraints=5193
243.63/243.71	c nbDecision=163000 #constraints=5193
244.33/244.42	c nbDecision=163500 #constraints=5193
245.02/245.15	c nbDecision=164000 #constraints=5194
245.72/245.87	c nbDecision=164500 #constraints=5194
246.42/246.59	c nbDecision=165000 #constraints=5194
247.22/247.34	c nbDecision=165500 #constraints=5195
247.92/248.09	c nbDecision=166000 #constraints=5195
248.73/248.82	c nbDecision=166500 #constraints=5195
249.42/249.56	c nbDecision=167000 #constraints=5195
250.22/250.30	c nbDecision=167500 #constraints=5195
250.92/251.04	c nbDecision=168000 #constraints=5195
251.62/251.78	c nbDecision=168500 #constraints=5195
252.42/252.51	c nbDecision=169000 #constraints=5195
253.12/253.25	c nbDecision=169500 #constraints=5195
253.82/253.98	c nbDecision=170000 #constraints=5195
254.62/254.71	c nbDecision=170500 #constraints=5195
255.32/255.44	c nbDecision=171000 #constraints=5195
256.02/256.17	c nbDecision=171500 #constraints=5195
256.72/256.89	c nbDecision=172000 #constraints=5195
257.52/257.62	c nbDecision=172500 #constraints=5195
258.22/258.34	c nbDecision=173000 #constraints=5195
258.93/259.06	c nbDecision=173500 #constraints=5195
259.63/259.78	c nbDecision=174000 #constraints=5195
260.33/260.50	c nbDecision=174500 #constraints=5195
261.13/261.21	c nbDecision=175000 #constraints=5195
261.83/261.93	c nbDecision=175500 #constraints=5195
262.53/262.68	c nbDecision=176000 #constraints=5196
263.33/263.41	c nbDecision=176500 #constraints=5196
264.03/264.14	c nbDecision=177000 #constraints=5196
264.73/264.87	c nbDecision=177500 #constraints=5196
265.53/265.61	c nbDecision=178000 #constraints=5196
266.23/266.34	c nbDecision=178500 #constraints=5196
266.93/267.08	c nbDecision=179000 #constraints=5196
267.73/267.81	c nbDecision=179500 #constraints=5196
268.43/268.55	c nbDecision=180000 #constraints=5196
269.13/269.28	c nbDecision=180500 #constraints=5196
269.93/270.02	c nbDecision=181000 #constraints=5196
270.63/270.75	c nbDecision=181500 #constraints=5196
271.33/271.48	c nbDecision=182000 #constraints=5196
272.13/272.21	c nbDecision=182500 #constraints=5196
272.83/272.94	c nbDecision=183000 #constraints=5196
273.53/273.67	c nbDecision=183500 #constraints=5196
274.23/274.40	c nbDecision=184000 #constraints=5196
275.03/275.12	c nbDecision=184500 #constraints=5196
275.73/275.85	c nbDecision=185000 #constraints=5196
276.42/276.57	c nbDecision=185500 #constraints=5196
277.13/277.28	c nbDecision=186000 #constraints=5196
277.92/278.03	c nbDecision=186500 #constraints=5197
278.62/278.76	c nbDecision=187000 #constraints=5197
279.33/279.49	c nbDecision=187500 #constraints=5197
280.12/280.22	c nbDecision=188000 #constraints=5197
280.82/280.95	c nbDecision=188500 #constraints=5197
281.53/281.68	c nbDecision=189000 #constraints=5197
282.32/282.41	c nbDecision=189500 #constraints=5197
283.02/283.14	c nbDecision=190000 #constraints=5197
283.73/283.86	c nbDecision=190500 #constraints=5197
284.42/284.59	c nbDecision=191000 #constraints=5197
285.22/285.31	c nbDecision=191500 #constraints=5197
285.93/286.04	c nbDecision=192000 #constraints=5197
286.62/286.77	c nbDecision=192500 #constraints=5197
287.42/287.50	c nbDecision=193000 #constraints=5197
288.13/288.23	c nbDecision=193500 #constraints=5197
288.82/288.95	c nbDecision=194000 #constraints=5197
289.52/289.68	c nbDecision=194500 #constraints=5197
290.33/290.41	c nbDecision=195000 #constraints=5197
291.02/291.13	c nbDecision=195500 #constraints=5197
291.72/291.85	c nbDecision=196000 #constraints=5197
292.42/292.59	c nbDecision=196500 #constraints=5198
293.22/293.36	c nbDecision=197000 #constraints=5199
293.92/294.10	c nbDecision=197500 #constraints=5199
294.72/294.83	c nbDecision=198000 #constraints=5199
295.42/295.57	c nbDecision=198500 #constraints=5199
296.22/296.31	c nbDecision=199000 #constraints=5199
296.92/297.04	c nbDecision=199500 #constraints=5199
297.62/297.76	c nbDecision=200000 #constraints=5199
298.32/298.49	c nbDecision=200500 #constraints=5199
299.12/299.22	c nbDecision=201000 #constraints=5199
299.82/299.95	c nbDecision=201500 #constraints=5199
300.52/300.67	c nbDecision=202000 #constraints=5199
301.22/301.40	c nbDecision=202500 #constraints=5199
302.02/302.12	c nbDecision=203000 #constraints=5199
302.72/302.84	c nbDecision=203500 #constraints=5199
303.42/303.57	c nbDecision=204000 #constraints=5199
304.12/304.29	c nbDecision=204500 #constraints=5199
304.62/304.72	c restart after 204801 decisions
304.92/305.06	c nbDecision=205000 #constraints=5199
305.72/305.84	c nbDecision=205500 #constraints=5199
306.52/306.62	c nbDecision=206000 #constraints=5199
307.32/307.40	c nbDecision=206500 #constraints=5199
308.01/308.18	c nbDecision=207000 #constraints=5199
308.81/308.96	c nbDecision=207500 #constraints=5199
309.61/309.74	c nbDecision=208000 #constraints=5199
310.41/310.51	c nbDecision=208500 #constraints=5199
311.12/311.29	c nbDecision=209000 #constraints=5199
311.91/312.06	c nbDecision=209500 #constraints=5199
312.71/312.83	c nbDecision=210000 #constraints=5199
313.51/313.60	c nbDecision=210500 #constraints=5199
314.21/314.37	c nbDecision=211000 #constraints=5199
315.01/315.14	c nbDecision=211500 #constraints=5199
315.81/315.90	c nbDecision=212000 #constraints=5199
316.51/316.66	c nbDecision=212500 #constraints=5199
317.31/317.42	c nbDecision=213000 #constraints=5199
318.01/318.17	c nbDecision=213500 #constraints=5199
318.82/318.93	c nbDecision=214000 #constraints=5199
319.51/319.68	c nbDecision=214500 #constraints=5199
320.31/320.43	c nbDecision=215000 #constraints=5199
321.02/321.18	c nbDecision=215500 #constraints=5199
321.81/321.93	c nbDecision=216000 #constraints=5199
322.51/322.67	c nbDecision=216500 #constraints=5199
323.31/323.42	c nbDecision=217000 #constraints=5199
324.01/324.16	c nbDecision=217500 #constraints=5199
324.81/324.91	c nbDecision=218000 #constraints=5199
325.51/325.65	c nbDecision=218500 #constraints=5199
326.21/326.40	c nbDecision=219000 #constraints=5199
327.01/327.14	c nbDecision=219500 #constraints=5199
327.71/327.89	c nbDecision=220000 #constraints=5199
328.51/328.63	c nbDecision=220500 #constraints=5199
329.21/329.38	c nbDecision=221000 #constraints=5199
330.01/330.12	c nbDecision=221500 #constraints=5199
330.71/330.86	c nbDecision=222000 #constraints=5199
331.51/331.60	c nbDecision=222500 #constraints=5199
332.21/332.34	c nbDecision=223000 #constraints=5199
332.91/333.08	c nbDecision=223500 #constraints=5199
333.71/333.82	c nbDecision=224000 #constraints=5199
334.41/334.55	c nbDecision=224500 #constraints=5199
335.11/335.29	c nbDecision=225000 #constraints=5199
335.91/336.02	c nbDecision=225500 #constraints=5199
336.61/336.75	c nbDecision=226000 #constraints=5199
337.31/337.48	c nbDecision=226500 #constraints=5199
338.11/338.20	c nbDecision=227000 #constraints=5199
338.81/338.93	c nbDecision=227500 #constraints=5199
339.50/339.64	c nbDecision=228000 #constraints=5199
340.20/340.35	c nbDecision=228500 #constraints=5199
340.91/341.07	c nbDecision=229000 #constraints=5199
341.60/341.79	c nbDecision=229500 #constraints=5199
342.30/342.49	c nbDecision=230000 #constraints=5199
343.11/343.21	c nbDecision=230500 #constraints=5199
343.80/343.92	c nbDecision=231000 #constraints=5199
344.50/344.64	c nbDecision=231500 #constraints=5199
345.21/345.35	c nbDecision=232000 #constraints=5199
346.00/346.10	c nbDecision=232500 #constraints=5200
346.70/346.84	c nbDecision=233000 #constraints=5200
347.41/347.58	c nbDecision=233500 #constraints=5200
348.20/348.32	c nbDecision=234000 #constraints=5200
348.90/349.05	c nbDecision=234500 #constraints=5200
349.60/349.79	c nbDecision=235000 #constraints=5200
350.40/350.52	c nbDecision=235500 #constraints=5200
351.10/351.26	c nbDecision=236000 #constraints=5200
351.80/351.99	c nbDecision=236500 #constraints=5200
352.60/352.72	c nbDecision=237000 #constraints=5200
353.30/353.45	c nbDecision=237500 #constraints=5200
354.00/354.18	c nbDecision=238000 #constraints=5200
354.80/354.90	c nbDecision=238500 #constraints=5200
355.50/355.62	c nbDecision=239000 #constraints=5200
356.20/356.33	c nbDecision=239500 #constraints=5200
356.90/357.04	c nbDecision=240000 #constraints=5200
357.60/357.74	c nbDecision=240500 #constraints=5200
358.30/358.45	c nbDecision=241000 #constraints=5200
359.00/359.17	c nbDecision=241500 #constraints=5200
359.80/359.90	c nbDecision=242000 #constraints=5201
360.50/360.63	c nbDecision=242500 #constraints=5201
361.20/361.37	c nbDecision=243000 #constraints=5201
362.00/362.10	c nbDecision=243500 #constraints=5201
362.70/362.83	c nbDecision=244000 #constraints=5201
363.40/363.57	c nbDecision=244500 #constraints=5201
364.10/364.30	c nbDecision=245000 #constraints=5201
364.90/365.03	c nbDecision=245500 #constraints=5201
365.60/365.75	c nbDecision=246000 #constraints=5201
366.30/366.49	c nbDecision=246500 #constraints=5201
367.10/367.23	c nbDecision=247000 #constraints=5201
367.80/367.96	c nbDecision=247500 #constraints=5201
368.50/368.68	c nbDecision=248000 #constraints=5201
369.19/369.40	c nbDecision=248500 #constraints=5201
369.99/370.13	c nbDecision=249000 #constraints=5201
370.69/370.85	c nbDecision=249500 #constraints=5201
371.39/371.56	c nbDecision=250000 #constraints=5201
372.09/372.29	c nbDecision=250500 #constraints=5201
372.89/373.02	c nbDecision=251000 #constraints=5201
373.59/373.75	c nbDecision=251500 #constraints=5201
374.29/374.47	c nbDecision=252000 #constraints=5201
375.00/375.19	c nbDecision=252500 #constraints=5201
375.79/375.91	c nbDecision=253000 #constraints=5201
376.49/376.65	c nbDecision=253500 #constraints=5202
377.20/377.38	c nbDecision=254000 #constraints=5202
377.99/378.11	c nbDecision=254500 #constraints=5202
378.70/378.84	c nbDecision=255000 #constraints=5202
379.41/379.57	c nbDecision=255500 #constraints=5202
380.10/380.29	c nbDecision=256000 #constraints=5202
380.90/381.01	c nbDecision=256500 #constraints=5202
381.60/381.72	c nbDecision=257000 #constraints=5202
382.30/382.43	c nbDecision=257500 #constraints=5202
383.00/383.14	c nbDecision=258000 #constraints=5202
383.70/383.85	c nbDecision=258500 #constraints=5202
384.40/384.56	c nbDecision=259000 #constraints=5202
385.10/385.28	c nbDecision=259500 #constraints=5202
385.80/385.99	c nbDecision=260000 #constraints=5202
386.60/386.70	c nbDecision=260500 #constraints=5202
387.30/387.42	c nbDecision=261000 #constraints=5202
388.00/388.14	c nbDecision=261500 #constraints=5202
388.70/388.87	c nbDecision=262000 #constraints=5202
389.50/389.62	c nbDecision=262500 #constraints=5203
390.20/390.36	c nbDecision=263000 #constraints=5203
390.90/391.10	c nbDecision=263500 #constraints=5203
391.70/391.83	c nbDecision=264000 #constraints=5203
392.40/392.56	c nbDecision=264500 #constraints=5203
393.20/393.30	c nbDecision=265000 #constraints=5203
393.90/394.03	c nbDecision=265500 #constraints=5203
394.60/394.75	c nbDecision=266000 #constraints=5203
395.29/395.47	c nbDecision=266500 #constraints=5203
395.99/396.19	c nbDecision=267000 #constraints=5203
396.79/396.91	c nbDecision=267500 #constraints=5203
397.49/397.62	c nbDecision=268000 #constraints=5203
398.19/398.34	c nbDecision=268500 #constraints=5203
398.89/399.05	c nbDecision=269000 #constraints=5203
399.59/399.75	c nbDecision=269500 #constraints=5203
400.30/400.46	c nbDecision=270000 #constraints=5203
400.99/401.17	c nbDecision=270500 #constraints=5203
401.79/401.92	c nbDecision=271000 #constraints=5204
402.50/402.65	c nbDecision=271500 #constraints=5204
403.19/403.39	c nbDecision=272000 #constraints=5204
403.99/404.12	c nbDecision=272500 #constraints=5204
404.69/404.85	c nbDecision=273000 #constraints=5204
405.39/405.58	c nbDecision=273500 #constraints=5204
406.19/406.32	c nbDecision=274000 #constraints=5204
406.89/407.06	c nbDecision=274500 #constraints=5204
407.59/407.79	c nbDecision=275000 #constraints=5204
408.39/408.53	c nbDecision=275500 #constraints=5204
409.09/409.26	c nbDecision=276000 #constraints=5204
409.79/409.99	c nbDecision=276500 #constraints=5204
410.59/410.72	c nbDecision=277000 #constraints=5204
411.29/411.43	c nbDecision=277500 #constraints=5204
411.99/412.16	c nbDecision=278000 #constraints=5204
412.69/412.88	c nbDecision=278500 #constraints=5204
413.39/413.60	c nbDecision=279000 #constraints=5204
414.19/414.32	c nbDecision=279500 #constraints=5204
414.89/415.04	c nbDecision=280000 #constraints=5204
415.59/415.75	c nbDecision=280500 #constraints=5204
416.29/416.46	c nbDecision=281000 #constraints=5204
416.99/417.18	c nbDecision=281500 #constraints=5204
417.79/417.91	c nbDecision=282000 #constraints=5205
418.49/418.63	c nbDecision=282500 #constraints=5205
419.19/419.35	c nbDecision=283000 #constraints=5205
419.89/420.05	c nbDecision=283500 #constraints=5205
420.58/420.79	c nbDecision=284000 #constraints=5206
421.38/421.52	c nbDecision=284500 #constraints=5206
422.08/422.25	c nbDecision=285000 #constraints=5206
422.78/422.97	c nbDecision=285500 #constraints=5206
423.58/423.70	c nbDecision=286000 #constraints=5206
424.28/424.43	c nbDecision=286500 #constraints=5206
424.98/425.15	c nbDecision=287000 #constraints=5206
425.68/425.88	c nbDecision=287500 #constraints=5206
426.48/426.61	c nbDecision=288000 #constraints=5206
427.18/427.34	c nbDecision=288500 #constraints=5206
427.88/428.06	c nbDecision=289000 #constraints=5206
428.58/428.79	c nbDecision=289500 #constraints=5206
429.38/429.50	c nbDecision=290000 #constraints=5206
430.08/430.21	c nbDecision=290500 #constraints=5206
430.78/430.92	c nbDecision=291000 #constraints=5206
431.48/431.64	c nbDecision=291500 #constraints=5206
432.19/432.39	c nbDecision=292000 #constraints=5207
432.98/433.13	c nbDecision=292500 #constraints=5207
433.68/433.87	c nbDecision=293000 #constraints=5207
434.48/434.60	c nbDecision=293500 #constraints=5207
435.18/435.34	c nbDecision=294000 #constraints=5207
435.88/436.07	c nbDecision=294500 #constraints=5207
436.58/436.79	c nbDecision=295000 #constraints=5207
437.38/437.52	c nbDecision=295500 #constraints=5207
438.08/438.24	c nbDecision=296000 #constraints=5207
438.78/438.96	c nbDecision=296500 #constraints=5207
439.48/439.69	c nbDecision=297000 #constraints=5207
440.28/440.41	c nbDecision=297500 #constraints=5207
440.98/441.13	c nbDecision=298000 #constraints=5207
441.68/441.84	c nbDecision=298500 #constraints=5207
442.38/442.55	c nbDecision=299000 #constraints=5207
443.08/443.26	c nbDecision=299500 #constraints=5207
443.78/443.97	c nbDecision=300000 #constraints=5207
444.58/444.71	c nbDecision=300500 #constraints=5208
445.28/445.44	c nbDecision=301000 #constraints=5208
445.98/446.17	c nbDecision=301500 #constraints=5208
446.78/446.91	c nbDecision=302000 #constraints=5208
447.48/447.65	c nbDecision=302500 #constraints=5208
448.17/448.38	c nbDecision=303000 #constraints=5208
448.98/449.11	c nbDecision=303500 #constraints=5208
449.69/449.84	c nbDecision=304000 #constraints=5208
450.38/450.58	c nbDecision=304500 #constraints=5208
451.18/451.31	c nbDecision=305000 #constraints=5208
451.89/452.04	c nbDecision=305500 #constraints=5208
452.58/452.77	c nbDecision=306000 #constraints=5208
453.28/453.49	c nbDecision=306500 #constraints=5208
454.09/454.22	c nbDecision=307000 #constraints=5208
454.78/454.94	c nbDecision=307500 #constraints=5208
455.48/455.65	c nbDecision=308000 #constraints=5208
456.18/456.36	c nbDecision=308500 #constraints=5208
456.88/457.07	c nbDecision=309000 #constraints=5208
457.68/457.82	c nbDecision=309500 #constraints=5209
458.38/458.55	c nbDecision=310000 #constraints=5209
459.08/459.28	c nbDecision=310500 #constraints=5209
459.88/460.01	c nbDecision=311000 #constraints=5209
460.58/460.74	c nbDecision=311500 #constraints=5209
461.28/461.46	c nbDecision=312000 #constraints=5209
461.98/462.19	c nbDecision=312500 #constraints=5209
462.78/462.91	c nbDecision=313000 #constraints=5209
463.48/463.64	c nbDecision=313500 #constraints=5209
464.18/464.36	c nbDecision=314000 #constraints=5209
464.88/465.08	c nbDecision=314500 #constraints=5209
465.68/465.81	c nbDecision=315000 #constraints=5209
466.38/466.53	c nbDecision=315500 #constraints=5209
467.08/467.26	c nbDecision=316000 #constraints=5209
467.78/467.98	c nbDecision=316500 #constraints=5209
468.48/468.69	c nbDecision=317000 #constraints=5209
469.28/469.41	c nbDecision=317500 #constraints=5209
469.98/470.15	c nbDecision=318000 #constraints=5210
470.68/470.87	c nbDecision=318500 #constraints=5210
471.48/471.60	c nbDecision=319000 #constraints=5210
472.18/472.32	c nbDecision=319500 #constraints=5210
472.88/473.05	c nbDecision=320000 #constraints=5210
473.68/473.80	c nbDecision=320500 #constraints=5211
474.38/474.54	c nbDecision=321000 #constraints=5211
475.08/475.27	c nbDecision=321500 #constraints=5211
475.88/476.00	c nbDecision=322000 #constraints=5211
476.58/476.73	c nbDecision=322500 #constraints=5211
477.28/477.45	c nbDecision=323000 #constraints=5211
477.98/478.18	c nbDecision=323500 #constraints=5211
478.78/478.90	c nbDecision=324000 #constraints=5211
479.48/479.62	c nbDecision=324500 #constraints=5211
480.18/480.34	c nbDecision=325000 #constraints=5211
480.87/481.07	c nbDecision=325500 #constraints=5211
481.58/481.79	c nbDecision=326000 #constraints=5211
482.37/482.51	c nbDecision=326500 #constraints=5211
483.07/483.22	c nbDecision=327000 #constraints=5211
483.78/483.94	c nbDecision=327500 #constraints=5211
484.47/484.68	c nbDecision=328000 #constraints=5212
485.27/485.41	c nbDecision=328500 #constraints=5212
485.98/486.14	c nbDecision=329000 #constraints=5212
486.67/486.87	c nbDecision=329500 #constraints=5212
487.47/487.61	c nbDecision=330000 #constraints=5212
488.18/488.34	c nbDecision=330500 #constraints=5212
488.87/489.07	c nbDecision=331000 #constraints=5212
489.67/489.80	c nbDecision=331500 #constraints=5212
490.37/490.53	c nbDecision=332000 #constraints=5212
491.07/491.26	c nbDecision=332500 #constraints=5212
491.77/491.99	c nbDecision=333000 #constraints=5212
492.57/492.72	c nbDecision=333500 #constraints=5212
493.27/493.44	c nbDecision=334000 #constraints=5212
493.97/494.17	c nbDecision=334500 #constraints=5212
494.67/494.89	c nbDecision=335000 #constraints=5212
495.47/495.62	c nbDecision=335500 #constraints=5212
496.17/496.36	c nbDecision=336000 #constraints=5213
496.87/497.09	c nbDecision=336500 #constraints=5213
497.67/497.82	c nbDecision=337000 #constraints=5213
498.37/498.55	c nbDecision=337500 #constraints=5213
499.07/499.27	c nbDecision=338000 #constraints=5213
499.87/500.00	c nbDecision=338500 #constraints=5213
500.57/500.72	c nbDecision=339000 #constraints=5213
501.27/501.45	c nbDecision=339500 #constraints=5213
501.97/502.17	c nbDecision=340000 #constraints=5213
502.67/502.89	c nbDecision=340500 #constraints=5213
503.47/503.61	c nbDecision=341000 #constraints=5213
504.17/504.33	c nbDecision=341500 #constraints=5213
504.87/505.05	c nbDecision=342000 #constraints=5213
505.57/505.77	c nbDecision=342500 #constraints=5213
506.27/506.49	c nbDecision=343000 #constraints=5213
507.06/507.22	c nbDecision=343500 #constraints=5213
507.76/507.97	c nbDecision=344000 #constraints=5214
508.56/508.71	c nbDecision=344500 #constraints=5214
509.26/509.45	c nbDecision=345000 #constraints=5214
509.96/510.18	c nbDecision=345500 #constraints=5214
510.76/510.92	c nbDecision=346000 #constraints=5214
511.46/511.65	c nbDecision=346500 #constraints=5214
512.16/512.38	c nbDecision=347000 #constraints=5214
512.96/513.11	c nbDecision=347500 #constraints=5214
513.66/513.84	c nbDecision=348000 #constraints=5214
514.36/514.57	c nbDecision=348500 #constraints=5214
515.16/515.30	c nbDecision=349000 #constraints=5214
515.86/516.03	c nbDecision=349500 #constraints=5214
516.56/516.75	c nbDecision=350000 #constraints=5214
517.26/517.47	c nbDecision=350500 #constraints=5214
517.97/518.19	c nbDecision=351000 #constraints=5214
518.76/518.91	c nbDecision=351500 #constraints=5214
519.46/519.62	c nbDecision=352000 #constraints=5214
520.16/520.37	c nbDecision=352500 #constraints=5215
520.96/521.10	c nbDecision=353000 #constraints=5215
521.66/521.83	c nbDecision=353500 #constraints=5215
522.36/522.55	c nbDecision=354000 #constraints=5215
523.06/523.28	c nbDecision=354500 #constraints=5215
523.86/524.00	c nbDecision=355000 #constraints=5215
524.56/524.73	c nbDecision=355500 #constraints=5215
525.26/525.45	c nbDecision=356000 #constraints=5215
525.96/526.18	c nbDecision=356500 #constraints=5215
526.76/526.91	c nbDecision=357000 #constraints=5215
527.46/527.63	c nbDecision=357500 #constraints=5215
528.16/528.36	c nbDecision=358000 #constraints=5215
528.86/529.09	c nbDecision=358500 #constraints=5215
529.66/529.81	c nbDecision=359000 #constraints=5215
530.36/530.53	c nbDecision=359500 #constraints=5215
531.16/531.30	c nbDecision=360000 #constraints=5216
531.86/532.07	c nbDecision=360500 #constraints=5216
532.66/532.84	c nbDecision=361000 #constraints=5216
533.46/533.60	c nbDecision=361500 #constraints=5216
534.16/534.37	c nbDecision=362000 #constraints=5216
534.96/535.13	c nbDecision=362500 #constraints=5216
535.66/535.89	c nbDecision=363000 #constraints=5216
536.46/536.64	c nbDecision=363500 #constraints=5216
537.16/537.39	c nbDecision=364000 #constraints=5216
537.96/538.14	c nbDecision=364500 #constraints=5216
538.66/538.89	c nbDecision=365000 #constraints=5216
539.46/539.64	c nbDecision=365500 #constraints=5216
540.15/540.38	c nbDecision=366000 #constraints=5216
540.96/541.13	c nbDecision=366500 #constraints=5216
541.65/541.87	c nbDecision=367000 #constraints=5216
542.45/542.62	c nbDecision=367500 #constraints=5216
543.16/543.36	c nbDecision=368000 #constraints=5216
543.85/544.10	c nbDecision=368500 #constraints=5216
544.65/544.83	c nbDecision=369000 #constraints=5216
545.36/545.57	c nbDecision=369500 #constraints=5216
546.15/546.31	c nbDecision=370000 #constraints=5216
546.85/547.06	c nbDecision=370500 #constraints=5216
547.56/547.80	c nbDecision=371000 #constraints=5216
548.35/548.54	c nbDecision=371500 #constraints=5216
549.05/549.28	c nbDecision=372000 #constraints=5216
549.86/550.02	c nbDecision=372500 #constraints=5216
550.55/550.76	c nbDecision=373000 #constraints=5216
551.25/551.50	c nbDecision=373500 #constraints=5216
552.06/552.23	c nbDecision=374000 #constraints=5216
552.75/552.97	c nbDecision=374500 #constraints=5216
553.55/553.70	c nbDecision=375000 #constraints=5216
554.25/554.44	c nbDecision=375500 #constraints=5216
554.95/555.17	c nbDecision=376000 #constraints=5216
555.75/555.90	c nbDecision=376500 #constraints=5216
556.46/556.63	c nbDecision=377000 #constraints=5216
557.15/557.35	c nbDecision=377500 #constraints=5216
557.85/558.07	c nbDecision=378000 #constraints=5216
558.55/558.79	c nbDecision=378500 #constraints=5216
559.35/559.51	c nbDecision=379000 #constraints=5216
560.05/560.23	c nbDecision=379500 #constraints=5216
560.75/560.95	c nbDecision=380000 #constraints=5216
561.45/561.67	c nbDecision=380500 #constraints=5216
562.15/562.39	c nbDecision=381000 #constraints=5216
562.95/563.14	c nbDecision=381500 #constraints=5217
563.75/563.90	c nbDecision=382000 #constraints=5217
564.46/564.66	c nbDecision=382500 #constraints=5217
565.26/565.41	c nbDecision=383000 #constraints=5217
565.95/566.17	c nbDecision=383500 #constraints=5217
566.75/566.93	c nbDecision=384000 #constraints=5217
567.46/567.69	c nbDecision=384500 #constraints=5217
568.25/568.45	c nbDecision=385000 #constraints=5217
569.05/569.21	c nbDecision=385500 #constraints=5217
569.75/569.97	c nbDecision=386000 #constraints=5217
570.55/570.72	c nbDecision=386500 #constraints=5217
571.25/571.47	c nbDecision=387000 #constraints=5217
572.05/572.23	c nbDecision=387500 #constraints=5217
572.75/572.98	c nbDecision=388000 #constraints=5217
573.55/573.73	c nbDecision=388500 #constraints=5217
574.25/574.47	c nbDecision=389000 #constraints=5217
575.06/575.22	c nbDecision=389500 #constraints=5217
575.75/575.96	c nbDecision=390000 #constraints=5217
576.55/576.70	c nbDecision=390500 #constraints=5217
577.26/577.44	c nbDecision=391000 #constraints=5217
577.95/578.17	c nbDecision=391500 #constraints=5217
578.75/578.91	c nbDecision=392000 #constraints=5217
579.45/579.64	c nbDecision=392500 #constraints=5217
580.15/580.38	c nbDecision=393000 #constraints=5217
580.95/581.11	c nbDecision=393500 #constraints=5217
581.65/581.84	c nbDecision=394000 #constraints=5217
582.35/582.57	c nbDecision=394500 #constraints=5217
583.15/583.30	c nbDecision=395000 #constraints=5217
583.85/584.03	c nbDecision=395500 #constraints=5217
584.55/584.76	c nbDecision=396000 #constraints=5217
585.25/585.48	c nbDecision=396500 #constraints=5217
586.05/586.21	c nbDecision=397000 #constraints=5217
586.75/586.95	c nbDecision=397500 #constraints=5217
587.45/587.68	c nbDecision=398000 #constraints=5217
588.25/588.41	c nbDecision=398500 #constraints=5217
588.95/589.14	c nbDecision=399000 #constraints=5217
589.65/589.87	c nbDecision=399500 #constraints=5217
590.35/590.59	c nbDecision=400000 #constraints=5217
591.15/591.32	c nbDecision=400500 #constraints=5217
591.85/592.05	c nbDecision=401000 #constraints=5217
592.55/592.77	c nbDecision=401500 #constraints=5217
593.25/593.49	c nbDecision=402000 #constraints=5217
594.05/594.25	c nbDecision=402500 #constraints=5218
594.85/595.02	c nbDecision=403000 #constraints=5218
595.55/595.78	c nbDecision=403500 #constraints=5218
596.35/596.54	c nbDecision=404000 #constraints=5218
597.05/597.30	c nbDecision=404500 #constraints=5218
597.84/598.05	c nbDecision=405000 #constraints=5218
598.64/598.80	c nbDecision=405500 #constraints=5218
599.35/599.55	c nbDecision=406000 #constraints=5218
600.14/600.30	c nbDecision=406500 #constraints=5218
600.84/601.05	c nbDecision=407000 #constraints=5218
601.64/601.80	c nbDecision=407500 #constraints=5218
602.34/602.54	c nbDecision=408000 #constraints=5218
603.04/603.29	c nbDecision=408500 #constraints=5218
603.84/604.03	c nbDecision=409000 #constraints=5218
604.54/604.77	c nbDecision=409500 #constraints=5218
604.74/604.93	c restart after 409601 decisions
605.34/605.57	c nbDecision=410000 #constraints=5218
606.14/606.35	c nbDecision=410500 #constraints=5218
606.94/607.13	c nbDecision=411000 #constraints=5218
607.74/607.91	c nbDecision=411500 #constraints=5218
608.44/608.69	c nbDecision=412000 #constraints=5218
609.24/609.47	c nbDecision=412500 #constraints=5218
610.04/610.24	c nbDecision=413000 #constraints=5218
610.84/611.02	c nbDecision=413500 #constraints=5218
611.54/611.79	c nbDecision=414000 #constraints=5218
612.34/612.56	c nbDecision=414500 #constraints=5218
613.14/613.34	c nbDecision=415000 #constraints=5218
613.94/614.10	c nbDecision=415500 #constraints=5218
614.64/614.87	c nbDecision=416000 #constraints=5218
615.44/615.64	c nbDecision=416500 #constraints=5218
616.24/616.40	c nbDecision=417000 #constraints=5218
616.94/617.16	c nbDecision=417500 #constraints=5218
617.74/617.91	c nbDecision=418000 #constraints=5218
618.44/618.67	c nbDecision=418500 #constraints=5218
619.24/619.42	c nbDecision=419000 #constraints=5218
619.94/620.17	c nbDecision=419500 #constraints=5218
620.74/620.92	c nbDecision=420000 #constraints=5218
621.43/621.67	c nbDecision=420500 #constraints=5218
622.23/622.42	c nbDecision=421000 #constraints=5218
622.93/623.16	c nbDecision=421500 #constraints=5218
623.73/623.91	c nbDecision=422000 #constraints=5218
624.43/624.65	c nbDecision=422500 #constraints=5218
625.13/625.39	c nbDecision=423000 #constraints=5218
625.93/626.14	c nbDecision=423500 #constraints=5218
626.63/626.88	c nbDecision=424000 #constraints=5218
627.43/627.63	c nbDecision=424500 #constraints=5218
628.13/628.37	c nbDecision=425000 #constraints=5218
628.94/629.12	c nbDecision=425500 #constraints=5218
629.63/629.86	c nbDecision=426000 #constraints=5218
630.43/630.60	c nbDecision=426500 #constraints=5218
631.14/631.34	c nbDecision=427000 #constraints=5218
631.83/632.08	c nbDecision=427500 #constraints=5218
632.63/632.82	c nbDecision=428000 #constraints=5218
633.34/633.56	c nbDecision=428500 #constraints=5218
634.13/634.30	c nbDecision=429000 #constraints=5218
634.83/635.04	c nbDecision=429500 #constraints=5218
635.53/635.77	c nbDecision=430000 #constraints=5218
636.33/636.50	c nbDecision=430500 #constraints=5218
637.03/637.23	c nbDecision=431000 #constraints=5218
637.73/637.95	c nbDecision=431500 #constraints=5218
638.43/638.68	c nbDecision=432000 #constraints=5218
639.23/639.40	c nbDecision=432500 #constraints=5218
639.93/640.13	c nbDecision=433000 #constraints=5218
640.63/640.85	c nbDecision=433500 #constraints=5218
641.33/641.57	c nbDecision=434000 #constraints=5218
642.03/642.30	c nbDecision=434500 #constraints=5218
642.83/643.02	c nbDecision=435000 #constraints=5218
643.53/643.74	c nbDecision=435500 #constraints=5218
644.23/644.46	c nbDecision=436000 #constraints=5218
644.92/645.17	c nbDecision=436500 #constraints=5218
645.62/645.89	c nbDecision=437000 #constraints=5218
646.42/646.68	c nbDecision=437500 #constraints=5219
647.22/647.45	c nbDecision=438000 #constraints=5219
648.02/648.22	c nbDecision=438500 #constraints=5219
648.73/648.98	c nbDecision=439000 #constraints=5219
649.52/649.74	c nbDecision=439500 #constraints=5219
650.33/650.51	c nbDecision=440000 #constraints=5219
651.03/651.27	c nbDecision=440500 #constraints=5219
651.82/652.03	c nbDecision=441000 #constraints=5219
652.52/652.78	c nbDecision=441500 #constraints=5219
653.32/653.54	c nbDecision=442000 #constraints=5219
654.02/654.30	c nbDecision=442500 #constraints=5219
654.82/655.05	c nbDecision=443000 #constraints=5219
655.62/655.80	c nbDecision=443500 #constraints=5219
656.32/656.55	c nbDecision=444000 #constraints=5219
657.02/657.29	c nbDecision=444500 #constraints=5219
657.82/658.03	c nbDecision=445000 #constraints=5219
658.52/658.77	c nbDecision=445500 #constraints=5219
659.32/659.51	c nbDecision=446000 #constraints=5219
660.02/660.25	c nbDecision=446500 #constraints=5219
660.73/660.99	c nbDecision=447000 #constraints=5219
661.53/661.72	c nbDecision=447500 #constraints=5219
662.23/662.46	c nbDecision=448000 #constraints=5219
662.93/663.19	c nbDecision=448500 #constraints=5219
663.73/663.92	c nbDecision=449000 #constraints=5219
664.43/664.66	c nbDecision=449500 #constraints=5219
665.12/665.39	c nbDecision=450000 #constraints=5219
665.92/666.12	c nbDecision=450500 #constraints=5219
666.62/666.86	c nbDecision=451000 #constraints=5219
667.32/667.60	c nbDecision=451500 #constraints=5219
668.12/668.33	c nbDecision=452000 #constraints=5219
668.82/669.07	c nbDecision=452500 #constraints=5219
669.63/669.80	c nbDecision=453000 #constraints=5219
670.32/670.53	c nbDecision=453500 #constraints=5219
671.02/671.26	c nbDecision=454000 #constraints=5219
671.72/672.00	c nbDecision=454500 #constraints=5219
672.52/672.73	c nbDecision=455000 #constraints=5219
673.22/673.45	c nbDecision=455500 #constraints=5219
673.92/674.18	c nbDecision=456000 #constraints=5219
674.72/674.91	c nbDecision=456500 #constraints=5219
675.42/675.64	c nbDecision=457000 #constraints=5219
676.12/676.36	c nbDecision=457500 #constraints=5219
676.82/677.08	c nbDecision=458000 #constraints=5219
677.52/677.79	c nbDecision=458500 #constraints=5219
678.32/678.57	c nbDecision=459000 #constraints=5220
679.12/679.33	c nbDecision=459500 #constraints=5220
679.82/680.09	c nbDecision=460000 #constraints=5220
680.62/680.85	c nbDecision=460500 #constraints=5220
681.42/681.60	c nbDecision=461000 #constraints=5220
682.12/682.36	c nbDecision=461500 #constraints=5220
682.92/683.11	c nbDecision=462000 #constraints=5220
683.62/683.86	c nbDecision=462500 #constraints=5220
684.42/684.62	c nbDecision=463000 #constraints=5220
685.12/685.37	c nbDecision=463500 #constraints=5220
685.92/686.12	c nbDecision=464000 #constraints=5220
686.62/686.87	c nbDecision=464500 #constraints=5220
687.42/687.62	c nbDecision=465000 #constraints=5220
688.12/688.37	c nbDecision=465500 #constraints=5220
688.92/689.12	c nbDecision=466000 #constraints=5220
689.62/689.87	c nbDecision=466500 #constraints=5220
690.42/690.62	c nbDecision=467000 #constraints=5220
691.11/691.37	c nbDecision=467500 #constraints=5220
691.91/692.11	c nbDecision=468000 #constraints=5220
692.61/692.86	c nbDecision=468500 #constraints=5220
693.42/693.60	c nbDecision=469000 #constraints=5220
694.11/694.34	c nbDecision=469500 #constraints=5220
694.81/695.08	c nbDecision=470000 #constraints=5220
695.61/695.82	c nbDecision=470500 #constraints=5220
696.31/696.56	c nbDecision=471000 #constraints=5220
697.01/697.29	c nbDecision=471500 #constraints=5220
697.81/698.02	c nbDecision=472000 #constraints=5220
698.51/698.75	c nbDecision=472500 #constraints=5220
699.21/699.48	c nbDecision=473000 #constraints=5220
700.01/700.21	c nbDecision=473500 #constraints=5220
700.71/700.94	c nbDecision=474000 #constraints=5220
701.41/701.66	c nbDecision=474500 #constraints=5220
702.11/702.39	c nbDecision=475000 #constraints=5220
702.91/703.11	c nbDecision=475500 #constraints=5220
703.61/703.84	c nbDecision=476000 #constraints=5220
704.31/704.56	c nbDecision=476500 #constraints=5220
705.01/705.28	c nbDecision=477000 #constraints=5220
705.81/706.01	c nbDecision=477500 #constraints=5220
706.51/706.73	c nbDecision=478000 #constraints=5220
707.21/707.46	c nbDecision=478500 #constraints=5220
707.91/708.19	c nbDecision=479000 #constraints=5220
708.71/708.91	c nbDecision=479500 #constraints=5220
709.41/709.64	c nbDecision=480000 #constraints=5220
710.21/710.42	c nbDecision=480500 #constraints=5221
710.91/711.19	c nbDecision=481000 #constraints=5221
711.71/711.96	c nbDecision=481500 #constraints=5221
712.51/712.72	c nbDecision=482000 #constraints=5221
713.21/713.49	c nbDecision=482500 #constraints=5221
714.00/714.25	c nbDecision=483000 #constraints=5221
714.81/715.01	c nbDecision=483500 #constraints=5221
715.50/715.77	c nbDecision=484000 #constraints=5221
716.30/716.53	c nbDecision=484500 #constraints=5221
717.01/717.28	c nbDecision=485000 #constraints=5221
717.80/718.03	c nbDecision=485500 #constraints=5221
718.50/718.78	c nbDecision=486000 #constraints=5221
719.30/719.53	c nbDecision=486500 #constraints=5221
720.00/720.27	c nbDecision=487000 #constraints=5221
720.80/721.02	c nbDecision=487500 #constraints=5221
721.50/721.76	c nbDecision=488000 #constraints=5221
722.30/722.50	c nbDecision=488500 #constraints=5221
723.00/723.24	c nbDecision=489000 #constraints=5221
723.70/723.98	c nbDecision=489500 #constraints=5221
724.50/724.72	c nbDecision=490000 #constraints=5221
725.20/725.46	c nbDecision=490500 #constraints=5221
726.00/726.20	c nbDecision=491000 #constraints=5221
726.70/726.94	c nbDecision=491500 #constraints=5221
727.40/727.68	c nbDecision=492000 #constraints=5221
728.20/728.42	c nbDecision=492500 #constraints=5221
728.90/729.16	c nbDecision=493000 #constraints=5221
729.69/729.90	c nbDecision=493500 #constraints=5221
730.39/730.64	c nbDecision=494000 #constraints=5221
731.09/731.38	c nbDecision=494500 #constraints=5221
731.89/732.12	c nbDecision=495000 #constraints=5221
732.59/732.85	c nbDecision=495500 #constraints=5221
733.29/733.59	c nbDecision=496000 #constraints=5221
734.09/734.32	c nbDecision=496500 #constraints=5221
734.79/735.05	c nbDecision=497000 #constraints=5221
735.49/735.79	c nbDecision=497500 #constraints=5221
736.29/736.51	c nbDecision=498000 #constraints=5221
736.99/737.23	c nbDecision=498500 #constraints=5221
737.69/737.96	c nbDecision=499000 #constraints=5221
738.39/738.68	c nbDecision=499500 #constraints=5221
739.19/739.40	c nbDecision=500000 #constraints=5221
739.89/740.12	c nbDecision=500500 #constraints=5221
740.59/740.84	c nbDecision=501000 #constraints=5221
741.29/741.56	c nbDecision=501500 #constraints=5221
742.00/742.28	c nbDecision=502000 #constraints=5221
742.80/743.04	c nbDecision=502500 #constraints=5222
743.60/743.80	c nbDecision=503000 #constraints=5222
744.30/744.56	c nbDecision=503500 #constraints=5222
745.09/745.32	c nbDecision=504000 #constraints=5222
745.79/746.08	c nbDecision=504500 #constraints=5222
746.60/746.84	c nbDecision=505000 #constraints=5222
747.39/747.61	c nbDecision=505500 #constraints=5222
748.09/748.37	c nbDecision=506000 #constraints=5222
748.90/749.13	c nbDecision=506500 #constraints=5222
749.59/749.89	c nbDecision=507000 #constraints=5222
750.39/750.64	c nbDecision=507500 #constraints=5222
751.19/751.40	c nbDecision=508000 #constraints=5222
751.89/752.15	c nbDecision=508500 #constraints=5222
752.69/752.91	c nbDecision=509000 #constraints=5222
753.39/753.66	c nbDecision=509500 #constraints=5222
754.19/754.41	c nbDecision=510000 #constraints=5222
754.89/755.16	c nbDecision=510500 #constraints=5222
755.69/755.91	c nbDecision=511000 #constraints=5222
756.39/756.65	c nbDecision=511500 #constraints=5222
757.09/757.39	c nbDecision=512000 #constraints=5222
757.89/758.13	c nbDecision=512500 #constraints=5222
758.59/758.86	c nbDecision=513000 #constraints=5222
759.39/759.60	c nbDecision=513500 #constraints=5222
760.09/760.33	c nbDecision=514000 #constraints=5222
760.79/761.07	c nbDecision=514500 #constraints=5222
761.59/761.80	c nbDecision=515000 #constraints=5222
762.29/762.54	c nbDecision=515500 #constraints=5222
762.99/763.27	c nbDecision=516000 #constraints=5222
763.78/764.00	c nbDecision=516500 #constraints=5222
764.48/764.73	c nbDecision=517000 #constraints=5222
765.18/765.46	c nbDecision=517500 #constraints=5222
765.88/766.19	c nbDecision=518000 #constraints=5222
766.68/766.93	c nbDecision=518500 #constraints=5222
767.38/767.66	c nbDecision=519000 #constraints=5222
768.08/768.39	c nbDecision=519500 #constraints=5222
768.88/769.12	c nbDecision=520000 #constraints=5222
769.58/769.85	c nbDecision=520500 #constraints=5222
770.28/770.58	c nbDecision=521000 #constraints=5222
771.08/771.31	c nbDecision=521500 #constraints=5222
771.78/772.04	c nbDecision=522000 #constraints=5222
772.48/772.77	c nbDecision=522500 #constraints=5222
773.18/773.49	c nbDecision=523000 #constraints=5222
773.98/774.22	c nbDecision=523500 #constraints=5222
774.68/774.94	c nbDecision=524000 #constraints=5222
775.38/775.67	c nbDecision=524500 #constraints=5222
776.18/776.46	c nbDecision=525000 #constraints=5223
776.98/777.22	c nbDecision=525500 #constraints=5223
777.68/777.98	c nbDecision=526000 #constraints=5223
778.48/778.74	c nbDecision=526500 #constraints=5223
779.28/779.50	c nbDecision=527000 #constraints=5223
779.98/780.25	c nbDecision=527500 #constraints=5223
780.78/781.01	c nbDecision=528000 #constraints=5223
781.47/781.76	c nbDecision=528500 #constraints=5223
782.27/782.51	c nbDecision=529000 #constraints=5223
782.98/783.26	c nbDecision=529500 #constraints=5223
783.77/784.01	c nbDecision=530000 #constraints=5223
784.47/784.76	c nbDecision=530500 #constraints=5223
785.27/785.51	c nbDecision=531000 #constraints=5223
785.97/786.25	c nbDecision=531500 #constraints=5223
786.77/787.01	c nbDecision=532000 #constraints=5223
787.47/787.76	c nbDecision=532500 #constraints=5223
788.27/788.50	c nbDecision=533000 #constraints=5223
788.97/789.25	c nbDecision=533500 #constraints=5223
789.77/790.00	c nbDecision=534000 #constraints=5223
790.47/790.74	c nbDecision=534500 #constraints=5223
791.17/791.49	c nbDecision=535000 #constraints=5223
791.97/792.23	c nbDecision=535500 #constraints=5223
792.67/792.97	c nbDecision=536000 #constraints=5223
793.47/793.71	c nbDecision=536500 #constraints=5223
794.17/794.45	c nbDecision=537000 #constraints=5223
794.87/795.19	c nbDecision=537500 #constraints=5223
795.67/795.93	c nbDecision=538000 #constraints=5223
796.37/796.66	c nbDecision=538500 #constraints=5223
797.07/797.39	c nbDecision=539000 #constraints=5223
797.87/798.12	c nbDecision=539500 #constraints=5223
798.57/798.85	c nbDecision=540000 #constraints=5223
799.27/799.58	c nbDecision=540500 #constraints=5223
800.07/800.30	c nbDecision=541000 #constraints=5223
800.77/801.03	c nbDecision=541500 #constraints=5223
801.47/801.75	c nbDecision=542000 #constraints=5223
802.17/802.48	c nbDecision=542500 #constraints=5223
802.97/803.20	c nbDecision=543000 #constraints=5223
803.67/803.92	c nbDecision=543500 #constraints=5223
804.37/804.64	c nbDecision=544000 #constraints=5223
805.06/805.36	c nbDecision=544500 #constraints=5223
805.76/806.09	c nbDecision=545000 #constraints=5223
806.56/806.81	c nbDecision=545500 #constraints=5223
807.26/807.54	c nbDecision=546000 #constraints=5223
807.96/808.26	c nbDecision=546500 #constraints=5223
808.76/809.04	c nbDecision=547000 #constraints=5224
809.56/809.81	c nbDecision=547500 #constraints=5224
810.26/810.58	c nbDecision=548000 #constraints=5224
811.06/811.35	c nbDecision=548500 #constraints=5224
811.86/812.11	c nbDecision=549000 #constraints=5224
812.57/812.88	c nbDecision=549500 #constraints=5224
813.36/813.64	c nbDecision=550000 #constraints=5224
814.16/814.40	c nbDecision=550500 #constraints=5224
814.87/815.16	c nbDecision=551000 #constraints=5224
815.66/815.92	c nbDecision=551500 #constraints=5224
816.36/816.66	c nbDecision=552000 #constraints=5224
817.16/817.41	c nbDecision=552500 #constraints=5224
817.86/818.16	c nbDecision=553000 #constraints=5224
818.66/818.91	c nbDecision=553500 #constraints=5224
819.36/819.65	c nbDecision=554000 #constraints=5224
820.06/820.39	c nbDecision=554500 #constraints=5224
820.86/821.13	c nbDecision=555000 #constraints=5224
821.56/821.88	c nbDecision=555500 #constraints=5224
822.36/822.62	c nbDecision=556000 #constraints=5224
823.06/823.35	c nbDecision=556500 #constraints=5224
823.76/824.09	c nbDecision=557000 #constraints=5224
824.56/824.83	c nbDecision=557500 #constraints=5224
825.26/825.56	c nbDecision=558000 #constraints=5224
826.06/826.30	c nbDecision=558500 #constraints=5224
826.76/827.04	c nbDecision=559000 #constraints=5224
827.46/827.78	c nbDecision=559500 #constraints=5224
828.26/828.52	c nbDecision=560000 #constraints=5224
828.96/829.26	c nbDecision=560500 #constraints=5224
829.66/830.00	c nbDecision=561000 #constraints=5224
830.45/830.73	c nbDecision=561500 #constraints=5224
831.15/831.47	c nbDecision=562000 #constraints=5224
831.95/832.20	c nbDecision=562500 #constraints=5224
832.65/832.93	c nbDecision=563000 #constraints=5224
833.35/833.67	c nbDecision=563500 #constraints=5224
834.15/834.40	c nbDecision=564000 #constraints=5224
834.85/835.13	c nbDecision=564500 #constraints=5224
835.55/835.86	c nbDecision=565000 #constraints=5224
836.25/836.58	c nbDecision=565500 #constraints=5224
837.05/837.30	c nbDecision=566000 #constraints=5224
837.75/838.03	c nbDecision=566500 #constraints=5224
838.45/838.74	c nbDecision=567000 #constraints=5224
839.15/839.46	c nbDecision=567500 #constraints=5224
839.85/840.18	c nbDecision=568000 #constraints=5224
840.65/840.90	c nbDecision=568500 #constraints=5224
841.35/841.66	c nbDecision=569000 #constraints=5225
842.15/842.43	c nbDecision=569500 #constraints=5225
842.85/843.19	c nbDecision=570000 #constraints=5225
843.65/843.95	c nbDecision=570500 #constraints=5225
844.45/844.70	c nbDecision=571000 #constraints=5225
845.15/845.46	c nbDecision=571500 #constraints=5225
845.95/846.22	c nbDecision=572000 #constraints=5225
846.65/846.98	c nbDecision=572500 #constraints=5225
847.45/847.74	c nbDecision=573000 #constraints=5225
848.25/848.50	c nbDecision=573500 #constraints=5225
848.95/849.26	c nbDecision=574000 #constraints=5225
849.75/850.01	c nbDecision=574500 #constraints=5225
850.45/850.77	c nbDecision=575000 #constraints=5225
851.25/851.52	c nbDecision=575500 #constraints=5225
851.95/852.27	c nbDecision=576000 #constraints=5225
852.75/853.02	c nbDecision=576500 #constraints=5225
853.45/853.77	c nbDecision=577000 #constraints=5225
854.25/854.52	c nbDecision=577500 #constraints=5225
854.95/855.26	c nbDecision=578000 #constraints=5225
855.75/856.01	c nbDecision=578500 #constraints=5225
856.45/856.75	c nbDecision=579000 #constraints=5225
857.15/857.48	c nbDecision=579500 #constraints=5225
857.95/858.22	c nbDecision=580000 #constraints=5225
858.65/858.95	c nbDecision=580500 #constraints=5225
859.35/859.68	c nbDecision=581000 #constraints=5225
860.15/860.42	c nbDecision=581500 #constraints=5225
860.85/861.15	c nbDecision=582000 #constraints=5225
861.55/861.88	c nbDecision=582500 #constraints=5225
862.34/862.61	c nbDecision=583000 #constraints=5225
863.04/863.34	c nbDecision=583500 #constraints=5225
863.74/864.07	c nbDecision=584000 #constraints=5225
864.55/864.80	c nbDecision=584500 #constraints=5225
865.25/865.53	c nbDecision=585000 #constraints=5225
865.95/866.26	c nbDecision=585500 #constraints=5225
866.65/866.99	c nbDecision=586000 #constraints=5225
867.45/867.72	c nbDecision=586500 #constraints=5225
868.15/868.45	c nbDecision=587000 #constraints=5225
868.85/869.18	c nbDecision=587500 #constraints=5225
869.65/869.90	c nbDecision=588000 #constraints=5225
870.35/870.63	c nbDecision=588500 #constraints=5225
871.05/871.36	c nbDecision=589000 #constraints=5225
871.75/872.09	c nbDecision=589500 #constraints=5225
872.55/872.81	c nbDecision=590000 #constraints=5225
873.25/873.54	c nbDecision=590500 #constraints=5225
874.05/874.30	c nbDecision=591000 #constraints=5226
874.75/875.07	c nbDecision=591500 #constraints=5226
875.55/875.84	c nbDecision=592000 #constraints=5226
876.25/876.60	c nbDecision=592500 #constraints=5226
877.05/877.35	c nbDecision=593000 #constraints=5226
877.85/878.11	c nbDecision=593500 #constraints=5226
878.55/878.87	c nbDecision=594000 #constraints=5226
879.35/879.62	c nbDecision=594500 #constraints=5226
880.05/880.37	c nbDecision=595000 #constraints=5226
880.85/881.12	c nbDecision=595500 #constraints=5226
881.55/881.87	c nbDecision=596000 #constraints=5226
882.34/882.62	c nbDecision=596500 #constraints=5226
883.05/883.37	c nbDecision=597000 #constraints=5226
883.84/884.12	c nbDecision=597500 #constraints=5226
884.54/884.86	c nbDecision=598000 #constraints=5226
885.34/885.60	c nbDecision=598500 #constraints=5226
886.04/886.35	c nbDecision=599000 #constraints=5226
886.84/887.10	c nbDecision=599500 #constraints=5226
887.54/887.85	c nbDecision=600000 #constraints=5226
888.24/888.59	c nbDecision=600500 #constraints=5226
889.04/889.34	c nbDecision=601000 #constraints=5226
889.74/890.08	c nbDecision=601500 #constraints=5226
890.54/890.82	c nbDecision=602000 #constraints=5226
891.24/891.56	c nbDecision=602500 #constraints=5226
892.04/892.31	c nbDecision=603000 #constraints=5226
892.74/893.05	c nbDecision=603500 #constraints=5226
893.44/893.78	c nbDecision=604000 #constraints=5226
894.24/894.52	c nbDecision=604500 #constraints=5226
894.94/895.26	c nbDecision=605000 #constraints=5226
895.74/896.00	c nbDecision=605500 #constraints=5226
896.44/896.73	c nbDecision=606000 #constraints=5226
897.14/897.45	c nbDecision=606500 #constraints=5226
897.84/898.18	c nbDecision=607000 #constraints=5226
898.64/898.91	c nbDecision=607500 #constraints=5226
899.34/899.63	c nbDecision=608000 #constraints=5226
900.04/900.36	c nbDecision=608500 #constraints=5226
900.74/901.08	c nbDecision=609000 #constraints=5226
901.54/901.80	c nbDecision=609500 #constraints=5226
902.24/902.53	c nbDecision=610000 #constraints=5226
902.94/903.25	c nbDecision=610500 #constraints=5226
903.64/903.97	c nbDecision=611000 #constraints=5226
904.34/904.69	c nbDecision=611500 #constraints=5226
905.14/905.41	c nbDecision=612000 #constraints=5226
905.84/906.12	c nbDecision=612500 #constraints=5226
906.54/906.85	c nbDecision=613000 #constraints=5226
907.34/907.65	c nbDecision=613500 #constraints=5227
908.13/908.42	c nbDecision=614000 #constraints=5227
908.83/909.19	c nbDecision=614500 #constraints=5227
909.63/909.95	c nbDecision=615000 #constraints=5227
910.44/910.71	c nbDecision=615500 #constraints=5227
911.13/911.48	c nbDecision=616000 #constraints=5227
911.93/912.24	c nbDecision=616500 #constraints=5227
912.64/913.00	c nbDecision=617000 #constraints=5227
913.43/913.76	c nbDecision=617500 #constraints=5227
914.23/914.52	c nbDecision=618000 #constraints=5227
914.94/915.27	c nbDecision=618500 #constraints=5227
915.73/916.03	c nbDecision=619000 #constraints=5227
916.43/916.77	c nbDecision=619500 #constraints=5227
917.23/917.52	c nbDecision=620000 #constraints=5227
917.93/918.26	c nbDecision=620500 #constraints=5227
918.73/919.00	c nbDecision=621000 #constraints=5227
919.43/919.75	c nbDecision=621500 #constraints=5227
920.13/920.49	c nbDecision=622000 #constraints=5227
920.93/921.22	c nbDecision=622500 #constraints=5227
921.63/921.96	c nbDecision=623000 #constraints=5227
922.43/922.70	c nbDecision=623500 #constraints=5227
923.13/923.44	c nbDecision=624000 #constraints=5227
923.83/924.17	c nbDecision=624500 #constraints=5227
924.62/924.91	c nbDecision=625000 #constraints=5227
925.32/925.64	c nbDecision=625500 #constraints=5227
926.02/926.37	c nbDecision=626000 #constraints=5227
926.82/927.11	c nbDecision=626500 #constraints=5227
927.52/927.85	c nbDecision=627000 #constraints=5227
928.22/928.59	c nbDecision=627500 #constraints=5227
929.02/929.32	c nbDecision=628000 #constraints=5227
929.72/930.06	c nbDecision=628500 #constraints=5227
930.42/930.79	c nbDecision=629000 #constraints=5227
931.22/931.53	c nbDecision=629500 #constraints=5227
931.92/932.26	c nbDecision=630000 #constraints=5227
932.62/932.99	c nbDecision=630500 #constraints=5227
933.42/933.72	c nbDecision=631000 #constraints=5227
934.12/934.45	c nbDecision=631500 #constraints=5227
934.82/935.18	c nbDecision=632000 #constraints=5227
935.62/935.91	c nbDecision=632500 #constraints=5227
936.33/936.63	c nbDecision=633000 #constraints=5227
937.03/937.35	c nbDecision=633500 #constraints=5227
937.73/938.07	c nbDecision=634000 #constraints=5227
938.43/938.79	c nbDecision=634500 #constraints=5227
939.23/939.50	c nbDecision=635000 #constraints=5227
939.93/940.29	c nbDecision=635500 #constraints=5228
940.73/941.05	c nbDecision=636000 #constraints=5228
941.53/941.81	c nbDecision=636500 #constraints=5228
942.23/942.57	c nbDecision=637000 #constraints=5228
943.03/943.33	c nbDecision=637500 #constraints=5228
943.73/944.08	c nbDecision=638000 #constraints=5228
944.53/944.84	c nbDecision=638500 #constraints=5228
945.23/945.59	c nbDecision=639000 #constraints=5228
946.03/946.34	c nbDecision=639500 #constraints=5228
946.83/947.10	c nbDecision=640000 #constraints=5228
947.52/947.86	c nbDecision=640500 #constraints=5228
948.32/948.61	c nbDecision=641000 #constraints=5228
949.03/949.37	c nbDecision=641500 #constraints=5228
949.83/950.12	c nbDecision=642000 #constraints=5228
950.52/950.87	c nbDecision=642500 #constraints=5228
951.32/951.62	c nbDecision=643000 #constraints=5228
952.02/952.37	c nbDecision=643500 #constraints=5228
952.82/953.11	c nbDecision=644000 #constraints=5228
953.52/953.86	c nbDecision=644500 #constraints=5228
954.32/954.61	c nbDecision=645000 #constraints=5228
955.02/955.35	c nbDecision=645500 #constraints=5228
955.72/956.09	c nbDecision=646000 #constraints=5228
956.52/956.83	c nbDecision=646500 #constraints=5228
957.22/957.56	c nbDecision=647000 #constraints=5228
957.92/958.30	c nbDecision=647500 #constraints=5228
958.72/959.03	c nbDecision=648000 #constraints=5228
959.42/959.76	c nbDecision=648500 #constraints=5228
960.12/960.49	c nbDecision=649000 #constraints=5228
960.92/961.22	c nbDecision=649500 #constraints=5228
961.62/961.95	c nbDecision=650000 #constraints=5228
962.32/962.68	c nbDecision=650500 #constraints=5228
963.12/963.40	c nbDecision=651000 #constraints=5228
963.82/964.13	c nbDecision=651500 #constraints=5228
964.52/964.86	c nbDecision=652000 #constraints=5228
965.22/965.58	c nbDecision=652500 #constraints=5228
966.02/966.31	c nbDecision=653000 #constraints=5228
966.72/967.04	c nbDecision=653500 #constraints=5228
967.41/967.77	c nbDecision=654000 #constraints=5228
968.21/968.50	c nbDecision=654500 #constraints=5228
968.91/969.22	c nbDecision=655000 #constraints=5228
969.61/969.95	c nbDecision=655500 #constraints=5228
970.31/970.68	c nbDecision=656000 #constraints=5228
971.11/971.40	c nbDecision=656500 #constraints=5228
971.81/972.12	c nbDecision=657000 #constraints=5228
972.61/972.91	c nbDecision=657500 #constraints=5229
973.31/973.68	c nbDecision=658000 #constraints=5229
974.11/974.45	c nbDecision=658500 #constraints=5229
974.91/975.21	c nbDecision=659000 #constraints=5229
975.61/975.97	c nbDecision=659500 #constraints=5229
976.42/976.72	c nbDecision=660000 #constraints=5229
977.11/977.48	c nbDecision=660500 #constraints=5229
977.91/978.23	c nbDecision=661000 #constraints=5229
978.62/978.98	c nbDecision=661500 #constraints=5229
979.41/979.73	c nbDecision=662000 #constraints=5229
980.11/980.47	c nbDecision=662500 #constraints=5229
980.91/981.22	c nbDecision=663000 #constraints=5229
981.61/981.97	c nbDecision=663500 #constraints=5229
982.41/982.71	c nbDecision=664000 #constraints=5229
983.11/983.45	c nbDecision=664500 #constraints=5229
983.81/984.19	c nbDecision=665000 #constraints=5229
984.61/984.93	c nbDecision=665500 #constraints=5229
985.31/985.67	c nbDecision=666000 #constraints=5229
986.11/986.41	c nbDecision=666500 #constraints=5229
986.81/987.16	c nbDecision=667000 #constraints=5229
987.61/987.90	c nbDecision=667500 #constraints=5229
988.31/988.64	c nbDecision=668000 #constraints=5229
989.01/989.38	c nbDecision=668500 #constraints=5229
989.81/990.12	c nbDecision=669000 #constraints=5229
990.51/990.86	c nbDecision=669500 #constraints=5229
991.31/991.60	c nbDecision=670000 #constraints=5229
992.01/992.34	c nbDecision=670500 #constraints=5229
992.71/993.08	c nbDecision=671000 #constraints=5229
993.51/993.81	c nbDecision=671500 #constraints=5229
994.21/994.55	c nbDecision=672000 #constraints=5229
994.91/995.28	c nbDecision=672500 #constraints=5229
995.71/996.01	c nbDecision=673000 #constraints=5229
996.40/996.74	c nbDecision=673500 #constraints=5229
997.10/997.46	c nbDecision=674000 #constraints=5229
997.80/998.19	c nbDecision=674500 #constraints=5229
998.60/998.91	c nbDecision=675000 #constraints=5229
999.30/999.63	c nbDecision=675500 #constraints=5229
1000.00/1000.35	c nbDecision=676000 #constraints=5229
1000.71/1001.07	c nbDecision=676500 #constraints=5229
1001.40/1001.79	c nbDecision=677000 #constraints=5229
1002.20/1002.51	c nbDecision=677500 #constraints=5229
1002.91/1003.23	c nbDecision=678000 #constraints=5229
1003.60/1003.98	c nbDecision=678500 #constraints=5230
1004.40/1004.74	c nbDecision=679000 #constraints=5230
1005.20/1005.50	c nbDecision=679500 #constraints=5230
1005.90/1006.26	c nbDecision=680000 #constraints=5230
1006.70/1007.03	c nbDecision=680500 #constraints=5230
1007.40/1007.79	c nbDecision=681000 #constraints=5230
1008.20/1008.56	c nbDecision=681500 #constraints=5230
1009.00/1009.32	c nbDecision=682000 #constraints=5230
1009.70/1010.08	c nbDecision=682500 #constraints=5230
1010.50/1010.84	c nbDecision=683000 #constraints=5230
1011.20/1011.60	c nbDecision=683500 #constraints=5230
1012.00/1012.35	c nbDecision=684000 #constraints=5230
1012.80/1013.11	c nbDecision=684500 #constraints=5230
1013.50/1013.86	c nbDecision=685000 #constraints=5230
1014.30/1014.61	c nbDecision=685500 #constraints=5230
1015.00/1015.36	c nbDecision=686000 #constraints=5230
1015.80/1016.11	c nbDecision=686500 #constraints=5230
1016.50/1016.85	c nbDecision=687000 #constraints=5230
1017.20/1017.59	c nbDecision=687500 #constraints=5230
1018.00/1018.33	c nbDecision=688000 #constraints=5230
1018.70/1019.07	c nbDecision=688500 #constraints=5230
1019.50/1019.80	c nbDecision=689000 #constraints=5230
1020.19/1020.54	c nbDecision=689500 #constraints=5230
1020.89/1021.27	c nbDecision=690000 #constraints=5230
1021.69/1022.01	c nbDecision=690500 #constraints=5230
1022.39/1022.74	c nbDecision=691000 #constraints=5230
1023.09/1023.47	c nbDecision=691500 #constraints=5230
1023.89/1024.20	c nbDecision=692000 #constraints=5230
1024.59/1024.94	c nbDecision=692500 #constraints=5230
1025.29/1025.67	c nbDecision=693000 #constraints=5230
1026.09/1026.40	c nbDecision=693500 #constraints=5230
1026.79/1027.13	c nbDecision=694000 #constraints=5230
1027.49/1027.87	c nbDecision=694500 #constraints=5230
1028.29/1028.60	c nbDecision=695000 #constraints=5230
1028.99/1029.33	c nbDecision=695500 #constraints=5230
1029.69/1030.07	c nbDecision=696000 #constraints=5230
1030.40/1030.80	c nbDecision=696500 #constraints=5230
1031.19/1031.53	c nbDecision=697000 #constraints=5230
1031.89/1032.25	c nbDecision=697500 #constraints=5230
1032.60/1032.98	c nbDecision=698000 #constraints=5230
1033.39/1033.71	c nbDecision=698500 #constraints=5230
1034.09/1034.44	c nbDecision=699000 #constraints=5230
1034.79/1035.16	c nbDecision=699500 #constraints=5230
1035.49/1035.89	c nbDecision=700000 #constraints=5230
1036.29/1036.64	c nbDecision=700500 #constraints=5231
1037.09/1037.40	c nbDecision=701000 #constraints=5231
1037.79/1038.16	c nbDecision=701500 #constraints=5231
1038.59/1038.92	c nbDecision=702000 #constraints=5231
1039.29/1039.67	c nbDecision=702500 #constraints=5231
1040.09/1040.43	c nbDecision=703000 #constraints=5231
1040.79/1041.18	c nbDecision=703500 #constraints=5231
1041.59/1041.94	c nbDecision=704000 #constraints=5231
1042.29/1042.69	c nbDecision=704500 #constraints=5231
1043.09/1043.44	c nbDecision=705000 #constraints=5231
1043.79/1044.19	c nbDecision=705500 #constraints=5231
1044.60/1044.94	c nbDecision=706000 #constraints=5231
1045.30/1045.68	c nbDecision=706500 #constraints=5231
1046.10/1046.43	c nbDecision=707000 #constraints=5231
1046.80/1047.19	c nbDecision=707500 #constraints=5231
1047.60/1047.94	c nbDecision=708000 #constraints=5231
1048.30/1048.69	c nbDecision=708500 #constraints=5231
1049.10/1049.43	c nbDecision=709000 #constraints=5231
1049.80/1050.18	c nbDecision=709500 #constraints=5231
1050.60/1050.92	c nbDecision=710000 #constraints=5231
1051.30/1051.67	c nbDecision=710500 #constraints=5231
1052.10/1052.41	c nbDecision=711000 #constraints=5231
1052.79/1053.15	c nbDecision=711500 #constraints=5231
1053.50/1053.89	c nbDecision=712000 #constraints=5231
1054.29/1054.63	c nbDecision=712500 #constraints=5231
1054.99/1055.37	c nbDecision=713000 #constraints=5231
1055.79/1056.11	c nbDecision=713500 #constraints=5231
1056.49/1056.84	c nbDecision=714000 #constraints=5231
1057.19/1057.57	c nbDecision=714500 #constraints=5231
1057.99/1058.30	c nbDecision=715000 #constraints=5231
1058.69/1059.03	c nbDecision=715500 #constraints=5231
1059.39/1059.76	c nbDecision=716000 #constraints=5231
1060.09/1060.49	c nbDecision=716500 #constraints=5231
1060.89/1061.21	c nbDecision=717000 #constraints=5231
1061.59/1061.94	c nbDecision=717500 #constraints=5231
1062.29/1062.66	c nbDecision=718000 #constraints=5231
1062.99/1063.38	c nbDecision=718500 #constraints=5231
1063.79/1064.11	c nbDecision=719000 #constraints=5231
1064.49/1064.83	c nbDecision=719500 #constraints=5231
1065.19/1065.55	c nbDecision=720000 #constraints=5231
1065.89/1066.27	c nbDecision=720500 #constraints=5231
1066.59/1067.00	c nbDecision=721000 #constraints=5231
1067.39/1067.72	c nbDecision=721500 #constraints=5231
1068.09/1068.44	c nbDecision=722000 #constraints=5231
1068.89/1069.23	c nbDecision=722500 #constraints=5232
1069.59/1069.99	c nbDecision=723000 #constraints=5232
1070.39/1070.75	c nbDecision=723500 #constraints=5232
1071.19/1071.51	c nbDecision=724000 #constraints=5232
1071.89/1072.27	c nbDecision=724500 #constraints=5232
1072.69/1073.03	c nbDecision=725000 #constraints=5232
1073.39/1073.78	c nbDecision=725500 #constraints=5232
1074.18/1074.54	c nbDecision=726000 #constraints=5232
1074.88/1075.29	c nbDecision=726500 #constraints=5232
1075.68/1076.04	c nbDecision=727000 #constraints=5232
1076.38/1076.78	c nbDecision=727500 #constraints=5232
1077.18/1077.53	c nbDecision=728000 #constraints=5232
1077.89/1078.27	c nbDecision=728500 #constraints=5232
1078.69/1079.01	c nbDecision=729000 #constraints=5232
1079.38/1079.75	c nbDecision=729500 #constraints=5232
1080.08/1080.48	c nbDecision=730000 #constraints=5232
1080.89/1081.22	c nbDecision=730500 #constraints=5232
1081.58/1081.95	c nbDecision=731000 #constraints=5232
1082.28/1082.69	c nbDecision=731500 #constraints=5232
1083.08/1083.42	c nbDecision=732000 #constraints=5232
1083.78/1084.16	c nbDecision=732500 #constraints=5232
1084.48/1084.89	c nbDecision=733000 #constraints=5232
1085.28/1085.62	c nbDecision=733500 #constraints=5232
1085.98/1086.36	c nbDecision=734000 #constraints=5232
1086.68/1087.09	c nbDecision=734500 #constraints=5232
1087.48/1087.83	c nbDecision=735000 #constraints=5232
1088.18/1088.56	c nbDecision=735500 #constraints=5232
1088.88/1089.29	c nbDecision=736000 #constraints=5232
1089.68/1090.03	c nbDecision=736500 #constraints=5232
1090.38/1090.76	c nbDecision=737000 #constraints=5232
1091.08/1091.49	c nbDecision=737500 #constraints=5232
1091.88/1092.22	c nbDecision=738000 #constraints=5232
1092.58/1092.95	c nbDecision=738500 #constraints=5232
1093.28/1093.68	c nbDecision=739000 #constraints=5232
1094.08/1094.41	c nbDecision=739500 #constraints=5232
1094.78/1095.13	c nbDecision=740000 #constraints=5232
1095.48/1095.86	c nbDecision=740500 #constraints=5232
1096.18/1096.58	c nbDecision=741000 #constraints=5232
1096.98/1097.30	c nbDecision=741500 #constraints=5232
1097.68/1098.06	c nbDecision=742000 #constraints=5233
1098.48/1098.81	c nbDecision=742500 #constraints=5233
1099.18/1099.56	c nbDecision=743000 #constraints=5233
1099.98/1100.32	c nbDecision=743500 #constraints=5233
1100.68/1101.07	c nbDecision=744000 #constraints=5233
1101.48/1101.82	c nbDecision=744500 #constraints=5233
1102.17/1102.57	c nbDecision=745000 #constraints=5233
1102.98/1103.32	c nbDecision=745500 #constraints=5233
1103.67/1104.06	c nbDecision=746000 #constraints=5233
1104.47/1104.81	c nbDecision=746500 #constraints=5233
1105.18/1105.55	c nbDecision=747000 #constraints=5233
1105.87/1106.30	c nbDecision=747500 #constraints=5233
1106.67/1107.04	c nbDecision=748000 #constraints=5233
1107.38/1107.79	c nbDecision=748500 #constraints=5233
1108.17/1108.54	c nbDecision=749000 #constraints=5233
1108.87/1109.28	c nbDecision=749500 #constraints=5233
1109.67/1110.03	c nbDecision=750000 #constraints=5233
1110.37/1110.77	c nbDecision=750500 #constraints=5233
1111.17/1111.51	c nbDecision=751000 #constraints=5233
1111.87/1112.25	c nbDecision=751500 #constraints=5233
1112.57/1112.99	c nbDecision=752000 #constraints=5233
1113.37/1113.73	c nbDecision=752500 #constraints=5233
1114.07/1114.47	c nbDecision=753000 #constraints=5233
1114.87/1115.21	c nbDecision=753500 #constraints=5233
1115.57/1115.95	c nbDecision=754000 #constraints=5233
1116.27/1116.68	c nbDecision=754500 #constraints=5233
1117.07/1117.40	c nbDecision=755000 #constraints=5233
1117.77/1118.13	c nbDecision=755500 #constraints=5233
1118.47/1118.86	c nbDecision=756000 #constraints=5233
1119.17/1119.58	c nbDecision=756500 #constraints=5233
1119.97/1120.31	c nbDecision=757000 #constraints=5233
1120.67/1121.03	c nbDecision=757500 #constraints=5233
1121.37/1121.75	c nbDecision=758000 #constraints=5233
1122.07/1122.48	c nbDecision=758500 #constraints=5233
1122.87/1123.20	c nbDecision=759000 #constraints=5233
1123.57/1123.92	c nbDecision=759500 #constraints=5233
1124.27/1124.64	c nbDecision=760000 #constraints=5233
1124.97/1125.36	c nbDecision=760500 #constraints=5233
1125.66/1126.08	c nbDecision=761000 #constraints=5233
1126.46/1126.80	c nbDecision=761500 #constraints=5233
1127.17/1127.60	c nbDecision=762000 #constraints=5234
1127.96/1128.36	c nbDecision=762500 #constraints=5234
1128.76/1129.13	c nbDecision=763000 #constraints=5234
1129.47/1129.89	c nbDecision=763500 #constraints=5234
1130.26/1130.66	c nbDecision=764000 #constraints=5234
1131.06/1131.42	c nbDecision=764500 #constraints=5234
1131.76/1132.18	c nbDecision=765000 #constraints=5234
1132.57/1132.94	c nbDecision=765500 #constraints=5234
1133.26/1133.69	c nbDecision=766000 #constraints=5234
1134.06/1134.45	c nbDecision=766500 #constraints=5234
1134.87/1135.21	c nbDecision=767000 #constraints=5234
1135.56/1135.96	c nbDecision=767500 #constraints=5234
1136.36/1136.71	c nbDecision=768000 #constraints=5234
1137.07/1137.45	c nbDecision=768500 #constraints=5234
1137.76/1138.19	c nbDecision=769000 #constraints=5234
1138.56/1138.93	c nbDecision=769500 #constraints=5234
1139.26/1139.67	c nbDecision=770000 #constraints=5234
1140.07/1140.42	c nbDecision=770500 #constraints=5234
1140.77/1141.15	c nbDecision=771000 #constraints=5234
1141.47/1141.89	c nbDecision=771500 #constraints=5234
1142.27/1142.63	c nbDecision=772000 #constraints=5234
1142.97/1143.36	c nbDecision=772500 #constraints=5234
1143.77/1144.10	c nbDecision=773000 #constraints=5234
1144.47/1144.83	c nbDecision=773500 #constraints=5234
1145.17/1145.56	c nbDecision=774000 #constraints=5234
1145.97/1146.30	c nbDecision=774500 #constraints=5234
1146.67/1147.03	c nbDecision=775000 #constraints=5234
1147.37/1147.77	c nbDecision=775500 #constraints=5234
1148.17/1148.51	c nbDecision=776000 #constraints=5234
1148.87/1149.24	c nbDecision=776500 #constraints=5234
1149.57/1149.98	c nbDecision=777000 #constraints=5234
1150.37/1150.71	c nbDecision=777500 #constraints=5234
1151.07/1151.44	c nbDecision=778000 #constraints=5234
1151.76/1152.18	c nbDecision=778500 #constraints=5234
1152.56/1152.91	c nbDecision=779000 #constraints=5234
1153.26/1153.64	c nbDecision=779500 #constraints=5234
1153.96/1154.36	c nbDecision=780000 #constraints=5234
1154.67/1155.09	c nbDecision=780500 #constraints=5234
1155.46/1155.82	c nbDecision=781000 #constraints=5234
1156.16/1156.54	c nbDecision=781500 #constraints=5234
1156.87/1157.26	c nbDecision=782000 #constraints=5234
1157.56/1157.98	c nbDecision=782500 #constraints=5234
1158.26/1158.70	c nbDecision=783000 #constraints=5234
1159.06/1159.48	c nbDecision=783500 #constraints=5235
1159.86/1160.24	c nbDecision=784000 #constraints=5235
1160.56/1161.00	c nbDecision=784500 #constraints=5235
1161.36/1161.75	c nbDecision=785000 #constraints=5235
1162.16/1162.51	c nbDecision=785500 #constraints=5235
1162.86/1163.26	c nbDecision=786000 #constraints=5235
1163.66/1164.02	c nbDecision=786500 #constraints=5235
1164.36/1164.77	c nbDecision=787000 #constraints=5235
1165.16/1165.52	c nbDecision=787500 #constraints=5235
1165.86/1166.27	c nbDecision=788000 #constraints=5235
1166.66/1167.03	c nbDecision=788500 #constraints=5235
1167.36/1167.78	c nbDecision=789000 #constraints=5235
1168.16/1168.53	c nbDecision=789500 #constraints=5235
1168.86/1169.28	c nbDecision=790000 #constraints=5235
1169.66/1170.03	c nbDecision=790500 #constraints=5235
1170.36/1170.78	c nbDecision=791000 #constraints=5235
1171.16/1171.53	c nbDecision=791500 #constraints=5235
1171.86/1172.28	c nbDecision=792000 #constraints=5235
1172.66/1173.02	c nbDecision=792500 #constraints=5235
1173.36/1173.77	c nbDecision=793000 #constraints=5235
1174.16/1174.51	c nbDecision=793500 #constraints=5235
1174.86/1175.25	c nbDecision=794000 #constraints=5235
1175.56/1175.99	c nbDecision=794500 #constraints=5235
1176.35/1176.73	c nbDecision=795000 #constraints=5235
1177.05/1177.46	c nbDecision=795500 #constraints=5235
1177.76/1178.19	c nbDecision=796000 #constraints=5235
1178.55/1178.92	c nbDecision=796500 #constraints=5235
1179.25/1179.65	c nbDecision=797000 #constraints=5235
1179.96/1180.38	c nbDecision=797500 #constraints=5235
1180.75/1181.11	c nbDecision=798000 #constraints=5235
1181.45/1181.84	c nbDecision=798500 #constraints=5235
1182.16/1182.56	c nbDecision=799000 #constraints=5235
1182.85/1183.29	c nbDecision=799500 #constraints=5235
1183.65/1184.01	c nbDecision=800000 #constraints=5235
1184.35/1184.74	c nbDecision=800500 #constraints=5235
1185.05/1185.46	c nbDecision=801000 #constraints=5235
1185.75/1186.18	c nbDecision=801500 #constraints=5235
1186.55/1186.91	c nbDecision=802000 #constraints=5235
1187.25/1187.64	c nbDecision=802500 #constraints=5235
1187.95/1188.37	c nbDecision=803000 #constraints=5235
1188.65/1189.09	c nbDecision=803500 #constraints=5235
1189.45/1189.82	c nbDecision=804000 #constraints=5235
1190.15/1190.54	c nbDecision=804500 #constraints=5235
1190.95/1191.33	c nbDecision=805000 #constraints=5236
1191.75/1192.10	c nbDecision=805500 #constraints=5236
1192.45/1192.87	c nbDecision=806000 #constraints=5236
1193.25/1193.63	c nbDecision=806500 #constraints=5236
1194.05/1194.40	c nbDecision=807000 #constraints=5236
1194.75/1195.16	c nbDecision=807500 #constraints=5236
1195.55/1195.92	c nbDecision=808000 #constraints=5236
1196.25/1196.68	c nbDecision=808500 #constraints=5236
1197.05/1197.43	c nbDecision=809000 #constraints=5236
1197.74/1198.18	c nbDecision=809500 #constraints=5236
1198.55/1198.93	c nbDecision=810000 #constraints=5236
1199.24/1199.68	c nbDecision=810500 #constraints=5236
1200.04/1200.43	c nbDecision=811000 #constraints=5236
1200.75/1201.17	c nbDecision=811500 #constraints=5236
1201.54/1201.92	c nbDecision=812000 #constraints=5236
1202.24/1202.66	c nbDecision=812500 #constraints=5236
1203.05/1203.40	c nbDecision=813000 #constraints=5236
1203.74/1204.15	c nbDecision=813500 #constraints=5236
1204.44/1204.89	c nbDecision=814000 #constraints=5236
1205.24/1205.62	c nbDecision=814500 #constraints=5236
1205.94/1206.36	c nbDecision=815000 #constraints=5236
1206.74/1207.11	c nbDecision=815500 #constraints=5236
1207.44/1207.85	c nbDecision=816000 #constraints=5236
1208.14/1208.59	c nbDecision=816500 #constraints=5236
1208.94/1209.33	c nbDecision=817000 #constraints=5236
1209.64/1210.07	c nbDecision=817500 #constraints=5236
1210.44/1210.81	c nbDecision=818000 #constraints=5236
1211.14/1211.55	c nbDecision=818500 #constraints=5236
1211.84/1212.29	c nbDecision=819000 #constraints=5236
1212.14/1212.58	c restart after 819201 decisions
1212.64/1213.08	c nbDecision=819500 #constraints=5236
1213.44/1213.86	c nbDecision=820000 #constraints=5236
1214.24/1214.65	c nbDecision=820500 #constraints=5236
1215.04/1215.43	c nbDecision=821000 #constraints=5236
1215.84/1216.21	c nbDecision=821500 #constraints=5236
1216.54/1216.98	c nbDecision=822000 #constraints=5236
1217.34/1217.75	c nbDecision=822500 #constraints=5236
1218.14/1218.51	c nbDecision=823000 #constraints=5236
1218.84/1219.28	c nbDecision=823500 #constraints=5236
1219.64/1220.05	c nbDecision=824000 #constraints=5236
1220.44/1220.81	c nbDecision=824500 #constraints=5236
1221.14/1221.57	c nbDecision=825000 #constraints=5236
1221.94/1222.34	c nbDecision=825500 #constraints=5236
1222.63/1223.10	c nbDecision=826000 #constraints=5236
1223.43/1223.85	c nbDecision=826500 #constraints=5236
1224.23/1224.61	c nbDecision=827000 #constraints=5236
1224.94/1225.37	c nbDecision=827500 #constraints=5236
1225.73/1226.12	c nbDecision=828000 #constraints=5236
1226.43/1226.88	c nbDecision=828500 #constraints=5236
1227.24/1227.64	c nbDecision=829000 #constraints=5236
1228.03/1228.40	c nbDecision=829500 #constraints=5236
1228.73/1229.15	c nbDecision=830000 #constraints=5236
1229.53/1229.91	c nbDecision=830500 #constraints=5236
1230.23/1230.66	c nbDecision=831000 #constraints=5236
1231.03/1231.42	c nbDecision=831500 #constraints=5236
1231.73/1232.17	c nbDecision=832000 #constraints=5236
1232.53/1232.92	c nbDecision=832500 #constraints=5236
1233.23/1233.67	c nbDecision=833000 #constraints=5236
1234.03/1234.42	c nbDecision=833500 #constraints=5236
1234.73/1235.16	c nbDecision=834000 #constraints=5236
1235.53/1235.91	c nbDecision=834500 #constraints=5236
1236.23/1236.65	c nbDecision=835000 #constraints=5236
1236.93/1237.38	c nbDecision=835500 #constraints=5236
1237.73/1238.12	c nbDecision=836000 #constraints=5236
1238.42/1238.85	c nbDecision=836500 #constraints=5236
1239.12/1239.59	c nbDecision=837000 #constraints=5236
1239.92/1240.32	c nbDecision=837500 #constraints=5236
1240.63/1241.05	c nbDecision=838000 #constraints=5236
1241.32/1241.78	c nbDecision=838500 #constraints=5236
1242.12/1242.51	c nbDecision=839000 #constraints=5236
1242.82/1243.24	c nbDecision=839500 #constraints=5236
1243.52/1243.97	c nbDecision=840000 #constraints=5236
1244.32/1244.70	c nbDecision=840500 #constraints=5236
1245.02/1245.42	c nbDecision=841000 #constraints=5236
1245.72/1246.15	c nbDecision=841500 #constraints=5236
1246.42/1246.88	c nbDecision=842000 #constraints=5236
1247.22/1247.62	c nbDecision=842500 #constraints=5236
1247.92/1248.35	c nbDecision=843000 #constraints=5236
1248.62/1249.07	c nbDecision=843500 #constraints=5236
1249.42/1249.80	c nbDecision=844000 #constraints=5236
1250.12/1250.53	c nbDecision=844500 #constraints=5236
1250.82/1251.26	c nbDecision=845000 #constraints=5236
1251.52/1251.98	c nbDecision=845500 #constraints=5236
1252.32/1252.71	c nbDecision=846000 #constraints=5236
1253.02/1253.43	c nbDecision=846500 #constraints=5236
1253.82/1254.22	c nbDecision=847000 #constraints=5237
1254.52/1254.98	c nbDecision=847500 #constraints=5237
1255.32/1255.75	c nbDecision=848000 #constraints=5237
1256.12/1256.51	c nbDecision=848500 #constraints=5237
1256.82/1257.27	c nbDecision=849000 #constraints=5237
1257.62/1258.03	c nbDecision=849500 #constraints=5237
1258.32/1258.78	c nbDecision=850000 #constraints=5237
1259.12/1259.54	c nbDecision=850500 #constraints=5237
1259.82/1260.29	c nbDecision=851000 #constraints=5237
1260.62/1261.04	c nbDecision=851500 #constraints=5237
1261.33/1261.79	c nbDecision=852000 #constraints=5237
1262.12/1262.54	c nbDecision=852500 #constraints=5237
1262.82/1263.29	c nbDecision=853000 #constraints=5237
1263.62/1264.03	c nbDecision=853500 #constraints=5237
1264.32/1264.78	c nbDecision=854000 #constraints=5237
1265.12/1265.52	c nbDecision=854500 #constraints=5237
1265.82/1266.26	c nbDecision=855000 #constraints=5237
1266.62/1267.01	c nbDecision=855500 #constraints=5237
1267.32/1267.76	c nbDecision=856000 #constraints=5237
1268.12/1268.50	c nbDecision=856500 #constraints=5237
1268.82/1269.24	c nbDecision=857000 #constraints=5237
1269.52/1269.99	c nbDecision=857500 #constraints=5237
1270.32/1270.73	c nbDecision=858000 #constraints=5237
1271.02/1271.47	c nbDecision=858500 #constraints=5237
1271.82/1272.21	c nbDecision=859000 #constraints=5237
1272.52/1272.95	c nbDecision=859500 #constraints=5237
1273.22/1273.69	c nbDecision=860000 #constraints=5237
1274.02/1274.43	c nbDecision=860500 #constraints=5237
1274.72/1275.17	c nbDecision=861000 #constraints=5237
1275.52/1275.90	c nbDecision=861500 #constraints=5237
1276.22/1276.63	c nbDecision=862000 #constraints=5237
1276.92/1277.36	c nbDecision=862500 #constraints=5237
1277.62/1278.09	c nbDecision=863000 #constraints=5237
1278.42/1278.81	c nbDecision=863500 #constraints=5237
1279.12/1279.54	c nbDecision=864000 #constraints=5237
1279.82/1280.26	c nbDecision=864500 #constraints=5237
1280.52/1280.99	c nbDecision=865000 #constraints=5237
1281.32/1281.71	c nbDecision=865500 #constraints=5237
1282.01/1282.43	c nbDecision=866000 #constraints=5237
1282.71/1283.15	c nbDecision=866500 #constraints=5237
1283.41/1283.87	c nbDecision=867000 #constraints=5237
1284.11/1284.59	c nbDecision=867500 #constraints=5237
1284.91/1285.31	c nbDecision=868000 #constraints=5237
1285.61/1286.03	c nbDecision=868500 #constraints=5237
1286.41/1286.80	c nbDecision=869000 #constraints=5238
1287.11/1287.57	c nbDecision=869500 #constraints=5238
1287.91/1288.33	c nbDecision=870000 #constraints=5238
1288.61/1289.10	c nbDecision=870500 #constraints=5238
1289.41/1289.87	c nbDecision=871000 #constraints=5238
1290.21/1290.63	c nbDecision=871500 #constraints=5238
1290.91/1291.39	c nbDecision=872000 #constraints=5238
1291.71/1292.15	c nbDecision=872500 #constraints=5238
1292.51/1292.91	c nbDecision=873000 #constraints=5238
1293.21/1293.67	c nbDecision=873500 #constraints=5238
1294.01/1294.43	c nbDecision=874000 #constraints=5238
1294.71/1295.19	c nbDecision=874500 #constraints=5238
1295.51/1295.94	c nbDecision=875000 #constraints=5238
1296.21/1296.69	c nbDecision=875500 #constraints=5238
1297.01/1297.43	c nbDecision=876000 #constraints=5238
1297.71/1298.18	c nbDecision=876500 #constraints=5238
1298.51/1298.92	c nbDecision=877000 #constraints=5238
1299.21/1299.66	c nbDecision=877500 #constraints=5238
1300.01/1300.40	c nbDecision=878000 #constraints=5238
1300.71/1301.14	c nbDecision=878500 #constraints=5238
1301.41/1301.88	c nbDecision=879000 #constraints=5238
1302.20/1302.61	c nbDecision=879500 #constraints=5238
1302.90/1303.35	c nbDecision=880000 #constraints=5238
1303.60/1304.08	c nbDecision=880500 #constraints=5238
1304.40/1304.82	c nbDecision=881000 #constraints=5238
1305.10/1305.55	c nbDecision=881500 #constraints=5238
1305.80/1306.28	c nbDecision=882000 #constraints=5238
1306.60/1307.02	c nbDecision=882500 #constraints=5238
1307.30/1307.76	c nbDecision=883000 #constraints=5238
1308.10/1308.50	c nbDecision=883500 #constraints=5238
1308.80/1309.23	c nbDecision=884000 #constraints=5238
1309.50/1309.97	c nbDecision=884500 #constraints=5238
1310.30/1310.70	c nbDecision=885000 #constraints=5238
1311.00/1311.44	c nbDecision=885500 #constraints=5238
1311.70/1312.17	c nbDecision=886000 #constraints=5238
1312.50/1312.90	c nbDecision=886500 #constraints=5238
1313.20/1313.63	c nbDecision=887000 #constraints=5238
1313.90/1314.36	c nbDecision=887500 #constraints=5238
1314.60/1315.09	c nbDecision=888000 #constraints=5238
1315.40/1315.82	c nbDecision=888500 #constraints=5238
1316.10/1316.54	c nbDecision=889000 #constraints=5238
1316.80/1317.26	c nbDecision=889500 #constraints=5238
1317.50/1317.98	c nbDecision=890000 #constraints=5238
1318.20/1318.69	c nbDecision=890500 #constraints=5238
1319.00/1319.41	c nbDecision=891000 #constraints=5238
1319.80/1320.21	c nbDecision=891500 #constraints=5239
1320.50/1320.97	c nbDecision=892000 #constraints=5239
1321.30/1321.73	c nbDecision=892500 #constraints=5239
1321.99/1322.48	c nbDecision=893000 #constraints=5239
1322.80/1323.24	c nbDecision=893500 #constraints=5239
1323.59/1324.00	c nbDecision=894000 #constraints=5239
1324.29/1324.75	c nbDecision=894500 #constraints=5239
1325.10/1325.51	c nbDecision=895000 #constraints=5239
1325.79/1326.26	c nbDecision=895500 #constraints=5239
1326.59/1327.02	c nbDecision=896000 #constraints=5239
1327.30/1327.77	c nbDecision=896500 #constraints=5239
1328.09/1328.53	c nbDecision=897000 #constraints=5239
1328.79/1329.28	c nbDecision=897500 #constraints=5239
1329.59/1330.03	c nbDecision=898000 #constraints=5239
1330.29/1330.78	c nbDecision=898500 #constraints=5239
1331.09/1331.53	c nbDecision=899000 #constraints=5239
1331.79/1332.28	c nbDecision=899500 #constraints=5239
1332.59/1333.03	c nbDecision=900000 #constraints=5239
1333.29/1333.78	c nbDecision=900500 #constraints=5239
1334.09/1334.52	c nbDecision=901000 #constraints=5239
1334.79/1335.26	c nbDecision=901500 #constraints=5239
1335.59/1336.01	c nbDecision=902000 #constraints=5239
1336.29/1336.74	c nbDecision=902500 #constraints=5239
1336.99/1337.48	c nbDecision=903000 #constraints=5239
1337.79/1338.21	c nbDecision=903500 #constraints=5239
1338.50/1338.94	c nbDecision=904000 #constraints=5239
1339.20/1339.67	c nbDecision=904500 #constraints=5239
1340.00/1340.40	c nbDecision=905000 #constraints=5239
1340.70/1341.13	c nbDecision=905500 #constraints=5239
1341.40/1341.86	c nbDecision=906000 #constraints=5239
1342.10/1342.59	c nbDecision=906500 #constraints=5239
1342.90/1343.32	c nbDecision=907000 #constraints=5239
1343.60/1344.05	c nbDecision=907500 #constraints=5239
1344.30/1344.77	c nbDecision=908000 #constraints=5239
1345.10/1345.50	c nbDecision=908500 #constraints=5239
1345.80/1346.22	c nbDecision=909000 #constraints=5239
1346.50/1346.95	c nbDecision=909500 #constraints=5239
1347.20/1347.68	c nbDecision=910000 #constraints=5239
1348.00/1348.41	c nbDecision=910500 #constraints=5239
1348.69/1349.14	c nbDecision=911000 #constraints=5239
1349.39/1349.86	c nbDecision=911500 #constraints=5239
1350.09/1350.59	c nbDecision=912000 #constraints=5239
1350.89/1351.31	c nbDecision=912500 #constraints=5239
1351.59/1352.04	c nbDecision=913000 #constraints=5239
1352.39/1352.83	c nbDecision=913500 #constraints=5240
1353.19/1353.60	c nbDecision=914000 #constraints=5240
1353.89/1354.36	c nbDecision=914500 #constraints=5240
1354.70/1355.13	c nbDecision=915000 #constraints=5240
1355.39/1355.90	c nbDecision=915500 #constraints=5240
1356.19/1356.65	c nbDecision=916000 #constraints=5240
1356.99/1357.41	c nbDecision=916500 #constraints=5240
1357.69/1358.16	c nbDecision=917000 #constraints=5240
1358.49/1358.91	c nbDecision=917500 #constraints=5240
1359.19/1359.66	c nbDecision=918000 #constraints=5240
1359.99/1360.41	c nbDecision=918500 #constraints=5240
1360.69/1361.16	c nbDecision=919000 #constraints=5240
1361.49/1361.91	c nbDecision=919500 #constraints=5240
1362.19/1362.65	c nbDecision=920000 #constraints=5240
1362.99/1363.40	c nbDecision=920500 #constraints=5240
1363.69/1364.14	c nbDecision=921000 #constraints=5240
1364.38/1364.88	c nbDecision=921500 #constraints=5240
1365.18/1365.62	c nbDecision=922000 #constraints=5240
1365.88/1366.37	c nbDecision=922500 #constraints=5240
1366.68/1367.11	c nbDecision=923000 #constraints=5240
1367.38/1367.86	c nbDecision=923500 #constraints=5240
1368.18/1368.60	c nbDecision=924000 #constraints=5240
1368.88/1369.34	c nbDecision=924500 #constraints=5240
1369.58/1370.08	c nbDecision=925000 #constraints=5240
1370.38/1370.82	c nbDecision=925500 #constraints=5240
1371.08/1371.56	c nbDecision=926000 #constraints=5240
1371.88/1372.30	c nbDecision=926500 #constraints=5240
1372.58/1373.04	c nbDecision=927000 #constraints=5240
1373.28/1373.78	c nbDecision=927500 #constraints=5240
1374.08/1374.51	c nbDecision=928000 #constraints=5240
1374.78/1375.25	c nbDecision=928500 #constraints=5240
1375.48/1375.98	c nbDecision=929000 #constraints=5240
1376.28/1376.71	c nbDecision=929500 #constraints=5240
1376.98/1377.44	c nbDecision=930000 #constraints=5240
1377.68/1378.16	c nbDecision=930500 #constraints=5240
1378.38/1378.89	c nbDecision=931000 #constraints=5240
1379.18/1379.61	c nbDecision=931500 #constraints=5240
1379.88/1380.33	c nbDecision=932000 #constraints=5240
1380.58/1381.05	c nbDecision=932500 #constraints=5240
1381.28/1381.77	c nbDecision=933000 #constraints=5240
1381.98/1382.49	c nbDecision=933500 #constraints=5240
1382.78/1383.21	c nbDecision=934000 #constraints=5240
1383.48/1383.93	c nbDecision=934500 #constraints=5240
1384.18/1384.65	c nbDecision=935000 #constraints=5240
1384.98/1385.43	c nbDecision=935500 #constraints=5241
1385.68/1386.19	c nbDecision=936000 #constraints=5241
1386.48/1386.96	c nbDecision=936500 #constraints=5241
1387.28/1387.72	c nbDecision=937000 #constraints=5241
1387.98/1388.49	c nbDecision=937500 #constraints=5241
1388.78/1389.25	c nbDecision=938000 #constraints=5241
1389.58/1390.01	c nbDecision=938500 #constraints=5241
1390.28/1390.78	c nbDecision=939000 #constraints=5241
1391.08/1391.53	c nbDecision=939500 #constraints=5241
1391.78/1392.29	c nbDecision=940000 #constraints=5241
1392.58/1393.05	c nbDecision=940500 #constraints=5241
1393.38/1393.81	c nbDecision=941000 #constraints=5241
1394.08/1394.56	c nbDecision=941500 #constraints=5241
1394.87/1395.31	c nbDecision=942000 #constraints=5241
1395.57/1396.06	c nbDecision=942500 #constraints=5241
1396.37/1396.81	c nbDecision=943000 #constraints=5241
1397.07/1397.55	c nbDecision=943500 #constraints=5241
1397.77/1398.29	c nbDecision=944000 #constraints=5241
1398.57/1399.03	c nbDecision=944500 #constraints=5241
1399.27/1399.77	c nbDecision=945000 #constraints=5241
1400.07/1400.50	c nbDecision=945500 #constraints=5241
1400.77/1401.24	c nbDecision=946000 #constraints=5241
1401.47/1401.98	c nbDecision=946500 #constraints=5241
1402.27/1402.71	c nbDecision=947000 #constraints=5241
1402.97/1403.44	c nbDecision=947500 #constraints=5241
1403.67/1404.18	c nbDecision=948000 #constraints=5241
1404.47/1404.91	c nbDecision=948500 #constraints=5241
1405.17/1405.64	c nbDecision=949000 #constraints=5241
1405.87/1406.37	c nbDecision=949500 #constraints=5241
1406.67/1407.11	c nbDecision=950000 #constraints=5241
1407.37/1407.84	c nbDecision=950500 #constraints=5241
1408.07/1408.58	c nbDecision=951000 #constraints=5241
1408.87/1409.31	c nbDecision=951500 #constraints=5241
1409.57/1410.05	c nbDecision=952000 #constraints=5241
1410.27/1410.78	c nbDecision=952500 #constraints=5241
1411.07/1411.51	c nbDecision=953000 #constraints=5241
1411.77/1412.24	c nbDecision=953500 #constraints=5241
1412.47/1412.97	c nbDecision=954000 #constraints=5241
1413.27/1413.70	c nbDecision=954500 #constraints=5241
1413.97/1414.42	c nbDecision=955000 #constraints=5241
1414.67/1415.15	c nbDecision=955500 #constraints=5241
1415.37/1415.88	c nbDecision=956000 #constraints=5241
1416.17/1416.60	c nbDecision=956500 #constraints=5241
1416.87/1417.31	c nbDecision=957000 #constraints=5241
1417.57/1418.08	c nbDecision=957500 #constraints=5242
1418.37/1418.84	c nbDecision=958000 #constraints=5242
1419.17/1419.60	c nbDecision=958500 #constraints=5242
1419.87/1420.36	c nbDecision=959000 #constraints=5242
1420.67/1421.12	c nbDecision=959500 #constraints=5242
1421.36/1421.88	c nbDecision=960000 #constraints=5242
1422.16/1422.63	c nbDecision=960500 #constraints=5242
1422.87/1423.39	c nbDecision=961000 #constraints=5242
1423.66/1424.14	c nbDecision=961500 #constraints=5242
1424.36/1424.89	c nbDecision=962000 #constraints=5242
1425.17/1425.64	c nbDecision=962500 #constraints=5242
1425.86/1426.39	c nbDecision=963000 #constraints=5242
1426.66/1427.14	c nbDecision=963500 #constraints=5242
1427.46/1427.90	c nbDecision=964000 #constraints=5242
1428.16/1428.65	c nbDecision=964500 #constraints=5242
1428.96/1429.40	c nbDecision=965000 #constraints=5242
1429.66/1430.15	c nbDecision=965500 #constraints=5242
1430.36/1430.90	c nbDecision=966000 #constraints=5242
1431.16/1431.64	c nbDecision=966500 #constraints=5242
1431.86/1432.39	c nbDecision=967000 #constraints=5242
1432.66/1433.13	c nbDecision=967500 #constraints=5242
1433.36/1433.87	c nbDecision=968000 #constraints=5242
1434.16/1434.62	c nbDecision=968500 #constraints=5242
1434.86/1435.36	c nbDecision=969000 #constraints=5242
1435.66/1436.10	c nbDecision=969500 #constraints=5242
1436.36/1436.83	c nbDecision=970000 #constraints=5242
1437.06/1437.56	c nbDecision=970500 #constraints=5242
1437.86/1438.30	c nbDecision=971000 #constraints=5242
1438.56/1439.03	c nbDecision=971500 #constraints=5242
1439.26/1439.76	c nbDecision=972000 #constraints=5242
1439.96/1440.48	c nbDecision=972500 #constraints=5242
1440.76/1441.21	c nbDecision=973000 #constraints=5242
1441.45/1441.94	c nbDecision=973500 #constraints=5242
1442.15/1442.67	c nbDecision=974000 #constraints=5242
1442.85/1443.39	c nbDecision=974500 #constraints=5242
1443.65/1444.12	c nbDecision=975000 #constraints=5242
1444.35/1444.84	c nbDecision=975500 #constraints=5242
1445.05/1445.56	c nbDecision=976000 #constraints=5242
1445.76/1446.29	c nbDecision=976500 #constraints=5242
1446.55/1447.01	c nbDecision=977000 #constraints=5242
1447.25/1447.74	c nbDecision=977500 #constraints=5242
1447.95/1448.47	c nbDecision=978000 #constraints=5242
1448.65/1449.19	c nbDecision=978500 #constraints=5242
1449.45/1449.92	c nbDecision=979000 #constraints=5242
1450.16/1450.68	c nbDecision=979500 #constraints=5243
1450.96/1451.45	c nbDecision=980000 #constraints=5243
1451.76/1452.22	c nbDecision=980500 #constraints=5243
1452.46/1452.99	c nbDecision=981000 #constraints=5243
1453.26/1453.75	c nbDecision=981500 #constraints=5243
1454.06/1454.52	c nbDecision=982000 #constraints=5243
1454.76/1455.28	c nbDecision=982500 #constraints=5243
1455.56/1456.04	c nbDecision=983000 #constraints=5243
1456.26/1456.79	c nbDecision=983500 #constraints=5243
1457.06/1457.54	c nbDecision=984000 #constraints=5243
1457.76/1458.29	c nbDecision=984500 #constraints=5243
1458.56/1459.04	c nbDecision=985000 #constraints=5243
1459.26/1459.79	c nbDecision=985500 #constraints=5243
1460.06/1460.53	c nbDecision=986000 #constraints=5243
1460.76/1461.28	c nbDecision=986500 #constraints=5243
1461.56/1462.02	c nbDecision=987000 #constraints=5243
1462.26/1462.76	c nbDecision=987500 #constraints=5243
1463.06/1463.51	c nbDecision=988000 #constraints=5243
1463.76/1464.24	c nbDecision=988500 #constraints=5243
1464.45/1464.98	c nbDecision=989000 #constraints=5243
1465.25/1465.72	c nbDecision=989500 #constraints=5243
1465.95/1466.46	c nbDecision=990000 #constraints=5243
1466.75/1467.20	c nbDecision=990500 #constraints=5243
1467.45/1467.94	c nbDecision=991000 #constraints=5243
1468.15/1468.69	c nbDecision=991500 #constraints=5243
1468.95/1469.43	c nbDecision=992000 #constraints=5243
1469.65/1470.16	c nbDecision=992500 #constraints=5243
1470.45/1470.90	c nbDecision=993000 #constraints=5243
1471.15/1471.64	c nbDecision=993500 #constraints=5243
1471.85/1472.38	c nbDecision=994000 #constraints=5243
1472.65/1473.11	c nbDecision=994500 #constraints=5243
1473.35/1473.85	c nbDecision=995000 #constraints=5243
1474.05/1474.58	c nbDecision=995500 #constraints=5243
1474.85/1475.31	c nbDecision=996000 #constraints=5243
1475.55/1476.05	c nbDecision=996500 #constraints=5243
1476.25/1476.77	c nbDecision=997000 #constraints=5243
1477.05/1477.50	c nbDecision=997500 #constraints=5243
1477.75/1478.22	c nbDecision=998000 #constraints=5243
1478.45/1478.94	c nbDecision=998500 #constraints=5243
1479.15/1479.66	c nbDecision=999000 #constraints=5243
1479.85/1480.38	c nbDecision=999500 #constraints=5243
1480.65/1481.10	c nbDecision=1000000 #constraints=5243
1481.35/1481.82	c nbDecision=1000500 #constraints=5243
1482.05/1482.54	c nbDecision=1001000 #constraints=5243
1482.75/1483.29	c nbDecision=1001500 #constraints=5244
1483.55/1484.05	c nbDecision=1002000 #constraints=5244
1484.35/1484.81	c nbDecision=1002500 #constraints=5244
1485.05/1485.57	c nbDecision=1003000 #constraints=5244
1485.85/1486.33	c nbDecision=1003500 #constraints=5244
1486.55/1487.09	c nbDecision=1004000 #constraints=5244
1487.34/1487.85	c nbDecision=1004500 #constraints=5244
1488.14/1488.61	c nbDecision=1005000 #constraints=5244
1488.85/1489.37	c nbDecision=1005500 #constraints=5244
1489.64/1490.13	c nbDecision=1006000 #constraints=5244
1490.34/1490.88	c nbDecision=1006500 #constraints=5244
1491.15/1491.64	c nbDecision=1007000 #constraints=5244
1491.84/1492.39	c nbDecision=1007500 #constraints=5244
1492.64/1493.14	c nbDecision=1008000 #constraints=5244
1493.35/1493.89	c nbDecision=1008500 #constraints=5244
1494.14/1494.64	c nbDecision=1009000 #constraints=5244
1494.84/1495.39	c nbDecision=1009500 #constraints=5244
1495.64/1496.13	c nbDecision=1010000 #constraints=5244
1496.34/1496.87	c nbDecision=1010500 #constraints=5244
1497.14/1497.61	c nbDecision=1011000 #constraints=5244
1497.84/1498.34	c nbDecision=1011500 #constraints=5244
1498.54/1499.08	c nbDecision=1012000 #constraints=5244
1499.34/1499.81	c nbDecision=1012500 #constraints=5244
1500.04/1500.55	c nbDecision=1013000 #constraints=5244
1500.74/1501.28	c nbDecision=1013500 #constraints=5244
1501.54/1502.01	c nbDecision=1014000 #constraints=5244
1502.24/1502.74	c nbDecision=1014500 #constraints=5244
1502.94/1503.47	c nbDecision=1015000 #constraints=5244
1503.74/1504.20	c nbDecision=1015500 #constraints=5244
1504.44/1504.93	c nbDecision=1016000 #constraints=5244
1505.14/1505.66	c nbDecision=1016500 #constraints=5244
1505.85/1506.39	c nbDecision=1017000 #constraints=5244
1506.64/1507.12	c nbDecision=1017500 #constraints=5244
1507.34/1507.85	c nbDecision=1018000 #constraints=5244
1508.04/1508.58	c nbDecision=1018500 #constraints=5244
1508.84/1509.31	c nbDecision=1019000 #constraints=5244
1509.54/1510.04	c nbDecision=1019500 #constraints=5244
1510.24/1510.77	c nbDecision=1020000 #constraints=5244
1511.04/1511.50	c nbDecision=1020500 #constraints=5244
1511.74/1512.23	c nbDecision=1021000 #constraints=5244
1512.44/1512.95	c nbDecision=1021500 #constraints=5244
1513.14/1513.68	c nbDecision=1022000 #constraints=5244
1513.94/1514.40	c nbDecision=1022500 #constraints=5244
1514.64/1515.18	c nbDecision=1023000 #constraints=5245
1515.44/1515.95	c nbDecision=1023500 #constraints=5245
1516.24/1516.71	c nbDecision=1024000 #constraints=5245
1516.94/1517.47	c nbDecision=1024500 #constraints=5245
1517.74/1518.22	c nbDecision=1025000 #constraints=5245
1518.44/1518.98	c nbDecision=1025500 #constraints=5245
1519.24/1519.74	c nbDecision=1026000 #constraints=5245
1519.94/1520.49	c nbDecision=1026500 #constraints=5245
1520.74/1521.24	c nbDecision=1027000 #constraints=5245
1521.44/1521.99	c nbDecision=1027500 #constraints=5245
1522.24/1522.74	c nbDecision=1028000 #constraints=5245
1522.94/1523.49	c nbDecision=1028500 #constraints=5245
1523.74/1524.24	c nbDecision=1029000 #constraints=5245
1524.43/1524.98	c nbDecision=1029500 #constraints=5245
1525.24/1525.73	c nbDecision=1030000 #constraints=5245
1525.93/1526.47	c nbDecision=1030500 #constraints=5245
1526.73/1527.22	c nbDecision=1031000 #constraints=5245
1527.44/1527.97	c nbDecision=1031500 #constraints=5245
1528.23/1528.71	c nbDecision=1032000 #constraints=5245
1528.93/1529.46	c nbDecision=1032500 #constraints=5245
1529.73/1530.20	c nbDecision=1033000 #constraints=5245
1530.43/1530.95	c nbDecision=1033500 #constraints=5245
1531.13/1531.69	c nbDecision=1034000 #constraints=5245
1531.93/1532.43	c nbDecision=1034500 #constraints=5245
1532.63/1533.17	c nbDecision=1035000 #constraints=5245
1533.43/1533.91	c nbDecision=1035500 #constraints=5245
1534.13/1534.65	c nbDecision=1036000 #constraints=5245
1534.83/1535.39	c nbDecision=1036500 #constraints=5245
1535.63/1536.13	c nbDecision=1037000 #constraints=5245
1536.33/1536.86	c nbDecision=1037500 #constraints=5245
1537.03/1537.58	c nbDecision=1038000 #constraints=5245
1537.83/1538.31	c nbDecision=1038500 #constraints=5245
1538.53/1539.04	c nbDecision=1039000 #constraints=5245
1539.23/1539.76	c nbDecision=1039500 #constraints=5245
1539.93/1540.49	c nbDecision=1040000 #constraints=5245
1540.73/1541.21	c nbDecision=1040500 #constraints=5245
1541.43/1541.94	c nbDecision=1041000 #constraints=5245
1542.13/1542.66	c nbDecision=1041500 #constraints=5245
1542.83/1543.38	c nbDecision=1042000 #constraints=5245
1543.63/1544.10	c nbDecision=1042500 #constraints=5245
1544.33/1544.82	c nbDecision=1043000 #constraints=5245
1545.03/1545.54	c nbDecision=1043500 #constraints=5245
1545.73/1546.26	c nbDecision=1044000 #constraints=5245
1546.43/1546.98	c nbDecision=1044500 #constraints=5245
1547.23/1547.76	c nbDecision=1045000 #constraints=5246
1548.03/1548.52	c nbDecision=1045500 #constraints=5246
1548.73/1549.29	c nbDecision=1046000 #constraints=5246
1549.53/1550.06	c nbDecision=1046500 #constraints=5246
1550.33/1550.82	c nbDecision=1047000 #constraints=5246
1551.03/1551.58	c nbDecision=1047500 #constraints=5246
1551.82/1552.34	c nbDecision=1048000 #constraints=5246
1552.63/1553.10	c nbDecision=1048500 #constraints=5246
1553.32/1553.86	c nbDecision=1049000 #constraints=5246
1554.12/1554.62	c nbDecision=1049500 #constraints=5246
1554.83/1555.38	c nbDecision=1050000 #constraints=5246
1555.62/1556.13	c nbDecision=1050500 #constraints=5246
1556.32/1556.88	c nbDecision=1051000 #constraints=5246
1557.13/1557.62	c nbDecision=1051500 #constraints=5246
1557.82/1558.37	c nbDecision=1052000 #constraints=5246
1558.62/1559.11	c nbDecision=1052500 #constraints=5246
1559.33/1559.85	c nbDecision=1053000 #constraints=5246
1560.02/1560.59	c nbDecision=1053500 #constraints=5246
1560.82/1561.33	c nbDecision=1054000 #constraints=5246
1561.52/1562.07	c nbDecision=1054500 #constraints=5246
1562.32/1562.80	c nbDecision=1055000 #constraints=5246
1563.02/1563.54	c nbDecision=1055500 #constraints=5246
1563.72/1564.27	c nbDecision=1056000 #constraints=5246
1564.52/1565.01	c nbDecision=1056500 #constraints=5246
1565.22/1565.74	c nbDecision=1057000 #constraints=5246
1565.92/1566.48	c nbDecision=1057500 #constraints=5246
1566.72/1567.21	c nbDecision=1058000 #constraints=5246
1567.42/1567.95	c nbDecision=1058500 #constraints=5246
1568.12/1568.68	c nbDecision=1059000 #constraints=5246
1568.92/1569.42	c nbDecision=1059500 #constraints=5246
1569.62/1570.15	c nbDecision=1060000 #constraints=5246
1570.32/1570.88	c nbDecision=1060500 #constraints=5246
1571.12/1571.61	c nbDecision=1061000 #constraints=5246
1571.82/1572.35	c nbDecision=1061500 #constraints=5246
1572.52/1573.07	c nbDecision=1062000 #constraints=5246
1573.31/1573.80	c nbDecision=1062500 #constraints=5246
1574.01/1574.53	c nbDecision=1063000 #constraints=5246
1574.72/1575.26	c nbDecision=1063500 #constraints=5246
1575.41/1575.99	c nbDecision=1064000 #constraints=5246
1576.21/1576.71	c nbDecision=1064500 #constraints=5246
1576.92/1577.43	c nbDecision=1065000 #constraints=5246
1577.61/1578.13	c nbDecision=1065500 #constraints=5246
1578.31/1578.84	c nbDecision=1066000 #constraints=5246
1579.02/1579.60	c nbDecision=1066500 #constraints=5247
1579.81/1580.36	c nbDecision=1067000 #constraints=5247
1580.61/1581.11	c nbDecision=1067500 #constraints=5247
1581.32/1581.87	c nbDecision=1068000 #constraints=5247
1582.11/1582.62	c nbDecision=1068500 #constraints=5247
1582.81/1583.38	c nbDecision=1069000 #constraints=5247
1583.61/1584.13	c nbDecision=1069500 #constraints=5247
1584.31/1584.88	c nbDecision=1070000 #constraints=5247
1585.11/1585.64	c nbDecision=1070500 #constraints=5247
1585.81/1586.39	c nbDecision=1071000 #constraints=5247
1586.61/1587.14	c nbDecision=1071500 #constraints=5247
1587.41/1587.90	c nbDecision=1072000 #constraints=5247
1588.11/1588.65	c nbDecision=1072500 #constraints=5247
1588.91/1589.40	c nbDecision=1073000 #constraints=5247
1589.61/1590.15	c nbDecision=1073500 #constraints=5247
1590.31/1590.89	c nbDecision=1074000 #constraints=5247
1591.11/1591.64	c nbDecision=1074500 #constraints=5247
1591.81/1592.39	c nbDecision=1075000 #constraints=5247
1592.61/1593.13	c nbDecision=1075500 #constraints=5247
1593.31/1593.87	c nbDecision=1076000 #constraints=5247
1594.11/1594.62	c nbDecision=1076500 #constraints=5247
1594.81/1595.36	c nbDecision=1077000 #constraints=5247
1595.61/1596.10	c nbDecision=1077500 #constraints=5247
1596.31/1596.84	c nbDecision=1078000 #constraints=5247
1597.01/1597.57	c nbDecision=1078500 #constraints=5247
1597.71/1598.30	c nbDecision=1079000 #constraints=5247
1598.51/1599.03	c nbDecision=1079500 #constraints=5247
1599.20/1599.76	c nbDecision=1080000 #constraints=5247
1599.91/1600.49	c nbDecision=1080500 #constraints=5247
1600.70/1601.22	c nbDecision=1081000 #constraints=5247
1601.40/1601.95	c nbDecision=1081500 #constraints=5247
1602.11/1602.67	c nbDecision=1082000 #constraints=5247
1602.90/1603.40	c nbDecision=1082500 #constraints=5247
1603.60/1604.12	c nbDecision=1083000 #constraints=5247
1604.30/1604.85	c nbDecision=1083500 #constraints=5247
1605.00/1605.57	c nbDecision=1084000 #constraints=5247
1605.70/1606.29	c nbDecision=1084500 #constraints=5247
1606.50/1607.02	c nbDecision=1085000 #constraints=5247
1607.20/1607.75	c nbDecision=1085500 #constraints=5247
1607.90/1608.48	c nbDecision=1086000 #constraints=5247
1608.70/1609.20	c nbDecision=1086500 #constraints=5247
1609.40/1609.93	c nbDecision=1087000 #constraints=5247
1610.10/1610.65	c nbDecision=1087500 #constraints=5247
1610.80/1611.37	c nbDecision=1088000 #constraints=5247
1611.60/1612.16	c nbDecision=1088500 #constraints=5248
1612.40/1612.93	c nbDecision=1089000 #constraints=5248
1613.10/1613.70	c nbDecision=1089500 #constraints=5248
1613.90/1614.46	c nbDecision=1090000 #constraints=5248
1614.70/1615.22	c nbDecision=1090500 #constraints=5248
1615.40/1615.98	c nbDecision=1091000 #constraints=5248
1616.20/1616.73	c nbDecision=1091500 #constraints=5248
1616.90/1617.48	c nbDecision=1092000 #constraints=5248
1617.70/1618.23	c nbDecision=1092500 #constraints=5248
1618.40/1618.98	c nbDecision=1093000 #constraints=5248
1619.20/1619.73	c nbDecision=1093500 #constraints=5248
1619.90/1620.48	c nbDecision=1094000 #constraints=5248
1620.70/1621.22	c nbDecision=1094500 #constraints=5248
1621.40/1621.96	c nbDecision=1095000 #constraints=5248
1622.20/1622.70	c nbDecision=1095500 #constraints=5248
1622.90/1623.44	c nbDecision=1096000 #constraints=5248
1623.60/1624.18	c nbDecision=1096500 #constraints=5248
1624.40/1624.92	c nbDecision=1097000 #constraints=5248
1625.10/1625.66	c nbDecision=1097500 #constraints=5248
1625.80/1626.39	c nbDecision=1098000 #constraints=5248
1626.60/1627.13	c nbDecision=1098500 #constraints=5248
1627.30/1627.87	c nbDecision=1099000 #constraints=5248
1628.10/1628.61	c nbDecision=1099500 #constraints=5248
1628.80/1629.35	c nbDecision=1100000 #constraints=5248
1629.50/1630.09	c nbDecision=1100500 #constraints=5248
1630.30/1630.83	c nbDecision=1101000 #constraints=5248
1631.00/1631.57	c nbDecision=1101500 #constraints=5248
1631.80/1632.30	c nbDecision=1102000 #constraints=5248
1632.50/1633.04	c nbDecision=1102500 #constraints=5248
1633.20/1633.77	c nbDecision=1103000 #constraints=5248
1634.00/1634.51	c nbDecision=1103500 #constraints=5248
1634.70/1635.24	c nbDecision=1104000 #constraints=5248
1635.40/1635.97	c nbDecision=1104500 #constraints=5248
1636.10/1636.70	c nbDecision=1105000 #constraints=5248
1636.90/1637.42	c nbDecision=1105500 #constraints=5248
1637.60/1638.14	c nbDecision=1106000 #constraints=5248
1638.30/1638.86	c nbDecision=1106500 #constraints=5248
1639.00/1639.58	c nbDecision=1107000 #constraints=5248
1639.80/1640.31	c nbDecision=1107500 #constraints=5248
1640.50/1641.02	c nbDecision=1108000 #constraints=5248
1641.20/1641.74	c nbDecision=1108500 #constraints=5248
1641.89/1642.46	c nbDecision=1109000 #constraints=5248
1642.59/1643.18	c nbDecision=1109500 #constraints=5248
1643.39/1643.96	c nbDecision=1110000 #constraints=5249
1644.19/1644.73	c nbDecision=1110500 #constraints=5249
1644.89/1645.48	c nbDecision=1111000 #constraints=5249
1645.69/1646.24	c nbDecision=1111500 #constraints=5249
1646.49/1647.01	c nbDecision=1112000 #constraints=5249
1647.19/1647.77	c nbDecision=1112500 #constraints=5249
1647.99/1648.53	c nbDecision=1113000 #constraints=5249
1648.69/1649.29	c nbDecision=1113500 #constraints=5249
1649.49/1650.05	c nbDecision=1114000 #constraints=5249
1650.29/1650.81	c nbDecision=1114500 #constraints=5249
1650.99/1651.56	c nbDecision=1115000 #constraints=5249
1651.79/1652.32	c nbDecision=1115500 #constraints=5249
1652.49/1653.07	c nbDecision=1116000 #constraints=5249
1653.29/1653.83	c nbDecision=1116500 #constraints=5249
1653.99/1654.58	c nbDecision=1117000 #constraints=5249
1654.79/1655.33	c nbDecision=1117500 #constraints=5249
1655.49/1656.07	c nbDecision=1118000 #constraints=5249
1656.29/1656.81	c nbDecision=1118500 #constraints=5249
1656.99/1657.55	c nbDecision=1119000 #constraints=5249
1657.69/1658.27	c nbDecision=1119500 #constraints=5249
1658.49/1659.00	c nbDecision=1120000 #constraints=5249
1659.19/1659.73	c nbDecision=1120500 #constraints=5249
1659.89/1660.47	c nbDecision=1121000 #constraints=5249
1660.59/1661.19	c nbDecision=1121500 #constraints=5249
1661.39/1661.91	c nbDecision=1122000 #constraints=5249
1662.08/1662.63	c nbDecision=1122500 #constraints=5249
1662.78/1663.36	c nbDecision=1123000 #constraints=5249
1663.48/1664.09	c nbDecision=1123500 #constraints=5249
1664.28/1664.82	c nbDecision=1124000 #constraints=5249
1664.98/1665.55	c nbDecision=1124500 #constraints=5249
1665.68/1666.27	c nbDecision=1125000 #constraints=5249
1666.48/1667.00	c nbDecision=1125500 #constraints=5249
1667.18/1667.74	c nbDecision=1126000 #constraints=5249
1667.88/1668.47	c nbDecision=1126500 #constraints=5249
1668.58/1669.19	c nbDecision=1127000 #constraints=5249
1669.38/1669.92	c nbDecision=1127500 #constraints=5249
1670.08/1670.65	c nbDecision=1128000 #constraints=5249
1670.78/1671.38	c nbDecision=1128500 #constraints=5249
1671.58/1672.10	c nbDecision=1129000 #constraints=5249
1672.28/1672.83	c nbDecision=1129500 #constraints=5249
1672.98/1673.55	c nbDecision=1130000 #constraints=5249
1673.69/1674.27	c nbDecision=1130500 #constraints=5249
1674.38/1675.00	c nbDecision=1131000 #constraints=5249
1675.18/1675.72	c nbDecision=1131500 #constraints=5249
1675.89/1676.49	c nbDecision=1132000 #constraints=5250
1676.68/1677.25	c nbDecision=1132500 #constraints=5250
1677.48/1678.00	c nbDecision=1133000 #constraints=5250
1678.18/1678.76	c nbDecision=1133500 #constraints=5250
1678.98/1679.51	c nbDecision=1134000 #constraints=5250
1679.68/1680.26	c nbDecision=1134500 #constraints=5250
1680.48/1681.01	c nbDecision=1135000 #constraints=5250
1681.18/1681.77	c nbDecision=1135500 #constraints=5250
1681.98/1682.51	c nbDecision=1136000 #constraints=5250
1682.68/1683.25	c nbDecision=1136500 #constraints=5250
1683.48/1684.00	c nbDecision=1137000 #constraints=5250
1684.18/1684.75	c nbDecision=1137500 #constraints=5250
1684.98/1685.50	c nbDecision=1138000 #constraints=5250
1685.68/1686.23	c nbDecision=1138500 #constraints=5250
1686.38/1686.98	c nbDecision=1139000 #constraints=5250
1687.18/1687.73	c nbDecision=1139500 #constraints=5250
1687.88/1688.47	c nbDecision=1140000 #constraints=5250
1688.68/1689.21	c nbDecision=1140500 #constraints=5250
1689.38/1689.96	c nbDecision=1141000 #constraints=5250
1690.18/1690.70	c nbDecision=1141500 #constraints=5250
1690.87/1691.44	c nbDecision=1142000 #constraints=5250
1691.57/1692.17	c nbDecision=1142500 #constraints=5250
1692.38/1692.91	c nbDecision=1143000 #constraints=5250
1693.07/1693.65	c nbDecision=1143500 #constraints=5250
1693.78/1694.39	c nbDecision=1144000 #constraints=5250
1694.58/1695.13	c nbDecision=1144500 #constraints=5250
1695.27/1695.87	c nbDecision=1145000 #constraints=5250
1696.07/1696.60	c nbDecision=1145500 #constraints=5250
1696.78/1697.32	c nbDecision=1146000 #constraints=5250
1697.47/1698.05	c nbDecision=1146500 #constraints=5250
1698.17/1698.78	c nbDecision=1147000 #constraints=5250
1698.98/1699.51	c nbDecision=1147500 #constraints=5250
1699.67/1700.23	c nbDecision=1148000 #constraints=5250
1700.37/1700.95	c nbDecision=1148500 #constraints=5250
1701.08/1701.68	c nbDecision=1149000 #constraints=5250
1701.87/1702.40	c nbDecision=1149500 #constraints=5250
1702.57/1703.12	c nbDecision=1150000 #constraints=5250
1703.28/1703.84	c nbDecision=1150500 #constraints=5250
1703.97/1704.56	c nbDecision=1151000 #constraints=5250
1704.67/1705.28	c nbDecision=1151500 #constraints=5250
1705.37/1706.00	c nbDecision=1152000 #constraints=5250
1706.17/1706.72	c nbDecision=1152500 #constraints=5250
1706.87/1707.45	c nbDecision=1153000 #constraints=5250
1707.57/1708.16	c nbDecision=1153500 #constraints=5250
1708.37/1708.92	c nbDecision=1154000 #constraints=5251
1709.07/1709.69	c nbDecision=1154500 #constraints=5251
1709.87/1710.46	c nbDecision=1155000 #constraints=5251
1710.67/1711.22	c nbDecision=1155500 #constraints=5251
1711.37/1711.98	c nbDecision=1156000 #constraints=5251
1712.17/1712.75	c nbDecision=1156500 #constraints=5251
1712.97/1713.51	c nbDecision=1157000 #constraints=5251
1713.67/1714.27	c nbDecision=1157500 #constraints=5251
1714.47/1715.03	c nbDecision=1158000 #constraints=5251
1715.17/1715.79	c nbDecision=1158500 #constraints=5251
1715.97/1716.54	c nbDecision=1159000 #constraints=5251
1716.67/1717.29	c nbDecision=1159500 #constraints=5251
1717.47/1718.03	c nbDecision=1160000 #constraints=5251
1718.17/1718.77	c nbDecision=1160500 #constraints=5251
1718.97/1719.51	c nbDecision=1161000 #constraints=5251
1719.67/1720.25	c nbDecision=1161500 #constraints=5251
1720.37/1720.99	c nbDecision=1162000 #constraints=5251
1721.17/1721.73	c nbDecision=1162500 #constraints=5251
1721.87/1722.47	c nbDecision=1163000 #constraints=5251
1722.67/1723.21	c nbDecision=1163500 #constraints=5251
1723.37/1723.95	c nbDecision=1164000 #constraints=5251
1724.06/1724.68	c nbDecision=1164500 #constraints=5251
1724.86/1725.42	c nbDecision=1165000 #constraints=5251
1725.56/1726.15	c nbDecision=1165500 #constraints=5251
1726.26/1726.89	c nbDecision=1166000 #constraints=5251
1727.06/1727.63	c nbDecision=1166500 #constraints=5251
1727.76/1728.37	c nbDecision=1167000 #constraints=5251
1728.57/1729.11	c nbDecision=1167500 #constraints=5251
1729.26/1729.85	c nbDecision=1168000 #constraints=5251
1729.96/1730.59	c nbDecision=1168500 #constraints=5251
1730.77/1731.32	c nbDecision=1169000 #constraints=5251
1731.46/1732.05	c nbDecision=1169500 #constraints=5251
1732.16/1732.79	c nbDecision=1170000 #constraints=5251
1732.97/1733.52	c nbDecision=1170500 #constraints=5251
1733.66/1734.25	c nbDecision=1171000 #constraints=5251
1734.36/1734.98	c nbDecision=1171500 #constraints=5251
1735.17/1735.71	c nbDecision=1172000 #constraints=5251
1735.87/1736.44	c nbDecision=1172500 #constraints=5251
1736.57/1737.16	c nbDecision=1173000 #constraints=5251
1737.27/1737.88	c nbDecision=1173500 #constraints=5251
1738.07/1738.60	c nbDecision=1174000 #constraints=5251
1738.77/1739.32	c nbDecision=1174500 #constraints=5251
1739.47/1740.04	c nbDecision=1175000 #constraints=5251
1740.17/1740.76	c nbDecision=1175500 #constraints=5251
1740.87/1741.47	c nbDecision=1176000 #constraints=5251
1741.67/1742.26	c nbDecision=1176500 #constraints=5252
1742.47/1743.02	c nbDecision=1177000 #constraints=5252
1743.17/1743.78	c nbDecision=1177500 #constraints=5252
1743.97/1744.53	c nbDecision=1178000 #constraints=5252
1744.67/1745.29	c nbDecision=1178500 #constraints=5252
1745.47/1746.04	c nbDecision=1179000 #constraints=5252
1746.27/1746.80	c nbDecision=1179500 #constraints=5252
1746.97/1747.56	c nbDecision=1180000 #constraints=5252
1747.77/1748.32	c nbDecision=1180500 #constraints=5252
1748.47/1749.08	c nbDecision=1181000 #constraints=5252
1749.27/1749.84	c nbDecision=1181500 #constraints=5252
1749.96/1750.59	c nbDecision=1182000 #constraints=5252
1750.76/1751.34	c nbDecision=1182500 #constraints=5252
1751.56/1752.10	c nbDecision=1183000 #constraints=5252
1752.26/1752.85	c nbDecision=1183500 #constraints=5252
1752.96/1753.60	c nbDecision=1184000 #constraints=5252
1753.76/1754.34	c nbDecision=1184500 #constraints=5252
1754.46/1755.09	c nbDecision=1185000 #constraints=5252
1755.26/1755.84	c nbDecision=1185500 #constraints=5252
1755.96/1756.58	c nbDecision=1186000 #constraints=5252
1756.76/1757.32	c nbDecision=1186500 #constraints=5252
1757.46/1758.05	c nbDecision=1187000 #constraints=5252
1758.16/1758.78	c nbDecision=1187500 #constraints=5252
1758.96/1759.52	c nbDecision=1188000 #constraints=5252
1759.66/1760.25	c nbDecision=1188500 #constraints=5252
1760.36/1760.98	c nbDecision=1189000 #constraints=5252
1761.16/1761.71	c nbDecision=1189500 #constraints=5252
1761.86/1762.45	c nbDecision=1190000 #constraints=5252
1762.56/1763.18	c nbDecision=1190500 #constraints=5252
1763.36/1763.90	c nbDecision=1191000 #constraints=5252
1764.06/1764.63	c nbDecision=1191500 #constraints=5252
1764.76/1765.36	c nbDecision=1192000 #constraints=5252
1765.46/1766.08	c nbDecision=1192500 #constraints=5252
1766.26/1766.81	c nbDecision=1193000 #constraints=5252
1766.96/1767.54	c nbDecision=1193500 #constraints=5252
1767.66/1768.27	c nbDecision=1194000 #constraints=5252
1768.46/1769.00	c nbDecision=1194500 #constraints=5252
1769.16/1769.73	c nbDecision=1195000 #constraints=5252
1769.86/1770.46	c nbDecision=1195500 #constraints=5252
1770.56/1771.18	c nbDecision=1196000 #constraints=5252
1771.36/1771.91	c nbDecision=1196500 #constraints=5252
1772.06/1772.64	c nbDecision=1197000 #constraints=5252
1772.76/1773.35	c nbDecision=1197500 #constraints=5252
1773.46/1774.08	c nbDecision=1198000 #constraints=5252
1774.26/1774.86	c nbDecision=1198500 #constraints=5253
1775.06/1775.63	c nbDecision=1199000 #constraints=5253
1775.76/1776.39	c nbDecision=1199500 #constraints=5253
1776.55/1777.15	c nbDecision=1200000 #constraints=5253
1777.35/1777.91	c nbDecision=1200500 #constraints=5253
1778.06/1778.66	c nbDecision=1201000 #constraints=5253
1778.85/1779.42	c nbDecision=1201500 #constraints=5253
1779.55/1780.16	c nbDecision=1202000 #constraints=5253
1780.36/1780.91	c nbDecision=1202500 #constraints=5253
1781.05/1781.66	c nbDecision=1203000 #constraints=5253
1781.85/1782.41	c nbDecision=1203500 #constraints=5253
1782.56/1783.15	c nbDecision=1204000 #constraints=5253
1783.35/1783.90	c nbDecision=1204500 #constraints=5253
1784.05/1784.64	c nbDecision=1205000 #constraints=5253
1784.75/1785.39	c nbDecision=1205500 #constraints=5253
1785.55/1786.13	c nbDecision=1206000 #constraints=5253
1786.25/1786.88	c nbDecision=1206500 #constraints=5253
1787.05/1787.63	c nbDecision=1207000 #constraints=5253
1787.75/1788.36	c nbDecision=1207500 #constraints=5253
1788.55/1789.10	c nbDecision=1208000 #constraints=5253
1789.25/1789.85	c nbDecision=1208500 #constraints=5253
1789.95/1790.59	c nbDecision=1209000 #constraints=5253
1790.75/1791.33	c nbDecision=1209500 #constraints=5253
1791.45/1792.07	c nbDecision=1210000 #constraints=5253
1792.25/1792.81	c nbDecision=1210500 #constraints=5253
1792.95/1793.55	c nbDecision=1211000 #constraints=5253
1793.65/1794.28	c nbDecision=1211500 #constraints=5253
1794.45/1795.02	c nbDecision=1212000 #constraints=5253
1795.15/1795.76	c nbDecision=1212500 #constraints=5253
1795.85/1796.49	c nbDecision=1213000 #constraints=5253
1796.65/1797.22	c nbDecision=1213500 #constraints=5253
1797.35/1797.95	c nbDecision=1214000 #constraints=5253
1798.05/1798.67	c nbDecision=1214500 #constraints=5253
1798.85/1799.40	c nbDecision=1215000 #constraints=5253
1799.54/1800.12	c nbDecision=1215500 #constraints=5253
1800.05/1800.61	Received signal 15
1800.05/1800.61	
1800.05/1800.61	s UNKNOWN
1800.05/1800.61	
1800.05/1800.61	c user time= 1799.83 s
1800.05/1800.61	c system time= 0.235964 s
1800.05/1800.61	c wall clock time=1800.61

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node4/watcher-356914-1176847915 -o ROOT/results/node4/solver-356914-1176847915 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356914-1176847915/instance-356914-1176847915.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.91 0.95 0.97 3/77 25933
/proc/meminfo: memFree=1858704/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=1620 CPUtime=0
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160829325 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 405 175 126 317 0 84 0

[startup+0.0745959 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 25933
/proc/meminfo: memFree=1858704/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=3440 CPUtime=0.07
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 795 0 0 0 7 0 0 0 18 0 1 0 160829325 3522560 550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 860 550 127 317 0 539 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3440

[startup+0.102597 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 25933
/proc/meminfo: memFree=1858704/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=3440 CPUtime=0.09
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 795 0 0 0 9 0 0 0 18 0 1 0 160829325 3522560 550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 860 550 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.302616 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 25933
/proc/meminfo: memFree=1858704/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=7212 CPUtime=0.29
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 1709 0 0 0 28 1 0 0 19 0 1 0 160829325 7385088 1464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 1803 1465 131 317 0 1482 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7212

[startup+0.701657 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 25933
/proc/meminfo: memFree=1858704/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=16188 CPUtime=0.69
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 3975 0 0 0 67 2 0 0 23 0 1 0 160829325 16576512 3730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 4047 3731 131 317 0 3726 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16188

[startup+1.50173 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 25934
/proc/meminfo: memFree=1830024/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34040 CPUtime=1.49
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8416 0 0 0 145 4 0 0 25 0 1 0 160829325 34856960 8171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8510 8171 137 317 0 8189 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34040

[startup+3.10188 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 25934
/proc/meminfo: memFree=1826248/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34040 CPUtime=3.09
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8424 0 0 0 304 5 0 0 25 0 1 0 160829325 34856960 8179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8510 8179 138 317 0 8189 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34040

[startup+6.30119 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 25934
/proc/meminfo: memFree=1826056/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34040 CPUtime=6.29
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8426 0 0 0 624 5 0 0 25 0 1 0 160829325 34856960 8181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8510 8181 138 317 0 8189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34040

[startup+12.7018 s]
/proc/loadavg: 0.93 0.95 0.97 2/78 25934
/proc/meminfo: memFree=1826056/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34040 CPUtime=12.69
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8428 0 0 0 1264 5 0 0 25 0 1 0 160829325 34856960 8183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8510 8183 138 317 0 8189 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34040

[startup+25.501 s]
/proc/loadavg: 0.94 0.96 0.97 2/78 25934
/proc/meminfo: memFree=1826056/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34040 CPUtime=25.48
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8434 0 0 0 2543 5 0 0 25 0 1 0 160829325 34856960 8189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8510 8189 138 317 0 8189 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34040

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 25934
/proc/meminfo: memFree=1826056/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34040 CPUtime=51.08
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8444 0 0 0 5103 5 0 0 25 0 1 0 160829325 34856960 8199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8510 8199 138 317 0 8189 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34040

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.97 2/78 25934
/proc/meminfo: memFree=1825992/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34148 CPUtime=102.27
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8463 0 0 0 10221 6 0 0 25 0 1 0 160829325 34967552 8218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8537 8218 138 317 0 8216 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34148

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1825736/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34288 CPUtime=162.25
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8510 0 0 0 16219 6 0 0 25 0 1 0 160829325 35110912 8229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8572 8229 139 317 0 8251 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34288

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1825672/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34288 CPUtime=222.23
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8510 0 0 0 22216 7 0 0 25 0 1 0 160829325 35110912 8229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8572 8229 139 317 0 8251 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 34288

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1825608/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34288 CPUtime=282.22
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8510 0 0 0 28214 8 0 0 25 0 1 0 160829325 35110912 8229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8572 8229 139 317 0 8251 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 34288

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1825544/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34288 CPUtime=342.2
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8510 0 0 0 34212 8 0 0 25 0 1 0 160829325 35110912 8229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8572 8229 139 317 0 8251 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 34288

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1825480/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34288 CPUtime=402.19
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8510 0 0 0 40210 9 0 0 25 0 1 0 160829325 35110912 8229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8572 8229 139 317 0 8251 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 34288

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1825352/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34288 CPUtime=462.18
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8510 0 0 0 46208 10 0 0 25 0 1 0 160829325 35110912 8229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8572 8229 139 317 0 8251 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 34288

[startup+522.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1825352/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34288 CPUtime=522.16
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8515 0 0 0 52206 10 0 0 25 0 1 0 160829325 35110912 8234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8572 8234 139 317 0 8251 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 34288

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1825288/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34420 CPUtime=582.15
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8519 0 0 0 58204 11 0 0 25 0 1 0 160829325 35246080 8238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8605 8238 139 317 0 8284 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 34420

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1825224/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34420 CPUtime=642.13
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8520 0 0 0 64202 11 0 0 25 0 1 0 160829325 35246080 8239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8605 8239 139 317 0 8284 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 34420


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1825032/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34420 CPUtime=822.06
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8528 0 0 0 82193 13 0 0 25 0 1 0 160829325 35246080 8247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8605 8247 139 317 0 8284 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 34420

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1824904/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34420 CPUtime=882.05
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8531 0 0 0 88191 14 0 0 25 0 1 0 160829325 35246080 8250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8605 8250 139 317 0 8284 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 34420

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1824904/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34420 CPUtime=942.03
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8534 0 0 0 94188 15 0 0 25 0 1 0 160829325 35246080 8253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8605 8253 139 317 0 8284 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 34420

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1824776/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34420 CPUtime=1002
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8535 0 0 0 100185 15 0 0 25 0 1 0 160829325 35246080 8254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8605 8254 139 317 0 8284 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 34420

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1824648/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34420 CPUtime=1061.99
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8538 0 0 0 106183 16 0 0 25 0 1 0 160829325 35246080 8257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8605 8257 139 317 0 8284 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 34420

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25934
/proc/meminfo: memFree=1824648/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34420 CPUtime=1121.97
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8540 0 0 0 112181 16 0 0 25 0 1 0 160829325 35246080 8259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8605 8259 139 317 0 8284 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 34420

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25936
/proc/meminfo: memFree=1824392/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34420 CPUtime=1181.95
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8544 0 0 0 118178 17 0 0 25 0 1 0 160829325 35246080 8263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8605 8263 139 317 0 8284 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 34420

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25936
/proc/meminfo: memFree=1824392/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34420 CPUtime=1241.92
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8545 0 0 0 124175 17 0 0 25 0 1 0 160829325 35246080 8264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8605 8264 139 317 0 8284 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 34420

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25936
/proc/meminfo: memFree=1824328/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34420 CPUtime=1301.91
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8548 0 0 0 130173 18 0 0 25 0 1 0 160829325 35246080 8267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8605 8267 139 317 0 8284 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 34420

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25936
/proc/meminfo: memFree=1824264/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34552 CPUtime=1361.89
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8551 0 0 0 136170 19 0 0 25 0 1 0 160829325 35381248 8270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8638 8270 139 317 0 8317 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 34552

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25936
/proc/meminfo: memFree=1824200/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34552 CPUtime=1421.87
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8554 0 0 0 142168 19 0 0 25 0 1 0 160829325 35381248 8273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8638 8273 139 317 0 8317 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 34552

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25936
/proc/meminfo: memFree=1824072/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34552 CPUtime=1481.85
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8555 0 0 0 148165 20 0 0 25 0 1 0 160829325 35381248 8274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8638 8274 139 317 0 8317 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 34552

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25936
/proc/meminfo: memFree=1824008/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34552 CPUtime=1541.83
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8558 0 0 0 154162 21 0 0 25 0 1 0 160829325 35381248 8277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8638 8277 139 317 0 8317 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 34552

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25936
/proc/meminfo: memFree=1823944/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34552 CPUtime=1601.8
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8560 0 0 0 160159 21 0 0 25 0 1 0 160829325 35381248 8279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8638 8279 139 317 0 8317 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 34552

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25936
/proc/meminfo: memFree=1823816/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34552 CPUtime=1661.79
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8563 0 0 0 166157 22 0 0 25 0 1 0 160829325 35381248 8282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8638 8282 139 317 0 8317 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 34552

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25936
/proc/meminfo: memFree=1823752/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34552 CPUtime=1721.77
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8566 0 0 0 172155 22 0 0 25 0 1 0 160829325 35381248 8285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8638 8285 139 317 0 8317 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 34552

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25936
/proc/meminfo: memFree=1823624/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34552 CPUtime=1781.75
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8570 0 0 0 178152 23 0 0 25 0 1 0 160829325 35381248 8289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8638 8289 139 317 0 8317 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 34552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 25936
/proc/meminfo: memFree=1823624/2055920 swapFree=4153860/4192956
[pid=25933] ppid=25931 vsize=34552 CPUtime=1800.05
/proc/25933/stat : 25933 (oree) R 25931 25933 25635 0 -1 4194304 8570 0 0 0 179982 23 0 0 25 0 1 0 160829325 35381248 8289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25933/statm: 8638 8289 139 317 0 8317 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 34552

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.63
CPU time (s): 1800.08
CPU user time (s): 1799.84
CPU system time (s): 0.241963
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 34552

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

runsolver used 2.09668 second user time and 4.5973 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue Apr 17 22:11:56 UTC 2007

IDJOB= 356914
IDBENCH= 1628
IDSOLVER= 172
FILE ID= node4/356914-1176847915

PBS_JOBID= 4590189

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  f34eb2d99785ba17979b01527e1f0026

RANDOM SEED= 992126854

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
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:       1859112 kB
Buffers:          8488 kB
Cached:         115008 kB
SwapCached:       2236 kB
Active:          43896 kB
Inactive:       102296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859112 kB
SwapTotal:     4192956 kB
SwapFree:      4153860 kB
Dirty:            4852 kB
Writeback:           0 kB
Mapped:          30356 kB
Slab:            36048 kB
Committed_AS:  5222196 kB
PageTables:       1816 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66493 MiB

End job on node4 on Tue Apr 17 22:41:59 UTC 2007