Trace number 356902

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.11 1800.73

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-A2C1S1.opb
MD5SUMf1062f0a31768badc14bf5e03feddb4c
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.88	c ...done
0.79/0.88	c #vars=103872 #constraints=4561 hasObjective=yes
1.29/1.36	c res. mode=mod
1.29/1.36	c VSIDS like heuristics
1.29/1.36	c complete search running
1.99/2.10	c restart after 401 decisions
2.19/2.25	c nbDecision=500 #constraints=4561
2.69/2.70	c restart after 801 decisions
2.99/3.01	c nbDecision=1000 #constraints=4561
3.69/3.75	c nbDecision=1500 #constraints=4561
3.89/3.90	c restart after 1601 decisions
4.49/4.51	c nbDecision=2000 #constraints=4561
5.19/5.26	c nbDecision=2500 #constraints=4561
5.99/6.01	c nbDecision=3000 #constraints=4561
6.29/6.31	c restart after 3201 decisions
6.69/6.77	c nbDecision=3500 #constraints=4561
7.49/7.52	c nbDecision=4000 #constraints=4561
8.19/8.27	c nbDecision=4500 #constraints=4561
8.99/9.03	c nbDecision=5000 #constraints=4561
9.69/9.77	c nbDecision=5500 #constraints=4561
10.49/10.52	c nbDecision=6000 #constraints=4561
11.09/11.12	c restart after 6401 decisions
11.19/11.28	c nbDecision=6500 #constraints=4561
11.99/12.03	c nbDecision=7000 #constraints=4561
12.69/12.78	c nbDecision=7500 #constraints=4561
13.49/13.52	c nbDecision=8000 #constraints=4561
14.19/14.27	c nbDecision=8500 #constraints=4561
14.99/15.01	c nbDecision=9000 #constraints=4561
15.68/15.76	c nbDecision=9500 #constraints=4561
16.39/16.50	c nbDecision=10000 #constraints=4561
17.18/17.24	c nbDecision=10500 #constraints=4561
17.88/17.98	c nbDecision=11000 #constraints=4561
18.69/18.72	c nbDecision=11500 #constraints=4561
19.38/19.46	c nbDecision=12000 #constraints=4561
20.08/20.19	c nbDecision=12500 #constraints=4561
20.58/20.64	c restart after 12801 decisions
20.89/20.95	c nbDecision=13000 #constraints=4561
21.68/21.70	c nbDecision=13500 #constraints=4561
22.38/22.46	c nbDecision=14000 #constraints=4561
23.18/23.21	c nbDecision=14500 #constraints=4561
23.88/23.96	c nbDecision=15000 #constraints=4561
24.68/24.71	c nbDecision=15500 #constraints=4561
25.38/25.45	c nbDecision=16000 #constraints=4561
26.18/26.20	c nbDecision=16500 #constraints=4561
26.88/26.95	c nbDecision=17000 #constraints=4561
27.58/27.70	c nbDecision=17500 #constraints=4561
28.38/28.44	c nbDecision=18000 #constraints=4561
29.08/29.18	c nbDecision=18500 #constraints=4561
29.88/29.92	c nbDecision=19000 #constraints=4561
30.58/30.66	c nbDecision=19500 #constraints=4561
31.38/31.40	c nbDecision=20000 #constraints=4561
32.08/32.13	c nbDecision=20500 #constraints=4561
32.78/32.86	c nbDecision=21000 #constraints=4561
33.48/33.59	c nbDecision=21500 #constraints=4561
34.28/34.32	c nbDecision=22000 #constraints=4561
34.98/35.03	c nbDecision=22500 #constraints=4561
35.68/35.75	c nbDecision=23000 #constraints=4561
36.38/36.48	c nbDecision=23500 #constraints=4561
37.18/37.20	c nbDecision=24000 #constraints=4561
37.88/37.93	c nbDecision=24500 #constraints=4561
38.58/38.64	c nbDecision=25000 #constraints=4561
39.28/39.36	c nbDecision=25500 #constraints=4561
39.48/39.51	c restart after 25601 decisions
40.08/40.12	c nbDecision=26000 #constraints=4561
40.78/40.87	c nbDecision=26500 #constraints=4561
41.58/41.61	c nbDecision=27000 #constraints=4561
42.28/42.36	c nbDecision=27500 #constraints=4561
43.08/43.11	c nbDecision=28000 #constraints=4561
43.77/43.85	c nbDecision=28500 #constraints=4561
44.58/44.60	c nbDecision=29000 #constraints=4561
45.27/45.34	c nbDecision=29500 #constraints=4561
45.97/46.09	c nbDecision=30000 #constraints=4561
46.77/46.84	c nbDecision=30500 #constraints=4561
47.47/47.57	c nbDecision=31000 #constraints=4561
48.28/48.32	c nbDecision=31500 #constraints=4561
48.97/49.06	c nbDecision=32000 #constraints=4561
49.77/49.80	c nbDecision=32500 #constraints=4561
50.48/50.53	c nbDecision=33000 #constraints=4561
51.17/51.27	c nbDecision=33500 #constraints=4561
51.87/51.99	c nbDecision=34000 #constraints=4561
52.68/52.72	c nbDecision=34500 #constraints=4561
53.37/53.44	c nbDecision=35000 #constraints=4561
54.07/54.16	c nbDecision=35500 #constraints=4561
54.77/54.88	c nbDecision=36000 #constraints=4561
55.47/55.60	c nbDecision=36500 #constraints=4561
56.27/56.31	c nbDecision=37000 #constraints=4561
56.97/57.04	c nbDecision=37500 #constraints=4561
57.67/57.76	c nbDecision=38000 #constraints=4561
58.37/58.47	c nbDecision=38500 #constraints=4561
59.07/59.19	c nbDecision=39000 #constraints=4561
59.87/59.91	c nbDecision=39500 #constraints=4561
60.57/60.61	c nbDecision=40000 #constraints=4561
61.27/61.33	c nbDecision=40500 #constraints=4561
61.97/62.05	c nbDecision=41000 #constraints=4561
62.67/62.77	c nbDecision=41500 #constraints=4561
63.37/63.48	c nbDecision=42000 #constraints=4561
64.07/64.20	c nbDecision=42500 #constraints=4561
64.87/64.91	c nbDecision=43000 #constraints=4561
65.57/65.63	c nbDecision=43500 #constraints=4561
66.27/66.34	c nbDecision=44000 #constraints=4561
66.97/67.05	c nbDecision=44500 #constraints=4561
67.67/67.76	c nbDecision=45000 #constraints=4561
68.37/68.47	c nbDecision=45500 #constraints=4561
69.07/69.18	c nbDecision=46000 #constraints=4561
69.77/69.89	c nbDecision=46500 #constraints=4561
70.47/70.59	c nbDecision=47000 #constraints=4561
71.17/71.29	c nbDecision=47500 #constraints=4561
71.87/71.99	c nbDecision=48000 #constraints=4561
72.57/72.68	c nbDecision=48500 #constraints=4561
73.27/73.37	c nbDecision=49000 #constraints=4561
73.97/74.07	c nbDecision=49500 #constraints=4561
74.67/74.76	c nbDecision=50000 #constraints=4561
75.37/75.45	c nbDecision=50500 #constraints=4561
76.17/76.24	c nbDecision=51000 #constraints=4562
76.47/76.53	c restart after 51201 decisions
76.87/76.99	c nbDecision=51500 #constraints=4562
77.66/77.73	c nbDecision=52000 #constraints=4562
78.36/78.48	c nbDecision=52500 #constraints=4562
79.17/79.23	c nbDecision=53000 #constraints=4562
79.86/79.97	c nbDecision=53500 #constraints=4562
80.66/80.71	c nbDecision=54000 #constraints=4562
81.37/81.45	c nbDecision=54500 #constraints=4562
82.16/82.20	c nbDecision=55000 #constraints=4562
82.86/82.93	c nbDecision=55500 #constraints=4562
83.57/83.68	c nbDecision=56000 #constraints=4562
84.36/84.43	c nbDecision=56500 #constraints=4562
85.06/85.17	c nbDecision=57000 #constraints=4562
85.86/85.91	c nbDecision=57500 #constraints=4562
86.56/86.65	c nbDecision=58000 #constraints=4562
87.26/87.39	c nbDecision=58500 #constraints=4562
88.06/88.11	c nbDecision=59000 #constraints=4562
88.76/88.85	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.76	c nbDecision=61500 #constraints=4562
92.36/92.48	c nbDecision=62000 #constraints=4562
93.16/93.21	c nbDecision=62500 #constraints=4562
93.86/93.92	c nbDecision=63000 #constraints=4562
94.56/94.64	c nbDecision=63500 #constraints=4562
95.26/95.36	c nbDecision=64000 #constraints=4562
95.96/96.08	c nbDecision=64500 #constraints=4562
96.66/96.80	c nbDecision=65000 #constraints=4562
97.46/97.52	c nbDecision=65500 #constraints=4562
98.16/98.24	c nbDecision=66000 #constraints=4562
98.86/98.95	c nbDecision=66500 #constraints=4562
99.56/99.66	c nbDecision=67000 #constraints=4562
100.26/100.37	c nbDecision=67500 #constraints=4562
100.96/101.08	c nbDecision=68000 #constraints=4562
101.66/101.79	c nbDecision=68500 #constraints=4562
102.46/102.51	c nbDecision=69000 #constraints=4562
103.16/103.23	c nbDecision=69500 #constraints=4562
103.86/103.94	c nbDecision=70000 #constraints=4562
104.56/104.65	c nbDecision=70500 #constraints=4562
105.26/105.36	c nbDecision=71000 #constraints=4562
105.97/106.08	c nbDecision=71500 #constraints=4562
106.67/106.78	c nbDecision=72000 #constraints=4562
107.37/107.49	c nbDecision=72500 #constraints=4562
108.07/108.19	c nbDecision=73000 #constraints=4562
108.77/108.89	c nbDecision=73500 #constraints=4562
109.47/109.59	c nbDecision=74000 #constraints=4562
110.17/110.29	c nbDecision=74500 #constraints=4562
110.87/110.99	c nbDecision=75000 #constraints=4562
111.57/111.67	c nbDecision=75500 #constraints=4562
112.26/112.36	c nbDecision=76000 #constraints=4562
112.97/113.08	c nbDecision=76500 #constraints=4563
113.76/113.81	c nbDecision=77000 #constraints=4563
114.46/114.53	c nbDecision=77500 #constraints=4563
115.16/115.25	c nbDecision=78000 #constraints=4563
115.86/115.96	c nbDecision=78500 #constraints=4563
116.57/116.68	c nbDecision=79000 #constraints=4563
117.36/117.40	c nbDecision=79500 #constraints=4563
118.06/118.12	c nbDecision=80000 #constraints=4563
118.77/118.84	c nbDecision=80500 #constraints=4563
119.46/119.55	c nbDecision=81000 #constraints=4563
120.16/120.27	c nbDecision=81500 #constraints=4563
120.87/120.98	c nbDecision=82000 #constraints=4563
121.56/121.69	c nbDecision=82500 #constraints=4563
122.36/122.40	c nbDecision=83000 #constraints=4563
123.07/123.12	c nbDecision=83500 #constraints=4563
123.76/123.83	c nbDecision=84000 #constraints=4563
124.46/124.54	c nbDecision=84500 #constraints=4563
125.16/125.25	c nbDecision=85000 #constraints=4563
125.86/125.97	c nbDecision=85500 #constraints=4563
126.56/126.68	c nbDecision=86000 #constraints=4563
127.26/127.38	c nbDecision=86500 #constraints=4563
127.96/128.09	c nbDecision=87000 #constraints=4563
128.66/128.79	c nbDecision=87500 #constraints=4563
129.36/129.49	c nbDecision=88000 #constraints=4563
130.06/130.19	c nbDecision=88500 #constraints=4563
130.76/130.89	c nbDecision=89000 #constraints=4563
131.46/131.58	c nbDecision=89500 #constraints=4563
132.16/132.27	c nbDecision=90000 #constraints=4563
132.86/132.96	c nbDecision=90500 #constraints=4563
133.56/133.65	c nbDecision=91000 #constraints=4563
134.26/134.33	c nbDecision=91500 #constraints=4563
134.96/135.07	c nbDecision=92000 #constraints=4564
135.66/135.79	c nbDecision=92500 #constraints=4564
136.46/136.50	c nbDecision=93000 #constraints=4564
137.16/137.22	c nbDecision=93500 #constraints=4564
137.86/137.94	c nbDecision=94000 #constraints=4564
138.56/138.64	c nbDecision=94500 #constraints=4564
139.26/139.36	c nbDecision=95000 #constraints=4564
139.96/140.07	c nbDecision=95500 #constraints=4564
140.66/140.79	c nbDecision=96000 #constraints=4564
141.46/141.50	c nbDecision=96500 #constraints=4564
142.16/142.22	c nbDecision=97000 #constraints=4564
142.86/142.94	c nbDecision=97500 #constraints=4564
143.56/143.64	c nbDecision=98000 #constraints=4564
144.25/144.36	c nbDecision=98500 #constraints=4564
144.95/145.07	c nbDecision=99000 #constraints=4564
145.65/145.78	c nbDecision=99500 #constraints=4564
146.35/146.49	c nbDecision=100000 #constraints=4564
147.15/147.20	c nbDecision=100500 #constraints=4564
147.85/147.91	c nbDecision=101000 #constraints=4564
148.55/148.61	c nbDecision=101500 #constraints=4564
149.25/149.30	c nbDecision=102000 #constraints=4564
149.75/149.86	c restart after 102401 decisions
149.95/150.04	c nbDecision=102500 #constraints=4564
150.66/150.79	c nbDecision=103000 #constraints=4564
151.45/151.54	c nbDecision=103500 #constraints=4564
152.15/152.29	c nbDecision=104000 #constraints=4564
152.95/153.03	c nbDecision=104500 #constraints=4564
153.65/153.76	c nbDecision=105000 #constraints=4564
154.45/154.50	c nbDecision=105500 #constraints=4564
155.15/155.24	c nbDecision=106000 #constraints=4564
155.85/155.98	c nbDecision=106500 #constraints=4564
156.65/156.72	c nbDecision=107000 #constraints=4564
157.35/157.46	c nbDecision=107500 #constraints=4564
158.05/158.19	c nbDecision=108000 #constraints=4564
158.85/158.91	c nbDecision=108500 #constraints=4564
159.55/159.64	c nbDecision=109000 #constraints=4564
160.25/160.38	c nbDecision=109500 #constraints=4564
161.05/161.11	c nbDecision=110000 #constraints=4564
161.75/161.84	c nbDecision=110500 #constraints=4564
162.45/162.57	c nbDecision=111000 #constraints=4564
163.25/163.30	c nbDecision=111500 #constraints=4564
163.95/164.03	c nbDecision=112000 #constraints=4564
164.65/164.76	c nbDecision=112500 #constraints=4564
165.35/165.48	c nbDecision=113000 #constraints=4564
166.15/166.21	c nbDecision=113500 #constraints=4564
166.85/166.93	c nbDecision=114000 #constraints=4564
167.55/167.65	c nbDecision=114500 #constraints=4564
168.25/168.37	c nbDecision=115000 #constraints=4564
168.95/169.09	c nbDecision=115500 #constraints=4564
169.75/169.82	c nbDecision=116000 #constraints=4564
170.45/170.54	c nbDecision=116500 #constraints=4564
171.15/171.26	c nbDecision=117000 #constraints=4564
171.85/171.97	c nbDecision=117500 #constraints=4564
172.55/172.69	c nbDecision=118000 #constraints=4564
173.35/173.40	c nbDecision=118500 #constraints=4564
174.04/174.10	c nbDecision=119000 #constraints=4564
174.75/174.82	c nbDecision=119500 #constraints=4564
175.44/175.52	c nbDecision=120000 #constraints=4564
176.14/176.23	c nbDecision=120500 #constraints=4564
176.84/176.94	c nbDecision=121000 #constraints=4564
177.54/177.64	c nbDecision=121500 #constraints=4564
178.24/178.35	c nbDecision=122000 #constraints=4564
178.94/179.05	c nbDecision=122500 #constraints=4564
179.64/179.75	c nbDecision=123000 #constraints=4564
180.35/180.45	c nbDecision=123500 #constraints=4564
181.04/181.14	c nbDecision=124000 #constraints=4564
181.74/181.83	c nbDecision=124500 #constraints=4564
182.45/182.53	c nbDecision=125000 #constraints=4564
183.14/183.23	c nbDecision=125500 #constraints=4564
183.84/183.92	c nbDecision=126000 #constraints=4564
184.54/184.62	c nbDecision=126500 #constraints=4564
185.24/185.31	c nbDecision=127000 #constraints=4564
185.94/186.01	c nbDecision=127500 #constraints=4564
186.64/186.76	c nbDecision=128000 #constraints=4565
187.34/187.49	c nbDecision=128500 #constraints=4565
188.14/188.22	c nbDecision=129000 #constraints=4565
188.84/188.95	c nbDecision=129500 #constraints=4565
189.54/189.67	c nbDecision=130000 #constraints=4565
190.25/190.39	c nbDecision=130500 #constraints=4565
191.04/191.12	c nbDecision=131000 #constraints=4565
191.74/191.83	c nbDecision=131500 #constraints=4565
192.44/192.54	c nbDecision=132000 #constraints=4565
193.14/193.25	c nbDecision=132500 #constraints=4565
193.84/193.95	c nbDecision=133000 #constraints=4565
194.54/194.66	c nbDecision=133500 #constraints=4565
195.24/195.37	c nbDecision=134000 #constraints=4565
195.94/196.07	c nbDecision=134500 #constraints=4565
196.64/196.78	c nbDecision=135000 #constraints=4565
197.34/197.49	c nbDecision=135500 #constraints=4565
198.14/198.20	c nbDecision=136000 #constraints=4565
198.84/198.90	c nbDecision=136500 #constraints=4565
199.54/199.60	c nbDecision=137000 #constraints=4565
200.24/200.30	c nbDecision=137500 #constraints=4565
200.94/201.01	c nbDecision=138000 #constraints=4565
201.64/201.71	c nbDecision=138500 #constraints=4565
202.34/202.41	c nbDecision=139000 #constraints=4565
203.04/203.12	c nbDecision=139500 #constraints=4565
203.74/203.82	c nbDecision=140000 #constraints=4565
204.44/204.52	c nbDecision=140500 #constraints=4565
205.14/205.21	c nbDecision=141000 #constraints=4565
205.84/205.90	c nbDecision=141500 #constraints=4565
206.44/206.59	c nbDecision=142000 #constraints=4565
207.14/207.29	c nbDecision=142500 #constraints=4565
207.94/208.02	c nbDecision=143000 #constraints=4566
208.64/208.75	c nbDecision=143500 #constraints=4566
209.34/209.46	c nbDecision=144000 #constraints=4566
210.04/210.18	c nbDecision=144500 #constraints=4566
210.83/210.90	c nbDecision=145000 #constraints=4566
211.53/211.61	c nbDecision=145500 #constraints=4566
212.24/212.33	c nbDecision=146000 #constraints=4566
212.93/213.05	c nbDecision=146500 #constraints=4566
213.63/213.76	c nbDecision=147000 #constraints=4566
214.34/214.46	c nbDecision=147500 #constraints=4566
215.03/215.17	c nbDecision=148000 #constraints=4566
215.73/215.88	c nbDecision=148500 #constraints=4566
216.43/216.58	c nbDecision=149000 #constraints=4566
217.13/217.29	c nbDecision=149500 #constraints=4566
217.83/217.99	c nbDecision=150000 #constraints=4566
218.53/218.69	c nbDecision=150500 #constraints=4566
219.23/219.39	c nbDecision=151000 #constraints=4566
219.94/220.08	c nbDecision=151500 #constraints=4566
220.63/220.77	c nbDecision=152000 #constraints=4566
221.33/221.47	c nbDecision=152500 #constraints=4566
222.04/222.16	c nbDecision=153000 #constraints=4566
222.73/222.86	c nbDecision=153500 #constraints=4566
223.43/223.56	c nbDecision=154000 #constraints=4566
224.13/224.26	c nbDecision=154500 #constraints=4566
224.83/224.96	c nbDecision=155000 #constraints=4566
225.53/225.69	c nbDecision=155500 #constraints=4567
226.33/226.41	c nbDecision=156000 #constraints=4567
227.03/227.13	c nbDecision=156500 #constraints=4567
227.73/227.84	c nbDecision=157000 #constraints=4567
228.43/228.56	c nbDecision=157500 #constraints=4567
229.13/229.27	c nbDecision=158000 #constraints=4567
229.83/229.99	c nbDecision=158500 #constraints=4567
230.53/230.69	c nbDecision=159000 #constraints=4567
231.33/231.40	c nbDecision=159500 #constraints=4567
232.03/232.10	c nbDecision=160000 #constraints=4567
232.73/232.81	c nbDecision=160500 #constraints=4567
233.43/233.51	c nbDecision=161000 #constraints=4567
234.13/234.21	c nbDecision=161500 #constraints=4567
234.83/234.91	c nbDecision=162000 #constraints=4567
235.53/235.61	c nbDecision=162500 #constraints=4567
236.23/236.30	c nbDecision=163000 #constraints=4567
236.93/237.00	c nbDecision=163500 #constraints=4567
237.53/237.69	c nbDecision=164000 #constraints=4567
238.22/238.38	c nbDecision=164500 #constraints=4567
238.92/239.07	c nbDecision=165000 #constraints=4567
239.63/239.77	c nbDecision=165500 #constraints=4567
240.32/240.46	c nbDecision=166000 #constraints=4567
241.02/241.14	c nbDecision=166500 #constraints=4567
241.72/241.89	c nbDecision=167000 #constraints=4568
242.52/242.62	c nbDecision=167500 #constraints=4568
243.22/243.35	c nbDecision=168000 #constraints=4568
243.92/244.08	c nbDecision=168500 #constraints=4568
244.72/244.80	c nbDecision=169000 #constraints=4568
245.42/245.53	c nbDecision=169500 #constraints=4568
246.12/246.26	c nbDecision=170000 #constraints=4568
246.82/246.98	c nbDecision=170500 #constraints=4568
247.62/247.71	c nbDecision=171000 #constraints=4568
248.32/248.43	c nbDecision=171500 #constraints=4568
249.02/249.14	c nbDecision=172000 #constraints=4568
249.72/249.85	c nbDecision=172500 #constraints=4568
250.42/250.56	c nbDecision=173000 #constraints=4568
251.12/251.28	c nbDecision=173500 #constraints=4568
251.82/251.98	c nbDecision=174000 #constraints=4568
252.52/252.69	c nbDecision=174500 #constraints=4568
253.22/253.39	c nbDecision=175000 #constraints=4568
253.92/254.10	c nbDecision=175500 #constraints=4568
254.72/254.80	c nbDecision=176000 #constraints=4568
255.42/255.50	c nbDecision=176500 #constraints=4568
256.12/256.20	c nbDecision=177000 #constraints=4568
256.72/256.90	c nbDecision=177500 #constraints=4568
257.42/257.58	c nbDecision=178000 #constraints=4568
258.12/258.27	c nbDecision=178500 #constraints=4568
258.82/258.96	c nbDecision=179000 #constraints=4568
259.52/259.65	c nbDecision=179500 #constraints=4568
260.22/260.33	c nbDecision=180000 #constraints=4568
260.92/261.03	c nbDecision=180500 #constraints=4568
261.62/261.72	c nbDecision=181000 #constraints=4568
262.32/262.41	c nbDecision=181500 #constraints=4568
263.02/263.15	c nbDecision=182000 #constraints=4569
263.72/263.87	c nbDecision=182500 #constraints=4569
264.52/264.60	c nbDecision=183000 #constraints=4569
265.22/265.32	c nbDecision=183500 #constraints=4569
265.92/266.05	c nbDecision=184000 #constraints=4569
266.62/266.76	c nbDecision=184500 #constraints=4569
267.32/267.48	c nbDecision=185000 #constraints=4569
268.12/268.20	c nbDecision=185500 #constraints=4569
268.82/268.91	c nbDecision=186000 #constraints=4569
269.52/269.63	c nbDecision=186500 #constraints=4569
270.22/270.34	c nbDecision=187000 #constraints=4569
270.92/271.04	c nbDecision=187500 #constraints=4569
271.62/271.74	c nbDecision=188000 #constraints=4569
272.32/272.44	c nbDecision=188500 #constraints=4569
273.02/273.14	c nbDecision=189000 #constraints=4569
273.72/273.84	c nbDecision=189500 #constraints=4569
274.41/274.54	c nbDecision=190000 #constraints=4569
275.11/275.24	c nbDecision=190500 #constraints=4569
275.81/275.93	c nbDecision=191000 #constraints=4569
276.51/276.62	c nbDecision=191500 #constraints=4569
277.21/277.32	c nbDecision=192000 #constraints=4569
277.91/278.00	c nbDecision=192500 #constraints=4569
278.51/278.70	c nbDecision=193000 #constraints=4569
279.22/279.38	c nbDecision=193500 #constraints=4569
279.91/280.07	c nbDecision=194000 #constraints=4569
280.71/280.80	c nbDecision=194500 #constraints=4570
281.42/281.53	c nbDecision=195000 #constraints=4570
282.11/282.26	c nbDecision=195500 #constraints=4570
282.81/282.97	c nbDecision=196000 #constraints=4570
283.61/283.70	c nbDecision=196500 #constraints=4570
284.31/284.42	c nbDecision=197000 #constraints=4570
285.01/285.15	c nbDecision=197500 #constraints=4570
285.71/285.87	c nbDecision=198000 #constraints=4570
286.41/286.59	c nbDecision=198500 #constraints=4570
287.21/287.31	c nbDecision=199000 #constraints=4570
287.91/288.03	c nbDecision=199500 #constraints=4570
288.61/288.74	c nbDecision=200000 #constraints=4570
289.31/289.45	c nbDecision=200500 #constraints=4570
290.01/290.16	c nbDecision=201000 #constraints=4570
290.71/290.86	c nbDecision=201500 #constraints=4570
291.41/291.57	c nbDecision=202000 #constraints=4570
292.11/292.28	c nbDecision=202500 #constraints=4570
292.81/292.98	c nbDecision=203000 #constraints=4570
293.51/293.68	c nbDecision=203500 #constraints=4570
294.21/294.37	c nbDecision=204000 #constraints=4570
294.91/295.06	c nbDecision=204500 #constraints=4570
295.31/295.48	c restart after 204801 decisions
295.71/295.80	c nbDecision=205000 #constraints=4570
296.41/296.54	c nbDecision=205500 #constraints=4570
297.11/297.29	c nbDecision=206000 #constraints=4570
297.91/298.03	c nbDecision=206500 #constraints=4570
298.61/298.78	c nbDecision=207000 #constraints=4570
299.41/299.52	c nbDecision=207500 #constraints=4570
300.11/300.26	c nbDecision=208000 #constraints=4570
300.91/301.01	c nbDecision=208500 #constraints=4570
301.61/301.75	c nbDecision=209000 #constraints=4570
302.31/302.50	c nbDecision=209500 #constraints=4570
303.10/303.24	c nbDecision=210000 #constraints=4570
303.80/303.99	c nbDecision=210500 #constraints=4570
304.61/304.73	c nbDecision=211000 #constraints=4570
305.30/305.48	c nbDecision=211500 #constraints=4570
306.10/306.22	c nbDecision=212000 #constraints=4570
306.81/306.96	c nbDecision=212500 #constraints=4570
307.60/307.70	c nbDecision=213000 #constraints=4570
308.30/308.44	c nbDecision=213500 #constraints=4570
309.01/309.17	c nbDecision=214000 #constraints=4570
309.80/309.90	c nbDecision=214500 #constraints=4570
310.50/310.63	c nbDecision=215000 #constraints=4570
311.21/311.36	c nbDecision=215500 #constraints=4570
311.90/312.07	c nbDecision=216000 #constraints=4570
312.60/312.78	c nbDecision=216500 #constraints=4570
313.31/313.49	c nbDecision=217000 #constraints=4570
314.10/314.20	c nbDecision=217500 #constraints=4570
314.80/314.92	c nbDecision=218000 #constraints=4570
315.51/315.63	c nbDecision=218500 #constraints=4570
316.20/316.34	c nbDecision=219000 #constraints=4570
316.90/317.06	c nbDecision=219500 #constraints=4570
317.60/317.77	c nbDecision=220000 #constraints=4570
318.30/318.48	c nbDecision=220500 #constraints=4570
319.00/319.19	c nbDecision=221000 #constraints=4570
319.80/319.90	c nbDecision=221500 #constraints=4570
320.50/320.61	c nbDecision=222000 #constraints=4570
321.20/321.32	c nbDecision=222500 #constraints=4570
321.90/322.04	c nbDecision=223000 #constraints=4570
322.60/322.75	c nbDecision=223500 #constraints=4570
323.30/323.46	c nbDecision=224000 #constraints=4570
324.00/324.17	c nbDecision=224500 #constraints=4570
324.70/324.88	c nbDecision=225000 #constraints=4570
325.40/325.58	c nbDecision=225500 #constraints=4570
326.09/326.27	c nbDecision=226000 #constraints=4570
326.80/326.98	c nbDecision=226500 #constraints=4570
327.49/327.67	c nbDecision=227000 #constraints=4570
328.19/328.37	c nbDecision=227500 #constraints=4570
328.89/329.07	c nbDecision=228000 #constraints=4570
329.59/329.76	c nbDecision=228500 #constraints=4570
330.29/330.45	c nbDecision=229000 #constraints=4570
331.00/331.14	c nbDecision=229500 #constraints=4570
331.69/331.86	c nbDecision=230000 #constraints=4571
332.39/332.58	c nbDecision=230500 #constraints=4571
333.20/333.31	c nbDecision=231000 #constraints=4571
333.89/334.03	c nbDecision=231500 #constraints=4571
334.59/334.74	c nbDecision=232000 #constraints=4571
335.30/335.47	c nbDecision=232500 #constraints=4571
335.99/336.18	c nbDecision=233000 #constraints=4571
336.79/336.90	c nbDecision=233500 #constraints=4571
337.50/337.62	c nbDecision=234000 #constraints=4571
338.19/338.32	c nbDecision=234500 #constraints=4571
338.89/339.03	c nbDecision=235000 #constraints=4571
339.59/339.74	c nbDecision=235500 #constraints=4571
340.29/340.45	c nbDecision=236000 #constraints=4571
340.99/341.17	c nbDecision=236500 #constraints=4571
341.69/341.88	c nbDecision=237000 #constraints=4571
342.49/342.60	c nbDecision=237500 #constraints=4571
343.19/343.31	c nbDecision=238000 #constraints=4571
343.89/344.03	c nbDecision=238500 #constraints=4571
344.59/344.73	c nbDecision=239000 #constraints=4571
345.29/345.44	c nbDecision=239500 #constraints=4571
345.99/346.15	c nbDecision=240000 #constraints=4571
346.69/346.86	c nbDecision=240500 #constraints=4571
347.39/347.56	c nbDecision=241000 #constraints=4571
348.09/348.26	c nbDecision=241500 #constraints=4571
348.79/348.96	c nbDecision=242000 #constraints=4571
349.49/349.66	c nbDecision=242500 #constraints=4571
350.19/350.36	c nbDecision=243000 #constraints=4571
350.89/351.06	c nbDecision=243500 #constraints=4571
351.59/351.74	c nbDecision=244000 #constraints=4571
352.29/352.43	c nbDecision=244500 #constraints=4571
352.99/353.11	c nbDecision=245000 #constraints=4571
353.68/353.85	c nbDecision=245500 #constraints=4572
354.38/354.58	c nbDecision=246000 #constraints=4572
355.19/355.30	c nbDecision=246500 #constraints=4572
355.88/356.01	c nbDecision=247000 #constraints=4572
356.58/356.73	c nbDecision=247500 #constraints=4572
357.29/357.45	c nbDecision=248000 #constraints=4572
357.98/358.16	c nbDecision=248500 #constraints=4572
358.68/358.86	c nbDecision=249000 #constraints=4572
359.38/359.58	c nbDecision=249500 #constraints=4572
360.08/360.29	c nbDecision=250000 #constraints=4572
360.78/360.99	c nbDecision=250500 #constraints=4572
361.58/361.71	c nbDecision=251000 #constraints=4572
362.28/362.42	c nbDecision=251500 #constraints=4572
362.98/363.14	c nbDecision=252000 #constraints=4572
363.68/363.85	c nbDecision=252500 #constraints=4572
364.38/364.57	c nbDecision=253000 #constraints=4572
365.08/365.28	c nbDecision=253500 #constraints=4572
365.78/365.98	c nbDecision=254000 #constraints=4572
366.48/366.69	c nbDecision=254500 #constraints=4572
367.28/367.40	c nbDecision=255000 #constraints=4572
367.98/368.11	c nbDecision=255500 #constraints=4572
368.68/368.82	c nbDecision=256000 #constraints=4572
369.38/369.52	c nbDecision=256500 #constraints=4572
370.08/370.21	c nbDecision=257000 #constraints=4572
370.78/370.91	c nbDecision=257500 #constraints=4572
371.48/371.60	c nbDecision=258000 #constraints=4572
372.08/372.29	c nbDecision=258500 #constraints=4572
372.78/372.98	c nbDecision=259000 #constraints=4572
373.48/373.66	c nbDecision=259500 #constraints=4572
374.18/374.35	c nbDecision=260000 #constraints=4572
374.88/375.09	c nbDecision=260500 #constraints=4573
375.68/375.81	c nbDecision=261000 #constraints=4573
376.38/376.53	c nbDecision=261500 #constraints=4573
377.08/377.25	c nbDecision=262000 #constraints=4573
377.78/377.97	c nbDecision=262500 #constraints=4573
378.48/378.68	c nbDecision=263000 #constraints=4573
379.18/379.39	c nbDecision=263500 #constraints=4573
379.88/380.09	c nbDecision=264000 #constraints=4573
380.68/380.80	c nbDecision=264500 #constraints=4573
381.38/381.51	c nbDecision=265000 #constraints=4573
382.07/382.22	c nbDecision=265500 #constraints=4573
382.77/382.93	c nbDecision=266000 #constraints=4573
383.47/383.63	c nbDecision=266500 #constraints=4573
384.17/384.34	c nbDecision=267000 #constraints=4573
384.88/385.05	c nbDecision=267500 #constraints=4573
385.57/385.76	c nbDecision=268000 #constraints=4573
386.27/386.48	c nbDecision=268500 #constraints=4573
386.98/387.18	c nbDecision=269000 #constraints=4573
387.67/387.89	c nbDecision=269500 #constraints=4573
388.37/388.60	c nbDecision=270000 #constraints=4573
389.07/389.30	c nbDecision=270500 #constraints=4573
389.77/389.99	c nbDecision=271000 #constraints=4573
390.48/390.69	c nbDecision=271500 #constraints=4573
391.18/391.38	c nbDecision=272000 #constraints=4573
391.88/392.06	c nbDecision=272500 #constraints=4573
392.58/392.75	c nbDecision=273000 #constraints=4573
393.28/393.43	c nbDecision=273500 #constraints=4573
393.98/394.15	c nbDecision=274000 #constraints=4574
394.68/394.88	c nbDecision=274500 #constraints=4574
395.48/395.60	c nbDecision=275000 #constraints=4574
396.18/396.32	c nbDecision=275500 #constraints=4574
396.88/397.04	c nbDecision=276000 #constraints=4574
397.58/397.77	c nbDecision=276500 #constraints=4574
398.28/398.48	c nbDecision=277000 #constraints=4574
398.98/399.20	c nbDecision=277500 #constraints=4574
399.78/399.91	c nbDecision=278000 #constraints=4574
400.48/400.62	c nbDecision=278500 #constraints=4574
401.18/401.33	c nbDecision=279000 #constraints=4574
401.87/402.04	c nbDecision=279500 #constraints=4574
402.57/402.76	c nbDecision=280000 #constraints=4574
403.27/403.46	c nbDecision=280500 #constraints=4574
403.97/404.17	c nbDecision=281000 #constraints=4574
404.68/404.88	c nbDecision=281500 #constraints=4574
405.37/405.59	c nbDecision=282000 #constraints=4574
406.17/406.30	c nbDecision=282500 #constraints=4574
406.88/407.01	c nbDecision=283000 #constraints=4574
407.57/407.72	c nbDecision=283500 #constraints=4574
408.27/408.43	c nbDecision=284000 #constraints=4574
408.98/409.14	c nbDecision=284500 #constraints=4574
409.67/409.84	c nbDecision=285000 #constraints=4574
410.37/410.53	c nbDecision=285500 #constraints=4574
411.07/411.23	c nbDecision=286000 #constraints=4574
411.77/411.93	c nbDecision=286500 #constraints=4574
412.47/412.62	c nbDecision=287000 #constraints=4574
413.17/413.31	c nbDecision=287500 #constraints=4574
413.77/413.99	c nbDecision=288000 #constraints=4574
414.47/414.68	c nbDecision=288500 #constraints=4574
415.27/415.41	c nbDecision=289000 #constraints=4575
415.97/416.12	c nbDecision=289500 #constraints=4575
416.67/416.83	c nbDecision=290000 #constraints=4575
417.37/417.55	c nbDecision=290500 #constraints=4575
418.07/418.27	c nbDecision=291000 #constraints=4575
418.77/418.98	c nbDecision=291500 #constraints=4575
419.47/419.69	c nbDecision=292000 #constraints=4575
420.27/420.40	c nbDecision=292500 #constraints=4575
420.97/421.10	c nbDecision=293000 #constraints=4575
421.67/421.81	c nbDecision=293500 #constraints=4575
422.37/422.51	c nbDecision=294000 #constraints=4575
423.07/423.22	c nbDecision=294500 #constraints=4575
423.77/423.93	c nbDecision=295000 #constraints=4575
424.47/424.63	c nbDecision=295500 #constraints=4575
425.17/425.34	c nbDecision=296000 #constraints=4575
425.87/426.05	c nbDecision=296500 #constraints=4575
426.57/426.76	c nbDecision=297000 #constraints=4575
427.27/427.47	c nbDecision=297500 #constraints=4575
427.97/428.17	c nbDecision=298000 #constraints=4575
428.67/428.86	c nbDecision=298500 #constraints=4575
429.37/429.56	c nbDecision=299000 #constraints=4575
430.06/430.25	c nbDecision=299500 #constraints=4575
430.76/430.94	c nbDecision=300000 #constraints=4575
431.46/431.64	c nbDecision=300500 #constraints=4575
432.17/432.32	c nbDecision=301000 #constraints=4575
432.86/433.06	c nbDecision=301500 #constraints=4576
433.56/433.77	c nbDecision=302000 #constraints=4576
434.27/434.49	c nbDecision=302500 #constraints=4576
435.06/435.22	c nbDecision=303000 #constraints=4576
435.76/435.94	c nbDecision=303500 #constraints=4576
436.47/436.66	c nbDecision=304000 #constraints=4576
437.16/437.38	c nbDecision=304500 #constraints=4576
437.96/438.10	c nbDecision=305000 #constraints=4576
438.66/438.81	c nbDecision=305500 #constraints=4576
439.36/439.53	c nbDecision=306000 #constraints=4576
440.06/440.24	c nbDecision=306500 #constraints=4576
440.76/440.95	c nbDecision=307000 #constraints=4576
441.46/441.66	c nbDecision=307500 #constraints=4576
442.16/442.37	c nbDecision=308000 #constraints=4576
442.86/443.08	c nbDecision=308500 #constraints=4576
443.56/443.78	c nbDecision=309000 #constraints=4576
444.26/444.48	c nbDecision=309500 #constraints=4576
444.96/445.19	c nbDecision=310000 #constraints=4576
445.76/445.90	c nbDecision=310500 #constraints=4576
446.46/446.60	c nbDecision=311000 #constraints=4576
447.16/447.31	c nbDecision=311500 #constraints=4576
447.86/448.01	c nbDecision=312000 #constraints=4576
448.56/448.71	c nbDecision=312500 #constraints=4576
449.26/449.42	c nbDecision=313000 #constraints=4576
449.96/450.12	c nbDecision=313500 #constraints=4576
450.66/450.81	c nbDecision=314000 #constraints=4576
451.36/451.51	c nbDecision=314500 #constraints=4576
451.96/452.19	c nbDecision=315000 #constraints=4576
452.66/452.87	c nbDecision=315500 #constraints=4576
453.35/453.56	c nbDecision=316000 #constraints=4576
454.16/454.36	c nbDecision=316500 #constraints=4577
454.95/455.11	c nbDecision=317000 #constraints=4577
455.65/455.85	c nbDecision=317500 #constraints=4577
456.36/456.59	c nbDecision=318000 #constraints=4577
457.15/457.34	c nbDecision=318500 #constraints=4577
457.85/458.08	c nbDecision=319000 #constraints=4577
458.65/458.81	c nbDecision=319500 #constraints=4577
459.35/459.55	c nbDecision=320000 #constraints=4577
460.05/460.29	c nbDecision=320500 #constraints=4577
460.85/461.03	c nbDecision=321000 #constraints=4577
461.55/461.77	c nbDecision=321500 #constraints=4577
462.35/462.51	c nbDecision=322000 #constraints=4577
463.05/463.25	c nbDecision=322500 #constraints=4577
463.75/463.98	c nbDecision=323000 #constraints=4577
464.55/464.72	c nbDecision=323500 #constraints=4577
465.25/465.45	c nbDecision=324000 #constraints=4577
465.95/466.19	c nbDecision=324500 #constraints=4577
466.75/466.92	c nbDecision=325000 #constraints=4577
467.45/467.65	c nbDecision=325500 #constraints=4577
468.15/468.39	c nbDecision=326000 #constraints=4577
468.95/469.11	c nbDecision=326500 #constraints=4577
469.65/469.84	c nbDecision=327000 #constraints=4577
470.35/470.57	c nbDecision=327500 #constraints=4577
471.05/471.29	c nbDecision=328000 #constraints=4577
471.85/472.01	c nbDecision=328500 #constraints=4577
472.55/472.73	c nbDecision=329000 #constraints=4577
473.25/473.44	c nbDecision=329500 #constraints=4577
473.95/474.15	c nbDecision=330000 #constraints=4577
474.65/474.85	c nbDecision=330500 #constraints=4577
475.35/475.57	c nbDecision=331000 #constraints=4577
476.05/476.27	c nbDecision=331500 #constraints=4577
476.75/476.97	c nbDecision=332000 #constraints=4577
477.44/477.68	c nbDecision=332500 #constraints=4577
478.14/478.38	c nbDecision=333000 #constraints=4577
478.84/479.08	c nbDecision=333500 #constraints=4577
479.54/479.79	c nbDecision=334000 #constraints=4577
480.24/480.49	c nbDecision=334500 #constraints=4577
480.94/481.19	c nbDecision=335000 #constraints=4577
481.65/481.90	c nbDecision=335500 #constraints=4577
482.34/482.59	c nbDecision=336000 #constraints=4577
483.04/483.29	c nbDecision=336500 #constraints=4577
483.75/483.99	c nbDecision=337000 #constraints=4577
484.44/484.68	c nbDecision=337500 #constraints=4577
485.14/485.38	c nbDecision=338000 #constraints=4577
485.84/486.08	c nbDecision=338500 #constraints=4577
486.54/486.77	c nbDecision=339000 #constraints=4577
487.24/487.47	c nbDecision=339500 #constraints=4577
488.04/488.24	c nbDecision=340000 #constraints=4578
488.74/488.98	c nbDecision=340500 #constraints=4578
489.54/489.73	c nbDecision=341000 #constraints=4578
490.24/490.48	c nbDecision=341500 #constraints=4578
491.04/491.22	c nbDecision=342000 #constraints=4578
491.74/491.96	c nbDecision=342500 #constraints=4578
492.55/492.70	c nbDecision=343000 #constraints=4578
493.24/493.44	c nbDecision=343500 #constraints=4578
493.94/494.18	c nbDecision=344000 #constraints=4578
494.74/494.91	c nbDecision=344500 #constraints=4578
495.44/495.65	c nbDecision=345000 #constraints=4578
496.14/496.38	c nbDecision=345500 #constraints=4578
496.94/497.11	c nbDecision=346000 #constraints=4578
497.64/497.84	c nbDecision=346500 #constraints=4578
498.34/498.57	c nbDecision=347000 #constraints=4578
499.04/499.30	c nbDecision=347500 #constraints=4578
499.84/500.03	c nbDecision=348000 #constraints=4578
500.54/500.75	c nbDecision=348500 #constraints=4578
501.24/501.48	c nbDecision=349000 #constraints=4578
502.04/502.21	c nbDecision=349500 #constraints=4578
502.74/502.94	c nbDecision=350000 #constraints=4578
503.44/503.66	c nbDecision=350500 #constraints=4578
504.14/504.39	c nbDecision=351000 #constraints=4578
504.94/505.12	c nbDecision=351500 #constraints=4578
505.64/505.84	c nbDecision=352000 #constraints=4578
506.34/506.56	c nbDecision=352500 #constraints=4578
507.04/507.28	c nbDecision=353000 #constraints=4578
507.84/508.00	c nbDecision=353500 #constraints=4578
508.54/508.72	c nbDecision=354000 #constraints=4578
509.24/509.43	c nbDecision=354500 #constraints=4578
509.94/510.14	c nbDecision=355000 #constraints=4578
510.64/510.84	c nbDecision=355500 #constraints=4578
511.34/511.55	c nbDecision=356000 #constraints=4578
512.04/512.25	c nbDecision=356500 #constraints=4578
512.74/512.96	c nbDecision=357000 #constraints=4578
513.44/513.66	c nbDecision=357500 #constraints=4578
514.13/514.36	c nbDecision=358000 #constraints=4578
514.83/515.06	c nbDecision=358500 #constraints=4578
515.53/515.75	c nbDecision=359000 #constraints=4578
516.23/516.44	c nbDecision=359500 #constraints=4578
516.93/517.13	c nbDecision=360000 #constraints=4578
517.63/517.83	c nbDecision=360500 #constraints=4578
518.33/518.52	c nbDecision=361000 #constraints=4578
519.04/519.21	c nbDecision=361500 #constraints=4578
519.73/519.90	c nbDecision=362000 #constraints=4578
520.33/520.58	c nbDecision=362500 #constraints=4578
521.14/521.31	c nbDecision=363000 #constraints=4579
521.83/522.06	c nbDecision=363500 #constraints=4579
522.63/522.81	c nbDecision=364000 #constraints=4579
523.34/523.56	c nbDecision=364500 #constraints=4579
524.13/524.31	c nbDecision=365000 #constraints=4579
524.83/525.05	c nbDecision=365500 #constraints=4579
525.53/525.80	c nbDecision=366000 #constraints=4579
526.33/526.54	c nbDecision=366500 #constraints=4579
527.03/527.29	c nbDecision=367000 #constraints=4579
527.83/528.03	c nbDecision=367500 #constraints=4579
528.53/528.78	c nbDecision=368000 #constraints=4579
529.33/529.52	c nbDecision=368500 #constraints=4579
530.03/530.26	c nbDecision=369000 #constraints=4579
530.73/531.00	c nbDecision=369500 #constraints=4579
531.53/531.73	c nbDecision=370000 #constraints=4579
532.23/532.46	c nbDecision=370500 #constraints=4579
532.93/533.19	c nbDecision=371000 #constraints=4579
533.73/533.91	c nbDecision=371500 #constraints=4579
534.43/534.64	c nbDecision=372000 #constraints=4579
535.13/535.36	c nbDecision=372500 #constraints=4579
535.83/536.08	c nbDecision=373000 #constraints=4579
536.53/536.80	c nbDecision=373500 #constraints=4579
537.33/537.52	c nbDecision=374000 #constraints=4579
538.03/538.24	c nbDecision=374500 #constraints=4579
538.73/538.96	c nbDecision=375000 #constraints=4579
539.43/539.67	c nbDecision=375500 #constraints=4579
540.12/540.39	c nbDecision=376000 #constraints=4579
540.83/541.10	c nbDecision=376500 #constraints=4579
541.62/541.80	c nbDecision=377000 #constraints=4579
542.32/542.51	c nbDecision=377500 #constraints=4579
543.02/543.22	c nbDecision=378000 #constraints=4579
543.72/543.92	c nbDecision=378500 #constraints=4579
544.42/544.63	c nbDecision=379000 #constraints=4579
545.12/545.33	c nbDecision=379500 #constraints=4579
545.82/546.05	c nbDecision=380000 #constraints=4579
546.53/546.76	c nbDecision=380500 #constraints=4579
547.22/547.47	c nbDecision=381000 #constraints=4579
547.92/548.18	c nbDecision=381500 #constraints=4579
548.63/548.88	c nbDecision=382000 #constraints=4579
549.32/549.58	c nbDecision=382500 #constraints=4579
550.02/550.28	c nbDecision=383000 #constraints=4579
550.72/550.98	c nbDecision=383500 #constraints=4579
551.42/551.67	c nbDecision=384000 #constraints=4579
552.12/552.37	c nbDecision=384500 #constraints=4579
552.82/553.06	c nbDecision=385000 #constraints=4579
553.52/553.74	c nbDecision=385500 #constraints=4579
554.22/554.42	c nbDecision=386000 #constraints=4579
554.92/555.16	c nbDecision=386500 #constraints=4580
555.62/555.89	c nbDecision=387000 #constraints=4580
556.42/556.62	c nbDecision=387500 #constraints=4580
557.12/557.35	c nbDecision=388000 #constraints=4580
557.82/558.08	c nbDecision=388500 #constraints=4580
558.62/558.81	c nbDecision=389000 #constraints=4580
559.32/559.53	c nbDecision=389500 #constraints=4580
560.02/560.26	c nbDecision=390000 #constraints=4580
560.72/560.98	c nbDecision=390500 #constraints=4580
561.52/561.71	c nbDecision=391000 #constraints=4580
562.22/562.44	c nbDecision=391500 #constraints=4580
562.92/563.16	c nbDecision=392000 #constraints=4580
563.62/563.89	c nbDecision=392500 #constraints=4580
564.42/564.61	c nbDecision=393000 #constraints=4580
565.12/565.33	c nbDecision=393500 #constraints=4580
565.82/566.04	c nbDecision=394000 #constraints=4580
566.52/566.76	c nbDecision=394500 #constraints=4580
567.22/567.46	c nbDecision=395000 #constraints=4580
567.92/568.18	c nbDecision=395500 #constraints=4580
568.62/568.89	c nbDecision=396000 #constraints=4580
569.42/569.60	c nbDecision=396500 #constraints=4580
570.12/570.31	c nbDecision=397000 #constraints=4580
570.82/571.02	c nbDecision=397500 #constraints=4580
571.52/571.73	c nbDecision=398000 #constraints=4580
572.22/572.43	c nbDecision=398500 #constraints=4580
572.92/573.14	c nbDecision=399000 #constraints=4580
573.61/573.83	c nbDecision=399500 #constraints=4580
574.31/574.53	c nbDecision=400000 #constraints=4580
575.02/575.21	c nbDecision=400500 #constraints=4580
575.71/575.90	c nbDecision=401000 #constraints=4580
576.31/576.59	c nbDecision=401500 #constraints=4580
577.01/577.28	c nbDecision=402000 #constraints=4580
577.71/577.97	c nbDecision=402500 #constraints=4580
578.42/578.65	c nbDecision=403000 #constraints=4580
579.11/579.34	c nbDecision=403500 #constraints=4580
579.81/580.03	c nbDecision=404000 #constraints=4580
580.52/580.76	c nbDecision=404500 #constraints=4581
581.31/581.50	c nbDecision=405000 #constraints=4581
582.01/582.24	c nbDecision=405500 #constraints=4581
582.72/582.97	c nbDecision=406000 #constraints=4581
583.51/583.70	c nbDecision=406500 #constraints=4581
584.21/584.44	c nbDecision=407000 #constraints=4581
584.91/585.17	c nbDecision=407500 #constraints=4581
585.61/585.90	c nbDecision=408000 #constraints=4581
586.41/586.63	c nbDecision=408500 #constraints=4581
587.11/587.36	c nbDecision=409000 #constraints=4581
587.81/588.08	c nbDecision=409500 #constraints=4581
588.01/588.23	c restart after 409601 decisions
588.61/588.85	c nbDecision=410000 #constraints=4581
589.41/589.61	c nbDecision=410500 #constraints=4581
590.11/590.35	c nbDecision=411000 #constraints=4581
590.91/591.11	c nbDecision=411500 #constraints=4581
591.61/591.86	c nbDecision=412000 #constraints=4581
592.41/592.60	c nbDecision=412500 #constraints=4581
593.11/593.34	c nbDecision=413000 #constraints=4581
593.81/594.08	c nbDecision=413500 #constraints=4581
594.61/594.83	c nbDecision=414000 #constraints=4581
595.31/595.56	c nbDecision=414500 #constraints=4581
596.11/596.30	c nbDecision=415000 #constraints=4581
596.81/597.03	c nbDecision=415500 #constraints=4581
597.50/597.77	c nbDecision=416000 #constraints=4581
598.30/598.50	c nbDecision=416500 #constraints=4581
599.00/599.23	c nbDecision=417000 #constraints=4581
599.70/599.97	c nbDecision=417500 #constraints=4581
600.50/600.70	c nbDecision=418000 #constraints=4581
601.20/601.43	c nbDecision=418500 #constraints=4581
601.90/602.17	c nbDecision=419000 #constraints=4581
602.70/602.90	c nbDecision=419500 #constraints=4581
603.40/603.64	c nbDecision=420000 #constraints=4581
604.10/604.37	c nbDecision=420500 #constraints=4581
604.90/605.10	c nbDecision=421000 #constraints=4581
605.60/605.82	c nbDecision=421500 #constraints=4581
606.30/606.55	c nbDecision=422000 #constraints=4581
607.00/607.27	c nbDecision=422500 #constraints=4581
607.80/608.00	c nbDecision=423000 #constraints=4581
608.50/608.73	c nbDecision=423500 #constraints=4581
609.20/609.45	c nbDecision=424000 #constraints=4581
609.90/610.17	c nbDecision=424500 #constraints=4581
610.60/610.89	c nbDecision=425000 #constraints=4581
611.30/611.60	c nbDecision=425500 #constraints=4581
612.10/612.30	c nbDecision=426000 #constraints=4581
612.80/613.01	c nbDecision=426500 #constraints=4581
613.50/613.72	c nbDecision=427000 #constraints=4581
614.19/614.41	c nbDecision=427500 #constraints=4581
614.89/615.11	c nbDecision=428000 #constraints=4581
615.59/615.82	c nbDecision=428500 #constraints=4581
616.29/616.51	c nbDecision=429000 #constraints=4581
616.99/617.22	c nbDecision=429500 #constraints=4581
617.69/617.92	c nbDecision=430000 #constraints=4581
618.39/618.62	c nbDecision=430500 #constraints=4581
619.10/619.31	c nbDecision=431000 #constraints=4581
619.69/619.99	c nbDecision=431500 #constraints=4581
620.39/620.69	c nbDecision=432000 #constraints=4581
621.09/621.38	c nbDecision=432500 #constraints=4581
621.79/622.08	c nbDecision=433000 #constraints=4581
622.49/622.77	c nbDecision=433500 #constraints=4581
623.19/623.47	c nbDecision=434000 #constraints=4581
623.89/624.16	c nbDecision=434500 #constraints=4581
624.69/624.90	c nbDecision=435000 #constraints=4582
625.39/625.64	c nbDecision=435500 #constraints=4582
626.09/626.38	c nbDecision=436000 #constraints=4582
626.89/627.11	c nbDecision=436500 #constraints=4582
627.59/627.85	c nbDecision=437000 #constraints=4582
628.29/628.58	c nbDecision=437500 #constraints=4582
629.09/629.32	c nbDecision=438000 #constraints=4582
629.79/630.05	c nbDecision=438500 #constraints=4582
630.49/630.78	c nbDecision=439000 #constraints=4582
631.29/631.51	c nbDecision=439500 #constraints=4582
631.99/632.23	c nbDecision=440000 #constraints=4582
632.69/632.95	c nbDecision=440500 #constraints=4582
633.39/633.67	c nbDecision=441000 #constraints=4582
634.09/634.39	c nbDecision=441500 #constraints=4582
634.89/635.11	c nbDecision=442000 #constraints=4582
635.59/635.82	c nbDecision=442500 #constraints=4582
636.29/636.53	c nbDecision=443000 #constraints=4582
636.99/637.24	c nbDecision=443500 #constraints=4582
637.69/637.94	c nbDecision=444000 #constraints=4582
638.38/638.64	c nbDecision=444500 #constraints=4582
639.08/639.35	c nbDecision=445000 #constraints=4582
639.78/640.06	c nbDecision=445500 #constraints=4582
640.48/640.76	c nbDecision=446000 #constraints=4582
641.18/641.47	c nbDecision=446500 #constraints=4582
641.88/642.18	c nbDecision=447000 #constraints=4582
642.58/642.89	c nbDecision=447500 #constraints=4582
643.38/643.60	c nbDecision=448000 #constraints=4582
644.08/644.31	c nbDecision=448500 #constraints=4582
644.78/645.01	c nbDecision=449000 #constraints=4582
645.48/645.72	c nbDecision=449500 #constraints=4582
646.18/646.42	c nbDecision=450000 #constraints=4582
646.88/647.12	c nbDecision=450500 #constraints=4582
647.58/647.82	c nbDecision=451000 #constraints=4582
648.28/648.52	c nbDecision=451500 #constraints=4582
648.98/649.22	c nbDecision=452000 #constraints=4582
649.68/649.96	c nbDecision=452500 #constraints=4583
650.48/650.71	c nbDecision=453000 #constraints=4583
651.18/651.46	c nbDecision=453500 #constraints=4583
651.98/652.20	c nbDecision=454000 #constraints=4583
652.68/652.94	c nbDecision=454500 #constraints=4583
653.38/653.69	c nbDecision=455000 #constraints=4583
654.18/654.43	c nbDecision=455500 #constraints=4583
654.87/655.15	c nbDecision=456000 #constraints=4583
655.57/655.89	c nbDecision=456500 #constraints=4583
656.38/656.63	c nbDecision=457000 #constraints=4583
657.07/657.36	c nbDecision=457500 #constraints=4583
657.87/658.10	c nbDecision=458000 #constraints=4583
658.58/658.83	c nbDecision=458500 #constraints=4583
659.27/659.56	c nbDecision=459000 #constraints=4583
659.97/660.29	c nbDecision=459500 #constraints=4583
660.78/661.02	c nbDecision=460000 #constraints=4583
661.47/661.75	c nbDecision=460500 #constraints=4583
662.17/662.48	c nbDecision=461000 #constraints=4583
662.98/663.21	c nbDecision=461500 #constraints=4583
663.67/663.95	c nbDecision=462000 #constraints=4583
664.37/664.67	c nbDecision=462500 #constraints=4583
665.17/665.40	c nbDecision=463000 #constraints=4583
665.87/666.13	c nbDecision=463500 #constraints=4583
666.57/666.86	c nbDecision=464000 #constraints=4583
667.27/667.58	c nbDecision=464500 #constraints=4583
668.07/668.32	c nbDecision=465000 #constraints=4583
668.77/669.04	c nbDecision=465500 #constraints=4583
669.47/669.76	c nbDecision=466000 #constraints=4583
670.17/670.48	c nbDecision=466500 #constraints=4583
670.87/671.20	c nbDecision=467000 #constraints=4583
671.57/671.90	c nbDecision=467500 #constraints=4583
672.27/672.59	c nbDecision=468000 #constraints=4583
672.97/673.29	c nbDecision=468500 #constraints=4583
673.67/674.00	c nbDecision=469000 #constraints=4583
674.37/674.69	c nbDecision=469500 #constraints=4583
675.07/675.39	c nbDecision=470000 #constraints=4583
675.77/676.09	c nbDecision=470500 #constraints=4583
676.47/676.78	c nbDecision=471000 #constraints=4583
677.17/677.48	c nbDecision=471500 #constraints=4583
677.86/678.18	c nbDecision=472000 #constraints=4583
678.56/678.87	c nbDecision=472500 #constraints=4583
679.26/679.56	c nbDecision=473000 #constraints=4583
679.96/680.25	c nbDecision=473500 #constraints=4583
680.67/680.94	c nbDecision=474000 #constraints=4583
681.36/681.64	c nbDecision=474500 #constraints=4583
682.06/682.33	c nbDecision=475000 #constraints=4583
682.77/683.01	c nbDecision=475500 #constraints=4583
683.46/683.77	c nbDecision=476000 #constraints=4584
684.26/684.52	c nbDecision=476500 #constraints=4584
684.97/685.25	c nbDecision=477000 #constraints=4584
685.66/686.00	c nbDecision=477500 #constraints=4584
686.46/686.73	c nbDecision=478000 #constraints=4584
687.17/687.47	c nbDecision=478500 #constraints=4584
687.96/688.21	c nbDecision=479000 #constraints=4584
688.66/688.94	c nbDecision=479500 #constraints=4584
689.37/689.68	c nbDecision=480000 #constraints=4584
690.16/690.42	c nbDecision=480500 #constraints=4584
690.86/691.15	c nbDecision=481000 #constraints=4584
691.56/691.88	c nbDecision=481500 #constraints=4584
692.36/692.61	c nbDecision=482000 #constraints=4584
693.06/693.33	c nbDecision=482500 #constraints=4584
693.76/694.06	c nbDecision=483000 #constraints=4584
694.46/694.78	c nbDecision=483500 #constraints=4584
695.26/695.50	c nbDecision=484000 #constraints=4584
695.96/696.22	c nbDecision=484500 #constraints=4584
696.66/696.94	c nbDecision=485000 #constraints=4584
697.36/697.65	c nbDecision=485500 #constraints=4584
698.06/698.37	c nbDecision=486000 #constraints=4584
698.76/699.08	c nbDecision=486500 #constraints=4584
699.46/699.80	c nbDecision=487000 #constraints=4584
700.26/700.51	c nbDecision=487500 #constraints=4584
700.96/701.22	c nbDecision=488000 #constraints=4584
701.66/701.93	c nbDecision=488500 #constraints=4584
702.35/702.64	c nbDecision=489000 #constraints=4584
703.06/703.36	c nbDecision=489500 #constraints=4584
703.76/704.07	c nbDecision=490000 #constraints=4584
704.45/704.77	c nbDecision=490500 #constraints=4584
705.16/705.48	c nbDecision=491000 #constraints=4584
705.87/706.19	c nbDecision=491500 #constraints=4584
706.66/706.90	c nbDecision=492000 #constraints=4584
707.36/707.60	c nbDecision=492500 #constraints=4584
708.07/708.31	c nbDecision=493000 #constraints=4584
708.76/709.01	c nbDecision=493500 #constraints=4584
709.46/709.71	c nbDecision=494000 #constraints=4584
710.16/710.41	c nbDecision=494500 #constraints=4584
710.86/711.11	c nbDecision=495000 #constraints=4584
711.56/711.81	c nbDecision=495500 #constraints=4584
712.26/712.51	c nbDecision=496000 #constraints=4584
712.96/713.28	c nbDecision=496500 #constraints=4585
713.76/714.02	c nbDecision=497000 #constraints=4585
714.46/714.76	c nbDecision=497500 #constraints=4585
715.26/715.50	c nbDecision=498000 #constraints=4585
715.96/716.24	c nbDecision=498500 #constraints=4585
716.66/716.98	c nbDecision=499000 #constraints=4585
717.46/717.72	c nbDecision=499500 #constraints=4585
718.16/718.46	c nbDecision=500000 #constraints=4585
718.96/719.20	c nbDecision=500500 #constraints=4585
719.66/719.93	c nbDecision=501000 #constraints=4585
720.36/720.67	c nbDecision=501500 #constraints=4585
721.16/721.40	c nbDecision=502000 #constraints=4585
721.86/722.14	c nbDecision=502500 #constraints=4585
722.56/722.88	c nbDecision=503000 #constraints=4585
723.36/723.61	c nbDecision=503500 #constraints=4585
724.06/724.35	c nbDecision=504000 #constraints=4585
724.76/725.08	c nbDecision=504500 #constraints=4585
725.56/725.81	c nbDecision=505000 #constraints=4585
726.26/726.54	c nbDecision=505500 #constraints=4585
726.96/727.28	c nbDecision=506000 #constraints=4585
727.76/728.01	c nbDecision=506500 #constraints=4585
728.45/728.74	c nbDecision=507000 #constraints=4585
729.15/729.46	c nbDecision=507500 #constraints=4585
729.85/730.19	c nbDecision=508000 #constraints=4585
730.65/730.91	c nbDecision=508500 #constraints=4585
731.35/731.63	c nbDecision=509000 #constraints=4585
732.05/732.34	c nbDecision=509500 #constraints=4585
732.75/733.06	c nbDecision=510000 #constraints=4585
733.46/733.77	c nbDecision=510500 #constraints=4585
734.15/734.48	c nbDecision=511000 #constraints=4585
734.85/735.18	c nbDecision=511500 #constraints=4585
735.56/735.89	c nbDecision=512000 #constraints=4585
736.25/736.60	c nbDecision=512500 #constraints=4585
737.05/737.30	c nbDecision=513000 #constraints=4585
737.76/738.01	c nbDecision=513500 #constraints=4585
738.45/738.71	c nbDecision=514000 #constraints=4585
739.15/739.41	c nbDecision=514500 #constraints=4585
739.85/740.10	c nbDecision=515000 #constraints=4585
740.55/740.80	c nbDecision=515500 #constraints=4585
741.25/741.50	c nbDecision=516000 #constraints=4585
741.95/742.21	c nbDecision=516500 #constraints=4585
742.65/742.91	c nbDecision=517000 #constraints=4585
743.35/743.61	c nbDecision=517500 #constraints=4585
744.05/744.31	c nbDecision=518000 #constraints=4585
744.75/745.01	c nbDecision=518500 #constraints=4585
745.45/745.70	c nbDecision=519000 #constraints=4585
746.15/746.47	c nbDecision=519500 #constraints=4586
746.95/747.23	c nbDecision=520000 #constraints=4586
747.65/747.96	c nbDecision=520500 #constraints=4586
748.45/748.71	c nbDecision=521000 #constraints=4586
749.15/749.46	c nbDecision=521500 #constraints=4586
749.85/750.19	c nbDecision=522000 #constraints=4586
750.65/750.94	c nbDecision=522500 #constraints=4586
751.35/751.68	c nbDecision=523000 #constraints=4586
752.15/752.42	c nbDecision=523500 #constraints=4586
752.85/753.15	c nbDecision=524000 #constraints=4586
753.55/753.89	c nbDecision=524500 #constraints=4586
754.35/754.62	c nbDecision=525000 #constraints=4586
755.05/755.35	c nbDecision=525500 #constraints=4586
755.75/756.08	c nbDecision=526000 #constraints=4586
756.55/756.81	c nbDecision=526500 #constraints=4586
757.24/757.54	c nbDecision=527000 #constraints=4586
757.94/758.27	c nbDecision=527500 #constraints=4586
758.65/758.99	c nbDecision=528000 #constraints=4586
759.44/759.72	c nbDecision=528500 #constraints=4586
760.14/760.44	c nbDecision=529000 #constraints=4586
760.85/761.16	c nbDecision=529500 #constraints=4586
761.54/761.89	c nbDecision=530000 #constraints=4586
762.34/762.62	c nbDecision=530500 #constraints=4586
763.05/763.34	c nbDecision=531000 #constraints=4586
763.74/764.07	c nbDecision=531500 #constraints=4586
764.44/764.79	c nbDecision=532000 #constraints=4586
765.25/765.51	c nbDecision=532500 #constraints=4586
765.94/766.23	c nbDecision=533000 #constraints=4586
766.64/766.95	c nbDecision=533500 #constraints=4586
767.34/767.67	c nbDecision=534000 #constraints=4586
768.04/768.38	c nbDecision=534500 #constraints=4586
768.84/769.10	c nbDecision=535000 #constraints=4586
769.54/769.81	c nbDecision=535500 #constraints=4586
770.24/770.52	c nbDecision=536000 #constraints=4586
770.94/771.23	c nbDecision=536500 #constraints=4586
771.64/771.94	c nbDecision=537000 #constraints=4586
772.34/772.64	c nbDecision=537500 #constraints=4586
773.04/773.34	c nbDecision=538000 #constraints=4586
773.74/774.04	c nbDecision=538500 #constraints=4586
774.44/774.74	c nbDecision=539000 #constraints=4586
775.14/775.42	c nbDecision=539500 #constraints=4586
775.84/776.12	c nbDecision=540000 #constraints=4586
776.54/776.81	c nbDecision=540500 #constraints=4586
777.14/777.50	c nbDecision=541000 #constraints=4586
777.84/778.19	c nbDecision=541500 #constraints=4586
778.54/778.87	c nbDecision=542000 #constraints=4586
779.34/779.63	c nbDecision=542500 #constraints=4587
780.04/780.36	c nbDecision=543000 #constraints=4587
780.84/781.11	c nbDecision=543500 #constraints=4587
781.54/781.85	c nbDecision=544000 #constraints=4587
782.34/782.60	c nbDecision=544500 #constraints=4587
783.03/783.35	c nbDecision=545000 #constraints=4587
783.73/784.10	c nbDecision=545500 #constraints=4587
784.53/784.84	c nbDecision=546000 #constraints=4587
785.23/785.58	c nbDecision=546500 #constraints=4587
786.03/786.32	c nbDecision=547000 #constraints=4587
786.73/787.07	c nbDecision=547500 #constraints=4587
787.53/787.81	c nbDecision=548000 #constraints=4587
788.23/788.54	c nbDecision=548500 #constraints=4587
788.93/789.28	c nbDecision=549000 #constraints=4587
789.73/790.01	c nbDecision=549500 #constraints=4587
790.43/790.75	c nbDecision=550000 #constraints=4587
791.13/791.48	c nbDecision=550500 #constraints=4587
791.93/792.21	c nbDecision=551000 #constraints=4587
792.63/792.93	c nbDecision=551500 #constraints=4587
793.33/793.66	c nbDecision=552000 #constraints=4587
794.03/794.38	c nbDecision=552500 #constraints=4587
794.73/795.09	c nbDecision=553000 #constraints=4587
795.53/795.81	c nbDecision=553500 #constraints=4587
796.23/796.53	c nbDecision=554000 #constraints=4587
796.93/797.24	c nbDecision=554500 #constraints=4587
797.63/797.95	c nbDecision=555000 #constraints=4587
798.33/798.66	c nbDecision=555500 #constraints=4587
799.03/799.38	c nbDecision=556000 #constraints=4587
799.73/800.09	c nbDecision=556500 #constraints=4587
800.43/800.79	c nbDecision=557000 #constraints=4587
801.13/801.50	c nbDecision=557500 #constraints=4587
801.93/802.21	c nbDecision=558000 #constraints=4587
802.63/802.92	c nbDecision=558500 #constraints=4587
803.32/803.63	c nbDecision=559000 #constraints=4587
804.02/804.34	c nbDecision=559500 #constraints=4587
804.72/805.05	c nbDecision=560000 #constraints=4587
805.42/805.76	c nbDecision=560500 #constraints=4587
806.12/806.46	c nbDecision=561000 #constraints=4587
806.82/807.17	c nbDecision=561500 #constraints=4587
807.52/807.88	c nbDecision=562000 #constraints=4587
808.23/808.58	c nbDecision=562500 #constraints=4587
808.92/809.28	c nbDecision=563000 #constraints=4587
809.62/809.97	c nbDecision=563500 #constraints=4587
810.33/810.66	c nbDecision=564000 #constraints=4587
811.02/811.36	c nbDecision=564500 #constraints=4587
811.72/812.05	c nbDecision=565000 #constraints=4587
812.42/812.78	c nbDecision=565500 #constraints=4588
813.22/813.52	c nbDecision=566000 #constraints=4588
813.92/814.26	c nbDecision=566500 #constraints=4588
814.62/815.00	c nbDecision=567000 #constraints=4588
815.42/815.73	c nbDecision=567500 #constraints=4588
816.12/816.47	c nbDecision=568000 #constraints=4588
816.82/817.20	c nbDecision=568500 #constraints=4588
817.62/817.93	c nbDecision=569000 #constraints=4588
818.32/818.66	c nbDecision=569500 #constraints=4588
819.02/819.39	c nbDecision=570000 #constraints=4588
819.82/820.11	c nbDecision=570500 #constraints=4588
820.52/820.83	c nbDecision=571000 #constraints=4588
821.22/821.56	c nbDecision=571500 #constraints=4588
821.92/822.29	c nbDecision=572000 #constraints=4588
822.72/823.02	c nbDecision=572500 #constraints=4588
823.42/823.75	c nbDecision=573000 #constraints=4588
824.12/824.48	c nbDecision=573500 #constraints=4588
824.92/825.21	c nbDecision=574000 #constraints=4588
825.62/825.93	c nbDecision=574500 #constraints=4588
826.32/826.65	c nbDecision=575000 #constraints=4588
827.02/827.37	c nbDecision=575500 #constraints=4588
827.72/828.09	c nbDecision=576000 #constraints=4588
828.52/828.80	c nbDecision=576500 #constraints=4588
829.22/829.52	c nbDecision=577000 #constraints=4588
829.92/830.24	c nbDecision=577500 #constraints=4588
830.62/830.94	c nbDecision=578000 #constraints=4588
831.32/831.65	c nbDecision=578500 #constraints=4588
832.01/832.36	c nbDecision=579000 #constraints=4588
832.71/833.06	c nbDecision=579500 #constraints=4588
833.42/833.76	c nbDecision=580000 #constraints=4588
834.11/834.46	c nbDecision=580500 #constraints=4588
834.81/835.15	c nbDecision=581000 #constraints=4588
835.51/835.85	c nbDecision=581500 #constraints=4588
836.21/836.55	c nbDecision=582000 #constraints=4588
836.91/837.25	c nbDecision=582500 #constraints=4588
837.61/837.94	c nbDecision=583000 #constraints=4588
838.31/838.64	c nbDecision=583500 #constraints=4588
839.02/839.33	c nbDecision=584000 #constraints=4588
839.71/840.03	c nbDecision=584500 #constraints=4588
840.41/840.72	c nbDecision=585000 #constraints=4588
841.11/841.45	c nbDecision=585500 #constraints=4589
841.91/842.20	c nbDecision=586000 #constraints=4589
842.61/842.95	c nbDecision=586500 #constraints=4589
843.41/843.70	c nbDecision=587000 #constraints=4589
844.11/844.45	c nbDecision=587500 #constraints=4589
844.81/845.20	c nbDecision=588000 #constraints=4589
845.61/845.94	c nbDecision=588500 #constraints=4589
846.31/846.69	c nbDecision=589000 #constraints=4589
847.11/847.43	c nbDecision=589500 #constraints=4589
847.81/848.18	c nbDecision=590000 #constraints=4589
848.61/848.92	c nbDecision=590500 #constraints=4589
849.31/849.66	c nbDecision=591000 #constraints=4589
850.11/850.40	c nbDecision=591500 #constraints=4589
850.81/851.13	c nbDecision=592000 #constraints=4589
851.51/851.86	c nbDecision=592500 #constraints=4589
852.21/852.59	c nbDecision=593000 #constraints=4589
853.01/853.31	c nbDecision=593500 #constraints=4589
853.71/854.03	c nbDecision=594000 #constraints=4589
854.41/854.75	c nbDecision=594500 #constraints=4589
855.11/855.47	c nbDecision=595000 #constraints=4589
855.81/856.20	c nbDecision=595500 #constraints=4589
856.61/856.91	c nbDecision=596000 #constraints=4589
857.31/857.64	c nbDecision=596500 #constraints=4589
858.01/858.35	c nbDecision=597000 #constraints=4589
858.71/859.07	c nbDecision=597500 #constraints=4589
859.40/859.78	c nbDecision=598000 #constraints=4589
860.20/860.50	c nbDecision=598500 #constraints=4589
860.91/861.21	c nbDecision=599000 #constraints=4589
861.60/861.93	c nbDecision=599500 #constraints=4589
862.30/862.64	c nbDecision=600000 #constraints=4589
863.00/863.35	c nbDecision=600500 #constraints=4589
863.70/864.07	c nbDecision=601000 #constraints=4589
864.40/864.78	c nbDecision=601500 #constraints=4589
865.10/865.49	c nbDecision=602000 #constraints=4589
865.90/866.20	c nbDecision=602500 #constraints=4589
866.60/866.92	c nbDecision=603000 #constraints=4589
867.30/867.63	c nbDecision=603500 #constraints=4589
868.00/868.33	c nbDecision=604000 #constraints=4589
868.70/869.04	c nbDecision=604500 #constraints=4589
869.40/869.74	c nbDecision=605000 #constraints=4589
870.10/870.45	c nbDecision=605500 #constraints=4589
870.80/871.15	c nbDecision=606000 #constraints=4589
871.50/871.84	c nbDecision=606500 #constraints=4589
872.20/872.53	c nbDecision=607000 #constraints=4589
872.90/873.23	c nbDecision=607500 #constraints=4589
873.60/873.92	c nbDecision=608000 #constraints=4589
874.30/874.66	c nbDecision=608500 #constraints=4590
875.10/875.40	c nbDecision=609000 #constraints=4590
875.80/876.14	c nbDecision=609500 #constraints=4590
876.50/876.89	c nbDecision=610000 #constraints=4590
877.30/877.63	c nbDecision=610500 #constraints=4590
878.00/878.37	c nbDecision=611000 #constraints=4590
878.80/879.10	c nbDecision=611500 #constraints=4590
879.50/879.84	c nbDecision=612000 #constraints=4590
880.20/880.58	c nbDecision=612500 #constraints=4590
880.99/881.31	c nbDecision=613000 #constraints=4590
881.69/882.05	c nbDecision=613500 #constraints=4590
882.39/882.79	c nbDecision=614000 #constraints=4590
883.19/883.53	c nbDecision=614500 #constraints=4590
883.89/884.27	c nbDecision=615000 #constraints=4590
884.69/885.00	c nbDecision=615500 #constraints=4590
885.39/885.74	c nbDecision=616000 #constraints=4590
886.09/886.47	c nbDecision=616500 #constraints=4590
886.89/887.20	c nbDecision=617000 #constraints=4590
887.59/887.94	c nbDecision=617500 #constraints=4590
888.29/888.67	c nbDecision=618000 #constraints=4590
888.99/889.40	c nbDecision=618500 #constraints=4590
889.79/890.12	c nbDecision=619000 #constraints=4590
890.49/890.85	c nbDecision=619500 #constraints=4590
891.19/891.57	c nbDecision=620000 #constraints=4590
891.89/892.29	c nbDecision=620500 #constraints=4590
892.69/893.01	c nbDecision=621000 #constraints=4590
893.39/893.72	c nbDecision=621500 #constraints=4590
894.09/894.43	c nbDecision=622000 #constraints=4590
894.78/895.15	c nbDecision=622500 #constraints=4590
895.48/895.86	c nbDecision=623000 #constraints=4590
896.19/896.57	c nbDecision=623500 #constraints=4590
896.88/897.28	c nbDecision=624000 #constraints=4590
897.58/897.97	c nbDecision=624500 #constraints=4590
898.29/898.68	c nbDecision=625000 #constraints=4590
898.98/899.38	c nbDecision=625500 #constraints=4590
899.68/900.08	c nbDecision=626000 #constraints=4590
900.38/900.79	c nbDecision=626500 #constraints=4590
901.08/901.49	c nbDecision=627000 #constraints=4590
901.78/902.19	c nbDecision=627500 #constraints=4590
902.48/902.89	c nbDecision=628000 #constraints=4590
903.28/903.60	c nbDecision=628500 #constraints=4590
903.98/904.30	c nbDecision=629000 #constraints=4590
904.68/905.00	c nbDecision=629500 #constraints=4590
905.38/905.70	c nbDecision=630000 #constraints=4590
905.98/906.40	c nbDecision=630500 #constraints=4590
906.68/907.09	c nbDecision=631000 #constraints=4590
907.48/907.85	c nbDecision=631500 #constraints=4591
908.18/908.60	c nbDecision=632000 #constraints=4591
908.98/909.34	c nbDecision=632500 #constraints=4591
909.68/910.08	c nbDecision=633000 #constraints=4591
910.48/910.83	c nbDecision=633500 #constraints=4591
911.18/911.57	c nbDecision=634000 #constraints=4591
911.98/912.31	c nbDecision=634500 #constraints=4591
912.68/913.04	c nbDecision=635000 #constraints=4591
913.38/913.78	c nbDecision=635500 #constraints=4591
914.18/914.51	c nbDecision=636000 #constraints=4591
914.88/915.24	c nbDecision=636500 #constraints=4591
915.58/915.97	c nbDecision=637000 #constraints=4591
916.38/916.70	c nbDecision=637500 #constraints=4591
917.08/917.43	c nbDecision=638000 #constraints=4591
917.78/918.16	c nbDecision=638500 #constraints=4591
918.48/918.88	c nbDecision=639000 #constraints=4591
919.28/919.61	c nbDecision=639500 #constraints=4591
919.97/920.33	c nbDecision=640000 #constraints=4591
920.67/921.05	c nbDecision=640500 #constraints=4591
921.38/921.78	c nbDecision=641000 #constraints=4591
922.17/922.50	c nbDecision=641500 #constraints=4591
922.87/923.23	c nbDecision=642000 #constraints=4591
923.58/923.95	c nbDecision=642500 #constraints=4591
924.27/924.67	c nbDecision=643000 #constraints=4591
924.97/925.39	c nbDecision=643500 #constraints=4591
925.78/926.11	c nbDecision=644000 #constraints=4591
926.47/926.83	c nbDecision=644500 #constraints=4591
927.17/927.54	c nbDecision=645000 #constraints=4591
927.87/928.26	c nbDecision=645500 #constraints=4591
928.57/928.97	c nbDecision=646000 #constraints=4591
929.27/929.69	c nbDecision=646500 #constraints=4591
930.07/930.40	c nbDecision=647000 #constraints=4591
930.77/931.11	c nbDecision=647500 #constraints=4591
931.47/931.82	c nbDecision=648000 #constraints=4591
932.17/932.52	c nbDecision=648500 #constraints=4591
932.87/933.22	c nbDecision=649000 #constraints=4591
933.57/933.91	c nbDecision=649500 #constraints=4591
934.27/934.61	c nbDecision=650000 #constraints=4591
934.97/935.30	c nbDecision=650500 #constraints=4591
935.67/936.00	c nbDecision=651000 #constraints=4591
936.27/936.70	c nbDecision=651500 #constraints=4591
936.97/937.39	c nbDecision=652000 #constraints=4591
937.67/938.07	c nbDecision=652500 #constraints=4591
938.37/938.75	c nbDecision=653000 #constraints=4591
939.17/939.51	c nbDecision=653500 #constraints=4592
939.87/940.25	c nbDecision=654000 #constraints=4592
940.57/940.99	c nbDecision=654500 #constraints=4592
941.37/941.73	c nbDecision=655000 #constraints=4592
942.07/942.48	c nbDecision=655500 #constraints=4592
942.87/943.22	c nbDecision=656000 #constraints=4592
943.57/943.96	c nbDecision=656500 #constraints=4592
944.37/944.70	c nbDecision=657000 #constraints=4592
945.07/945.44	c nbDecision=657500 #constraints=4592
945.77/946.18	c nbDecision=658000 #constraints=4592
946.57/946.90	c nbDecision=658500 #constraints=4592
947.27/947.64	c nbDecision=659000 #constraints=4592
947.97/948.37	c nbDecision=659500 #constraints=4592
948.77/949.11	c nbDecision=660000 #constraints=4592
949.47/949.84	c nbDecision=660500 #constraints=4592
950.17/950.57	c nbDecision=661000 #constraints=4592
950.97/951.30	c nbDecision=661500 #constraints=4592
951.67/952.03	c nbDecision=662000 #constraints=4592
952.37/952.74	c nbDecision=662500 #constraints=4592
953.07/953.45	c nbDecision=663000 #constraints=4592
953.77/954.16	c nbDecision=663500 #constraints=4592
954.47/954.87	c nbDecision=664000 #constraints=4592
955.17/955.59	c nbDecision=664500 #constraints=4592
955.97/956.31	c nbDecision=665000 #constraints=4592
956.67/957.02	c nbDecision=665500 #constraints=4592
957.37/957.73	c nbDecision=666000 #constraints=4592
958.07/958.44	c nbDecision=666500 #constraints=4592
958.77/959.15	c nbDecision=667000 #constraints=4592
959.47/959.86	c nbDecision=667500 #constraints=4592
960.17/960.57	c nbDecision=668000 #constraints=4592
960.87/961.27	c nbDecision=668500 #constraints=4592
961.57/961.99	c nbDecision=669000 #constraints=4592
962.27/962.69	c nbDecision=669500 #constraints=4592
963.06/963.40	c nbDecision=670000 #constraints=4592
963.76/964.11	c nbDecision=670500 #constraints=4592
964.46/964.82	c nbDecision=671000 #constraints=4592
965.16/965.52	c nbDecision=671500 #constraints=4592
965.86/966.23	c nbDecision=672000 #constraints=4592
966.57/966.93	c nbDecision=672500 #constraints=4592
967.26/967.62	c nbDecision=673000 #constraints=4592
967.96/968.32	c nbDecision=673500 #constraints=4592
968.67/969.02	c nbDecision=674000 #constraints=4592
969.36/969.72	c nbDecision=674500 #constraints=4592
970.06/970.46	c nbDecision=675000 #constraints=4593
970.87/971.21	c nbDecision=675500 #constraints=4593
971.56/971.95	c nbDecision=676000 #constraints=4593
972.26/972.69	c nbDecision=676500 #constraints=4593
973.07/973.43	c nbDecision=677000 #constraints=4593
973.76/974.17	c nbDecision=677500 #constraints=4593
974.56/974.90	c nbDecision=678000 #constraints=4593
975.26/975.64	c nbDecision=678500 #constraints=4593
975.96/976.38	c nbDecision=679000 #constraints=4593
976.76/977.11	c nbDecision=679500 #constraints=4593
977.46/977.83	c nbDecision=680000 #constraints=4593
978.16/978.56	c nbDecision=680500 #constraints=4593
978.86/979.29	c nbDecision=681000 #constraints=4593
979.66/980.02	c nbDecision=681500 #constraints=4593
980.36/980.75	c nbDecision=682000 #constraints=4593
981.06/981.47	c nbDecision=682500 #constraints=4593
981.86/982.21	c nbDecision=683000 #constraints=4593
982.56/982.94	c nbDecision=683500 #constraints=4593
983.26/983.67	c nbDecision=684000 #constraints=4593
983.96/984.39	c nbDecision=684500 #constraints=4593
984.76/985.12	c nbDecision=685000 #constraints=4593
985.46/985.85	c nbDecision=685500 #constraints=4593
986.16/986.57	c nbDecision=686000 #constraints=4593
986.85/987.29	c nbDecision=686500 #constraints=4593
987.65/988.02	c nbDecision=687000 #constraints=4593
988.35/988.74	c nbDecision=687500 #constraints=4593
989.05/989.46	c nbDecision=688000 #constraints=4593
989.75/990.17	c nbDecision=688500 #constraints=4593
990.45/990.89	c nbDecision=689000 #constraints=4593
991.25/991.60	c nbDecision=689500 #constraints=4593
991.95/992.31	c nbDecision=690000 #constraints=4593
992.65/993.02	c nbDecision=690500 #constraints=4593
993.35/993.72	c nbDecision=691000 #constraints=4593
994.06/994.43	c nbDecision=691500 #constraints=4593
994.75/995.13	c nbDecision=692000 #constraints=4593
995.45/995.83	c nbDecision=692500 #constraints=4593
996.16/996.53	c nbDecision=693000 #constraints=4593
996.85/997.23	c nbDecision=693500 #constraints=4593
997.55/997.93	c nbDecision=694000 #constraints=4593
998.25/998.62	c nbDecision=694500 #constraints=4593
998.95/999.32	c nbDecision=695000 #constraints=4593
999.65/1000.01	c nbDecision=695500 #constraints=4593
1000.35/1000.70	c nbDecision=696000 #constraints=4593
1000.95/1001.39	c nbDecision=696500 #constraints=4593
1001.75/1002.15	c nbDecision=697000 #constraints=4594
1002.55/1002.90	c nbDecision=697500 #constraints=4594
1003.25/1003.65	c nbDecision=698000 #constraints=4594
1003.95/1004.40	c nbDecision=698500 #constraints=4594
1004.75/1005.14	c nbDecision=699000 #constraints=4594
1005.45/1005.88	c nbDecision=699500 #constraints=4594
1006.25/1006.63	c nbDecision=700000 #constraints=4594
1006.95/1007.37	c nbDecision=700500 #constraints=4594
1007.75/1008.11	c nbDecision=701000 #constraints=4594
1008.45/1008.85	c nbDecision=701500 #constraints=4594
1009.15/1009.59	c nbDecision=702000 #constraints=4594
1009.95/1010.33	c nbDecision=702500 #constraints=4594
1010.65/1011.06	c nbDecision=703000 #constraints=4594
1011.35/1011.80	c nbDecision=703500 #constraints=4594
1012.15/1012.52	c nbDecision=704000 #constraints=4594
1012.85/1013.25	c nbDecision=704500 #constraints=4594
1013.54/1013.97	c nbDecision=705000 #constraints=4594
1014.24/1014.69	c nbDecision=705500 #constraints=4594
1015.04/1015.41	c nbDecision=706000 #constraints=4594
1015.74/1016.13	c nbDecision=706500 #constraints=4594
1016.44/1016.85	c nbDecision=707000 #constraints=4594
1017.15/1017.56	c nbDecision=707500 #constraints=4594
1017.84/1018.28	c nbDecision=708000 #constraints=4594
1018.54/1018.99	c nbDecision=708500 #constraints=4594
1019.35/1019.71	c nbDecision=709000 #constraints=4594
1020.04/1020.42	c nbDecision=709500 #constraints=4594
1020.74/1021.13	c nbDecision=710000 #constraints=4594
1021.45/1021.87	c nbDecision=710500 #constraints=4594
1022.14/1022.59	c nbDecision=711000 #constraints=4594
1022.94/1023.30	c nbDecision=711500 #constraints=4594
1023.65/1024.01	c nbDecision=712000 #constraints=4594
1024.34/1024.73	c nbDecision=712500 #constraints=4594
1025.04/1025.44	c nbDecision=713000 #constraints=4594
1025.74/1026.15	c nbDecision=713500 #constraints=4594
1026.44/1026.85	c nbDecision=714000 #constraints=4594
1027.14/1027.56	c nbDecision=714500 #constraints=4594
1027.84/1028.26	c nbDecision=715000 #constraints=4594
1028.54/1028.97	c nbDecision=715500 #constraints=4594
1029.24/1029.67	c nbDecision=716000 #constraints=4594
1029.94/1030.37	c nbDecision=716500 #constraints=4594
1030.64/1031.07	c nbDecision=717000 #constraints=4594
1031.34/1031.77	c nbDecision=717500 #constraints=4594
1032.04/1032.46	c nbDecision=718000 #constraints=4594
1032.74/1033.14	c nbDecision=718500 #constraints=4594
1033.44/1033.90	c nbDecision=719000 #constraints=4595
1034.24/1034.63	c nbDecision=719500 #constraints=4595
1034.94/1035.35	c nbDecision=720000 #constraints=4595
1035.64/1036.08	c nbDecision=720500 #constraints=4595
1036.44/1036.81	c nbDecision=721000 #constraints=4595
1037.14/1037.53	c nbDecision=721500 #constraints=4595
1037.84/1038.24	c nbDecision=722000 #constraints=4595
1038.54/1038.96	c nbDecision=722500 #constraints=4595
1039.24/1039.68	c nbDecision=723000 #constraints=4595
1040.03/1040.40	c nbDecision=723500 #constraints=4595
1040.73/1041.12	c nbDecision=724000 #constraints=4595
1041.43/1041.84	c nbDecision=724500 #constraints=4595
1042.13/1042.56	c nbDecision=725000 #constraints=4595
1042.83/1043.29	c nbDecision=725500 #constraints=4595
1043.63/1044.01	c nbDecision=726000 #constraints=4595
1044.33/1044.72	c nbDecision=726500 #constraints=4595
1045.03/1045.44	c nbDecision=727000 #constraints=4595
1045.74/1046.16	c nbDecision=727500 #constraints=4595
1046.43/1046.86	c nbDecision=728000 #constraints=4595
1047.13/1047.58	c nbDecision=728500 #constraints=4595
1047.84/1048.29	c nbDecision=729000 #constraints=4595
1048.63/1049.00	c nbDecision=729500 #constraints=4595
1049.33/1049.70	c nbDecision=730000 #constraints=4595
1050.04/1050.41	c nbDecision=730500 #constraints=4595
1050.73/1051.12	c nbDecision=731000 #constraints=4595
1051.43/1051.82	c nbDecision=731500 #constraints=4595
1052.13/1052.52	c nbDecision=732000 #constraints=4595
1052.83/1053.21	c nbDecision=732500 #constraints=4595
1053.53/1053.90	c nbDecision=733000 #constraints=4595
1054.13/1054.60	c nbDecision=733500 #constraints=4595
1054.83/1055.29	c nbDecision=734000 #constraints=4595
1055.53/1055.97	c nbDecision=734500 #constraints=4595
1056.33/1056.70	c nbDecision=735000 #constraints=4596
1057.03/1057.43	c nbDecision=735500 #constraints=4596
1057.73/1058.17	c nbDecision=736000 #constraints=4596
1058.53/1058.90	c nbDecision=736500 #constraints=4596
1059.23/1059.63	c nbDecision=737000 #constraints=4596
1059.93/1060.36	c nbDecision=737500 #constraints=4596
1060.63/1061.09	c nbDecision=738000 #constraints=4596
1061.43/1061.82	c nbDecision=738500 #constraints=4596
1062.13/1062.55	c nbDecision=739000 #constraints=4596
1062.83/1063.28	c nbDecision=739500 #constraints=4596
1063.63/1064.01	c nbDecision=740000 #constraints=4596
1064.33/1064.74	c nbDecision=740500 #constraints=4596
1065.03/1065.47	c nbDecision=741000 #constraints=4596
1065.82/1066.20	c nbDecision=741500 #constraints=4596
1066.53/1066.92	c nbDecision=742000 #constraints=4596
1067.22/1067.65	c nbDecision=742500 #constraints=4596
1067.92/1068.38	c nbDecision=743000 #constraints=4596
1068.62/1069.10	c nbDecision=743500 #constraints=4596
1069.42/1069.82	c nbDecision=744000 #constraints=4596
1070.12/1070.54	c nbDecision=744500 #constraints=4596
1070.82/1071.26	c nbDecision=745000 #constraints=4596
1071.52/1071.97	c nbDecision=745500 #constraints=4596
1072.22/1072.68	c nbDecision=746000 #constraints=4596
1072.92/1073.39	c nbDecision=746500 #constraints=4596
1073.62/1074.09	c nbDecision=747000 #constraints=4596
1074.32/1074.80	c nbDecision=747500 #constraints=4596
1075.12/1075.50	c nbDecision=748000 #constraints=4596
1075.82/1076.21	c nbDecision=748500 #constraints=4596
1076.52/1076.91	c nbDecision=749000 #constraints=4596
1077.22/1077.61	c nbDecision=749500 #constraints=4596
1077.92/1078.31	c nbDecision=750000 #constraints=4596
1078.62/1079.01	c nbDecision=750500 #constraints=4596
1079.32/1079.71	c nbDecision=751000 #constraints=4596
1080.02/1080.41	c nbDecision=751500 #constraints=4596
1080.72/1081.10	c nbDecision=752000 #constraints=4596
1081.32/1081.79	c nbDecision=752500 #constraints=4596
1082.02/1082.49	c nbDecision=753000 #constraints=4596
1082.72/1083.19	c nbDecision=753500 #constraints=4596
1083.52/1083.92	c nbDecision=754000 #constraints=4597
1084.22/1084.66	c nbDecision=754500 #constraints=4597
1084.92/1085.39	c nbDecision=755000 #constraints=4597
1085.71/1086.13	c nbDecision=755500 #constraints=4597
1086.42/1086.86	c nbDecision=756000 #constraints=4597
1087.11/1087.59	c nbDecision=756500 #constraints=4597
1087.92/1088.32	c nbDecision=757000 #constraints=4597
1088.62/1089.05	c nbDecision=757500 #constraints=4597
1089.31/1089.78	c nbDecision=758000 #constraints=4597
1090.11/1090.51	c nbDecision=758500 #constraints=4597
1090.82/1091.23	c nbDecision=759000 #constraints=4597
1091.51/1091.95	c nbDecision=759500 #constraints=4597
1092.21/1092.67	c nbDecision=760000 #constraints=4597
1092.92/1093.38	c nbDecision=760500 #constraints=4597
1093.61/1094.10	c nbDecision=761000 #constraints=4597
1094.41/1094.81	c nbDecision=761500 #constraints=4597
1095.12/1095.51	c nbDecision=762000 #constraints=4597
1095.81/1096.22	c nbDecision=762500 #constraints=4597
1096.51/1096.93	c nbDecision=763000 #constraints=4597
1097.21/1097.64	c nbDecision=763500 #constraints=4597
1097.91/1098.34	c nbDecision=764000 #constraints=4597
1098.61/1099.05	c nbDecision=764500 #constraints=4597
1099.31/1099.74	c nbDecision=765000 #constraints=4597
1100.01/1100.44	c nbDecision=765500 #constraints=4597
1100.71/1101.14	c nbDecision=766000 #constraints=4597
1101.41/1101.84	c nbDecision=766500 #constraints=4597
1102.11/1102.55	c nbDecision=767000 #constraints=4597
1102.81/1103.25	c nbDecision=767500 #constraints=4597
1103.51/1103.95	c nbDecision=768000 #constraints=4597
1104.21/1104.65	c nbDecision=768500 #constraints=4597
1104.91/1105.35	c nbDecision=769000 #constraints=4597
1105.61/1106.05	c nbDecision=769500 #constraints=4597
1106.31/1106.75	c nbDecision=770000 #constraints=4597
1107.01/1107.48	c nbDecision=770500 #constraints=4598
1107.81/1108.22	c nbDecision=771000 #constraints=4598
1108.51/1108.95	c nbDecision=771500 #constraints=4598
1109.21/1109.68	c nbDecision=772000 #constraints=4598
1110.01/1110.42	c nbDecision=772500 #constraints=4598
1110.71/1111.15	c nbDecision=773000 #constraints=4598
1111.41/1111.88	c nbDecision=773500 #constraints=4598
1112.21/1112.60	c nbDecision=774000 #constraints=4598
1112.90/1113.32	c nbDecision=774500 #constraints=4598
1113.61/1114.04	c nbDecision=775000 #constraints=4598
1114.30/1114.76	c nbDecision=775500 #constraints=4598
1115.01/1115.48	c nbDecision=776000 #constraints=4598
1115.70/1116.19	c nbDecision=776500 #constraints=4598
1116.50/1116.91	c nbDecision=777000 #constraints=4598
1117.21/1117.62	c nbDecision=777500 #constraints=4598
1117.90/1118.33	c nbDecision=778000 #constraints=4598
1118.60/1119.04	c nbDecision=778500 #constraints=4598
1119.31/1119.75	c nbDecision=779000 #constraints=4598
1120.00/1120.46	c nbDecision=779500 #constraints=4598
1120.70/1121.16	c nbDecision=780000 #constraints=4598
1121.40/1121.87	c nbDecision=780500 #constraints=4598
1122.10/1122.59	c nbDecision=781000 #constraints=4598
1122.90/1123.30	c nbDecision=781500 #constraints=4598
1123.60/1124.00	c nbDecision=782000 #constraints=4598
1124.30/1124.71	c nbDecision=782500 #constraints=4598
1125.00/1125.42	c nbDecision=783000 #constraints=4598
1125.70/1126.12	c nbDecision=783500 #constraints=4598
1126.40/1126.83	c nbDecision=784000 #constraints=4598
1127.10/1127.53	c nbDecision=784500 #constraints=4598
1127.80/1128.23	c nbDecision=785000 #constraints=4598
1128.50/1128.92	c nbDecision=785500 #constraints=4598
1129.20/1129.63	c nbDecision=786000 #constraints=4598
1129.90/1130.32	c nbDecision=786500 #constraints=4598
1130.60/1131.08	c nbDecision=787000 #constraints=4599
1131.40/1131.83	c nbDecision=787500 #constraints=4599
1132.09/1132.57	c nbDecision=788000 #constraints=4599
1132.89/1133.31	c nbDecision=788500 #constraints=4599
1133.60/1134.05	c nbDecision=789000 #constraints=4599
1134.29/1134.78	c nbDecision=789500 #constraints=4599
1135.09/1135.52	c nbDecision=790000 #constraints=4599
1135.80/1136.25	c nbDecision=790500 #constraints=4599
1136.49/1136.98	c nbDecision=791000 #constraints=4599
1137.29/1137.72	c nbDecision=791500 #constraints=4599
1138.00/1138.45	c nbDecision=792000 #constraints=4599
1138.69/1139.18	c nbDecision=792500 #constraints=4599
1139.49/1139.90	c nbDecision=793000 #constraints=4599
1140.20/1140.63	c nbDecision=793500 #constraints=4599
1140.89/1141.36	c nbDecision=794000 #constraints=4599
1141.59/1142.09	c nbDecision=794500 #constraints=4599
1142.40/1142.81	c nbDecision=795000 #constraints=4599
1143.09/1143.53	c nbDecision=795500 #constraints=4599
1143.79/1144.26	c nbDecision=796000 #constraints=4599
1144.49/1144.98	c nbDecision=796500 #constraints=4599
1145.29/1145.71	c nbDecision=797000 #constraints=4599
1145.99/1146.43	c nbDecision=797500 #constraints=4599
1146.69/1147.15	c nbDecision=798000 #constraints=4599
1147.39/1147.88	c nbDecision=798500 #constraints=4599
1148.09/1148.60	c nbDecision=799000 #constraints=4599
1148.89/1149.32	c nbDecision=799500 #constraints=4599
1149.59/1150.03	c nbDecision=800000 #constraints=4599
1150.29/1150.75	c nbDecision=800500 #constraints=4599
1150.99/1151.46	c nbDecision=801000 #constraints=4599
1151.69/1152.17	c nbDecision=801500 #constraints=4599
1152.39/1152.87	c nbDecision=802000 #constraints=4599
1153.09/1153.58	c nbDecision=802500 #constraints=4599
1153.79/1154.28	c nbDecision=803000 #constraints=4599
1154.49/1154.98	c nbDecision=803500 #constraints=4599
1155.19/1155.68	c nbDecision=804000 #constraints=4599
1155.89/1156.38	c nbDecision=804500 #constraints=4599
1156.59/1157.08	c nbDecision=805000 #constraints=4599
1157.29/1157.78	c nbDecision=805500 #constraints=4599
1157.99/1158.47	c nbDecision=806000 #constraints=4599
1158.69/1159.17	c nbDecision=806500 #constraints=4599
1159.39/1159.86	c nbDecision=807000 #constraints=4599
1160.09/1160.55	c nbDecision=807500 #constraints=4599
1160.79/1161.24	c nbDecision=808000 #constraints=4599
1161.48/1161.99	c nbDecision=808500 #constraints=4600
1162.29/1162.74	c nbDecision=809000 #constraints=4600
1162.98/1163.49	c nbDecision=809500 #constraints=4600
1163.78/1164.24	c nbDecision=810000 #constraints=4600
1164.49/1164.98	c nbDecision=810500 #constraints=4600
1165.28/1165.73	c nbDecision=811000 #constraints=4600
1165.98/1166.47	c nbDecision=811500 #constraints=4600
1166.78/1167.21	c nbDecision=812000 #constraints=4600
1167.48/1167.95	c nbDecision=812500 #constraints=4600
1168.18/1168.69	c nbDecision=813000 #constraints=4600
1168.98/1169.43	c nbDecision=813500 #constraints=4600
1169.68/1170.16	c nbDecision=814000 #constraints=4600
1170.48/1170.90	c nbDecision=814500 #constraints=4600
1171.18/1171.63	c nbDecision=815000 #constraints=4600
1171.88/1172.36	c nbDecision=815500 #constraints=4600
1172.58/1173.08	c nbDecision=816000 #constraints=4600
1173.38/1173.81	c nbDecision=816500 #constraints=4600
1174.08/1174.53	c nbDecision=817000 #constraints=4600
1174.78/1175.25	c nbDecision=817500 #constraints=4600
1175.48/1175.97	c nbDecision=818000 #constraints=4600
1176.18/1176.69	c nbDecision=818500 #constraints=4600
1176.98/1177.41	c nbDecision=819000 #constraints=4600
1177.28/1177.70	c restart after 819201 decisions
1177.68/1178.17	c nbDecision=819500 #constraints=4600
1178.48/1178.92	c nbDecision=820000 #constraints=4600
1179.18/1179.67	c nbDecision=820500 #constraints=4600
1179.98/1180.42	c nbDecision=821000 #constraints=4600
1180.68/1181.17	c nbDecision=821500 #constraints=4600
1181.48/1181.91	c nbDecision=822000 #constraints=4600
1182.18/1182.66	c nbDecision=822500 #constraints=4600
1182.98/1183.41	c nbDecision=823000 #constraints=4600
1183.68/1184.16	c nbDecision=823500 #constraints=4600
1184.48/1184.90	c nbDecision=824000 #constraints=4600
1185.18/1185.65	c nbDecision=824500 #constraints=4600
1185.88/1186.39	c nbDecision=825000 #constraints=4600
1186.68/1187.14	c nbDecision=825500 #constraints=4600
1187.38/1187.86	c nbDecision=826000 #constraints=4600
1188.18/1188.60	c nbDecision=826500 #constraints=4600
1188.88/1189.34	c nbDecision=827000 #constraints=4600
1189.58/1190.08	c nbDecision=827500 #constraints=4600
1190.38/1190.82	c nbDecision=828000 #constraints=4600
1191.07/1191.55	c nbDecision=828500 #constraints=4600
1191.77/1192.26	c nbDecision=829000 #constraints=4600
1192.47/1192.99	c nbDecision=829500 #constraints=4600
1193.27/1193.71	c nbDecision=830000 #constraints=4600
1193.97/1194.42	c nbDecision=830500 #constraints=4600
1194.67/1195.14	c nbDecision=831000 #constraints=4600
1195.37/1195.86	c nbDecision=831500 #constraints=4600
1196.07/1196.59	c nbDecision=832000 #constraints=4600
1196.87/1197.31	c nbDecision=832500 #constraints=4600
1197.57/1198.02	c nbDecision=833000 #constraints=4600
1198.28/1198.74	c nbDecision=833500 #constraints=4600
1198.98/1199.46	c nbDecision=834000 #constraints=4600
1199.68/1200.17	c nbDecision=834500 #constraints=4600
1200.38/1200.88	c nbDecision=835000 #constraints=4600
1201.08/1201.60	c nbDecision=835500 #constraints=4600
1201.88/1202.31	c nbDecision=836000 #constraints=4600
1202.58/1203.02	c nbDecision=836500 #constraints=4600
1203.28/1203.74	c nbDecision=837000 #constraints=4600
1203.98/1204.45	c nbDecision=837500 #constraints=4600
1204.68/1205.16	c nbDecision=838000 #constraints=4600
1205.38/1205.88	c nbDecision=838500 #constraints=4600
1206.08/1206.59	c nbDecision=839000 #constraints=4600
1206.78/1207.29	c nbDecision=839500 #constraints=4600
1207.58/1208.00	c nbDecision=840000 #constraints=4600
1208.27/1208.70	c nbDecision=840500 #constraints=4600
1208.97/1209.41	c nbDecision=841000 #constraints=4600
1209.67/1210.11	c nbDecision=841500 #constraints=4600
1210.37/1210.82	c nbDecision=842000 #constraints=4600
1211.07/1211.52	c nbDecision=842500 #constraints=4600
1211.78/1212.21	c nbDecision=843000 #constraints=4600
1212.37/1212.90	c nbDecision=843500 #constraints=4600
1213.07/1213.59	c nbDecision=844000 #constraints=4600
1213.88/1214.34	c nbDecision=844500 #constraints=4601
1214.57/1215.08	c nbDecision=845000 #constraints=4601
1215.37/1215.81	c nbDecision=845500 #constraints=4601
1216.08/1216.54	c nbDecision=846000 #constraints=4601
1216.77/1217.28	c nbDecision=846500 #constraints=4601
1217.57/1218.01	c nbDecision=847000 #constraints=4601
1218.27/1218.74	c nbDecision=847500 #constraints=4601
1218.97/1219.45	c nbDecision=848000 #constraints=4601
1219.67/1220.17	c nbDecision=848500 #constraints=4601
1220.37/1220.89	c nbDecision=849000 #constraints=4601
1221.17/1221.62	c nbDecision=849500 #constraints=4601
1221.87/1222.35	c nbDecision=850000 #constraints=4601
1222.57/1223.08	c nbDecision=850500 #constraints=4601
1223.37/1223.81	c nbDecision=851000 #constraints=4601
1224.07/1224.53	c nbDecision=851500 #constraints=4601
1224.77/1225.26	c nbDecision=852000 #constraints=4601
1225.47/1225.98	c nbDecision=852500 #constraints=4601
1226.27/1226.70	c nbDecision=853000 #constraints=4601
1226.97/1227.42	c nbDecision=853500 #constraints=4601
1227.67/1228.13	c nbDecision=854000 #constraints=4601
1228.37/1228.85	c nbDecision=854500 #constraints=4601
1229.07/1229.57	c nbDecision=855000 #constraints=4601
1229.77/1230.28	c nbDecision=855500 #constraints=4601
1230.47/1231.00	c nbDecision=856000 #constraints=4601
1231.27/1231.70	c nbDecision=856500 #constraints=4601
1231.97/1232.41	c nbDecision=857000 #constraints=4601
1232.67/1233.11	c nbDecision=857500 #constraints=4601
1233.37/1233.82	c nbDecision=858000 #constraints=4601
1234.07/1234.52	c nbDecision=858500 #constraints=4601
1234.77/1235.21	c nbDecision=859000 #constraints=4601
1235.47/1235.91	c nbDecision=859500 #constraints=4601
1236.17/1236.61	c nbDecision=860000 #constraints=4601
1236.86/1237.31	c nbDecision=860500 #constraints=4601
1237.56/1238.00	c nbDecision=861000 #constraints=4601
1238.17/1238.69	c nbDecision=861500 #constraints=4601
1238.86/1239.39	c nbDecision=862000 #constraints=4601
1239.56/1240.08	c nbDecision=862500 #constraints=4601
1240.27/1240.77	c nbDecision=863000 #constraints=4601
1241.06/1241.54	c nbDecision=863500 #constraints=4602
1241.76/1242.29	c nbDecision=864000 #constraints=4602
1242.57/1243.04	c nbDecision=864500 #constraints=4602
1243.26/1243.78	c nbDecision=865000 #constraints=4602
1244.06/1244.53	c nbDecision=865500 #constraints=4602
1244.76/1245.27	c nbDecision=866000 #constraints=4602
1245.56/1246.02	c nbDecision=866500 #constraints=4602
1246.26/1246.76	c nbDecision=867000 #constraints=4602
1247.06/1247.50	c nbDecision=867500 #constraints=4602
1247.76/1248.24	c nbDecision=868000 #constraints=4602
1248.46/1248.97	c nbDecision=868500 #constraints=4602
1249.26/1249.71	c nbDecision=869000 #constraints=4602
1249.96/1250.45	c nbDecision=869500 #constraints=4602
1250.66/1251.18	c nbDecision=870000 #constraints=4602
1251.46/1251.91	c nbDecision=870500 #constraints=4602
1252.16/1252.63	c nbDecision=871000 #constraints=4602
1252.86/1253.36	c nbDecision=871500 #constraints=4602
1253.56/1254.08	c nbDecision=872000 #constraints=4602
1254.26/1254.80	c nbDecision=872500 #constraints=4602
1255.06/1255.52	c nbDecision=873000 #constraints=4602
1255.76/1256.24	c nbDecision=873500 #constraints=4602
1256.46/1256.95	c nbDecision=874000 #constraints=4602
1257.16/1257.67	c nbDecision=874500 #constraints=4602
1257.86/1258.38	c nbDecision=875000 #constraints=4602
1258.56/1259.10	c nbDecision=875500 #constraints=4602
1259.36/1259.81	c nbDecision=876000 #constraints=4602
1260.06/1260.52	c nbDecision=876500 #constraints=4602
1260.76/1261.22	c nbDecision=877000 #constraints=4602
1261.46/1261.94	c nbDecision=877500 #constraints=4602
1262.16/1262.65	c nbDecision=878000 #constraints=4602
1262.86/1263.36	c nbDecision=878500 #constraints=4602
1263.55/1264.07	c nbDecision=879000 #constraints=4602
1264.25/1264.78	c nbDecision=879500 #constraints=4602
1264.95/1265.49	c nbDecision=880000 #constraints=4602
1265.75/1266.20	c nbDecision=880500 #constraints=4602
1266.45/1266.90	c nbDecision=881000 #constraints=4602
1267.15/1267.61	c nbDecision=881500 #constraints=4602
1267.86/1268.31	c nbDecision=882000 #constraints=4602
1268.55/1269.02	c nbDecision=882500 #constraints=4602
1269.25/1269.72	c nbDecision=883000 #constraints=4602
1269.96/1270.42	c nbDecision=883500 #constraints=4602
1270.65/1271.11	c nbDecision=884000 #constraints=4602
1271.35/1271.81	c nbDecision=884500 #constraints=4602
1272.05/1272.55	c nbDecision=885000 #constraints=4603
1272.75/1273.27	c nbDecision=885500 #constraints=4603
1273.55/1274.00	c nbDecision=886000 #constraints=4603
1274.25/1274.73	c nbDecision=886500 #constraints=4603
1274.95/1275.45	c nbDecision=887000 #constraints=4603
1275.65/1276.18	c nbDecision=887500 #constraints=4603
1276.45/1276.90	c nbDecision=888000 #constraints=4603
1277.15/1277.62	c nbDecision=888500 #constraints=4603
1277.85/1278.34	c nbDecision=889000 #constraints=4603
1278.55/1279.06	c nbDecision=889500 #constraints=4603
1279.25/1279.78	c nbDecision=890000 #constraints=4603
1279.95/1280.50	c nbDecision=890500 #constraints=4603
1280.75/1281.21	c nbDecision=891000 #constraints=4603
1281.45/1281.93	c nbDecision=891500 #constraints=4603
1282.15/1282.65	c nbDecision=892000 #constraints=4603
1282.85/1283.37	c nbDecision=892500 #constraints=4603
1283.55/1284.08	c nbDecision=893000 #constraints=4603
1284.25/1284.80	c nbDecision=893500 #constraints=4603
1285.05/1285.50	c nbDecision=894000 #constraints=4603
1285.75/1286.21	c nbDecision=894500 #constraints=4603
1286.45/1286.92	c nbDecision=895000 #constraints=4603
1287.15/1287.63	c nbDecision=895500 #constraints=4603
1287.85/1288.34	c nbDecision=896000 #constraints=4603
1288.55/1289.04	c nbDecision=896500 #constraints=4603
1289.25/1289.75	c nbDecision=897000 #constraints=4603
1289.95/1290.46	c nbDecision=897500 #constraints=4603
1290.65/1291.16	c nbDecision=898000 #constraints=4603
1291.35/1291.86	c nbDecision=898500 #constraints=4603
1292.05/1292.55	c nbDecision=899000 #constraints=4603
1292.75/1293.24	c nbDecision=899500 #constraints=4603
1293.45/1293.93	c nbDecision=900000 #constraints=4603
1294.15/1294.62	c nbDecision=900500 #constraints=4603
1294.85/1295.35	c nbDecision=901000 #constraints=4604
1295.55/1296.08	c nbDecision=901500 #constraints=4604
1296.24/1296.80	c nbDecision=902000 #constraints=4604
1297.04/1297.53	c nbDecision=902500 #constraints=4604
1297.74/1298.25	c nbDecision=903000 #constraints=4604
1298.44/1298.98	c nbDecision=903500 #constraints=4604
1299.24/1299.70	c nbDecision=904000 #constraints=4604
1299.94/1300.42	c nbDecision=904500 #constraints=4604
1300.64/1301.14	c nbDecision=905000 #constraints=4604
1301.34/1301.87	c nbDecision=905500 #constraints=4604
1302.05/1302.59	c nbDecision=906000 #constraints=4604
1302.84/1303.31	c nbDecision=906500 #constraints=4604
1303.54/1304.04	c nbDecision=907000 #constraints=4604
1304.24/1304.76	c nbDecision=907500 #constraints=4604
1304.94/1305.48	c nbDecision=908000 #constraints=4604
1305.64/1306.19	c nbDecision=908500 #constraints=4604
1306.44/1306.90	c nbDecision=909000 #constraints=4604
1307.14/1307.62	c nbDecision=909500 #constraints=4604
1307.84/1308.34	c nbDecision=910000 #constraints=4604
1308.54/1309.05	c nbDecision=910500 #constraints=4604
1309.24/1309.76	c nbDecision=911000 #constraints=4604
1309.94/1310.47	c nbDecision=911500 #constraints=4604
1310.64/1311.18	c nbDecision=912000 #constraints=4604
1311.34/1311.87	c nbDecision=912500 #constraints=4604
1312.04/1312.57	c nbDecision=913000 #constraints=4604
1312.74/1313.27	c nbDecision=913500 #constraints=4604
1313.44/1313.97	c nbDecision=914000 #constraints=4604
1314.14/1314.67	c nbDecision=914500 #constraints=4604
1314.84/1315.36	c nbDecision=915000 #constraints=4604
1315.54/1316.06	c nbDecision=915500 #constraints=4604
1316.24/1316.75	c nbDecision=916000 #constraints=4604
1316.94/1317.43	c nbDecision=916500 #constraints=4604
1317.64/1318.13	c nbDecision=917000 #constraints=4604
1318.34/1318.90	c nbDecision=917500 #constraints=4605
1319.14/1319.64	c nbDecision=918000 #constraints=4605
1319.84/1320.36	c nbDecision=918500 #constraints=4605
1320.64/1321.10	c nbDecision=919000 #constraints=4605
1321.34/1321.84	c nbDecision=919500 #constraints=4605
1322.04/1322.59	c nbDecision=920000 #constraints=4605
1322.84/1323.33	c nbDecision=920500 #constraints=4605
1323.53/1324.07	c nbDecision=921000 #constraints=4605
1324.33/1324.81	c nbDecision=921500 #constraints=4605
1325.04/1325.55	c nbDecision=922000 #constraints=4605
1325.73/1326.29	c nbDecision=922500 #constraints=4605
1326.53/1327.02	c nbDecision=923000 #constraints=4605
1327.24/1327.76	c nbDecision=923500 #constraints=4605
1327.93/1328.49	c nbDecision=924000 #constraints=4605
1328.73/1329.23	c nbDecision=924500 #constraints=4605
1329.44/1329.95	c nbDecision=925000 #constraints=4605
1330.13/1330.68	c nbDecision=925500 #constraints=4605
1330.93/1331.41	c nbDecision=926000 #constraints=4605
1331.64/1332.13	c nbDecision=926500 #constraints=4605
1332.33/1332.85	c nbDecision=927000 #constraints=4605
1333.03/1333.57	c nbDecision=927500 #constraints=4605
1333.73/1334.29	c nbDecision=928000 #constraints=4605
1334.53/1335.00	c nbDecision=928500 #constraints=4605
1335.23/1335.71	c nbDecision=929000 #constraints=4605
1335.93/1336.42	c nbDecision=929500 #constraints=4605
1336.63/1337.13	c nbDecision=930000 #constraints=4605
1337.33/1337.84	c nbDecision=930500 #constraints=4605
1338.03/1338.55	c nbDecision=931000 #constraints=4605
1338.73/1339.26	c nbDecision=931500 #constraints=4605
1339.43/1339.97	c nbDecision=932000 #constraints=4605
1340.13/1340.67	c nbDecision=932500 #constraints=4605
1340.83/1341.38	c nbDecision=933000 #constraints=4605
1341.53/1342.09	c nbDecision=933500 #constraints=4605
1342.23/1342.80	c nbDecision=934000 #constraints=4605
1342.92/1343.49	c nbDecision=934500 #constraints=4605
1343.73/1344.20	c nbDecision=935000 #constraints=4605
1344.42/1344.90	c nbDecision=935500 #constraints=4605
1345.12/1345.61	c nbDecision=936000 #constraints=4605
1345.83/1346.31	c nbDecision=936500 #constraints=4605
1346.52/1347.01	c nbDecision=937000 #constraints=4605
1347.22/1347.71	c nbDecision=937500 #constraints=4605
1347.92/1348.40	c nbDecision=938000 #constraints=4605
1348.52/1349.10	c nbDecision=938500 #constraints=4605
1349.42/1349.93	c nbDecision=939000 #constraints=4606
1350.12/1350.68	c nbDecision=939500 #constraints=4606
1350.92/1351.43	c nbDecision=940000 #constraints=4606
1351.62/1352.17	c nbDecision=940500 #constraints=4606
1352.43/1352.92	c nbDecision=941000 #constraints=4606
1353.12/1353.65	c nbDecision=941500 #constraints=4606
1353.82/1354.39	c nbDecision=942000 #constraints=4606
1354.63/1355.12	c nbDecision=942500 #constraints=4606
1355.32/1355.86	c nbDecision=943000 #constraints=4606
1356.02/1356.59	c nbDecision=943500 #constraints=4606
1356.82/1357.33	c nbDecision=944000 #constraints=4606
1357.52/1358.06	c nbDecision=944500 #constraints=4606
1358.22/1358.79	c nbDecision=945000 #constraints=4606
1359.02/1359.52	c nbDecision=945500 #constraints=4606
1359.72/1360.24	c nbDecision=946000 #constraints=4606
1360.42/1360.97	c nbDecision=946500 #constraints=4606
1361.12/1361.69	c nbDecision=947000 #constraints=4606
1361.92/1362.42	c nbDecision=947500 #constraints=4606
1362.62/1363.15	c nbDecision=948000 #constraints=4606
1363.32/1363.87	c nbDecision=948500 #constraints=4606
1364.12/1364.60	c nbDecision=949000 #constraints=4606
1364.82/1365.32	c nbDecision=949500 #constraints=4606
1365.52/1366.05	c nbDecision=950000 #constraints=4606
1366.22/1366.77	c nbDecision=950500 #constraints=4606
1367.02/1367.50	c nbDecision=951000 #constraints=4606
1367.72/1368.22	c nbDecision=951500 #constraints=4606
1368.41/1368.94	c nbDecision=952000 #constraints=4606
1369.11/1369.66	c nbDecision=952500 #constraints=4606
1369.81/1370.38	c nbDecision=953000 #constraints=4606
1370.52/1371.10	c nbDecision=953500 #constraints=4606
1371.31/1371.81	c nbDecision=954000 #constraints=4606
1372.01/1372.52	c nbDecision=954500 #constraints=4606
1372.71/1373.22	c nbDecision=955000 #constraints=4606
1373.42/1373.93	c nbDecision=955500 #constraints=4606
1374.11/1374.63	c nbDecision=956000 #constraints=4606
1374.81/1375.33	c nbDecision=956500 #constraints=4606
1375.52/1376.02	c nbDecision=957000 #constraints=4606
1376.21/1376.72	c nbDecision=957500 #constraints=4606
1376.91/1377.42	c nbDecision=958000 #constraints=4606
1377.61/1378.12	c nbDecision=958500 #constraints=4606
1378.31/1378.81	c nbDecision=959000 #constraints=4606
1379.01/1379.50	c nbDecision=959500 #constraints=4606
1379.61/1380.19	c nbDecision=960000 #constraints=4606
1380.31/1380.89	c nbDecision=960500 #constraints=4606
1381.02/1381.58	c nbDecision=961000 #constraints=4606
1381.81/1382.33	c nbDecision=961500 #constraints=4607
1382.51/1383.08	c nbDecision=962000 #constraints=4607
1383.31/1383.83	c nbDecision=962500 #constraints=4607
1384.01/1384.58	c nbDecision=963000 #constraints=4607
1384.81/1385.33	c nbDecision=963500 #constraints=4607
1385.51/1386.08	c nbDecision=964000 #constraints=4607
1386.31/1386.82	c nbDecision=964500 #constraints=4607
1387.01/1387.57	c nbDecision=965000 #constraints=4607
1387.81/1388.31	c nbDecision=965500 #constraints=4607
1388.51/1389.05	c nbDecision=966000 #constraints=4607
1389.21/1389.79	c nbDecision=966500 #constraints=4607
1390.01/1390.53	c nbDecision=967000 #constraints=4607
1390.71/1391.27	c nbDecision=967500 #constraints=4607
1391.51/1392.01	c nbDecision=968000 #constraints=4607
1392.21/1392.74	c nbDecision=968500 #constraints=4607
1392.91/1393.47	c nbDecision=969000 #constraints=4607
1393.61/1394.19	c nbDecision=969500 #constraints=4607
1394.40/1394.92	c nbDecision=970000 #constraints=4607
1395.10/1395.64	c nbDecision=970500 #constraints=4607
1395.80/1396.37	c nbDecision=971000 #constraints=4607
1396.51/1397.09	c nbDecision=971500 #constraints=4607
1397.30/1397.81	c nbDecision=972000 #constraints=4607
1398.00/1398.53	c nbDecision=972500 #constraints=4607
1398.71/1399.25	c nbDecision=973000 #constraints=4607
1399.40/1399.96	c nbDecision=973500 #constraints=4607
1400.10/1400.68	c nbDecision=974000 #constraints=4607
1400.81/1401.39	c nbDecision=974500 #constraints=4607
1401.60/1402.11	c nbDecision=975000 #constraints=4607
1402.30/1402.83	c nbDecision=975500 #constraints=4607
1403.00/1403.54	c nbDecision=976000 #constraints=4607
1403.70/1404.26	c nbDecision=976500 #constraints=4607
1404.40/1404.97	c nbDecision=977000 #constraints=4607
1405.10/1405.69	c nbDecision=977500 #constraints=4607
1405.90/1406.40	c nbDecision=978000 #constraints=4607
1406.60/1407.11	c nbDecision=978500 #constraints=4607
1407.30/1407.82	c nbDecision=979000 #constraints=4607
1408.00/1408.53	c nbDecision=979500 #constraints=4607
1408.70/1409.24	c nbDecision=980000 #constraints=4607
1409.40/1409.94	c nbDecision=980500 #constraints=4607
1410.10/1410.64	c nbDecision=981000 #constraints=4607
1410.80/1411.34	c nbDecision=981500 #constraints=4607
1411.50/1412.04	c nbDecision=982000 #constraints=4607
1412.20/1412.74	c nbDecision=982500 #constraints=4607
1412.90/1413.43	c nbDecision=983000 #constraints=4607
1413.60/1414.12	c nbDecision=983500 #constraints=4607
1414.30/1414.81	c nbDecision=984000 #constraints=4607
1415.00/1415.57	c nbDecision=984500 #constraints=4608
1415.80/1416.32	c nbDecision=985000 #constraints=4608
1416.50/1417.05	c nbDecision=985500 #constraints=4608
1417.20/1417.80	c nbDecision=986000 #constraints=4608
1418.00/1418.54	c nbDecision=986500 #constraints=4608
1418.70/1419.28	c nbDecision=987000 #constraints=4608
1419.50/1420.01	c nbDecision=987500 #constraints=4608
1420.20/1420.74	c nbDecision=988000 #constraints=4608
1420.90/1421.48	c nbDecision=988500 #constraints=4608
1421.70/1422.22	c nbDecision=989000 #constraints=4608
1422.40/1422.96	c nbDecision=989500 #constraints=4608
1423.19/1423.70	c nbDecision=990000 #constraints=4608
1423.90/1424.43	c nbDecision=990500 #constraints=4608
1424.59/1425.16	c nbDecision=991000 #constraints=4608
1425.39/1425.90	c nbDecision=991500 #constraints=4608
1426.10/1426.63	c nbDecision=992000 #constraints=4608
1426.79/1427.37	c nbDecision=992500 #constraints=4608
1427.59/1428.10	c nbDecision=993000 #constraints=4608
1428.30/1428.83	c nbDecision=993500 #constraints=4608
1428.99/1429.56	c nbDecision=994000 #constraints=4608
1429.69/1430.28	c nbDecision=994500 #constraints=4608
1430.50/1431.01	c nbDecision=995000 #constraints=4608
1431.19/1431.73	c nbDecision=995500 #constraints=4608
1431.89/1432.45	c nbDecision=996000 #constraints=4608
1432.59/1433.16	c nbDecision=996500 #constraints=4608
1433.29/1433.88	c nbDecision=997000 #constraints=4608
1433.99/1434.59	c nbDecision=997500 #constraints=4608
1434.79/1435.30	c nbDecision=998000 #constraints=4608
1435.49/1436.01	c nbDecision=998500 #constraints=4608
1436.19/1436.72	c nbDecision=999000 #constraints=4608
1436.89/1437.42	c nbDecision=999500 #constraints=4608
1437.59/1438.13	c nbDecision=1000000 #constraints=4608
1438.29/1438.83	c nbDecision=1000500 #constraints=4608
1438.99/1439.54	c nbDecision=1001000 #constraints=4608
1439.69/1440.24	c nbDecision=1001500 #constraints=4608
1440.39/1440.94	c nbDecision=1002000 #constraints=4608
1441.09/1441.64	c nbDecision=1002500 #constraints=4608
1441.79/1442.35	c nbDecision=1003000 #constraints=4608
1442.49/1443.05	c nbDecision=1003500 #constraints=4608
1443.19/1443.76	c nbDecision=1004000 #constraints=4608
1443.89/1444.46	c nbDecision=1004500 #constraints=4608
1444.59/1445.16	c nbDecision=1005000 #constraints=4608
1445.29/1445.86	c nbDecision=1005500 #constraints=4608
1446.00/1446.56	c nbDecision=1006000 #constraints=4608
1446.70/1447.26	c nbDecision=1006500 #constraints=4608
1447.50/1448.00	c nbDecision=1007000 #constraints=4609
1448.20/1448.75	c nbDecision=1007500 #constraints=4609
1448.89/1449.49	c nbDecision=1008000 #constraints=4609
1449.69/1450.24	c nbDecision=1008500 #constraints=4609
1450.40/1450.98	c nbDecision=1009000 #constraints=4609
1451.19/1451.73	c nbDecision=1009500 #constraints=4609
1451.89/1452.46	c nbDecision=1010000 #constraints=4609
1452.60/1453.20	c nbDecision=1010500 #constraints=4609
1453.39/1453.93	c nbDecision=1011000 #constraints=4609
1454.09/1454.66	c nbDecision=1011500 #constraints=4609
1454.80/1455.39	c nbDecision=1012000 #constraints=4609
1455.59/1456.12	c nbDecision=1012500 #constraints=4609
1456.29/1456.85	c nbDecision=1013000 #constraints=4609
1457.00/1457.58	c nbDecision=1013500 #constraints=4609
1457.69/1458.29	c nbDecision=1014000 #constraints=4609
1458.49/1459.02	c nbDecision=1014500 #constraints=4609
1459.19/1459.74	c nbDecision=1015000 #constraints=4609
1459.89/1460.46	c nbDecision=1015500 #constraints=4609
1460.59/1461.18	c nbDecision=1016000 #constraints=4609
1461.39/1461.91	c nbDecision=1016500 #constraints=4609
1462.09/1462.63	c nbDecision=1017000 #constraints=4609
1462.79/1463.36	c nbDecision=1017500 #constraints=4609
1463.49/1464.08	c nbDecision=1018000 #constraints=4609
1464.29/1464.80	c nbDecision=1018500 #constraints=4609
1464.99/1465.52	c nbDecision=1019000 #constraints=4609
1465.69/1466.24	c nbDecision=1019500 #constraints=4609
1466.39/1466.96	c nbDecision=1020000 #constraints=4609
1467.09/1467.67	c nbDecision=1020500 #constraints=4609
1467.78/1468.39	c nbDecision=1021000 #constraints=4609
1468.58/1469.10	c nbDecision=1021500 #constraints=4609
1469.28/1469.81	c nbDecision=1022000 #constraints=4609
1469.98/1470.53	c nbDecision=1022500 #constraints=4609
1470.68/1471.24	c nbDecision=1023000 #constraints=4609
1471.38/1471.94	c nbDecision=1023500 #constraints=4609
1472.08/1472.65	c nbDecision=1024000 #constraints=4609
1472.78/1473.34	c nbDecision=1024500 #constraints=4609
1473.49/1474.04	c nbDecision=1025000 #constraints=4609
1474.18/1474.73	c nbDecision=1025500 #constraints=4609
1474.88/1475.43	c nbDecision=1026000 #constraints=4609
1475.59/1476.13	c nbDecision=1026500 #constraints=4609
1476.28/1476.82	c nbDecision=1027000 #constraints=4609
1476.98/1477.51	c nbDecision=1027500 #constraints=4609
1477.68/1478.20	c nbDecision=1028000 #constraints=4609
1478.38/1478.95	c nbDecision=1028500 #constraints=4610
1479.08/1479.69	c nbDecision=1029000 #constraints=4610
1479.88/1480.43	c nbDecision=1029500 #constraints=4610
1480.58/1481.17	c nbDecision=1030000 #constraints=4610
1481.38/1481.91	c nbDecision=1030500 #constraints=4610
1482.08/1482.65	c nbDecision=1031000 #constraints=4610
1482.78/1483.39	c nbDecision=1031500 #constraints=4610
1483.58/1484.13	c nbDecision=1032000 #constraints=4610
1484.28/1484.87	c nbDecision=1032500 #constraints=4610
1485.08/1485.61	c nbDecision=1033000 #constraints=4610
1485.78/1486.35	c nbDecision=1033500 #constraints=4610
1486.48/1487.08	c nbDecision=1034000 #constraints=4610
1487.28/1487.82	c nbDecision=1034500 #constraints=4610
1487.98/1488.56	c nbDecision=1035000 #constraints=4610
1488.68/1489.28	c nbDecision=1035500 #constraints=4610
1489.48/1490.01	c nbDecision=1036000 #constraints=4610
1490.18/1490.74	c nbDecision=1036500 #constraints=4610
1490.88/1491.47	c nbDecision=1037000 #constraints=4610
1491.58/1492.19	c nbDecision=1037500 #constraints=4610
1492.38/1492.91	c nbDecision=1038000 #constraints=4610
1493.08/1493.63	c nbDecision=1038500 #constraints=4610
1493.78/1494.35	c nbDecision=1039000 #constraints=4610
1494.48/1495.06	c nbDecision=1039500 #constraints=4610
1495.18/1495.77	c nbDecision=1040000 #constraints=4610
1495.88/1496.48	c nbDecision=1040500 #constraints=4610
1496.58/1497.19	c nbDecision=1041000 #constraints=4610
1497.28/1497.89	c nbDecision=1041500 #constraints=4610
1498.08/1498.61	c nbDecision=1042000 #constraints=4610
1498.78/1499.31	c nbDecision=1042500 #constraints=4610
1499.48/1500.01	c nbDecision=1043000 #constraints=4610
1500.17/1500.71	c nbDecision=1043500 #constraints=4610
1500.88/1501.42	c nbDecision=1044000 #constraints=4610
1501.57/1502.13	c nbDecision=1044500 #constraints=4610
1502.27/1502.83	c nbDecision=1045000 #constraints=4610
1502.97/1503.54	c nbDecision=1045500 #constraints=4610
1503.67/1504.24	c nbDecision=1046000 #constraints=4610
1504.37/1504.95	c nbDecision=1046500 #constraints=4610
1505.07/1505.65	c nbDecision=1047000 #constraints=4610
1505.77/1506.35	c nbDecision=1047500 #constraints=4610
1506.48/1507.05	c nbDecision=1048000 #constraints=4610
1507.17/1507.75	c nbDecision=1048500 #constraints=4610
1507.87/1508.45	c nbDecision=1049000 #constraints=4610
1508.58/1509.15	c nbDecision=1049500 #constraints=4610
1509.37/1509.90	c nbDecision=1050000 #constraints=4611
1510.07/1510.65	c nbDecision=1050500 #constraints=4611
1510.88/1511.41	c nbDecision=1051000 #constraints=4611
1511.57/1512.15	c nbDecision=1051500 #constraints=4611
1512.27/1512.89	c nbDecision=1052000 #constraints=4611
1513.07/1513.63	c nbDecision=1052500 #constraints=4611
1513.77/1514.37	c nbDecision=1053000 #constraints=4611
1514.57/1515.10	c nbDecision=1053500 #constraints=4611
1515.27/1515.83	c nbDecision=1054000 #constraints=4611
1515.97/1516.57	c nbDecision=1054500 #constraints=4611
1516.77/1517.30	c nbDecision=1055000 #constraints=4611
1517.47/1518.02	c nbDecision=1055500 #constraints=4611
1518.17/1518.75	c nbDecision=1056000 #constraints=4611
1518.87/1519.48	c nbDecision=1056500 #constraints=4611
1519.67/1520.21	c nbDecision=1057000 #constraints=4611
1520.37/1520.93	c nbDecision=1057500 #constraints=4611
1521.07/1521.65	c nbDecision=1058000 #constraints=4611
1521.77/1522.38	c nbDecision=1058500 #constraints=4611
1522.57/1523.12	c nbDecision=1059000 #constraints=4611
1523.27/1523.85	c nbDecision=1059500 #constraints=4611
1523.97/1524.57	c nbDecision=1060000 #constraints=4611
1524.67/1525.29	c nbDecision=1060500 #constraints=4611
1525.47/1526.02	c nbDecision=1061000 #constraints=4611
1526.17/1526.74	c nbDecision=1061500 #constraints=4611
1526.87/1527.47	c nbDecision=1062000 #constraints=4611
1527.57/1528.19	c nbDecision=1062500 #constraints=4611
1528.37/1528.91	c nbDecision=1063000 #constraints=4611
1529.07/1529.63	c nbDecision=1063500 #constraints=4611
1529.77/1530.34	c nbDecision=1064000 #constraints=4611
1530.47/1531.06	c nbDecision=1064500 #constraints=4611
1531.17/1531.77	c nbDecision=1065000 #constraints=4611
1531.87/1532.48	c nbDecision=1065500 #constraints=4611
1532.57/1533.19	c nbDecision=1066000 #constraints=4611
1533.26/1533.89	c nbDecision=1066500 #constraints=4611
1533.97/1534.60	c nbDecision=1067000 #constraints=4611
1534.66/1535.29	c nbDecision=1067500 #constraints=4611
1535.36/1535.99	c nbDecision=1068000 #constraints=4611
1536.07/1536.69	c nbDecision=1068500 #constraints=4611
1536.76/1537.39	c nbDecision=1069000 #constraints=4611
1537.46/1538.09	c nbDecision=1069500 #constraints=4611
1538.16/1538.78	c nbDecision=1070000 #constraints=4611
1538.86/1539.48	c nbDecision=1070500 #constraints=4611
1539.56/1540.17	c nbDecision=1071000 #constraints=4611
1540.26/1540.86	c nbDecision=1071500 #constraints=4611
1540.96/1541.55	c nbDecision=1072000 #constraints=4611
1541.76/1542.30	c nbDecision=1072500 #constraints=4612
1542.46/1543.05	c nbDecision=1073000 #constraints=4612
1543.26/1543.80	c nbDecision=1073500 #constraints=4612
1543.96/1544.55	c nbDecision=1074000 #constraints=4612
1544.76/1545.30	c nbDecision=1074500 #constraints=4612
1545.46/1546.04	c nbDecision=1075000 #constraints=4612
1546.16/1546.79	c nbDecision=1075500 #constraints=4612
1546.96/1547.53	c nbDecision=1076000 #constraints=4612
1547.66/1548.28	c nbDecision=1076500 #constraints=4612
1548.46/1549.02	c nbDecision=1077000 #constraints=4612
1549.16/1549.76	c nbDecision=1077500 #constraints=4612
1549.96/1550.50	c nbDecision=1078000 #constraints=4612
1550.66/1551.24	c nbDecision=1078500 #constraints=4612
1551.36/1551.97	c nbDecision=1079000 #constraints=4612
1552.16/1552.70	c nbDecision=1079500 #constraints=4612
1552.85/1553.43	c nbDecision=1080000 #constraints=4612
1553.55/1554.15	c nbDecision=1080500 #constraints=4612
1554.25/1554.88	c nbDecision=1081000 #constraints=4612
1555.05/1555.60	c nbDecision=1081500 #constraints=4612
1555.75/1556.32	c nbDecision=1082000 #constraints=4612
1556.45/1557.05	c nbDecision=1082500 #constraints=4612
1557.15/1557.77	c nbDecision=1083000 #constraints=4612
1557.85/1558.49	c nbDecision=1083500 #constraints=4612
1558.65/1559.21	c nbDecision=1084000 #constraints=4612
1559.35/1559.92	c nbDecision=1084500 #constraints=4612
1560.05/1560.64	c nbDecision=1085000 #constraints=4612
1560.75/1561.35	c nbDecision=1085500 #constraints=4612
1561.46/1562.07	c nbDecision=1086000 #constraints=4612
1562.15/1562.78	c nbDecision=1086500 #constraints=4612
1562.95/1563.50	c nbDecision=1087000 #constraints=4612
1563.66/1564.22	c nbDecision=1087500 #constraints=4612
1564.35/1564.92	c nbDecision=1088000 #constraints=4612
1565.05/1565.63	c nbDecision=1088500 #constraints=4612
1565.75/1566.35	c nbDecision=1089000 #constraints=4612
1566.45/1567.06	c nbDecision=1089500 #constraints=4612
1567.15/1567.77	c nbDecision=1090000 #constraints=4612
1567.85/1568.48	c nbDecision=1090500 #constraints=4612
1568.55/1569.18	c nbDecision=1091000 #constraints=4612
1569.25/1569.89	c nbDecision=1091500 #constraints=4612
1569.95/1570.59	c nbDecision=1092000 #constraints=4612
1570.65/1571.29	c nbDecision=1092500 #constraints=4612
1571.35/1571.99	c nbDecision=1093000 #constraints=4612
1572.05/1572.69	c nbDecision=1093500 #constraints=4612
1572.75/1573.38	c nbDecision=1094000 #constraints=4612
1573.45/1574.07	c nbDecision=1094500 #constraints=4612
1574.15/1574.76	c nbDecision=1095000 #constraints=4612
1574.95/1575.53	c nbDecision=1095500 #constraints=4613
1575.65/1576.27	c nbDecision=1096000 #constraints=4613
1576.45/1577.01	c nbDecision=1096500 #constraints=4613
1577.15/1577.74	c nbDecision=1097000 #constraints=4613
1577.85/1578.48	c nbDecision=1097500 #constraints=4613
1578.65/1579.22	c nbDecision=1098000 #constraints=4613
1579.35/1579.95	c nbDecision=1098500 #constraints=4613
1580.05/1580.68	c nbDecision=1099000 #constraints=4613
1580.85/1581.42	c nbDecision=1099500 #constraints=4613
1581.55/1582.15	c nbDecision=1100000 #constraints=4613
1582.25/1582.89	c nbDecision=1100500 #constraints=4613
1583.05/1583.63	c nbDecision=1101000 #constraints=4613
1583.75/1584.36	c nbDecision=1101500 #constraints=4613
1584.45/1585.09	c nbDecision=1102000 #constraints=4613
1585.25/1585.82	c nbDecision=1102500 #constraints=4613
1585.94/1586.55	c nbDecision=1103000 #constraints=4613
1586.65/1587.28	c nbDecision=1103500 #constraints=4613
1587.44/1588.01	c nbDecision=1104000 #constraints=4613
1588.14/1588.73	c nbDecision=1104500 #constraints=4613
1588.85/1589.46	c nbDecision=1105000 #constraints=4613
1589.54/1590.18	c nbDecision=1105500 #constraints=4613
1590.34/1590.90	c nbDecision=1106000 #constraints=4613
1591.05/1591.62	c nbDecision=1106500 #constraints=4613
1591.74/1592.34	c nbDecision=1107000 #constraints=4613
1592.44/1593.05	c nbDecision=1107500 #constraints=4613
1593.14/1593.76	c nbDecision=1108000 #constraints=4613
1593.84/1594.47	c nbDecision=1108500 #constraints=4613
1594.54/1595.18	c nbDecision=1109000 #constraints=4613
1595.24/1595.89	c nbDecision=1109500 #constraints=4613
1595.94/1596.59	c nbDecision=1110000 #constraints=4613
1596.74/1597.30	c nbDecision=1110500 #constraints=4613
1597.44/1598.00	c nbDecision=1111000 #constraints=4613
1598.14/1598.70	c nbDecision=1111500 #constraints=4613
1598.84/1599.41	c nbDecision=1112000 #constraints=4613
1599.54/1600.10	c nbDecision=1112500 #constraints=4613
1600.14/1600.80	c nbDecision=1113000 #constraints=4613
1600.84/1601.50	c nbDecision=1113500 #constraints=4613
1601.64/1602.20	c nbDecision=1114000 #constraints=4613
1602.24/1602.90	c nbDecision=1114500 #constraints=4613
1602.94/1603.59	c nbDecision=1115000 #constraints=4613
1603.64/1604.29	c nbDecision=1115500 #constraints=4613
1604.34/1604.98	c nbDecision=1116000 #constraints=4613
1605.14/1605.72	c nbDecision=1116500 #constraints=4614
1605.84/1606.48	c nbDecision=1117000 #constraints=4614
1606.64/1607.23	c nbDecision=1117500 #constraints=4614
1607.34/1607.98	c nbDecision=1118000 #constraints=4614
1608.14/1608.72	c nbDecision=1118500 #constraints=4614
1608.84/1609.47	c nbDecision=1119000 #constraints=4614
1609.64/1610.21	c nbDecision=1119500 #constraints=4614
1610.34/1610.95	c nbDecision=1120000 #constraints=4614
1611.14/1611.70	c nbDecision=1120500 #constraints=4614
1611.83/1612.43	c nbDecision=1121000 #constraints=4614
1612.53/1613.17	c nbDecision=1121500 #constraints=4614
1613.33/1613.90	c nbDecision=1122000 #constraints=4614
1614.03/1614.63	c nbDecision=1122500 #constraints=4614
1614.73/1615.36	c nbDecision=1123000 #constraints=4614
1615.43/1616.09	c nbDecision=1123500 #constraints=4614
1616.23/1616.81	c nbDecision=1124000 #constraints=4614
1616.93/1617.54	c nbDecision=1124500 #constraints=4614
1617.63/1618.27	c nbDecision=1125000 #constraints=4614
1618.33/1618.99	c nbDecision=1125500 #constraints=4614
1619.13/1619.71	c nbDecision=1126000 #constraints=4614
1619.83/1620.43	c nbDecision=1126500 #constraints=4614
1620.53/1621.15	c nbDecision=1127000 #constraints=4614
1621.23/1621.88	c nbDecision=1127500 #constraints=4614
1622.03/1622.60	c nbDecision=1128000 #constraints=4614
1622.73/1623.31	c nbDecision=1128500 #constraints=4614
1623.43/1624.03	c nbDecision=1129000 #constraints=4614
1624.13/1624.75	c nbDecision=1129500 #constraints=4614
1624.83/1625.47	c nbDecision=1130000 #constraints=4614
1625.53/1626.19	c nbDecision=1130500 #constraints=4614
1626.33/1626.91	c nbDecision=1131000 #constraints=4614
1627.03/1627.63	c nbDecision=1131500 #constraints=4614
1627.73/1628.34	c nbDecision=1132000 #constraints=4614
1628.43/1629.05	c nbDecision=1132500 #constraints=4614
1629.13/1629.76	c nbDecision=1133000 #constraints=4614
1629.83/1630.47	c nbDecision=1133500 #constraints=4614
1630.53/1631.18	c nbDecision=1134000 #constraints=4614
1631.23/1631.89	c nbDecision=1134500 #constraints=4614
1631.93/1632.59	c nbDecision=1135000 #constraints=4614
1632.63/1633.29	c nbDecision=1135500 #constraints=4614
1633.33/1633.98	c nbDecision=1136000 #constraints=4614
1634.03/1634.68	c nbDecision=1136500 #constraints=4614
1634.73/1635.38	c nbDecision=1137000 #constraints=4614
1635.43/1636.07	c nbDecision=1137500 #constraints=4614
1636.13/1636.76	c nbDecision=1138000 #constraints=4614
1636.82/1637.45	c nbDecision=1138500 #constraints=4614
1637.52/1638.19	c nbDecision=1139000 #constraints=4615
1638.33/1638.93	c nbDecision=1139500 #constraints=4615
1639.02/1639.67	c nbDecision=1140000 #constraints=4615
1639.82/1640.41	c nbDecision=1140500 #constraints=4615
1640.53/1641.15	c nbDecision=1141000 #constraints=4615
1641.22/1641.89	c nbDecision=1141500 #constraints=4615
1642.02/1642.64	c nbDecision=1142000 #constraints=4615
1642.72/1643.38	c nbDecision=1142500 #constraints=4615
1643.52/1644.13	c nbDecision=1143000 #constraints=4615
1644.22/1644.86	c nbDecision=1143500 #constraints=4615
1645.02/1645.61	c nbDecision=1144000 #constraints=4615
1645.72/1646.35	c nbDecision=1144500 #constraints=4615
1646.42/1647.08	c nbDecision=1145000 #constraints=4615
1647.22/1647.82	c nbDecision=1145500 #constraints=4615
1647.92/1648.56	c nbDecision=1146000 #constraints=4615
1648.62/1649.28	c nbDecision=1146500 #constraints=4615
1649.42/1650.02	c nbDecision=1147000 #constraints=4615
1650.12/1650.75	c nbDecision=1147500 #constraints=4615
1650.82/1651.48	c nbDecision=1148000 #constraints=4615
1651.62/1652.20	c nbDecision=1148500 #constraints=4615
1652.32/1652.92	c nbDecision=1149000 #constraints=4615
1653.02/1653.64	c nbDecision=1149500 #constraints=4615
1653.72/1654.36	c nbDecision=1150000 #constraints=4615
1654.42/1655.08	c nbDecision=1150500 #constraints=4615
1655.22/1655.80	c nbDecision=1151000 #constraints=4615
1655.92/1656.51	c nbDecision=1151500 #constraints=4615
1656.62/1657.23	c nbDecision=1152000 #constraints=4615
1657.32/1657.94	c nbDecision=1152500 #constraints=4615
1658.01/1658.65	c nbDecision=1153000 #constraints=4615
1658.71/1659.36	c nbDecision=1153500 #constraints=4615
1659.41/1660.07	c nbDecision=1154000 #constraints=4615
1660.11/1660.77	c nbDecision=1154500 #constraints=4615
1660.82/1661.48	c nbDecision=1155000 #constraints=4615
1661.52/1662.19	c nbDecision=1155500 #constraints=4615
1662.31/1662.90	c nbDecision=1156000 #constraints=4615
1663.01/1663.62	c nbDecision=1156500 #constraints=4615
1663.72/1664.33	c nbDecision=1157000 #constraints=4615
1664.41/1665.03	c nbDecision=1157500 #constraints=4615
1665.11/1665.74	c nbDecision=1158000 #constraints=4615
1665.82/1666.44	c nbDecision=1158500 #constraints=4615
1666.51/1667.15	c nbDecision=1159000 #constraints=4615
1667.21/1667.85	c nbDecision=1159500 #constraints=4615
1667.91/1668.54	c nbDecision=1160000 #constraints=4615
1668.61/1669.24	c nbDecision=1160500 #constraints=4615
1669.31/1669.93	c nbDecision=1161000 #constraints=4615
1670.01/1670.62	c nbDecision=1161500 #constraints=4615
1670.81/1671.40	c nbDecision=1162000 #constraints=4616
1671.51/1672.14	c nbDecision=1162500 #constraints=4616
1672.21/1672.88	c nbDecision=1163000 #constraints=4616
1673.01/1673.62	c nbDecision=1163500 #constraints=4616
1673.71/1674.36	c nbDecision=1164000 #constraints=4616
1674.41/1675.09	c nbDecision=1164500 #constraints=4616
1675.21/1675.82	c nbDecision=1165000 #constraints=4616
1675.91/1676.55	c nbDecision=1165500 #constraints=4616
1676.61/1677.29	c nbDecision=1166000 #constraints=4616
1677.41/1678.02	c nbDecision=1166500 #constraints=4616
1678.11/1678.75	c nbDecision=1167000 #constraints=4616
1678.81/1679.46	c nbDecision=1167500 #constraints=4616
1679.51/1680.19	c nbDecision=1168000 #constraints=4616
1680.31/1680.91	c nbDecision=1168500 #constraints=4616
1681.01/1681.64	c nbDecision=1169000 #constraints=4616
1681.71/1682.37	c nbDecision=1169500 #constraints=4616
1682.41/1683.09	c nbDecision=1170000 #constraints=4616
1683.21/1683.82	c nbDecision=1170500 #constraints=4616
1683.91/1684.54	c nbDecision=1171000 #constraints=4616
1684.61/1685.27	c nbDecision=1171500 #constraints=4616
1685.30/1685.99	c nbDecision=1172000 #constraints=4616
1686.10/1686.72	c nbDecision=1172500 #constraints=4616
1686.81/1687.44	c nbDecision=1173000 #constraints=4616
1687.50/1688.16	c nbDecision=1173500 #constraints=4616
1688.20/1688.88	c nbDecision=1174000 #constraints=4616
1688.91/1689.59	c nbDecision=1174500 #constraints=4616
1689.70/1690.31	c nbDecision=1175000 #constraints=4616
1690.40/1691.03	c nbDecision=1175500 #constraints=4616
1691.11/1691.74	c nbDecision=1176000 #constraints=4616
1691.80/1692.44	c nbDecision=1176500 #constraints=4616
1692.50/1693.15	c nbDecision=1177000 #constraints=4616
1693.20/1693.85	c nbDecision=1177500 #constraints=4616
1693.90/1694.56	c nbDecision=1178000 #constraints=4616
1694.60/1695.25	c nbDecision=1178500 #constraints=4616
1695.30/1695.95	c nbDecision=1179000 #constraints=4616
1696.00/1696.65	c nbDecision=1179500 #constraints=4616
1696.70/1697.35	c nbDecision=1180000 #constraints=4616
1697.40/1698.05	c nbDecision=1180500 #constraints=4616
1698.10/1698.74	c nbDecision=1181000 #constraints=4616
1698.80/1699.44	c nbDecision=1181500 #constraints=4616
1699.50/1700.13	c nbDecision=1182000 #constraints=4616
1700.20/1700.82	c nbDecision=1182500 #constraints=4616
1700.90/1701.57	c nbDecision=1183000 #constraints=4617
1701.70/1702.32	c nbDecision=1183500 #constraints=4617
1702.40/1703.07	c nbDecision=1184000 #constraints=4617
1703.20/1703.81	c nbDecision=1184500 #constraints=4617
1703.90/1704.56	c nbDecision=1185000 #constraints=4617
1704.60/1705.29	c nbDecision=1185500 #constraints=4617
1705.40/1706.04	c nbDecision=1186000 #constraints=4617
1706.10/1706.78	c nbDecision=1186500 #constraints=4617
1706.90/1707.52	c nbDecision=1187000 #constraints=4617
1707.60/1708.26	c nbDecision=1187500 #constraints=4617
1708.30/1709.00	c nbDecision=1188000 #constraints=4617
1709.10/1709.74	c nbDecision=1188500 #constraints=4617
1709.80/1710.47	c nbDecision=1189000 #constraints=4617
1710.59/1711.21	c nbDecision=1189500 #constraints=4617
1711.29/1711.94	c nbDecision=1190000 #constraints=4617
1712.00/1712.67	c nbDecision=1190500 #constraints=4617
1712.79/1713.40	c nbDecision=1191000 #constraints=4617
1713.49/1714.12	c nbDecision=1191500 #constraints=4617
1714.20/1714.85	c nbDecision=1192000 #constraints=4617
1714.89/1715.57	c nbDecision=1192500 #constraints=4617
1715.59/1716.29	c nbDecision=1193000 #constraints=4617
1716.40/1717.01	c nbDecision=1193500 #constraints=4617
1717.09/1717.73	c nbDecision=1194000 #constraints=4617
1717.79/1718.44	c nbDecision=1194500 #constraints=4617
1718.49/1719.16	c nbDecision=1195000 #constraints=4617
1719.19/1719.88	c nbDecision=1195500 #constraints=4617
1719.89/1720.59	c nbDecision=1196000 #constraints=4617
1720.69/1721.30	c nbDecision=1196500 #constraints=4617
1721.39/1722.01	c nbDecision=1197000 #constraints=4617
1722.09/1722.73	c nbDecision=1197500 #constraints=4617
1722.79/1723.44	c nbDecision=1198000 #constraints=4617
1723.49/1724.16	c nbDecision=1198500 #constraints=4617
1724.19/1724.87	c nbDecision=1199000 #constraints=4617
1724.89/1725.58	c nbDecision=1199500 #constraints=4617
1725.59/1726.28	c nbDecision=1200000 #constraints=4617
1726.29/1726.99	c nbDecision=1200500 #constraints=4617
1726.99/1727.70	c nbDecision=1201000 #constraints=4617
1727.69/1728.39	c nbDecision=1201500 #constraints=4617
1728.39/1729.10	c nbDecision=1202000 #constraints=4617
1729.19/1729.80	c nbDecision=1202500 #constraints=4617
1729.89/1730.51	c nbDecision=1203000 #constraints=4617
1730.59/1731.21	c nbDecision=1203500 #constraints=4617
1731.29/1731.91	c nbDecision=1204000 #constraints=4617
1731.99/1732.60	c nbDecision=1204500 #constraints=4617
1732.59/1733.29	c nbDecision=1205000 #constraints=4617
1733.39/1734.04	c nbDecision=1205500 #constraints=4618
1734.09/1734.78	c nbDecision=1206000 #constraints=4618
1734.89/1735.52	c nbDecision=1206500 #constraints=4618
1735.59/1736.25	c nbDecision=1207000 #constraints=4618
1736.29/1736.99	c nbDecision=1207500 #constraints=4618
1737.09/1737.73	c nbDecision=1208000 #constraints=4618
1737.79/1738.47	c nbDecision=1208500 #constraints=4618
1738.59/1739.21	c nbDecision=1209000 #constraints=4618
1739.29/1739.94	c nbDecision=1209500 #constraints=4618
1739.99/1740.68	c nbDecision=1210000 #constraints=4618
1740.79/1741.41	c nbDecision=1210500 #constraints=4618
1741.49/1742.15	c nbDecision=1211000 #constraints=4618
1742.19/1742.88	c nbDecision=1211500 #constraints=4618
1742.98/1743.62	c nbDecision=1212000 #constraints=4618
1743.68/1744.35	c nbDecision=1212500 #constraints=4618
1744.38/1745.09	c nbDecision=1213000 #constraints=4618
1745.18/1745.82	c nbDecision=1213500 #constraints=4618
1745.88/1746.55	c nbDecision=1214000 #constraints=4618
1746.58/1747.28	c nbDecision=1214500 #constraints=4618
1747.38/1748.01	c nbDecision=1215000 #constraints=4618
1748.08/1748.74	c nbDecision=1215500 #constraints=4618
1748.78/1749.47	c nbDecision=1216000 #constraints=4618
1749.49/1750.19	c nbDecision=1216500 #constraints=4618
1750.28/1750.91	c nbDecision=1217000 #constraints=4618
1750.98/1751.63	c nbDecision=1217500 #constraints=4618
1751.69/1752.35	c nbDecision=1218000 #constraints=4618
1752.38/1753.06	c nbDecision=1218500 #constraints=4618
1753.08/1753.78	c nbDecision=1219000 #constraints=4618
1753.78/1754.49	c nbDecision=1219500 #constraints=4618
1754.48/1755.19	c nbDecision=1220000 #constraints=4618
1755.28/1755.90	c nbDecision=1220500 #constraints=4618
1755.98/1756.61	c nbDecision=1221000 #constraints=4618
1756.68/1757.31	c nbDecision=1221500 #constraints=4618
1757.38/1758.02	c nbDecision=1222000 #constraints=4618
1758.08/1758.72	c nbDecision=1222500 #constraints=4618
1758.78/1759.42	c nbDecision=1223000 #constraints=4618
1759.48/1760.12	c nbDecision=1223500 #constraints=4618
1760.18/1760.82	c nbDecision=1224000 #constraints=4618
1760.88/1761.52	c nbDecision=1224500 #constraints=4618
1761.58/1762.22	c nbDecision=1225000 #constraints=4618
1762.28/1762.92	c nbDecision=1225500 #constraints=4618
1762.97/1763.62	c nbDecision=1226000 #constraints=4618
1763.68/1764.32	c nbDecision=1226500 #constraints=4618
1764.37/1765.02	c nbDecision=1227000 #constraints=4618
1765.07/1765.72	c nbDecision=1227500 #constraints=4618
1765.77/1766.47	c nbDecision=1228000 #constraints=4619
1766.57/1767.22	c nbDecision=1228500 #constraints=4619
1767.27/1767.97	c nbDecision=1229000 #constraints=4619
1768.08/1768.71	c nbDecision=1229500 #constraints=4619
1768.77/1769.46	c nbDecision=1230000 #constraints=4619
1769.57/1770.20	c nbDecision=1230500 #constraints=4619
1770.28/1770.94	c nbDecision=1231000 #constraints=4619
1770.97/1771.68	c nbDecision=1231500 #constraints=4619
1771.77/1772.42	c nbDecision=1232000 #constraints=4619
1772.48/1773.15	c nbDecision=1232500 #constraints=4619
1773.17/1773.88	c nbDecision=1233000 #constraints=4619
1773.97/1774.61	c nbDecision=1233500 #constraints=4619
1774.68/1775.33	c nbDecision=1234000 #constraints=4619
1775.37/1776.06	c nbDecision=1234500 #constraints=4619
1776.07/1776.78	c nbDecision=1235000 #constraints=4619
1776.87/1777.51	c nbDecision=1235500 #constraints=4619
1777.57/1778.23	c nbDecision=1236000 #constraints=4619
1778.27/1778.95	c nbDecision=1236500 #constraints=4619
1778.97/1779.67	c nbDecision=1237000 #constraints=4619
1779.67/1780.39	c nbDecision=1237500 #constraints=4619
1780.47/1781.11	c nbDecision=1238000 #constraints=4619
1781.17/1781.83	c nbDecision=1238500 #constraints=4619
1781.87/1782.55	c nbDecision=1239000 #constraints=4619
1782.57/1783.26	c nbDecision=1239500 #constraints=4619
1783.27/1783.97	c nbDecision=1240000 #constraints=4619
1783.97/1784.69	c nbDecision=1240500 #constraints=4619
1784.77/1785.41	c nbDecision=1241000 #constraints=4619
1785.47/1786.13	c nbDecision=1241500 #constraints=4619
1786.17/1786.84	c nbDecision=1242000 #constraints=4619
1786.87/1787.55	c nbDecision=1242500 #constraints=4619
1787.57/1788.26	c nbDecision=1243000 #constraints=4619
1788.27/1788.97	c nbDecision=1243500 #constraints=4619
1788.97/1789.68	c nbDecision=1244000 #constraints=4619
1789.67/1790.39	c nbDecision=1244500 #constraints=4619
1790.37/1791.09	c nbDecision=1245000 #constraints=4619
1791.07/1791.80	c nbDecision=1245500 #constraints=4619
1791.77/1792.49	c nbDecision=1246000 #constraints=4619
1792.47/1793.19	c nbDecision=1246500 #constraints=4619
1793.17/1793.88	c nbDecision=1247000 #constraints=4619
1793.87/1794.58	c nbDecision=1247500 #constraints=4619
1794.57/1795.27	c nbDecision=1248000 #constraints=4619
1795.27/1795.96	c nbDecision=1248500 #constraints=4619
1795.96/1796.69	c nbDecision=1249000 #constraints=4620
1796.77/1797.43	c nbDecision=1249500 #constraints=4620
1797.46/1798.16	c nbDecision=1250000 #constraints=4620
1798.26/1798.90	c nbDecision=1250500 #constraints=4620
1798.97/1799.63	c nbDecision=1251000 #constraints=4620
1799.66/1800.37	c nbDecision=1251500 #constraints=4620
1800.07/1800.71	Received signal 15
1800.07/1800.71	
1800.07/1800.71	s UNKNOWN
1800.07/1800.71	
1800.07/1800.71	c user time= 1799.99 s
1800.07/1800.71	c system time= 0.099984 s
1800.07/1800.71	c wall clock time=1800.71

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/node70/watcher-356902-1176847507 -o ROOT/results/node70/solver-356902-1176847507 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356902-1176847507/instance-356902-1176847507.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.72 0.93 0.98 3/64 13955
/proc/meminfo: memFree=1667208/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=1620 CPUtime=0
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 124288145 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 405 174 126 317 0 84 0

[startup+0.077664 s]
/proc/loadavg: 0.72 0.93 0.98 3/64 13955
/proc/meminfo: memFree=1667208/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=3440 CPUtime=0.07
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 791 0 0 0 7 0 0 0 18 0 1 0 124288145 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 860 546 127 317 0 539 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3440

[startup+0.101665 s]
/proc/loadavg: 0.72 0.93 0.98 3/64 13955
/proc/meminfo: memFree=1667208/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=3440 CPUtime=0.09
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 791 0 0 0 9 0 0 0 18 0 1 0 124288145 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 860 546 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301685 s]
/proc/loadavg: 0.72 0.93 0.98 3/64 13955
/proc/meminfo: memFree=1667208/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=7164 CPUtime=0.29
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 1724 0 0 0 29 0 0 0 19 0 1 0 124288145 7335936 1479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 1791 1479 131 317 0 1470 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7164

[startup+0.701725 s]
/proc/loadavg: 0.72 0.93 0.98 3/64 13955
/proc/meminfo: memFree=1667208/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=16140 CPUtime=0.69
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 3977 0 0 0 68 1 0 0 22 0 1 0 124288145 16527360 3732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 4035 3732 131 317 0 3714 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16140

[startup+1.5018 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 13956
/proc/meminfo: memFree=1639168/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=31996 CPUtime=1.49
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 7934 0 0 0 146 3 0 0 25 0 1 0 124288145 32763904 7689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 7999 7689 138 317 0 7678 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31996

[startup+3.10197 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 13956
/proc/meminfo: memFree=1636736/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=31996 CPUtime=3.09
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 7935 0 0 0 306 3 0 0 25 0 1 0 124288145 32763904 7690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 7999 7690 138 317 0 7678 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31996

[startup+6.30128 s]
/proc/loadavg: 0.74 0.94 0.98 2/65 13956
/proc/meminfo: memFree=1636616/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=31996 CPUtime=6.29
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 7937 0 0 0 626 3 0 0 25 0 1 0 124288145 32763904 7692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 7999 7692 138 317 0 7678 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31996

[startup+12.7019 s]
/proc/loadavg: 0.76 0.94 0.98 2/65 13956
/proc/meminfo: memFree=1636616/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=31996 CPUtime=12.69
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 7940 0 0 0 1266 3 0 0 25 0 1 0 124288145 32763904 7695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 7999 7695 138 317 0 7678 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31996

[startup+25.5012 s]
/proc/loadavg: 0.81 0.94 0.98 2/65 13956
/proc/meminfo: memFree=1636680/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=31996 CPUtime=25.48
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 7945 0 0 0 2545 3 0 0 25 0 1 0 124288145 32763904 7700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 7999 7700 138 317 0 7678 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31996

[startup+51.1018 s]
/proc/loadavg: 0.95 0.96 0.98 2/65 13956
/proc/meminfo: memFree=1636744/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32124 CPUtime=51.07
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 7957 0 0 0 5104 3 0 0 25 0 1 0 124288145 32894976 7712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8031 7712 138 317 0 7710 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32124

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/65 13956
/proc/meminfo: memFree=1636552/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=102.26
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 10223 3 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562888 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 32504

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636552/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=162.25
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 16221 4 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 32504

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636488/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=222.23
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 22219 4 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 32504

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636488/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=282.21
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 28217 4 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 32504

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=342.19
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 34215 4 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 32504

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=402.17
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 40212 5 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 32504

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=462.15
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 46210 5 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 32504

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=522.13
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 52208 5 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 32504

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636488/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=582.11
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 58206 5 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 32504

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636488/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=642.09
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 64204 5 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 32504


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=881.99
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 88193 6 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 32504

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=941.97
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 94191 6 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 32504

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1001.95
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 100188 7 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 32504

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1061.93
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 106186 7 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 32504

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1121.9
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 112183 7 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 32504

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1181.88
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 118181 7 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 32504

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1241.86
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 124178 8 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 32504

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1301.85
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 130177 8 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 32504

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1361.82
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 136174 8 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 32504

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1421.8
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 142172 8 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 32504

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636296/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1481.78
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 148169 9 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7772 139 317 0 7805 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 32504

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636296/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1541.76
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8020 0 0 0 154167 9 0 0 25 0 1 0 124288145 33284096 7775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7775 139 317 0 7805 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 32504

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1601.74
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8021 0 0 0 160165 9 0 0 25 0 1 0 124288145 33284096 7776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7776 139 317 0 7805 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 32504

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1661.71
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8025 0 0 0 166162 9 0 0 25 0 1 0 124288145 33284096 7780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7780 139 317 0 7805 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 32504

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636296/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1721.69
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8030 0 0 0 172160 9 0 0 25 0 1 0 124288145 33284096 7785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7785 139 317 0 7805 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 32504

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636296/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1781.67
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8033 0 0 0 178158 9 0 0 25 0 1 0 124288145 33284096 7788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7788 139 317 0 7805 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 32504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636296/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1800.07
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8035 0 0 0 179998 9 0 0 25 0 1 0 124288145 33284096 7790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7790 139 317 0 7805 0
Current children cumulated CPU time (s) 1800.07
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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13956
/proc/meminfo: memFree=1636296/2055920 swapFree=4183760/4192956
[pid=13955] ppid=13953 vsize=32504 CPUtime=1800.07
/proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8035 0 0 0 179998 9 0 0 25 0 1 0 124288145 33284096 7790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13955/statm: 8126 7790 139 317 0 7805 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 32504

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.11
CPU user time (s): 1800
CPU system time (s): 0.104984
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 32504

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

runsolver used 1.41378 second user time and 3.65444 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Tue Apr 17 22:05:08 UTC 2007

IDJOB= 356902
IDBENCH= 1614
IDSOLVER= 172
FILE ID= node70/356902-1176847507

PBS_JOBID= 4590213

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  f1062f0a31768badc14bf5e03feddb4c

RANDOM SEED= 318228391

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 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.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1667616 kB
Buffers:         41336 kB
Cached:         275560 kB
SwapCached:       3656 kB
Active:         163220 kB
Inactive:       163600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1667616 kB
SwapTotal:     4192956 kB
SwapFree:      4183760 kB
Dirty:            4792 kB
Writeback:           0 kB
Mapped:          15332 kB
Slab:            47584 kB
Committed_AS:  2436948 kB
PageTables:       1396 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= 66542 MiB

End job on node70 on Tue Apr 17 22:35:11 UTC 2007