Trace number 356907

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.09 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb
MD5SUM8e9a545df4abbe3f7a2b003048b42200
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 variables103872
Total number of constraints3312
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3312
Minimum length of a constraint31
Maximum length of a constraint725
Number of terms in the objective function 37632
Biggest coefficient in the objective function 1116
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 555552
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 555552
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.79/0.89	c ...done
0.79/0.89	c #vars=103872 #constraints=4561 hasObjective=yes
1.29/1.37	c res. mode=mod
1.29/1.37	c VSIDS like heuristics
1.29/1.37	c complete search running
2.10/2.11	c restart after 401 decisions
2.20/2.26	c nbDecision=500 #constraints=4561
2.69/2.71	c restart after 801 decisions
2.99/3.01	c nbDecision=1000 #constraints=4561
3.69/3.76	c nbDecision=1500 #constraints=4561
3.89/3.91	c restart after 1601 decisions
4.49/4.51	c nbDecision=2000 #constraints=4561
5.18/5.26	c nbDecision=2500 #constraints=4561
5.98/6.01	c nbDecision=3000 #constraints=4561
6.28/6.31	c restart after 3201 decisions
6.68/6.77	c nbDecision=3500 #constraints=4561
7.48/7.52	c nbDecision=4000 #constraints=4561
8.18/8.27	c nbDecision=4500 #constraints=4561
8.98/9.01	c nbDecision=5000 #constraints=4561
9.68/9.76	c nbDecision=5500 #constraints=4561
10.48/10.50	c nbDecision=6000 #constraints=4561
10.98/11.09	c restart after 6401 decisions
11.18/11.25	c nbDecision=6500 #constraints=4561
11.98/12.00	c nbDecision=7000 #constraints=4561
12.68/12.76	c nbDecision=7500 #constraints=4561
13.48/13.51	c nbDecision=8000 #constraints=4561
14.18/14.26	c nbDecision=8500 #constraints=4561
14.98/15.01	c nbDecision=9000 #constraints=4561
15.68/15.76	c nbDecision=9500 #constraints=4561
16.48/16.51	c nbDecision=10000 #constraints=4561
17.18/17.26	c nbDecision=10500 #constraints=4561
17.98/18.01	c nbDecision=11000 #constraints=4561
18.68/18.75	c nbDecision=11500 #constraints=4561
19.38/19.50	c nbDecision=12000 #constraints=4561
20.18/20.24	c nbDecision=12500 #constraints=4561
20.58/20.69	c restart after 12801 decisions
20.98/21.00	c nbDecision=13000 #constraints=4561
21.68/21.75	c nbDecision=13500 #constraints=4561
22.38/22.50	c nbDecision=14000 #constraints=4561
23.18/23.24	c nbDecision=14500 #constraints=4561
23.88/23.99	c nbDecision=15000 #constraints=4561
24.68/24.73	c nbDecision=15500 #constraints=4561
25.38/25.47	c nbDecision=16000 #constraints=4561
26.18/26.22	c nbDecision=16500 #constraints=4561
26.88/26.96	c nbDecision=17000 #constraints=4561
27.58/27.70	c nbDecision=17500 #constraints=4561
28.38/28.43	c nbDecision=18000 #constraints=4561
29.08/29.17	c nbDecision=18500 #constraints=4561
29.88/29.90	c nbDecision=19000 #constraints=4561
30.58/30.62	c nbDecision=19500 #constraints=4561
31.28/31.36	c nbDecision=20000 #constraints=4561
31.98/32.10	c nbDecision=20500 #constraints=4561
32.78/32.83	c nbDecision=21000 #constraints=4561
33.48/33.56	c nbDecision=21500 #constraints=4561
34.28/34.30	c nbDecision=22000 #constraints=4561
34.98/35.04	c nbDecision=22500 #constraints=4561
35.68/35.77	c nbDecision=23000 #constraints=4561
36.48/36.50	c nbDecision=23500 #constraints=4561
37.18/37.23	c nbDecision=24000 #constraints=4561
37.88/37.96	c nbDecision=24500 #constraints=4561
38.58/38.69	c nbDecision=25000 #constraints=4561
39.38/39.42	c nbDecision=25500 #constraints=4561
39.48/39.57	c restart after 25601 decisions
40.08/40.19	c nbDecision=26000 #constraints=4561
40.88/40.95	c nbDecision=26500 #constraints=4561
41.58/41.70	c nbDecision=27000 #constraints=4561
42.38/42.45	c nbDecision=27500 #constraints=4561
43.08/43.19	c nbDecision=28000 #constraints=4561
43.88/43.93	c nbDecision=28500 #constraints=4561
44.57/44.67	c nbDecision=29000 #constraints=4561
45.37/45.40	c nbDecision=29500 #constraints=4561
46.08/46.14	c nbDecision=30000 #constraints=4561
46.77/46.88	c nbDecision=30500 #constraints=4561
47.57/47.62	c nbDecision=31000 #constraints=4561
48.28/48.35	c nbDecision=31500 #constraints=4561
48.97/49.09	c nbDecision=32000 #constraints=4561
49.77/49.82	c nbDecision=32500 #constraints=4561
50.48/50.56	c nbDecision=33000 #constraints=4561
51.17/51.28	c nbDecision=33500 #constraints=4561
51.97/52.01	c nbDecision=34000 #constraints=4561
52.67/52.75	c nbDecision=34500 #constraints=4561
53.37/53.49	c nbDecision=35000 #constraints=4561
54.17/54.22	c nbDecision=35500 #constraints=4561
54.87/54.94	c nbDecision=36000 #constraints=4561
55.57/55.68	c nbDecision=36500 #constraints=4561
56.37/56.41	c nbDecision=37000 #constraints=4561
57.07/57.14	c nbDecision=37500 #constraints=4561
57.77/57.87	c nbDecision=38000 #constraints=4561
58.47/58.60	c nbDecision=38500 #constraints=4561
59.27/59.32	c nbDecision=39000 #constraints=4561
59.97/60.04	c nbDecision=39500 #constraints=4561
60.67/60.77	c nbDecision=40000 #constraints=4561
61.37/61.49	c nbDecision=40500 #constraints=4561
62.17/62.20	c nbDecision=41000 #constraints=4561
62.87/62.92	c nbDecision=41500 #constraints=4561
63.57/63.63	c nbDecision=42000 #constraints=4561
64.27/64.34	c nbDecision=42500 #constraints=4561
64.97/65.04	c nbDecision=43000 #constraints=4561
65.67/65.74	c nbDecision=43500 #constraints=4561
66.36/66.45	c nbDecision=44000 #constraints=4561
67.07/67.15	c nbDecision=44500 #constraints=4561
67.76/67.86	c nbDecision=45000 #constraints=4561
68.46/68.56	c nbDecision=45500 #constraints=4561
69.17/69.26	c nbDecision=46000 #constraints=4561
69.86/69.96	c nbDecision=46500 #constraints=4561
70.56/70.66	c nbDecision=47000 #constraints=4561
71.26/71.35	c nbDecision=47500 #constraints=4561
71.96/72.05	c nbDecision=48000 #constraints=4561
72.66/72.75	c nbDecision=48500 #constraints=4561
73.36/73.44	c nbDecision=49000 #constraints=4561
74.06/74.14	c nbDecision=49500 #constraints=4561
74.76/74.84	c nbDecision=50000 #constraints=4561
75.46/75.53	c nbDecision=50500 #constraints=4561
76.16/76.27	c nbDecision=51000 #constraints=4562
76.46/76.57	c restart after 51201 decisions
76.96/77.04	c nbDecision=51500 #constraints=4562
77.66/77.80	c nbDecision=52000 #constraints=4562
78.46/78.55	c nbDecision=52500 #constraints=4562
79.26/79.31	c nbDecision=53000 #constraints=4562
79.96/80.06	c nbDecision=53500 #constraints=4562
80.76/80.80	c nbDecision=54000 #constraints=4562
81.46/81.55	c nbDecision=54500 #constraints=4562
82.16/82.29	c nbDecision=55000 #constraints=4562
82.96/83.02	c nbDecision=55500 #constraints=4562
83.66/83.75	c nbDecision=56000 #constraints=4562
84.36/84.47	c nbDecision=56500 #constraints=4562
85.16/85.20	c nbDecision=57000 #constraints=4562
85.86/85.94	c nbDecision=57500 #constraints=4562
86.56/86.67	c nbDecision=58000 #constraints=4562
87.36/87.40	c nbDecision=58500 #constraints=4562
88.06/88.13	c nbDecision=59000 #constraints=4562
88.76/88.86	c nbDecision=59500 #constraints=4562
89.46/89.59	c nbDecision=60000 #constraints=4562
90.26/90.32	c nbDecision=60500 #constraints=4562
90.96/91.05	c nbDecision=61000 #constraints=4562
91.66/91.77	c nbDecision=61500 #constraints=4562
92.46/92.50	c nbDecision=62000 #constraints=4562
93.16/93.23	c nbDecision=62500 #constraints=4562
93.86/93.96	c nbDecision=63000 #constraints=4562
94.56/94.69	c nbDecision=63500 #constraints=4562
95.36/95.42	c nbDecision=64000 #constraints=4562
96.06/96.15	c nbDecision=64500 #constraints=4562
96.76/96.87	c nbDecision=65000 #constraints=4562
97.46/97.59	c nbDecision=65500 #constraints=4562
98.26/98.31	c nbDecision=66000 #constraints=4562
98.96/99.03	c nbDecision=66500 #constraints=4562
99.66/99.74	c nbDecision=67000 #constraints=4562
100.36/100.46	c nbDecision=67500 #constraints=4562
101.06/101.19	c nbDecision=68000 #constraints=4562
101.86/101.90	c nbDecision=68500 #constraints=4562
102.56/102.61	c nbDecision=69000 #constraints=4562
103.26/103.32	c nbDecision=69500 #constraints=4562
103.96/104.03	c nbDecision=70000 #constraints=4562
104.66/104.74	c nbDecision=70500 #constraints=4562
105.35/105.45	c nbDecision=71000 #constraints=4562
106.05/106.16	c nbDecision=71500 #constraints=4562
106.75/106.86	c nbDecision=72000 #constraints=4562
107.45/107.57	c nbDecision=72500 #constraints=4562
108.15/108.26	c nbDecision=73000 #constraints=4562
108.86/108.96	c nbDecision=73500 #constraints=4562
109.55/109.65	c nbDecision=74000 #constraints=4562
110.25/110.34	c nbDecision=74500 #constraints=4562
110.96/111.03	c nbDecision=75000 #constraints=4562
111.65/111.72	c nbDecision=75500 #constraints=4562
112.35/112.40	c nbDecision=76000 #constraints=4562
113.05/113.13	c nbDecision=76500 #constraints=4563
113.75/113.86	c nbDecision=77000 #constraints=4563
114.45/114.59	c nbDecision=77500 #constraints=4563
115.25/115.32	c nbDecision=78000 #constraints=4563
115.95/116.05	c nbDecision=78500 #constraints=4563
116.65/116.77	c nbDecision=79000 #constraints=4563
117.45/117.50	c nbDecision=79500 #constraints=4563
118.15/118.23	c nbDecision=80000 #constraints=4563
118.85/118.95	c nbDecision=80500 #constraints=4563
119.55/119.67	c nbDecision=81000 #constraints=4563
120.25/120.39	c nbDecision=81500 #constraints=4563
121.05/121.11	c nbDecision=82000 #constraints=4563
121.75/121.83	c nbDecision=82500 #constraints=4563
122.45/122.54	c nbDecision=83000 #constraints=4563
123.15/123.24	c nbDecision=83500 #constraints=4563
123.85/123.94	c nbDecision=84000 #constraints=4563
124.55/124.65	c nbDecision=84500 #constraints=4563
125.25/125.35	c nbDecision=85000 #constraints=4563
125.95/126.06	c nbDecision=85500 #constraints=4563
126.65/126.76	c nbDecision=86000 #constraints=4563
127.35/127.46	c nbDecision=86500 #constraints=4563
128.05/128.16	c nbDecision=87000 #constraints=4563
128.75/128.86	c nbDecision=87500 #constraints=4563
129.45/129.55	c nbDecision=88000 #constraints=4563
130.15/130.23	c nbDecision=88500 #constraints=4563
130.85/130.93	c nbDecision=89000 #constraints=4563
131.54/131.62	c nbDecision=89500 #constraints=4563
132.24/132.31	c nbDecision=90000 #constraints=4563
132.84/133.00	c nbDecision=90500 #constraints=4563
133.54/133.69	c nbDecision=91000 #constraints=4563
134.24/134.39	c nbDecision=91500 #constraints=4563
135.04/135.14	c nbDecision=92000 #constraints=4564
135.74/135.87	c nbDecision=92500 #constraints=4564
136.44/136.60	c nbDecision=93000 #constraints=4564
137.24/137.31	c nbDecision=93500 #constraints=4564
137.94/138.03	c nbDecision=94000 #constraints=4564
138.64/138.76	c nbDecision=94500 #constraints=4564
139.34/139.48	c nbDecision=95000 #constraints=4564
140.14/140.20	c nbDecision=95500 #constraints=4564
140.84/140.92	c nbDecision=96000 #constraints=4564
141.54/141.63	c nbDecision=96500 #constraints=4564
142.24/142.34	c nbDecision=97000 #constraints=4564
142.94/143.04	c nbDecision=97500 #constraints=4564
143.64/143.74	c nbDecision=98000 #constraints=4564
144.34/144.43	c nbDecision=98500 #constraints=4564
145.04/145.13	c nbDecision=99000 #constraints=4564
145.74/145.83	c nbDecision=99500 #constraints=4564
146.44/146.53	c nbDecision=100000 #constraints=4564
147.14/147.24	c nbDecision=100500 #constraints=4564
147.84/147.93	c nbDecision=101000 #constraints=4564
148.54/148.63	c nbDecision=101500 #constraints=4564
149.24/149.33	c nbDecision=102000 #constraints=4564
149.74/149.89	c restart after 102401 decisions
149.94/150.07	c nbDecision=102500 #constraints=4564
150.74/150.84	c nbDecision=103000 #constraints=4564
151.44/151.58	c nbDecision=103500 #constraints=4564
152.23/152.33	c nbDecision=104000 #constraints=4564
152.93/153.08	c nbDecision=104500 #constraints=4564
153.73/153.83	c nbDecision=105000 #constraints=4564
154.43/154.58	c nbDecision=105500 #constraints=4564
155.23/155.32	c nbDecision=106000 #constraints=4564
155.93/156.07	c nbDecision=106500 #constraints=4564
156.73/156.80	c nbDecision=107000 #constraints=4564
157.43/157.55	c nbDecision=107500 #constraints=4564
158.13/158.29	c nbDecision=108000 #constraints=4564
158.93/159.04	c nbDecision=108500 #constraints=4564
159.63/159.78	c nbDecision=109000 #constraints=4564
160.44/160.52	c nbDecision=109500 #constraints=4564
161.13/161.26	c nbDecision=110000 #constraints=4564
161.83/161.99	c nbDecision=110500 #constraints=4564
162.64/162.72	c nbDecision=111000 #constraints=4564
163.33/163.45	c nbDecision=111500 #constraints=4564
164.03/164.18	c nbDecision=112000 #constraints=4564
164.83/164.90	c nbDecision=112500 #constraints=4564
165.53/165.61	c nbDecision=113000 #constraints=4564
166.23/166.33	c nbDecision=113500 #constraints=4564
166.93/167.05	c nbDecision=114000 #constraints=4564
167.63/167.76	c nbDecision=114500 #constraints=4564
168.33/168.48	c nbDecision=115000 #constraints=4564
169.13/169.20	c nbDecision=115500 #constraints=4564
169.83/169.92	c nbDecision=116000 #constraints=4564
170.53/170.63	c nbDecision=116500 #constraints=4564
171.23/171.34	c nbDecision=117000 #constraints=4564
171.93/172.06	c nbDecision=117500 #constraints=4564
172.63/172.78	c nbDecision=118000 #constraints=4564
173.43/173.51	c nbDecision=118500 #constraints=4564
174.13/174.24	c nbDecision=119000 #constraints=4564
174.83/174.95	c nbDecision=119500 #constraints=4564
175.53/175.65	c nbDecision=120000 #constraints=4564
176.23/176.36	c nbDecision=120500 #constraints=4564
176.93/177.07	c nbDecision=121000 #constraints=4564
177.63/177.78	c nbDecision=121500 #constraints=4564
178.32/178.49	c nbDecision=122000 #constraints=4564
179.02/179.20	c nbDecision=122500 #constraints=4564
179.82/179.92	c nbDecision=123000 #constraints=4564
180.53/180.62	c nbDecision=123500 #constraints=4564
181.22/181.32	c nbDecision=124000 #constraints=4564
181.92/182.02	c nbDecision=124500 #constraints=4564
182.62/182.71	c nbDecision=125000 #constraints=4564
183.32/183.40	c nbDecision=125500 #constraints=4564
184.02/184.10	c nbDecision=126000 #constraints=4564
184.63/184.78	c nbDecision=126500 #constraints=4564
185.32/185.46	c nbDecision=127000 #constraints=4564
186.02/186.15	c nbDecision=127500 #constraints=4564
186.72/186.89	c nbDecision=128000 #constraints=4565
187.52/187.61	c nbDecision=128500 #constraints=4565
188.22/188.33	c nbDecision=129000 #constraints=4565
188.92/189.04	c nbDecision=129500 #constraints=4565
189.62/189.75	c nbDecision=130000 #constraints=4565
190.32/190.46	c nbDecision=130500 #constraints=4565
191.02/191.16	c nbDecision=131000 #constraints=4565
191.72/191.87	c nbDecision=131500 #constraints=4565
192.42/192.59	c nbDecision=132000 #constraints=4565
193.22/193.30	c nbDecision=132500 #constraints=4565
193.92/194.01	c nbDecision=133000 #constraints=4565
194.62/194.73	c nbDecision=133500 #constraints=4565
195.32/195.44	c nbDecision=134000 #constraints=4565
196.02/196.15	c nbDecision=134500 #constraints=4565
196.72/196.86	c nbDecision=135000 #constraints=4565
197.42/197.56	c nbDecision=135500 #constraints=4565
198.12/198.27	c nbDecision=136000 #constraints=4565
198.82/198.97	c nbDecision=136500 #constraints=4565
199.52/199.68	c nbDecision=137000 #constraints=4565
200.22/200.38	c nbDecision=137500 #constraints=4565
200.92/201.08	c nbDecision=138000 #constraints=4565
201.62/201.78	c nbDecision=138500 #constraints=4565
202.32/202.47	c nbDecision=139000 #constraints=4565
203.02/203.16	c nbDecision=139500 #constraints=4565
203.71/203.85	c nbDecision=140000 #constraints=4565
204.42/204.59	c nbDecision=140500 #constraints=4566
205.21/205.32	c nbDecision=141000 #constraints=4566
205.91/206.04	c nbDecision=141500 #constraints=4566
206.62/206.76	c nbDecision=142000 #constraints=4566
207.31/207.48	c nbDecision=142500 #constraints=4566
208.11/208.20	c nbDecision=143000 #constraints=4566
208.82/208.92	c nbDecision=143500 #constraints=4566
209.51/209.64	c nbDecision=144000 #constraints=4566
210.21/210.36	c nbDecision=144500 #constraints=4566
210.91/211.07	c nbDecision=145000 #constraints=4566
211.62/211.78	c nbDecision=145500 #constraints=4566
212.42/212.50	c nbDecision=146000 #constraints=4566
213.12/213.22	c nbDecision=146500 #constraints=4566
213.82/213.94	c nbDecision=147000 #constraints=4566
214.52/214.65	c nbDecision=147500 #constraints=4566
215.22/215.36	c nbDecision=148000 #constraints=4566
215.92/216.08	c nbDecision=148500 #constraints=4566
216.62/216.78	c nbDecision=149000 #constraints=4566
217.32/217.49	c nbDecision=149500 #constraints=4566
218.12/218.20	c nbDecision=150000 #constraints=4566
218.82/218.91	c nbDecision=150500 #constraints=4566
219.51/219.62	c nbDecision=151000 #constraints=4566
220.21/220.32	c nbDecision=151500 #constraints=4566
220.92/221.03	c nbDecision=152000 #constraints=4566
221.61/221.72	c nbDecision=152500 #constraints=4566
222.31/222.42	c nbDecision=153000 #constraints=4566
223.01/223.11	c nbDecision=153500 #constraints=4566
223.71/223.80	c nbDecision=154000 #constraints=4566
224.31/224.49	c nbDecision=154500 #constraints=4566
225.01/225.18	c nbDecision=155000 #constraints=4566
225.81/225.91	c nbDecision=155500 #constraints=4567
226.51/226.63	c nbDecision=156000 #constraints=4567
227.21/227.36	c nbDecision=156500 #constraints=4567
227.91/228.08	c nbDecision=157000 #constraints=4567
228.61/228.80	c nbDecision=157500 #constraints=4567
229.41/229.52	c nbDecision=158000 #constraints=4567
230.11/230.24	c nbDecision=158500 #constraints=4567
230.81/230.96	c nbDecision=159000 #constraints=4567
231.50/231.67	c nbDecision=159500 #constraints=4567
232.20/232.39	c nbDecision=160000 #constraints=4567
233.01/233.11	c nbDecision=160500 #constraints=4567
233.70/233.83	c nbDecision=161000 #constraints=4567
234.40/234.55	c nbDecision=161500 #constraints=4567
235.10/235.27	c nbDecision=162000 #constraints=4567
235.80/235.99	c nbDecision=162500 #constraints=4567
236.60/236.70	c nbDecision=163000 #constraints=4567
237.30/237.41	c nbDecision=163500 #constraints=4567
238.00/238.12	c nbDecision=164000 #constraints=4567
238.70/238.83	c nbDecision=164500 #constraints=4567
239.40/239.54	c nbDecision=165000 #constraints=4567
240.10/240.24	c nbDecision=165500 #constraints=4567
240.81/240.95	c nbDecision=166000 #constraints=4567
241.50/241.65	c nbDecision=166500 #constraints=4567
242.20/242.35	c nbDecision=167000 #constraints=4567
242.91/243.05	c nbDecision=167500 #constraints=4567
243.60/243.73	c nbDecision=168000 #constraints=4567
244.30/244.42	c nbDecision=168500 #constraints=4567
245.00/245.12	c nbDecision=169000 #constraints=4567
245.70/245.81	c nbDecision=169500 #constraints=4567
246.30/246.50	c nbDecision=170000 #constraints=4567
247.10/247.22	c nbDecision=170500 #constraints=4568
247.80/247.95	c nbDecision=171000 #constraints=4568
248.50/248.67	c nbDecision=171500 #constraints=4568
249.20/249.39	c nbDecision=172000 #constraints=4568
250.00/250.12	c nbDecision=172500 #constraints=4568
250.70/250.84	c nbDecision=173000 #constraints=4568
251.40/251.56	c nbDecision=173500 #constraints=4568
252.10/252.28	c nbDecision=174000 #constraints=4568
252.90/253.00	c nbDecision=174500 #constraints=4568
253.60/253.73	c nbDecision=175000 #constraints=4568
254.30/254.45	c nbDecision=175500 #constraints=4568
255.00/255.17	c nbDecision=176000 #constraints=4568
255.70/255.89	c nbDecision=176500 #constraints=4568
256.50/256.61	c nbDecision=177000 #constraints=4568
257.20/257.32	c nbDecision=177500 #constraints=4568
257.89/258.04	c nbDecision=178000 #constraints=4568
258.59/258.75	c nbDecision=178500 #constraints=4568
259.29/259.46	c nbDecision=179000 #constraints=4568
259.99/260.17	c nbDecision=179500 #constraints=4568
260.69/260.87	c nbDecision=180000 #constraints=4568
261.39/261.58	c nbDecision=180500 #constraints=4568
262.09/262.28	c nbDecision=181000 #constraints=4568
262.80/262.98	c nbDecision=181500 #constraints=4568
263.49/263.68	c nbDecision=182000 #constraints=4568
264.19/264.38	c nbDecision=182500 #constraints=4568
264.89/265.07	c nbDecision=183000 #constraints=4568
265.59/265.77	c nbDecision=183500 #constraints=4568
266.29/266.45	c nbDecision=184000 #constraints=4568
266.99/267.14	c nbDecision=184500 #constraints=4568
267.69/267.83	c nbDecision=185000 #constraints=4568
268.39/268.52	c nbDecision=185500 #constraints=4568
269.09/269.27	c nbDecision=186000 #constraints=4569
269.79/269.99	c nbDecision=186500 #constraints=4569
270.59/270.71	c nbDecision=187000 #constraints=4569
271.29/271.43	c nbDecision=187500 #constraints=4569
271.99/272.15	c nbDecision=188000 #constraints=4569
272.69/272.87	c nbDecision=188500 #constraints=4569
273.39/273.59	c nbDecision=189000 #constraints=4569
274.19/274.32	c nbDecision=189500 #constraints=4569
274.89/275.03	c nbDecision=190000 #constraints=4569
275.59/275.75	c nbDecision=190500 #constraints=4569
276.28/276.47	c nbDecision=191000 #constraints=4569
276.99/277.19	c nbDecision=191500 #constraints=4569
277.78/277.90	c nbDecision=192000 #constraints=4569
278.48/278.61	c nbDecision=192500 #constraints=4569
279.19/279.32	c nbDecision=193000 #constraints=4569
279.88/280.03	c nbDecision=193500 #constraints=4569
280.58/280.73	c nbDecision=194000 #constraints=4569
281.28/281.44	c nbDecision=194500 #constraints=4569
281.98/282.14	c nbDecision=195000 #constraints=4569
282.68/282.84	c nbDecision=195500 #constraints=4569
283.38/283.53	c nbDecision=196000 #constraints=4569
284.08/284.23	c nbDecision=196500 #constraints=4569
284.78/284.92	c nbDecision=197000 #constraints=4569
285.48/285.62	c nbDecision=197500 #constraints=4569
286.18/286.31	c nbDecision=198000 #constraints=4569
286.78/287.00	c nbDecision=198500 #constraints=4569
287.48/287.69	c nbDecision=199000 #constraints=4569
288.28/288.41	c nbDecision=199500 #constraints=4570
288.99/289.13	c nbDecision=200000 #constraints=4570
289.69/289.85	c nbDecision=200500 #constraints=4570
290.39/290.56	c nbDecision=201000 #constraints=4570
291.09/291.28	c nbDecision=201500 #constraints=4570
291.78/292.00	c nbDecision=202000 #constraints=4570
292.58/292.71	c nbDecision=202500 #constraints=4570
293.28/293.43	c nbDecision=203000 #constraints=4570
293.98/294.15	c nbDecision=203500 #constraints=4570
294.69/294.86	c nbDecision=204000 #constraints=4570
295.38/295.58	c nbDecision=204500 #constraints=4570
295.88/296.01	c restart after 204801 decisions
296.18/296.34	c nbDecision=205000 #constraints=4570
296.89/297.09	c nbDecision=205500 #constraints=4570
297.68/297.85	c nbDecision=206000 #constraints=4570
298.48/298.61	c nbDecision=206500 #constraints=4570
299.18/299.36	c nbDecision=207000 #constraints=4570
299.98/300.11	c nbDecision=207500 #constraints=4570
300.68/300.86	c nbDecision=208000 #constraints=4570
301.48/301.61	c nbDecision=208500 #constraints=4570
302.18/302.35	c nbDecision=209000 #constraints=4570
302.88/303.09	c nbDecision=209500 #constraints=4570
303.68/303.83	c nbDecision=210000 #constraints=4570
304.38/304.57	c nbDecision=210500 #constraints=4570
305.18/305.30	c nbDecision=211000 #constraints=4570
305.88/306.04	c nbDecision=211500 #constraints=4570
306.58/306.77	c nbDecision=212000 #constraints=4570
307.38/307.51	c nbDecision=212500 #constraints=4570
308.08/308.24	c nbDecision=213000 #constraints=4570
308.78/308.97	c nbDecision=213500 #constraints=4570
309.57/309.70	c nbDecision=214000 #constraints=4570
310.27/310.43	c nbDecision=214500 #constraints=4570
310.97/311.15	c nbDecision=215000 #constraints=4570
311.67/311.88	c nbDecision=215500 #constraints=4570
312.47/312.61	c nbDecision=216000 #constraints=4570
313.17/313.34	c nbDecision=216500 #constraints=4570
313.87/314.07	c nbDecision=217000 #constraints=4570
314.67/314.80	c nbDecision=217500 #constraints=4570
315.37/315.52	c nbDecision=218000 #constraints=4570
316.07/316.25	c nbDecision=218500 #constraints=4570
316.77/316.97	c nbDecision=219000 #constraints=4570
317.47/317.69	c nbDecision=219500 #constraints=4570
318.27/318.42	c nbDecision=220000 #constraints=4570
318.97/319.14	c nbDecision=220500 #constraints=4570
319.67/319.85	c nbDecision=221000 #constraints=4570
320.37/320.57	c nbDecision=221500 #constraints=4570
321.07/321.29	c nbDecision=222000 #constraints=4570
321.87/322.00	c nbDecision=222500 #constraints=4570
322.57/322.70	c nbDecision=223000 #constraints=4570
323.27/323.41	c nbDecision=223500 #constraints=4570
323.97/324.11	c nbDecision=224000 #constraints=4570
324.67/324.81	c nbDecision=224500 #constraints=4570
325.37/325.51	c nbDecision=225000 #constraints=4570
326.07/326.21	c nbDecision=225500 #constraints=4570
326.77/326.91	c nbDecision=226000 #constraints=4570
327.47/327.61	c nbDecision=226500 #constraints=4570
328.07/328.30	c nbDecision=227000 #constraints=4570
328.77/328.99	c nbDecision=227500 #constraints=4570
329.46/329.68	c nbDecision=228000 #constraints=4570
330.16/330.38	c nbDecision=228500 #constraints=4570
330.87/331.07	c nbDecision=229000 #constraints=4570
331.56/331.76	c nbDecision=229500 #constraints=4570
332.26/332.48	c nbDecision=230000 #constraints=4571
333.07/333.21	c nbDecision=230500 #constraints=4571
333.76/333.93	c nbDecision=231000 #constraints=4571
334.46/334.66	c nbDecision=231500 #constraints=4571
335.16/335.38	c nbDecision=232000 #constraints=4571
335.96/336.10	c nbDecision=232500 #constraints=4571
336.66/336.82	c nbDecision=233000 #constraints=4571
337.36/337.53	c nbDecision=233500 #constraints=4571
338.06/338.25	c nbDecision=234000 #constraints=4571
338.76/338.97	c nbDecision=234500 #constraints=4571
339.46/339.68	c nbDecision=235000 #constraints=4571
340.16/340.39	c nbDecision=235500 #constraints=4571
340.96/341.10	c nbDecision=236000 #constraints=4571
341.66/341.81	c nbDecision=236500 #constraints=4571
342.36/342.52	c nbDecision=237000 #constraints=4571
343.06/343.22	c nbDecision=237500 #constraints=4571
343.76/343.92	c nbDecision=238000 #constraints=4571
344.46/344.62	c nbDecision=238500 #constraints=4571
345.16/345.31	c nbDecision=239000 #constraints=4571
345.86/346.01	c nbDecision=239500 #constraints=4571
346.56/346.70	c nbDecision=240000 #constraints=4571
347.16/347.40	c nbDecision=240500 #constraints=4571
347.86/348.09	c nbDecision=241000 #constraints=4571
348.56/348.78	c nbDecision=241500 #constraints=4571
349.25/349.46	c nbDecision=242000 #constraints=4571
349.95/350.19	c nbDecision=242500 #constraints=4572
350.76/350.91	c nbDecision=243000 #constraints=4572
351.45/351.63	c nbDecision=243500 #constraints=4572
352.15/352.35	c nbDecision=244000 #constraints=4572
352.86/353.08	c nbDecision=244500 #constraints=4572
353.65/353.81	c nbDecision=245000 #constraints=4572
354.35/354.54	c nbDecision=245500 #constraints=4572
355.06/355.26	c nbDecision=246000 #constraints=4572
355.75/355.99	c nbDecision=246500 #constraints=4572
356.55/356.71	c nbDecision=247000 #constraints=4572
357.26/357.43	c nbDecision=247500 #constraints=4572
357.95/358.15	c nbDecision=248000 #constraints=4572
358.65/358.87	c nbDecision=248500 #constraints=4572
359.35/359.59	c nbDecision=249000 #constraints=4572
360.15/360.30	c nbDecision=249500 #constraints=4572
360.85/361.01	c nbDecision=250000 #constraints=4572
361.55/361.73	c nbDecision=250500 #constraints=4572
362.25/362.43	c nbDecision=251000 #constraints=4572
362.95/363.14	c nbDecision=251500 #constraints=4572
363.65/363.84	c nbDecision=252000 #constraints=4572
364.35/364.54	c nbDecision=252500 #constraints=4572
365.05/365.24	c nbDecision=253000 #constraints=4572
365.75/365.93	c nbDecision=253500 #constraints=4572
366.45/366.63	c nbDecision=254000 #constraints=4572
367.15/367.33	c nbDecision=254500 #constraints=4572
367.85/368.02	c nbDecision=255000 #constraints=4572
368.55/368.72	c nbDecision=255500 #constraints=4572
369.24/369.40	c nbDecision=256000 #constraints=4572
369.84/370.09	c nbDecision=256500 #constraints=4572
370.55/370.78	c nbDecision=257000 #constraints=4572
371.24/371.49	c nbDecision=257500 #constraints=4573
372.04/372.23	c nbDecision=258000 #constraints=4573
372.75/372.95	c nbDecision=258500 #constraints=4573
373.45/373.68	c nbDecision=259000 #constraints=4573
374.24/374.41	c nbDecision=259500 #constraints=4573
374.95/375.13	c nbDecision=260000 #constraints=4573
375.64/375.86	c nbDecision=260500 #constraints=4573
376.34/376.59	c nbDecision=261000 #constraints=4573
377.15/377.31	c nbDecision=261500 #constraints=4573
377.84/378.03	c nbDecision=262000 #constraints=4573
378.54/378.75	c nbDecision=262500 #constraints=4573
379.25/379.47	c nbDecision=263000 #constraints=4573
379.94/380.19	c nbDecision=263500 #constraints=4573
380.74/380.91	c nbDecision=264000 #constraints=4573
381.45/381.62	c nbDecision=264500 #constraints=4573
382.14/382.33	c nbDecision=265000 #constraints=4573
382.84/383.03	c nbDecision=265500 #constraints=4573
383.54/383.74	c nbDecision=266000 #constraints=4573
384.24/384.44	c nbDecision=266500 #constraints=4573
384.94/385.14	c nbDecision=267000 #constraints=4573
385.64/385.84	c nbDecision=267500 #constraints=4573
386.34/386.54	c nbDecision=268000 #constraints=4573
387.04/387.24	c nbDecision=268500 #constraints=4573
387.74/387.94	c nbDecision=269000 #constraints=4573
388.44/388.64	c nbDecision=269500 #constraints=4573
389.14/389.33	c nbDecision=270000 #constraints=4573
389.84/390.03	c nbDecision=270500 #constraints=4573
390.53/390.72	c nbDecision=271000 #constraints=4573
391.24/391.41	c nbDecision=271500 #constraints=4573
391.94/392.10	c nbDecision=272000 #constraints=4573
392.55/392.80	c nbDecision=272500 #constraints=4573
393.34/393.53	c nbDecision=273000 #constraints=4574
394.04/394.26	c nbDecision=273500 #constraints=4574
394.75/394.98	c nbDecision=274000 #constraints=4574
395.44/395.70	c nbDecision=274500 #constraints=4574
396.24/396.41	c nbDecision=275000 #constraints=4574
396.95/397.12	c nbDecision=275500 #constraints=4574
397.64/397.83	c nbDecision=276000 #constraints=4574
398.34/398.55	c nbDecision=276500 #constraints=4574
399.05/399.26	c nbDecision=277000 #constraints=4574
399.74/399.97	c nbDecision=277500 #constraints=4574
400.44/400.68	c nbDecision=278000 #constraints=4574
401.14/401.38	c nbDecision=278500 #constraints=4574
401.84/402.09	c nbDecision=279000 #constraints=4574
402.54/402.79	c nbDecision=279500 #constraints=4574
403.24/403.48	c nbDecision=280000 #constraints=4574
403.94/404.17	c nbDecision=280500 #constraints=4574
404.64/404.87	c nbDecision=281000 #constraints=4574
405.34/405.56	c nbDecision=281500 #constraints=4574
406.04/406.26	c nbDecision=282000 #constraints=4574
406.74/406.95	c nbDecision=282500 #constraints=4574
407.44/407.64	c nbDecision=283000 #constraints=4574
408.14/408.32	c nbDecision=283500 #constraints=4574
408.84/409.06	c nbDecision=284000 #constraints=4575
409.54/409.78	c nbDecision=284500 #constraints=4575
410.33/410.50	c nbDecision=285000 #constraints=4575
411.03/411.22	c nbDecision=285500 #constraints=4575
411.73/411.94	c nbDecision=286000 #constraints=4575
412.43/412.66	c nbDecision=286500 #constraints=4575
413.13/413.38	c nbDecision=287000 #constraints=4575
413.94/414.10	c nbDecision=287500 #constraints=4575
414.63/414.82	c nbDecision=288000 #constraints=4575
415.33/415.54	c nbDecision=288500 #constraints=4575
416.03/416.26	c nbDecision=289000 #constraints=4575
416.74/416.97	c nbDecision=289500 #constraints=4575
417.43/417.68	c nbDecision=290000 #constraints=4575
418.13/418.40	c nbDecision=290500 #constraints=4575
418.94/419.11	c nbDecision=291000 #constraints=4575
419.63/419.82	c nbDecision=291500 #constraints=4575
420.33/420.53	c nbDecision=292000 #constraints=4575
421.03/421.23	c nbDecision=292500 #constraints=4575
421.73/421.94	c nbDecision=293000 #constraints=4575
422.43/422.64	c nbDecision=293500 #constraints=4575
423.13/423.33	c nbDecision=294000 #constraints=4575
423.83/424.03	c nbDecision=294500 #constraints=4575
424.53/424.72	c nbDecision=295000 #constraints=4575
425.23/425.42	c nbDecision=295500 #constraints=4575
425.93/426.10	c nbDecision=296000 #constraints=4575
426.53/426.79	c nbDecision=296500 #constraints=4575
427.23/427.48	c nbDecision=297000 #constraints=4575
428.03/428.21	c nbDecision=297500 #constraints=4576
428.73/428.93	c nbDecision=298000 #constraints=4576
429.43/429.66	c nbDecision=298500 #constraints=4576
430.13/430.38	c nbDecision=299000 #constraints=4576
430.83/431.09	c nbDecision=299500 #constraints=4576
431.63/431.81	c nbDecision=300000 #constraints=4576
432.33/432.54	c nbDecision=300500 #constraints=4576
433.03/433.26	c nbDecision=301000 #constraints=4576
433.73/433.99	c nbDecision=301500 #constraints=4576
434.52/434.71	c nbDecision=302000 #constraints=4576
435.22/435.43	c nbDecision=302500 #constraints=4576
435.92/436.15	c nbDecision=303000 #constraints=4576
436.62/436.86	c nbDecision=303500 #constraints=4576
437.32/437.57	c nbDecision=304000 #constraints=4576
438.02/438.29	c nbDecision=304500 #constraints=4576
438.82/439.00	c nbDecision=305000 #constraints=4576
439.52/439.71	c nbDecision=305500 #constraints=4576
440.22/440.43	c nbDecision=306000 #constraints=4576
440.92/441.14	c nbDecision=306500 #constraints=4576
441.62/441.84	c nbDecision=307000 #constraints=4576
442.32/442.55	c nbDecision=307500 #constraints=4576
443.02/443.24	c nbDecision=308000 #constraints=4576
443.72/443.94	c nbDecision=308500 #constraints=4576
444.42/444.64	c nbDecision=309000 #constraints=4576
445.12/445.33	c nbDecision=309500 #constraints=4576
445.82/446.03	c nbDecision=310000 #constraints=4576
446.52/446.72	c nbDecision=310500 #constraints=4576
447.22/447.41	c nbDecision=311000 #constraints=4576
447.82/448.09	c nbDecision=311500 #constraints=4576
448.52/448.78	c nbDecision=312000 #constraints=4576
449.32/449.51	c nbDecision=312500 #constraints=4577
450.01/450.25	c nbDecision=313000 #constraints=4577
450.72/450.99	c nbDecision=313500 #constraints=4577
451.51/451.72	c nbDecision=314000 #constraints=4577
452.21/452.47	c nbDecision=314500 #constraints=4577
453.02/453.21	c nbDecision=315000 #constraints=4577
453.71/453.95	c nbDecision=315500 #constraints=4577
454.41/454.69	c nbDecision=316000 #constraints=4577
455.22/455.42	c nbDecision=316500 #constraints=4577
455.91/456.15	c nbDecision=317000 #constraints=4577
456.61/456.89	c nbDecision=317500 #constraints=4577
457.41/457.62	c nbDecision=318000 #constraints=4577
458.11/458.35	c nbDecision=318500 #constraints=4577
458.81/459.09	c nbDecision=319000 #constraints=4577
459.62/459.82	c nbDecision=319500 #constraints=4577
460.31/460.54	c nbDecision=320000 #constraints=4577
461.01/461.27	c nbDecision=320500 #constraints=4577
461.71/462.00	c nbDecision=321000 #constraints=4577
462.51/462.71	c nbDecision=321500 #constraints=4577
463.21/463.43	c nbDecision=322000 #constraints=4577
463.91/464.15	c nbDecision=322500 #constraints=4577
464.61/464.86	c nbDecision=323000 #constraints=4577
465.31/465.56	c nbDecision=323500 #constraints=4577
466.01/466.28	c nbDecision=324000 #constraints=4577
466.71/466.99	c nbDecision=324500 #constraints=4577
467.41/467.69	c nbDecision=325000 #constraints=4577
468.21/468.40	c nbDecision=325500 #constraints=4577
468.90/469.11	c nbDecision=326000 #constraints=4577
469.61/469.81	c nbDecision=326500 #constraints=4577
470.30/470.52	c nbDecision=327000 #constraints=4577
471.00/471.22	c nbDecision=327500 #constraints=4577
471.71/471.92	c nbDecision=328000 #constraints=4577
472.40/472.63	c nbDecision=328500 #constraints=4577
473.10/473.33	c nbDecision=329000 #constraints=4577
473.80/474.03	c nbDecision=329500 #constraints=4577
474.50/474.73	c nbDecision=330000 #constraints=4577
475.20/475.44	c nbDecision=330500 #constraints=4577
475.90/476.14	c nbDecision=331000 #constraints=4577
476.60/476.83	c nbDecision=331500 #constraints=4577
477.30/477.53	c nbDecision=332000 #constraints=4577
478.00/478.22	c nbDecision=332500 #constraints=4577
478.70/478.92	c nbDecision=333000 #constraints=4577
479.40/479.69	c nbDecision=333500 #constraints=4578
480.20/480.44	c nbDecision=334000 #constraints=4578
480.90/481.19	c nbDecision=334500 #constraints=4578
481.70/481.94	c nbDecision=335000 #constraints=4578
482.40/482.68	c nbDecision=335500 #constraints=4578
483.20/483.42	c nbDecision=336000 #constraints=4578
483.90/484.16	c nbDecision=336500 #constraints=4578
484.60/484.90	c nbDecision=337000 #constraints=4578
485.40/485.63	c nbDecision=337500 #constraints=4578
486.10/486.37	c nbDecision=338000 #constraints=4578
486.90/487.10	c nbDecision=338500 #constraints=4578
487.60/487.83	c nbDecision=339000 #constraints=4578
488.30/488.57	c nbDecision=339500 #constraints=4578
489.00/489.30	c nbDecision=340000 #constraints=4578
489.80/490.02	c nbDecision=340500 #constraints=4578
490.50/490.75	c nbDecision=341000 #constraints=4578
491.20/491.48	c nbDecision=341500 #constraints=4578
492.00/492.21	c nbDecision=342000 #constraints=4578
492.69/492.94	c nbDecision=342500 #constraints=4578
493.39/493.67	c nbDecision=343000 #constraints=4578
494.19/494.40	c nbDecision=343500 #constraints=4578
494.89/495.13	c nbDecision=344000 #constraints=4578
495.59/495.85	c nbDecision=344500 #constraints=4578
496.29/496.58	c nbDecision=345000 #constraints=4578
497.09/497.30	c nbDecision=345500 #constraints=4578
497.79/498.02	c nbDecision=346000 #constraints=4578
498.49/498.74	c nbDecision=346500 #constraints=4578
499.20/499.46	c nbDecision=347000 #constraints=4578
499.89/500.18	c nbDecision=347500 #constraints=4578
500.69/500.90	c nbDecision=348000 #constraints=4578
501.40/501.61	c nbDecision=348500 #constraints=4578
502.09/502.32	c nbDecision=349000 #constraints=4578
502.79/503.03	c nbDecision=349500 #constraints=4578
503.49/503.73	c nbDecision=350000 #constraints=4578
504.19/504.44	c nbDecision=350500 #constraints=4578
504.89/505.14	c nbDecision=351000 #constraints=4578
505.59/505.84	c nbDecision=351500 #constraints=4578
506.29/506.54	c nbDecision=352000 #constraints=4578
506.99/507.24	c nbDecision=352500 #constraints=4578
507.69/507.93	c nbDecision=353000 #constraints=4578
508.39/508.63	c nbDecision=353500 #constraints=4578
509.09/509.32	c nbDecision=354000 #constraints=4578
509.79/510.01	c nbDecision=354500 #constraints=4578
510.49/510.71	c nbDecision=355000 #constraints=4578
511.10/511.39	c nbDecision=355500 #constraints=4578
511.80/512.08	c nbDecision=356000 #constraints=4578
512.60/512.83	c nbDecision=356500 #constraints=4579
513.29/513.56	c nbDecision=357000 #constraints=4579
514.09/514.30	c nbDecision=357500 #constraints=4579
514.79/515.03	c nbDecision=358000 #constraints=4579
515.49/515.77	c nbDecision=358500 #constraints=4579
516.29/516.51	c nbDecision=359000 #constraints=4579
516.99/517.25	c nbDecision=359500 #constraints=4579
517.69/517.99	c nbDecision=360000 #constraints=4579
518.49/518.73	c nbDecision=360500 #constraints=4579
519.19/519.46	c nbDecision=361000 #constraints=4579
519.89/520.20	c nbDecision=361500 #constraints=4579
520.69/520.93	c nbDecision=362000 #constraints=4579
521.39/521.66	c nbDecision=362500 #constraints=4579
522.09/522.39	c nbDecision=363000 #constraints=4579
522.89/523.11	c nbDecision=363500 #constraints=4579
523.59/523.83	c nbDecision=364000 #constraints=4579
524.29/524.55	c nbDecision=364500 #constraints=4579
524.99/525.27	c nbDecision=365000 #constraints=4579
525.69/525.99	c nbDecision=365500 #constraints=4579
526.49/526.71	c nbDecision=366000 #constraints=4579
527.19/527.42	c nbDecision=366500 #constraints=4579
527.89/528.13	c nbDecision=367000 #constraints=4579
528.59/528.84	c nbDecision=367500 #constraints=4579
529.29/529.55	c nbDecision=368000 #constraints=4579
529.99/530.26	c nbDecision=368500 #constraints=4579
530.69/530.97	c nbDecision=369000 #constraints=4579
531.39/531.69	c nbDecision=369500 #constraints=4579
532.09/532.40	c nbDecision=370000 #constraints=4579
532.89/533.11	c nbDecision=370500 #constraints=4579
533.59/533.82	c nbDecision=371000 #constraints=4579
534.29/534.53	c nbDecision=371500 #constraints=4579
534.98/535.24	c nbDecision=372000 #constraints=4579
535.69/535.95	c nbDecision=372500 #constraints=4579
536.38/536.65	c nbDecision=373000 #constraints=4579
537.08/537.35	c nbDecision=373500 #constraints=4579
537.78/538.04	c nbDecision=374000 #constraints=4579
538.48/538.74	c nbDecision=374500 #constraints=4579
539.18/539.44	c nbDecision=375000 #constraints=4579
539.89/540.14	c nbDecision=375500 #constraints=4579
540.58/540.83	c nbDecision=376000 #constraints=4579
541.28/541.53	c nbDecision=376500 #constraints=4579
541.99/542.27	c nbDecision=377000 #constraints=4580
542.78/543.01	c nbDecision=377500 #constraints=4580
543.48/543.75	c nbDecision=378000 #constraints=4580
544.18/544.50	c nbDecision=378500 #constraints=4580
544.98/545.24	c nbDecision=379000 #constraints=4580
545.68/545.98	c nbDecision=379500 #constraints=4580
546.48/546.72	c nbDecision=380000 #constraints=4580
547.18/547.46	c nbDecision=380500 #constraints=4580
547.88/548.19	c nbDecision=381000 #constraints=4580
548.68/548.93	c nbDecision=381500 #constraints=4580
549.38/549.66	c nbDecision=382000 #constraints=4580
550.08/550.39	c nbDecision=382500 #constraints=4580
550.88/551.13	c nbDecision=383000 #constraints=4580
551.58/551.86	c nbDecision=383500 #constraints=4580
552.28/552.60	c nbDecision=384000 #constraints=4580
553.08/553.33	c nbDecision=384500 #constraints=4580
553.77/554.07	c nbDecision=385000 #constraints=4580
554.57/554.80	c nbDecision=385500 #constraints=4580
555.28/555.53	c nbDecision=386000 #constraints=4580
555.97/556.26	c nbDecision=386500 #constraints=4580
556.67/556.99	c nbDecision=387000 #constraints=4580
557.48/557.72	c nbDecision=387500 #constraints=4580
558.17/558.44	c nbDecision=388000 #constraints=4580
558.87/559.17	c nbDecision=388500 #constraints=4580
559.58/559.89	c nbDecision=389000 #constraints=4580
560.37/560.61	c nbDecision=389500 #constraints=4580
561.07/561.34	c nbDecision=390000 #constraints=4580
561.77/562.05	c nbDecision=390500 #constraints=4580
562.47/562.77	c nbDecision=391000 #constraints=4580
563.17/563.48	c nbDecision=391500 #constraints=4580
563.87/564.19	c nbDecision=392000 #constraints=4580
564.57/564.89	c nbDecision=392500 #constraints=4580
565.37/565.60	c nbDecision=393000 #constraints=4580
566.07/566.30	c nbDecision=393500 #constraints=4580
566.77/567.01	c nbDecision=394000 #constraints=4580
567.47/567.71	c nbDecision=394500 #constraints=4580
568.17/568.41	c nbDecision=395000 #constraints=4580
568.87/569.11	c nbDecision=395500 #constraints=4580
569.57/569.81	c nbDecision=396000 #constraints=4580
570.26/570.51	c nbDecision=396500 #constraints=4580
570.96/571.20	c nbDecision=397000 #constraints=4580
571.67/571.90	c nbDecision=397500 #constraints=4580
572.36/572.60	c nbDecision=398000 #constraints=4580
573.06/573.30	c nbDecision=398500 #constraints=4580
573.76/574.00	c nbDecision=399000 #constraints=4580
574.36/574.70	c nbDecision=399500 #constraints=4580
575.07/575.39	c nbDecision=400000 #constraints=4580
575.86/576.15	c nbDecision=400500 #constraints=4581
576.66/576.90	c nbDecision=401000 #constraints=4581
577.36/577.64	c nbDecision=401500 #constraints=4581
578.06/578.39	c nbDecision=402000 #constraints=4581
578.86/579.14	c nbDecision=402500 #constraints=4581
579.56/579.89	c nbDecision=403000 #constraints=4581
580.36/580.63	c nbDecision=403500 #constraints=4581
581.06/581.38	c nbDecision=404000 #constraints=4581
581.86/582.12	c nbDecision=404500 #constraints=4581
582.56/582.85	c nbDecision=405000 #constraints=4581
583.26/583.58	c nbDecision=405500 #constraints=4581
584.06/584.31	c nbDecision=406000 #constraints=4581
584.76/585.04	c nbDecision=406500 #constraints=4581
585.46/585.78	c nbDecision=407000 #constraints=4581
586.25/586.50	c nbDecision=407500 #constraints=4581
586.95/587.23	c nbDecision=408000 #constraints=4581
587.65/587.96	c nbDecision=408500 #constraints=4581
588.35/588.68	c nbDecision=409000 #constraints=4581
589.15/589.41	c nbDecision=409500 #constraints=4581
589.26/589.56	c restart after 409601 decisions
589.85/590.16	c nbDecision=410000 #constraints=4581
590.65/590.91	c nbDecision=410500 #constraints=4581
591.35/591.65	c nbDecision=411000 #constraints=4581
592.15/592.41	c nbDecision=411500 #constraints=4581
592.85/593.16	c nbDecision=412000 #constraints=4581
593.65/593.91	c nbDecision=412500 #constraints=4581
594.35/594.66	c nbDecision=413000 #constraints=4581
595.15/595.41	c nbDecision=413500 #constraints=4581
595.85/596.16	c nbDecision=414000 #constraints=4581
596.65/596.90	c nbDecision=414500 #constraints=4581
597.35/597.65	c nbDecision=415000 #constraints=4581
598.05/598.39	c nbDecision=415500 #constraints=4581
598.85/599.14	c nbDecision=416000 #constraints=4581
599.55/599.88	c nbDecision=416500 #constraints=4581
600.35/600.62	c nbDecision=417000 #constraints=4581
601.05/601.36	c nbDecision=417500 #constraints=4581
601.75/602.09	c nbDecision=418000 #constraints=4581
602.55/602.82	c nbDecision=418500 #constraints=4581
603.25/603.55	c nbDecision=419000 #constraints=4581
603.95/604.28	c nbDecision=419500 #constraints=4581
604.75/605.01	c nbDecision=420000 #constraints=4581
605.44/605.72	c nbDecision=420500 #constraints=4581
606.14/606.44	c nbDecision=421000 #constraints=4581
606.86/607.16	c nbDecision=421500 #constraints=4581
607.55/607.88	c nbDecision=422000 #constraints=4581
608.25/608.59	c nbDecision=422500 #constraints=4581
609.05/609.31	c nbDecision=423000 #constraints=4581
609.75/610.03	c nbDecision=423500 #constraints=4581
610.45/610.74	c nbDecision=424000 #constraints=4581
611.15/611.46	c nbDecision=424500 #constraints=4581
611.85/612.18	c nbDecision=425000 #constraints=4581
612.55/612.89	c nbDecision=425500 #constraints=4581
613.35/613.61	c nbDecision=426000 #constraints=4581
614.05/614.33	c nbDecision=426500 #constraints=4581
614.75/615.04	c nbDecision=427000 #constraints=4581
615.45/615.76	c nbDecision=427500 #constraints=4581
616.15/616.47	c nbDecision=428000 #constraints=4581
616.85/617.18	c nbDecision=428500 #constraints=4581
617.55/617.88	c nbDecision=429000 #constraints=4581
618.25/618.59	c nbDecision=429500 #constraints=4581
618.95/619.30	c nbDecision=430000 #constraints=4581
619.75/620.01	c nbDecision=430500 #constraints=4581
620.45/620.72	c nbDecision=431000 #constraints=4581
621.15/621.42	c nbDecision=431500 #constraints=4581
621.85/622.12	c nbDecision=432000 #constraints=4581
622.55/622.81	c nbDecision=432500 #constraints=4581
623.25/623.50	c nbDecision=433000 #constraints=4581
623.84/624.19	c nbDecision=433500 #constraints=4581
624.55/624.88	c nbDecision=434000 #constraints=4581
625.24/625.57	c nbDecision=434500 #constraints=4581
626.04/626.32	c nbDecision=435000 #constraints=4582
626.75/627.06	c nbDecision=435500 #constraints=4582
627.54/627.80	c nbDecision=436000 #constraints=4582
628.24/628.53	c nbDecision=436500 #constraints=4582
628.94/629.26	c nbDecision=437000 #constraints=4582
629.64/629.99	c nbDecision=437500 #constraints=4582
630.44/630.72	c nbDecision=438000 #constraints=4582
631.14/631.46	c nbDecision=438500 #constraints=4582
631.84/632.19	c nbDecision=439000 #constraints=4582
632.64/632.92	c nbDecision=439500 #constraints=4582
633.34/633.65	c nbDecision=440000 #constraints=4582
634.04/634.39	c nbDecision=440500 #constraints=4582
634.84/635.12	c nbDecision=441000 #constraints=4582
635.54/635.84	c nbDecision=441500 #constraints=4582
636.24/636.56	c nbDecision=442000 #constraints=4582
636.94/637.29	c nbDecision=442500 #constraints=4582
637.74/638.02	c nbDecision=443000 #constraints=4582
638.43/638.74	c nbDecision=443500 #constraints=4582
639.13/639.46	c nbDecision=444000 #constraints=4582
639.84/640.19	c nbDecision=444500 #constraints=4582
640.63/640.91	c nbDecision=445000 #constraints=4582
641.33/641.63	c nbDecision=445500 #constraints=4582
642.04/642.34	c nbDecision=446000 #constraints=4582
642.73/643.05	c nbDecision=446500 #constraints=4582
643.43/643.76	c nbDecision=447000 #constraints=4582
644.13/644.47	c nbDecision=447500 #constraints=4582
644.83/645.18	c nbDecision=448000 #constraints=4582
645.53/645.88	c nbDecision=448500 #constraints=4582
646.23/646.59	c nbDecision=449000 #constraints=4582
646.93/647.29	c nbDecision=449500 #constraints=4582
647.63/647.99	c nbDecision=450000 #constraints=4582
648.33/648.69	c nbDecision=450500 #constraints=4582
649.03/649.38	c nbDecision=451000 #constraints=4582
649.73/650.08	c nbDecision=451500 #constraints=4582
650.43/650.78	c nbDecision=452000 #constraints=4582
651.13/651.47	c nbDecision=452500 #constraints=4582
651.83/652.17	c nbDecision=453000 #constraints=4582
652.53/652.87	c nbDecision=453500 #constraints=4582
653.23/653.56	c nbDecision=454000 #constraints=4582
653.93/654.25	c nbDecision=454500 #constraints=4582
654.63/654.95	c nbDecision=455000 #constraints=4582
655.43/655.70	c nbDecision=455500 #constraints=4583
656.13/656.44	c nbDecision=456000 #constraints=4583
656.83/657.18	c nbDecision=456500 #constraints=4583
657.63/657.92	c nbDecision=457000 #constraints=4583
658.32/658.65	c nbDecision=457500 #constraints=4583
659.02/659.38	c nbDecision=458000 #constraints=4583
659.82/660.11	c nbDecision=458500 #constraints=4583
660.52/660.84	c nbDecision=459000 #constraints=4583
661.22/661.57	c nbDecision=459500 #constraints=4583
661.93/662.30	c nbDecision=460000 #constraints=4583
662.73/663.02	c nbDecision=460500 #constraints=4583
663.42/663.74	c nbDecision=461000 #constraints=4583
664.13/664.46	c nbDecision=461500 #constraints=4583
664.82/665.17	c nbDecision=462000 #constraints=4583
665.52/665.89	c nbDecision=462500 #constraints=4583
666.23/666.60	c nbDecision=463000 #constraints=4583
667.02/667.31	c nbDecision=463500 #constraints=4583
667.72/668.03	c nbDecision=464000 #constraints=4583
668.42/668.74	c nbDecision=464500 #constraints=4583
669.12/669.45	c nbDecision=465000 #constraints=4583
669.82/670.15	c nbDecision=465500 #constraints=4583
670.52/670.86	c nbDecision=466000 #constraints=4583
671.22/671.56	c nbDecision=466500 #constraints=4583
671.92/672.27	c nbDecision=467000 #constraints=4583
672.62/672.98	c nbDecision=467500 #constraints=4583
673.32/673.69	c nbDecision=468000 #constraints=4583
674.02/674.40	c nbDecision=468500 #constraints=4583
674.82/675.10	c nbDecision=469000 #constraints=4583
675.52/675.80	c nbDecision=469500 #constraints=4583
676.22/676.51	c nbDecision=470000 #constraints=4583
676.92/677.21	c nbDecision=470500 #constraints=4583
677.62/677.91	c nbDecision=471000 #constraints=4583
678.32/678.61	c nbDecision=471500 #constraints=4583
679.01/679.30	c nbDecision=472000 #constraints=4583
679.71/680.00	c nbDecision=472500 #constraints=4583
680.41/680.73	c nbDecision=473000 #constraints=4584
681.11/681.48	c nbDecision=473500 #constraints=4584
681.91/682.22	c nbDecision=474000 #constraints=4584
682.61/682.96	c nbDecision=474500 #constraints=4584
683.31/683.68	c nbDecision=475000 #constraints=4584
684.11/684.41	c nbDecision=475500 #constraints=4584
684.81/685.15	c nbDecision=476000 #constraints=4584
685.51/685.88	c nbDecision=476500 #constraints=4584
686.31/686.61	c nbDecision=477000 #constraints=4584
687.01/687.34	c nbDecision=477500 #constraints=4584
687.71/688.07	c nbDecision=478000 #constraints=4584
688.41/688.79	c nbDecision=478500 #constraints=4584
689.21/689.51	c nbDecision=479000 #constraints=4584
689.91/690.23	c nbDecision=479500 #constraints=4584
690.61/690.96	c nbDecision=480000 #constraints=4584
691.31/691.67	c nbDecision=480500 #constraints=4584
692.11/692.40	c nbDecision=481000 #constraints=4584
692.81/693.12	c nbDecision=481500 #constraints=4584
693.51/693.85	c nbDecision=482000 #constraints=4584
694.21/694.57	c nbDecision=482500 #constraints=4584
694.91/695.29	c nbDecision=483000 #constraints=4584
695.71/696.02	c nbDecision=483500 #constraints=4584
696.41/696.73	c nbDecision=484000 #constraints=4584
697.11/697.45	c nbDecision=484500 #constraints=4584
697.81/698.17	c nbDecision=485000 #constraints=4584
698.51/698.88	c nbDecision=485500 #constraints=4584
699.21/699.60	c nbDecision=486000 #constraints=4584
700.00/700.31	c nbDecision=486500 #constraints=4584
700.70/701.02	c nbDecision=487000 #constraints=4584
701.41/701.72	c nbDecision=487500 #constraints=4584
702.10/702.43	c nbDecision=488000 #constraints=4584
702.80/703.13	c nbDecision=488500 #constraints=4584
703.50/703.83	c nbDecision=489000 #constraints=4584
704.20/704.52	c nbDecision=489500 #constraints=4584
704.90/705.22	c nbDecision=490000 #constraints=4584
705.60/705.91	c nbDecision=490500 #constraints=4584
706.30/706.60	c nbDecision=491000 #constraints=4584
706.91/707.29	c nbDecision=491500 #constraints=4584
707.60/707.98	c nbDecision=492000 #constraints=4584
708.30/708.67	c nbDecision=492500 #constraints=4584
709.01/709.35	c nbDecision=493000 #constraints=4584
709.81/710.10	c nbDecision=493500 #constraints=4585
710.51/710.84	c nbDecision=494000 #constraints=4585
711.21/711.57	c nbDecision=494500 #constraints=4585
712.01/712.31	c nbDecision=495000 #constraints=4585
712.71/713.05	c nbDecision=495500 #constraints=4585
713.41/713.79	c nbDecision=496000 #constraints=4585
714.21/714.53	c nbDecision=496500 #constraints=4585
714.91/715.27	c nbDecision=497000 #constraints=4585
715.71/716.01	c nbDecision=497500 #constraints=4585
716.41/716.74	c nbDecision=498000 #constraints=4585
717.11/717.48	c nbDecision=498500 #constraints=4585
717.91/718.21	c nbDecision=499000 #constraints=4585
718.61/718.94	c nbDecision=499500 #constraints=4585
719.31/719.66	c nbDecision=500000 #constraints=4585
720.00/720.39	c nbDecision=500500 #constraints=4585
720.80/721.12	c nbDecision=501000 #constraints=4585
721.50/721.84	c nbDecision=501500 #constraints=4585
722.20/722.56	c nbDecision=502000 #constraints=4585
722.90/723.28	c nbDecision=502500 #constraints=4585
723.61/724.00	c nbDecision=503000 #constraints=4585
724.40/724.71	c nbDecision=503500 #constraints=4585
725.10/725.42	c nbDecision=504000 #constraints=4585
725.80/726.14	c nbDecision=504500 #constraints=4585
726.50/726.84	c nbDecision=505000 #constraints=4585
727.20/727.55	c nbDecision=505500 #constraints=4585
727.91/728.25	c nbDecision=506000 #constraints=4585
728.60/728.96	c nbDecision=506500 #constraints=4585
729.30/729.67	c nbDecision=507000 #constraints=4585
730.00/730.37	c nbDecision=507500 #constraints=4585
730.70/731.07	c nbDecision=508000 #constraints=4585
731.40/731.77	c nbDecision=508500 #constraints=4585
732.10/732.48	c nbDecision=509000 #constraints=4585
732.80/733.19	c nbDecision=509500 #constraints=4585
733.50/733.89	c nbDecision=510000 #constraints=4585
734.20/734.59	c nbDecision=510500 #constraints=4585
734.90/735.29	c nbDecision=511000 #constraints=4585
735.60/735.99	c nbDecision=511500 #constraints=4585
736.30/736.69	c nbDecision=512000 #constraints=4585
737.00/737.39	c nbDecision=512500 #constraints=4585
737.70/738.09	c nbDecision=513000 #constraints=4585
738.40/738.78	c nbDecision=513500 #constraints=4585
739.20/739.56	c nbDecision=514000 #constraints=4586
740.00/740.31	c nbDecision=514500 #constraints=4586
740.69/741.04	c nbDecision=515000 #constraints=4586
741.39/741.79	c nbDecision=515500 #constraints=4586
742.20/742.53	c nbDecision=516000 #constraints=4586
742.89/743.27	c nbDecision=516500 #constraints=4586
743.69/744.01	c nbDecision=517000 #constraints=4586
744.40/744.75	c nbDecision=517500 #constraints=4586
745.09/745.48	c nbDecision=518000 #constraints=4586
745.89/746.22	c nbDecision=518500 #constraints=4586
746.60/746.95	c nbDecision=519000 #constraints=4586
747.29/747.69	c nbDecision=519500 #constraints=4586
748.09/748.42	c nbDecision=520000 #constraints=4586
748.80/749.15	c nbDecision=520500 #constraints=4586
749.49/749.87	c nbDecision=521000 #constraints=4586
750.29/750.60	c nbDecision=521500 #constraints=4586
750.99/751.33	c nbDecision=522000 #constraints=4586
751.69/752.06	c nbDecision=522500 #constraints=4586
752.39/752.79	c nbDecision=523000 #constraints=4586
753.19/753.51	c nbDecision=523500 #constraints=4586
753.89/754.24	c nbDecision=524000 #constraints=4586
754.59/754.97	c nbDecision=524500 #constraints=4586
755.29/755.69	c nbDecision=525000 #constraints=4586
756.09/756.42	c nbDecision=525500 #constraints=4586
756.79/757.14	c nbDecision=526000 #constraints=4586
757.49/757.86	c nbDecision=526500 #constraints=4586
758.19/758.58	c nbDecision=527000 #constraints=4586
758.99/759.30	c nbDecision=527500 #constraints=4586
759.69/760.02	c nbDecision=528000 #constraints=4586
760.39/760.73	c nbDecision=528500 #constraints=4586
761.08/761.45	c nbDecision=529000 #constraints=4586
761.78/762.16	c nbDecision=529500 #constraints=4586
762.48/762.86	c nbDecision=530000 #constraints=4586
763.18/763.57	c nbDecision=530500 #constraints=4586
763.88/764.27	c nbDecision=531000 #constraints=4586
764.58/764.97	c nbDecision=531500 #constraints=4586
765.29/765.67	c nbDecision=532000 #constraints=4586
765.98/766.37	c nbDecision=532500 #constraints=4586
766.68/767.07	c nbDecision=533000 #constraints=4586
767.38/767.77	c nbDecision=533500 #constraints=4586
768.08/768.46	c nbDecision=534000 #constraints=4586
768.78/769.16	c nbDecision=534500 #constraints=4586
769.48/769.85	c nbDecision=535000 #constraints=4586
770.18/770.54	c nbDecision=535500 #constraints=4586
770.88/771.23	c nbDecision=536000 #constraints=4586
771.58/771.92	c nbDecision=536500 #constraints=4586
772.28/772.68	c nbDecision=537000 #constraints=4587
773.08/773.43	c nbDecision=537500 #constraints=4587
773.78/774.18	c nbDecision=538000 #constraints=4587
774.58/774.93	c nbDecision=538500 #constraints=4587
775.28/775.68	c nbDecision=539000 #constraints=4587
776.08/776.42	c nbDecision=539500 #constraints=4587
776.78/777.17	c nbDecision=540000 #constraints=4587
777.58/777.91	c nbDecision=540500 #constraints=4587
778.28/778.66	c nbDecision=541000 #constraints=4587
779.08/779.40	c nbDecision=541500 #constraints=4587
779.78/780.14	c nbDecision=542000 #constraints=4587
780.48/780.88	c nbDecision=542500 #constraints=4587
781.28/781.62	c nbDecision=543000 #constraints=4587
781.97/782.35	c nbDecision=543500 #constraints=4587
782.67/783.08	c nbDecision=544000 #constraints=4587
783.47/783.81	c nbDecision=544500 #constraints=4587
784.17/784.53	c nbDecision=545000 #constraints=4587
784.87/785.26	c nbDecision=545500 #constraints=4587
785.57/785.98	c nbDecision=546000 #constraints=4587
786.37/786.70	c nbDecision=546500 #constraints=4587
787.07/787.43	c nbDecision=547000 #constraints=4587
787.77/788.14	c nbDecision=547500 #constraints=4587
788.47/788.86	c nbDecision=548000 #constraints=4587
789.17/789.58	c nbDecision=548500 #constraints=4587
789.87/790.30	c nbDecision=549000 #constraints=4587
790.67/791.00	c nbDecision=549500 #constraints=4587
791.37/791.72	c nbDecision=550000 #constraints=4587
792.07/792.43	c nbDecision=550500 #constraints=4587
792.77/793.15	c nbDecision=551000 #constraints=4587
793.47/793.87	c nbDecision=551500 #constraints=4587
794.17/794.58	c nbDecision=552000 #constraints=4587
794.87/795.30	c nbDecision=552500 #constraints=4587
795.67/796.01	c nbDecision=553000 #constraints=4587
796.37/796.72	c nbDecision=553500 #constraints=4587
797.07/797.43	c nbDecision=554000 #constraints=4587
797.77/798.14	c nbDecision=554500 #constraints=4587
798.47/798.84	c nbDecision=555000 #constraints=4587
799.17/799.55	c nbDecision=555500 #constraints=4587
799.87/800.25	c nbDecision=556000 #constraints=4587
800.57/800.96	c nbDecision=556500 #constraints=4587
801.27/801.66	c nbDecision=557000 #constraints=4587
801.97/802.35	c nbDecision=557500 #constraints=4587
802.67/803.04	c nbDecision=558000 #constraints=4587
803.37/803.73	c nbDecision=558500 #constraints=4587
804.07/804.42	c nbDecision=559000 #constraints=4587
804.78/805.11	c nbDecision=559500 #constraints=4587
805.47/805.88	c nbDecision=560000 #constraints=4588
806.27/806.62	c nbDecision=560500 #constraints=4588
806.98/807.36	c nbDecision=561000 #constraints=4588
807.77/808.11	c nbDecision=561500 #constraints=4588
808.47/808.85	c nbDecision=562000 #constraints=4588
809.17/809.59	c nbDecision=562500 #constraints=4588
809.97/810.33	c nbDecision=563000 #constraints=4588
810.67/811.06	c nbDecision=563500 #constraints=4588
811.37/811.80	c nbDecision=564000 #constraints=4588
812.17/812.54	c nbDecision=564500 #constraints=4588
812.87/813.28	c nbDecision=565000 #constraints=4588
813.67/814.02	c nbDecision=565500 #constraints=4588
814.37/814.76	c nbDecision=566000 #constraints=4588
815.07/815.50	c nbDecision=566500 #constraints=4588
815.87/816.23	c nbDecision=567000 #constraints=4588
816.57/816.96	c nbDecision=567500 #constraints=4588
817.27/817.69	c nbDecision=568000 #constraints=4588
818.07/818.42	c nbDecision=568500 #constraints=4588
818.77/819.15	c nbDecision=569000 #constraints=4588
819.47/819.88	c nbDecision=569500 #constraints=4588
820.27/820.61	c nbDecision=570000 #constraints=4588
820.97/821.34	c nbDecision=570500 #constraints=4588
821.67/822.06	c nbDecision=571000 #constraints=4588
822.37/822.78	c nbDecision=571500 #constraints=4588
823.06/823.49	c nbDecision=572000 #constraints=4588
823.86/824.21	c nbDecision=572500 #constraints=4588
824.57/824.92	c nbDecision=573000 #constraints=4588
825.26/825.64	c nbDecision=573500 #constraints=4588
825.96/826.35	c nbDecision=574000 #constraints=4588
826.66/827.06	c nbDecision=574500 #constraints=4588
827.36/827.77	c nbDecision=575000 #constraints=4588
828.06/828.47	c nbDecision=575500 #constraints=4588
828.76/829.18	c nbDecision=576000 #constraints=4588
829.46/829.88	c nbDecision=576500 #constraints=4588
830.17/830.58	c nbDecision=577000 #constraints=4588
830.86/831.28	c nbDecision=577500 #constraints=4588
831.56/831.98	c nbDecision=578000 #constraints=4588
832.26/832.69	c nbDecision=578500 #constraints=4588
832.96/833.39	c nbDecision=579000 #constraints=4588
833.66/834.09	c nbDecision=579500 #constraints=4588
834.36/834.80	c nbDecision=580000 #constraints=4588
835.06/835.49	c nbDecision=580500 #constraints=4588
835.76/836.19	c nbDecision=581000 #constraints=4588
836.46/836.89	c nbDecision=581500 #constraints=4588
837.16/837.58	c nbDecision=582000 #constraints=4588
837.86/838.28	c nbDecision=582500 #constraints=4588
838.66/839.03	c nbDecision=583000 #constraints=4589
839.36/839.78	c nbDecision=583500 #constraints=4589
840.16/840.52	c nbDecision=584000 #constraints=4589
840.86/841.27	c nbDecision=584500 #constraints=4589
841.66/842.01	c nbDecision=585000 #constraints=4589
842.36/842.74	c nbDecision=585500 #constraints=4589
843.06/843.47	c nbDecision=586000 #constraints=4589
843.85/844.20	c nbDecision=586500 #constraints=4589
844.55/844.93	c nbDecision=587000 #constraints=4589
845.25/845.66	c nbDecision=587500 #constraints=4589
845.95/846.38	c nbDecision=588000 #constraints=4589
846.75/847.11	c nbDecision=588500 #constraints=4589
847.45/847.83	c nbDecision=589000 #constraints=4589
848.15/848.56	c nbDecision=589500 #constraints=4589
848.85/849.28	c nbDecision=590000 #constraints=4589
849.65/850.00	c nbDecision=590500 #constraints=4589
850.35/850.72	c nbDecision=591000 #constraints=4589
851.05/851.44	c nbDecision=591500 #constraints=4589
851.75/852.16	c nbDecision=592000 #constraints=4589
852.45/852.87	c nbDecision=592500 #constraints=4589
853.15/853.60	c nbDecision=593000 #constraints=4589
853.95/854.32	c nbDecision=593500 #constraints=4589
854.65/855.03	c nbDecision=594000 #constraints=4589
855.35/855.75	c nbDecision=594500 #constraints=4589
856.05/856.47	c nbDecision=595000 #constraints=4589
856.75/857.18	c nbDecision=595500 #constraints=4589
857.45/857.89	c nbDecision=596000 #constraints=4589
858.25/858.60	c nbDecision=596500 #constraints=4589
858.95/859.31	c nbDecision=597000 #constraints=4589
859.65/860.02	c nbDecision=597500 #constraints=4589
860.35/860.72	c nbDecision=598000 #constraints=4589
861.05/861.43	c nbDecision=598500 #constraints=4589
861.75/862.13	c nbDecision=599000 #constraints=4589
862.45/862.83	c nbDecision=599500 #constraints=4589
863.15/863.52	c nbDecision=600000 #constraints=4589
863.85/864.22	c nbDecision=600500 #constraints=4589
864.54/864.91	c nbDecision=601000 #constraints=4589
865.14/865.60	c nbDecision=601500 #constraints=4589
865.84/866.29	c nbDecision=602000 #constraints=4589
866.54/866.98	c nbDecision=602500 #constraints=4589
867.34/867.72	c nbDecision=603000 #constraints=4590
868.04/868.46	c nbDecision=603500 #constraints=4590
868.84/869.21	c nbDecision=604000 #constraints=4590
869.54/869.95	c nbDecision=604500 #constraints=4590
870.24/870.69	c nbDecision=605000 #constraints=4590
871.04/871.43	c nbDecision=605500 #constraints=4590
871.74/872.17	c nbDecision=606000 #constraints=4590
872.54/872.91	c nbDecision=606500 #constraints=4590
873.24/873.66	c nbDecision=607000 #constraints=4590
874.04/874.41	c nbDecision=607500 #constraints=4590
874.74/875.15	c nbDecision=608000 #constraints=4590
875.44/875.89	c nbDecision=608500 #constraints=4590
876.24/876.63	c nbDecision=609000 #constraints=4590
876.94/877.36	c nbDecision=609500 #constraints=4590
877.74/878.10	c nbDecision=610000 #constraints=4590
878.44/878.83	c nbDecision=610500 #constraints=4590
879.14/879.57	c nbDecision=611000 #constraints=4590
879.94/880.30	c nbDecision=611500 #constraints=4590
880.64/881.03	c nbDecision=612000 #constraints=4590
881.34/881.76	c nbDecision=612500 #constraints=4590
882.03/882.48	c nbDecision=613000 #constraints=4590
882.84/883.20	c nbDecision=613500 #constraints=4590
883.53/883.92	c nbDecision=614000 #constraints=4590
884.23/884.64	c nbDecision=614500 #constraints=4590
884.93/885.36	c nbDecision=615000 #constraints=4590
885.63/886.07	c nbDecision=615500 #constraints=4590
886.33/886.79	c nbDecision=616000 #constraints=4590
887.13/887.50	c nbDecision=616500 #constraints=4590
887.83/888.21	c nbDecision=617000 #constraints=4590
888.53/888.92	c nbDecision=617500 #constraints=4590
889.23/889.63	c nbDecision=618000 #constraints=4590
889.93/890.33	c nbDecision=618500 #constraints=4590
890.64/891.04	c nbDecision=619000 #constraints=4590
891.33/891.74	c nbDecision=619500 #constraints=4590
892.03/892.45	c nbDecision=620000 #constraints=4590
892.73/893.16	c nbDecision=620500 #constraints=4590
893.43/893.86	c nbDecision=621000 #constraints=4590
894.13/894.56	c nbDecision=621500 #constraints=4590
894.83/895.27	c nbDecision=622000 #constraints=4590
895.53/895.97	c nbDecision=622500 #constraints=4590
896.23/896.66	c nbDecision=623000 #constraints=4590
896.93/897.37	c nbDecision=623500 #constraints=4590
897.63/898.06	c nbDecision=624000 #constraints=4590
898.33/898.76	c nbDecision=624500 #constraints=4590
899.03/899.46	c nbDecision=625000 #constraints=4590
899.73/900.15	c nbDecision=625500 #constraints=4590
900.53/900.91	c nbDecision=626000 #constraints=4591
901.23/901.64	c nbDecision=626500 #constraints=4591
901.93/902.38	c nbDecision=627000 #constraints=4591
902.73/903.11	c nbDecision=627500 #constraints=4591
903.43/903.83	c nbDecision=628000 #constraints=4591
904.13/904.56	c nbDecision=628500 #constraints=4591
904.83/905.29	c nbDecision=629000 #constraints=4591
905.62/906.02	c nbDecision=629500 #constraints=4591
906.32/906.75	c nbDecision=630000 #constraints=4591
907.03/907.47	c nbDecision=630500 #constraints=4591
907.72/908.19	c nbDecision=631000 #constraints=4591
908.53/908.91	c nbDecision=631500 #constraints=4591
909.23/909.63	c nbDecision=632000 #constraints=4591
909.93/910.35	c nbDecision=632500 #constraints=4591
910.63/911.07	c nbDecision=633000 #constraints=4591
911.33/911.79	c nbDecision=633500 #constraints=4591
912.13/912.51	c nbDecision=634000 #constraints=4591
912.83/913.23	c nbDecision=634500 #constraints=4591
913.53/913.95	c nbDecision=635000 #constraints=4591
914.23/914.67	c nbDecision=635500 #constraints=4591
914.93/915.39	c nbDecision=636000 #constraints=4591
915.73/916.11	c nbDecision=636500 #constraints=4591
916.43/916.82	c nbDecision=637000 #constraints=4591
917.13/917.54	c nbDecision=637500 #constraints=4591
917.83/918.25	c nbDecision=638000 #constraints=4591
918.53/918.96	c nbDecision=638500 #constraints=4591
919.23/919.67	c nbDecision=639000 #constraints=4591
919.93/920.38	c nbDecision=639500 #constraints=4591
920.63/921.09	c nbDecision=640000 #constraints=4591
921.33/921.80	c nbDecision=640500 #constraints=4591
922.13/922.50	c nbDecision=641000 #constraints=4591
922.73/923.19	c nbDecision=641500 #constraints=4591
923.42/923.89	c nbDecision=642000 #constraints=4591
924.12/924.58	c nbDecision=642500 #constraints=4591
924.82/925.28	c nbDecision=643000 #constraints=4591
925.52/925.97	c nbDecision=643500 #constraints=4591
926.22/926.66	c nbDecision=644000 #constraints=4591
926.93/927.34	c nbDecision=644500 #constraints=4591
927.62/928.08	c nbDecision=645000 #constraints=4592
928.42/928.81	c nbDecision=645500 #constraints=4592
929.12/929.55	c nbDecision=646000 #constraints=4592
929.82/930.29	c nbDecision=646500 #constraints=4592
930.62/931.03	c nbDecision=647000 #constraints=4592
931.32/931.76	c nbDecision=647500 #constraints=4592
932.12/932.51	c nbDecision=648000 #constraints=4592
932.82/933.25	c nbDecision=648500 #constraints=4592
933.52/933.99	c nbDecision=649000 #constraints=4592
934.32/934.73	c nbDecision=649500 #constraints=4592
935.02/935.47	c nbDecision=650000 #constraints=4592
935.82/936.21	c nbDecision=650500 #constraints=4592
936.52/936.94	c nbDecision=651000 #constraints=4592
937.22/937.68	c nbDecision=651500 #constraints=4592
938.02/938.41	c nbDecision=652000 #constraints=4592
938.71/939.14	c nbDecision=652500 #constraints=4592
939.41/939.87	c nbDecision=653000 #constraints=4592
940.12/940.59	c nbDecision=653500 #constraints=4592
940.91/941.32	c nbDecision=654000 #constraints=4592
941.61/942.05	c nbDecision=654500 #constraints=4592
942.32/942.77	c nbDecision=655000 #constraints=4592
943.01/943.48	c nbDecision=655500 #constraints=4592
943.71/944.19	c nbDecision=656000 #constraints=4592
944.51/944.90	c nbDecision=656500 #constraints=4592
945.21/945.62	c nbDecision=657000 #constraints=4592
945.91/946.33	c nbDecision=657500 #constraints=4592
946.61/947.04	c nbDecision=658000 #constraints=4592
947.31/947.75	c nbDecision=658500 #constraints=4592
948.01/948.46	c nbDecision=659000 #constraints=4592
948.71/949.17	c nbDecision=659500 #constraints=4592
949.41/949.87	c nbDecision=660000 #constraints=4592
950.11/950.58	c nbDecision=660500 #constraints=4592
950.81/951.28	c nbDecision=661000 #constraints=4592
951.51/951.98	c nbDecision=661500 #constraints=4592
952.21/952.69	c nbDecision=662000 #constraints=4592
952.91/953.40	c nbDecision=662500 #constraints=4592
953.71/954.10	c nbDecision=663000 #constraints=4592
954.41/954.80	c nbDecision=663500 #constraints=4592
955.11/955.51	c nbDecision=664000 #constraints=4592
955.81/956.21	c nbDecision=664500 #constraints=4592
956.51/956.91	c nbDecision=665000 #constraints=4592
957.21/957.60	c nbDecision=665500 #constraints=4592
957.80/958.29	c nbDecision=666000 #constraints=4592
958.50/958.99	c nbDecision=666500 #constraints=4592
959.30/959.76	c nbDecision=667000 #constraints=4593
960.00/960.49	c nbDecision=667500 #constraints=4593
960.80/961.24	c nbDecision=668000 #constraints=4593
961.50/961.98	c nbDecision=668500 #constraints=4593
962.30/962.72	c nbDecision=669000 #constraints=4593
963.00/963.46	c nbDecision=669500 #constraints=4593
963.70/964.19	c nbDecision=670000 #constraints=4593
964.50/964.93	c nbDecision=670500 #constraints=4593
965.20/965.66	c nbDecision=671000 #constraints=4593
965.90/966.39	c nbDecision=671500 #constraints=4593
966.70/967.13	c nbDecision=672000 #constraints=4593
967.40/967.85	c nbDecision=672500 #constraints=4593
968.10/968.58	c nbDecision=673000 #constraints=4593
968.90/969.31	c nbDecision=673500 #constraints=4593
969.60/970.04	c nbDecision=674000 #constraints=4593
970.30/970.76	c nbDecision=674500 #constraints=4593
971.00/971.48	c nbDecision=675000 #constraints=4593
971.80/972.21	c nbDecision=675500 #constraints=4593
972.50/972.93	c nbDecision=676000 #constraints=4593
973.20/973.66	c nbDecision=676500 #constraints=4593
973.90/974.39	c nbDecision=677000 #constraints=4593
974.70/975.11	c nbDecision=677500 #constraints=4593
975.40/975.83	c nbDecision=678000 #constraints=4593
976.09/976.55	c nbDecision=678500 #constraints=4593
976.79/977.26	c nbDecision=679000 #constraints=4593
977.50/977.98	c nbDecision=679500 #constraints=4593
978.29/978.70	c nbDecision=680000 #constraints=4593
978.99/979.41	c nbDecision=680500 #constraints=4593
979.70/980.13	c nbDecision=681000 #constraints=4593
980.39/980.84	c nbDecision=681500 #constraints=4593
981.09/981.56	c nbDecision=682000 #constraints=4593
981.80/982.26	c nbDecision=682500 #constraints=4593
982.49/982.97	c nbDecision=683000 #constraints=4593
983.19/983.66	c nbDecision=683500 #constraints=4593
983.89/984.36	c nbDecision=684000 #constraints=4593
984.59/985.06	c nbDecision=684500 #constraints=4593
985.29/985.76	c nbDecision=685000 #constraints=4593
985.99/986.46	c nbDecision=685500 #constraints=4593
986.69/987.15	c nbDecision=686000 #constraints=4593
987.39/987.85	c nbDecision=686500 #constraints=4593
988.09/988.54	c nbDecision=687000 #constraints=4593
988.80/989.22	c nbDecision=687500 #constraints=4593
989.50/989.91	c nbDecision=688000 #constraints=4593
990.20/990.63	c nbDecision=688500 #constraints=4594
990.90/991.37	c nbDecision=689000 #constraints=4594
991.70/992.11	c nbDecision=689500 #constraints=4594
992.40/992.85	c nbDecision=690000 #constraints=4594
993.10/993.59	c nbDecision=690500 #constraints=4594
993.90/994.33	c nbDecision=691000 #constraints=4594
994.59/995.06	c nbDecision=691500 #constraints=4594
995.39/995.80	c nbDecision=692000 #constraints=4594
996.10/996.53	c nbDecision=692500 #constraints=4594
996.79/997.27	c nbDecision=693000 #constraints=4594
997.59/998.00	c nbDecision=693500 #constraints=4594
998.30/998.73	c nbDecision=694000 #constraints=4594
998.99/999.46	c nbDecision=694500 #constraints=4594
999.69/1000.19	c nbDecision=695000 #constraints=4594
1000.49/1000.91	c nbDecision=695500 #constraints=4594
1001.19/1001.64	c nbDecision=696000 #constraints=4594
1001.89/1002.36	c nbDecision=696500 #constraints=4594
1002.59/1003.08	c nbDecision=697000 #constraints=4594
1003.29/1003.79	c nbDecision=697500 #constraints=4594
1004.09/1004.50	c nbDecision=698000 #constraints=4594
1004.79/1005.22	c nbDecision=698500 #constraints=4594
1005.49/1005.93	c nbDecision=699000 #constraints=4594
1006.19/1006.64	c nbDecision=699500 #constraints=4594
1006.89/1007.34	c nbDecision=700000 #constraints=4594
1007.59/1008.05	c nbDecision=700500 #constraints=4594
1008.29/1008.76	c nbDecision=701000 #constraints=4594
1008.98/1009.46	c nbDecision=701500 #constraints=4594
1009.68/1010.16	c nbDecision=702000 #constraints=4594
1010.39/1010.87	c nbDecision=702500 #constraints=4594
1011.08/1011.57	c nbDecision=703000 #constraints=4594
1011.78/1012.27	c nbDecision=703500 #constraints=4594
1012.48/1012.97	c nbDecision=704000 #constraints=4594
1013.18/1013.68	c nbDecision=704500 #constraints=4594
1013.88/1014.38	c nbDecision=705000 #constraints=4594
1014.58/1015.08	c nbDecision=705500 #constraints=4594
1015.28/1015.78	c nbDecision=706000 #constraints=4594
1015.98/1016.48	c nbDecision=706500 #constraints=4594
1016.68/1017.17	c nbDecision=707000 #constraints=4594
1017.38/1017.87	c nbDecision=707500 #constraints=4594
1018.18/1018.65	c nbDecision=708000 #constraints=4595
1018.98/1019.40	c nbDecision=708500 #constraints=4595
1019.68/1020.15	c nbDecision=709000 #constraints=4595
1020.38/1020.89	c nbDecision=709500 #constraints=4595
1021.18/1021.64	c nbDecision=710000 #constraints=4595
1021.88/1022.38	c nbDecision=710500 #constraints=4595
1022.68/1023.11	c nbDecision=711000 #constraints=4595
1023.38/1023.85	c nbDecision=711500 #constraints=4595
1024.08/1024.58	c nbDecision=712000 #constraints=4595
1024.87/1025.31	c nbDecision=712500 #constraints=4595
1025.57/1026.04	c nbDecision=713000 #constraints=4595
1026.27/1026.77	c nbDecision=713500 #constraints=4595
1027.07/1027.50	c nbDecision=714000 #constraints=4595
1027.77/1028.22	c nbDecision=714500 #constraints=4595
1028.47/1028.94	c nbDecision=715000 #constraints=4595
1029.18/1029.67	c nbDecision=715500 #constraints=4595
1029.87/1030.39	c nbDecision=716000 #constraints=4595
1030.67/1031.11	c nbDecision=716500 #constraints=4595
1031.38/1031.83	c nbDecision=717000 #constraints=4595
1032.07/1032.56	c nbDecision=717500 #constraints=4595
1032.77/1033.28	c nbDecision=718000 #constraints=4595
1033.58/1034.01	c nbDecision=718500 #constraints=4595
1034.27/1034.73	c nbDecision=719000 #constraints=4595
1034.97/1035.45	c nbDecision=719500 #constraints=4595
1035.67/1036.17	c nbDecision=720000 #constraints=4595
1036.37/1036.89	c nbDecision=720500 #constraints=4595
1037.17/1037.60	c nbDecision=721000 #constraints=4595
1037.87/1038.32	c nbDecision=721500 #constraints=4595
1038.57/1039.03	c nbDecision=722000 #constraints=4595
1039.27/1039.75	c nbDecision=722500 #constraints=4595
1039.97/1040.46	c nbDecision=723000 #constraints=4595
1040.67/1041.17	c nbDecision=723500 #constraints=4595
1041.37/1041.88	c nbDecision=724000 #constraints=4595
1042.07/1042.58	c nbDecision=724500 #constraints=4595
1042.77/1043.28	c nbDecision=725000 #constraints=4595
1043.47/1043.98	c nbDecision=725500 #constraints=4595
1044.17/1044.67	c nbDecision=726000 #constraints=4595
1044.87/1045.37	c nbDecision=726500 #constraints=4595
1045.57/1046.07	c nbDecision=727000 #constraints=4595
1046.26/1046.76	c nbDecision=727500 #constraints=4595
1046.96/1047.45	c nbDecision=728000 #constraints=4595
1047.66/1048.14	c nbDecision=728500 #constraints=4595
1048.36/1048.83	c nbDecision=729000 #constraints=4595
1049.06/1049.58	c nbDecision=729500 #constraints=4596
1049.86/1050.32	c nbDecision=730000 #constraints=4596
1050.56/1051.06	c nbDecision=730500 #constraints=4596
1051.36/1051.80	c nbDecision=731000 #constraints=4596
1052.06/1052.54	c nbDecision=731500 #constraints=4596
1052.76/1053.28	c nbDecision=732000 #constraints=4596
1053.56/1054.02	c nbDecision=732500 #constraints=4596
1054.26/1054.77	c nbDecision=733000 #constraints=4596
1055.06/1055.51	c nbDecision=733500 #constraints=4596
1055.76/1056.25	c nbDecision=734000 #constraints=4596
1056.46/1056.99	c nbDecision=734500 #constraints=4596
1057.26/1057.72	c nbDecision=735000 #constraints=4596
1057.96/1058.47	c nbDecision=735500 #constraints=4596
1058.66/1059.20	c nbDecision=736000 #constraints=4596
1059.46/1059.93	c nbDecision=736500 #constraints=4596
1060.16/1060.66	c nbDecision=737000 #constraints=4596
1060.86/1061.39	c nbDecision=737500 #constraints=4596
1061.66/1062.12	c nbDecision=738000 #constraints=4596
1062.36/1062.84	c nbDecision=738500 #constraints=4596
1063.06/1063.56	c nbDecision=739000 #constraints=4596
1063.76/1064.28	c nbDecision=739500 #constraints=4596
1064.46/1065.00	c nbDecision=740000 #constraints=4596
1065.26/1065.71	c nbDecision=740500 #constraints=4596
1065.95/1066.43	c nbDecision=741000 #constraints=4596
1066.65/1067.14	c nbDecision=741500 #constraints=4596
1067.35/1067.85	c nbDecision=742000 #constraints=4596
1068.05/1068.56	c nbDecision=742500 #constraints=4596
1068.76/1069.27	c nbDecision=743000 #constraints=4596
1069.45/1069.98	c nbDecision=743500 #constraints=4596
1070.15/1070.69	c nbDecision=744000 #constraints=4596
1070.86/1071.39	c nbDecision=744500 #constraints=4596
1071.55/1072.10	c nbDecision=745000 #constraints=4596
1072.35/1072.80	c nbDecision=745500 #constraints=4596
1073.06/1073.51	c nbDecision=746000 #constraints=4596
1073.75/1074.22	c nbDecision=746500 #constraints=4596
1074.45/1074.92	c nbDecision=747000 #constraints=4596
1075.15/1075.63	c nbDecision=747500 #constraints=4596
1075.85/1076.33	c nbDecision=748000 #constraints=4596
1076.55/1077.03	c nbDecision=748500 #constraints=4596
1077.25/1077.73	c nbDecision=749000 #constraints=4596
1077.95/1078.43	c nbDecision=749500 #constraints=4596
1078.66/1079.13	c nbDecision=750000 #constraints=4596
1079.35/1079.82	c nbDecision=750500 #constraints=4596
1080.05/1080.55	c nbDecision=751000 #constraints=4597
1080.85/1081.30	c nbDecision=751500 #constraints=4597
1081.55/1082.05	c nbDecision=752000 #constraints=4597
1082.25/1082.79	c nbDecision=752500 #constraints=4597
1083.05/1083.53	c nbDecision=753000 #constraints=4597
1083.75/1084.27	c nbDecision=753500 #constraints=4597
1084.55/1085.00	c nbDecision=754000 #constraints=4597
1085.25/1085.74	c nbDecision=754500 #constraints=4597
1085.95/1086.47	c nbDecision=755000 #constraints=4597
1086.75/1087.20	c nbDecision=755500 #constraints=4597
1087.45/1087.94	c nbDecision=756000 #constraints=4597
1088.15/1088.65	c nbDecision=756500 #constraints=4597
1088.84/1089.38	c nbDecision=757000 #constraints=4597
1089.65/1090.11	c nbDecision=757500 #constraints=4597
1090.34/1090.84	c nbDecision=758000 #constraints=4597
1091.04/1091.56	c nbDecision=758500 #constraints=4597
1091.75/1092.29	c nbDecision=759000 #constraints=4597
1092.54/1093.02	c nbDecision=759500 #constraints=4597
1093.24/1093.75	c nbDecision=760000 #constraints=4597
1093.95/1094.47	c nbDecision=760500 #constraints=4597
1094.74/1095.20	c nbDecision=761000 #constraints=4597
1095.44/1095.92	c nbDecision=761500 #constraints=4597
1096.15/1096.65	c nbDecision=762000 #constraints=4597
1096.84/1097.37	c nbDecision=762500 #constraints=4597
1097.54/1098.09	c nbDecision=763000 #constraints=4597
1098.34/1098.81	c nbDecision=763500 #constraints=4597
1099.04/1099.53	c nbDecision=764000 #constraints=4597
1099.74/1100.24	c nbDecision=764500 #constraints=4597
1100.44/1100.96	c nbDecision=765000 #constraints=4597
1101.14/1101.67	c nbDecision=765500 #constraints=4597
1101.84/1102.38	c nbDecision=766000 #constraints=4597
1102.54/1103.08	c nbDecision=766500 #constraints=4597
1103.24/1103.79	c nbDecision=767000 #constraints=4597
1103.94/1104.49	c nbDecision=767500 #constraints=4597
1104.65/1105.18	c nbDecision=768000 #constraints=4597
1105.35/1105.88	c nbDecision=768500 #constraints=4597
1106.05/1106.57	c nbDecision=769000 #constraints=4597
1106.75/1107.27	c nbDecision=769500 #constraints=4597
1107.44/1107.96	c nbDecision=770000 #constraints=4597
1108.14/1108.66	c nbDecision=770500 #constraints=4597
1108.84/1109.35	c nbDecision=771000 #constraints=4597
1109.55/1110.04	c nbDecision=771500 #constraints=4597
1110.24/1110.73	c nbDecision=772000 #constraints=4597
1110.94/1111.41	c nbDecision=772500 #constraints=4597
1111.65/1112.18	c nbDecision=773000 #constraints=4598
1112.44/1112.92	c nbDecision=773500 #constraints=4598
1113.14/1113.67	c nbDecision=774000 #constraints=4598
1113.94/1114.42	c nbDecision=774500 #constraints=4598
1114.64/1115.16	c nbDecision=775000 #constraints=4598
1115.44/1115.90	c nbDecision=775500 #constraints=4598
1116.14/1116.65	c nbDecision=776000 #constraints=4598
1116.84/1117.39	c nbDecision=776500 #constraints=4598
1117.64/1118.13	c nbDecision=777000 #constraints=4598
1118.34/1118.87	c nbDecision=777500 #constraints=4598
1119.14/1119.61	c nbDecision=778000 #constraints=4598
1119.84/1120.34	c nbDecision=778500 #constraints=4598
1120.54/1121.08	c nbDecision=779000 #constraints=4598
1121.34/1121.81	c nbDecision=779500 #constraints=4598
1122.04/1122.54	c nbDecision=780000 #constraints=4598
1122.74/1123.26	c nbDecision=780500 #constraints=4598
1123.44/1123.98	c nbDecision=781000 #constraints=4598
1124.24/1124.71	c nbDecision=781500 #constraints=4598
1124.94/1125.43	c nbDecision=782000 #constraints=4598
1125.64/1126.14	c nbDecision=782500 #constraints=4598
1126.34/1126.86	c nbDecision=783000 #constraints=4598
1127.04/1127.57	c nbDecision=783500 #constraints=4598
1127.74/1128.29	c nbDecision=784000 #constraints=4598
1128.53/1129.00	c nbDecision=784500 #constraints=4598
1129.24/1129.71	c nbDecision=785000 #constraints=4598
1129.93/1130.42	c nbDecision=785500 #constraints=4598
1130.63/1131.13	c nbDecision=786000 #constraints=4598
1131.34/1131.84	c nbDecision=786500 #constraints=4598
1132.03/1132.55	c nbDecision=787000 #constraints=4598
1132.73/1133.27	c nbDecision=787500 #constraints=4598
1133.43/1133.98	c nbDecision=788000 #constraints=4598
1134.13/1134.69	c nbDecision=788500 #constraints=4598
1134.83/1135.40	c nbDecision=789000 #constraints=4598
1135.63/1136.10	c nbDecision=789500 #constraints=4598
1136.33/1136.81	c nbDecision=790000 #constraints=4598
1137.03/1137.51	c nbDecision=790500 #constraints=4598
1137.73/1138.21	c nbDecision=791000 #constraints=4598
1138.43/1138.92	c nbDecision=791500 #constraints=4598
1139.13/1139.62	c nbDecision=792000 #constraints=4598
1139.83/1140.32	c nbDecision=792500 #constraints=4598
1140.53/1141.02	c nbDecision=793000 #constraints=4598
1141.23/1141.71	c nbDecision=793500 #constraints=4598
1141.93/1142.40	c nbDecision=794000 #constraints=4598
1142.63/1143.14	c nbDecision=794500 #constraints=4599
1143.33/1143.88	c nbDecision=795000 #constraints=4599
1144.13/1144.62	c nbDecision=795500 #constraints=4599
1144.83/1145.36	c nbDecision=796000 #constraints=4599
1145.63/1146.10	c nbDecision=796500 #constraints=4599
1146.33/1146.84	c nbDecision=797000 #constraints=4599
1147.02/1147.57	c nbDecision=797500 #constraints=4599
1147.83/1148.31	c nbDecision=798000 #constraints=4599
1148.52/1149.04	c nbDecision=798500 #constraints=4599
1149.22/1149.78	c nbDecision=799000 #constraints=4599
1150.03/1150.51	c nbDecision=799500 #constraints=4599
1150.72/1151.24	c nbDecision=800000 #constraints=4599
1151.42/1151.96	c nbDecision=800500 #constraints=4599
1152.12/1152.70	c nbDecision=801000 #constraints=4599
1152.92/1153.42	c nbDecision=801500 #constraints=4599
1153.62/1154.16	c nbDecision=802000 #constraints=4599
1154.32/1154.89	c nbDecision=802500 #constraints=4599
1155.12/1155.62	c nbDecision=803000 #constraints=4599
1155.82/1156.34	c nbDecision=803500 #constraints=4599
1156.52/1157.07	c nbDecision=804000 #constraints=4599
1157.22/1157.80	c nbDecision=804500 #constraints=4599
1158.02/1158.52	c nbDecision=805000 #constraints=4599
1158.72/1159.24	c nbDecision=805500 #constraints=4599
1159.42/1159.96	c nbDecision=806000 #constraints=4599
1160.12/1160.68	c nbDecision=806500 #constraints=4599
1160.92/1161.40	c nbDecision=807000 #constraints=4599
1161.62/1162.12	c nbDecision=807500 #constraints=4599
1162.32/1162.83	c nbDecision=808000 #constraints=4599
1163.02/1163.53	c nbDecision=808500 #constraints=4599
1163.72/1164.24	c nbDecision=809000 #constraints=4599
1164.42/1164.95	c nbDecision=809500 #constraints=4599
1165.11/1165.65	c nbDecision=810000 #constraints=4599
1165.81/1166.35	c nbDecision=810500 #constraints=4599
1166.52/1167.05	c nbDecision=811000 #constraints=4599
1167.21/1167.75	c nbDecision=811500 #constraints=4599
1167.91/1168.45	c nbDecision=812000 #constraints=4599
1168.61/1169.15	c nbDecision=812500 #constraints=4599
1169.31/1169.85	c nbDecision=813000 #constraints=4599
1170.01/1170.54	c nbDecision=813500 #constraints=4599
1170.71/1171.24	c nbDecision=814000 #constraints=4599
1171.41/1171.93	c nbDecision=814500 #constraints=4599
1172.11/1172.62	c nbDecision=815000 #constraints=4599
1172.81/1173.32	c nbDecision=815500 #constraints=4599
1173.51/1174.05	c nbDecision=816000 #constraints=4600
1174.31/1174.80	c nbDecision=816500 #constraints=4600
1175.01/1175.55	c nbDecision=817000 #constraints=4600
1175.71/1176.30	c nbDecision=817500 #constraints=4600
1176.51/1177.04	c nbDecision=818000 #constraints=4600
1177.21/1177.78	c nbDecision=818500 #constraints=4600
1178.01/1178.53	c nbDecision=819000 #constraints=4600
1178.31/1178.83	c restart after 819201 decisions
1178.71/1179.29	c nbDecision=819500 #constraints=4600
1179.51/1180.05	c nbDecision=820000 #constraints=4600
1180.31/1180.81	c nbDecision=820500 #constraints=4600
1181.01/1181.56	c nbDecision=821000 #constraints=4600
1181.81/1182.31	c nbDecision=821500 #constraints=4600
1182.50/1183.06	c nbDecision=822000 #constraints=4600
1183.31/1183.80	c nbDecision=822500 #constraints=4600
1184.01/1184.54	c nbDecision=823000 #constraints=4600
1184.71/1185.28	c nbDecision=823500 #constraints=4600
1185.51/1186.03	c nbDecision=824000 #constraints=4600
1186.21/1186.76	c nbDecision=824500 #constraints=4600
1187.01/1187.50	c nbDecision=825000 #constraints=4600
1187.71/1188.24	c nbDecision=825500 #constraints=4600
1188.41/1188.97	c nbDecision=826000 #constraints=4600
1189.21/1189.71	c nbDecision=826500 #constraints=4600
1189.91/1190.44	c nbDecision=827000 #constraints=4600
1190.61/1191.17	c nbDecision=827500 #constraints=4600
1191.31/1191.90	c nbDecision=828000 #constraints=4600
1192.11/1192.63	c nbDecision=828500 #constraints=4600
1192.81/1193.36	c nbDecision=829000 #constraints=4600
1193.51/1194.09	c nbDecision=829500 #constraints=4600
1194.31/1194.82	c nbDecision=830000 #constraints=4600
1195.01/1195.55	c nbDecision=830500 #constraints=4600
1195.71/1196.28	c nbDecision=831000 #constraints=4600
1196.51/1197.01	c nbDecision=831500 #constraints=4600
1197.21/1197.73	c nbDecision=832000 #constraints=4600
1197.91/1198.46	c nbDecision=832500 #constraints=4600
1198.61/1199.18	c nbDecision=833000 #constraints=4600
1199.41/1199.91	c nbDecision=833500 #constraints=4600
1200.10/1200.63	c nbDecision=834000 #constraints=4600
1200.80/1201.35	c nbDecision=834500 #constraints=4600
1201.50/1202.07	c nbDecision=835000 #constraints=4600
1202.20/1202.78	c nbDecision=835500 #constraints=4600
1202.91/1203.48	c nbDecision=836000 #constraints=4600
1203.60/1204.19	c nbDecision=836500 #constraints=4600
1204.40/1204.90	c nbDecision=837000 #constraints=4600
1205.11/1205.60	c nbDecision=837500 #constraints=4600
1205.80/1206.31	c nbDecision=838000 #constraints=4600
1206.50/1207.01	c nbDecision=838500 #constraints=4600
1207.21/1207.71	c nbDecision=839000 #constraints=4600
1207.90/1208.41	c nbDecision=839500 #constraints=4600
1208.60/1209.11	c nbDecision=840000 #constraints=4600
1209.30/1209.81	c nbDecision=840500 #constraints=4600
1210.00/1210.51	c nbDecision=841000 #constraints=4600
1210.70/1211.20	c nbDecision=841500 #constraints=4600
1211.40/1211.90	c nbDecision=842000 #constraints=4600
1212.00/1212.60	c nbDecision=842500 #constraints=4600
1212.70/1213.29	c nbDecision=843000 #constraints=4600
1213.40/1213.99	c nbDecision=843500 #constraints=4600
1214.10/1214.69	c nbDecision=844000 #constraints=4600
1214.90/1215.46	c nbDecision=844500 #constraints=4601
1215.70/1216.21	c nbDecision=845000 #constraints=4601
1216.40/1216.95	c nbDecision=845500 #constraints=4601
1217.10/1217.70	c nbDecision=846000 #constraints=4601
1217.90/1218.44	c nbDecision=846500 #constraints=4601
1218.60/1219.18	c nbDecision=847000 #constraints=4601
1219.40/1219.93	c nbDecision=847500 #constraints=4601
1220.10/1220.67	c nbDecision=848000 #constraints=4601
1220.90/1221.41	c nbDecision=848500 #constraints=4601
1221.60/1222.15	c nbDecision=849000 #constraints=4601
1222.30/1222.88	c nbDecision=849500 #constraints=4601
1223.10/1223.60	c nbDecision=850000 #constraints=4601
1223.80/1224.33	c nbDecision=850500 #constraints=4601
1224.49/1225.06	c nbDecision=851000 #constraints=4601
1225.19/1225.78	c nbDecision=851500 #constraints=4601
1226.00/1226.51	c nbDecision=852000 #constraints=4601
1226.69/1227.23	c nbDecision=852500 #constraints=4601
1227.39/1227.95	c nbDecision=853000 #constraints=4601
1228.10/1228.67	c nbDecision=853500 #constraints=4601
1228.79/1229.39	c nbDecision=854000 #constraints=4601
1229.59/1230.11	c nbDecision=854500 #constraints=4601
1230.29/1230.82	c nbDecision=855000 #constraints=4601
1230.99/1231.54	c nbDecision=855500 #constraints=4601
1231.69/1232.26	c nbDecision=856000 #constraints=4601
1232.39/1232.98	c nbDecision=856500 #constraints=4601
1233.09/1233.68	c nbDecision=857000 #constraints=4601
1233.89/1234.40	c nbDecision=857500 #constraints=4601
1234.59/1235.11	c nbDecision=858000 #constraints=4601
1235.29/1235.83	c nbDecision=858500 #constraints=4601
1235.99/1236.54	c nbDecision=859000 #constraints=4601
1236.69/1237.25	c nbDecision=859500 #constraints=4601
1237.39/1237.96	c nbDecision=860000 #constraints=4601
1238.09/1238.67	c nbDecision=860500 #constraints=4601
1238.79/1239.37	c nbDecision=861000 #constraints=4601
1239.49/1240.07	c nbDecision=861500 #constraints=4601
1240.19/1240.78	c nbDecision=862000 #constraints=4601
1240.89/1241.48	c nbDecision=862500 #constraints=4601
1241.58/1242.18	c nbDecision=863000 #constraints=4601
1242.28/1242.88	c nbDecision=863500 #constraints=4601
1242.98/1243.57	c nbDecision=864000 #constraints=4601
1243.68/1244.26	c nbDecision=864500 #constraints=4601
1244.38/1244.95	c nbDecision=865000 #constraints=4601
1245.08/1245.63	c nbDecision=865500 #constraints=4601
1245.79/1246.38	c nbDecision=866000 #constraints=4602
1246.58/1247.12	c nbDecision=866500 #constraints=4602
1247.28/1247.86	c nbDecision=867000 #constraints=4602
1248.08/1248.60	c nbDecision=867500 #constraints=4602
1248.78/1249.34	c nbDecision=868000 #constraints=4602
1249.48/1250.07	c nbDecision=868500 #constraints=4602
1250.28/1250.81	c nbDecision=869000 #constraints=4602
1250.98/1251.54	c nbDecision=869500 #constraints=4602
1251.68/1252.28	c nbDecision=870000 #constraints=4602
1252.48/1253.02	c nbDecision=870500 #constraints=4602
1253.18/1253.76	c nbDecision=871000 #constraints=4602
1253.88/1254.49	c nbDecision=871500 #constraints=4602
1254.68/1255.23	c nbDecision=872000 #constraints=4602
1255.38/1255.95	c nbDecision=872500 #constraints=4602
1256.08/1256.69	c nbDecision=873000 #constraints=4602
1256.88/1257.42	c nbDecision=873500 #constraints=4602
1257.58/1258.15	c nbDecision=874000 #constraints=4602
1258.28/1258.87	c nbDecision=874500 #constraints=4602
1259.08/1259.60	c nbDecision=875000 #constraints=4602
1259.78/1260.33	c nbDecision=875500 #constraints=4602
1260.48/1261.05	c nbDecision=876000 #constraints=4602
1261.18/1261.78	c nbDecision=876500 #constraints=4602
1261.88/1262.50	c nbDecision=877000 #constraints=4602
1262.67/1263.21	c nbDecision=877500 #constraints=4602
1263.38/1263.92	c nbDecision=878000 #constraints=4602
1264.07/1264.63	c nbDecision=878500 #constraints=4602
1264.77/1265.34	c nbDecision=879000 #constraints=4602
1265.48/1266.05	c nbDecision=879500 #constraints=4602
1266.17/1266.75	c nbDecision=880000 #constraints=4602
1266.87/1267.46	c nbDecision=880500 #constraints=4602
1267.57/1268.17	c nbDecision=881000 #constraints=4602
1268.27/1268.87	c nbDecision=881500 #constraints=4602
1268.97/1269.57	c nbDecision=882000 #constraints=4602
1269.67/1270.27	c nbDecision=882500 #constraints=4602
1270.37/1270.97	c nbDecision=883000 #constraints=4602
1271.07/1271.67	c nbDecision=883500 #constraints=4602
1271.77/1272.37	c nbDecision=884000 #constraints=4602
1272.47/1273.07	c nbDecision=884500 #constraints=4602
1273.17/1273.77	c nbDecision=885000 #constraints=4602
1273.87/1274.47	c nbDecision=885500 #constraints=4602
1274.57/1275.17	c nbDecision=886000 #constraints=4602
1275.27/1275.87	c nbDecision=886500 #constraints=4602
1275.97/1276.56	c nbDecision=887000 #constraints=4602
1276.77/1277.31	c nbDecision=887500 #constraints=4603
1277.47/1278.05	c nbDecision=888000 #constraints=4603
1278.17/1278.79	c nbDecision=888500 #constraints=4603
1278.97/1279.53	c nbDecision=889000 #constraints=4603
1279.67/1280.27	c nbDecision=889500 #constraints=4603
1280.47/1281.01	c nbDecision=890000 #constraints=4603
1281.17/1281.74	c nbDecision=890500 #constraints=4603
1281.87/1282.47	c nbDecision=891000 #constraints=4603
1282.57/1283.20	c nbDecision=891500 #constraints=4603
1283.36/1283.92	c nbDecision=892000 #constraints=4603
1284.06/1284.64	c nbDecision=892500 #constraints=4603
1284.76/1285.36	c nbDecision=893000 #constraints=4603
1285.46/1286.08	c nbDecision=893500 #constraints=4603
1286.26/1286.80	c nbDecision=894000 #constraints=4603
1286.96/1287.52	c nbDecision=894500 #constraints=4603
1287.66/1288.24	c nbDecision=895000 #constraints=4603
1288.36/1288.95	c nbDecision=895500 #constraints=4603
1289.06/1289.67	c nbDecision=896000 #constraints=4603
1289.77/1290.38	c nbDecision=896500 #constraints=4603
1290.47/1291.09	c nbDecision=897000 #constraints=4603
1291.17/1291.79	c nbDecision=897500 #constraints=4603
1291.97/1292.51	c nbDecision=898000 #constraints=4603
1292.67/1293.22	c nbDecision=898500 #constraints=4603
1293.37/1293.94	c nbDecision=899000 #constraints=4603
1294.07/1294.65	c nbDecision=899500 #constraints=4603
1294.77/1295.36	c nbDecision=900000 #constraints=4603
1295.47/1296.07	c nbDecision=900500 #constraints=4603
1296.17/1296.78	c nbDecision=901000 #constraints=4603
1296.87/1297.49	c nbDecision=901500 #constraints=4603
1297.57/1298.19	c nbDecision=902000 #constraints=4603
1298.27/1298.90	c nbDecision=902500 #constraints=4603
1299.07/1299.60	c nbDecision=903000 #constraints=4603
1299.77/1300.30	c nbDecision=903500 #constraints=4603
1300.47/1301.00	c nbDecision=904000 #constraints=4603
1301.17/1301.70	c nbDecision=904500 #constraints=4603
1301.77/1302.39	c nbDecision=905000 #constraints=4603
1302.46/1303.08	c nbDecision=905500 #constraints=4603
1303.16/1303.77	c nbDecision=906000 #constraints=4603
1303.97/1304.53	c nbDecision=906500 #constraints=4604
1304.66/1305.27	c nbDecision=907000 #constraints=4604
1305.46/1306.01	c nbDecision=907500 #constraints=4604
1306.17/1306.75	c nbDecision=908000 #constraints=4604
1306.86/1307.48	c nbDecision=908500 #constraints=4604
1307.66/1308.21	c nbDecision=909000 #constraints=4604
1308.36/1308.95	c nbDecision=909500 #constraints=4604
1309.06/1309.68	c nbDecision=910000 #constraints=4604
1309.86/1310.42	c nbDecision=910500 #constraints=4604
1310.56/1311.15	c nbDecision=911000 #constraints=4604
1311.26/1311.87	c nbDecision=911500 #constraints=4604
1312.06/1312.60	c nbDecision=912000 #constraints=4604
1312.76/1313.34	c nbDecision=912500 #constraints=4604
1313.46/1314.07	c nbDecision=913000 #constraints=4604
1314.26/1314.80	c nbDecision=913500 #constraints=4604
1314.96/1315.53	c nbDecision=914000 #constraints=4604
1315.66/1316.26	c nbDecision=914500 #constraints=4604
1316.36/1316.99	c nbDecision=915000 #constraints=4604
1317.16/1317.72	c nbDecision=915500 #constraints=4604
1317.86/1318.44	c nbDecision=916000 #constraints=4604
1318.56/1319.17	c nbDecision=916500 #constraints=4604
1319.25/1319.89	c nbDecision=917000 #constraints=4604
1320.05/1320.61	c nbDecision=917500 #constraints=4604
1320.75/1321.33	c nbDecision=918000 #constraints=4604
1321.45/1322.04	c nbDecision=918500 #constraints=4604
1322.15/1322.75	c nbDecision=919000 #constraints=4604
1322.85/1323.46	c nbDecision=919500 #constraints=4604
1323.55/1324.17	c nbDecision=920000 #constraints=4604
1324.25/1324.88	c nbDecision=920500 #constraints=4604
1324.96/1325.58	c nbDecision=921000 #constraints=4604
1325.65/1326.28	c nbDecision=921500 #constraints=4604
1326.35/1326.99	c nbDecision=922000 #constraints=4604
1327.06/1327.69	c nbDecision=922500 #constraints=4604
1327.75/1328.39	c nbDecision=923000 #constraints=4604
1328.45/1329.09	c nbDecision=923500 #constraints=4604
1329.15/1329.79	c nbDecision=924000 #constraints=4604
1329.85/1330.48	c nbDecision=924500 #constraints=4604
1330.55/1331.18	c nbDecision=925000 #constraints=4604
1331.25/1331.87	c nbDecision=925500 #constraints=4604
1331.95/1332.57	c nbDecision=926000 #constraints=4604
1332.65/1333.26	c nbDecision=926500 #constraints=4604
1333.35/1333.96	c nbDecision=927000 #constraints=4604
1334.05/1334.66	c nbDecision=927500 #constraints=4604
1334.85/1335.41	c nbDecision=928000 #constraints=4605
1335.55/1336.14	c nbDecision=928500 #constraints=4605
1336.25/1336.88	c nbDecision=929000 #constraints=4605
1337.05/1337.62	c nbDecision=929500 #constraints=4605
1337.75/1338.36	c nbDecision=930000 #constraints=4605
1338.45/1339.09	c nbDecision=930500 #constraints=4605
1339.25/1339.82	c nbDecision=931000 #constraints=4605
1339.95/1340.56	c nbDecision=931500 #constraints=4605
1340.64/1341.28	c nbDecision=932000 #constraints=4605
1341.45/1342.01	c nbDecision=932500 #constraints=4605
1342.14/1342.73	c nbDecision=933000 #constraints=4605
1342.84/1343.46	c nbDecision=933500 #constraints=4605
1343.55/1344.18	c nbDecision=934000 #constraints=4605
1344.24/1344.90	c nbDecision=934500 #constraints=4605
1345.04/1345.61	c nbDecision=935000 #constraints=4605
1345.74/1346.33	c nbDecision=935500 #constraints=4605
1346.44/1347.05	c nbDecision=936000 #constraints=4605
1347.14/1347.76	c nbDecision=936500 #constraints=4605
1347.84/1348.47	c nbDecision=937000 #constraints=4605
1348.54/1349.18	c nbDecision=937500 #constraints=4605
1349.24/1349.89	c nbDecision=938000 #constraints=4605
1349.94/1350.60	c nbDecision=938500 #constraints=4605
1350.74/1351.30	c nbDecision=939000 #constraints=4605
1351.44/1352.01	c nbDecision=939500 #constraints=4605
1352.14/1352.72	c nbDecision=940000 #constraints=4605
1352.84/1353.43	c nbDecision=940500 #constraints=4605
1353.54/1354.14	c nbDecision=941000 #constraints=4605
1354.24/1354.85	c nbDecision=941500 #constraints=4605
1354.93/1355.56	c nbDecision=942000 #constraints=4605
1355.64/1356.26	c nbDecision=942500 #constraints=4605
1356.33/1356.97	c nbDecision=943000 #constraints=4605
1357.03/1357.67	c nbDecision=943500 #constraints=4605
1357.73/1358.37	c nbDecision=944000 #constraints=4605
1358.43/1359.07	c nbDecision=944500 #constraints=4605
1359.13/1359.77	c nbDecision=945000 #constraints=4605
1359.83/1360.46	c nbDecision=945500 #constraints=4605
1360.53/1361.16	c nbDecision=946000 #constraints=4605
1361.24/1361.89	c nbDecision=946500 #constraints=4606
1362.03/1362.63	c nbDecision=947000 #constraints=4606
1362.73/1363.37	c nbDecision=947500 #constraints=4606
1363.53/1364.11	c nbDecision=948000 #constraints=4606
1364.23/1364.85	c nbDecision=948500 #constraints=4606
1364.93/1365.58	c nbDecision=949000 #constraints=4606
1365.73/1366.31	c nbDecision=949500 #constraints=4606
1366.43/1367.05	c nbDecision=950000 #constraints=4606
1367.13/1367.78	c nbDecision=950500 #constraints=4606
1367.93/1368.51	c nbDecision=951000 #constraints=4606
1368.64/1369.24	c nbDecision=951500 #constraints=4606
1369.34/1369.97	c nbDecision=952000 #constraints=4606
1370.14/1370.70	c nbDecision=952500 #constraints=4606
1370.84/1371.43	c nbDecision=953000 #constraints=4606
1371.54/1372.15	c nbDecision=953500 #constraints=4606
1372.24/1372.88	c nbDecision=954000 #constraints=4606
1373.04/1373.61	c nbDecision=954500 #constraints=4606
1373.74/1374.34	c nbDecision=955000 #constraints=4606
1374.44/1375.07	c nbDecision=955500 #constraints=4606
1375.13/1375.79	c nbDecision=956000 #constraints=4606
1375.93/1376.52	c nbDecision=956500 #constraints=4606
1376.64/1377.24	c nbDecision=957000 #constraints=4606
1377.33/1377.97	c nbDecision=957500 #constraints=4606
1378.03/1378.69	c nbDecision=958000 #constraints=4606
1378.84/1379.41	c nbDecision=958500 #constraints=4606
1379.53/1380.13	c nbDecision=959000 #constraints=4606
1380.23/1380.84	c nbDecision=959500 #constraints=4606
1380.93/1381.56	c nbDecision=960000 #constraints=4606
1381.63/1382.27	c nbDecision=960500 #constraints=4606
1382.33/1382.98	c nbDecision=961000 #constraints=4606
1383.03/1383.68	c nbDecision=961500 #constraints=4606
1383.73/1384.39	c nbDecision=962000 #constraints=4606
1384.43/1385.09	c nbDecision=962500 #constraints=4606
1385.13/1385.78	c nbDecision=963000 #constraints=4606
1385.83/1386.48	c nbDecision=963500 #constraints=4606
1386.53/1387.18	c nbDecision=964000 #constraints=4606
1387.23/1387.88	c nbDecision=964500 #constraints=4606
1387.93/1388.58	c nbDecision=965000 #constraints=4606
1388.63/1389.27	c nbDecision=965500 #constraints=4606
1389.33/1389.97	c nbDecision=966000 #constraints=4606
1390.03/1390.66	c nbDecision=966500 #constraints=4606
1390.73/1391.35	c nbDecision=967000 #constraints=4606
1391.43/1392.04	c nbDecision=967500 #constraints=4606
1392.13/1392.77	c nbDecision=968000 #constraints=4607
1392.93/1393.52	c nbDecision=968500 #constraints=4607
1393.63/1394.27	c nbDecision=969000 #constraints=4607
1394.43/1395.01	c nbDecision=969500 #constraints=4607
1395.12/1395.76	c nbDecision=970000 #constraints=4607
1395.92/1396.50	c nbDecision=970500 #constraints=4607
1396.62/1397.25	c nbDecision=971000 #constraints=4607
1397.32/1397.99	c nbDecision=971500 #constraints=4607
1398.12/1398.73	c nbDecision=972000 #constraints=4607
1398.82/1399.47	c nbDecision=972500 #constraints=4607
1399.63/1400.21	c nbDecision=973000 #constraints=4607
1400.32/1400.94	c nbDecision=973500 #constraints=4607
1401.02/1401.67	c nbDecision=974000 #constraints=4607
1401.83/1402.41	c nbDecision=974500 #constraints=4607
1402.52/1403.13	c nbDecision=975000 #constraints=4607
1403.22/1403.85	c nbDecision=975500 #constraints=4607
1403.92/1404.56	c nbDecision=976000 #constraints=4607
1404.62/1405.28	c nbDecision=976500 #constraints=4607
1405.42/1406.00	c nbDecision=977000 #constraints=4607
1406.12/1406.72	c nbDecision=977500 #constraints=4607
1406.82/1407.44	c nbDecision=978000 #constraints=4607
1407.52/1408.15	c nbDecision=978500 #constraints=4607
1408.22/1408.87	c nbDecision=979000 #constraints=4607
1408.92/1409.59	c nbDecision=979500 #constraints=4607
1409.72/1410.30	c nbDecision=980000 #constraints=4607
1410.42/1411.01	c nbDecision=980500 #constraints=4607
1411.12/1411.73	c nbDecision=981000 #constraints=4607
1411.82/1412.44	c nbDecision=981500 #constraints=4607
1412.51/1413.15	c nbDecision=982000 #constraints=4607
1413.21/1413.87	c nbDecision=982500 #constraints=4607
1413.92/1414.58	c nbDecision=983000 #constraints=4607
1414.61/1415.29	c nbDecision=983500 #constraints=4607
1415.41/1416.00	c nbDecision=984000 #constraints=4607
1416.12/1416.71	c nbDecision=984500 #constraints=4607
1416.81/1417.41	c nbDecision=985000 #constraints=4607
1417.51/1418.12	c nbDecision=985500 #constraints=4607
1418.21/1418.82	c nbDecision=986000 #constraints=4607
1418.91/1419.54	c nbDecision=986500 #constraints=4607
1419.61/1420.24	c nbDecision=987000 #constraints=4607
1420.31/1420.94	c nbDecision=987500 #constraints=4607
1421.01/1421.64	c nbDecision=988000 #constraints=4607
1421.72/1422.33	c nbDecision=988500 #constraints=4607
1422.41/1423.02	c nbDecision=989000 #constraints=4607
1423.11/1423.76	c nbDecision=989500 #constraints=4608
1423.81/1424.50	c nbDecision=990000 #constraints=4608
1424.61/1425.24	c nbDecision=990500 #constraints=4608
1425.31/1425.98	c nbDecision=991000 #constraints=4608
1426.11/1426.72	c nbDecision=991500 #constraints=4608
1426.81/1427.45	c nbDecision=992000 #constraints=4608
1427.51/1428.17	c nbDecision=992500 #constraints=4608
1428.31/1428.91	c nbDecision=993000 #constraints=4608
1429.01/1429.63	c nbDecision=993500 #constraints=4608
1429.71/1430.36	c nbDecision=994000 #constraints=4608
1430.41/1431.09	c nbDecision=994500 #constraints=4608
1431.21/1431.82	c nbDecision=995000 #constraints=4608
1431.91/1432.55	c nbDecision=995500 #constraints=4608
1432.61/1433.29	c nbDecision=996000 #constraints=4608
1433.41/1434.02	c nbDecision=996500 #constraints=4608
1434.11/1434.75	c nbDecision=997000 #constraints=4608
1434.81/1435.48	c nbDecision=997500 #constraints=4608
1435.60/1436.21	c nbDecision=998000 #constraints=4608
1436.30/1436.93	c nbDecision=998500 #constraints=4608
1437.01/1437.66	c nbDecision=999000 #constraints=4608
1437.70/1438.38	c nbDecision=999500 #constraints=4608
1438.50/1439.11	c nbDecision=1000000 #constraints=4608
1439.21/1439.83	c nbDecision=1000500 #constraints=4608
1439.90/1440.55	c nbDecision=1001000 #constraints=4608
1440.60/1441.27	c nbDecision=1001500 #constraints=4608
1441.30/1441.99	c nbDecision=1002000 #constraints=4608
1442.00/1442.70	c nbDecision=1002500 #constraints=4608
1442.80/1443.40	c nbDecision=1003000 #constraints=4608
1443.50/1444.11	c nbDecision=1003500 #constraints=4608
1444.20/1444.82	c nbDecision=1004000 #constraints=4608
1444.90/1445.52	c nbDecision=1004500 #constraints=4608
1445.60/1446.22	c nbDecision=1005000 #constraints=4608
1446.30/1446.93	c nbDecision=1005500 #constraints=4608
1447.00/1447.63	c nbDecision=1006000 #constraints=4608
1447.70/1448.33	c nbDecision=1006500 #constraints=4608
1448.40/1449.03	c nbDecision=1007000 #constraints=4608
1449.10/1449.72	c nbDecision=1007500 #constraints=4608
1449.80/1450.42	c nbDecision=1008000 #constraints=4608
1450.50/1451.11	c nbDecision=1008500 #constraints=4608
1451.20/1451.81	c nbDecision=1009000 #constraints=4608
1451.90/1452.50	c nbDecision=1009500 #constraints=4608
1452.50/1453.20	c nbDecision=1010000 #constraints=4608
1453.20/1453.89	c nbDecision=1010500 #constraints=4608
1454.00/1454.65	c nbDecision=1011000 #constraints=4609
1454.80/1455.41	c nbDecision=1011500 #constraints=4609
1455.50/1456.16	c nbDecision=1012000 #constraints=4609
1456.30/1456.91	c nbDecision=1012500 #constraints=4609
1457.00/1457.65	c nbDecision=1013000 #constraints=4609
1457.80/1458.40	c nbDecision=1013500 #constraints=4609
1458.49/1459.15	c nbDecision=1014000 #constraints=4609
1459.19/1459.89	c nbDecision=1014500 #constraints=4609
1460.00/1460.63	c nbDecision=1015000 #constraints=4609
1460.69/1461.37	c nbDecision=1015500 #constraints=4609
1461.49/1462.11	c nbDecision=1016000 #constraints=4609
1462.19/1462.85	c nbDecision=1016500 #constraints=4609
1462.89/1463.58	c nbDecision=1017000 #constraints=4609
1463.69/1464.31	c nbDecision=1017500 #constraints=4609
1464.39/1465.03	c nbDecision=1018000 #constraints=4609
1465.09/1465.75	c nbDecision=1018500 #constraints=4609
1465.79/1466.48	c nbDecision=1019000 #constraints=4609
1466.59/1467.21	c nbDecision=1019500 #constraints=4609
1467.29/1467.92	c nbDecision=1020000 #constraints=4609
1467.99/1468.64	c nbDecision=1020500 #constraints=4609
1468.69/1469.36	c nbDecision=1021000 #constraints=4609
1469.39/1470.08	c nbDecision=1021500 #constraints=4609
1470.19/1470.80	c nbDecision=1022000 #constraints=4609
1470.89/1471.52	c nbDecision=1022500 #constraints=4609
1471.59/1472.24	c nbDecision=1023000 #constraints=4609
1472.29/1472.96	c nbDecision=1023500 #constraints=4609
1472.99/1473.68	c nbDecision=1024000 #constraints=4609
1473.79/1474.40	c nbDecision=1024500 #constraints=4609
1474.49/1475.11	c nbDecision=1025000 #constraints=4609
1475.19/1475.83	c nbDecision=1025500 #constraints=4609
1475.89/1476.54	c nbDecision=1026000 #constraints=4609
1476.59/1477.25	c nbDecision=1026500 #constraints=4609
1477.29/1477.97	c nbDecision=1027000 #constraints=4609
1477.99/1478.68	c nbDecision=1027500 #constraints=4609
1478.69/1479.38	c nbDecision=1028000 #constraints=4609
1479.39/1480.09	c nbDecision=1028500 #constraints=4609
1480.09/1480.79	c nbDecision=1029000 #constraints=4609
1480.88/1481.50	c nbDecision=1029500 #constraints=4609
1481.58/1482.20	c nbDecision=1030000 #constraints=4609
1482.19/1482.90	c nbDecision=1030500 #constraints=4609
1482.88/1483.59	c nbDecision=1031000 #constraints=4609
1483.58/1484.29	c nbDecision=1031500 #constraints=4609
1484.29/1484.98	c nbDecision=1032000 #constraints=4609
1484.98/1485.67	c nbDecision=1032500 #constraints=4609
1485.68/1486.36	c nbDecision=1033000 #constraints=4609
1486.38/1487.08	c nbDecision=1033500 #constraints=4610
1487.18/1487.82	c nbDecision=1034000 #constraints=4610
1487.88/1488.57	c nbDecision=1034500 #constraints=4610
1488.68/1489.31	c nbDecision=1035000 #constraints=4610
1489.38/1490.05	c nbDecision=1035500 #constraints=4610
1490.08/1490.79	c nbDecision=1036000 #constraints=4610
1490.88/1491.53	c nbDecision=1036500 #constraints=4610
1491.58/1492.27	c nbDecision=1037000 #constraints=4610
1492.38/1493.01	c nbDecision=1037500 #constraints=4610
1493.08/1493.74	c nbDecision=1038000 #constraints=4610
1493.78/1494.49	c nbDecision=1038500 #constraints=4610
1494.58/1495.23	c nbDecision=1039000 #constraints=4610
1495.28/1495.96	c nbDecision=1039500 #constraints=4610
1496.08/1496.70	c nbDecision=1040000 #constraints=4610
1496.78/1497.44	c nbDecision=1040500 #constraints=4610
1497.48/1498.17	c nbDecision=1041000 #constraints=4610
1498.28/1498.90	c nbDecision=1041500 #constraints=4610
1498.98/1499.64	c nbDecision=1042000 #constraints=4610
1499.68/1500.37	c nbDecision=1042500 #constraints=4610
1500.37/1501.10	c nbDecision=1043000 #constraints=4610
1501.17/1501.83	c nbDecision=1043500 #constraints=4610
1501.88/1502.55	c nbDecision=1044000 #constraints=4610
1502.57/1503.27	c nbDecision=1044500 #constraints=4610
1503.27/1503.99	c nbDecision=1045000 #constraints=4610
1504.08/1504.70	c nbDecision=1045500 #constraints=4610
1504.77/1505.42	c nbDecision=1046000 #constraints=4610
1505.47/1506.13	c nbDecision=1046500 #constraints=4610
1506.17/1506.84	c nbDecision=1047000 #constraints=4610
1506.88/1507.55	c nbDecision=1047500 #constraints=4610
1507.58/1508.26	c nbDecision=1048000 #constraints=4610
1508.28/1508.96	c nbDecision=1048500 #constraints=4610
1508.98/1509.67	c nbDecision=1049000 #constraints=4610
1509.68/1510.38	c nbDecision=1049500 #constraints=4610
1510.38/1511.08	c nbDecision=1050000 #constraints=4610
1511.08/1511.78	c nbDecision=1050500 #constraints=4610
1511.78/1512.49	c nbDecision=1051000 #constraints=4610
1512.48/1513.20	c nbDecision=1051500 #constraints=4610
1513.28/1513.90	c nbDecision=1052000 #constraints=4610
1513.98/1514.61	c nbDecision=1052500 #constraints=4610
1514.68/1515.31	c nbDecision=1053000 #constraints=4610
1515.38/1516.02	c nbDecision=1053500 #constraints=4610
1516.08/1516.72	c nbDecision=1054000 #constraints=4610
1516.78/1517.42	c nbDecision=1054500 #constraints=4610
1517.48/1518.11	c nbDecision=1055000 #constraints=4610
1518.18/1518.81	c nbDecision=1055500 #constraints=4610
1518.78/1519.49	c nbDecision=1056000 #constraints=4610
1519.58/1520.26	c nbDecision=1056500 #constraints=4611
1520.38/1521.01	c nbDecision=1057000 #constraints=4611
1521.08/1521.76	c nbDecision=1057500 #constraints=4611
1521.78/1522.50	c nbDecision=1058000 #constraints=4611
1522.58/1523.23	c nbDecision=1058500 #constraints=4611
1523.27/1523.97	c nbDecision=1059000 #constraints=4611
1524.07/1524.70	c nbDecision=1059500 #constraints=4611
1524.77/1525.44	c nbDecision=1060000 #constraints=4611
1525.47/1526.17	c nbDecision=1060500 #constraints=4611
1526.27/1526.90	c nbDecision=1061000 #constraints=4611
1526.97/1527.63	c nbDecision=1061500 #constraints=4611
1527.67/1528.36	c nbDecision=1062000 #constraints=4611
1528.37/1529.09	c nbDecision=1062500 #constraints=4611
1529.17/1529.81	c nbDecision=1063000 #constraints=4611
1529.87/1530.54	c nbDecision=1063500 #constraints=4611
1530.57/1531.26	c nbDecision=1064000 #constraints=4611
1531.27/1531.98	c nbDecision=1064500 #constraints=4611
1532.07/1532.71	c nbDecision=1065000 #constraints=4611
1532.77/1533.42	c nbDecision=1065500 #constraints=4611
1533.47/1534.15	c nbDecision=1066000 #constraints=4611
1534.17/1534.87	c nbDecision=1066500 #constraints=4611
1534.87/1535.60	c nbDecision=1067000 #constraints=4611
1535.66/1536.32	c nbDecision=1067500 #constraints=4611
1536.36/1537.04	c nbDecision=1068000 #constraints=4611
1537.07/1537.75	c nbDecision=1068500 #constraints=4611
1537.76/1538.47	c nbDecision=1069000 #constraints=4611
1538.46/1539.18	c nbDecision=1069500 #constraints=4611
1539.16/1539.90	c nbDecision=1070000 #constraints=4611
1539.96/1540.61	c nbDecision=1070500 #constraints=4611
1540.66/1541.32	c nbDecision=1071000 #constraints=4611
1541.36/1542.03	c nbDecision=1071500 #constraints=4611
1542.06/1542.74	c nbDecision=1072000 #constraints=4611
1542.76/1543.44	c nbDecision=1072500 #constraints=4611
1543.46/1544.14	c nbDecision=1073000 #constraints=4611
1544.16/1544.84	c nbDecision=1073500 #constraints=4611
1544.87/1545.53	c nbDecision=1074000 #constraints=4611
1545.56/1546.23	c nbDecision=1074500 #constraints=4611
1546.26/1546.93	c nbDecision=1075000 #constraints=4611
1546.96/1547.62	c nbDecision=1075500 #constraints=4611
1547.66/1548.31	c nbDecision=1076000 #constraints=4611
1548.36/1549.00	c nbDecision=1076500 #constraints=4611
1548.96/1549.69	c nbDecision=1077000 #constraints=4611
1549.76/1550.42	c nbDecision=1077500 #constraints=4612
1550.46/1551.16	c nbDecision=1078000 #constraints=4612
1551.26/1551.90	c nbDecision=1078500 #constraints=4612
1551.96/1552.64	c nbDecision=1079000 #constraints=4612
1552.66/1553.39	c nbDecision=1079500 #constraints=4612
1553.46/1554.13	c nbDecision=1080000 #constraints=4612
1554.16/1554.87	c nbDecision=1080500 #constraints=4612
1554.96/1555.61	c nbDecision=1081000 #constraints=4612
1555.66/1556.35	c nbDecision=1081500 #constraints=4612
1556.36/1557.09	c nbDecision=1082000 #constraints=4612
1557.15/1557.83	c nbDecision=1082500 #constraints=4612
1557.85/1558.57	c nbDecision=1083000 #constraints=4612
1558.65/1559.30	c nbDecision=1083500 #constraints=4612
1559.35/1560.04	c nbDecision=1084000 #constraints=4612
1560.05/1560.76	c nbDecision=1084500 #constraints=4612
1560.75/1561.50	c nbDecision=1085000 #constraints=4612
1561.55/1562.22	c nbDecision=1085500 #constraints=4612
1562.25/1562.95	c nbDecision=1086000 #constraints=4612
1562.95/1563.67	c nbDecision=1086500 #constraints=4612
1563.65/1564.38	c nbDecision=1087000 #constraints=4612
1564.45/1565.10	c nbDecision=1087500 #constraints=4612
1565.15/1565.82	c nbDecision=1088000 #constraints=4612
1565.85/1566.53	c nbDecision=1088500 #constraints=4612
1566.55/1567.25	c nbDecision=1089000 #constraints=4612
1567.25/1567.97	c nbDecision=1089500 #constraints=4612
1567.95/1568.68	c nbDecision=1090000 #constraints=4612
1568.65/1569.39	c nbDecision=1090500 #constraints=4612
1569.45/1570.10	c nbDecision=1091000 #constraints=4612
1570.15/1570.81	c nbDecision=1091500 #constraints=4612
1570.85/1571.51	c nbDecision=1092000 #constraints=4612
1571.55/1572.22	c nbDecision=1092500 #constraints=4612
1572.25/1572.93	c nbDecision=1093000 #constraints=4612
1572.95/1573.64	c nbDecision=1093500 #constraints=4612
1573.65/1574.35	c nbDecision=1094000 #constraints=4612
1574.35/1575.05	c nbDecision=1094500 #constraints=4612
1575.05/1575.76	c nbDecision=1095000 #constraints=4612
1575.74/1576.46	c nbDecision=1095500 #constraints=4612
1576.44/1577.16	c nbDecision=1096000 #constraints=4612
1577.14/1577.86	c nbDecision=1096500 #constraints=4612
1577.85/1578.56	c nbDecision=1097000 #constraints=4612
1578.54/1579.26	c nbDecision=1097500 #constraints=4612
1579.24/1579.96	c nbDecision=1098000 #constraints=4612
1579.95/1580.65	c nbDecision=1098500 #constraints=4612
1580.74/1581.41	c nbDecision=1099000 #constraints=4613
1581.44/1582.15	c nbDecision=1099500 #constraints=4613
1582.15/1582.89	c nbDecision=1100000 #constraints=4613
1582.94/1583.63	c nbDecision=1100500 #constraints=4613
1583.64/1584.37	c nbDecision=1101000 #constraints=4613
1584.34/1585.10	c nbDecision=1101500 #constraints=4613
1585.14/1585.83	c nbDecision=1102000 #constraints=4613
1585.84/1586.57	c nbDecision=1102500 #constraints=4613
1586.54/1587.30	c nbDecision=1103000 #constraints=4613
1587.34/1588.03	c nbDecision=1103500 #constraints=4613
1588.04/1588.76	c nbDecision=1104000 #constraints=4613
1588.74/1589.49	c nbDecision=1104500 #constraints=4613
1589.54/1590.22	c nbDecision=1105000 #constraints=4613
1590.24/1590.94	c nbDecision=1105500 #constraints=4613
1590.94/1591.67	c nbDecision=1106000 #constraints=4613
1591.64/1592.39	c nbDecision=1106500 #constraints=4613
1592.43/1593.12	c nbDecision=1107000 #constraints=4613
1593.14/1593.85	c nbDecision=1107500 #constraints=4613
1593.83/1594.58	c nbDecision=1108000 #constraints=4613
1594.63/1595.30	c nbDecision=1108500 #constraints=4613
1595.34/1596.03	c nbDecision=1109000 #constraints=4613
1596.03/1596.75	c nbDecision=1109500 #constraints=4613
1596.73/1597.47	c nbDecision=1110000 #constraints=4613
1597.43/1598.18	c nbDecision=1110500 #constraints=4613
1598.23/1598.90	c nbDecision=1111000 #constraints=4613
1598.93/1599.62	c nbDecision=1111500 #constraints=4613
1599.63/1600.33	c nbDecision=1112000 #constraints=4613
1600.33/1601.05	c nbDecision=1112500 #constraints=4613
1601.03/1601.76	c nbDecision=1113000 #constraints=4613
1601.73/1602.47	c nbDecision=1113500 #constraints=4613
1602.43/1603.17	c nbDecision=1114000 #constraints=4613
1603.13/1603.87	c nbDecision=1114500 #constraints=4613
1603.83/1604.57	c nbDecision=1115000 #constraints=4613
1604.53/1605.27	c nbDecision=1115500 #constraints=4613
1605.23/1605.97	c nbDecision=1116000 #constraints=4613
1605.93/1606.66	c nbDecision=1116500 #constraints=4613
1606.63/1607.36	c nbDecision=1117000 #constraints=4613
1607.33/1608.05	c nbDecision=1117500 #constraints=4613
1608.03/1608.74	c nbDecision=1118000 #constraints=4613
1608.73/1609.44	c nbDecision=1118500 #constraints=4613
1609.43/1610.13	c nbDecision=1119000 #constraints=4613
1610.13/1610.82	c nbDecision=1119500 #constraints=4613
1610.83/1611.50	c nbDecision=1120000 #constraints=4613
1611.53/1612.27	c nbDecision=1120500 #constraints=4614
1612.33/1613.02	c nbDecision=1121000 #constraints=4614
1613.03/1613.77	c nbDecision=1121500 #constraints=4614
1613.83/1614.51	c nbDecision=1122000 #constraints=4614
1614.53/1615.26	c nbDecision=1122500 #constraints=4614
1615.33/1616.00	c nbDecision=1123000 #constraints=4614
1616.03/1616.74	c nbDecision=1123500 #constraints=4614
1616.72/1617.48	c nbDecision=1124000 #constraints=4614
1617.52/1618.22	c nbDecision=1124500 #constraints=4614
1618.22/1618.96	c nbDecision=1125000 #constraints=4614
1618.92/1619.69	c nbDecision=1125500 #constraints=4614
1619.72/1620.43	c nbDecision=1126000 #constraints=4614
1620.42/1621.16	c nbDecision=1126500 #constraints=4614
1621.12/1621.89	c nbDecision=1127000 #constraints=4614
1621.92/1622.62	c nbDecision=1127500 #constraints=4614
1622.62/1623.34	c nbDecision=1128000 #constraints=4614
1623.32/1624.06	c nbDecision=1128500 #constraints=4614
1624.02/1624.78	c nbDecision=1129000 #constraints=4614
1624.82/1625.50	c nbDecision=1129500 #constraints=4614
1625.52/1626.22	c nbDecision=1130000 #constraints=4614
1626.22/1626.93	c nbDecision=1130500 #constraints=4614
1626.93/1627.64	c nbDecision=1131000 #constraints=4614
1627.63/1628.35	c nbDecision=1131500 #constraints=4614
1628.33/1629.07	c nbDecision=1132000 #constraints=4614
1629.02/1629.78	c nbDecision=1132500 #constraints=4614
1629.72/1630.49	c nbDecision=1133000 #constraints=4614
1630.42/1631.20	c nbDecision=1133500 #constraints=4614
1631.22/1631.90	c nbDecision=1134000 #constraints=4614
1631.92/1632.61	c nbDecision=1134500 #constraints=4614
1632.62/1633.33	c nbDecision=1135000 #constraints=4614
1633.32/1634.04	c nbDecision=1135500 #constraints=4614
1634.02/1634.75	c nbDecision=1136000 #constraints=4614
1634.72/1635.45	c nbDecision=1136500 #constraints=4614
1635.42/1636.16	c nbDecision=1137000 #constraints=4614
1636.13/1636.86	c nbDecision=1137500 #constraints=4614
1636.82/1637.56	c nbDecision=1138000 #constraints=4614
1637.52/1638.27	c nbDecision=1138500 #constraints=4614
1638.23/1638.97	c nbDecision=1139000 #constraints=4614
1638.92/1639.67	c nbDecision=1139500 #constraints=4614
1639.62/1640.37	c nbDecision=1140000 #constraints=4614
1640.32/1641.06	c nbDecision=1140500 #constraints=4614
1641.02/1641.76	c nbDecision=1141000 #constraints=4614
1641.82/1642.51	c nbDecision=1141500 #constraints=4615
1642.52/1643.25	c nbDecision=1142000 #constraints=4615
1643.22/1643.99	c nbDecision=1142500 #constraints=4615
1644.02/1644.74	c nbDecision=1143000 #constraints=4615
1644.72/1645.48	c nbDecision=1143500 #constraints=4615
1645.52/1646.22	c nbDecision=1144000 #constraints=4615
1646.22/1646.95	c nbDecision=1144500 #constraints=4615
1646.92/1647.69	c nbDecision=1145000 #constraints=4615
1647.72/1648.43	c nbDecision=1145500 #constraints=4615
1648.41/1649.16	c nbDecision=1146000 #constraints=4615
1649.11/1649.90	c nbDecision=1146500 #constraints=4615
1649.91/1650.63	c nbDecision=1147000 #constraints=4615
1650.61/1651.36	c nbDecision=1147500 #constraints=4615
1651.31/1652.09	c nbDecision=1148000 #constraints=4615
1652.11/1652.82	c nbDecision=1148500 #constraints=4615
1652.81/1653.55	c nbDecision=1149000 #constraints=4615
1653.51/1654.28	c nbDecision=1149500 #constraints=4615
1654.31/1655.01	c nbDecision=1150000 #constraints=4615
1655.01/1655.74	c nbDecision=1150500 #constraints=4615
1655.71/1656.47	c nbDecision=1151000 #constraints=4615
1656.51/1657.20	c nbDecision=1151500 #constraints=4615
1657.21/1657.92	c nbDecision=1152000 #constraints=4615
1657.91/1658.65	c nbDecision=1152500 #constraints=4615
1658.61/1659.37	c nbDecision=1153000 #constraints=4615
1659.41/1660.10	c nbDecision=1153500 #constraints=4615
1660.11/1660.82	c nbDecision=1154000 #constraints=4615
1660.81/1661.54	c nbDecision=1154500 #constraints=4615
1661.51/1662.26	c nbDecision=1155000 #constraints=4615
1662.21/1662.97	c nbDecision=1155500 #constraints=4615
1662.91/1663.67	c nbDecision=1156000 #constraints=4615
1663.61/1664.38	c nbDecision=1156500 #constraints=4615
1664.31/1665.09	c nbDecision=1157000 #constraints=4615
1665.01/1665.79	c nbDecision=1157500 #constraints=4615
1665.71/1666.50	c nbDecision=1158000 #constraints=4615
1666.51/1667.20	c nbDecision=1158500 #constraints=4615
1667.21/1667.90	c nbDecision=1159000 #constraints=4615
1667.81/1668.60	c nbDecision=1159500 #constraints=4615
1668.61/1669.30	c nbDecision=1160000 #constraints=4615
1669.31/1670.00	c nbDecision=1160500 #constraints=4615
1669.90/1670.69	c nbDecision=1161000 #constraints=4615
1670.60/1671.39	c nbDecision=1161500 #constraints=4615
1671.31/1672.08	c nbDecision=1162000 #constraints=4615
1672.00/1672.78	c nbDecision=1162500 #constraints=4615
1672.70/1673.47	c nbDecision=1163000 #constraints=4615
1673.41/1674.17	c nbDecision=1163500 #constraints=4615
1674.20/1674.91	c nbDecision=1164000 #constraints=4616
1674.90/1675.66	c nbDecision=1164500 #constraints=4616
1675.70/1676.41	c nbDecision=1165000 #constraints=4616
1676.40/1677.16	c nbDecision=1165500 #constraints=4616
1677.20/1677.90	c nbDecision=1166000 #constraints=4616
1677.90/1678.65	c nbDecision=1166500 #constraints=4616
1678.60/1679.40	c nbDecision=1167000 #constraints=4616
1679.40/1680.14	c nbDecision=1167500 #constraints=4616
1680.10/1680.88	c nbDecision=1168000 #constraints=4616
1680.90/1681.62	c nbDecision=1168500 #constraints=4616
1681.60/1682.36	c nbDecision=1169000 #constraints=4616
1682.30/1683.09	c nbDecision=1169500 #constraints=4616
1683.10/1683.83	c nbDecision=1170000 #constraints=4616
1683.80/1684.55	c nbDecision=1170500 #constraints=4616
1684.50/1685.28	c nbDecision=1171000 #constraints=4616
1685.30/1686.01	c nbDecision=1171500 #constraints=4616
1686.00/1686.74	c nbDecision=1172000 #constraints=4616
1686.70/1687.45	c nbDecision=1172500 #constraints=4616
1687.39/1688.17	c nbDecision=1173000 #constraints=4616
1688.09/1688.90	c nbDecision=1173500 #constraints=4616
1688.90/1689.62	c nbDecision=1174000 #constraints=4616
1689.59/1690.34	c nbDecision=1174500 #constraints=4616
1690.29/1691.05	c nbDecision=1175000 #constraints=4616
1691.00/1691.77	c nbDecision=1175500 #constraints=4616
1691.69/1692.49	c nbDecision=1176000 #constraints=4616
1692.49/1693.21	c nbDecision=1176500 #constraints=4616
1693.20/1693.93	c nbDecision=1177000 #constraints=4616
1693.89/1694.65	c nbDecision=1177500 #constraints=4616
1694.59/1695.36	c nbDecision=1178000 #constraints=4616
1695.29/1696.08	c nbDecision=1178500 #constraints=4616
1695.99/1696.79	c nbDecision=1179000 #constraints=4616
1696.79/1697.51	c nbDecision=1179500 #constraints=4616
1697.49/1698.22	c nbDecision=1180000 #constraints=4616
1698.19/1698.93	c nbDecision=1180500 #constraints=4616
1698.89/1699.64	c nbDecision=1181000 #constraints=4616
1699.59/1700.34	c nbDecision=1181500 #constraints=4616
1700.29/1701.05	c nbDecision=1182000 #constraints=4616
1700.99/1701.76	c nbDecision=1182500 #constraints=4616
1701.69/1702.46	c nbDecision=1183000 #constraints=4616
1702.39/1703.15	c nbDecision=1183500 #constraints=4616
1703.09/1703.85	c nbDecision=1184000 #constraints=4616
1703.79/1704.54	c nbDecision=1184500 #constraints=4616
1704.49/1705.23	c nbDecision=1185000 #constraints=4616
1705.19/1705.93	c nbDecision=1185500 #constraints=4616
1705.89/1706.61	c nbDecision=1186000 #constraints=4616
1706.59/1707.34	c nbDecision=1186500 #constraints=4617
1707.29/1708.09	c nbDecision=1187000 #constraints=4617
1708.08/1708.83	c nbDecision=1187500 #constraints=4617
1708.79/1709.57	c nbDecision=1188000 #constraints=4617
1709.58/1710.31	c nbDecision=1188500 #constraints=4617
1710.28/1711.05	c nbDecision=1189000 #constraints=4617
1710.98/1711.79	c nbDecision=1189500 #constraints=4617
1711.78/1712.53	c nbDecision=1190000 #constraints=4617
1712.48/1713.27	c nbDecision=1190500 #constraints=4617
1713.28/1714.02	c nbDecision=1191000 #constraints=4617
1713.98/1714.76	c nbDecision=1191500 #constraints=4617
1714.78/1715.50	c nbDecision=1192000 #constraints=4617
1715.48/1716.24	c nbDecision=1192500 #constraints=4617
1716.18/1716.97	c nbDecision=1193000 #constraints=4617
1716.98/1717.71	c nbDecision=1193500 #constraints=4617
1717.68/1718.44	c nbDecision=1194000 #constraints=4617
1718.38/1719.17	c nbDecision=1194500 #constraints=4617
1719.18/1719.90	c nbDecision=1195000 #constraints=4617
1719.88/1720.63	c nbDecision=1195500 #constraints=4617
1720.58/1721.36	c nbDecision=1196000 #constraints=4617
1721.28/1722.09	c nbDecision=1196500 #constraints=4617
1722.08/1722.81	c nbDecision=1197000 #constraints=4617
1722.79/1723.52	c nbDecision=1197500 #constraints=4617
1723.49/1724.23	c nbDecision=1198000 #constraints=4617
1724.19/1724.95	c nbDecision=1198500 #constraints=4617
1724.89/1725.67	c nbDecision=1199000 #constraints=4617
1725.59/1726.38	c nbDecision=1199500 #constraints=4617
1726.29/1727.09	c nbDecision=1200000 #constraints=4617
1727.09/1727.80	c nbDecision=1200500 #constraints=4617
1727.79/1728.51	c nbDecision=1201000 #constraints=4617
1728.49/1729.22	c nbDecision=1201500 #constraints=4617
1729.18/1729.92	c nbDecision=1202000 #constraints=4617
1729.88/1730.63	c nbDecision=1202500 #constraints=4617
1730.59/1731.33	c nbDecision=1203000 #constraints=4617
1731.28/1732.04	c nbDecision=1203500 #constraints=4617
1731.98/1732.74	c nbDecision=1204000 #constraints=4617
1732.68/1733.45	c nbDecision=1204500 #constraints=4617
1733.38/1734.15	c nbDecision=1205000 #constraints=4617
1734.08/1734.86	c nbDecision=1205500 #constraints=4617
1734.78/1735.56	c nbDecision=1206000 #constraints=4617
1735.48/1736.26	c nbDecision=1206500 #constraints=4617
1736.19/1736.96	c nbDecision=1207000 #constraints=4617
1736.88/1737.66	c nbDecision=1207500 #constraints=4617
1737.58/1738.36	c nbDecision=1208000 #constraints=4617
1738.28/1739.05	c nbDecision=1208500 #constraints=4617
1738.98/1739.75	c nbDecision=1209000 #constraints=4617
1739.78/1740.53	c nbDecision=1209500 #constraints=4618
1740.48/1741.28	c nbDecision=1210000 #constraints=4618
1741.28/1742.02	c nbDecision=1210500 #constraints=4618
1741.98/1742.76	c nbDecision=1211000 #constraints=4618
1742.68/1743.50	c nbDecision=1211500 #constraints=4618
1743.48/1744.22	c nbDecision=1212000 #constraints=4618
1744.18/1744.96	c nbDecision=1212500 #constraints=4618
1744.88/1745.69	c nbDecision=1213000 #constraints=4618
1745.68/1746.42	c nbDecision=1213500 #constraints=4618
1746.38/1747.15	c nbDecision=1214000 #constraints=4618
1747.08/1747.88	c nbDecision=1214500 #constraints=4618
1747.88/1748.61	c nbDecision=1215000 #constraints=4618
1748.58/1749.34	c nbDecision=1215500 #constraints=4618
1749.28/1750.06	c nbDecision=1216000 #constraints=4618
1749.98/1750.79	c nbDecision=1216500 #constraints=4618
1750.78/1751.51	c nbDecision=1217000 #constraints=4618
1751.48/1752.23	c nbDecision=1217500 #constraints=4618
1752.18/1752.96	c nbDecision=1218000 #constraints=4618
1752.87/1753.68	c nbDecision=1218500 #constraints=4618
1753.68/1754.40	c nbDecision=1219000 #constraints=4618
1754.38/1755.13	c nbDecision=1219500 #constraints=4618
1755.07/1755.85	c nbDecision=1220000 #constraints=4618
1755.77/1756.57	c nbDecision=1220500 #constraints=4618
1756.47/1757.29	c nbDecision=1221000 #constraints=4618
1757.27/1758.01	c nbDecision=1221500 #constraints=4618
1757.97/1758.72	c nbDecision=1222000 #constraints=4618
1758.67/1759.44	c nbDecision=1222500 #constraints=4618
1759.37/1760.15	c nbDecision=1223000 #constraints=4618
1760.07/1760.86	c nbDecision=1223500 #constraints=4618
1760.77/1761.57	c nbDecision=1224000 #constraints=4618
1761.48/1762.28	c nbDecision=1224500 #constraints=4618
1762.17/1762.98	c nbDecision=1225000 #constraints=4618
1762.87/1763.68	c nbDecision=1225500 #constraints=4618
1763.57/1764.38	c nbDecision=1226000 #constraints=4618
1764.27/1765.08	c nbDecision=1226500 #constraints=4618
1764.97/1765.77	c nbDecision=1227000 #constraints=4618
1765.67/1766.47	c nbDecision=1227500 #constraints=4618
1766.37/1767.16	c nbDecision=1228000 #constraints=4618
1767.07/1767.86	c nbDecision=1228500 #constraints=4618
1767.77/1768.55	c nbDecision=1229000 #constraints=4618
1768.47/1769.23	c nbDecision=1229500 #constraints=4618
1769.17/1769.92	c nbDecision=1230000 #constraints=4618
1769.87/1770.68	c nbDecision=1230500 #constraints=4619
1770.67/1771.42	c nbDecision=1231000 #constraints=4619
1771.37/1772.16	c nbDecision=1231500 #constraints=4619
1772.17/1772.91	c nbDecision=1232000 #constraints=4619
1772.87/1773.66	c nbDecision=1232500 #constraints=4619
1773.67/1774.40	c nbDecision=1233000 #constraints=4619
1774.37/1775.15	c nbDecision=1233500 #constraints=4619
1775.06/1775.89	c nbDecision=1234000 #constraints=4619
1775.86/1776.63	c nbDecision=1234500 #constraints=4619
1776.56/1777.37	c nbDecision=1235000 #constraints=4619
1777.36/1778.11	c nbDecision=1235500 #constraints=4619
1778.06/1778.85	c nbDecision=1236000 #constraints=4619
1778.76/1779.59	c nbDecision=1236500 #constraints=4619
1779.56/1780.32	c nbDecision=1237000 #constraints=4619
1780.26/1781.06	c nbDecision=1237500 #constraints=4619
1780.96/1781.79	c nbDecision=1238000 #constraints=4619
1781.76/1782.52	c nbDecision=1238500 #constraints=4619
1782.46/1783.25	c nbDecision=1239000 #constraints=4619
1783.16/1783.97	c nbDecision=1239500 #constraints=4619
1783.86/1784.69	c nbDecision=1240000 #constraints=4619
1784.66/1785.41	c nbDecision=1240500 #constraints=4619
1785.36/1786.13	c nbDecision=1241000 #constraints=4619
1786.06/1786.85	c nbDecision=1241500 #constraints=4619
1786.76/1787.56	c nbDecision=1242000 #constraints=4619
1787.46/1788.28	c nbDecision=1242500 #constraints=4619
1788.16/1788.98	c nbDecision=1243000 #constraints=4619
1788.86/1789.69	c nbDecision=1243500 #constraints=4619
1789.66/1790.40	c nbDecision=1244000 #constraints=4619
1790.36/1791.11	c nbDecision=1244500 #constraints=4619
1791.06/1791.82	c nbDecision=1245000 #constraints=4619
1791.76/1792.53	c nbDecision=1245500 #constraints=4619
1792.46/1793.24	c nbDecision=1246000 #constraints=4619
1793.16/1793.95	c nbDecision=1246500 #constraints=4619
1793.86/1794.66	c nbDecision=1247000 #constraints=4619
1794.56/1795.38	c nbDecision=1247500 #constraints=4619
1795.26/1796.08	c nbDecision=1248000 #constraints=4619
1795.96/1796.79	c nbDecision=1248500 #constraints=4619
1796.66/1797.49	c nbDecision=1249000 #constraints=4619
1797.46/1798.20	c nbDecision=1249500 #constraints=4619
1798.16/1798.90	c nbDecision=1250000 #constraints=4619
1798.86/1799.60	c nbDecision=1250500 #constraints=4619
1799.55/1800.30	c nbDecision=1251000 #constraints=4619
1800.06/1800.80	Received signal 15
1800.06/1800.80	
1800.06/1800.80	s UNKNOWN
1800.06/1800.80	
1800.06/1800.80	c user time= 1799.86 s
1800.06/1800.80	c system time= 0.215967 s
1800.06/1800.80	c wall clock time=1800.81

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node23/watcher-356907-1176847645 -o ROOT/results/node23/solver-356907-1176847645 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356907-1176847645/instance-356907-1176847645.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.71 0.91 0.92 3/77 29648
/proc/meminfo: memFree=1502712/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=1620 CPUtime=0
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132681646 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715171 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 405 175 126 317 0 84 0

[startup+0.0526379 s]
/proc/loadavg: 0.71 0.91 0.92 3/77 29648
/proc/meminfo: memFree=1502712/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=3560 CPUtime=0.05
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 539 0 0 0 5 0 0 0 18 0 1 0 132681646 3645440 424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 890 426 126 317 0 569 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3560

[startup+0.101648 s]
/proc/loadavg: 0.71 0.91 0.92 3/77 29648
/proc/meminfo: memFree=1502712/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=3440 CPUtime=0.1
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 791 0 0 0 10 0 0 0 18 0 1 0 132681646 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 860 546 127 317 0 539 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3440

[startup+0.301686 s]
/proc/loadavg: 0.71 0.91 0.92 3/77 29648
/proc/meminfo: memFree=1502712/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=7164 CPUtime=0.29
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 1708 0 0 0 29 0 0 0 19 0 1 0 132681646 7335936 1463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 1791 1464 131 317 0 1470 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7164

[startup+0.701764 s]
/proc/loadavg: 0.71 0.91 0.92 3/77 29648
/proc/meminfo: memFree=1502712/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=16140 CPUtime=0.69
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 3951 0 0 0 68 1 0 0 22 0 1 0 132681646 16527360 3706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 4035 3706 131 317 0 3714 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16140

[startup+1.50192 s]
/proc/loadavg: 0.71 0.91 0.92 2/78 29649
/proc/meminfo: memFree=1474864/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=31996 CPUtime=1.49
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 7932 0 0 0 146 3 0 0 25 0 1 0 132681646 32763904 7687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 7999 7687 137 317 0 7678 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31996

[startup+3.10123 s]
/proc/loadavg: 0.71 0.91 0.92 2/78 29649
/proc/meminfo: memFree=1472240/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=31996 CPUtime=3.09
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 7935 0 0 0 306 3 0 0 25 0 1 0 132681646 32763904 7690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 7999 7690 138 317 0 7678 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31996

[startup+6.30185 s]
/proc/loadavg: 0.73 0.91 0.92 2/78 29649
/proc/meminfo: memFree=1471984/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=31996 CPUtime=6.28
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 7937 0 0 0 625 3 0 0 25 0 1 0 132681646 32763904 7692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 7999 7692 138 317 0 7678 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 31996

[startup+12.7021 s]
/proc/loadavg: 0.76 0.91 0.92 2/78 29649
/proc/meminfo: memFree=1471920/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=31996 CPUtime=12.68
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 7940 0 0 0 1265 3 0 0 25 0 1 0 132681646 32763904 7695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 7999 7695 138 317 0 7678 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31996

[startup+25.5016 s]
/proc/loadavg: 0.81 0.91 0.92 2/78 29649
/proc/meminfo: memFree=1471984/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=31996 CPUtime=25.48
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 7945 0 0 0 2544 4 0 0 25 0 1 0 132681646 32763904 7700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 7999 7700 138 317 0 7678 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31996

[startup+51.1015 s]
/proc/loadavg: 0.87 0.92 0.92 2/78 29649
/proc/meminfo: memFree=1472048/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32124 CPUtime=51.07
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 7957 0 0 0 5103 4 0 0 25 0 1 0 132681646 32894976 7712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8031 7712 138 317 0 7710 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32124

[startup+102.305 s]
/proc/loadavg: 0.94 0.93 0.92 2/78 29649
/proc/meminfo: memFree=1471856/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=102.26
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 10221 5 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 32504

[startup+162.301 s]
/proc/loadavg: 0.98 0.94 0.92 2/78 29649
/proc/meminfo: memFree=1471856/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=162.23
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 16218 5 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 32504

[startup+222.302 s]
/proc/loadavg: 0.99 0.95 0.92 2/78 29649
/proc/meminfo: memFree=1471792/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=222.21
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 22215 6 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 32504

[startup+282.301 s]
/proc/loadavg: 0.99 0.95 0.92 2/78 29649
/proc/meminfo: memFree=1471792/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=282.18
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 28212 6 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 32504

[startup+342.302 s]
/proc/loadavg: 0.99 0.96 0.92 2/78 29649
/proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=342.16
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 34209 7 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 32504

[startup+402.302 s]
/proc/loadavg: 0.99 0.96 0.92 2/78 29649
/proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=402.14
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 40206 8 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 32504

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=462.11
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 46203 8 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 32504

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=522.09
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 52200 9 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 32504

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=582.06
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 58197 9 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 32504

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=642.04
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 64194 10 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 32504


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=821.97
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 82185 12 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 32504

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=881.93
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 88181 12 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 32504

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=941.91
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 94178 13 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 32504

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1001.89
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 100175 14 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 32504

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1061.86
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 106172 14 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 32504

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1121.84
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 112169 15 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 32504

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1181.81
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 118166 15 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 32504

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1241.78
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 124162 16 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 32504

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1301.77
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 130160 17 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 32504

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471600/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1361.73
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 136156 17 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 32504

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1421.72
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 142154 18 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 32504

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1481.68
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 148150 18 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 32504

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1541.66
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 154147 19 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7771 139 317 0 7805 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 32504

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471600/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1601.63
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8020 0 0 0 160144 19 0 0 25 0 1 0 132681646 33284096 7775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7775 139 317 0 7805 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 32504

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1661.61
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8023 0 0 0 166141 20 0 0 25 0 1 0 132681646 33284096 7778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7778 139 317 0 7805 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 32504

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471600/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1721.58
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8027 0 0 0 172138 20 0 0 25 0 1 0 132681646 33284096 7782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7782 139 317 0 7805 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 32504

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471600/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1781.56
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8031 0 0 0 178135 21 0 0 25 0 1 0 132681646 33284096 7786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7786 139 317 0 7805 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 32504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29649
/proc/meminfo: memFree=1471600/2055920 swapFree=4169224/4192956
[pid=29648] ppid=29646 vsize=32504 CPUtime=1800.06
/proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8031 0 0 0 179985 21 0 0 25 0 1 0 132681646 33284096 7786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29648/statm: 8126 7786 139 317 0 7805 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 32504

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

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

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

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

runsolver used 2.01669 second user time and 4.65729 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Tue Apr 17 22:07:25 UTC 2007

IDJOB= 356907
IDBENCH= 1620
IDSOLVER= 172
FILE ID= node23/356907-1176847645

PBS_JOBID= 4590217

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  8e9a545df4abbe3f7a2b003048b42200

RANDOM SEED= 908516024

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.276
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:       1503120 kB
Buffers:         48908 kB
Cached:         412176 kB
SwapCached:       2676 kB
Active:         290036 kB
Inactive:       193884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1503120 kB
SwapTotal:     4192956 kB
SwapFree:      4169224 kB
Dirty:            4800 kB
Writeback:           0 kB
Mapped:          30340 kB
Slab:            54440 kB
Committed_AS:  2392820 kB
PageTables:       1796 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= 66524 MiB

End job on node23 on Tue Apr 17 22:37:28 UTC 2007