Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.18 | 1800.82 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb |
MD5SUM | 908b859aa6cb5be1c335ba1e4149146b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 87587 |
Best CPU time to get the best result obtained on this benchmark | 1802.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 240 |
Optimality of the best value was proved | NO |
Number of variables | 17840 |
Total number of constraints | 656 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 656 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 10640 |
Biggest coefficient in the objective function | 3638 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 534104 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261895 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 534104 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.09/0.16 c ...done 0.09/0.16 c #vars=17840 #constraints=897 hasObjective=yes 0.29/0.30 c res. mode=mod 0.29/0.30 c VSIDS like heuristics 0.29/0.30 c complete search running 0.29/0.38 c restart after 401 decisions 0.29/0.39 c nbDecision=500 #constraints=897 0.39/0.45 c restart after 801 decisions 0.39/0.48 c nbDecision=1000 #constraints=897 0.49/0.57 c nbDecision=1500 #constraints=897 0.49/0.59 c restart after 1601 decisions 0.59/0.66 c nbDecision=2000 #constraints=897 0.69/0.74 c nbDecision=2500 #constraints=897 0.79/0.83 c nbDecision=3000 #constraints=897 0.79/0.86 c restart after 3201 decisions 0.89/0.92 c nbDecision=3500 #constraints=897 0.99/1.00 c nbDecision=4000 #constraints=897 0.99/1.09 c nbDecision=4500 #constraints=897 1.09/1.17 c nbDecision=5000 #constraints=897 1.19/1.25 c nbDecision=5500 #constraints=897 1.29/1.32 c nbDecision=6000 #constraints=897 1.29/1.38 c restart after 6401 decisions 1.39/1.40 c nbDecision=6500 #constraints=897 1.39/1.49 c nbDecision=7000 #constraints=897 1.49/1.57 c nbDecision=7500 #constraints=897 1.59/1.65 c nbDecision=8000 #constraints=897 1.69/1.73 c nbDecision=8500 #constraints=897 1.79/1.81 c nbDecision=9000 #constraints=897 1.79/1.88 c nbDecision=9500 #constraints=897 1.89/1.95 c nbDecision=10000 #constraints=897 1.99/2.02 c nbDecision=10500 #constraints=897 1.99/2.09 c nbDecision=11000 #constraints=897 2.09/2.15 c nbDecision=11500 #constraints=897 2.19/2.22 c nbDecision=12000 #constraints=897 2.19/2.28 c nbDecision=12500 #constraints=897 2.29/2.31 c restart after 12801 decisions 2.29/2.35 c nbDecision=13000 #constraints=897 2.39/2.44 c nbDecision=13500 #constraints=897 2.49/2.52 c nbDecision=14000 #constraints=897 2.59/2.60 c nbDecision=14500 #constraints=897 2.59/2.68 c nbDecision=15000 #constraints=897 2.69/2.76 c nbDecision=15500 #constraints=897 2.79/2.84 c nbDecision=16000 #constraints=897 2.89/2.91 c nbDecision=16500 #constraints=897 2.89/2.98 c nbDecision=17000 #constraints=897 2.99/3.05 c nbDecision=17500 #constraints=897 3.09/3.11 c nbDecision=18000 #constraints=897 3.09/3.17 c nbDecision=18500 #constraints=897 3.19/3.23 c nbDecision=19000 #constraints=897 3.19/3.29 c nbDecision=19500 #constraints=897 3.29/3.35 c nbDecision=20000 #constraints=897 3.39/3.47 c nbDecision=20500 #constraints=908 3.59/3.62 c nbDecision=21000 #constraints=933 3.69/3.71 c nbDecision=21500 #constraints=933 3.69/3.79 c nbDecision=22000 #constraints=933 3.79/3.87 c nbDecision=22500 #constraints=933 3.89/3.94 c nbDecision=23000 #constraints=933 3.99/4.01 c nbDecision=23500 #constraints=933 3.99/4.08 c nbDecision=24000 #constraints=933 4.09/4.15 c nbDecision=24500 #constraints=933 4.19/4.22 c nbDecision=25000 #constraints=933 4.19/4.28 c nbDecision=25500 #constraints=933 4.19/4.30 c restart after 25601 decisions 4.29/4.37 c nbDecision=26000 #constraints=933 4.39/4.46 c nbDecision=26500 #constraints=933 4.49/4.54 c nbDecision=27000 #constraints=933 4.59/4.63 c nbDecision=27500 #constraints=933 4.69/4.70 c nbDecision=28000 #constraints=933 4.69/4.78 c nbDecision=28500 #constraints=933 4.79/4.86 c nbDecision=29000 #constraints=933 4.89/4.93 c nbDecision=29500 #constraints=933 4.89/5.00 c nbDecision=30000 #constraints=933 4.99/5.06 c nbDecision=30500 #constraints=933 5.09/5.13 c nbDecision=31000 #constraints=933 5.09/5.19 c nbDecision=31500 #constraints=933 5.19/5.25 c nbDecision=32000 #constraints=933 5.29/5.31 c nbDecision=32500 #constraints=933 5.29/5.38 c nbDecision=33000 #constraints=933 5.49/5.56 c nbDecision=33500 #constraints=976 5.58/5.65 c nbDecision=34000 #constraints=976 5.68/5.73 c nbDecision=34500 #constraints=976 5.78/5.82 c nbDecision=35000 #constraints=976 5.88/5.90 c nbDecision=35500 #constraints=976 5.88/5.98 c nbDecision=36000 #constraints=976 5.98/6.06 c nbDecision=36500 #constraints=976 6.08/6.13 c nbDecision=37000 #constraints=976 6.18/6.20 c nbDecision=37500 #constraints=976 6.18/6.27 c nbDecision=38000 #constraints=976 6.28/6.33 c nbDecision=38500 #constraints=976 6.38/6.40 c nbDecision=39000 #constraints=976 6.38/6.46 c nbDecision=39500 #constraints=976 6.49/6.52 c nbDecision=40000 #constraints=976 6.49/6.58 c nbDecision=40500 #constraints=976 6.59/6.69 c nbDecision=41000 #constraints=986 6.79/6.82 c nbDecision=41500 #constraints=1034 6.89/6.91 c nbDecision=42000 #constraints=1034 6.99/7.00 c nbDecision=42500 #constraints=1034 6.99/7.08 c nbDecision=43000 #constraints=1034 7.09/7.16 c nbDecision=43500 #constraints=1034 7.19/7.24 c nbDecision=44000 #constraints=1034 7.29/7.32 c nbDecision=44500 #constraints=1034 7.29/7.39 c nbDecision=45000 #constraints=1034 7.39/7.46 c nbDecision=45500 #constraints=1034 7.49/7.53 c nbDecision=46000 #constraints=1034 7.49/7.59 c nbDecision=46500 #constraints=1034 7.59/7.65 c nbDecision=47000 #constraints=1034 7.69/7.71 c nbDecision=47500 #constraints=1034 7.69/7.77 c nbDecision=48000 #constraints=1034 7.79/7.83 c nbDecision=48500 #constraints=1034 7.99/8.01 c nbDecision=49000 #constraints=1069 8.09/8.13 c nbDecision=49500 #constraints=1109 8.19/8.22 c nbDecision=50000 #constraints=1109 8.29/8.30 c nbDecision=50500 #constraints=1109 8.29/8.39 c nbDecision=51000 #constraints=1109 8.39/8.42 c restart after 51201 decisions 8.39/8.48 c nbDecision=51500 #constraints=1109 8.49/8.56 c nbDecision=52000 #constraints=1109 8.59/8.65 c nbDecision=52500 #constraints=1109 8.69/8.73 c nbDecision=53000 #constraints=1109 8.79/8.81 c nbDecision=53500 #constraints=1109 8.79/8.89 c nbDecision=54000 #constraints=1109 8.89/8.96 c nbDecision=54500 #constraints=1109 8.99/9.03 c nbDecision=55000 #constraints=1109 9.09/9.10 c nbDecision=55500 #constraints=1109 9.09/9.17 c nbDecision=56000 #constraints=1109 9.19/9.24 c nbDecision=56500 #constraints=1109 9.29/9.30 c nbDecision=57000 #constraints=1109 9.29/9.36 c nbDecision=57500 #constraints=1109 9.39/9.42 c nbDecision=58000 #constraints=1109 9.39/9.48 c nbDecision=58500 #constraints=1109 9.59/9.63 c nbDecision=59000 #constraints=1126 9.69/9.72 c nbDecision=59500 #constraints=1126 9.79/9.81 c nbDecision=60000 #constraints=1126 9.79/9.89 c nbDecision=60500 #constraints=1126 9.89/9.96 c nbDecision=61000 #constraints=1126 9.99/10.04 c nbDecision=61500 #constraints=1126 10.09/10.12 c nbDecision=62000 #constraints=1126 10.09/10.19 c nbDecision=62500 #constraints=1126 10.19/10.26 c nbDecision=63000 #constraints=1126 10.29/10.33 c nbDecision=63500 #constraints=1126 10.39/10.40 c nbDecision=64000 #constraints=1126 10.39/10.46 c nbDecision=64500 #constraints=1126 10.49/10.52 c nbDecision=65000 #constraints=1126 10.49/10.58 c nbDecision=65500 #constraints=1126 10.59/10.64 c nbDecision=66000 #constraints=1126 10.69/10.74 c nbDecision=66500 #constraints=1126 10.89/10.95 c nbDecision=67000 #constraints=1205 10.99/11.03 c nbDecision=67500 #constraints=1205 11.09/11.12 c nbDecision=68000 #constraints=1205 11.19/11.21 c nbDecision=68500 #constraints=1205 11.19/11.29 c nbDecision=69000 #constraints=1205 11.29/11.37 c nbDecision=69500 #constraints=1205 11.39/11.45 c nbDecision=70000 #constraints=1205 11.49/11.52 c nbDecision=70500 #constraints=1205 11.49/11.59 c nbDecision=71000 #constraints=1205 11.59/11.66 c nbDecision=71500 #constraints=1205 11.69/11.73 c nbDecision=72000 #constraints=1205 11.69/11.79 c nbDecision=72500 #constraints=1205 11.79/11.85 c nbDecision=73000 #constraints=1205 11.89/11.91 c nbDecision=73500 #constraints=1205 11.89/11.96 c nbDecision=74000 #constraints=1205 11.99/12.10 c nbDecision=74500 #constraints=1222 12.19/12.27 c nbDecision=75000 #constraints=1266 12.29/12.36 c nbDecision=75500 #constraints=1266 12.39/12.44 c nbDecision=76000 #constraints=1266 12.49/12.53 c nbDecision=76500 #constraints=1266 12.59/12.61 c nbDecision=77000 #constraints=1266 12.59/12.69 c nbDecision=77500 #constraints=1266 12.69/12.76 c nbDecision=78000 #constraints=1266 12.79/12.84 c nbDecision=78500 #constraints=1266 12.89/12.91 c nbDecision=79000 #constraints=1266 12.89/12.98 c nbDecision=79500 #constraints=1266 12.99/13.04 c nbDecision=80000 #constraints=1266 13.09/13.10 c nbDecision=80500 #constraints=1266 13.09/13.16 c nbDecision=81000 #constraints=1266 13.19/13.22 c nbDecision=81500 #constraints=1266 13.19/13.28 c nbDecision=82000 #constraints=1266 13.39/13.45 c nbDecision=82500 #constraints=1293 13.49/13.57 c nbDecision=83000 #constraints=1323 13.59/13.65 c nbDecision=83500 #constraints=1323 13.69/13.73 c nbDecision=84000 #constraints=1323 13.79/13.80 c nbDecision=84500 #constraints=1323 13.79/13.88 c nbDecision=85000 #constraints=1323 13.89/13.96 c nbDecision=85500 #constraints=1323 13.99/14.04 c nbDecision=86000 #constraints=1323 14.09/14.11 c nbDecision=86500 #constraints=1323 14.09/14.18 c nbDecision=87000 #constraints=1323 14.19/14.25 c nbDecision=87500 #constraints=1323 14.29/14.31 c nbDecision=88000 #constraints=1323 14.29/14.38 c nbDecision=88500 #constraints=1323 14.39/14.44 c nbDecision=89000 #constraints=1323 14.39/14.50 c nbDecision=89500 #constraints=1323 14.49/14.57 c nbDecision=90000 #constraints=1323 14.69/14.77 c nbDecision=90500 #constraints=1382 15.08/15.12 c nbDecision=91000 #constraints=1639 15.28/15.30 c nbDecision=91500 #constraints=1705 15.59/15.61 c nbDecision=92000 #constraints=1924 15.68/15.78 c nbDecision=92500 #constraints=1986 15.78/15.85 c nbDecision=93000 #constraints=1986 15.88/15.92 c nbDecision=93500 #constraints=1986 15.88/15.98 c nbDecision=94000 #constraints=1986 15.98/16.04 c nbDecision=94500 #constraints=1986 16.08/16.10 c nbDecision=95000 #constraints=1986 16.08/16.16 c nbDecision=95500 #constraints=1986 16.18/16.25 c nbDecision=96000 #constraints=1986 16.48/16.52 c nbDecision=96500 #constraints=2118 16.78/16.83 c nbDecision=97000 #constraints=2295 17.29/17.34 c nbDecision=97500 #constraints=2434 17.59/17.66 c nbDecision=98000 #constraints=2604 17.88/17.91 c nbDecision=98500 #constraints=2720 18.18/18.23 c nbDecision=99000 #constraints=2863 18.48/18.54 c nbDecision=99500 #constraints=3048 18.78/18.86 c nbDecision=100000 #constraints=3218 19.08/19.14 c nbDecision=100500 #constraints=3332 19.38/19.49 c nbDecision=101000 #constraints=3392 19.88/19.96 c nbDecision=101500 #constraints=3550 20.08/20.19 c nbDecision=102000 #constraints=3597 20.38/20.41 c restart after 102401 decisions 20.38/20.48 c nbDecision=102500 #constraints=3684 20.48/20.59 c nbDecision=103000 #constraints=3684 20.58/20.67 c nbDecision=103500 #constraints=3684 20.68/20.76 c nbDecision=104000 #constraints=3684 20.79/20.84 c nbDecision=104500 #constraints=3684 20.89/20.94 c nbDecision=105000 #constraints=3684 20.98/21.02 c nbDecision=105500 #constraints=3684 20.98/21.09 c nbDecision=106000 #constraints=3684 21.08/21.17 c nbDecision=106500 #constraints=3684 21.18/21.25 c nbDecision=107000 #constraints=3684 21.28/21.31 c nbDecision=107500 #constraints=3684 21.28/21.38 c nbDecision=108000 #constraints=3684 21.38/21.44 c nbDecision=108500 #constraints=3684 21.38/21.50 c nbDecision=109000 #constraints=3684 21.48/21.55 c nbDecision=109500 #constraints=3684 21.58/21.68 c nbDecision=110000 #constraints=3695 21.99/22.04 c nbDecision=110500 #constraints=3844 22.18/22.27 c nbDecision=111000 #constraints=3887 22.48/22.59 c nbDecision=111500 #constraints=4023 22.68/22.77 c nbDecision=112000 #constraints=4063 22.88/22.99 c nbDecision=112500 #constraints=4133 23.38/23.44 c nbDecision=113000 #constraints=4254 23.58/23.64 c nbDecision=113500 #constraints=4293 23.88/23.96 c nbDecision=114000 #constraints=4416 24.08/24.18 c nbDecision=114500 #constraints=4467 24.48/24.54 c nbDecision=115000 #constraints=4530 24.98/25.01 c nbDecision=115500 #constraints=4631 25.08/25.17 c nbDecision=116000 #constraints=4645 25.38/25.44 c nbDecision=116500 #constraints=4694 25.68/25.72 c nbDecision=117000 #constraints=4783 25.88/25.91 c nbDecision=117500 #constraints=4812 26.29/26.36 c nbDecision=118000 #constraints=4923 26.48/26.59 c nbDecision=118500 #constraints=4970 26.88/26.92 c nbDecision=119000 #constraints=5031 27.18/27.26 c nbDecision=119500 #constraints=5120 27.48/27.51 c nbDecision=120000 #constraints=5177 27.78/27.88 c nbDecision=120500 #constraints=5310 28.08/28.10 c nbDecision=121000 #constraints=5344 28.38/28.44 c nbDecision=121500 #constraints=5470 28.67/28.74 c nbDecision=122000 #constraints=5554 29.08/29.15 c nbDecision=122500 #constraints=5647 29.48/29.52 c nbDecision=123000 #constraints=5743 29.68/29.71 c nbDecision=123500 #constraints=5763 29.98/30.01 c nbDecision=124000 #constraints=5844 30.28/30.33 c nbDecision=124500 #constraints=5915 30.48/30.52 c nbDecision=125000 #constraints=5951 30.78/30.80 c nbDecision=125500 #constraints=6021 30.98/31.01 c nbDecision=126000 #constraints=6048 31.27/31.36 c nbDecision=126500 #constraints=6157 31.57/31.62 c nbDecision=127000 #constraints=6210 31.78/31.89 c nbDecision=127500 #constraints=6286 32.18/32.26 c nbDecision=128000 #constraints=6404 32.38/32.48 c nbDecision=128500 #constraints=6427 32.58/32.69 c nbDecision=129000 #constraints=6467 32.98/33.05 c nbDecision=129500 #constraints=6571 33.17/33.25 c nbDecision=130000 #constraints=6602 33.47/33.59 c nbDecision=130500 #constraints=6679 33.77/33.87 c nbDecision=131000 #constraints=6736 34.18/34.20 c nbDecision=131500 #constraints=6821 34.48/34.53 c nbDecision=132000 #constraints=6897 34.78/34.86 c nbDecision=132500 #constraints=6919 35.08/35.12 c nbDecision=133000 #constraints=6956 35.38/35.50 c nbDecision=133500 #constraints=7049 35.68/35.71 c nbDecision=134000 #constraints=7070 35.98/36.00 c nbDecision=134500 #constraints=7130 36.28/36.36 c nbDecision=135000 #constraints=7212 36.47/36.54 c nbDecision=135500 #constraints=7232 36.67/36.72 c nbDecision=136000 #constraints=7251 36.87/36.94 c nbDecision=136500 #constraints=7284 37.17/37.26 c nbDecision=137000 #constraints=7344 37.38/37.47 c nbDecision=137500 #constraints=7371 37.78/37.86 c nbDecision=138000 #constraints=7435 38.08/38.15 c nbDecision=138500 #constraints=7498 38.38/38.49 c nbDecision=139000 #constraints=7528 38.78/38.80 c nbDecision=139500 #constraints=7594 38.88/38.99 c nbDecision=140000 #constraints=7617 39.28/39.40 c nbDecision=140500 #constraints=7685 39.58/39.63 c nbDecision=141000 #constraints=7721 39.87/39.94 c nbDecision=141500 #constraints=7779 40.17/40.23 c nbDecision=142000 #constraints=7829 40.47/40.59 c nbDecision=142500 #constraints=7889 40.68/40.77 c nbDecision=143000 #constraints=7901 40.87/40.99 c nbDecision=143500 #constraints=7935 41.27/41.36 c nbDecision=144000 #constraints=8017 41.47/41.53 c nbDecision=144500 #constraints=8029 41.68/41.72 c nbDecision=145000 #constraints=8052 42.08/42.11 c nbDecision=145500 #constraints=8091 42.28/42.38 c nbDecision=146000 #constraints=8143 42.78/42.85 c nbDecision=146500 #constraints=8201 43.08/43.15 c nbDecision=147000 #constraints=8255 43.28/43.31 c nbDecision=147500 #constraints=8262 43.48/43.54 c nbDecision=148000 #constraints=8287 43.98/44.01 c nbDecision=148500 #constraints=8369 44.18/44.20 c nbDecision=149000 #constraints=8386 44.58/44.62 c nbDecision=149500 #constraints=8467 44.77/44.86 c nbDecision=150000 #constraints=8491 44.98/45.09 c nbDecision=150500 #constraints=8527 45.17/45.29 c nbDecision=151000 #constraints=8545 45.47/45.57 c nbDecision=151500 #constraints=8586 45.77/45.81 c nbDecision=152000 #constraints=8615 45.97/46.06 c nbDecision=152500 #constraints=8641 46.37/46.44 c nbDecision=153000 #constraints=8714 46.57/46.69 c nbDecision=153500 #constraints=8750 46.87/46.92 c nbDecision=154000 #constraints=8767 47.18/47.22 c nbDecision=154500 #constraints=8811 47.58/47.61 c nbDecision=155000 #constraints=8887 47.68/47.76 c nbDecision=155500 #constraints=8891 47.97/48.08 c nbDecision=156000 #constraints=8947 48.47/48.50 c nbDecision=156500 #constraints=9039 48.57/48.66 c nbDecision=157000 #constraints=9047 48.98/49.05 c nbDecision=157500 #constraints=9099 49.18/49.26 c nbDecision=158000 #constraints=9123 49.58/49.60 c nbDecision=158500 #constraints=9152 49.88/49.96 c nbDecision=159000 #constraints=9214 50.08/50.17 c nbDecision=159500 #constraints=9233 50.27/50.35 c nbDecision=160000 #constraints=9237 50.58/50.69 c nbDecision=160500 #constraints=9311 50.87/50.96 c nbDecision=161000 #constraints=9348 51.27/51.31 c nbDecision=161500 #constraints=9415 51.67/51.76 c nbDecision=162000 #constraints=9515 52.07/52.13 c nbDecision=162500 #constraints=9566 52.37/52.49 c nbDecision=163000 #constraints=9625 52.67/52.73 c nbDecision=163500 #constraints=9648 52.87/52.95 c nbDecision=164000 #constraints=9660 53.17/53.28 c nbDecision=164500 #constraints=9714 53.47/53.53 c nbDecision=165000 #constraints=9743 53.78/53.90 c nbDecision=165500 #constraints=9778 54.27/54.37 c nbDecision=166000 #constraints=9865 54.57/54.66 c nbDecision=166500 #constraints=9900 54.77/54.88 c nbDecision=167000 #constraints=9921 55.37/55.40 c nbDecision=167500 #constraints=9999 55.57/55.65 c nbDecision=168000 #constraints=10027 55.87/55.90 c nbDecision=168500 #constraints=10054 56.07/56.19 c nbDecision=169000 #constraints=10101 56.37/56.42 c nbDecision=169500 #constraints=10117 56.77/56.83 c nbDecision=170000 #constraints=10172 57.07/57.19 c nbDecision=170500 #constraints=10232 57.27/57.39 c nbDecision=171000 #constraints=10245 57.67/57.75 c nbDecision=171500 #constraints=10308 57.97/58.03 c nbDecision=172000 #constraints=10353 58.28/58.31 c nbDecision=172500 #constraints=10392 58.57/58.65 c nbDecision=173000 #constraints=10442 58.77/58.88 c nbDecision=173500 #constraints=10465 59.07/59.18 c nbDecision=174000 #constraints=10502 59.47/59.51 c nbDecision=174500 #constraints=10548 59.57/59.69 c nbDecision=175000 #constraints=10558 59.97/60.01 c nbDecision=175500 #constraints=10604 60.27/60.35 c nbDecision=176000 #constraints=10653 60.47/60.54 c nbDecision=176500 #constraints=10664 60.77/60.83 c nbDecision=177000 #constraints=10707 61.17/61.20 c nbDecision=177500 #constraints=10754 61.27/61.35 c nbDecision=178000 #constraints=10756 61.57/61.66 c nbDecision=178500 #constraints=10793 62.07/62.14 c nbDecision=179000 #constraints=10849 62.27/62.36 c nbDecision=179500 #constraints=10872 62.58/62.67 c nbDecision=180000 #constraints=10898 62.97/63.01 c nbDecision=180500 #constraints=10950 63.17/63.20 c nbDecision=181000 #constraints=10963 63.47/63.58 c nbDecision=181500 #constraints=10989 63.77/63.84 c nbDecision=182000 #constraints=11018 64.07/64.11 c nbDecision=182500 #constraints=11057 64.27/64.31 c nbDecision=183000 #constraints=11065 64.47/64.56 c nbDecision=183500 #constraints=11083 64.77/64.88 c nbDecision=184000 #constraints=11126 64.97/65.09 c nbDecision=184500 #constraints=11137 65.47/65.58 c nbDecision=185000 #constraints=11201 65.77/65.90 c nbDecision=185500 #constraints=11239 66.07/66.14 c nbDecision=186000 #constraints=11250 66.36/66.45 c nbDecision=186500 #constraints=11297 66.77/66.89 c nbDecision=187000 #constraints=11376 66.98/67.09 c nbDecision=187500 #constraints=11391 67.37/67.41 c nbDecision=188000 #constraints=11436 67.57/67.67 c nbDecision=188500 #constraints=11456 67.87/67.90 c nbDecision=189000 #constraints=11477 68.27/68.31 c nbDecision=189500 #constraints=11511 68.57/68.67 c nbDecision=190000 #constraints=11557 68.77/68.86 c nbDecision=190500 #constraints=11569 69.28/69.36 c nbDecision=191000 #constraints=11626 69.67/69.73 c nbDecision=191500 #constraints=11659 70.07/70.10 c nbDecision=192000 #constraints=11707 70.17/70.25 c nbDecision=192500 #constraints=11710 70.37/70.49 c nbDecision=193000 #constraints=11727 70.67/70.77 c nbDecision=193500 #constraints=11767 70.97/71.01 c nbDecision=194000 #constraints=11781 71.17/71.29 c nbDecision=194500 #constraints=11811 71.47/71.55 c nbDecision=195000 #constraints=11831 71.77/71.83 c nbDecision=195500 #constraints=11859 72.17/72.21 c nbDecision=196000 #constraints=11910 72.47/72.51 c nbDecision=196500 #constraints=11956 72.67/72.71 c nbDecision=197000 #constraints=11960 72.97/73.07 c nbDecision=197500 #constraints=11998 73.27/73.37 c nbDecision=198000 #constraints=12026 73.47/73.57 c nbDecision=198500 #constraints=12039 73.86/73.93 c nbDecision=199000 #constraints=12087 74.26/74.32 c nbDecision=199500 #constraints=12148 74.46/74.51 c nbDecision=200000 #constraints=12159 74.67/74.80 c nbDecision=200500 #constraints=12193 75.06/75.13 c nbDecision=201000 #constraints=12232 75.26/75.31 c nbDecision=201500 #constraints=12240 75.56/75.69 c nbDecision=202000 #constraints=12308 75.87/75.98 c nbDecision=202500 #constraints=12344 76.26/76.32 c nbDecision=203000 #constraints=12368 76.46/76.58 c nbDecision=203500 #constraints=12390 76.86/76.92 c nbDecision=204000 #constraints=12432 77.06/77.11 c nbDecision=204500 #constraints=12434 77.27/77.38 c restart after 204801 decisions 77.67/77.78 c nbDecision=205000 #constraints=12472 77.87/77.93 c nbDecision=205500 #constraints=12472 77.97/78.03 c nbDecision=206000 #constraints=12472 78.07/78.12 c nbDecision=206500 #constraints=12472 78.17/78.25 c nbDecision=207000 #constraints=12472 78.37/78.42 c nbDecision=207500 #constraints=12472 78.47/78.53 c nbDecision=208000 #constraints=12472 78.57/78.63 c nbDecision=208500 #constraints=12472 78.67/78.76 c nbDecision=209000 #constraints=12472 78.77/78.87 c nbDecision=209500 #constraints=12472 78.87/78.94 c nbDecision=210000 #constraints=12472 78.97/79.00 c nbDecision=210500 #constraints=12472 78.97/79.06 c nbDecision=211000 #constraints=12472 79.07/79.12 c nbDecision=211500 #constraints=12472 79.07/79.18 c nbDecision=212000 #constraints=12472 79.27/79.31 c nbDecision=212500 #constraints=12472 79.67/79.72 c nbDecision=213000 #constraints=12537 79.87/79.98 c nbDecision=213500 #constraints=12554 80.17/80.26 c nbDecision=214000 #constraints=12579 80.47/80.55 c nbDecision=214500 #constraints=12606 80.86/80.90 c nbDecision=215000 #constraints=12641 81.06/81.13 c nbDecision=215500 #constraints=12654 81.37/81.49 c nbDecision=216000 #constraints=12692 81.76/81.85 c nbDecision=216500 #constraints=12739 81.96/82.06 c nbDecision=217000 #constraints=12747 82.37/82.50 c nbDecision=217500 #constraints=12806 82.76/82.84 c nbDecision=218000 #constraints=12847 82.96/83.09 c nbDecision=218500 #constraints=12862 83.26/83.32 c nbDecision=219000 #constraints=12871 83.46/83.59 c nbDecision=219500 #constraints=12899 83.87/83.97 c nbDecision=220000 #constraints=12917 84.27/84.37 c nbDecision=220500 #constraints=12973 84.57/84.63 c nbDecision=221000 #constraints=12997 84.86/84.91 c nbDecision=221500 #constraints=13019 85.16/85.24 c nbDecision=222000 #constraints=13041 85.56/85.60 c nbDecision=222500 #constraints=13071 85.67/85.77 c nbDecision=223000 #constraints=13076 85.96/86.09 c nbDecision=223500 #constraints=13103 86.36/86.45 c nbDecision=224000 #constraints=13152 86.57/86.67 c nbDecision=224500 #constraints=13161 86.87/86.97 c nbDecision=225000 #constraints=13187 87.17/87.27 c nbDecision=225500 #constraints=13213 87.47/87.57 c nbDecision=226000 #constraints=13241 87.76/87.86 c nbDecision=226500 #constraints=13272 88.06/88.12 c nbDecision=227000 #constraints=13285 88.36/88.41 c nbDecision=227500 #constraints=13314 88.56/88.69 c nbDecision=228000 #constraints=13342 88.96/89.07 c nbDecision=228500 #constraints=13389 89.16/89.27 c nbDecision=229000 #constraints=13398 89.46/89.54 c nbDecision=229500 #constraints=13421 89.76/89.84 c nbDecision=230000 #constraints=13449 90.06/90.19 c nbDecision=230500 #constraints=13490 90.36/90.40 c nbDecision=231000 #constraints=13497 90.66/90.71 c nbDecision=231500 #constraints=13517 90.96/91.05 c nbDecision=232000 #constraints=13565 91.16/91.30 c nbDecision=232500 #constraints=13576 91.56/91.62 c nbDecision=233000 #constraints=13606 91.96/92.00 c nbDecision=233500 #constraints=13648 92.16/92.26 c nbDecision=234000 #constraints=13673 92.56/92.60 c nbDecision=234500 #constraints=13707 92.96/93.09 c nbDecision=235000 #constraints=13751 93.37/93.44 c nbDecision=235500 #constraints=13788 93.56/93.64 c nbDecision=236000 #constraints=13799 93.86/93.91 c nbDecision=236500 #constraints=13813 94.16/94.29 c nbDecision=237000 #constraints=13846 94.36/94.44 c nbDecision=237500 #constraints=13846 94.66/94.71 c nbDecision=238000 #constraints=13867 94.96/95.03 c nbDecision=238500 #constraints=13894 95.16/95.21 c nbDecision=239000 #constraints=13899 95.46/95.54 c nbDecision=239500 #constraints=13932 95.96/96.00 c nbDecision=240000 #constraints=13981 96.16/96.24 c nbDecision=240500 #constraints=13999 96.46/96.56 c nbDecision=241000 #constraints=14033 96.76/96.86 c nbDecision=241500 #constraints=14055 96.96/97.06 c nbDecision=242000 #constraints=14064 97.26/97.39 c nbDecision=242500 #constraints=14085 97.66/97.78 c nbDecision=243000 #constraints=14128 97.86/97.97 c nbDecision=243500 #constraints=14136 98.16/98.21 c nbDecision=244000 #constraints=14146 98.46/98.58 c nbDecision=244500 #constraints=14181 98.66/98.79 c nbDecision=245000 #constraints=14192 98.86/99.00 c nbDecision=245500 #constraints=14194 99.26/99.36 c nbDecision=246000 #constraints=14236 99.56/99.62 c nbDecision=246500 #constraints=14254 99.85/99.99 c nbDecision=247000 #constraints=14269 100.15/100.26 c nbDecision=247500 #constraints=14282 100.55/100.67 c nbDecision=248000 #constraints=14323 100.75/100.85 c nbDecision=248500 #constraints=14332 101.17/101.22 c nbDecision=249000 #constraints=14358 101.46/101.58 c nbDecision=249500 #constraints=14391 101.76/101.85 c nbDecision=250000 #constraints=14414 102.06/102.11 c nbDecision=250500 #constraints=14427 102.66/102.74 c nbDecision=251000 #constraints=14520 103.16/103.29 c nbDecision=251500 #constraints=14574 103.86/103.92 c nbDecision=252000 #constraints=14642 104.46/104.57 c nbDecision=252500 #constraints=14714 104.66/104.76 c nbDecision=253000 #constraints=14720 104.86/105.00 c nbDecision=253500 #constraints=14729 105.26/105.35 c nbDecision=254000 #constraints=14760 105.56/105.63 c nbDecision=254500 #constraints=14785 105.86/105.92 c nbDecision=255000 #constraints=14809 106.26/106.37 c nbDecision=255500 #constraints=14851 106.46/106.54 c nbDecision=256000 #constraints=14851 106.75/106.84 c nbDecision=256500 #constraints=14883 107.25/107.31 c nbDecision=257000 #constraints=14949 107.45/107.59 c nbDecision=257500 #constraints=14967 107.76/107.85 c nbDecision=258000 #constraints=14983 108.15/108.22 c nbDecision=258500 #constraints=15028 108.35/108.44 c nbDecision=259000 #constraints=15038 108.65/108.76 c nbDecision=259500 #constraints=15067 109.05/109.13 c nbDecision=260000 #constraints=15096 109.25/109.35 c nbDecision=260500 #constraints=15107 109.55/109.62 c nbDecision=261000 #constraints=15127 109.86/109.99 c nbDecision=261500 #constraints=15153 110.16/110.29 c nbDecision=262000 #constraints=15182 110.56/110.63 c nbDecision=262500 #constraints=15207 110.96/111.05 c nbDecision=263000 #constraints=15248 111.36/111.46 c nbDecision=263500 #constraints=15299 111.66/111.75 c nbDecision=264000 #constraints=15315 111.96/112.07 c nbDecision=264500 #constraints=15341 112.26/112.35 c nbDecision=265000 #constraints=15349 112.46/112.57 c nbDecision=265500 #constraints=15362 112.86/112.95 c nbDecision=266000 #constraints=15400 113.26/113.38 c nbDecision=266500 #constraints=15443 113.56/113.66 c nbDecision=267000 #constraints=15465 113.86/113.97 c nbDecision=267500 #constraints=15488 114.26/114.33 c nbDecision=268000 #constraints=15517 114.46/114.59 c nbDecision=268500 #constraints=15526 114.76/114.87 c nbDecision=269000 #constraints=15547 115.06/115.19 c nbDecision=269500 #constraints=15561 115.36/115.49 c nbDecision=270000 #constraints=15576 115.56/115.69 c nbDecision=270500 #constraints=15583 115.96/116.02 c nbDecision=271000 #constraints=15614 116.16/116.30 c nbDecision=271500 #constraints=15621 116.46/116.58 c nbDecision=272000 #constraints=15635 117.15/117.22 c nbDecision=272500 #constraints=15694 117.56/117.66 c nbDecision=273000 #constraints=15735 117.85/117.93 c nbDecision=273500 #constraints=15754 118.25/118.32 c nbDecision=274000 #constraints=15797 118.66/118.78 c nbDecision=274500 #constraints=15827 118.86/118.95 c nbDecision=275000 #constraints=15830 119.16/119.24 c nbDecision=275500 #constraints=15846 119.56/119.60 c nbDecision=276000 #constraints=15878 119.86/119.91 c nbDecision=276500 #constraints=15906 120.16/120.20 c nbDecision=277000 #constraints=15925 120.56/120.60 c nbDecision=277500 #constraints=15970 120.86/120.93 c nbDecision=278000 #constraints=15990 121.15/121.21 c nbDecision=278500 #constraints=16013 121.65/121.70 c nbDecision=279000 #constraints=16063 121.96/122.05 c nbDecision=279500 #constraints=16088 122.15/122.28 c nbDecision=280000 #constraints=16099 122.45/122.57 c nbDecision=280500 #constraints=16120 122.85/122.97 c nbDecision=281000 #constraints=16166 123.25/123.32 c nbDecision=281500 #constraints=16201 123.55/123.69 c nbDecision=282000 #constraints=16220 123.95/124.04 c nbDecision=282500 #constraints=16243 124.26/124.39 c nbDecision=283000 #constraints=16266 124.55/124.62 c nbDecision=283500 #constraints=16280 124.95/125.03 c nbDecision=284000 #constraints=16305 125.35/125.48 c nbDecision=284500 #constraints=16347 125.65/125.73 c nbDecision=285000 #constraints=16362 125.95/126.02 c nbDecision=285500 #constraints=16377 126.25/126.39 c nbDecision=286000 #constraints=16402 126.56/126.68 c nbDecision=286500 #constraints=16424 126.95/127.07 c nbDecision=287000 #constraints=16460 127.35/127.45 c nbDecision=287500 #constraints=16489 127.56/127.68 c nbDecision=288000 #constraints=16502 128.05/128.11 c nbDecision=288500 #constraints=16531 128.45/128.58 c nbDecision=289000 #constraints=16577 128.75/128.89 c nbDecision=289500 #constraints=16593 129.05/129.18 c nbDecision=290000 #constraints=16608 129.45/129.58 c nbDecision=290500 #constraints=16647 129.76/129.86 c nbDecision=291000 #constraints=16652 129.96/130.09 c nbDecision=291500 #constraints=16661 130.26/130.39 c nbDecision=292000 #constraints=16677 130.65/130.73 c nbDecision=292500 #constraints=16698 130.95/131.02 c nbDecision=293000 #constraints=16709 131.15/131.21 c nbDecision=293500 #constraints=16713 131.45/131.51 c nbDecision=294000 #constraints=16729 131.65/131.80 c nbDecision=294500 #constraints=16736 131.95/132.06 c nbDecision=295000 #constraints=16754 132.25/132.31 c nbDecision=295500 #constraints=16761 132.65/132.71 c nbDecision=296000 #constraints=16797 132.95/133.05 c nbDecision=296500 #constraints=16817 133.15/133.22 c nbDecision=297000 #constraints=16819 133.45/133.54 c nbDecision=297500 #constraints=16835 133.85/133.95 c nbDecision=298000 #constraints=16857 134.15/134.29 c nbDecision=298500 #constraints=16888 134.45/134.54 c nbDecision=299000 #constraints=16893 134.75/134.86 c nbDecision=299500 #constraints=16916 135.26/135.32 c nbDecision=300000 #constraints=16958 135.45/135.58 c nbDecision=300500 #constraints=16974 135.75/135.90 c nbDecision=301000 #constraints=16995 136.05/136.19 c nbDecision=301500 #constraints=17004 136.45/136.55 c nbDecision=302000 #constraints=17036 136.75/136.82 c nbDecision=302500 #constraints=17046 137.15/137.23 c nbDecision=303000 #constraints=17079 137.46/137.56 c nbDecision=303500 #constraints=17111 137.75/137.82 c nbDecision=304000 #constraints=17125 138.15/138.25 c nbDecision=304500 #constraints=17157 138.45/138.53 c nbDecision=305000 #constraints=17161 138.75/138.82 c nbDecision=305500 #constraints=17184 139.15/139.21 c nbDecision=306000 #constraints=17206 139.55/139.66 c nbDecision=306500 #constraints=17245 139.85/139.93 c nbDecision=307000 #constraints=17260 140.45/140.51 c nbDecision=307500 #constraints=17291 141.04/141.10 c nbDecision=308000 #constraints=17361 141.24/141.30 c nbDecision=308500 #constraints=17369 141.54/141.63 c nbDecision=309000 #constraints=17386 141.94/142.03 c nbDecision=309500 #constraints=17416 142.14/142.28 c nbDecision=310000 #constraints=17431 142.44/142.54 c nbDecision=310500 #constraints=17438 142.74/142.87 c nbDecision=311000 #constraints=17463 143.14/143.24 c nbDecision=311500 #constraints=17489 143.35/143.44 c nbDecision=312000 #constraints=17495 143.65/143.72 c nbDecision=312500 #constraints=17505 143.96/144.10 c nbDecision=313000 #constraints=17535 144.25/144.35 c nbDecision=313500 #constraints=17548 144.55/144.63 c nbDecision=314000 #constraints=17565 144.85/144.92 c nbDecision=314500 #constraints=17570 145.05/145.19 c nbDecision=315000 #constraints=17579 145.35/145.41 c nbDecision=315500 #constraints=17581 145.55/145.68 c nbDecision=316000 #constraints=17588 145.85/145.99 c nbDecision=316500 #constraints=17596 146.15/146.29 c nbDecision=317000 #constraints=17608 146.55/146.61 c nbDecision=317500 #constraints=17622 146.85/146.90 c nbDecision=318000 #constraints=17637 147.25/147.30 c nbDecision=318500 #constraints=17669 147.35/147.49 c nbDecision=319000 #constraints=17673 147.75/147.86 c nbDecision=319500 #constraints=17681 148.15/148.28 c nbDecision=320000 #constraints=17718 148.65/148.70 c nbDecision=320500 #constraints=17753 148.94/149.05 c nbDecision=321000 #constraints=17779 149.24/149.37 c nbDecision=321500 #constraints=17789 149.64/149.70 c nbDecision=322000 #constraints=17810 149.84/149.93 c nbDecision=322500 #constraints=17812 150.14/150.28 c nbDecision=323000 #constraints=17837 150.55/150.63 c nbDecision=323500 #constraints=17852 150.74/150.89 c nbDecision=324000 #constraints=17869 151.05/151.17 c nbDecision=324500 #constraints=17877 151.45/151.51 c nbDecision=325000 #constraints=17898 151.85/151.92 c nbDecision=325500 #constraints=17941 152.15/152.22 c nbDecision=326000 #constraints=17954 152.45/152.50 c nbDecision=326500 #constraints=17962 152.75/152.81 c nbDecision=327000 #constraints=17971 152.85/153.00 c nbDecision=327500 #constraints=17971 153.15/153.23 c nbDecision=328000 #constraints=17972 153.45/153.54 c nbDecision=328500 #constraints=17982 153.85/153.93 c nbDecision=329000 #constraints=18018 154.05/154.18 c nbDecision=329500 #constraints=18028 154.45/154.55 c nbDecision=330000 #constraints=18052 154.75/154.88 c nbDecision=330500 #constraints=18074 155.15/155.23 c nbDecision=331000 #constraints=18097 155.55/155.68 c nbDecision=331500 #constraints=18128 155.95/156.09 c nbDecision=332000 #constraints=18163 156.54/156.61 c nbDecision=332500 #constraints=18204 156.94/157.01 c nbDecision=333000 #constraints=18219 157.34/157.42 c nbDecision=333500 #constraints=18243 157.54/157.66 c nbDecision=334000 #constraints=18255 157.84/157.92 c nbDecision=334500 #constraints=18260 158.14/158.27 c nbDecision=335000 #constraints=18284 158.54/158.67 c nbDecision=335500 #constraints=18306 158.84/158.94 c nbDecision=336000 #constraints=18311 159.24/159.34 c nbDecision=336500 #constraints=18346 159.54/159.65 c nbDecision=337000 #constraints=18363 159.84/159.96 c nbDecision=337500 #constraints=18379 160.34/160.40 c nbDecision=338000 #constraints=18406 160.75/160.84 c nbDecision=338500 #constraints=18437 160.95/161.01 c nbDecision=339000 #constraints=18440 161.35/161.42 c nbDecision=339500 #constraints=18461 161.85/161.90 c nbDecision=340000 #constraints=18485 162.15/162.25 c nbDecision=340500 #constraints=18514 162.54/162.63 c nbDecision=341000 #constraints=18540 162.94/163.03 c nbDecision=341500 #constraints=18572 163.34/163.41 c nbDecision=342000 #constraints=18600 163.54/163.67 c nbDecision=342500 #constraints=18606 164.04/164.18 c nbDecision=343000 #constraints=18630 164.44/164.54 c nbDecision=343500 #constraints=18645 164.74/164.81 c nbDecision=344000 #constraints=18660 164.95/165.07 c nbDecision=344500 #constraints=18668 165.34/165.49 c nbDecision=345000 #constraints=18694 165.64/165.75 c nbDecision=345500 #constraints=18703 166.04/166.10 c nbDecision=346000 #constraints=18723 166.34/166.49 c nbDecision=346500 #constraints=18735 166.84/166.92 c nbDecision=347000 #constraints=18774 167.04/167.15 c nbDecision=347500 #constraints=18779 167.34/167.43 c nbDecision=348000 #constraints=18792 167.64/167.75 c nbDecision=348500 #constraints=18803 167.94/168.08 c nbDecision=349000 #constraints=18812 168.14/168.26 c nbDecision=349500 #constraints=18817 168.54/168.66 c nbDecision=350000 #constraints=18847 168.84/168.98 c nbDecision=350500 #constraints=18854 169.14/169.25 c nbDecision=351000 #constraints=18868 169.44/169.56 c nbDecision=351500 #constraints=18874 169.95/170.01 c nbDecision=352000 #constraints=18899 170.35/170.46 c nbDecision=352500 #constraints=18928 170.74/170.89 c nbDecision=353000 #constraints=18963 170.94/171.09 c nbDecision=353500 #constraints=18963 171.34/171.43 c nbDecision=354000 #constraints=18981 171.74/171.83 c nbDecision=354500 #constraints=18995 172.04/172.16 c nbDecision=355000 #constraints=19007 172.34/172.45 c nbDecision=355500 #constraints=19023 172.74/172.88 c nbDecision=356000 #constraints=19054 173.24/173.30 c nbDecision=356500 #constraints=19076 173.54/173.62 c nbDecision=357000 #constraints=19085 173.75/173.84 c nbDecision=357500 #constraints=19093 174.14/174.24 c nbDecision=358000 #constraints=19116 174.44/174.57 c nbDecision=358500 #constraints=19127 174.84/174.94 c nbDecision=359000 #constraints=19147 175.24/175.30 c nbDecision=359500 #constraints=19169 175.44/175.56 c nbDecision=360000 #constraints=19178 175.74/175.87 c nbDecision=360500 #constraints=19187 176.34/176.41 c nbDecision=361000 #constraints=19220 176.54/176.62 c nbDecision=361500 #constraints=19224 176.74/176.89 c nbDecision=362000 #constraints=19231 177.24/177.33 c nbDecision=362500 #constraints=19262 177.64/177.76 c nbDecision=363000 #constraints=19304 177.93/178.02 c nbDecision=363500 #constraints=19310 178.23/178.36 c nbDecision=364000 #constraints=19333 178.53/178.66 c nbDecision=364500 #constraints=19335 178.83/178.97 c nbDecision=365000 #constraints=19352 179.14/179.24 c nbDecision=365500 #constraints=19363 179.53/179.68 c nbDecision=366000 #constraints=19401 180.03/180.17 c nbDecision=366500 #constraints=19429 180.44/180.54 c nbDecision=367000 #constraints=19449 180.84/180.91 c nbDecision=367500 #constraints=19463 181.14/181.27 c nbDecision=368000 #constraints=19490 181.54/181.68 c nbDecision=368500 #constraints=19510 181.94/182.09 c nbDecision=369000 #constraints=19536 182.34/182.42 c nbDecision=369500 #constraints=19561 182.64/182.75 c nbDecision=370000 #constraints=19575 183.04/183.18 c nbDecision=370500 #constraints=19611 183.54/183.62 c nbDecision=371000 #constraints=19641 183.73/183.87 c nbDecision=371500 #constraints=19650 184.03/184.18 c nbDecision=372000 #constraints=19661 184.53/184.64 c nbDecision=372500 #constraints=19698 184.83/184.96 c nbDecision=373000 #constraints=19709 185.03/185.16 c nbDecision=373500 #constraints=19715 185.43/185.54 c nbDecision=374000 #constraints=19737 185.93/186.09 c nbDecision=374500 #constraints=19780 186.33/186.49 c nbDecision=375000 #constraints=19804 186.63/186.72 c nbDecision=375500 #constraints=19808 186.84/186.95 c nbDecision=376000 #constraints=19809 187.23/187.38 c nbDecision=376500 #constraints=19825 187.63/187.74 c nbDecision=377000 #constraints=19841 187.94/188.00 c nbDecision=377500 #constraints=19855 188.23/188.36 c nbDecision=378000 #constraints=19877 188.63/188.74 c nbDecision=378500 #constraints=19891 188.83/188.92 c nbDecision=379000 #constraints=19893 189.14/189.23 c nbDecision=379500 #constraints=19900 189.64/189.74 c nbDecision=380000 #constraints=19930 189.84/189.99 c nbDecision=380500 #constraints=19943 190.44/190.53 c nbDecision=381000 #constraints=19971 191.13/191.21 c nbDecision=381500 #constraints=20018 191.43/191.52 c nbDecision=382000 #constraints=20037 191.73/191.81 c nbDecision=382500 #constraints=20046 192.03/192.14 c nbDecision=383000 #constraints=20061 192.53/192.66 c nbDecision=383500 #constraints=20084 192.73/192.82 c nbDecision=384000 #constraints=20084 193.23/193.37 c nbDecision=384500 #constraints=20121 193.63/193.70 c nbDecision=385000 #constraints=20133 194.03/194.16 c nbDecision=385500 #constraints=20156 194.33/194.47 c nbDecision=386000 #constraints=20161 194.73/194.83 c nbDecision=386500 #constraints=20176 195.03/195.12 c nbDecision=387000 #constraints=20189 195.43/195.52 c nbDecision=387500 #constraints=20206 195.83/195.94 c nbDecision=388000 #constraints=20229 196.23/196.30 c nbDecision=388500 #constraints=20244 196.43/196.50 c nbDecision=389000 #constraints=20251 196.93/197.01 c nbDecision=389500 #constraints=20285 197.64/197.74 c nbDecision=390000 #constraints=20330 198.54/198.62 c nbDecision=390500 #constraints=20387 199.33/199.45 c nbDecision=391000 #constraints=20441 199.93/200.05 c nbDecision=391500 #constraints=20464 200.53/200.64 c nbDecision=392000 #constraints=20495 200.73/200.87 c nbDecision=392500 #constraints=20502 201.14/201.26 c nbDecision=393000 #constraints=20513 201.73/201.82 c nbDecision=393500 #constraints=20565 202.03/202.11 c nbDecision=394000 #constraints=20575 202.43/202.54 c nbDecision=394500 #constraints=20606 202.83/202.99 c nbDecision=395000 #constraints=20638 203.13/203.23 c nbDecision=395500 #constraints=20648 203.53/203.63 c nbDecision=396000 #constraints=20679 203.83/203.98 c nbDecision=396500 #constraints=20692 204.43/204.54 c nbDecision=397000 #constraints=20720 204.73/204.80 c nbDecision=397500 #constraints=20731 205.03/205.12 c nbDecision=398000 #constraints=20739 205.53/205.64 c nbDecision=398500 #constraints=20762 206.03/206.11 c nbDecision=399000 #constraints=20786 206.23/206.33 c nbDecision=399500 #constraints=20793 206.83/206.98 c nbDecision=400000 #constraints=20835 207.63/207.78 c nbDecision=400500 #constraints=20881 208.63/208.72 c nbDecision=401000 #constraints=20944 209.13/209.25 c nbDecision=401500 #constraints=20976 209.53/209.67 c nbDecision=402000 #constraints=20989 209.73/209.90 c nbDecision=402500 #constraints=20989 210.13/210.27 c nbDecision=403000 #constraints=21007 210.53/210.65 c nbDecision=403500 #constraints=21031 210.93/211.05 c nbDecision=404000 #constraints=21046 211.23/211.38 c nbDecision=404500 #constraints=21065 211.53/211.67 c nbDecision=405000 #constraints=21071 212.03/212.11 c nbDecision=405500 #constraints=21098 212.53/212.60 c nbDecision=406000 #constraints=21129 212.73/212.89 c nbDecision=406500 #constraints=21138 213.13/213.25 c nbDecision=407000 #constraints=21154 213.63/213.70 c nbDecision=407500 #constraints=21177 213.83/213.90 c nbDecision=408000 #constraints=21183 214.23/214.35 c nbDecision=408500 #constraints=21219 214.63/214.78 c nbDecision=409000 #constraints=21234 215.03/215.12 c nbDecision=409500 #constraints=21251 215.13/215.24 c restart after 409601 decisions 216.13/216.23 c nbDecision=410000 #constraints=21253 216.23/216.36 c nbDecision=410500 #constraints=21253 216.33/216.46 c nbDecision=411000 #constraints=21253 216.43/216.56 c nbDecision=411500 #constraints=21253 216.73/216.87 c nbDecision=412000 #constraints=21253 216.93/217.08 c nbDecision=412500 #constraints=21253 217.03/217.19 c nbDecision=413000 #constraints=21253 217.23/217.37 c nbDecision=413500 #constraints=21253 217.42/217.58 c nbDecision=414000 #constraints=21253 217.63/217.71 c nbDecision=414500 #constraints=21253 217.63/217.80 c nbDecision=415000 #constraints=21253 217.73/217.86 c nbDecision=415500 #constraints=21253 217.82/217.92 c nbDecision=416000 #constraints=21253 217.82/217.98 c nbDecision=416500 #constraints=21253 217.92/218.06 c nbDecision=417000 #constraints=21253 218.32/218.41 c nbDecision=417500 #constraints=21265 218.62/218.73 c nbDecision=418000 #constraints=21281 219.12/219.24 c nbDecision=418500 #constraints=21319 219.32/219.47 c nbDecision=419000 #constraints=21328 219.83/219.91 c nbDecision=419500 #constraints=21360 220.63/220.70 c nbDecision=420000 #constraints=21415 221.13/221.20 c nbDecision=420500 #constraints=21444 221.63/221.71 c nbDecision=421000 #constraints=21478 222.23/222.37 c nbDecision=421500 #constraints=21532 222.83/222.99 c nbDecision=422000 #constraints=21571 223.23/223.39 c nbDecision=422500 #constraints=21588 224.03/224.14 c nbDecision=423000 #constraints=21648 224.63/224.70 c nbDecision=423500 #constraints=21685 225.22/225.39 c nbDecision=424000 #constraints=21731 225.92/226.00 c nbDecision=424500 #constraints=21766 226.62/226.70 c nbDecision=425000 #constraints=21815 227.12/227.23 c nbDecision=425500 #constraints=21851 227.82/227.95 c nbDecision=426000 #constraints=21914 228.12/228.27 c nbDecision=426500 #constraints=21926 228.93/229.06 c nbDecision=427000 #constraints=21983 229.43/229.59 c nbDecision=427500 #constraints=22012 230.03/230.17 c nbDecision=428000 #constraints=22045 230.73/230.83 c nbDecision=428500 #constraints=22083 231.33/231.42 c nbDecision=429000 #constraints=22119 232.03/232.14 c nbDecision=429500 #constraints=22182 232.53/232.66 c nbDecision=430000 #constraints=22212 233.03/233.18 c nbDecision=430500 #constraints=22239 233.53/233.67 c nbDecision=431000 #constraints=22262 233.93/234.03 c nbDecision=431500 #constraints=22284 234.23/234.35 c nbDecision=432000 #constraints=22294 234.72/234.83 c nbDecision=432500 #constraints=22316 235.12/235.22 c nbDecision=433000 #constraints=22324 235.42/235.50 c nbDecision=433500 #constraints=22337 235.82/235.98 c nbDecision=434000 #constraints=22376 236.43/236.58 c nbDecision=434500 #constraints=22406 236.82/236.92 c nbDecision=435000 #constraints=22427 237.32/237.41 c nbDecision=435500 #constraints=22455 237.72/237.85 c nbDecision=436000 #constraints=22475 238.12/238.25 c nbDecision=436500 #constraints=22503 238.72/238.82 c nbDecision=437000 #constraints=22548 239.12/239.20 c nbDecision=437500 #constraints=22564 239.62/239.76 c nbDecision=438000 #constraints=22594 240.02/240.15 c nbDecision=438500 #constraints=22604 240.42/240.51 c nbDecision=439000 #constraints=22623 240.72/240.84 c nbDecision=439500 #constraints=22635 241.12/241.30 c nbDecision=440000 #constraints=22653 241.72/241.83 c nbDecision=440500 #constraints=22681 242.02/242.13 c nbDecision=441000 #constraints=22699 242.62/242.76 c nbDecision=441500 #constraints=22731 243.12/243.24 c nbDecision=442000 #constraints=22747 243.82/243.93 c nbDecision=442500 #constraints=22782 244.53/244.69 c nbDecision=443000 #constraints=22819 245.03/245.11 c nbDecision=443500 #constraints=22836 245.43/245.59 c nbDecision=444000 #constraints=22856 245.83/245.94 c nbDecision=444500 #constraints=22878 246.42/246.56 c nbDecision=445000 #constraints=22923 247.12/247.27 c nbDecision=445500 #constraints=22967 247.43/247.60 c nbDecision=446000 #constraints=22975 247.92/248.04 c nbDecision=446500 #constraints=22990 248.53/248.64 c nbDecision=447000 #constraints=23011 249.02/249.10 c nbDecision=447500 #constraints=23035 249.53/249.64 c nbDecision=448000 #constraints=23059 250.12/250.24 c nbDecision=448500 #constraints=23105 250.32/250.42 c nbDecision=449000 #constraints=23105 250.92/251.01 c nbDecision=449500 #constraints=23139 251.52/251.67 c nbDecision=450000 #constraints=23174 252.02/252.15 c nbDecision=450500 #constraints=23193 252.42/252.54 c nbDecision=451000 #constraints=23208 253.02/253.12 c nbDecision=451500 #constraints=23240 253.62/253.70 c nbDecision=452000 #constraints=23279 254.02/254.13 c nbDecision=452500 #constraints=23299 254.41/254.57 c nbDecision=453000 #constraints=23316 255.02/255.19 c nbDecision=453500 #constraints=23352 255.72/255.87 c nbDecision=454000 #constraints=23394 256.23/256.32 c nbDecision=454500 #constraints=23412 256.62/256.73 c nbDecision=455000 #constraints=23431 257.12/257.28 c nbDecision=455500 #constraints=23454 257.72/257.89 c nbDecision=456000 #constraints=23498 258.42/258.55 c nbDecision=456500 #constraints=23531 258.62/258.79 c nbDecision=457000 #constraints=23534 259.12/259.20 c nbDecision=457500 #constraints=23557 259.52/259.67 c nbDecision=458000 #constraints=23582 260.02/260.14 c nbDecision=458500 #constraints=23598 260.32/260.41 c nbDecision=459000 #constraints=23609 260.82/260.92 c nbDecision=459500 #constraints=23627 261.22/261.37 c nbDecision=460000 #constraints=23645 261.72/261.80 c nbDecision=460500 #constraints=23657 261.92/262.03 c nbDecision=461000 #constraints=23663 262.41/262.51 c nbDecision=461500 #constraints=23692 262.91/263.04 c nbDecision=462000 #constraints=23719 263.11/263.30 c nbDecision=462500 #constraints=23729 263.51/263.67 c nbDecision=463000 #constraints=23740 264.01/264.18 c nbDecision=463500 #constraints=23765 264.51/264.64 c nbDecision=464000 #constraints=23783 264.71/264.82 c nbDecision=464500 #constraints=23785 265.02/265.19 c nbDecision=465000 #constraints=23799 265.51/265.64 c nbDecision=465500 #constraints=23818 266.41/266.54 c nbDecision=466000 #constraints=23857 267.31/267.41 c nbDecision=466500 #constraints=23923 268.21/268.35 c nbDecision=467000 #constraints=23988 269.22/269.31 c nbDecision=467500 #constraints=24057 270.12/270.21 c nbDecision=468000 #constraints=24111 271.02/271.11 c nbDecision=468500 #constraints=24178 271.92/272.00 c nbDecision=469000 #constraints=24241 273.01/273.13 c nbDecision=469500 #constraints=24304 274.11/274.28 c nbDecision=470000 #constraints=24378 275.01/275.18 c nbDecision=470500 #constraints=24425 275.92/276.03 c nbDecision=471000 #constraints=24477 276.81/276.96 c nbDecision=471500 #constraints=24534 277.82/277.92 c nbDecision=472000 #constraints=24582 278.72/278.80 c nbDecision=472500 #constraints=24627 279.51/279.61 c nbDecision=473000 #constraints=24668 280.51/280.67 c nbDecision=473500 #constraints=24730 281.51/281.67 c nbDecision=474000 #constraints=24802 282.41/282.52 c nbDecision=474500 #constraints=24839 283.41/283.51 c nbDecision=475000 #constraints=24894 284.41/284.55 c nbDecision=475500 #constraints=24957 285.51/285.61 c nbDecision=476000 #constraints=25025 286.41/286.55 c nbDecision=476500 #constraints=25076 287.41/287.51 c nbDecision=477000 #constraints=25132 288.31/288.41 c nbDecision=477500 #constraints=25173 289.31/289.41 c nbDecision=478000 #constraints=25210 290.01/290.18 c nbDecision=478500 #constraints=25239 290.81/290.92 c nbDecision=479000 #constraints=25265 291.71/291.87 c nbDecision=479500 #constraints=25313 292.81/292.91 c nbDecision=480000 #constraints=25370 293.70/293.86 c nbDecision=480500 #constraints=25414 294.80/294.93 c nbDecision=481000 #constraints=25474 295.90/296.00 c nbDecision=481500 #constraints=25524 296.70/296.81 c nbDecision=482000 #constraints=25551 297.50/297.67 c nbDecision=482500 #constraints=25577 298.30/298.48 c nbDecision=483000 #constraints=25606 299.31/299.46 c nbDecision=483500 #constraints=25669 300.11/300.24 c nbDecision=484000 #constraints=25697 300.81/300.99 c nbDecision=484500 #constraints=25724 301.81/301.99 c nbDecision=485000 #constraints=25774 302.71/302.85 c nbDecision=485500 #constraints=25814 303.51/303.64 c nbDecision=486000 #constraints=25847 304.51/304.62 c nbDecision=486500 #constraints=25885 305.50/305.65 c nbDecision=487000 #constraints=25931 306.60/306.76 c nbDecision=487500 #constraints=25982 307.60/307.70 c nbDecision=488000 #constraints=26031 308.40/308.57 c nbDecision=488500 #constraints=26063 309.41/309.51 c nbDecision=489000 #constraints=26104 310.21/310.35 c nbDecision=489500 #constraints=26135 311.11/311.21 c nbDecision=490000 #constraints=26160 311.91/312.08 c nbDecision=490500 #constraints=26210 313.00/313.18 c nbDecision=491000 #constraints=26266 313.90/314.03 c nbDecision=491500 #constraints=26297 314.70/314.84 c nbDecision=492000 #constraints=26331 315.70/315.86 c nbDecision=492500 #constraints=26360 316.61/316.79 c nbDecision=493000 #constraints=26417 317.60/317.71 c nbDecision=493500 #constraints=26447 318.50/318.66 c nbDecision=494000 #constraints=26487 319.40/319.52 c nbDecision=494500 #constraints=26516 320.30/320.43 c nbDecision=495000 #constraints=26539 321.20/321.32 c nbDecision=495500 #constraints=26576 322.00/322.18 c nbDecision=496000 #constraints=26620 323.10/323.24 c nbDecision=496500 #constraints=26666 323.90/324.08 c nbDecision=497000 #constraints=26699 324.90/325.07 c nbDecision=497500 #constraints=26745 325.80/325.98 c nbDecision=498000 #constraints=26771 326.61/326.79 c nbDecision=498500 #constraints=26809 327.50/327.65 c nbDecision=499000 #constraints=26836 328.40/328.55 c nbDecision=499500 #constraints=26862 329.40/329.56 c nbDecision=500000 #constraints=26893 330.30/330.42 c nbDecision=500500 #constraints=26917 331.10/331.24 c nbDecision=501000 #constraints=26940 332.20/332.31 c nbDecision=501500 #constraints=26978 333.20/333.37 c nbDecision=502000 #constraints=27019 334.30/334.41 c nbDecision=502500 #constraints=27050 335.30/335.41 c nbDecision=503000 #constraints=27082 336.09/336.20 c nbDecision=503500 #constraints=27106 336.90/337.07 c nbDecision=504000 #constraints=27150 337.90/338.09 c nbDecision=504500 #constraints=27187 339.00/339.10 c nbDecision=505000 #constraints=27251 340.00/340.12 c nbDecision=505500 #constraints=27296 340.90/341.05 c nbDecision=506000 #constraints=27331 341.80/341.99 c nbDecision=506500 #constraints=27369 342.79/342.91 c nbDecision=507000 #constraints=27393 343.79/343.93 c nbDecision=507500 #constraints=27442 344.69/344.80 c nbDecision=508000 #constraints=27463 345.99/346.11 c nbDecision=508500 #constraints=27544 346.89/347.07 c nbDecision=509000 #constraints=27579 348.09/348.23 c nbDecision=509500 #constraints=27619 349.09/349.23 c nbDecision=510000 #constraints=27652 349.49/349.69 c nbDecision=510500 #constraints=27656 349.89/350.03 c nbDecision=511000 #constraints=27664 350.59/350.79 c nbDecision=511500 #constraints=27698 350.79/350.99 c nbDecision=512000 #constraints=27700 351.29/351.47 c nbDecision=512500 #constraints=27714 351.79/351.99 c nbDecision=513000 #constraints=27735 352.59/352.74 c nbDecision=513500 #constraints=27771 352.89/353.00 c nbDecision=514000 #constraints=27780 353.29/353.46 c nbDecision=514500 #constraints=27791 353.70/353.89 c nbDecision=515000 #constraints=27796 354.30/354.43 c nbDecision=515500 #constraints=27830 354.60/354.76 c nbDecision=516000 #constraints=27833 355.00/355.18 c nbDecision=516500 #constraints=27840 355.50/355.67 c nbDecision=517000 #constraints=27853 355.89/356.03 c nbDecision=517500 #constraints=27866 356.59/356.76 c nbDecision=518000 #constraints=27899 357.19/357.32 c nbDecision=518500 #constraints=27922 357.79/357.91 c nbDecision=519000 #constraints=27945 357.99/358.18 c nbDecision=519500 #constraints=27954 358.59/358.78 c nbDecision=520000 #constraints=27978 359.09/359.26 c nbDecision=520500 #constraints=27993 359.79/359.94 c nbDecision=521000 #constraints=28030 360.29/360.44 c nbDecision=521500 #constraints=28046 360.69/360.83 c nbDecision=522000 #constraints=28050 361.19/361.39 c nbDecision=522500 #constraints=28072 361.49/361.62 c nbDecision=523000 #constraints=28072 362.19/362.34 c nbDecision=523500 #constraints=28095 362.39/362.59 c nbDecision=524000 #constraints=28102 362.89/363.08 c nbDecision=524500 #constraints=28118 363.49/363.66 c nbDecision=525000 #constraints=28140 363.89/364.00 c nbDecision=525500 #constraints=28157 364.78/364.91 c nbDecision=526000 #constraints=28211 365.58/365.71 c nbDecision=526500 #constraints=28245 365.98/366.13 c nbDecision=527000 #constraints=28257 366.48/366.69 c nbDecision=527500 #constraints=28273 367.20/367.37 c nbDecision=528000 #constraints=28304 367.49/367.69 c nbDecision=528500 #constraints=28314 368.09/368.26 c nbDecision=529000 #constraints=28337 368.59/368.76 c nbDecision=529500 #constraints=28350 369.19/369.32 c nbDecision=530000 #constraints=28367 369.39/369.55 c nbDecision=530500 #constraints=28373 369.79/369.95 c nbDecision=531000 #constraints=28375 370.39/370.54 c nbDecision=531500 #constraints=28399 371.19/371.37 c nbDecision=532000 #constraints=28435 371.89/372.01 c nbDecision=532500 #constraints=28450 372.29/372.43 c nbDecision=533000 #constraints=28460 372.79/372.92 c nbDecision=533500 #constraints=28477 373.29/373.44 c nbDecision=534000 #constraints=28491 373.49/373.67 c nbDecision=534500 #constraints=28497 374.19/374.34 c nbDecision=535000 #constraints=28525 374.69/374.80 c nbDecision=535500 #constraints=28539 374.89/375.07 c nbDecision=536000 #constraints=28539 375.58/375.72 c nbDecision=536500 #constraints=28556 376.09/376.22 c nbDecision=537000 #constraints=28570 376.48/376.67 c nbDecision=537500 #constraints=28578 377.19/377.33 c nbDecision=538000 #constraints=28598 377.98/378.19 c nbDecision=538500 #constraints=28644 378.29/378.43 c nbDecision=539000 #constraints=28647 378.68/378.82 c nbDecision=539500 #constraints=28652 379.29/379.49 c nbDecision=540000 #constraints=28692 379.59/379.72 c nbDecision=540500 #constraints=28693 380.09/380.23 c nbDecision=541000 #constraints=28711 380.59/380.77 c nbDecision=541500 #constraints=28726 381.09/381.29 c nbDecision=542000 #constraints=28743 381.39/381.55 c nbDecision=542500 #constraints=28750 381.99/382.15 c nbDecision=543000 #constraints=28766 382.39/382.59 c nbDecision=543500 #constraints=28775 382.89/383.03 c nbDecision=544000 #constraints=28779 383.79/383.96 c nbDecision=544500 #constraints=28825 384.29/384.49 c nbDecision=545000 #constraints=28848 384.89/385.03 c nbDecision=545500 #constraints=28861 385.09/385.29 c nbDecision=546000 #constraints=28861 385.49/385.65 c nbDecision=546500 #constraints=28865 386.18/386.33 c nbDecision=547000 #constraints=28882 386.78/386.90 c nbDecision=547500 #constraints=28904 387.88/388.06 c nbDecision=548000 #constraints=28956 388.48/388.69 c nbDecision=548500 #constraints=28968 389.19/389.32 c nbDecision=549000 #constraints=28998 389.88/390.01 c nbDecision=549500 #constraints=29029 390.58/390.71 c nbDecision=550000 #constraints=29052 390.78/390.93 c nbDecision=550500 #constraints=29055 391.48/391.62 c nbDecision=551000 #constraints=29078 392.18/392.33 c nbDecision=551500 #constraints=29096 392.88/393.10 c nbDecision=552000 #constraints=29136 393.28/393.46 c nbDecision=552500 #constraints=29140 393.68/393.88 c nbDecision=553000 #constraints=29146 394.18/394.33 c nbDecision=553500 #constraints=29164 394.58/394.74 c nbDecision=554000 #constraints=29174 395.08/395.24 c nbDecision=554500 #constraints=29194 395.58/395.78 c nbDecision=555000 #constraints=29211 396.08/396.28 c nbDecision=555500 #constraints=29220 396.58/396.74 c nbDecision=556000 #constraints=29232 396.99/397.12 c nbDecision=556500 #constraints=29243 397.38/397.51 c nbDecision=557000 #constraints=29251 397.88/398.09 c nbDecision=557500 #constraints=29283 398.58/398.71 c nbDecision=558000 #constraints=29301 398.88/399.04 c nbDecision=558500 #constraints=29314 399.68/399.80 c nbDecision=559000 #constraints=29336 400.38/400.52 c nbDecision=559500 #constraints=29358 400.68/400.81 c nbDecision=560000 #constraints=29367 401.08/401.28 c nbDecision=560500 #constraints=29380 401.88/402.07 c nbDecision=561000 #constraints=29428 402.39/402.57 c nbDecision=561500 #constraints=29438 402.88/403.01 c nbDecision=562000 #constraints=29456 403.59/403.70 c nbDecision=562500 #constraints=29477 403.98/404.19 c nbDecision=563000 #constraints=29502 404.88/405.01 c nbDecision=563500 #constraints=29535 405.38/405.57 c nbDecision=564000 #constraints=29552 406.08/406.20 c nbDecision=564500 #constraints=29577 406.78/406.96 c nbDecision=565000 #constraints=29621 407.48/407.61 c nbDecision=565500 #constraints=29647 407.78/408.00 c nbDecision=566000 #constraints=29656 408.57/408.70 c nbDecision=566500 #constraints=29692 409.17/409.38 c nbDecision=567000 #constraints=29716 410.08/410.21 c nbDecision=567500 #constraints=29750 410.47/410.68 c nbDecision=568000 #constraints=29762 411.37/411.51 c nbDecision=568500 #constraints=29787 411.87/412.07 c nbDecision=569000 #constraints=29802 412.38/412.53 c nbDecision=569500 #constraints=29807 412.87/413.07 c nbDecision=570000 #constraints=29816 413.38/413.56 c nbDecision=570500 #constraints=29830 413.97/414.12 c nbDecision=571000 #constraints=29846 414.67/414.81 c nbDecision=571500 #constraints=29861 415.37/415.59 c nbDecision=572000 #constraints=29885 415.97/416.13 c nbDecision=572500 #constraints=29896 416.48/416.61 c nbDecision=573000 #constraints=29920 416.88/417.03 c nbDecision=573500 #constraints=29933 417.38/417.52 c nbDecision=574000 #constraints=29941 417.88/418.03 c nbDecision=574500 #constraints=29946 418.48/418.69 c nbDecision=575000 #constraints=29958 419.18/419.31 c nbDecision=575500 #constraints=29971 419.68/419.82 c nbDecision=576000 #constraints=29986 420.18/420.38 c nbDecision=576500 #constraints=30004 420.88/421.06 c nbDecision=577000 #constraints=30031 421.67/421.83 c nbDecision=577500 #constraints=30056 422.18/422.31 c nbDecision=578000 #constraints=30066 422.57/422.78 c nbDecision=578500 #constraints=30071 423.17/423.34 c nbDecision=579000 #constraints=30089 423.67/423.89 c nbDecision=579500 #constraints=30095 424.17/424.33 c nbDecision=580000 #constraints=30106 424.67/424.88 c nbDecision=580500 #constraints=30126 425.37/425.50 c nbDecision=581000 #constraints=30145 425.67/425.82 c nbDecision=581500 #constraints=30159 426.27/426.41 c nbDecision=582000 #constraints=30177 426.67/426.87 c nbDecision=582500 #constraints=30183 427.17/427.30 c nbDecision=583000 #constraints=30195 427.57/427.79 c nbDecision=583500 #constraints=30214 428.07/428.23 c nbDecision=584000 #constraints=30225 428.47/428.62 c nbDecision=584500 #constraints=30236 428.87/429.03 c nbDecision=585000 #constraints=30246 429.27/429.50 c nbDecision=585500 #constraints=30255 429.77/429.97 c nbDecision=586000 #constraints=30262 430.17/430.30 c nbDecision=586500 #constraints=30265 430.68/430.83 c nbDecision=587000 #constraints=30284 431.17/431.37 c nbDecision=587500 #constraints=30299 431.97/432.18 c nbDecision=588000 #constraints=30337 432.27/432.43 c nbDecision=588500 #constraints=30341 432.97/433.16 c nbDecision=589000 #constraints=30379 433.87/434.07 c nbDecision=589500 #constraints=30409 434.47/434.66 c nbDecision=590000 #constraints=30438 435.57/435.76 c nbDecision=590500 #constraints=30494 436.07/436.26 c nbDecision=591000 #constraints=30503 436.87/437.06 c nbDecision=591500 #constraints=30530 437.96/438.17 c nbDecision=592000 #constraints=30592 438.76/438.94 c nbDecision=592500 #constraints=30624 439.37/439.57 c nbDecision=593000 #constraints=30637 439.95/440.19 c nbDecision=593500 #constraints=30652 440.95/441.10 c nbDecision=594000 #constraints=30688 441.74/441.91 c nbDecision=594500 #constraints=30719 442.24/442.47 c nbDecision=595000 #constraints=30729 442.74/442.97 c nbDecision=595500 #constraints=30735 443.74/443.93 c nbDecision=596000 #constraints=30785 444.54/444.72 c nbDecision=596500 #constraints=30802 444.84/445.07 c nbDecision=597000 #constraints=30813 445.44/445.65 c nbDecision=597500 #constraints=30836 446.23/446.45 c nbDecision=598000 #constraints=30865 446.83/447.05 c nbDecision=598500 #constraints=30887 447.63/447.86 c nbDecision=599000 #constraints=30909 448.23/448.43 c nbDecision=599500 #constraints=30931 448.73/448.96 c nbDecision=600000 #constraints=30943 449.33/449.52 c nbDecision=600500 #constraints=30952 449.94/450.11 c nbDecision=601000 #constraints=30966 450.54/450.70 c nbDecision=601500 #constraints=30988 451.04/451.21 c nbDecision=602000 #constraints=30997 451.73/451.96 c nbDecision=602500 #constraints=31019 452.22/452.47 c nbDecision=603000 #constraints=31033 452.72/452.95 c nbDecision=603500 #constraints=31056 453.42/453.62 c nbDecision=604000 #constraints=31077 453.82/454.04 c nbDecision=604500 #constraints=31084 454.32/454.55 c nbDecision=605000 #constraints=31095 455.22/455.48 c nbDecision=605500 #constraints=31135 456.81/457.02 c nbDecision=606000 #constraints=31198 457.41/457.62 c nbDecision=606500 #constraints=31206 458.11/458.35 c nbDecision=607000 #constraints=31225 458.71/458.90 c nbDecision=607500 #constraints=31232 459.61/459.83 c nbDecision=608000 #constraints=31271 460.31/460.57 c nbDecision=608500 #constraints=31290 461.00/461.26 c nbDecision=609000 #constraints=31298 461.70/461.99 c nbDecision=609500 #constraints=31316 462.60/462.86 c nbDecision=610000 #constraints=31349 463.40/463.66 c nbDecision=610500 #constraints=31376 463.99/464.21 c nbDecision=611000 #constraints=31393 464.49/464.74 c nbDecision=611500 #constraints=31404 465.09/465.32 c nbDecision=612000 #constraints=31417 465.79/466.07 c nbDecision=612500 #constraints=31456 466.39/466.65 c nbDecision=613000 #constraints=31475 467.08/467.37 c nbDecision=613500 #constraints=31499 467.38/467.69 c nbDecision=614000 #constraints=31505 468.18/468.42 c nbDecision=614500 #constraints=31515 468.68/468.99 c nbDecision=615000 #constraints=31526 469.48/469.72 c nbDecision=615500 #constraints=31554 470.28/470.54 c nbDecision=616000 #constraints=31586 470.68/470.94 c nbDecision=616500 #constraints=31594 471.08/471.37 c nbDecision=617000 #constraints=31603 471.58/471.90 c nbDecision=617500 #constraints=31616 472.47/472.74 c nbDecision=618000 #constraints=31661 472.68/473.00 c nbDecision=618500 #constraints=31667 473.47/473.72 c nbDecision=619000 #constraints=31684 473.97/474.29 c nbDecision=619500 #constraints=31697 474.27/474.58 c nbDecision=620000 #constraints=31703 474.77/475.05 c nbDecision=620500 #constraints=31708 475.37/475.60 c nbDecision=621000 #constraints=31720 475.77/476.09 c nbDecision=621500 #constraints=31733 476.27/476.55 c nbDecision=622000 #constraints=31742 476.87/477.12 c nbDecision=622500 #constraints=31760 477.47/477.74 c nbDecision=623000 #constraints=31779 477.67/477.98 c nbDecision=623500 #constraints=31781 478.37/478.60 c nbDecision=624000 #constraints=31808 478.98/479.27 c nbDecision=624500 #constraints=31833 480.27/480.57 c nbDecision=625000 #constraints=31896 481.87/482.10 c nbDecision=625500 #constraints=31969 483.17/483.42 c nbDecision=626000 #constraints=32021 484.27/484.54 c nbDecision=626500 #constraints=32053 485.76/486.08 c nbDecision=627000 #constraints=32106 486.66/486.96 c nbDecision=627500 #constraints=32121 487.26/487.56 c nbDecision=628000 #constraints=32145 487.86/488.14 c nbDecision=628500 #constraints=32152 488.46/488.73 c nbDecision=629000 #constraints=32169 489.46/489.71 c nbDecision=629500 #constraints=32200 489.96/490.22 c nbDecision=630000 #constraints=32214 490.95/491.25 c nbDecision=630500 #constraints=32254 491.64/491.98 c nbDecision=631000 #constraints=32276 492.46/492.74 c nbDecision=631500 #constraints=32306 493.45/493.79 c nbDecision=632000 #constraints=32344 494.35/494.62 c nbDecision=632500 #constraints=32368 494.95/495.22 c nbDecision=633000 #constraints=32381 495.95/496.21 c nbDecision=633500 #constraints=32420 496.65/496.98 c nbDecision=634000 #constraints=32441 497.05/497.39 c nbDecision=634500 #constraints=32445 497.65/497.94 c nbDecision=635000 #constraints=32454 498.25/498.53 c nbDecision=635500 #constraints=32472 498.55/498.85 c nbDecision=636000 #constraints=32472 499.35/499.69 c nbDecision=636500 #constraints=32497 499.85/500.15 c nbDecision=637000 #constraints=32506 500.35/500.64 c nbDecision=637500 #constraints=32511 501.05/501.33 c nbDecision=638000 #constraints=32526 501.25/501.59 c nbDecision=638500 #constraints=32532 501.85/502.10 c nbDecision=639000 #constraints=32546 502.45/502.76 c nbDecision=639500 #constraints=32564 502.75/503.07 c nbDecision=640000 #constraints=32568 503.45/503.70 c nbDecision=640500 #constraints=32584 504.05/504.35 c nbDecision=641000 #constraints=32607 504.85/505.12 c nbDecision=641500 #constraints=32635 505.75/506.01 c nbDecision=642000 #constraints=32655 506.25/506.59 c nbDecision=642500 #constraints=32663 507.04/507.38 c nbDecision=643000 #constraints=32685 507.64/507.92 c nbDecision=643500 #constraints=32693 508.24/508.54 c nbDecision=644000 #constraints=32723 509.14/509.44 c nbDecision=644500 #constraints=32748 509.94/510.29 c nbDecision=645000 #constraints=32780 510.54/510.83 c nbDecision=645500 #constraints=32789 511.04/511.39 c nbDecision=646000 #constraints=32797 511.84/512.10 c nbDecision=646500 #constraints=32820 512.44/512.70 c nbDecision=647000 #constraints=32838 513.24/513.54 c nbDecision=647500 #constraints=32860 513.54/513.86 c nbDecision=648000 #constraints=32864 513.94/514.29 c nbDecision=648500 #constraints=32868 514.44/514.75 c nbDecision=649000 #constraints=32872 514.84/515.13 c nbDecision=649500 #constraints=32879 515.34/515.65 c nbDecision=650000 #constraints=32888 515.84/516.14 c nbDecision=650500 #constraints=32896 516.64/516.91 c nbDecision=651000 #constraints=32917 517.14/517.48 c nbDecision=651500 #constraints=32942 518.25/518.59 c nbDecision=652000 #constraints=32984 518.85/519.20 c nbDecision=652500 #constraints=33002 519.64/519.95 c nbDecision=653000 #constraints=33024 520.14/520.47 c nbDecision=653500 #constraints=33029 520.44/520.70 c nbDecision=654000 #constraints=33030 521.05/521.35 c nbDecision=654500 #constraints=33054 521.64/521.90 c nbDecision=655000 #constraints=33063 522.15/522.49 c nbDecision=655500 #constraints=33091 522.74/523.01 c nbDecision=656000 #constraints=33106 523.14/523.45 c nbDecision=656500 #constraints=33108 523.74/524.00 c nbDecision=657000 #constraints=33116 524.24/524.55 c nbDecision=657500 #constraints=33127 524.84/525.12 c nbDecision=658000 #constraints=33135 525.34/525.67 c nbDecision=658500 #constraints=33146 525.74/526.01 c nbDecision=659000 #constraints=33150 527.64/527.92 c nbDecision=659500 #constraints=33237 529.44/529.71 c nbDecision=660000 #constraints=33307 530.73/531.09 c nbDecision=660500 #constraints=33349 532.14/532.46 c nbDecision=661000 #constraints=33396 533.83/534.11 c nbDecision=661500 #constraints=33447 535.03/535.38 c nbDecision=662000 #constraints=33487 536.13/536.48 c nbDecision=662500 #constraints=33515 536.93/537.20 c nbDecision=663000 #constraints=33530 537.54/537.87 c nbDecision=663500 #constraints=33555 538.13/538.42 c nbDecision=664000 #constraints=33576 538.43/538.79 c nbDecision=664500 #constraints=33578 539.24/539.52 c nbDecision=665000 #constraints=33590 539.94/540.26 c nbDecision=665500 #constraints=33605 540.54/540.84 c nbDecision=666000 #constraints=33632 540.94/541.28 c nbDecision=666500 #constraints=33641 541.54/541.87 c nbDecision=667000 #constraints=33656 541.94/542.30 c nbDecision=667500 #constraints=33664 542.34/542.67 c nbDecision=668000 #constraints=33666 543.14/543.42 c nbDecision=668500 #constraints=33680 543.53/543.89 c nbDecision=669000 #constraints=33682 543.93/544.23 c nbDecision=669500 #constraints=33682 544.73/545.05 c nbDecision=670000 #constraints=33708 545.63/545.97 c nbDecision=670500 #constraints=33749 546.53/546.81 c nbDecision=671000 #constraints=33775 547.43/547.72 c nbDecision=671500 #constraints=33796 548.43/548.75 c nbDecision=672000 #constraints=33828 549.13/549.47 c nbDecision=672500 #constraints=33851 550.03/550.32 c nbDecision=673000 #constraints=33880 550.43/550.79 c nbDecision=673500 #constraints=33882 551.13/551.47 c nbDecision=674000 #constraints=33899 552.43/552.79 c nbDecision=674500 #constraints=33938 554.04/554.40 c nbDecision=675000 #constraints=33984 554.64/554.92 c nbDecision=675500 #constraints=33988 555.54/555.87 c nbDecision=676000 #constraints=34026 556.24/556.52 c nbDecision=676500 #constraints=34049 557.04/557.34 c nbDecision=677000 #constraints=34074 558.03/558.35 c nbDecision=677500 #constraints=34105 558.83/559.11 c nbDecision=678000 #constraints=34119 559.54/559.85 c nbDecision=678500 #constraints=34133 560.43/560.77 c nbDecision=679000 #constraints=34172 561.03/561.37 c nbDecision=679500 #constraints=34180 562.03/562.37 c nbDecision=680000 #constraints=34208 562.63/562.95 c nbDecision=680500 #constraints=34218 562.83/563.16 c nbDecision=681000 #constraints=34218 563.43/563.77 c nbDecision=681500 #constraints=34231 564.13/564.40 c nbDecision=682000 #constraints=34242 564.63/564.91 c nbDecision=682500 #constraints=34260 565.13/565.42 c nbDecision=683000 #constraints=34270 565.73/566.02 c nbDecision=683500 #constraints=34278 566.33/566.65 c nbDecision=684000 #constraints=34295 567.13/567.42 c nbDecision=684500 #constraints=34322 567.33/567.69 c nbDecision=685000 #constraints=34322 568.33/568.66 c nbDecision=685500 #constraints=34340 569.23/569.58 c nbDecision=686000 #constraints=34377 570.13/570.41 c nbDecision=686500 #constraints=34394 570.93/571.27 c nbDecision=687000 #constraints=34419 571.53/571.85 c nbDecision=687500 #constraints=34434 572.33/572.66 c nbDecision=688000 #constraints=34454 572.53/572.88 c nbDecision=688500 #constraints=34454 573.33/573.69 c nbDecision=689000 #constraints=34487 574.03/574.39 c nbDecision=689500 #constraints=34505 574.43/574.78 c nbDecision=690000 #constraints=34510 575.03/575.34 c nbDecision=690500 #constraints=34523 575.63/575.90 c nbDecision=691000 #constraints=34535 576.23/576.53 c nbDecision=691500 #constraints=34549 577.13/577.42 c nbDecision=692000 #constraints=34582 577.73/578.03 c nbDecision=692500 #constraints=34596 578.63/578.90 c nbDecision=693000 #constraints=34625 579.93/580.26 c nbDecision=693500 #constraints=34674 580.62/580.93 c nbDecision=694000 #constraints=34687 581.53/581.85 c nbDecision=694500 #constraints=34704 582.32/582.67 c nbDecision=695000 #constraints=34721 582.92/583.24 c nbDecision=695500 #constraints=34731 583.33/583.61 c nbDecision=696000 #constraints=34745 583.83/584.12 c nbDecision=696500 #constraints=34748 585.12/585.40 c nbDecision=697000 #constraints=34798 585.72/586.05 c nbDecision=697500 #constraints=34811 586.22/586.58 c nbDecision=698000 #constraints=34813 586.82/587.16 c nbDecision=698500 #constraints=34820 587.52/587.80 c nbDecision=699000 #constraints=34836 587.82/588.18 c nbDecision=699500 #constraints=34840 588.82/589.15 c nbDecision=700000 #constraints=34859 589.32/589.68 c nbDecision=700500 #constraints=34868 590.52/590.87 c nbDecision=701000 #constraints=34922 591.12/591.48 c nbDecision=701500 #constraints=34937 591.52/591.87 c nbDecision=702000 #constraints=34941 592.92/593.20 c nbDecision=702500 #constraints=34988 593.82/594.11 c nbDecision=703000 #constraints=35021 594.12/594.48 c nbDecision=703500 #constraints=35021 594.52/594.88 c nbDecision=704000 #constraints=35024 595.42/595.73 c nbDecision=704500 #constraints=35036 596.12/596.46 c nbDecision=705000 #constraints=35060 597.02/597.34 c nbDecision=705500 #constraints=35077 597.62/597.98 c nbDecision=706000 #constraints=35093 598.22/598.58 c nbDecision=706500 #constraints=35100 598.72/599.03 c nbDecision=707000 #constraints=35117 599.32/599.66 c nbDecision=707500 #constraints=35136 600.13/600.41 c nbDecision=708000 #constraints=35155 601.62/601.95 c nbDecision=708500 #constraints=35200 602.72/603.03 c nbDecision=709000 #constraints=35229 603.72/604.06 c nbDecision=709500 #constraints=35258 605.32/605.61 c nbDecision=710000 #constraints=35309 606.32/606.68 c nbDecision=710500 #constraints=35324 607.62/608.00 c nbDecision=711000 #constraints=35350 609.42/609.78 c nbDecision=711500 #constraints=35412 611.42/611.78 c nbDecision=712000 #constraints=35462 613.11/613.42 c nbDecision=712500 #constraints=35497 614.62/614.91 c nbDecision=713000 #constraints=35537 615.72/616.06 c nbDecision=713500 #constraints=35563 617.32/617.60 c nbDecision=714000 #constraints=35594 619.21/619.52 c nbDecision=714500 #constraints=35645 620.61/620.97 c nbDecision=715000 #constraints=35675 622.51/622.86 c nbDecision=715500 #constraints=35719 623.91/624.23 c nbDecision=716000 #constraints=35754 625.01/625.39 c nbDecision=716500 #constraints=35765 626.72/627.07 c nbDecision=717000 #constraints=35808 628.32/628.62 c nbDecision=717500 #constraints=35850 629.71/630.03 c nbDecision=718000 #constraints=35883 631.91/632.27 c nbDecision=718500 #constraints=35941 633.31/633.61 c nbDecision=719000 #constraints=35963 635.01/635.32 c nbDecision=719500 #constraints=35997 636.51/636.84 c nbDecision=720000 #constraints=36032 637.91/638.26 c nbDecision=720500 #constraints=36069 638.90/639.29 c nbDecision=721000 #constraints=36083 640.00/640.36 c nbDecision=721500 #constraints=36100 641.40/641.72 c nbDecision=722000 #constraints=36125 643.22/643.60 c nbDecision=722500 #constraints=36172 644.91/645.27 c nbDecision=723000 #constraints=36206 646.42/646.76 c nbDecision=723500 #constraints=36247 647.91/648.23 c nbDecision=724000 #constraints=36282 649.11/649.49 c nbDecision=724500 #constraints=36310 650.51/650.87 c nbDecision=725000 #constraints=36339 652.10/652.43 c nbDecision=725500 #constraints=36381 653.50/653.87 c nbDecision=726000 #constraints=36413 654.70/655.02 c nbDecision=726500 #constraints=36427 656.41/656.72 c nbDecision=727000 #constraints=36464 657.60/657.99 c nbDecision=727500 #constraints=36488 659.20/659.56 c nbDecision=728000 #constraints=36516 660.50/660.89 c nbDecision=728500 #constraints=36540 661.70/662.04 c nbDecision=729000 #constraints=36562 663.10/663.41 c nbDecision=729500 #constraints=36591 664.60/664.96 c nbDecision=730000 #constraints=36623 665.70/666.07 c nbDecision=730500 #constraints=36660 667.10/667.47 c nbDecision=731000 #constraints=36684 669.00/669.37 c nbDecision=731500 #constraints=36726 670.30/670.67 c nbDecision=732000 #constraints=36753 672.10/672.49 c nbDecision=732500 #constraints=36794 673.70/674.02 c nbDecision=733000 #constraints=36828 675.10/675.48 c nbDecision=733500 #constraints=36861 676.40/676.78 c nbDecision=734000 #constraints=36892 677.60/677.96 c nbDecision=734500 #constraints=36910 678.70/679.05 c nbDecision=735000 #constraints=36920 680.20/680.54 c nbDecision=735500 #constraints=36942 682.09/682.43 c nbDecision=736000 #constraints=36986 683.59/683.93 c nbDecision=736500 #constraints=37026 684.80/685.10 c nbDecision=737000 #constraints=37075 686.60/686.99 c nbDecision=737500 #constraints=37103 688.10/688.42 c nbDecision=738000 #constraints=37135 689.50/689.84 c nbDecision=738500 #constraints=37162 690.70/691.04 c nbDecision=739000 #constraints=37189 691.90/692.26 c nbDecision=739500 #constraints=37216 693.20/693.57 c nbDecision=740000 #constraints=37254 694.90/695.23 c nbDecision=740500 #constraints=37280 696.00/696.32 c nbDecision=741000 #constraints=37315 697.39/697.74 c nbDecision=741500 #constraints=37351 698.49/698.87 c nbDecision=742000 #constraints=37371 699.89/700.23 c nbDecision=742500 #constraints=37390 701.29/701.70 c nbDecision=743000 #constraints=37428 702.59/702.90 c nbDecision=743500 #constraints=37441 703.59/703.98 c nbDecision=744000 #constraints=37458 705.19/705.51 c nbDecision=744500 #constraints=37483 706.69/707.08 c nbDecision=745000 #constraints=37517 708.10/708.49 c nbDecision=745500 #constraints=37563 709.59/709.90 c nbDecision=746000 #constraints=37583 711.09/711.47 c nbDecision=746500 #constraints=37614 712.99/713.38 c nbDecision=747000 #constraints=37647 714.49/714.83 c nbDecision=747500 #constraints=37681 715.99/716.34 c nbDecision=748000 #constraints=37706 717.19/717.60 c nbDecision=748500 #constraints=37728 719.09/719.46 c nbDecision=749000 #constraints=37785 720.49/720.84 c nbDecision=749500 #constraints=37803 721.88/722.30 c nbDecision=750000 #constraints=37840 723.28/723.65 c nbDecision=750500 #constraints=37883 724.68/725.05 c nbDecision=751000 #constraints=37905 726.39/726.71 c nbDecision=751500 #constraints=37937 727.79/728.18 c nbDecision=752000 #constraints=37969 729.28/729.61 c nbDecision=752500 #constraints=37992 730.58/730.93 c nbDecision=753000 #constraints=38016 731.68/732.01 c nbDecision=753500 #constraints=38031 733.28/733.68 c nbDecision=754000 #constraints=38062 734.78/735.18 c nbDecision=754500 #constraints=38094 736.08/736.40 c nbDecision=755000 #constraints=38125 737.58/737.97 c nbDecision=755500 #constraints=38148 738.98/739.40 c nbDecision=756000 #constraints=38176 740.48/740.83 c nbDecision=756500 #constraints=38202 741.68/742.04 c nbDecision=757000 #constraints=38219 742.78/743.10 c nbDecision=757500 #constraints=38239 744.18/744.60 c nbDecision=758000 #constraints=38270 745.28/745.70 c nbDecision=758500 #constraints=38279 746.78/747.16 c nbDecision=759000 #constraints=38311 748.38/748.73 c nbDecision=759500 #constraints=38343 750.28/750.65 c nbDecision=760000 #constraints=38386 751.68/752.04 c nbDecision=760500 #constraints=38408 752.67/753.09 c nbDecision=761000 #constraints=38421 753.87/754.24 c nbDecision=761500 #constraints=38441 755.17/755.53 c nbDecision=762000 #constraints=38459 756.17/756.59 c nbDecision=762500 #constraints=38477 758.37/758.76 c nbDecision=763000 #constraints=38522 759.78/760.13 c nbDecision=763500 #constraints=38556 761.17/761.56 c nbDecision=764000 #constraints=38582 762.67/763.04 c nbDecision=764500 #constraints=38616 764.27/764.65 c nbDecision=765000 #constraints=38650 765.37/765.77 c nbDecision=765500 #constraints=38667 766.88/767.26 c nbDecision=766000 #constraints=38694 768.58/768.99 c nbDecision=766500 #constraints=38734 769.97/770.30 c nbDecision=767000 #constraints=38751 771.37/771.76 c nbDecision=767500 #constraints=38771 772.67/773.10 c nbDecision=768000 #constraints=38791 774.17/774.58 c nbDecision=768500 #constraints=38820 775.77/776.15 c nbDecision=769000 #constraints=38859 777.67/778.04 c nbDecision=769500 #constraints=38901 778.96/779.36 c nbDecision=770000 #constraints=38925 780.36/780.77 c nbDecision=770500 #constraints=38953 781.86/782.30 c nbDecision=771000 #constraints=38973 783.36/783.78 c nbDecision=771500 #constraints=38999 784.57/784.99 c nbDecision=772000 #constraints=39020 785.97/786.35 c nbDecision=772500 #constraints=39036 787.27/787.61 c nbDecision=773000 #constraints=39063 788.67/789.09 c nbDecision=773500 #constraints=39104 790.36/790.80 c nbDecision=774000 #constraints=39142 791.57/791.91 c nbDecision=774500 #constraints=39162 793.06/793.44 c nbDecision=775000 #constraints=39201 794.66/795.04 c nbDecision=775500 #constraints=39231 796.16/796.52 c nbDecision=776000 #constraints=39257 797.36/797.72 c nbDecision=776500 #constraints=39275 798.76/799.15 c nbDecision=777000 #constraints=39304 800.06/800.42 c nbDecision=777500 #constraints=39322 801.26/801.63 c nbDecision=778000 #constraints=39331 802.86/803.22 c nbDecision=778500 #constraints=39358 803.76/804.18 c nbDecision=779000 #constraints=39362 805.16/805.51 c nbDecision=779500 #constraints=39373 807.16/807.51 c nbDecision=780000 #constraints=39417 808.76/809.13 c nbDecision=780500 #constraints=39445 810.06/810.42 c nbDecision=781000 #constraints=39481 811.36/811.79 c nbDecision=781500 #constraints=39505 812.76/813.12 c nbDecision=782000 #constraints=39520 813.96/814.31 c nbDecision=782500 #constraints=39535 816.06/816.40 c nbDecision=783000 #constraints=39596 817.96/818.38 c nbDecision=783500 #constraints=39636 819.86/820.21 c nbDecision=784000 #constraints=39659 821.46/821.83 c nbDecision=784500 #constraints=39690 822.86/823.29 c nbDecision=785000 #constraints=39720 824.75/825.17 c nbDecision=785500 #constraints=39747 826.76/827.10 c nbDecision=786000 #constraints=39786 828.25/828.69 c nbDecision=786500 #constraints=39820 830.35/830.70 c nbDecision=787000 #constraints=39861 831.65/832.01 c nbDecision=787500 #constraints=39871 832.75/833.16 c nbDecision=788000 #constraints=39899 834.05/834.47 c nbDecision=788500 #constraints=39913 835.75/836.18 c nbDecision=789000 #constraints=39953 837.15/837.51 c nbDecision=789500 #constraints=39968 838.25/838.61 c nbDecision=790000 #constraints=39981 839.66/840.00 c nbDecision=790500 #constraints=39999 840.85/841.21 c nbDecision=791000 #constraints=40012 842.55/842.93 c nbDecision=791500 #constraints=40048 844.36/844.76 c nbDecision=792000 #constraints=40095 845.65/846.04 c nbDecision=792500 #constraints=40110 847.25/847.68 c nbDecision=793000 #constraints=40146 849.15/849.56 c nbDecision=793500 #constraints=40181 850.55/850.95 c nbDecision=794000 #constraints=40205 852.25/852.64 c nbDecision=794500 #constraints=40241 854.05/854.48 c nbDecision=795000 #constraints=40274 855.94/856.36 c nbDecision=795500 #constraints=40314 857.65/858.05 c nbDecision=796000 #constraints=40334 858.94/859.36 c nbDecision=796500 #constraints=40349 860.84/861.27 c nbDecision=797000 #constraints=40386 862.44/862.89 c nbDecision=797500 #constraints=40419 864.04/864.42 c nbDecision=798000 #constraints=40457 865.25/865.63 c nbDecision=798500 #constraints=40474 866.65/867.08 c nbDecision=799000 #constraints=40494 868.14/868.51 c nbDecision=799500 #constraints=40508 869.54/869.98 c nbDecision=800000 #constraints=40523 871.24/871.62 c nbDecision=800500 #constraints=40551 872.54/872.93 c nbDecision=801000 #constraints=40571 873.94/874.37 c nbDecision=801500 #constraints=40609 875.04/875.43 c nbDecision=802000 #constraints=40626 877.04/877.47 c nbDecision=802500 #constraints=40665 878.64/879.01 c nbDecision=803000 #constraints=40684 879.74/880.11 c nbDecision=803500 #constraints=40697 881.34/881.74 c nbDecision=804000 #constraints=40718 882.64/883.01 c nbDecision=804500 #constraints=40727 883.84/884.20 c nbDecision=805000 #constraints=40744 885.74/886.18 c nbDecision=805500 #constraints=40777 887.04/887.44 c nbDecision=806000 #constraints=40797 888.34/888.78 c nbDecision=806500 #constraints=40811 890.24/890.60 c nbDecision=807000 #constraints=40859 891.53/891.97 c nbDecision=807500 #constraints=40875 893.33/893.77 c nbDecision=808000 #constraints=40913 894.73/895.12 c nbDecision=808500 #constraints=40925 896.04/896.44 c nbDecision=809000 #constraints=40943 897.64/898.07 c nbDecision=809500 #constraints=40977 899.14/899.51 c nbDecision=810000 #constraints=40993 900.44/900.83 c nbDecision=810500 #constraints=41019 901.74/902.12 c nbDecision=811000 #constraints=41044 903.63/904.04 c nbDecision=811500 #constraints=41086 904.63/905.02 c nbDecision=812000 #constraints=41097 905.73/906.16 c nbDecision=812500 #constraints=41104 907.33/907.78 c nbDecision=813000 #constraints=41128 909.23/909.65 c nbDecision=813500 #constraints=41154 911.03/911.40 c nbDecision=814000 #constraints=41195 912.93/913.31 c nbDecision=814500 #constraints=41232 914.73/915.18 c nbDecision=815000 #constraints=41266 916.43/916.80 c nbDecision=815500 #constraints=41287 917.73/918.13 c nbDecision=816000 #constraints=41315 919.62/920.02 c nbDecision=816500 #constraints=41343 920.92/921.38 c nbDecision=817000 #constraints=41373 922.43/922.90 c nbDecision=817500 #constraints=41405 924.33/924.73 c nbDecision=818000 #constraints=41438 926.03/926.46 c nbDecision=818500 #constraints=41459 927.83/928.24 c nbDecision=819000 #constraints=41483 928.32/928.76 c restart after 819201 decisions 931.52/931.98 c nbDecision=819500 #constraints=41498 931.82/932.30 c nbDecision=820000 #constraints=41498 932.12/932.54 c nbDecision=820500 #constraints=41498 932.43/932.84 c nbDecision=821000 #constraints=41498 933.02/933.40 c nbDecision=821500 #constraints=41498 933.43/933.86 c nbDecision=822000 #constraints=41498 933.82/934.26 c nbDecision=822500 #constraints=41498 934.22/934.66 c nbDecision=823000 #constraints=41498 934.72/935.16 c nbDecision=823500 #constraints=41498 935.12/935.50 c nbDecision=824000 #constraints=41498 935.32/935.76 c nbDecision=824500 #constraints=41498 935.42/935.82 c nbDecision=825000 #constraints=41498 935.42/935.88 c nbDecision=825500 #constraints=41498 935.52/935.94 c nbDecision=826000 #constraints=41498 935.73/936.14 c nbDecision=826500 #constraints=41502 936.02/936.47 c nbDecision=827000 #constraints=41507 937.22/937.62 c nbDecision=827500 #constraints=41538 938.52/938.98 c nbDecision=828000 #constraints=41568 939.52/939.95 c nbDecision=828500 #constraints=41580 939.82/940.29 c nbDecision=829000 #constraints=41580 941.32/941.71 c nbDecision=829500 #constraints=41602 942.32/942.76 c nbDecision=830000 #constraints=41628 942.82/943.25 c nbDecision=830500 #constraints=41635 943.62/944.03 c nbDecision=831000 #constraints=41646 944.43/944.90 c nbDecision=831500 #constraints=41661 945.33/945.77 c nbDecision=832000 #constraints=41679 946.73/947.11 c nbDecision=832500 #constraints=41695 946.92/947.38 c nbDecision=833000 #constraints=41697 948.12/948.50 c nbDecision=833500 #constraints=41712 948.92/949.38 c nbDecision=834000 #constraints=41728 949.32/949.78 c nbDecision=834500 #constraints=41730 950.22/950.68 c nbDecision=835000 #constraints=41747 951.32/951.75 c nbDecision=835500 #constraints=41770 952.12/952.58 c nbDecision=836000 #constraints=41785 952.52/952.98 c nbDecision=836500 #constraints=41790 953.62/954.06 c nbDecision=837000 #constraints=41814 954.22/954.61 c nbDecision=837500 #constraints=41817 955.12/955.53 c nbDecision=838000 #constraints=41834 956.02/956.44 c nbDecision=838500 #constraints=41858 956.42/956.88 c nbDecision=839000 #constraints=41864 957.01/957.45 c nbDecision=839500 #constraints=41869 957.91/958.33 c nbDecision=840000 #constraints=41882 958.72/959.15 c nbDecision=840500 #constraints=41892 959.11/959.59 c nbDecision=841000 #constraints=41897 960.61/961.04 c nbDecision=841500 #constraints=41930 961.42/961.89 c nbDecision=842000 #constraints=41947 962.02/962.48 c nbDecision=842500 #constraints=41960 963.72/964.12 c nbDecision=843000 #constraints=41995 964.22/964.60 c nbDecision=843500 #constraints=42005 965.02/965.44 c nbDecision=844000 #constraints=42029 965.72/966.19 c nbDecision=844500 #constraints=42039 966.32/966.72 c nbDecision=845000 #constraints=42044 967.92/968.31 c nbDecision=845500 #constraints=42081 968.32/968.72 c nbDecision=846000 #constraints=42083 969.52/969.91 c nbDecision=846500 #constraints=42110 970.62/971.05 c nbDecision=847000 #constraints=42129 971.42/971.87 c nbDecision=847500 #constraints=42138 972.72/973.13 c nbDecision=848000 #constraints=42172 973.52/973.97 c nbDecision=848500 #constraints=42181 974.31/974.77 c nbDecision=849000 #constraints=42191 975.51/975.94 c nbDecision=849500 #constraints=42219 976.51/976.91 c nbDecision=850000 #constraints=42240 977.21/977.63 c nbDecision=850500 #constraints=42244 978.01/978.45 c nbDecision=851000 #constraints=42258 979.31/979.79 c nbDecision=851500 #constraints=42294 980.11/980.56 c nbDecision=852000 #constraints=42303 981.11/981.57 c nbDecision=852500 #constraints=42324 981.61/982.04 c nbDecision=853000 #constraints=42332 982.51/982.95 c nbDecision=853500 #constraints=42355 983.40/983.80 c nbDecision=854000 #constraints=42374 984.41/984.88 c nbDecision=854500 #constraints=42399 985.81/986.22 c nbDecision=855000 #constraints=42411 986.01/986.45 c nbDecision=855500 #constraints=42411 986.91/987.33 c nbDecision=856000 #constraints=42422 987.71/988.19 c nbDecision=856500 #constraints=42442 988.71/989.12 c nbDecision=857000 #constraints=42460 989.01/989.40 c nbDecision=857500 #constraints=42463 989.91/990.36 c nbDecision=858000 #constraints=42473 991.21/991.63 c nbDecision=858500 #constraints=42484 992.21/992.69 c nbDecision=859000 #constraints=42511 992.81/993.29 c nbDecision=859500 #constraints=42524 993.51/993.97 c nbDecision=860000 #constraints=42535 994.40/994.80 c nbDecision=860500 #constraints=42552 995.30/995.78 c nbDecision=861000 #constraints=42565 996.00/996.47 c nbDecision=861500 #constraints=42567 996.80/997.21 c nbDecision=862000 #constraints=42573 997.31/997.75 c nbDecision=862500 #constraints=42586 998.10/998.57 c nbDecision=863000 #constraints=42604 999.20/999.61 c nbDecision=863500 #constraints=42631 1000.60/1001.06 c nbDecision=864000 #constraints=42682 1001.60/1002.04 c nbDecision=864500 #constraints=42707 1002.50/1002.98 c nbDecision=865000 #constraints=42723 1003.01/1003.47 c nbDecision=865500 #constraints=42730 1003.81/1004.23 c nbDecision=866000 #constraints=42743 1004.61/1005.05 c nbDecision=866500 #constraints=42753 1005.11/1005.53 c nbDecision=867000 #constraints=42758 1005.71/1006.18 c nbDecision=867500 #constraints=42765 1006.70/1007.17 c nbDecision=868000 #constraints=42782 1007.50/1007.90 c nbDecision=868500 #constraints=42783 1009.00/1009.43 c nbDecision=869000 #constraints=42804 1009.20/1009.68 c nbDecision=869500 #constraints=42804 1010.20/1010.64 c nbDecision=870000 #constraints=42817 1011.30/1011.76 c nbDecision=870500 #constraints=42838 1011.90/1012.34 c nbDecision=871000 #constraints=42844 1012.90/1013.38 c nbDecision=871500 #constraints=42869 1014.10/1014.57 c nbDecision=872000 #constraints=42894 1014.50/1014.91 c nbDecision=872500 #constraints=42895 1015.40/1015.83 c nbDecision=873000 #constraints=42924 1016.50/1016.91 c nbDecision=873500 #constraints=42946 1017.20/1017.67 c nbDecision=874000 #constraints=42976 1018.50/1018.97 c nbDecision=874500 #constraints=42997 1019.50/1019.90 c nbDecision=875000 #constraints=43021 1020.00/1020.43 c nbDecision=875500 #constraints=43029 1020.59/1021.09 c nbDecision=876000 #constraints=43038 1021.79/1022.25 c nbDecision=876500 #constraints=43073 1022.69/1023.19 c nbDecision=877000 #constraints=43091 1023.79/1024.27 c nbDecision=877500 #constraints=43105 1024.49/1024.97 c nbDecision=878000 #constraints=43107 1025.49/1025.91 c nbDecision=878500 #constraints=43119 1025.69/1026.16 c nbDecision=879000 #constraints=43119 1026.69/1027.17 c nbDecision=879500 #constraints=43141 1027.79/1028.20 c nbDecision=880000 #constraints=43167 1028.49/1028.92 c nbDecision=880500 #constraints=43185 1029.10/1029.51 c nbDecision=881000 #constraints=43192 1029.89/1030.38 c nbDecision=881500 #constraints=43212 1030.79/1031.24 c nbDecision=882000 #constraints=43220 1031.19/1031.67 c nbDecision=882500 #constraints=43220 1031.89/1032.33 c nbDecision=883000 #constraints=43230 1032.79/1033.24 c nbDecision=883500 #constraints=43246 1033.49/1033.96 c nbDecision=884000 #constraints=43249 1034.19/1034.65 c nbDecision=884500 #constraints=43252 1035.29/1035.70 c nbDecision=885000 #constraints=43272 1036.09/1036.50 c nbDecision=885500 #constraints=43283 1037.19/1037.65 c nbDecision=886000 #constraints=43300 1037.89/1038.34 c nbDecision=886500 #constraints=43307 1038.90/1039.34 c nbDecision=887000 #constraints=43330 1039.20/1039.62 c nbDecision=887500 #constraints=43330 1040.60/1041.09 c nbDecision=888000 #constraints=43343 1041.59/1042.03 c nbDecision=888500 #constraints=43361 1041.89/1042.36 c nbDecision=889000 #constraints=43361 1042.69/1043.13 c nbDecision=889500 #constraints=43376 1043.59/1044.02 c nbDecision=890000 #constraints=43400 1044.39/1044.87 c nbDecision=890500 #constraints=43420 1045.59/1046.03 c nbDecision=891000 #constraints=43448 1046.29/1046.74 c nbDecision=891500 #constraints=43451 1047.09/1047.53 c nbDecision=892000 #constraints=43465 1047.69/1048.18 c nbDecision=892500 #constraints=43469 1048.69/1049.16 c nbDecision=893000 #constraints=43496 1049.79/1050.28 c nbDecision=893500 #constraints=43510 1050.49/1050.96 c nbDecision=894000 #constraints=43514 1051.89/1052.38 c nbDecision=894500 #constraints=43543 1053.89/1054.35 c nbDecision=895000 #constraints=43577 1055.88/1056.32 c nbDecision=895500 #constraints=43601 1057.48/1057.99 c nbDecision=896000 #constraints=43620 1059.39/1059.83 c nbDecision=896500 #constraints=43644 1060.99/1061.40 c nbDecision=897000 #constraints=43665 1062.49/1062.96 c nbDecision=897500 #constraints=43696 1063.98/1064.40 c nbDecision=898000 #constraints=43722 1065.49/1065.91 c nbDecision=898500 #constraints=43748 1066.88/1067.33 c nbDecision=899000 #constraints=43778 1068.28/1068.70 c nbDecision=899500 #constraints=43797 1069.48/1069.94 c nbDecision=900000 #constraints=43810 1070.89/1071.36 c nbDecision=900500 #constraints=43839 1072.38/1072.83 c nbDecision=901000 #constraints=43850 1074.08/1074.51 c nbDecision=901500 #constraints=43870 1075.38/1075.84 c nbDecision=902000 #constraints=43903 1076.98/1077.45 c nbDecision=902500 #constraints=43928 1078.38/1078.82 c nbDecision=903000 #constraints=43950 1079.97/1080.46 c nbDecision=903500 #constraints=43968 1081.58/1082.05 c nbDecision=904000 #constraints=44003 1083.38/1083.82 c nbDecision=904500 #constraints=44021 1084.98/1085.46 c nbDecision=905000 #constraints=44047 1086.88/1087.31 c nbDecision=905500 #constraints=44082 1088.37/1088.81 c nbDecision=906000 #constraints=44099 1089.68/1090.15 c nbDecision=906500 #constraints=44132 1090.97/1091.47 c nbDecision=907000 #constraints=44151 1092.98/1093.45 c nbDecision=907500 #constraints=44175 1093.58/1094.07 c nbDecision=908000 #constraints=44181 1094.28/1094.74 c nbDecision=908500 #constraints=44185 1094.98/1095.48 c nbDecision=909000 #constraints=44190 1095.48/1095.94 c nbDecision=909500 #constraints=44199 1096.48/1096.91 c nbDecision=910000 #constraints=44216 1097.88/1098.33 c nbDecision=910500 #constraints=44253 1098.87/1099.30 c nbDecision=911000 #constraints=44274 1099.77/1100.26 c nbDecision=911500 #constraints=44286 1100.27/1100.74 c nbDecision=912000 #constraints=44298 1101.17/1101.61 c nbDecision=912500 #constraints=44314 1102.17/1102.63 c nbDecision=913000 #constraints=44339 1102.47/1102.99 c nbDecision=913500 #constraints=44339 1103.27/1103.75 c nbDecision=914000 #constraints=44353 1104.37/1104.82 c nbDecision=914500 #constraints=44382 1104.98/1105.46 c nbDecision=915000 #constraints=44401 1106.47/1106.96 c nbDecision=915500 #constraints=44423 1107.27/1107.72 c nbDecision=916000 #constraints=44426 1107.87/1108.38 c nbDecision=916500 #constraints=44445 1110.67/1111.14 c nbDecision=917000 #constraints=44508 1112.37/1112.87 c nbDecision=917500 #constraints=44544 1114.77/1115.21 c nbDecision=918000 #constraints=44596 1116.66/1117.12 c nbDecision=918500 #constraints=44632 1118.17/1118.63 c nbDecision=919000 #constraints=44661 1119.97/1120.42 c nbDecision=919500 #constraints=44697 1121.27/1121.74 c nbDecision=920000 #constraints=44723 1123.07/1123.51 c nbDecision=920500 #constraints=44755 1124.27/1124.72 c nbDecision=921000 #constraints=44768 1125.77/1126.27 c nbDecision=921500 #constraints=44787 1127.17/1127.60 c nbDecision=922000 #constraints=44814 1128.57/1129.00 c nbDecision=922500 #constraints=44837 1130.37/1130.83 c nbDecision=923000 #constraints=44874 1132.27/1132.73 c nbDecision=923500 #constraints=44903 1133.57/1134.02 c nbDecision=924000 #constraints=44931 1135.26/1135.77 c nbDecision=924500 #constraints=44975 1137.36/1137.87 c nbDecision=925000 #constraints=45018 1138.76/1139.27 c nbDecision=925500 #constraints=45044 1140.67/1141.12 c nbDecision=926000 #constraints=45074 1142.77/1143.25 c nbDecision=926500 #constraints=45125 1144.27/1144.80 c nbDecision=927000 #constraints=45153 1145.96/1146.46 c nbDecision=927500 #constraints=45186 1147.36/1147.82 c nbDecision=928000 #constraints=45200 1149.26/1149.77 c nbDecision=928500 #constraints=45226 1151.06/1151.50 c nbDecision=929000 #constraints=45264 1152.66/1153.14 c nbDecision=929500 #constraints=45281 1154.26/1154.76 c nbDecision=930000 #constraints=45314 1156.06/1156.53 c nbDecision=930500 #constraints=45356 1157.66/1158.11 c nbDecision=931000 #constraints=45375 1158.26/1158.79 c nbDecision=931500 #constraints=45381 1159.06/1159.58 c nbDecision=932000 #constraints=45388 1160.16/1160.60 c nbDecision=932500 #constraints=45403 1160.46/1160.96 c nbDecision=933000 #constraints=45411 1161.36/1161.86 c nbDecision=933500 #constraints=45421 1162.66/1163.15 c nbDecision=934000 #constraints=45445 1163.65/1164.12 c nbDecision=934500 #constraints=45468 1164.15/1164.67 c nbDecision=935000 #constraints=45480 1164.85/1165.30 c nbDecision=935500 #constraints=45486 1165.75/1166.20 c nbDecision=936000 #constraints=45498 1167.15/1167.63 c nbDecision=936500 #constraints=45522 1169.46/1169.98 c nbDecision=937000 #constraints=45581 1172.86/1173.35 c nbDecision=937500 #constraints=45638 1175.46/1175.95 c nbDecision=938000 #constraints=45695 1176.95/1177.40 c nbDecision=938500 #constraints=45714 1178.55/1179.05 c nbDecision=939000 #constraints=45730 1180.05/1180.50 c nbDecision=939500 #constraints=45751 1181.65/1182.18 c nbDecision=940000 #constraints=45784 1183.05/1183.51 c nbDecision=940500 #constraints=45798 1186.35/1186.86 c nbDecision=941000 #constraints=45850 1189.25/1189.79 c nbDecision=941500 #constraints=45891 1191.64/1192.17 c nbDecision=942000 #constraints=45920 1193.54/1194.04 c nbDecision=942500 #constraints=45948 1194.64/1195.18 c nbDecision=943000 #constraints=45967 1196.14/1196.62 c nbDecision=943500 #constraints=45986 1197.54/1198.06 c nbDecision=944000 #constraints=45998 1198.94/1199.42 c nbDecision=944500 #constraints=46030 1200.44/1200.93 c nbDecision=945000 #constraints=46057 1201.75/1202.29 c nbDecision=945500 #constraints=46081 1204.15/1204.64 c nbDecision=946000 #constraints=46114 1206.25/1206.73 c nbDecision=946500 #constraints=46149 1208.54/1209.05 c nbDecision=947000 #constraints=46190 1211.04/1211.54 c nbDecision=947500 #constraints=46226 1212.85/1213.35 c nbDecision=948000 #constraints=46255 1215.34/1215.89 c nbDecision=948500 #constraints=46291 1217.64/1218.19 c nbDecision=949000 #constraints=46345 1219.04/1219.56 c nbDecision=949500 #constraints=46368 1221.24/1221.77 c nbDecision=950000 #constraints=46391 1222.74/1223.24 c nbDecision=950500 #constraints=46407 1224.54/1225.00 c nbDecision=951000 #constraints=46440 1226.34/1226.81 c nbDecision=951500 #constraints=46471 1229.04/1229.54 c nbDecision=952000 #constraints=46509 1230.94/1231.40 c nbDecision=952500 #constraints=46531 1232.74/1233.28 c nbDecision=953000 #constraints=46556 1234.44/1234.91 c nbDecision=953500 #constraints=46576 1236.34/1236.83 c nbDecision=954000 #constraints=46593 1238.33/1238.85 c nbDecision=954500 #constraints=46615 1240.13/1240.61 c nbDecision=955000 #constraints=46637 1242.33/1242.80 c nbDecision=955500 #constraints=46664 1243.63/1244.13 c nbDecision=956000 #constraints=46688 1245.53/1246.02 c nbDecision=956500 #constraints=46711 1246.83/1247.36 c nbDecision=957000 #constraints=46720 1248.53/1249.06 c nbDecision=957500 #constraints=46742 1250.33/1250.80 c nbDecision=958000 #constraints=46767 1252.13/1252.68 c nbDecision=958500 #constraints=46792 1253.83/1254.32 c nbDecision=959000 #constraints=46804 1255.64/1256.19 c nbDecision=959500 #constraints=46830 1257.43/1257.96 c nbDecision=960000 #constraints=46861 1259.23/1259.76 c nbDecision=960500 #constraints=46886 1261.03/1261.52 c nbDecision=961000 #constraints=46916 1262.63/1263.18 c nbDecision=961500 #constraints=46941 1263.82/1264.34 c nbDecision=962000 #constraints=46947 1265.32/1265.86 c nbDecision=962500 #constraints=46961 1267.62/1268.14 c nbDecision=963000 #constraints=46994 1269.42/1269.96 c nbDecision=963500 #constraints=47027 1271.12/1271.66 c nbDecision=964000 #constraints=47053 1273.22/1273.79 c nbDecision=964500 #constraints=47103 1274.62/1275.20 c nbDecision=965000 #constraints=47120 1276.42/1276.92 c nbDecision=965500 #constraints=47136 1277.62/1278.13 c nbDecision=966000 #constraints=47145 1279.12/1279.65 c nbDecision=966500 #constraints=47158 1280.52/1281.00 c nbDecision=967000 #constraints=47170 1281.82/1282.39 c nbDecision=967500 #constraints=47189 1283.52/1284.06 c nbDecision=968000 #constraints=47209 1285.03/1285.58 c nbDecision=968500 #constraints=47221 1287.13/1287.65 c nbDecision=969000 #constraints=47243 1288.93/1289.45 c nbDecision=969500 #constraints=47266 1290.42/1290.99 c nbDecision=970000 #constraints=47291 1292.12/1292.61 c nbDecision=970500 #constraints=47304 1293.42/1293.98 c nbDecision=971000 #constraints=47316 1293.92/1294.42 c nbDecision=971500 #constraints=47321 1295.32/1295.86 c nbDecision=972000 #constraints=47338 1296.22/1296.73 c nbDecision=972500 #constraints=47343 1296.72/1297.27 c nbDecision=973000 #constraints=47352 1297.82/1298.32 c nbDecision=973500 #constraints=47377 1299.32/1299.80 c nbDecision=974000 #constraints=47394 1300.12/1300.69 c nbDecision=974500 #constraints=47404 1300.72/1301.28 c nbDecision=975000 #constraints=47414 1301.42/1301.93 c nbDecision=975500 #constraints=47420 1302.42/1302.98 c nbDecision=976000 #constraints=47438 1302.92/1303.50 c nbDecision=976500 #constraints=47443 1304.51/1305.06 c nbDecision=977000 #constraints=47464 1305.01/1305.57 c nbDecision=977500 #constraints=47473 1306.01/1306.53 c nbDecision=978000 #constraints=47488 1306.91/1307.48 c nbDecision=978500 #constraints=47497 1307.61/1308.12 c nbDecision=979000 #constraints=47505 1309.01/1309.54 c nbDecision=979500 #constraints=47522 1309.41/1309.96 c nbDecision=980000 #constraints=47522 1310.91/1311.49 c nbDecision=980500 #constraints=47540 1311.31/1311.83 c nbDecision=981000 #constraints=47543 1312.51/1313.09 c nbDecision=981500 #constraints=47568 1313.51/1314.04 c nbDecision=982000 #constraints=47589 1314.91/1315.50 c nbDecision=982500 #constraints=47605 1315.51/1316.09 c nbDecision=983000 #constraints=47616 1317.22/1317.72 c nbDecision=983500 #constraints=47637 1317.42/1317.96 c nbDecision=984000 #constraints=47637 1318.52/1319.01 c nbDecision=984500 #constraints=47654 1319.61/1320.10 c nbDecision=985000 #constraints=47674 1320.41/1320.96 c nbDecision=985500 #constraints=47704 1321.11/1321.65 c nbDecision=986000 #constraints=47710 1322.01/1322.57 c nbDecision=986500 #constraints=47715 1322.82/1323.36 c nbDecision=987000 #constraints=47716 1324.41/1324.99 c nbDecision=987500 #constraints=47732 1324.81/1325.39 c nbDecision=988000 #constraints=47734 1325.91/1326.45 c nbDecision=988500 #constraints=47763 1326.71/1327.27 c nbDecision=989000 #constraints=47767 1327.91/1328.43 c nbDecision=989500 #constraints=47789 1328.31/1328.81 c nbDecision=990000 #constraints=47790 1329.01/1329.52 c nbDecision=990500 #constraints=47794 1330.11/1330.69 c nbDecision=991000 #constraints=47819 1330.81/1331.33 c nbDecision=991500 #constraints=47831 1331.51/1332.08 c nbDecision=992000 #constraints=47839 1332.51/1333.09 c nbDecision=992500 #constraints=47854 1334.01/1334.57 c nbDecision=993000 #constraints=47890 1335.00/1335.57 c nbDecision=993500 #constraints=47907 1336.01/1336.58 c nbDecision=994000 #constraints=47921 1337.70/1338.24 c nbDecision=994500 #constraints=47959 1338.50/1339.08 c nbDecision=995000 #constraints=47964 1339.50/1340.00 c nbDecision=995500 #constraints=47978 1340.80/1341.37 c nbDecision=996000 #constraints=48000 1341.80/1342.36 c nbDecision=996500 #constraints=48015 1342.40/1342.98 c nbDecision=997000 #constraints=48022 1343.30/1343.83 c nbDecision=997500 #constraints=48038 1344.40/1344.98 c nbDecision=998000 #constraints=48053 1346.30/1346.81 c nbDecision=998500 #constraints=48091 1346.60/1347.16 c nbDecision=999000 #constraints=48094 1347.70/1348.23 c nbDecision=999500 #constraints=48107 1348.50/1349.04 c nbDecision=1000000 #constraints=48110 1349.70/1350.22 c nbDecision=1000500 #constraints=48131 1350.50/1351.03 c nbDecision=1001000 #constraints=48140 1351.50/1352.07 c nbDecision=1001500 #constraints=48155 1351.80/1352.34 c nbDecision=1002000 #constraints=48157 1352.70/1353.22 c nbDecision=1002500 #constraints=48169 1353.61/1354.18 c nbDecision=1003000 #constraints=48186 1354.20/1354.70 c nbDecision=1003500 #constraints=48190 1354.90/1355.44 c nbDecision=1004000 #constraints=48200 1355.90/1356.48 c nbDecision=1004500 #constraints=48221 1356.70/1357.27 c nbDecision=1005000 #constraints=48224 1357.80/1358.38 c nbDecision=1005500 #constraints=48241 1358.10/1358.62 c nbDecision=1006000 #constraints=48241 1359.70/1360.26 c nbDecision=1006500 #constraints=48269 1360.70/1361.25 c nbDecision=1007000 #constraints=48278 1361.90/1362.42 c nbDecision=1007500 #constraints=48303 1362.80/1363.40 c nbDecision=1008000 #constraints=48316 1363.20/1363.79 c nbDecision=1008500 #constraints=48323 1364.10/1364.61 c nbDecision=1009000 #constraints=48330 1365.19/1365.75 c nbDecision=1009500 #constraints=48353 1365.49/1366.06 c nbDecision=1010000 #constraints=48358 1366.70/1367.20 c nbDecision=1010500 #constraints=48376 1367.59/1368.14 c nbDecision=1011000 #constraints=48389 1368.09/1368.68 c nbDecision=1011500 #constraints=48394 1368.79/1369.37 c nbDecision=1012000 #constraints=48402 1369.79/1370.38 c nbDecision=1012500 #constraints=48428 1370.99/1371.50 c nbDecision=1013000 #constraints=48449 1371.49/1372.07 c nbDecision=1013500 #constraints=48460 1372.29/1372.83 c nbDecision=1014000 #constraints=48471 1373.19/1373.76 c nbDecision=1014500 #constraints=48482 1373.79/1374.34 c nbDecision=1015000 #constraints=48489 1374.80/1375.32 c nbDecision=1015500 #constraints=48516 1375.89/1376.44 c nbDecision=1016000 #constraints=48540 1376.79/1377.35 c nbDecision=1016500 #constraints=48547 1378.60/1379.14 c nbDecision=1017000 #constraints=48574 1379.00/1379.57 c nbDecision=1017500 #constraints=48585 1380.19/1380.72 c nbDecision=1018000 #constraints=48610 1381.10/1381.62 c nbDecision=1018500 #constraints=48617 1381.79/1382.36 c nbDecision=1019000 #constraints=48626 1384.49/1385.04 c nbDecision=1019500 #constraints=48674 1385.89/1386.44 c nbDecision=1020000 #constraints=48689 1387.69/1388.28 c nbDecision=1020500 #constraints=48722 1390.19/1390.72 c nbDecision=1021000 #constraints=48751 1393.38/1393.94 c nbDecision=1021500 #constraints=48786 1396.28/1396.90 c nbDecision=1022000 #constraints=48825 1398.99/1399.56 c nbDecision=1022500 #constraints=48872 1401.09/1401.69 c nbDecision=1023000 #constraints=48906 1402.79/1403.36 c nbDecision=1023500 #constraints=48918 1404.48/1405.03 c nbDecision=1024000 #constraints=48942 1405.98/1406.59 c nbDecision=1024500 #constraints=48961 1408.49/1409.06 c nbDecision=1025000 #constraints=48991 1410.38/1410.90 c nbDecision=1025500 #constraints=49007 1412.08/1412.64 c nbDecision=1026000 #constraints=49026 1413.58/1414.10 c nbDecision=1026500 #constraints=49042 1415.28/1415.82 c nbDecision=1027000 #constraints=49054 1417.98/1418.57 c nbDecision=1027500 #constraints=49081 1418.68/1419.26 c nbDecision=1028000 #constraints=49087 1419.58/1420.12 c nbDecision=1028500 #constraints=49095 1420.98/1421.56 c nbDecision=1029000 #constraints=49121 1421.48/1422.01 c nbDecision=1029500 #constraints=49127 1422.78/1423.35 c nbDecision=1030000 #constraints=49153 1424.37/1424.97 c nbDecision=1030500 #constraints=49175 1424.87/1425.44 c nbDecision=1031000 #constraints=49190 1425.87/1426.49 c nbDecision=1031500 #constraints=49201 1426.97/1427.57 c nbDecision=1032000 #constraints=49219 1428.58/1429.17 c nbDecision=1032500 #constraints=49246 1429.58/1430.17 c nbDecision=1033000 #constraints=49255 1430.38/1430.93 c nbDecision=1033500 #constraints=49272 1431.18/1431.75 c nbDecision=1034000 #constraints=49281 1432.68/1433.27 c nbDecision=1034500 #constraints=49312 1433.78/1434.35 c nbDecision=1035000 #constraints=49328 1435.37/1435.99 c nbDecision=1035500 #constraints=49364 1436.57/1437.14 c nbDecision=1036000 #constraints=49376 1436.77/1437.37 c nbDecision=1036500 #constraints=49376 1438.28/1438.86 c nbDecision=1037000 #constraints=49408 1439.67/1440.22 c nbDecision=1037500 #constraints=49428 1440.38/1440.91 c nbDecision=1038000 #constraints=49431 1441.67/1442.23 c nbDecision=1038500 #constraints=49468 1442.77/1443.34 c nbDecision=1039000 #constraints=49482 1443.17/1443.78 c nbDecision=1039500 #constraints=49484 1444.07/1444.68 c nbDecision=1040000 #constraints=49503 1445.17/1445.73 c nbDecision=1040500 #constraints=49527 1445.77/1446.35 c nbDecision=1041000 #constraints=49539 1447.27/1447.87 c nbDecision=1041500 #constraints=49569 1447.97/1448.58 c nbDecision=1042000 #constraints=49572 1449.47/1450.00 c nbDecision=1042500 #constraints=49588 1450.97/1451.57 c nbDecision=1043000 #constraints=49605 1452.17/1452.73 c nbDecision=1043500 #constraints=49622 1452.67/1453.20 c nbDecision=1044000 #constraints=49623 1453.47/1454.10 c nbDecision=1044500 #constraints=49634 1454.67/1455.29 c nbDecision=1045000 #constraints=49649 1455.96/1456.58 c nbDecision=1045500 #constraints=49671 1457.16/1457.70 c nbDecision=1046000 #constraints=49695 1457.66/1458.22 c nbDecision=1046500 #constraints=49704 1458.46/1459.09 c nbDecision=1047000 #constraints=49720 1459.66/1460.20 c nbDecision=1047500 #constraints=49737 1460.66/1461.28 c nbDecision=1048000 #constraints=49753 1461.06/1461.65 c nbDecision=1048500 #constraints=49753 1462.47/1463.04 c nbDecision=1049000 #constraints=49769 1463.07/1463.68 c nbDecision=1049500 #constraints=49771 1464.27/1464.83 c nbDecision=1050000 #constraints=49783 1466.37/1466.98 c nbDecision=1050500 #constraints=49818 1467.07/1467.67 c nbDecision=1051000 #constraints=49828 1468.16/1468.71 c nbDecision=1051500 #constraints=49848 1468.97/1469.58 c nbDecision=1052000 #constraints=49854 1469.96/1470.53 c nbDecision=1052500 #constraints=49860 1470.26/1470.86 c nbDecision=1053000 #constraints=49866 1471.46/1472.04 c nbDecision=1053500 #constraints=49888 1472.66/1473.24 c nbDecision=1054000 #constraints=49907 1473.76/1474.31 c nbDecision=1054500 #constraints=49925 1475.57/1476.16 c nbDecision=1055000 #constraints=49953 1476.36/1476.96 c nbDecision=1055500 #constraints=49959 1477.76/1478.37 c nbDecision=1056000 #constraints=49983 1478.56/1479.15 c nbDecision=1056500 #constraints=49985 1479.66/1480.29 c nbDecision=1057000 #constraints=50005 1480.96/1481.50 c nbDecision=1057500 #constraints=50018 1481.86/1482.49 c nbDecision=1058000 #constraints=50032 1482.46/1483.08 c nbDecision=1058500 #constraints=50040 1483.66/1484.24 c nbDecision=1059000 #constraints=50065 1485.06/1485.65 c nbDecision=1059500 #constraints=50097 1486.66/1487.23 c nbDecision=1060000 #constraints=50118 1487.35/1487.94 c nbDecision=1060500 #constraints=50127 1488.76/1489.39 c nbDecision=1061000 #constraints=50150 1489.75/1490.31 c nbDecision=1061500 #constraints=50154 1490.86/1491.42 c nbDecision=1062000 #constraints=50182 1491.26/1491.86 c nbDecision=1062500 #constraints=50185 1492.26/1492.83 c nbDecision=1063000 #constraints=50198 1493.66/1494.23 c nbDecision=1063500 #constraints=50219 1494.46/1495.08 c nbDecision=1064000 #constraints=50225 1495.46/1496.02 c nbDecision=1064500 #constraints=50231 1496.36/1496.93 c nbDecision=1065000 #constraints=50257 1497.06/1497.60 c nbDecision=1065500 #constraints=50261 1498.26/1498.84 c nbDecision=1066000 #constraints=50281 1499.36/1499.97 c nbDecision=1066500 #constraints=50291 1499.95/1500.54 c nbDecision=1067000 #constraints=50300 1501.95/1502.52 c nbDecision=1067500 #constraints=50329 1502.25/1502.80 c nbDecision=1068000 #constraints=50330 1503.45/1504.00 c nbDecision=1068500 #constraints=50346 1504.75/1505.31 c nbDecision=1069000 #constraints=50363 1505.45/1506.07 c nbDecision=1069500 #constraints=50370 1507.15/1507.75 c nbDecision=1070000 #constraints=50393 1507.85/1508.44 c nbDecision=1070500 #constraints=50395 1508.85/1509.40 c nbDecision=1071000 #constraints=50413 1509.85/1510.45 c nbDecision=1071500 #constraints=50427 1510.35/1510.92 c nbDecision=1072000 #constraints=50428 1511.75/1512.40 c nbDecision=1072500 #constraints=50445 1512.84/1513.48 c nbDecision=1073000 #constraints=50462 1513.34/1513.98 c nbDecision=1073500 #constraints=50462 1515.64/1516.24 c nbDecision=1074000 #constraints=50500 1515.84/1516.49 c nbDecision=1074500 #constraints=50500 1517.45/1518.01 c nbDecision=1075000 #constraints=50520 1518.14/1518.74 c nbDecision=1075500 #constraints=50526 1519.24/1519.83 c nbDecision=1076000 #constraints=50539 1520.84/1521.45 c nbDecision=1076500 #constraints=50559 1521.64/1522.22 c nbDecision=1077000 #constraints=50565 1522.54/1523.15 c nbDecision=1077500 #constraints=50568 1523.95/1524.56 c nbDecision=1078000 #constraints=50592 1524.64/1525.28 c nbDecision=1078500 #constraints=50594 1525.95/1526.55 c nbDecision=1079000 #constraints=50613 1526.95/1527.56 c nbDecision=1079500 #constraints=50627 1528.35/1528.98 c nbDecision=1080000 #constraints=50648 1529.34/1529.96 c nbDecision=1080500 #constraints=50660 1529.74/1530.36 c nbDecision=1081000 #constraints=50661 1531.24/1531.88 c nbDecision=1081500 #constraints=50679 1531.94/1532.50 c nbDecision=1082000 #constraints=50681 1533.14/1533.74 c nbDecision=1082500 #constraints=50704 1534.24/1534.84 c nbDecision=1083000 #constraints=50719 1535.14/1535.76 c nbDecision=1083500 #constraints=50722 1535.44/1536.06 c nbDecision=1084000 #constraints=50725 1537.14/1537.74 c nbDecision=1084500 #constraints=50758 1538.04/1538.60 c nbDecision=1085000 #constraints=50760 1539.04/1539.64 c nbDecision=1085500 #constraints=50771 1540.14/1540.75 c nbDecision=1086000 #constraints=50795 1541.24/1541.90 c nbDecision=1086500 #constraints=50813 1543.03/1543.69 c nbDecision=1087000 #constraints=50837 1544.03/1544.60 c nbDecision=1087500 #constraints=50841 1544.94/1545.54 c nbDecision=1088000 #constraints=50855 1545.83/1546.40 c nbDecision=1088500 #constraints=50867 1547.14/1547.75 c nbDecision=1089000 #constraints=50889 1548.94/1549.52 c nbDecision=1089500 #constraints=50919 1550.04/1550.66 c nbDecision=1090000 #constraints=50926 1550.54/1551.16 c nbDecision=1090500 #constraints=50931 1552.64/1553.24 c nbDecision=1091000 #constraints=50962 1552.84/1553.49 c nbDecision=1091500 #constraints=50962 1553.74/1554.34 c nbDecision=1092000 #constraints=50967 1555.24/1555.89 c nbDecision=1092500 #constraints=50998 1555.74/1556.35 c nbDecision=1093000 #constraints=51003 1556.54/1557.13 c nbDecision=1093500 #constraints=51012 1557.44/1558.00 c nbDecision=1094000 #constraints=51018 1558.34/1558.97 c nbDecision=1094500 #constraints=51024 1559.74/1560.36 c nbDecision=1095000 #constraints=51049 1560.53/1561.12 c nbDecision=1095500 #constraints=51056 1561.93/1562.51 c nbDecision=1096000 #constraints=51069 1562.63/1563.20 c nbDecision=1096500 #constraints=51072 1563.63/1564.26 c nbDecision=1097000 #constraints=51085 1564.93/1565.58 c nbDecision=1097500 #constraints=51107 1565.43/1566.05 c nbDecision=1098000 #constraints=51111 1566.63/1567.29 c nbDecision=1098500 #constraints=51130 1567.83/1568.49 c nbDecision=1099000 #constraints=51150 1568.53/1569.16 c nbDecision=1099500 #constraints=51156 1569.53/1570.17 c nbDecision=1100000 #constraints=51168 1570.53/1571.18 c nbDecision=1100500 #constraints=51176 1571.93/1572.55 c nbDecision=1101000 #constraints=51192 1572.73/1573.33 c nbDecision=1101500 #constraints=51208 1573.72/1574.31 c nbDecision=1102000 #constraints=51217 1575.32/1575.94 c nbDecision=1102500 #constraints=51249 1575.92/1576.50 c nbDecision=1103000 #constraints=51259 1576.73/1577.36 c nbDecision=1103500 #constraints=51268 1577.62/1578.25 c nbDecision=1104000 #constraints=51276 1579.12/1579.78 c nbDecision=1104500 #constraints=51297 1579.92/1580.54 c nbDecision=1105000 #constraints=51300 1580.92/1581.55 c nbDecision=1105500 #constraints=51314 1581.82/1582.48 c nbDecision=1106000 #constraints=51317 1582.42/1583.06 c nbDecision=1106500 #constraints=51329 1583.42/1584.03 c nbDecision=1107000 #constraints=51346 1585.02/1585.66 c nbDecision=1107500 #constraints=51375 1586.02/1586.69 c nbDecision=1108000 #constraints=51389 1587.43/1588.05 c nbDecision=1108500 #constraints=51407 1588.43/1589.02 c nbDecision=1109000 #constraints=51415 1588.93/1589.54 c nbDecision=1109500 #constraints=51418 1589.83/1590.45 c nbDecision=1110000 #constraints=51431 1591.13/1591.71 c nbDecision=1110500 #constraints=51440 1592.83/1593.47 c nbDecision=1111000 #constraints=51456 1594.62/1595.26 c nbDecision=1111500 #constraints=51475 1596.42/1597.09 c nbDecision=1112000 #constraints=51507 1598.12/1598.77 c nbDecision=1112500 #constraints=51529 1599.82/1600.40 c nbDecision=1113000 #constraints=51561 1601.52/1602.18 c nbDecision=1113500 #constraints=51586 1602.82/1603.43 c nbDecision=1114000 #constraints=51593 1604.32/1604.95 c nbDecision=1114500 #constraints=51607 1606.22/1606.84 c nbDecision=1115000 #constraints=51625 1608.12/1608.76 c nbDecision=1115500 #constraints=51654 1609.62/1610.28 c nbDecision=1116000 #constraints=51673 1611.31/1611.94 c nbDecision=1116500 #constraints=51691 1612.21/1612.84 c nbDecision=1117000 #constraints=51702 1613.12/1613.71 c nbDecision=1117500 #constraints=51706 1613.81/1614.49 c nbDecision=1118000 #constraints=51707 1614.31/1614.95 c nbDecision=1118500 #constraints=51707 1615.11/1615.70 c nbDecision=1119000 #constraints=51714 1616.32/1616.92 c nbDecision=1119500 #constraints=51733 1617.31/1617.94 c nbDecision=1120000 #constraints=51742 1618.61/1619.27 c nbDecision=1120500 #constraints=51756 1619.61/1620.24 c nbDecision=1121000 #constraints=51770 1620.91/1621.52 c nbDecision=1121500 #constraints=51785 1621.81/1622.49 c nbDecision=1122000 #constraints=51794 1623.71/1624.35 c nbDecision=1122500 #constraints=51821 1625.01/1625.65 c nbDecision=1123000 #constraints=51844 1625.91/1626.57 c nbDecision=1123500 #constraints=51859 1626.81/1627.41 c nbDecision=1124000 #constraints=51869 1628.41/1629.04 c nbDecision=1124500 #constraints=51891 1629.11/1629.75 c nbDecision=1125000 #constraints=51895 1630.21/1630.83 c nbDecision=1125500 #constraints=51911 1631.11/1631.79 c nbDecision=1126000 #constraints=51917 1631.61/1632.28 c nbDecision=1126500 #constraints=51923 1632.70/1633.38 c nbDecision=1127000 #constraints=51942 1634.11/1634.75 c nbDecision=1127500 #constraints=51961 1635.81/1636.43 c nbDecision=1128000 #constraints=51991 1636.71/1637.33 c nbDecision=1128500 #constraints=51993 1637.22/1637.88 c nbDecision=1129000 #constraints=51995 1638.32/1638.93 c nbDecision=1129500 #constraints=52015 1639.41/1640.03 c nbDecision=1130000 #constraints=52021 1641.41/1642.00 c nbDecision=1130500 #constraints=52046 1641.91/1642.55 c nbDecision=1131000 #constraints=52057 1642.81/1643.45 c nbDecision=1131500 #constraints=52066 1643.71/1644.33 c nbDecision=1132000 #constraints=52070 1644.80/1645.50 c nbDecision=1132500 #constraints=52078 1645.30/1646.00 c nbDecision=1133000 #constraints=52080 1647.00/1647.66 c nbDecision=1133500 #constraints=52100 1647.90/1648.56 c nbDecision=1134000 #constraints=52103 1648.60/1649.29 c nbDecision=1134500 #constraints=52115 1650.80/1651.42 c nbDecision=1135000 #constraints=52147 1651.00/1651.69 c nbDecision=1135500 #constraints=52147 1653.00/1653.62 c nbDecision=1136000 #constraints=52164 1653.40/1654.06 c nbDecision=1136500 #constraints=52168 1654.70/1655.39 c nbDecision=1137000 #constraints=52184 1655.50/1656.12 c nbDecision=1137500 #constraints=52188 1656.40/1657.08 c nbDecision=1138000 #constraints=52197 1657.61/1658.28 c nbDecision=1138500 #constraints=52214 1659.21/1659.86 c nbDecision=1139000 #constraints=52226 1660.20/1660.85 c nbDecision=1139500 #constraints=52234 1661.30/1661.98 c nbDecision=1140000 #constraints=52247 1661.60/1662.27 c nbDecision=1140500 #constraints=52249 1662.61/1663.27 c nbDecision=1141000 #constraints=52261 1663.40/1664.05 c nbDecision=1141500 #constraints=52262 1664.00/1664.65 c nbDecision=1142000 #constraints=52267 1664.60/1665.28 c nbDecision=1142500 #constraints=52271 1665.50/1666.18 c nbDecision=1143000 #constraints=52279 1666.80/1667.47 c nbDecision=1143500 #constraints=52292 1667.70/1668.31 c nbDecision=1144000 #constraints=52295 1668.60/1669.28 c nbDecision=1144500 #constraints=52304 1669.00/1669.67 c nbDecision=1145000 #constraints=52304 1669.80/1670.44 c nbDecision=1145500 #constraints=52310 1670.60/1671.29 c nbDecision=1146000 #constraints=52313 1672.10/1672.75 c nbDecision=1146500 #constraints=52331 1672.90/1673.54 c nbDecision=1147000 #constraints=52334 1674.00/1674.60 c nbDecision=1147500 #constraints=52352 1674.90/1675.54 c nbDecision=1148000 #constraints=52367 1676.40/1677.08 c nbDecision=1148500 #constraints=52386 1677.39/1678.03 c nbDecision=1149000 #constraints=52401 1678.39/1679.07 c nbDecision=1149500 #constraints=52407 1680.10/1680.78 c nbDecision=1150000 #constraints=52424 1680.99/1681.67 c nbDecision=1150500 #constraints=52430 1682.19/1682.84 c nbDecision=1151000 #constraints=52447 1683.50/1684.18 c nbDecision=1151500 #constraints=52460 1684.39/1685.04 c nbDecision=1152000 #constraints=52470 1685.29/1685.98 c nbDecision=1152500 #constraints=52476 1686.29/1686.90 c nbDecision=1153000 #constraints=52484 1686.89/1687.52 c nbDecision=1153500 #constraints=52496 1687.59/1688.27 c nbDecision=1154000 #constraints=52503 1688.89/1689.56 c nbDecision=1154500 #constraints=52533 1689.99/1690.67 c nbDecision=1155000 #constraints=52544 1690.29/1690.94 c nbDecision=1155500 #constraints=52544 1691.69/1692.30 c nbDecision=1156000 #constraints=52564 1692.88/1693.59 c nbDecision=1156500 #constraints=52581 1693.88/1694.53 c nbDecision=1157000 #constraints=52591 1694.28/1694.96 c nbDecision=1157500 #constraints=52592 1695.09/1695.70 c nbDecision=1158000 #constraints=52596 1696.08/1696.72 c nbDecision=1158500 #constraints=52609 1697.28/1697.90 c nbDecision=1159000 #constraints=52624 1697.69/1698.39 c nbDecision=1159500 #constraints=52630 1698.58/1699.20 c nbDecision=1160000 #constraints=52638 1699.48/1700.12 c nbDecision=1160500 #constraints=52645 1699.99/1700.66 c nbDecision=1161000 #constraints=52652 1700.88/1701.54 c nbDecision=1161500 #constraints=52660 1701.68/1702.39 c nbDecision=1162000 #constraints=52662 1702.98/1703.62 c nbDecision=1162500 #constraints=52675 1704.08/1704.74 c nbDecision=1163000 #constraints=52693 1705.09/1705.73 c nbDecision=1163500 #constraints=52702 1705.99/1706.69 c nbDecision=1164000 #constraints=52709 1706.39/1707.09 c nbDecision=1164500 #constraints=52718 1707.29/1707.98 c nbDecision=1165000 #constraints=52722 1708.39/1709.09 c nbDecision=1165500 #constraints=52740 1709.39/1710.09 c nbDecision=1166000 #constraints=52751 1709.69/1710.40 c nbDecision=1166500 #constraints=52754 1710.69/1711.32 c nbDecision=1167000 #constraints=52761 1712.19/1712.88 c nbDecision=1167500 #constraints=52778 1713.19/1713.89 c nbDecision=1168000 #constraints=52789 1714.48/1715.12 c nbDecision=1168500 #constraints=52803 1715.78/1716.45 c nbDecision=1169000 #constraints=52820 1716.28/1716.91 c nbDecision=1169500 #constraints=52820 1718.18/1718.87 c nbDecision=1170000 #constraints=52852 1718.48/1719.16 c nbDecision=1170500 #constraints=52853 1720.78/1721.43 c nbDecision=1171000 #constraints=52895 1723.68/1724.31 c nbDecision=1171500 #constraints=52954 1726.98/1727.64 c nbDecision=1172000 #constraints=53015 1729.68/1730.37 c nbDecision=1172500 #constraints=53055 1731.57/1732.23 c nbDecision=1173000 #constraints=53067 1733.38/1734.06 c nbDecision=1173500 #constraints=53099 1736.18/1736.84 c nbDecision=1174000 #constraints=53135 1738.68/1739.39 c nbDecision=1174500 #constraints=53177 1740.97/1741.65 c nbDecision=1175000 #constraints=53210 1743.27/1743.94 c nbDecision=1175500 #constraints=53232 1745.67/1746.36 c nbDecision=1176000 #constraints=53260 1748.17/1748.86 c nbDecision=1176500 #constraints=53300 1751.47/1752.11 c nbDecision=1177000 #constraints=53350 1753.27/1753.90 c nbDecision=1177500 #constraints=53364 1755.98/1756.61 c nbDecision=1178000 #constraints=53404 1758.18/1758.82 c nbDecision=1178500 #constraints=53438 1760.97/1761.64 c nbDecision=1179000 #constraints=53474 1762.68/1763.33 c nbDecision=1179500 #constraints=53487 1764.57/1765.23 c nbDecision=1180000 #constraints=53505 1767.57/1768.22 c nbDecision=1180500 #constraints=53538 1770.17/1770.87 c nbDecision=1181000 #constraints=53559 1772.36/1773.07 c nbDecision=1181500 #constraints=53581 1774.77/1775.46 c nbDecision=1182000 #constraints=53596 1777.46/1778.19 c nbDecision=1182500 #constraints=53643 1779.56/1780.22 c nbDecision=1183000 #constraints=53665 1781.66/1782.36 c nbDecision=1183500 #constraints=53686 1784.47/1785.20 c nbDecision=1184000 #constraints=53722 1786.87/1787.53 c nbDecision=1184500 #constraints=53759 1789.57/1790.26 c nbDecision=1185000 #constraints=53788 1792.36/1793.03 c nbDecision=1185500 #constraints=53832 1794.96/1795.69 c nbDecision=1186000 #constraints=53855 1797.46/1798.12 c nbDecision=1186500 #constraints=53876 1799.46/1800.13 c nbDecision=1187000 #constraints=53902 1800.07/1800.71 Received signal 15 1800.07/1800.71 1800.07/1800.71 s UNKNOWN 1800.07/1800.71 1800.07/1800.71 c user time= 1798.98 s 1800.07/1800.71 c system time= 1.09383 s 1800.07/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-356873-1176846824 -o ROOT/results/node41/solver-356873-1176846824 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356873-1176846824/instance-356873-1176846824.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.78 0.95 0.98 2/77 4799 /proc/meminfo: memFree=1748432/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=1620 CPUtime=0 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132594296 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 405 175 126 317 0 84 0 [startup+0.0836691 s] /proc/loadavg: 0.78 0.95 0.98 2/77 4799 /proc/meminfo: memFree=1748432/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=3488 CPUtime=0.08 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 685 0 0 0 8 0 0 0 18 0 1 0 132594296 3571712 634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 872 634 131 317 0 551 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3488 [startup+0.101673 s] /proc/loadavg: 0.78 0.95 0.98 2/77 4799 /proc/meminfo: memFree=1748432/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=3884 CPUtime=0.09 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 797 0 0 0 9 0 0 0 18 0 1 0 132594296 3977216 746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 971 746 131 317 0 650 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3884 [startup+0.30169 s] /proc/loadavg: 0.78 0.95 0.98 2/77 4799 /proc/meminfo: memFree=1748432/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=7428 CPUtime=0.29 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 1700 0 0 0 29 0 0 0 19 0 1 0 132594296 7606272 1649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 1857 1649 137 317 0 1536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7428 [startup+0.701724 s] /proc/loadavg: 0.78 0.95 0.98 2/77 4799 /proc/meminfo: memFree=1748432/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=7560 CPUtime=0.69 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 1715 0 0 0 69 0 0 0 23 0 1 0 132594296 7741440 1664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 1890 1664 138 317 0 1569 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7560 [startup+1.50279 s] /proc/loadavg: 0.78 0.95 0.98 2/78 4800 /proc/meminfo: memFree=1742344/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=7560 CPUtime=1.49 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 1718 0 0 0 149 0 0 0 25 0 1 0 132594296 7741440 1667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 1890 1667 138 317 0 1569 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7560 [startup+3.10193 s] /proc/loadavg: 0.78 0.95 0.98 2/78 4800 /proc/meminfo: memFree=1742152/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=7560 CPUtime=3.09 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 1722 0 0 0 309 0 0 0 25 0 1 0 132594296 7741440 1671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 1890 1671 138 317 0 1569 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7560 [startup+6.30121 s] /proc/loadavg: 0.80 0.95 0.98 2/78 4800 /proc/meminfo: memFree=1741704/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=8368 CPUtime=6.28 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 1912 0 0 0 628 0 0 0 25 0 1 0 132594296 8568832 1861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 2092 1861 139 317 0 1771 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8368 [startup+12.7018 s] /proc/loadavg: 0.81 0.95 0.98 2/78 4800 /proc/meminfo: memFree=1739848/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=10208 CPUtime=12.69 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 2365 0 0 0 1268 1 0 0 25 0 1 0 132594296 10452992 2314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 2552 2314 139 317 0 2231 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10208 [startup+25.5019 s] /proc/loadavg: 0.85 0.95 0.98 2/78 4800 /proc/meminfo: memFree=1711880/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=38036 CPUtime=25.48 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 9320 0 0 0 2543 5 0 0 25 0 1 0 132594296 38948864 9269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 9509 9269 139 317 0 9188 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38036 [startup+51.1011 s] /proc/loadavg: 0.90 0.96 0.98 2/78 4800 /proc/meminfo: memFree=1671432/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=78944 CPUtime=51.07 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 19575 0 0 0 5094 13 0 0 25 0 1 0 132594296 80838656 19480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 19736 19480 139 317 0 19415 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 78944 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.98 2/78 4800 /proc/meminfo: memFree=1626184/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=123748 CPUtime=102.26 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 30818 0 0 0 10204 22 0 0 25 0 1 0 132594296 126717952 30637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 30937 30637 170 317 0 30616 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 123748 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/78 4800 /proc/meminfo: memFree=1590024/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=160116 CPUtime=162.25 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 39916 0 0 0 16196 29 0 0 25 0 1 0 132594296 163958784 39735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 40029 39735 170 317 0 39708 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 160116 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4800 /proc/meminfo: memFree=1559304/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=191288 CPUtime=222.23 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 47501 0 0 0 22188 35 0 0 25 0 1 0 132594296 195878912 47320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 47822 47320 170 317 0 47501 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 191288 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4800 /proc/meminfo: memFree=1526536/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=225292 CPUtime=282.21 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 56030 0 0 0 28181 40 0 0 25 0 1 0 132594296 230699008 55679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 56323 55679 170 317 0 56002 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 225292 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4800 /proc/meminfo: memFree=1495688/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=256804 CPUtime=342.2 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 63557 0 0 0 34175 45 0 0 25 0 1 0 132594296 262967296 63206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284237 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 64201 63206 170 317 0 63880 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 256804 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4800 /proc/meminfo: memFree=1475400/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=276944 CPUtime=402.18 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 68714 0 0 0 40169 49 0 0 25 0 1 0 132594296 283590656 68363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 69236 68363 170 317 0 68915 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 276944 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/84 4938 /proc/meminfo: memFree=1451392/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=299340 CPUtime=462.1 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 74277 0 0 0 46156 54 0 0 25 0 1 0 132594296 306524160 73926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 74835 73926 170 317 0 74514 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 299340 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4998 /proc/meminfo: memFree=1430920/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=322796 CPUtime=522.04 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 79757 0 0 0 52147 57 0 0 25 0 1 0 132594296 330543104 79373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 80699 79373 170 317 0 80378 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 322796 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4998 /proc/meminfo: memFree=1411208/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=342036 CPUtime=582.02 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 84644 0 0 0 58141 61 0 0 25 0 1 0 132594296 350244864 84260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 85509 84260 170 317 0 85188 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 342036 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4998 /proc/meminfo: memFree=1391752/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=362196 CPUtime=642.01 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 89460 0 0 0 64137 64 0 0 25 0 1 0 132594296 370888704 89076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 90549 89076 170 317 0 90228 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 362196 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4998 /proc/meminfo: memFree=1327176/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=429848 CPUtime=881.94 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 105547 0 0 0 88118 76 0 0 25 0 1 0 132594296 440164352 105163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 107462 105163 170 317 0 107141 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 429848 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4998 /proc/meminfo: memFree=1315528/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=442672 CPUtime=941.92 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 108661 0 0 0 94114 78 0 0 25 0 1 0 132594296 453296128 108277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 110668 108277 170 317 0 110347 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 442672 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4998 /proc/meminfo: memFree=1303304/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=454112 CPUtime=1001.9 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 111512 0 0 0 100109 81 0 0 25 0 1 0 132594296 465010688 111128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 113528 111128 170 317 0 113207 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 454112 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4998 /proc/meminfo: memFree=1292232/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=464936 CPUtime=1061.89 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 114297 0 0 0 106105 84 0 0 25 0 1 0 132594296 476094464 113913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 116234 113913 170 317 0 115913 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 464936 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4998 /proc/meminfo: memFree=1279688/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=477552 CPUtime=1121.87 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 117425 0 0 0 112100 87 0 0 25 0 1 0 132594296 489013248 117041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 119388 117041 170 317 0 119067 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 477552 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4998 /proc/meminfo: memFree=1264904/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=493872 CPUtime=1181.85 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 121128 0 0 0 118096 89 0 0 25 0 1 0 132594296 505724928 120744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 123468 120744 170 317 0 123147 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 493872 [startup+1242.3 s] /proc/loadavg: 1.04 0.99 0.99 2/78 4998 /proc/meminfo: memFree=1248584/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=515740 CPUtime=1241.83 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 125159 0 0 0 124092 91 0 0 25 0 1 0 132594296 528117760 124775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 128935 124775 170 317 0 128614 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 515740 [startup+1302.3 s] /proc/loadavg: 1.05 1.00 0.99 2/78 4998 /proc/meminfo: memFree=1238728/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=526040 CPUtime=1301.82 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 127600 0 0 0 130089 93 0 0 25 0 1 0 132594296 538664960 127216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 131510 127216 170 317 0 131189 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 526040 [startup+1362.3 s] /proc/loadavg: 1.02 1.00 0.99 2/78 4998 /proc/meminfo: memFree=1230728/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=533660 CPUtime=1361.8 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 129606 0 0 0 136085 95 0 0 25 0 1 0 132594296 546467840 129222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 133415 129222 170 317 0 133094 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 533660 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4998 /proc/meminfo: memFree=1221192/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=542948 CPUtime=1421.78 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 131968 0 0 0 142081 97 0 0 25 0 1 0 132594296 555978752 131584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 135737 131584 170 317 0 135416 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 542948 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4998 /proc/meminfo: memFree=1212616/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=551980 CPUtime=1481.76 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 134471 0 0 0 148077 99 0 0 25 0 1 0 132594296 565227520 133748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 137995 133748 170 317 0 137674 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 551980 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4998 /proc/meminfo: memFree=1205256/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=558828 CPUtime=1541.74 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 136319 0 0 0 154073 101 0 0 25 0 1 0 132594296 572239872 135596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 139707 135596 170 317 0 139386 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 558828 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4998 /proc/meminfo: memFree=1197704/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=566256 CPUtime=1601.72 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 138232 0 0 0 160069 103 0 0 25 0 1 0 132594296 579846144 137509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 141564 137509 170 317 0 141243 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 566256 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4998 /proc/meminfo: memFree=1190984/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=572200 CPUtime=1661.7 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 139883 0 0 0 166065 105 0 0 25 0 1 0 132594296 585932800 139160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 143050 139160 170 317 0 142729 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 572200 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 4998 /proc/meminfo: memFree=1184904/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=578304 CPUtime=1721.68 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 141444 0 0 0 172062 106 0 0 25 0 1 0 132594296 592183296 140721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 144576 140721 170 317 0 144255 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 578304 [startup+1782.3 s] /proc/loadavg: 1.05 1.02 1.00 2/78 4998 /proc/meminfo: memFree=1174536/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=588828 CPUtime=1781.66 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 143979 0 0 0 178058 108 0 0 25 0 1 0 132594296 602959872 143256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 147207 143256 170 317 0 146886 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 588828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.04 1.02 1.00 2/78 4998 /proc/meminfo: memFree=1171528/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=591336 CPUtime=1800.07 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194304 144717 0 0 0 179898 109 0 0 25 0 1 0 132594296 605528064 143994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 147834 143994 170 317 0 147513 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 591336 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.04 1.02 1.00 2/78 4998 /proc/meminfo: memFree=1171528/2055920 swapFree=4184436/4192956 [pid=4799] ppid=4797 vsize=0 CPUtime=1800.16 /proc/4799/stat : 4799 (oree) R 4797 4799 4742 0 -1 4194308 144733 0 0 0 179899 117 0 0 25 0 1 0 132594296 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4799/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.18 CPU user time (s): 1799 CPU system time (s): 1.18582 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 591336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799 system time used= 1.18582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 144733 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 30595 runsolver used 2.15867 second user time and 4.48932 second system time The end
Begin job on node41 on Tue Apr 17 21:53:44 UTC 2007 IDJOB= 356873 IDBENCH= 1578 IDSOLVER= 172 FILE ID= node41/356873-1176846824 PBS_JOBID= 4590196 Free space on /tmp= 66498 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb COMMAND LINE= oree /tmp/evaluation/356873-1176846824/instance-356873-1176846824.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-356873-1176846824 -o ROOT/results/node41/solver-356873-1176846824 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356873-1176846824/instance-356873-1176846824.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 908b859aa6cb5be1c335ba1e4149146b RANDOM SEED= 881005192 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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.232 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.232 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: 1748904 kB Buffers: 26132 kB Cached: 94376 kB SwapCached: 2980 kB Active: 72180 kB Inactive: 181960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1748904 kB SwapTotal: 4192956 kB SwapFree: 4184436 kB Dirty: 2096 kB Writeback: 0 kB Mapped: 148136 kB Slab: 38160 kB Committed_AS: 2558728 kB PageTables: 2008 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= 66498 MiB End job on node41 on Tue Apr 17 22:23:47 UTC 2007