Trace number 362944

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.16 1800.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-degen2.opb
MD5SUMef301ecece8b2033bfa1fe9b39eee48a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark24.6553
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables16020
Total number of constraints444
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 constraints444
Minimum length of a constraint60
Maximum length of a constraint2550
Number of terms in the objective function 14100
Biggest coefficient in the objective function 3337
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 535636
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 131073
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535636
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.29/0.34	c ...done
0.29/0.34	c #vars=16020 #constraints=666 hasObjective=yes
0.59/0.64	c res. mode=mod
0.59/0.64	c VSIDS like heuristics
0.59/0.64	c complete search running
1.29/1.34	c restart after 401 decisions
1.29/1.36	c nbDecision=500 #constraints=694
1.89/1.99	c restart after 801 decisions
1.99/2.03	c nbDecision=1000 #constraints=722
2.29/2.31	c nbDecision=1500 #constraints=732
2.29/2.36	c restart after 1601 decisions
2.49/2.51	c nbDecision=2000 #constraints=738
3.09/3.10	c nbDecision=2500 #constraints=763
3.49/3.57	c nbDecision=3000 #constraints=782
3.59/3.69	c restart after 3201 decisions
4.19/4.29	c nbDecision=3500 #constraints=812
4.49/4.57	c nbDecision=4000 #constraints=822
4.79/4.86	c nbDecision=4500 #constraints=832
5.59/5.64	c nbDecision=5000 #constraints=866
5.89/5.93	c nbDecision=5500 #constraints=876
6.19/6.21	c nbDecision=6000 #constraints=886
6.69/6.72	c restart after 6401 decisions
6.69/6.75	c nbDecision=6500 #constraints=908
7.49/7.50	c nbDecision=7000 #constraints=940
7.69/7.79	c nbDecision=7500 #constraints=950
7.99/8.07	c nbDecision=8000 #constraints=960
8.79/8.86	c nbDecision=8500 #constraints=994
9.08/9.15	c nbDecision=9000 #constraints=1004
9.38/9.44	c nbDecision=9500 #constraints=1014
10.18/10.22	c nbDecision=10000 #constraints=1048
10.48/10.51	c nbDecision=10500 #constraints=1058
10.68/10.80	c nbDecision=11000 #constraints=1068
11.48/11.59	c nbDecision=11500 #constraints=1102
11.78/11.87	c nbDecision=12000 #constraints=1112
12.09/12.16	c nbDecision=12500 #constraints=1122
12.78/12.84	c restart after 12801 decisions
12.78/12.88	c nbDecision=13000 #constraints=1152
13.09/13.17	c nbDecision=13500 #constraints=1162
13.88/13.96	c nbDecision=14000 #constraints=1196
14.19/14.24	c nbDecision=14500 #constraints=1206
14.48/14.53	c nbDecision=15000 #constraints=1216
15.29/15.31	c nbDecision=15500 #constraints=1250
15.48/15.59	c nbDecision=16000 #constraints=1260
15.79/15.88	c nbDecision=16500 #constraints=1270
16.59/16.66	c nbDecision=17000 #constraints=1304
16.89/16.95	c nbDecision=17500 #constraints=1314
17.19/17.24	c nbDecision=18000 #constraints=1324
17.99/18.03	c nbDecision=18500 #constraints=1358
18.29/18.31	c nbDecision=19000 #constraints=1368
18.49/18.60	c nbDecision=19500 #constraints=1378
19.29/19.39	c nbDecision=20000 #constraints=1412
19.59/19.68	c nbDecision=20500 #constraints=1422
19.89/19.97	c nbDecision=21000 #constraints=1432
20.69/20.75	c nbDecision=21500 #constraints=1466
20.99/21.04	c nbDecision=22000 #constraints=1476
21.29/21.32	c nbDecision=22500 #constraints=1486
22.09/22.12	c nbDecision=23000 #constraints=1520
22.39/22.40	c nbDecision=23500 #constraints=1530
22.59/22.69	c nbDecision=24000 #constraints=1540
23.38/23.48	c nbDecision=24500 #constraints=1574
23.68/23.77	c nbDecision=25000 #constraints=1584
23.98/24.06	c nbDecision=25500 #constraints=1594
24.09/24.12	c restart after 25601 decisions
24.48/24.54	c nbDecision=26000 #constraints=1611
24.78/24.83	c nbDecision=26500 #constraints=1621
25.08/25.12	c nbDecision=27000 #constraints=1631
25.88/25.92	c nbDecision=27500 #constraints=1665
26.18/26.21	c nbDecision=28000 #constraints=1675
26.48/26.50	c nbDecision=28500 #constraints=1685
27.28/27.31	c nbDecision=29000 #constraints=1719
27.58/27.60	c nbDecision=29500 #constraints=1729
27.78/27.89	c nbDecision=30000 #constraints=1739
28.68/28.70	c nbDecision=30500 #constraints=1773
28.88/28.99	c nbDecision=31000 #constraints=1783
29.18/29.28	c nbDecision=31500 #constraints=1793
29.98/30.09	c nbDecision=32000 #constraints=1827
30.28/30.38	c nbDecision=32500 #constraints=1837
30.58/30.68	c nbDecision=33000 #constraints=1847
31.38/31.49	c nbDecision=33500 #constraints=1881
31.68/31.78	c nbDecision=34000 #constraints=1891
31.98/32.07	c nbDecision=34500 #constraints=1901
32.78/32.88	c nbDecision=35000 #constraints=1935
33.08/33.18	c nbDecision=35500 #constraints=1945
33.38/33.47	c nbDecision=36000 #constraints=1955
34.18/34.28	c nbDecision=36500 #constraints=1989
34.48/34.57	c nbDecision=37000 #constraints=1999
34.78/34.86	c nbDecision=37500 #constraints=2009
35.58/35.67	c nbDecision=38000 #constraints=2043
35.88/35.96	c nbDecision=38500 #constraints=2053
36.18/36.25	c nbDecision=39000 #constraints=2063
36.98/37.06	c nbDecision=39500 #constraints=2097
37.28/37.35	c nbDecision=40000 #constraints=2107
37.58/37.64	c nbDecision=40500 #constraints=2117
38.38/38.46	c nbDecision=41000 #constraints=2151
38.68/38.75	c nbDecision=41500 #constraints=2161
38.98/39.04	c nbDecision=42000 #constraints=2171
39.58/39.60	c nbDecision=42500 #constraints=2194
39.88/39.91	c nbDecision=43000 #constraints=2205
40.08/40.19	c nbDecision=43500 #constraints=2215
40.68/40.75	c nbDecision=44000 #constraints=2238
40.98/41.06	c nbDecision=44500 #constraints=2249
41.58/41.62	c nbDecision=45000 #constraints=2272
41.88/41.93	c nbDecision=45500 #constraints=2283
42.18/42.21	c nbDecision=46000 #constraints=2293
42.67/42.78	c nbDecision=46500 #constraints=2316
42.98/43.08	c nbDecision=47000 #constraints=2327
43.28/43.37	c nbDecision=47500 #constraints=2337
43.89/43.96	c nbDecision=48000 #constraints=2361
44.18/44.25	c nbDecision=48500 #constraints=2371
44.78/44.81	c nbDecision=49000 #constraints=2394
45.09/45.13	c nbDecision=49500 #constraints=2405
45.38/45.41	c nbDecision=50000 #constraints=2415
45.98/46.01	c nbDecision=50500 #constraints=2439
46.18/46.29	c nbDecision=51000 #constraints=2449
46.38/46.41	c restart after 51201 decisions
46.48/46.56	c nbDecision=51500 #constraints=2455
46.78/46.85	c nbDecision=52000 #constraints=2465
47.08/47.15	c nbDecision=52500 #constraints=2475
47.88/47.98	c nbDecision=53000 #constraints=2509
48.18/48.27	c nbDecision=53500 #constraints=2519
48.48/48.57	c nbDecision=54000 #constraints=2529
49.28/49.40	c nbDecision=54500 #constraints=2563
49.58/49.69	c nbDecision=55000 #constraints=2573
49.88/49.99	c nbDecision=55500 #constraints=2583
50.78/50.82	c nbDecision=56000 #constraints=2617
51.08/51.12	c nbDecision=56500 #constraints=2627
51.38/51.41	c nbDecision=57000 #constraints=2637
52.18/52.25	c nbDecision=57500 #constraints=2671
52.48/52.54	c nbDecision=58000 #constraints=2681
52.78/52.84	c nbDecision=58500 #constraints=2691
53.57/53.67	c nbDecision=59000 #constraints=2725
53.88/53.97	c nbDecision=59500 #constraints=2735
54.17/54.26	c nbDecision=60000 #constraints=2745
54.98/55.09	c nbDecision=60500 #constraints=2779
55.27/55.38	c nbDecision=61000 #constraints=2789
55.57/55.68	c nbDecision=61500 #constraints=2799
56.47/56.51	c nbDecision=62000 #constraints=2833
56.77/56.81	c nbDecision=62500 #constraints=2843
57.08/57.10	c nbDecision=63000 #constraints=2853
57.87/57.93	c nbDecision=63500 #constraints=2887
58.18/58.23	c nbDecision=64000 #constraints=2897
58.47/58.53	c nbDecision=64500 #constraints=2907
59.07/59.10	c nbDecision=65000 #constraints=2930
59.37/59.41	c nbDecision=65500 #constraints=2941
59.67/59.73	c nbDecision=66000 #constraints=2953
60.17/60.29	c nbDecision=66500 #constraints=2975
60.47/60.58	c nbDecision=67000 #constraints=2985
61.07/61.15	c nbDecision=67500 #constraints=3008
61.37/61.46	c nbDecision=68000 #constraints=3019
61.67/61.75	c nbDecision=68500 #constraints=3029
62.27/62.34	c nbDecision=69000 #constraints=3053
62.57/62.63	c nbDecision=69500 #constraints=3063
62.87/62.92	c nbDecision=70000 #constraints=3073
63.47/63.52	c nbDecision=70500 #constraints=3097
63.77/63.81	c nbDecision=71000 #constraints=3107
64.37/64.41	c nbDecision=71500 #constraints=3131
64.67/64.70	c nbDecision=72000 #constraints=3141
64.87/64.99	c nbDecision=72500 #constraints=3151
65.47/65.59	c nbDecision=73000 #constraints=3175
65.77/65.88	c nbDecision=73500 #constraints=3185
66.07/66.20	c nbDecision=74000 #constraints=3196
66.67/66.78	c nbDecision=74500 #constraints=3219
66.97/67.10	c nbDecision=75000 #constraints=3230
67.58/67.67	c nbDecision=75500 #constraints=3253
67.88/67.98	c nbDecision=76000 #constraints=3264
68.18/68.27	c nbDecision=76500 #constraints=3274
68.77/68.85	c nbDecision=77000 #constraints=3297
69.07/69.16	c nbDecision=77500 #constraints=3308
69.37/69.45	c nbDecision=78000 #constraints=3318
69.97/70.06	c nbDecision=78500 #constraints=3342
70.28/70.35	c nbDecision=79000 #constraints=3352
70.87/70.93	c nbDecision=79500 #constraints=3375
71.17/71.25	c nbDecision=80000 #constraints=3386
71.48/71.54	c nbDecision=80500 #constraints=3396
72.07/72.15	c nbDecision=81000 #constraints=3420
72.37/72.44	c nbDecision=81500 #constraints=3430
72.67/72.73	c nbDecision=82000 #constraints=3440
72.97/73.06	c nbDecision=82500 #constraints=3452
73.27/73.38	c nbDecision=83000 #constraints=3463
73.57/73.68	c nbDecision=83500 #constraints=3474
73.87/73.99	c nbDecision=84000 #constraints=3485
74.27/74.30	c nbDecision=84500 #constraints=3496
74.57/74.61	c nbDecision=85000 #constraints=3507
74.87/74.92	c nbDecision=85500 #constraints=3518
75.17/75.23	c nbDecision=86000 #constraints=3529
75.47/75.54	c nbDecision=86500 #constraints=3540
75.77/75.85	c nbDecision=87000 #constraints=3551
76.07/76.16	c nbDecision=87500 #constraints=3562
76.37/76.47	c nbDecision=88000 #constraints=3573
76.67/76.77	c nbDecision=88500 #constraints=3584
77.07/77.11	c nbDecision=89000 #constraints=3596
77.37/77.40	c nbDecision=89500 #constraints=3606
77.67/77.73	c nbDecision=90000 #constraints=3618
77.97/78.04	c nbDecision=90500 #constraints=3629
78.27/78.34	c nbDecision=91000 #constraints=3640
78.57/78.66	c nbDecision=91500 #constraints=3651
78.87/78.97	c nbDecision=92000 #constraints=3662
79.17/79.28	c nbDecision=92500 #constraints=3673
79.46/79.59	c nbDecision=93000 #constraints=3684
79.76/79.88	c nbDecision=93500 #constraints=3694
80.17/80.21	c nbDecision=94000 #constraints=3706
80.46/80.53	c nbDecision=94500 #constraints=3717
80.76/80.84	c nbDecision=95000 #constraints=3728
81.07/81.15	c nbDecision=95500 #constraints=3739
81.38/81.46	c nbDecision=96000 #constraints=3750
81.67/81.77	c nbDecision=96500 #constraints=3761
81.97/82.08	c nbDecision=97000 #constraints=3772
82.38/82.41	c nbDecision=97500 #constraints=3784
82.67/82.72	c nbDecision=98000 #constraints=3795
82.97/83.01	c nbDecision=98500 #constraints=3805
84.37/84.46	c nbDecision=99000 #constraints=3868
86.17/86.25	c nbDecision=99500 #constraints=3945
87.67/87.70	c nbDecision=100000 #constraints=4007
87.97/88.08	c nbDecision=100500 #constraints=4021
88.87/89.00	c nbDecision=101000 #constraints=4058
89.27/89.31	c nbDecision=101500 #constraints=4068
89.57/89.62	c nbDecision=102000 #constraints=4078
89.97/90.02	c restart after 102401 decisions
90.07/90.14	c nbDecision=102500 #constraints=4093
90.37/90.43	c nbDecision=103000 #constraints=4101
90.67/90.74	c nbDecision=103500 #constraints=4111
91.57/91.60	c nbDecision=104000 #constraints=4145
91.86/91.91	c nbDecision=104500 #constraints=4155
92.16/92.22	c nbDecision=105000 #constraints=4165
92.96/93.09	c nbDecision=105500 #constraints=4199
93.26/93.40	c nbDecision=106000 #constraints=4209
93.66/93.71	c nbDecision=106500 #constraints=4219
94.46/94.57	c nbDecision=107000 #constraints=4253
94.76/94.88	c nbDecision=107500 #constraints=4263
95.16/95.20	c nbDecision=108000 #constraints=4273
95.96/96.08	c nbDecision=108500 #constraints=4307
96.26/96.40	c nbDecision=109000 #constraints=4317
96.66/96.71	c nbDecision=109500 #constraints=4327
97.46/97.60	c nbDecision=110000 #constraints=4361
97.86/97.91	c nbDecision=110500 #constraints=4371
98.16/98.23	c nbDecision=111000 #constraints=4381
99.07/99.11	c nbDecision=111500 #constraints=4415
99.37/99.43	c nbDecision=112000 #constraints=4425
99.67/99.75	c nbDecision=112500 #constraints=4435
100.56/100.63	c nbDecision=113000 #constraints=4469
100.86/100.95	c nbDecision=113500 #constraints=4479
101.17/101.27	c nbDecision=114000 #constraints=4489
102.06/102.15	c nbDecision=114500 #constraints=4523
102.36/102.47	c nbDecision=115000 #constraints=4533
102.66/102.79	c nbDecision=115500 #constraints=4543
103.56/103.67	c nbDecision=116000 #constraints=4577
103.86/103.99	c nbDecision=116500 #constraints=4587
104.26/104.31	c nbDecision=117000 #constraints=4597
105.06/105.20	c nbDecision=117500 #constraints=4631
105.46/105.52	c nbDecision=118000 #constraints=4641
105.76/105.84	c nbDecision=118500 #constraints=4651
106.66/106.73	c nbDecision=119000 #constraints=4685
106.96/107.05	c nbDecision=119500 #constraints=4695
107.26/107.37	c nbDecision=120000 #constraints=4705
108.16/108.25	c nbDecision=120500 #constraints=4739
108.46/108.58	c nbDecision=121000 #constraints=4749
108.76/108.90	c nbDecision=121500 #constraints=4759
109.46/109.52	c nbDecision=122000 #constraints=4782
109.76/109.85	c nbDecision=122500 #constraints=4793
110.06/110.16	c nbDecision=123000 #constraints=4803
110.65/110.78	c nbDecision=123500 #constraints=4826
111.06/111.11	c nbDecision=124000 #constraints=4837
111.35/111.42	c nbDecision=124500 #constraints=4847
111.95/112.06	c nbDecision=125000 #constraints=4871
112.25/112.37	c nbDecision=125500 #constraints=4881
112.85/112.99	c nbDecision=126000 #constraints=4904
113.25/113.32	c nbDecision=126500 #constraints=4915
113.55/113.64	c nbDecision=127000 #constraints=4925
114.15/114.28	c nbDecision=127500 #constraints=4949
114.45/114.58	c nbDecision=128000 #constraints=4959
114.75/114.89	c nbDecision=128500 #constraints=4969
115.45/115.53	c nbDecision=129000 #constraints=4993
115.75/115.84	c nbDecision=129500 #constraints=5003
116.35/116.47	c nbDecision=130000 #constraints=5027
116.65/116.78	c nbDecision=130500 #constraints=5037
117.05/117.11	c nbDecision=131000 #constraints=5048
117.65/117.73	c nbDecision=131500 #constraints=5071
117.95/118.06	c nbDecision=132000 #constraints=5082
118.25/118.36	c nbDecision=132500 #constraints=5092
118.85/118.98	c nbDecision=133000 #constraints=5115
119.26/119.31	c nbDecision=133500 #constraints=5126
119.86/119.91	c nbDecision=134000 #constraints=5149
120.16/120.25	c nbDecision=134500 #constraints=5160
120.46/120.56	c nbDecision=135000 #constraints=5170
121.05/121.17	c nbDecision=135500 #constraints=5193
121.45/121.50	c nbDecision=136000 #constraints=5204
121.75/121.81	c nbDecision=136500 #constraints=5214
122.35/122.45	c nbDecision=137000 #constraints=5238
122.65/122.75	c nbDecision=137500 #constraints=5248
123.16/123.30	c nbDecision=138000 #constraints=5268
123.65/123.70	c nbDecision=138500 #constraints=5282
123.95/124.02	c nbDecision=139000 #constraints=5292
124.26/124.35	c nbDecision=139500 #constraints=5303
124.55/124.67	c nbDecision=140000 #constraints=5314
124.95/125.00	c nbDecision=140500 #constraints=5325
125.26/125.36	c nbDecision=141000 #constraints=5337
125.55/125.67	c nbDecision=141500 #constraints=5347
125.95/126.02	c nbDecision=142000 #constraints=5359
126.25/126.35	c nbDecision=142500 #constraints=5370
126.55/126.66	c nbDecision=143000 #constraints=5380
126.95/127.01	c nbDecision=143500 #constraints=5392
127.25/127.35	c nbDecision=144000 #constraints=5403
127.55/127.67	c nbDecision=144500 #constraints=5414
127.95/128.00	c nbDecision=145000 #constraints=5425
128.25/128.33	c nbDecision=145500 #constraints=5436
128.55/128.67	c nbDecision=146000 #constraints=5447
128.95/129.00	c nbDecision=146500 #constraints=5458
129.25/129.32	c nbDecision=147000 #constraints=5469
129.55/129.65	c nbDecision=147500 #constraints=5480
129.85/129.99	c nbDecision=148000 #constraints=5491
130.25/130.32	c nbDecision=148500 #constraints=5502
130.55/130.65	c nbDecision=149000 #constraints=5513
130.85/130.97	c nbDecision=149500 #constraints=5524
131.25/131.33	c nbDecision=150000 #constraints=5536
131.55/131.64	c nbDecision=150500 #constraints=5546
131.85/132.00	c nbDecision=151000 #constraints=5558
132.25/132.33	c nbDecision=151500 #constraints=5569
132.55/132.65	c nbDecision=152000 #constraints=5580
132.85/132.99	c nbDecision=152500 #constraints=5591
133.24/133.33	c nbDecision=153000 #constraints=5602
133.54/133.65	c nbDecision=153500 #constraints=5613
133.84/133.98	c nbDecision=154000 #constraints=5624
134.15/134.28	c nbDecision=154500 #constraints=5634
134.54/134.64	c nbDecision=155000 #constraints=5646
134.84/134.97	c nbDecision=155500 #constraints=5657
135.84/135.90	c nbDecision=156000 #constraints=5694
137.64/137.75	c nbDecision=156500 #constraints=5769
139.64/139.79	c nbDecision=157000 #constraints=5852
140.24/140.31	c nbDecision=157500 #constraints=5871
140.64/140.72	c nbDecision=158000 #constraints=5885
141.54/141.66	c nbDecision=158500 #constraints=5920
141.84/141.98	c nbDecision=159000 #constraints=5930
142.14/142.27	c nbDecision=159500 #constraints=5939
143.14/143.20	c nbDecision=160000 #constraints=5974
143.44/143.52	c nbDecision=160500 #constraints=5984
143.74/143.82	c nbDecision=161000 #constraints=5993
144.64/144.76	c nbDecision=161500 #constraints=6028
144.94/145.08	c nbDecision=162000 #constraints=6038
145.24/145.38	c nbDecision=162500 #constraints=6047
146.24/146.32	c nbDecision=163000 #constraints=6082
146.54/146.64	c nbDecision=163500 #constraints=6092
146.84/146.94	c nbDecision=164000 #constraints=6101
147.74/147.88	c nbDecision=164500 #constraints=6136
148.14/148.21	c nbDecision=165000 #constraints=6146
148.34/148.50	c nbDecision=165500 #constraints=6155
149.35/149.45	c nbDecision=166000 #constraints=6190
149.65/149.77	c nbDecision=166500 #constraints=6200
149.94/150.07	c nbDecision=167000 #constraints=6209
150.94/151.02	c nbDecision=167500 #constraints=6244
151.24/151.34	c nbDecision=168000 #constraints=6254
151.54/151.63	c nbDecision=168500 #constraints=6263
152.44/152.59	c nbDecision=169000 #constraints=6298
152.84/152.91	c nbDecision=169500 #constraints=6308
153.14/153.20	c nbDecision=170000 #constraints=6317
154.04/154.15	c nbDecision=170500 #constraints=6352
154.34/154.47	c nbDecision=171000 #constraints=6362
154.64/154.77	c nbDecision=171500 #constraints=6371
155.64/155.71	c nbDecision=172000 #constraints=6406
155.94/156.03	c nbDecision=172500 #constraints=6416
156.24/156.33	c nbDecision=173000 #constraints=6425
157.14/157.27	c nbDecision=173500 #constraints=6460
157.44/157.60	c nbDecision=174000 #constraints=6470
157.74/157.89	c nbDecision=174500 #constraints=6479
158.73/158.84	c nbDecision=175000 #constraints=6514
159.03/159.16	c nbDecision=175500 #constraints=6524
159.34/159.45	c nbDecision=176000 #constraints=6533
160.33/160.40	c nbDecision=176500 #constraints=6568
160.63/160.73	c nbDecision=177000 #constraints=6578
160.93/161.02	c nbDecision=177500 #constraints=6587
161.54/161.69	c nbDecision=178000 #constraints=6611
161.93/162.01	c nbDecision=178500 #constraints=6621
162.53/162.66	c nbDecision=179000 #constraints=6645
162.83/162.98	c nbDecision=179500 #constraints=6655
163.23/163.30	c nbDecision=180000 #constraints=6665
163.84/163.96	c nbDecision=180500 #constraints=6689
164.14/164.28	c nbDecision=181000 #constraints=6699
164.54/164.62	c nbDecision=181500 #constraints=6710
165.14/165.27	c nbDecision=182000 #constraints=6733
165.54/165.61	c nbDecision=182500 #constraints=6744
166.14/166.25	c nbDecision=183000 #constraints=6767
166.44/166.57	c nbDecision=183500 #constraints=6777
166.83/166.92	c nbDecision=184000 #constraints=6788
167.43/167.56	c nbDecision=184500 #constraints=6811
167.83/167.90	c nbDecision=185000 #constraints=6822
168.14/168.22	c nbDecision=185500 #constraints=6832
168.73/168.87	c nbDecision=186000 #constraints=6855
169.13/169.21	c nbDecision=186500 #constraints=6866
169.53/169.65	c nbDecision=187000 #constraints=6881
170.03/170.20	c nbDecision=187500 #constraints=6900
170.44/170.52	c nbDecision=188000 #constraints=6910
171.03/171.16	c nbDecision=188500 #constraints=6933
171.33/171.50	c nbDecision=189000 #constraints=6944
171.73/171.83	c nbDecision=189500 #constraints=6954
172.43/172.50	c nbDecision=190000 #constraints=6978
172.73/172.82	c nbDecision=190500 #constraints=6988
173.03/173.13	c nbDecision=191000 #constraints=6998
173.73/173.80	c nbDecision=191500 #constraints=7022
174.03/174.12	c nbDecision=192000 #constraints=7032
174.63/174.79	c nbDecision=192500 #constraints=7056
175.03/175.10	c nbDecision=193000 #constraints=7066
175.33/175.45	c nbDecision=193500 #constraints=7077
175.93/176.09	c nbDecision=194000 #constraints=7100
176.33/176.44	c nbDecision=194500 #constraints=7111
176.62/176.75	c nbDecision=195000 #constraints=7121
176.93/177.10	c nbDecision=195500 #constraints=7132
177.32/177.44	c nbDecision=196000 #constraints=7143
177.62/177.78	c nbDecision=196500 #constraints=7154
178.03/178.12	c nbDecision=197000 #constraints=7165
178.32/178.46	c nbDecision=197500 #constraints=7176
178.72/178.83	c nbDecision=198000 #constraints=7188
179.02/179.15	c nbDecision=198500 #constraints=7198
179.42/179.51	c nbDecision=199000 #constraints=7210
179.72/179.85	c nbDecision=199500 #constraints=7221
180.02/180.16	c nbDecision=200000 #constraints=7231
180.43/180.54	c nbDecision=200500 #constraints=7243
180.73/180.88	c nbDecision=201000 #constraints=7254
181.13/181.22	c nbDecision=201500 #constraints=7265
181.43/181.55	c nbDecision=202000 #constraints=7276
181.83/181.90	c nbDecision=202500 #constraints=7287
182.13/182.25	c nbDecision=203000 #constraints=7298
182.43/182.59	c nbDecision=203500 #constraints=7309
182.83/182.92	c nbDecision=204000 #constraints=7320
183.13/183.27	c nbDecision=204500 #constraints=7331
183.33/183.49	c restart after 204801 decisions
183.93/184.05	c nbDecision=205000 #constraints=7349
184.43/184.56	c nbDecision=205500 #constraints=7366
184.83/184.90	c nbDecision=206000 #constraints=7376
185.52/185.66	c nbDecision=206500 #constraints=7403
186.02/186.18	c nbDecision=207000 #constraints=7420
186.42/186.51	c nbDecision=207500 #constraints=7430
187.12/187.28	c nbDecision=208000 #constraints=7457
187.62/187.80	c nbDecision=208500 #constraints=7474
188.03/188.13	c nbDecision=209000 #constraints=7484
188.72/188.89	c nbDecision=209500 #constraints=7511
189.32/189.41	c nbDecision=210000 #constraints=7528
189.62/189.75	c nbDecision=210500 #constraints=7538
190.42/190.51	c nbDecision=211000 #constraints=7565
190.92/191.03	c nbDecision=211500 #constraints=7582
191.22/191.37	c nbDecision=212000 #constraints=7592
192.02/192.13	c nbDecision=212500 #constraints=7619
192.52/192.65	c nbDecision=213000 #constraints=7636
192.82/192.98	c nbDecision=213500 #constraints=7646
193.62/193.74	c nbDecision=214000 #constraints=7673
194.12/194.25	c nbDecision=214500 #constraints=7690
194.42/194.58	c nbDecision=215000 #constraints=7700
195.22/195.34	c nbDecision=215500 #constraints=7727
195.72/195.85	c nbDecision=216000 #constraints=7744
196.02/196.19	c nbDecision=216500 #constraints=7754
196.83/196.94	c nbDecision=217000 #constraints=7781
197.32/197.46	c nbDecision=217500 #constraints=7798
197.62/197.79	c nbDecision=218000 #constraints=7808
198.42/198.55	c nbDecision=218500 #constraints=7835
198.93/199.07	c nbDecision=219000 #constraints=7852
199.32/199.41	c nbDecision=219500 #constraints=7862
200.03/200.17	c nbDecision=220000 #constraints=7889
200.52/200.68	c nbDecision=220500 #constraints=7906
200.92/201.02	c nbDecision=221000 #constraints=7916
201.62/201.78	c nbDecision=221500 #constraints=7943
202.12/202.30	c nbDecision=222000 #constraints=7960
202.52/202.63	c nbDecision=222500 #constraints=7970
203.12/203.26	c nbDecision=223000 #constraints=7992
203.52/203.62	c nbDecision=223500 #constraints=8003
203.82/203.95	c nbDecision=224000 #constraints=8013
204.52/204.64	c nbDecision=224500 #constraints=8037
204.82/204.96	c nbDecision=225000 #constraints=8047
205.12/205.29	c nbDecision=225500 #constraints=8057
205.82/205.99	c nbDecision=226000 #constraints=8081
206.22/206.32	c nbDecision=226500 #constraints=8091
206.92/207.00	c nbDecision=227000 #constraints=8115
207.22/207.33	c nbDecision=227500 #constraints=8125
207.52/207.69	c nbDecision=228000 #constraints=8136
208.22/208.34	c nbDecision=228500 #constraints=8159
208.52/208.69	c nbDecision=229000 #constraints=8170
208.92/209.02	c nbDecision=229500 #constraints=8180
209.52/209.69	c nbDecision=230000 #constraints=8203
209.92/210.04	c nbDecision=230500 #constraints=8214
210.21/210.38	c nbDecision=231000 #constraints=8225
210.91/211.06	c nbDecision=231500 #constraints=8248
211.21/211.39	c nbDecision=232000 #constraints=8258
211.91/212.05	c nbDecision=232500 #constraints=8281
212.31/212.40	c nbDecision=233000 #constraints=8292
212.61/212.73	c nbDecision=233500 #constraints=8302
213.31/213.43	c nbDecision=234000 #constraints=8326
213.61/213.76	c nbDecision=234500 #constraints=8336
213.91/214.07	c nbDecision=235000 #constraints=8346
214.61/214.77	c nbDecision=235500 #constraints=8370
215.01/215.11	c nbDecision=236000 #constraints=8380
215.71/215.82	c nbDecision=236500 #constraints=8404
216.01/216.16	c nbDecision=237000 #constraints=8414
216.41/216.51	c nbDecision=237500 #constraints=8424
217.11/217.22	c nbDecision=238000 #constraints=8448
217.41/217.56	c nbDecision=238500 #constraints=8458
217.81/217.92	c nbDecision=239000 #constraints=8469
218.51/218.62	c nbDecision=239500 #constraints=8492
218.81/218.99	c nbDecision=240000 #constraints=8503
219.21/219.32	c nbDecision=240500 #constraints=8513
219.61/219.71	c nbDecision=241000 #constraints=8525
219.91/220.05	c nbDecision=241500 #constraints=8535
220.31/220.45	c nbDecision=242000 #constraints=8547
220.71/220.81	c nbDecision=242500 #constraints=8558
221.01/221.17	c nbDecision=243000 #constraints=8569
221.41/221.53	c nbDecision=243500 #constraints=8580
221.80/221.90	c nbDecision=244000 #constraints=8591
222.12/222.27	c nbDecision=244500 #constraints=8602
222.51/222.63	c nbDecision=245000 #constraints=8613
222.81/222.99	c nbDecision=245500 #constraints=8624
223.22/223.36	c nbDecision=246000 #constraints=8635
223.61/223.73	c nbDecision=246500 #constraints=8646
223.91/224.09	c nbDecision=247000 #constraints=8657
224.31/224.46	c nbDecision=247500 #constraints=8668
224.71/224.83	c nbDecision=248000 #constraints=8680
225.01/225.19	c nbDecision=248500 #constraints=8690
225.41/225.56	c nbDecision=249000 #constraints=8701
225.81/225.96	c nbDecision=249500 #constraints=8713
226.21/226.32	c nbDecision=250000 #constraints=8724
226.51/226.65	c nbDecision=250500 #constraints=8734
226.91/227.06	c nbDecision=251000 #constraints=8746
227.31/227.43	c nbDecision=251500 #constraints=8757
227.61/227.79	c nbDecision=252000 #constraints=8768
228.01/228.16	c nbDecision=252500 #constraints=8779
228.31/228.49	c nbDecision=253000 #constraints=8789
228.71/228.90	c nbDecision=253500 #constraints=8801
229.11/229.27	c nbDecision=254000 #constraints=8812
229.51/229.63	c nbDecision=254500 #constraints=8823
229.81/229.99	c nbDecision=255000 #constraints=8834
230.21/230.36	c nbDecision=255500 #constraints=8845
230.61/230.74	c nbDecision=256000 #constraints=8856
231.01/231.11	c nbDecision=256500 #constraints=8867
231.71/231.81	c nbDecision=257000 #constraints=8891
233.90/234.08	c nbDecision=257500 #constraints=8971
236.20/236.37	c nbDecision=258000 #constraints=9054
237.00/237.19	c nbDecision=258500 #constraints=9081
237.51/237.67	c nbDecision=259000 #constraints=9095
238.61/238.72	c nbDecision=259500 #constraints=9130
238.90/239.07	c nbDecision=260000 #constraints=9140
239.30/239.41	c nbDecision=260500 #constraints=9150
240.30/240.41	c nbDecision=261000 #constraints=9184
240.60/240.75	c nbDecision=261500 #constraints=9194
240.90/241.09	c nbDecision=262000 #constraints=9204
241.91/242.09	c nbDecision=262500 #constraints=9238
242.30/242.42	c nbDecision=263000 #constraints=9248
242.60/242.77	c nbDecision=263500 #constraints=9258
243.60/243.77	c nbDecision=264000 #constraints=9292
244.00/244.11	c nbDecision=264500 #constraints=9302
244.31/244.46	c nbDecision=265000 #constraints=9312
245.31/245.47	c nbDecision=265500 #constraints=9346
245.71/245.81	c nbDecision=266000 #constraints=9356
246.01/246.16	c nbDecision=266500 #constraints=9366
247.01/247.17	c nbDecision=267000 #constraints=9400
247.41/247.51	c nbDecision=267500 #constraints=9410
247.71/247.86	c nbDecision=268000 #constraints=9420
248.71/248.86	c nbDecision=268500 #constraints=9454
249.11/249.20	c nbDecision=269000 #constraints=9464
249.40/249.55	c nbDecision=269500 #constraints=9474
250.40/250.55	c nbDecision=270000 #constraints=9508
250.71/250.89	c nbDecision=270500 #constraints=9518
251.10/251.24	c nbDecision=271000 #constraints=9528
252.10/252.24	c nbDecision=271500 #constraints=9562
252.40/252.58	c nbDecision=272000 #constraints=9572
252.80/252.94	c nbDecision=272500 #constraints=9582
253.80/253.94	c nbDecision=273000 #constraints=9616
254.10/254.27	c nbDecision=273500 #constraints=9626
254.50/254.62	c nbDecision=274000 #constraints=9636
255.50/255.62	c nbDecision=274500 #constraints=9670
255.80/255.95	c nbDecision=275000 #constraints=9680
256.10/256.30	c nbDecision=275500 #constraints=9690
257.10/257.29	c nbDecision=276000 #constraints=9724
257.50/257.62	c nbDecision=276500 #constraints=9734
257.80/257.97	c nbDecision=277000 #constraints=9744
258.80/258.96	c nbDecision=277500 #constraints=9778
259.20/259.30	c nbDecision=278000 #constraints=9788
259.50/259.65	c nbDecision=278500 #constraints=9798
260.20/260.35	c nbDecision=279000 #constraints=9821
260.60/260.71	c nbDecision=279500 #constraints=9832
260.89/261.01	c nbDecision=280000 #constraints=9841
261.60/261.74	c nbDecision=280500 #constraints=9865
261.99/262.11	c nbDecision=281000 #constraints=9876
262.59/262.79	c nbDecision=281500 #constraints=9899
262.99/263.15	c nbDecision=282000 #constraints=9910
263.39/263.50	c nbDecision=282500 #constraints=9920
264.10/264.20	c nbDecision=283000 #constraints=9943
264.40/264.56	c nbDecision=283500 #constraints=9954
264.70/264.89	c nbDecision=284000 #constraints=9964
265.50/265.63	c nbDecision=284500 #constraints=9988
265.80/265.98	c nbDecision=285000 #constraints=9998
266.50/266.66	c nbDecision=285500 #constraints=10021
266.90/267.03	c nbDecision=286000 #constraints=10032
267.20/267.38	c nbDecision=286500 #constraints=10042
268.00/268.11	c nbDecision=287000 #constraints=10066
268.30/268.45	c nbDecision=287500 #constraints=10076
268.60/268.79	c nbDecision=288000 #constraints=10086
269.40/269.52	c nbDecision=288500 #constraints=10110
269.70/269.87	c nbDecision=289000 #constraints=10120
270.40/270.58	c nbDecision=289500 #constraints=10144
270.80/270.93	c nbDecision=290000 #constraints=10154
271.20/271.30	c nbDecision=290500 #constraints=10165
271.90/272.00	c nbDecision=291000 #constraints=10188
272.20/272.37	c nbDecision=291500 #constraints=10199
272.60/272.71	c nbDecision=292000 #constraints=10209
273.29/273.42	c nbDecision=292500 #constraints=10232
273.59/273.79	c nbDecision=293000 #constraints=10243
274.29/274.47	c nbDecision=293500 #constraints=10266
274.69/274.85	c nbDecision=294000 #constraints=10277
274.99/275.19	c nbDecision=294500 #constraints=10287
275.69/275.89	c nbDecision=295000 #constraints=10310
276.09/276.25	c nbDecision=295500 #constraints=10321
276.39/276.59	c nbDecision=296000 #constraints=10331
276.89/277.00	c nbDecision=296500 #constraints=10343
277.19/277.34	c nbDecision=297000 #constraints=10353
277.59/277.73	c nbDecision=297500 #constraints=10365
277.89/278.09	c nbDecision=298000 #constraints=10376
278.29/278.44	c nbDecision=298500 #constraints=10386
278.69/278.84	c nbDecision=299000 #constraints=10398
279.09/279.21	c nbDecision=299500 #constraints=10409
279.39/279.57	c nbDecision=300000 #constraints=10420
279.79/279.93	c nbDecision=300500 #constraints=10431
280.19/280.30	c nbDecision=301000 #constraints=10442
280.49/280.68	c nbDecision=301500 #constraints=10453
280.89/281.04	c nbDecision=302000 #constraints=10464
281.19/281.39	c nbDecision=302500 #constraints=10475
281.59/281.77	c nbDecision=303000 #constraints=10486
281.99/282.14	c nbDecision=303500 #constraints=10497
282.39/282.51	c nbDecision=304000 #constraints=10508
282.69/282.87	c nbDecision=304500 #constraints=10519
283.08/283.24	c nbDecision=305000 #constraints=10531
283.48/283.63	c nbDecision=305500 #constraints=10542
283.78/283.98	c nbDecision=306000 #constraints=10552
284.18/284.38	c nbDecision=306500 #constraints=10564
284.58/284.74	c nbDecision=307000 #constraints=10575
284.88/285.07	c nbDecision=307500 #constraints=10585
285.28/285.49	c nbDecision=308000 #constraints=10597
285.68/285.86	c nbDecision=308500 #constraints=10608
286.08/286.23	c nbDecision=309000 #constraints=10619
286.48/286.60	c nbDecision=309500 #constraints=10630
286.78/286.96	c nbDecision=310000 #constraints=10641
287.18/287.35	c nbDecision=310500 #constraints=10652
287.59/287.72	c nbDecision=311000 #constraints=10663
287.89/288.09	c nbDecision=311500 #constraints=10674
288.29/288.45	c nbDecision=312000 #constraints=10685
288.69/288.82	c nbDecision=312500 #constraints=10696
290.49/290.63	c nbDecision=313000 #constraints=10759
292.59/292.79	c nbDecision=313500 #constraints=10834
294.49/294.65	c nbDecision=314000 #constraints=10898
294.99/295.17	c nbDecision=314500 #constraints=10912
296.19/296.32	c nbDecision=315000 #constraints=10949
296.49/296.69	c nbDecision=315500 #constraints=10959
296.89/297.02	c nbDecision=316000 #constraints=10968
297.89/298.05	c nbDecision=316500 #constraints=11003
298.29/298.42	c nbDecision=317000 #constraints=11013
298.59/298.75	c nbDecision=317500 #constraints=11022
299.59/299.79	c nbDecision=318000 #constraints=11057
299.99/300.15	c nbDecision=318500 #constraints=11067
300.29/300.49	c nbDecision=319000 #constraints=11076
301.39/301.52	c nbDecision=319500 #constraints=11111
301.69/301.89	c nbDecision=320000 #constraints=11121
302.09/302.23	c nbDecision=320500 #constraints=11130
303.09/303.27	c nbDecision=321000 #constraints=11165
303.49/303.64	c nbDecision=321500 #constraints=11175
303.78/303.98	c nbDecision=322000 #constraints=11184
304.88/305.02	c nbDecision=322500 #constraints=11219
305.18/305.39	c nbDecision=323000 #constraints=11229
305.59/305.73	c nbDecision=323500 #constraints=11238
306.58/306.77	c nbDecision=324000 #constraints=11273
306.98/307.15	c nbDecision=324500 #constraints=11283
307.28/307.48	c nbDecision=325000 #constraints=11292
308.38/308.53	c nbDecision=325500 #constraints=11327
308.78/308.90	c nbDecision=326000 #constraints=11337
309.08/309.24	c nbDecision=326500 #constraints=11346
310.08/310.29	c nbDecision=327000 #constraints=11381
310.47/310.67	c nbDecision=327500 #constraints=11391
310.87/311.01	c nbDecision=328000 #constraints=11400
311.87/312.06	c nbDecision=328500 #constraints=11435
312.28/312.43	c nbDecision=329000 #constraints=11445
312.57/312.77	c nbDecision=329500 #constraints=11454
313.68/313.82	c nbDecision=330000 #constraints=11489
313.98/314.19	c nbDecision=330500 #constraints=11499
314.38/314.53	c nbDecision=331000 #constraints=11508
315.38/315.57	c nbDecision=331500 #constraints=11543
315.78/315.94	c nbDecision=332000 #constraints=11553
316.08/316.28	c nbDecision=332500 #constraints=11562
317.18/317.33	c nbDecision=333000 #constraints=11597
317.58/317.70	c nbDecision=333500 #constraints=11607
317.88/318.04	c nbDecision=334000 #constraints=11616
318.58/318.75	c nbDecision=334500 #constraints=11639
318.98/319.13	c nbDecision=335000 #constraints=11650
319.38/319.50	c nbDecision=335500 #constraints=11660
320.08/320.25	c nbDecision=336000 #constraints=11684
320.38/320.60	c nbDecision=336500 #constraints=11694
320.78/320.94	c nbDecision=337000 #constraints=11704
321.58/321.71	c nbDecision=337500 #constraints=11728
321.88/322.06	c nbDecision=338000 #constraints=11738
322.57/322.79	c nbDecision=338500 #constraints=11762
322.97/323.15	c nbDecision=339000 #constraints=11772
323.37/323.51	c nbDecision=339500 #constraints=11782
324.07/324.26	c nbDecision=340000 #constraints=11806
324.47/324.61	c nbDecision=340500 #constraints=11816
324.77/324.99	c nbDecision=341000 #constraints=11827
325.57/325.73	c nbDecision=341500 #constraints=11850
325.97/326.12	c nbDecision=342000 #constraints=11861
326.67/326.83	c nbDecision=342500 #constraints=11884
327.07/327.20	c nbDecision=343000 #constraints=11894
327.37/327.59	c nbDecision=343500 #constraints=11905
328.17/328.31	c nbDecision=344000 #constraints=11928
328.47/328.69	c nbDecision=344500 #constraints=11939
328.87/329.05	c nbDecision=345000 #constraints=11949
329.57/329.79	c nbDecision=345500 #constraints=11972
329.97/330.18	c nbDecision=346000 #constraints=11983
330.47/330.67	c nbDecision=346500 #constraints=11998
331.07/331.28	c nbDecision=347000 #constraints=12017
331.47/331.65	c nbDecision=347500 #constraints=12027
332.17/332.36	c nbDecision=348000 #constraints=12050
332.57/332.74	c nbDecision=348500 #constraints=12061
332.97/333.11	c nbDecision=349000 #constraints=12071
333.67/333.87	c nbDecision=349500 #constraints=12095
334.07/334.22	c nbDecision=350000 #constraints=12105
334.37/334.56	c nbDecision=350500 #constraints=12115
335.17/335.33	c nbDecision=351000 #constraints=12139
335.47/335.69	c nbDecision=351500 #constraints=12149
335.87/336.07	c nbDecision=352000 #constraints=12160
336.27/336.45	c nbDecision=352500 #constraints=12171
336.67/336.83	c nbDecision=353000 #constraints=12182
337.07/337.26	c nbDecision=353500 #constraints=12194
337.47/337.61	c nbDecision=354000 #constraints=12204
337.87/338.02	c nbDecision=354500 #constraints=12216
338.17/338.39	c nbDecision=355000 #constraints=12227
338.57/338.76	c nbDecision=355500 #constraints=12237
338.97/339.18	c nbDecision=356000 #constraints=12249
339.37/339.56	c nbDecision=356500 #constraints=12260
339.77/339.93	c nbDecision=357000 #constraints=12271
340.17/340.31	c nbDecision=357500 #constraints=12282
340.57/340.70	c nbDecision=358000 #constraints=12293
340.87/341.10	c nbDecision=358500 #constraints=12304
341.27/341.48	c nbDecision=359000 #constraints=12315
341.67/341.85	c nbDecision=359500 #constraints=12326
342.07/342.24	c nbDecision=360000 #constraints=12337
342.46/342.63	c nbDecision=360500 #constraints=12348
342.86/343.01	c nbDecision=361000 #constraints=12359
343.16/343.39	c nbDecision=361500 #constraints=12370
343.66/343.80	c nbDecision=362000 #constraints=12382
343.96/344.19	c nbDecision=362500 #constraints=12393
344.36/344.56	c nbDecision=363000 #constraints=12403
344.76/344.98	c nbDecision=363500 #constraints=12415
345.17/345.36	c nbDecision=364000 #constraints=12426
345.56/345.70	c nbDecision=364500 #constraints=12436
345.96/346.14	c nbDecision=365000 #constraints=12448
346.37/346.53	c nbDecision=365500 #constraints=12459
346.76/346.92	c nbDecision=366000 #constraints=12470
347.16/347.30	c nbDecision=366500 #constraints=12481
347.47/347.67	c nbDecision=367000 #constraints=12492
347.86/348.08	c nbDecision=367500 #constraints=12503
348.26/348.47	c nbDecision=368000 #constraints=12514
349.36/349.57	c nbDecision=368500 #constraints=12550
351.66/351.89	c nbDecision=369000 #constraints=12627
353.97/354.15	c nbDecision=369500 #constraints=12702
354.87/355.09	c nbDecision=370000 #constraints=12729
355.46/355.63	c nbDecision=370500 #constraints=12743
356.56/356.74	c nbDecision=371000 #constraints=12777
356.96/357.11	c nbDecision=371500 #constraints=12787
357.27/357.47	c nbDecision=372000 #constraints=12797
358.37/358.55	c nbDecision=372500 #constraints=12831
358.76/358.92	c nbDecision=373000 #constraints=12841
359.06/359.28	c nbDecision=373500 #constraints=12851
360.16/360.37	c nbDecision=374000 #constraints=12885
360.57/360.73	c nbDecision=374500 #constraints=12895
360.86/361.10	c nbDecision=375000 #constraints=12905
361.96/362.18	c nbDecision=375500 #constraints=12939
362.36/362.55	c nbDecision=376000 #constraints=12949
362.77/362.91	c nbDecision=376500 #constraints=12959
363.86/364.01	c nbDecision=377000 #constraints=12993
364.16/364.38	c nbDecision=377500 #constraints=13003
364.56/364.74	c nbDecision=378000 #constraints=13013
365.66/365.83	c nbDecision=378500 #constraints=13047
365.96/366.20	c nbDecision=379000 #constraints=13057
366.36/366.57	c nbDecision=379500 #constraints=13067
367.46/367.66	c nbDecision=380000 #constraints=13101
367.86/368.03	c nbDecision=380500 #constraints=13111
368.16/368.40	c nbDecision=381000 #constraints=13121
369.26/369.49	c nbDecision=381500 #constraints=13155
369.66/369.86	c nbDecision=382000 #constraints=13165
370.06/370.23	c nbDecision=382500 #constraints=13175
371.16/371.33	c nbDecision=383000 #constraints=13209
371.56/371.70	c nbDecision=383500 #constraints=13219
371.86/372.07	c nbDecision=384000 #constraints=13229
372.95/373.17	c nbDecision=384500 #constraints=13263
373.35/373.54	c nbDecision=385000 #constraints=13273
373.76/373.91	c nbDecision=385500 #constraints=13283
374.85/375.00	c nbDecision=386000 #constraints=13317
375.15/375.37	c nbDecision=386500 #constraints=13327
375.56/375.74	c nbDecision=387000 #constraints=13337
376.66/376.83	c nbDecision=387500 #constraints=13371
376.96/377.20	c nbDecision=388000 #constraints=13381
377.36/377.57	c nbDecision=388500 #constraints=13391
378.46/378.66	c nbDecision=389000 #constraints=13425
378.86/379.03	c nbDecision=389500 #constraints=13435
379.16/379.40	c nbDecision=390000 #constraints=13445
379.96/380.17	c nbDecision=390500 #constraints=13468
380.36/380.54	c nbDecision=391000 #constraints=13478
381.16/381.31	c nbDecision=391500 #constraints=13502
381.46/381.69	c nbDecision=392000 #constraints=13512
381.86/382.09	c nbDecision=392500 #constraints=13523
382.66/382.84	c nbDecision=393000 #constraints=13546
383.06/383.23	c nbDecision=393500 #constraints=13557
383.46/383.61	c nbDecision=394000 #constraints=13567
384.16/384.38	c nbDecision=394500 #constraints=13590
384.56/384.78	c nbDecision=395000 #constraints=13601
384.96/385.17	c nbDecision=395500 #constraints=13612
385.76/385.94	c nbDecision=396000 #constraints=13635
386.16/386.32	c nbDecision=396500 #constraints=13645
386.86/387.07	c nbDecision=397000 #constraints=13668
387.26/387.46	c nbDecision=397500 #constraints=13679
387.66/387.85	c nbDecision=398000 #constraints=13689
388.46/388.65	c nbDecision=398500 #constraints=13713
388.85/389.02	c nbDecision=399000 #constraints=13723
389.16/389.37	c nbDecision=399500 #constraints=13733
389.95/390.19	c nbDecision=400000 #constraints=13757
390.36/390.57	c nbDecision=400500 #constraints=13767
391.15/391.35	c nbDecision=401000 #constraints=13791
391.55/391.72	c nbDecision=401500 #constraints=13801
391.95/392.10	c nbDecision=402000 #constraints=13811
392.75/392.90	c nbDecision=402500 #constraints=13835
393.05/393.26	c nbDecision=403000 #constraints=13845
393.45/393.65	c nbDecision=403500 #constraints=13856
394.25/394.43	c nbDecision=404000 #constraints=13879
394.66/394.84	c nbDecision=404500 #constraints=13890
395.35/395.58	c nbDecision=405000 #constraints=13913
395.76/395.98	c nbDecision=405500 #constraints=13924
396.15/396.36	c nbDecision=406000 #constraints=13934
396.96/397.12	c nbDecision=406500 #constraints=13957
397.35/397.52	c nbDecision=407000 #constraints=13968
397.65/397.88	c nbDecision=407500 #constraints=13978
398.15/398.30	c nbDecision=408000 #constraints=13989
398.55/398.70	c nbDecision=408500 #constraints=14000
398.95/399.13	c nbDecision=409000 #constraints=14012
399.35/399.52	c nbDecision=409500 #constraints=14023
399.45/399.60	c restart after 409601 decisions
400.05/400.28	c nbDecision=410000 #constraints=14029
400.85/401.07	c nbDecision=410500 #constraints=14053
401.25/401.43	c nbDecision=411000 #constraints=14063
401.65/401.81	c nbDecision=411500 #constraints=14074
402.35/402.60	c nbDecision=412000 #constraints=14097
402.85/403.00	c nbDecision=412500 #constraints=14108
403.55/403.74	c nbDecision=413000 #constraints=14131
403.95/404.15	c nbDecision=413500 #constraints=14142
404.35/404.53	c nbDecision=414000 #constraints=14152
405.15/405.30	c nbDecision=414500 #constraints=14175
405.55/405.70	c nbDecision=415000 #constraints=14186
405.85/406.07	c nbDecision=415500 #constraints=14196
406.65/406.88	c nbDecision=416000 #constraints=14220
407.05/407.26	c nbDecision=416500 #constraints=14230
407.85/408.01	c nbDecision=417000 #constraints=14253
408.25/408.43	c nbDecision=417500 #constraints=14264
408.65/408.81	c nbDecision=418000 #constraints=14274
409.05/409.23	c nbDecision=418500 #constraints=14285
409.44/409.62	c nbDecision=419000 #constraints=14296
409.84/410.01	c nbDecision=419500 #constraints=14307
410.24/410.44	c nbDecision=420000 #constraints=14318
410.64/410.85	c nbDecision=420500 #constraints=14329
411.04/411.29	c nbDecision=421000 #constraints=14341
411.44/411.68	c nbDecision=421500 #constraints=14352
411.84/412.05	c nbDecision=422000 #constraints=14362
412.35/412.51	c nbDecision=422500 #constraints=14374
412.74/412.91	c nbDecision=423000 #constraints=14385
413.14/413.32	c nbDecision=423500 #constraints=14396
413.54/413.71	c nbDecision=424000 #constraints=14407
413.94/414.11	c nbDecision=424500 #constraints=14418
414.34/414.54	c nbDecision=425000 #constraints=14429
414.74/414.94	c nbDecision=425500 #constraints=14440
415.14/415.33	c nbDecision=426000 #constraints=14451
415.54/415.72	c nbDecision=426500 #constraints=14462
415.94/416.14	c nbDecision=427000 #constraints=14473
416.34/416.55	c nbDecision=427500 #constraints=14484
416.74/416.96	c nbDecision=428000 #constraints=14495
417.14/417.35	c nbDecision=428500 #constraints=14506
417.54/417.77	c nbDecision=429000 #constraints=14518
417.94/418.16	c nbDecision=429500 #constraints=14528
418.44/418.60	c nbDecision=430000 #constraints=14540
418.84/419.01	c nbDecision=430500 #constraints=14551
419.14/419.39	c nbDecision=431000 #constraints=14562
419.54/419.79	c nbDecision=431500 #constraints=14573
419.94/420.18	c nbDecision=432000 #constraints=14583
420.44/420.61	c nbDecision=432500 #constraints=14595
420.84/421.01	c nbDecision=433000 #constraints=14606
421.24/421.40	c nbDecision=433500 #constraints=14617
421.64/421.81	c nbDecision=434000 #constraints=14628
422.04/422.22	c nbDecision=434500 #constraints=14639
423.44/423.69	c nbDecision=435000 #constraints=14684
426.04/426.20	c nbDecision=435500 #constraints=14763
428.44/428.66	c nbDecision=436000 #constraints=14840
429.04/429.28	c nbDecision=436500 #constraints=14854
429.64/429.84	c nbDecision=437000 #constraints=14867
430.84/431.06	c nbDecision=437500 #constraints=14902
431.24/431.45	c nbDecision=438000 #constraints=14912
431.54/431.78	c nbDecision=438500 #constraints=14921
432.74/432.97	c nbDecision=439000 #constraints=14956
433.15/433.36	c nbDecision=439500 #constraints=14966
433.54/433.70	c nbDecision=440000 #constraints=14975
434.64/434.88	c nbDecision=440500 #constraints=15010
435.04/435.27	c nbDecision=441000 #constraints=15020
435.35/435.60	c nbDecision=441500 #constraints=15029
436.54/436.78	c nbDecision=442000 #constraints=15064
436.94/437.17	c nbDecision=442500 #constraints=15074
437.34/437.50	c nbDecision=443000 #constraints=15083
438.44/438.68	c nbDecision=443500 #constraints=15118
438.84/439.06	c nbDecision=444000 #constraints=15128
439.14/439.39	c nbDecision=444500 #constraints=15137
440.34/440.58	c nbDecision=445000 #constraints=15172
440.74/440.96	c nbDecision=445500 #constraints=15182
441.04/441.30	c nbDecision=446000 #constraints=15191
442.24/442.48	c nbDecision=446500 #constraints=15226
442.64/442.87	c nbDecision=447000 #constraints=15236
442.94/443.20	c nbDecision=447500 #constraints=15245
444.14/444.39	c nbDecision=448000 #constraints=15280
444.54/444.79	c nbDecision=448500 #constraints=15290
444.94/445.12	c nbDecision=449000 #constraints=15299
446.13/446.32	c nbDecision=449500 #constraints=15334
446.53/446.71	c nbDecision=450000 #constraints=15344
446.83/447.04	c nbDecision=450500 #constraints=15353
448.03/448.23	c nbDecision=451000 #constraints=15388
448.43/448.62	c nbDecision=451500 #constraints=15398
448.73/448.96	c nbDecision=452000 #constraints=15407
449.93/450.16	c nbDecision=452500 #constraints=15442
450.33/450.55	c nbDecision=453000 #constraints=15452
450.63/450.89	c nbDecision=453500 #constraints=15461
451.83/452.09	c nbDecision=454000 #constraints=15496
452.23/452.48	c nbDecision=454500 #constraints=15506
452.63/452.82	c nbDecision=455000 #constraints=15515
453.83/454.01	c nbDecision=455500 #constraints=15550
454.23/454.40	c nbDecision=456000 #constraints=15560
454.53/454.74	c nbDecision=456500 #constraints=15569
455.33/455.59	c nbDecision=457000 #constraints=15593
455.73/455.98	c nbDecision=457500 #constraints=15603
456.53/456.75	c nbDecision=458000 #constraints=15626
456.93/457.17	c nbDecision=458500 #constraints=15637
457.33/457.56	c nbDecision=459000 #constraints=15647
458.12/458.39	c nbDecision=459500 #constraints=15671
458.53/458.77	c nbDecision=460000 #constraints=15681
458.92/459.14	c nbDecision=460500 #constraints=15691
459.72/459.99	c nbDecision=461000 #constraints=15715
460.12/460.37	c nbDecision=461500 #constraints=15725
460.92/461.18	c nbDecision=462000 #constraints=15749
461.32/461.57	c nbDecision=462500 #constraints=15759
461.74/462.00	c nbDecision=463000 #constraints=15770
462.53/462.79	c nbDecision=463500 #constraints=15793
463.03/463.20	c nbDecision=464000 #constraints=15804
463.33/463.58	c nbDecision=464500 #constraints=15814
464.13/464.40	c nbDecision=465000 #constraints=15837
464.63/464.82	c nbDecision=465500 #constraints=15848
465.33/465.60	c nbDecision=466000 #constraints=15871
465.83/466.03	c nbDecision=466500 #constraints=15882
466.23/466.43	c nbDecision=467000 #constraints=15892
467.03/467.22	c nbDecision=467500 #constraints=15915
467.43/467.64	c nbDecision=468000 #constraints=15926
467.83/468.03	c nbDecision=468500 #constraints=15936
468.63/468.87	c nbDecision=469000 #constraints=15960
469.03/469.26	c nbDecision=469500 #constraints=15970
469.73/469.97	c nbDecision=470000 #constraints=15990
470.23/470.48	c nbDecision=470500 #constraints=16004
470.63/470.88	c nbDecision=471000 #constraints=16014
471.52/471.71	c nbDecision=471500 #constraints=16038
471.82/472.08	c nbDecision=472000 #constraints=16048
472.22/472.49	c nbDecision=472500 #constraints=16058
473.12/473.33	c nbDecision=473000 #constraints=16082
473.52/473.71	c nbDecision=473500 #constraints=16092
473.82/474.08	c nbDecision=474000 #constraints=16102
474.32/474.55	c nbDecision=474500 #constraints=16114
474.72/474.98	c nbDecision=475000 #constraints=16125
475.12/475.40	c nbDecision=475500 #constraints=16136
475.62/475.80	c nbDecision=476000 #constraints=16147
475.92/476.20	c nbDecision=476500 #constraints=16158
476.42/476.67	c nbDecision=477000 #constraints=16170
476.82/477.07	c nbDecision=477500 #constraints=16180
477.32/477.52	c nbDecision=478000 #constraints=16192
477.72/477.93	c nbDecision=478500 #constraints=16203
478.12/478.30	c nbDecision=479000 #constraints=16213
478.52/478.77	c nbDecision=479500 #constraints=16225
478.92/479.19	c nbDecision=480000 #constraints=16236
479.43/479.61	c nbDecision=480500 #constraints=16247
479.82/480.02	c nbDecision=481000 #constraints=16258
480.22/480.43	c nbDecision=481500 #constraints=16269
480.62/480.87	c nbDecision=482000 #constraints=16280
481.02/481.29	c nbDecision=482500 #constraints=16291
481.52/481.70	c nbDecision=483000 #constraints=16302
481.92/482.10	c nbDecision=483500 #constraints=16313
482.32/482.53	c nbDecision=484000 #constraints=16324
482.72/482.97	c nbDecision=484500 #constraints=16335
483.12/483.39	c nbDecision=485000 #constraints=16346
483.62/483.83	c nbDecision=485500 #constraints=16358
484.02/484.24	c nbDecision=486000 #constraints=16369
484.42/484.65	c nbDecision=486500 #constraints=16379
484.92/485.11	c nbDecision=487000 #constraints=16391
485.32/485.54	c nbDecision=487500 #constraints=16402
485.72/485.94	c nbDecision=488000 #constraints=16413
486.12/486.37	c nbDecision=488500 #constraints=16424
486.62/486.80	c nbDecision=489000 #constraints=16435
487.02/487.23	c nbDecision=489500 #constraints=16446
487.41/487.65	c nbDecision=490000 #constraints=16457
487.81/488.04	c nbDecision=490500 #constraints=16468
490.42/490.64	c nbDecision=491000 #constraints=16544
493.41/493.60	c nbDecision=491500 #constraints=16629
494.91/495.19	c nbDecision=492000 #constraints=16671
495.61/495.84	c nbDecision=492500 #constraints=16685
497.01/497.22	c nbDecision=493000 #constraints=16720
497.41/497.64	c nbDecision=493500 #constraints=16730
497.81/498.08	c nbDecision=494000 #constraints=16740
499.11/499.34	c nbDecision=494500 #constraints=16774
499.51/499.77	c nbDecision=495000 #constraints=16784
500.01/500.22	c nbDecision=495500 #constraints=16794
501.21/501.48	c nbDecision=496000 #constraints=16828
501.61/501.90	c nbDecision=496500 #constraints=16838
502.11/502.34	c nbDecision=497000 #constraints=16848
503.41/503.60	c nbDecision=497500 #constraints=16882
503.81/504.03	c nbDecision=498000 #constraints=16892
504.21/504.48	c nbDecision=498500 #constraints=16902
505.51/505.74	c nbDecision=499000 #constraints=16936
505.91/506.17	c nbDecision=499500 #constraints=16946
506.41/506.62	c nbDecision=500000 #constraints=16956
507.61/507.89	c nbDecision=500500 #constraints=16990
508.11/508.32	c nbDecision=501000 #constraints=17000
508.51/508.77	c nbDecision=501500 #constraints=17010
509.81/510.04	c nbDecision=502000 #constraints=17044
510.21/510.47	c nbDecision=502500 #constraints=17054
510.71/510.92	c nbDecision=503000 #constraints=17064
511.91/512.19	c nbDecision=503500 #constraints=17098
512.41/512.62	c nbDecision=504000 #constraints=17108
512.81/513.08	c nbDecision=504500 #constraints=17118
514.11/514.33	c nbDecision=505000 #constraints=17152
514.51/514.76	c nbDecision=505500 #constraints=17162
515.01/515.20	c nbDecision=506000 #constraints=17172
516.21/516.45	c nbDecision=506500 #constraints=17206
516.61/516.87	c nbDecision=507000 #constraints=17216
517.11/517.32	c nbDecision=507500 #constraints=17226
518.31/518.57	c nbDecision=508000 #constraints=17260
518.70/518.99	c nbDecision=508500 #constraints=17270
519.20/519.44	c nbDecision=509000 #constraints=17280
520.50/520.70	c nbDecision=509500 #constraints=17314
520.90/521.12	c nbDecision=510000 #constraints=17324
521.30/521.57	c nbDecision=510500 #constraints=17334
522.60/522.81	c nbDecision=511000 #constraints=17368
523.00/523.23	c nbDecision=511500 #constraints=17378
523.41/523.68	c nbDecision=512000 #constraints=17388
524.30/524.57	c nbDecision=512500 #constraints=17411
524.70/524.98	c nbDecision=513000 #constraints=17421
525.20/525.44	c nbDecision=513500 #constraints=17432
526.10/526.34	c nbDecision=514000 #constraints=17455
526.60/526.81	c nbDecision=514500 #constraints=17466
527.40/527.66	c nbDecision=515000 #constraints=17489
527.90/528.10	c nbDecision=515500 #constraints=17499
528.30/528.57	c nbDecision=516000 #constraints=17510
529.20/529.45	c nbDecision=516500 #constraints=17533
529.70/529.90	c nbDecision=517000 #constraints=17544
530.10/530.33	c nbDecision=517500 #constraints=17554
531.00/531.23	c nbDecision=518000 #constraints=17577
531.40/531.69	c nbDecision=518500 #constraints=17588
532.11/532.33	c nbDecision=519000 #constraints=17604
532.80/533.03	c nbDecision=519500 #constraints=17622
533.21/533.46	c nbDecision=520000 #constraints=17632
534.10/534.33	c nbDecision=520500 #constraints=17655
534.50/534.77	c nbDecision=521000 #constraints=17666
535.00/535.22	c nbDecision=521500 #constraints=17676
535.90/536.14	c nbDecision=522000 #constraints=17700
536.30/536.55	c nbDecision=522500 #constraints=17710
536.70/536.95	c nbDecision=523000 #constraints=17720
537.60/537.89	c nbDecision=523500 #constraints=17744
538.10/538.32	c nbDecision=524000 #constraints=17754
539.00/539.22	c nbDecision=524500 #constraints=17778
539.40/539.64	c nbDecision=525000 #constraints=17788
539.90/540.11	c nbDecision=525500 #constraints=17799
540.70/540.99	c nbDecision=526000 #constraints=17822
541.20/541.45	c nbDecision=526500 #constraints=17833
541.60/541.85	c nbDecision=527000 #constraints=17843
542.50/542.75	c nbDecision=527500 #constraints=17866
543.00/543.22	c nbDecision=528000 #constraints=17877
543.80/544.08	c nbDecision=528500 #constraints=17900
544.30/544.54	c nbDecision=529000 #constraints=17911
544.70/544.98	c nbDecision=529500 #constraints=17921
545.20/545.45	c nbDecision=530000 #constraints=17932
545.70/545.90	c nbDecision=530500 #constraints=17943
546.00/546.30	c nbDecision=531000 #constraints=17953
546.60/546.82	c nbDecision=531500 #constraints=17965
547.00/547.29	c nbDecision=532000 #constraints=17976
547.50/547.75	c nbDecision=532500 #constraints=17987
547.89/548.19	c nbDecision=533000 #constraints=17998
548.39/548.63	c nbDecision=533500 #constraints=18009
548.89/549.16	c nbDecision=534000 #constraints=18021
549.29/549.59	c nbDecision=534500 #constraints=18031
549.80/550.08	c nbDecision=535000 #constraints=18043
550.29/550.53	c nbDecision=535500 #constraints=18054
550.69/550.94	c nbDecision=536000 #constraints=18064
551.19/551.46	c nbDecision=536500 #constraints=18076
551.69/551.93	c nbDecision=537000 #constraints=18087
552.09/552.38	c nbDecision=537500 #constraints=18098
552.59/552.83	c nbDecision=538000 #constraints=18109
553.00/553.28	c nbDecision=538500 #constraints=18120
553.49/553.76	c nbDecision=539000 #constraints=18131
553.99/554.22	c nbDecision=539500 #constraints=18142
554.39/554.67	c nbDecision=540000 #constraints=18153
554.89/555.10	c nbDecision=540500 #constraints=18164
555.30/555.57	c nbDecision=541000 #constraints=18175
555.79/556.08	c nbDecision=541500 #constraints=18187
556.30/556.50	c nbDecision=542000 #constraints=18197
556.69/556.98	c nbDecision=542500 #constraints=18209
557.19/557.42	c nbDecision=543000 #constraints=18220
557.59/557.86	c nbDecision=543500 #constraints=18230
558.09/558.36	c nbDecision=544000 #constraints=18242
558.60/558.82	c nbDecision=544500 #constraints=18253
558.99/559.25	c nbDecision=545000 #constraints=18264
559.49/559.71	c nbDecision=545500 #constraints=18275
559.89/560.18	c nbDecision=546000 #constraints=18286
561.79/562.01	c nbDecision=546500 #constraints=18336
564.49/564.77	c nbDecision=547000 #constraints=18411
567.30/567.55	c nbDecision=547500 #constraints=18486
567.99/568.25	c nbDecision=548000 #constraints=18500
568.79/569.01	c nbDecision=548500 #constraints=18516
569.99/570.24	c nbDecision=549000 #constraints=18549
570.39/570.63	c nbDecision=549500 #constraints=18558
570.89/571.12	c nbDecision=550000 #constraints=18570
572.09/572.35	c nbDecision=550500 #constraints=18603
572.49/572.75	c nbDecision=551000 #constraints=18612
572.99/573.23	c nbDecision=551500 #constraints=18624
574.19/574.46	c nbDecision=552000 #constraints=18657
574.59/574.85	c nbDecision=552500 #constraints=18666
575.09/575.33	c nbDecision=553000 #constraints=18678
576.29/576.55	c nbDecision=553500 #constraints=18711
576.69/576.94	c nbDecision=554000 #constraints=18720
577.19/577.42	c nbDecision=554500 #constraints=18732
578.39/578.63	c nbDecision=555000 #constraints=18765
578.78/579.02	c nbDecision=555500 #constraints=18774
579.28/579.50	c nbDecision=556000 #constraints=18786
580.48/580.72	c nbDecision=556500 #constraints=18819
580.88/581.11	c nbDecision=557000 #constraints=18828
581.28/581.59	c nbDecision=557500 #constraints=18840
582.58/582.81	c nbDecision=558000 #constraints=18873
582.98/583.20	c nbDecision=558500 #constraints=18882
583.38/583.68	c nbDecision=559000 #constraints=18894
584.68/584.91	c nbDecision=559500 #constraints=18927
585.08/585.31	c nbDecision=560000 #constraints=18936
585.48/585.79	c nbDecision=560500 #constraints=18948
586.78/587.02	c nbDecision=561000 #constraints=18981
587.18/587.42	c nbDecision=561500 #constraints=18990
587.68/587.90	c nbDecision=562000 #constraints=19002
588.88/589.13	c nbDecision=562500 #constraints=19035
589.28/589.52	c nbDecision=563000 #constraints=19044
589.78/590.01	c nbDecision=563500 #constraints=19056
590.98/591.24	c nbDecision=564000 #constraints=19089
591.38/591.64	c nbDecision=564500 #constraints=19098
591.88/592.12	c nbDecision=565000 #constraints=19110
593.08/593.35	c nbDecision=565500 #constraints=19143
593.48/593.75	c nbDecision=566000 #constraints=19152
593.98/594.23	c nbDecision=566500 #constraints=19164
595.18/595.46	c nbDecision=567000 #constraints=19197
595.58/595.85	c nbDecision=567500 #constraints=19206
595.99/596.29	c nbDecision=568000 #constraints=19217
596.88/597.17	c nbDecision=568500 #constraints=19240
597.38/597.60	c nbDecision=569000 #constraints=19250
598.18/598.45	c nbDecision=569500 #constraints=19273
598.58/598.89	c nbDecision=570000 #constraints=19284
599.08/599.33	c nbDecision=570500 #constraints=19294
599.98/600.24	c nbDecision=571000 #constraints=19318
600.38/600.65	c nbDecision=571500 #constraints=19328
600.78/601.04	c nbDecision=572000 #constraints=19338
601.68/601.97	c nbDecision=572500 #constraints=19362
602.18/602.40	c nbDecision=573000 #constraints=19372
602.98/603.29	c nbDecision=573500 #constraints=19396
603.48/603.70	c nbDecision=574000 #constraints=19406
603.88/604.14	c nbDecision=574500 #constraints=19416
604.78/605.05	c nbDecision=575000 #constraints=19440
605.18/605.46	c nbDecision=575500 #constraints=19450
605.57/605.89	c nbDecision=576000 #constraints=19461
606.47/606.79	c nbDecision=576500 #constraints=19484
606.98/607.25	c nbDecision=577000 #constraints=19495
607.87/608.10	c nbDecision=577500 #constraints=19518
608.27/608.55	c nbDecision=578000 #constraints=19529
608.67/608.99	c nbDecision=578500 #constraints=19539
609.57/609.86	c nbDecision=579000 #constraints=19562
610.07/610.31	c nbDecision=579500 #constraints=19573
610.47/610.72	c nbDecision=580000 #constraints=19583
611.38/611.65	c nbDecision=580500 #constraints=19607
611.77/612.07	c nbDecision=581000 #constraints=19617
612.67/612.91	c nbDecision=581500 #constraints=19640
613.07/613.38	c nbDecision=582000 #constraints=19651
613.58/613.82	c nbDecision=582500 #constraints=19661
614.47/614.71	c nbDecision=583000 #constraints=19685
614.87/615.11	c nbDecision=583500 #constraints=19695
615.27/615.54	c nbDecision=584000 #constraints=19705
616.17/616.45	c nbDecision=584500 #constraints=19729
616.57/616.87	c nbDecision=585000 #constraints=19739
617.07/617.31	c nbDecision=585500 #constraints=19750
617.47/617.77	c nbDecision=586000 #constraints=19761
617.97/618.23	c nbDecision=586500 #constraints=19772
618.47/618.70	c nbDecision=587000 #constraints=19783
618.87/619.14	c nbDecision=587500 #constraints=19794
619.27/619.59	c nbDecision=588000 #constraints=19806
619.77/620.08	c nbDecision=588500 #constraints=19817
620.27/620.51	c nbDecision=589000 #constraints=19827
620.77/621.00	c nbDecision=589500 #constraints=19839
621.17/621.45	c nbDecision=590000 #constraints=19850
621.57/621.84	c nbDecision=590500 #constraints=19860
622.07/622.36	c nbDecision=591000 #constraints=19872
622.57/622.82	c nbDecision=591500 #constraints=19883
622.97/623.27	c nbDecision=592000 #constraints=19894
623.47/623.72	c nbDecision=592500 #constraints=19905
623.87/624.15	c nbDecision=593000 #constraints=19916
624.37/624.64	c nbDecision=593500 #constraints=19927
624.86/625.10	c nbDecision=594000 #constraints=19938
625.26/625.55	c nbDecision=594500 #constraints=19949
625.67/625.99	c nbDecision=595000 #constraints=19960
626.16/626.44	c nbDecision=595500 #constraints=19971
626.67/626.92	c nbDecision=596000 #constraints=19982
627.06/627.38	c nbDecision=596500 #constraints=19993
627.56/627.83	c nbDecision=597000 #constraints=20004
628.06/628.31	c nbDecision=597500 #constraints=20016
628.46/628.73	c nbDecision=598000 #constraints=20026
628.97/629.24	c nbDecision=598500 #constraints=20038
629.47/629.70	c nbDecision=599000 #constraints=20049
629.87/630.14	c nbDecision=599500 #constraints=20060
630.27/630.58	c nbDecision=600000 #constraints=20071
630.77/631.02	c nbDecision=600500 #constraints=20081
631.27/631.53	c nbDecision=601000 #constraints=20093
631.67/631.98	c nbDecision=601500 #constraints=20104
632.57/632.82	c nbDecision=602000 #constraints=20126
635.37/635.67	c nbDecision=602500 #constraints=20204
638.17/638.42	c nbDecision=603000 #constraints=20279
639.67/639.94	c nbDecision=603500 #constraints=20317
640.36/640.69	c nbDecision=604000 #constraints=20331
641.76/642.08	c nbDecision=604500 #constraints=20367
642.17/642.49	c nbDecision=605000 #constraints=20377
642.66/642.95	c nbDecision=605500 #constraints=20387
643.96/644.21	c nbDecision=606000 #constraints=20421
644.37/644.62	c nbDecision=606500 #constraints=20431
644.76/645.08	c nbDecision=607000 #constraints=20441
646.06/646.34	c nbDecision=607500 #constraints=20475
646.47/646.75	c nbDecision=608000 #constraints=20485
646.96/647.21	c nbDecision=608500 #constraints=20495
648.16/648.48	c nbDecision=609000 #constraints=20529
648.56/648.89	c nbDecision=609500 #constraints=20539
649.06/649.35	c nbDecision=610000 #constraints=20549
650.36/650.62	c nbDecision=610500 #constraints=20583
650.76/651.03	c nbDecision=611000 #constraints=20593
651.16/651.49	c nbDecision=611500 #constraints=20603
652.46/652.76	c nbDecision=612000 #constraints=20637
652.86/653.17	c nbDecision=612500 #constraints=20647
653.36/653.63	c nbDecision=613000 #constraints=20657
654.56/654.89	c nbDecision=613500 #constraints=20691
655.06/655.30	c nbDecision=614000 #constraints=20701
655.46/655.76	c nbDecision=614500 #constraints=20711
656.76/657.02	c nbDecision=615000 #constraints=20745
657.16/657.43	c nbDecision=615500 #constraints=20755
657.56/657.89	c nbDecision=616000 #constraints=20765
658.85/659.15	c nbDecision=616500 #constraints=20799
659.25/659.56	c nbDecision=617000 #constraints=20809
659.76/660.02	c nbDecision=617500 #constraints=20819
660.95/661.28	c nbDecision=618000 #constraints=20853
661.35/661.69	c nbDecision=618500 #constraints=20863
661.86/662.15	c nbDecision=619000 #constraints=20873
663.15/663.41	c nbDecision=619500 #constraints=20907
663.55/663.82	c nbDecision=620000 #constraints=20917
663.95/664.29	c nbDecision=620500 #constraints=20927
665.25/665.56	c nbDecision=621000 #constraints=20961
665.65/665.98	c nbDecision=621500 #constraints=20971
666.15/666.44	c nbDecision=622000 #constraints=20981
667.45/667.71	c nbDecision=622500 #constraints=21015
667.85/668.12	c nbDecision=623000 #constraints=21025
668.25/668.58	c nbDecision=623500 #constraints=21035
669.15/669.49	c nbDecision=624000 #constraints=21058
669.65/669.91	c nbDecision=624500 #constraints=21068
670.05/670.33	c nbDecision=625000 #constraints=21078
670.96/671.29	c nbDecision=625500 #constraints=21102
671.45/671.72	c nbDecision=626000 #constraints=21112
672.35/672.64	c nbDecision=626500 #constraints=21136
672.75/673.07	c nbDecision=627000 #constraints=21146
673.25/673.55	c nbDecision=627500 #constraints=21157
674.15/674.45	c nbDecision=628000 #constraints=21180
674.65/674.90	c nbDecision=628500 #constraints=21191
675.06/675.32	c nbDecision=629000 #constraints=21201
675.95/676.24	c nbDecision=629500 #constraints=21224
676.45/676.70	c nbDecision=630000 #constraints=21235
677.26/677.56	c nbDecision=630500 #constraints=21258
677.75/678.04	c nbDecision=631000 #constraints=21269
678.15/678.48	c nbDecision=631500 #constraints=21279
679.05/679.36	c nbDecision=632000 #constraints=21302
679.55/679.81	c nbDecision=632500 #constraints=21313
679.95/680.25	c nbDecision=633000 #constraints=21323
680.85/681.19	c nbDecision=633500 #constraints=21347
681.35/681.62	c nbDecision=634000 #constraints=21357
682.15/682.43	c nbDecision=634500 #constraints=21378
682.65/682.97	c nbDecision=635000 #constraints=21391
683.15/683.41	c nbDecision=635500 #constraints=21401
684.05/684.33	c nbDecision=636000 #constraints=21425
684.45/684.74	c nbDecision=636500 #constraints=21435
684.95/685.23	c nbDecision=637000 #constraints=21446
685.85/686.15	c nbDecision=637500 #constraints=21469
686.25/686.57	c nbDecision=638000 #constraints=21479
686.65/686.97	c nbDecision=638500 #constraints=21489
687.65/687.94	c nbDecision=639000 #constraints=21513
688.15/688.42	c nbDecision=639500 #constraints=21524
688.95/689.29	c nbDecision=640000 #constraints=21547
689.45/689.74	c nbDecision=640500 #constraints=21558
689.95/690.20	c nbDecision=641000 #constraints=21568
690.35/690.70	c nbDecision=641500 #constraints=21579
690.85/691.16	c nbDecision=642000 #constraints=21590
691.35/691.62	c nbDecision=642500 #constraints=21601
691.75/692.10	c nbDecision=643000 #constraints=21612
692.25/692.58	c nbDecision=643500 #constraints=21623
692.75/693.06	c nbDecision=644000 #constraints=21634
693.24/693.52	c nbDecision=644500 #constraints=21645
693.75/694.01	c nbDecision=645000 #constraints=21657
694.14/694.49	c nbDecision=645500 #constraints=21668
694.64/694.94	c nbDecision=646000 #constraints=21678
695.14/695.45	c nbDecision=646500 #constraints=21690
695.64/695.91	c nbDecision=647000 #constraints=21701
696.05/696.30	c nbDecision=647500 #constraints=21711
696.54/696.84	c nbDecision=648000 #constraints=21723
697.05/697.32	c nbDecision=648500 #constraints=21734
697.44/697.79	c nbDecision=649000 #constraints=21745
697.94/698.24	c nbDecision=649500 #constraints=21756
698.34/698.69	c nbDecision=650000 #constraints=21767
698.84/699.19	c nbDecision=650500 #constraints=21778
699.35/699.67	c nbDecision=651000 #constraints=21789
699.84/700.13	c nbDecision=651500 #constraints=21800
700.24/700.58	c nbDecision=652000 #constraints=21811
700.74/701.05	c nbDecision=652500 #constraints=21822
701.24/701.54	c nbDecision=653000 #constraints=21833
701.74/702.02	c nbDecision=653500 #constraints=21844
702.24/702.51	c nbDecision=654000 #constraints=21856
702.64/702.96	c nbDecision=654500 #constraints=21867
703.14/703.40	c nbDecision=655000 #constraints=21877
703.64/703.93	c nbDecision=655500 #constraints=21889
704.14/704.41	c nbDecision=656000 #constraints=21900
704.54/704.87	c nbDecision=656500 #constraints=21911
705.04/705.32	c nbDecision=657000 #constraints=21922
705.54/705.81	c nbDecision=657500 #constraints=21933
707.54/707.87	c nbDecision=658000 #constraints=21985
710.73/711.09	c nbDecision=658500 #constraints=22070
713.24/713.58	c nbDecision=659000 #constraints=22134
714.04/714.35	c nbDecision=659500 #constraints=22148
715.24/715.56	c nbDecision=660000 #constraints=22175
716.04/716.39	c nbDecision=660500 #constraints=22195
716.54/716.84	c nbDecision=661000 #constraints=22205
717.44/717.75	c nbDecision=661500 #constraints=22229
718.24/718.58	c nbDecision=662000 #constraints=22249
718.74/719.03	c nbDecision=662500 #constraints=22259
719.64/719.94	c nbDecision=663000 #constraints=22283
720.44/720.77	c nbDecision=663500 #constraints=22303
720.94/721.22	c nbDecision=664000 #constraints=22313
721.84/722.14	c nbDecision=664500 #constraints=22337
722.64/722.97	c nbDecision=665000 #constraints=22357
723.14/723.42	c nbDecision=665500 #constraints=22367
724.03/724.34	c nbDecision=666000 #constraints=22391
724.83/725.18	c nbDecision=666500 #constraints=22411
725.33/725.64	c nbDecision=667000 #constraints=22421
726.23/726.56	c nbDecision=667500 #constraints=22445
727.13/727.41	c nbDecision=668000 #constraints=22465
727.53/727.86	c nbDecision=668500 #constraints=22475
728.43/728.78	c nbDecision=669000 #constraints=22499
729.33/729.63	c nbDecision=669500 #constraints=22519
729.73/730.08	c nbDecision=670000 #constraints=22529
730.63/731.00	c nbDecision=670500 #constraints=22553
731.53/731.84	c nbDecision=671000 #constraints=22573
731.93/732.29	c nbDecision=671500 #constraints=22583
732.93/733.21	c nbDecision=672000 #constraints=22607
733.73/734.05	c nbDecision=672500 #constraints=22627
734.23/734.50	c nbDecision=673000 #constraints=22637
735.13/735.42	c nbDecision=673500 #constraints=22661
735.93/736.25	c nbDecision=674000 #constraints=22681
736.43/736.70	c nbDecision=674500 #constraints=22691
737.33/737.62	c nbDecision=675000 #constraints=22715
738.13/738.46	c nbDecision=675500 #constraints=22735
738.63/738.91	c nbDecision=676000 #constraints=22745
739.53/739.83	c nbDecision=676500 #constraints=22769
740.33/740.66	c nbDecision=677000 #constraints=22789
740.83/741.11	c nbDecision=677500 #constraints=22799
741.73/742.03	c nbDecision=678000 #constraints=22823
742.53/742.87	c nbDecision=678500 #constraints=22843
743.03/743.33	c nbDecision=679000 #constraints=22853
743.93/744.23	c nbDecision=679500 #constraints=22876
744.43/744.73	c nbDecision=680000 #constraints=22887
744.83/745.19	c nbDecision=680500 #constraints=22897
745.82/746.12	c nbDecision=681000 #constraints=22920
746.22/746.59	c nbDecision=681500 #constraints=22931
746.72/747.04	c nbDecision=682000 #constraints=22941
747.73/748.03	c nbDecision=682500 #constraints=22965
748.13/748.48	c nbDecision=683000 #constraints=22975
748.83/749.15	c nbDecision=683500 #constraints=22991
749.53/749.89	c nbDecision=684000 #constraints=23009
750.03/750.35	c nbDecision=684500 #constraints=23019
751.03/751.31	c nbDecision=685000 #constraints=23043
751.43/751.73	c nbDecision=685500 #constraints=23053
751.93/752.20	c nbDecision=686000 #constraints=23063
752.83/753.18	c nbDecision=686500 #constraints=23087
753.33/753.62	c nbDecision=687000 #constraints=23097
753.73/754.04	c nbDecision=687500 #constraints=23107
754.73/755.04	c nbDecision=688000 #constraints=23131
755.13/755.49	c nbDecision=688500 #constraints=23141
756.13/756.43	c nbDecision=689000 #constraints=23165
756.53/756.87	c nbDecision=689500 #constraints=23175
757.03/757.37	c nbDecision=690000 #constraints=23186
758.03/758.30	c nbDecision=690500 #constraints=23209
758.43/758.78	c nbDecision=691000 #constraints=23220
758.83/759.19	c nbDecision=691500 #constraints=23230
759.83/760.15	c nbDecision=692000 #constraints=23253
760.33/760.64	c nbDecision=692500 #constraints=23264
761.23/761.54	c nbDecision=693000 #constraints=23287
761.73/762.02	c nbDecision=693500 #constraints=23298
762.13/762.48	c nbDecision=694000 #constraints=23308
763.13/763.40	c nbDecision=694500 #constraints=23331
763.53/763.88	c nbDecision=695000 #constraints=23342
764.03/764.31	c nbDecision=695500 #constraints=23352
765.03/765.31	c nbDecision=696000 #constraints=23376
765.43/765.76	c nbDecision=696500 #constraints=23386
765.93/766.24	c nbDecision=697000 #constraints=23397
766.43/766.72	c nbDecision=697500 #constraints=23408
766.92/767.22	c nbDecision=698000 #constraints=23419
767.43/767.73	c nbDecision=698500 #constraints=23430
767.92/768.21	c nbDecision=699000 #constraints=23441
768.32/768.68	c nbDecision=699500 #constraints=23452
768.82/769.18	c nbDecision=700000 #constraints=23463
769.32/769.68	c nbDecision=700500 #constraints=23474
769.92/770.22	c nbDecision=701000 #constraints=23486
770.32/770.66	c nbDecision=701500 #constraints=23496
770.82/771.17	c nbDecision=702000 #constraints=23508
771.32/771.67	c nbDecision=702500 #constraints=23519
771.82/772.13	c nbDecision=703000 #constraints=23529
772.32/772.67	c nbDecision=703500 #constraints=23541
772.82/773.15	c nbDecision=704000 #constraints=23552
773.22/773.56	c nbDecision=704500 #constraints=23562
773.82/774.12	c nbDecision=705000 #constraints=23574
774.32/774.62	c nbDecision=705500 #constraints=23585
774.82/775.10	c nbDecision=706000 #constraints=23596
775.22/775.57	c nbDecision=706500 #constraints=23607
775.72/776.03	c nbDecision=707000 #constraints=23618
776.22/776.56	c nbDecision=707500 #constraints=23629
776.72/777.05	c nbDecision=708000 #constraints=23640
777.22/777.53	c nbDecision=708500 #constraints=23651
777.61/778.00	c nbDecision=709000 #constraints=23662
778.11/778.48	c nbDecision=709500 #constraints=23673
778.71/779.03	c nbDecision=710000 #constraints=23685
779.11/779.48	c nbDecision=710500 #constraints=23695
779.72/780.00	c nbDecision=711000 #constraints=23707
780.12/780.47	c nbDecision=711500 #constraints=23718
780.63/780.92	c nbDecision=712000 #constraints=23728
781.12/781.46	c nbDecision=712500 #constraints=23740
781.62/781.95	c nbDecision=713000 #constraints=23751
782.62/782.90	c nbDecision=713500 #constraints=23775
785.62/785.91	c nbDecision=714000 #constraints=23850
788.82/789.19	c nbDecision=714500 #constraints=23930
790.42/790.71	c nbDecision=715000 #constraints=23965
791.22/791.50	c nbDecision=715500 #constraints=23979
792.72/793.01	c nbDecision=716000 #constraints=24014
793.12/793.45	c nbDecision=716500 #constraints=24024
793.52/793.89	c nbDecision=717000 #constraints=24033
794.92/795.28	c nbDecision=717500 #constraints=24068
795.42/795.72	c nbDecision=718000 #constraints=24078
795.82/796.16	c nbDecision=718500 #constraints=24087
797.22/797.55	c nbDecision=719000 #constraints=24122
797.62/797.99	c nbDecision=719500 #constraints=24132
798.12/798.43	c nbDecision=720000 #constraints=24141
799.51/799.82	c nbDecision=720500 #constraints=24176
799.91/800.26	c nbDecision=721000 #constraints=24186
800.42/800.70	c nbDecision=721500 #constraints=24195
801.81/802.10	c nbDecision=722000 #constraints=24230
802.21/802.54	c nbDecision=722500 #constraints=24240
802.62/802.98	c nbDecision=723000 #constraints=24249
804.01/804.38	c nbDecision=723500 #constraints=24284
804.51/804.82	c nbDecision=724000 #constraints=24294
804.91/805.27	c nbDecision=724500 #constraints=24303
806.31/806.67	c nbDecision=725000 #constraints=24338
806.81/807.11	c nbDecision=725500 #constraints=24348
807.21/807.56	c nbDecision=726000 #constraints=24357
808.61/808.96	c nbDecision=726500 #constraints=24392
809.11/809.40	c nbDecision=727000 #constraints=24402
809.51/809.85	c nbDecision=727500 #constraints=24411
810.91/811.25	c nbDecision=728000 #constraints=24446
811.31/811.70	c nbDecision=728500 #constraints=24456
811.81/812.14	c nbDecision=729000 #constraints=24465
813.20/813.55	c nbDecision=729500 #constraints=24500
813.61/813.99	c nbDecision=730000 #constraints=24510
814.10/814.43	c nbDecision=730500 #constraints=24519
815.50/815.83	c nbDecision=731000 #constraints=24554
815.91/816.28	c nbDecision=731500 #constraints=24564
816.40/816.72	c nbDecision=732000 #constraints=24573
817.80/818.12	c nbDecision=732500 #constraints=24608
818.20/818.56	c nbDecision=733000 #constraints=24618
818.70/819.00	c nbDecision=733500 #constraints=24627
820.10/820.40	c nbDecision=734000 #constraints=24662
820.50/820.84	c nbDecision=734500 #constraints=24672
820.91/821.28	c nbDecision=735000 #constraints=24681
822.01/822.30	c nbDecision=735500 #constraints=24705
822.41/822.75	c nbDecision=736000 #constraints=24715
822.81/823.17	c nbDecision=736500 #constraints=24725
823.91/824.21	c nbDecision=737000 #constraints=24749
824.31/824.68	c nbDecision=737500 #constraints=24759
825.31/825.67	c nbDecision=738000 #constraints=24783
825.81/826.12	c nbDecision=738500 #constraints=24793
826.31/826.61	c nbDecision=739000 #constraints=24803
827.31/827.62	c nbDecision=739500 #constraints=24827
827.71/828.06	c nbDecision=740000 #constraints=24837
828.21/828.54	c nbDecision=740500 #constraints=24848
829.21/829.55	c nbDecision=741000 #constraints=24871
829.71/830.05	c nbDecision=741500 #constraints=24882
830.61/830.99	c nbDecision=742000 #constraints=24905
831.11/831.49	c nbDecision=742500 #constraints=24916
831.61/831.98	c nbDecision=743000 #constraints=24926
832.60/832.95	c nbDecision=743500 #constraints=24949
833.11/833.43	c nbDecision=744000 #constraints=24960
833.51/833.88	c nbDecision=744500 #constraints=24970
834.61/834.91	c nbDecision=745000 #constraints=24994
835.00/835.38	c nbDecision=745500 #constraints=25004
835.90/836.30	c nbDecision=746000 #constraints=25027
836.50/836.81	c nbDecision=746500 #constraints=25038
836.90/837.29	c nbDecision=747000 #constraints=25048
837.90/838.29	c nbDecision=747500 #constraints=25072
838.40/838.72	c nbDecision=748000 #constraints=25082
838.80/839.19	c nbDecision=748500 #constraints=25092
839.90/840.20	c nbDecision=749000 #constraints=25116
840.30/840.66	c nbDecision=749500 #constraints=25126
841.30/841.62	c nbDecision=750000 #constraints=25150
841.80/842.10	c nbDecision=750500 #constraints=25160
842.30/842.61	c nbDecision=751000 #constraints=25171
843.19/843.56	c nbDecision=751500 #constraints=25194
843.69/844.04	c nbDecision=752000 #constraints=25205
844.19/844.52	c nbDecision=752500 #constraints=25215
844.69/845.06	c nbDecision=753000 #constraints=25226
845.19/845.56	c nbDecision=753500 #constraints=25237
845.70/846.05	c nbDecision=754000 #constraints=25248
846.20/846.55	c nbDecision=754500 #constraints=25259
846.71/847.07	c nbDecision=755000 #constraints=25270
847.20/847.59	c nbDecision=755500 #constraints=25281
847.70/848.09	c nbDecision=756000 #constraints=25292
848.20/848.57	c nbDecision=756500 #constraints=25303
848.80/849.12	c nbDecision=757000 #constraints=25315
849.30/849.61	c nbDecision=757500 #constraints=25325
849.80/850.17	c nbDecision=758000 #constraints=25337
850.30/850.66	c nbDecision=758500 #constraints=25348
850.80/851.14	c nbDecision=759000 #constraints=25359
851.30/851.66	c nbDecision=759500 #constraints=25370
851.80/852.18	c nbDecision=760000 #constraints=25381
852.40/852.70	c nbDecision=760500 #constraints=25392
852.80/853.19	c nbDecision=761000 #constraints=25403
853.30/853.62	c nbDecision=761500 #constraints=25413
853.90/854.20	c nbDecision=762000 #constraints=25425
854.40/854.71	c nbDecision=762500 #constraints=25436
854.90/855.21	c nbDecision=763000 #constraints=25447
855.30/855.70	c nbDecision=763500 #constraints=25458
855.80/856.17	c nbDecision=764000 #constraints=25469
856.40/856.72	c nbDecision=764500 #constraints=25480
856.90/857.23	c nbDecision=765000 #constraints=25491
857.40/857.77	c nbDecision=765500 #constraints=25503
857.89/858.25	c nbDecision=766000 #constraints=25514
858.39/858.70	c nbDecision=766500 #constraints=25524
858.90/859.27	c nbDecision=767000 #constraints=25536
859.39/859.78	c nbDecision=767500 #constraints=25547
859.90/860.27	c nbDecision=768000 #constraints=25558
860.39/860.75	c nbDecision=768500 #constraints=25569
860.90/861.22	c nbDecision=769000 #constraints=25579
863.49/863.86	c nbDecision=769500 #constraints=25643
866.59/866.99	c nbDecision=770000 #constraints=25718
869.39/869.75	c nbDecision=770500 #constraints=25782
870.19/870.59	c nbDecision=771000 #constraints=25796
871.79/872.15	c nbDecision=771500 #constraints=25829
872.39/872.75	c nbDecision=772000 #constraints=25842
872.89/873.24	c nbDecision=772500 #constraints=25852
874.19/874.50	c nbDecision=773000 #constraints=25883
874.70/875.09	c nbDecision=773500 #constraints=25896
875.20/875.58	c nbDecision=774000 #constraints=25906
876.49/876.84	c nbDecision=774500 #constraints=25937
877.09/877.43	c nbDecision=775000 #constraints=25950
877.59/877.92	c nbDecision=775500 #constraints=25960
878.79/879.18	c nbDecision=776000 #constraints=25991
879.39/879.78	c nbDecision=776500 #constraints=26004
879.89/880.26	c nbDecision=777000 #constraints=26014
881.19/881.53	c nbDecision=777500 #constraints=26045
881.79/882.13	c nbDecision=778000 #constraints=26058
882.29/882.61	c nbDecision=778500 #constraints=26068
883.49/883.88	c nbDecision=779000 #constraints=26099
884.09/884.48	c nbDecision=779500 #constraints=26112
884.59/884.97	c nbDecision=780000 #constraints=26122
885.89/886.24	c nbDecision=780500 #constraints=26153
886.49/886.84	c nbDecision=781000 #constraints=26166
886.99/887.33	c nbDecision=781500 #constraints=26176
888.29/888.61	c nbDecision=782000 #constraints=26207
888.89/889.21	c nbDecision=782500 #constraints=26220
889.39/889.70	c nbDecision=783000 #constraints=26230
890.59/890.97	c nbDecision=783500 #constraints=26261
891.19/891.58	c nbDecision=784000 #constraints=26274
891.69/892.07	c nbDecision=784500 #constraints=26284
892.99/893.35	c nbDecision=785000 #constraints=26315
893.58/893.95	c nbDecision=785500 #constraints=26328
894.08/894.44	c nbDecision=786000 #constraints=26338
895.38/895.70	c nbDecision=786500 #constraints=26369
895.98/896.30	c nbDecision=787000 #constraints=26382
896.38/896.79	c nbDecision=787500 #constraints=26392
897.68/898.06	c nbDecision=788000 #constraints=26423
898.29/898.66	c nbDecision=788500 #constraints=26436
898.79/899.15	c nbDecision=789000 #constraints=26446
900.09/900.42	c nbDecision=789500 #constraints=26477
900.69/901.02	c nbDecision=790000 #constraints=26490
901.19/901.51	c nbDecision=790500 #constraints=26500
902.08/902.48	c nbDecision=791000 #constraints=26523
902.58/902.95	c nbDecision=791500 #constraints=26533
903.08/903.48	c nbDecision=792000 #constraints=26544
904.08/904.48	c nbDecision=792500 #constraints=26567
904.58/904.98	c nbDecision=793000 #constraints=26578
905.08/905.45	c nbDecision=793500 #constraints=26588
906.09/906.48	c nbDecision=794000 #constraints=26611
906.68/907.00	c nbDecision=794500 #constraints=26622
907.58/907.95	c nbDecision=795000 #constraints=26645
908.08/908.49	c nbDecision=795500 #constraints=26656
908.58/908.98	c nbDecision=796000 #constraints=26666
909.58/909.97	c nbDecision=796500 #constraints=26689
910.08/910.46	c nbDecision=797000 #constraints=26700
910.58/910.95	c nbDecision=797500 #constraints=26710
911.68/912.01	c nbDecision=798000 #constraints=26734
912.08/912.48	c nbDecision=798500 #constraints=26744
912.98/913.39	c nbDecision=799000 #constraints=26765
913.58/913.98	c nbDecision=799500 #constraints=26778
914.07/914.47	c nbDecision=800000 #constraints=26788
915.07/915.49	c nbDecision=800500 #constraints=26812
915.57/915.93	c nbDecision=801000 #constraints=26822
916.07/916.47	c nbDecision=801500 #constraints=26833
917.08/917.48	c nbDecision=802000 #constraints=26856
917.57/917.99	c nbDecision=802500 #constraints=26867
917.97/918.38	c nbDecision=803000 #constraints=26876
919.07/919.45	c nbDecision=803500 #constraints=26900
919.57/919.98	c nbDecision=804000 #constraints=26911
920.57/920.95	c nbDecision=804500 #constraints=26934
921.07/921.43	c nbDecision=805000 #constraints=26945
921.57/921.94	c nbDecision=805500 #constraints=26955
922.58/922.94	c nbDecision=806000 #constraints=26978
923.07/923.45	c nbDecision=806500 #constraints=26989
923.47/923.89	c nbDecision=807000 #constraints=26999
924.57/924.97	c nbDecision=807500 #constraints=27023
925.07/925.46	c nbDecision=808000 #constraints=27033
925.57/925.98	c nbDecision=808500 #constraints=27044
926.07/926.47	c nbDecision=809000 #constraints=27055
926.67/927.01	c nbDecision=809500 #constraints=27066
927.17/927.57	c nbDecision=810000 #constraints=27077
927.67/928.09	c nbDecision=810500 #constraints=27088
928.17/928.59	c nbDecision=811000 #constraints=27099
928.77/929.11	c nbDecision=811500 #constraints=27110
929.27/929.64	c nbDecision=812000 #constraints=27121
929.77/930.19	c nbDecision=812500 #constraints=27132
930.37/930.70	c nbDecision=813000 #constraints=27143
930.87/931.25	c nbDecision=813500 #constraints=27155
931.37/931.77	c nbDecision=814000 #constraints=27166
931.87/932.27	c nbDecision=814500 #constraints=27176
932.47/932.85	c nbDecision=815000 #constraints=27188
932.97/933.36	c nbDecision=815500 #constraints=27199
933.47/933.86	c nbDecision=816000 #constraints=27210
933.97/934.39	c nbDecision=816500 #constraints=27221
934.57/934.92	c nbDecision=817000 #constraints=27232
935.06/935.45	c nbDecision=817500 #constraints=27243
935.56/935.96	c nbDecision=818000 #constraints=27254
935.96/936.39	c nbDecision=818500 #constraints=27264
936.66/937.00	c nbDecision=819000 #constraints=27276
936.87/937.22	c restart after 819201 decisions
937.98/938.32	c nbDecision=819500 #constraints=27283
939.47/939.84	c nbDecision=820000 #constraints=27318
939.97/940.32	c nbDecision=820500 #constraints=27328
940.37/940.72	c nbDecision=821000 #constraints=27337
941.87/942.23	c nbDecision=821500 #constraints=27372
942.37/942.72	c nbDecision=822000 #constraints=27382
942.77/943.11	c nbDecision=822500 #constraints=27391
944.27/944.63	c nbDecision=823000 #constraints=27426
944.77/945.12	c nbDecision=823500 #constraints=27436
945.17/945.52	c nbDecision=824000 #constraints=27445
946.27/946.62	c nbDecision=824500 #constraints=27469
946.77/947.11	c nbDecision=825000 #constraints=27479
947.77/948.14	c nbDecision=825500 #constraints=27503
948.26/948.61	c nbDecision=826000 #constraints=27513
948.76/949.12	c nbDecision=826500 #constraints=27523
949.76/950.19	c nbDecision=827000 #constraints=27547
950.26/950.65	c nbDecision=827500 #constraints=27557
950.76/951.14	c nbDecision=828000 #constraints=27568
951.86/952.21	c nbDecision=828500 #constraints=27591
952.36/952.74	c nbDecision=829000 #constraints=27602
953.36/953.72	c nbDecision=829500 #constraints=27625
953.86/954.24	c nbDecision=830000 #constraints=27636
954.36/954.75	c nbDecision=830500 #constraints=27646
955.36/955.76	c nbDecision=831000 #constraints=27669
955.86/956.26	c nbDecision=831500 #constraints=27680
956.36/956.73	c nbDecision=832000 #constraints=27690
957.46/957.81	c nbDecision=832500 #constraints=27714
957.86/958.30	c nbDecision=833000 #constraints=27724
958.86/959.26	c nbDecision=833500 #constraints=27747
959.46/959.80	c nbDecision=834000 #constraints=27758
959.96/960.31	c nbDecision=834500 #constraints=27768
960.96/961.35	c nbDecision=835000 #constraints=27792
961.46/961.81	c nbDecision=835500 #constraints=27802
961.86/962.30	c nbDecision=836000 #constraints=27812
962.96/963.37	c nbDecision=836500 #constraints=27836
963.46/963.85	c nbDecision=837000 #constraints=27846
964.46/964.87	c nbDecision=837500 #constraints=27870
964.95/965.39	c nbDecision=838000 #constraints=27880
965.46/965.89	c nbDecision=838500 #constraints=27890
966.56/966.93	c nbDecision=839000 #constraints=27914
966.95/967.38	c nbDecision=839500 #constraints=27924
967.56/967.93	c nbDecision=840000 #constraints=27935
968.55/968.97	c nbDecision=840500 #constraints=27958
969.05/969.49	c nbDecision=841000 #constraints=27969
969.55/969.96	c nbDecision=841500 #constraints=27980
970.15/970.51	c nbDecision=842000 #constraints=27990
970.65/971.05	c nbDecision=842500 #constraints=28001
971.25/971.63	c nbDecision=843000 #constraints=28013
971.75/972.15	c nbDecision=843500 #constraints=28024
972.15/972.59	c nbDecision=844000 #constraints=28034
972.85/973.21	c nbDecision=844500 #constraints=28046
973.35/973.75	c nbDecision=845000 #constraints=28057
973.85/974.28	c nbDecision=845500 #constraints=28068
974.35/974.78	c nbDecision=846000 #constraints=28079
974.85/975.27	c nbDecision=846500 #constraints=28090
975.45/975.86	c nbDecision=847000 #constraints=28101
975.95/976.39	c nbDecision=847500 #constraints=28112
976.55/976.91	c nbDecision=848000 #constraints=28123
977.05/977.41	c nbDecision=848500 #constraints=28134
977.55/977.93	c nbDecision=849000 #constraints=28145
978.15/978.50	c nbDecision=849500 #constraints=28156
978.65/979.03	c nbDecision=850000 #constraints=28167
979.15/979.54	c nbDecision=850500 #constraints=28178
979.65/980.08	c nbDecision=851000 #constraints=28190
980.15/980.57	c nbDecision=851500 #constraints=28200
980.75/981.17	c nbDecision=852000 #constraints=28212
981.25/981.65	c nbDecision=852500 #constraints=28222
981.85/982.20	c nbDecision=853000 #constraints=28234
982.25/982.70	c nbDecision=853500 #constraints=28245
982.85/983.21	c nbDecision=854000 #constraints=28255
983.45/983.80	c nbDecision=854500 #constraints=28267
983.95/984.32	c nbDecision=855000 #constraints=28278
984.45/984.83	c nbDecision=855500 #constraints=28289
984.95/985.35	c nbDecision=856000 #constraints=28300
985.55/985.90	c nbDecision=856500 #constraints=28311
986.05/986.45	c nbDecision=857000 #constraints=28322
986.55/986.97	c nbDecision=857500 #constraints=28333
987.05/987.44	c nbDecision=858000 #constraints=28344
990.65/991.07	c nbDecision=858500 #constraints=28424
994.25/994.65	c nbDecision=859000 #constraints=28507
996.15/996.57	c nbDecision=859500 #constraints=28547
997.04/997.45	c nbDecision=860000 #constraints=28561
998.74/999.13	c nbDecision=860500 #constraints=28596
999.24/999.61	c nbDecision=861000 #constraints=28606
999.74/1000.14	c nbDecision=861500 #constraints=28616
1001.14/1001.59	c nbDecision=862000 #constraints=28650
1001.65/1002.07	c nbDecision=862500 #constraints=28660
1002.24/1002.60	c nbDecision=863000 #constraints=28670
1003.64/1004.05	c nbDecision=863500 #constraints=28704
1004.14/1004.54	c nbDecision=864000 #constraints=28714
1004.64/1005.07	c nbDecision=864500 #constraints=28724
1006.14/1006.53	c nbDecision=865000 #constraints=28758
1006.64/1007.02	c nbDecision=865500 #constraints=28768
1007.14/1007.55	c nbDecision=866000 #constraints=28778
1008.65/1009.02	c nbDecision=866500 #constraints=28812
1009.15/1009.51	c nbDecision=867000 #constraints=28822
1009.65/1010.04	c nbDecision=867500 #constraints=28832
1011.14/1011.51	c nbDecision=868000 #constraints=28866
1011.55/1011.99	c nbDecision=868500 #constraints=28876
1012.14/1012.53	c nbDecision=869000 #constraints=28886
1013.54/1013.99	c nbDecision=869500 #constraints=28920
1014.04/1014.48	c nbDecision=870000 #constraints=28930
1014.64/1015.01	c nbDecision=870500 #constraints=28940
1016.04/1016.46	c nbDecision=871000 #constraints=28974
1016.54/1016.95	c nbDecision=871500 #constraints=28984
1017.04/1017.48	c nbDecision=872000 #constraints=28994
1018.54/1018.93	c nbDecision=872500 #constraints=29028
1019.04/1019.42	c nbDecision=873000 #constraints=29038
1019.54/1019.95	c nbDecision=873500 #constraints=29048
1021.04/1021.40	c nbDecision=874000 #constraints=29082
1021.44/1021.89	c nbDecision=874500 #constraints=29092
1022.04/1022.42	c nbDecision=875000 #constraints=29102
1023.44/1023.88	c nbDecision=875500 #constraints=29136
1023.94/1024.37	c nbDecision=876000 #constraints=29146
1024.54/1024.90	c nbDecision=876500 #constraints=29156
1025.94/1026.37	c nbDecision=877000 #constraints=29190
1026.43/1026.86	c nbDecision=877500 #constraints=29200
1026.94/1027.39	c nbDecision=878000 #constraints=29210
1028.43/1028.86	c nbDecision=878500 #constraints=29244
1028.93/1029.35	c nbDecision=879000 #constraints=29254
1029.43/1029.89	c nbDecision=879500 #constraints=29264
1030.53/1030.95	c nbDecision=880000 #constraints=29287
1031.03/1031.47	c nbDecision=880500 #constraints=29298
1031.53/1031.96	c nbDecision=881000 #constraints=29308
1032.63/1033.05	c nbDecision=881500 #constraints=29331
1033.13/1033.59	c nbDecision=882000 #constraints=29342
1034.13/1034.59	c nbDecision=882500 #constraints=29365
1034.73/1035.14	c nbDecision=883000 #constraints=29376
1035.23/1035.66	c nbDecision=883500 #constraints=29386
1036.23/1036.69	c nbDecision=884000 #constraints=29409
1036.83/1037.21	c nbDecision=884500 #constraints=29420
1037.33/1037.71	c nbDecision=885000 #constraints=29430
1038.43/1038.82	c nbDecision=885500 #constraints=29454
1038.94/1039.31	c nbDecision=886000 #constraints=29464
1039.83/1040.23	c nbDecision=886500 #constraints=29484
1040.43/1040.88	c nbDecision=887000 #constraints=29498
1040.93/1041.39	c nbDecision=887500 #constraints=29508
1042.03/1042.46	c nbDecision=888000 #constraints=29532
1042.53/1042.92	c nbDecision=888500 #constraints=29542
1043.03/1043.45	c nbDecision=889000 #constraints=29552
1044.13/1044.56	c nbDecision=889500 #constraints=29576
1044.64/1045.05	c nbDecision=890000 #constraints=29586
1045.13/1045.50	c nbDecision=890500 #constraints=29596
1046.23/1046.64	c nbDecision=891000 #constraints=29620
1046.74/1047.20	c nbDecision=891500 #constraints=29631
1047.83/1048.22	c nbDecision=892000 #constraints=29654
1048.33/1048.74	c nbDecision=892500 #constraints=29665
1048.83/1049.27	c nbDecision=893000 #constraints=29675
1049.93/1050.34	c nbDecision=893500 #constraints=29698
1050.43/1050.87	c nbDecision=894000 #constraints=29709
1050.93/1051.32	c nbDecision=894500 #constraints=29719
1052.03/1052.46	c nbDecision=895000 #constraints=29743
1052.53/1052.97	c nbDecision=895500 #constraints=29753
1053.53/1053.98	c nbDecision=896000 #constraints=29776
1054.13/1054.51	c nbDecision=896500 #constraints=29787
1054.63/1055.04	c nbDecision=897000 #constraints=29797
1055.23/1055.61	c nbDecision=897500 #constraints=29808
1055.73/1056.13	c nbDecision=898000 #constraints=29819
1056.23/1056.66	c nbDecision=898500 #constraints=29831
1056.83/1057.25	c nbDecision=899000 #constraints=29842
1057.33/1057.77	c nbDecision=899500 #constraints=29852
1057.93/1058.37	c nbDecision=900000 #constraints=29864
1058.43/1058.89	c nbDecision=900500 #constraints=29875
1058.93/1059.34	c nbDecision=901000 #constraints=29885
1059.52/1059.98	c nbDecision=901500 #constraints=29897
1060.12/1060.53	c nbDecision=902000 #constraints=29908
1060.62/1061.08	c nbDecision=902500 #constraints=29919
1061.22/1061.60	c nbDecision=903000 #constraints=29930
1061.72/1062.10	c nbDecision=903500 #constraints=29941
1062.32/1062.71	c nbDecision=904000 #constraints=29952
1062.82/1063.26	c nbDecision=904500 #constraints=29963
1063.33/1063.79	c nbDecision=905000 #constraints=29974
1063.92/1064.31	c nbDecision=905500 #constraints=29985
1064.43/1064.85	c nbDecision=906000 #constraints=29996
1065.02/1065.44	c nbDecision=906500 #constraints=30007
1065.53/1065.99	c nbDecision=907000 #constraints=30018
1066.12/1066.57	c nbDecision=907500 #constraints=30030
1066.62/1067.09	c nbDecision=908000 #constraints=30041
1067.22/1067.60	c nbDecision=908500 #constraints=30051
1067.82/1068.22	c nbDecision=909000 #constraints=30063
1068.32/1068.77	c nbDecision=909500 #constraints=30074
1068.92/1069.30	c nbDecision=910000 #constraints=30085
1069.42/1069.81	c nbDecision=910500 #constraints=30096
1069.92/1070.38	c nbDecision=911000 #constraints=30107
1070.52/1070.96	c nbDecision=911500 #constraints=30118
1071.12/1071.50	c nbDecision=912000 #constraints=30129
1071.62/1072.02	c nbDecision=912500 #constraints=30140
1072.12/1072.56	c nbDecision=913000 #constraints=30151
1072.72/1073.13	c nbDecision=913500 #constraints=30162
1074.92/1075.39	c nbDecision=914000 #constraints=30212
1078.31/1078.79	c nbDecision=914500 #constraints=30287
1081.81/1082.25	c nbDecision=915000 #constraints=30362
1082.81/1083.26	c nbDecision=915500 #constraints=30378
1083.91/1084.36	c nbDecision=916000 #constraints=30395
1085.32/1085.72	c nbDecision=916500 #constraints=30425
1085.71/1086.19	c nbDecision=917000 #constraints=30434
1086.51/1086.91	c nbDecision=917500 #constraints=30449
1087.82/1088.27	c nbDecision=918000 #constraints=30479
1088.32/1088.74	c nbDecision=918500 #constraints=30488
1089.02/1089.46	c nbDecision=919000 #constraints=30503
1090.42/1090.83	c nbDecision=919500 #constraints=30533
1090.82/1091.29	c nbDecision=920000 #constraints=30542
1091.62/1092.02	c nbDecision=920500 #constraints=30557
1092.92/1093.38	c nbDecision=921000 #constraints=30587
1093.42/1093.85	c nbDecision=921500 #constraints=30596
1094.12/1094.57	c nbDecision=922000 #constraints=30611
1095.52/1095.92	c nbDecision=922500 #constraints=30641
1095.92/1096.39	c nbDecision=923000 #constraints=30650
1096.72/1097.11	c nbDecision=923500 #constraints=30665
1098.02/1098.46	c nbDecision=924000 #constraints=30695
1098.52/1098.92	c nbDecision=924500 #constraints=30704
1099.22/1099.64	c nbDecision=925000 #constraints=30719
1100.52/1101.00	c nbDecision=925500 #constraints=30749
1101.01/1101.46	c nbDecision=926000 #constraints=30758
1101.72/1102.18	c nbDecision=926500 #constraints=30773
1103.11/1103.54	c nbDecision=927000 #constraints=30803
1103.61/1104.01	c nbDecision=927500 #constraints=30812
1104.31/1104.73	c nbDecision=928000 #constraints=30827
1105.71/1106.10	c nbDecision=928500 #constraints=30857
1106.12/1106.57	c nbDecision=929000 #constraints=30866
1106.81/1107.29	c nbDecision=929500 #constraints=30881
1108.21/1108.66	c nbDecision=930000 #constraints=30911
1108.71/1109.13	c nbDecision=930500 #constraints=30920
1109.41/1109.85	c nbDecision=931000 #constraints=30935
1110.81/1111.22	c nbDecision=931500 #constraints=30965
1111.21/1111.70	c nbDecision=932000 #constraints=30974
1112.01/1112.42	c nbDecision=932500 #constraints=30989
1113.31/1113.79	c nbDecision=933000 #constraints=31019
1113.81/1114.26	c nbDecision=933500 #constraints=31028
1114.51/1114.97	c nbDecision=934000 #constraints=31043
1115.91/1116.34	c nbDecision=934500 #constraints=31073
1116.41/1116.80	c nbDecision=935000 #constraints=31082
1117.11/1117.60	c nbDecision=935500 #constraints=31098
1118.01/1118.43	c nbDecision=936000 #constraints=31116
1118.51/1118.96	c nbDecision=936500 #constraints=31126
1119.60/1120.01	c nbDecision=937000 #constraints=31149
1120.10/1120.53	c nbDecision=937500 #constraints=31160
1120.60/1121.08	c nbDecision=938000 #constraints=31170
1121.80/1122.21	c nbDecision=938500 #constraints=31194
1122.30/1122.71	c nbDecision=939000 #constraints=31204
1122.71/1123.17	c nbDecision=939500 #constraints=31214
1123.90/1124.35	c nbDecision=940000 #constraints=31238
1124.40/1124.87	c nbDecision=940500 #constraints=31248
1125.50/1125.97	c nbDecision=941000 #constraints=31272
1126.01/1126.46	c nbDecision=941500 #constraints=31282
1126.60/1127.04	c nbDecision=942000 #constraints=31293
1127.70/1128.14	c nbDecision=942500 #constraints=31316
1128.20/1128.68	c nbDecision=943000 #constraints=31327
1128.70/1129.15	c nbDecision=943500 #constraints=31337
1129.80/1130.28	c nbDecision=944000 #constraints=31360
1130.40/1130.85	c nbDecision=944500 #constraints=31371
1131.40/1131.89	c nbDecision=945000 #constraints=31394
1132.00/1132.45	c nbDecision=945500 #constraints=31405
1132.50/1132.99	c nbDecision=946000 #constraints=31415
1133.60/1134.07	c nbDecision=946500 #constraints=31438
1134.20/1134.61	c nbDecision=947000 #constraints=31449
1134.71/1135.10	c nbDecision=947500 #constraints=31459
1135.81/1136.26	c nbDecision=948000 #constraints=31483
1136.30/1136.77	c nbDecision=948500 #constraints=31493
1137.30/1137.80	c nbDecision=949000 #constraints=31516
1137.90/1138.37	c nbDecision=949500 #constraints=31527
1138.50/1138.91	c nbDecision=950000 #constraints=31537
1139.60/1140.02	c nbDecision=950500 #constraints=31561
1140.00/1140.49	c nbDecision=951000 #constraints=31571
1140.60/1141.04	c nbDecision=951500 #constraints=31582
1141.70/1142.16	c nbDecision=952000 #constraints=31605
1142.30/1142.71	c nbDecision=952500 #constraints=31616
1142.80/1143.20	c nbDecision=953000 #constraints=31626
1143.30/1143.78	c nbDecision=953500 #constraints=31637
1143.90/1144.35	c nbDecision=954000 #constraints=31648
1144.50/1144.98	c nbDecision=954500 #constraints=31660
1145.00/1145.48	c nbDecision=955000 #constraints=31670
1145.60/1146.07	c nbDecision=955500 #constraints=31682
1146.20/1146.65	c nbDecision=956000 #constraints=31693
1146.70/1147.18	c nbDecision=956500 #constraints=31703
1147.40/1147.80	c nbDecision=957000 #constraints=31715
1147.90/1148.35	c nbDecision=957500 #constraints=31726
1148.40/1148.81	c nbDecision=958000 #constraints=31736
1149.00/1149.48	c nbDecision=958500 #constraints=31748
1149.60/1150.05	c nbDecision=959000 #constraints=31759
1150.20/1150.62	c nbDecision=959500 #constraints=31770
1150.70/1151.16	c nbDecision=960000 #constraints=31781
1151.20/1151.68	c nbDecision=960500 #constraints=31792
1151.90/1152.30	c nbDecision=961000 #constraints=31803
1152.40/1152.87	c nbDecision=961500 #constraints=31814
1153.00/1153.42	c nbDecision=962000 #constraints=31825
1153.50/1153.95	c nbDecision=962500 #constraints=31836
1154.10/1154.50	c nbDecision=963000 #constraints=31847
1154.70/1155.15	c nbDecision=963500 #constraints=31859
1155.20/1155.67	c nbDecision=964000 #constraints=31869
1155.80/1156.26	c nbDecision=964500 #constraints=31881
1156.30/1156.79	c nbDecision=965000 #constraints=31892
1156.89/1157.31	c nbDecision=965500 #constraints=31902
1157.49/1157.94	c nbDecision=966000 #constraints=31914
1158.09/1158.50	c nbDecision=966500 #constraints=31925
1158.59/1159.04	c nbDecision=967000 #constraints=31936
1159.09/1159.56	c nbDecision=967500 #constraints=31947
1159.69/1160.14	c nbDecision=968000 #constraints=31958
1160.29/1160.74	c nbDecision=968500 #constraints=31969
1160.79/1161.29	c nbDecision=969000 #constraints=31980
1161.89/1162.36	c nbDecision=969500 #constraints=32003
1165.49/1165.98	c nbDecision=970000 #constraints=32080
1169.09/1169.52	c nbDecision=970500 #constraints=32155
1171.09/1171.59	c nbDecision=971000 #constraints=32193
1172.09/1172.55	c nbDecision=971500 #constraints=32207
1173.88/1174.34	c nbDecision=972000 #constraints=32243
1174.39/1174.83	c nbDecision=972500 #constraints=32253
1174.88/1175.39	c nbDecision=973000 #constraints=32263
1176.49/1176.94	c nbDecision=973500 #constraints=32297
1176.98/1177.42	c nbDecision=974000 #constraints=32307
1177.48/1177.99	c nbDecision=974500 #constraints=32317
1179.08/1179.54	c nbDecision=975000 #constraints=32351
1179.58/1180.02	c nbDecision=975500 #constraints=32361
1180.08/1180.59	c nbDecision=976000 #constraints=32371
1181.69/1182.14	c nbDecision=976500 #constraints=32405
1182.19/1182.63	c nbDecision=977000 #constraints=32415
1182.69/1183.19	c nbDecision=977500 #constraints=32425
1184.29/1184.76	c nbDecision=978000 #constraints=32459
1184.79/1185.25	c nbDecision=978500 #constraints=32469
1185.39/1185.82	c nbDecision=979000 #constraints=32479
1186.89/1187.39	c nbDecision=979500 #constraints=32513
1187.39/1187.88	c nbDecision=980000 #constraints=32523
1187.99/1188.45	c nbDecision=980500 #constraints=32533
1189.59/1190.02	c nbDecision=981000 #constraints=32567
1190.09/1190.51	c nbDecision=981500 #constraints=32577
1190.59/1191.08	c nbDecision=982000 #constraints=32587
1192.19/1192.65	c nbDecision=982500 #constraints=32621
1192.69/1193.13	c nbDecision=983000 #constraints=32631
1193.29/1193.70	c nbDecision=983500 #constraints=32641
1194.79/1195.26	c nbDecision=984000 #constraints=32675
1195.29/1195.75	c nbDecision=984500 #constraints=32685
1195.88/1196.32	c nbDecision=985000 #constraints=32695
1197.39/1197.88	c nbDecision=985500 #constraints=32729
1197.88/1198.36	c nbDecision=986000 #constraints=32739
1198.49/1198.93	c nbDecision=986500 #constraints=32749
1199.98/1200.49	c nbDecision=987000 #constraints=32783
1200.48/1200.98	c nbDecision=987500 #constraints=32793
1201.08/1201.54	c nbDecision=988000 #constraints=32803
1202.58/1203.10	c nbDecision=988500 #constraints=32837
1203.08/1203.58	c nbDecision=989000 #constraints=32847
1203.68/1204.15	c nbDecision=989500 #constraints=32857
1205.28/1205.72	c nbDecision=990000 #constraints=32891
1205.78/1206.21	c nbDecision=990500 #constraints=32901
1206.28/1206.78	c nbDecision=991000 #constraints=32911
1207.48/1207.92	c nbDecision=991500 #constraints=32934
1207.98/1208.42	c nbDecision=992000 #constraints=32944
1208.48/1208.96	c nbDecision=992500 #constraints=32955
1209.68/1210.14	c nbDecision=993000 #constraints=32978
1210.27/1210.71	c nbDecision=993500 #constraints=32989
1211.27/1211.79	c nbDecision=994000 #constraints=33012
1211.87/1212.36	c nbDecision=994500 #constraints=33023
1212.47/1212.92	c nbDecision=995000 #constraints=33033
1213.57/1214.08	c nbDecision=995500 #constraints=33056
1214.17/1214.64	c nbDecision=996000 #constraints=33067
1214.67/1215.18	c nbDecision=996500 #constraints=33077
1216.07/1216.50	c nbDecision=997000 #constraints=33101
1216.57/1217.08	c nbDecision=997500 #constraints=33111
1217.77/1218.26	c nbDecision=998000 #constraints=33134
1218.47/1218.91	c nbDecision=998500 #constraints=33145
1219.07/1219.52	c nbDecision=999000 #constraints=33155
1220.37/1220.80	c nbDecision=999500 #constraints=33179
1220.87/1221.35	c nbDecision=1000000 #constraints=33189
1221.47/1221.93	c nbDecision=1000500 #constraints=33199
1222.77/1223.25	c nbDecision=1001000 #constraints=33223
1223.37/1223.82	c nbDecision=1001500 #constraints=33233
1224.57/1225.07	c nbDecision=1002000 #constraints=33257
1225.27/1225.70	c nbDecision=1002500 #constraints=33267
1225.87/1226.35	c nbDecision=1003000 #constraints=33278
1227.07/1227.59	c nbDecision=1003500 #constraints=33301
1227.67/1228.13	c nbDecision=1004000 #constraints=33311
1228.27/1228.79	c nbDecision=1004500 #constraints=33322
1229.56/1230.06	c nbDecision=1005000 #constraints=33345
1230.16/1230.69	c nbDecision=1005500 #constraints=33356
1230.76/1231.26	c nbDecision=1006000 #constraints=33367
1232.06/1232.55	c nbDecision=1006500 #constraints=33390
1232.67/1233.16	c nbDecision=1007000 #constraints=33400
1233.86/1234.37	c nbDecision=1007500 #constraints=33423
1234.47/1234.99	c nbDecision=1008000 #constraints=33434
1235.17/1235.61	c nbDecision=1008500 #constraints=33444
1235.77/1236.28	c nbDecision=1009000 #constraints=33455
1236.47/1236.91	c nbDecision=1009500 #constraints=33466
1237.08/1237.50	c nbDecision=1010000 #constraints=33477
1237.67/1238.19	c nbDecision=1010500 #constraints=33489
1238.37/1238.80	c nbDecision=1011000 #constraints=33499
1239.07/1239.50	c nbDecision=1011500 #constraints=33511
1239.67/1240.13	c nbDecision=1012000 #constraints=33522
1240.27/1240.73	c nbDecision=1012500 #constraints=33533
1240.87/1241.38	c nbDecision=1013000 #constraints=33544
1241.57/1242.02	c nbDecision=1013500 #constraints=33555
1242.17/1242.68	c nbDecision=1014000 #constraints=33566
1242.77/1243.29	c nbDecision=1014500 #constraints=33577
1243.37/1243.82	c nbDecision=1015000 #constraints=33587
1244.07/1244.56	c nbDecision=1015500 #constraints=33599
1244.77/1245.20	c nbDecision=1016000 #constraints=33610
1245.37/1245.84	c nbDecision=1016500 #constraints=33621
1245.97/1246.46	c nbDecision=1017000 #constraints=33632
1246.57/1247.05	c nbDecision=1017500 #constraints=33643
1247.27/1247.75	c nbDecision=1018000 #constraints=33654
1247.87/1248.40	c nbDecision=1018500 #constraints=33665
1248.57/1249.02	c nbDecision=1019000 #constraints=33676
1249.17/1249.69	c nbDecision=1019500 #constraints=33688
1249.77/1250.25	c nbDecision=1020000 #constraints=33698
1250.46/1250.98	c nbDecision=1020500 #constraints=33710
1251.06/1251.58	c nbDecision=1021000 #constraints=33720
1251.76/1252.25	c nbDecision=1021500 #constraints=33732
1252.37/1252.86	c nbDecision=1022000 #constraints=33743
1252.96/1253.45	c nbDecision=1022500 #constraints=33753
1253.66/1254.17	c nbDecision=1023000 #constraints=33765
1254.36/1254.80	c nbDecision=1023500 #constraints=33776
1254.96/1255.41	c nbDecision=1024000 #constraints=33787
1255.56/1256.00	c nbDecision=1024500 #constraints=33798
1256.16/1256.66	c nbDecision=1025000 #constraints=33809
1259.26/1259.76	c nbDecision=1025500 #constraints=33866
1263.46/1263.93	c nbDecision=1026000 #constraints=33946
1266.86/1267.38	c nbDecision=1026500 #constraints=34010
1267.96/1268.44	c nbDecision=1027000 #constraints=34024
1269.76/1270.24	c nbDecision=1027500 #constraints=34053
1270.76/1271.28	c nbDecision=1028000 #constraints=34072
1271.36/1271.83	c nbDecision=1028500 #constraints=34081
1272.66/1273.16	c nbDecision=1029000 #constraints=34107
1273.75/1274.21	c nbDecision=1029500 #constraints=34126
1274.25/1274.75	c nbDecision=1030000 #constraints=34135
1275.56/1276.08	c nbDecision=1030500 #constraints=34161
1276.66/1277.11	c nbDecision=1031000 #constraints=34180
1277.15/1277.66	c nbDecision=1031500 #constraints=34189
1278.45/1278.98	c nbDecision=1032000 #constraints=34215
1279.54/1280.03	c nbDecision=1032500 #constraints=34234
1280.04/1280.58	c nbDecision=1033000 #constraints=34243
1281.44/1281.91	c nbDecision=1033500 #constraints=34269
1282.43/1282.96	c nbDecision=1034000 #constraints=34288
1282.93/1283.49	c nbDecision=1034500 #constraints=34297
1284.33/1284.83	c nbDecision=1035000 #constraints=34323
1285.33/1285.88	c nbDecision=1035500 #constraints=34342
1285.93/1286.42	c nbDecision=1036000 #constraints=34351
1287.23/1287.75	c nbDecision=1036500 #constraints=34377
1288.33/1288.80	c nbDecision=1037000 #constraints=34396
1288.83/1289.34	c nbDecision=1037500 #constraints=34405
1290.12/1290.68	c nbDecision=1038000 #constraints=34431
1291.22/1291.72	c nbDecision=1038500 #constraints=34450
1291.72/1292.27	c nbDecision=1039000 #constraints=34459
1293.02/1293.60	c nbDecision=1039500 #constraints=34485
1294.12/1294.64	c nbDecision=1040000 #constraints=34504
1294.61/1295.18	c nbDecision=1040500 #constraints=34513
1296.00/1296.50	c nbDecision=1041000 #constraints=34539
1297.00/1297.53	c nbDecision=1041500 #constraints=34558
1297.50/1298.08	c nbDecision=1042000 #constraints=34567
1298.90/1299.40	c nbDecision=1042500 #constraints=34593
1299.89/1300.44	c nbDecision=1043000 #constraints=34612
1300.38/1300.98	c nbDecision=1043500 #constraints=34621
1301.68/1302.29	c nbDecision=1044000 #constraints=34647
1302.78/1303.33	c nbDecision=1044500 #constraints=34666
1303.28/1303.87	c nbDecision=1045000 #constraints=34675
1304.58/1305.18	c nbDecision=1045500 #constraints=34701
1305.68/1306.22	c nbDecision=1046000 #constraints=34720
1306.18/1306.77	c nbDecision=1046500 #constraints=34729
1307.38/1307.97	c nbDecision=1047000 #constraints=34752
1308.07/1308.63	c nbDecision=1047500 #constraints=34763
1308.67/1309.24	c nbDecision=1048000 #constraints=34773
1309.86/1310.46	c nbDecision=1048500 #constraints=34796
1310.46/1311.07	c nbDecision=1049000 #constraints=34807
1311.06/1311.66	c nbDecision=1049500 #constraints=34817
1312.36/1312.98	c nbDecision=1050000 #constraints=34841
1312.96/1313.55	c nbDecision=1050500 #constraints=34851
1314.06/1314.67	c nbDecision=1051000 #constraints=34872
1314.76/1315.39	c nbDecision=1051500 #constraints=34885
1315.36/1315.99	c nbDecision=1052000 #constraints=34895
1316.66/1317.24	c nbDecision=1052500 #constraints=34919
1317.16/1317.77	c nbDecision=1053000 #constraints=34929
1317.86/1318.43	c nbDecision=1053500 #constraints=34940
1319.06/1319.69	c nbDecision=1054000 #constraints=34963
1319.66/1320.25	c nbDecision=1054500 #constraints=34973
1320.16/1320.77	c nbDecision=1055000 #constraints=34983
1321.56/1322.11	c nbDecision=1055500 #constraints=35007
1322.16/1322.74	c nbDecision=1056000 #constraints=35018
1323.36/1323.94	c nbDecision=1056500 #constraints=35041
1323.95/1324.53	c nbDecision=1057000 #constraints=35052
1324.55/1325.16	c nbDecision=1057500 #constraints=35062
1325.85/1326.40	c nbDecision=1058000 #constraints=35085
1326.45/1327.02	c nbDecision=1058500 #constraints=35096
1326.95/1327.55	c nbDecision=1059000 #constraints=35106
1328.25/1328.89	c nbDecision=1059500 #constraints=35130
1328.85/1329.48	c nbDecision=1060000 #constraints=35140
1330.05/1330.67	c nbDecision=1060500 #constraints=35163
1330.65/1331.30	c nbDecision=1061000 #constraints=35174
1331.35/1331.92	c nbDecision=1061500 #constraints=35184
1332.66/1333.20	c nbDecision=1062000 #constraints=35208
1333.15/1333.76	c nbDecision=1062500 #constraints=35218
1333.75/1334.33	c nbDecision=1063000 #constraints=35228
1335.04/1335.64	c nbDecision=1063500 #constraints=35252
1335.64/1336.22	c nbDecision=1064000 #constraints=35262
1336.24/1336.84	c nbDecision=1064500 #constraints=35273
1336.84/1337.46	c nbDecision=1065000 #constraints=35284
1337.54/1338.11	c nbDecision=1065500 #constraints=35295
1338.14/1338.77	c nbDecision=1066000 #constraints=35306
1338.74/1339.39	c nbDecision=1066500 #constraints=35317
1339.44/1340.05	c nbDecision=1067000 #constraints=35329
1340.04/1340.67	c nbDecision=1067500 #constraints=35340
1340.64/1341.28	c nbDecision=1068000 #constraints=35350
1341.34/1341.98	c nbDecision=1068500 #constraints=35362
1341.94/1342.60	c nbDecision=1069000 #constraints=35373
1342.54/1343.19	c nbDecision=1069500 #constraints=35384
1343.24/1343.84	c nbDecision=1070000 #constraints=35395
1343.84/1344.49	c nbDecision=1070500 #constraints=35406
1344.54/1345.14	c nbDecision=1071000 #constraints=35417
1345.14/1345.76	c nbDecision=1071500 #constraints=35428
1345.64/1346.28	c nbDecision=1072000 #constraints=35438
1346.44/1347.02	c nbDecision=1072500 #constraints=35450
1347.03/1347.67	c nbDecision=1073000 #constraints=35461
1347.73/1348.31	c nbDecision=1073500 #constraints=35472
1348.33/1348.92	c nbDecision=1074000 #constraints=35483
1348.93/1349.51	c nbDecision=1074500 #constraints=35494
1349.63/1350.25	c nbDecision=1075000 #constraints=35506
1350.24/1350.85	c nbDecision=1075500 #constraints=35516
1350.93/1351.53	c nbDecision=1076000 #constraints=35528
1351.53/1352.14	c nbDecision=1076500 #constraints=35539
1352.13/1352.70	c nbDecision=1077000 #constraints=35549
1352.83/1353.43	c nbDecision=1077500 #constraints=35561
1353.44/1354.07	c nbDecision=1078000 #constraints=35572
1354.03/1354.69	c nbDecision=1078500 #constraints=35583
1354.64/1355.29	c nbDecision=1079000 #constraints=35594
1355.33/1355.91	c nbDecision=1079500 #constraints=35605
1355.93/1356.59	c nbDecision=1080000 #constraints=35616
1356.63/1357.21	c nbDecision=1080500 #constraints=35627
1357.84/1358.45	c nbDecision=1081000 #constraints=35651
1361.83/1362.45	c nbDecision=1081500 #constraints=35726
1366.43/1367.01	c nbDecision=1082000 #constraints=35810
1368.23/1368.84	c nbDecision=1082500 #constraints=35841
1369.23/1369.89	c nbDecision=1083000 #constraints=35855
1371.23/1371.87	c nbDecision=1083500 #constraints=35890
1371.83/1372.42	c nbDecision=1084000 #constraints=35900
1372.43/1373.01	c nbDecision=1084500 #constraints=35910
1374.13/1374.77	c nbDecision=1085000 #constraints=35944
1374.73/1375.31	c nbDecision=1085500 #constraints=35954
1375.33/1375.90	c nbDecision=1086000 #constraints=35964
1377.03/1377.65	c nbDecision=1086500 #constraints=35998
1377.52/1378.19	c nbDecision=1087000 #constraints=36008
1378.12/1378.78	c nbDecision=1087500 #constraints=36018
1379.93/1380.54	c nbDecision=1088000 #constraints=36052
1380.42/1381.08	c nbDecision=1088500 #constraints=36062
1381.03/1381.67	c nbDecision=1089000 #constraints=36072
1382.82/1383.42	c nbDecision=1089500 #constraints=36106
1383.32/1383.96	c nbDecision=1090000 #constraints=36116
1383.92/1384.56	c nbDecision=1090500 #constraints=36126
1385.72/1386.32	c nbDecision=1091000 #constraints=36160
1386.22/1386.86	c nbDecision=1091500 #constraints=36170
1386.82/1387.45	c nbDecision=1092000 #constraints=36180
1388.62/1389.20	c nbDecision=1092500 #constraints=36214
1389.12/1389.75	c nbDecision=1093000 #constraints=36224
1389.72/1390.34	c nbDecision=1093500 #constraints=36234
1391.41/1392.09	c nbDecision=1094000 #constraints=36268
1392.02/1392.64	c nbDecision=1094500 #constraints=36278
1392.61/1393.23	c nbDecision=1095000 #constraints=36288
1394.31/1394.98	c nbDecision=1095500 #constraints=36322
1394.91/1395.52	c nbDecision=1096000 #constraints=36332
1395.51/1396.11	c nbDecision=1096500 #constraints=36342
1397.21/1397.85	c nbDecision=1097000 #constraints=36376
1397.71/1398.40	c nbDecision=1097500 #constraints=36386
1398.31/1398.98	c nbDecision=1098000 #constraints=36396
1400.11/1400.71	c nbDecision=1098500 #constraints=36430
1400.61/1401.25	c nbDecision=1099000 #constraints=36440
1401.21/1401.84	c nbDecision=1099500 #constraints=36450
1402.91/1403.57	c nbDecision=1100000 #constraints=36484
1403.52/1404.12	c nbDecision=1100500 #constraints=36494
1404.12/1404.71	c nbDecision=1101000 #constraints=36504
1405.82/1406.46	c nbDecision=1101500 #constraints=36538
1406.42/1407.00	c nbDecision=1102000 #constraints=36548
1406.92/1407.59	c nbDecision=1102500 #constraints=36558
1408.21/1408.86	c nbDecision=1103000 #constraints=36581
1408.81/1409.42	c nbDecision=1103500 #constraints=36591
1409.31/1409.94	c nbDecision=1104000 #constraints=36601
1410.62/1411.27	c nbDecision=1104500 #constraints=36625
1411.21/1411.86	c nbDecision=1105000 #constraints=36635
1412.51/1413.10	c nbDecision=1105500 #constraints=36659
1413.01/1413.65	c nbDecision=1106000 #constraints=36669
1413.71/1414.30	c nbDecision=1106500 #constraints=36680
1414.91/1415.53	c nbDecision=1107000 #constraints=36703
1415.51/1416.14	c nbDecision=1107500 #constraints=36714
1416.01/1416.65	c nbDecision=1108000 #constraints=36724
1417.31/1417.93	c nbDecision=1108500 #constraints=36747
1417.91/1418.55	c nbDecision=1109000 #constraints=36758
1419.11/1419.72	c nbDecision=1109500 #constraints=36781
1419.71/1420.34	c nbDecision=1110000 #constraints=36792
1420.31/1420.94	c nbDecision=1110500 #constraints=36802
1421.51/1422.15	c nbDecision=1111000 #constraints=36825
1422.11/1422.75	c nbDecision=1111500 #constraints=36836
1422.61/1423.30	c nbDecision=1112000 #constraints=36846
1424.00/1424.61	c nbDecision=1112500 #constraints=36870
1424.50/1425.19	c nbDecision=1113000 #constraints=36880
1425.70/1426.35	c nbDecision=1113500 #constraints=36903
1426.30/1427.00	c nbDecision=1114000 #constraints=36914
1427.00/1427.60	c nbDecision=1114500 #constraints=36924
1428.21/1428.85	c nbDecision=1115000 #constraints=36948
1428.70/1429.39	c nbDecision=1115500 #constraints=36958
1429.41/1430.01	c nbDecision=1116000 #constraints=36969
1430.60/1431.27	c nbDecision=1116500 #constraints=36992
1431.20/1431.89	c nbDecision=1117000 #constraints=37003
1432.40/1433.04	c nbDecision=1117500 #constraints=37026
1433.00/1433.65	c nbDecision=1118000 #constraints=37036
1433.60/1434.29	c nbDecision=1118500 #constraints=37047
1434.80/1435.48	c nbDecision=1119000 #constraints=37070
1435.40/1436.06	c nbDecision=1119500 #constraints=37081
1436.00/1436.64	c nbDecision=1120000 #constraints=37091
1436.70/1437.32	c nbDecision=1120500 #constraints=37102
1437.30/1437.94	c nbDecision=1121000 #constraints=37113
1437.90/1438.54	c nbDecision=1121500 #constraints=37124
1438.50/1439.15	c nbDecision=1122000 #constraints=37135
1439.10/1439.79	c nbDecision=1122500 #constraints=37146
1439.80/1440.50	c nbDecision=1123000 #constraints=37158
1440.41/1441.05	c nbDecision=1123500 #constraints=37168
1441.10/1441.71	c nbDecision=1124000 #constraints=37180
1441.70/1442.31	c nbDecision=1124500 #constraints=37191
1442.30/1442.92	c nbDecision=1125000 #constraints=37201
1443.00/1443.61	c nbDecision=1125500 #constraints=37213
1443.60/1444.22	c nbDecision=1126000 #constraints=37224
1444.20/1444.81	c nbDecision=1126500 #constraints=37235
1444.80/1445.46	c nbDecision=1127000 #constraints=37246
1445.50/1446.10	c nbDecision=1127500 #constraints=37257
1446.10/1446.74	c nbDecision=1128000 #constraints=37268
1446.70/1447.35	c nbDecision=1128500 #constraints=37279
1447.20/1447.86	c nbDecision=1129000 #constraints=37289
1448.00/1448.60	c nbDecision=1129500 #constraints=37301
1448.60/1449.24	c nbDecision=1130000 #constraints=37312
1449.20/1449.87	c nbDecision=1130500 #constraints=37323
1449.80/1450.47	c nbDecision=1131000 #constraints=37334
1450.40/1451.04	c nbDecision=1131500 #constraints=37345
1451.10/1451.78	c nbDecision=1132000 #constraints=37357
1451.70/1452.37	c nbDecision=1132500 #constraints=37367
1452.40/1453.04	c nbDecision=1133000 #constraints=37379
1452.99/1453.64	c nbDecision=1133500 #constraints=37390
1453.50/1454.19	c nbDecision=1134000 #constraints=37400
1454.29/1454.90	c nbDecision=1134500 #constraints=37412
1454.89/1455.53	c nbDecision=1135000 #constraints=37423
1455.49/1456.13	c nbDecision=1135500 #constraints=37434
1456.09/1456.72	c nbDecision=1136000 #constraints=37445
1456.69/1457.32	c nbDecision=1136500 #constraints=37456
1459.99/1460.63	c nbDecision=1137000 #constraints=37519
1463.90/1464.56	c nbDecision=1137500 #constraints=37594
1467.40/1468.03	c nbDecision=1138000 #constraints=37658
1468.49/1469.14	c nbDecision=1138500 #constraints=37672
1470.49/1471.19	c nbDecision=1139000 #constraints=37707
1471.20/1471.83	c nbDecision=1139500 #constraints=37718
1471.79/1472.42	c nbDecision=1140000 #constraints=37728
1473.40/1474.05	c nbDecision=1140500 #constraints=37761
1473.99/1474.68	c nbDecision=1141000 #constraints=37772
1474.59/1475.27	c nbDecision=1141500 #constraints=37782
1476.19/1476.88	c nbDecision=1142000 #constraints=37815
1476.89/1477.52	c nbDecision=1142500 #constraints=37826
1477.49/1478.10	c nbDecision=1143000 #constraints=37836
1479.09/1479.72	c nbDecision=1143500 #constraints=37869
1479.69/1480.35	c nbDecision=1144000 #constraints=37880
1480.29/1480.94	c nbDecision=1144500 #constraints=37890
1481.89/1482.55	c nbDecision=1145000 #constraints=37923
1482.49/1483.19	c nbDecision=1145500 #constraints=37934
1483.09/1483.77	c nbDecision=1146000 #constraints=37944
1484.69/1485.39	c nbDecision=1146500 #constraints=37977
1485.39/1486.03	c nbDecision=1147000 #constraints=37988
1485.99/1486.62	c nbDecision=1147500 #constraints=37998
1487.59/1488.24	c nbDecision=1148000 #constraints=38031
1488.18/1488.88	c nbDecision=1148500 #constraints=38042
1488.79/1489.47	c nbDecision=1149000 #constraints=38052
1490.38/1491.09	c nbDecision=1149500 #constraints=38085
1491.08/1491.73	c nbDecision=1150000 #constraints=38096
1491.68/1492.32	c nbDecision=1150500 #constraints=38106
1493.28/1493.95	c nbDecision=1151000 #constraints=38139
1493.88/1494.59	c nbDecision=1151500 #constraints=38150
1494.48/1495.17	c nbDecision=1152000 #constraints=38160
1496.08/1496.78	c nbDecision=1152500 #constraints=38193
1496.78/1497.42	c nbDecision=1153000 #constraints=38204
1497.38/1498.01	c nbDecision=1153500 #constraints=38214
1498.98/1499.62	c nbDecision=1154000 #constraints=38247
1499.58/1500.26	c nbDecision=1154500 #constraints=38258
1500.18/1500.84	c nbDecision=1155000 #constraints=38268
1501.77/1502.45	c nbDecision=1155500 #constraints=38301
1502.37/1503.09	c nbDecision=1156000 #constraints=38312
1502.98/1503.68	c nbDecision=1156500 #constraints=38322
1504.68/1505.30	c nbDecision=1157000 #constraints=38355
1505.28/1505.95	c nbDecision=1157500 #constraints=38366
1505.88/1506.54	c nbDecision=1158000 #constraints=38376
1507.08/1507.72	c nbDecision=1158500 #constraints=38399
1507.68/1508.34	c nbDecision=1159000 #constraints=38410
1508.28/1508.95	c nbDecision=1159500 #constraints=38420
1509.48/1510.17	c nbDecision=1160000 #constraints=38443
1510.08/1510.77	c nbDecision=1160500 #constraints=38454
1510.68/1511.31	c nbDecision=1161000 #constraints=38464
1511.98/1512.63	c nbDecision=1161500 #constraints=38488
1512.58/1513.21	c nbDecision=1162000 #constraints=38498
1513.68/1514.36	c nbDecision=1162500 #constraints=38521
1514.38/1515.00	c nbDecision=1163000 #constraints=38532
1514.98/1515.60	c nbDecision=1163500 #constraints=38542
1516.18/1516.85	c nbDecision=1164000 #constraints=38566
1516.68/1517.38	c nbDecision=1164500 #constraints=38576
1517.28/1517.96	c nbDecision=1165000 #constraints=38586
1518.57/1519.25	c nbDecision=1165500 #constraints=38610
1519.17/1519.81	c nbDecision=1166000 #constraints=38620
1520.37/1521.01	c nbDecision=1166500 #constraints=38644
1520.97/1521.62	c nbDecision=1167000 #constraints=38654
1521.57/1522.25	c nbDecision=1167500 #constraints=38665
1522.77/1523.44	c nbDecision=1168000 #constraints=38688
1523.37/1524.03	c nbDecision=1168500 #constraints=38699
1523.97/1524.62	c nbDecision=1169000 #constraints=38709
1525.17/1525.86	c nbDecision=1169500 #constraints=38732
1525.77/1526.48	c nbDecision=1170000 #constraints=38743
1526.37/1527.04	c nbDecision=1170500 #constraints=38754
1527.67/1528.30	c nbDecision=1171000 #constraints=38777
1528.17/1528.90	c nbDecision=1171500 #constraints=38787
1529.37/1530.08	c nbDecision=1172000 #constraints=38810
1529.97/1530.67	c nbDecision=1172500 #constraints=38821
1530.57/1531.29	c nbDecision=1173000 #constraints=38831
1531.87/1532.57	c nbDecision=1173500 #constraints=38855
1532.47/1533.13	c nbDecision=1174000 #constraints=38865
1532.97/1533.64	c nbDecision=1174500 #constraints=38875
1534.27/1534.96	c nbDecision=1175000 #constraints=38899
1534.87/1535.54	c nbDecision=1175500 #constraints=38909
1535.46/1536.17	c nbDecision=1176000 #constraints=38920
1536.07/1536.74	c nbDecision=1176500 #constraints=38931
1536.66/1537.39	c nbDecision=1177000 #constraints=38942
1537.36/1538.07	c nbDecision=1177500 #constraints=38953
1537.96/1538.68	c nbDecision=1178000 #constraints=38964
1538.56/1539.28	c nbDecision=1178500 #constraints=38975
1539.27/1539.92	c nbDecision=1179000 #constraints=38987
1539.86/1540.53	c nbDecision=1179500 #constraints=38997
1540.56/1541.24	c nbDecision=1180000 #constraints=39009
1541.16/1541.86	c nbDecision=1180500 #constraints=39020
1541.76/1542.46	c nbDecision=1181000 #constraints=39031
1542.36/1543.06	c nbDecision=1181500 #constraints=39042
1543.07/1543.71	c nbDecision=1182000 #constraints=39053
1543.67/1544.37	c nbDecision=1182500 #constraints=39064
1544.27/1544.99	c nbDecision=1183000 #constraints=39075
1544.87/1545.58	c nbDecision=1183500 #constraints=39086
1545.57/1546.22	c nbDecision=1184000 #constraints=39097
1546.17/1546.87	c nbDecision=1184500 #constraints=39108
1546.87/1547.52	c nbDecision=1185000 #constraints=39119
1547.47/1548.13	c nbDecision=1185500 #constraints=39130
1548.07/1548.73	c nbDecision=1186000 #constraints=39142
1548.67/1549.39	c nbDecision=1186500 #constraints=39152
1549.37/1550.03	c nbDecision=1187000 #constraints=39163
1550.06/1550.72	c nbDecision=1187500 #constraints=39175
1550.66/1551.32	c nbDecision=1188000 #constraints=39186
1551.16/1551.84	c nbDecision=1188500 #constraints=39196
1551.86/1552.58	c nbDecision=1189000 #constraints=39208
1552.46/1553.18	c nbDecision=1189500 #constraints=39218
1553.16/1553.85	c nbDecision=1190000 #constraints=39230
1553.76/1554.45	c nbDecision=1190500 #constraints=39241
1554.26/1554.99	c nbDecision=1191000 #constraints=39251
1555.06/1555.72	c nbDecision=1191500 #constraints=39263
1555.66/1556.35	c nbDecision=1192000 #constraints=39274
1557.46/1558.14	c nbDecision=1192500 #constraints=39307
1561.56/1562.24	c nbDecision=1193000 #constraints=39385
1565.67/1566.32	c nbDecision=1193500 #constraints=39462
1567.46/1568.13	c nbDecision=1194000 #constraints=39489
1568.56/1569.23	c nbDecision=1194500 #constraints=39503
1570.46/1571.14	c nbDecision=1195000 #constraints=39537
1571.06/1571.70	c nbDecision=1195500 #constraints=39547
1571.56/1572.23	c nbDecision=1196000 #constraints=39556
1573.36/1574.06	c nbDecision=1196500 #constraints=39591
1573.96/1574.61	c nbDecision=1197000 #constraints=39601
1574.46/1575.14	c nbDecision=1197500 #constraints=39610
1576.26/1576.96	c nbDecision=1198000 #constraints=39645
1576.86/1577.52	c nbDecision=1198500 #constraints=39655
1577.36/1578.04	c nbDecision=1199000 #constraints=39664
1579.16/1579.87	c nbDecision=1199500 #constraints=39699
1579.76/1580.42	c nbDecision=1200000 #constraints=39709
1580.26/1580.95	c nbDecision=1200500 #constraints=39718
1582.06/1582.77	c nbDecision=1201000 #constraints=39753
1582.66/1583.32	c nbDecision=1201500 #constraints=39763
1583.16/1583.85	c nbDecision=1202000 #constraints=39772
1584.96/1585.69	c nbDecision=1202500 #constraints=39807
1585.56/1586.25	c nbDecision=1203000 #constraints=39817
1586.05/1586.79	c nbDecision=1203500 #constraints=39826
1587.95/1588.62	c nbDecision=1204000 #constraints=39861
1588.45/1589.18	c nbDecision=1204500 #constraints=39871
1589.05/1589.72	c nbDecision=1205000 #constraints=39880
1590.85/1591.56	c nbDecision=1205500 #constraints=39915
1591.45/1592.12	c nbDecision=1206000 #constraints=39925
1591.95/1592.65	c nbDecision=1206500 #constraints=39934
1593.75/1594.49	c nbDecision=1207000 #constraints=39969
1594.35/1595.04	c nbDecision=1207500 #constraints=39979
1594.85/1595.57	c nbDecision=1208000 #constraints=39988
1596.65/1597.39	c nbDecision=1208500 #constraints=40023
1597.25/1597.95	c nbDecision=1209000 #constraints=40033
1597.75/1598.48	c nbDecision=1209500 #constraints=40042
1599.65/1600.31	c nbDecision=1210000 #constraints=40077
1600.15/1600.87	c nbDecision=1210500 #constraints=40087
1600.75/1601.40	c nbDecision=1211000 #constraints=40096
1602.55/1603.22	c nbDecision=1211500 #constraints=40131
1603.05/1603.78	c nbDecision=1212000 #constraints=40141
1603.65/1604.32	c nbDecision=1212500 #constraints=40150
1605.45/1606.15	c nbDecision=1213000 #constraints=40185
1606.04/1606.72	c nbDecision=1213500 #constraints=40195
1606.54/1607.25	c nbDecision=1214000 #constraints=40204
1607.94/1608.60	c nbDecision=1214500 #constraints=40228
1608.44/1609.18	c nbDecision=1215000 #constraints=40238
1609.65/1610.31	c nbDecision=1215500 #constraints=40259
1610.34/1611.05	c nbDecision=1216000 #constraints=40272
1610.94/1611.65	c nbDecision=1216500 #constraints=40282
1612.25/1612.93	c nbDecision=1217000 #constraints=40306
1612.75/1613.46	c nbDecision=1217500 #constraints=40316
1613.45/1614.13	c nbDecision=1218000 #constraints=40327
1614.75/1615.41	c nbDecision=1218500 #constraints=40350
1615.35/1616.03	c nbDecision=1219000 #constraints=40361
1615.75/1616.49	c nbDecision=1219500 #constraints=40370
1617.15/1617.84	c nbDecision=1220000 #constraints=40394
1617.75/1618.49	c nbDecision=1220500 #constraints=40405
1618.95/1619.70	c nbDecision=1221000 #constraints=40428
1619.55/1620.29	c nbDecision=1221500 #constraints=40439
1620.24/1620.92	c nbDecision=1222000 #constraints=40449
1621.44/1622.17	c nbDecision=1222500 #constraints=40472
1622.04/1622.79	c nbDecision=1223000 #constraints=40483
1622.64/1623.31	c nbDecision=1223500 #constraints=40493
1623.95/1624.67	c nbDecision=1224000 #constraints=40517
1624.54/1625.27	c nbDecision=1224500 #constraints=40527
1625.74/1626.47	c nbDecision=1225000 #constraints=40550
1626.44/1627.10	c nbDecision=1225500 #constraints=40561
1627.04/1627.73	c nbDecision=1226000 #constraints=40571
1628.35/1629.04	c nbDecision=1226500 #constraints=40595
1628.84/1629.59	c nbDecision=1227000 #constraints=40605
1629.45/1630.16	c nbDecision=1227500 #constraints=40615
1630.84/1631.50	c nbDecision=1228000 #constraints=40639
1631.34/1632.10	c nbDecision=1228500 #constraints=40649
1632.64/1633.35	c nbDecision=1229000 #constraints=40673
1633.24/1633.94	c nbDecision=1229500 #constraints=40683
1633.94/1634.61	c nbDecision=1230000 #constraints=40694
1635.14/1635.84	c nbDecision=1230500 #constraints=40717
1635.74/1636.45	c nbDecision=1231000 #constraints=40728
1636.34/1637.01	c nbDecision=1231500 #constraints=40738
1637.04/1637.73	c nbDecision=1232000 #constraints=40749
1637.64/1638.37	c nbDecision=1232500 #constraints=40760
1638.24/1639.00	c nbDecision=1233000 #constraints=40771
1638.83/1639.58	c nbDecision=1233500 #constraints=40782
1639.53/1640.25	c nbDecision=1234000 #constraints=40793
1640.23/1640.94	c nbDecision=1234500 #constraints=40804
1640.83/1641.57	c nbDecision=1235000 #constraints=40815
1641.54/1642.25	c nbDecision=1235500 #constraints=40827
1642.13/1642.84	c nbDecision=1236000 #constraints=40838
1642.74/1643.47	c nbDecision=1236500 #constraints=40848
1643.53/1644.20	c nbDecision=1237000 #constraints=40860
1644.13/1644.84	c nbDecision=1237500 #constraints=40871
1644.73/1645.45	c nbDecision=1238000 #constraints=40882
1645.33/1646.08	c nbDecision=1238500 #constraints=40893
1646.04/1646.75	c nbDecision=1239000 #constraints=40904
1646.73/1647.43	c nbDecision=1239500 #constraints=40915
1647.33/1648.06	c nbDecision=1240000 #constraints=40926
1647.93/1648.66	c nbDecision=1240500 #constraints=40937
1648.63/1649.33	c nbDecision=1241000 #constraints=40948
1649.24/1649.99	c nbDecision=1241500 #constraints=40959
1649.93/1650.65	c nbDecision=1242000 #constraints=40970
1650.53/1651.28	c nbDecision=1242500 #constraints=40981
1651.23/1651.90	c nbDecision=1243000 #constraints=40993
1651.93/1652.61	c nbDecision=1243500 #constraints=41004
1652.53/1653.23	c nbDecision=1244000 #constraints=41014
1653.23/1653.93	c nbDecision=1244500 #constraints=41026
1653.83/1654.55	c nbDecision=1245000 #constraints=41037
1654.33/1655.07	c nbDecision=1245500 #constraints=41047
1655.13/1655.83	c nbDecision=1246000 #constraints=41059
1655.73/1656.48	c nbDecision=1246500 #constraints=41070
1656.43/1657.12	c nbDecision=1247000 #constraints=41081
1657.03/1657.73	c nbDecision=1247500 #constraints=41092
1657.63/1658.32	c nbDecision=1248000 #constraints=41103
1661.23/1661.95	c nbDecision=1248500 #constraints=41167
1665.83/1666.57	c nbDecision=1249000 #constraints=41252
1668.83/1669.52	c nbDecision=1249500 #constraints=41304
1670.02/1670.78	c nbDecision=1250000 #constraints=41318
1672.22/1672.94	c nbDecision=1250500 #constraints=41355
1672.82/1673.58	c nbDecision=1251000 #constraints=41365
1673.53/1674.21	c nbDecision=1251500 #constraints=41375
1675.22/1675.92	c nbDecision=1252000 #constraints=41409
1675.82/1676.56	c nbDecision=1252500 #constraints=41419
1676.42/1677.18	c nbDecision=1253000 #constraints=41429
1678.12/1678.89	c nbDecision=1253500 #constraints=41463
1678.82/1679.53	c nbDecision=1254000 #constraints=41473
1679.42/1680.16	c nbDecision=1254500 #constraints=41483
1681.12/1681.87	c nbDecision=1255000 #constraints=41517
1681.82/1682.51	c nbDecision=1255500 #constraints=41527
1682.42/1683.13	c nbDecision=1256000 #constraints=41537
1684.12/1684.85	c nbDecision=1256500 #constraints=41571
1684.82/1685.50	c nbDecision=1257000 #constraints=41581
1685.42/1686.12	c nbDecision=1257500 #constraints=41591
1687.11/1687.85	c nbDecision=1258000 #constraints=41625
1687.72/1688.50	c nbDecision=1258500 #constraints=41635
1688.42/1689.13	c nbDecision=1259000 #constraints=41645
1690.11/1690.86	c nbDecision=1259500 #constraints=41679
1690.81/1691.50	c nbDecision=1260000 #constraints=41689
1691.41/1692.13	c nbDecision=1260500 #constraints=41699
1693.12/1693.86	c nbDecision=1261000 #constraints=41733
1693.82/1694.51	c nbDecision=1261500 #constraints=41743
1694.43/1695.13	c nbDecision=1262000 #constraints=41753
1696.12/1696.85	c nbDecision=1262500 #constraints=41787
1696.72/1697.49	c nbDecision=1263000 #constraints=41797
1697.42/1698.11	c nbDecision=1263500 #constraints=41807
1699.12/1699.82	c nbDecision=1264000 #constraints=41841
1699.72/1700.46	c nbDecision=1264500 #constraints=41851
1700.32/1701.08	c nbDecision=1265000 #constraints=41861
1702.02/1702.79	c nbDecision=1265500 #constraints=41895
1702.71/1703.43	c nbDecision=1266000 #constraints=41905
1703.31/1704.06	c nbDecision=1266500 #constraints=41915
1705.01/1705.78	c nbDecision=1267000 #constraints=41949
1705.71/1706.43	c nbDecision=1267500 #constraints=41959
1706.31/1707.06	c nbDecision=1268000 #constraints=41969
1708.01/1708.79	c nbDecision=1268500 #constraints=42003
1708.71/1709.44	c nbDecision=1269000 #constraints=42013
1709.31/1710.07	c nbDecision=1269500 #constraints=42023
1710.61/1711.33	c nbDecision=1270000 #constraints=42046
1711.21/1711.90	c nbDecision=1270500 #constraints=42056
1711.81/1712.59	c nbDecision=1271000 #constraints=42067
1713.11/1713.89	c nbDecision=1271500 #constraints=42090
1713.81/1714.52	c nbDecision=1272000 #constraints=42101
1714.31/1715.05	c nbDecision=1272500 #constraints=42111
1715.71/1716.40	c nbDecision=1273000 #constraints=42134
1716.31/1717.05	c nbDecision=1273500 #constraints=42145
1717.51/1718.28	c nbDecision=1274000 #constraints=42168
1718.20/1718.92	c nbDecision=1274500 #constraints=42179
1718.80/1719.55	c nbDecision=1275000 #constraints=42189
1720.11/1720.83	c nbDecision=1275500 #constraints=42212
1720.72/1721.45	c nbDecision=1276000 #constraints=42223
1721.31/1722.02	c nbDecision=1276500 #constraints=42233
1722.71/1723.40	c nbDecision=1277000 #constraints=42257
1723.31/1724.00	c nbDecision=1277500 #constraints=42267
1724.51/1725.21	c nbDecision=1278000 #constraints=42290
1725.11/1725.90	c nbDecision=1278500 #constraints=42301
1725.81/1726.53	c nbDecision=1279000 #constraints=42311
1727.11/1727.85	c nbDecision=1279500 #constraints=42335
1727.71/1728.41	c nbDecision=1280000 #constraints=42345
1728.31/1729.05	c nbDecision=1280500 #constraints=42356
1729.61/1730.39	c nbDecision=1281000 #constraints=42379
1730.31/1731.04	c nbDecision=1281500 #constraints=42390
1731.51/1732.25	c nbDecision=1282000 #constraints=42413
1732.20/1732.90	c nbDecision=1282500 #constraints=42423
1732.81/1733.57	c nbDecision=1283000 #constraints=42434
1734.10/1734.82	c nbDecision=1283500 #constraints=42457
1734.70/1735.44	c nbDecision=1284000 #constraints=42468
1735.30/1736.05	c nbDecision=1284500 #constraints=42478
1736.60/1737.35	c nbDecision=1285000 #constraints=42501
1737.20/1737.99	c nbDecision=1285500 #constraints=42512
1738.10/1738.85	c nbDecision=1286000 #constraints=42527
1739.10/1739.89	c nbDecision=1286500 #constraints=42546
1739.80/1740.52	c nbDecision=1287000 #constraints=42556
1740.40/1741.18	c nbDecision=1287500 #constraints=42567
1741.00/1741.79	c nbDecision=1288000 #constraints=42578
1741.70/1742.43	c nbDecision=1288500 #constraints=42589
1742.40/1743.16	c nbDecision=1289000 #constraints=42600
1743.10/1743.81	c nbDecision=1289500 #constraints=42611
1743.70/1744.46	c nbDecision=1290000 #constraints=42622
1744.30/1745.07	c nbDecision=1290500 #constraints=42633
1745.00/1745.76	c nbDecision=1291000 #constraints=42644
1745.80/1746.52	c nbDecision=1291500 #constraints=42656
1746.40/1747.13	c nbDecision=1292000 #constraints=42666
1747.10/1747.83	c nbDecision=1292500 #constraints=42678
1747.69/1748.44	c nbDecision=1293000 #constraints=42689
1748.30/1749.09	c nbDecision=1293500 #constraints=42699
1749.09/1749.84	c nbDecision=1294000 #constraints=42711
1749.69/1750.49	c nbDecision=1294500 #constraints=42722
1750.40/1751.12	c nbDecision=1295000 #constraints=42733
1750.99/1751.77	c nbDecision=1295500 #constraints=42744
1751.69/1752.45	c nbDecision=1296000 #constraints=42755
1752.39/1753.15	c nbDecision=1296500 #constraints=42766
1753.09/1753.80	c nbDecision=1297000 #constraints=42777
1753.70/1754.41	c nbDecision=1297500 #constraints=42788
1754.29/1755.09	c nbDecision=1298000 #constraints=42799
1754.99/1755.77	c nbDecision=1298500 #constraints=42810
1755.69/1756.44	c nbDecision=1299000 #constraints=42821
1756.29/1757.07	c nbDecision=1299500 #constraints=42832
1756.99/1757.75	c nbDecision=1300000 #constraints=42844
1757.69/1758.42	c nbDecision=1300500 #constraints=42855
1758.29/1759.06	c nbDecision=1301000 #constraints=42865
1758.99/1759.77	c nbDecision=1301500 #constraints=42877
1759.69/1760.41	c nbDecision=1302000 #constraints=42888
1760.19/1760.94	c nbDecision=1302500 #constraints=42898
1760.99/1761.72	c nbDecision=1303000 #constraints=42910
1761.60/1762.39	c nbDecision=1303500 #constraints=42921
1763.70/1764.43	c nbDecision=1304000 #constraints=42958
1768.00/1768.70	c nbDecision=1304500 #constraints=43033
1772.49/1773.22	c nbDecision=1305000 #constraints=43111
1774.09/1774.86	c nbDecision=1305500 #constraints=43135
1775.29/1776.03	c nbDecision=1306000 #constraints=43149
1777.29/1778.09	c nbDecision=1306500 #constraints=43184
1777.89/1778.68	c nbDecision=1307000 #constraints=43194
1778.48/1779.20	c nbDecision=1307500 #constraints=43203
1780.38/1781.14	c nbDecision=1308000 #constraints=43238
1780.98/1781.73	c nbDecision=1308500 #constraints=43248
1781.48/1782.25	c nbDecision=1309000 #constraints=43257
1783.39/1784.19	c nbDecision=1309500 #constraints=43292
1783.99/1784.79	c nbDecision=1310000 #constraints=43302
1784.59/1785.31	c nbDecision=1310500 #constraints=43311
1786.49/1787.27	c nbDecision=1311000 #constraints=43346
1787.09/1787.87	c nbDecision=1311500 #constraints=43356
1787.59/1788.39	c nbDecision=1312000 #constraints=43365
1789.58/1790.35	c nbDecision=1312500 #constraints=43400
1790.18/1790.95	c nbDecision=1313000 #constraints=43410
1790.68/1791.47	c nbDecision=1313500 #constraints=43419
1792.68/1793.43	c nbDecision=1314000 #constraints=43454
1793.28/1794.03	c nbDecision=1314500 #constraints=43464
1793.78/1794.55	c nbDecision=1315000 #constraints=43473
1795.68/1796.49	c nbDecision=1315500 #constraints=43508
1796.28/1797.09	c nbDecision=1316000 #constraints=43518
1796.88/1797.61	c nbDecision=1316500 #constraints=43527
1798.78/1799.55	c nbDecision=1317000 #constraints=43562
1799.38/1800.14	c nbDecision=1317500 #constraints=43572
1799.88/1800.66	c nbDecision=1318000 #constraints=43581
1800.08/1800.80	Received signal 15
1800.08/1800.83	
1800.08/1800.83	s UNKNOWN
1800.08/1800.83	
1800.08/1800.83	c user time= 1799.52 s
1800.08/1800.83	c system time= 0.597909 s
1800.08/1800.83	c wall clock time=1800.83

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/node60/watcher-362944-1176849581 -o ROOT/results/node60/solver-362944-1176849581 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362944-1176849581/instance-362944-1176849581.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.99 0.99 0.99 3/64 29691
/proc/meminfo: memFree=1859352/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=1468 CPUtime=0
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 177 0 0 0 0 0 0 0 19 0 1 0 132868064 1503232 159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 367 159 126 317 0 46 0

[startup+0.06324 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 29691
/proc/meminfo: memFree=1859352/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=2604 CPUtime=0.06
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 468 0 0 0 6 0 0 0 19 0 1 0 132868064 2666496 417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 651 417 131 317 0 330 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2604

[startup+0.101242 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 29691
/proc/meminfo: memFree=1859352/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=3548 CPUtime=0.09
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 695 0 0 0 9 0 0 0 19 0 1 0 132868064 3633152 644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 887 644 131 317 0 566 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3548

[startup+0.301262 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 29691
/proc/meminfo: memFree=1859352/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=7312 CPUtime=0.29
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 1609 0 0 0 29 0 0 0 20 0 1 0 132868064 7487488 1558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 1828 1558 131 317 0 1507 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7312

[startup+0.701302 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 29691
/proc/meminfo: memFree=1859352/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=11436 CPUtime=0.69
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 2628 0 0 0 69 0 0 0 24 0 1 0 132868064 11710464 2577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 2859 2577 138 317 0 2538 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11436

[startup+1.50138 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1849488/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=11568 CPUtime=1.48
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 2672 0 0 0 148 0 0 0 25 0 1 0 132868064 11845632 2621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 2892 2621 139 317 0 2571 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11568

[startup+3.10154 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1849104/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=11832 CPUtime=3.09
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 2745 0 0 0 308 1 0 0 25 0 1 0 132868064 12115968 2694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 2958 2694 139 317 0 2637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11832

[startup+6.30185 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1848408/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=12480 CPUtime=6.29
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 2889 0 0 0 628 1 0 0 25 0 1 0 132868064 12779520 2838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 3120 2838 139 317 0 2799 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12480

[startup+12.7015 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1847256/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=13652 CPUtime=12.68
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 3185 0 0 0 1267 1 0 0 25 0 1 0 132868064 13979648 3134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593453 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 3413 3134 139 317 0 3092 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13652

[startup+25.5017 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1844824/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=15932 CPUtime=25.48
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 3764 0 0 0 2546 2 0 0 25 0 1 0 132868064 16314368 3713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 3983 3713 139 317 0 3662 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15932

[startup+51.1013 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1840344/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=20452 CPUtime=51.08
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 4896 0 0 0 5105 3 0 0 25 0 1 0 132868064 20942848 4845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 5113 4845 139 317 0 4792 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20452

[startup+102.305 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1831448/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=29372 CPUtime=102.27
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 7096 0 0 0 10221 6 0 0 25 0 1 0 132868064 30076928 7045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714124 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 7343 7045 139 317 0 7022 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29372

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1821144/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=40304 CPUtime=162.23
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 9673 0 0 0 16215 8 0 0 25 0 1 0 132868064 41271296 9622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 10076 9622 139 317 0 9755 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 40304

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1812632/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=48284 CPUtime=222.21
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 11825 0 0 0 22209 12 0 0 25 0 1 0 132868064 49442816 11716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 12071 11716 139 317 0 11750 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 48284

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1802072/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=61260 CPUtime=282.19
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 14458 0 0 0 28205 14 0 0 25 0 1 0 132868064 62730240 14349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 15315 14349 139 317 0 14994 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 61260

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1794200/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=68288 CPUtime=342.17
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 16399 0 0 0 34200 17 0 0 25 0 1 0 132868064 69926912 16290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 17072 16290 139 317 0 16751 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 68288

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1786712/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=75064 CPUtime=402.15
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 18268 0 0 0 40196 19 0 0 25 0 1 0 132868064 76865536 18159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715680 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 18766 18159 139 317 0 18445 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 75064

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1779480/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=81692 CPUtime=462.13
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 20055 0 0 0 46192 21 0 0 25 0 1 0 132868064 83652608 19946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 20423 19946 139 317 0 20102 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 81692

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1771352/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=95736 CPUtime=522.1
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 23236 0 0 0 52187 23 0 0 25 0 1 0 132868064 98033664 21990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 23934 21990 139 317 0 23613 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 95736

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1763928/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=105344 CPUtime=582.08
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 25606 0 0 0 58183 25 0 0 25 0 1 0 132868064 107872256 23799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 26336 23799 139 317 0 26015 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 105344

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1757208/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=111072 CPUtime=642.07
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 27285 0 0 0 64180 27 0 0 25 0 1 0 132868064 113737728 25478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 27768 25478 139 317 0 27447 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 111072


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1738072/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=127732 CPUtime=822.01
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 32061 0 0 0 82169 32 0 0 25 0 1 0 132868064 130797568 30254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 31933 30254 139 317 0 31612 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 127732

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1732056/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=132952 CPUtime=881.99
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 33562 0 0 0 88165 34 0 0 25 0 1 0 132868064 136142848 31755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 33238 31755 139 317 0 32917 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 132952

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1726104/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=138024 CPUtime=941.97
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 35052 0 0 0 94161 36 0 0 25 0 1 0 132868064 141336576 33245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 34506 33245 139 317 0 34185 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 138024

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1720536/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=142960 CPUtime=1001.94
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 36442 0 0 0 100158 36 0 0 25 0 1 0 132868064 146391040 34635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 35740 34635 139 317 0 35419 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 142960

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1714648/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=147916 CPUtime=1061.92
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 37903 0 0 0 106154 38 0 0 25 0 1 0 132868064 151465984 36096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 36979 36096 139 317 0 36658 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 147916

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1709208/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=152736 CPUtime=1121.9
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 39260 0 0 0 112151 39 0 0 25 0 1 0 132868064 156401664 37453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134603933 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 38184 37453 139 317 0 37863 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 152736

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1703960/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=157408 CPUtime=1181.89
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 40621 0 0 0 118148 41 0 0 25 0 1 0 132868064 161185792 38814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 39352 38814 139 317 0 39031 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 157408

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29692
/proc/meminfo: memFree=1696984/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=177880 CPUtime=1241.87
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 45553 0 0 0 124144 43 0 0 25 0 1 0 132868064 182149120 40432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 44470 40432 139 317 0 44149 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 177880

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/71 29814
/proc/meminfo: memFree=1690328/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=189488 CPUtime=1301.79
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 48458 0 0 0 130133 46 0 0 25 0 1 0 132868064 194035712 41777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 47372 41777 139 317 0 47051 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 189488

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29890
/proc/meminfo: memFree=1687000/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=193384 CPUtime=1361.73
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 49582 0 0 0 136125 48 0 0 25 0 1 0 132868064 198025216 42901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 48346 42901 139 317 0 48025 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 193384

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29890
/proc/meminfo: memFree=1681944/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=197988 CPUtime=1421.71
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 50899 0 0 0 142122 49 0 0 25 0 1 0 132868064 202739712 44153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 49497 44153 139 317 0 49176 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 197988

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29890
/proc/meminfo: memFree=1677144/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=202156 CPUtime=1481.69
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 52103 0 0 0 148118 51 0 0 25 0 1 0 132868064 207007744 45357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 50539 45357 139 317 0 50218 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 202156

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29890
/proc/meminfo: memFree=1672088/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=206464 CPUtime=1541.66
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 53356 0 0 0 154114 52 0 0 25 0 1 0 132868064 211419136 46610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 51616 46610 139 317 0 51295 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 206464

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29890
/proc/meminfo: memFree=1666968/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=210644 CPUtime=1601.65
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 54626 0 0 0 160111 54 0 0 25 0 1 0 132868064 215699456 47880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 52661 47880 139 317 0 52340 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 210644

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29890
/proc/meminfo: memFree=1662360/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=214668 CPUtime=1661.63
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 55816 0 0 0 166108 55 0 0 25 0 1 0 132868064 219820032 49070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 53667 49070 139 317 0 53346 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 214668

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29890
/proc/meminfo: memFree=1657624/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=218724 CPUtime=1721.61
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 57008 0 0 0 172104 57 0 0 25 0 1 0 132868064 223973376 50262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 54681 50262 139 317 0 54360 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 218724

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29890
/proc/meminfo: memFree=1652888/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=222760 CPUtime=1781.58
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 58192 0 0 0 178100 58 0 0 25 0 1 0 132868064 228106240 51413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 55690 51413 139 317 0 55369 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 222760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29890
/proc/meminfo: memFree=1651608/2055920 swapFree=4179544/4192956
[pid=29691] ppid=29689 vsize=224072 CPUtime=1800.08
/proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 58506 0 0 0 179949 59 0 0 25 0 1 0 132868064 229449728 51727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29691/statm: 56018 51727 139 317 0 55697 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 224072

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

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

Child status: 0
Real time (s): 1800.88
CPU time (s): 1800.16
CPU user time (s): 1799.53
CPU system time (s): 0.630904
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 224072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.630904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58522
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= 7
involuntary context switches= 4624

runsolver used 1.41278 second user time and 3.73543 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Tue Apr 17 22:39:41 UTC 2007

IDJOB= 362944
IDBENCH= 1694
IDSOLVER= 172
FILE ID= node60/362944-1176849581

PBS_JOBID= 4590221

Free space on /tmp= 66489 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-degen2.opb
COMMAND LINE= oree /tmp/evaluation/362944-1176849581/instance-362944-1176849581.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-362944-1176849581 -o ROOT/results/node60/solver-362944-1176849581 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362944-1176849581/instance-362944-1176849581.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  ef301ecece8b2033bfa1fe9b39eee48a

RANDOM SEED= 882816272

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1859824 kB
Buffers:         20520 kB
Cached:         131312 kB
SwapCached:       7764 kB
Active:          87216 kB
Inactive:        78384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859824 kB
SwapTotal:     4192956 kB
SwapFree:      4179544 kB
Dirty:            2636 kB
Writeback:           0 kB
Mapped:          15404 kB
Slab:            16524 kB
Committed_AS:  1497544 kB
PageTables:       1464 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= 66489 MiB

End job on node60 on Tue Apr 17 23:09:44 UTC 2007