Trace number 363336

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb
MD5SUM8e26f63addeab9c605a48fae9909490e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark10.0375
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables107520
Total number of constraints3312
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3312
Minimum length of a constraint50
Maximum length of a constraint820
Number of terms in the objective function 41280
Biggest coefficient in the objective function 2704
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 560432
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261600
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 560432
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.89/0.99	c ...done
0.89/0.99	c #vars=107520 #constraints=4561 hasObjective=yes
1.49/1.53	c res. mode=mod
1.49/1.53	c VSIDS like heuristics
1.49/1.53	c complete search running
2.19/2.28	c restart after 401 decisions
2.39/2.43	c nbDecision=500 #constraints=4561
2.89/2.91	c restart after 801 decisions
3.20/3.22	c nbDecision=1000 #constraints=4561
3.99/4.00	c nbDecision=1500 #constraints=4561
4.09/4.16	c restart after 1601 decisions
4.69/4.78	c nbDecision=2000 #constraints=4561
5.50/5.56	c nbDecision=2500 #constraints=4561
6.29/6.34	c nbDecision=3000 #constraints=4561
6.60/6.66	c restart after 3201 decisions
7.09/7.13	c nbDecision=3500 #constraints=4561
7.89/7.91	c nbDecision=4000 #constraints=4561
8.59/8.68	c nbDecision=4500 #constraints=4561
9.39/9.46	c nbDecision=5000 #constraints=4561
10.19/10.24	c nbDecision=5500 #constraints=4561
10.99/11.02	c nbDecision=6000 #constraints=4561
11.59/11.64	c restart after 6401 decisions
11.79/11.80	c nbDecision=6500 #constraints=4561
12.49/12.58	c nbDecision=7000 #constraints=4561
13.29/13.37	c nbDecision=7500 #constraints=4561
14.09/14.15	c nbDecision=8000 #constraints=4561
14.89/14.94	c nbDecision=8500 #constraints=4561
15.69/15.73	c nbDecision=9000 #constraints=4561
16.49/16.51	c nbDecision=9500 #constraints=4561
17.19/17.29	c nbDecision=10000 #constraints=4561
17.99/18.07	c nbDecision=10500 #constraints=4561
18.79/18.85	c nbDecision=11000 #constraints=4561
19.59/19.62	c nbDecision=11500 #constraints=4561
20.39/20.40	c nbDecision=12000 #constraints=4561
21.09/21.17	c nbDecision=12500 #constraints=4561
21.59/21.65	c restart after 12801 decisions
21.89/21.97	c nbDecision=13000 #constraints=4561
22.69/22.76	c nbDecision=13500 #constraints=4561
23.49/23.54	c nbDecision=14000 #constraints=4561
24.29/24.31	c nbDecision=14500 #constraints=4561
24.99/25.09	c nbDecision=15000 #constraints=4561
25.79/25.87	c nbDecision=15500 #constraints=4561
26.58/26.64	c nbDecision=16000 #constraints=4561
27.39/27.42	c nbDecision=16500 #constraints=4561
28.08/28.19	c nbDecision=17000 #constraints=4561
28.88/28.96	c nbDecision=17500 #constraints=4561
29.69/29.73	c nbDecision=18000 #constraints=4561
30.38/30.49	c nbDecision=18500 #constraints=4561
31.18/31.26	c nbDecision=19000 #constraints=4561
32.38/32.40	c nbDecision=19500 #constraints=4561
33.68/33.77	c nbDecision=20000 #constraints=4561
35.08/35.14	c nbDecision=20500 #constraints=4561
36.38/36.48	c nbDecision=21000 #constraints=4561
37.38/37.47	c nbDecision=21500 #constraints=4562
38.18/38.25	c nbDecision=22000 #constraints=4562
38.98/39.04	c nbDecision=22500 #constraints=4562
39.78/39.83	c nbDecision=23000 #constraints=4562
40.58/40.61	c nbDecision=23500 #constraints=4562
41.27/41.39	c nbDecision=24000 #constraints=4562
42.08/42.18	c nbDecision=24500 #constraints=4562
42.88/42.95	c nbDecision=25000 #constraints=4562
43.67/43.72	c nbDecision=25500 #constraints=4562
43.77/43.88	c restart after 25601 decisions
44.47/44.51	c nbDecision=26000 #constraints=4562
45.17/45.29	c nbDecision=26500 #constraints=4562
45.97/46.07	c nbDecision=27000 #constraints=4562
46.77/46.85	c nbDecision=27500 #constraints=4562
47.57/47.63	c nbDecision=28000 #constraints=4562
48.38/48.40	c nbDecision=28500 #constraints=4562
49.07/49.18	c nbDecision=29000 #constraints=4562
49.87/49.95	c nbDecision=29500 #constraints=4562
50.67/50.72	c nbDecision=30000 #constraints=4562
51.37/51.49	c nbDecision=30500 #constraints=4562
52.17/52.26	c nbDecision=31000 #constraints=4562
52.97/53.03	c nbDecision=31500 #constraints=4562
53.77/53.81	c nbDecision=32000 #constraints=4562
55.07/55.19	c nbDecision=32500 #constraints=4562
56.47/56.56	c nbDecision=33000 #constraints=4562
57.87/57.92	c nbDecision=33500 #constraints=4562
59.17/59.28	c nbDecision=34000 #constraints=4575
59.97/60.06	c nbDecision=34500 #constraints=4575
60.77/60.84	c nbDecision=35000 #constraints=4575
61.57/61.62	c nbDecision=35500 #constraints=4575
62.27/62.40	c nbDecision=36000 #constraints=4575
63.07/63.17	c nbDecision=36500 #constraints=4575
63.87/63.93	c nbDecision=37000 #constraints=4575
65.07/65.12	c nbDecision=37500 #constraints=4575
66.37/66.48	c nbDecision=38000 #constraints=4575
67.77/67.83	c nbDecision=38500 #constraints=4575
69.06/69.17	c nbDecision=39000 #constraints=4575
70.16/70.23	c nbDecision=39500 #constraints=4598
70.96/71.01	c nbDecision=40000 #constraints=4598
71.66/71.79	c nbDecision=40500 #constraints=4598
72.47/72.57	c nbDecision=41000 #constraints=4598
73.26/73.35	c nbDecision=41500 #constraints=4598
74.06/74.13	c nbDecision=42000 #constraints=4598
74.86/74.92	c nbDecision=42500 #constraints=4598
75.66/75.70	c nbDecision=43000 #constraints=4598
76.36/76.48	c nbDecision=43500 #constraints=4598
77.16/77.25	c nbDecision=44000 #constraints=4598
77.97/78.03	c nbDecision=44500 #constraints=4598
78.76/78.80	c nbDecision=45000 #constraints=4598
79.46/79.58	c nbDecision=45500 #constraints=4598
80.76/80.89	c nbDecision=46000 #constraints=4598
82.16/82.26	c nbDecision=46500 #constraints=4598
83.56/83.61	c nbDecision=47000 #constraints=4598
84.86/84.95	c nbDecision=47500 #constraints=4598
85.86/85.94	c nbDecision=48000 #constraints=4630
86.66/86.72	c nbDecision=48500 #constraints=4630
87.36/87.50	c nbDecision=49000 #constraints=4630
88.16/88.27	c nbDecision=49500 #constraints=4630
88.96/89.05	c nbDecision=50000 #constraints=4630
89.76/89.83	c nbDecision=50500 #constraints=4630
90.56/90.60	c nbDecision=51000 #constraints=4630
90.86/90.91	c restart after 51201 decisions
91.26/91.39	c nbDecision=51500 #constraints=4630
92.06/92.17	c nbDecision=52000 #constraints=4630
92.86/92.95	c nbDecision=52500 #constraints=4630
93.65/93.74	c nbDecision=53000 #constraints=4630
94.46/94.52	c nbDecision=53500 #constraints=4630
95.25/95.31	c nbDecision=54000 #constraints=4630
95.95/96.09	c nbDecision=54500 #constraints=4630
96.76/96.87	c nbDecision=55000 #constraints=4630
97.55/97.65	c nbDecision=55500 #constraints=4630
98.35/98.43	c nbDecision=56000 #constraints=4630
99.15/99.20	c nbDecision=56500 #constraints=4630
99.85/99.98	c nbDecision=57000 #constraints=4630
100.65/100.75	c nbDecision=57500 #constraints=4630
101.95/102.02	c nbDecision=58000 #constraints=4630
103.26/103.39	c nbDecision=58500 #constraints=4630
104.65/104.74	c nbDecision=59000 #constraints=4630
105.95/106.07	c nbDecision=59500 #constraints=4630
106.95/107.08	c nbDecision=60000 #constraints=4664
107.75/107.86	c nbDecision=60500 #constraints=4664
108.55/108.64	c nbDecision=61000 #constraints=4664
109.35/109.42	c nbDecision=61500 #constraints=4664
110.05/110.19	c nbDecision=62000 #constraints=4664
110.86/110.97	c nbDecision=62500 #constraints=4664
111.66/111.75	c nbDecision=63000 #constraints=4664
112.46/112.52	c nbDecision=63500 #constraints=4664
113.16/113.30	c nbDecision=64000 #constraints=4664
113.96/114.07	c nbDecision=64500 #constraints=4664
114.76/114.85	c nbDecision=65000 #constraints=4664
115.56/115.62	c nbDecision=65500 #constraints=4664
116.36/116.40	c nbDecision=66000 #constraints=4664
117.66/117.75	c nbDecision=66500 #constraints=4664
119.05/119.12	c nbDecision=67000 #constraints=4664
120.35/120.48	c nbDecision=67500 #constraints=4664
121.75/121.82	c nbDecision=68000 #constraints=4664
122.65/122.78	c nbDecision=68500 #constraints=4705
123.45/123.56	c nbDecision=69000 #constraints=4705
124.26/124.34	c nbDecision=69500 #constraints=4705
125.05/125.12	c nbDecision=70000 #constraints=4705
125.85/125.90	c nbDecision=70500 #constraints=4705
126.55/126.67	c nbDecision=71000 #constraints=4705
127.35/127.45	c nbDecision=71500 #constraints=4705
128.15/128.22	c nbDecision=72000 #constraints=4705
128.85/128.99	c nbDecision=72500 #constraints=4705
129.65/129.76	c nbDecision=73000 #constraints=4705
130.45/130.53	c nbDecision=73500 #constraints=4705
131.15/131.30	c nbDecision=74000 #constraints=4705
132.05/132.11	c nbDecision=74500 #constraints=4705
133.35/133.49	c nbDecision=75000 #constraints=4705
134.75/134.86	c nbDecision=75500 #constraints=4705
136.15/136.22	c nbDecision=76000 #constraints=4705
137.55/137.66	c nbDecision=76500 #constraints=4735
138.35/138.50	c nbDecision=77000 #constraints=4746
139.15/139.28	c nbDecision=77500 #constraints=4746
139.95/140.07	c nbDecision=78000 #constraints=4746
140.75/140.86	c nbDecision=78500 #constraints=4746
141.55/141.64	c nbDecision=79000 #constraints=4746
142.35/142.43	c nbDecision=79500 #constraints=4746
143.15/143.20	c nbDecision=80000 #constraints=4746
143.85/143.98	c nbDecision=80500 #constraints=4746
144.65/144.75	c nbDecision=81000 #constraints=4746
145.44/145.52	c nbDecision=81500 #constraints=4746
146.15/146.29	c nbDecision=82000 #constraints=4746
146.94/147.05	c nbDecision=82500 #constraints=4746
147.84/147.93	c nbDecision=83000 #constraints=4746
149.24/149.31	c nbDecision=83500 #constraints=4746
150.55/150.66	c nbDecision=84000 #constraints=4746
151.94/152.00	c nbDecision=84500 #constraints=4746
153.24/153.39	c nbDecision=85000 #constraints=4777
154.04/154.18	c nbDecision=85500 #constraints=4777
154.84/154.96	c nbDecision=86000 #constraints=4777
155.64/155.75	c nbDecision=86500 #constraints=4777
156.44/156.54	c nbDecision=87000 #constraints=4777
157.24/157.32	c nbDecision=87500 #constraints=4777
158.04/158.10	c nbDecision=88000 #constraints=4777
158.74/158.88	c nbDecision=88500 #constraints=4777
159.54/159.66	c nbDecision=89000 #constraints=4777
160.34/160.44	c nbDecision=89500 #constraints=4777
161.14/161.22	c nbDecision=90000 #constraints=4777
161.84/161.99	c nbDecision=90500 #constraints=4777
162.64/162.77	c nbDecision=91000 #constraints=4777
163.64/163.70	c nbDecision=91500 #constraints=4777
164.94/165.07	c nbDecision=92000 #constraints=4777
166.33/166.42	c nbDecision=92500 #constraints=4777
167.63/167.76	c nbDecision=93000 #constraints=4777
169.03/169.15	c nbDecision=93500 #constraints=4843
169.83/169.92	c nbDecision=94000 #constraints=4843
170.63/170.71	c nbDecision=94500 #constraints=4843
171.33/171.48	c nbDecision=95000 #constraints=4843
172.13/172.26	c nbDecision=95500 #constraints=4843
172.93/173.04	c nbDecision=96000 #constraints=4843
173.74/173.82	c nbDecision=96500 #constraints=4843
174.53/174.60	c nbDecision=97000 #constraints=4843
175.23/175.38	c nbDecision=97500 #constraints=4843
176.03/176.16	c nbDecision=98000 #constraints=4843
176.83/176.94	c nbDecision=98500 #constraints=4843
177.63/177.71	c nbDecision=99000 #constraints=4843
178.33/178.49	c nbDecision=99500 #constraints=4843
179.33/179.50	c nbDecision=100000 #constraints=4843
180.73/180.87	c nbDecision=100500 #constraints=4843
182.13/182.24	c nbDecision=101000 #constraints=4843
183.43/183.58	c nbDecision=101500 #constraints=4843
184.83/184.96	c nbDecision=102000 #constraints=4906
185.43/185.59	c restart after 102401 decisions
185.63/185.75	c nbDecision=102500 #constraints=4906
186.43/186.52	c nbDecision=103000 #constraints=4906
187.23/187.31	c nbDecision=103500 #constraints=4906
187.93/188.08	c nbDecision=104000 #constraints=4906
188.73/188.86	c nbDecision=104500 #constraints=4906
189.53/189.64	c nbDecision=105000 #constraints=4906
190.33/190.42	c nbDecision=105500 #constraints=4906
191.02/191.19	c nbDecision=106000 #constraints=4906
191.82/191.96	c nbDecision=106500 #constraints=4906
192.62/192.73	c nbDecision=107000 #constraints=4906
193.43/193.51	c nbDecision=107500 #constraints=4906
194.12/194.28	c nbDecision=108000 #constraints=4906
194.92/195.05	c nbDecision=108500 #constraints=4906
195.92/196.08	c nbDecision=109000 #constraints=4906
197.32/197.46	c nbDecision=109500 #constraints=4906
198.72/198.82	c nbDecision=110000 #constraints=4906
200.03/200.18	c nbDecision=110500 #constraints=4906
201.52/201.67	c nbDecision=111000 #constraints=4998
202.33/202.46	c nbDecision=111500 #constraints=4998
203.12/203.24	c nbDecision=112000 #constraints=4998
203.92/204.02	c nbDecision=112500 #constraints=4998
204.72/204.80	c nbDecision=113000 #constraints=4998
205.42/205.58	c nbDecision=113500 #constraints=4998
206.22/206.35	c nbDecision=114000 #constraints=4998
207.02/207.12	c nbDecision=114500 #constraints=4998
207.72/207.90	c nbDecision=115000 #constraints=4998
208.52/208.67	c nbDecision=115500 #constraints=4998
209.32/209.44	c nbDecision=116000 #constraints=4998
210.12/210.20	c nbDecision=116500 #constraints=4998
210.82/210.97	c nbDecision=117000 #constraints=4998
211.83/211.96	c nbDecision=117500 #constraints=4998
213.23/213.33	c nbDecision=118000 #constraints=4998
214.63/214.70	c nbDecision=118500 #constraints=4998
215.92/216.05	c nbDecision=119000 #constraints=4998
217.42/217.58	c nbDecision=119500 #constraints=5097
218.22/218.36	c nbDecision=120000 #constraints=5097
219.02/219.15	c nbDecision=120500 #constraints=5097
219.83/219.94	c nbDecision=121000 #constraints=5097
220.62/220.72	c nbDecision=121500 #constraints=5097
221.42/221.51	c nbDecision=122000 #constraints=5097
222.13/222.29	c nbDecision=122500 #constraints=5097
222.92/223.07	c nbDecision=123000 #constraints=5097
223.72/223.84	c nbDecision=123500 #constraints=5097
224.52/224.61	c nbDecision=124000 #constraints=5097
225.22/225.38	c nbDecision=124500 #constraints=5097
226.02/226.15	c nbDecision=125000 #constraints=5097
226.82/226.92	c nbDecision=125500 #constraints=5097
227.72/227.90	c nbDecision=126000 #constraints=5097
229.12/229.26	c nbDecision=126500 #constraints=5097
230.52/230.62	c nbDecision=127000 #constraints=5097
231.82/231.96	c nbDecision=127500 #constraints=5097
233.22/233.35	c nbDecision=128000 #constraints=5152
234.02/234.14	c nbDecision=128500 #constraints=5152
234.82/234.93	c nbDecision=129000 #constraints=5152
235.62/235.72	c nbDecision=129500 #constraints=5152
236.32/236.50	c nbDecision=130000 #constraints=5152
237.12/237.29	c nbDecision=130500 #constraints=5152
237.91/238.07	c nbDecision=131000 #constraints=5152
238.71/238.85	c nbDecision=131500 #constraints=5152
239.51/239.63	c nbDecision=132000 #constraints=5152
240.31/240.41	c nbDecision=132500 #constraints=5152
241.01/241.19	c nbDecision=133000 #constraints=5152
241.82/241.96	c nbDecision=133500 #constraints=5152
242.61/242.73	c nbDecision=134000 #constraints=5152
243.61/243.76	c nbDecision=134500 #constraints=5152
245.01/245.12	c nbDecision=135000 #constraints=5152
246.32/246.48	c nbDecision=135500 #constraints=5152
247.71/247.82	c nbDecision=136000 #constraints=5152
248.91/249.00	c nbDecision=136500 #constraints=5170
249.61/249.78	c nbDecision=137000 #constraints=5170
250.41/250.56	c nbDecision=137500 #constraints=5170
251.21/251.34	c nbDecision=138000 #constraints=5170
252.01/252.12	c nbDecision=138500 #constraints=5170
252.71/252.89	c nbDecision=139000 #constraints=5170
253.51/253.68	c nbDecision=139500 #constraints=5170
254.31/254.46	c nbDecision=140000 #constraints=5170
255.11/255.24	c nbDecision=140500 #constraints=5170
255.91/256.02	c nbDecision=141000 #constraints=5170
256.61/256.79	c nbDecision=141500 #constraints=5170
257.41/257.57	c nbDecision=142000 #constraints=5170
258.21/258.34	c nbDecision=142500 #constraints=5170
259.31/259.47	c nbDecision=143000 #constraints=5170
260.71/260.85	c nbDecision=143500 #constraints=5170
262.11/262.21	c nbDecision=144000 #constraints=5170
263.40/263.56	c nbDecision=144500 #constraints=5170
264.70/264.87	c nbDecision=145000 #constraints=5250
265.50/265.65	c nbDecision=145500 #constraints=5250
266.30/266.43	c nbDecision=146000 #constraints=5250
267.11/267.20	c nbDecision=146500 #constraints=5250
267.80/267.98	c nbDecision=147000 #constraints=5250
268.60/268.76	c nbDecision=147500 #constraints=5250
269.41/269.54	c nbDecision=148000 #constraints=5250
270.20/270.31	c nbDecision=148500 #constraints=5250
270.90/271.08	c nbDecision=149000 #constraints=5250
271.70/271.85	c nbDecision=149500 #constraints=5250
272.50/272.62	c nbDecision=150000 #constraints=5250
273.20/273.40	c nbDecision=150500 #constraints=5250
274.00/274.17	c nbDecision=151000 #constraints=5250
275.20/275.30	c nbDecision=151500 #constraints=5250
276.50/276.68	c nbDecision=152000 #constraints=5250
277.90/278.04	c nbDecision=152500 #constraints=5250
279.20/279.39	c nbDecision=153000 #constraints=5250
280.70/280.81	c nbDecision=153500 #constraints=5339
281.40/281.60	c nbDecision=154000 #constraints=5339
282.20/282.39	c nbDecision=154500 #constraints=5339
283.00/283.17	c nbDecision=155000 #constraints=5339
283.80/283.95	c nbDecision=155500 #constraints=5339
284.60/284.72	c nbDecision=156000 #constraints=5339
285.40/285.50	c nbDecision=156500 #constraints=5339
286.10/286.27	c nbDecision=157000 #constraints=5339
286.90/287.05	c nbDecision=157500 #constraints=5339
287.69/287.82	c nbDecision=158000 #constraints=5339
288.39/288.58	c nbDecision=158500 #constraints=5339
289.20/289.35	c nbDecision=159000 #constraints=5339
289.99/290.12	c nbDecision=159500 #constraints=5339
291.09/291.20	c nbDecision=160000 #constraints=5339
292.40/292.57	c nbDecision=160500 #constraints=5339
293.79/293.93	c nbDecision=161000 #constraints=5339
295.09/295.28	c nbDecision=161500 #constraints=5339
296.39/296.51	c nbDecision=162000 #constraints=5392
297.19/297.30	c nbDecision=162500 #constraints=5392
297.89/298.09	c nbDecision=163000 #constraints=5392
298.69/298.87	c nbDecision=163500 #constraints=5392
299.49/299.66	c nbDecision=164000 #constraints=5392
300.29/300.44	c nbDecision=164500 #constraints=5392
301.09/301.23	c nbDecision=165000 #constraints=5392
301.89/302.01	c nbDecision=165500 #constraints=5392
302.59/302.78	c nbDecision=166000 #constraints=5392
303.39/303.56	c nbDecision=166500 #constraints=5392
304.19/304.33	c nbDecision=167000 #constraints=5392
304.89/305.09	c nbDecision=167500 #constraints=5392
305.69/305.86	c nbDecision=168000 #constraints=5392
306.89/307.02	c nbDecision=168500 #constraints=5392
308.20/308.38	c nbDecision=169000 #constraints=5392
309.59/309.73	c nbDecision=169500 #constraints=5392
310.89/311.07	c nbDecision=170000 #constraints=5392
312.29/312.49	c nbDecision=170500 #constraints=5501
313.09/313.27	c nbDecision=171000 #constraints=5501
313.89/314.06	c nbDecision=171500 #constraints=5501
314.69/314.85	c nbDecision=172000 #constraints=5501
315.49/315.63	c nbDecision=172500 #constraints=5501
316.29/316.42	c nbDecision=173000 #constraints=5501
317.09/317.20	c nbDecision=173500 #constraints=5501
317.79/317.98	c nbDecision=174000 #constraints=5501
318.59/318.76	c nbDecision=174500 #constraints=5501
319.39/319.54	c nbDecision=175000 #constraints=5501
320.19/320.32	c nbDecision=175500 #constraints=5501
320.89/321.09	c nbDecision=176000 #constraints=5501
321.69/321.86	c nbDecision=176500 #constraints=5501
322.88/323.00	c nbDecision=177000 #constraints=5501
324.18/324.36	c nbDecision=177500 #constraints=5501
325.58/325.71	c nbDecision=178000 #constraints=5501
326.88/327.05	c nbDecision=178500 #constraints=5501
328.18/328.33	c nbDecision=179000 #constraints=5564
328.98/329.11	c nbDecision=179500 #constraints=5564
329.68/329.89	c nbDecision=180000 #constraints=5564
330.48/330.67	c nbDecision=180500 #constraints=5564
331.28/331.44	c nbDecision=181000 #constraints=5564
332.08/332.22	c nbDecision=181500 #constraints=5564
332.88/333.00	c nbDecision=182000 #constraints=5564
333.58/333.78	c nbDecision=182500 #constraints=5564
334.38/334.56	c nbDecision=183000 #constraints=5564
335.18/335.34	c nbDecision=183500 #constraints=5564
335.98/336.11	c nbDecision=184000 #constraints=5564
336.68/336.89	c nbDecision=184500 #constraints=5564
337.48/337.66	c nbDecision=185000 #constraints=5564
338.68/338.84	c nbDecision=185500 #constraints=5564
340.08/340.21	c nbDecision=186000 #constraints=5564
341.38/341.57	c nbDecision=186500 #constraints=5564
342.77/342.92	c nbDecision=187000 #constraints=5564
344.19/344.32	c nbDecision=187500 #constraints=5667
344.88/345.09	c nbDecision=188000 #constraints=5667
345.68/345.86	c nbDecision=188500 #constraints=5667
346.48/346.63	c nbDecision=189000 #constraints=5667
347.28/347.40	c nbDecision=189500 #constraints=5667
347.98/348.17	c nbDecision=190000 #constraints=5667
348.78/348.95	c nbDecision=190500 #constraints=5667
350.18/350.33	c nbDecision=191000 #constraints=5667
351.48/351.68	c nbDecision=191500 #constraints=5667
352.88/353.03	c nbDecision=192000 #constraints=5667
354.28/354.42	c nbDecision=192500 #constraints=5684
355.48/355.68	c nbDecision=193000 #constraints=5790
356.28/356.47	c nbDecision=193500 #constraints=5790
357.08/357.26	c nbDecision=194000 #constraints=5790
357.88/358.05	c nbDecision=194500 #constraints=5790
358.68/358.83	c nbDecision=195000 #constraints=5790
359.48/359.62	c nbDecision=195500 #constraints=5790
360.28/360.40	c nbDecision=196000 #constraints=5790
360.98/361.18	c nbDecision=196500 #constraints=5790
361.78/361.96	c nbDecision=197000 #constraints=5790
362.58/362.74	c nbDecision=197500 #constraints=5790
363.38/363.51	c nbDecision=198000 #constraints=5790
364.08/364.27	c nbDecision=198500 #constraints=5790
364.88/365.04	c nbDecision=199000 #constraints=5790
366.18/366.33	c nbDecision=199500 #constraints=5790
367.48/367.69	c nbDecision=200000 #constraints=5790
368.87/369.04	c nbDecision=200500 #constraints=5790
370.17/370.38	c nbDecision=201000 #constraints=5790
371.47/371.64	c nbDecision=201500 #constraints=5869
372.27/372.42	c nbDecision=202000 #constraints=5869
373.07/373.20	c nbDecision=202500 #constraints=5869
373.78/373.99	c nbDecision=203000 #constraints=5869
374.57/374.78	c nbDecision=203500 #constraints=5869
375.37/375.56	c nbDecision=204000 #constraints=5869
376.17/376.34	c nbDecision=204500 #constraints=5869
376.67/376.81	c restart after 204801 decisions
376.97/377.14	c nbDecision=205000 #constraints=5869
377.77/377.93	c nbDecision=205500 #constraints=5869
378.57/378.72	c nbDecision=206000 #constraints=5869
379.37/379.50	c nbDecision=206500 #constraints=5869
380.07/380.29	c nbDecision=207000 #constraints=5869
380.87/381.08	c nbDecision=207500 #constraints=5869
381.67/381.86	c nbDecision=208000 #constraints=5869
382.47/382.64	c nbDecision=208500 #constraints=5869
383.27/383.41	c nbDecision=209000 #constraints=5869
383.97/384.18	c nbDecision=209500 #constraints=5869
384.77/384.95	c nbDecision=210000 #constraints=5869
385.57/385.72	c nbDecision=210500 #constraints=5869
386.27/386.49	c nbDecision=211000 #constraints=5869
387.47/387.63	c nbDecision=211500 #constraints=5869
388.77/388.99	c nbDecision=212000 #constraints=5869
390.17/390.34	c nbDecision=212500 #constraints=5869
391.47/391.68	c nbDecision=213000 #constraints=5869
392.96/393.12	c nbDecision=213500 #constraints=5970
393.76/393.90	c nbDecision=214000 #constraints=5970
394.46/394.69	c nbDecision=214500 #constraints=5970
395.26/395.48	c nbDecision=215000 #constraints=5970
396.06/396.27	c nbDecision=215500 #constraints=5970
396.87/397.05	c nbDecision=216000 #constraints=5970
397.66/397.83	c nbDecision=216500 #constraints=5970
398.46/398.62	c nbDecision=217000 #constraints=5970
399.17/399.40	c nbDecision=217500 #constraints=5970
399.96/400.17	c nbDecision=218000 #constraints=5970
400.76/400.95	c nbDecision=218500 #constraints=5970
401.56/401.73	c nbDecision=219000 #constraints=5970
402.37/402.50	c nbDecision=219500 #constraints=5970
403.36/403.58	c nbDecision=220000 #constraints=5970
404.76/404.94	c nbDecision=220500 #constraints=5970
406.06/406.29	c nbDecision=221000 #constraints=5970
407.46/407.63	c nbDecision=221500 #constraints=5970
408.96/409.13	c nbDecision=222000 #constraints=6085
409.76/409.91	c nbDecision=222500 #constraints=6085
410.56/410.70	c nbDecision=223000 #constraints=6085
411.26/411.48	c nbDecision=223500 #constraints=6085
412.06/412.25	c nbDecision=224000 #constraints=6085
412.86/413.03	c nbDecision=224500 #constraints=6085
413.66/413.82	c nbDecision=225000 #constraints=6085
414.36/414.60	c nbDecision=225500 #constraints=6085
415.16/415.38	c nbDecision=226000 #constraints=6085
415.95/416.16	c nbDecision=226500 #constraints=6085
416.76/416.93	c nbDecision=227000 #constraints=6085
417.55/417.71	c nbDecision=227500 #constraints=6085
418.25/418.48	c nbDecision=228000 #constraints=6085
419.25/419.49	c nbDecision=228500 #constraints=6085
420.65/420.87	c nbDecision=229000 #constraints=6085
422.05/422.23	c nbDecision=229500 #constraints=6085
423.36/423.58	c nbDecision=230000 #constraints=6085
424.95/425.19	c nbDecision=230500 #constraints=6205
425.85/426.01	c nbDecision=231000 #constraints=6209
426.56/426.79	c nbDecision=231500 #constraints=6209
427.35/427.57	c nbDecision=232000 #constraints=6209
428.15/428.35	c nbDecision=232500 #constraints=6209
428.95/429.13	c nbDecision=233000 #constraints=6209
429.75/429.91	c nbDecision=233500 #constraints=6209
430.45/430.68	c nbDecision=234000 #constraints=6209
431.25/431.46	c nbDecision=234500 #constraints=6209
432.05/432.23	c nbDecision=235000 #constraints=6209
432.85/433.00	c nbDecision=235500 #constraints=6209
433.55/433.77	c nbDecision=236000 #constraints=6209
434.35/434.55	c nbDecision=236500 #constraints=6209
435.25/435.44	c nbDecision=237000 #constraints=6209
436.65/436.82	c nbDecision=237500 #constraints=6209
437.95/438.19	c nbDecision=238000 #constraints=6209
439.35/439.55	c nbDecision=238500 #constraints=6209
440.85/441.03	c nbDecision=239000 #constraints=6252
441.74/441.97	c nbDecision=239500 #constraints=6289
442.54/442.76	c nbDecision=240000 #constraints=6289
443.34/443.54	c nbDecision=240500 #constraints=6289
444.15/444.32	c nbDecision=241000 #constraints=6289
444.94/445.10	c nbDecision=241500 #constraints=6289
445.64/445.88	c nbDecision=242000 #constraints=6289
446.45/446.65	c nbDecision=242500 #constraints=6289
447.24/447.42	c nbDecision=243000 #constraints=6289
447.94/448.19	c nbDecision=243500 #constraints=6289
448.74/448.96	c nbDecision=244000 #constraints=6289
449.54/449.73	c nbDecision=244500 #constraints=6289
450.24/450.49	c nbDecision=245000 #constraints=6289
451.14/451.33	c nbDecision=245500 #constraints=6289
452.54/452.70	c nbDecision=246000 #constraints=6289
453.84/454.07	c nbDecision=246500 #constraints=6289
455.24/455.42	c nbDecision=247000 #constraints=6289
456.64/456.84	c nbDecision=247500 #constraints=6317
457.74/457.99	c nbDecision=248000 #constraints=6400
458.55/458.78	c nbDecision=248500 #constraints=6400
459.34/459.57	c nbDecision=249000 #constraints=6400
460.14/460.35	c nbDecision=249500 #constraints=6400
460.94/461.14	c nbDecision=250000 #constraints=6400
461.75/461.92	c nbDecision=250500 #constraints=6400
462.54/462.70	c nbDecision=251000 #constraints=6400
463.24/463.48	c nbDecision=251500 #constraints=6400
464.05/464.25	c nbDecision=252000 #constraints=6400
464.84/465.02	c nbDecision=252500 #constraints=6400
465.54/465.79	c nbDecision=253000 #constraints=6400
466.34/466.56	c nbDecision=253500 #constraints=6400
467.14/467.32	c nbDecision=254000 #constraints=6400
468.44/468.65	c nbDecision=254500 #constraints=6400
469.84/470.01	c nbDecision=255000 #constraints=6400
471.14/471.35	c nbDecision=255500 #constraints=6400
472.43/472.69	c nbDecision=256000 #constraints=6400
473.84/474.04	c nbDecision=256500 #constraints=6529
474.63/474.83	c nbDecision=257000 #constraints=6529
475.43/475.62	c nbDecision=257500 #constraints=6529
476.23/476.41	c nbDecision=258000 #constraints=6529
476.93/477.19	c nbDecision=258500 #constraints=6529
477.73/477.98	c nbDecision=259000 #constraints=6529
478.53/478.76	c nbDecision=259500 #constraints=6529
479.33/479.54	c nbDecision=260000 #constraints=6529
480.13/480.32	c nbDecision=260500 #constraints=6529
480.93/481.10	c nbDecision=261000 #constraints=6529
481.63/481.88	c nbDecision=261500 #constraints=6529
482.43/482.65	c nbDecision=262000 #constraints=6529
483.23/483.42	c nbDecision=262500 #constraints=6529
484.43/484.63	c nbDecision=263000 #constraints=6529
485.73/485.99	c nbDecision=263500 #constraints=6529
487.13/487.34	c nbDecision=264000 #constraints=6529
488.43/488.68	c nbDecision=264500 #constraints=6529
489.83/490.06	c nbDecision=265000 #constraints=6641
490.62/490.84	c nbDecision=265500 #constraints=6641
491.43/491.63	c nbDecision=266000 #constraints=6641
492.22/492.40	c nbDecision=266500 #constraints=6641
492.92/493.19	c nbDecision=267000 #constraints=6641
493.73/493.97	c nbDecision=267500 #constraints=6641
494.52/494.75	c nbDecision=268000 #constraints=6641
495.32/495.53	c nbDecision=268500 #constraints=6641
496.12/496.31	c nbDecision=269000 #constraints=6641
496.82/497.09	c nbDecision=269500 #constraints=6641
497.62/497.87	c nbDecision=270000 #constraints=6641
498.42/498.64	c nbDecision=270500 #constraints=6641
499.23/499.42	c nbDecision=271000 #constraints=6641
500.32/500.55	c nbDecision=271500 #constraints=6641
501.72/501.93	c nbDecision=272000 #constraints=6641
503.02/503.29	c nbDecision=272500 #constraints=6641
504.42/504.62	c nbDecision=273000 #constraints=6641
506.12/506.34	c nbDecision=273500 #constraints=6814
506.93/507.11	c nbDecision=274000 #constraints=6814
507.62/507.88	c nbDecision=274500 #constraints=6814
508.42/508.65	c nbDecision=275000 #constraints=6814
509.22/509.42	c nbDecision=275500 #constraints=6814
509.92/510.19	c nbDecision=276000 #constraints=6814
510.72/510.95	c nbDecision=276500 #constraints=6814
511.92/512.14	c nbDecision=277000 #constraints=6814
513.32/513.51	c nbDecision=277500 #constraints=6814
514.62/514.87	c nbDecision=278000 #constraints=6814
516.02/516.22	c nbDecision=278500 #constraints=6814
517.52/517.73	c nbDecision=279000 #constraints=6941
518.32/518.52	c nbDecision=279500 #constraints=6941
519.12/519.31	c nbDecision=280000 #constraints=6941
519.82/520.09	c nbDecision=280500 #constraints=6941
520.62/520.88	c nbDecision=281000 #constraints=6941
521.42/521.66	c nbDecision=281500 #constraints=6941
522.22/522.45	c nbDecision=282000 #constraints=6941
523.02/523.22	c nbDecision=282500 #constraints=6941
523.82/524.00	c nbDecision=283000 #constraints=6941
524.52/524.77	c nbDecision=283500 #constraints=6941
525.31/525.54	c nbDecision=284000 #constraints=6941
526.11/526.31	c nbDecision=284500 #constraints=6941
526.81/527.07	c nbDecision=285000 #constraints=6941
527.91/528.14	c nbDecision=285500 #constraints=6941
529.31/529.50	c nbDecision=286000 #constraints=6941
530.61/530.85	c nbDecision=286500 #constraints=6941
531.91/532.19	c nbDecision=287000 #constraints=6941
533.51/533.74	c nbDecision=287500 #constraints=7032
534.31/534.53	c nbDecision=288000 #constraints=7032
535.11/535.32	c nbDecision=288500 #constraints=7032
535.91/536.11	c nbDecision=289000 #constraints=7032
536.61/536.90	c nbDecision=289500 #constraints=7032
537.41/537.68	c nbDecision=290000 #constraints=7032
538.21/538.46	c nbDecision=290500 #constraints=7032
539.01/539.25	c nbDecision=291000 #constraints=7032
539.81/540.03	c nbDecision=291500 #constraints=7032
540.61/540.81	c nbDecision=292000 #constraints=7032
541.31/541.58	c nbDecision=292500 #constraints=7032
542.11/542.36	c nbDecision=293000 #constraints=7032
542.91/543.13	c nbDecision=293500 #constraints=7032
543.81/544.08	c nbDecision=294000 #constraints=7032
545.21/545.45	c nbDecision=294500 #constraints=7032
546.60/546.80	c nbDecision=295000 #constraints=7032
547.90/548.15	c nbDecision=295500 #constraints=7032
549.40/549.66	c nbDecision=296000 #constraints=7104
550.30/550.52	c nbDecision=296500 #constraints=7122
551.10/551.31	c nbDecision=297000 #constraints=7122
551.80/552.09	c nbDecision=297500 #constraints=7122
552.60/552.87	c nbDecision=298000 #constraints=7122
553.40/553.65	c nbDecision=298500 #constraints=7122
554.21/554.44	c nbDecision=299000 #constraints=7122
555.00/555.22	c nbDecision=299500 #constraints=7122
555.80/556.00	c nbDecision=300000 #constraints=7122
556.50/556.78	c nbDecision=300500 #constraints=7122
557.30/557.55	c nbDecision=301000 #constraints=7122
558.10/558.33	c nbDecision=301500 #constraints=7122
558.90/559.11	c nbDecision=302000 #constraints=7122
559.70/559.98	c nbDecision=302500 #constraints=7122
561.10/561.36	c nbDecision=303000 #constraints=7122
562.50/562.73	c nbDecision=303500 #constraints=7122
563.80/564.07	c nbDecision=304000 #constraints=7122
565.30/565.55	c nbDecision=304500 #constraints=7166
566.30/566.51	c nbDecision=305000 #constraints=7204
566.99/567.29	c nbDecision=305500 #constraints=7204
567.79/568.08	c nbDecision=306000 #constraints=7204
568.59/568.86	c nbDecision=306500 #constraints=7204
569.39/569.64	c nbDecision=307000 #constraints=7204
570.19/570.41	c nbDecision=307500 #constraints=7204
570.89/571.19	c nbDecision=308000 #constraints=7204
571.70/571.96	c nbDecision=308500 #constraints=7204
572.49/572.73	c nbDecision=309000 #constraints=7204
573.29/573.51	c nbDecision=309500 #constraints=7204
573.99/574.28	c nbDecision=310000 #constraints=7204
574.79/575.06	c nbDecision=310500 #constraints=7204
575.59/575.88	c nbDecision=311000 #constraints=7204
576.99/577.26	c nbDecision=311500 #constraints=7204
578.39/578.63	c nbDecision=312000 #constraints=7204
579.69/579.99	c nbDecision=312500 #constraints=7204
581.09/581.38	c nbDecision=313000 #constraints=7221
582.59/582.82	c nbDecision=313500 #constraints=7362
583.39/583.60	c nbDecision=314000 #constraints=7362
584.09/584.38	c nbDecision=314500 #constraints=7362
584.89/585.16	c nbDecision=315000 #constraints=7362
585.69/585.94	c nbDecision=315500 #constraints=7362
586.48/586.72	c nbDecision=316000 #constraints=7362
587.19/587.50	c nbDecision=316500 #constraints=7362
587.98/588.27	c nbDecision=317000 #constraints=7362
588.78/589.04	c nbDecision=317500 #constraints=7362
589.58/589.81	c nbDecision=318000 #constraints=7362
590.28/590.58	c nbDecision=318500 #constraints=7362
591.08/591.35	c nbDecision=319000 #constraints=7362
591.88/592.12	c nbDecision=319500 #constraints=7362
593.08/593.32	c nbDecision=320000 #constraints=7362
594.38/594.70	c nbDecision=320500 #constraints=7362
595.78/596.06	c nbDecision=321000 #constraints=7362
597.18/597.40	c nbDecision=321500 #constraints=7362
598.88/599.14	c nbDecision=322000 #constraints=7527
599.68/599.92	c nbDecision=322500 #constraints=7527
600.48/600.72	c nbDecision=323000 #constraints=7527
601.28/601.51	c nbDecision=323500 #constraints=7527
601.98/602.29	c nbDecision=324000 #constraints=7527
602.78/603.07	c nbDecision=324500 #constraints=7527
603.58/603.85	c nbDecision=325000 #constraints=7527
604.38/604.63	c nbDecision=325500 #constraints=7527
605.18/605.40	c nbDecision=326000 #constraints=7527
605.88/606.17	c nbDecision=326500 #constraints=7527
606.68/606.94	c nbDecision=327000 #constraints=7527
607.47/607.71	c nbDecision=327500 #constraints=7527
608.18/608.47	c nbDecision=328000 #constraints=7527
609.19/609.47	c nbDecision=328500 #constraints=7527
610.58/610.84	c nbDecision=329000 #constraints=7527
611.88/612.19	c nbDecision=329500 #constraints=7527
613.28/613.54	c nbDecision=330000 #constraints=7527
614.78/615.09	c nbDecision=330500 #constraints=7606
615.79/616.06	c nbDecision=331000 #constraints=7648
616.58/616.85	c nbDecision=331500 #constraints=7648
617.38/617.64	c nbDecision=332000 #constraints=7648
618.18/618.43	c nbDecision=332500 #constraints=7648
618.98/619.21	c nbDecision=333000 #constraints=7648
619.78/620.00	c nbDecision=333500 #constraints=7648
620.48/620.78	c nbDecision=334000 #constraints=7648
621.28/621.56	c nbDecision=334500 #constraints=7648
622.08/622.34	c nbDecision=335000 #constraints=7648
622.88/623.12	c nbDecision=335500 #constraints=7648
623.58/623.88	c nbDecision=336000 #constraints=7648
624.38/624.65	c nbDecision=336500 #constraints=7648
625.18/625.47	c nbDecision=337000 #constraints=7648
626.58/626.85	c nbDecision=337500 #constraints=7648
627.98/628.20	c nbDecision=338000 #constraints=7648
629.28/629.55	c nbDecision=338500 #constraints=7648
630.68/630.93	c nbDecision=339000 #constraints=7664
631.97/632.27	c nbDecision=339500 #constraints=7767
632.77/633.05	c nbDecision=340000 #constraints=7767
633.57/633.84	c nbDecision=340500 #constraints=7767
634.38/634.63	c nbDecision=341000 #constraints=7767
635.17/635.42	c nbDecision=341500 #constraints=7767
635.97/636.20	c nbDecision=342000 #constraints=7767
636.68/636.98	c nbDecision=342500 #constraints=7767
637.47/637.76	c nbDecision=343000 #constraints=7767
638.27/638.54	c nbDecision=343500 #constraints=7767
639.07/639.32	c nbDecision=344000 #constraints=7767
639.77/640.10	c nbDecision=344500 #constraints=7767
640.57/640.87	c nbDecision=345000 #constraints=7767
641.37/641.65	c nbDecision=345500 #constraints=7767
642.57/642.89	c nbDecision=346000 #constraints=7767
643.97/644.25	c nbDecision=346500 #constraints=7767
645.27/645.60	c nbDecision=347000 #constraints=7767
646.67/646.93	c nbDecision=347500 #constraints=7767
648.07/648.30	c nbDecision=348000 #constraints=7856
648.77/649.08	c nbDecision=348500 #constraints=7856
649.57/649.87	c nbDecision=349000 #constraints=7856
650.36/650.65	c nbDecision=349500 #constraints=7856
651.16/651.43	c nbDecision=350000 #constraints=7856
651.97/652.20	c nbDecision=350500 #constraints=7856
652.66/652.98	c nbDecision=351000 #constraints=7856
653.46/653.76	c nbDecision=351500 #constraints=7856
654.27/654.54	c nbDecision=352000 #constraints=7856
655.06/655.32	c nbDecision=352500 #constraints=7856
655.76/656.10	c nbDecision=353000 #constraints=7856
656.56/656.87	c nbDecision=353500 #constraints=7856
657.36/657.64	c nbDecision=354000 #constraints=7856
658.46/658.78	c nbDecision=354500 #constraints=7856
659.86/660.15	c nbDecision=355000 #constraints=7856
661.26/661.51	c nbDecision=355500 #constraints=7856
662.56/662.86	c nbDecision=356000 #constraints=7856
664.36/664.62	c nbDecision=356500 #constraints=7995
665.06/665.39	c nbDecision=357000 #constraints=7995
665.86/666.18	c nbDecision=357500 #constraints=7995
666.66/666.96	c nbDecision=358000 #constraints=7995
667.46/667.74	c nbDecision=358500 #constraints=7995
668.26/668.52	c nbDecision=359000 #constraints=7995
668.96/669.30	c nbDecision=359500 #constraints=7995
669.76/670.07	c nbDecision=360000 #constraints=7995
670.56/670.84	c nbDecision=360500 #constraints=7995
671.36/671.61	c nbDecision=361000 #constraints=7995
672.06/672.38	c nbDecision=361500 #constraints=7995
672.86/673.15	c nbDecision=362000 #constraints=7995
673.66/673.93	c nbDecision=362500 #constraints=7995
674.56/674.87	c nbDecision=363000 #constraints=7995
675.95/676.25	c nbDecision=363500 #constraints=7995
677.36/677.61	c nbDecision=364000 #constraints=7995
678.65/678.97	c nbDecision=364500 #constraints=7995
680.15/680.49	c nbDecision=365000 #constraints=8054
681.25/681.56	c nbDecision=365500 #constraints=8128
682.05/682.35	c nbDecision=366000 #constraints=8128
682.86/683.14	c nbDecision=366500 #constraints=8128
683.65/683.92	c nbDecision=367000 #constraints=8128
684.45/684.70	c nbDecision=367500 #constraints=8128
685.15/685.48	c nbDecision=368000 #constraints=8128
685.95/686.25	c nbDecision=368500 #constraints=8128
686.75/687.03	c nbDecision=369000 #constraints=8128
687.55/687.80	c nbDecision=369500 #constraints=8128
688.25/688.57	c nbDecision=370000 #constraints=8128
689.05/689.34	c nbDecision=370500 #constraints=8128
689.85/690.10	c nbDecision=371000 #constraints=8128
690.55/690.88	c nbDecision=371500 #constraints=8128
691.95/692.25	c nbDecision=372000 #constraints=8128
693.35/693.61	c nbDecision=372500 #constraints=8128
694.65/694.97	c nbDecision=373000 #constraints=8128
696.05/696.34	c nbDecision=373500 #constraints=8135
697.44/697.77	c nbDecision=374000 #constraints=8261
698.25/698.56	c nbDecision=374500 #constraints=8261
699.04/699.36	c nbDecision=375000 #constraints=8261
699.84/700.14	c nbDecision=375500 #constraints=8261
700.64/700.93	c nbDecision=376000 #constraints=8261
701.45/701.71	c nbDecision=376500 #constraints=8261
702.14/702.50	c nbDecision=377000 #constraints=8261
702.94/703.27	c nbDecision=377500 #constraints=8261
703.75/704.05	c nbDecision=378000 #constraints=8261
704.54/704.82	c nbDecision=378500 #constraints=8261
705.24/705.59	c nbDecision=379000 #constraints=8261
706.04/706.35	c nbDecision=379500 #constraints=8261
706.84/707.12	c nbDecision=380000 #constraints=8261
707.94/708.28	c nbDecision=380500 #constraints=8261
709.34/709.65	c nbDecision=381000 #constraints=8261
710.65/711.00	c nbDecision=381500 #constraints=8261
712.05/712.33	c nbDecision=382000 #constraints=8261
713.74/714.04	c nbDecision=382500 #constraints=8412
714.54/714.82	c nbDecision=383000 #constraints=8412
715.34/715.62	c nbDecision=383500 #constraints=8412
716.14/716.41	c nbDecision=384000 #constraints=8412
716.85/717.19	c nbDecision=384500 #constraints=8412
717.64/717.98	c nbDecision=385000 #constraints=8412
718.44/718.76	c nbDecision=385500 #constraints=8412
719.24/719.54	c nbDecision=386000 #constraints=8412
720.04/720.32	c nbDecision=386500 #constraints=8412
720.84/721.10	c nbDecision=387000 #constraints=8412
721.54/721.88	c nbDecision=387500 #constraints=8412
722.35/722.66	c nbDecision=388000 #constraints=8412
723.14/723.42	c nbDecision=388500 #constraints=8412
724.04/724.34	c nbDecision=389000 #constraints=8412
725.44/725.71	c nbDecision=389500 #constraints=8412
726.74/727.06	c nbDecision=390000 #constraints=8412
728.14/728.40	c nbDecision=390500 #constraints=8412
729.54/729.88	c nbDecision=391000 #constraints=8456
730.64/730.96	c nbDecision=391500 #constraints=8509
731.44/731.75	c nbDecision=392000 #constraints=8509
732.24/732.53	c nbDecision=392500 #constraints=8509
733.04/733.31	c nbDecision=393000 #constraints=8509
733.84/734.10	c nbDecision=393500 #constraints=8509
734.54/734.88	c nbDecision=394000 #constraints=8509
735.34/735.67	c nbDecision=394500 #constraints=8509
736.14/736.45	c nbDecision=395000 #constraints=8509
736.93/737.23	c nbDecision=395500 #constraints=8509
737.74/738.00	c nbDecision=396000 #constraints=8509
738.43/738.78	c nbDecision=396500 #constraints=8509
739.23/739.55	c nbDecision=397000 #constraints=8509
740.04/740.33	c nbDecision=397500 #constraints=8509
741.43/741.71	c nbDecision=398000 #constraints=8509
742.73/743.07	c nbDecision=398500 #constraints=8509
744.13/744.42	c nbDecision=399000 #constraints=8509
745.54/745.83	c nbDecision=399500 #constraints=8526
746.83/747.18	c nbDecision=400000 #constraints=8644
747.64/747.97	c nbDecision=400500 #constraints=8644
748.43/748.75	c nbDecision=401000 #constraints=8644
749.23/749.53	c nbDecision=401500 #constraints=8644
750.03/750.31	c nbDecision=402000 #constraints=8644
750.73/751.08	c nbDecision=402500 #constraints=8644
751.53/751.86	c nbDecision=403000 #constraints=8644
752.33/752.63	c nbDecision=403500 #constraints=8644
753.13/753.41	c nbDecision=404000 #constraints=8644
753.83/754.19	c nbDecision=404500 #constraints=8644
754.63/754.96	c nbDecision=405000 #constraints=8644
755.43/755.74	c nbDecision=405500 #constraints=8644
756.23/756.51	c nbDecision=406000 #constraints=8644
757.43/757.73	c nbDecision=406500 #constraints=8644
758.83/759.10	c nbDecision=407000 #constraints=8644
760.13/760.46	c nbDecision=407500 #constraints=8644
761.52/761.81	c nbDecision=408000 #constraints=8644
763.03/763.33	c nbDecision=408500 #constraints=8756
763.82/764.11	c nbDecision=409000 #constraints=8756
764.62/764.90	c nbDecision=409500 #constraints=8756
764.72/765.06	c restart after 409601 decisions
765.33/765.69	c nbDecision=410000 #constraints=8756
766.12/766.47	c nbDecision=410500 #constraints=8756
766.92/767.26	c nbDecision=411000 #constraints=8756
767.72/768.04	c nbDecision=411500 #constraints=8756
768.53/768.81	c nbDecision=412000 #constraints=8756
769.22/769.59	c nbDecision=412500 #constraints=8756
770.02/770.37	c nbDecision=413000 #constraints=8756
770.82/771.14	c nbDecision=413500 #constraints=8756
771.62/771.91	c nbDecision=414000 #constraints=8756
772.32/772.68	c nbDecision=414500 #constraints=8756
773.12/773.45	c nbDecision=415000 #constraints=8756
773.92/774.23	c nbDecision=415500 #constraints=8756
774.72/775.01	c nbDecision=416000 #constraints=8756
776.02/776.39	c nbDecision=416500 #constraints=8756
777.42/777.76	c nbDecision=417000 #constraints=8756
778.82/779.12	c nbDecision=417500 #constraints=8756
780.22/780.51	c nbDecision=418000 #constraints=8763
781.72/782.09	c nbDecision=418500 #constraints=8920
782.52/782.88	c nbDecision=419000 #constraints=8920
783.32/783.67	c nbDecision=419500 #constraints=8920
784.12/784.45	c nbDecision=420000 #constraints=8920
784.92/785.23	c nbDecision=420500 #constraints=8920
785.71/786.00	c nbDecision=421000 #constraints=8920
786.41/786.78	c nbDecision=421500 #constraints=8920
787.22/787.55	c nbDecision=422000 #constraints=8920
788.01/788.32	c nbDecision=422500 #constraints=8920
788.71/789.09	c nbDecision=423000 #constraints=8920
789.52/789.86	c nbDecision=423500 #constraints=8920
790.31/790.63	c nbDecision=424000 #constraints=8920
791.11/791.40	c nbDecision=424500 #constraints=8920
792.21/792.53	c nbDecision=425000 #constraints=8920
793.61/793.90	c nbDecision=425500 #constraints=8920
794.92/795.26	c nbDecision=426000 #constraints=8920
796.31/796.61	c nbDecision=426500 #constraints=8920
797.91/798.23	c nbDecision=427000 #constraints=9051
798.71/799.02	c nbDecision=427500 #constraints=9051
799.51/799.81	c nbDecision=428000 #constraints=9051
800.31/800.60	c nbDecision=428500 #constraints=9051
801.01/801.39	c nbDecision=429000 #constraints=9051
801.81/802.17	c nbDecision=429500 #constraints=9051
802.61/802.96	c nbDecision=430000 #constraints=9051
803.41/803.73	c nbDecision=430500 #constraints=9051
804.21/804.50	c nbDecision=431000 #constraints=9051
804.91/805.28	c nbDecision=431500 #constraints=9051
805.71/806.04	c nbDecision=432000 #constraints=9051
806.51/806.81	c nbDecision=432500 #constraints=9051
807.21/807.58	c nbDecision=433000 #constraints=9051
808.21/808.54	c nbDecision=433500 #constraints=9051
809.60/809.91	c nbDecision=434000 #constraints=9051
810.90/811.26	c nbDecision=434500 #constraints=9051
812.31/812.60	c nbDecision=435000 #constraints=9051
813.81/814.13	c nbDecision=435500 #constraints=9121
815.01/815.36	c nbDecision=436000 #constraints=9214
815.81/816.15	c nbDecision=436500 #constraints=9214
816.61/816.94	c nbDecision=437000 #constraints=9214
817.41/817.73	c nbDecision=437500 #constraints=9214
818.21/818.52	c nbDecision=438000 #constraints=9214
819.01/819.30	c nbDecision=438500 #constraints=9214
819.71/820.08	c nbDecision=439000 #constraints=9214
820.51/820.86	c nbDecision=439500 #constraints=9214
821.31/821.64	c nbDecision=440000 #constraints=9214
822.11/822.42	c nbDecision=440500 #constraints=9214
822.91/823.20	c nbDecision=441000 #constraints=9214
823.61/823.96	c nbDecision=441500 #constraints=9214
824.41/824.73	c nbDecision=442000 #constraints=9214
825.71/826.04	c nbDecision=442500 #constraints=9214
827.11/827.40	c nbDecision=443000 #constraints=9214
828.41/828.75	c nbDecision=443500 #constraints=9214
829.70/830.08	c nbDecision=444000 #constraints=9214
831.10/831.50	c nbDecision=444500 #constraints=9312
831.90/832.27	c nbDecision=445000 #constraints=9312
832.70/833.04	c nbDecision=445500 #constraints=9312
833.51/833.82	c nbDecision=446000 #constraints=9312
834.20/834.60	c nbDecision=446500 #constraints=9312
835.00/835.37	c nbDecision=447000 #constraints=9312
835.90/836.21	c nbDecision=447500 #constraints=9312
837.20/837.59	c nbDecision=448000 #constraints=9312
838.60/838.96	c nbDecision=448500 #constraints=9312
840.00/840.31	c nbDecision=449000 #constraints=9312
841.40/841.75	c nbDecision=449500 #constraints=9341
842.50/842.88	c nbDecision=450000 #constraints=9387
843.30/843.67	c nbDecision=450500 #constraints=9387
844.10/844.45	c nbDecision=451000 #constraints=9387
844.90/845.23	c nbDecision=451500 #constraints=9387
845.70/846.01	c nbDecision=452000 #constraints=9387
846.40/846.79	c nbDecision=452500 #constraints=9387
847.20/847.56	c nbDecision=453000 #constraints=9387
847.99/848.33	c nbDecision=453500 #constraints=9387
848.80/849.11	c nbDecision=454000 #constraints=9387
849.49/849.88	c nbDecision=454500 #constraints=9387
850.29/850.65	c nbDecision=455000 #constraints=9387
851.10/851.41	c nbDecision=455500 #constraints=9387
851.79/852.18	c nbDecision=456000 #constraints=9387
853.09/853.50	c nbDecision=456500 #constraints=9387
854.49/854.87	c nbDecision=457000 #constraints=9387
855.89/856.22	c nbDecision=457500 #constraints=9387
857.19/857.57	c nbDecision=458000 #constraints=9387
858.89/859.24	c nbDecision=458500 #constraints=9544
859.69/860.03	c nbDecision=459000 #constraints=9544
860.49/860.82	c nbDecision=459500 #constraints=9544
861.29/861.61	c nbDecision=460000 #constraints=9544
861.99/862.39	c nbDecision=460500 #constraints=9544
862.79/863.17	c nbDecision=461000 #constraints=9544
863.59/863.95	c nbDecision=461500 #constraints=9544
864.39/864.72	c nbDecision=462000 #constraints=9544
865.09/865.50	c nbDecision=462500 #constraints=9544
865.88/866.27	c nbDecision=463000 #constraints=9544
866.68/867.03	c nbDecision=463500 #constraints=9544
867.38/867.79	c nbDecision=464000 #constraints=9544
868.18/868.55	c nbDecision=464500 #constraints=9544
869.18/869.59	c nbDecision=465000 #constraints=9544
870.58/870.96	c nbDecision=465500 #constraints=9544
871.98/872.31	c nbDecision=466000 #constraints=9544
873.28/873.65	c nbDecision=466500 #constraints=9544
874.88/875.25	c nbDecision=467000 #constraints=9625
875.78/876.12	c nbDecision=467500 #constraints=9639
876.58/876.91	c nbDecision=468000 #constraints=9639
877.38/877.70	c nbDecision=468500 #constraints=9639
878.08/878.49	c nbDecision=469000 #constraints=9639
878.88/879.27	c nbDecision=469500 #constraints=9639
879.68/880.06	c nbDecision=470000 #constraints=9639
880.48/880.83	c nbDecision=470500 #constraints=9639
881.28/881.61	c nbDecision=471000 #constraints=9639
881.98/882.39	c nbDecision=471500 #constraints=9639
882.78/883.16	c nbDecision=472000 #constraints=9639
883.58/883.93	c nbDecision=472500 #constraints=9639
884.28/884.69	c nbDecision=473000 #constraints=9639
885.18/885.57	c nbDecision=473500 #constraints=9639
886.58/886.94	c nbDecision=474000 #constraints=9639
887.88/888.29	c nbDecision=474500 #constraints=9639
889.27/889.63	c nbDecision=475000 #constraints=9639
890.68/891.08	c nbDecision=475500 #constraints=9669
892.18/892.54	c nbDecision=476000 #constraints=9813
892.98/893.33	c nbDecision=476500 #constraints=9813
893.78/894.12	c nbDecision=477000 #constraints=9813
894.58/894.90	c nbDecision=477500 #constraints=9813
895.28/895.69	c nbDecision=478000 #constraints=9813
896.08/896.47	c nbDecision=478500 #constraints=9813
896.88/897.25	c nbDecision=479000 #constraints=9813
897.68/898.02	c nbDecision=479500 #constraints=9813
898.48/898.80	c nbDecision=480000 #constraints=9813
899.18/899.57	c nbDecision=480500 #constraints=9813
899.98/900.35	c nbDecision=481000 #constraints=9813
900.78/901.12	c nbDecision=481500 #constraints=9813
901.48/901.90	c nbDecision=482000 #constraints=9813
902.68/903.07	c nbDecision=482500 #constraints=9813
904.08/904.44	c nbDecision=483000 #constraints=9813
905.38/905.78	c nbDecision=483500 #constraints=9813
906.78/907.12	c nbDecision=484000 #constraints=9813
908.37/908.74	c nbDecision=484500 #constraints=9939
909.17/909.51	c nbDecision=485000 #constraints=9939
909.97/910.30	c nbDecision=485500 #constraints=9939
910.67/911.08	c nbDecision=486000 #constraints=9939
911.48/911.86	c nbDecision=486500 #constraints=9939
912.27/912.63	c nbDecision=487000 #constraints=9939
913.07/913.41	c nbDecision=487500 #constraints=9939
913.78/914.19	c nbDecision=488000 #constraints=9939
914.57/914.97	c nbDecision=488500 #constraints=9939
915.37/915.75	c nbDecision=489000 #constraints=9939
916.17/916.53	c nbDecision=489500 #constraints=9939
916.97/917.30	c nbDecision=490000 #constraints=9939
917.67/918.07	c nbDecision=490500 #constraints=9939
918.67/919.04	c nbDecision=491000 #constraints=9939
920.07/920.42	c nbDecision=491500 #constraints=9939
921.37/921.78	c nbDecision=492000 #constraints=9939
922.77/923.13	c nbDecision=492500 #constraints=9939
924.37/924.74	c nbDecision=493000 #constraints=10019
925.67/926.03	c nbDecision=493500 #constraints=10121
926.47/926.80	c nbDecision=494000 #constraints=10121
927.17/927.58	c nbDecision=494500 #constraints=10121
927.97/928.35	c nbDecision=495000 #constraints=10121
928.76/929.13	c nbDecision=495500 #constraints=10121
929.56/929.91	c nbDecision=496000 #constraints=10121
930.27/930.68	c nbDecision=496500 #constraints=10121
931.06/931.46	c nbDecision=497000 #constraints=10121
931.86/932.23	c nbDecision=497500 #constraints=10121
932.56/932.98	c nbDecision=498000 #constraints=10121
933.36/933.76	c nbDecision=498500 #constraints=10121
934.16/934.53	c nbDecision=499000 #constraints=10121
934.96/935.30	c nbDecision=499500 #constraints=10121
936.26/936.62	c nbDecision=500000 #constraints=10121
937.56/937.99	c nbDecision=500500 #constraints=10121
938.96/939.34	c nbDecision=501000 #constraints=10121
940.26/940.69	c nbDecision=501500 #constraints=10121
942.16/942.51	c nbDecision=502000 #constraints=10305
942.86/943.28	c nbDecision=502500 #constraints=10305
943.66/944.07	c nbDecision=503000 #constraints=10305
944.46/944.85	c nbDecision=503500 #constraints=10305
945.26/945.63	c nbDecision=504000 #constraints=10305
946.05/946.40	c nbDecision=504500 #constraints=10305
946.76/947.17	c nbDecision=505000 #constraints=10305
947.55/947.93	c nbDecision=505500 #constraints=10305
948.35/948.70	c nbDecision=506000 #constraints=10305
949.05/949.47	c nbDecision=506500 #constraints=10305
949.85/950.24	c nbDecision=507000 #constraints=10305
950.65/951.01	c nbDecision=507500 #constraints=10305
951.35/951.77	c nbDecision=508000 #constraints=10305
952.35/952.71	c nbDecision=508500 #constraints=10305
953.65/954.09	c nbDecision=509000 #constraints=10305
955.05/955.46	c nbDecision=509500 #constraints=10305
956.45/956.81	c nbDecision=510000 #constraints=10305
957.95/958.34	c nbDecision=510500 #constraints=10362
959.25/959.66	c nbDecision=511000 #constraints=10476
960.05/960.45	c nbDecision=511500 #constraints=10476
960.85/961.25	c nbDecision=512000 #constraints=10476
961.65/962.03	c nbDecision=512500 #constraints=10476
962.45/962.81	c nbDecision=513000 #constraints=10476
963.15/963.59	c nbDecision=513500 #constraints=10476
963.95/964.37	c nbDecision=514000 #constraints=10476
964.75/965.14	c nbDecision=514500 #constraints=10476
965.55/965.91	c nbDecision=515000 #constraints=10476
966.25/966.68	c nbDecision=515500 #constraints=10476
967.05/967.44	c nbDecision=516000 #constraints=10476
967.84/968.21	c nbDecision=516500 #constraints=10476
968.54/968.98	c nbDecision=517000 #constraints=10476
969.85/970.23	c nbDecision=517500 #constraints=10476
971.14/971.59	c nbDecision=518000 #constraints=10476
972.54/972.94	c nbDecision=518500 #constraints=10476
973.84/974.28	c nbDecision=519000 #constraints=10476
975.65/976.04	c nbDecision=519500 #constraints=10623
976.45/976.80	c nbDecision=520000 #constraints=10623
977.25/977.60	c nbDecision=520500 #constraints=10623
977.95/978.39	c nbDecision=521000 #constraints=10623
978.75/979.17	c nbDecision=521500 #constraints=10623
979.55/979.95	c nbDecision=522000 #constraints=10623
980.35/980.74	c nbDecision=522500 #constraints=10623
981.15/981.52	c nbDecision=523000 #constraints=10623
981.85/982.30	c nbDecision=523500 #constraints=10623
982.65/983.08	c nbDecision=524000 #constraints=10623
983.45/983.84	c nbDecision=524500 #constraints=10623
984.25/984.61	c nbDecision=525000 #constraints=10623
984.95/985.38	c nbDecision=525500 #constraints=10623
985.94/986.36	c nbDecision=526000 #constraints=10623
987.35/987.73	c nbDecision=526500 #constraints=10623
988.64/989.08	c nbDecision=527000 #constraints=10623
990.04/990.42	c nbDecision=527500 #constraints=10623
991.54/991.94	c nbDecision=528000 #constraints=10686
992.95/993.36	c nbDecision=528500 #constraints=10822
993.74/994.15	c nbDecision=529000 #constraints=10822
994.54/994.95	c nbDecision=529500 #constraints=10822
995.34/995.73	c nbDecision=530000 #constraints=10822
996.14/996.52	c nbDecision=530500 #constraints=10822
996.94/997.30	c nbDecision=531000 #constraints=10822
997.64/998.08	c nbDecision=531500 #constraints=10822
998.44/998.86	c nbDecision=532000 #constraints=10822
999.24/999.64	c nbDecision=532500 #constraints=10822
1000.04/1000.42	c nbDecision=533000 #constraints=10822
1000.74/1001.20	c nbDecision=533500 #constraints=10822
1001.53/1001.97	c nbDecision=534000 #constraints=10822
1002.33/1002.74	c nbDecision=534500 #constraints=10822
1003.53/1003.94	c nbDecision=535000 #constraints=10822
1004.94/1005.30	c nbDecision=535500 #constraints=10822
1006.23/1006.65	c nbDecision=536000 #constraints=10822
1007.53/1007.98	c nbDecision=536500 #constraints=10822
1009.33/1009.79	c nbDecision=537000 #constraints=10982
1010.13/1010.55	c nbDecision=537500 #constraints=10982
1010.93/1011.34	c nbDecision=538000 #constraints=10982
1011.73/1012.12	c nbDecision=538500 #constraints=10982
1012.43/1012.88	c nbDecision=539000 #constraints=10982
1013.23/1013.67	c nbDecision=539500 #constraints=10982
1014.03/1014.45	c nbDecision=540000 #constraints=10982
1014.83/1015.23	c nbDecision=540500 #constraints=10982
1015.63/1016.01	c nbDecision=541000 #constraints=10982
1016.33/1016.79	c nbDecision=541500 #constraints=10982
1017.13/1017.56	c nbDecision=542000 #constraints=10982
1017.93/1018.34	c nbDecision=542500 #constraints=10982
1018.73/1019.11	c nbDecision=543000 #constraints=10982
1019.63/1020.05	c nbDecision=543500 #constraints=10982
1021.02/1021.43	c nbDecision=544000 #constraints=10982
1022.32/1022.79	c nbDecision=544500 #constraints=10982
1023.73/1024.14	c nbDecision=545000 #constraints=10982
1025.22/1025.62	c nbDecision=545500 #constraints=11023
1026.62/1027.05	c nbDecision=546000 #constraints=11153
1027.42/1027.83	c nbDecision=546500 #constraints=11153
1028.22/1028.62	c nbDecision=547000 #constraints=11153
1029.02/1029.40	c nbDecision=547500 #constraints=11153
1029.72/1030.18	c nbDecision=548000 #constraints=11153
1030.52/1030.95	c nbDecision=548500 #constraints=11153
1031.32/1031.73	c nbDecision=549000 #constraints=11153
1032.02/1032.50	c nbDecision=549500 #constraints=11153
1032.82/1033.27	c nbDecision=550000 #constraints=11153
1033.62/1034.05	c nbDecision=550500 #constraints=11153
1034.42/1034.82	c nbDecision=551000 #constraints=11153
1035.22/1035.60	c nbDecision=551500 #constraints=11153
1035.92/1036.37	c nbDecision=552000 #constraints=11153
1037.12/1037.57	c nbDecision=552500 #constraints=11153
1038.52/1038.93	c nbDecision=553000 #constraints=11153
1039.92/1040.30	c nbDecision=553500 #constraints=11153
1041.22/1041.65	c nbDecision=554000 #constraints=11153
1043.02/1043.40	c nbDecision=554500 #constraints=11290
1043.82/1044.27	c nbDecision=555000 #constraints=11308
1044.62/1045.04	c nbDecision=555500 #constraints=11308
1045.42/1045.83	c nbDecision=556000 #constraints=11308
1046.21/1046.61	c nbDecision=556500 #constraints=11308
1046.91/1047.38	c nbDecision=557000 #constraints=11308
1047.71/1048.16	c nbDecision=557500 #constraints=11308
1048.51/1048.92	c nbDecision=558000 #constraints=11308
1049.21/1049.69	c nbDecision=558500 #constraints=11308
1050.02/1050.46	c nbDecision=559000 #constraints=11308
1050.81/1051.23	c nbDecision=559500 #constraints=11308
1051.51/1051.99	c nbDecision=560000 #constraints=11308
1052.32/1052.74	c nbDecision=560500 #constraints=11308
1053.21/1053.62	c nbDecision=561000 #constraints=11308
1054.61/1055.00	c nbDecision=561500 #constraints=11308
1055.91/1056.37	c nbDecision=562000 #constraints=11308
1057.31/1057.72	c nbDecision=562500 #constraints=11308
1058.61/1059.09	c nbDecision=563000 #constraints=11313
1060.31/1060.72	c nbDecision=563500 #constraints=11444
1061.61/1062.03	c nbDecision=564000 #constraints=11444
1062.91/1063.33	c nbDecision=564500 #constraints=11444
1064.21/1064.61	c nbDecision=565000 #constraints=11444
1065.61/1066.05	c nbDecision=565500 #constraints=11504
1066.90/1067.35	c nbDecision=566000 #constraints=11504
1068.20/1068.64	c nbDecision=566500 #constraints=11504
1069.50/1069.92	c nbDecision=567000 #constraints=11504
1070.81/1071.28	c nbDecision=567500 #constraints=11559
1071.61/1072.06	c nbDecision=568000 #constraints=11559
1072.41/1072.84	c nbDecision=568500 #constraints=11559
1073.21/1073.62	c nbDecision=569000 #constraints=11559
1074.01/1074.41	c nbDecision=569500 #constraints=11559
1074.71/1075.19	c nbDecision=570000 #constraints=11559
1075.51/1075.96	c nbDecision=570500 #constraints=11559
1076.31/1076.74	c nbDecision=571000 #constraints=11559
1077.11/1077.52	c nbDecision=571500 #constraints=11559
1077.81/1078.29	c nbDecision=572000 #constraints=11559
1078.61/1079.07	c nbDecision=572500 #constraints=11559
1079.41/1079.84	c nbDecision=573000 #constraints=11559
1080.21/1080.62	c nbDecision=573500 #constraints=11559
1081.11/1081.60	c nbDecision=574000 #constraints=11559
1082.51/1082.97	c nbDecision=574500 #constraints=11559
1083.91/1084.33	c nbDecision=575000 #constraints=11559
1085.21/1085.66	c nbDecision=575500 #constraints=11559
1086.70/1087.19	c nbDecision=576000 #constraints=11615
1088.30/1088.72	c nbDecision=576500 #constraints=11705
1089.61/1090.02	c nbDecision=577000 #constraints=11705
1090.90/1091.31	c nbDecision=577500 #constraints=11705
1092.10/1092.58	c nbDecision=578000 #constraints=11705
1093.60/1094.04	c nbDecision=578500 #constraints=11781
1094.90/1095.35	c nbDecision=579000 #constraints=11781
1096.20/1096.64	c nbDecision=579500 #constraints=11781
1097.50/1097.93	c nbDecision=580000 #constraints=11781
1099.00/1099.42	c nbDecision=580500 #constraints=11866
1100.30/1100.73	c nbDecision=581000 #constraints=11866
1101.60/1102.04	c nbDecision=581500 #constraints=11866
1102.90/1103.32	c nbDecision=582000 #constraints=11866
1104.30/1104.71	c nbDecision=582500 #constraints=11917
1105.60/1106.02	c nbDecision=583000 #constraints=11917
1106.89/1107.31	c nbDecision=583500 #constraints=11917
1108.09/1108.59	c nbDecision=584000 #constraints=11917
1109.40/1109.89	c nbDecision=584500 #constraints=11939
1110.89/1111.31	c nbDecision=585000 #constraints=11997
1112.19/1112.61	c nbDecision=585500 #constraints=11997
1113.39/1113.90	c nbDecision=586000 #constraints=11997
1114.69/1115.18	c nbDecision=586500 #constraints=11997
1116.29/1116.74	c nbDecision=587000 #constraints=12118
1117.59/1118.05	c nbDecision=587500 #constraints=12118
1118.89/1119.35	c nbDecision=588000 #constraints=12118
1120.19/1120.63	c nbDecision=588500 #constraints=12118
1121.59/1122.04	c nbDecision=589000 #constraints=12171
1122.89/1123.35	c nbDecision=589500 #constraints=12171
1124.19/1124.64	c nbDecision=590000 #constraints=12171
1125.49/1125.92	c nbDecision=590500 #constraints=12171
1126.89/1127.33	c nbDecision=591000 #constraints=12245
1128.19/1128.64	c nbDecision=591500 #constraints=12245
1129.49/1129.93	c nbDecision=592000 #constraints=12245
1130.78/1131.21	c nbDecision=592500 #constraints=12245
1132.08/1132.52	c nbDecision=593000 #constraints=12272
1133.38/1133.88	c nbDecision=593500 #constraints=12296
1134.69/1135.19	c nbDecision=594000 #constraints=12296
1135.98/1136.48	c nbDecision=594500 #constraints=12296
1137.28/1137.77	c nbDecision=595000 #constraints=12296
1138.78/1139.24	c nbDecision=595500 #constraints=12386
1140.08/1140.56	c nbDecision=596000 #constraints=12386
1141.38/1141.86	c nbDecision=596500 #constraints=12386
1142.68/1143.14	c nbDecision=597000 #constraints=12386
1144.08/1144.52	c nbDecision=597500 #constraints=12448
1145.38/1145.81	c nbDecision=598000 #constraints=12448
1146.68/1147.10	c nbDecision=598500 #constraints=12448
1147.88/1148.37	c nbDecision=599000 #constraints=12448
1149.28/1149.74	c nbDecision=599500 #constraints=12506
1150.58/1151.04	c nbDecision=600000 #constraints=12506
1151.88/1152.33	c nbDecision=600500 #constraints=12506
1153.18/1153.61	c nbDecision=601000 #constraints=12506
1154.59/1155.03	c nbDecision=601500 #constraints=12588
1155.88/1156.36	c nbDecision=602000 #constraints=12588
1157.18/1157.66	c nbDecision=602500 #constraints=12588
1158.48/1158.95	c nbDecision=603000 #constraints=12588
1159.78/1160.24	c nbDecision=603500 #constraints=12592
1161.18/1161.68	c nbDecision=604000 #constraints=12668
1162.48/1162.98	c nbDecision=604500 #constraints=12668
1163.78/1164.27	c nbDecision=605000 #constraints=12668
1165.08/1165.54	c nbDecision=605500 #constraints=12668
1166.48/1166.92	c nbDecision=606000 #constraints=12727
1167.78/1168.23	c nbDecision=606500 #constraints=12727
1169.07/1169.51	c nbDecision=607000 #constraints=12727
1170.27/1170.78	c nbDecision=607500 #constraints=12727
1171.67/1172.19	c nbDecision=608000 #constraints=12819
1172.97/1173.44	c nbDecision=608500 #constraints=12819
1174.37/1174.89	c nbDecision=609000 #constraints=12867
1175.77/1176.20	c nbDecision=609500 #constraints=12867
1176.97/1177.49	c nbDecision=610000 #constraints=12867
1178.27/1178.78	c nbDecision=610500 #constraints=12867
1179.67/1180.20	c nbDecision=611000 #constraints=12917
1181.07/1181.51	c nbDecision=611500 #constraints=12917
1182.37/1182.80	c nbDecision=612000 #constraints=12917
1183.57/1184.08	c nbDecision=612500 #constraints=12917
1184.97/1185.41	c nbDecision=613000 #constraints=12945
1186.26/1186.72	c nbDecision=613500 #constraints=12945
1187.47/1188.00	c nbDecision=614000 #constraints=12945
1188.76/1189.27	c nbDecision=614500 #constraints=12945
1190.16/1190.66	c nbDecision=615000 #constraints=13012
1191.46/1191.97	c nbDecision=615500 #constraints=13012
1192.76/1193.26	c nbDecision=616000 #constraints=13012
1194.06/1194.54	c nbDecision=616500 #constraints=13012
1195.46/1195.95	c nbDecision=617000 #constraints=13090
1196.86/1197.30	c nbDecision=617500 #constraints=13112
1198.16/1198.60	c nbDecision=618000 #constraints=13112
1199.36/1199.90	c nbDecision=618500 #constraints=13112
1200.66/1201.18	c nbDecision=619000 #constraints=13112
1202.16/1202.60	c nbDecision=619500 #constraints=13210
1203.46/1203.95	c nbDecision=620000 #constraints=13244
1204.75/1205.26	c nbDecision=620500 #constraints=13244
1206.05/1206.55	c nbDecision=621000 #constraints=13244
1207.36/1207.83	c nbDecision=621500 #constraints=13244
1208.65/1209.19	c nbDecision=622000 #constraints=13284
1210.05/1210.51	c nbDecision=622500 #constraints=13284
1211.35/1211.80	c nbDecision=623000 #constraints=13284
1212.55/1213.08	c nbDecision=623500 #constraints=13284
1213.85/1214.39	c nbDecision=624000 #constraints=13300
1215.35/1215.82	c nbDecision=624500 #constraints=13347
1216.65/1217.13	c nbDecision=625000 #constraints=13347
1217.95/1218.42	c nbDecision=625500 #constraints=13347
1219.25/1219.70	c nbDecision=626000 #constraints=13347
1220.65/1221.15	c nbDecision=626500 #constraints=13434
1221.95/1222.46	c nbDecision=627000 #constraints=13434
1223.24/1223.75	c nbDecision=627500 #constraints=13434
1224.54/1225.02	c nbDecision=628000 #constraints=13434
1225.85/1226.38	c nbDecision=628500 #constraints=13495
1227.25/1227.72	c nbDecision=629000 #constraints=13529
1228.55/1229.06	c nbDecision=629500 #constraints=13541
1229.85/1230.35	c nbDecision=630000 #constraints=13541
1231.15/1231.63	c nbDecision=630500 #constraints=13541
1232.45/1232.90	c nbDecision=631000 #constraints=13541
1233.75/1234.29	c nbDecision=631500 #constraints=13572
1235.05/1235.60	c nbDecision=632000 #constraints=13572
1236.35/1236.89	c nbDecision=632500 #constraints=13572
1237.65/1238.17	c nbDecision=633000 #constraints=13572
1239.05/1239.59	c nbDecision=633500 #constraints=13631
1240.35/1240.89	c nbDecision=634000 #constraints=13631
1241.65/1242.19	c nbDecision=634500 #constraints=13631
1242.95/1243.47	c nbDecision=635000 #constraints=13631
1244.34/1244.87	c nbDecision=635500 #constraints=13681
1245.64/1246.17	c nbDecision=636000 #constraints=13681
1246.95/1247.46	c nbDecision=636500 #constraints=13681
1248.24/1248.73	c nbDecision=637000 #constraints=13681
1249.64/1250.12	c nbDecision=637500 #constraints=13722
1250.94/1251.42	c nbDecision=638000 #constraints=13722
1252.24/1252.71	c nbDecision=638500 #constraints=13722
1253.45/1253.99	c nbDecision=639000 #constraints=13722
1254.94/1255.45	c nbDecision=639500 #constraints=13806
1256.24/1256.76	c nbDecision=640000 #constraints=13806
1257.54/1258.06	c nbDecision=640500 #constraints=13806
1258.84/1259.35	c nbDecision=641000 #constraints=13806
1260.24/1260.71	c nbDecision=641500 #constraints=13851
1261.54/1262.02	c nbDecision=642000 #constraints=13879
1262.84/1263.39	c nbDecision=642500 #constraints=13917
1264.14/1264.69	c nbDecision=643000 #constraints=13917
1265.44/1265.98	c nbDecision=643500 #constraints=13917
1266.74/1267.26	c nbDecision=644000 #constraints=13917
1268.13/1268.64	c nbDecision=644500 #constraints=13962
1269.43/1269.95	c nbDecision=645000 #constraints=13962
1270.73/1271.23	c nbDecision=645500 #constraints=13962
1272.03/1272.51	c nbDecision=646000 #constraints=13962
1273.43/1273.93	c nbDecision=646500 #constraints=14047
1274.73/1275.20	c nbDecision=647000 #constraints=14048
1276.13/1276.62	c nbDecision=647500 #constraints=14102
1277.43/1277.93	c nbDecision=648000 #constraints=14102
1278.73/1279.22	c nbDecision=648500 #constraints=14102
1280.03/1280.51	c nbDecision=649000 #constraints=14102
1281.43/1281.96	c nbDecision=649500 #constraints=14162
1282.73/1283.27	c nbDecision=650000 #constraints=14162
1284.03/1284.56	c nbDecision=650500 #constraints=14162
1285.33/1285.83	c nbDecision=651000 #constraints=14162
1286.73/1287.20	c nbDecision=651500 #constraints=14194
1287.93/1288.50	c nbDecision=652000 #constraints=14194
1289.23/1289.78	c nbDecision=652500 #constraints=14194
1290.53/1291.06	c nbDecision=653000 #constraints=14194
1291.93/1292.46	c nbDecision=653500 #constraints=14261
1293.32/1293.82	c nbDecision=654000 #constraints=14276
1294.62/1295.12	c nbDecision=654500 #constraints=14276
1295.92/1296.42	c nbDecision=655000 #constraints=14276
1297.12/1297.70	c nbDecision=655500 #constraints=14276
1298.63/1299.15	c nbDecision=656000 #constraints=14377
1300.02/1300.55	c nbDecision=656500 #constraints=14437
1301.32/1301.86	c nbDecision=657000 #constraints=14437
1302.62/1303.16	c nbDecision=657500 #constraints=14437
1303.92/1304.44	c nbDecision=658000 #constraints=14437
1305.32/1305.81	c nbDecision=658500 #constraints=14492
1306.52/1307.08	c nbDecision=659000 #constraints=14502
1308.02/1308.50	c nbDecision=659500 #constraints=14552
1309.32/1309.80	c nbDecision=660000 #constraints=14552
1310.51/1311.08	c nbDecision=660500 #constraints=14552
1311.82/1312.36	c nbDecision=661000 #constraints=14552
1313.21/1313.76	c nbDecision=661500 #constraints=14619
1314.51/1315.02	c nbDecision=662000 #constraints=14619
1315.92/1316.44	c nbDecision=662500 #constraints=14685
1317.22/1317.74	c nbDecision=663000 #constraints=14685
1318.52/1319.03	c nbDecision=663500 #constraints=14685
1319.82/1320.32	c nbDecision=664000 #constraints=14685
1321.22/1321.72	c nbDecision=664500 #constraints=14756
1322.51/1323.05	c nbDecision=665000 #constraints=14784
1323.82/1324.39	c nbDecision=665500 #constraints=14792
1325.11/1325.68	c nbDecision=666000 #constraints=14792
1326.41/1326.96	c nbDecision=666500 #constraints=14792
1327.71/1328.22	c nbDecision=667000 #constraints=14792
1329.11/1329.65	c nbDecision=667500 #constraints=14861
1330.41/1330.95	c nbDecision=668000 #constraints=14861
1331.71/1332.23	c nbDecision=668500 #constraints=14861
1333.01/1333.51	c nbDecision=669000 #constraints=14861
1334.31/1334.89	c nbDecision=669500 #constraints=14922
1335.70/1336.24	c nbDecision=670000 #constraints=14970
1337.01/1337.56	c nbDecision=670500 #constraints=14970
1338.30/1338.86	c nbDecision=671000 #constraints=14970
1339.60/1340.15	c nbDecision=671500 #constraints=14970
1340.90/1341.46	c nbDecision=672000 #constraints=14986
1342.30/1342.82	c nbDecision=672500 #constraints=15036
1343.61/1344.19	c nbDecision=673000 #constraints=15086
1344.90/1345.49	c nbDecision=673500 #constraints=15086
1346.21/1346.78	c nbDecision=674000 #constraints=15086
1347.51/1348.06	c nbDecision=674500 #constraints=15086
1348.91/1349.41	c nbDecision=675000 #constraints=15128
1350.11/1350.66	c nbDecision=675500 #constraints=15128
1351.51/1352.09	c nbDecision=676000 #constraints=15207
1352.80/1353.39	c nbDecision=676500 #constraints=15207
1354.10/1354.68	c nbDecision=677000 #constraints=15207
1355.40/1355.97	c nbDecision=677500 #constraints=15207
1356.81/1357.38	c nbDecision=678000 #constraints=15275
1358.10/1358.65	c nbDecision=678500 #constraints=15282
1359.50/1360.09	c nbDecision=679000 #constraints=15364
1360.90/1361.40	c nbDecision=679500 #constraints=15364
1361.80/1362.70	c nbDecision=680000 #constraints=15364
1363.40/1363.97	c nbDecision=680500 #constraints=15364
1364.80/1365.37	c nbDecision=681000 #constraints=15430
1366.20/1366.72	c nbDecision=681500 #constraints=15485
1367.50/1368.04	c nbDecision=682000 #constraints=15491
1368.80/1369.33	c nbDecision=682500 #constraints=15491
1370.10/1370.61	c nbDecision=683000 #constraints=15491
1371.30/1371.90	c nbDecision=683500 #constraints=15497
1372.69/1373.25	c nbDecision=684000 #constraints=15547
1374.09/1374.66	c nbDecision=684500 #constraints=15630
1375.39/1375.97	c nbDecision=685000 #constraints=15630
1376.69/1377.27	c nbDecision=685500 #constraints=15630
1378.00/1378.56	c nbDecision=686000 #constraints=15630
1379.39/1379.96	c nbDecision=686500 #constraints=15686
1380.69/1381.25	c nbDecision=687000 #constraints=15697
1382.19/1382.70	c nbDecision=687500 #constraints=15788
1383.49/1384.00	c nbDecision=688000 #constraints=15788
1384.69/1385.29	c nbDecision=688500 #constraints=15788
1385.99/1386.56	c nbDecision=689000 #constraints=15788
1387.39/1387.92	c nbDecision=689500 #constraints=15830
1388.59/1389.17	c nbDecision=690000 #constraints=15830
1389.99/1390.54	c nbDecision=690500 #constraints=15885
1391.28/1391.84	c nbDecision=691000 #constraints=15885
1392.59/1393.12	c nbDecision=691500 #constraints=15885
1393.88/1394.41	c nbDecision=692000 #constraints=15885
1395.18/1395.78	c nbDecision=692500 #constraints=15932
1396.48/1397.07	c nbDecision=693000 #constraints=15946
1397.89/1398.48	c nbDecision=693500 #constraints=16002
1399.19/1399.78	c nbDecision=694000 #constraints=16002
1400.49/1401.08	c nbDecision=694500 #constraints=16002
1401.79/1402.36	c nbDecision=695000 #constraints=16002
1403.19/1403.70	c nbDecision=695500 #constraints=16040
1404.49/1405.06	c nbDecision=696000 #constraints=16100
1405.79/1406.36	c nbDecision=696500 #constraints=16100
1407.09/1407.66	c nbDecision=697000 #constraints=16100
1408.38/1408.93	c nbDecision=697500 #constraints=16100
1409.68/1410.29	c nbDecision=698000 #constraints=16138
1410.99/1411.58	c nbDecision=698500 #constraints=16153
1412.38/1412.96	c nbDecision=699000 #constraints=16237
1413.68/1414.21	c nbDecision=699500 #constraints=16237
1415.18/1415.70	c nbDecision=700000 #constraints=16295
1416.48/1417.00	c nbDecision=700500 #constraints=16295
1417.68/1418.30	c nbDecision=701000 #constraints=16295
1418.98/1419.58	c nbDecision=701500 #constraints=16295
1420.48/1421.05	c nbDecision=702000 #constraints=16347
1421.78/1422.36	c nbDecision=702500 #constraints=16347
1423.08/1423.65	c nbDecision=703000 #constraints=16347
1424.38/1424.92	c nbDecision=703500 #constraints=16347
1425.68/1426.26	c nbDecision=704000 #constraints=16366
1426.98/1427.56	c nbDecision=704500 #constraints=16366
1428.28/1428.84	c nbDecision=705000 #constraints=16366
1429.58/1430.12	c nbDecision=705500 #constraints=16366
1430.97/1431.50	c nbDecision=706000 #constraints=16423
1432.17/1432.77	c nbDecision=706500 #constraints=16430
1433.67/1434.24	c nbDecision=707000 #constraints=16478
1434.97/1435.55	c nbDecision=707500 #constraints=16478
1436.28/1436.84	c nbDecision=708000 #constraints=16478
1437.57/1438.13	c nbDecision=708500 #constraints=16478
1438.97/1439.52	c nbDecision=709000 #constraints=16509
1440.27/1440.84	c nbDecision=709500 #constraints=16509
1441.57/1442.13	c nbDecision=710000 #constraints=16509
1442.87/1443.41	c nbDecision=710500 #constraints=16509
1444.17/1444.76	c nbDecision=711000 #constraints=16543
1445.57/1446.15	c nbDecision=711500 #constraints=16581
1446.87/1447.46	c nbDecision=712000 #constraints=16581
1448.16/1448.75	c nbDecision=712500 #constraints=16581
1449.47/1450.03	c nbDecision=713000 #constraints=16581
1450.76/1451.38	c nbDecision=713500 #constraints=16615
1452.06/1452.67	c nbDecision=714000 #constraints=16632
1453.46/1454.04	c nbDecision=714500 #constraints=16659
1454.76/1455.34	c nbDecision=715000 #constraints=16659
1456.07/1456.64	c nbDecision=715500 #constraints=16659
1457.36/1457.92	c nbDecision=716000 #constraints=16659
1458.76/1459.34	c nbDecision=716500 #constraints=16721
1460.06/1460.60	c nbDecision=717000 #constraints=16721
1461.46/1462.06	c nbDecision=717500 #constraints=16786
1462.76/1463.37	c nbDecision=718000 #constraints=16786
1464.06/1464.65	c nbDecision=718500 #constraints=16786
1465.36/1465.93	c nbDecision=719000 #constraints=16786
1466.67/1467.26	c nbDecision=719500 #constraints=16816
1467.97/1468.55	c nbDecision=720000 #constraints=16826
1469.27/1469.85	c nbDecision=720500 #constraints=16826
1470.56/1471.14	c nbDecision=721000 #constraints=16826
1471.86/1472.42	c nbDecision=721500 #constraints=16826
1473.16/1473.74	c nbDecision=722000 #constraints=16849
1474.46/1475.00	c nbDecision=722500 #constraints=16849
1475.86/1476.48	c nbDecision=723000 #constraints=16962
1477.16/1477.79	c nbDecision=723500 #constraints=16962
1478.46/1479.09	c nbDecision=724000 #constraints=16962
1479.76/1480.38	c nbDecision=724500 #constraints=16962
1481.16/1481.74	c nbDecision=725000 #constraints=17001
1482.36/1483.00	c nbDecision=725500 #constraints=17001
1483.86/1484.43	c nbDecision=726000 #constraints=17068
1485.16/1485.73	c nbDecision=726500 #constraints=17068
1486.46/1487.01	c nbDecision=727000 #constraints=17068
1487.65/1488.28	c nbDecision=727500 #constraints=17068
1489.06/1489.63	c nbDecision=728000 #constraints=17100
1490.45/1491.01	c nbDecision=728500 #constraints=17178
1491.65/1492.29	c nbDecision=729000 #constraints=17209
1493.05/1493.63	c nbDecision=729500 #constraints=17224
1494.35/1494.95	c nbDecision=730000 #constraints=17224
1495.65/1496.24	c nbDecision=730500 #constraints=17224
1496.95/1497.53	c nbDecision=731000 #constraints=17224
1498.25/1498.88	c nbDecision=731500 #constraints=17244
1499.55/1500.19	c nbDecision=732000 #constraints=17244
1500.84/1501.49	c nbDecision=732500 #constraints=17244
1502.15/1502.77	c nbDecision=733000 #constraints=17244
1503.54/1504.16	c nbDecision=733500 #constraints=17297
1504.84/1505.41	c nbDecision=734000 #constraints=17297
1506.24/1506.85	c nbDecision=734500 #constraints=17359
1507.54/1508.14	c nbDecision=735000 #constraints=17359
1508.86/1509.42	c nbDecision=735500 #constraints=17359
1510.05/1510.69	c nbDecision=736000 #constraints=17359
1511.45/1512.03	c nbDecision=736500 #constraints=17392
1512.85/1513.40	c nbDecision=737000 #constraints=17468
1514.05/1514.65	c nbDecision=737500 #constraints=17469
1515.45/1516.07	c nbDecision=738000 #constraints=17497
1516.75/1517.38	c nbDecision=738500 #constraints=17497
1518.05/1518.67	c nbDecision=739000 #constraints=17497
1519.35/1519.96	c nbDecision=739500 #constraints=17497
1520.75/1521.34	c nbDecision=740000 #constraints=17516
1522.05/1522.65	c nbDecision=740500 #constraints=17516
1523.35/1523.94	c nbDecision=741000 #constraints=17516
1524.65/1525.22	c nbDecision=741500 #constraints=17516
1525.94/1526.57	c nbDecision=742000 #constraints=17548
1527.24/1527.83	c nbDecision=742500 #constraints=17548
1528.65/1529.28	c nbDecision=743000 #constraints=17587
1529.94/1530.58	c nbDecision=743500 #constraints=17587
1531.24/1531.86	c nbDecision=744000 #constraints=17587
1532.54/1533.13	c nbDecision=744500 #constraints=17587
1533.94/1534.57	c nbDecision=745000 #constraints=17655
1535.34/1535.95	c nbDecision=745500 #constraints=17706
1536.74/1537.31	c nbDecision=746000 #constraints=17713
1538.04/1538.61	c nbDecision=746500 #constraints=17713
1539.34/1539.90	c nbDecision=747000 #constraints=17713
1540.54/1541.20	c nbDecision=747500 #constraints=17716
1541.94/1542.59	c nbDecision=748000 #constraints=17768
1543.33/1543.91	c nbDecision=748500 #constraints=17778
1544.63/1545.21	c nbDecision=749000 #constraints=17778
1545.93/1546.50	c nbDecision=749500 #constraints=17778
1547.13/1547.78	c nbDecision=750000 #constraints=17778
1548.53/1549.19	c nbDecision=750500 #constraints=17837
1549.83/1550.44	c nbDecision=751000 #constraints=17837
1551.23/1551.88	c nbDecision=751500 #constraints=17918
1552.53/1553.18	c nbDecision=752000 #constraints=17918
1553.83/1554.48	c nbDecision=752500 #constraints=17918
1555.13/1555.76	c nbDecision=753000 #constraints=17918
1556.63/1557.21	c nbDecision=753500 #constraints=17984
1557.92/1558.51	c nbDecision=754000 #constraints=18008
1559.22/1559.88	c nbDecision=754500 #constraints=18018
1560.53/1561.19	c nbDecision=755000 #constraints=18018
1561.82/1562.48	c nbDecision=755500 #constraints=18018
1563.12/1563.75	c nbDecision=756000 #constraints=18018
1564.52/1565.12	c nbDecision=756500 #constraints=18061
1565.93/1566.52	c nbDecision=757000 #constraints=18126
1567.22/1567.82	c nbDecision=757500 #constraints=18126
1568.52/1569.11	c nbDecision=758000 #constraints=18126
1569.72/1570.39	c nbDecision=758500 #constraints=18126
1571.12/1571.74	c nbDecision=759000 #constraints=18159
1572.32/1572.99	c nbDecision=759500 #constraints=18159
1573.82/1574.42	c nbDecision=760000 #constraints=18261
1575.22/1575.81	c nbDecision=760500 #constraints=18295
1576.62/1577.22	c nbDecision=761000 #constraints=18318
1577.92/1578.52	c nbDecision=761500 #constraints=18318
1579.22/1579.81	c nbDecision=762000 #constraints=18318
1580.52/1581.12	c nbDecision=762500 #constraints=18326
1581.81/1582.43	c nbDecision=763000 #constraints=18342
1583.22/1583.81	c nbDecision=763500 #constraints=18409
1584.42/1585.04	c nbDecision=764000 #constraints=18409
1585.82/1586.40	c nbDecision=764500 #constraints=18434
1587.12/1587.70	c nbDecision=765000 #constraints=18434
1588.32/1588.98	c nbDecision=765500 #constraints=18434
1589.62/1590.25	c nbDecision=766000 #constraints=18434
1591.02/1591.61	c nbDecision=766500 #constraints=18470
1592.32/1592.96	c nbDecision=767000 #constraints=18486
1593.61/1594.27	c nbDecision=767500 #constraints=18486
1594.91/1595.57	c nbDecision=768000 #constraints=18486
1596.21/1596.86	c nbDecision=768500 #constraints=18486
1597.61/1598.21	c nbDecision=769000 #constraints=18514
1598.81/1599.48	c nbDecision=769500 #constraints=18514
1600.21/1600.87	c nbDecision=770000 #constraints=18592
1601.51/1602.19	c nbDecision=770500 #constraints=18625
1602.91/1603.50	c nbDecision=771000 #constraints=18625
1604.11/1604.79	c nbDecision=771500 #constraints=18625
1605.41/1606.07	c nbDecision=772000 #constraints=18625
1606.71/1607.37	c nbDecision=772500 #constraints=18638
1608.11/1608.70	c nbDecision=773000 #constraints=18661
1609.41/1610.04	c nbDecision=773500 #constraints=18714
1610.61/1611.28	c nbDecision=774000 #constraints=18723
1612.11/1612.75	c nbDecision=774500 #constraints=18781
1613.40/1614.05	c nbDecision=775000 #constraints=18781
1614.70/1615.35	c nbDecision=775500 #constraints=18781
1616.00/1616.63	c nbDecision=776000 #constraints=18781
1617.40/1618.03	c nbDecision=776500 #constraints=18823
1618.80/1619.46	c nbDecision=777000 #constraints=18915
1620.10/1620.72	c nbDecision=777500 #constraints=18925
1621.50/1622.14	c nbDecision=778000 #constraints=18979
1622.80/1623.45	c nbDecision=778500 #constraints=18979
1624.10/1624.74	c nbDecision=779000 #constraints=18979
1625.40/1626.02	c nbDecision=779500 #constraints=18979
1626.70/1627.35	c nbDecision=780000 #constraints=19003
1627.90/1628.59	c nbDecision=780500 #constraints=19003
1629.40/1630.01	c nbDecision=781000 #constraints=19098
1630.70/1631.38	c nbDecision=781500 #constraints=19146
1632.00/1632.68	c nbDecision=782000 #constraints=19146
1633.29/1633.98	c nbDecision=782500 #constraints=19146
1634.59/1635.27	c nbDecision=783000 #constraints=19146
1635.99/1636.64	c nbDecision=783500 #constraints=19174
1637.29/1637.98	c nbDecision=784000 #constraints=19204
1638.61/1639.29	c nbDecision=784500 #constraints=19230
1639.90/1640.56	c nbDecision=785000 #constraints=19250
1641.30/1641.99	c nbDecision=785500 #constraints=19294
1642.60/1643.29	c nbDecision=786000 #constraints=19294
1643.90/1644.58	c nbDecision=786500 #constraints=19294
1645.20/1645.85	c nbDecision=787000 #constraints=19294
1646.60/1647.21	c nbDecision=787500 #constraints=19328
1647.90/1648.58	c nbDecision=788000 #constraints=19393
1649.20/1649.81	c nbDecision=788500 #constraints=19393
1650.60/1651.23	c nbDecision=789000 #constraints=19454
1651.89/1652.52	c nbDecision=789500 #constraints=19454
1653.19/1653.81	c nbDecision=790000 #constraints=19454
1654.39/1655.09	c nbDecision=790500 #constraints=19454
1655.79/1656.43	c nbDecision=791000 #constraints=19478
1657.09/1657.79	c nbDecision=791500 #constraints=19527
1658.39/1659.03	c nbDecision=792000 #constraints=19527
1659.79/1660.48	c nbDecision=792500 #constraints=19601
1661.09/1661.79	c nbDecision=793000 #constraints=19601
1662.39/1663.09	c nbDecision=793500 #constraints=19601
1663.69/1664.37	c nbDecision=794000 #constraints=19601
1665.09/1665.73	c nbDecision=794500 #constraints=19630
1666.29/1666.98	c nbDecision=795000 #constraints=19630
1667.69/1668.30	c nbDecision=795500 #constraints=19672
1668.99/1669.65	c nbDecision=796000 #constraints=19712
1670.29/1670.95	c nbDecision=796500 #constraints=19712
1671.59/1672.24	c nbDecision=797000 #constraints=19712
1672.88/1673.52	c nbDecision=797500 #constraints=19712
1674.28/1674.93	c nbDecision=798000 #constraints=19753
1675.48/1676.19	c nbDecision=798500 #constraints=19753
1676.88/1677.58	c nbDecision=799000 #constraints=19816
1678.18/1678.88	c nbDecision=799500 #constraints=19856
1679.58/1680.24	c nbDecision=800000 #constraints=19882
1680.88/1681.54	c nbDecision=800500 #constraints=19882
1682.18/1682.83	c nbDecision=801000 #constraints=19882
1683.48/1684.11	c nbDecision=801500 #constraints=19882
1684.78/1685.46	c nbDecision=802000 #constraints=19914
1686.08/1686.78	c nbDecision=802500 #constraints=19953
1687.38/1688.01	c nbDecision=803000 #constraints=19953
1688.78/1689.47	c nbDecision=803500 #constraints=20038
1690.08/1690.77	c nbDecision=804000 #constraints=20038
1691.39/1692.05	c nbDecision=804500 #constraints=20038
1692.68/1693.32	c nbDecision=805000 #constraints=20038
1693.98/1694.68	c nbDecision=805500 #constraints=20065
1695.38/1696.00	c nbDecision=806000 #constraints=20092
1696.58/1697.25	c nbDecision=806500 #constraints=20092
1697.98/1698.63	c nbDecision=807000 #constraints=20144
1699.28/1699.94	c nbDecision=807500 #constraints=20144
1700.58/1701.24	c nbDecision=808000 #constraints=20144
1701.88/1702.52	c nbDecision=808500 #constraints=20144
1703.18/1703.83	c nbDecision=809000 #constraints=20157
1704.48/1705.15	c nbDecision=809500 #constraints=20188
1705.68/1706.39	c nbDecision=810000 #constraints=20188
1707.27/1707.93	c nbDecision=810500 #constraints=20387
1708.57/1709.29	c nbDecision=811000 #constraints=20416
1709.87/1710.58	c nbDecision=811500 #constraints=20416
1711.17/1711.86	c nbDecision=812000 #constraints=20416
1712.47/1713.14	c nbDecision=812500 #constraints=20416
1713.87/1714.51	c nbDecision=813000 #constraints=20451
1715.17/1715.89	c nbDecision=813500 #constraints=20501
1716.47/1717.13	c nbDecision=814000 #constraints=20501
1718.06/1718.79	c nbDecision=814500 #constraints=20751
1719.88/1720.53	c nbDecision=815000 #constraints=21044
1721.57/1722.27	c nbDecision=815500 #constraints=21329
1723.37/1724.01	c nbDecision=816000 #constraints=21610
1724.86/1725.58	c nbDecision=816500 #constraints=21799
1726.06/1726.79	c nbDecision=817000 #constraints=21799
1727.36/1728.07	c nbDecision=817500 #constraints=21838
1728.77/1729.43	c nbDecision=818000 #constraints=21917
1729.96/1730.64	c nbDecision=818500 #constraints=21917
1731.26/1731.93	c nbDecision=819000 #constraints=21961
1731.76/1732.42	c restart after 819201 decisions
1732.26/1732.94	c nbDecision=819500 #constraints=21961
1733.06/1733.73	c nbDecision=820000 #constraints=21961
1733.86/1734.53	c nbDecision=820500 #constraints=21961
1734.66/1735.31	c nbDecision=821000 #constraints=21961
1735.46/1736.10	c nbDecision=821500 #constraints=21961
1736.16/1736.88	c nbDecision=822000 #constraints=21961
1736.96/1737.67	c nbDecision=822500 #constraints=21961
1737.76/1738.45	c nbDecision=823000 #constraints=21961
1738.56/1739.21	c nbDecision=823500 #constraints=21961
1739.26/1739.99	c nbDecision=824000 #constraints=21961
1740.06/1740.76	c nbDecision=824500 #constraints=21961
1740.86/1741.54	c nbDecision=825000 #constraints=21961
1741.66/1742.31	c nbDecision=825500 #constraints=21961
1742.86/1743.59	c nbDecision=826000 #constraints=21961
1744.26/1744.94	c nbDecision=826500 #constraints=21961
1745.56/1746.29	c nbDecision=827000 #constraints=21961
1746.95/1747.62	c nbDecision=827500 #constraints=21961
1748.86/1749.56	c nbDecision=828000 #constraints=22066
1750.16/1750.87	c nbDecision=828500 #constraints=22066
1751.46/1752.16	c nbDecision=829000 #constraints=22066
1752.76/1753.43	c nbDecision=829500 #constraints=22066
1754.26/1754.93	c nbDecision=830000 #constraints=22110
1755.56/1756.25	c nbDecision=830500 #constraints=22110
1756.86/1757.55	c nbDecision=831000 #constraints=22110
1758.16/1758.84	c nbDecision=831500 #constraints=22110
1759.46/1760.19	c nbDecision=832000 #constraints=22129
1760.86/1761.58	c nbDecision=832500 #constraints=22166
1762.26/1762.98	c nbDecision=833000 #constraints=22182
1763.56/1764.28	c nbDecision=833500 #constraints=22182
1764.86/1765.56	c nbDecision=834000 #constraints=22182
1766.16/1766.84	c nbDecision=834500 #constraints=22182
1767.55/1768.29	c nbDecision=835000 #constraints=22233
1768.85/1769.55	c nbDecision=835500 #constraints=22233
1770.25/1770.96	c nbDecision=836000 #constraints=22254
1771.55/1772.25	c nbDecision=836500 #constraints=22254
1772.85/1773.54	c nbDecision=837000 #constraints=22254
1774.15/1774.82	c nbDecision=837500 #constraints=22254
1775.55/1776.27	c nbDecision=838000 #constraints=22283
1776.85/1777.57	c nbDecision=838500 #constraints=22283
1778.15/1778.87	c nbDecision=839000 #constraints=22283
1779.45/1780.16	c nbDecision=839500 #constraints=22283
1780.85/1781.56	c nbDecision=840000 #constraints=22298
1782.15/1782.87	c nbDecision=840500 #constraints=22298
1783.44/1784.16	c nbDecision=841000 #constraints=22298
1784.75/1785.43	c nbDecision=841500 #constraints=22298
1786.14/1786.82	c nbDecision=842000 #constraints=22332
1787.44/1788.13	c nbDecision=842500 #constraints=22353
1788.74/1789.47	c nbDecision=843000 #constraints=22395
1790.14/1790.86	c nbDecision=843500 #constraints=22432
1791.44/1792.16	c nbDecision=844000 #constraints=22432
1792.74/1793.45	c nbDecision=844500 #constraints=22432
1794.04/1794.73	c nbDecision=845000 #constraints=22432
1795.44/1796.15	c nbDecision=845500 #constraints=22466
1796.74/1797.41	c nbDecision=846000 #constraints=22466
1798.04/1798.78	c nbDecision=846500 #constraints=22512
1799.54/1800.29	c nbDecision=847000 #constraints=22544
1800.04/1800.70	Received signal 15
1800.04/1800.70	
1800.04/1800.70	s UNKNOWN
1800.04/1800.70	
1800.04/1800.70	c user time= 1799.78 s
1800.04/1800.70	c system time= 0.279957 s
1800.04/1800.70	c wall clock time=1800.71

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node3/watcher-363336-1176852400 -o ROOT/results/node3/solver-363336-1176852400 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363336-1176852400/instance-363336-1176852400.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.92 0.98 0.99 3/77 30871
/proc/meminfo: memFree=1701984/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=1620 CPUtime=0
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 161277734 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134708447 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 405 175 126 317 0 84 0

[startup+0.0835491 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 30871
/proc/meminfo: memFree=1701984/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=3440 CPUtime=0.08
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 805 0 0 0 8 0 0 0 18 0 1 0 161277734 3522560 560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 860 560 127 317 0 539 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3440

[startup+0.101551 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 30871
/proc/meminfo: memFree=1701984/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=3440 CPUtime=0.09
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 805 0 0 0 9 0 0 0 18 0 1 0 161277734 3522560 560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266201 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 860 560 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301584 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 30871
/proc/meminfo: memFree=1701984/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=7004 CPUtime=0.29
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 1686 0 0 0 29 0 0 0 19 0 1 0 161277734 7172096 1441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 1751 1442 131 317 0 1430 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7004

[startup+0.701649 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 30871
/proc/meminfo: memFree=1701984/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=13896 CPUtime=0.69
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 3422 0 0 0 68 1 0 0 23 0 1 0 161277734 14229504 3177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 3474 3177 131 317 0 3153 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13896

[startup+1.50278 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 30872
/proc/meminfo: memFree=1682328/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=33060 CPUtime=1.49
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8210 0 0 0 147 2 0 0 25 0 1 0 161277734 33853440 7965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 8265 7966 137 317 0 7944 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33060

[startup+3.10104 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 30872
/proc/meminfo: memFree=1670040/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=33456 CPUtime=3.09
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8314 0 0 0 306 3 0 0 25 0 1 0 161277734 34258944 8069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 8364 8069 138 317 0 8043 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33456

[startup+6.30256 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 30872
/proc/meminfo: memFree=1669848/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=33456 CPUtime=6.29
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8318 0 0 0 626 3 0 0 25 0 1 0 161277734 34258944 8073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 8364 8073 138 317 0 8043 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33456

[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 30872
/proc/meminfo: memFree=1669848/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=33456 CPUtime=12.69
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8323 0 0 0 1266 3 0 0 25 0 1 0 161277734 34258944 8078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 8364 8078 138 317 0 8043 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33456

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 30872
/proc/meminfo: memFree=1669912/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=33540 CPUtime=25.49
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8328 0 0 0 2546 3 0 0 25 0 1 0 161277734 34344960 8083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 8385 8083 138 317 0 8064 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33540

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 30872
/proc/meminfo: memFree=1669720/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=33792 CPUtime=51.07
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8365 0 0 0 5104 3 0 0 25 0 1 0 161277734 34603008 8120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 8448 8120 139 317 0 8127 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33792

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 30872
/proc/meminfo: memFree=1669784/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=33792 CPUtime=102.26
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8365 0 0 0 10223 3 0 0 25 0 1 0 161277734 34603008 8120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 8448 8120 139 317 0 8127 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 33792

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30872
/proc/meminfo: memFree=1669720/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=33792 CPUtime=162.24
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8375 0 0 0 16220 4 0 0 25 0 1 0 161277734 34603008 8130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 8448 8130 139 317 0 8127 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 33792

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30872
/proc/meminfo: memFree=1669144/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=34316 CPUtime=222.22
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8499 0 0 0 22217 5 0 0 25 0 1 0 161277734 35139584 8254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 8579 8254 139 317 0 8258 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 34316

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30874
/proc/meminfo: memFree=1668696/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=34708 CPUtime=282.2
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8601 0 0 0 28215 5 0 0 25 0 1 0 161277734 35540992 8356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 8677 8356 139 317 0 8356 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 34708

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30874
/proc/meminfo: memFree=1668312/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=35100 CPUtime=342.17
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8685 0 0 0 34211 6 0 0 25 0 1 0 161277734 35942400 8440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 8775 8440 139 317 0 8454 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 35100

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30874
/proc/meminfo: memFree=1667608/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=35752 CPUtime=402.16
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8875 0 0 0 40209 7 0 0 25 0 1 0 161277734 36610048 8630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 8938 8630 139 317 0 8617 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 35752

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30874
/proc/meminfo: memFree=1666968/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=36400 CPUtime=462.14
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 9019 0 0 0 46206 8 0 0 25 0 1 0 161277734 37273600 8774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 9100 8774 139 317 0 8779 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 36400

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30874
/proc/meminfo: memFree=1666264/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=37048 CPUtime=522.12
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 9193 0 0 0 52203 9 0 0 25 0 1 0 161277734 37937152 8948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 9262 8948 139 317 0 8941 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 37048

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30874
/proc/meminfo: memFree=1665880/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=37572 CPUtime=582.09
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 9326 0 0 0 58200 9 0 0 25 0 1 0 161277734 38473728 9081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 9393 9081 139 317 0 9072 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 37572

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30874
/proc/meminfo: memFree=1665112/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=38220 CPUtime=642.07
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 9479 0 0 0 64197 10 0 0 25 0 1 0 161277734 39137280 9234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 9555 9234 139 317 0 9234 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 38220


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

[startup+822.302 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1662616/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=40800 CPUtime=822.01
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 10153 0 0 0 82189 12 0 0 25 0 1 0 161277734 41779200 9846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 10200 9846 139 317 0 9879 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 40800

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1661976/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=41456 CPUtime=881.98
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 10318 0 0 0 88186 12 0 0 25 0 1 0 161277734 42450944 10011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 10364 10011 139 317 0 10043 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 41456

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1661208/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=42360 CPUtime=941.96
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 10528 0 0 0 94183 13 0 0 25 0 1 0 161277734 43376640 10221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 10590 10221 139 317 0 10269 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 42360

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1660312/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=43004 CPUtime=1001.93
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 10716 0 0 0 100179 14 0 0 25 0 1 0 161277734 44036096 10409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 10751 10409 139 317 0 10430 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 43004

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1659480/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=43784 CPUtime=1061.91
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 10919 0 0 0 106177 14 0 0 25 0 1 0 161277734 44834816 10612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 10946 10612 139 317 0 10625 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 43784

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1658392/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=44960 CPUtime=1121.89
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 11195 0 0 0 112174 15 0 0 25 0 1 0 161277734 46039040 10888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 11240 10888 139 317 0 10919 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 44960

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1656664/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=46680 CPUtime=1181.87
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 11632 0 0 0 118171 16 0 0 25 0 1 0 161277734 47800320 11325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 11670 11325 139 317 0 11349 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 46680

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1654936/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=48272 CPUtime=1241.85
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 12064 0 0 0 124168 17 0 0 25 0 1 0 161277734 49430528 11757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 12068 11757 139 317 0 11747 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 48272

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1653208/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=49856 CPUtime=1301.83
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 12466 0 0 0 130166 17 0 0 25 0 1 0 161277734 51052544 12159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 12464 12159 139 317 0 12143 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 49856

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1651224/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=51832 CPUtime=1361.8
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 12967 0 0 0 136161 19 0 0 25 0 1 0 161277734 53075968 12660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 12958 12660 139 317 0 12637 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 51832

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1649368/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=53812 CPUtime=1421.78
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 13440 0 0 0 142158 20 0 0 25 0 1 0 161277734 55103488 13133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 13453 13133 139 317 0 13132 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 53812

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1647960/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=55132 CPUtime=1481.76
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 13782 0 0 0 148155 21 0 0 25 0 1 0 161277734 56455168 13475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 13783 13475 139 317 0 13462 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 55132

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1645784/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=57588 CPUtime=1541.74
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 14397 0 0 0 154152 22 0 0 25 0 1 0 161277734 58970112 13969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 14397 13969 139 317 0 14076 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 57588

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1644504/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=59040 CPUtime=1601.71
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 14766 0 0 0 160148 23 0 0 25 0 1 0 161277734 60456960 14338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 14760 14338 139 317 0 14439 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 59040

[startup+1662.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1642584/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=60892 CPUtime=1661.69
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 15244 0 0 0 166145 24 0 0 25 0 1 0 161277734 62353408 14816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 15223 14816 139 317 0 14902 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 60892

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1638488/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=65692 CPUtime=1721.67
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 16378 0 0 0 172141 26 0 0 25 0 1 0 161277734 67268608 15950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 16423 15950 139 317 0 16102 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 65692

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1635288/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=68476 CPUtime=1781.65
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 17055 0 0 0 178138 27 0 0 25 0 1 0 161277734 70119424 16627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 17119 16627 139 317 0 16798 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 68476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30874
/proc/meminfo: memFree=1634776/2055920 swapFree=4132108/4192956
[pid=30871] ppid=30869 vsize=69004 CPUtime=1800.04
/proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 17176 0 0 0 179977 27 0 0 25 0 1 0 161277734 70660096 16748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30871/statm: 17251 16748 139 317 0 16930 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 69004

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

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

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.09
CPU user time (s): 1799.8
CPU system time (s): 0.293955
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 69004

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

runsolver used 2.22266 second user time and 4.41033 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Tue Apr 17 23:26:40 UTC 2007

IDJOB= 363336
IDBENCH= 1805
IDSOLVER= 172
FILE ID= node3/363336-1176852400

PBS_JOBID= 4590200

Free space on /tmp= 66429 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb
COMMAND LINE= oree /tmp/evaluation/363336-1176852400/instance-363336-1176852400.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-363336-1176852400 -o ROOT/results/node3/solver-363336-1176852400 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/363336-1176852400/instance-363336-1176852400.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  8e26f63addeab9c605a48fae9909490e

RANDOM SEED= 993263213

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1702456 kB
Buffers:         34848 kB
Cached:         244900 kB
SwapCached:      23872 kB
Active:          96620 kB
Inactive:       214760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1702456 kB
SwapTotal:     4192956 kB
SwapFree:      4132108 kB
Dirty:            4916 kB
Writeback:           0 kB
Mapped:          29916 kB
Slab:            27684 kB
Committed_AS:  5185932 kB
PageTables:       1780 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= 66429 MiB

End job on node3 on Tue Apr 17 23:56:43 UTC 2007