Trace number 420529

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 NameAnswerCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.14 1801.74

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/crafted/Medium/
contest05/pebbling/sat-grid-pbl-0200.sat05-1339.reshuffled-07.opb
MD5SUM21e6e90d98d88737fe7f7e77baf11e52
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark24.0143
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables40200
Total number of constraints79801
Number of constraints which are clauses79801
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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.87	c ...done
0.79/0.87	c #vars=40200 #constraints=79801 hasObjective=no
0.99/1.10	c res. mode=mod
0.99/1.10	c VSIDS like heuristics
0.99/1.10	c complete search running
1.69/1.77	c restart after 401 decisions
1.89/1.95	c nbDecision=500 #constraints=79801
2.39/2.44	c restart after 801 decisions
2.69/2.78	c nbDecision=1000 #constraints=79801
3.59/3.61	c nbDecision=1500 #constraints=79801
3.69/3.77	c restart after 1601 decisions
4.39/4.44	c nbDecision=2000 #constraints=79801
5.19/5.26	c nbDecision=2500 #constraints=79801
5.99/6.07	c nbDecision=3000 #constraints=79801
6.29/6.39	c restart after 3201 decisions
6.89/6.90	c nbDecision=3500 #constraints=79801
7.69/7.71	c nbDecision=4000 #constraints=79801
8.48/8.52	c nbDecision=4500 #constraints=79801
9.28/9.32	c nbDecision=5000 #constraints=79801
10.08/10.11	c nbDecision=5500 #constraints=79801
10.78/10.89	c nbDecision=6000 #constraints=79801
11.48/11.53	c restart after 6401 decisions
11.68/11.73	c nbDecision=6500 #constraints=79801
12.48/12.57	c nbDecision=7000 #constraints=79801
13.28/13.38	c nbDecision=7500 #constraints=79801
14.08/14.18	c nbDecision=8000 #constraints=79801
14.88/14.97	c nbDecision=8500 #constraints=79801
15.68/15.76	c nbDecision=9000 #constraints=79801
16.48/16.54	c nbDecision=9500 #constraints=79801
17.28/17.32	c nbDecision=10000 #constraints=79801
17.98/18.09	c nbDecision=10500 #constraints=79801
18.78/18.85	c nbDecision=11000 #constraints=79801
19.58/19.60	c nbDecision=11500 #constraints=79801
20.28/20.39	c nbDecision=12000 #constraints=79802
21.08/21.13	c nbDecision=12500 #constraints=79802
21.48/21.58	c restart after 12801 decisions
21.88/21.95	c nbDecision=13000 #constraints=79802
22.68/22.77	c nbDecision=13500 #constraints=79802
23.48/23.58	c nbDecision=14000 #constraints=79802
24.28/24.39	c nbDecision=14500 #constraints=79802
25.08/25.19	c nbDecision=15000 #constraints=79802
25.88/25.98	c nbDecision=15500 #constraints=79802
26.68/26.76	c nbDecision=16000 #constraints=79802
27.48/27.53	c nbDecision=16500 #constraints=79802
28.18/28.29	c nbDecision=17000 #constraints=79802
28.98/29.04	c nbDecision=17500 #constraints=79802
29.68/29.79	c nbDecision=18000 #constraints=79802
30.48/30.52	c nbDecision=18500 #constraints=79802
31.18/31.25	c nbDecision=19000 #constraints=79802
31.88/31.99	c nbDecision=19500 #constraints=79803
32.67/32.74	c nbDecision=20000 #constraints=79803
33.37/33.47	c nbDecision=20500 #constraints=79803
34.16/34.20	c nbDecision=21000 #constraints=79804
34.86/34.95	c nbDecision=21500 #constraints=79805
35.56/35.68	c nbDecision=22000 #constraints=79805
36.36/36.41	c nbDecision=22500 #constraints=79805
37.06/37.14	c nbDecision=23000 #constraints=79805
37.76/37.85	c nbDecision=23500 #constraints=79805
38.46/38.56	c nbDecision=24000 #constraints=79805
39.16/39.28	c nbDecision=24500 #constraints=79806
39.86/39.99	c nbDecision=25000 #constraints=79806
40.56/40.69	c nbDecision=25500 #constraints=79806
40.76/40.83	c restart after 25601 decisions
41.46/41.52	c nbDecision=26000 #constraints=79806
42.26/42.33	c nbDecision=26500 #constraints=79806
43.06/43.14	c nbDecision=27000 #constraints=79806
43.86/43.95	c nbDecision=27500 #constraints=79806
44.66/44.74	c nbDecision=28000 #constraints=79806
45.46/45.53	c nbDecision=28500 #constraints=79806
46.26/46.31	c nbDecision=29000 #constraints=79806
46.96/47.08	c nbDecision=29500 #constraints=79806
47.76/47.83	c nbDecision=30000 #constraints=79806
48.46/48.58	c nbDecision=30500 #constraints=79806
49.26/49.33	c nbDecision=31000 #constraints=79806
49.96/50.06	c nbDecision=31500 #constraints=79806
50.66/50.78	c nbDecision=32000 #constraints=79806
51.46/51.50	c nbDecision=32500 #constraints=79806
52.16/52.21	c nbDecision=33000 #constraints=79806
52.85/52.91	c nbDecision=33500 #constraints=79806
53.55/53.60	c nbDecision=34000 #constraints=79806
54.25/54.34	c nbDecision=34500 #constraints=79807
54.96/55.06	c nbDecision=35000 #constraints=79807
55.65/55.77	c nbDecision=35500 #constraints=79807
56.35/56.47	c nbDecision=36000 #constraints=79807
57.06/57.17	c nbDecision=36500 #constraints=79807
57.75/57.89	c nbDecision=37000 #constraints=79807
58.55/58.62	c nbDecision=37500 #constraints=79807
59.34/59.41	c nbDecision=38000 #constraints=79808
60.04/60.17	c nbDecision=38500 #constraints=79808
60.84/60.90	c nbDecision=39000 #constraints=79808
61.54/61.60	c nbDecision=39500 #constraints=79808
62.24/62.33	c nbDecision=40000 #constraints=79809
62.94/63.05	c nbDecision=40500 #constraints=79809
63.64/63.77	c nbDecision=41000 #constraints=79809
64.34/64.47	c nbDecision=41500 #constraints=79809
65.04/65.17	c nbDecision=42000 #constraints=79809
65.74/65.86	c nbDecision=42500 #constraints=79809
66.44/66.53	c nbDecision=43000 #constraints=79809
67.13/67.20	c nbDecision=43500 #constraints=79809
67.73/67.88	c nbDecision=44000 #constraints=79810
68.43/68.54	c nbDecision=44500 #constraints=79810
69.03/69.20	c nbDecision=45000 #constraints=79810
69.73/69.87	c nbDecision=45500 #constraints=79811
70.43/70.53	c nbDecision=46000 #constraints=79811
71.03/71.17	c nbDecision=46500 #constraints=79811
71.73/71.87	c nbDecision=47000 #constraints=79812
72.44/72.56	c nbDecision=47500 #constraints=79812
73.13/73.24	c nbDecision=48000 #constraints=79812
73.83/73.91	c nbDecision=48500 #constraints=79812
74.53/74.61	c nbDecision=49000 #constraints=79813
75.13/75.29	c nbDecision=49500 #constraints=79813
75.84/75.95	c nbDecision=50000 #constraints=79813
76.53/76.62	c nbDecision=50500 #constraints=79813
77.13/77.28	c nbDecision=51000 #constraints=79813
77.43/77.56	c restart after 51201 decisions
77.93/78.07	c nbDecision=51500 #constraints=79814
78.73/78.89	c nbDecision=52000 #constraints=79814
79.62/79.70	c nbDecision=52500 #constraints=79814
80.42/80.51	c nbDecision=53000 #constraints=79814
81.23/81.31	c nbDecision=53500 #constraints=79814
81.92/82.10	c nbDecision=54000 #constraints=79814
82.72/82.88	c nbDecision=54500 #constraints=79814
83.53/83.65	c nbDecision=55000 #constraints=79814
84.32/84.42	c nbDecision=55500 #constraints=79814
85.02/85.18	c nbDecision=56000 #constraints=79814
85.82/85.93	c nbDecision=56500 #constraints=79814
86.52/86.66	c nbDecision=57000 #constraints=79814
87.22/87.39	c nbDecision=57500 #constraints=79814
88.02/88.11	c nbDecision=58000 #constraints=79814
88.72/88.82	c nbDecision=58500 #constraints=79814
89.42/89.52	c nbDecision=59000 #constraints=79814
90.12/90.21	c nbDecision=59500 #constraints=79814
90.82/90.90	c nbDecision=60000 #constraints=79814
91.42/91.57	c nbDecision=60500 #constraints=79814
92.12/92.24	c nbDecision=61000 #constraints=79814
92.81/92.90	c nbDecision=61500 #constraints=79814
93.42/93.55	c nbDecision=62000 #constraints=79814
94.01/94.19	c nbDecision=62500 #constraints=79814
94.71/94.84	c nbDecision=63000 #constraints=79815
95.31/95.49	c nbDecision=63500 #constraints=79816
96.01/96.13	c nbDecision=64000 #constraints=79816
96.62/96.78	c nbDecision=64500 #constraints=79816
97.31/97.48	c nbDecision=65000 #constraints=79823
98.01/98.16	c nbDecision=65500 #constraints=79823
98.71/98.83	c nbDecision=66000 #constraints=79823
99.31/99.49	c nbDecision=66500 #constraints=79823
100.02/100.14	c nbDecision=67000 #constraints=79823
100.61/100.78	c nbDecision=67500 #constraints=79823
101.31/101.46	c nbDecision=68000 #constraints=79825
102.01/102.14	c nbDecision=68500 #constraints=79825
102.71/102.81	c nbDecision=69000 #constraints=79825
103.31/103.48	c nbDecision=69500 #constraints=79825
104.01/104.16	c nbDecision=70000 #constraints=79825
104.70/104.83	c nbDecision=70500 #constraints=79825
105.40/105.55	c nbDecision=71000 #constraints=79828
106.20/106.31	c nbDecision=71500 #constraints=79828
106.90/107.07	c nbDecision=72000 #constraints=79828
107.70/107.81	c nbDecision=72500 #constraints=79828
108.40/108.54	c nbDecision=73000 #constraints=79828
109.10/109.26	c nbDecision=73500 #constraints=79828
109.80/109.98	c nbDecision=74000 #constraints=79828
110.50/110.69	c nbDecision=74500 #constraints=79828
111.20/111.39	c nbDecision=75000 #constraints=79828
111.90/112.08	c nbDecision=75500 #constraints=79828
112.60/112.77	c nbDecision=76000 #constraints=79828
113.30/113.44	c nbDecision=76500 #constraints=79828
114.00/114.10	c nbDecision=77000 #constraints=79828
114.60/114.76	c nbDecision=77500 #constraints=79828
115.30/115.41	c nbDecision=78000 #constraints=79828
115.90/116.05	c nbDecision=78500 #constraints=79828
116.50/116.68	c nbDecision=79000 #constraints=79828
117.20/117.34	c nbDecision=79500 #constraints=79829
117.80/117.98	c nbDecision=80000 #constraints=79829
118.49/118.62	c nbDecision=80500 #constraints=79829
119.09/119.28	c nbDecision=81000 #constraints=79830
119.80/119.94	c nbDecision=81500 #constraints=79830
120.39/120.59	c nbDecision=82000 #constraints=79830
121.09/121.24	c nbDecision=82500 #constraints=79830
121.69/121.87	c nbDecision=83000 #constraints=79830
122.39/122.52	c nbDecision=83500 #constraints=79831
123.09/123.24	c nbDecision=84000 #constraints=79832
123.78/123.94	c nbDecision=84500 #constraints=79832
124.48/124.60	c nbDecision=85000 #constraints=79832
125.08/125.24	c nbDecision=85500 #constraints=79832
125.68/125.86	c nbDecision=86000 #constraints=79832
126.38/126.59	c nbDecision=86500 #constraints=79837
127.08/127.28	c nbDecision=87000 #constraints=79837
127.78/127.97	c nbDecision=87500 #constraints=79837
128.48/128.64	c nbDecision=88000 #constraints=79837
129.18/129.31	c nbDecision=88500 #constraints=79837
129.78/129.97	c nbDecision=89000 #constraints=79837
130.48/130.62	c nbDecision=89500 #constraints=79837
131.08/131.26	c nbDecision=90000 #constraints=79837
131.67/131.89	c nbDecision=90500 #constraints=79837
132.37/132.52	c nbDecision=91000 #constraints=79837
132.98/133.17	c nbDecision=91500 #constraints=79840
133.67/133.82	c nbDecision=92000 #constraints=79840
134.27/134.46	c nbDecision=92500 #constraints=79840
134.97/135.10	c nbDecision=93000 #constraints=79840
135.57/135.72	c nbDecision=93500 #constraints=79840
136.18/136.35	c nbDecision=94000 #constraints=79841
136.77/136.97	c nbDecision=94500 #constraints=79841
137.47/137.61	c nbDecision=95000 #constraints=79842
138.07/138.23	c nbDecision=95500 #constraints=79842
138.67/138.85	c nbDecision=96000 #constraints=79842
139.27/139.47	c nbDecision=96500 #constraints=79843
139.97/140.15	c nbDecision=97000 #constraints=79850
140.67/140.83	c nbDecision=97500 #constraints=79852
141.37/141.54	c nbDecision=98000 #constraints=79852
142.07/142.24	c nbDecision=98500 #constraints=79852
142.77/142.93	c nbDecision=99000 #constraints=79852
143.47/143.61	c nbDecision=99500 #constraints=79852
144.07/144.28	c nbDecision=100000 #constraints=79852
144.77/144.95	c nbDecision=100500 #constraints=79852
145.47/145.60	c nbDecision=101000 #constraints=79852
146.07/146.25	c nbDecision=101500 #constraints=79852
146.67/146.88	c nbDecision=102000 #constraints=79852
147.17/147.38	c restart after 102401 decisions
147.36/147.50	c nbDecision=102500 #constraints=79852
147.96/148.18	c nbDecision=103000 #constraints=79854
148.76/148.99	c nbDecision=103500 #constraints=79854
149.66/149.84	c nbDecision=104000 #constraints=79854
150.46/150.64	c nbDecision=104500 #constraints=79854
151.26/151.42	c nbDecision=105000 #constraints=79854
152.06/152.20	c nbDecision=105500 #constraints=79854
152.76/152.98	c nbDecision=106000 #constraints=79854
153.55/153.75	c nbDecision=106500 #constraints=79855
154.35/154.52	c nbDecision=107000 #constraints=79855
155.05/155.28	c nbDecision=107500 #constraints=79855
155.85/156.03	c nbDecision=108000 #constraints=79855
156.55/156.78	c nbDecision=108500 #constraints=79855
157.35/157.54	c nbDecision=109000 #constraints=79856
158.15/158.32	c nbDecision=109500 #constraints=79856
158.85/159.09	c nbDecision=110000 #constraints=79856
159.65/159.85	c nbDecision=110500 #constraints=79856
160.35/160.60	c nbDecision=111000 #constraints=79856
161.15/161.34	c nbDecision=111500 #constraints=79856
161.85/162.07	c nbDecision=112000 #constraints=79856
162.55/162.80	c nbDecision=112500 #constraints=79856
163.35/163.52	c nbDecision=113000 #constraints=79856
164.05/164.23	c nbDecision=113500 #constraints=79856
164.75/164.94	c nbDecision=114000 #constraints=79857
165.45/165.65	c nbDecision=114500 #constraints=79857
166.15/166.35	c nbDecision=115000 #constraints=79857
166.85/167.04	c nbDecision=115500 #constraints=79857
167.55/167.75	c nbDecision=116000 #constraints=79857
168.24/168.45	c nbDecision=116500 #constraints=79857
168.94/169.15	c nbDecision=117000 #constraints=79858
169.64/169.84	c nbDecision=117500 #constraints=79858
170.34/170.51	c nbDecision=118000 #constraints=79858
170.94/171.19	c nbDecision=118500 #constraints=79858
171.64/171.85	c nbDecision=119000 #constraints=79858
172.34/172.59	c nbDecision=119500 #constraints=79859
173.14/173.38	c nbDecision=120000 #constraints=79859
173.94/174.16	c nbDecision=120500 #constraints=79859
174.74/174.93	c nbDecision=121000 #constraints=79859
175.44/175.69	c nbDecision=121500 #constraints=79859
176.24/176.45	c nbDecision=122000 #constraints=79859
177.04/177.21	c nbDecision=122500 #constraints=79860
177.74/177.97	c nbDecision=123000 #constraints=79860
178.53/178.72	c nbDecision=123500 #constraints=79860
179.23/179.46	c nbDecision=124000 #constraints=79860
179.93/180.19	c nbDecision=124500 #constraints=79860
180.73/180.91	c nbDecision=125000 #constraints=79860
181.43/181.63	c nbDecision=125500 #constraints=79860
182.13/182.34	c nbDecision=126000 #constraints=79860
182.83/183.04	c nbDecision=126500 #constraints=79860
183.54/183.72	c nbDecision=127000 #constraints=79860
184.23/184.40	c nbDecision=127500 #constraints=79860
184.83/185.08	c nbDecision=128000 #constraints=79860
185.53/185.74	c nbDecision=128500 #constraints=79860
186.13/186.39	c nbDecision=129000 #constraints=79860
186.84/187.03	c nbDecision=129500 #constraints=79860
187.43/187.66	c nbDecision=130000 #constraints=79860
188.03/188.28	c nbDecision=130500 #constraints=79860
188.63/188.89	c nbDecision=131000 #constraints=79860
189.33/189.52	c nbDecision=131500 #constraints=79861
189.93/190.14	c nbDecision=132000 #constraints=79861
190.54/190.75	c nbDecision=132500 #constraints=79861
191.14/191.40	c nbDecision=133000 #constraints=79862
191.84/192.03	c nbDecision=133500 #constraints=79862
192.44/192.65	c nbDecision=134000 #constraints=79862
193.04/193.26	c nbDecision=134500 #constraints=79862
193.64/193.87	c nbDecision=135000 #constraints=79862
194.34/194.56	c nbDecision=135500 #constraints=79863
195.04/195.24	c nbDecision=136000 #constraints=79863
195.73/195.95	c nbDecision=136500 #constraints=79863
196.43/196.61	c nbDecision=137000 #constraints=79863
197.03/197.27	c nbDecision=137500 #constraints=79863
197.73/197.92	c nbDecision=138000 #constraints=79863
198.33/198.56	c nbDecision=138500 #constraints=79863
198.93/199.18	c nbDecision=139000 #constraints=79863
199.63/199.80	c nbDecision=139500 #constraints=79863
200.23/200.42	c nbDecision=140000 #constraints=79863
200.93/201.12	c nbDecision=140500 #constraints=79864
201.63/201.80	c nbDecision=141000 #constraints=79864
202.23/202.48	c nbDecision=141500 #constraints=79864
202.93/203.14	c nbDecision=142000 #constraints=79864
203.63/203.80	c nbDecision=142500 #constraints=79864
204.22/204.45	c nbDecision=143000 #constraints=79864
204.82/205.09	c nbDecision=143500 #constraints=79864
205.53/205.72	c nbDecision=144000 #constraints=79864
206.12/206.34	c nbDecision=144500 #constraints=79864
206.72/206.94	c nbDecision=145000 #constraints=79864
207.32/207.57	c nbDecision=145500 #constraints=79865
207.92/208.19	c nbDecision=146000 #constraints=79865
208.53/208.79	c nbDecision=146500 #constraints=79865
209.22/209.45	c nbDecision=147000 #constraints=79869
209.93/210.12	c nbDecision=147500 #constraints=79869
210.52/210.79	c nbDecision=148000 #constraints=79869
211.22/211.45	c nbDecision=148500 #constraints=79869
211.92/212.10	c nbDecision=149000 #constraints=79869
212.52/212.77	c nbDecision=149500 #constraints=79869
213.22/213.44	c nbDecision=150000 #constraints=79869
213.81/214.07	c nbDecision=150500 #constraints=79869
214.41/214.68	c nbDecision=151000 #constraints=79869
215.01/215.28	c nbDecision=151500 #constraints=79869
215.71/215.91	c nbDecision=152000 #constraints=79872
216.31/216.52	c nbDecision=152500 #constraints=79872
216.91/217.12	c nbDecision=153000 #constraints=79872
217.52/217.75	c nbDecision=153500 #constraints=79877
218.21/218.41	c nbDecision=154000 #constraints=79879
218.81/219.09	c nbDecision=154500 #constraints=79879
219.51/219.77	c nbDecision=155000 #constraints=79879
220.21/220.44	c nbDecision=155500 #constraints=79879
220.81/221.10	c nbDecision=156000 #constraints=79879
221.51/221.75	c nbDecision=156500 #constraints=79879
222.11/222.39	c nbDecision=157000 #constraints=79879
222.81/223.02	c nbDecision=157500 #constraints=79879
223.41/223.68	c nbDecision=158000 #constraints=79880
224.11/224.36	c nbDecision=158500 #constraints=79880
224.81/225.02	c nbDecision=159000 #constraints=79880
225.41/225.68	c nbDecision=159500 #constraints=79880
226.11/226.32	c nbDecision=160000 #constraints=79880
226.71/226.96	c nbDecision=160500 #constraints=79880
227.31/227.58	c nbDecision=161000 #constraints=79880
227.91/228.20	c nbDecision=161500 #constraints=79880
228.61/228.81	c nbDecision=162000 #constraints=79881
229.21/229.47	c nbDecision=162500 #constraints=79883
229.91/230.16	c nbDecision=163000 #constraints=79884
230.61/230.84	c nbDecision=163500 #constraints=79884
231.31/231.50	c nbDecision=164000 #constraints=79884
231.91/232.16	c nbDecision=164500 #constraints=79884
232.61/232.81	c nbDecision=165000 #constraints=79884
233.21/233.45	c nbDecision=165500 #constraints=79884
233.81/234.08	c nbDecision=166000 #constraints=79884
234.51/234.70	c nbDecision=166500 #constraints=79884
235.11/235.32	c nbDecision=167000 #constraints=79884
235.70/235.92	c nbDecision=167500 #constraints=79884
236.31/236.51	c nbDecision=168000 #constraints=79884
236.90/237.16	c nbDecision=168500 #constraints=79885
237.50/237.77	c nbDecision=169000 #constraints=79885
238.10/238.37	c nbDecision=169500 #constraints=79885
238.80/239.03	c nbDecision=170000 #constraints=79888
239.40/239.66	c nbDecision=170500 #constraints=79888
240.00/240.28	c nbDecision=171000 #constraints=79888
240.70/240.92	c nbDecision=171500 #constraints=79889
241.30/241.57	c nbDecision=172000 #constraints=79889
241.99/242.22	c nbDecision=172500 #constraints=79889
242.59/242.83	c nbDecision=173000 #constraints=79889
243.19/243.43	c nbDecision=173500 #constraints=79889
243.79/244.08	c nbDecision=174000 #constraints=79892
244.49/244.70	c nbDecision=174500 #constraints=79892
245.10/245.31	c nbDecision=175000 #constraints=79892
245.69/245.92	c nbDecision=175500 #constraints=79892
246.29/246.57	c nbDecision=176000 #constraints=79900
246.99/247.25	c nbDecision=176500 #constraints=79900
247.69/247.91	c nbDecision=177000 #constraints=79900
248.29/248.57	c nbDecision=177500 #constraints=79900
248.99/249.23	c nbDecision=178000 #constraints=79901
249.59/249.88	c nbDecision=178500 #constraints=79901
250.29/250.53	c nbDecision=179000 #constraints=79901
250.89/251.16	c nbDecision=179500 #constraints=79901
251.49/251.79	c nbDecision=180000 #constraints=79901
252.19/252.41	c nbDecision=180500 #constraints=79901
252.79/253.02	c nbDecision=181000 #constraints=79901
253.39/253.61	c nbDecision=181500 #constraints=79901
253.99/254.22	c nbDecision=182000 #constraints=79902
254.59/254.83	c nbDecision=182500 #constraints=79902
255.19/255.43	c nbDecision=183000 #constraints=79902
255.79/256.05	c nbDecision=183500 #constraints=79904
256.39/256.70	c nbDecision=184000 #constraints=79904
257.09/257.34	c nbDecision=184500 #constraints=79904
257.78/258.00	c nbDecision=185000 #constraints=79904
258.38/258.65	c nbDecision=185500 #constraints=79904
258.98/259.26	c nbDecision=186000 #constraints=79904
259.58/259.86	c nbDecision=186500 #constraints=79904
260.28/260.53	c nbDecision=187000 #constraints=79905
260.98/261.20	c nbDecision=187500 #constraints=79905
261.58/261.86	c nbDecision=188000 #constraints=79905
262.28/262.51	c nbDecision=188500 #constraints=79905
262.88/263.15	c nbDecision=189000 #constraints=79905
263.48/263.78	c nbDecision=189500 #constraints=79905
264.18/264.41	c nbDecision=190000 #constraints=79905
264.78/265.02	c nbDecision=190500 #constraints=79905
265.38/265.62	c nbDecision=191000 #constraints=79905
265.98/266.22	c nbDecision=191500 #constraints=79905
266.57/266.86	c nbDecision=192000 #constraints=79906
267.17/267.48	c nbDecision=192500 #constraints=79906
267.77/268.09	c nbDecision=193000 #constraints=79906
268.37/268.69	c nbDecision=193500 #constraints=79906
268.97/269.28	c nbDecision=194000 #constraints=79906
269.57/269.88	c nbDecision=194500 #constraints=79907
270.17/270.47	c nbDecision=195000 #constraints=79908
270.77/271.09	c nbDecision=195500 #constraints=79909
271.47/271.75	c nbDecision=196000 #constraints=79909
272.07/272.40	c nbDecision=196500 #constraints=79909
272.77/273.04	c nbDecision=197000 #constraints=79909
273.37/273.66	c nbDecision=197500 #constraints=79909
273.97/274.29	c nbDecision=198000 #constraints=79909
274.57/274.90	c nbDecision=198500 #constraints=79909
275.27/275.50	c nbDecision=199000 #constraints=79909
275.77/276.09	c nbDecision=199500 #constraints=79909
276.47/276.71	c nbDecision=200000 #constraints=79910
277.07/277.34	c nbDecision=200500 #constraints=79910
277.67/277.99	c nbDecision=201000 #constraints=79911
278.37/278.61	c nbDecision=201500 #constraints=79911
278.97/279.23	c nbDecision=202000 #constraints=79911
279.57/279.84	c nbDecision=202500 #constraints=79911
280.17/280.44	c nbDecision=203000 #constraints=79911
280.77/281.03	c nbDecision=203500 #constraints=79911
281.37/281.66	c nbDecision=204000 #constraints=79913
281.97/282.28	c nbDecision=204500 #constraints=79913
282.37/282.65	c restart after 204801 decisions
282.57/282.84	c nbDecision=205000 #constraints=79915
282.96/283.28	c nbDecision=205500 #constraints=79919
283.86/284.10	c nbDecision=206000 #constraints=79919
284.67/284.90	c nbDecision=206500 #constraints=79919
285.46/285.71	c nbDecision=207000 #constraints=79919
286.26/286.50	c nbDecision=207500 #constraints=79919
286.96/287.28	c nbDecision=208000 #constraints=79919
287.86/288.11	c nbDecision=208500 #constraints=79919
288.56/288.88	c nbDecision=209000 #constraints=79919
289.36/289.63	c nbDecision=209500 #constraints=79919
290.06/290.38	c nbDecision=210000 #constraints=79919
290.85/291.12	c nbDecision=210500 #constraints=79919
291.55/291.85	c nbDecision=211000 #constraints=79919
292.26/292.57	c nbDecision=211500 #constraints=79919
292.95/293.28	c nbDecision=212000 #constraints=79919
293.65/293.99	c nbDecision=212500 #constraints=79919
294.35/294.69	c nbDecision=213000 #constraints=79919
295.05/295.37	c nbDecision=213500 #constraints=79919
295.75/296.05	c nbDecision=214000 #constraints=79919
296.45/296.73	c nbDecision=214500 #constraints=79919
297.05/297.39	c nbDecision=215000 #constraints=79919
297.75/298.08	c nbDecision=215500 #constraints=79921
298.35/298.62	c nbDecision=216000 #constraints=79923
299.15/299.44	c nbDecision=216500 #constraints=79923
299.95/300.25	c nbDecision=217000 #constraints=79923
300.75/301.04	c nbDecision=217500 #constraints=79923
301.55/301.84	c nbDecision=218000 #constraints=79923
302.34/302.63	c nbDecision=218500 #constraints=79923
303.14/303.40	c nbDecision=219000 #constraints=79923
303.84/304.17	c nbDecision=219500 #constraints=79923
304.64/304.93	c nbDecision=220000 #constraints=79923
305.34/305.68	c nbDecision=220500 #constraints=79923
306.14/306.42	c nbDecision=221000 #constraints=79923
306.84/307.19	c nbDecision=221500 #constraints=79924
307.64/308.00	c nbDecision=222000 #constraints=79924
308.54/308.80	c nbDecision=222500 #constraints=79924
309.24/309.60	c nbDecision=223000 #constraints=79924
310.04/310.38	c nbDecision=223500 #constraints=79924
310.84/311.16	c nbDecision=224000 #constraints=79924
311.64/311.93	c nbDecision=224500 #constraints=79924
312.34/312.69	c nbDecision=225000 #constraints=79924
313.14/313.45	c nbDecision=225500 #constraints=79924
313.84/314.19	c nbDecision=226000 #constraints=79924
314.64/314.93	c nbDecision=226500 #constraints=79924
315.34/315.66	c nbDecision=227000 #constraints=79924
316.04/316.39	c nbDecision=227500 #constraints=79924
316.83/317.11	c nbDecision=228000 #constraints=79924
317.54/317.82	c nbDecision=228500 #constraints=79924
318.23/318.52	c nbDecision=229000 #constraints=79924
318.93/319.21	c nbDecision=229500 #constraints=79924
319.63/319.96	c nbDecision=230000 #constraints=79925
320.33/320.69	c nbDecision=230500 #constraints=79925
321.13/321.42	c nbDecision=231000 #constraints=79925
321.83/322.14	c nbDecision=231500 #constraints=79925
322.53/322.85	c nbDecision=232000 #constraints=79925
323.23/323.55	c nbDecision=232500 #constraints=79925
323.93/324.25	c nbDecision=233000 #constraints=79925
324.63/324.93	c nbDecision=233500 #constraints=79925
325.34/325.60	c nbDecision=234000 #constraints=79925
325.93/326.27	c nbDecision=234500 #constraints=79925
326.63/326.92	c nbDecision=235000 #constraints=79925
327.23/327.56	c nbDecision=235500 #constraints=79925
327.93/328.21	c nbDecision=236000 #constraints=79926
328.53/328.84	c nbDecision=236500 #constraints=79926
329.13/329.46	c nbDecision=237000 #constraints=79926
329.73/330.08	c nbDecision=237500 #constraints=79926
330.33/330.68	c nbDecision=238000 #constraints=79926
330.93/331.28	c nbDecision=238500 #constraints=79926
331.53/331.86	c nbDecision=239000 #constraints=79933
332.33/332.67	c nbDecision=239500 #constraints=79933
333.12/333.48	c nbDecision=240000 #constraints=79933
334.02/334.34	c nbDecision=240500 #constraints=79933
334.82/335.19	c nbDecision=241000 #constraints=79933
335.61/335.99	c nbDecision=241500 #constraints=79933
336.41/336.76	c nbDecision=242000 #constraints=79933
337.21/337.53	c nbDecision=242500 #constraints=79933
338.01/338.30	c nbDecision=243000 #constraints=79933
338.71/339.05	c nbDecision=243500 #constraints=79933
339.41/339.80	c nbDecision=244000 #constraints=79933
340.21/340.53	c nbDecision=244500 #constraints=79933
340.91/341.26	c nbDecision=245000 #constraints=79933
341.61/341.98	c nbDecision=245500 #constraints=79933
342.31/342.70	c nbDecision=246000 #constraints=79933
343.11/343.40	c nbDecision=246500 #constraints=79933
343.71/344.10	c nbDecision=247000 #constraints=79933
344.41/344.78	c nbDecision=247500 #constraints=79933
345.11/345.46	c nbDecision=248000 #constraints=79933
345.81/346.13	c nbDecision=248500 #constraints=79933
346.41/346.78	c nbDecision=249000 #constraints=79933
347.11/347.43	c nbDecision=249500 #constraints=79933
347.80/348.10	c nbDecision=250000 #constraints=79933
348.40/348.78	c nbDecision=250500 #constraints=79933
349.20/349.53	c nbDecision=251000 #constraints=79938
349.99/350.31	c nbDecision=251500 #constraints=79938
350.69/351.07	c nbDecision=252000 #constraints=79938
351.39/351.78	c nbDecision=252500 #constraints=79938
352.19/352.50	c nbDecision=253000 #constraints=79940
352.89/353.22	c nbDecision=253500 #constraints=79940
353.59/353.93	c nbDecision=254000 #constraints=79940
354.29/354.63	c nbDecision=254500 #constraints=79940
354.99/355.32	c nbDecision=255000 #constraints=79940
355.69/356.01	c nbDecision=255500 #constraints=79940
356.29/356.69	c nbDecision=256000 #constraints=79940
356.99/357.36	c nbDecision=256500 #constraints=79940
357.69/358.03	c nbDecision=257000 #constraints=79940
358.29/358.68	c nbDecision=257500 #constraints=79940
358.99/359.33	c nbDecision=258000 #constraints=79940
359.59/359.96	c nbDecision=258500 #constraints=79940
360.19/360.59	c nbDecision=259000 #constraints=79940
360.89/361.21	c nbDecision=259500 #constraints=79940
361.49/361.82	c nbDecision=260000 #constraints=79940
362.08/362.41	c nbDecision=260500 #constraints=79940
362.69/363.00	c nbDecision=261000 #constraints=79940
363.28/363.66	c nbDecision=261500 #constraints=79941
363.88/364.28	c nbDecision=262000 #constraints=79941
364.48/364.89	c nbDecision=262500 #constraints=79941
365.18/365.50	c nbDecision=263000 #constraints=79941
365.68/366.09	c nbDecision=263500 #constraints=79941
366.38/366.70	c nbDecision=264000 #constraints=79942
366.99/367.31	c nbDecision=264500 #constraints=79942
367.58/367.91	c nbDecision=265000 #constraints=79942
368.19/368.50	c nbDecision=265500 #constraints=79942
368.68/369.08	c nbDecision=266000 #constraints=79942
369.28/369.69	c nbDecision=266500 #constraints=79944
369.98/370.30	c nbDecision=267000 #constraints=79944
370.48/370.89	c nbDecision=267500 #constraints=79944
371.08/371.49	c nbDecision=268000 #constraints=79945
371.68/372.07	c nbDecision=268500 #constraints=79945
372.28/372.68	c nbDecision=269000 #constraints=79946
372.88/373.27	c nbDecision=269500 #constraints=79946
373.48/373.85	c nbDecision=270000 #constraints=79946
374.08/374.44	c nbDecision=270500 #constraints=79947
374.68/375.06	c nbDecision=271000 #constraints=79954
375.28/375.66	c nbDecision=271500 #constraints=79954
375.88/376.26	c nbDecision=272000 #constraints=79954
376.48/376.85	c nbDecision=272500 #constraints=79954
377.08/377.44	c nbDecision=273000 #constraints=79954
377.78/378.10	c nbDecision=273500 #constraints=79964
378.38/378.75	c nbDecision=274000 #constraints=79964
378.98/379.40	c nbDecision=274500 #constraints=79964
379.67/380.06	c nbDecision=275000 #constraints=79964
380.37/380.73	c nbDecision=275500 #constraints=79964
380.97/381.38	c nbDecision=276000 #constraints=79964
381.66/382.00	c nbDecision=276500 #constraints=79964
382.16/382.59	c nbDecision=277000 #constraints=79964
382.76/383.18	c nbDecision=277500 #constraints=79964
383.47/383.83	c nbDecision=278000 #constraints=79969
384.16/384.53	c nbDecision=278500 #constraints=79969
384.86/385.21	c nbDecision=279000 #constraints=79969
385.46/385.89	c nbDecision=279500 #constraints=79969
386.16/386.58	c nbDecision=280000 #constraints=79970
386.86/387.26	c nbDecision=280500 #constraints=79970
387.56/387.92	c nbDecision=281000 #constraints=79970
388.16/388.57	c nbDecision=281500 #constraints=79970
388.86/389.28	c nbDecision=282000 #constraints=79977
389.56/389.97	c nbDecision=282500 #constraints=79977
390.26/390.65	c nbDecision=283000 #constraints=79977
390.96/391.33	c nbDecision=283500 #constraints=79977
391.56/391.99	c nbDecision=284000 #constraints=79977
392.25/392.68	c nbDecision=284500 #constraints=79977
392.95/393.38	c nbDecision=285000 #constraints=79977
393.65/394.04	c nbDecision=285500 #constraints=79977
394.25/394.67	c nbDecision=286000 #constraints=79977
394.84/395.29	c nbDecision=286500 #constraints=79977
395.55/395.91	c nbDecision=287000 #constraints=79977
396.14/396.51	c nbDecision=287500 #constraints=79977
396.75/397.15	c nbDecision=288000 #constraints=79980
397.34/397.76	c nbDecision=288500 #constraints=79980
397.94/398.36	c nbDecision=289000 #constraints=79980
398.54/398.95	c nbDecision=289500 #constraints=79980
399.14/399.55	c nbDecision=290000 #constraints=79981
399.74/400.15	c nbDecision=290500 #constraints=79981
400.34/400.74	c nbDecision=291000 #constraints=79981
400.94/401.33	c nbDecision=291500 #constraints=79981
401.64/402.02	c nbDecision=292000 #constraints=79984
402.34/402.71	c nbDecision=292500 #constraints=79984
403.04/403.40	c nbDecision=293000 #constraints=79984
403.64/404.07	c nbDecision=293500 #constraints=79984
404.34/404.74	c nbDecision=294000 #constraints=79984
405.04/405.40	c nbDecision=294500 #constraints=79984
405.64/406.05	c nbDecision=295000 #constraints=79984
406.24/406.69	c nbDecision=295500 #constraints=79984
406.94/407.31	c nbDecision=296000 #constraints=79984
407.54/407.93	c nbDecision=296500 #constraints=79984
408.14/408.54	c nbDecision=297000 #constraints=79984
408.74/409.14	c nbDecision=297500 #constraints=79984
409.34/409.72	c nbDecision=298000 #constraints=79984
409.84/410.30	c nbDecision=298500 #constraints=79984
410.54/410.90	c nbDecision=299000 #constraints=79985
411.14/411.50	c nbDecision=299500 #constraints=79985
411.64/412.09	c nbDecision=300000 #constraints=79985
412.24/412.67	c nbDecision=300500 #constraints=79985
412.84/413.30	c nbDecision=301000 #constraints=79986
413.54/413.96	c nbDecision=301500 #constraints=79986
414.24/414.61	c nbDecision=302000 #constraints=79986
414.84/415.25	c nbDecision=302500 #constraints=79986
415.44/415.89	c nbDecision=303000 #constraints=79986
416.14/416.51	c nbDecision=303500 #constraints=79986
416.74/417.14	c nbDecision=304000 #constraints=79986
417.34/417.75	c nbDecision=304500 #constraints=79986
417.94/418.35	c nbDecision=305000 #constraints=79986
418.54/418.94	c nbDecision=305500 #constraints=79986
419.14/419.53	c nbDecision=306000 #constraints=79986
419.74/420.11	c nbDecision=306500 #constraints=79987
420.34/420.77	c nbDecision=307000 #constraints=79993
421.03/421.46	c nbDecision=307500 #constraints=79993
421.73/422.14	c nbDecision=308000 #constraints=79993
422.43/422.82	c nbDecision=308500 #constraints=79993
423.04/423.48	c nbDecision=309000 #constraints=79993
423.73/424.14	c nbDecision=309500 #constraints=79993
424.33/424.79	c nbDecision=310000 #constraints=79993
425.03/425.43	c nbDecision=310500 #constraints=79993
425.62/426.07	c nbDecision=311000 #constraints=79993
426.22/426.69	c nbDecision=311500 #constraints=79993
426.83/427.29	c nbDecision=312000 #constraints=79993
427.43/427.89	c nbDecision=312500 #constraints=79993
428.02/428.47	c nbDecision=313000 #constraints=79993
428.63/429.05	c nbDecision=313500 #constraints=79993
429.22/429.65	c nbDecision=314000 #constraints=79994
429.82/430.25	c nbDecision=314500 #constraints=79994
430.42/430.84	c nbDecision=315000 #constraints=79994
431.02/431.42	c nbDecision=315500 #constraints=79994
431.52/431.99	c nbDecision=316000 #constraints=79994
432.02/432.49	c nbDecision=316500 #constraints=79996
432.72/433.11	c nbDecision=317000 #constraints=79996
433.52/433.91	c nbDecision=317500 #constraints=79996
434.32/434.71	c nbDecision=318000 #constraints=79996
435.02/435.50	c nbDecision=318500 #constraints=79996
435.82/436.28	c nbDecision=319000 #constraints=79996
436.62/437.06	c nbDecision=319500 #constraints=79996
437.41/437.87	c nbDecision=320000 #constraints=79996
438.21/438.68	c nbDecision=320500 #constraints=79996
439.01/439.45	c nbDecision=321000 #constraints=79996
439.81/440.25	c nbDecision=321500 #constraints=79997
440.61/441.04	c nbDecision=322000 #constraints=79997
441.40/441.81	c nbDecision=322500 #constraints=79997
442.11/442.58	c nbDecision=323000 #constraints=79997
442.91/443.34	c nbDecision=323500 #constraints=79997
443.60/444.09	c nbDecision=324000 #constraints=79997
444.40/444.83	c nbDecision=324500 #constraints=79997
445.11/445.56	c nbDecision=325000 #constraints=79997
445.80/446.29	c nbDecision=325500 #constraints=79997
446.60/447.00	c nbDecision=326000 #constraints=79997
447.21/447.70	c nbDecision=326500 #constraints=79997
447.90/448.39	c nbDecision=327000 #constraints=79997
448.60/449.08	c nbDecision=327500 #constraints=79997
449.30/449.75	c nbDecision=328000 #constraints=79997
450.00/450.42	c nbDecision=328500 #constraints=79997
450.60/451.08	c nbDecision=329000 #constraints=79997
451.30/451.72	c nbDecision=329500 #constraints=79997
451.90/452.36	c nbDecision=330000 #constraints=79997
452.50/452.99	c nbDecision=330500 #constraints=79997
453.20/453.62	c nbDecision=331000 #constraints=79997
453.80/454.23	c nbDecision=331500 #constraints=79997
454.40/454.83	c nbDecision=332000 #constraints=79997
455.00/455.42	c nbDecision=332500 #constraints=79997
455.60/456.01	c nbDecision=333000 #constraints=79998
456.10/456.59	c nbDecision=333500 #constraints=79998
456.80/457.23	c nbDecision=334000 #constraints=80000
457.40/457.84	c nbDecision=334500 #constraints=80000
458.00/458.44	c nbDecision=335000 #constraints=80000
458.60/459.03	c nbDecision=335500 #constraints=80000
459.20/459.62	c nbDecision=336000 #constraints=80000
459.70/460.19	c nbDecision=336500 #constraints=80000
460.40/460.83	c nbDecision=337000 #constraints=80001
461.00/461.45	c nbDecision=337500 #constraints=80001
461.60/462.06	c nbDecision=338000 #constraints=80001
462.20/462.65	c nbDecision=338500 #constraints=80001
462.80/463.24	c nbDecision=339000 #constraints=80001
463.40/463.82	c nbDecision=339500 #constraints=80001
464.00/464.40	c nbDecision=340000 #constraints=80002
464.70/465.11	c nbDecision=340500 #constraints=80006
465.40/465.82	c nbDecision=341000 #constraints=80006
466.10/466.52	c nbDecision=341500 #constraints=80006
466.80/467.21	c nbDecision=342000 #constraints=80006
467.39/467.89	c nbDecision=342500 #constraints=80006
468.10/468.56	c nbDecision=343000 #constraints=80006
468.79/469.21	c nbDecision=343500 #constraints=80006
469.39/469.87	c nbDecision=344000 #constraints=80006
470.09/470.51	c nbDecision=344500 #constraints=80006
470.69/471.14	c nbDecision=345000 #constraints=80006
471.29/471.78	c nbDecision=345500 #constraints=80006
471.99/472.40	c nbDecision=346000 #constraints=80006
472.59/473.01	c nbDecision=346500 #constraints=80006
473.19/473.60	c nbDecision=347000 #constraints=80006
473.69/474.19	c nbDecision=347500 #constraints=80006
474.28/474.76	c nbDecision=348000 #constraints=80006
474.88/475.33	c nbDecision=348500 #constraints=80006
475.48/475.95	c nbDecision=349000 #constraints=80007
476.08/476.55	c nbDecision=349500 #constraints=80007
476.68/477.14	c nbDecision=350000 #constraints=80007
477.28/477.72	c nbDecision=350500 #constraints=80007
477.78/478.29	c nbDecision=351000 #constraints=80007
478.38/478.88	c nbDecision=351500 #constraints=80008
478.98/479.46	c nbDecision=352000 #constraints=80008
479.58/480.04	c nbDecision=352500 #constraints=80009
480.19/480.62	c nbDecision=353000 #constraints=80009
480.68/481.19	c nbDecision=353500 #constraints=80010
481.28/481.79	c nbDecision=354000 #constraints=80011
481.88/482.38	c nbDecision=354500 #constraints=80011
482.48/482.99	c nbDecision=355000 #constraints=80011
483.07/483.56	c nbDecision=355500 #constraints=80011
483.77/484.28	c nbDecision=356000 #constraints=80012
484.47/484.98	c nbDecision=356500 #constraints=80012
485.17/485.67	c nbDecision=357000 #constraints=80012
485.87/486.34	c nbDecision=357500 #constraints=80012
486.58/487.01	c nbDecision=358000 #constraints=80012
487.18/487.67	c nbDecision=358500 #constraints=80012
487.88/488.31	c nbDecision=359000 #constraints=80012
488.48/488.95	c nbDecision=359500 #constraints=80012
489.08/489.58	c nbDecision=360000 #constraints=80012
489.78/490.20	c nbDecision=360500 #constraints=80012
490.38/490.81	c nbDecision=361000 #constraints=80012
490.98/491.41	c nbDecision=361500 #constraints=80012
491.58/492.00	c nbDecision=362000 #constraints=80012
492.08/492.58	c nbDecision=362500 #constraints=80012
492.68/493.15	c nbDecision=363000 #constraints=80012
493.28/493.71	c nbDecision=363500 #constraints=80012
493.88/494.33	c nbDecision=364000 #constraints=80013
494.48/494.91	c nbDecision=364500 #constraints=80013
494.98/495.49	c nbDecision=365000 #constraints=80013
495.58/496.06	c nbDecision=365500 #constraints=80013
496.18/496.68	c nbDecision=366000 #constraints=80014
496.88/497.33	c nbDecision=366500 #constraints=80014
497.48/497.96	c nbDecision=367000 #constraints=80014
498.07/498.59	c nbDecision=367500 #constraints=80014
498.77/499.23	c nbDecision=368000 #constraints=80015
499.37/499.87	c nbDecision=368500 #constraints=80015
499.98/500.49	c nbDecision=369000 #constraints=80015
500.67/501.11	c nbDecision=369500 #constraints=80015
501.27/501.72	c nbDecision=370000 #constraints=80015
501.87/502.31	c nbDecision=370500 #constraints=80015
502.47/502.90	c nbDecision=371000 #constraints=80015
502.97/503.47	c nbDecision=371500 #constraints=80015
503.57/504.04	c nbDecision=372000 #constraints=80015
504.17/504.66	c nbDecision=372500 #constraints=80016
504.77/505.27	c nbDecision=373000 #constraints=80017
505.37/505.87	c nbDecision=373500 #constraints=80017
505.97/506.45	c nbDecision=374000 #constraints=80017
506.57/507.02	c nbDecision=374500 #constraints=80017
507.07/507.59	c nbDecision=375000 #constraints=80017
507.67/508.17	c nbDecision=375500 #constraints=80018
508.27/508.74	c nbDecision=376000 #constraints=80018
508.87/509.31	c nbDecision=376500 #constraints=80019
509.37/509.87	c nbDecision=377000 #constraints=80020
509.97/510.48	c nbDecision=377500 #constraints=80024
510.67/511.11	c nbDecision=378000 #constraints=80024
511.27/511.75	c nbDecision=378500 #constraints=80024
511.87/512.37	c nbDecision=379000 #constraints=80024
512.47/512.98	c nbDecision=379500 #constraints=80024
513.07/513.58	c nbDecision=380000 #constraints=80024
513.66/514.18	c nbDecision=380500 #constraints=80024
514.27/514.77	c nbDecision=381000 #constraints=80024
514.85/515.39	c nbDecision=381500 #constraints=80024
515.45/515.99	c nbDecision=382000 #constraints=80024
516.04/516.58	c nbDecision=382500 #constraints=80026
516.74/517.28	c nbDecision=383000 #constraints=80026
517.44/518.00	c nbDecision=383500 #constraints=80026
518.13/518.68	c nbDecision=384000 #constraints=80026
518.83/519.34	c nbDecision=384500 #constraints=80026
519.42/519.99	c nbDecision=385000 #constraints=80026
520.12/520.64	c nbDecision=385500 #constraints=80026
520.72/521.28	c nbDecision=386000 #constraints=80026
521.42/521.90	c nbDecision=386500 #constraints=80026
522.03/522.52	c nbDecision=387000 #constraints=80026
522.63/523.13	c nbDecision=387500 #constraints=80026
523.23/523.72	c nbDecision=388000 #constraints=80026
523.83/524.31	c nbDecision=388500 #constraints=80026
524.32/524.89	c nbDecision=389000 #constraints=80026
524.92/525.45	c nbDecision=389500 #constraints=80026
525.52/526.05	c nbDecision=390000 #constraints=80027
526.13/526.62	c nbDecision=390500 #constraints=80027
526.62/527.19	c nbDecision=391000 #constraints=80027
527.22/527.78	c nbDecision=391500 #constraints=80028
527.82/528.36	c nbDecision=392000 #constraints=80028
528.42/528.91	c nbDecision=392500 #constraints=80028
528.92/529.50	c nbDecision=393000 #constraints=80029
529.52/530.06	c nbDecision=393500 #constraints=80029
530.22/530.70	c nbDecision=394000 #constraints=80032
530.82/531.36	c nbDecision=394500 #constraints=80032
531.52/532.01	c nbDecision=395000 #constraints=80032
532.12/532.65	c nbDecision=395500 #constraints=80032
532.72/533.28	c nbDecision=396000 #constraints=80032
533.42/533.91	c nbDecision=396500 #constraints=80032
534.02/534.52	c nbDecision=397000 #constraints=80032
534.62/535.13	c nbDecision=397500 #constraints=80032
535.22/535.72	c nbDecision=398000 #constraints=80032
535.81/536.31	c nbDecision=398500 #constraints=80032
536.32/536.89	c nbDecision=399000 #constraints=80032
536.91/537.46	c nbDecision=399500 #constraints=80032
537.51/538.02	c nbDecision=400000 #constraints=80032
538.31/538.89	c nbDecision=400500 #constraints=80057
539.01/539.55	c nbDecision=401000 #constraints=80057
539.72/540.20	c nbDecision=401500 #constraints=80057
540.32/540.84	c nbDecision=402000 #constraints=80057
540.92/541.47	c nbDecision=402500 #constraints=80057
541.52/542.09	c nbDecision=403000 #constraints=80057
542.21/542.70	c nbDecision=403500 #constraints=80057
542.82/543.31	c nbDecision=404000 #constraints=80057
543.41/543.90	c nbDecision=404500 #constraints=80057
543.92/544.48	c nbDecision=405000 #constraints=80057
544.51/545.06	c nbDecision=405500 #constraints=80057
545.11/545.62	c nbDecision=406000 #constraints=80057
545.71/546.25	c nbDecision=406500 #constraints=80060
546.31/546.84	c nbDecision=407000 #constraints=80060
546.91/547.42	c nbDecision=407500 #constraints=80060
547.41/547.99	c nbDecision=408000 #constraints=80060
548.02/548.55	c nbDecision=408500 #constraints=80060
548.62/549.12	c nbDecision=409000 #constraints=80061
549.22/549.78	c nbDecision=409500 #constraints=80064
549.42/549.91	c restart after 409601 decisions
549.61/550.19	c nbDecision=410000 #constraints=80068
549.91/550.46	c nbDecision=410500 #constraints=80072
550.31/550.87	c nbDecision=411000 #constraints=80073
551.11/551.67	c nbDecision=411500 #constraints=80073
551.91/552.47	c nbDecision=412000 #constraints=80073
552.71/553.26	c nbDecision=412500 #constraints=80073
553.51/554.04	c nbDecision=413000 #constraints=80073
554.31/554.82	c nbDecision=413500 #constraints=80073
555.01/555.59	c nbDecision=414000 #constraints=80073
555.80/556.35	c nbDecision=414500 #constraints=80073
556.61/557.11	c nbDecision=415000 #constraints=80073
557.01/557.52	c nbDecision=415500 #constraints=80080
557.41/557.95	c nbDecision=416000 #constraints=80081
558.21/558.76	c nbDecision=416500 #constraints=80081
559.01/559.56	c nbDecision=417000 #constraints=80081
559.80/560.36	c nbDecision=417500 #constraints=80081
560.60/561.15	c nbDecision=418000 #constraints=80081
561.40/561.93	c nbDecision=418500 #constraints=80081
562.20/562.71	c nbDecision=419000 #constraints=80081
562.90/563.48	c nbDecision=419500 #constraints=80081
563.70/564.28	c nbDecision=420000 #constraints=80081
564.49/565.02	c nbDecision=420500 #constraints=80081
565.19/565.77	c nbDecision=421000 #constraints=80081
565.89/566.50	c nbDecision=421500 #constraints=80081
566.70/567.21	c nbDecision=422000 #constraints=80081
567.50/568.03	c nbDecision=422500 #constraints=80083
568.30/568.82	c nbDecision=423000 #constraints=80083
569.10/569.60	c nbDecision=423500 #constraints=80083
569.80/570.37	c nbDecision=424000 #constraints=80083
570.60/571.13	c nbDecision=424500 #constraints=80083
571.30/571.89	c nbDecision=425000 #constraints=80083
572.09/572.68	c nbDecision=425500 #constraints=80083
572.89/573.48	c nbDecision=426000 #constraints=80083
573.69/574.26	c nbDecision=426500 #constraints=80083
574.38/574.98	c nbDecision=427000 #constraints=80083
575.08/575.69	c nbDecision=427500 #constraints=80083
575.79/576.40	c nbDecision=428000 #constraints=80083
576.58/577.12	c nbDecision=428500 #constraints=80084
577.28/577.82	c nbDecision=429000 #constraints=80084
577.99/578.52	c nbDecision=429500 #constraints=80084
578.68/579.20	c nbDecision=430000 #constraints=80084
579.48/580.01	c nbDecision=430500 #constraints=80086
580.18/580.77	c nbDecision=431000 #constraints=80086
580.98/581.52	c nbDecision=431500 #constraints=80086
581.68/582.26	c nbDecision=432000 #constraints=80086
582.38/582.99	c nbDecision=432500 #constraints=80086
583.18/583.72	c nbDecision=433000 #constraints=80086
583.88/584.44	c nbDecision=433500 #constraints=80086
584.58/585.14	c nbDecision=434000 #constraints=80086
585.28/585.84	c nbDecision=434500 #constraints=80086
585.98/586.53	c nbDecision=435000 #constraints=80086
586.68/587.21	c nbDecision=435500 #constraints=80086
587.38/587.92	c nbDecision=436000 #constraints=80087
588.08/588.67	c nbDecision=436500 #constraints=80087
588.88/589.41	c nbDecision=437000 #constraints=80087
589.58/590.15	c nbDecision=437500 #constraints=80087
590.28/590.87	c nbDecision=438000 #constraints=80087
590.97/591.59	c nbDecision=438500 #constraints=80087
591.77/592.31	c nbDecision=439000 #constraints=80087
592.47/593.01	c nbDecision=439500 #constraints=80087
593.17/593.70	c nbDecision=440000 #constraints=80087
593.77/594.39	c nbDecision=440500 #constraints=80087
594.47/595.06	c nbDecision=441000 #constraints=80087
595.17/595.73	c nbDecision=441500 #constraints=80087
595.77/596.38	c nbDecision=442000 #constraints=80087
596.47/597.04	c nbDecision=442500 #constraints=80087
597.07/597.69	c nbDecision=443000 #constraints=80087
597.77/598.32	c nbDecision=443500 #constraints=80087
598.87/599.47	c nbDecision=444000 #constraints=80164
599.67/600.21	c nbDecision=444500 #constraints=80166
600.37/600.93	c nbDecision=445000 #constraints=80166
601.07/601.65	c nbDecision=445500 #constraints=80166
601.76/602.37	c nbDecision=446000 #constraints=80166
602.46/603.07	c nbDecision=446500 #constraints=80166
603.16/603.77	c nbDecision=447000 #constraints=80166
603.86/604.45	c nbDecision=447500 #constraints=80166
604.56/605.13	c nbDecision=448000 #constraints=80166
605.16/605.79	c nbDecision=448500 #constraints=80166
605.86/606.45	c nbDecision=449000 #constraints=80166
606.46/607.09	c nbDecision=449500 #constraints=80166
607.16/607.73	c nbDecision=450000 #constraints=80166
607.76/608.35	c nbDecision=450500 #constraints=80166
608.36/608.97	c nbDecision=451000 #constraints=80166
609.05/609.61	c nbDecision=451500 #constraints=80166
609.65/610.25	c nbDecision=452000 #constraints=80166
610.35/610.90	c nbDecision=452500 #constraints=80167
610.95/611.53	c nbDecision=453000 #constraints=80167
611.55/612.11	c nbDecision=453500 #constraints=80167
612.05/612.68	c nbDecision=454000 #constraints=80168
612.64/613.28	c nbDecision=454500 #constraints=80169
613.25/613.87	c nbDecision=455000 #constraints=80169
613.84/614.44	c nbDecision=455500 #constraints=80169
614.44/615.01	c nbDecision=456000 #constraints=80169
614.94/615.59	c nbDecision=456500 #constraints=80170
615.54/616.18	c nbDecision=457000 #constraints=80170
616.14/616.76	c nbDecision=457500 #constraints=80170
616.74/617.34	c nbDecision=458000 #constraints=80170
617.34/617.93	c nbDecision=458500 #constraints=80170
617.94/618.55	c nbDecision=459000 #constraints=80172
618.53/619.14	c nbDecision=459500 #constraints=80172
619.13/619.72	c nbDecision=460000 #constraints=80172
619.64/620.29	c nbDecision=460500 #constraints=80172
620.23/620.86	c nbDecision=461000 #constraints=80172
620.84/621.43	c nbDecision=461500 #constraints=80173
621.33/621.99	c nbDecision=462000 #constraints=80173
622.04/622.68	c nbDecision=462500 #constraints=80186
622.73/623.31	c nbDecision=463000 #constraints=80186
623.33/623.93	c nbDecision=463500 #constraints=80186
623.93/624.54	c nbDecision=464000 #constraints=80186
624.53/625.14	c nbDecision=464500 #constraints=80186
625.13/625.73	c nbDecision=465000 #constraints=80186
625.73/626.31	c nbDecision=465500 #constraints=80186
626.23/626.88	c nbDecision=466000 #constraints=80186
626.83/627.44	c nbDecision=466500 #constraints=80186
627.43/628.09	c nbDecision=467000 #constraints=80195
628.13/628.74	c nbDecision=467500 #constraints=80195
628.73/629.38	c nbDecision=468000 #constraints=80195
629.43/630.01	c nbDecision=468500 #constraints=80195
630.03/630.63	c nbDecision=469000 #constraints=80195
630.63/631.25	c nbDecision=469500 #constraints=80195
631.23/631.85	c nbDecision=470000 #constraints=80195
631.83/632.44	c nbDecision=470500 #constraints=80195
632.43/633.03	c nbDecision=471000 #constraints=80195
633.03/633.60	c nbDecision=471500 #constraints=80195
633.53/634.17	c nbDecision=472000 #constraints=80195
634.13/634.73	c nbDecision=472500 #constraints=80195
634.83/635.42	c nbDecision=473000 #constraints=80203
635.53/636.12	c nbDecision=473500 #constraints=80203
636.23/636.81	c nbDecision=474000 #constraints=80203
636.83/637.49	c nbDecision=474500 #constraints=80203
637.53/638.16	c nbDecision=475000 #constraints=80203
638.22/638.83	c nbDecision=475500 #constraints=80203
638.82/639.48	c nbDecision=476000 #constraints=80203
639.53/640.13	c nbDecision=476500 #constraints=80203
640.13/640.77	c nbDecision=477000 #constraints=80203
640.73/641.39	c nbDecision=477500 #constraints=80203
641.42/642.01	c nbDecision=478000 #constraints=80203
642.02/642.62	c nbDecision=478500 #constraints=80203
642.62/643.22	c nbDecision=479000 #constraints=80203
643.22/643.81	c nbDecision=479500 #constraints=80203
643.72/644.38	c nbDecision=480000 #constraints=80203
644.32/644.95	c nbDecision=480500 #constraints=80203
644.92/645.51	c nbDecision=481000 #constraints=80203
645.52/646.16	c nbDecision=481500 #constraints=80205
646.13/646.77	c nbDecision=482000 #constraints=80205
646.72/647.37	c nbDecision=482500 #constraints=80205
647.33/647.96	c nbDecision=483000 #constraints=80205
647.92/648.53	c nbDecision=483500 #constraints=80205
648.52/649.10	c nbDecision=484000 #constraints=80205
649.02/649.66	c nbDecision=484500 #constraints=80205
649.62/650.25	c nbDecision=485000 #constraints=80207
650.22/650.82	c nbDecision=485500 #constraints=80207
650.72/651.38	c nbDecision=486000 #constraints=80207
651.32/651.93	c nbDecision=486500 #constraints=80207
652.02/652.64	c nbDecision=487000 #constraints=80221
652.62/653.26	c nbDecision=487500 #constraints=80221
653.22/653.87	c nbDecision=488000 #constraints=80221
653.82/654.46	c nbDecision=488500 #constraints=80221
654.42/655.05	c nbDecision=489000 #constraints=80221
655.02/655.66	c nbDecision=489500 #constraints=80221
655.61/656.23	c nbDecision=490000 #constraints=80221
656.12/656.79	c nbDecision=490500 #constraints=80221
656.71/657.36	c nbDecision=491000 #constraints=80222
657.31/657.93	c nbDecision=491500 #constraints=80222
657.81/658.48	c nbDecision=492000 #constraints=80222
658.51/659.12	c nbDecision=492500 #constraints=80223
659.11/659.76	c nbDecision=493000 #constraints=80223
659.71/660.38	c nbDecision=493500 #constraints=80223
660.31/661.00	c nbDecision=494000 #constraints=80223
661.01/661.60	c nbDecision=494500 #constraints=80223
661.51/662.20	c nbDecision=495000 #constraints=80223
662.21/662.81	c nbDecision=495500 #constraints=80223
662.80/663.41	c nbDecision=496000 #constraints=80223
663.30/663.98	c nbDecision=496500 #constraints=80223
663.90/664.53	c nbDecision=497000 #constraints=80223
664.50/665.15	c nbDecision=497500 #constraints=80224
665.10/665.75	c nbDecision=498000 #constraints=80224
665.70/666.33	c nbDecision=498500 #constraints=80224
666.30/666.90	c nbDecision=499000 #constraints=80224
666.80/667.46	c nbDecision=499500 #constraints=80224
667.40/668.02	c nbDecision=500000 #constraints=80224
668.00/668.66	c nbDecision=500500 #constraints=80225
668.60/669.29	c nbDecision=501000 #constraints=80225
669.40/670.00	c nbDecision=501500 #constraints=80233
670.00/670.68	c nbDecision=502000 #constraints=80234
670.70/671.37	c nbDecision=502500 #constraints=80234
671.40/672.04	c nbDecision=503000 #constraints=80234
672.10/672.71	c nbDecision=503500 #constraints=80234
672.70/673.36	c nbDecision=504000 #constraints=80234
673.40/674.03	c nbDecision=504500 #constraints=80235
674.10/674.71	c nbDecision=505000 #constraints=80235
674.70/675.39	c nbDecision=505500 #constraints=80235
675.40/676.05	c nbDecision=506000 #constraints=80235
676.10/676.72	c nbDecision=506500 #constraints=80235
676.70/677.37	c nbDecision=507000 #constraints=80235
677.40/678.01	c nbDecision=507500 #constraints=80235
678.00/678.65	c nbDecision=508000 #constraints=80235
678.60/679.27	c nbDecision=508500 #constraints=80235
679.20/679.89	c nbDecision=509000 #constraints=80235
679.90/680.50	c nbDecision=509500 #constraints=80235
680.40/681.09	c nbDecision=510000 #constraints=80235
680.99/681.68	c nbDecision=510500 #constraints=80235
681.59/682.26	c nbDecision=511000 #constraints=80235
682.19/682.83	c nbDecision=511500 #constraints=80235
682.69/683.38	c nbDecision=512000 #constraints=80235
683.29/683.95	c nbDecision=512500 #constraints=80236
683.89/684.52	c nbDecision=513000 #constraints=80238
684.39/685.08	c nbDecision=513500 #constraints=80238
684.99/685.63	c nbDecision=514000 #constraints=80238
685.59/686.28	c nbDecision=514500 #constraints=80239
686.29/686.99	c nbDecision=515000 #constraints=80239
686.99/687.68	c nbDecision=515500 #constraints=80239
687.69/688.37	c nbDecision=516000 #constraints=80239
688.39/689.05	c nbDecision=516500 #constraints=80239
689.10/689.72	c nbDecision=517000 #constraints=80239
689.69/690.38	c nbDecision=517500 #constraints=80239
690.39/691.03	c nbDecision=518000 #constraints=80239
690.99/691.68	c nbDecision=518500 #constraints=80239
691.69/692.31	c nbDecision=519000 #constraints=80239
692.29/692.94	c nbDecision=519500 #constraints=80239
692.89/693.55	c nbDecision=520000 #constraints=80239
693.49/694.16	c nbDecision=520500 #constraints=80239
694.09/694.75	c nbDecision=521000 #constraints=80239
694.69/695.34	c nbDecision=521500 #constraints=80239
695.29/695.91	c nbDecision=522000 #constraints=80239
695.79/696.48	c nbDecision=522500 #constraints=80239
696.39/697.05	c nbDecision=523000 #constraints=80239
696.89/697.60	c nbDecision=523500 #constraints=80239
697.59/698.23	c nbDecision=524000 #constraints=80240
698.19/698.83	c nbDecision=524500 #constraints=80240
698.79/699.43	c nbDecision=525000 #constraints=80240
699.39/700.02	c nbDecision=525500 #constraints=80240
699.89/700.59	c nbDecision=526000 #constraints=80240
700.49/701.16	c nbDecision=526500 #constraints=80240
701.09/701.75	c nbDecision=527000 #constraints=80240
701.68/702.38	c nbDecision=527500 #constraints=80242
702.38/703.04	c nbDecision=528000 #constraints=80242
702.98/703.67	c nbDecision=528500 #constraints=80242
703.58/704.29	c nbDecision=529000 #constraints=80242
704.18/704.89	c nbDecision=529500 #constraints=80242
704.78/705.49	c nbDecision=530000 #constraints=80242
705.38/706.08	c nbDecision=530500 #constraints=80242
705.98/706.66	c nbDecision=531000 #constraints=80242
706.58/707.22	c nbDecision=531500 #constraints=80242
707.17/707.81	c nbDecision=532000 #constraints=80242
707.67/708.40	c nbDecision=532500 #constraints=80243
708.27/708.95	c nbDecision=533000 #constraints=80244
708.87/709.51	c nbDecision=533500 #constraints=80245
709.37/710.05	c nbDecision=534000 #constraints=80245
709.97/710.60	c nbDecision=534500 #constraints=80246
710.47/711.17	c nbDecision=535000 #constraints=80247
711.16/711.80	c nbDecision=535500 #constraints=80247
711.76/712.42	c nbDecision=536000 #constraints=80247
712.36/713.03	c nbDecision=536500 #constraints=80247
712.96/713.63	c nbDecision=537000 #constraints=80247
713.56/714.23	c nbDecision=537500 #constraints=80247
714.16/714.81	c nbDecision=538000 #constraints=80247
714.66/715.38	c nbDecision=538500 #constraints=80247
715.26/715.95	c nbDecision=539000 #constraints=80247
715.86/716.50	c nbDecision=539500 #constraints=80247
716.36/717.05	c nbDecision=540000 #constraints=80247
716.96/717.63	c nbDecision=540500 #constraints=80250
717.46/718.18	c nbDecision=541000 #constraints=80250
718.06/718.73	c nbDecision=541500 #constraints=80251
718.56/719.28	c nbDecision=542000 #constraints=80251
719.16/719.84	c nbDecision=542500 #constraints=80253
719.66/720.38	c nbDecision=543000 #constraints=80253
720.26/720.99	c nbDecision=543500 #constraints=80254
720.86/721.59	c nbDecision=544000 #constraints=80254
721.46/722.18	c nbDecision=544500 #constraints=80254
722.07/722.76	c nbDecision=545000 #constraints=80254
722.67/723.33	c nbDecision=545500 #constraints=80254
723.27/723.93	c nbDecision=546000 #constraints=80257
723.87/724.52	c nbDecision=546500 #constraints=80257
724.47/725.11	c nbDecision=547000 #constraints=80257
724.97/725.68	c nbDecision=547500 #constraints=80257
725.57/726.24	c nbDecision=548000 #constraints=80257
726.07/726.79	c nbDecision=548500 #constraints=80257
726.67/727.38	c nbDecision=549000 #constraints=80259
727.27/727.97	c nbDecision=549500 #constraints=80261
727.97/728.61	c nbDecision=550000 #constraints=80261
728.57/729.25	c nbDecision=550500 #constraints=80261
729.17/729.87	c nbDecision=551000 #constraints=80261
729.77/730.49	c nbDecision=551500 #constraints=80261
730.36/731.09	c nbDecision=552000 #constraints=80261
730.96/731.69	c nbDecision=552500 #constraints=80261
731.56/732.27	c nbDecision=553000 #constraints=80261
732.16/732.85	c nbDecision=553500 #constraints=80261
732.76/733.42	c nbDecision=554000 #constraints=80261
733.26/733.97	c nbDecision=554500 #constraints=80261
733.86/734.52	c nbDecision=555000 #constraints=80261
734.46/735.14	c nbDecision=555500 #constraints=80263
734.86/735.60	c nbDecision=556000 #constraints=80265
735.66/736.37	c nbDecision=556500 #constraints=80265
736.46/737.14	c nbDecision=557000 #constraints=80265
737.26/737.90	c nbDecision=557500 #constraints=80265
737.96/738.65	c nbDecision=558000 #constraints=80265
738.76/739.40	c nbDecision=558500 #constraints=80265
739.46/740.14	c nbDecision=559000 #constraints=80265
740.26/740.91	c nbDecision=559500 #constraints=80266
740.96/741.67	c nbDecision=560000 #constraints=80266
741.76/742.42	c nbDecision=560500 #constraints=80266
742.46/743.16	c nbDecision=561000 #constraints=80266
743.16/743.89	c nbDecision=561500 #constraints=80266
743.96/744.61	c nbDecision=562000 #constraints=80266
744.66/745.33	c nbDecision=562500 #constraints=80266
745.36/746.03	c nbDecision=563000 #constraints=80266
746.06/746.73	c nbDecision=563500 #constraints=80266
746.76/747.42	c nbDecision=564000 #constraints=80266
747.45/748.15	c nbDecision=564500 #constraints=80266
748.15/748.87	c nbDecision=565000 #constraints=80266
748.85/749.54	c nbDecision=565500 #constraints=80266
749.45/750.18	c nbDecision=566000 #constraints=80266
750.15/750.82	c nbDecision=566500 #constraints=80266
750.75/751.45	c nbDecision=567000 #constraints=80266
751.34/752.07	c nbDecision=567500 #constraints=80266
752.04/752.71	c nbDecision=568000 #constraints=80266
752.64/753.35	c nbDecision=568500 #constraints=80266
753.24/753.99	c nbDecision=569000 #constraints=80266
753.94/754.61	c nbDecision=569500 #constraints=80266
754.43/755.18	c nbDecision=570000 #constraints=80266
755.04/755.74	c nbDecision=570500 #constraints=80266
755.53/756.29	c nbDecision=571000 #constraints=80266
756.14/756.83	c nbDecision=571500 #constraints=80266
756.63/757.39	c nbDecision=572000 #constraints=80268
757.23/757.96	c nbDecision=572500 #constraints=80270
757.83/758.51	c nbDecision=573000 #constraints=80270
758.33/759.05	c nbDecision=573500 #constraints=80270
759.03/759.71	c nbDecision=574000 #constraints=80273
759.63/760.33	c nbDecision=574500 #constraints=80273
760.23/760.95	c nbDecision=575000 #constraints=80273
760.83/761.55	c nbDecision=575500 #constraints=80273
761.43/762.15	c nbDecision=576000 #constraints=80273
762.03/762.73	c nbDecision=576500 #constraints=80273
762.63/763.31	c nbDecision=577000 #constraints=80273
763.13/763.87	c nbDecision=577500 #constraints=80273
763.73/764.43	c nbDecision=578000 #constraints=80273
764.23/764.97	c nbDecision=578500 #constraints=80273
764.93/765.64	c nbDecision=579000 #constraints=80276
765.63/766.33	c nbDecision=579500 #constraints=80276
766.23/766.99	c nbDecision=580000 #constraints=80276
766.93/767.65	c nbDecision=580500 #constraints=80276
767.63/768.30	c nbDecision=581000 #constraints=80276
768.23/768.94	c nbDecision=581500 #constraints=80276
768.83/769.57	c nbDecision=582000 #constraints=80276
769.43/770.19	c nbDecision=582500 #constraints=80276
770.13/770.83	c nbDecision=583000 #constraints=80277
770.73/771.47	c nbDecision=583500 #constraints=80277
771.43/772.10	c nbDecision=584000 #constraints=80277
772.03/772.73	c nbDecision=584500 #constraints=80277
772.63/773.34	c nbDecision=585000 #constraints=80277
773.22/773.94	c nbDecision=585500 #constraints=80277
773.82/774.54	c nbDecision=586000 #constraints=80277
774.42/775.12	c nbDecision=586500 #constraints=80277
774.92/775.69	c nbDecision=587000 #constraints=80277
775.52/776.26	c nbDecision=587500 #constraints=80277
776.12/776.82	c nbDecision=588000 #constraints=80277
776.62/777.36	c nbDecision=588500 #constraints=80277
777.22/777.92	c nbDecision=589000 #constraints=80278
777.72/778.49	c nbDecision=589500 #constraints=80278
778.32/779.04	c nbDecision=590000 #constraints=80278
778.82/779.59	c nbDecision=590500 #constraints=80278
779.42/780.14	c nbDecision=591000 #constraints=80279
779.92/780.68	c nbDecision=591500 #constraints=80279
780.52/781.26	c nbDecision=592000 #constraints=80281
781.12/781.83	c nbDecision=592500 #constraints=80281
781.62/782.40	c nbDecision=593000 #constraints=80281
782.22/782.95	c nbDecision=593500 #constraints=80281
782.72/783.49	c nbDecision=594000 #constraints=80281
783.32/784.05	c nbDecision=594500 #constraints=80283
783.92/784.60	c nbDecision=595000 #constraints=80283
784.42/785.20	c nbDecision=595500 #constraints=80286
785.12/785.81	c nbDecision=596000 #constraints=80286
785.82/786.59	c nbDecision=596500 #constraints=80286
786.62/787.35	c nbDecision=597000 #constraints=80286
787.42/788.10	c nbDecision=597500 #constraints=80286
788.12/788.85	c nbDecision=598000 #constraints=80286
788.82/789.58	c nbDecision=598500 #constraints=80286
789.62/790.31	c nbDecision=599000 #constraints=80286
790.32/791.03	c nbDecision=599500 #constraints=80286
791.02/791.74	c nbDecision=600000 #constraints=80286
791.72/792.44	c nbDecision=600500 #constraints=80286
792.42/793.13	c nbDecision=601000 #constraints=80286
793.11/793.82	c nbDecision=601500 #constraints=80286
793.81/794.55	c nbDecision=602000 #constraints=80286
794.51/795.26	c nbDecision=602500 #constraints=80286
795.21/795.92	c nbDecision=603000 #constraints=80286
795.81/796.57	c nbDecision=603500 #constraints=80286
796.50/797.21	c nbDecision=604000 #constraints=80286
797.10/797.86	c nbDecision=604500 #constraints=80286
797.80/798.53	c nbDecision=605000 #constraints=80287
798.40/799.18	c nbDecision=605500 #constraints=80287
799.09/799.82	c nbDecision=606000 #constraints=80287
799.69/800.41	c nbDecision=606500 #constraints=80287
800.29/801.09	c nbDecision=607000 #constraints=80288
800.99/801.78	c nbDecision=607500 #constraints=80288
801.69/802.47	c nbDecision=608000 #constraints=80288
802.39/803.15	c nbDecision=608500 #constraints=80288
803.09/803.81	c nbDecision=609000 #constraints=80288
803.69/804.49	c nbDecision=609500 #constraints=80289
804.39/805.15	c nbDecision=610000 #constraints=80289
805.09/805.81	c nbDecision=610500 #constraints=80289
805.69/806.46	c nbDecision=611000 #constraints=80289
806.29/807.10	c nbDecision=611500 #constraints=80289
806.99/807.72	c nbDecision=612000 #constraints=80289
807.59/808.34	c nbDecision=612500 #constraints=80289
808.19/808.94	c nbDecision=613000 #constraints=80289
808.79/809.54	c nbDecision=613500 #constraints=80289
809.39/810.13	c nbDecision=614000 #constraints=80289
809.99/810.70	c nbDecision=614500 #constraints=80289
810.49/811.27	c nbDecision=615000 #constraints=80289
811.09/811.83	c nbDecision=615500 #constraints=80289
811.59/812.37	c nbDecision=616000 #constraints=80289
812.19/812.91	c nbDecision=616500 #constraints=80289
812.88/813.68	c nbDecision=617000 #constraints=80300
813.68/814.44	c nbDecision=617500 #constraints=80300
814.39/815.18	c nbDecision=618000 #constraints=80300
815.18/815.92	c nbDecision=618500 #constraints=80300
815.88/816.65	c nbDecision=619000 #constraints=80300
816.59/817.38	c nbDecision=619500 #constraints=80300
817.28/818.09	c nbDecision=620000 #constraints=80300
818.08/818.80	c nbDecision=620500 #constraints=80300
818.79/819.50	c nbDecision=621000 #constraints=80300
819.38/820.20	c nbDecision=621500 #constraints=80300
820.08/820.88	c nbDecision=622000 #constraints=80300
820.78/821.55	c nbDecision=622500 #constraints=80300
821.48/822.21	c nbDecision=623000 #constraints=80300
822.09/822.87	c nbDecision=623500 #constraints=80300
822.78/823.52	c nbDecision=624000 #constraints=80300
823.38/824.15	c nbDecision=624500 #constraints=80300
823.98/824.78	c nbDecision=625000 #constraints=80300
824.68/825.40	c nbDecision=625500 #constraints=80300
825.28/826.00	c nbDecision=626000 #constraints=80300
825.88/826.60	c nbDecision=626500 #constraints=80300
826.38/827.18	c nbDecision=627000 #constraints=80300
826.98/827.76	c nbDecision=627500 #constraints=80300
827.58/828.32	c nbDecision=628000 #constraints=80300
828.08/828.88	c nbDecision=628500 #constraints=80300
828.68/829.42	c nbDecision=629000 #constraints=80300
829.18/829.95	c nbDecision=629500 #constraints=80300
829.78/830.53	c nbDecision=630000 #constraints=80301
830.28/831.08	c nbDecision=630500 #constraints=80301
830.88/831.62	c nbDecision=631000 #constraints=80301
831.38/832.15	c nbDecision=631500 #constraints=80301
832.08/832.80	c nbDecision=632000 #constraints=80302
832.68/833.41	c nbDecision=632500 #constraints=80302
833.28/834.01	c nbDecision=633000 #constraints=80302
833.88/834.60	c nbDecision=633500 #constraints=80302
834.38/835.18	c nbDecision=634000 #constraints=80302
834.98/835.76	c nbDecision=634500 #constraints=80302
835.57/836.32	c nbDecision=635000 #constraints=80302
836.07/836.87	c nbDecision=635500 #constraints=80302
836.67/837.42	c nbDecision=636000 #constraints=80302
837.17/837.95	c nbDecision=636500 #constraints=80302
838.07/838.81	c nbDecision=637000 #constraints=80330
838.67/839.46	c nbDecision=637500 #constraints=80330
839.37/840.13	c nbDecision=638000 #constraints=80330
839.97/840.77	c nbDecision=638500 #constraints=80330
840.57/841.39	c nbDecision=639000 #constraints=80330
841.27/842.00	c nbDecision=639500 #constraints=80330
841.86/842.62	c nbDecision=640000 #constraints=80330
842.46/843.21	c nbDecision=640500 #constraints=80330
842.96/843.79	c nbDecision=641000 #constraints=80330
843.56/844.36	c nbDecision=641500 #constraints=80330
844.16/844.92	c nbDecision=642000 #constraints=80330
844.66/845.47	c nbDecision=642500 #constraints=80330
845.26/846.00	c nbDecision=643000 #constraints=80330
845.76/846.56	c nbDecision=643500 #constraints=80331
846.36/847.17	c nbDecision=644000 #constraints=80338
846.96/847.73	c nbDecision=644500 #constraints=80338
847.46/848.27	c nbDecision=645000 #constraints=80338
848.06/848.81	c nbDecision=645500 #constraints=80338
848.75/849.50	c nbDecision=646000 #constraints=80359
849.35/850.12	c nbDecision=646500 #constraints=80359
849.95/850.73	c nbDecision=647000 #constraints=80359
850.56/851.33	c nbDecision=647500 #constraints=80359
851.15/851.93	c nbDecision=648000 #constraints=80359
851.76/852.51	c nbDecision=648500 #constraints=80359
852.25/853.08	c nbDecision=649000 #constraints=80359
852.86/853.65	c nbDecision=649500 #constraints=80359
853.45/854.20	c nbDecision=650000 #constraints=80359
853.96/854.74	c nbDecision=650500 #constraints=80359
854.45/855.29	c nbDecision=651000 #constraints=80360
855.06/855.85	c nbDecision=651500 #constraints=80360
855.55/856.39	c nbDecision=652000 #constraints=80360
856.16/856.92	c nbDecision=652500 #constraints=80360
856.65/857.46	c nbDecision=653000 #constraints=80362
857.35/858.11	c nbDecision=653500 #constraints=80363
858.05/858.81	c nbDecision=654000 #constraints=80363
858.75/859.50	c nbDecision=654500 #constraints=80363
859.35/860.18	c nbDecision=655000 #constraints=80363
860.05/860.85	c nbDecision=655500 #constraints=80363
860.75/861.52	c nbDecision=656000 #constraints=80363
861.35/862.17	c nbDecision=656500 #constraints=80363
862.05/862.81	c nbDecision=657000 #constraints=80363
862.65/863.45	c nbDecision=657500 #constraints=80363
863.25/864.08	c nbDecision=658000 #constraints=80363
863.85/864.69	c nbDecision=658500 #constraints=80363
864.55/865.30	c nbDecision=659000 #constraints=80363
865.05/865.89	c nbDecision=659500 #constraints=80363
865.65/866.48	c nbDecision=660000 #constraints=80363
866.25/867.06	c nbDecision=660500 #constraints=80363
866.85/867.62	c nbDecision=661000 #constraints=80363
867.35/868.17	c nbDecision=661500 #constraints=80363
867.95/868.71	c nbDecision=662000 #constraints=80363
868.45/869.25	c nbDecision=662500 #constraints=80364
868.95/869.78	c nbDecision=663000 #constraints=80364
869.54/870.36	c nbDecision=663500 #constraints=80369
870.14/870.93	c nbDecision=664000 #constraints=80369
870.64/871.49	c nbDecision=664500 #constraints=80369
871.24/872.04	c nbDecision=665000 #constraints=80369
871.74/872.58	c nbDecision=665500 #constraints=80369
872.34/873.10	c nbDecision=666000 #constraints=80369
872.84/873.67	c nbDecision=666500 #constraints=80371
873.44/874.22	c nbDecision=667000 #constraints=80371
873.94/874.75	c nbDecision=667500 #constraints=80371
874.44/875.28	c nbDecision=668000 #constraints=80371
875.14/875.97	c nbDecision=668500 #constraints=80375
875.84/876.62	c nbDecision=669000 #constraints=80375
876.44/877.27	c nbDecision=669500 #constraints=80375
877.14/877.90	c nbDecision=670000 #constraints=80375
877.74/878.53	c nbDecision=670500 #constraints=80375
878.34/879.15	c nbDecision=671000 #constraints=80375
879.04/879.81	c nbDecision=671500 #constraints=80376
879.64/880.46	c nbDecision=672000 #constraints=80376
880.24/881.09	c nbDecision=672500 #constraints=80376
880.95/881.72	c nbDecision=673000 #constraints=80376
881.55/882.34	c nbDecision=673500 #constraints=80376
882.15/882.95	c nbDecision=674000 #constraints=80376
882.75/883.55	c nbDecision=674500 #constraints=80376
883.35/884.14	c nbDecision=675000 #constraints=80376
883.95/884.72	c nbDecision=675500 #constraints=80376
884.45/885.29	c nbDecision=676000 #constraints=80376
885.04/885.85	c nbDecision=676500 #constraints=80376
885.64/886.40	c nbDecision=677000 #constraints=80376
886.24/887.04	c nbDecision=677500 #constraints=80377
886.94/887.71	c nbDecision=678000 #constraints=80377
887.53/888.39	c nbDecision=678500 #constraints=80377
888.23/889.07	c nbDecision=679000 #constraints=80377
888.93/889.73	c nbDecision=679500 #constraints=80377
889.52/890.38	c nbDecision=680000 #constraints=80377
890.22/891.02	c nbDecision=680500 #constraints=80377
890.82/891.60	c nbDecision=681000 #constraints=80377
891.32/892.18	c nbDecision=681500 #constraints=80377
891.92/892.74	c nbDecision=682000 #constraints=80377
892.42/893.30	c nbDecision=682500 #constraints=80377
893.02/893.84	c nbDecision=683000 #constraints=80377
893.52/894.37	c nbDecision=683500 #constraints=80377
894.02/894.89	c nbDecision=684000 #constraints=80377
894.62/895.45	c nbDecision=684500 #constraints=80378
895.11/895.98	c nbDecision=685000 #constraints=80378
895.72/896.55	c nbDecision=685500 #constraints=80383
896.41/897.22	c nbDecision=686000 #constraints=80383
897.01/897.88	c nbDecision=686500 #constraints=80383
897.71/898.53	c nbDecision=687000 #constraints=80383
898.31/899.18	c nbDecision=687500 #constraints=80383
899.02/899.81	c nbDecision=688000 #constraints=80383
899.61/900.43	c nbDecision=688500 #constraints=80383
900.21/901.04	c nbDecision=689000 #constraints=80383
900.81/901.65	c nbDecision=689500 #constraints=80383
901.41/902.24	c nbDecision=690000 #constraints=80383
902.01/902.83	c nbDecision=690500 #constraints=80383
902.61/903.40	c nbDecision=691000 #constraints=80383
903.11/903.96	c nbDecision=691500 #constraints=80383
903.71/904.52	c nbDecision=692000 #constraints=80383
904.21/905.06	c nbDecision=692500 #constraints=80383
904.71/905.59	c nbDecision=693000 #constraints=80383
905.41/906.21	c nbDecision=693500 #constraints=80386
906.01/906.81	c nbDecision=694000 #constraints=80386
906.61/907.40	c nbDecision=694500 #constraints=80386
907.11/907.98	c nbDecision=695000 #constraints=80386
907.71/908.55	c nbDecision=695500 #constraints=80386
908.41/909.29	c nbDecision=696000 #constraints=80405
909.11/909.91	c nbDecision=696500 #constraints=80405
909.71/910.53	c nbDecision=697000 #constraints=80405
910.31/911.13	c nbDecision=697500 #constraints=80405
910.91/911.73	c nbDecision=698000 #constraints=80405
911.51/912.31	c nbDecision=698500 #constraints=80405
912.01/912.89	c nbDecision=699000 #constraints=80405
912.61/913.46	c nbDecision=699500 #constraints=80405
913.21/914.01	c nbDecision=700000 #constraints=80405
913.71/914.56	c nbDecision=700500 #constraints=80405
914.21/915.09	c nbDecision=701000 #constraints=80405
914.80/915.61	c nbDecision=701500 #constraints=80405
915.41/916.25	c nbDecision=702000 #constraints=80406
916.00/916.86	c nbDecision=702500 #constraints=80406
916.61/917.45	c nbDecision=703000 #constraints=80406
917.20/918.04	c nbDecision=703500 #constraints=80406
917.80/918.62	c nbDecision=704000 #constraints=80406
918.30/919.19	c nbDecision=704500 #constraints=80406
919.00/919.84	c nbDecision=705000 #constraints=80413
919.60/920.46	c nbDecision=705500 #constraints=80413
920.20/921.07	c nbDecision=706000 #constraints=80413
920.80/921.67	c nbDecision=706500 #constraints=80413
921.40/922.26	c nbDecision=707000 #constraints=80413
922.00/922.84	c nbDecision=707500 #constraints=80413
922.60/923.41	c nbDecision=708000 #constraints=80413
923.10/923.97	c nbDecision=708500 #constraints=80413
923.70/924.51	c nbDecision=709000 #constraints=80413
924.21/925.05	c nbDecision=709500 #constraints=80413
924.70/925.58	c nbDecision=710000 #constraints=80413
925.40/926.26	c nbDecision=710500 #constraints=80428
926.00/926.83	c nbDecision=711000 #constraints=80428
926.50/927.38	c nbDecision=711500 #constraints=80428
927.10/927.91	c nbDecision=712000 #constraints=80428
927.60/928.44	c nbDecision=712500 #constraints=80428
928.20/929.05	c nbDecision=713000 #constraints=80435
928.80/929.69	c nbDecision=713500 #constraints=80435
929.50/930.33	c nbDecision=714000 #constraints=80435
930.10/930.95	c nbDecision=714500 #constraints=80435
930.70/931.59	c nbDecision=715000 #constraints=80435
931.39/932.20	c nbDecision=715500 #constraints=80435
931.99/932.85	c nbDecision=716000 #constraints=80435
932.68/933.50	c nbDecision=716500 #constraints=80436
933.28/934.16	c nbDecision=717000 #constraints=80436
933.98/934.81	c nbDecision=717500 #constraints=80436
934.57/935.41	c nbDecision=718000 #constraints=80436
935.07/935.99	c nbDecision=718500 #constraints=80436
935.67/936.56	c nbDecision=719000 #constraints=80436
936.28/937.12	c nbDecision=719500 #constraints=80436
936.77/937.68	c nbDecision=720000 #constraints=80436
937.38/938.22	c nbDecision=720500 #constraints=80436
937.87/938.75	c nbDecision=721000 #constraints=80436
938.37/939.30	c nbDecision=721500 #constraints=80437
938.97/939.84	c nbDecision=722000 #constraints=80437
939.47/940.38	c nbDecision=722500 #constraints=80437
940.07/940.96	c nbDecision=723000 #constraints=80438
940.68/941.59	c nbDecision=723500 #constraints=80439
941.37/942.21	c nbDecision=724000 #constraints=80439
941.97/942.81	c nbDecision=724500 #constraints=80439
942.57/943.41	c nbDecision=725000 #constraints=80439
943.17/944.00	c nbDecision=725500 #constraints=80439
943.67/944.58	c nbDecision=726000 #constraints=80439
944.27/945.15	c nbDecision=726500 #constraints=80439
944.87/945.71	c nbDecision=727000 #constraints=80439
945.37/946.25	c nbDecision=727500 #constraints=80439
945.87/946.79	c nbDecision=728000 #constraints=80439
946.47/947.31	c nbDecision=728500 #constraints=80439
947.07/947.90	c nbDecision=729000 #constraints=80441
947.57/948.46	c nbDecision=729500 #constraints=80441
948.17/949.02	c nbDecision=730000 #constraints=80441
948.67/949.55	c nbDecision=730500 #constraints=80441
949.17/950.08	c nbDecision=731000 #constraints=80441
949.77/950.65	c nbDecision=731500 #constraints=80444
950.37/951.23	c nbDecision=732000 #constraints=80444
950.97/951.80	c nbDecision=732500 #constraints=80444
951.47/952.36	c nbDecision=733000 #constraints=80444
952.07/952.91	c nbDecision=733500 #constraints=80444
952.57/953.45	c nbDecision=734000 #constraints=80444
953.07/953.98	c nbDecision=734500 #constraints=80444
953.57/954.49	c nbDecision=735000 #constraints=80444
954.26/955.11	c nbDecision=735500 #constraints=80445
954.77/955.70	c nbDecision=736000 #constraints=80445
955.36/956.27	c nbDecision=736500 #constraints=80445
955.96/956.83	c nbDecision=737000 #constraints=80445
956.46/957.39	c nbDecision=737500 #constraints=80445
957.06/957.94	c nbDecision=738000 #constraints=80445
957.56/958.47	c nbDecision=738500 #constraints=80445
958.06/958.99	c nbDecision=739000 #constraints=80445
958.66/959.54	c nbDecision=739500 #constraints=80446
959.16/960.07	c nbDecision=740000 #constraints=80446
959.76/960.67	c nbDecision=740500 #constraints=80454
960.36/961.23	c nbDecision=741000 #constraints=80454
960.96/961.80	c nbDecision=741500 #constraints=80455
961.46/962.37	c nbDecision=742000 #constraints=80455
962.06/962.93	c nbDecision=742500 #constraints=80455
962.56/963.48	c nbDecision=743000 #constraints=80455
963.16/964.01	c nbDecision=743500 #constraints=80455
963.66/964.54	c nbDecision=744000 #constraints=80455
964.16/965.07	c nbDecision=744500 #constraints=80456
964.66/965.59	c nbDecision=745000 #constraints=80456
965.36/966.23	c nbDecision=745500 #constraints=80469
965.96/966.84	c nbDecision=746000 #constraints=80469
966.56/967.44	c nbDecision=746500 #constraints=80469
967.16/968.02	c nbDecision=747000 #constraints=80469
967.75/968.63	c nbDecision=747500 #constraints=80476
968.35/969.24	c nbDecision=748000 #constraints=80476
968.95/969.84	c nbDecision=748500 #constraints=80476
969.55/970.44	c nbDecision=749000 #constraints=80476
970.15/971.02	c nbDecision=749500 #constraints=80476
970.65/971.59	c nbDecision=750000 #constraints=80476
971.25/972.15	c nbDecision=750500 #constraints=80476
971.85/972.70	c nbDecision=751000 #constraints=80476
972.35/973.24	c nbDecision=751500 #constraints=80476
972.85/973.77	c nbDecision=752000 #constraints=80476
973.35/974.29	c nbDecision=752500 #constraints=80476
973.95/974.81	c nbDecision=753000 #constraints=80477
974.45/975.39	c nbDecision=753500 #constraints=80478
975.05/975.97	c nbDecision=754000 #constraints=80478
975.65/976.53	c nbDecision=754500 #constraints=80478
976.15/977.09	c nbDecision=755000 #constraints=80478
976.75/977.65	c nbDecision=755500 #constraints=80478
977.34/978.20	c nbDecision=756000 #constraints=80478
977.84/978.72	c nbDecision=756500 #constraints=80478
978.34/979.29	c nbDecision=757000 #constraints=80483
978.94/979.83	c nbDecision=757500 #constraints=80483
979.44/980.35	c nbDecision=758000 #constraints=80483
979.94/980.87	c nbDecision=758500 #constraints=80483
980.54/981.41	c nbDecision=759000 #constraints=80484
981.04/981.92	c nbDecision=759500 #constraints=80484
981.74/982.66	c nbDecision=760000 #constraints=80509
982.34/983.29	c nbDecision=760500 #constraints=80509
983.04/983.91	c nbDecision=761000 #constraints=80509
983.65/984.51	c nbDecision=761500 #constraints=80509
984.24/985.11	c nbDecision=762000 #constraints=80509
984.84/985.73	c nbDecision=762500 #constraints=80511
985.44/986.34	c nbDecision=763000 #constraints=80511
986.04/986.94	c nbDecision=763500 #constraints=80511
986.64/987.53	c nbDecision=764000 #constraints=80511
987.24/988.11	c nbDecision=764500 #constraints=80511
987.74/988.68	c nbDecision=765000 #constraints=80511
988.34/989.24	c nbDecision=765500 #constraints=80511
988.84/989.78	c nbDecision=766000 #constraints=80511
989.44/990.32	c nbDecision=766500 #constraints=80511
989.94/990.86	c nbDecision=767000 #constraints=80512
990.44/991.38	c nbDecision=767500 #constraints=80512
990.94/991.89	c nbDecision=768000 #constraints=80512
991.54/992.44	c nbDecision=768500 #constraints=80531
992.24/993.12	c nbDecision=769000 #constraints=80531
992.84/993.78	c nbDecision=769500 #constraints=80531
993.54/994.44	c nbDecision=770000 #constraints=80531
994.14/995.09	c nbDecision=770500 #constraints=80531
994.84/995.73	c nbDecision=771000 #constraints=80531
995.44/996.37	c nbDecision=771500 #constraints=80531
996.03/996.99	c nbDecision=772000 #constraints=80531
996.74/997.61	c nbDecision=772500 #constraints=80531
997.33/998.22	c nbDecision=773000 #constraints=80531
997.94/998.82	c nbDecision=773500 #constraints=80531
998.53/999.41	c nbDecision=774000 #constraints=80531
999.04/999.98	c nbDecision=774500 #constraints=80531
999.63/1000.55	c nbDecision=775000 #constraints=80531
1000.23/1001.11	c nbDecision=775500 #constraints=80531
1000.73/1001.66	c nbDecision=776000 #constraints=80531
1001.24/1002.19	c nbDecision=776500 #constraints=80531
1001.83/1002.72	c nbDecision=777000 #constraints=80531
1002.34/1003.23	c nbDecision=777500 #constraints=80531
1002.93/1003.82	c nbDecision=778000 #constraints=80532
1003.44/1004.38	c nbDecision=778500 #constraints=80532
1004.03/1004.93	c nbDecision=779000 #constraints=80532
1004.54/1005.47	c nbDecision=779500 #constraints=80532
1005.03/1006.00	c nbDecision=780000 #constraints=80532
1005.63/1006.51	c nbDecision=780500 #constraints=80532
1006.23/1007.13	c nbDecision=781000 #constraints=80533
1006.83/1007.73	c nbDecision=781500 #constraints=80533
1007.43/1008.32	c nbDecision=782000 #constraints=80533
1008.03/1008.91	c nbDecision=782500 #constraints=80533
1008.53/1009.48	c nbDecision=783000 #constraints=80533
1009.13/1010.05	c nbDecision=783500 #constraints=80533
1009.73/1010.60	c nbDecision=784000 #constraints=80533
1010.23/1011.15	c nbDecision=784500 #constraints=80533
1010.73/1011.68	c nbDecision=785000 #constraints=80533
1011.33/1012.20	c nbDecision=785500 #constraints=80533
1011.83/1012.71	c nbDecision=786000 #constraints=80533
1012.33/1013.23	c nbDecision=786500 #constraints=80534
1012.83/1013.74	c nbDecision=787000 #constraints=80534
1013.53/1014.40	c nbDecision=787500 #constraints=80542
1014.03/1014.97	c nbDecision=788000 #constraints=80542
1014.62/1015.53	c nbDecision=788500 #constraints=80542
1015.12/1016.08	c nbDecision=789000 #constraints=80542
1015.72/1016.61	c nbDecision=789500 #constraints=80542
1016.22/1017.15	c nbDecision=790000 #constraints=80542
1016.72/1017.67	c nbDecision=790500 #constraints=80542
1017.22/1018.19	c nbDecision=791000 #constraints=80543
1017.82/1018.72	c nbDecision=791500 #constraints=80543
1018.32/1019.23	c nbDecision=792000 #constraints=80543
1020.02/1020.96	c nbDecision=792500 #constraints=80713
1020.72/1021.62	c nbDecision=793000 #constraints=80713
1021.32/1022.28	c nbDecision=793500 #constraints=80713
1022.02/1022.96	c nbDecision=794000 #constraints=80713
1022.71/1023.62	c nbDecision=794500 #constraints=80713
1023.31/1024.27	c nbDecision=795000 #constraints=80713
1023.91/1024.89	c nbDecision=795500 #constraints=80713
1024.51/1025.50	c nbDecision=796000 #constraints=80713
1025.11/1026.09	c nbDecision=796500 #constraints=80713
1025.71/1026.68	c nbDecision=797000 #constraints=80713
1026.31/1027.25	c nbDecision=797500 #constraints=80713
1026.90/1027.82	c nbDecision=798000 #constraints=80713
1027.40/1028.37	c nbDecision=798500 #constraints=80713
1028.00/1028.91	c nbDecision=799000 #constraints=80713
1028.50/1029.44	c nbDecision=799500 #constraints=80713
1029.00/1029.96	c nbDecision=800000 #constraints=80713
1029.50/1030.47	c nbDecision=800500 #constraints=80713
1030.00/1030.92	c nbDecision=801000 #constraints=80719
1030.60/1031.54	c nbDecision=801500 #constraints=80719
1031.30/1032.22	c nbDecision=802000 #constraints=80719
1031.91/1032.89	c nbDecision=802500 #constraints=80719
1032.60/1033.54	c nbDecision=803000 #constraints=80719
1033.20/1034.19	c nbDecision=803500 #constraints=80719
1033.90/1034.83	c nbDecision=804000 #constraints=80719
1034.50/1035.46	c nbDecision=804500 #constraints=80719
1035.10/1036.08	c nbDecision=805000 #constraints=80719
1035.80/1036.70	c nbDecision=805500 #constraints=80719
1036.40/1037.31	c nbDecision=806000 #constraints=80719
1037.10/1038.01	c nbDecision=806500 #constraints=80720
1037.70/1038.70	c nbDecision=807000 #constraints=80720
1038.40/1039.37	c nbDecision=807500 #constraints=80720
1039.10/1040.03	c nbDecision=808000 #constraints=80720
1039.70/1040.69	c nbDecision=808500 #constraints=80720
1040.40/1041.33	c nbDecision=809000 #constraints=80720
1041.00/1041.97	c nbDecision=809500 #constraints=80720
1041.60/1042.59	c nbDecision=810000 #constraints=80720
1042.30/1043.21	c nbDecision=810500 #constraints=80720
1042.90/1043.82	c nbDecision=811000 #constraints=80720
1043.50/1044.41	c nbDecision=811500 #constraints=80720
1044.10/1045.00	c nbDecision=812000 #constraints=80720
1044.60/1045.58	c nbDecision=812500 #constraints=80720
1045.20/1046.14	c nbDecision=813000 #constraints=80720
1045.80/1046.70	c nbDecision=813500 #constraints=80720
1046.30/1047.24	c nbDecision=814000 #constraints=80720
1046.79/1047.77	c nbDecision=814500 #constraints=80720
1047.49/1048.42	c nbDecision=815000 #constraints=80736
1048.09/1049.00	c nbDecision=815500 #constraints=80736
1048.59/1049.57	c nbDecision=816000 #constraints=80736
1049.19/1050.12	c nbDecision=816500 #constraints=80736
1049.69/1050.67	c nbDecision=817000 #constraints=80736
1050.29/1051.21	c nbDecision=817500 #constraints=80736
1050.79/1051.73	c nbDecision=818000 #constraints=80736
1051.29/1052.25	c nbDecision=818500 #constraints=80736
1051.89/1052.82	c nbDecision=819000 #constraints=80741
1052.09/1053.06	c restart after 819201 decisions
1052.39/1053.31	c nbDecision=819500 #constraints=80746
1052.59/1053.58	c nbDecision=820000 #constraints=80750
1052.90/1053.86	c nbDecision=820500 #constraints=80756
1053.19/1054.14	c nbDecision=821000 #constraints=80761
1053.39/1054.39	c nbDecision=821500 #constraints=80761
1054.09/1055.08	c nbDecision=822000 #constraints=80761
1054.89/1055.87	c nbDecision=822500 #constraints=80761
1055.69/1056.65	c nbDecision=823000 #constraints=80761
1056.49/1057.43	c nbDecision=823500 #constraints=80761
1057.19/1058.20	c nbDecision=824000 #constraints=80761
1057.99/1058.96	c nbDecision=824500 #constraints=80761
1058.79/1059.71	c nbDecision=825000 #constraints=80761
1059.49/1060.47	c nbDecision=825500 #constraints=80762
1060.29/1061.22	c nbDecision=826000 #constraints=80762
1060.99/1061.96	c nbDecision=826500 #constraints=80762
1061.79/1062.71	c nbDecision=827000 #constraints=80766
1061.99/1062.97	c nbDecision=827500 #constraints=80768
1062.29/1063.23	c nbDecision=828000 #constraints=80770
1062.79/1063.70	c nbDecision=828500 #constraints=80770
1063.59/1064.50	c nbDecision=829000 #constraints=80770
1064.29/1065.29	c nbDecision=829500 #constraints=80770
1065.09/1066.07	c nbDecision=830000 #constraints=80770
1065.89/1066.84	c nbDecision=830500 #constraints=80770
1066.68/1067.62	c nbDecision=831000 #constraints=80770
1067.48/1068.43	c nbDecision=831500 #constraints=80770
1068.28/1069.22	c nbDecision=832000 #constraints=80770
1069.07/1070.00	c nbDecision=832500 #constraints=80770
1069.77/1070.75	c nbDecision=833000 #constraints=80770
1070.47/1071.46	c nbDecision=833500 #constraints=80770
1071.17/1072.17	c nbDecision=834000 #constraints=80770
1071.87/1072.87	c nbDecision=834500 #constraints=80770
1072.57/1073.56	c nbDecision=835000 #constraints=80770
1073.28/1074.24	c nbDecision=835500 #constraints=80770
1073.98/1074.91	c nbDecision=836000 #constraints=80770
1074.58/1075.57	c nbDecision=836500 #constraints=80770
1075.28/1076.23	c nbDecision=837000 #constraints=80771
1075.88/1076.89	c nbDecision=837500 #constraints=80771
1076.58/1077.53	c nbDecision=838000 #constraints=80771
1077.37/1078.30	c nbDecision=838500 #constraints=80773
1078.08/1079.08	c nbDecision=839000 #constraints=80773
1078.87/1079.86	c nbDecision=839500 #constraints=80773
1079.67/1080.62	c nbDecision=840000 #constraints=80773
1080.38/1081.38	c nbDecision=840500 #constraints=80773
1081.17/1082.13	c nbDecision=841000 #constraints=80773
1081.87/1082.87	c nbDecision=841500 #constraints=80773
1082.67/1083.60	c nbDecision=842000 #constraints=80773
1083.37/1084.32	c nbDecision=842500 #constraints=80773
1084.07/1085.04	c nbDecision=843000 #constraints=80773
1084.77/1085.74	c nbDecision=843500 #constraints=80773
1085.47/1086.44	c nbDecision=844000 #constraints=80773
1086.17/1087.12	c nbDecision=844500 #constraints=80773
1086.77/1087.80	c nbDecision=845000 #constraints=80773
1087.47/1088.46	c nbDecision=845500 #constraints=80773
1088.17/1089.11	c nbDecision=846000 #constraints=80773
1088.77/1089.76	c nbDecision=846500 #constraints=80773
1089.37/1090.39	c nbDecision=847000 #constraints=80773
1090.07/1091.02	c nbDecision=847500 #constraints=80773
1090.67/1091.63	c nbDecision=848000 #constraints=80773
1091.27/1092.24	c nbDecision=848500 #constraints=80773
1091.86/1092.84	c nbDecision=849000 #constraints=80773
1092.56/1093.55	c nbDecision=849500 #constraints=80776
1093.26/1094.29	c nbDecision=850000 #constraints=80776
1094.06/1095.03	c nbDecision=850500 #constraints=80776
1094.76/1095.75	c nbDecision=851000 #constraints=80776
1095.46/1096.47	c nbDecision=851500 #constraints=80776
1096.16/1097.19	c nbDecision=852000 #constraints=80776
1096.87/1097.89	c nbDecision=852500 #constraints=80776
1097.56/1098.59	c nbDecision=853000 #constraints=80776
1098.26/1099.28	c nbDecision=853500 #constraints=80776
1098.96/1099.96	c nbDecision=854000 #constraints=80776
1099.66/1100.63	c nbDecision=854500 #constraints=80776
1100.26/1101.30	c nbDecision=855000 #constraints=80776
1100.96/1101.95	c nbDecision=855500 #constraints=80776
1101.56/1102.59	c nbDecision=856000 #constraints=80776
1102.26/1103.23	c nbDecision=856500 #constraints=80776
1102.86/1103.85	c nbDecision=857000 #constraints=80776
1103.46/1104.46	c nbDecision=857500 #constraints=80776
1104.06/1105.07	c nbDecision=858000 #constraints=80776
1104.66/1105.66	c nbDecision=858500 #constraints=80776
1105.36/1106.39	c nbDecision=859000 #constraints=80777
1106.06/1107.08	c nbDecision=859500 #constraints=80777
1106.76/1107.76	c nbDecision=860000 #constraints=80777
1107.46/1108.42	c nbDecision=860500 #constraints=80777
1108.06/1109.08	c nbDecision=861000 #constraints=80777
1108.75/1109.73	c nbDecision=861500 #constraints=80777
1109.35/1110.37	c nbDecision=862000 #constraints=80777
1109.96/1111.00	c nbDecision=862500 #constraints=80777
1110.65/1111.61	c nbDecision=863000 #constraints=80777
1111.25/1112.23	c nbDecision=863500 #constraints=80777
1111.85/1112.87	c nbDecision=864000 #constraints=80777
1112.44/1113.48	c nbDecision=864500 #constraints=80777
1113.04/1114.06	c nbDecision=865000 #constraints=80777
1113.64/1114.63	c nbDecision=865500 #constraints=80777
1114.14/1115.19	c nbDecision=866000 #constraints=80777
1114.74/1115.75	c nbDecision=866500 #constraints=80777
1115.34/1116.30	c nbDecision=867000 #constraints=80778
1115.84/1116.84	c nbDecision=867500 #constraints=80778
1116.34/1117.37	c nbDecision=868000 #constraints=80778
1116.84/1117.89	c nbDecision=868500 #constraints=80778
1117.44/1118.46	c nbDecision=869000 #constraints=80780
1118.04/1119.01	c nbDecision=869500 #constraints=80780
1118.54/1119.55	c nbDecision=870000 #constraints=80780
1119.04/1120.09	c nbDecision=870500 #constraints=80780
1119.64/1120.61	c nbDecision=871000 #constraints=80780
1120.14/1121.12	c nbDecision=871500 #constraints=80780
1120.94/1121.94	c nbDecision=872000 #constraints=80796
1121.64/1122.61	c nbDecision=872500 #constraints=80796
1122.24/1123.27	c nbDecision=873000 #constraints=80796
1122.93/1123.92	c nbDecision=873500 #constraints=80796
1123.53/1124.56	c nbDecision=874000 #constraints=80796
1124.13/1125.19	c nbDecision=874500 #constraints=80796
1124.83/1125.82	c nbDecision=875000 #constraints=80796
1125.44/1126.43	c nbDecision=875500 #constraints=80796
1126.03/1127.03	c nbDecision=876000 #constraints=80796
1126.63/1127.62	c nbDecision=876500 #constraints=80796
1127.13/1128.19	c nbDecision=877000 #constraints=80796
1127.73/1128.76	c nbDecision=877500 #constraints=80796
1128.33/1129.32	c nbDecision=878000 #constraints=80796
1128.83/1129.87	c nbDecision=878500 #constraints=80796
1129.43/1130.40	c nbDecision=879000 #constraints=80796
1129.93/1130.93	c nbDecision=879500 #constraints=80796
1130.43/1131.44	c nbDecision=880000 #constraints=80796
1130.94/1131.95	c nbDecision=880500 #constraints=80796
1131.73/1132.70	c nbDecision=881000 #constraints=80800
1132.33/1133.37	c nbDecision=881500 #constraints=80800
1133.03/1134.04	c nbDecision=882000 #constraints=80800
1133.63/1134.70	c nbDecision=882500 #constraints=80800
1134.33/1135.34	c nbDecision=883000 #constraints=80800
1134.93/1135.98	c nbDecision=883500 #constraints=80800
1135.63/1136.61	c nbDecision=884000 #constraints=80800
1136.23/1137.23	c nbDecision=884500 #constraints=80800
1136.83/1137.85	c nbDecision=885000 #constraints=80800
1137.43/1138.45	c nbDecision=885500 #constraints=80800
1138.03/1139.05	c nbDecision=886000 #constraints=80800
1138.63/1139.64	c nbDecision=886500 #constraints=80800
1139.23/1140.21	c nbDecision=887000 #constraints=80800
1139.73/1140.78	c nbDecision=887500 #constraints=80800
1140.33/1141.33	c nbDecision=888000 #constraints=80800
1140.83/1141.87	c nbDecision=888500 #constraints=80800
1141.43/1142.41	c nbDecision=889000 #constraints=80800
1141.93/1142.93	c nbDecision=889500 #constraints=80800
1142.43/1143.44	c nbDecision=890000 #constraints=80800
1143.03/1144.02	c nbDecision=890500 #constraints=80804
1143.52/1144.56	c nbDecision=891000 #constraints=80804
1144.03/1145.09	c nbDecision=891500 #constraints=80804
1144.62/1145.61	c nbDecision=892000 #constraints=80804
1145.13/1146.15	c nbDecision=892500 #constraints=80806
1145.72/1146.73	c nbDecision=893000 #constraints=80807
1146.23/1147.28	c nbDecision=893500 #constraints=80807
1146.82/1147.84	c nbDecision=894000 #constraints=80807
1147.33/1148.37	c nbDecision=894500 #constraints=80807
1147.92/1148.90	c nbDecision=895000 #constraints=80807
1148.43/1149.41	c nbDecision=895500 #constraints=80807
1148.92/1149.92	c nbDecision=896000 #constraints=80807
1149.53/1150.54	c nbDecision=896500 #constraints=80808
1150.12/1151.13	c nbDecision=897000 #constraints=80808
1150.72/1151.72	c nbDecision=897500 #constraints=80808
1151.22/1152.29	c nbDecision=898000 #constraints=80808
1151.82/1152.86	c nbDecision=898500 #constraints=80808
1152.42/1153.42	c nbDecision=899000 #constraints=80808
1152.92/1153.96	c nbDecision=899500 #constraints=80808
1153.52/1154.50	c nbDecision=900000 #constraints=80808
1154.02/1155.02	c nbDecision=900500 #constraints=80808
1154.52/1155.54	c nbDecision=901000 #constraints=80808
1155.02/1156.04	c nbDecision=901500 #constraints=80808
1155.52/1156.57	c nbDecision=902000 #constraints=80811
1156.02/1157.09	c nbDecision=902500 #constraints=80812
1156.61/1157.62	c nbDecision=903000 #constraints=80812
1157.21/1158.29	c nbDecision=903500 #constraints=80819
1158.41/1159.41	c nbDecision=904000 #constraints=80892
1158.61/1159.65	c nbDecision=904500 #constraints=80893
1158.91/1159.90	c nbDecision=905000 #constraints=80894
1159.11/1160.15	c nbDecision=905500 #constraints=80895
1159.41/1160.41	c nbDecision=906000 #constraints=80896
1159.61/1160.67	c nbDecision=906500 #constraints=80898
1159.91/1160.92	c nbDecision=907000 #constraints=80898
1160.21/1161.26	c nbDecision=907500 #constraints=80898
1161.10/1162.11	c nbDecision=908000 #constraints=80898
1161.90/1162.96	c nbDecision=908500 #constraints=80898
1162.70/1163.78	c nbDecision=909000 #constraints=80898
1163.49/1164.56	c nbDecision=909500 #constraints=80898
1164.29/1165.32	c nbDecision=910000 #constraints=80898
1164.99/1166.08	c nbDecision=910500 #constraints=80898
1165.79/1166.82	c nbDecision=911000 #constraints=80898
1166.49/1167.56	c nbDecision=911500 #constraints=80898
1167.19/1168.28	c nbDecision=912000 #constraints=80898
1167.89/1169.00	c nbDecision=912500 #constraints=80898
1168.59/1169.61	c nbDecision=913000 #constraints=80902
1168.79/1169.84	c nbDecision=913500 #constraints=80902
1168.99/1170.08	c nbDecision=914000 #constraints=80902
1169.29/1170.34	c nbDecision=914500 #constraints=80903
1169.79/1170.85	c nbDecision=915000 #constraints=80904
1170.59/1171.64	c nbDecision=915500 #constraints=80904
1171.39/1172.42	c nbDecision=916000 #constraints=80904
1172.09/1173.19	c nbDecision=916500 #constraints=80904
1172.89/1173.96	c nbDecision=917000 #constraints=80904
1173.69/1174.71	c nbDecision=917500 #constraints=80904
1174.39/1175.46	c nbDecision=918000 #constraints=80904
1175.19/1176.20	c nbDecision=918500 #constraints=80904
1175.89/1176.93	c nbDecision=919000 #constraints=80904
1176.59/1177.66	c nbDecision=919500 #constraints=80904
1177.29/1178.38	c nbDecision=920000 #constraints=80904
1177.99/1179.09	c nbDecision=920500 #constraints=80904
1178.68/1179.79	c nbDecision=921000 #constraints=80904
1179.38/1180.48	c nbDecision=921500 #constraints=80904
1180.08/1181.19	c nbDecision=922000 #constraints=80905
1180.78/1181.89	c nbDecision=922500 #constraints=80905
1181.49/1182.58	c nbDecision=923000 #constraints=80905
1182.18/1183.26	c nbDecision=923500 #constraints=80905
1182.88/1183.93	c nbDecision=924000 #constraints=80905
1183.48/1184.59	c nbDecision=924500 #constraints=80905
1184.18/1185.25	c nbDecision=925000 #constraints=80905
1184.79/1185.89	c nbDecision=925500 #constraints=80905
1185.58/1186.64	c nbDecision=926000 #constraints=80913
1186.28/1187.33	c nbDecision=926500 #constraints=80913
1186.99/1188.00	c nbDecision=927000 #constraints=80913
1187.58/1188.67	c nbDecision=927500 #constraints=80913
1188.28/1189.32	c nbDecision=928000 #constraints=80913
1188.88/1189.97	c nbDecision=928500 #constraints=80913
1189.58/1190.61	c nbDecision=929000 #constraints=80913
1190.18/1191.24	c nbDecision=929500 #constraints=80913
1190.88/1191.91	c nbDecision=930000 #constraints=80914
1191.48/1192.56	c nbDecision=930500 #constraints=80914
1192.18/1193.20	c nbDecision=931000 #constraints=80914
1192.78/1193.83	c nbDecision=931500 #constraints=80914
1193.38/1194.45	c nbDecision=932000 #constraints=80914
1193.98/1195.07	c nbDecision=932500 #constraints=80915
1194.58/1195.68	c nbDecision=933000 #constraints=80915
1195.18/1196.28	c nbDecision=933500 #constraints=80915
1195.78/1196.87	c nbDecision=934000 #constraints=80915
1196.38/1197.45	c nbDecision=934500 #constraints=80915
1196.98/1198.02	c nbDecision=935000 #constraints=80915
1197.68/1198.72	c nbDecision=935500 #constraints=80928
1198.38/1199.45	c nbDecision=936000 #constraints=80928
1199.08/1200.17	c nbDecision=936500 #constraints=80928
1199.78/1200.89	c nbDecision=937000 #constraints=80928
1200.48/1201.59	c nbDecision=937500 #constraints=80928
1201.18/1202.30	c nbDecision=938000 #constraints=80928
1201.97/1203.03	c nbDecision=938500 #constraints=80928
1202.67/1203.75	c nbDecision=939000 #constraints=80928
1203.37/1204.47	c nbDecision=939500 #constraints=80929
1204.06/1205.13	c nbDecision=940000 #constraints=80929
1204.66/1205.78	c nbDecision=940500 #constraints=80929
1205.36/1206.43	c nbDecision=941000 #constraints=80929
1205.96/1207.06	c nbDecision=941500 #constraints=80929
1206.66/1207.71	c nbDecision=942000 #constraints=80929
1207.26/1208.36	c nbDecision=942500 #constraints=80929
1207.95/1209.01	c nbDecision=943000 #constraints=80929
1208.55/1209.64	c nbDecision=943500 #constraints=80929
1209.25/1210.30	c nbDecision=944000 #constraints=80930
1209.85/1210.97	c nbDecision=944500 #constraints=80930
1210.44/1211.58	c nbDecision=945000 #constraints=80930
1211.05/1212.18	c nbDecision=945500 #constraints=80930
1211.64/1212.77	c nbDecision=946000 #constraints=80930
1212.24/1213.35	c nbDecision=946500 #constraints=80930
1212.84/1213.92	c nbDecision=947000 #constraints=80930
1213.35/1214.48	c nbDecision=947500 #constraints=80930
1213.94/1215.04	c nbDecision=948000 #constraints=80930
1214.44/1215.59	c nbDecision=948500 #constraints=80931
1215.04/1216.12	c nbDecision=949000 #constraints=80931
1215.54/1216.68	c nbDecision=949500 #constraints=80932
1216.14/1217.21	c nbDecision=950000 #constraints=80932
1216.64/1217.74	c nbDecision=950500 #constraints=80932
1217.14/1218.25	c nbDecision=951000 #constraints=80932
1217.74/1218.88	c nbDecision=951500 #constraints=80938
1218.34/1219.45	c nbDecision=952000 #constraints=80938
1218.94/1220.01	c nbDecision=952500 #constraints=80938
1219.44/1220.56	c nbDecision=953000 #constraints=80938
1219.94/1221.09	c nbDecision=953500 #constraints=80938
1220.54/1221.62	c nbDecision=954000 #constraints=80938
1221.04/1222.13	c nbDecision=954500 #constraints=80938
1221.64/1222.72	c nbDecision=955000 #constraints=80943
1222.24/1223.35	c nbDecision=955500 #constraints=80943
1222.84/1223.98	c nbDecision=956000 #constraints=80943
1223.54/1224.60	c nbDecision=956500 #constraints=80943
1224.13/1225.21	c nbDecision=957000 #constraints=80943
1224.73/1225.80	c nbDecision=957500 #constraints=80943
1225.23/1226.39	c nbDecision=958000 #constraints=80943
1225.83/1226.96	c nbDecision=958500 #constraints=80943
1226.44/1227.53	c nbDecision=959000 #constraints=80943
1226.93/1228.08	c nbDecision=959500 #constraints=80943
1227.54/1228.62	c nbDecision=960000 #constraints=80943
1228.03/1229.15	c nbDecision=960500 #constraints=80943
1228.53/1229.67	c nbDecision=961000 #constraints=80943
1229.03/1230.17	c nbDecision=961500 #constraints=80943
1229.63/1230.71	c nbDecision=962000 #constraints=80944
1230.13/1231.25	c nbDecision=962500 #constraints=80944
1230.63/1231.78	c nbDecision=963000 #constraints=80944
1231.23/1232.30	c nbDecision=963500 #constraints=80944
1231.73/1232.81	c nbDecision=964000 #constraints=80944
1232.23/1233.33	c nbDecision=964500 #constraints=80945
1232.73/1233.86	c nbDecision=965000 #constraints=80945
1233.23/1234.37	c nbDecision=965500 #constraints=80945
1233.73/1234.88	c nbDecision=966000 #constraints=80945
1234.33/1235.46	c nbDecision=966500 #constraints=80947
1234.93/1236.03	c nbDecision=967000 #constraints=80947
1235.53/1236.60	c nbDecision=967500 #constraints=80947
1236.03/1237.16	c nbDecision=968000 #constraints=80947
1236.63/1237.72	c nbDecision=968500 #constraints=80947
1237.13/1238.26	c nbDecision=969000 #constraints=80947
1237.63/1238.79	c nbDecision=969500 #constraints=80947
1238.23/1239.31	c nbDecision=970000 #constraints=80947
1238.73/1239.81	c nbDecision=970500 #constraints=80947
1239.23/1240.34	c nbDecision=971000 #constraints=80948
1239.73/1240.85	c nbDecision=971500 #constraints=80948
1240.33/1241.49	c nbDecision=972000 #constraints=80958
1240.93/1242.07	c nbDecision=972500 #constraints=80958
1241.53/1242.64	c nbDecision=973000 #constraints=80958
1242.12/1243.21	c nbDecision=973500 #constraints=80958
1242.62/1243.76	c nbDecision=974000 #constraints=80958
1243.22/1244.31	c nbDecision=974500 #constraints=80958
1243.72/1244.84	c nbDecision=975000 #constraints=80958
1244.22/1245.36	c nbDecision=975500 #constraints=80958
1244.72/1245.87	c nbDecision=976000 #constraints=80958
1245.23/1246.38	c nbDecision=976500 #constraints=80959
1245.92/1247.03	c nbDecision=977000 #constraints=80962
1246.62/1247.75	c nbDecision=977500 #constraints=80962
1247.32/1248.48	c nbDecision=978000 #constraints=80962
1248.01/1249.18	c nbDecision=978500 #constraints=80963
1248.81/1249.93	c nbDecision=979000 #constraints=80963
1249.51/1250.67	c nbDecision=979500 #constraints=80963
1250.20/1251.39	c nbDecision=980000 #constraints=80963
1250.90/1252.07	c nbDecision=980500 #constraints=80963
1251.60/1252.72	c nbDecision=981000 #constraints=80963
1252.20/1253.37	c nbDecision=981500 #constraints=80963
1252.99/1254.11	c nbDecision=982000 #constraints=80964
1253.69/1254.85	c nbDecision=982500 #constraints=80964
1254.39/1255.53	c nbDecision=983000 #constraints=80964
1254.99/1256.20	c nbDecision=983500 #constraints=80964
1255.69/1256.85	c nbDecision=984000 #constraints=80964
1256.39/1257.50	c nbDecision=984500 #constraints=80964
1256.99/1258.14	c nbDecision=985000 #constraints=80964
1257.59/1258.77	c nbDecision=985500 #constraints=80964
1258.19/1259.39	c nbDecision=986000 #constraints=80964
1258.89/1260.00	c nbDecision=986500 #constraints=80964
1259.49/1260.68	c nbDecision=987000 #constraints=80971
1260.19/1261.37	c nbDecision=987500 #constraints=80971
1260.89/1262.06	c nbDecision=988000 #constraints=80971
1261.59/1262.73	c nbDecision=988500 #constraints=80971
1262.28/1263.40	c nbDecision=989000 #constraints=80971
1262.88/1264.05	c nbDecision=989500 #constraints=80971
1263.58/1264.70	c nbDecision=990000 #constraints=80971
1264.18/1265.34	c nbDecision=990500 #constraints=80971
1264.78/1265.97	c nbDecision=991000 #constraints=80971
1265.38/1266.58	c nbDecision=991500 #constraints=80971
1265.99/1267.19	c nbDecision=992000 #constraints=80971
1266.58/1267.78	c nbDecision=992500 #constraints=80971
1267.19/1268.36	c nbDecision=993000 #constraints=80971
1267.78/1268.93	c nbDecision=993500 #constraints=80971
1268.38/1269.50	c nbDecision=994000 #constraints=80971
1268.88/1270.05	c nbDecision=994500 #constraints=80971
1269.39/1270.59	c nbDecision=995000 #constraints=80971
1269.98/1271.12	c nbDecision=995500 #constraints=80971
1270.48/1271.64	c nbDecision=996000 #constraints=80971
1270.98/1272.15	c nbDecision=996500 #constraints=80971
1271.48/1272.65	c nbDecision=997000 #constraints=80971
1272.28/1273.44	c nbDecision=997500 #constraints=80986
1272.88/1274.07	c nbDecision=998000 #constraints=80986
1273.58/1274.70	c nbDecision=998500 #constraints=80986
1274.18/1275.32	c nbDecision=999000 #constraints=80986
1274.78/1275.93	c nbDecision=999500 #constraints=80986
1275.38/1276.53	c nbDecision=1000000 #constraints=80986
1275.98/1277.13	c nbDecision=1000500 #constraints=80986
1276.58/1277.72	c nbDecision=1001000 #constraints=80986
1277.08/1278.29	c nbDecision=1001500 #constraints=80986
1277.68/1278.86	c nbDecision=1002000 #constraints=80986
1278.28/1279.42	c nbDecision=1002500 #constraints=80987
1278.78/1279.97	c nbDecision=1003000 #constraints=80987
1279.38/1280.50	c nbDecision=1003500 #constraints=80987
1279.88/1281.03	c nbDecision=1004000 #constraints=80987
1280.38/1281.54	c nbDecision=1004500 #constraints=80987
1280.88/1282.04	c nbDecision=1005000 #constraints=80987
1281.48/1282.64	c nbDecision=1005500 #constraints=80988
1282.07/1283.21	c nbDecision=1006000 #constraints=80988
1282.58/1283.76	c nbDecision=1006500 #constraints=80988
1283.17/1284.30	c nbDecision=1007000 #constraints=80988
1283.68/1284.83	c nbDecision=1007500 #constraints=80988
1284.17/1285.35	c nbDecision=1008000 #constraints=80988
1284.68/1285.86	c nbDecision=1008500 #constraints=80988
1285.17/1286.38	c nbDecision=1009000 #constraints=80989
1285.67/1286.88	c nbDecision=1009500 #constraints=80989
1286.27/1287.45	c nbDecision=1010000 #constraints=80990
1286.88/1288.02	c nbDecision=1010500 #constraints=80990
1287.37/1288.57	c nbDecision=1011000 #constraints=80990
1287.98/1289.12	c nbDecision=1011500 #constraints=80990
1288.47/1289.65	c nbDecision=1012000 #constraints=80990
1288.97/1290.18	c nbDecision=1012500 #constraints=80990
1289.47/1290.69	c nbDecision=1013000 #constraints=80990
1289.97/1291.19	c nbDecision=1013500 #constraints=80990
1290.57/1291.70	c nbDecision=1014000 #constraints=80991
1291.17/1292.30	c nbDecision=1014500 #constraints=80998
1291.66/1292.88	c nbDecision=1015000 #constraints=80998
1292.26/1293.44	c nbDecision=1015500 #constraints=80998
1292.76/1294.00	c nbDecision=1016000 #constraints=80998
1293.36/1294.54	c nbDecision=1016500 #constraints=80998
1293.96/1295.12	c nbDecision=1017000 #constraints=81001
1294.46/1295.69	c nbDecision=1017500 #constraints=81001
1295.06/1296.25	c nbDecision=1018000 #constraints=81001
1295.56/1296.80	c nbDecision=1018500 #constraints=81001
1296.16/1297.34	c nbDecision=1019000 #constraints=81001
1296.66/1297.87	c nbDecision=1019500 #constraints=81001
1297.16/1298.39	c nbDecision=1020000 #constraints=81001
1297.76/1298.90	c nbDecision=1020500 #constraints=81001
1298.26/1299.44	c nbDecision=1021000 #constraints=81002
1298.86/1300.01	c nbDecision=1021500 #constraints=81002
1299.35/1300.58	c nbDecision=1022000 #constraints=81002
1299.95/1301.12	c nbDecision=1022500 #constraints=81002
1300.45/1301.66	c nbDecision=1023000 #constraints=81002
1301.05/1302.22	c nbDecision=1023500 #constraints=81006
1301.54/1302.75	c nbDecision=1024000 #constraints=81006
1302.04/1303.25	c nbDecision=1024500 #constraints=81006
1302.54/1303.76	c nbDecision=1025000 #constraints=81007
1303.24/1304.41	c nbDecision=1025500 #constraints=81020
1303.84/1305.08	c nbDecision=1026000 #constraints=81020
1304.55/1305.75	c nbDecision=1026500 #constraints=81020
1305.24/1306.40	c nbDecision=1027000 #constraints=81020
1305.84/1307.04	c nbDecision=1027500 #constraints=81020
1306.44/1307.69	c nbDecision=1028000 #constraints=81021
1307.14/1308.32	c nbDecision=1028500 #constraints=81021
1307.74/1308.94	c nbDecision=1029000 #constraints=81021
1308.34/1309.55	c nbDecision=1029500 #constraints=81021
1308.94/1310.15	c nbDecision=1030000 #constraints=81021
1309.54/1310.74	c nbDecision=1030500 #constraints=81021
1310.14/1311.32	c nbDecision=1031000 #constraints=81021
1310.64/1311.89	c nbDecision=1031500 #constraints=81021
1311.24/1312.45	c nbDecision=1032000 #constraints=81021
1311.84/1313.02	c nbDecision=1032500 #constraints=81022
1312.44/1313.60	c nbDecision=1033000 #constraints=81022
1312.94/1314.17	c nbDecision=1033500 #constraints=81022
1313.54/1314.73	c nbDecision=1034000 #constraints=81022
1314.04/1315.28	c nbDecision=1034500 #constraints=81022
1314.64/1315.82	c nbDecision=1035000 #constraints=81022
1315.14/1316.34	c nbDecision=1035500 #constraints=81022
1315.64/1316.86	c nbDecision=1036000 #constraints=81022
1316.13/1317.37	c nbDecision=1036500 #constraints=81022
1316.64/1317.87	c nbDecision=1037000 #constraints=81022
1317.23/1318.40	c nbDecision=1037500 #constraints=81023
1317.64/1318.90	c nbDecision=1038000 #constraints=81023
1318.33/1319.55	c nbDecision=1038500 #constraints=81034
1318.93/1320.15	c nbDecision=1039000 #constraints=81034
1319.53/1320.74	c nbDecision=1039500 #constraints=81034
1320.13/1321.31	c nbDecision=1040000 #constraints=81034
1320.63/1321.88	c nbDecision=1040500 #constraints=81034
1321.23/1322.44	c nbDecision=1041000 #constraints=81034
1321.73/1322.98	c nbDecision=1041500 #constraints=81034
1322.33/1323.52	c nbDecision=1042000 #constraints=81034
1322.83/1324.04	c nbDecision=1042500 #constraints=81034
1323.33/1324.55	c nbDecision=1043000 #constraints=81034
1323.83/1325.06	c nbDecision=1043500 #constraints=81034
1324.43/1325.65	c nbDecision=1044000 #constraints=81035
1325.03/1326.24	c nbDecision=1044500 #constraints=81035
1325.63/1326.81	c nbDecision=1045000 #constraints=81035
1326.13/1327.37	c nbDecision=1045500 #constraints=81035
1326.73/1327.91	c nbDecision=1046000 #constraints=81035
1327.23/1328.45	c nbDecision=1046500 #constraints=81035
1327.73/1328.98	c nbDecision=1047000 #constraints=81035
1328.23/1329.49	c nbDecision=1047500 #constraints=81035
1328.74/1329.99	c nbDecision=1048000 #constraints=81035
1329.33/1330.55	c nbDecision=1048500 #constraints=81038
1329.93/1331.19	c nbDecision=1049000 #constraints=81046
1330.63/1331.80	c nbDecision=1049500 #constraints=81046
1331.23/1332.40	c nbDecision=1050000 #constraints=81046
1331.83/1333.00	c nbDecision=1050500 #constraints=81046
1332.33/1333.58	c nbDecision=1051000 #constraints=81046
1332.93/1334.16	c nbDecision=1051500 #constraints=81046
1333.53/1334.72	c nbDecision=1052000 #constraints=81046
1334.03/1335.27	c nbDecision=1052500 #constraints=81046
1334.63/1335.82	c nbDecision=1053000 #constraints=81046
1335.13/1336.35	c nbDecision=1053500 #constraints=81046
1335.63/1336.87	c nbDecision=1054000 #constraints=81046
1336.13/1337.39	c nbDecision=1054500 #constraints=81046
1336.72/1337.90	c nbDecision=1055000 #constraints=81046
1337.22/1338.44	c nbDecision=1055500 #constraints=81047
1337.72/1338.96	c nbDecision=1056000 #constraints=81047
1338.22/1339.47	c nbDecision=1056500 #constraints=81047
1338.72/1339.97	c nbDecision=1057000 #constraints=81047
1339.22/1340.48	c nbDecision=1057500 #constraints=81048
1339.92/1341.13	c nbDecision=1058000 #constraints=81057
1340.62/1341.81	c nbDecision=1058500 #constraints=81057
1341.22/1342.47	c nbDecision=1059000 #constraints=81057
1341.92/1343.13	c nbDecision=1059500 #constraints=81057
1342.52/1343.78	c nbDecision=1060000 #constraints=81057
1343.22/1344.41	c nbDecision=1060500 #constraints=81057
1343.83/1345.04	c nbDecision=1061000 #constraints=81057
1344.42/1345.69	c nbDecision=1061500 #constraints=81057
1345.12/1346.33	c nbDecision=1062000 #constraints=81057
1345.72/1346.93	c nbDecision=1062500 #constraints=81057
1346.32/1347.52	c nbDecision=1063000 #constraints=81058
1346.82/1348.09	c nbDecision=1063500 #constraints=81058
1347.42/1348.66	c nbDecision=1064000 #constraints=81058
1348.02/1349.21	c nbDecision=1064500 #constraints=81058
1348.52/1349.75	c nbDecision=1065000 #constraints=81058
1349.02/1350.28	c nbDecision=1065500 #constraints=81058
1349.62/1350.80	c nbDecision=1066000 #constraints=81058
1350.12/1351.31	c nbDecision=1066500 #constraints=81058
1350.62/1351.81	c nbDecision=1067000 #constraints=81058
1351.12/1352.32	c nbDecision=1067500 #constraints=81059
1351.61/1352.82	c nbDecision=1068000 #constraints=81059
1352.11/1353.35	c nbDecision=1068500 #constraints=81060
1352.61/1353.89	c nbDecision=1069000 #constraints=81060
1353.21/1354.41	c nbDecision=1069500 #constraints=81060
1353.71/1354.92	c nbDecision=1070000 #constraints=81060
1354.21/1355.43	c nbDecision=1070500 #constraints=81060
1354.71/1355.92	c nbDecision=1071000 #constraints=81060
1355.41/1356.62	c nbDecision=1071500 #constraints=81064
1356.01/1357.26	c nbDecision=1072000 #constraints=81064
1356.61/1357.89	c nbDecision=1072500 #constraints=81064
1357.32/1358.50	c nbDecision=1073000 #constraints=81064
1357.91/1359.11	c nbDecision=1073500 #constraints=81064
1358.51/1359.71	c nbDecision=1074000 #constraints=81064
1359.11/1360.30	c nbDecision=1074500 #constraints=81064
1359.61/1360.88	c nbDecision=1075000 #constraints=81064
1360.21/1361.44	c nbDecision=1075500 #constraints=81064
1360.81/1362.00	c nbDecision=1076000 #constraints=81064
1361.31/1362.55	c nbDecision=1076500 #constraints=81064
1361.81/1363.08	c nbDecision=1077000 #constraints=81064
1362.41/1363.62	c nbDecision=1077500 #constraints=81065
1362.91/1364.14	c nbDecision=1078000 #constraints=81065
1363.41/1364.65	c nbDecision=1078500 #constraints=81065
1363.91/1365.15	c nbDecision=1079000 #constraints=81065
1364.41/1365.65	c nbDecision=1079500 #constraints=81066
1365.21/1366.42	c nbDecision=1080000 #constraints=81077
1365.81/1367.09	c nbDecision=1080500 #constraints=81077
1366.51/1367.74	c nbDecision=1081000 #constraints=81077
1367.11/1368.38	c nbDecision=1081500 #constraints=81077
1367.81/1369.02	c nbDecision=1082000 #constraints=81077
1368.41/1369.64	c nbDecision=1082500 #constraints=81077
1369.00/1370.26	c nbDecision=1083000 #constraints=81077
1369.60/1370.86	c nbDecision=1083500 #constraints=81077
1370.20/1371.46	c nbDecision=1084000 #constraints=81077
1370.90/1372.16	c nbDecision=1084500 #constraints=81092
1371.61/1372.83	c nbDecision=1085000 #constraints=81092
1372.20/1373.49	c nbDecision=1085500 #constraints=81092
1372.90/1374.14	c nbDecision=1086000 #constraints=81092
1373.50/1374.78	c nbDecision=1086500 #constraints=81092
1374.20/1375.41	c nbDecision=1087000 #constraints=81092
1374.81/1376.03	c nbDecision=1087500 #constraints=81092
1375.40/1376.64	c nbDecision=1088000 #constraints=81092
1376.01/1377.25	c nbDecision=1088500 #constraints=81092
1376.60/1377.85	c nbDecision=1089000 #constraints=81092
1377.20/1378.44	c nbDecision=1089500 #constraints=81092
1377.80/1379.01	c nbDecision=1090000 #constraints=81092
1378.30/1379.58	c nbDecision=1090500 #constraints=81092
1378.90/1380.14	c nbDecision=1091000 #constraints=81092
1379.40/1380.68	c nbDecision=1091500 #constraints=81092
1380.00/1381.22	c nbDecision=1092000 #constraints=81092
1380.50/1381.74	c nbDecision=1092500 #constraints=81092
1381.00/1382.25	c nbDecision=1093000 #constraints=81092
1381.50/1382.78	c nbDecision=1093500 #constraints=81092
1382.19/1383.47	c nbDecision=1094000 #constraints=81121
1383.49/1384.76	c nbDecision=1094500 #constraints=81228
1384.19/1385.45	c nbDecision=1095000 #constraints=81228
1384.89/1386.13	c nbDecision=1095500 #constraints=81228
1385.59/1386.80	c nbDecision=1096000 #constraints=81228
1386.19/1387.45	c nbDecision=1096500 #constraints=81228
1386.79/1388.10	c nbDecision=1097000 #constraints=81228
1387.49/1388.73	c nbDecision=1097500 #constraints=81228
1388.09/1389.36	c nbDecision=1098000 #constraints=81228
1388.69/1389.97	c nbDecision=1098500 #constraints=81228
1389.29/1390.58	c nbDecision=1099000 #constraints=81228
1389.89/1391.18	c nbDecision=1099500 #constraints=81228
1390.48/1391.77	c nbDecision=1100000 #constraints=81228
1391.08/1392.35	c nbDecision=1100500 #constraints=81228
1391.68/1392.91	c nbDecision=1101000 #constraints=81228
1392.18/1393.47	c nbDecision=1101500 #constraints=81228
1392.78/1394.02	c nbDecision=1102000 #constraints=81228
1393.28/1394.56	c nbDecision=1102500 #constraints=81229
1393.78/1395.09	c nbDecision=1103000 #constraints=81229
1394.38/1395.61	c nbDecision=1103500 #constraints=81229
1394.88/1396.11	c nbDecision=1104000 #constraints=81229
1395.38/1396.61	c nbDecision=1104500 #constraints=81229
1395.97/1397.23	c nbDecision=1105000 #constraints=81232
1396.57/1397.85	c nbDecision=1105500 #constraints=81232
1397.17/1398.46	c nbDecision=1106000 #constraints=81232
1397.77/1399.06	c nbDecision=1106500 #constraints=81232
1398.37/1399.70	c nbDecision=1107000 #constraints=81233
1399.08/1400.31	c nbDecision=1107500 #constraints=81233
1399.67/1400.92	c nbDecision=1108000 #constraints=81233
1400.27/1401.51	c nbDecision=1108500 #constraints=81233
1400.87/1402.10	c nbDecision=1109000 #constraints=81233
1401.37/1402.67	c nbDecision=1109500 #constraints=81233
1401.97/1403.24	c nbDecision=1110000 #constraints=81233
1402.47/1403.79	c nbDecision=1110500 #constraints=81233
1403.17/1404.41	c nbDecision=1111000 #constraints=81238
1403.77/1405.03	c nbDecision=1111500 #constraints=81238
1404.37/1405.65	c nbDecision=1112000 #constraints=81238
1404.97/1406.25	c nbDecision=1112500 #constraints=81238
1405.57/1406.84	c nbDecision=1113000 #constraints=81238
1406.17/1407.42	c nbDecision=1113500 #constraints=81238
1406.67/1407.99	c nbDecision=1114000 #constraints=81238
1407.27/1408.55	c nbDecision=1114500 #constraints=81238
1407.77/1409.10	c nbDecision=1115000 #constraints=81238
1408.37/1409.63	c nbDecision=1115500 #constraints=81238
1408.87/1410.16	c nbDecision=1116000 #constraints=81238
1409.37/1410.67	c nbDecision=1116500 #constraints=81238
1409.87/1411.17	c nbDecision=1117000 #constraints=81238
1410.37/1411.66	c nbDecision=1117500 #constraints=81238
1410.97/1412.28	c nbDecision=1118000 #constraints=81242
1411.56/1412.85	c nbDecision=1118500 #constraints=81242
1412.17/1413.41	c nbDecision=1119000 #constraints=81242
1412.66/1413.96	c nbDecision=1119500 #constraints=81242
1413.27/1414.50	c nbDecision=1120000 #constraints=81242
1413.76/1415.03	c nbDecision=1120500 #constraints=81242
1414.26/1415.55	c nbDecision=1121000 #constraints=81242
1414.76/1416.05	c nbDecision=1121500 #constraints=81242
1415.26/1416.55	c nbDecision=1122000 #constraints=81242
1415.76/1417.06	c nbDecision=1122500 #constraints=81243
1416.26/1417.57	c nbDecision=1123000 #constraints=81243
1416.76/1418.07	c nbDecision=1123500 #constraints=81243
1417.36/1418.62	c nbDecision=1124000 #constraints=81248
1417.86/1419.16	c nbDecision=1124500 #constraints=81248
1418.36/1419.69	c nbDecision=1125000 #constraints=81248
1418.96/1420.20	c nbDecision=1125500 #constraints=81248
1419.46/1420.71	c nbDecision=1126000 #constraints=81248
1419.87/1421.20	c nbDecision=1126500 #constraints=81248
1420.56/1421.80	c nbDecision=1127000 #constraints=81252
1421.06/1422.36	c nbDecision=1127500 #constraints=81252
1421.66/1422.91	c nbDecision=1128000 #constraints=81252
1422.16/1423.44	c nbDecision=1128500 #constraints=81252
1422.66/1423.97	c nbDecision=1129000 #constraints=81252
1423.16/1424.48	c nbDecision=1129500 #constraints=81252
1423.66/1424.98	c nbDecision=1130000 #constraints=81252
1424.26/1425.53	c nbDecision=1130500 #constraints=81256
1424.76/1426.10	c nbDecision=1131000 #constraints=81256
1425.36/1426.65	c nbDecision=1131500 #constraints=81256
1425.86/1427.19	c nbDecision=1132000 #constraints=81256
1426.46/1427.74	c nbDecision=1132500 #constraints=81256
1426.95/1428.26	c nbDecision=1133000 #constraints=81256
1427.45/1428.76	c nbDecision=1133500 #constraints=81256
1427.95/1429.26	c nbDecision=1134000 #constraints=81256
1428.45/1429.80	c nbDecision=1134500 #constraints=81257
1429.05/1430.34	c nbDecision=1135000 #constraints=81257
1429.55/1430.86	c nbDecision=1135500 #constraints=81257
1430.05/1431.38	c nbDecision=1136000 #constraints=81257
1430.55/1431.89	c nbDecision=1136500 #constraints=81257
1431.05/1432.38	c nbDecision=1137000 #constraints=81257
1431.55/1432.87	c nbDecision=1137500 #constraints=81257
1432.05/1433.37	c nbDecision=1138000 #constraints=81258
1432.65/1433.92	c nbDecision=1138500 #constraints=81265
1433.25/1434.50	c nbDecision=1139000 #constraints=81265
1433.74/1435.07	c nbDecision=1139500 #constraints=81265
1434.34/1435.63	c nbDecision=1140000 #constraints=81265
1434.84/1436.18	c nbDecision=1140500 #constraints=81265
1435.44/1436.73	c nbDecision=1141000 #constraints=81265
1435.94/1437.26	c nbDecision=1141500 #constraints=81265
1436.54/1437.82	c nbDecision=1142000 #constraints=81265
1437.04/1438.35	c nbDecision=1142500 #constraints=81265
1437.54/1438.88	c nbDecision=1143000 #constraints=81265
1438.13/1439.40	c nbDecision=1143500 #constraints=81265
1438.73/1440.02	c nbDecision=1144000 #constraints=81266
1439.33/1440.61	c nbDecision=1144500 #constraints=81266
1439.82/1441.19	c nbDecision=1145000 #constraints=81266
1440.42/1441.75	c nbDecision=1145500 #constraints=81266
1441.02/1442.31	c nbDecision=1146000 #constraints=81266
1441.52/1442.85	c nbDecision=1146500 #constraints=81266
1442.01/1443.37	c nbDecision=1147000 #constraints=81266
1442.51/1443.86	c nbDecision=1147500 #constraints=81266
1443.02/1444.38	c nbDecision=1148000 #constraints=81268
1443.51/1444.88	c nbDecision=1148500 #constraints=81268
1444.02/1445.36	c nbDecision=1149000 #constraints=81268
1444.61/1445.98	c nbDecision=1149500 #constraints=81275
1445.22/1446.57	c nbDecision=1150000 #constraints=81275
1445.81/1447.15	c nbDecision=1150500 #constraints=81275
1446.41/1447.71	c nbDecision=1151000 #constraints=81275
1446.91/1448.26	c nbDecision=1151500 #constraints=81275
1447.51/1448.80	c nbDecision=1152000 #constraints=81275
1448.02/1449.34	c nbDecision=1152500 #constraints=81275
1448.52/1449.86	c nbDecision=1153000 #constraints=81275
1449.02/1450.36	c nbDecision=1153500 #constraints=81275
1449.52/1450.86	c nbDecision=1154000 #constraints=81275
1450.02/1451.35	c nbDecision=1154500 #constraints=81275
1450.52/1451.90	c nbDecision=1155000 #constraints=81276
1451.12/1452.44	c nbDecision=1155500 #constraints=81276
1451.62/1452.97	c nbDecision=1156000 #constraints=81276
1452.12/1453.48	c nbDecision=1156500 #constraints=81276
1452.62/1453.99	c nbDecision=1157000 #constraints=81276
1453.12/1454.49	c nbDecision=1157500 #constraints=81276
1453.62/1454.97	c nbDecision=1158000 #constraints=81276
1454.11/1455.47	c nbDecision=1158500 #constraints=81277
1454.61/1455.95	c nbDecision=1159000 #constraints=81277
1455.21/1456.52	c nbDecision=1159500 #constraints=81278
1455.71/1457.06	c nbDecision=1160000 #constraints=81278
1456.22/1457.59	c nbDecision=1160500 #constraints=81278
1456.81/1458.11	c nbDecision=1161000 #constraints=81278
1457.32/1458.62	c nbDecision=1161500 #constraints=81278
1457.81/1459.12	c nbDecision=1162000 #constraints=81278
1458.32/1459.60	c nbDecision=1162500 #constraints=81278
1458.91/1460.20	c nbDecision=1163000 #constraints=81282
1459.42/1460.75	c nbDecision=1163500 #constraints=81282
1459.91/1461.29	c nbDecision=1164000 #constraints=81282
1460.51/1461.81	c nbDecision=1164500 #constraints=81282
1461.01/1462.33	c nbDecision=1165000 #constraints=81282
1461.51/1462.83	c nbDecision=1165500 #constraints=81282
1462.01/1463.32	c nbDecision=1166000 #constraints=81282
1462.51/1463.87	c nbDecision=1166500 #constraints=81285
1463.11/1464.41	c nbDecision=1167000 #constraints=81285
1463.71/1465.01	c nbDecision=1167500 #constraints=81292
1464.21/1465.58	c nbDecision=1168000 #constraints=81292
1464.81/1466.14	c nbDecision=1168500 #constraints=81292
1465.31/1466.68	c nbDecision=1169000 #constraints=81292
1465.91/1467.22	c nbDecision=1169500 #constraints=81292
1466.41/1467.74	c nbDecision=1170000 #constraints=81292
1466.91/1468.25	c nbDecision=1170500 #constraints=81292
1467.41/1468.75	c nbDecision=1171000 #constraints=81292
1467.91/1469.23	c nbDecision=1171500 #constraints=81292
1468.51/1469.81	c nbDecision=1172000 #constraints=81299
1469.01/1470.39	c nbDecision=1172500 #constraints=81299
1469.61/1470.96	c nbDecision=1173000 #constraints=81299
1470.21/1471.53	c nbDecision=1173500 #constraints=81299
1470.71/1472.08	c nbDecision=1174000 #constraints=81299
1471.30/1472.69	c nbDecision=1174500 #constraints=81300
1472.00/1473.32	c nbDecision=1175000 #constraints=81300
1472.60/1473.94	c nbDecision=1175500 #constraints=81300
1473.19/1474.54	c nbDecision=1176000 #constraints=81300
1473.79/1475.13	c nbDecision=1176500 #constraints=81300
1474.29/1475.67	c nbDecision=1177000 #constraints=81300
1474.89/1476.20	c nbDecision=1177500 #constraints=81300
1475.39/1476.72	c nbDecision=1178000 #constraints=81300
1475.89/1477.23	c nbDecision=1178500 #constraints=81300
1476.39/1477.73	c nbDecision=1179000 #constraints=81300
1476.89/1478.22	c nbDecision=1179500 #constraints=81300
1477.39/1478.77	c nbDecision=1180000 #constraints=81315
1478.09/1479.42	c nbDecision=1180500 #constraints=81317
1478.69/1480.07	c nbDecision=1181000 #constraints=81317
1479.39/1480.71	c nbDecision=1181500 #constraints=81317
1479.99/1481.35	c nbDecision=1182000 #constraints=81317
1480.68/1482.00	c nbDecision=1182500 #constraints=81318
1481.28/1482.64	c nbDecision=1183000 #constraints=81318
1481.88/1483.27	c nbDecision=1183500 #constraints=81318
1482.28/1483.66	c nbDecision=1184000 #constraints=81327
1482.58/1483.99	c nbDecision=1184500 #constraints=81336
1482.98/1484.36	c nbDecision=1185000 #constraints=81349
1483.38/1484.71	c nbDecision=1185500 #constraints=81362
1483.88/1485.28	c nbDecision=1186000 #constraints=81370
1484.48/1485.85	c nbDecision=1186500 #constraints=81370
1485.18/1486.59	c nbDecision=1187000 #constraints=81370
1485.98/1487.33	c nbDecision=1187500 #constraints=81370
1486.68/1488.07	c nbDecision=1188000 #constraints=81371
1487.48/1488.81	c nbDecision=1188500 #constraints=81371
1488.17/1489.54	c nbDecision=1189000 #constraints=81371
1488.87/1490.27	c nbDecision=1189500 #constraints=81371
1489.57/1490.98	c nbDecision=1190000 #constraints=81371
1490.28/1491.68	c nbDecision=1190500 #constraints=81371
1490.97/1492.38	c nbDecision=1191000 #constraints=81371
1491.67/1493.06	c nbDecision=1191500 #constraints=81371
1492.38/1493.74	c nbDecision=1192000 #constraints=81371
1493.07/1494.41	c nbDecision=1192500 #constraints=81371
1493.48/1494.87	c nbDecision=1193000 #constraints=81379
1493.87/1495.28	c nbDecision=1193500 #constraints=81380
1494.68/1496.03	c nbDecision=1194000 #constraints=81380
1495.37/1496.78	c nbDecision=1194500 #constraints=81380
1496.17/1497.52	c nbDecision=1195000 #constraints=81380
1496.87/1498.26	c nbDecision=1195500 #constraints=81380
1497.57/1498.98	c nbDecision=1196000 #constraints=81380
1498.37/1499.70	c nbDecision=1196500 #constraints=81380
1499.07/1500.41	c nbDecision=1197000 #constraints=81380
1499.77/1501.10	c nbDecision=1197500 #constraints=81380
1500.37/1501.79	c nbDecision=1198000 #constraints=81380
1501.07/1502.47	c nbDecision=1198500 #constraints=81380
1501.77/1503.15	c nbDecision=1199000 #constraints=81380
1502.47/1503.81	c nbDecision=1199500 #constraints=81380
1503.07/1504.48	c nbDecision=1200000 #constraints=81381
1503.77/1505.16	c nbDecision=1200500 #constraints=81381
1504.47/1505.82	c nbDecision=1201000 #constraints=81381
1505.07/1506.47	c nbDecision=1201500 #constraints=81381
1505.76/1507.11	c nbDecision=1202000 #constraints=81381
1506.36/1507.74	c nbDecision=1202500 #constraints=81381
1506.96/1508.36	c nbDecision=1203000 #constraints=81381
1507.56/1508.97	c nbDecision=1203500 #constraints=81381
1508.16/1509.57	c nbDecision=1204000 #constraints=81381
1508.76/1510.16	c nbDecision=1204500 #constraints=81381
1509.36/1510.73	c nbDecision=1205000 #constraints=81381
1510.07/1511.46	c nbDecision=1205500 #constraints=81382
1510.86/1512.21	c nbDecision=1206000 #constraints=81382
1511.56/1512.95	c nbDecision=1206500 #constraints=81382
1512.27/1513.68	c nbDecision=1207000 #constraints=81382
1513.06/1514.40	c nbDecision=1207500 #constraints=81382
1513.76/1515.11	c nbDecision=1208000 #constraints=81383
1514.47/1515.87	c nbDecision=1208500 #constraints=81383
1515.26/1516.62	c nbDecision=1209000 #constraints=81383
1515.96/1517.37	c nbDecision=1209500 #constraints=81383
1516.75/1518.16	c nbDecision=1210000 #constraints=81383
1517.55/1518.93	c nbDecision=1210500 #constraints=81383
1518.24/1519.65	c nbDecision=1211000 #constraints=81383
1518.94/1520.36	c nbDecision=1211500 #constraints=81383
1519.64/1521.06	c nbDecision=1212000 #constraints=81383
1520.34/1521.75	c nbDecision=1212500 #constraints=81383
1521.05/1522.44	c nbDecision=1213000 #constraints=81383
1521.74/1523.11	c nbDecision=1213500 #constraints=81383
1522.34/1523.77	c nbDecision=1214000 #constraints=81383
1523.04/1524.43	c nbDecision=1214500 #constraints=81383
1523.64/1525.07	c nbDecision=1215000 #constraints=81383
1524.35/1525.70	c nbDecision=1215500 #constraints=81383
1524.94/1526.33	c nbDecision=1216000 #constraints=81383
1525.54/1526.94	c nbDecision=1216500 #constraints=81383
1526.14/1527.54	c nbDecision=1217000 #constraints=81383
1526.74/1528.13	c nbDecision=1217500 #constraints=81383
1527.34/1528.71	c nbDecision=1218000 #constraints=81383
1527.84/1529.28	c nbDecision=1218500 #constraints=81383
1528.44/1529.87	c nbDecision=1219000 #constraints=81383
1529.03/1530.46	c nbDecision=1219500 #constraints=81383
1529.63/1531.04	c nbDecision=1220000 #constraints=81383
1530.13/1531.57	c nbDecision=1220500 #constraints=81383
1530.63/1532.09	c nbDecision=1221000 #constraints=81383
1531.33/1532.78	c nbDecision=1221500 #constraints=81388
1532.03/1533.41	c nbDecision=1222000 #constraints=81388
1532.63/1534.04	c nbDecision=1222500 #constraints=81388
1533.23/1534.66	c nbDecision=1223000 #constraints=81388
1533.83/1535.26	c nbDecision=1223500 #constraints=81388
1534.42/1535.86	c nbDecision=1224000 #constraints=81388
1535.02/1536.44	c nbDecision=1224500 #constraints=81388
1535.62/1537.02	c nbDecision=1225000 #constraints=81388
1536.12/1537.59	c nbDecision=1225500 #constraints=81388
1536.72/1538.15	c nbDecision=1226000 #constraints=81388
1537.32/1538.76	c nbDecision=1226500 #constraints=81393
1537.92/1539.34	c nbDecision=1227000 #constraints=81393
1538.53/1539.91	c nbDecision=1227500 #constraints=81393
1539.02/1540.47	c nbDecision=1228000 #constraints=81393
1539.62/1541.03	c nbDecision=1228500 #constraints=81393
1540.12/1541.56	c nbDecision=1229000 #constraints=81393
1540.62/1542.09	c nbDecision=1229500 #constraints=81393
1541.22/1542.61	c nbDecision=1230000 #constraints=81393
1541.72/1543.11	c nbDecision=1230500 #constraints=81393
1542.32/1543.74	c nbDecision=1231000 #constraints=81397
1542.92/1544.37	c nbDecision=1231500 #constraints=81397
1543.52/1544.99	c nbDecision=1232000 #constraints=81397
1544.22/1545.61	c nbDecision=1232500 #constraints=81397
1544.82/1546.21	c nbDecision=1233000 #constraints=81397
1545.42/1546.80	c nbDecision=1233500 #constraints=81397
1545.92/1547.38	c nbDecision=1234000 #constraints=81397
1546.62/1548.01	c nbDecision=1234500 #constraints=81398
1547.22/1548.62	c nbDecision=1235000 #constraints=81398
1547.82/1549.22	c nbDecision=1235500 #constraints=81398
1548.42/1549.81	c nbDecision=1236000 #constraints=81398
1548.92/1550.39	c nbDecision=1236500 #constraints=81398
1549.52/1550.96	c nbDecision=1237000 #constraints=81398
1550.12/1551.52	c nbDecision=1237500 #constraints=81398
1550.62/1552.07	c nbDecision=1238000 #constraints=81398
1551.22/1552.61	c nbDecision=1238500 #constraints=81398
1551.82/1553.20	c nbDecision=1239000 #constraints=81401
1552.42/1553.82	c nbDecision=1239500 #constraints=81401
1553.02/1554.43	c nbDecision=1240000 #constraints=81401
1553.62/1555.03	c nbDecision=1240500 #constraints=81401
1554.22/1555.62	c nbDecision=1241000 #constraints=81401
1554.82/1556.20	c nbDecision=1241500 #constraints=81401
1555.31/1556.77	c nbDecision=1242000 #constraints=81401
1555.91/1557.37	c nbDecision=1242500 #constraints=81401
1556.51/1557.93	c nbDecision=1243000 #constraints=81401
1557.01/1558.47	c nbDecision=1243500 #constraints=81401
1557.61/1559.00	c nbDecision=1244000 #constraints=81401
1558.11/1559.52	c nbDecision=1244500 #constraints=81401
1558.61/1560.03	c nbDecision=1245000 #constraints=81401
1559.11/1560.52	c nbDecision=1245500 #constraints=81401
1559.61/1561.08	c nbDecision=1246000 #constraints=81408
1560.11/1561.58	c nbDecision=1246500 #constraints=81408
1560.61/1562.06	c nbDecision=1247000 #constraints=81408
1561.20/1562.61	c nbDecision=1247500 #constraints=81409
1561.70/1563.16	c nbDecision=1248000 #constraints=81409
1562.20/1563.67	c nbDecision=1248500 #constraints=81409
1562.70/1564.17	c nbDecision=1249000 #constraints=81409
1563.20/1564.66	c nbDecision=1249500 #constraints=81409
1563.80/1565.29	c nbDecision=1250000 #constraints=81418
1564.50/1565.90	c nbDecision=1250500 #constraints=81418
1565.10/1566.50	c nbDecision=1251000 #constraints=81418
1565.70/1567.12	c nbDecision=1251500 #constraints=81419
1566.30/1567.72	c nbDecision=1252000 #constraints=81419
1566.90/1568.31	c nbDecision=1252500 #constraints=81419
1567.40/1568.89	c nbDecision=1253000 #constraints=81419
1568.00/1569.46	c nbDecision=1253500 #constraints=81419
1568.60/1570.02	c nbDecision=1254000 #constraints=81419
1569.10/1570.57	c nbDecision=1254500 #constraints=81419
1569.70/1571.11	c nbDecision=1255000 #constraints=81419
1570.20/1571.64	c nbDecision=1255500 #constraints=81419
1570.70/1572.18	c nbDecision=1256000 #constraints=81421
1571.30/1572.73	c nbDecision=1256500 #constraints=81422
1571.80/1573.28	c nbDecision=1257000 #constraints=81423
1572.39/1573.82	c nbDecision=1257500 #constraints=81423
1572.89/1574.34	c nbDecision=1258000 #constraints=81423
1573.39/1574.85	c nbDecision=1258500 #constraints=81423
1573.89/1575.35	c nbDecision=1259000 #constraints=81423
1574.39/1575.89	c nbDecision=1259500 #constraints=81423
1574.99/1576.41	c nbDecision=1260000 #constraints=81423
1575.49/1576.96	c nbDecision=1260500 #constraints=81426
1575.99/1577.46	c nbDecision=1261000 #constraints=81426
1576.58/1578.00	c nbDecision=1261500 #constraints=81427
1577.09/1578.51	c nbDecision=1262000 #constraints=81427
1577.58/1579.01	c nbDecision=1262500 #constraints=81427
1578.08/1579.50	c nbDecision=1263000 #constraints=81427
1578.48/1579.99	c nbDecision=1263500 #constraints=81428
1579.08/1580.58	c nbDecision=1264000 #constraints=81431
1579.68/1581.17	c nbDecision=1264500 #constraints=81431
1580.28/1581.75	c nbDecision=1265000 #constraints=81431
1580.88/1582.32	c nbDecision=1265500 #constraints=81431
1581.38/1582.87	c nbDecision=1266000 #constraints=81431
1581.98/1583.42	c nbDecision=1266500 #constraints=81431
1582.48/1583.95	c nbDecision=1267000 #constraints=81431
1582.98/1584.47	c nbDecision=1267500 #constraints=81431
1583.48/1584.98	c nbDecision=1268000 #constraints=81431
1583.98/1585.48	c nbDecision=1268500 #constraints=81431
1584.48/1585.97	c nbDecision=1269000 #constraints=81431
1585.28/1586.71	c nbDecision=1269500 #constraints=81453
1585.88/1587.30	c nbDecision=1270000 #constraints=81453
1586.37/1587.89	c nbDecision=1270500 #constraints=81453
1586.98/1588.46	c nbDecision=1271000 #constraints=81453
1587.57/1589.02	c nbDecision=1271500 #constraints=81453
1588.08/1589.57	c nbDecision=1272000 #constraints=81453
1588.67/1590.11	c nbDecision=1272500 #constraints=81453
1589.18/1590.64	c nbDecision=1273000 #constraints=81453
1589.67/1591.16	c nbDecision=1273500 #constraints=81453
1590.18/1591.67	c nbDecision=1274000 #constraints=81453
1590.67/1592.16	c nbDecision=1274500 #constraints=81453
1591.17/1592.65	c nbDecision=1275000 #constraints=81453
1591.67/1593.17	c nbDecision=1275500 #constraints=81455
1592.27/1593.73	c nbDecision=1276000 #constraints=81455
1592.77/1594.28	c nbDecision=1276500 #constraints=81455
1593.37/1594.86	c nbDecision=1277000 #constraints=81460
1593.97/1595.44	c nbDecision=1277500 #constraints=81460
1594.57/1596.01	c nbDecision=1278000 #constraints=81460
1595.07/1596.56	c nbDecision=1278500 #constraints=81460
1595.67/1597.12	c nbDecision=1279000 #constraints=81460
1596.17/1597.66	c nbDecision=1279500 #constraints=81460
1596.67/1598.18	c nbDecision=1280000 #constraints=81460
1597.27/1598.70	c nbDecision=1280500 #constraints=81460
1597.77/1599.21	c nbDecision=1281000 #constraints=81460
1598.27/1599.70	c nbDecision=1281500 #constraints=81460
1598.67/1600.18	c nbDecision=1282000 #constraints=81460
1599.27/1600.77	c nbDecision=1282500 #constraints=81462
1599.87/1601.34	c nbDecision=1283000 #constraints=81462
1600.37/1601.90	c nbDecision=1283500 #constraints=81462
1600.97/1602.44	c nbDecision=1284000 #constraints=81462
1601.47/1602.98	c nbDecision=1284500 #constraints=81462
1602.07/1603.50	c nbDecision=1285000 #constraints=81462
1602.57/1604.01	c nbDecision=1285500 #constraints=81462
1603.07/1604.51	c nbDecision=1286000 #constraints=81462
1603.56/1605.00	c nbDecision=1286500 #constraints=81462
1604.06/1605.51	c nbDecision=1287000 #constraints=81464
1604.57/1606.05	c nbDecision=1287500 #constraints=81464
1605.16/1606.63	c nbDecision=1288000 #constraints=81468
1605.67/1607.19	c nbDecision=1288500 #constraints=81468
1606.26/1607.76	c nbDecision=1289000 #constraints=81468
1606.86/1608.32	c nbDecision=1289500 #constraints=81468
1607.36/1608.85	c nbDecision=1290000 #constraints=81468
1607.86/1609.36	c nbDecision=1290500 #constraints=81468
1608.36/1609.87	c nbDecision=1291000 #constraints=81468
1608.86/1610.36	c nbDecision=1291500 #constraints=81468
1609.36/1610.84	c nbDecision=1292000 #constraints=81468
1609.85/1611.33	c nbDecision=1292500 #constraints=81469
1610.35/1611.81	c nbDecision=1293000 #constraints=81469
1610.85/1612.30	c nbDecision=1293500 #constraints=81470
1611.25/1612.78	c nbDecision=1294000 #constraints=81471
1611.75/1613.26	c nbDecision=1294500 #constraints=81471
1612.26/1613.76	c nbDecision=1295000 #constraints=81473
1612.75/1614.24	c nbDecision=1295500 #constraints=81473
1613.26/1614.72	c nbDecision=1296000 #constraints=81473
1613.75/1615.24	c nbDecision=1296500 #constraints=81476
1614.25/1615.72	c nbDecision=1297000 #constraints=81476
1614.75/1616.20	c nbDecision=1297500 #constraints=81476
1615.25/1616.73	c nbDecision=1298000 #constraints=81478
1615.75/1617.28	c nbDecision=1298500 #constraints=81479
1616.35/1617.82	c nbDecision=1299000 #constraints=81479
1616.85/1618.35	c nbDecision=1299500 #constraints=81479
1617.35/1618.87	c nbDecision=1300000 #constraints=81479
1617.85/1619.38	c nbDecision=1300500 #constraints=81479
1618.35/1619.87	c nbDecision=1301000 #constraints=81479
1618.85/1620.35	c nbDecision=1301500 #constraints=81479
1619.85/1621.34	c nbDecision=1302000 #constraints=81551
1620.45/1621.93	c nbDecision=1302500 #constraints=81586
1621.14/1622.63	c nbDecision=1303000 #constraints=81586
1621.84/1623.30	c nbDecision=1303500 #constraints=81586
1622.44/1623.93	c nbDecision=1304000 #constraints=81587
1623.04/1624.60	c nbDecision=1304500 #constraints=81587
1623.74/1625.26	c nbDecision=1305000 #constraints=81587
1624.34/1625.89	c nbDecision=1305500 #constraints=81588
1625.04/1626.56	c nbDecision=1306000 #constraints=81588
1625.74/1627.22	c nbDecision=1306500 #constraints=81588
1626.33/1627.87	c nbDecision=1307000 #constraints=81588
1627.03/1628.50	c nbDecision=1307500 #constraints=81588
1627.64/1629.13	c nbDecision=1308000 #constraints=81588
1628.23/1629.75	c nbDecision=1308500 #constraints=81588
1628.83/1630.35	c nbDecision=1309000 #constraints=81588
1629.43/1630.95	c nbDecision=1309500 #constraints=81588
1630.03/1631.54	c nbDecision=1310000 #constraints=81588
1630.63/1632.11	c nbDecision=1310500 #constraints=81588
1631.13/1632.68	c nbDecision=1311000 #constraints=81588
1631.73/1633.28	c nbDecision=1311500 #constraints=81589
1632.33/1633.86	c nbDecision=1312000 #constraints=81589
1632.93/1634.43	c nbDecision=1312500 #constraints=81589
1633.43/1635.00	c nbDecision=1313000 #constraints=81589
1634.03/1635.55	c nbDecision=1313500 #constraints=81589
1634.53/1636.09	c nbDecision=1314000 #constraints=81589
1635.13/1636.61	c nbDecision=1314500 #constraints=81589
1635.63/1637.14	c nbDecision=1315000 #constraints=81589
1636.13/1637.64	c nbDecision=1315500 #constraints=81589
1636.63/1638.14	c nbDecision=1316000 #constraints=81589
1637.13/1638.63	c nbDecision=1316500 #constraints=81589
1637.63/1639.14	c nbDecision=1317000 #constraints=81590
1638.13/1639.63	c nbDecision=1317500 #constraints=81590
1638.63/1640.12	c nbDecision=1318000 #constraints=81590
1639.23/1640.71	c nbDecision=1318500 #constraints=81591
1639.53/1641.03	c nbDecision=1319000 #constraints=81601
1639.73/1641.29	c nbDecision=1319500 #constraints=81603
1640.13/1641.63	c nbDecision=1320000 #constraints=81615
1640.33/1641.88	c nbDecision=1320500 #constraints=81615
1640.63/1642.17	c nbDecision=1321000 #constraints=81619
1641.13/1642.68	c nbDecision=1321500 #constraints=81622
1641.53/1643.04	c nbDecision=1322000 #constraints=81627
1641.73/1643.29	c nbDecision=1322500 #constraints=81627
1642.03/1643.54	c nbDecision=1323000 #constraints=81627
1642.33/1643.82	c nbDecision=1323500 #constraints=81629
1642.83/1644.35	c nbDecision=1324000 #constraints=81629
1643.63/1645.13	c nbDecision=1324500 #constraints=81629
1644.43/1645.91	c nbDecision=1325000 #constraints=81629
1645.13/1646.67	c nbDecision=1325500 #constraints=81629
1645.92/1647.42	c nbDecision=1326000 #constraints=81629
1646.62/1648.17	c nbDecision=1326500 #constraints=81629
1647.33/1648.90	c nbDecision=1327000 #constraints=81629
1648.12/1649.62	c nbDecision=1327500 #constraints=81629
1648.82/1650.37	c nbDecision=1328000 #constraints=81630
1649.53/1651.10	c nbDecision=1328500 #constraints=81630
1650.32/1651.82	c nbDecision=1329000 #constraints=81630
1651.02/1652.54	c nbDecision=1329500 #constraints=81630
1651.72/1653.30	c nbDecision=1330000 #constraints=81630
1652.61/1654.17	c nbDecision=1330500 #constraints=81656
1652.92/1654.43	c nbDecision=1331000 #constraints=81657
1653.11/1654.68	c nbDecision=1331500 #constraints=81657
1653.51/1655.01	c nbDecision=1332000 #constraints=81658
1654.21/1655.79	c nbDecision=1332500 #constraints=81658
1655.02/1656.56	c nbDecision=1333000 #constraints=81658
1655.81/1657.32	c nbDecision=1333500 #constraints=81658
1656.51/1658.08	c nbDecision=1334000 #constraints=81658
1657.32/1658.83	c nbDecision=1334500 #constraints=81658
1658.01/1659.58	c nbDecision=1335000 #constraints=81658
1658.81/1660.31	c nbDecision=1335500 #constraints=81658
1659.52/1661.03	c nbDecision=1336000 #constraints=81658
1660.21/1661.75	c nbDecision=1336500 #constraints=81658
1660.91/1662.45	c nbDecision=1337000 #constraints=81658
1661.62/1663.15	c nbDecision=1337500 #constraints=81658
1662.32/1663.84	c nbDecision=1338000 #constraints=81658
1663.02/1664.52	c nbDecision=1338500 #constraints=81658
1663.62/1665.19	c nbDecision=1339000 #constraints=81658
1664.32/1665.84	c nbDecision=1339500 #constraints=81658
1664.92/1666.49	c nbDecision=1340000 #constraints=81658
1665.62/1667.13	c nbDecision=1340500 #constraints=81658
1666.21/1667.79	c nbDecision=1341000 #constraints=81658
1666.91/1668.45	c nbDecision=1341500 #constraints=81658
1667.51/1669.07	c nbDecision=1342000 #constraints=81658
1668.11/1669.66	c nbDecision=1342500 #constraints=81658
1668.71/1670.28	c nbDecision=1343000 #constraints=81659
1669.31/1670.87	c nbDecision=1343500 #constraints=81659
1669.91/1671.46	c nbDecision=1344000 #constraints=81659
1670.51/1672.04	c nbDecision=1344500 #constraints=81659
1671.10/1672.60	c nbDecision=1345000 #constraints=81659
1671.80/1673.32	c nbDecision=1345500 #constraints=81665
1672.50/1674.02	c nbDecision=1346000 #constraints=81665
1673.20/1674.71	c nbDecision=1346500 #constraints=81665
1673.90/1675.40	c nbDecision=1347000 #constraints=81665
1674.50/1676.07	c nbDecision=1347500 #constraints=81665
1675.21/1676.74	c nbDecision=1348000 #constraints=81665
1675.91/1677.40	c nbDecision=1348500 #constraints=81665
1676.50/1678.05	c nbDecision=1349000 #constraints=81665
1677.11/1678.70	c nbDecision=1349500 #constraints=81665
1677.80/1679.33	c nbDecision=1350000 #constraints=81665
1678.40/1679.95	c nbDecision=1350500 #constraints=81665
1679.00/1680.56	c nbDecision=1351000 #constraints=81665
1679.60/1681.17	c nbDecision=1351500 #constraints=81665
1680.20/1681.76	c nbDecision=1352000 #constraints=81665
1680.80/1682.34	c nbDecision=1352500 #constraints=81665
1681.40/1682.91	c nbDecision=1353000 #constraints=81665
1681.90/1683.47	c nbDecision=1353500 #constraints=81665
1682.50/1684.03	c nbDecision=1354000 #constraints=81665
1683.00/1684.59	c nbDecision=1354500 #constraints=81666
1683.60/1685.14	c nbDecision=1355000 #constraints=81666
1684.10/1685.67	c nbDecision=1355500 #constraints=81666
1684.60/1686.20	c nbDecision=1356000 #constraints=81666
1685.20/1686.71	c nbDecision=1356500 #constraints=81666
1685.80/1687.34	c nbDecision=1357000 #constraints=81673
1686.50/1688.05	c nbDecision=1357500 #constraints=81673
1687.20/1688.75	c nbDecision=1358000 #constraints=81673
1687.90/1689.44	c nbDecision=1358500 #constraints=81673
1688.60/1690.12	c nbDecision=1359000 #constraints=81673
1689.20/1690.79	c nbDecision=1359500 #constraints=81673
1689.90/1691.46	c nbDecision=1360000 #constraints=81673
1690.60/1692.11	c nbDecision=1360500 #constraints=81673
1691.19/1692.75	c nbDecision=1361000 #constraints=81673
1691.79/1693.39	c nbDecision=1361500 #constraints=81673
1692.50/1694.02	c nbDecision=1362000 #constraints=81673
1693.09/1694.63	c nbDecision=1362500 #constraints=81673
1693.69/1695.24	c nbDecision=1363000 #constraints=81673
1694.29/1695.83	c nbDecision=1363500 #constraints=81673
1694.89/1696.42	c nbDecision=1364000 #constraints=81673
1695.39/1697.00	c nbDecision=1364500 #constraints=81673
1695.99/1697.58	c nbDecision=1365000 #constraints=81673
1696.59/1698.17	c nbDecision=1365500 #constraints=81673
1697.18/1698.73	c nbDecision=1366000 #constraints=81673
1697.68/1699.26	c nbDecision=1366500 #constraints=81673
1698.18/1699.79	c nbDecision=1367000 #constraints=81673
1698.78/1700.30	c nbDecision=1367500 #constraints=81673
1699.28/1700.81	c nbDecision=1368000 #constraints=81673
1699.68/1701.30	c nbDecision=1368500 #constraints=81673
1700.28/1701.90	c nbDecision=1369000 #constraints=81675
1700.88/1702.46	c nbDecision=1369500 #constraints=81675
1701.48/1703.00	c nbDecision=1370000 #constraints=81675
1701.98/1703.54	c nbDecision=1370500 #constraints=81675
1702.48/1704.07	c nbDecision=1371000 #constraints=81675
1702.98/1704.58	c nbDecision=1371500 #constraints=81675
1703.49/1705.08	c nbDecision=1372000 #constraints=81675
1704.18/1705.79	c nbDecision=1372500 #constraints=81696
1704.88/1706.46	c nbDecision=1373000 #constraints=81696
1705.58/1707.13	c nbDecision=1373500 #constraints=81696
1706.18/1707.78	c nbDecision=1374000 #constraints=81696
1706.88/1708.42	c nbDecision=1374500 #constraints=81696
1707.48/1709.05	c nbDecision=1375000 #constraints=81696
1708.08/1709.68	c nbDecision=1375500 #constraints=81696
1708.68/1710.29	c nbDecision=1376000 #constraints=81696
1709.28/1710.90	c nbDecision=1376500 #constraints=81696
1709.88/1711.49	c nbDecision=1377000 #constraints=81696
1710.48/1712.07	c nbDecision=1377500 #constraints=81696
1711.08/1712.65	c nbDecision=1378000 #constraints=81696
1711.68/1713.21	c nbDecision=1378500 #constraints=81696
1712.17/1713.79	c nbDecision=1379000 #constraints=81696
1712.77/1714.34	c nbDecision=1379500 #constraints=81696
1713.27/1714.86	c nbDecision=1380000 #constraints=81696
1713.77/1715.38	c nbDecision=1380500 #constraints=81696
1714.27/1715.89	c nbDecision=1381000 #constraints=81696
1714.77/1716.38	c nbDecision=1381500 #constraints=81696
1715.27/1716.87	c nbDecision=1382000 #constraints=81696
1715.97/1717.52	c nbDecision=1382500 #constraints=81699
1716.57/1718.18	c nbDecision=1383000 #constraints=81699
1717.27/1718.83	c nbDecision=1383500 #constraints=81699
1717.87/1719.48	c nbDecision=1384000 #constraints=81699
1718.57/1720.11	c nbDecision=1384500 #constraints=81699
1719.17/1720.73	c nbDecision=1385000 #constraints=81699
1719.77/1721.34	c nbDecision=1385500 #constraints=81699
1720.37/1721.94	c nbDecision=1386000 #constraints=81699
1720.97/1722.53	c nbDecision=1386500 #constraints=81699
1721.57/1723.12	c nbDecision=1387000 #constraints=81699
1722.07/1723.69	c nbDecision=1387500 #constraints=81699
1722.66/1724.25	c nbDecision=1388000 #constraints=81699
1723.17/1724.80	c nbDecision=1388500 #constraints=81699
1723.76/1725.34	c nbDecision=1389000 #constraints=81699
1724.27/1725.87	c nbDecision=1389500 #constraints=81699
1724.76/1726.38	c nbDecision=1390000 #constraints=81699
1725.26/1726.89	c nbDecision=1390500 #constraints=81699
1725.76/1727.38	c nbDecision=1391000 #constraints=81699
1726.26/1727.85	c nbDecision=1391500 #constraints=81699
1726.86/1728.42	c nbDecision=1392000 #constraints=81700
1727.46/1729.01	c nbDecision=1392500 #constraints=81700
1727.96/1729.59	c nbDecision=1393000 #constraints=81700
1728.56/1730.16	c nbDecision=1393500 #constraints=81700
1729.16/1730.73	c nbDecision=1394000 #constraints=81700
1729.66/1731.28	c nbDecision=1394500 #constraints=81700
1730.26/1731.82	c nbDecision=1395000 #constraints=81700
1730.76/1732.35	c nbDecision=1395500 #constraints=81700
1731.26/1732.87	c nbDecision=1396000 #constraints=81700
1731.76/1733.37	c nbDecision=1396500 #constraints=81700
1732.26/1733.87	c nbDecision=1397000 #constraints=81700
1732.76/1734.35	c nbDecision=1397500 #constraints=81700
1733.26/1734.82	c nbDecision=1398000 #constraints=81700
1733.86/1735.41	c nbDecision=1398500 #constraints=81703
1734.36/1735.97	c nbDecision=1399000 #constraints=81703
1734.96/1736.51	c nbDecision=1399500 #constraints=81703
1735.46/1737.05	c nbDecision=1400000 #constraints=81703
1735.96/1737.58	c nbDecision=1400500 #constraints=81703
1736.46/1738.09	c nbDecision=1401000 #constraints=81703
1736.96/1738.59	c nbDecision=1401500 #constraints=81703
1737.46/1739.09	c nbDecision=1402000 #constraints=81703
1737.95/1739.57	c nbDecision=1402500 #constraints=81703
1738.45/1740.08	c nbDecision=1403000 #constraints=81706
1738.95/1740.56	c nbDecision=1403500 #constraints=81706
1739.45/1741.04	c nbDecision=1404000 #constraints=81706
1740.15/1741.76	c nbDecision=1404500 #constraints=81713
1740.85/1742.42	c nbDecision=1405000 #constraints=81713
1741.55/1743.11	c nbDecision=1405500 #constraints=81713
1742.14/1743.76	c nbDecision=1406000 #constraints=81713
1742.74/1744.39	c nbDecision=1406500 #constraints=81713
1743.44/1745.01	c nbDecision=1407000 #constraints=81713
1744.04/1745.62	c nbDecision=1407500 #constraints=81713
1744.64/1746.22	c nbDecision=1408000 #constraints=81713
1745.24/1746.81	c nbDecision=1408500 #constraints=81713
1745.74/1747.38	c nbDecision=1409000 #constraints=81713
1746.44/1748.01	c nbDecision=1409500 #constraints=81714
1747.04/1748.61	c nbDecision=1410000 #constraints=81714
1747.54/1749.20	c nbDecision=1410500 #constraints=81714
1748.14/1749.77	c nbDecision=1411000 #constraints=81714
1748.74/1750.34	c nbDecision=1411500 #constraints=81714
1749.34/1750.90	c nbDecision=1412000 #constraints=81714
1749.84/1751.45	c nbDecision=1412500 #constraints=81714
1750.44/1752.03	c nbDecision=1413000 #constraints=81715
1751.04/1752.62	c nbDecision=1413500 #constraints=81715
1751.54/1753.19	c nbDecision=1414000 #constraints=81715
1752.14/1753.77	c nbDecision=1414500 #constraints=81716
1752.74/1754.36	c nbDecision=1415000 #constraints=81716
1753.34/1754.93	c nbDecision=1415500 #constraints=81716
1753.84/1755.49	c nbDecision=1416000 #constraints=81716
1754.44/1756.05	c nbDecision=1416500 #constraints=81716
1754.94/1756.59	c nbDecision=1417000 #constraints=81716
1755.53/1757.12	c nbDecision=1417500 #constraints=81716
1756.03/1757.64	c nbDecision=1418000 #constraints=81716
1756.73/1758.30	c nbDecision=1418500 #constraints=81718
1757.34/1758.94	c nbDecision=1419000 #constraints=81718
1757.93/1759.58	c nbDecision=1419500 #constraints=81718
1758.63/1760.21	c nbDecision=1420000 #constraints=81718
1759.23/1760.81	c nbDecision=1420500 #constraints=81718
1759.83/1761.41	c nbDecision=1421000 #constraints=81718
1760.33/1761.99	c nbDecision=1421500 #constraints=81718
1760.93/1762.56	c nbDecision=1422000 #constraints=81718
1761.53/1763.12	c nbDecision=1422500 #constraints=81718
1762.03/1763.67	c nbDecision=1423000 #constraints=81718
1762.63/1764.21	c nbDecision=1423500 #constraints=81718
1763.13/1764.74	c nbDecision=1424000 #constraints=81718
1763.63/1765.26	c nbDecision=1424500 #constraints=81718
1764.12/1765.76	c nbDecision=1425000 #constraints=81718
1764.62/1766.25	c nbDecision=1425500 #constraints=81718
1765.12/1766.74	c nbDecision=1426000 #constraints=81718
1765.62/1767.23	c nbDecision=1426500 #constraints=81719
1766.13/1767.72	c nbDecision=1427000 #constraints=81719
1766.52/1768.19	c nbDecision=1427500 #constraints=81719
1767.13/1768.74	c nbDecision=1428000 #constraints=81725
1767.72/1769.30	c nbDecision=1428500 #constraints=81725
1768.23/1769.85	c nbDecision=1429000 #constraints=81725
1768.72/1770.39	c nbDecision=1429500 #constraints=81725
1769.33/1770.92	c nbDecision=1430000 #constraints=81725
1769.82/1771.43	c nbDecision=1430500 #constraints=81725
1770.32/1771.93	c nbDecision=1431000 #constraints=81725
1770.82/1772.43	c nbDecision=1431500 #constraints=81725
1771.32/1772.90	c nbDecision=1432000 #constraints=81725
1771.72/1773.37	c nbDecision=1432500 #constraints=81725
1772.42/1774.01	c nbDecision=1433000 #constraints=81731
1772.92/1774.58	c nbDecision=1433500 #constraints=81731
1773.52/1775.14	c nbDecision=1434000 #constraints=81731
1774.02/1775.69	c nbDecision=1434500 #constraints=81731
1774.62/1776.23	c nbDecision=1435000 #constraints=81731
1775.22/1776.83	c nbDecision=1435500 #constraints=81732
1775.82/1777.41	c nbDecision=1436000 #constraints=81732
1776.32/1777.98	c nbDecision=1436500 #constraints=81732
1776.92/1778.53	c nbDecision=1437000 #constraints=81732
1777.42/1779.08	c nbDecision=1437500 #constraints=81732
1778.02/1779.62	c nbDecision=1438000 #constraints=81732
1778.52/1780.14	c nbDecision=1438500 #constraints=81732
1779.02/1780.65	c nbDecision=1439000 #constraints=81732
1779.52/1781.15	c nbDecision=1439500 #constraints=81732
1780.02/1781.64	c nbDecision=1440000 #constraints=81732
1780.52/1782.12	c nbDecision=1440500 #constraints=81732
1781.02/1782.68	c nbDecision=1441000 #constraints=81740
1781.52/1783.19	c nbDecision=1441500 #constraints=81740
1782.02/1783.69	c nbDecision=1442000 #constraints=81740
1782.52/1784.17	c nbDecision=1442500 #constraints=81740
1783.02/1784.65	c nbDecision=1443000 #constraints=81740
1783.72/1785.31	c nbDecision=1443500 #constraints=81748
1784.32/1785.94	c nbDecision=1444000 #constraints=81748
1784.92/1786.56	c nbDecision=1444500 #constraints=81748
1785.52/1787.17	c nbDecision=1445000 #constraints=81748
1786.21/1787.80	c nbDecision=1445500 #constraints=81748
1786.81/1788.43	c nbDecision=1446000 #constraints=81748
1787.41/1789.05	c nbDecision=1446500 #constraints=81748
1788.01/1789.66	c nbDecision=1447000 #constraints=81748
1788.60/1790.25	c nbDecision=1447500 #constraints=81748
1789.20/1790.83	c nbDecision=1448000 #constraints=81748
1789.70/1791.36	c nbDecision=1448500 #constraints=81748
1790.20/1791.88	c nbDecision=1449000 #constraints=81748
1790.70/1792.38	c nbDecision=1449500 #constraints=81748
1791.20/1792.88	c nbDecision=1450000 #constraints=81748
1791.70/1793.36	c nbDecision=1450500 #constraints=81748
1792.20/1793.84	c nbDecision=1451000 #constraints=81748
1792.70/1794.33	c nbDecision=1451500 #constraints=81757
1793.30/1794.99	c nbDecision=1452000 #constraints=81757
1794.00/1795.64	c nbDecision=1452500 #constraints=81757
1794.60/1796.28	c nbDecision=1453000 #constraints=81757
1795.29/1796.91	c nbDecision=1453500 #constraints=81757
1795.89/1797.54	c nbDecision=1454000 #constraints=81757
1796.49/1798.15	c nbDecision=1454500 #constraints=81757
1797.09/1798.76	c nbDecision=1455000 #constraints=81757
1797.69/1799.35	c nbDecision=1455500 #constraints=81757
1798.29/1799.93	c nbDecision=1456000 #constraints=81757
1798.89/1800.51	c nbDecision=1456500 #constraints=81757
1799.39/1801.07	c nbDecision=1457000 #constraints=81757
1799.99/1801.63	c nbDecision=1457500 #constraints=81757
1800.10/1801.71	Received signal 15
1800.10/1801.71	
1800.10/1801.71	s UNKNOWN
1800.10/1801.71	
1800.10/1801.71	c user time= 1799.89 s
1800.10/1801.71	c system time= 0.223965 s
1800.10/1801.71	c wall clock time=1801.71

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node38/watcher-420529-1177426346 -o ROOT/results/node38/solver-420529-1177426346 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420529-1177426346/instance-420529-1177426346.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 14295
/proc/meminfo: memFree=1904920/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=1468 CPUtime=0
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 174801275 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 367 166 130 317 0 46 0

[startup+0.0245351 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 14295
/proc/meminfo: memFree=1904920/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=1864 CPUtime=0.02
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 283 0 0 0 2 0 0 0 18 0 1 0 174801275 1908736 266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 466 266 130 317 0 145 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1864

[startup+0.102549 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 14295
/proc/meminfo: memFree=1904920/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=3496 CPUtime=0.09
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 678 0 0 0 9 0 0 0 18 0 1 0 174801275 3579904 661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 874 661 130 317 0 553 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3496

[startup+0.301589 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 14295
/proc/meminfo: memFree=1904920/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=7456 CPUtime=0.29
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 1683 0 0 0 29 0 0 0 19 0 1 0 174801275 7634944 1666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 1864 1666 130 317 0 1543 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7456

[startup+0.701667 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 14295
/proc/meminfo: memFree=1904920/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=15636 CPUtime=0.69
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 3738 0 0 0 67 2 0 0 23 0 1 0 174801275 16011264 3688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827890 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 3909 3688 130 317 0 3588 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15636

[startup+1.50182 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 14296
/proc/meminfo: memFree=1877456/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=30236 CPUtime=1.49
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 7408 0 0 0 146 3 0 0 25 0 1 0 174801275 30961664 7293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 7559 7293 138 317 0 7238 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30236

[startup+3.10113 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 14296
/proc/meminfo: memFree=1876048/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=30236 CPUtime=3.09
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 7408 0 0 0 306 3 0 0 25 0 1 0 174801275 30961664 7293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 7559 7293 138 317 0 7238 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30236

[startup+6.30175 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 14296
/proc/meminfo: memFree=1875856/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=30236 CPUtime=6.29
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 7409 0 0 0 626 3 0 0 25 0 1 0 174801275 30961664 7294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385247 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 7559 7294 138 317 0 7238 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30236

[startup+12.702 s]
/proc/loadavg: 0.93 0.95 0.96 2/78 14296
/proc/meminfo: memFree=1875792/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=30236 CPUtime=12.68
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 7411 0 0 0 1265 3 0 0 25 0 1 0 174801275 30961664 7296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606877 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 7559 7296 138 317 0 7238 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30236

[startup+25.5015 s]
/proc/loadavg: 0.94 0.96 0.96 2/78 14296
/proc/meminfo: memFree=1873616/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=25.48
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8515 0 0 0 2544 4 0 0 25 0 1 0 174801275 35360768 7854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7854 139 317 0 8312 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34532

[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.96 2/78 14296
/proc/meminfo: memFree=1873616/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=51.06
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8515 0 0 0 5102 4 0 0 25 0 1 0 174801275 35360768 7854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7854 139 317 0 8312 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 34532

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.96 2/78 14296
/proc/meminfo: memFree=1873488/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=102.21
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8515 0 0 0 10217 4 0 0 25 0 1 0 174801275 35360768 7854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7854 139 317 0 8312 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 34532

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14296
/proc/meminfo: memFree=1873424/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=162.15
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8515 0 0 0 16211 4 0 0 25 0 1 0 174801275 35360768 7854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7854 139 317 0 8312 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 34532

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14296
/proc/meminfo: memFree=1873360/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=222.11
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8516 0 0 0 22206 5 0 0 25 0 1 0 174801275 35360768 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7855 139 317 0 8312 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 34532

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14296
/proc/meminfo: memFree=1873296/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=282.07
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8516 0 0 0 28202 5 0 0 25 0 1 0 174801275 35360768 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385262 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7855 139 317 0 8312 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 34532

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14296
/proc/meminfo: memFree=1873232/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=342.01
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8516 0 0 0 34196 5 0 0 25 0 1 0 174801275 35360768 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7855 139 317 0 8312 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 34532

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14296
/proc/meminfo: memFree=1873168/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=401.94
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8516 0 0 0 40189 5 0 0 25 0 1 0 174801275 35360768 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7855 139 317 0 8312 0
Current children cumulated CPU time (s) 401.94
Current children cumulated vsize (KiB) 34532

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14296
/proc/meminfo: memFree=1873168/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=461.9
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8516 0 0 0 46185 5 0 0 25 0 1 0 174801275 35360768 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7855 139 317 0 8312 0
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (KiB) 34532

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/84 14368
/proc/meminfo: memFree=1871960/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=521.83
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8516 0 0 0 52176 7 0 0 25 0 1 0 174801275 35360768 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606708 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7855 139 317 0 8312 0
Current children cumulated CPU time (s) 521.83
Current children cumulated vsize (KiB) 34532

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1872720/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=581.78
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8518 0 0 0 58162 16 0 0 25 0 1 0 174801275 35360768 7857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7857 139 317 0 8312 0
Current children cumulated CPU time (s) 581.78
Current children cumulated vsize (KiB) 34532

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1872720/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=641.73
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8518 0 0 0 64157 16 0 0 25 0 1 0 174801275 35360768 7857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7857 139 317 0 8312 0
Current children cumulated CPU time (s) 641.73
Current children cumulated vsize (KiB) 34532


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1872656/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=881.55
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8519 0 0 0 88137 18 0 0 25 0 1 0 174801275 35360768 7858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7858 139 317 0 8312 0
Current children cumulated CPU time (s) 881.55
Current children cumulated vsize (KiB) 34532

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1872592/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=941.47
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8519 0 0 0 94129 18 0 0 25 0 1 0 174801275 35360768 7858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7858 139 317 0 8312 0
Current children cumulated CPU time (s) 941.47
Current children cumulated vsize (KiB) 34532

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1872528/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1001.43
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8519 0 0 0 100125 18 0 0 25 0 1 0 174801275 35360768 7858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7858 139 317 0 8312 0
Current children cumulated CPU time (s) 1001.43
Current children cumulated vsize (KiB) 34532

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1872464/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1061.39
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8521 0 0 0 106121 18 0 0 25 0 1 0 174801275 35360768 7860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7860 139 317 0 8312 0
Current children cumulated CPU time (s) 1061.39
Current children cumulated vsize (KiB) 34532

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1872400/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1121.34
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8521 0 0 0 112115 19 0 0 25 0 1 0 174801275 35360768 7860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7860 139 317 0 8312 0
Current children cumulated CPU time (s) 1121.34
Current children cumulated vsize (KiB) 34532

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1872336/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1181.28
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8524 0 0 0 118109 19 0 0 25 0 1 0 174801275 35360768 7863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7863 139 317 0 8312 0
Current children cumulated CPU time (s) 1181.28
Current children cumulated vsize (KiB) 34532

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1872144/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1241.23
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8524 0 0 0 124104 19 0 0 25 0 1 0 174801275 35360768 7863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7863 139 317 0 8312 0
Current children cumulated CPU time (s) 1241.23
Current children cumulated vsize (KiB) 34532

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1872080/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1301.15
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8524 0 0 0 130096 19 0 0 25 0 1 0 174801275 35360768 7863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7863 139 317 0 8312 0
Current children cumulated CPU time (s) 1301.15
Current children cumulated vsize (KiB) 34532

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1872080/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1361.11
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8524 0 0 0 136091 20 0 0 25 0 1 0 174801275 35360768 7863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7863 139 317 0 8312 0
Current children cumulated CPU time (s) 1361.11
Current children cumulated vsize (KiB) 34532

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1872016/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1421.06
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8526 0 0 0 142086 20 0 0 25 0 1 0 174801275 35360768 7865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7865 139 317 0 8312 0
Current children cumulated CPU time (s) 1421.06
Current children cumulated vsize (KiB) 34532

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1871952/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1480.98
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8526 0 0 0 148077 21 0 0 25 0 1 0 174801275 35360768 7865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606888 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7865 139 317 0 8312 0
Current children cumulated CPU time (s) 1480.98
Current children cumulated vsize (KiB) 34532

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1871888/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1540.92
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8527 0 0 0 154071 21 0 0 25 0 1 0 174801275 35360768 7866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7866 139 317 0 8312 0
Current children cumulated CPU time (s) 1540.92
Current children cumulated vsize (KiB) 34532

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1871888/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1600.87
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8527 0 0 0 160066 21 0 0 25 0 1 0 174801275 35360768 7866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7866 139 317 0 8312 0
Current children cumulated CPU time (s) 1600.87
Current children cumulated vsize (KiB) 34532

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1871824/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1660.81
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8529 0 0 0 166060 21 0 0 25 0 1 0 174801275 35360768 7868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7868 139 317 0 8312 0
Current children cumulated CPU time (s) 1660.81
Current children cumulated vsize (KiB) 34532

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1871760/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1720.77
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8529 0 0 0 172055 22 0 0 25 0 1 0 174801275 35360768 7868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7868 139 317 0 8312 0
Current children cumulated CPU time (s) 1720.77
Current children cumulated vsize (KiB) 34532

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1871696/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1780.72
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8529 0 0 0 178050 22 0 0 25 0 1 0 174801275 35360768 7868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7868 139 317 0 8312 0
Current children cumulated CPU time (s) 1780.72
Current children cumulated vsize (KiB) 34532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.7 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1871696/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1800.1
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8529 0 0 0 179988 22 0 0 25 0 1 0 174801275 35360768 7868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7868 139 317 0 8312 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 34532

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

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

[startup+1801.7 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 14494
/proc/meminfo: memFree=1871696/2055920 swapFree=4159740/4192956
[pid=14295] ppid=14293 vsize=34532 CPUtime=1800.1
/proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8529 0 0 0 179988 22 0 0 25 0 1 0 174801275 35360768 7868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 0 0 0
/proc/14295/statm: 8633 7868 139 317 0 8312 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 34532

Child status: 0
Real time (s): 1801.74
CPU time (s): 1800.14
CPU user time (s): 1799.91
CPU system time (s): 0.227965
CPU usage (%): 99.9109
Max. virtual memory (cumulated for all children) (KiB): 34532

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

runsolver used 1.66875 second user time and 5.02923 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Tue Apr 24 14:52:26 UTC 2007

IDJOB= 420529
IDBENCH= 47851
IDSOLVER= 172
FILE ID= node38/420529-1177426346

PBS_JOBID= 4675734

Free space on /tmp= 66238 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/sat-grid-pbl-0200.sat05-1339.reshuffled-07.opb
COMMAND LINE= oree /tmp/evaluation/420529-1177426346/instance-420529-1177426346.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-420529-1177426346 -o ROOT/results/node38/solver-420529-1177426346 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/420529-1177426346/instance-420529-1177426346.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  21e6e90d98d88737fe7f7e77baf11e52

RANDOM SEED= 82919871

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.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.263
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.263
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:       1905328 kB
Buffers:         15120 kB
Cached:          63184 kB
SwapCached:       2820 kB
Active:          70996 kB
Inactive:        31868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1905328 kB
SwapTotal:     4192956 kB
SwapFree:      4159740 kB
Dirty:            4944 kB
Writeback:           0 kB
Mapped:          32968 kB
Slab:            32940 kB
Committed_AS:  1681456 kB
PageTables:       2064 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= 66238 MiB

End job on node38 on Tue Apr 24 15:22:30 UTC 2007