Trace number 356878

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.17 1800.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb
MD5SUM1be7a0a5556e21a359d6f31cb8a3ccd8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark256
Best CPU time to get the best result obtained on this benchmark1802.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 240
Optimality of the best value was proved NO
Number of variables17600
Total number of constraints632
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 constraints632
Minimum length of a constraint11
Maximum length of a constraint150
Number of terms in the objective function 10400
Biggest coefficient in the objective function 3638
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 533864
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261895
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533864
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.09/0.16	c ...done
0.09/0.16	c #vars=17600 #constraints=873 hasObjective=yes
0.29/0.30	c res. mode=mod
0.29/0.30	c VSIDS like heuristics
0.29/0.30	c complete search running
0.29/0.37	c restart after 401 decisions
0.29/0.39	c nbDecision=500 #constraints=873
0.39/0.44	c restart after 801 decisions
0.39/0.47	c nbDecision=1000 #constraints=873
0.49/0.55	c nbDecision=1500 #constraints=873
0.49/0.57	c restart after 1601 decisions
0.59/0.64	c nbDecision=2000 #constraints=873
0.69/0.72	c nbDecision=2500 #constraints=873
0.79/0.80	c nbDecision=3000 #constraints=873
0.79/0.83	c restart after 3201 decisions
0.79/0.88	c nbDecision=3500 #constraints=873
0.89/0.96	c nbDecision=4000 #constraints=873
0.99/1.04	c nbDecision=4500 #constraints=873
1.09/1.12	c nbDecision=5000 #constraints=873
1.19/1.20	c nbDecision=5500 #constraints=873
1.19/1.27	c nbDecision=6000 #constraints=873
1.29/1.33	c restart after 6401 decisions
1.29/1.35	c nbDecision=6500 #constraints=873
1.39/1.43	c nbDecision=7000 #constraints=873
1.49/1.51	c nbDecision=7500 #constraints=873
1.49/1.59	c nbDecision=8000 #constraints=873
1.59/1.67	c nbDecision=8500 #constraints=873
1.69/1.74	c nbDecision=9000 #constraints=873
1.79/1.81	c nbDecision=9500 #constraints=873
1.79/1.88	c nbDecision=10000 #constraints=873
1.89/1.95	c nbDecision=10500 #constraints=873
1.99/2.02	c nbDecision=11000 #constraints=873
1.99/2.08	c nbDecision=11500 #constraints=873
2.09/2.14	c nbDecision=12000 #constraints=873
2.09/2.20	c nbDecision=12500 #constraints=873
2.19/2.23	c restart after 12801 decisions
2.19/2.27	c nbDecision=13000 #constraints=873
2.29/2.36	c nbDecision=13500 #constraints=873
2.39/2.44	c nbDecision=14000 #constraints=873
2.49/2.52	c nbDecision=14500 #constraints=873
2.49/2.59	c nbDecision=15000 #constraints=873
2.59/2.67	c nbDecision=15500 #constraints=873
2.69/2.74	c nbDecision=16000 #constraints=873
2.79/2.81	c nbDecision=16500 #constraints=873
2.79/2.87	c nbDecision=17000 #constraints=873
2.89/2.94	c nbDecision=17500 #constraints=873
2.99/3.00	c nbDecision=18000 #constraints=873
2.99/3.06	c nbDecision=18500 #constraints=873
3.09/3.12	c nbDecision=19000 #constraints=873
3.09/3.18	c nbDecision=19500 #constraints=873
3.19/3.23	c nbDecision=20000 #constraints=873
3.29/3.37	c nbDecision=20500 #constraints=892
3.49/3.50	c nbDecision=21000 #constraints=909
3.49/3.58	c nbDecision=21500 #constraints=909
3.60/3.66	c nbDecision=22000 #constraints=909
3.70/3.74	c nbDecision=22500 #constraints=909
3.80/3.81	c nbDecision=23000 #constraints=909
3.80/3.89	c nbDecision=23500 #constraints=909
3.90/3.96	c nbDecision=24000 #constraints=909
4.00/4.02	c nbDecision=24500 #constraints=909
4.00/4.09	c nbDecision=25000 #constraints=909
4.10/4.15	c nbDecision=25500 #constraints=909
4.10/4.17	c restart after 25601 decisions
4.20/4.24	c nbDecision=26000 #constraints=909
4.30/4.32	c nbDecision=26500 #constraints=909
4.40/4.40	c nbDecision=27000 #constraints=909
4.40/4.48	c nbDecision=27500 #constraints=909
4.50/4.56	c nbDecision=28000 #constraints=909
4.60/4.63	c nbDecision=28500 #constraints=909
4.70/4.70	c nbDecision=29000 #constraints=909
4.70/4.77	c nbDecision=29500 #constraints=909
4.80/4.84	c nbDecision=30000 #constraints=909
4.90/4.90	c nbDecision=30500 #constraints=909
4.90/4.96	c nbDecision=31000 #constraints=909
5.00/5.02	c nbDecision=31500 #constraints=909
5.00/5.08	c nbDecision=32000 #constraints=909
5.10/5.13	c nbDecision=32500 #constraints=909
5.20/5.21	c nbDecision=33000 #constraints=909
5.30/5.39	c nbDecision=33500 #constraints=952
5.40/5.47	c nbDecision=34000 #constraints=952
5.50/5.56	c nbDecision=34500 #constraints=952
5.59/5.63	c nbDecision=35000 #constraints=952
5.69/5.71	c nbDecision=35500 #constraints=952
5.69/5.79	c nbDecision=36000 #constraints=952
5.79/5.86	c nbDecision=36500 #constraints=952
5.89/5.93	c nbDecision=37000 #constraints=952
5.89/5.99	c nbDecision=37500 #constraints=952
5.99/6.06	c nbDecision=38000 #constraints=952
6.10/6.12	c nbDecision=38500 #constraints=952
6.10/6.18	c nbDecision=39000 #constraints=952
6.20/6.24	c nbDecision=39500 #constraints=952
6.30/6.30	c nbDecision=40000 #constraints=952
6.30/6.35	c nbDecision=40500 #constraints=952
6.40/6.47	c nbDecision=41000 #constraints=962
6.50/6.60	c nbDecision=41500 #constraints=1010
6.60/6.68	c nbDecision=42000 #constraints=1010
6.69/6.76	c nbDecision=42500 #constraints=1010
6.79/6.84	c nbDecision=43000 #constraints=1010
6.89/6.92	c nbDecision=43500 #constraints=1010
6.89/6.99	c nbDecision=44000 #constraints=1010
6.99/7.06	c nbDecision=44500 #constraints=1010
7.09/7.13	c nbDecision=45000 #constraints=1010
7.09/7.20	c nbDecision=45500 #constraints=1010
7.19/7.26	c nbDecision=46000 #constraints=1010
7.29/7.32	c nbDecision=46500 #constraints=1010
7.29/7.37	c nbDecision=47000 #constraints=1010
7.39/7.43	c nbDecision=47500 #constraints=1010
7.39/7.47	c nbDecision=48000 #constraints=1010
7.49/7.53	c nbDecision=48500 #constraints=1010
7.69/7.72	c nbDecision=49000 #constraints=1074
7.79/7.82	c nbDecision=49500 #constraints=1085
7.89/7.90	c nbDecision=50000 #constraints=1085
7.89/7.98	c nbDecision=50500 #constraints=1085
7.99/8.06	c nbDecision=51000 #constraints=1085
7.99/8.09	c restart after 51201 decisions
8.09/8.15	c nbDecision=51500 #constraints=1085
8.19/8.23	c nbDecision=52000 #constraints=1085
8.29/8.31	c nbDecision=52500 #constraints=1085
8.29/8.39	c nbDecision=53000 #constraints=1085
8.39/8.46	c nbDecision=53500 #constraints=1085
8.49/8.54	c nbDecision=54000 #constraints=1085
8.59/8.61	c nbDecision=54500 #constraints=1085
8.59/8.68	c nbDecision=55000 #constraints=1085
8.69/8.75	c nbDecision=55500 #constraints=1085
8.79/8.81	c nbDecision=56000 #constraints=1085
8.79/8.87	c nbDecision=56500 #constraints=1085
8.89/8.93	c nbDecision=57000 #constraints=1085
8.89/8.99	c nbDecision=57500 #constraints=1085
8.99/9.05	c nbDecision=58000 #constraints=1085
9.09/9.11	c nbDecision=58500 #constraints=1085
9.19/9.26	c nbDecision=59000 #constraints=1102
9.29/9.34	c nbDecision=59500 #constraints=1102
9.39/9.42	c nbDecision=60000 #constraints=1102
9.49/9.50	c nbDecision=60500 #constraints=1102
9.49/9.58	c nbDecision=61000 #constraints=1102
9.59/9.65	c nbDecision=61500 #constraints=1102
9.69/9.73	c nbDecision=62000 #constraints=1102
9.69/9.80	c nbDecision=62500 #constraints=1102
9.79/9.86	c nbDecision=63000 #constraints=1102
9.89/9.92	c nbDecision=63500 #constraints=1102
9.89/9.98	c nbDecision=64000 #constraints=1102
9.99/10.04	c nbDecision=64500 #constraints=1102
10.09/10.10	c nbDecision=65000 #constraints=1102
10.09/10.16	c nbDecision=65500 #constraints=1102
10.19/10.22	c nbDecision=66000 #constraints=1102
10.29/10.33	c nbDecision=66500 #constraints=1115
10.49/10.52	c nbDecision=67000 #constraints=1181
10.59/10.60	c nbDecision=67500 #constraints=1181
10.59/10.68	c nbDecision=68000 #constraints=1181
10.69/10.76	c nbDecision=68500 #constraints=1181
10.79/10.84	c nbDecision=69000 #constraints=1181
10.89/10.91	c nbDecision=69500 #constraints=1181
10.89/10.98	c nbDecision=70000 #constraints=1181
10.99/11.05	c nbDecision=70500 #constraints=1181
11.09/11.12	c nbDecision=71000 #constraints=1181
11.09/11.18	c nbDecision=71500 #constraints=1181
11.19/11.25	c nbDecision=72000 #constraints=1181
11.29/11.31	c nbDecision=72500 #constraints=1181
11.29/11.36	c nbDecision=73000 #constraints=1181
11.39/11.42	c nbDecision=73500 #constraints=1181
11.39/11.48	c nbDecision=74000 #constraints=1181
11.59/11.62	c nbDecision=74500 #constraints=1200
11.69/11.77	c nbDecision=75000 #constraints=1242
11.79/11.86	c nbDecision=75500 #constraints=1242
11.89/11.94	c nbDecision=76000 #constraints=1242
11.99/12.02	c nbDecision=76500 #constraints=1242
11.99/12.09	c nbDecision=77000 #constraints=1242
12.09/12.16	c nbDecision=77500 #constraints=1242
12.19/12.24	c nbDecision=78000 #constraints=1242
12.29/12.30	c nbDecision=78500 #constraints=1242
12.29/12.37	c nbDecision=79000 #constraints=1242
12.39/12.44	c nbDecision=79500 #constraints=1242
12.39/12.50	c nbDecision=80000 #constraints=1242
12.49/12.56	c nbDecision=80500 #constraints=1242
12.59/12.61	c nbDecision=81000 #constraints=1242
12.59/12.67	c nbDecision=81500 #constraints=1242
12.69/12.73	c nbDecision=82000 #constraints=1242
12.89/12.90	c nbDecision=82500 #constraints=1287
12.99/13.01	c nbDecision=83000 #constraints=1299
12.99/13.09	c nbDecision=83500 #constraints=1299
13.09/13.17	c nbDecision=84000 #constraints=1299
13.19/13.24	c nbDecision=84500 #constraints=1299
13.29/13.32	c nbDecision=85000 #constraints=1299
13.29/13.39	c nbDecision=85500 #constraints=1299
13.39/13.45	c nbDecision=86000 #constraints=1299
13.49/13.52	c nbDecision=86500 #constraints=1299
13.49/13.59	c nbDecision=87000 #constraints=1299
13.59/13.65	c nbDecision=87500 #constraints=1299
13.69/13.71	c nbDecision=88000 #constraints=1299
13.69/13.77	c nbDecision=88500 #constraints=1299
13.79/13.83	c nbDecision=89000 #constraints=1299
13.79/13.88	c nbDecision=89500 #constraints=1299
13.89/13.96	c nbDecision=90000 #constraints=1299
14.19/14.21	c nbDecision=90500 #constraints=1413
14.48/14.56	c nbDecision=91000 #constraints=1677
14.69/14.71	c nbDecision=91500 #constraints=1699
14.99/15.04	c nbDecision=92000 #constraints=1953
15.09/15.13	c nbDecision=92500 #constraints=1962
15.19/15.20	c nbDecision=93000 #constraints=1962
15.19/15.26	c nbDecision=93500 #constraints=1962
15.29/15.32	c nbDecision=94000 #constraints=1962
15.29/15.38	c nbDecision=94500 #constraints=1962
15.39/15.44	c nbDecision=95000 #constraints=1962
15.39/15.49	c nbDecision=95500 #constraints=1962
15.59/15.62	c nbDecision=96000 #constraints=1978
15.88/15.91	c nbDecision=96500 #constraints=2137
16.19/16.22	c nbDecision=97000 #constraints=2352
16.69/16.70	c nbDecision=97500 #constraints=2433
16.99/17.01	c nbDecision=98000 #constraints=2618
17.19/17.29	c nbDecision=98500 #constraints=2763
17.49/17.59	c nbDecision=99000 #constraints=2898
17.79/17.87	c nbDecision=99500 #constraints=3050
18.09/18.19	c nbDecision=100000 #constraints=3207
18.49/18.59	c nbDecision=100500 #constraints=3356
18.69/18.79	c nbDecision=101000 #constraints=3378
19.19/19.26	c nbDecision=101500 #constraints=3539
19.48/19.53	c nbDecision=102000 #constraints=3613
19.58/19.67	c restart after 102401 decisions
19.69/19.75	c nbDecision=102500 #constraints=3660
19.79/19.84	c nbDecision=103000 #constraints=3660
19.88/19.93	c nbDecision=103500 #constraints=3660
19.98/20.01	c nbDecision=104000 #constraints=3660
19.98/20.09	c nbDecision=104500 #constraints=3660
20.08/20.18	c nbDecision=105000 #constraints=3660
20.18/20.25	c nbDecision=105500 #constraints=3660
20.28/20.32	c nbDecision=106000 #constraints=3660
20.38/20.40	c nbDecision=106500 #constraints=3660
20.38/20.47	c nbDecision=107000 #constraints=3660
20.48/20.54	c nbDecision=107500 #constraints=3660
20.48/20.59	c nbDecision=108000 #constraints=3660
20.58/20.65	c nbDecision=108500 #constraints=3660
20.68/20.71	c nbDecision=109000 #constraints=3660
20.68/20.77	c nbDecision=109500 #constraints=3660
20.89/20.91	c nbDecision=110000 #constraints=3676
21.19/21.25	c nbDecision=110500 #constraints=3820
21.39/21.48	c nbDecision=111000 #constraints=3865
21.79/21.80	c nbDecision=111500 #constraints=3999
21.89/22.00	c nbDecision=112000 #constraints=4046
22.19/22.20	c nbDecision=112500 #constraints=4109
22.59/22.64	c nbDecision=113000 #constraints=4230
22.79/22.86	c nbDecision=113500 #constraints=4276
23.09/23.16	c nbDecision=114000 #constraints=4392
23.29/23.38	c nbDecision=114500 #constraints=4445
23.68/23.74	c nbDecision=115000 #constraints=4506
24.19/24.20	c nbDecision=115500 #constraints=4607
24.29/24.36	c nbDecision=116000 #constraints=4622
24.59/24.64	c nbDecision=116500 #constraints=4672
24.89/24.93	c nbDecision=117000 #constraints=4771
25.09/25.11	c nbDecision=117500 #constraints=4796
25.49/25.54	c nbDecision=118000 #constraints=4899
25.69/25.79	c nbDecision=118500 #constraints=4953
26.08/26.12	c nbDecision=119000 #constraints=5014
26.39/26.44	c nbDecision=119500 #constraints=5103
26.59/26.68	c nbDecision=120000 #constraints=5153
26.99/27.05	c nbDecision=120500 #constraints=5286
27.19/27.27	c nbDecision=121000 #constraints=5323
27.59/27.60	c nbDecision=121500 #constraints=5446
27.88/27.91	c nbDecision=122000 #constraints=5539
28.28/28.31	c nbDecision=122500 #constraints=5624
28.59/28.68	c nbDecision=123000 #constraints=5719
28.79/28.87	c nbDecision=123500 #constraints=5744
29.08/29.16	c nbDecision=124000 #constraints=5820
29.38/29.49	c nbDecision=124500 #constraints=5900
29.59/29.68	c nbDecision=125000 #constraints=5932
29.88/29.94	c nbDecision=125500 #constraints=5997
30.08/30.16	c nbDecision=126000 #constraints=6032
30.39/30.49	c nbDecision=126500 #constraints=6133
30.69/30.78	c nbDecision=127000 #constraints=6196
30.99/31.02	c nbDecision=127500 #constraints=6262
31.28/31.39	c nbDecision=128000 #constraints=6380
31.58/31.61	c nbDecision=128500 #constraints=6410
31.79/31.81	c nbDecision=129000 #constraints=6443
32.08/32.19	c nbDecision=129500 #constraints=6560
32.28/32.35	c nbDecision=130000 #constraints=6578
32.58/32.69	c nbDecision=130500 #constraints=6655
32.88/32.98	c nbDecision=131000 #constraints=6723
33.18/33.29	c nbDecision=131500 #constraints=6797
33.68/33.73	c nbDecision=132000 #constraints=6880
33.88/33.94	c nbDecision=132500 #constraints=6899
34.08/34.18	c nbDecision=133000 #constraints=6932
34.48/34.58	c nbDecision=133500 #constraints=7027
34.68/34.78	c nbDecision=134000 #constraints=7051
34.99/35.08	c nbDecision=134500 #constraints=7113
35.38/35.41	c nbDecision=135000 #constraints=7188
35.48/35.59	c nbDecision=135500 #constraints=7209
35.68/35.77	c nbDecision=136000 #constraints=7227
35.88/35.99	c nbDecision=136500 #constraints=7260
36.29/36.33	c nbDecision=137000 #constraints=7331
36.48/36.52	c nbDecision=137500 #constraints=7351
36.78/36.90	c nbDecision=138000 #constraints=7411
37.08/37.19	c nbDecision=138500 #constraints=7480
37.48/37.52	c nbDecision=139000 #constraints=7504
37.78/37.82	c nbDecision=139500 #constraints=7570
37.98/38.02	c nbDecision=140000 #constraints=7601
38.38/38.42	c nbDecision=140500 #constraints=7664
38.58/38.64	c nbDecision=141000 #constraints=7697
38.89/38.99	c nbDecision=141500 #constraints=7768
39.19/39.23	c nbDecision=142000 #constraints=7805
39.49/39.58	c nbDecision=142500 #constraints=7865
39.68/39.78	c nbDecision=143000 #constraints=7885
39.88/39.99	c nbDecision=143500 #constraints=7911
40.28/40.35	c nbDecision=144000 #constraints=7993
40.48/40.52	c nbDecision=144500 #constraints=8005
40.69/40.71	c nbDecision=145000 #constraints=8028
40.98/41.09	c nbDecision=145500 #constraints=8067
41.28/41.36	c nbDecision=146000 #constraints=8119
41.78/41.83	c nbDecision=146500 #constraints=8177
42.08/42.13	c nbDecision=147000 #constraints=8231
42.18/42.29	c nbDecision=147500 #constraints=8238
42.48/42.54	c nbDecision=148000 #constraints=8270
42.88/42.98	c nbDecision=148500 #constraints=8345
43.08/43.19	c nbDecision=149000 #constraints=8371
43.48/43.59	c nbDecision=149500 #constraints=8443
43.78/43.82	c nbDecision=150000 #constraints=8467
43.99/44.05	c nbDecision=150500 #constraints=8503
44.18/44.25	c nbDecision=151000 #constraints=8521
44.48/44.52	c nbDecision=151500 #constraints=8562
44.68/44.77	c nbDecision=152000 #constraints=8591
44.99/45.04	c nbDecision=152500 #constraints=8621
45.28/45.39	c nbDecision=153000 #constraints=8690
45.58/45.64	c nbDecision=153500 #constraints=8727
45.78/45.88	c nbDecision=154000 #constraints=8746
46.08/46.18	c nbDecision=154500 #constraints=8791
46.48/46.55	c nbDecision=155000 #constraints=8863
46.68/46.72	c nbDecision=155500 #constraints=8875
46.98/47.01	c nbDecision=156000 #constraints=8923
47.37/47.42	c nbDecision=156500 #constraints=9015
47.58/47.61	c nbDecision=157000 #constraints=9029
47.88/47.96	c nbDecision=157500 #constraints=9075
48.08/48.18	c nbDecision=158000 #constraints=9099
48.48/48.54	c nbDecision=158500 #constraints=9135
48.78/48.87	c nbDecision=159000 #constraints=9190
48.98/49.08	c nbDecision=159500 #constraints=9209
49.18/49.27	c nbDecision=160000 #constraints=9219
49.48/49.58	c nbDecision=160500 #constraints=9287
49.78/49.85	c nbDecision=161000 #constraints=9324
50.08/50.20	c nbDecision=161500 #constraints=9391
50.58/50.64	c nbDecision=162000 #constraints=9492
50.98/51.00	c nbDecision=162500 #constraints=9542
51.28/51.36	c nbDecision=163000 #constraints=9601
51.48/51.59	c nbDecision=163500 #constraints=9624
51.78/51.81	c nbDecision=164000 #constraints=9636
52.07/52.13	c nbDecision=164500 #constraints=9690
52.37/52.41	c nbDecision=165000 #constraints=9727
52.69/52.77	c nbDecision=165500 #constraints=9761
53.18/53.20	c nbDecision=166000 #constraints=9841
53.38/53.49	c nbDecision=166500 #constraints=9876
53.68/53.70	c nbDecision=167000 #constraints=9897
54.18/54.22	c nbDecision=167500 #constraints=9975
54.38/54.48	c nbDecision=168000 #constraints=10010
54.68/54.70	c nbDecision=168500 #constraints=10030
54.98/55.03	c nbDecision=169000 #constraints=10082
55.18/55.21	c nbDecision=169500 #constraints=10093
55.58/55.62	c nbDecision=170000 #constraints=10148
55.88/55.98	c nbDecision=170500 #constraints=10209
56.08/56.17	c nbDecision=171000 #constraints=10221
56.48/56.52	c nbDecision=171500 #constraints=10284
56.78/56.83	c nbDecision=172000 #constraints=10338
56.98/57.08	c nbDecision=172500 #constraints=10368
57.38/57.42	c nbDecision=173000 #constraints=10418
57.58/57.64	c nbDecision=173500 #constraints=10441
57.87/57.94	c nbDecision=174000 #constraints=10478
58.18/58.26	c nbDecision=174500 #constraints=10524
58.47/58.50	c nbDecision=175000 #constraints=10545
58.67/58.77	c nbDecision=175500 #constraints=10583
59.08/59.10	c nbDecision=176000 #constraints=10629
59.18/59.29	c nbDecision=176500 #constraints=10640
59.58/59.60	c nbDecision=177000 #constraints=10690
59.88/59.93	c nbDecision=177500 #constraints=10730
59.98/60.09	c nbDecision=178000 #constraints=10736
60.28/60.39	c nbDecision=178500 #constraints=10769
60.78/60.86	c nbDecision=179000 #constraints=10825
61.08/61.10	c nbDecision=179500 #constraints=10855
61.28/61.39	c nbDecision=180000 #constraints=10874
61.68/61.72	c nbDecision=180500 #constraints=10926
61.88/61.93	c nbDecision=181000 #constraints=10946
62.18/62.29	c nbDecision=181500 #constraints=10965
62.48/62.55	c nbDecision=182000 #constraints=10994
62.78/62.86	c nbDecision=182500 #constraints=11035
62.98/63.02	c nbDecision=183000 #constraints=11041
63.17/63.26	c nbDecision=183500 #constraints=11059
63.57/63.61	c nbDecision=184000 #constraints=11103
63.68/63.79	c nbDecision=184500 #constraints=11113
64.17/64.27	c nbDecision=185000 #constraints=11177
64.57/64.63	c nbDecision=185500 #constraints=11221
64.78/64.86	c nbDecision=186000 #constraints=11234
65.07/65.14	c nbDecision=186500 #constraints=11273
65.47/65.58	c nbDecision=187000 #constraints=11352
65.67/65.79	c nbDecision=187500 #constraints=11374
65.98/66.08	c nbDecision=188000 #constraints=11412
66.28/66.34	c nbDecision=188500 #constraints=11432
66.48/66.57	c nbDecision=189000 #constraints=11453
66.88/66.98	c nbDecision=189500 #constraints=11487
67.28/67.33	c nbDecision=190000 #constraints=11533
67.48/67.55	c nbDecision=190500 #constraints=11554
67.97/68.01	c nbDecision=191000 #constraints=11602
68.27/68.37	c nbDecision=191500 #constraints=11635
68.67/68.74	c nbDecision=192000 #constraints=11683
68.77/68.89	c nbDecision=192500 #constraints=11687
69.07/69.12	c nbDecision=193000 #constraints=11703
69.37/69.45	c nbDecision=193500 #constraints=11746
69.57/69.64	c nbDecision=194000 #constraints=11757
69.87/69.91	c nbDecision=194500 #constraints=11787
70.07/70.18	c nbDecision=195000 #constraints=11815
70.38/70.48	c nbDecision=195500 #constraints=11841
70.77/70.82	c nbDecision=196000 #constraints=11886
71.07/71.12	c nbDecision=196500 #constraints=11932
71.27/71.35	c nbDecision=197000 #constraints=11943
71.57/71.66	c nbDecision=197500 #constraints=11974
71.87/71.95	c nbDecision=198000 #constraints=12002
72.07/72.16	c nbDecision=198500 #constraints=12015
72.48/72.51	c nbDecision=199000 #constraints=12063
72.78/72.88	c nbDecision=199500 #constraints=12124
73.08/73.10	c nbDecision=200000 #constraints=12141
73.28/73.36	c nbDecision=200500 #constraints=12169
73.58/73.68	c nbDecision=201000 #constraints=12208
73.78/73.85	c nbDecision=201500 #constraints=12216
74.17/74.23	c nbDecision=202000 #constraints=12284
74.47/74.51	c nbDecision=202500 #constraints=12320
74.78/74.85	c nbDecision=203000 #constraints=12344
75.07/75.11	c nbDecision=203500 #constraints=12366
75.37/75.44	c nbDecision=204000 #constraints=12408
75.57/75.63	c nbDecision=204500 #constraints=12410
75.77/75.90	c restart after 204801 decisions
76.27/76.30	c nbDecision=205000 #constraints=12448
76.37/76.44	c nbDecision=205500 #constraints=12448
76.47/76.53	c nbDecision=206000 #constraints=12448
76.57/76.62	c nbDecision=206500 #constraints=12448
76.67/76.74	c nbDecision=207000 #constraints=12448
76.87/76.90	c nbDecision=207500 #constraints=12448
76.97/77.01	c nbDecision=208000 #constraints=12448
77.07/77.10	c nbDecision=208500 #constraints=12448
77.17/77.23	c nbDecision=209000 #constraints=12448
77.27/77.34	c nbDecision=209500 #constraints=12448
77.37/77.40	c nbDecision=210000 #constraints=12448
77.37/77.46	c nbDecision=210500 #constraints=12448
77.47/77.52	c nbDecision=211000 #constraints=12448
77.47/77.58	c nbDecision=211500 #constraints=12448
77.57/77.63	c nbDecision=212000 #constraints=12448
77.77/77.81	c nbDecision=212500 #constraints=12458
78.27/78.34	c nbDecision=213000 #constraints=12539
79.08/79.16	c nbDecision=213500 #constraints=12666
79.57/79.68	c nbDecision=214000 #constraints=12745
80.28/80.33	c nbDecision=214500 #constraints=12851
80.97/81.01	c nbDecision=215000 #constraints=12964
81.67/81.77	c nbDecision=215500 #constraints=13067
82.27/82.33	c nbDecision=216000 #constraints=13130
82.97/83.02	c nbDecision=216500 #constraints=13196
83.58/83.65	c nbDecision=217000 #constraints=13262
84.07/84.18	c nbDecision=217500 #constraints=13324
84.68/84.79	c nbDecision=218000 #constraints=13398
85.27/85.31	c nbDecision=218500 #constraints=13465
85.87/85.97	c nbDecision=219000 #constraints=13544
86.47/86.57	c nbDecision=219500 #constraints=13602
87.17/87.29	c nbDecision=220000 #constraints=13669
87.87/87.94	c nbDecision=220500 #constraints=13729
88.47/88.56	c nbDecision=221000 #constraints=13788
89.17/89.22	c nbDecision=221500 #constraints=13866
89.67/89.76	c nbDecision=222000 #constraints=13931
90.17/90.22	c nbDecision=222500 #constraints=13968
90.76/90.81	c nbDecision=223000 #constraints=14037
91.46/91.58	c nbDecision=223500 #constraints=14110
91.77/91.83	c nbDecision=224000 #constraints=14126
92.06/92.10	c nbDecision=224500 #constraints=14136
92.37/92.49	c nbDecision=225000 #constraints=14178
92.86/92.92	c nbDecision=225500 #constraints=14200
93.16/93.20	c nbDecision=226000 #constraints=14227
93.57/93.64	c nbDecision=226500 #constraints=14276
93.77/93.84	c nbDecision=227000 #constraints=14279
94.17/94.22	c nbDecision=227500 #constraints=14316
94.67/94.79	c nbDecision=228000 #constraints=14378
95.07/95.18	c nbDecision=228500 #constraints=14418
95.27/95.35	c nbDecision=229000 #constraints=14425
95.57/95.62	c nbDecision=229500 #constraints=14444
95.97/96.04	c nbDecision=230000 #constraints=14485
96.17/96.25	c nbDecision=230500 #constraints=14497
96.47/96.56	c nbDecision=231000 #constraints=14511
96.96/97.03	c nbDecision=231500 #constraints=14563
97.26/97.33	c nbDecision=232000 #constraints=14589
97.66/97.74	c nbDecision=232500 #constraints=14627
97.96/98.08	c nbDecision=233000 #constraints=14661
98.16/98.24	c nbDecision=233500 #constraints=14661
98.56/98.68	c nbDecision=234000 #constraints=14720
98.88/98.91	c nbDecision=234500 #constraints=14726
99.17/99.27	c nbDecision=235000 #constraints=14765
99.47/99.59	c nbDecision=235500 #constraints=14796
99.97/100.10	c nbDecision=236000 #constraints=14842
100.37/100.45	c nbDecision=236500 #constraints=14870
100.97/101.03	c nbDecision=237000 #constraints=14944
101.37/101.43	c nbDecision=237500 #constraints=14979
101.77/101.85	c nbDecision=238000 #constraints=15025
101.97/102.06	c nbDecision=238500 #constraints=15035
102.27/102.34	c nbDecision=239000 #constraints=15051
102.57/102.69	c nbDecision=239500 #constraints=15073
102.97/103.08	c nbDecision=240000 #constraints=15112
103.27/103.31	c nbDecision=240500 #constraints=15119
103.57/103.64	c nbDecision=241000 #constraints=15147
103.87/103.93	c nbDecision=241500 #constraints=15159
103.97/104.07	c nbDecision=242000 #constraints=15159
104.27/104.35	c nbDecision=242500 #constraints=15173
104.76/104.86	c nbDecision=243000 #constraints=15226
105.16/105.23	c nbDecision=243500 #constraints=15265
105.86/105.91	c nbDecision=244000 #constraints=15355
105.96/106.09	c nbDecision=244500 #constraints=15361
106.46/106.54	c nbDecision=245000 #constraints=15401
106.86/106.95	c nbDecision=245500 #constraints=15434
107.16/107.24	c nbDecision=246000 #constraints=15450
107.47/107.53	c nbDecision=246500 #constraints=15466
107.97/108.02	c nbDecision=247000 #constraints=15500
108.17/108.29	c nbDecision=247500 #constraints=15524
108.67/108.75	c nbDecision=248000 #constraints=15566
109.17/109.27	c nbDecision=248500 #constraints=15596
109.67/109.76	c nbDecision=249000 #constraints=15627
109.97/110.05	c nbDecision=249500 #constraints=15650
110.36/110.45	c nbDecision=250000 #constraints=15691
110.86/110.98	c nbDecision=250500 #constraints=15751
111.16/111.29	c nbDecision=251000 #constraints=15774
111.66/111.75	c nbDecision=251500 #constraints=15811
112.07/112.10	c nbDecision=252000 #constraints=15827
112.57/112.69	c nbDecision=252500 #constraints=15884
112.97/113.05	c nbDecision=253000 #constraints=15899
113.46/113.56	c nbDecision=253500 #constraints=15950
113.86/113.90	c nbDecision=254000 #constraints=15978
114.06/114.19	c nbDecision=254500 #constraints=16000
114.37/114.45	c nbDecision=255000 #constraints=16011
114.76/114.85	c nbDecision=255500 #constraints=16050
115.06/115.16	c nbDecision=256000 #constraints=16079
115.56/115.69	c nbDecision=256500 #constraints=16121
116.06/116.20	c nbDecision=257000 #constraints=16170
116.47/116.58	c nbDecision=257500 #constraints=16207
116.96/117.05	c nbDecision=258000 #constraints=16257
117.36/117.49	c nbDecision=258500 #constraints=16293
117.66/117.72	c nbDecision=259000 #constraints=16305
117.86/117.99	c nbDecision=259500 #constraints=16319
118.46/118.53	c nbDecision=260000 #constraints=16366
118.86/118.96	c nbDecision=260500 #constraints=16408
119.16/119.26	c nbDecision=261000 #constraints=16422
119.36/119.43	c nbDecision=261500 #constraints=16422
119.66/119.70	c nbDecision=262000 #constraints=16434
120.06/120.14	c nbDecision=262500 #constraints=16473
120.36/120.50	c nbDecision=263000 #constraints=16515
120.66/120.73	c nbDecision=263500 #constraints=16522
120.96/121.08	c nbDecision=264000 #constraints=16548
121.36/121.49	c nbDecision=264500 #constraints=16578
121.76/121.83	c nbDecision=265000 #constraints=16604
122.06/122.11	c nbDecision=265500 #constraints=16624
122.36/122.45	c nbDecision=266000 #constraints=16642
122.86/122.99	c nbDecision=266500 #constraints=16691
123.26/123.32	c nbDecision=267000 #constraints=16720
123.66/123.71	c nbDecision=267500 #constraints=16739
124.06/124.11	c nbDecision=268000 #constraints=16777
124.46/124.53	c nbDecision=268500 #constraints=16818
124.76/124.89	c nbDecision=269000 #constraints=16849
125.16/125.28	c nbDecision=269500 #constraints=16873
125.46/125.52	c nbDecision=270000 #constraints=16887
125.86/125.98	c nbDecision=270500 #constraints=16925
126.16/126.30	c nbDecision=271000 #constraints=16939
126.76/126.85	c nbDecision=271500 #constraints=16978
127.16/127.24	c nbDecision=272000 #constraints=17010
127.56/127.67	c nbDecision=272500 #constraints=17037
128.06/128.15	c nbDecision=273000 #constraints=17072
128.46/128.52	c nbDecision=273500 #constraints=17097
128.76/128.90	c nbDecision=274000 #constraints=17134
129.46/129.57	c nbDecision=274500 #constraints=17185
129.76/129.88	c nbDecision=275000 #constraints=17197
130.06/130.10	c nbDecision=275500 #constraints=17203
130.66/130.76	c nbDecision=276000 #constraints=17250
131.06/131.15	c nbDecision=276500 #constraints=17279
131.46/131.52	c nbDecision=277000 #constraints=17310
131.65/131.79	c nbDecision=277500 #constraints=17322
132.06/132.14	c nbDecision=278000 #constraints=17349
132.46/132.55	c nbDecision=278500 #constraints=17383
132.66/132.79	c nbDecision=279000 #constraints=17397
133.06/133.17	c nbDecision=279500 #constraints=17428
133.46/133.55	c nbDecision=280000 #constraints=17460
133.66/133.74	c nbDecision=280500 #constraints=17464
134.26/134.30	c nbDecision=281000 #constraints=17516
134.56/134.63	c nbDecision=281500 #constraints=17527
135.06/135.19	c nbDecision=282000 #constraints=17577
135.36/135.49	c nbDecision=282500 #constraints=17587
135.96/136.04	c nbDecision=283000 #constraints=17643
136.26/136.30	c nbDecision=283500 #constraints=17653
136.76/136.80	c nbDecision=284000 #constraints=17697
137.16/137.27	c nbDecision=284500 #constraints=17740
137.86/137.94	c nbDecision=285000 #constraints=17807
138.16/138.21	c nbDecision=285500 #constraints=17817
138.56/138.69	c nbDecision=286000 #constraints=17870
138.85/138.93	c nbDecision=286500 #constraints=17883
139.15/139.20	c nbDecision=287000 #constraints=17893
139.56/139.68	c nbDecision=287500 #constraints=17937
139.95/140.08	c nbDecision=288000 #constraints=17980
140.25/140.38	c nbDecision=288500 #constraints=17996
140.85/140.91	c nbDecision=289000 #constraints=18038
141.15/141.21	c nbDecision=289500 #constraints=18050
141.55/141.64	c nbDecision=290000 #constraints=18079
141.76/141.87	c nbDecision=290500 #constraints=18089
142.15/142.22	c nbDecision=291000 #constraints=18115
142.45/142.59	c nbDecision=291500 #constraints=18140
143.05/143.10	c nbDecision=292000 #constraints=18173
143.25/143.33	c nbDecision=292500 #constraints=18183
143.75/143.81	c nbDecision=293000 #constraints=18225
144.16/144.25	c nbDecision=293500 #constraints=18247
144.56/144.62	c nbDecision=294000 #constraints=18268
144.76/144.85	c nbDecision=294500 #constraints=18279
145.16/145.20	c nbDecision=295000 #constraints=18305
145.66/145.77	c nbDecision=295500 #constraints=18347
146.36/146.44	c nbDecision=296000 #constraints=18396
147.16/147.23	c nbDecision=296500 #constraints=18470
147.96/148.05	c nbDecision=297000 #constraints=18537
148.56/148.65	c nbDecision=297500 #constraints=18568
149.16/149.27	c nbDecision=298000 #constraints=18602
149.75/149.85	c nbDecision=298500 #constraints=18641
150.45/150.57	c nbDecision=299000 #constraints=18695
151.15/151.29	c nbDecision=299500 #constraints=18737
151.95/152.05	c nbDecision=300000 #constraints=18785
152.75/152.86	c nbDecision=300500 #constraints=18853
153.56/153.61	c nbDecision=301000 #constraints=18913
154.16/154.22	c nbDecision=301500 #constraints=18968
154.85/154.92	c nbDecision=302000 #constraints=19031
155.55/155.69	c nbDecision=302500 #constraints=19099
156.45/156.51	c nbDecision=303000 #constraints=19168
157.05/157.20	c nbDecision=303500 #constraints=19210
157.75/157.87	c nbDecision=304000 #constraints=19255
158.25/158.40	c nbDecision=304500 #constraints=19276
159.05/159.15	c nbDecision=305000 #constraints=19329
159.75/159.80	c nbDecision=305500 #constraints=19373
160.35/160.44	c nbDecision=306000 #constraints=19417
160.95/161.03	c nbDecision=306500 #constraints=19444
161.45/161.53	c nbDecision=307000 #constraints=19480
161.95/162.00	c nbDecision=307500 #constraints=19512
162.25/162.36	c nbDecision=308000 #constraints=19526
162.95/163.06	c nbDecision=308500 #constraints=19589
163.65/163.74	c nbDecision=309000 #constraints=19645
164.15/164.28	c nbDecision=309500 #constraints=19682
164.55/164.69	c nbDecision=310000 #constraints=19696
165.25/165.39	c nbDecision=310500 #constraints=19756
165.65/165.71	c nbDecision=311000 #constraints=19762
166.14/166.25	c nbDecision=311500 #constraints=19799
166.54/166.60	c nbDecision=312000 #constraints=19810
166.95/167.06	c nbDecision=312500 #constraints=19851
167.25/167.36	c nbDecision=313000 #constraints=19861
167.75/167.87	c nbDecision=313500 #constraints=19897
168.05/168.19	c nbDecision=314000 #constraints=19906
168.55/168.66	c nbDecision=314500 #constraints=19933
169.15/169.27	c nbDecision=315000 #constraints=19978
169.75/169.89	c nbDecision=315500 #constraints=20011
170.05/170.18	c nbDecision=316000 #constraints=20027
170.55/170.62	c nbDecision=316500 #constraints=20054
170.94/171.09	c nbDecision=317000 #constraints=20075
171.34/171.48	c nbDecision=317500 #constraints=20104
171.74/171.84	c nbDecision=318000 #constraints=20121
172.35/172.41	c nbDecision=318500 #constraints=20156
172.65/172.71	c nbDecision=319000 #constraints=20164
173.15/173.22	c nbDecision=319500 #constraints=20200
173.75/173.85	c nbDecision=320000 #constraints=20233
174.25/174.34	c nbDecision=320500 #constraints=20268
174.55/174.68	c nbDecision=321000 #constraints=20288
174.85/174.99	c nbDecision=321500 #constraints=20303
175.25/175.34	c nbDecision=322000 #constraints=20321
175.65/175.79	c nbDecision=322500 #constraints=20339
175.85/175.98	c nbDecision=323000 #constraints=20343
176.24/176.35	c nbDecision=323500 #constraints=20359
176.54/176.68	c nbDecision=324000 #constraints=20369
177.05/177.10	c nbDecision=324500 #constraints=20393
177.24/177.34	c nbDecision=325000 #constraints=20402
178.04/178.20	c nbDecision=325500 #constraints=20472
178.85/179.00	c nbDecision=326000 #constraints=20530
179.75/179.88	c nbDecision=326500 #constraints=20595
180.55/180.63	c nbDecision=327000 #constraints=20630
181.54/181.66	c nbDecision=327500 #constraints=20698
182.24/182.34	c nbDecision=328000 #constraints=20730
182.64/182.79	c nbDecision=328500 #constraints=20753
183.04/183.11	c nbDecision=329000 #constraints=20757
183.44/183.54	c nbDecision=329500 #constraints=20775
183.74/183.89	c nbDecision=330000 #constraints=20801
184.34/184.48	c nbDecision=330500 #constraints=20847
184.75/184.81	c nbDecision=331000 #constraints=20855
185.24/185.30	c nbDecision=331500 #constraints=20885
185.44/185.59	c nbDecision=332000 #constraints=20895
185.75/185.87	c nbDecision=332500 #constraints=20901
186.34/186.48	c nbDecision=333000 #constraints=20937
187.04/187.13	c nbDecision=333500 #constraints=20994
187.34/187.49	c nbDecision=334000 #constraints=21014
187.95/188.04	c nbDecision=334500 #constraints=21048
188.14/188.25	c nbDecision=335000 #constraints=21053
188.54/188.62	c nbDecision=335500 #constraints=21070
188.94/189.09	c nbDecision=336000 #constraints=21092
189.24/189.38	c nbDecision=336500 #constraints=21105
189.64/189.71	c nbDecision=337000 #constraints=21120
189.94/190.08	c nbDecision=337500 #constraints=21127
190.54/190.67	c nbDecision=338000 #constraints=21159
190.94/191.04	c nbDecision=338500 #constraints=21174
191.24/191.39	c nbDecision=339000 #constraints=21181
192.04/192.18	c nbDecision=339500 #constraints=21230
192.44/192.58	c nbDecision=340000 #constraints=21238
193.14/193.22	c nbDecision=340500 #constraints=21277
193.54/193.69	c nbDecision=341000 #constraints=21304
194.24/194.30	c nbDecision=341500 #constraints=21337
194.54/194.67	c nbDecision=342000 #constraints=21349
195.03/195.18	c nbDecision=342500 #constraints=21381
195.64/195.79	c nbDecision=343000 #constraints=21413
196.13/196.29	c nbDecision=343500 #constraints=21448
196.43/196.54	c nbDecision=344000 #constraints=21454
197.14/197.25	c nbDecision=344500 #constraints=21504
197.74/197.88	c nbDecision=345000 #constraints=21548
198.04/198.16	c nbDecision=345500 #constraints=21557
198.74/198.82	c nbDecision=346000 #constraints=21606
199.04/199.17	c nbDecision=346500 #constraints=21619
199.54/199.62	c nbDecision=347000 #constraints=21640
199.84/199.90	c nbDecision=347500 #constraints=21652
200.14/200.24	c nbDecision=348000 #constraints=21661
200.44/200.59	c nbDecision=348500 #constraints=21671
200.74/200.80	c nbDecision=349000 #constraints=21674
201.44/201.52	c nbDecision=349500 #constraints=21706
201.54/201.69	c nbDecision=350000 #constraints=21706
201.94/202.07	c nbDecision=350500 #constraints=21717
202.64/202.73	c nbDecision=351000 #constraints=21761
203.04/203.13	c nbDecision=351500 #constraints=21777
203.74/203.85	c nbDecision=352000 #constraints=21815
204.04/204.17	c nbDecision=352500 #constraints=21823
204.44/204.55	c nbDecision=353000 #constraints=21834
204.84/204.97	c nbDecision=353500 #constraints=21863
205.24/205.38	c nbDecision=354000 #constraints=21886
205.64/205.75	c nbDecision=354500 #constraints=21899
206.23/206.39	c nbDecision=355000 #constraints=21935
206.53/206.62	c nbDecision=355500 #constraints=21942
207.13/207.23	c nbDecision=356000 #constraints=21971
207.43/207.55	c nbDecision=356500 #constraints=21979
208.03/208.10	c nbDecision=357000 #constraints=22010
208.33/208.44	c nbDecision=357500 #constraints=22019
208.73/208.83	c nbDecision=358000 #constraints=22027
209.03/209.19	c nbDecision=358500 #constraints=22049
209.43/209.55	c nbDecision=359000 #constraints=22071
210.13/210.25	c nbDecision=359500 #constraints=22113
210.53/210.64	c nbDecision=360000 #constraints=22128
210.93/211.06	c nbDecision=360500 #constraints=22144
211.23/211.31	c nbDecision=361000 #constraints=22151
211.53/211.68	c nbDecision=361500 #constraints=22160
211.93/212.06	c nbDecision=362000 #constraints=22175
212.43/212.55	c nbDecision=362500 #constraints=22199
212.93/213.07	c nbDecision=363000 #constraints=22222
213.43/213.59	c nbDecision=363500 #constraints=22261
214.23/214.31	c nbDecision=364000 #constraints=22300
214.34/214.50	c nbDecision=364500 #constraints=22300
214.73/214.87	c nbDecision=365000 #constraints=22314
215.23/215.31	c nbDecision=365500 #constraints=22336
215.63/215.74	c nbDecision=366000 #constraints=22371
216.03/216.14	c nbDecision=366500 #constraints=22395
216.43/216.56	c nbDecision=367000 #constraints=22415
216.83/216.92	c nbDecision=367500 #constraints=22433
217.13/217.25	c nbDecision=368000 #constraints=22447
217.53/217.69	c nbDecision=368500 #constraints=22469
217.93/218.07	c nbDecision=369000 #constraints=22478
218.13/218.24	c nbDecision=369500 #constraints=22479
218.63/218.75	c nbDecision=370000 #constraints=22506
219.33/219.42	c nbDecision=370500 #constraints=22550
219.93/220.05	c nbDecision=371000 #constraints=22583
220.33/220.41	c nbDecision=371500 #constraints=22591
220.93/221.03	c nbDecision=372000 #constraints=22628
221.53/221.61	c nbDecision=372500 #constraints=22654
222.23/222.33	c nbDecision=373000 #constraints=22695
222.72/222.86	c nbDecision=373500 #constraints=22720
222.92/223.05	c nbDecision=374000 #constraints=22723
223.42/223.51	c nbDecision=374500 #constraints=22751
223.92/224.05	c nbDecision=375000 #constraints=22769
224.23/224.33	c nbDecision=375500 #constraints=22775
224.52/224.67	c nbDecision=376000 #constraints=22789
225.12/225.21	c nbDecision=376500 #constraints=22819
225.62/225.78	c nbDecision=377000 #constraints=22858
226.02/226.15	c nbDecision=377500 #constraints=22874
226.72/226.84	c nbDecision=378000 #constraints=22919
227.12/227.21	c nbDecision=378500 #constraints=22933
227.73/227.81	c nbDecision=379000 #constraints=22978
227.93/228.06	c nbDecision=379500 #constraints=22984
228.53/228.65	c nbDecision=380000 #constraints=23019
229.33/229.41	c nbDecision=380500 #constraints=23069
229.62/229.78	c nbDecision=381000 #constraints=23089
230.12/230.22	c nbDecision=381500 #constraints=23110
230.52/230.69	c nbDecision=382000 #constraints=23132
230.93/231.09	c nbDecision=382500 #constraints=23153
231.32/231.40	c nbDecision=383000 #constraints=23162
231.72/231.86	c nbDecision=383500 #constraints=23189
232.32/232.42	c nbDecision=384000 #constraints=23220
232.52/232.65	c nbDecision=384500 #constraints=23226
233.02/233.12	c nbDecision=385000 #constraints=23257
233.42/233.51	c nbDecision=385500 #constraints=23274
233.72/233.81	c nbDecision=386000 #constraints=23281
234.02/234.14	c nbDecision=386500 #constraints=23292
234.52/234.65	c nbDecision=387000 #constraints=23324
234.82/234.94	c nbDecision=387500 #constraints=23331
235.12/235.27	c nbDecision=388000 #constraints=23338
235.62/235.76	c nbDecision=388500 #constraints=23372
236.12/236.25	c nbDecision=389000 #constraints=23400
236.92/237.02	c nbDecision=389500 #constraints=23439
237.31/237.41	c nbDecision=390000 #constraints=23465
237.82/237.94	c nbDecision=390500 #constraints=23490
238.72/238.82	c nbDecision=391000 #constraints=23552
239.02/239.12	c nbDecision=391500 #constraints=23555
239.63/239.72	c nbDecision=392000 #constraints=23583
240.22/240.36	c nbDecision=392500 #constraints=23624
240.52/240.61	c nbDecision=393000 #constraints=23633
241.22/241.31	c nbDecision=393500 #constraints=23661
241.62/241.79	c nbDecision=394000 #constraints=23683
242.22/242.32	c nbDecision=394500 #constraints=23700
242.72/242.81	c nbDecision=395000 #constraints=23724
243.22/243.32	c nbDecision=395500 #constraints=23749
243.82/243.99	c nbDecision=396000 #constraints=23782
244.42/244.50	c nbDecision=396500 #constraints=23815
244.82/244.90	c nbDecision=397000 #constraints=23833
245.12/245.25	c nbDecision=397500 #constraints=23843
245.52/245.66	c nbDecision=398000 #constraints=23862
245.92/246.03	c nbDecision=398500 #constraints=23867
246.12/246.22	c nbDecision=399000 #constraints=23867
246.52/246.63	c nbDecision=399500 #constraints=23885
246.91/247.08	c nbDecision=400000 #constraints=23902
247.32/247.46	c nbDecision=400500 #constraints=23907
247.61/247.79	c nbDecision=401000 #constraints=23925
248.11/248.25	c nbDecision=401500 #constraints=23948
248.52/248.68	c nbDecision=402000 #constraints=23964
248.91/249.04	c nbDecision=402500 #constraints=23978
249.41/249.57	c nbDecision=403000 #constraints=24009
250.11/250.22	c nbDecision=403500 #constraints=24028
250.41/250.54	c nbDecision=404000 #constraints=24044
250.91/251.01	c nbDecision=404500 #constraints=24064
251.31/251.47	c nbDecision=405000 #constraints=24084
251.61/251.77	c nbDecision=405500 #constraints=24095
252.11/252.23	c nbDecision=406000 #constraints=24114
252.61/252.79	c nbDecision=406500 #constraints=24147
253.31/253.41	c nbDecision=407000 #constraints=24177
253.61/253.77	c nbDecision=407500 #constraints=24184
254.31/254.41	c nbDecision=408000 #constraints=24226
254.51/254.66	c nbDecision=408500 #constraints=24232
255.41/255.55	c nbDecision=409000 #constraints=24292
255.71/255.89	c nbDecision=409500 #constraints=24305
255.81/255.93	c restart after 409601 decisions
257.11/257.30	c nbDecision=410000 #constraints=24305
257.31/257.44	c nbDecision=410500 #constraints=24305
257.41/257.55	c nbDecision=411000 #constraints=24305
257.61/257.71	c nbDecision=411500 #constraints=24305
257.91/258.08	c nbDecision=412000 #constraints=24305
258.21/258.30	c nbDecision=412500 #constraints=24305
258.31/258.44	c nbDecision=413000 #constraints=24305
258.51/258.69	c nbDecision=413500 #constraints=24305
258.81/258.91	c nbDecision=414000 #constraints=24305
258.91/259.04	c nbDecision=414500 #constraints=24305
259.01/259.17	c nbDecision=415000 #constraints=24305
259.11/259.23	c nbDecision=415500 #constraints=24305
259.11/259.29	c nbDecision=416000 #constraints=24305
259.21/259.35	c nbDecision=416500 #constraints=24305
259.31/259.44	c nbDecision=417000 #constraints=24305
259.81/259.96	c nbDecision=417500 #constraints=24333
260.71/260.88	c nbDecision=418000 #constraints=24391
261.01/261.17	c nbDecision=418500 #constraints=24393
261.61/261.74	c nbDecision=419000 #constraints=24429
262.42/262.58	c nbDecision=419500 #constraints=24490
262.92/263.07	c nbDecision=420000 #constraints=24513
263.32/263.44	c nbDecision=420500 #constraints=24534
263.71/263.81	c nbDecision=421000 #constraints=24543
264.21/264.37	c nbDecision=421500 #constraints=24573
264.51/264.67	c nbDecision=422000 #constraints=24579
264.92/265.06	c nbDecision=422500 #constraints=24594
265.61/265.74	c nbDecision=423000 #constraints=24637
266.01/266.18	c nbDecision=423500 #constraints=24654
266.51/266.61	c nbDecision=424000 #constraints=24674
267.21/267.39	c nbDecision=424500 #constraints=24700
267.51/267.70	c nbDecision=425000 #constraints=24712
268.11/268.23	c nbDecision=425500 #constraints=24741
268.61/268.71	c nbDecision=426000 #constraints=24759
268.91/269.03	c nbDecision=426500 #constraints=24773
269.31/269.47	c nbDecision=427000 #constraints=24789
270.01/270.11	c nbDecision=427500 #constraints=24833
270.41/270.55	c nbDecision=428000 #constraints=24859
271.70/271.88	c nbDecision=428500 #constraints=24939
272.20/272.32	c nbDecision=429000 #constraints=24951
272.61/272.79	c nbDecision=429500 #constraints=24969
273.50/273.65	c nbDecision=430000 #constraints=25012
273.71/273.81	c nbDecision=430500 #constraints=25012
274.70/274.80	c nbDecision=431000 #constraints=25058
276.01/276.12	c nbDecision=431500 #constraints=25127
277.31/277.47	c nbDecision=432000 #constraints=25196
278.21/278.36	c nbDecision=432500 #constraints=25239
279.01/279.15	c nbDecision=433000 #constraints=25279
280.21/280.30	c nbDecision=433500 #constraints=25338
281.10/281.21	c nbDecision=434000 #constraints=25376
282.10/282.24	c nbDecision=434500 #constraints=25414
283.00/283.19	c nbDecision=435000 #constraints=25454
283.80/283.94	c nbDecision=435500 #constraints=25489
284.50/284.65	c nbDecision=436000 #constraints=25517
285.50/285.64	c nbDecision=436500 #constraints=25570
286.80/286.92	c nbDecision=437000 #constraints=25632
287.60/287.76	c nbDecision=437500 #constraints=25667
288.50/288.69	c nbDecision=438000 #constraints=25715
289.30/289.49	c nbDecision=438500 #constraints=25748
290.19/290.38	c nbDecision=439000 #constraints=25777
290.78/290.96	c nbDecision=439500 #constraints=25787
291.28/291.49	c nbDecision=440000 #constraints=25806
291.58/291.73	c nbDecision=440500 #constraints=25813
292.18/292.39	c nbDecision=441000 #constraints=25845
292.78/292.98	c nbDecision=441500 #constraints=25867
292.98/293.19	c nbDecision=442000 #constraints=25868
293.58/293.74	c nbDecision=442500 #constraints=25890
294.28/294.45	c nbDecision=443000 #constraints=25922
294.48/294.68	c nbDecision=443500 #constraints=25930
295.17/295.35	c nbDecision=444000 #constraints=25955
295.97/296.14	c nbDecision=444500 #constraints=25990
296.57/296.72	c nbDecision=445000 #constraints=26020
296.87/297.01	c nbDecision=445500 #constraints=26026
297.37/297.50	c nbDecision=446000 #constraints=26048
297.77/297.94	c nbDecision=446500 #constraints=26060
298.17/298.35	c nbDecision=447000 #constraints=26087
298.56/298.72	c nbDecision=447500 #constraints=26097
299.27/299.48	c nbDecision=448000 #constraints=26141
299.77/299.92	c nbDecision=448500 #constraints=26152
300.77/300.95	c nbDecision=449000 #constraints=26207
301.47/301.68	c nbDecision=449500 #constraints=26229
301.95/302.15	c nbDecision=450000 #constraints=26245
302.36/302.54	c nbDecision=450500 #constraints=26267
302.95/303.18	c nbDecision=451000 #constraints=26293
303.75/303.91	c nbDecision=451500 #constraints=26340
304.05/304.25	c nbDecision=452000 #constraints=26356
304.65/304.85	c nbDecision=452500 #constraints=26388
305.54/305.73	c nbDecision=453000 #constraints=26424
305.95/306.18	c nbDecision=453500 #constraints=26437
306.35/306.55	c nbDecision=454000 #constraints=26455
307.05/307.25	c nbDecision=454500 #constraints=26481
307.75/307.94	c nbDecision=455000 #constraints=26503
308.34/308.52	c nbDecision=455500 #constraints=26533
309.04/309.26	c nbDecision=456000 #constraints=26563
309.24/309.47	c nbDecision=456500 #constraints=26567
310.14/310.33	c nbDecision=457000 #constraints=26608
310.93/311.11	c nbDecision=457500 #constraints=26643
311.23/311.45	c nbDecision=458000 #constraints=26658
311.63/311.84	c nbDecision=458500 #constraints=26669
312.23/312.44	c nbDecision=459000 #constraints=26697
313.03/313.24	c nbDecision=459500 #constraints=26729
313.33/313.58	c nbDecision=460000 #constraints=26732
314.02/314.22	c nbDecision=460500 #constraints=26760
314.32/314.57	c nbDecision=461000 #constraints=26772
314.92/315.15	c nbDecision=461500 #constraints=26797
315.42/315.67	c nbDecision=462000 #constraints=26814
316.12/316.33	c nbDecision=462500 #constraints=26837
316.62/316.84	c nbDecision=463000 #constraints=26864
317.31/317.52	c nbDecision=463500 #constraints=26898
317.51/317.72	c nbDecision=464000 #constraints=26898
317.81/318.09	c nbDecision=464500 #constraints=26904
318.31/318.57	c nbDecision=465000 #constraints=26925
318.82/319.05	c nbDecision=465500 #constraints=26955
319.21/319.44	c nbDecision=466000 #constraints=26967
319.71/319.98	c nbDecision=466500 #constraints=26986
320.41/320.66	c nbDecision=467000 #constraints=27007
321.02/321.25	c nbDecision=467500 #constraints=27027
321.41/321.68	c nbDecision=468000 #constraints=27046
322.01/322.27	c nbDecision=468500 #constraints=27071
322.91/323.13	c nbDecision=469000 #constraints=27125
323.31/323.53	c nbDecision=469500 #constraints=27141
323.91/324.12	c nbDecision=470000 #constraints=27169
324.61/324.89	c nbDecision=470500 #constraints=27218
325.21/325.43	c nbDecision=471000 #constraints=27234
325.81/326.04	c nbDecision=471500 #constraints=27266
326.71/326.99	c nbDecision=472000 #constraints=27304
327.31/327.51	c nbDecision=472500 #constraints=27320
327.61/327.85	c nbDecision=473000 #constraints=27337
328.01/328.28	c nbDecision=473500 #constraints=27352
328.81/329.01	c nbDecision=474000 #constraints=27380
329.61/329.85	c nbDecision=474500 #constraints=27414
330.41/330.65	c nbDecision=475000 #constraints=27429
330.61/330.89	c nbDecision=475500 #constraints=27433
331.11/331.39	c nbDecision=476000 #constraints=27452
331.60/331.81	c nbDecision=476500 #constraints=27458
331.91/332.15	c nbDecision=477000 #constraints=27468
332.30/332.58	c nbDecision=477500 #constraints=27477
332.80/333.04	c nbDecision=478000 #constraints=27489
333.50/333.78	c nbDecision=478500 #constraints=27518
333.80/334.08	c nbDecision=479000 #constraints=27525
334.21/334.47	c nbDecision=479500 #constraints=27534
335.00/335.23	c nbDecision=480000 #constraints=27569
335.80/336.06	c nbDecision=480500 #constraints=27613
336.20/336.47	c nbDecision=481000 #constraints=27620
336.70/336.96	c nbDecision=481500 #constraints=27637
337.70/337.99	c nbDecision=482000 #constraints=27677
338.00/338.23	c nbDecision=482500 #constraints=27681
338.40/338.69	c nbDecision=483000 #constraints=27695
339.21/339.50	c nbDecision=483500 #constraints=27752
339.81/340.01	c nbDecision=484000 #constraints=27773
340.01/340.28	c nbDecision=484500 #constraints=27783
340.41/340.67	c nbDecision=485000 #constraints=27793
340.99/341.23	c nbDecision=485500 #constraints=27805
341.19/341.41	c nbDecision=486000 #constraints=27805
341.59/341.88	c nbDecision=486500 #constraints=27822
342.29/342.51	c nbDecision=487000 #constraints=27848
342.58/342.89	c nbDecision=487500 #constraints=27861
343.58/343.88	c nbDecision=488000 #constraints=27902
343.78/344.04	c nbDecision=488500 #constraints=27902
344.18/344.47	c nbDecision=489000 #constraints=27910
344.78/345.04	c nbDecision=489500 #constraints=27948
345.18/345.48	c nbDecision=490000 #constraints=27961
345.78/346.00	c nbDecision=490500 #constraints=27971
346.28/346.55	c nbDecision=491000 #constraints=27990
346.58/346.89	c nbDecision=491500 #constraints=27999
347.28/347.51	c nbDecision=492000 #constraints=28033
348.08/348.33	c nbDecision=492500 #constraints=28077
348.38/348.67	c nbDecision=493000 #constraints=28086
348.98/349.23	c nbDecision=493500 #constraints=28107
349.48/349.79	c nbDecision=494000 #constraints=28131
350.27/350.54	c nbDecision=494500 #constraints=28166
350.58/350.84	c nbDecision=495000 #constraints=28172
351.37/351.68	c nbDecision=495500 #constraints=28195
351.78/352.07	c nbDecision=496000 #constraints=28209
352.37/352.63	c nbDecision=496500 #constraints=28223
352.88/353.14	c nbDecision=497000 #constraints=28243
353.37/353.69	c nbDecision=497500 #constraints=28268
354.27/354.52	c nbDecision=498000 #constraints=28316
354.57/354.88	c nbDecision=498500 #constraints=28328
355.07/355.32	c nbDecision=499000 #constraints=28337
355.58/355.86	c nbDecision=499500 #constraints=28360
356.18/356.49	c nbDecision=500000 #constraints=28384
356.48/356.71	c nbDecision=500500 #constraints=28384
357.18/357.44	c nbDecision=501000 #constraints=28412
358.18/358.41	c nbDecision=501500 #constraints=28450
358.58/358.84	c nbDecision=502000 #constraints=28467
359.18/359.42	c nbDecision=502500 #constraints=28494
359.48/359.70	c nbDecision=503000 #constraints=28499
359.98/360.21	c nbDecision=503500 #constraints=28517
360.58/360.86	c nbDecision=504000 #constraints=28543
361.18/361.42	c nbDecision=504500 #constraints=28561
361.48/361.76	c nbDecision=505000 #constraints=28571
361.98/362.27	c nbDecision=505500 #constraints=28587
362.47/362.70	c nbDecision=506000 #constraints=28596
363.07/363.30	c nbDecision=506500 #constraints=28624
363.57/363.80	c nbDecision=507000 #constraints=28642
364.57/364.83	c nbDecision=507500 #constraints=28689
364.87/365.17	c nbDecision=508000 #constraints=28698
366.07/366.31	c nbDecision=508500 #constraints=28758
366.37/366.69	c nbDecision=509000 #constraints=28760
366.87/367.13	c nbDecision=509500 #constraints=28769
367.37/367.61	c nbDecision=510000 #constraints=28777
367.67/367.91	c nbDecision=510500 #constraints=28783
368.07/368.30	c nbDecision=511000 #constraints=28789
368.57/368.82	c nbDecision=511500 #constraints=28809
369.17/369.48	c nbDecision=512000 #constraints=28832
369.37/369.69	c nbDecision=512500 #constraints=28833
369.87/370.17	c nbDecision=513000 #constraints=28845
370.37/370.63	c nbDecision=513500 #constraints=28858
370.77/371.09	c nbDecision=514000 #constraints=28868
371.07/371.39	c nbDecision=514500 #constraints=28875
371.47/371.73	c nbDecision=515000 #constraints=28877
371.77/372.08	c nbDecision=515500 #constraints=28878
372.37/372.66	c nbDecision=516000 #constraints=28900
372.57/372.84	c nbDecision=516500 #constraints=28900
373.07/373.30	c nbDecision=517000 #constraints=28914
373.57/373.86	c nbDecision=517500 #constraints=28927
373.87/374.18	c nbDecision=518000 #constraints=28941
374.37/374.61	c nbDecision=518500 #constraints=28953
374.77/375.09	c nbDecision=519000 #constraints=28966
375.07/375.36	c nbDecision=519500 #constraints=28966
375.56/375.82	c nbDecision=520000 #constraints=28983
376.06/376.30	c nbDecision=520500 #constraints=29002
376.56/376.85	c nbDecision=521000 #constraints=29019
376.86/377.18	c nbDecision=521500 #constraints=29031
377.36/377.60	c nbDecision=522000 #constraints=29034
377.96/378.20	c nbDecision=522500 #constraints=29061
378.26/378.54	c nbDecision=523000 #constraints=29076
378.66/378.94	c nbDecision=523500 #constraints=29088
379.26/379.50	c nbDecision=524000 #constraints=29102
379.56/379.81	c nbDecision=524500 #constraints=29110
379.96/380.23	c nbDecision=525000 #constraints=29122
380.36/380.69	c nbDecision=525500 #constraints=29131
380.96/381.23	c nbDecision=526000 #constraints=29150
381.26/381.55	c nbDecision=526500 #constraints=29152
381.66/381.97	c nbDecision=527000 #constraints=29161
382.26/382.53	c nbDecision=527500 #constraints=29181
382.56/382.85	c nbDecision=528000 #constraints=29195
382.96/383.28	c nbDecision=528500 #constraints=29204
383.66/383.92	c nbDecision=529000 #constraints=29238
384.06/384.30	c nbDecision=529500 #constraints=29255
384.36/384.68	c nbDecision=530000 #constraints=29263
384.86/385.14	c nbDecision=530500 #constraints=29271
385.26/385.58	c nbDecision=531000 #constraints=29279
385.66/385.91	c nbDecision=531500 #constraints=29288
386.06/386.38	c nbDecision=532000 #constraints=29306
386.65/386.96	c nbDecision=532500 #constraints=29332
387.05/387.36	c nbDecision=533000 #constraints=29349
387.46/387.77	c nbDecision=533500 #constraints=29359
387.97/388.28	c nbDecision=534000 #constraints=29377
388.56/388.89	c nbDecision=534500 #constraints=29395
388.86/389.11	c nbDecision=535000 #constraints=29397
389.36/389.62	c nbDecision=535500 #constraints=29422
389.86/390.17	c nbDecision=536000 #constraints=29438
390.16/390.48	c nbDecision=536500 #constraints=29444
390.56/390.82	c nbDecision=537000 #constraints=29448
390.96/391.25	c nbDecision=537500 #constraints=29456
391.46/391.78	c nbDecision=538000 #constraints=29471
391.76/392.08	c nbDecision=538500 #constraints=29479
392.16/392.43	c nbDecision=539000 #constraints=29485
392.66/392.98	c nbDecision=539500 #constraints=29505
393.36/393.60	c nbDecision=540000 #constraints=29527
393.56/393.82	c nbDecision=540500 #constraints=29531
394.16/394.44	c nbDecision=541000 #constraints=29566
394.56/394.87	c nbDecision=541500 #constraints=29568
395.06/395.30	c nbDecision=542000 #constraints=29576
395.46/395.70	c nbDecision=542500 #constraints=29583
395.96/396.23	c nbDecision=543000 #constraints=29604
396.56/396.82	c nbDecision=543500 #constraints=29624
396.86/397.14	c nbDecision=544000 #constraints=29637
397.25/397.59	c nbDecision=544500 #constraints=29648
397.75/398.09	c nbDecision=545000 #constraints=29667
398.35/398.64	c nbDecision=545500 #constraints=29682
398.65/398.98	c nbDecision=546000 #constraints=29699
399.06/399.39	c nbDecision=546500 #constraints=29705
399.75/400.00	c nbDecision=547000 #constraints=29728
399.95/400.22	c nbDecision=547500 #constraints=29732
400.55/400.88	c nbDecision=548000 #constraints=29756
401.05/401.34	c nbDecision=548500 #constraints=29765
401.35/401.65	c nbDecision=549000 #constraints=29771
401.75/402.04	c nbDecision=549500 #constraints=29779
402.25/402.51	c nbDecision=550000 #constraints=29795
402.85/403.18	c nbDecision=550500 #constraints=29815
403.15/403.43	c nbDecision=551000 #constraints=29815
403.55/403.89	c nbDecision=551500 #constraints=29830
404.25/404.54	c nbDecision=552000 #constraints=29858
404.75/405.05	c nbDecision=552500 #constraints=29872
405.15/405.41	c nbDecision=553000 #constraints=29885
405.45/405.74	c nbDecision=553500 #constraints=29888
405.85/406.16	c nbDecision=554000 #constraints=29898
406.45/406.70	c nbDecision=554500 #constraints=29910
406.65/406.97	c nbDecision=555000 #constraints=29919
407.25/407.55	c nbDecision=555500 #constraints=29947
408.15/408.49	c nbDecision=556000 #constraints=29993
408.75/409.08	c nbDecision=556500 #constraints=30013
409.15/409.44	c nbDecision=557000 #constraints=30022
409.55/409.82	c nbDecision=557500 #constraints=30029
410.06/410.33	c nbDecision=558000 #constraints=30045
410.55/410.88	c nbDecision=558500 #constraints=30061
410.95/411.25	c nbDecision=559000 #constraints=30075
411.35/411.61	c nbDecision=559500 #constraints=30077
411.95/412.22	c nbDecision=560000 #constraints=30106
412.35/412.66	c nbDecision=560500 #constraints=30108
412.75/413.01	c nbDecision=561000 #constraints=30124
413.25/413.56	c nbDecision=561500 #constraints=30143
413.75/414.08	c nbDecision=562000 #constraints=30161
413.95/414.26	c nbDecision=562500 #constraints=30161
414.35/414.69	c nbDecision=563000 #constraints=30167
414.95/415.28	c nbDecision=563500 #constraints=30187
415.35/415.64	c nbDecision=564000 #constraints=30203
416.75/417.09	c nbDecision=564500 #constraints=30251
417.85/418.10	c nbDecision=565000 #constraints=30263
419.44/419.76	c nbDecision=565500 #constraints=30319
420.84/421.14	c nbDecision=566000 #constraints=30366
422.15/422.41	c nbDecision=566500 #constraints=30403
423.65/423.96	c nbDecision=567000 #constraints=30452
424.85/425.19	c nbDecision=567500 #constraints=30476
426.15/426.47	c nbDecision=568000 #constraints=30521
427.85/428.12	c nbDecision=568500 #constraints=30577
429.55/429.83	c nbDecision=569000 #constraints=30623
430.75/431.08	c nbDecision=569500 #constraints=30657
432.05/432.31	c nbDecision=570000 #constraints=30677
433.15/433.40	c nbDecision=570500 #constraints=30707
434.15/434.48	c nbDecision=571000 #constraints=30745
435.94/436.29	c nbDecision=571500 #constraints=30791
438.14/438.49	c nbDecision=572000 #constraints=30860
439.54/439.84	c nbDecision=572500 #constraints=30901
440.74/441.09	c nbDecision=573000 #constraints=30947
441.74/442.05	c nbDecision=573500 #constraints=30975
442.24/442.56	c nbDecision=574000 #constraints=30989
442.84/443.16	c nbDecision=574500 #constraints=31014
443.34/443.69	c nbDecision=575000 #constraints=31029
443.84/444.12	c nbDecision=575500 #constraints=31039
444.24/444.54	c nbDecision=576000 #constraints=31042
444.63/444.96	c nbDecision=576500 #constraints=31043
445.14/445.46	c nbDecision=577000 #constraints=31047
445.33/445.69	c nbDecision=577500 #constraints=31050
445.93/446.23	c nbDecision=578000 #constraints=31067
446.63/446.92	c nbDecision=578500 #constraints=31090
447.03/447.31	c nbDecision=579000 #constraints=31102
447.33/447.69	c nbDecision=579500 #constraints=31107
448.03/448.37	c nbDecision=580000 #constraints=31137
448.64/448.99	c nbDecision=580500 #constraints=31154
449.04/449.32	c nbDecision=581000 #constraints=31158
449.44/449.70	c nbDecision=581500 #constraints=31162
449.94/450.26	c nbDecision=582000 #constraints=31184
450.54/450.83	c nbDecision=582500 #constraints=31194
450.84/451.17	c nbDecision=583000 #constraints=31208
451.44/451.72	c nbDecision=583500 #constraints=31221
452.04/452.34	c nbDecision=584000 #constraints=31238
452.34/452.66	c nbDecision=584500 #constraints=31244
452.74/453.02	c nbDecision=585000 #constraints=31246
453.14/453.48	c nbDecision=585500 #constraints=31254
453.64/453.92	c nbDecision=586000 #constraints=31256
454.24/454.50	c nbDecision=586500 #constraints=31278
454.54/454.83	c nbDecision=587000 #constraints=31279
454.94/455.26	c nbDecision=587500 #constraints=31282
455.44/455.75	c nbDecision=588000 #constraints=31293
455.94/456.30	c nbDecision=588500 #constraints=31321
456.44/456.77	c nbDecision=589000 #constraints=31330
456.93/457.27	c nbDecision=589500 #constraints=31341
457.63/457.91	c nbDecision=590000 #constraints=31355
457.83/458.12	c nbDecision=590500 #constraints=31355
458.34/458.63	c nbDecision=591000 #constraints=31366
458.73/459.01	c nbDecision=591500 #constraints=31367
459.33/459.63	c nbDecision=592000 #constraints=31386
459.54/459.85	c nbDecision=592500 #constraints=31389
460.03/460.34	c nbDecision=593000 #constraints=31401
460.64/460.91	c nbDecision=593500 #constraints=31423
461.33/461.67	c nbDecision=594000 #constraints=31452
461.53/461.86	c nbDecision=594500 #constraints=31452
462.03/462.35	c nbDecision=595000 #constraints=31465
462.63/462.91	c nbDecision=595500 #constraints=31483
462.93/463.20	c nbDecision=596000 #constraints=31483
463.23/463.53	c nbDecision=596500 #constraints=31484
463.73/464.06	c nbDecision=597000 #constraints=31501
464.33/464.66	c nbDecision=597500 #constraints=31526
464.53/464.87	c nbDecision=598000 #constraints=31528
465.13/465.40	c nbDecision=598500 #constraints=31544
465.73/466.05	c nbDecision=599000 #constraints=31555
466.03/466.38	c nbDecision=599500 #constraints=31562
467.13/467.41	c nbDecision=600000 #constraints=31592
467.63/467.94	c nbDecision=600500 #constraints=31604
468.03/468.37	c nbDecision=601000 #constraints=31621
468.43/468.79	c nbDecision=601500 #constraints=31630
469.03/469.35	c nbDecision=602000 #constraints=31652
469.33/469.66	c nbDecision=602500 #constraints=31658
469.73/470.00	c nbDecision=603000 #constraints=31660
470.23/470.60	c nbDecision=603500 #constraints=31680
470.63/470.97	c nbDecision=604000 #constraints=31691
471.03/471.40	c nbDecision=604500 #constraints=31699
471.63/472.00	c nbDecision=605000 #constraints=31720
472.22/472.52	c nbDecision=605500 #constraints=31731
472.73/473.03	c nbDecision=606000 #constraints=31756
473.12/473.40	c nbDecision=606500 #constraints=31758
473.52/473.82	c nbDecision=607000 #constraints=31760
474.12/474.40	c nbDecision=607500 #constraints=31774
474.32/474.65	c nbDecision=608000 #constraints=31779
475.02/475.35	c nbDecision=608500 #constraints=31802
475.72/476.07	c nbDecision=609000 #constraints=31832
476.53/476.87	c nbDecision=609500 #constraints=31853
477.33/477.64	c nbDecision=610000 #constraints=31885
477.83/478.15	c nbDecision=610500 #constraints=31892
478.33/478.67	c nbDecision=611000 #constraints=31899
478.63/478.95	c nbDecision=611500 #constraints=31908
479.03/479.37	c nbDecision=612000 #constraints=31915
479.73/480.02	c nbDecision=612500 #constraints=31929
480.13/480.40	c nbDecision=613000 #constraints=31942
480.53/480.81	c nbDecision=613500 #constraints=31950
481.13/481.42	c nbDecision=614000 #constraints=31960
481.73/482.04	c nbDecision=614500 #constraints=31979
482.03/482.37	c nbDecision=615000 #constraints=31988
482.53/482.86	c nbDecision=615500 #constraints=32010
483.23/483.52	c nbDecision=616000 #constraints=32025
483.93/484.25	c nbDecision=616500 #constraints=32048
484.73/485.04	c nbDecision=617000 #constraints=32073
485.03/485.39	c nbDecision=617500 #constraints=32080
485.53/485.83	c nbDecision=618000 #constraints=32090
486.03/486.37	c nbDecision=618500 #constraints=32103
486.72/487.01	c nbDecision=619000 #constraints=32128
486.93/487.24	c nbDecision=619500 #constraints=32131
487.42/487.78	c nbDecision=620000 #constraints=32143
487.92/488.25	c nbDecision=620500 #constraints=32145
488.22/488.54	c nbDecision=621000 #constraints=32150
488.62/488.93	c nbDecision=621500 #constraints=32151
489.13/489.45	c nbDecision=622000 #constraints=32162
489.42/489.72	c nbDecision=622500 #constraints=32162
489.82/490.18	c nbDecision=623000 #constraints=32175
490.62/490.94	c nbDecision=623500 #constraints=32216
491.12/491.48	c nbDecision=624000 #constraints=32225
491.43/491.74	c nbDecision=624500 #constraints=32232
491.82/492.17	c nbDecision=625000 #constraints=32234
492.32/492.64	c nbDecision=625500 #constraints=32242
492.72/493.02	c nbDecision=626000 #constraints=32254
493.12/493.49	c nbDecision=626500 #constraints=32267
493.72/494.00	c nbDecision=627000 #constraints=32280
494.22/494.55	c nbDecision=627500 #constraints=32289
494.52/494.88	c nbDecision=628000 #constraints=32297
495.01/495.31	c nbDecision=628500 #constraints=32311
495.41/495.71	c nbDecision=629000 #constraints=32312
496.01/496.39	c nbDecision=629500 #constraints=32327
496.21/496.58	c nbDecision=630000 #constraints=32328
496.82/497.14	c nbDecision=630500 #constraints=32351
497.31/497.63	c nbDecision=631000 #constraints=32358
497.61/497.93	c nbDecision=631500 #constraints=32368
498.02/498.38	c nbDecision=632000 #constraints=32377
498.71/499.04	c nbDecision=632500 #constraints=32400
499.02/499.32	c nbDecision=633000 #constraints=32407
499.41/499.78	c nbDecision=633500 #constraints=32415
500.12/500.44	c nbDecision=634000 #constraints=32433
500.61/500.99	c nbDecision=634500 #constraints=32449
501.22/501.57	c nbDecision=635000 #constraints=32470
501.72/502.06	c nbDecision=635500 #constraints=32478
502.42/502.71	c nbDecision=636000 #constraints=32486
503.22/503.51	c nbDecision=636500 #constraints=32510
503.62/503.99	c nbDecision=637000 #constraints=32517
504.52/504.88	c nbDecision=637500 #constraints=32563
504.82/505.13	c nbDecision=638000 #constraints=32566
505.32/505.63	c nbDecision=638500 #constraints=32573
505.72/506.04	c nbDecision=639000 #constraints=32574
506.32/506.60	c nbDecision=639500 #constraints=32583
506.52/506.85	c nbDecision=640000 #constraints=32583
507.02/507.31	c nbDecision=640500 #constraints=32595
507.42/507.71	c nbDecision=641000 #constraints=32596
507.92/508.23	c nbDecision=641500 #constraints=32604
508.32/508.66	c nbDecision=642000 #constraints=32618
508.72/509.06	c nbDecision=642500 #constraints=32620
509.31/509.64	c nbDecision=643000 #constraints=32633
510.31/510.68	c nbDecision=643500 #constraints=32669
510.82/511.12	c nbDecision=644000 #constraints=32680
511.31/511.67	c nbDecision=644500 #constraints=32698
512.01/512.36	c nbDecision=645000 #constraints=32724
512.32/512.65	c nbDecision=645500 #constraints=32733
513.11/513.45	c nbDecision=646000 #constraints=32754
514.01/514.39	c nbDecision=646500 #constraints=32779
514.31/514.65	c nbDecision=647000 #constraints=32785
515.01/515.30	c nbDecision=647500 #constraints=32801
515.81/516.12	c nbDecision=648000 #constraints=32817
516.31/516.60	c nbDecision=648500 #constraints=32833
517.91/518.20	c nbDecision=649000 #constraints=32906
518.31/518.66	c nbDecision=649500 #constraints=32909
518.91/519.28	c nbDecision=650000 #constraints=32927
519.31/519.60	c nbDecision=650500 #constraints=32934
519.81/520.10	c nbDecision=651000 #constraints=32941
520.21/520.55	c nbDecision=651500 #constraints=32946
520.61/520.90	c nbDecision=652000 #constraints=32955
520.91/521.29	c nbDecision=652500 #constraints=32966
521.41/521.73	c nbDecision=653000 #constraints=32969
522.21/522.58	c nbDecision=653500 #constraints=32991
522.61/522.97	c nbDecision=654000 #constraints=33005
523.21/523.59	c nbDecision=654500 #constraints=33015
523.80/524.19	c nbDecision=655000 #constraints=33033
524.60/524.99	c nbDecision=655500 #constraints=33050
525.51/525.86	c nbDecision=656000 #constraints=33095
525.80/526.14	c nbDecision=656500 #constraints=33096
526.71/527.02	c nbDecision=657000 #constraints=33131
527.41/527.74	c nbDecision=657500 #constraints=33149
528.31/528.61	c nbDecision=658000 #constraints=33165
529.01/529.34	c nbDecision=658500 #constraints=33189
529.71/530.02	c nbDecision=659000 #constraints=33205
530.21/530.59	c nbDecision=659500 #constraints=33221
530.81/531.14	c nbDecision=660000 #constraints=33240
531.51/531.82	c nbDecision=660500 #constraints=33261
532.01/532.35	c nbDecision=661000 #constraints=33267
532.31/532.65	c nbDecision=661500 #constraints=33273
532.81/533.18	c nbDecision=662000 #constraints=33284
533.60/533.92	c nbDecision=662500 #constraints=33313
534.00/534.31	c nbDecision=663000 #constraints=33321
534.31/534.68	c nbDecision=663500 #constraints=33326
534.80/535.14	c nbDecision=664000 #constraints=33331
535.60/535.92	c nbDecision=664500 #constraints=33360
535.80/536.13	c nbDecision=665000 #constraints=33362
536.60/536.95	c nbDecision=665500 #constraints=33391
537.10/537.47	c nbDecision=666000 #constraints=33400
537.51/537.81	c nbDecision=666500 #constraints=33404
537.90/538.22	c nbDecision=667000 #constraints=33412
538.40/538.79	c nbDecision=667500 #constraints=33428
538.80/539.17	c nbDecision=668000 #constraints=33442
539.20/539.54	c nbDecision=668500 #constraints=33447
539.60/539.96	c nbDecision=669000 #constraints=33449
540.20/540.51	c nbDecision=669500 #constraints=33461
540.60/540.92	c nbDecision=670000 #constraints=33473
541.00/541.34	c nbDecision=670500 #constraints=33483
541.50/541.87	c nbDecision=671000 #constraints=33493
541.90/542.29	c nbDecision=671500 #constraints=33510
542.40/542.70	c nbDecision=672000 #constraints=33517
542.90/543.20	c nbDecision=672500 #constraints=33525
543.30/543.62	c nbDecision=673000 #constraints=33538
543.70/544.00	c nbDecision=673500 #constraints=33540
544.10/544.47	c nbDecision=674000 #constraints=33544
544.90/545.23	c nbDecision=674500 #constraints=33569
545.70/546.04	c nbDecision=675000 #constraints=33594
546.20/546.57	c nbDecision=675500 #constraints=33598
546.80/547.11	c nbDecision=676000 #constraints=33607
547.10/547.47	c nbDecision=676500 #constraints=33615
547.50/547.89	c nbDecision=677000 #constraints=33623
548.00/548.37	c nbDecision=677500 #constraints=33626
548.50/548.86	c nbDecision=678000 #constraints=33628
549.00/549.35	c nbDecision=678500 #constraints=33652
549.60/549.90	c nbDecision=679000 #constraints=33669
550.10/550.41	c nbDecision=679500 #constraints=33680
550.40/550.72	c nbDecision=680000 #constraints=33682
550.70/551.07	c nbDecision=680500 #constraints=33684
551.30/551.60	c nbDecision=681000 #constraints=33698
551.80/552.20	c nbDecision=681500 #constraints=33712
552.20/552.52	c nbDecision=682000 #constraints=33721
552.70/553.05	c nbDecision=682500 #constraints=33737
553.29/553.66	c nbDecision=683000 #constraints=33755
554.10/554.43	c nbDecision=683500 #constraints=33781
554.29/554.61	c nbDecision=684000 #constraints=33781
554.90/555.22	c nbDecision=684500 #constraints=33804
555.60/555.95	c nbDecision=685000 #constraints=33827
555.90/556.25	c nbDecision=685500 #constraints=33836
556.40/556.79	c nbDecision=686000 #constraints=33847
557.00/557.33	c nbDecision=686500 #constraints=33861
557.30/557.61	c nbDecision=687000 #constraints=33866
557.70/558.06	c nbDecision=687500 #constraints=33868
558.20/558.58	c nbDecision=688000 #constraints=33884
558.60/558.96	c nbDecision=688500 #constraints=33890
559.00/559.33	c nbDecision=689000 #constraints=33892
559.70/560.01	c nbDecision=689500 #constraints=33908
561.00/561.35	c nbDecision=690000 #constraints=33947
561.30/561.68	c nbDecision=690500 #constraints=33955
561.80/562.16	c nbDecision=691000 #constraints=33965
562.30/562.65	c nbDecision=691500 #constraints=33970
562.90/563.21	c nbDecision=692000 #constraints=33976
563.10/563.41	c nbDecision=692500 #constraints=33976
563.69/564.00	c nbDecision=693000 #constraints=33995
564.29/564.68	c nbDecision=693500 #constraints=34010
564.59/564.99	c nbDecision=694000 #constraints=34012
565.10/565.44	c nbDecision=694500 #constraints=34023
565.69/566.04	c nbDecision=695000 #constraints=34047
566.10/566.42	c nbDecision=695500 #constraints=34054
566.69/567.08	c nbDecision=696000 #constraints=34073
567.29/567.62	c nbDecision=696500 #constraints=34081
567.89/568.25	c nbDecision=697000 #constraints=34092
568.19/568.60	c nbDecision=697500 #constraints=34095
568.79/569.14	c nbDecision=698000 #constraints=34108
569.39/569.79	c nbDecision=698500 #constraints=34129
570.19/570.50	c nbDecision=699000 #constraints=34142
570.49/570.82	c nbDecision=699500 #constraints=34145
570.89/571.24	c nbDecision=700000 #constraints=34147
571.39/571.75	c nbDecision=700500 #constraints=34152
571.99/572.36	c nbDecision=701000 #constraints=34165
572.49/572.80	c nbDecision=701500 #constraints=34180
572.89/573.22	c nbDecision=702000 #constraints=34187
573.39/573.71	c nbDecision=702500 #constraints=34194
574.09/574.42	c nbDecision=703000 #constraints=34220
574.39/574.70	c nbDecision=703500 #constraints=34220
574.79/575.12	c nbDecision=704000 #constraints=34222
576.00/576.38	c nbDecision=704500 #constraints=34267
576.59/576.90	c nbDecision=705000 #constraints=34275
577.10/577.43	c nbDecision=705500 #constraints=34288
577.59/577.95	c nbDecision=706000 #constraints=34296
577.79/578.14	c nbDecision=706500 #constraints=34296
578.20/578.59	c nbDecision=707000 #constraints=34301
578.89/579.30	c nbDecision=707500 #constraints=34334
579.30/579.63	c nbDecision=708000 #constraints=34338
579.89/580.23	c nbDecision=708500 #constraints=34351
580.39/580.71	c nbDecision=709000 #constraints=34360
580.89/581.23	c nbDecision=709500 #constraints=34366
581.29/581.61	c nbDecision=710000 #constraints=34376
581.69/582.02	c nbDecision=710500 #constraints=34378
582.39/582.77	c nbDecision=711000 #constraints=34411
582.99/583.33	c nbDecision=711500 #constraints=34420
583.28/583.67	c nbDecision=712000 #constraints=34429
584.28/584.61	c nbDecision=712500 #constraints=34473
585.28/585.69	c nbDecision=713000 #constraints=34497
585.48/585.90	c nbDecision=713500 #constraints=34497
586.18/586.54	c nbDecision=714000 #constraints=34513
587.18/587.56	c nbDecision=714500 #constraints=34535
587.78/588.14	c nbDecision=715000 #constraints=34552
588.28/588.65	c nbDecision=715500 #constraints=34558
588.88/589.22	c nbDecision=716000 #constraints=34564
589.19/589.51	c nbDecision=716500 #constraints=34572
589.58/589.92	c nbDecision=717000 #constraints=34573
590.48/590.80	c nbDecision=717500 #constraints=34615
590.88/591.20	c nbDecision=718000 #constraints=34626
591.28/591.67	c nbDecision=718500 #constraints=34639
591.78/592.13	c nbDecision=719000 #constraints=34641
592.28/592.69	c nbDecision=719500 #constraints=34654
592.68/593.09	c nbDecision=720000 #constraints=34665
593.28/593.61	c nbDecision=720500 #constraints=34681
594.39/594.79	c nbDecision=721000 #constraints=34725
594.89/595.26	c nbDecision=721500 #constraints=34727
595.49/595.82	c nbDecision=722000 #constraints=34737
595.89/596.24	c nbDecision=722500 #constraints=34747
596.29/596.62	c nbDecision=723000 #constraints=34749
596.78/597.12	c nbDecision=723500 #constraints=34753
597.38/597.78	c nbDecision=724000 #constraints=34768
597.99/598.32	c nbDecision=724500 #constraints=34792
599.18/599.57	c nbDecision=725000 #constraints=34840
599.38/599.76	c nbDecision=725500 #constraints=34840
599.98/600.39	c nbDecision=726000 #constraints=34858
600.78/601.11	c nbDecision=726500 #constraints=34876
601.18/601.50	c nbDecision=727000 #constraints=34889
601.78/602.15	c nbDecision=727500 #constraints=34901
602.48/602.82	c nbDecision=728000 #constraints=34916
603.58/603.94	c nbDecision=728500 #constraints=34942
604.28/604.64	c nbDecision=729000 #constraints=34957
604.98/605.35	c nbDecision=729500 #constraints=34977
606.08/606.47	c nbDecision=730000 #constraints=35008
606.58/606.98	c nbDecision=730500 #constraints=35014
607.78/608.10	c nbDecision=731000 #constraints=35045
608.18/608.59	c nbDecision=731500 #constraints=35049
608.78/609.12	c nbDecision=732000 #constraints=35053
609.18/609.57	c nbDecision=732500 #constraints=35069
609.58/609.98	c nbDecision=733000 #constraints=35072
610.47/610.84	c nbDecision=733500 #constraints=35097
611.07/611.43	c nbDecision=734000 #constraints=35107
611.67/612.05	c nbDecision=734500 #constraints=35117
611.97/612.31	c nbDecision=735000 #constraints=35117
612.57/612.91	c nbDecision=735500 #constraints=35132
613.97/614.40	c nbDecision=736000 #constraints=35184
614.57/614.99	c nbDecision=736500 #constraints=35191
615.47/615.82	c nbDecision=737000 #constraints=35206
615.68/616.05	c nbDecision=737500 #constraints=35206
616.27/616.64	c nbDecision=738000 #constraints=35228
616.87/617.24	c nbDecision=738500 #constraints=35246
617.17/617.60	c nbDecision=739000 #constraints=35255
617.67/618.08	c nbDecision=739500 #constraints=35261
618.17/618.55	c nbDecision=740000 #constraints=35267
618.77/619.12	c nbDecision=740500 #constraints=35294
619.17/619.51	c nbDecision=741000 #constraints=35296
619.67/620.03	c nbDecision=741500 #constraints=35302
620.37/620.72	c nbDecision=742000 #constraints=35325
620.77/621.19	c nbDecision=742500 #constraints=35341
621.27/621.66	c nbDecision=743000 #constraints=35351
621.98/622.36	c nbDecision=743500 #constraints=35359
622.98/623.36	c nbDecision=744000 #constraints=35380
623.97/624.36	c nbDecision=744500 #constraints=35415
624.17/624.56	c nbDecision=745000 #constraints=35415
624.77/625.15	c nbDecision=745500 #constraints=35433
625.48/625.86	c nbDecision=746000 #constraints=35453
625.77/626.19	c nbDecision=746500 #constraints=35455
626.17/626.56	c nbDecision=747000 #constraints=35456
626.87/627.23	c nbDecision=747500 #constraints=35469
627.97/628.30	c nbDecision=748000 #constraints=35497
628.57/628.97	c nbDecision=748500 #constraints=35517
628.97/629.34	c nbDecision=749000 #constraints=35522
629.37/629.76	c nbDecision=749500 #constraints=35526
629.97/630.31	c nbDecision=750000 #constraints=35531
630.67/631.05	c nbDecision=750500 #constraints=35547
631.07/631.41	c nbDecision=751000 #constraints=35552
631.47/631.83	c nbDecision=751500 #constraints=35557
632.07/632.45	c nbDecision=752000 #constraints=35568
633.06/633.50	c nbDecision=752500 #constraints=35607
633.56/633.96	c nbDecision=753000 #constraints=35611
634.56/634.99	c nbDecision=753500 #constraints=35644
635.16/635.59	c nbDecision=754000 #constraints=35658
635.66/636.09	c nbDecision=754500 #constraints=35665
635.96/636.35	c nbDecision=755000 #constraints=35666
636.36/636.76	c nbDecision=755500 #constraints=35668
636.96/637.38	c nbDecision=756000 #constraints=35680
637.46/637.85	c nbDecision=756500 #constraints=35692
637.96/638.36	c nbDecision=757000 #constraints=35703
639.07/639.47	c nbDecision=757500 #constraints=35731
639.77/640.16	c nbDecision=758000 #constraints=35752
640.57/640.93	c nbDecision=758500 #constraints=35766
640.97/641.35	c nbDecision=759000 #constraints=35782
641.77/642.12	c nbDecision=759500 #constraints=35801
642.47/642.85	c nbDecision=760000 #constraints=35821
642.97/643.31	c nbDecision=760500 #constraints=35829
644.27/644.61	c nbDecision=761000 #constraints=35866
644.57/644.92	c nbDecision=761500 #constraints=35871
645.07/645.41	c nbDecision=762000 #constraints=35876
645.96/646.37	c nbDecision=762500 #constraints=35921
646.26/646.69	c nbDecision=763000 #constraints=35921
646.76/647.14	c nbDecision=763500 #constraints=35925
648.76/649.13	c nbDecision=764000 #constraints=35991
650.56/650.93	c nbDecision=764500 #constraints=36029
652.56/652.90	c nbDecision=765000 #constraints=36104
654.66/655.05	c nbDecision=765500 #constraints=36147
656.66/657.05	c nbDecision=766000 #constraints=36199
658.66/659.01	c nbDecision=766500 #constraints=36261
660.16/660.50	c nbDecision=767000 #constraints=36327
661.36/661.75	c nbDecision=767500 #constraints=36364
662.76/663.14	c nbDecision=768000 #constraints=36407
664.16/664.52	c nbDecision=768500 #constraints=36444
665.86/666.28	c nbDecision=769000 #constraints=36509
667.55/667.92	c nbDecision=769500 #constraints=36573
668.95/669.34	c nbDecision=770000 #constraints=36637
670.06/670.41	c nbDecision=770500 #constraints=36660
671.06/671.46	c nbDecision=771000 #constraints=36682
672.56/672.95	c nbDecision=771500 #constraints=36724
674.06/674.48	c nbDecision=772000 #constraints=36774
675.56/675.95	c nbDecision=772500 #constraints=36820
676.76/677.18	c nbDecision=773000 #constraints=36860
677.76/678.19	c nbDecision=773500 #constraints=36875
678.85/679.27	c nbDecision=774000 #constraints=36907
681.15/681.55	c nbDecision=774500 #constraints=36971
682.65/683.01	c nbDecision=775000 #constraints=37023
684.55/684.95	c nbDecision=775500 #constraints=37064
686.06/686.44	c nbDecision=776000 #constraints=37107
687.26/687.69	c nbDecision=776500 #constraints=37132
688.85/689.28	c nbDecision=777000 #constraints=37174
690.25/690.69	c nbDecision=777500 #constraints=37199
691.95/692.38	c nbDecision=778000 #constraints=37252
693.35/693.79	c nbDecision=778500 #constraints=37289
694.85/695.27	c nbDecision=779000 #constraints=37332
696.05/696.42	c nbDecision=779500 #constraints=37362
697.25/697.67	c nbDecision=780000 #constraints=37384
698.35/698.74	c nbDecision=780500 #constraints=37403
699.84/700.29	c nbDecision=781000 #constraints=37468
701.14/701.55	c nbDecision=781500 #constraints=37516
702.64/703.02	c nbDecision=782000 #constraints=37549
703.74/704.14	c nbDecision=782500 #constraints=37579
705.04/705.47	c nbDecision=783000 #constraints=37615
706.25/706.67	c nbDecision=783500 #constraints=37640
707.85/708.26	c nbDecision=784000 #constraints=37685
709.05/709.42	c nbDecision=784500 #constraints=37702
710.44/710.87	c nbDecision=785000 #constraints=37748
711.74/712.12	c nbDecision=785500 #constraints=37775
713.24/713.64	c nbDecision=786000 #constraints=37809
714.64/715.08	c nbDecision=786500 #constraints=37839
715.84/716.27	c nbDecision=787000 #constraints=37864
717.35/717.74	c nbDecision=787500 #constraints=37899
718.45/718.89	c nbDecision=788000 #constraints=37913
719.94/720.38	c nbDecision=788500 #constraints=37948
721.44/721.88	c nbDecision=789000 #constraints=37976
723.04/723.43	c nbDecision=789500 #constraints=38017
724.14/724.51	c nbDecision=790000 #constraints=38038
725.54/725.96	c nbDecision=790500 #constraints=38075
726.84/727.24	c nbDecision=791000 #constraints=38096
727.74/728.20	c nbDecision=791500 #constraints=38114
728.64/729.01	c nbDecision=792000 #constraints=38130
729.84/730.23	c nbDecision=792500 #constraints=38162
730.34/730.78	c nbDecision=793000 #constraints=38165
731.34/731.77	c nbDecision=793500 #constraints=38186
732.14/732.53	c nbDecision=794000 #constraints=38207
732.44/732.83	c nbDecision=794500 #constraints=38207
733.13/733.56	c nbDecision=795000 #constraints=38222
734.53/734.90	c nbDecision=795500 #constraints=38247
734.93/735.36	c nbDecision=796000 #constraints=38251
735.44/735.86	c nbDecision=796500 #constraints=38256
736.73/737.13	c nbDecision=797000 #constraints=38300
738.74/739.17	c nbDecision=797500 #constraints=38382
740.83/741.22	c nbDecision=798000 #constraints=38466
742.33/742.76	c nbDecision=798500 #constraints=38517
744.23/744.68	c nbDecision=799000 #constraints=38598
746.23/746.69	c nbDecision=799500 #constraints=38652
747.83/748.29	c nbDecision=800000 #constraints=38698
749.54/749.99	c nbDecision=800500 #constraints=38772
750.94/751.34	c nbDecision=801000 #constraints=38808
752.23/752.63	c nbDecision=801500 #constraints=38852
753.93/754.32	c nbDecision=802000 #constraints=38917
755.53/755.90	c nbDecision=802500 #constraints=38979
757.03/757.44	c nbDecision=803000 #constraints=39013
758.13/758.56	c nbDecision=803500 #constraints=39032
759.53/759.90	c nbDecision=804000 #constraints=39061
761.33/761.71	c nbDecision=804500 #constraints=39128
762.73/763.17	c nbDecision=805000 #constraints=39166
764.33/764.74	c nbDecision=805500 #constraints=39210
765.83/766.25	c nbDecision=806000 #constraints=39244
767.72/768.11	c nbDecision=806500 #constraints=39297
769.22/769.68	c nbDecision=807000 #constraints=39343
770.92/771.39	c nbDecision=807500 #constraints=39391
772.22/772.70	c nbDecision=808000 #constraints=39424
773.72/774.14	c nbDecision=808500 #constraints=39459
774.92/775.31	c nbDecision=809000 #constraints=39473
776.52/776.96	c nbDecision=809500 #constraints=39518
777.62/778.05	c nbDecision=810000 #constraints=39542
778.92/779.33	c nbDecision=810500 #constraints=39572
780.22/780.65	c nbDecision=811000 #constraints=39590
781.82/782.26	c nbDecision=811500 #constraints=39638
783.13/783.58	c nbDecision=812000 #constraints=39670
785.32/785.71	c nbDecision=812500 #constraints=39723
787.23/787.63	c nbDecision=813000 #constraints=39793
788.72/789.17	c nbDecision=813500 #constraints=39837
790.72/791.12	c nbDecision=814000 #constraints=39907
792.52/792.90	c nbDecision=814500 #constraints=39953
794.02/794.43	c nbDecision=815000 #constraints=39988
795.32/795.80	c nbDecision=815500 #constraints=40017
796.72/797.10	c nbDecision=816000 #constraints=40051
798.22/798.62	c nbDecision=816500 #constraints=40093
799.41/799.88	c nbDecision=817000 #constraints=40133
800.71/801.15	c nbDecision=817500 #constraints=40155
802.32/802.78	c nbDecision=818000 #constraints=40194
803.92/804.31	c nbDecision=818500 #constraints=40229
805.72/806.16	c nbDecision=819000 #constraints=40285
806.32/806.78	c restart after 819201 decisions
809.12/809.56	c nbDecision=819500 #constraints=40299
809.42/809.80	c nbDecision=820000 #constraints=40299
809.52/809.94	c nbDecision=820500 #constraints=40299
809.81/810.22	c nbDecision=821000 #constraints=40299
810.32/810.75	c nbDecision=821500 #constraints=40299
810.71/811.12	c nbDecision=822000 #constraints=40299
811.01/811.48	c nbDecision=822500 #constraints=40299
811.42/811.86	c nbDecision=823000 #constraints=40299
811.81/812.27	c nbDecision=823500 #constraints=40299
812.11/812.56	c nbDecision=824000 #constraints=40299
812.31/812.79	c nbDecision=824500 #constraints=40299
812.42/812.85	c nbDecision=825000 #constraints=40299
812.52/812.91	c nbDecision=825500 #constraints=40299
812.52/812.97	c nbDecision=826000 #constraints=40299
812.71/813.10	c nbDecision=826500 #constraints=40299
813.11/813.51	c nbDecision=827000 #constraints=40306
813.71/814.13	c nbDecision=827500 #constraints=40322
814.51/814.95	c nbDecision=828000 #constraints=40338
814.91/815.35	c nbDecision=828500 #constraints=40344
815.41/815.82	c nbDecision=829000 #constraints=40346
816.11/816.53	c nbDecision=829500 #constraints=40361
816.71/817.16	c nbDecision=830000 #constraints=40363
817.11/817.55	c nbDecision=830500 #constraints=40372
817.71/818.17	c nbDecision=831000 #constraints=40379
818.51/818.94	c nbDecision=831500 #constraints=40398
818.91/819.37	c nbDecision=832000 #constraints=40407
819.41/819.85	c nbDecision=832500 #constraints=40410
820.21/820.65	c nbDecision=833000 #constraints=40423
821.01/821.44	c nbDecision=833500 #constraints=40429
821.41/821.89	c nbDecision=834000 #constraints=40439
822.01/822.45	c nbDecision=834500 #constraints=40447
822.61/823.03	c nbDecision=835000 #constraints=40450
823.10/823.53	c nbDecision=835500 #constraints=40465
823.70/824.11	c nbDecision=836000 #constraints=40474
824.30/824.72	c nbDecision=836500 #constraints=40476
824.90/825.36	c nbDecision=837000 #constraints=40478
825.20/825.64	c nbDecision=837500 #constraints=40483
825.90/826.32	c nbDecision=838000 #constraints=40491
826.50/826.96	c nbDecision=838500 #constraints=40496
827.20/827.62	c nbDecision=839000 #constraints=40498
827.40/827.85	c nbDecision=839500 #constraints=40498
828.61/829.10	c nbDecision=840000 #constraints=40529
829.21/829.68	c nbDecision=840500 #constraints=40532
830.11/830.59	c nbDecision=841000 #constraints=40555
831.00/831.45	c nbDecision=841500 #constraints=40583
831.40/831.85	c nbDecision=842000 #constraints=40589
832.00/832.41	c nbDecision=842500 #constraints=40597
832.70/833.16	c nbDecision=843000 #constraints=40611
833.41/833.87	c nbDecision=843500 #constraints=40627
834.00/834.41	c nbDecision=844000 #constraints=40647
834.41/834.89	c nbDecision=844500 #constraints=40650
835.20/835.68	c nbDecision=845000 #constraints=40668
835.90/836.36	c nbDecision=845500 #constraints=40676
836.20/836.66	c nbDecision=846000 #constraints=40676
836.90/837.30	c nbDecision=846500 #constraints=40691
837.50/837.92	c nbDecision=847000 #constraints=40700
838.20/838.66	c nbDecision=847500 #constraints=40721
838.50/838.90	c nbDecision=848000 #constraints=40721
839.10/839.51	c nbDecision=848500 #constraints=40724
839.70/840.18	c nbDecision=849000 #constraints=40731
840.50/840.97	c nbDecision=849500 #constraints=40748
840.80/841.25	c nbDecision=850000 #constraints=40749
841.40/841.88	c nbDecision=850500 #constraints=40760
842.00/842.48	c nbDecision=851000 #constraints=40763
842.80/843.24	c nbDecision=851500 #constraints=40773
843.00/843.48	c nbDecision=852000 #constraints=40775
844.00/844.42	c nbDecision=852500 #constraints=40793
844.70/845.15	c nbDecision=853000 #constraints=40803
845.30/845.71	c nbDecision=853500 #constraints=40810
845.70/846.18	c nbDecision=854000 #constraints=40811
846.39/846.88	c nbDecision=854500 #constraints=40825
847.19/847.65	c nbDecision=855000 #constraints=40838
847.49/847.96	c nbDecision=855500 #constraints=40843
848.29/848.74	c nbDecision=856000 #constraints=40862
849.09/849.56	c nbDecision=856500 #constraints=40884
849.69/850.18	c nbDecision=857000 #constraints=40886
850.09/850.54	c nbDecision=857500 #constraints=40893
850.69/851.15	c nbDecision=858000 #constraints=40907
851.29/851.72	c nbDecision=858500 #constraints=40911
852.00/852.47	c nbDecision=859000 #constraints=40923
852.39/852.83	c nbDecision=859500 #constraints=40933
853.10/853.59	c nbDecision=860000 #constraints=40941
854.00/854.44	c nbDecision=860500 #constraints=40950
854.30/854.72	c nbDecision=861000 #constraints=40950
854.90/855.38	c nbDecision=861500 #constraints=40959
855.60/856.09	c nbDecision=862000 #constraints=40971
856.50/856.93	c nbDecision=862500 #constraints=40988
856.90/857.30	c nbDecision=863000 #constraints=40990
857.50/857.95	c nbDecision=863500 #constraints=41001
858.20/858.65	c nbDecision=864000 #constraints=41015
859.10/859.51	c nbDecision=864500 #constraints=41032
859.40/859.81	c nbDecision=865000 #constraints=41037
860.10/860.50	c nbDecision=865500 #constraints=41053
861.00/861.40	c nbDecision=866000 #constraints=41062
861.40/861.88	c nbDecision=866500 #constraints=41073
861.90/862.39	c nbDecision=867000 #constraints=41075
862.49/862.96	c nbDecision=867500 #constraints=41079
863.29/863.73	c nbDecision=868000 #constraints=41092
863.59/864.06	c nbDecision=868500 #constraints=41096
864.39/864.87	c nbDecision=869000 #constraints=41104
865.49/865.92	c nbDecision=869500 #constraints=41133
865.89/866.31	c nbDecision=870000 #constraints=41136
866.30/866.75	c nbDecision=870500 #constraints=41138
866.89/867.30	c nbDecision=871000 #constraints=41141
867.29/867.73	c nbDecision=871500 #constraints=41149
867.79/868.29	c nbDecision=872000 #constraints=41155
868.50/868.99	c nbDecision=872500 #constraints=41168
869.39/869.83	c nbDecision=873000 #constraints=41175
869.70/870.19	c nbDecision=873500 #constraints=41180
870.19/870.65	c nbDecision=874000 #constraints=41182
870.89/871.31	c nbDecision=874500 #constraints=41188
871.49/871.97	c nbDecision=875000 #constraints=41191
871.69/872.20	c nbDecision=875500 #constraints=41191
872.39/872.86	c nbDecision=876000 #constraints=41195
873.09/873.55	c nbDecision=876500 #constraints=41201
873.59/874.07	c nbDecision=877000 #constraints=41213
874.10/874.52	c nbDecision=877500 #constraints=41215
874.59/875.08	c nbDecision=878000 #constraints=41218
875.49/875.92	c nbDecision=878500 #constraints=41244
875.89/876.38	c nbDecision=879000 #constraints=41256
876.39/876.88	c nbDecision=879500 #constraints=41258
877.09/877.54	c nbDecision=880000 #constraints=41266
877.69/878.18	c nbDecision=880500 #constraints=41268
878.29/878.72	c nbDecision=881000 #constraints=41280
878.79/879.24	c nbDecision=881500 #constraints=41282
879.39/879.84	c nbDecision=882000 #constraints=41284
880.19/880.65	c nbDecision=882500 #constraints=41303
880.89/881.31	c nbDecision=883000 #constraints=41325
881.39/881.83	c nbDecision=883500 #constraints=41331
881.99/882.47	c nbDecision=884000 #constraints=41335
882.79/883.27	c nbDecision=884500 #constraints=41349
883.18/883.68	c nbDecision=885000 #constraints=41351
883.78/884.29	c nbDecision=885500 #constraints=41361
884.38/884.89	c nbDecision=886000 #constraints=41369
885.18/885.60	c nbDecision=886500 #constraints=41378
885.88/886.39	c nbDecision=887000 #constraints=41396
886.38/886.85	c nbDecision=887500 #constraints=41397
886.98/887.45	c nbDecision=888000 #constraints=41404
887.78/888.20	c nbDecision=888500 #constraints=41412
888.08/888.59	c nbDecision=889000 #constraints=41424
888.68/889.16	c nbDecision=889500 #constraints=41426
889.38/889.90	c nbDecision=890000 #constraints=41438
889.88/890.33	c nbDecision=890500 #constraints=41443
890.98/891.41	c nbDecision=891000 #constraints=41458
891.88/892.33	c nbDecision=891500 #constraints=41467
892.78/893.26	c nbDecision=892000 #constraints=41486
893.18/893.69	c nbDecision=892500 #constraints=41495
893.78/894.28	c nbDecision=893000 #constraints=41509
894.58/895.08	c nbDecision=893500 #constraints=41528
895.07/895.57	c nbDecision=894000 #constraints=41538
895.47/895.99	c nbDecision=894500 #constraints=41539
896.18/896.61	c nbDecision=895000 #constraints=41548
896.88/897.35	c nbDecision=895500 #constraints=41559
897.09/897.56	c nbDecision=896000 #constraints=41559
897.78/898.22	c nbDecision=896500 #constraints=41568
898.48/898.94	c nbDecision=897000 #constraints=41577
898.88/899.37	c nbDecision=897500 #constraints=41584
899.39/899.83	c nbDecision=898000 #constraints=41585
900.08/900.52	c nbDecision=898500 #constraints=41599
900.98/901.42	c nbDecision=899000 #constraints=41642
901.49/901.91	c nbDecision=899500 #constraints=41644
902.08/902.54	c nbDecision=900000 #constraints=41646
902.68/903.17	c nbDecision=900500 #constraints=41648
903.08/903.54	c nbDecision=901000 #constraints=41648
903.58/904.07	c nbDecision=901500 #constraints=41652
904.28/904.73	c nbDecision=902000 #constraints=41660
904.98/905.47	c nbDecision=902500 #constraints=41671
905.38/905.81	c nbDecision=903000 #constraints=41671
905.88/906.34	c nbDecision=903500 #constraints=41673
906.48/906.93	c nbDecision=904000 #constraints=41676
907.18/907.60	c nbDecision=904500 #constraints=41678
907.38/907.90	c nbDecision=905000 #constraints=41678
907.98/908.49	c nbDecision=905500 #constraints=41680
909.28/909.72	c nbDecision=906000 #constraints=41701
909.98/910.49	c nbDecision=906500 #constraints=41714
910.88/911.35	c nbDecision=907000 #constraints=41735
911.28/911.70	c nbDecision=907500 #constraints=41735
911.78/912.21	c nbDecision=908000 #constraints=41741
912.38/912.81	c nbDecision=908500 #constraints=41746
912.88/913.36	c nbDecision=909000 #constraints=41763
913.38/913.86	c nbDecision=909500 #constraints=41765
913.98/914.42	c nbDecision=910000 #constraints=41766
914.78/915.24	c nbDecision=910500 #constraints=41788
915.17/915.61	c nbDecision=911000 #constraints=41788
915.67/916.13	c nbDecision=911500 #constraints=41790
916.27/916.77	c nbDecision=912000 #constraints=41796
917.07/917.55	c nbDecision=912500 #constraints=41813
917.27/917.77	c nbDecision=913000 #constraints=41813
917.98/918.48	c nbDecision=913500 #constraints=41827
918.87/919.31	c nbDecision=914000 #constraints=41842
919.37/919.83	c nbDecision=914500 #constraints=41854
919.87/920.32	c nbDecision=915000 #constraints=41856
920.47/920.94	c nbDecision=915500 #constraints=41861
921.17/921.61	c nbDecision=916000 #constraints=41867
921.57/922.06	c nbDecision=916500 #constraints=41874
922.07/922.54	c nbDecision=917000 #constraints=41876
922.87/923.33	c nbDecision=917500 #constraints=41892
923.47/923.90	c nbDecision=918000 #constraints=41907
923.97/924.43	c nbDecision=918500 #constraints=41909
924.67/925.16	c nbDecision=919000 #constraints=41916
925.57/926.06	c nbDecision=919500 #constraints=41930
925.97/926.42	c nbDecision=920000 #constraints=41939
926.67/927.20	c nbDecision=920500 #constraints=41961
927.37/927.84	c nbDecision=921000 #constraints=41965
928.07/928.57	c nbDecision=921500 #constraints=41975
928.36/928.84	c nbDecision=922000 #constraints=41979
928.97/929.44	c nbDecision=922500 #constraints=41988
929.66/930.20	c nbDecision=923000 #constraints=41996
930.17/930.67	c nbDecision=923500 #constraints=42006
930.66/931.14	c nbDecision=924000 #constraints=42008
931.27/931.73	c nbDecision=924500 #constraints=42013
931.96/932.45	c nbDecision=925000 #constraints=42021
932.56/933.00	c nbDecision=925500 #constraints=42034
932.96/933.47	c nbDecision=926000 #constraints=42035
933.56/934.07	c nbDecision=926500 #constraints=42044
934.86/935.32	c nbDecision=927000 #constraints=42075
935.67/936.16	c nbDecision=927500 #constraints=42090
936.26/936.70	c nbDecision=928000 #constraints=42099
936.67/937.18	c nbDecision=928500 #constraints=42103
937.36/937.85	c nbDecision=929000 #constraints=42112
938.06/938.50	c nbDecision=929500 #constraints=42114
938.46/938.97	c nbDecision=930000 #constraints=42123
939.06/939.51	c nbDecision=930500 #constraints=42130
940.07/940.54	c nbDecision=931000 #constraints=42157
940.76/941.21	c nbDecision=931500 #constraints=42162
941.07/941.57	c nbDecision=932000 #constraints=42168
941.86/942.36	c nbDecision=932500 #constraints=42178
942.76/943.26	c nbDecision=933000 #constraints=42195
944.16/944.61	c nbDecision=933500 #constraints=42215
944.86/945.35	c nbDecision=934000 #constraints=42221
945.76/946.23	c nbDecision=934500 #constraints=42237
945.96/946.46	c nbDecision=935000 #constraints=42237
946.76/947.20	c nbDecision=935500 #constraints=42253
947.36/947.83	c nbDecision=936000 #constraints=42256
947.76/948.25	c nbDecision=936500 #constraints=42263
948.36/948.82	c nbDecision=937000 #constraints=42268
948.86/949.39	c nbDecision=937500 #constraints=42269
949.56/950.07	c nbDecision=938000 #constraints=42275
949.96/950.46	c nbDecision=938500 #constraints=42278
950.46/950.97	c nbDecision=939000 #constraints=42282
951.06/951.54	c nbDecision=939500 #constraints=42285
951.76/952.26	c nbDecision=940000 #constraints=42293
952.06/952.58	c nbDecision=940500 #constraints=42293
952.66/953.16	c nbDecision=941000 #constraints=42297
953.66/954.13	c nbDecision=941500 #constraints=42316
953.96/954.45	c nbDecision=942000 #constraints=42318
954.46/954.99	c nbDecision=942500 #constraints=42323
955.15/955.65	c nbDecision=943000 #constraints=42326
955.66/956.12	c nbDecision=943500 #constraints=42333
956.05/956.55	c nbDecision=944000 #constraints=42334
956.65/957.19	c nbDecision=944500 #constraints=42343
957.56/958.02	c nbDecision=945000 #constraints=42365
957.85/958.35	c nbDecision=945500 #constraints=42365
958.35/958.88	c nbDecision=946000 #constraints=42367
959.05/959.53	c nbDecision=946500 #constraints=42375
959.86/960.37	c nbDecision=947000 #constraints=42389
960.25/960.71	c nbDecision=947500 #constraints=42391
960.86/961.39	c nbDecision=948000 #constraints=42398
961.45/961.94	c nbDecision=948500 #constraints=42399
961.95/962.41	c nbDecision=949000 #constraints=42405
962.45/962.91	c nbDecision=949500 #constraints=42409
963.05/963.53	c nbDecision=950000 #constraints=42415
963.75/964.26	c nbDecision=950500 #constraints=42420
964.05/964.54	c nbDecision=951000 #constraints=42424
964.75/965.20	c nbDecision=951500 #constraints=42433
965.55/966.01	c nbDecision=952000 #constraints=42450
966.15/966.61	c nbDecision=952500 #constraints=42468
966.55/967.04	c nbDecision=953000 #constraints=42469
967.05/967.60	c nbDecision=953500 #constraints=42471
968.26/968.72	c nbDecision=954000 #constraints=42504
968.46/968.98	c nbDecision=954500 #constraints=42506
969.26/969.70	c nbDecision=955000 #constraints=42520
969.96/970.43	c nbDecision=955500 #constraints=42524
970.96/971.40	c nbDecision=956000 #constraints=42548
971.36/971.90	c nbDecision=956500 #constraints=42550
972.16/972.61	c nbDecision=957000 #constraints=42561
972.96/973.49	c nbDecision=957500 #constraints=42569
973.46/973.91	c nbDecision=958000 #constraints=42573
973.96/974.48	c nbDecision=958500 #constraints=42578
974.65/975.13	c nbDecision=959000 #constraints=42590
975.45/975.90	c nbDecision=959500 #constraints=42607
975.85/976.34	c nbDecision=960000 #constraints=42612
976.36/976.84	c nbDecision=960500 #constraints=42614
976.95/977.47	c nbDecision=961000 #constraints=42622
977.85/978.32	c nbDecision=961500 #constraints=42640
978.25/978.77	c nbDecision=962000 #constraints=42645
978.85/979.30	c nbDecision=962500 #constraints=42654
979.35/979.89	c nbDecision=963000 #constraints=42656
980.25/980.70	c nbDecision=963500 #constraints=42668
980.55/981.03	c nbDecision=964000 #constraints=42670
981.25/981.76	c nbDecision=964500 #constraints=42684
982.15/982.62	c nbDecision=965000 #constraints=42708
982.55/983.04	c nbDecision=965500 #constraints=42712
983.05/983.59	c nbDecision=966000 #constraints=42722
983.75/984.22	c nbDecision=966500 #constraints=42730
984.45/984.98	c nbDecision=967000 #constraints=42739
984.85/985.39	c nbDecision=967500 #constraints=42743
985.55/986.03	c nbDecision=968000 #constraints=42757
986.25/986.75	c nbDecision=968500 #constraints=42772
987.05/987.54	c nbDecision=969000 #constraints=42786
987.35/987.86	c nbDecision=969500 #constraints=42788
988.25/988.72	c nbDecision=970000 #constraints=42797
988.85/989.35	c nbDecision=970500 #constraints=42806
989.85/990.34	c nbDecision=971000 #constraints=42816
990.05/990.59	c nbDecision=971500 #constraints=42816
990.84/991.33	c nbDecision=972000 #constraints=42825
991.65/992.16	c nbDecision=972500 #constraints=42836
992.24/992.78	c nbDecision=973000 #constraints=42837
992.54/993.02	c nbDecision=973500 #constraints=42837
993.04/993.58	c nbDecision=974000 #constraints=42839
993.85/994.35	c nbDecision=974500 #constraints=42848
995.05/995.53	c nbDecision=975000 #constraints=42862
995.64/996.17	c nbDecision=975500 #constraints=42865
996.24/996.77	c nbDecision=976000 #constraints=42867
997.04/997.52	c nbDecision=976500 #constraints=42877
997.54/998.10	c nbDecision=977000 #constraints=42893
998.14/998.63	c nbDecision=977500 #constraints=42895
998.84/999.32	c nbDecision=978000 #constraints=42905
999.64/1000.18	c nbDecision=978500 #constraints=42924
1000.14/1000.61	c nbDecision=979000 #constraints=42928
1000.54/1001.07	c nbDecision=979500 #constraints=42929
1001.14/1001.68	c nbDecision=980000 #constraints=42931
1001.74/1002.27	c nbDecision=980500 #constraints=42932
1002.24/1002.76	c nbDecision=981000 #constraints=42938
1002.74/1003.27	c nbDecision=981500 #constraints=42940
1003.34/1003.84	c nbDecision=982000 #constraints=42941
1004.14/1004.61	c nbDecision=982500 #constraints=42953
1004.34/1004.84	c nbDecision=983000 #constraints=42953
1004.94/1005.48	c nbDecision=983500 #constraints=42955
1005.64/1006.11	c nbDecision=984000 #constraints=42957
1006.24/1006.78	c nbDecision=984500 #constraints=42959
1006.74/1007.28	c nbDecision=985000 #constraints=42971
1007.54/1008.06	c nbDecision=985500 #constraints=42983
1008.33/1008.81	c nbDecision=986000 #constraints=42996
1009.34/1009.82	c nbDecision=986500 #constraints=43028
1011.13/1011.66	c nbDecision=987000 #constraints=43056
1014.23/1014.78	c nbDecision=987500 #constraints=43130
1016.33/1016.82	c nbDecision=988000 #constraints=43178
1018.83/1019.33	c nbDecision=988500 #constraints=43234
1020.93/1021.46	c nbDecision=989000 #constraints=43273
1022.33/1022.88	c nbDecision=989500 #constraints=43297
1023.03/1023.52	c nbDecision=990000 #constraints=43299
1023.23/1023.78	c nbDecision=990500 #constraints=43300
1024.04/1024.50	c nbDecision=991000 #constraints=43310
1024.74/1025.21	c nbDecision=991500 #constraints=43318
1025.14/1025.67	c nbDecision=992000 #constraints=43325
1025.64/1026.15	c nbDecision=992500 #constraints=43328
1026.43/1026.91	c nbDecision=993000 #constraints=43340
1027.33/1027.84	c nbDecision=993500 #constraints=43360
1027.83/1028.37	c nbDecision=994000 #constraints=43369
1028.53/1029.04	c nbDecision=994500 #constraints=43382
1030.53/1031.04	c nbDecision=995000 #constraints=43413
1032.53/1033.04	c nbDecision=995500 #constraints=43451
1035.93/1036.41	c nbDecision=996000 #constraints=43511
1037.33/1037.83	c nbDecision=996500 #constraints=43537
1040.13/1040.69	c nbDecision=997000 #constraints=43582
1042.63/1043.12	c nbDecision=997500 #constraints=43625
1044.93/1045.48	c nbDecision=998000 #constraints=43667
1046.53/1047.05	c nbDecision=998500 #constraints=43690
1048.72/1049.24	c nbDecision=999000 #constraints=43719
1051.13/1051.65	c nbDecision=999500 #constraints=43757
1054.12/1054.62	c nbDecision=1000000 #constraints=43808
1057.32/1057.80	c nbDecision=1000500 #constraints=43860
1059.73/1060.26	c nbDecision=1001000 #constraints=43900
1061.83/1062.33	c nbDecision=1001500 #constraints=43941
1064.02/1064.58	c nbDecision=1002000 #constraints=43985
1067.42/1067.91	c nbDecision=1002500 #constraints=44041
1069.12/1069.60	c nbDecision=1003000 #constraints=44080
1070.83/1071.31	c nbDecision=1003500 #constraints=44104
1072.32/1072.87	c nbDecision=1004000 #constraints=44133
1074.22/1074.73	c nbDecision=1004500 #constraints=44172
1076.12/1076.63	c nbDecision=1005000 #constraints=44195
1078.32/1078.88	c nbDecision=1005500 #constraints=44220
1079.72/1080.23	c nbDecision=1006000 #constraints=44249
1081.71/1082.22	c nbDecision=1006500 #constraints=44285
1083.21/1083.72	c nbDecision=1007000 #constraints=44312
1085.22/1085.75	c nbDecision=1007500 #constraints=44367
1087.21/1087.78	c nbDecision=1008000 #constraints=44398
1088.61/1089.17	c nbDecision=1008500 #constraints=44414
1090.81/1091.37	c nbDecision=1009000 #constraints=44449
1092.41/1092.90	c nbDecision=1009500 #constraints=44472
1095.21/1095.74	c nbDecision=1010000 #constraints=44521
1097.81/1098.36	c nbDecision=1010500 #constraints=44552
1099.41/1099.93	c nbDecision=1011000 #constraints=44583
1101.41/1101.98	c nbDecision=1011500 #constraints=44616
1103.81/1104.31	c nbDecision=1012000 #constraints=44648
1105.81/1106.34	c nbDecision=1012500 #constraints=44666
1107.90/1108.47	c nbDecision=1013000 #constraints=44710
1109.41/1109.96	c nbDecision=1013500 #constraints=44742
1110.80/1111.37	c nbDecision=1014000 #constraints=44759
1112.11/1112.66	c nbDecision=1014500 #constraints=44769
1113.51/1114.00	c nbDecision=1015000 #constraints=44785
1114.91/1115.49	c nbDecision=1015500 #constraints=44810
1117.11/1117.67	c nbDecision=1016000 #constraints=44839
1120.01/1120.57	c nbDecision=1016500 #constraints=44879
1121.80/1122.33	c nbDecision=1017000 #constraints=44917
1123.61/1124.19	c nbDecision=1017500 #constraints=44940
1125.60/1126.13	c nbDecision=1018000 #constraints=44960
1127.30/1127.85	c nbDecision=1018500 #constraints=44992
1129.01/1129.58	c nbDecision=1019000 #constraints=45022
1130.91/1131.48	c nbDecision=1019500 #constraints=45053
1133.01/1133.59	c nbDecision=1020000 #constraints=45089
1134.91/1135.47	c nbDecision=1020500 #constraints=45108
1136.50/1137.06	c nbDecision=1021000 #constraints=45131
1138.70/1139.22	c nbDecision=1021500 #constraints=45168
1140.60/1141.19	c nbDecision=1022000 #constraints=45197
1142.50/1143.04	c nbDecision=1022500 #constraints=45238
1144.40/1144.90	c nbDecision=1023000 #constraints=45266
1146.00/1146.59	c nbDecision=1023500 #constraints=45289
1147.50/1148.07	c nbDecision=1024000 #constraints=45314
1149.70/1150.28	c nbDecision=1024500 #constraints=45348
1151.80/1152.34	c nbDecision=1025000 #constraints=45399
1153.60/1154.15	c nbDecision=1025500 #constraints=45413
1155.50/1156.02	c nbDecision=1026000 #constraints=45435
1157.29/1157.85	c nbDecision=1026500 #constraints=45458
1159.39/1159.91	c nbDecision=1027000 #constraints=45500
1161.19/1161.77	c nbDecision=1027500 #constraints=45523
1163.09/1163.66	c nbDecision=1028000 #constraints=45541
1164.89/1165.46	c nbDecision=1028500 #constraints=45557
1166.99/1167.57	c nbDecision=1029000 #constraints=45591
1168.69/1169.24	c nbDecision=1029500 #constraints=45603
1170.49/1171.05	c nbDecision=1030000 #constraints=45633
1171.89/1172.49	c nbDecision=1030500 #constraints=45649
1173.49/1174.08	c nbDecision=1031000 #constraints=45661
1175.10/1175.65	c nbDecision=1031500 #constraints=45673
1176.60/1177.18	c nbDecision=1032000 #constraints=45687
1177.00/1177.57	c nbDecision=1032500 #constraints=45691
1177.70/1178.25	c nbDecision=1033000 #constraints=45696
1178.40/1178.90	c nbDecision=1033500 #constraints=45698
1178.80/1179.40	c nbDecision=1034000 #constraints=45704
1179.50/1180.05	c nbDecision=1034500 #constraints=45712
1180.10/1180.69	c nbDecision=1035000 #constraints=45717
1180.80/1181.39	c nbDecision=1035500 #constraints=45718
1181.30/1181.81	c nbDecision=1036000 #constraints=45718
1181.80/1182.34	c nbDecision=1036500 #constraints=45720
1182.70/1183.27	c nbDecision=1037000 #constraints=45732
1183.40/1183.98	c nbDecision=1037500 #constraints=45734
1184.10/1184.64	c nbDecision=1038000 #constraints=45749
1185.59/1186.13	c nbDecision=1038500 #constraints=45769
1185.79/1186.37	c nbDecision=1039000 #constraints=45769
1187.19/1187.78	c nbDecision=1039500 #constraints=45795
1187.99/1188.56	c nbDecision=1040000 #constraints=45809
1188.89/1189.49	c nbDecision=1040500 #constraints=45822
1189.39/1189.95	c nbDecision=1041000 #constraints=45826
1190.09/1190.61	c nbDecision=1041500 #constraints=45833
1191.09/1191.62	c nbDecision=1042000 #constraints=45848
1191.90/1192.45	c nbDecision=1042500 #constraints=45857
1192.19/1192.79	c nbDecision=1043000 #constraints=45857
1192.90/1193.40	c nbDecision=1043500 #constraints=45859
1193.69/1194.26	c nbDecision=1044000 #constraints=45876
1194.79/1195.32	c nbDecision=1044500 #constraints=45890
1194.99/1195.58	c nbDecision=1045000 #constraints=45892
1195.79/1196.31	c nbDecision=1045500 #constraints=45899
1196.39/1196.96	c nbDecision=1046000 #constraints=45901
1196.89/1197.47	c nbDecision=1046500 #constraints=45907
1197.39/1197.99	c nbDecision=1047000 #constraints=45909
1198.09/1198.68	c nbDecision=1047500 #constraints=45921
1198.79/1199.38	c nbDecision=1048000 #constraints=45928
1199.09/1199.61	c nbDecision=1048500 #constraints=45928
1199.89/1200.41	c nbDecision=1049000 #constraints=45941
1200.69/1201.22	c nbDecision=1049500 #constraints=45950
1201.29/1201.89	c nbDecision=1050000 #constraints=45969
1201.89/1202.48	c nbDecision=1050500 #constraints=45973
1202.69/1203.21	c nbDecision=1051000 #constraints=45986
1203.59/1204.15	c nbDecision=1051500 #constraints=46000
1203.99/1204.53	c nbDecision=1052000 #constraints=46005
1204.49/1205.09	c nbDecision=1052500 #constraints=46006
1205.19/1205.78	c nbDecision=1053000 #constraints=46014
1206.09/1206.66	c nbDecision=1053500 #constraints=46030
1206.48/1207.08	c nbDecision=1054000 #constraints=46036
1207.19/1207.74	c nbDecision=1054500 #constraints=46040
1207.88/1208.47	c nbDecision=1055000 #constraints=46049
1208.58/1209.18	c nbDecision=1055500 #constraints=46052
1209.08/1209.60	c nbDecision=1056000 #constraints=46062
1209.68/1210.23	c nbDecision=1056500 #constraints=46064
1210.49/1211.04	c nbDecision=1057000 #constraints=46069
1211.28/1211.88	c nbDecision=1057500 #constraints=46077
1211.59/1212.10	c nbDecision=1058000 #constraints=46077
1212.28/1212.85	c nbDecision=1058500 #constraints=46088
1213.28/1213.81	c nbDecision=1059000 #constraints=46105
1213.58/1214.15	c nbDecision=1059500 #constraints=46110
1214.38/1214.95	c nbDecision=1060000 #constraints=46128
1215.38/1215.94	c nbDecision=1060500 #constraints=46149
1215.78/1216.38	c nbDecision=1061000 #constraints=46149
1216.38/1216.91	c nbDecision=1061500 #constraints=46151
1217.08/1217.62	c nbDecision=1062000 #constraints=46155
1217.98/1218.52	c nbDecision=1062500 #constraints=46168
1218.18/1218.77	c nbDecision=1063000 #constraints=46168
1218.88/1219.44	c nbDecision=1063500 #constraints=46170
1219.68/1220.29	c nbDecision=1064000 #constraints=46186
1220.18/1220.75	c nbDecision=1064500 #constraints=46191
1220.88/1221.45	c nbDecision=1065000 #constraints=46203
1221.68/1222.29	c nbDecision=1065500 #constraints=46214
1222.58/1223.16	c nbDecision=1066000 #constraints=46226
1222.98/1223.51	c nbDecision=1066500 #constraints=46232
1223.68/1224.20	c nbDecision=1067000 #constraints=46234
1224.27/1224.87	c nbDecision=1067500 #constraints=46236
1225.07/1225.69	c nbDecision=1068000 #constraints=46243
1225.57/1226.11	c nbDecision=1068500 #constraints=46248
1226.17/1226.78	c nbDecision=1069000 #constraints=46256
1227.27/1227.81	c nbDecision=1069500 #constraints=46269
1227.77/1228.33	c nbDecision=1070000 #constraints=46274
1228.37/1228.92	c nbDecision=1070500 #constraints=46279
1229.07/1229.61	c nbDecision=1071000 #constraints=46281
1229.97/1230.58	c nbDecision=1071500 #constraints=46304
1230.47/1231.05	c nbDecision=1072000 #constraints=46311
1231.37/1231.96	c nbDecision=1072500 #constraints=46323
1232.17/1232.75	c nbDecision=1073000 #constraints=46333
1232.67/1233.22	c nbDecision=1073500 #constraints=46339
1233.17/1233.74	c nbDecision=1074000 #constraints=46341
1233.97/1234.56	c nbDecision=1074500 #constraints=46351
1234.77/1235.37	c nbDecision=1075000 #constraints=46360
1234.98/1235.60	c nbDecision=1075500 #constraints=46360
1235.68/1236.26	c nbDecision=1076000 #constraints=46363
1236.48/1237.02	c nbDecision=1076500 #constraints=46365
1236.88/1237.48	c nbDecision=1077000 #constraints=46371
1237.48/1238.01	c nbDecision=1077500 #constraints=46372
1238.08/1238.61	c nbDecision=1078000 #constraints=46374
1238.88/1239.41	c nbDecision=1078500 #constraints=46380
1239.18/1239.74	c nbDecision=1079000 #constraints=46380
1240.08/1240.65	c nbDecision=1079500 #constraints=46399
1240.87/1241.49	c nbDecision=1080000 #constraints=46415
1241.77/1242.30	c nbDecision=1080500 #constraints=46420
1242.07/1242.63	c nbDecision=1081000 #constraints=46420
1242.67/1243.24	c nbDecision=1081500 #constraints=46422
1243.37/1243.92	c nbDecision=1082000 #constraints=46424
1244.17/1244.74	c nbDecision=1082500 #constraints=46435
1244.67/1245.22	c nbDecision=1083000 #constraints=46444
1245.47/1246.01	c nbDecision=1083500 #constraints=46455
1246.17/1246.73	c nbDecision=1084000 #constraints=46460
1246.87/1247.45	c nbDecision=1084500 #constraints=46461
1247.07/1247.68	c nbDecision=1085000 #constraints=46461
1248.17/1248.74	c nbDecision=1085500 #constraints=46477
1248.97/1249.57	c nbDecision=1086000 #constraints=46494
1249.67/1250.26	c nbDecision=1086500 #constraints=46518
1250.27/1250.84	c nbDecision=1087000 #constraints=46524
1251.87/1252.44	c nbDecision=1087500 #constraints=46546
1252.66/1253.24	c nbDecision=1088000 #constraints=46558
1253.37/1253.98	c nbDecision=1088500 #constraints=46562
1253.96/1254.51	c nbDecision=1089000 #constraints=46575
1254.57/1255.18	c nbDecision=1089500 #constraints=46584
1255.26/1255.82	c nbDecision=1090000 #constraints=46586
1256.06/1256.62	c nbDecision=1090500 #constraints=46597
1256.26/1256.85	c nbDecision=1091000 #constraints=46597
1256.96/1257.52	c nbDecision=1091500 #constraints=46605
1258.46/1259.01	c nbDecision=1092000 #constraints=46638
1259.76/1260.35	c nbDecision=1092500 #constraints=46656
1260.56/1261.16	c nbDecision=1093000 #constraints=46661
1262.06/1262.64	c nbDecision=1093500 #constraints=46688
1262.86/1263.40	c nbDecision=1094000 #constraints=46691
1263.66/1264.20	c nbDecision=1094500 #constraints=46696
1263.96/1264.52	c nbDecision=1095000 #constraints=46696
1264.56/1265.18	c nbDecision=1095500 #constraints=46701
1265.66/1266.27	c nbDecision=1096000 #constraints=46719
1267.66/1268.23	c nbDecision=1096500 #constraints=46777
1269.36/1269.95	c nbDecision=1097000 #constraints=46818
1271.36/1271.91	c nbDecision=1097500 #constraints=46848
1273.06/1273.65	c nbDecision=1098000 #constraints=46883
1274.56/1275.17	c nbDecision=1098500 #constraints=46912
1276.46/1277.01	c nbDecision=1099000 #constraints=46956
1278.06/1278.65	c nbDecision=1099500 #constraints=46976
1280.06/1280.69	c nbDecision=1100000 #constraints=47005
1282.06/1282.67	c nbDecision=1100500 #constraints=47030
1283.75/1284.34	c nbDecision=1101000 #constraints=47064
1285.36/1285.93	c nbDecision=1101500 #constraints=47088
1286.75/1287.36	c nbDecision=1102000 #constraints=47108
1288.35/1288.92	c nbDecision=1102500 #constraints=47127
1289.85/1290.49	c nbDecision=1103000 #constraints=47154
1291.86/1292.50	c nbDecision=1103500 #constraints=47200
1293.05/1293.63	c nbDecision=1104000 #constraints=47212
1294.15/1294.73	c nbDecision=1104500 #constraints=47220
1295.55/1296.11	c nbDecision=1105000 #constraints=47231
1297.05/1297.66	c nbDecision=1105500 #constraints=47254
1298.75/1299.36	c nbDecision=1106000 #constraints=47282
1300.55/1301.16	c nbDecision=1106500 #constraints=47311
1302.15/1302.72	c nbDecision=1107000 #constraints=47329
1303.75/1304.36	c nbDecision=1107500 #constraints=47350
1305.06/1305.64	c nbDecision=1108000 #constraints=47368
1306.56/1307.17	c nbDecision=1108500 #constraints=47394
1307.95/1308.57	c nbDecision=1109000 #constraints=47413
1309.05/1309.67	c nbDecision=1109500 #constraints=47424
1309.75/1310.31	c nbDecision=1110000 #constraints=47438
1310.56/1311.13	c nbDecision=1110500 #constraints=47447
1311.25/1311.83	c nbDecision=1111000 #constraints=47456
1311.95/1312.59	c nbDecision=1111500 #constraints=47459
1312.55/1313.15	c nbDecision=1112000 #constraints=47469
1314.35/1314.92	c nbDecision=1112500 #constraints=47514
1314.96/1315.55	c nbDecision=1113000 #constraints=47519
1315.85/1316.42	c nbDecision=1113500 #constraints=47537
1316.75/1317.31	c nbDecision=1114000 #constraints=47549
1317.15/1317.80	c nbDecision=1114500 #constraints=47560
1317.95/1318.50	c nbDecision=1115000 #constraints=47567
1318.65/1319.24	c nbDecision=1115500 #constraints=47578
1319.75/1320.35	c nbDecision=1116000 #constraints=47608
1320.45/1321.02	c nbDecision=1116500 #constraints=47620
1321.25/1321.88	c nbDecision=1117000 #constraints=47631
1322.15/1322.76	c nbDecision=1117500 #constraints=47642
1322.55/1323.13	c nbDecision=1118000 #constraints=47649
1323.45/1324.00	c nbDecision=1118500 #constraints=47663
1324.35/1324.98	c nbDecision=1119000 #constraints=47674
1325.45/1326.06	c nbDecision=1119500 #constraints=47690
1325.95/1326.56	c nbDecision=1120000 #constraints=47691
1326.65/1327.24	c nbDecision=1120500 #constraints=47693
1327.65/1328.25	c nbDecision=1121000 #constraints=47709
1328.34/1328.98	c nbDecision=1121500 #constraints=47710
1328.64/1329.22	c nbDecision=1122000 #constraints=47710
1329.44/1330.00	c nbDecision=1122500 #constraints=47723
1330.74/1331.34	c nbDecision=1123000 #constraints=47745
1331.55/1332.15	c nbDecision=1123500 #constraints=47753
1332.44/1333.02	c nbDecision=1124000 #constraints=47767
1332.84/1333.49	c nbDecision=1124500 #constraints=47770
1333.54/1334.11	c nbDecision=1125000 #constraints=47779
1334.34/1334.96	c nbDecision=1125500 #constraints=47801
1335.44/1336.05	c nbDecision=1126000 #constraints=47825
1335.95/1336.52	c nbDecision=1126500 #constraints=47830
1336.54/1337.16	c nbDecision=1127000 #constraints=47838
1337.24/1337.84	c nbDecision=1127500 #constraints=47839
1337.74/1338.30	c nbDecision=1128000 #constraints=47842
1338.34/1338.93	c nbDecision=1128500 #constraints=47847
1339.24/1339.82	c nbDecision=1129000 #constraints=47863
1340.04/1340.61	c nbDecision=1129500 #constraints=47866
1340.44/1341.03	c nbDecision=1130000 #constraints=47871
1341.14/1341.77	c nbDecision=1130500 #constraints=47887
1342.04/1342.64	c nbDecision=1131000 #constraints=47897
1342.44/1343.09	c nbDecision=1131500 #constraints=47898
1343.24/1343.81	c nbDecision=1132000 #constraints=47906
1344.04/1344.63	c nbDecision=1132500 #constraints=47918
1344.94/1345.51	c nbDecision=1133000 #constraints=47929
1346.24/1346.80	c nbDecision=1133500 #constraints=47945
1347.04/1347.64	c nbDecision=1134000 #constraints=47954
1347.94/1348.52	c nbDecision=1134500 #constraints=47960
1348.14/1348.78	c nbDecision=1135000 #constraints=47961
1349.04/1349.60	c nbDecision=1135500 #constraints=47967
1350.33/1351.00	c nbDecision=1136000 #constraints=47979
1351.03/1351.66	c nbDecision=1136500 #constraints=47982
1352.13/1352.71	c nbDecision=1137000 #constraints=48000
1353.63/1354.28	c nbDecision=1137500 #constraints=48024
1354.43/1355.02	c nbDecision=1138000 #constraints=48026
1355.33/1355.91	c nbDecision=1138500 #constraints=48035
1355.53/1356.14	c nbDecision=1139000 #constraints=48035
1356.33/1356.91	c nbDecision=1139500 #constraints=48043
1357.03/1357.67	c nbDecision=1140000 #constraints=48045
1357.53/1358.16	c nbDecision=1140500 #constraints=48052
1358.13/1358.76	c nbDecision=1141000 #constraints=48054
1359.04/1359.69	c nbDecision=1141500 #constraints=48078
1359.83/1360.50	c nbDecision=1142000 #constraints=48084
1360.13/1360.74	c nbDecision=1142500 #constraints=48084
1360.83/1361.45	c nbDecision=1143000 #constraints=48090
1361.53/1362.18	c nbDecision=1143500 #constraints=48092
1362.03/1362.69	c nbDecision=1144000 #constraints=48097
1362.63/1363.22	c nbDecision=1144500 #constraints=48098
1363.33/1363.99	c nbDecision=1145000 #constraints=48102
1364.23/1364.85	c nbDecision=1145500 #constraints=48109
1364.73/1365.32	c nbDecision=1146000 #constraints=48113
1365.33/1365.92	c nbDecision=1146500 #constraints=48115
1365.93/1366.58	c nbDecision=1147000 #constraints=48116
1366.93/1367.53	c nbDecision=1147500 #constraints=48131
1367.23/1367.84	c nbDecision=1148000 #constraints=48133
1368.03/1368.69	c nbDecision=1148500 #constraints=48144
1369.43/1370.03	c nbDecision=1149000 #constraints=48159
1370.33/1370.93	c nbDecision=1149500 #constraints=48169
1370.53/1371.17	c nbDecision=1150000 #constraints=48169
1371.33/1371.93	c nbDecision=1150500 #constraints=48173
1372.03/1372.69	c nbDecision=1151000 #constraints=48175
1372.73/1373.31	c nbDecision=1151500 #constraints=48189
1373.53/1374.13	c nbDecision=1152000 #constraints=48208
1374.23/1374.82	c nbDecision=1152500 #constraints=48214
1375.03/1375.65	c nbDecision=1153000 #constraints=48224
1375.33/1375.98	c nbDecision=1153500 #constraints=48224
1376.03/1376.63	c nbDecision=1154000 #constraints=48236
1376.73/1377.38	c nbDecision=1154500 #constraints=48238
1377.93/1378.56	c nbDecision=1155000 #constraints=48252
1378.23/1378.81	c nbDecision=1155500 #constraints=48252
1378.93/1379.51	c nbDecision=1156000 #constraints=48254
1379.63/1380.29	c nbDecision=1156500 #constraints=48256
1380.63/1381.20	c nbDecision=1157000 #constraints=48266
1380.93/1381.55	c nbDecision=1157500 #constraints=48269
1381.63/1382.23	c nbDecision=1158000 #constraints=48271
1382.63/1383.26	c nbDecision=1158500 #constraints=48285
1384.33/1384.96	c nbDecision=1159000 #constraints=48307
1385.03/1385.61	c nbDecision=1159500 #constraints=48309
1385.73/1386.34	c nbDecision=1160000 #constraints=48316
1387.13/1387.77	c nbDecision=1160500 #constraints=48339
1387.93/1388.54	c nbDecision=1161000 #constraints=48343
1388.93/1389.56	c nbDecision=1161500 #constraints=48353
1389.23/1389.83	c nbDecision=1162000 #constraints=48353
1390.43/1391.08	c nbDecision=1162500 #constraints=48376
1392.33/1392.96	c nbDecision=1163000 #constraints=48393
1392.63/1393.28	c nbDecision=1163500 #constraints=48393
1393.32/1393.97	c nbDecision=1164000 #constraints=48399
1394.13/1394.74	c nbDecision=1164500 #constraints=48407
1395.02/1395.65	c nbDecision=1165000 #constraints=48415
1395.23/1395.89	c nbDecision=1165500 #constraints=48415
1396.12/1396.71	c nbDecision=1166000 #constraints=48425
1397.02/1397.66	c nbDecision=1166500 #constraints=48441
1397.52/1398.14	c nbDecision=1167000 #constraints=48446
1398.02/1398.68	c nbDecision=1167500 #constraints=48447
1398.72/1399.35	c nbDecision=1168000 #constraints=48450
1399.82/1400.49	c nbDecision=1168500 #constraints=48464
1400.12/1400.75	c nbDecision=1169000 #constraints=48464
1401.02/1401.61	c nbDecision=1169500 #constraints=48468
1401.72/1402.30	c nbDecision=1170000 #constraints=48470
1402.22/1402.84	c nbDecision=1170500 #constraints=48479
1402.82/1403.50	c nbDecision=1171000 #constraints=48488
1403.62/1404.25	c nbDecision=1171500 #constraints=48495
1404.52/1405.14	c nbDecision=1172000 #constraints=48507
1404.72/1405.39	c nbDecision=1172500 #constraints=48507
1405.52/1406.10	c nbDecision=1173000 #constraints=48509
1407.02/1407.62	c nbDecision=1173500 #constraints=48532
1407.82/1408.41	c nbDecision=1174000 #constraints=48536
1408.72/1409.34	c nbDecision=1174500 #constraints=48548
1409.02/1409.61	c nbDecision=1175000 #constraints=48548
1410.22/1410.87	c nbDecision=1175500 #constraints=48582
1412.22/1412.81	c nbDecision=1176000 #constraints=48614
1412.42/1413.06	c nbDecision=1176500 #constraints=48614
1413.22/1413.90	c nbDecision=1177000 #constraints=48625
1414.12/1414.74	c nbDecision=1177500 #constraints=48639
1414.52/1415.17	c nbDecision=1178000 #constraints=48639
1415.32/1415.97	c nbDecision=1178500 #constraints=48648
1416.32/1416.91	c nbDecision=1179000 #constraints=48663
1417.22/1417.82	c nbDecision=1179500 #constraints=48676
1417.52/1418.16	c nbDecision=1180000 #constraints=48682
1418.62/1419.29	c nbDecision=1180500 #constraints=48708
1419.42/1420.07	c nbDecision=1181000 #constraints=48714
1420.02/1420.63	c nbDecision=1181500 #constraints=48723
1420.62/1421.24	c nbDecision=1182000 #constraints=48728
1421.32/1421.98	c nbDecision=1182500 #constraints=48731
1422.42/1423.00	c nbDecision=1183000 #constraints=48743
1422.92/1423.51	c nbDecision=1183500 #constraints=48750
1423.62/1424.23	c nbDecision=1184000 #constraints=48759
1424.62/1425.28	c nbDecision=1184500 #constraints=48780
1426.31/1426.99	c nbDecision=1185000 #constraints=48818
1427.41/1428.04	c nbDecision=1185500 #constraints=48839
1429.01/1429.60	c nbDecision=1186000 #constraints=48864
1429.81/1430.47	c nbDecision=1186500 #constraints=48875
1430.91/1431.50	c nbDecision=1187000 #constraints=48892
1431.91/1432.57	c nbDecision=1187500 #constraints=48915
1433.21/1433.84	c nbDecision=1188000 #constraints=48932
1434.11/1434.74	c nbDecision=1188500 #constraints=48941
1435.01/1435.67	c nbDecision=1189000 #constraints=48958
1435.61/1436.29	c nbDecision=1189500 #constraints=48974
1436.51/1437.13	c nbDecision=1190000 #constraints=48981
1437.41/1438.03	c nbDecision=1190500 #constraints=48988
1438.21/1438.88	c nbDecision=1191000 #constraints=48994
1438.61/1439.29	c nbDecision=1191500 #constraints=48994
1439.51/1440.15	c nbDecision=1192000 #constraints=49012
1440.41/1441.09	c nbDecision=1192500 #constraints=49021
1442.41/1443.04	c nbDecision=1193000 #constraints=49041
1442.71/1443.32	c nbDecision=1193500 #constraints=49044
1444.41/1445.01	c nbDecision=1194000 #constraints=49075
1445.71/1446.38	c nbDecision=1194500 #constraints=49095
1446.31/1446.94	c nbDecision=1195000 #constraints=49110
1448.41/1449.01	c nbDecision=1195500 #constraints=49153
1449.01/1449.64	c nbDecision=1196000 #constraints=49155
1449.81/1450.41	c nbDecision=1196500 #constraints=49157
1450.71/1451.31	c nbDecision=1197000 #constraints=49165
1450.91/1451.57	c nbDecision=1197500 #constraints=49165
1451.71/1452.30	c nbDecision=1198000 #constraints=49172
1452.51/1453.10	c nbDecision=1198500 #constraints=49178
1453.01/1453.67	c nbDecision=1199000 #constraints=49187
1453.71/1454.37	c nbDecision=1199500 #constraints=49198
1454.41/1455.06	c nbDecision=1200000 #constraints=49202
1455.20/1455.85	c nbDecision=1200500 #constraints=49205
1455.71/1456.31	c nbDecision=1201000 #constraints=49206
1456.20/1456.83	c nbDecision=1201500 #constraints=49208
1457.00/1457.63	c nbDecision=1202000 #constraints=49224
1457.91/1458.58	c nbDecision=1202500 #constraints=49241
1458.40/1459.03	c nbDecision=1203000 #constraints=49246
1459.01/1459.61	c nbDecision=1203500 #constraints=49247
1459.60/1460.30	c nbDecision=1204000 #constraints=49249
1460.40/1461.09	c nbDecision=1204500 #constraints=49255
1460.70/1461.36	c nbDecision=1205000 #constraints=49255
1461.50/1462.10	c nbDecision=1205500 #constraints=49262
1462.31/1462.99	c nbDecision=1206000 #constraints=49274
1462.90/1463.53	c nbDecision=1206500 #constraints=49279
1463.51/1464.18	c nbDecision=1207000 #constraints=49288
1464.30/1464.94	c nbDecision=1207500 #constraints=49290
1465.10/1465.76	c nbDecision=1208000 #constraints=49293
1465.71/1466.32	c nbDecision=1208500 #constraints=49301
1466.30/1466.95	c nbDecision=1209000 #constraints=49308
1467.20/1467.82	c nbDecision=1209500 #constraints=49314
1468.20/1468.87	c nbDecision=1210000 #constraints=49333
1468.70/1469.36	c nbDecision=1210500 #constraints=49344
1469.40/1470.03	c nbDecision=1211000 #constraints=49346
1470.10/1470.75	c nbDecision=1211500 #constraints=49348
1470.60/1471.25	c nbDecision=1212000 #constraints=49356
1471.20/1471.82	c nbDecision=1212500 #constraints=49360
1472.10/1472.73	c nbDecision=1213000 #constraints=49379
1473.30/1473.92	c nbDecision=1213500 #constraints=49395
1473.60/1474.28	c nbDecision=1214000 #constraints=49397
1474.40/1475.00	c nbDecision=1214500 #constraints=49403
1475.40/1476.05	c nbDecision=1215000 #constraints=49427
1476.10/1476.71	c nbDecision=1215500 #constraints=49433
1476.80/1477.46	c nbDecision=1216000 #constraints=49445
1477.51/1478.19	c nbDecision=1216500 #constraints=49447
1478.51/1479.15	c nbDecision=1217000 #constraints=49464
1479.11/1479.74	c nbDecision=1217500 #constraints=49474
1479.71/1480.37	c nbDecision=1218000 #constraints=49476
1480.80/1481.47	c nbDecision=1218500 #constraints=49506
1481.70/1482.38	c nbDecision=1219000 #constraints=49516
1482.21/1482.86	c nbDecision=1219500 #constraints=49517
1482.90/1483.53	c nbDecision=1220000 #constraints=49523
1483.60/1484.29	c nbDecision=1220500 #constraints=49533
1484.60/1485.22	c nbDecision=1221000 #constraints=49547
1484.90/1485.57	c nbDecision=1221500 #constraints=49547
1485.60/1486.23	c nbDecision=1222000 #constraints=49549
1486.40/1487.10	c nbDecision=1222500 #constraints=49562
1487.20/1487.85	c nbDecision=1223000 #constraints=49565
1487.50/1488.16	c nbDecision=1223500 #constraints=49565
1488.20/1488.89	c nbDecision=1224000 #constraints=49573
1489.00/1489.64	c nbDecision=1224500 #constraints=49579
1489.40/1490.09	c nbDecision=1225000 #constraints=49579
1490.20/1490.84	c nbDecision=1225500 #constraints=49599
1491.01/1491.61	c nbDecision=1226000 #constraints=49607
1491.90/1492.50	c nbDecision=1226500 #constraints=49621
1492.20/1492.88	c nbDecision=1227000 #constraints=49624
1492.90/1493.57	c nbDecision=1227500 #constraints=49632
1493.80/1494.42	c nbDecision=1228000 #constraints=49645
1494.21/1494.86	c nbDecision=1228500 #constraints=49648
1494.90/1495.50	c nbDecision=1229000 #constraints=49651
1495.80/1496.41	c nbDecision=1229500 #constraints=49666
1496.80/1497.43	c nbDecision=1230000 #constraints=49680
1497.10/1497.75	c nbDecision=1230500 #constraints=49686
1498.00/1498.61	c nbDecision=1231000 #constraints=49700
1498.90/1499.51	c nbDecision=1231500 #constraints=49708
1499.40/1500.00	c nbDecision=1232000 #constraints=49717
1500.20/1500.84	c nbDecision=1232500 #constraints=49730
1500.90/1501.58	c nbDecision=1233000 #constraints=49732
1501.80/1502.47	c nbDecision=1233500 #constraints=49746
1502.10/1502.74	c nbDecision=1234000 #constraints=49746
1503.00/1503.61	c nbDecision=1234500 #constraints=49760
1503.90/1504.52	c nbDecision=1235000 #constraints=49769
1504.80/1505.42	c nbDecision=1235500 #constraints=49778
1505.00/1505.66	c nbDecision=1236000 #constraints=49778
1505.70/1506.34	c nbDecision=1236500 #constraints=49780
1506.60/1507.20	c nbDecision=1237000 #constraints=49787
1507.00/1507.68	c nbDecision=1237500 #constraints=49793
1507.60/1508.28	c nbDecision=1238000 #constraints=49798
1508.50/1509.17	c nbDecision=1238500 #constraints=49816
1509.30/1509.99	c nbDecision=1239000 #constraints=49818
1509.60/1510.30	c nbDecision=1239500 #constraints=49822
1510.40/1511.00	c nbDecision=1240000 #constraints=49825
1511.10/1511.78	c nbDecision=1240500 #constraints=49831
1511.60/1512.20	c nbDecision=1241000 #constraints=49835
1512.20/1512.83	c nbDecision=1241500 #constraints=49836
1512.90/1513.60	c nbDecision=1242000 #constraints=49842
1514.00/1514.61	c nbDecision=1242500 #constraints=49862
1514.19/1514.84	c nbDecision=1243000 #constraints=49862
1514.79/1515.48	c nbDecision=1243500 #constraints=49864
1515.69/1516.30	c nbDecision=1244000 #constraints=49866
1516.20/1516.84	c nbDecision=1244500 #constraints=49871
1516.69/1517.37	c nbDecision=1245000 #constraints=49872
1517.40/1518.08	c nbDecision=1245500 #constraints=49874
1518.40/1519.07	c nbDecision=1246000 #constraints=49892
1518.69/1519.33	c nbDecision=1246500 #constraints=49892
1519.50/1520.15	c nbDecision=1247000 #constraints=49895
1520.29/1520.97	c nbDecision=1247500 #constraints=49907
1521.09/1521.73	c nbDecision=1248000 #constraints=49910
1521.39/1522.06	c nbDecision=1248500 #constraints=49910
1522.09/1522.70	c nbDecision=1249000 #constraints=49912
1522.79/1523.45	c nbDecision=1249500 #constraints=49914
1523.59/1524.23	c nbDecision=1250000 #constraints=49916
1524.29/1524.98	c nbDecision=1250500 #constraints=49926
1525.09/1525.77	c nbDecision=1251000 #constraints=49940
1526.09/1526.71	c nbDecision=1251500 #constraints=49955
1526.99/1527.68	c nbDecision=1252000 #constraints=49978
1527.49/1528.11	c nbDecision=1252500 #constraints=49980
1528.09/1528.75	c nbDecision=1253000 #constraints=49986
1528.79/1529.49	c nbDecision=1253500 #constraints=49994
1529.69/1530.39	c nbDecision=1254000 #constraints=50010
1530.19/1530.86	c nbDecision=1254500 #constraints=50025
1531.19/1531.82	c nbDecision=1255000 #constraints=50042
1532.09/1532.71	c nbDecision=1255500 #constraints=50056
1533.09/1533.73	c nbDecision=1256000 #constraints=50066
1533.49/1534.11	c nbDecision=1256500 #constraints=50069
1534.18/1534.83	c nbDecision=1257000 #constraints=50071
1534.99/1535.68	c nbDecision=1257500 #constraints=50081
1536.48/1537.14	c nbDecision=1258000 #constraints=50099
1538.28/1538.93	c nbDecision=1258500 #constraints=50137
1540.98/1541.60	c nbDecision=1259000 #constraints=50188
1544.18/1544.84	c nbDecision=1259500 #constraints=50234
1547.08/1547.73	c nbDecision=1260000 #constraints=50273
1550.48/1551.17	c nbDecision=1260500 #constraints=50334
1551.98/1552.65	c nbDecision=1261000 #constraints=50343
1552.88/1553.51	c nbDecision=1261500 #constraints=50351
1553.38/1554.07	c nbDecision=1262000 #constraints=50360
1554.18/1554.89	c nbDecision=1262500 #constraints=50368
1555.08/1555.74	c nbDecision=1263000 #constraints=50377
1555.88/1556.51	c nbDecision=1263500 #constraints=50379
1556.38/1557.04	c nbDecision=1264000 #constraints=50387
1556.98/1557.61	c nbDecision=1264500 #constraints=50388
1557.68/1558.33	c nbDecision=1265000 #constraints=50395
1558.68/1559.32	c nbDecision=1265500 #constraints=50411
1559.08/1559.71	c nbDecision=1266000 #constraints=50415
1559.78/1560.47	c nbDecision=1266500 #constraints=50423
1560.68/1561.31	c nbDecision=1267000 #constraints=50430
1561.08/1561.78	c nbDecision=1267500 #constraints=50431
1561.68/1562.32	c nbDecision=1268000 #constraints=50432
1562.48/1563.13	c nbDecision=1268500 #constraints=50439
1563.37/1564.01	c nbDecision=1269000 #constraints=50443
1563.77/1564.46	c nbDecision=1269500 #constraints=50448
1564.68/1565.33	c nbDecision=1270000 #constraints=50460
1565.47/1566.17	c nbDecision=1270500 #constraints=50467
1566.87/1567.51	c nbDecision=1271000 #constraints=50492
1567.07/1567.78	c nbDecision=1271500 #constraints=50492
1568.07/1568.77	c nbDecision=1272000 #constraints=50500
1568.77/1569.49	c nbDecision=1272500 #constraints=50502
1569.77/1570.41	c nbDecision=1273000 #constraints=50510
1570.27/1570.94	c nbDecision=1273500 #constraints=50515
1570.87/1571.53	c nbDecision=1274000 #constraints=50520
1571.57/1572.21	c nbDecision=1274500 #constraints=50525
1572.37/1573.09	c nbDecision=1275000 #constraints=50533
1572.77/1573.43	c nbDecision=1275500 #constraints=50533
1573.37/1574.01	c nbDecision=1276000 #constraints=50535
1574.17/1574.86	c nbDecision=1276500 #constraints=50543
1575.07/1575.79	c nbDecision=1277000 #constraints=50556
1575.47/1576.10	c nbDecision=1277500 #constraints=50560
1576.27/1576.94	c nbDecision=1278000 #constraints=50574
1577.07/1577.73	c nbDecision=1278500 #constraints=50581
1577.57/1578.24	c nbDecision=1279000 #constraints=50588
1578.17/1578.81	c nbDecision=1279500 #constraints=50590
1579.77/1580.40	c nbDecision=1280000 #constraints=50617
1580.67/1581.30	c nbDecision=1280500 #constraints=50627
1581.37/1582.08	c nbDecision=1281000 #constraints=50629
1582.57/1583.23	c nbDecision=1281500 #constraints=50643
1585.87/1586.57	c nbDecision=1282000 #constraints=50704
1588.57/1589.26	c nbDecision=1282500 #constraints=50771
1590.77/1591.41	c nbDecision=1283000 #constraints=50817
1592.17/1592.81	c nbDecision=1283500 #constraints=50832
1592.97/1593.67	c nbDecision=1284000 #constraints=50836
1593.27/1593.95	c nbDecision=1284500 #constraints=50836
1594.07/1594.71	c nbDecision=1285000 #constraints=50840
1595.17/1595.87	c nbDecision=1285500 #constraints=50857
1595.67/1596.39	c nbDecision=1286000 #constraints=50863
1596.37/1597.09	c nbDecision=1286500 #constraints=50873
1597.37/1598.07	c nbDecision=1287000 #constraints=50891
1598.17/1598.90	c nbDecision=1287500 #constraints=50894
1598.67/1599.30	c nbDecision=1288000 #constraints=50900
1599.67/1600.39	c nbDecision=1288500 #constraints=50921
1600.57/1601.25	c nbDecision=1289000 #constraints=50929
1601.07/1601.79	c nbDecision=1289500 #constraints=50933
1601.67/1602.30	c nbDecision=1290000 #constraints=50934
1602.57/1603.21	c nbDecision=1290500 #constraints=50952
1603.37/1604.08	c nbDecision=1291000 #constraints=50959
1603.67/1604.34	c nbDecision=1291500 #constraints=50959
1604.77/1605.43	c nbDecision=1292000 #constraints=50974
1605.77/1606.45	c nbDecision=1292500 #constraints=50994
1606.66/1607.35	c nbDecision=1293000 #constraints=51002
1606.96/1607.67	c nbDecision=1293500 #constraints=51005
1609.46/1610.19	c nbDecision=1294000 #constraints=51038
1611.76/1612.41	c nbDecision=1294500 #constraints=51059
1612.06/1612.74	c nbDecision=1295000 #constraints=51059
1612.76/1613.43	c nbDecision=1295500 #constraints=51063
1613.56/1614.28	c nbDecision=1296000 #constraints=51067
1613.96/1614.60	c nbDecision=1296500 #constraints=51071
1614.76/1615.42	c nbDecision=1297000 #constraints=51080
1616.36/1617.03	c nbDecision=1297500 #constraints=51102
1617.16/1617.88	c nbDecision=1298000 #constraints=51110
1617.76/1618.48	c nbDecision=1298500 #constraints=51116
1618.56/1619.23	c nbDecision=1299000 #constraints=51125
1620.16/1620.83	c nbDecision=1299500 #constraints=51150
1620.96/1621.67	c nbDecision=1300000 #constraints=51157
1621.86/1622.53	c nbDecision=1300500 #constraints=51166
1622.26/1622.97	c nbDecision=1301000 #constraints=51166
1622.86/1623.57	c nbDecision=1301500 #constraints=51168
1623.76/1624.44	c nbDecision=1302000 #constraints=51176
1624.76/1625.45	c nbDecision=1302500 #constraints=51190
1625.06/1625.71	c nbDecision=1303000 #constraints=51191
1625.75/1626.47	c nbDecision=1303500 #constraints=51193
1626.55/1627.27	c nbDecision=1304000 #constraints=51202
1627.55/1628.25	c nbDecision=1304500 #constraints=51213
1627.85/1628.52	c nbDecision=1305000 #constraints=51213
1628.65/1629.36	c nbDecision=1305500 #constraints=51224
1629.46/1630.20	c nbDecision=1306000 #constraints=51228
1629.95/1630.68	c nbDecision=1306500 #constraints=51228
1630.75/1631.49	c nbDecision=1307000 #constraints=51241
1631.75/1632.43	c nbDecision=1307500 #constraints=51255
1632.65/1633.39	c nbDecision=1308000 #constraints=51273
1633.15/1633.80	c nbDecision=1308500 #constraints=51277
1633.75/1634.42	c nbDecision=1309000 #constraints=51278
1634.55/1635.22	c nbDecision=1309500 #constraints=51282
1635.05/1635.75	c nbDecision=1310000 #constraints=51288
1635.65/1636.31	c nbDecision=1310500 #constraints=51289
1636.45/1637.17	c nbDecision=1311000 #constraints=51300
1637.25/1637.99	c nbDecision=1311500 #constraints=51302
1637.55/1638.25	c nbDecision=1312000 #constraints=51302
1638.35/1639.04	c nbDecision=1312500 #constraints=51307
1639.25/1639.92	c nbDecision=1313000 #constraints=51316
1639.85/1640.53	c nbDecision=1313500 #constraints=51328
1640.45/1641.16	c nbDecision=1314000 #constraints=51330
1641.46/1642.12	c nbDecision=1314500 #constraints=51349
1642.26/1642.95	c nbDecision=1315000 #constraints=51356
1642.56/1643.28	c nbDecision=1315500 #constraints=51356
1643.26/1643.91	c nbDecision=1316000 #constraints=51360
1644.26/1644.92	c nbDecision=1316500 #constraints=51376
1644.76/1645.40	c nbDecision=1317000 #constraints=51383
1645.36/1646.07	c nbDecision=1317500 #constraints=51389
1646.26/1646.93	c nbDecision=1318000 #constraints=51397
1646.75/1647.45	c nbDecision=1318500 #constraints=51400
1647.65/1648.31	c nbDecision=1319000 #constraints=51410
1648.45/1649.12	c nbDecision=1319500 #constraints=51423
1648.85/1649.56	c nbDecision=1320000 #constraints=51423
1649.36/1650.07	c nbDecision=1320500 #constraints=51424
1650.15/1650.80	c nbDecision=1321000 #constraints=51426
1651.35/1652.10	c nbDecision=1321500 #constraints=51446
1651.65/1652.38	c nbDecision=1322000 #constraints=51446
1652.35/1653.07	c nbDecision=1322500 #constraints=51447
1653.25/1653.92	c nbDecision=1323000 #constraints=51456
1654.15/1654.82	c nbDecision=1323500 #constraints=51462
1654.45/1655.16	c nbDecision=1324000 #constraints=51462
1655.15/1655.82	c nbDecision=1324500 #constraints=51464
1656.15/1656.81	c nbDecision=1325000 #constraints=51478
1656.55/1657.25	c nbDecision=1325500 #constraints=51478
1657.15/1657.80	c nbDecision=1326000 #constraints=51479
1657.85/1658.55	c nbDecision=1326500 #constraints=51481
1658.55/1659.28	c nbDecision=1327000 #constraints=51482
1659.15/1659.84	c nbDecision=1327500 #constraints=51488
1659.85/1660.52	c nbDecision=1328000 #constraints=51495
1660.65/1661.33	c nbDecision=1328500 #constraints=51501
1661.45/1662.12	c nbDecision=1329000 #constraints=51508
1661.85/1662.59	c nbDecision=1329500 #constraints=51510
1662.45/1663.18	c nbDecision=1330000 #constraints=51511
1663.35/1664.05	c nbDecision=1330500 #constraints=51520
1664.14/1664.88	c nbDecision=1331000 #constraints=51522
1664.54/1665.24	c nbDecision=1331500 #constraints=51527
1665.34/1666.00	c nbDecision=1332000 #constraints=51535
1666.44/1667.14	c nbDecision=1332500 #constraints=51552
1666.85/1667.60	c nbDecision=1333000 #constraints=51552
1667.54/1668.22	c nbDecision=1333500 #constraints=51554
1668.44/1669.11	c nbDecision=1334000 #constraints=51563
1669.34/1670.00	c nbDecision=1334500 #constraints=51570
1669.74/1670.46	c nbDecision=1335000 #constraints=51575
1670.44/1671.12	c nbDecision=1335500 #constraints=51579
1671.44/1672.13	c nbDecision=1336000 #constraints=51604
1672.74/1673.40	c nbDecision=1336500 #constraints=51616
1673.84/1674.51	c nbDecision=1337000 #constraints=51632
1674.34/1675.00	c nbDecision=1337500 #constraints=51639
1675.14/1675.82	c nbDecision=1338000 #constraints=51652
1675.84/1676.55	c nbDecision=1338500 #constraints=51654
1676.64/1677.37	c nbDecision=1339000 #constraints=51656
1676.94/1677.66	c nbDecision=1339500 #constraints=51656
1677.64/1678.37	c nbDecision=1340000 #constraints=51658
1678.64/1679.37	c nbDecision=1340500 #constraints=51668
1679.24/1679.91	c nbDecision=1341000 #constraints=51676
1679.84/1680.54	c nbDecision=1341500 #constraints=51681
1680.54/1681.28	c nbDecision=1342000 #constraints=51683
1681.14/1681.85	c nbDecision=1342500 #constraints=51687
1681.74/1682.44	c nbDecision=1343000 #constraints=51691
1682.54/1683.28	c nbDecision=1343500 #constraints=51703
1683.54/1684.26	c nbDecision=1344000 #constraints=51720
1684.04/1684.79	c nbDecision=1344500 #constraints=51729
1684.93/1685.60	c nbDecision=1345000 #constraints=51748
1685.93/1686.69	c nbDecision=1345500 #constraints=51767
1686.53/1687.21	c nbDecision=1346000 #constraints=51772
1687.33/1688.00	c nbDecision=1346500 #constraints=51784
1688.73/1689.44	c nbDecision=1347000 #constraints=51820
1689.73/1690.45	c nbDecision=1347500 #constraints=51831
1690.13/1690.87	c nbDecision=1348000 #constraints=51835
1691.23/1691.97	c nbDecision=1348500 #constraints=51852
1692.03/1692.77	c nbDecision=1349000 #constraints=51854
1692.63/1693.35	c nbDecision=1349500 #constraints=51863
1693.34/1694.02	c nbDecision=1350000 #constraints=51872
1693.94/1694.69	c nbDecision=1350500 #constraints=51873
1695.14/1695.80	c nbDecision=1351000 #constraints=51895
1695.54/1696.28	c nbDecision=1351500 #constraints=51895
1696.14/1696.87	c nbDecision=1352000 #constraints=51897
1697.54/1698.23	c nbDecision=1352500 #constraints=51912
1698.33/1699.01	c nbDecision=1353000 #constraints=51913
1698.74/1699.50	c nbDecision=1353500 #constraints=51916
1699.54/1700.25	c nbDecision=1354000 #constraints=51928
1700.43/1701.10	c nbDecision=1354500 #constraints=51933
1701.33/1702.03	c nbDecision=1355000 #constraints=51947
1702.23/1702.91	c nbDecision=1355500 #constraints=51955
1702.43/1703.17	c nbDecision=1356000 #constraints=51955
1703.63/1704.36	c nbDecision=1356500 #constraints=51991
1704.83/1705.59	c nbDecision=1357000 #constraints=52014
1705.13/1705.84	c nbDecision=1357500 #constraints=52014
1705.93/1706.61	c nbDecision=1358000 #constraints=52017
1707.13/1707.84	c nbDecision=1358500 #constraints=52034
1708.43/1709.12	c nbDecision=1359000 #constraints=52048
1709.23/1709.91	c nbDecision=1359500 #constraints=52052
1710.13/1710.87	c nbDecision=1360000 #constraints=52060
1710.63/1711.36	c nbDecision=1360500 #constraints=52062
1711.33/1712.02	c nbDecision=1361000 #constraints=52065
1712.53/1713.25	c nbDecision=1361500 #constraints=52087
1713.43/1714.12	c nbDecision=1362000 #constraints=52091
1713.63/1714.37	c nbDecision=1362500 #constraints=52091
1714.53/1715.23	c nbDecision=1363000 #constraints=52096
1715.33/1716.03	c nbDecision=1363500 #constraints=52101
1715.83/1716.57	c nbDecision=1364000 #constraints=52105
1716.53/1717.22	c nbDecision=1364500 #constraints=52110
1717.23/1717.94	c nbDecision=1365000 #constraints=52112
1718.13/1718.81	c nbDecision=1365500 #constraints=52114
1718.53/1719.27	c nbDecision=1366000 #constraints=52114
1719.23/1719.97	c nbDecision=1366500 #constraints=52121
1720.33/1721.07	c nbDecision=1367000 #constraints=52150
1721.23/1721.93	c nbDecision=1367500 #constraints=52155
1721.83/1722.50	c nbDecision=1368000 #constraints=52167
1722.53/1723.26	c nbDecision=1368500 #constraints=52169
1723.33/1724.08	c nbDecision=1369000 #constraints=52177
1724.23/1724.90	c nbDecision=1369500 #constraints=52179
1724.82/1725.53	c nbDecision=1370000 #constraints=52196
1725.53/1726.24	c nbDecision=1370500 #constraints=52198
1726.42/1727.10	c nbDecision=1371000 #constraints=52204
1727.52/1728.28	c nbDecision=1371500 #constraints=52215
1728.12/1728.80	c nbDecision=1372000 #constraints=52226
1729.02/1729.72	c nbDecision=1372500 #constraints=52242
1729.92/1730.61	c nbDecision=1373000 #constraints=52251
1730.42/1731.10	c nbDecision=1373500 #constraints=52251
1731.42/1732.15	c nbDecision=1374000 #constraints=52266
1732.32/1733.03	c nbDecision=1374500 #constraints=52276
1733.22/1733.93	c nbDecision=1375000 #constraints=52283
1734.03/1734.77	c nbDecision=1375500 #constraints=52287
1734.42/1735.10	c nbDecision=1376000 #constraints=52291
1735.32/1736.02	c nbDecision=1376500 #constraints=52304
1736.42/1737.11	c nbDecision=1377000 #constraints=52316
1736.62/1737.35	c nbDecision=1377500 #constraints=52316
1737.72/1738.42	c nbDecision=1378000 #constraints=52325
1738.72/1739.45	c nbDecision=1378500 #constraints=52336
1739.42/1740.13	c nbDecision=1379000 #constraints=52352
1740.02/1740.76	c nbDecision=1379500 #constraints=52355
1743.02/1743.76	c nbDecision=1380000 #constraints=52399
1745.72/1746.44	c nbDecision=1380500 #constraints=52435
1748.51/1749.25	c nbDecision=1381000 #constraints=52477
1750.91/1751.69	c nbDecision=1381500 #constraints=52506
1752.31/1753.08	c nbDecision=1382000 #constraints=52519
1753.31/1754.02	c nbDecision=1382500 #constraints=52529
1754.01/1754.78	c nbDecision=1383000 #constraints=52536
1754.71/1755.48	c nbDecision=1383500 #constraints=52543
1755.51/1756.25	c nbDecision=1384000 #constraints=52545
1756.81/1757.52	c nbDecision=1384500 #constraints=52562
1757.21/1757.93	c nbDecision=1385000 #constraints=52569
1758.01/1758.75	c nbDecision=1385500 #constraints=52572
1758.91/1759.64	c nbDecision=1386000 #constraints=52587
1759.41/1760.15	c nbDecision=1386500 #constraints=52592
1760.01/1760.72	c nbDecision=1387000 #constraints=52593
1760.71/1761.45	c nbDecision=1387500 #constraints=52595
1761.61/1762.32	c nbDecision=1388000 #constraints=52605
1762.11/1762.82	c nbDecision=1388500 #constraints=52613
1762.91/1763.66	c nbDecision=1389000 #constraints=52625
1763.61/1764.38	c nbDecision=1389500 #constraints=52627
1764.52/1765.27	c nbDecision=1390000 #constraints=52637
1765.02/1765.76	c nbDecision=1390500 #constraints=52637
1765.62/1766.36	c nbDecision=1391000 #constraints=52639
1766.42/1767.17	c nbDecision=1391500 #constraints=52646
1767.62/1768.37	c nbDecision=1392000 #constraints=52656
1768.12/1768.89	c nbDecision=1392500 #constraints=52660
1768.72/1769.42	c nbDecision=1393000 #constraints=52661
1769.52/1770.22	c nbDecision=1393500 #constraints=52667
1770.61/1771.34	c nbDecision=1394000 #constraints=52677
1770.91/1771.64	c nbDecision=1394500 #constraints=52677
1771.61/1772.36	c nbDecision=1395000 #constraints=52680
1772.31/1773.10	c nbDecision=1395500 #constraints=52682
1774.01/1774.74	c nbDecision=1396000 #constraints=52722
1774.91/1775.68	c nbDecision=1396500 #constraints=52728
1775.41/1776.17	c nbDecision=1397000 #constraints=52736
1776.21/1776.92	c nbDecision=1397500 #constraints=52744
1777.01/1777.70	c nbDecision=1398000 #constraints=52751
1778.51/1779.22	c nbDecision=1398500 #constraints=52772
1779.31/1780.07	c nbDecision=1399000 #constraints=52774
1780.31/1781.06	c nbDecision=1399500 #constraints=52783
1781.91/1782.67	c nbDecision=1400000 #constraints=52796
1782.81/1783.57	c nbDecision=1400500 #constraints=52804
1784.11/1784.87	c nbDecision=1401000 #constraints=52821
1784.61/1785.33	c nbDecision=1401500 #constraints=52827
1785.51/1786.21	c nbDecision=1402000 #constraints=52833
1786.71/1787.48	c nbDecision=1402500 #constraints=52865
1787.91/1788.61	c nbDecision=1403000 #constraints=52887
1788.11/1788.89	c nbDecision=1403500 #constraints=52889
1789.11/1789.83	c nbDecision=1404000 #constraints=52895
1789.91/1790.61	c nbDecision=1404500 #constraints=52897
1790.91/1791.66	c nbDecision=1405000 #constraints=52912
1791.41/1792.12	c nbDecision=1405500 #constraints=52922
1792.31/1793.07	c nbDecision=1406000 #constraints=52935
1793.31/1794.01	c nbDecision=1406500 #constraints=52947
1793.71/1794.47	c nbDecision=1407000 #constraints=52948
1794.61/1795.35	c nbDecision=1407500 #constraints=52967
1795.51/1796.24	c nbDecision=1408000 #constraints=52977
1797.00/1797.71	c nbDecision=1408500 #constraints=53008
1797.71/1798.40	c nbDecision=1409000 #constraints=53023
1798.30/1799.07	c nbDecision=1409500 #constraints=53030
1799.20/1799.96	c nbDecision=1410000 #constraints=53043
1800.01/1800.71	Received signal 15
1800.01/1800.76	
1800.01/1800.76	s UNKNOWN
1800.01/1800.76	
1800.01/1800.76	c user time= 1799.21 s
1800.01/1800.76	c system time= 0.873867 s
1800.01/1800.76	c wall clock time=1800.77

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/node48/watcher-356878-1176846974 -o ROOT/results/node48/solver-356878-1176846974 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356878-1176846974/instance-356878-1176846974.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 21400
/proc/meminfo: memFree=1644408/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=1620 CPUtime=0
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 39542740 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 405 175 126 317 0 84 0

[startup+0.096379 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 21400
/proc/meminfo: memFree=1644408/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=3752 CPUtime=0.09
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 767 0 0 0 9 0 0 0 18 0 1 0 39542740 3842048 716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 938 716 131 317 0 617 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3752

[startup+0.101378 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 21400
/proc/meminfo: memFree=1644408/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=3884 CPUtime=0.09
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 798 0 0 0 9 0 0 0 18 0 1 0 39542740 3977216 747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 971 747 131 317 0 650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3884

[startup+0.301397 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 21400
/proc/meminfo: memFree=1644408/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=7428 CPUtime=0.29
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 1693 0 0 0 29 0 0 0 19 0 1 0 39542740 7606272 1642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 1857 1642 137 317 0 1536 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7428

[startup+0.701433 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 21400
/proc/meminfo: memFree=1644408/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=7428 CPUtime=0.69
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 1698 0 0 0 69 0 0 0 22 0 1 0 39542740 7606272 1647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 1857 1647 138 317 0 1536 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7428

[startup+1.50151 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 21401
/proc/meminfo: memFree=1638256/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=7556 CPUtime=1.49
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 1701 0 0 0 149 0 0 0 25 0 1 0 39542740 7737344 1650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 1889 1650 138 317 0 1568 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7556

[startup+3.10165 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 21401
/proc/meminfo: memFree=1638064/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=7556 CPUtime=3.09
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 1705 0 0 0 309 0 0 0 25 0 1 0 39542740 7737344 1654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 1889 1654 138 317 0 1568 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7556

[startup+6.30295 s]
/proc/loadavg: 0.92 0.95 0.97 2/65 21401
/proc/meminfo: memFree=1637296/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=8340 CPUtime=6.3
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 1896 0 0 0 629 1 0 0 25 0 1 0 39542740 8540160 1845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 2085 1845 139 317 0 1764 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 8340

[startup+12.7015 s]
/proc/loadavg: 0.93 0.95 0.97 2/65 21401
/proc/meminfo: memFree=1635504/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=10044 CPUtime=12.69
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 2350 0 0 0 1268 1 0 0 25 0 1 0 39542740 10285056 2299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 2511 2299 139 317 0 2190 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10044

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.97 2/65 21401
/proc/meminfo: memFree=1606256/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=40256 CPUtime=25.49
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 9874 0 0 0 2543 6 0 0 25 0 1 0 39542740 41222144 9823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 10064 9823 139 317 0 9743 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40256

[startup+51.1011 s]
/proc/loadavg: 0.96 0.96 0.97 2/65 21401
/proc/meminfo: memFree=1565872/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=80636 CPUtime=51.08
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 20021 0 0 0 5094 14 0 0 25 0 1 0 39542740 82571264 19927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 20159 19927 170 317 0 19838 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 80636

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.97 2/65 21401
/proc/meminfo: memFree=1514096/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=131924 CPUtime=102.27
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 32798 0 0 0 10205 22 0 0 25 0 1 0 39542740 135090176 32618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 32981 32618 170 317 0 32660 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 131924

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21401
/proc/meminfo: memFree=1469296/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=176692 CPUtime=162.25
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 44059 0 0 0 16196 29 0 0 25 0 1 0 39542740 180932608 43879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 44173 43879 170 317 0 43852 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 176692

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21401
/proc/meminfo: memFree=1437168/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=210216 CPUtime=222.23
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 52005 0 0 0 22188 35 0 0 25 0 1 0 39542740 215261184 51825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384541 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 52554 51825 170 317 0 52233 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 210216

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21401
/proc/meminfo: memFree=1412336/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=234864 CPUtime=282.2
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 58443 0 0 0 28181 39 0 0 25 0 1 0 39542740 240500736 58093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 58716 58093 170 317 0 58395 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 234864

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21599
/proc/meminfo: memFree=1385904/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=263616 CPUtime=342.09
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 64916 0 0 0 34164 45 0 0 25 0 1 0 39542740 269942784 64566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 0 0 0
/proc/21400/statm: 65904 64566 170 317 0 65583 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 263616

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21599
/proc/meminfo: memFree=1369264/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=279808 CPUtime=402.05
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 69119 0 0 0 40158 47 0 0 25 0 1 0 39542740 286523392 68769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 69952 68769 170 317 0 69631 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 279808

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21599
/proc/meminfo: memFree=1351792/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=296736 CPUtime=462.03
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 73428 0 0 0 46153 50 0 0 25 0 1 0 39542740 303857664 73078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 74184 73078 170 317 0 73863 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 296736

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21599
/proc/meminfo: memFree=1336880/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=312352 CPUtime=522.01
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 77220 0 0 0 52149 52 0 0 25 0 1 0 39542740 319848448 76837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 78088 76837 170 317 0 77767 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 312352

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21599
/proc/meminfo: memFree=1322736/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=325916 CPUtime=581.99
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 80718 0 0 0 58144 55 0 0 25 0 1 0 39542740 333737984 80335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 81479 80335 170 317 0 81158 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 325916

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 21599
/proc/meminfo: memFree=1307568/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=341768 CPUtime=641.97
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 84467 0 0 0 64139 58 0 0 25 0 1 0 39542740 349970432 84084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 85442 84084 170 317 0 85121 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 341768


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

[startup+882.302 s]
/proc/loadavg: 1.08 1.01 0.99 2/65 21601
/proc/meminfo: memFree=1239216/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=417964 CPUtime=881.89
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 101540 0 0 0 88120 69 0 0 25 0 1 0 39542740 427995136 101157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 104491 101157 170 317 0 104170 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 417964

[startup+942.301 s]
/proc/loadavg: 1.03 1.01 0.99 2/65 21601
/proc/meminfo: memFree=1231088/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=426940 CPUtime=941.86
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 103604 0 0 0 94116 70 0 0 25 0 1 0 39542740 437186560 103221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 106735 103221 170 317 0 106414 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 426940

[startup+1002.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1223920/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=433428 CPUtime=1001.84
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 105357 0 0 0 100113 71 0 0 25 0 1 0 39542740 443830272 104974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 108357 104974 170 317 0 108036 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 433428

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1211760/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=445652 CPUtime=1061.83
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 108439 0 0 0 106110 73 0 0 25 0 1 0 39542740 456347648 108056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 111413 108056 170 317 0 111092 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 445652

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1199088/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=457792 CPUtime=1121.8
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 111558 0 0 0 112106 74 0 0 25 0 1 0 39542740 468779008 111175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 114448 111175 170 317 0 114127 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 457792

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1188272/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=468616 CPUtime=1181.8
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 114242 0 0 0 118104 76 0 0 25 0 1 0 39542740 479862784 113859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 117154 113859 170 317 0 116833 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 468616

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1182256/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=474284 CPUtime=1241.77
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 115759 0 0 0 124100 77 0 0 25 0 1 0 39542740 485666816 115376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 118571 115376 170 317 0 118250 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 474284

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1171632/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=483960 CPUtime=1301.75
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 118399 0 0 0 130097 78 0 0 25 0 1 0 39542740 495575040 118016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 120990 118016 170 317 0 120669 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 483960

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1164272/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=491272 CPUtime=1361.73
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 120228 0 0 0 136094 79 0 0 25 0 1 0 39542740 503062528 119845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 122818 119845 170 317 0 122497 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 491272

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1158000/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=497600 CPUtime=1421.72
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 121781 0 0 0 142091 81 0 0 25 0 1 0 39542740 509542400 121398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 124400 121398 170 317 0 124079 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 497600

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1149360/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=507012 CPUtime=1481.7
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 124222 0 0 0 148088 82 0 0 25 0 1 0 39542740 519180288 123500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 126753 123500 170 317 0 126432 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 507012

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1144816/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=511784 CPUtime=1541.68
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 125436 0 0 0 154086 82 0 0 25 0 1 0 39542740 524066816 124714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710969 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 127946 124714 170 317 0 127625 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 511784

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1137008/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=518824 CPUtime=1601.67
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 127378 0 0 0 160083 84 0 0 25 0 1 0 39542740 531275776 126656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 129706 126656 170 317 0 129385 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 518824

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1132080/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=523824 CPUtime=1661.65
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 128610 0 0 0 166080 85 0 0 25 0 1 0 39542740 536395776 127888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 130956 127888 170 317 0 130635 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 523824

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1126128/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=529732 CPUtime=1721.63
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 130135 0 0 0 172077 86 0 0 25 0 1 0 39542740 542445568 129413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 132433 129413 170 317 0 132112 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 529732

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1119408/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=535952 CPUtime=1781.61
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 131768 0 0 0 178074 87 0 0 25 0 1 0 39542740 548814848 131046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 133988 131046 170 317 0 133667 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 535952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1117168/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=538236 CPUtime=1800.01
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 132314 0 0 0 179914 87 0 0 25 0 1 0 39542740 551153664 131592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 134559 131592 170 317 0 134238 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 538236

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 21601
/proc/meminfo: memFree=1117168/2055920 swapFree=4184680/4192956
[pid=21400] ppid=21398 vsize=0 CPUtime=1800.1
/proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194308 132332 0 0 0 179921 89 0 0 25 0 1 0 39542740 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21400/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.17
CPU user time (s): 1799.22
CPU system time (s): 0.954854
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 538236

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

runsolver used 1.38579 second user time and 3.74543 second system time

The end

Launcher Data (download as text)

Begin job on node48 on Tue Apr 17 21:56:14 UTC 2007

IDJOB= 356878
IDBENCH= 1584
IDSOLVER= 172
FILE ID= node48/356878-1176846974

PBS_JOBID= 4590167

Free space on /tmp= 66547 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb
COMMAND LINE= oree /tmp/evaluation/356878-1176846974/instance-356878-1176846974.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-356878-1176846974 -o ROOT/results/node48/solver-356878-1176846974 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356878-1176846974/instance-356878-1176846974.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1be7a0a5556e21a359d6f31cb8a3ccd8

RANDOM SEED= 748748258

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.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.238
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.238
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:       1644816 kB
Buffers:         48488 kB
Cached:         288984 kB
SwapCached:       2392 kB
Active:         143924 kB
Inactive:       203776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1644816 kB
SwapTotal:     4192956 kB
SwapFree:      4184680 kB
Dirty:            1896 kB
Writeback:           0 kB
Mapped:          16480 kB
Slab:            49428 kB
Committed_AS:   940492 kB
PageTables:       1388 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= 66547 MiB

End job on node48 on Tue Apr 17 22:26:17 UTC 2007