Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_10.opb |
MD5SUM | 26699ac56f0d58d8261ff4eb58d81611 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 1207.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 55 |
Optimality of the best value was proved | YES |
Number of variables | 895 |
Total number of constraints | 1659 |
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 | 1659 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 707 |
Number of bits of the biggest sum of numbers | 10 |
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.10 c ...done 0.09/0.10 c #vars=895 #constraints=1660 hasObjective=yes 0.09/0.12 c res. mode=mod 0.09/0.12 c VSIDS like heuristics 0.09/0.12 c complete search running 0.09/0.13 c restart after 401 decisions 0.09/0.14 c nbDecision=500 #constraints=1660 0.09/0.15 c restart after 801 decisions 0.09/0.16 c nbDecision=1000 #constraints=1660 0.09/0.18 c nbDecision=1500 #constraints=1662 0.09/0.18 c restart after 1601 decisions 0.19/0.20 c nbDecision=2000 #constraints=1663 0.19/0.21 c nbDecision=2500 #constraints=1666 0.19/0.22 c nbDecision=3000 #constraints=1671 0.19/0.23 c restart after 3201 decisions 0.19/0.24 c nbDecision=3500 #constraints=1673 0.19/0.26 c nbDecision=4000 #constraints=1674 0.19/0.28 c nbDecision=4500 #constraints=1682 0.29/0.30 c nbDecision=5000 #constraints=1690 0.29/0.32 c nbDecision=5500 #constraints=1696 0.29/0.35 c nbDecision=6000 #constraints=1709 0.29/0.37 c restart after 6401 decisions 0.29/0.38 c nbDecision=6500 #constraints=1720 0.39/0.40 c nbDecision=7000 #constraints=1720 0.39/0.41 c nbDecision=7500 #constraints=1726 0.39/0.44 c nbDecision=8000 #constraints=1732 0.39/0.46 c nbDecision=8500 #constraints=1738 0.39/0.49 c nbDecision=9000 #constraints=1747 0.49/0.51 c nbDecision=9500 #constraints=1755 0.49/0.55 c nbDecision=10000 #constraints=1772 0.49/0.57 c nbDecision=10500 #constraints=1782 0.49/0.58 c nbDecision=11000 #constraints=1790 0.59/0.60 c nbDecision=11500 #constraints=1800 0.59/0.63 c nbDecision=12000 #constraints=1812 0.59/0.65 c nbDecision=12500 #constraints=1821 0.59/0.66 c restart after 12801 decisions 0.59/0.68 c nbDecision=13000 #constraints=1826 0.59/0.69 c nbDecision=13500 #constraints=1826 0.69/0.72 c nbDecision=14000 #constraints=1839 0.69/0.74 c nbDecision=14500 #constraints=1846 0.69/0.75 c nbDecision=15000 #constraints=1851 0.69/0.79 c nbDecision=15500 #constraints=1869 0.79/0.82 c nbDecision=16000 #constraints=1883 0.79/0.85 c nbDecision=16500 #constraints=1893 0.79/0.88 c nbDecision=17000 #constraints=1904 0.89/0.90 c nbDecision=17500 #constraints=1911 0.89/0.92 c nbDecision=18000 #constraints=1917 0.89/0.95 c nbDecision=18500 #constraints=1925 0.89/0.98 c nbDecision=19000 #constraints=1936 0.99/1.00 c nbDecision=19500 #constraints=1944 0.99/1.02 c nbDecision=20000 #constraints=1951 0.99/1.05 c nbDecision=20500 #constraints=1958 0.99/1.07 c nbDecision=21000 #constraints=1968 1.09/1.11 c nbDecision=21500 #constraints=1980 1.09/1.14 c nbDecision=22000 #constraints=1991 1.09/1.18 c nbDecision=22500 #constraints=2004 1.19/1.21 c nbDecision=23000 #constraints=2021 1.19/1.24 c nbDecision=23500 #constraints=2039 1.19/1.27 c nbDecision=24000 #constraints=2047 1.19/1.28 c nbDecision=24500 #constraints=2053 1.29/1.31 c nbDecision=25000 #constraints=2061 1.29/1.34 c nbDecision=25500 #constraints=2072 1.29/1.35 c restart after 25601 decisions 1.29/1.37 c nbDecision=26000 #constraints=2074 1.39/1.41 c nbDecision=26500 #constraints=2085 1.39/1.45 c nbDecision=27000 #constraints=2096 1.49/1.51 c nbDecision=27500 #constraints=2116 1.49/1.54 c nbDecision=28000 #constraints=2136 1.49/1.58 c nbDecision=28500 #constraints=2147 1.59/1.60 c nbDecision=29000 #constraints=2154 1.59/1.61 c nbDecision=29500 #constraints=2159 1.59/1.65 c nbDecision=30000 #constraints=2176 1.69/1.71 c nbDecision=30500 #constraints=2206 1.69/1.74 c nbDecision=31000 #constraints=2220 1.69/1.78 c nbDecision=31500 #constraints=2232 1.79/1.83 c nbDecision=32000 #constraints=2249 1.79/1.86 c nbDecision=32500 #constraints=2259 1.89/1.90 c nbDecision=33000 #constraints=2270 1.89/1.93 c nbDecision=33500 #constraints=2281 1.89/1.98 c nbDecision=34000 #constraints=2296 1.99/2.00 c nbDecision=34500 #constraints=2304 1.99/2.04 c nbDecision=35000 #constraints=2318 1.99/2.08 c nbDecision=35500 #constraints=2329 2.09/2.12 c nbDecision=36000 #constraints=2341 2.09/2.14 c nbDecision=36500 #constraints=2348 2.09/2.17 c nbDecision=37000 #constraints=2353 2.19/2.21 c nbDecision=37500 #constraints=2364 2.19/2.25 c nbDecision=38000 #constraints=2375 2.29/2.30 c nbDecision=38500 #constraints=2389 2.29/2.33 c nbDecision=39000 #constraints=2397 2.39/2.40 c nbDecision=39500 #constraints=2419 2.39/2.44 c nbDecision=40000 #constraints=2428 2.39/2.46 c nbDecision=40500 #constraints=2434 2.49/2.50 c nbDecision=41000 #constraints=2444 2.49/2.54 c nbDecision=41500 #constraints=2452 2.49/2.57 c nbDecision=42000 #constraints=2461 2.49/2.59 c nbDecision=42500 #constraints=2467 2.59/2.62 c nbDecision=43000 #constraints=2476 2.59/2.66 c nbDecision=43500 #constraints=2487 2.59/2.69 c nbDecision=44000 #constraints=2495 2.69/2.73 c nbDecision=44500 #constraints=2504 2.69/2.78 c nbDecision=45000 #constraints=2515 2.79/2.82 c nbDecision=45500 #constraints=2527 2.79/2.85 c nbDecision=46000 #constraints=2535 2.79/2.88 c nbDecision=46500 #constraints=2542 2.89/2.92 c nbDecision=47000 #constraints=2550 2.89/2.95 c nbDecision=47500 #constraints=2560 2.89/2.97 c nbDecision=48000 #constraints=2566 2.99/3.00 c nbDecision=48500 #constraints=2572 2.99/3.05 c nbDecision=49000 #constraints=2583 2.99/3.09 c nbDecision=49500 #constraints=2592 3.09/3.15 c nbDecision=50000 #constraints=2607 3.09/3.18 c nbDecision=50500 #constraints=2615 3.19/3.22 c nbDecision=51000 #constraints=2628 3.19/3.23 c restart after 51201 decisions 3.19/3.26 c nbDecision=51500 #constraints=2630 3.19/3.29 c nbDecision=52000 #constraints=2631 3.29/3.34 c nbDecision=52500 #constraints=2644 3.29/3.38 c nbDecision=53000 #constraints=2654 3.39/3.43 c nbDecision=53500 #constraints=2664 3.39/3.47 c nbDecision=54000 #constraints=2674 3.49/3.51 c nbDecision=54500 #constraints=2684 3.49/3.55 c nbDecision=55000 #constraints=2693 3.49/3.57 c nbDecision=55500 #constraints=2699 3.59/3.63 c nbDecision=56000 #constraints=2714 3.59/3.67 c nbDecision=56500 #constraints=2725 3.69/3.71 c nbDecision=57000 #constraints=2737 3.69/3.77 c nbDecision=57500 #constraints=2753 3.79/3.83 c nbDecision=58000 #constraints=2766 3.79/3.88 c nbDecision=58500 #constraints=2776 3.89/3.93 c nbDecision=59000 #constraints=2789 3.89/3.97 c nbDecision=59500 #constraints=2799 3.99/4.02 c nbDecision=60000 #constraints=2809 3.99/4.06 c nbDecision=60500 #constraints=2819 3.99/4.09 c nbDecision=61000 #constraints=2828 4.09/4.15 c nbDecision=61500 #constraints=2842 4.09/4.19 c nbDecision=62000 #constraints=2849 4.19/4.24 c nbDecision=62500 #constraints=2862 4.19/4.29 c nbDecision=63000 #constraints=2874 4.29/4.35 c nbDecision=63500 #constraints=2885 4.39/4.40 c nbDecision=64000 #constraints=2898 4.39/4.49 c nbDecision=64500 #constraints=2919 4.48/4.55 c nbDecision=65000 #constraints=2934 4.59/4.62 c nbDecision=65500 #constraints=2948 4.59/4.69 c nbDecision=66000 #constraints=2964 4.69/4.77 c nbDecision=66500 #constraints=2983 4.79/4.81 c nbDecision=67000 #constraints=2995 4.79/4.88 c nbDecision=67500 #constraints=3012 4.89/4.93 c nbDecision=68000 #constraints=3023 4.89/4.98 c nbDecision=68500 #constraints=3034 4.99/5.04 c nbDecision=69000 #constraints=3046 4.99/5.10 c nbDecision=69500 #constraints=3060 5.09/5.15 c nbDecision=70000 #constraints=3074 5.19/5.23 c nbDecision=70500 #constraints=3093 5.19/5.28 c nbDecision=71000 #constraints=3104 5.29/5.35 c nbDecision=71500 #constraints=3121 5.40/5.40 c nbDecision=72000 #constraints=3132 5.40/5.45 c nbDecision=72500 #constraints=3144 5.50/5.52 c nbDecision=73000 #constraints=3161 5.50/5.58 c nbDecision=73500 #constraints=3174 5.59/5.64 c nbDecision=74000 #constraints=3188 5.69/5.71 c nbDecision=74500 #constraints=3205 5.69/5.77 c nbDecision=75000 #constraints=3219 5.79/5.84 c nbDecision=75500 #constraints=3236 5.89/5.90 c nbDecision=76000 #constraints=3253 5.89/5.95 c nbDecision=76500 #constraints=3265 5.99/6.01 c nbDecision=77000 #constraints=3277 5.99/6.06 c nbDecision=77500 #constraints=3289 5.99/6.10 c nbDecision=78000 #constraints=3298 6.09/6.14 c nbDecision=78500 #constraints=3308 6.09/6.18 c nbDecision=79000 #constraints=3317 6.19/6.24 c nbDecision=79500 #constraints=3330 6.19/6.28 c nbDecision=80000 #constraints=3340 6.29/6.34 c nbDecision=80500 #constraints=3354 6.29/6.39 c nbDecision=81000 #constraints=3362 6.39/6.46 c nbDecision=81500 #constraints=3378 6.50/6.53 c nbDecision=82000 #constraints=3394 6.59/6.61 c nbDecision=82500 #constraints=3413 6.59/6.68 c nbDecision=83000 #constraints=3429 6.69/6.76 c nbDecision=83500 #constraints=3444 6.79/6.81 c nbDecision=84000 #constraints=3456 6.79/6.90 c nbDecision=84500 #constraints=3481 6.89/6.94 c nbDecision=85000 #constraints=3495 6.99/7.01 c nbDecision=85500 #constraints=3511 6.99/7.08 c nbDecision=86000 #constraints=3526 7.09/7.15 c nbDecision=86500 #constraints=3539 7.19/7.24 c nbDecision=87000 #constraints=3559 7.29/7.33 c nbDecision=87500 #constraints=3577 7.39/7.41 c nbDecision=88000 #constraints=3593 7.39/7.47 c nbDecision=88500 #constraints=3603 7.49/7.52 c nbDecision=89000 #constraints=3612 7.49/7.59 c nbDecision=89500 #constraints=3625 7.59/7.64 c nbDecision=90000 #constraints=3635 7.69/7.71 c nbDecision=90500 #constraints=3646 7.69/7.77 c nbDecision=91000 #constraints=3656 7.79/7.83 c nbDecision=91500 #constraints=3664 7.89/7.91 c nbDecision=92000 #constraints=3679 7.89/7.97 c nbDecision=92500 #constraints=3691 7.98/8.02 c nbDecision=93000 #constraints=3702 8.08/8.10 c nbDecision=93500 #constraints=3718 8.08/8.19 c nbDecision=94000 #constraints=3735 8.18/8.28 c nbDecision=94500 #constraints=3751 8.28/8.38 c nbDecision=95000 #constraints=3771 8.38/8.45 c nbDecision=95500 #constraints=3785 8.48/8.50 c nbDecision=96000 #constraints=3797 8.48/8.55 c nbDecision=96500 #constraints=3808 8.58/8.61 c nbDecision=97000 #constraints=3824 8.58/8.67 c nbDecision=97500 #constraints=3841 8.69/8.75 c nbDecision=98000 #constraints=3856 8.79/8.80 c nbDecision=98500 #constraints=3867 8.79/8.87 c nbDecision=99000 #constraints=3879 8.88/8.92 c nbDecision=99500 #constraints=3890 8.88/8.98 c nbDecision=100000 #constraints=3901 8.98/9.07 c nbDecision=100500 #constraints=3917 9.08/9.17 c nbDecision=101000 #constraints=3939 9.18/9.26 c nbDecision=101500 #constraints=3956 9.28/9.35 c nbDecision=102000 #constraints=3974 9.38/9.40 c restart after 102401 decisions 9.38/9.45 c nbDecision=102500 #constraints=3983 9.48/9.50 c nbDecision=103000 #constraints=3983 9.48/9.56 c nbDecision=103500 #constraints=3998 9.59/9.63 c nbDecision=104000 #constraints=4009 9.69/9.70 c nbDecision=104500 #constraints=4026 9.69/9.77 c nbDecision=105000 #constraints=4043 9.79/9.86 c nbDecision=105500 #constraints=4063 9.89/9.97 c nbDecision=106000 #constraints=4084 9.99/10.06 c nbDecision=106500 #constraints=4104 10.09/10.12 c nbDecision=107000 #constraints=4112 10.19/10.20 c nbDecision=107500 #constraints=4130 10.19/10.27 c nbDecision=108000 #constraints=4142 10.29/10.36 c nbDecision=108500 #constraints=4156 10.39/10.42 c nbDecision=109000 #constraints=4166 10.49/10.50 c nbDecision=109500 #constraints=4181 10.49/10.56 c nbDecision=110000 #constraints=4190 10.59/10.63 c nbDecision=110500 #constraints=4201 10.69/10.71 c nbDecision=111000 #constraints=4216 10.69/10.78 c nbDecision=111500 #constraints=4230 10.79/10.86 c nbDecision=112000 #constraints=4244 10.89/10.93 c nbDecision=112500 #constraints=4256 10.89/10.99 c nbDecision=113000 #constraints=4266 10.99/11.07 c nbDecision=113500 #constraints=4280 11.09/11.16 c nbDecision=114000 #constraints=4297 11.19/11.27 c nbDecision=114500 #constraints=4321 11.39/11.40 c nbDecision=115000 #constraints=4350 11.49/11.51 c nbDecision=115500 #constraints=4371 11.49/11.57 c nbDecision=116000 #constraints=4379 11.59/11.64 c nbDecision=116500 #constraints=4396 11.69/11.70 c nbDecision=117000 #constraints=4408 11.69/11.77 c nbDecision=117500 #constraints=4421 11.79/11.87 c nbDecision=118000 #constraints=4438 11.89/11.96 c nbDecision=118500 #constraints=4454 11.99/12.06 c nbDecision=119000 #constraints=4471 12.09/12.19 c nbDecision=119500 #constraints=4492 12.29/12.30 c nbDecision=120000 #constraints=4509 12.29/12.38 c nbDecision=120500 #constraints=4521 12.39/12.47 c nbDecision=121000 #constraints=4533 12.49/12.58 c nbDecision=121500 #constraints=4550 12.59/12.66 c nbDecision=122000 #constraints=4561 12.69/12.78 c nbDecision=122500 #constraints=4578 12.79/12.90 c nbDecision=123000 #constraints=4595 12.99/13.04 c nbDecision=123500 #constraints=4617 13.09/13.17 c nbDecision=124000 #constraints=4636 13.29/13.31 c nbDecision=124500 #constraints=4660 13.29/13.38 c nbDecision=125000 #constraints=4672 13.39/13.49 c nbDecision=125500 #constraints=4689 13.49/13.59 c nbDecision=126000 #constraints=4704 13.69/13.70 c nbDecision=126500 #constraints=4718 13.69/13.78 c nbDecision=127000 #constraints=4731 13.79/13.87 c nbDecision=127500 #constraints=4743 13.89/13.96 c nbDecision=128000 #constraints=4755 13.99/14.02 c nbDecision=128500 #constraints=4765 14.09/14.10 c nbDecision=129000 #constraints=4775 14.09/14.18 c nbDecision=129500 #constraints=4793 14.19/14.27 c nbDecision=130000 #constraints=4809 14.29/14.37 c nbDecision=130500 #constraints=4825 14.39/14.47 c nbDecision=131000 #constraints=4838 14.48/14.56 c nbDecision=131500 #constraints=4850 14.58/14.65 c nbDecision=132000 #constraints=4863 14.68/14.78 c nbDecision=132500 #constraints=4883 14.88/14.91 c nbDecision=133000 #constraints=4903 14.98/15.01 c nbDecision=133500 #constraints=4915 15.08/15.14 c nbDecision=134000 #constraints=4935 15.18/15.26 c nbDecision=134500 #constraints=4952 15.29/15.38 c nbDecision=135000 #constraints=4970 15.48/15.50 c nbDecision=135500 #constraints=4987 15.58/15.61 c nbDecision=136000 #constraints=5003 15.68/15.72 c nbDecision=136500 #constraints=5019 15.78/15.81 c nbDecision=137000 #constraints=5031 15.88/15.90 c nbDecision=137500 #constraints=5042 15.98/16.00 c nbDecision=138000 #constraints=5055 16.08/16.12 c nbDecision=138500 #constraints=5072 16.18/16.28 c nbDecision=139000 #constraints=5096 16.28/16.39 c nbDecision=139500 #constraints=5113 16.49/16.52 c nbDecision=140000 #constraints=5131 16.58/16.63 c nbDecision=140500 #constraints=5147 16.68/16.75 c nbDecision=141000 #constraints=5161 16.78/16.86 c nbDecision=141500 #constraints=5176 16.98/17.03 c nbDecision=142000 #constraints=5203 17.08/17.14 c nbDecision=142500 #constraints=5222 17.18/17.28 c nbDecision=143000 #constraints=5245 17.38/17.44 c nbDecision=143500 #constraints=5268 17.48/17.60 c nbDecision=144000 #constraints=5296 17.68/17.75 c nbDecision=144500 #constraints=5319 17.78/17.84 c nbDecision=145000 #constraints=5330 17.88/17.95 c nbDecision=145500 #constraints=5351 17.98/18.03 c nbDecision=146000 #constraints=5364 18.08/18.16 c nbDecision=146500 #constraints=5384 18.18/18.26 c nbDecision=147000 #constraints=5397 18.28/18.38 c nbDecision=147500 #constraints=5413 18.48/18.52 c nbDecision=148000 #constraints=5433 18.58/18.61 c nbDecision=148500 #constraints=5443 18.68/18.75 c nbDecision=149000 #constraints=5464 18.78/18.85 c nbDecision=149500 #constraints=5476 18.88/18.94 c nbDecision=150000 #constraints=5487 18.98/19.05 c nbDecision=150500 #constraints=5502 19.09/19.14 c nbDecision=151000 #constraints=5513 19.19/19.29 c nbDecision=151500 #constraints=5535 19.39/19.40 c nbDecision=152000 #constraints=5551 19.49/19.55 c nbDecision=152500 #constraints=5569 19.69/19.74 c nbDecision=153000 #constraints=5595 19.79/19.87 c nbDecision=153500 #constraints=5612 19.99/20.01 c nbDecision=154000 #constraints=5631 20.09/20.13 c nbDecision=154500 #constraints=5646 20.19/20.24 c nbDecision=155000 #constraints=5661 20.29/20.39 c nbDecision=155500 #constraints=5683 20.49/20.58 c nbDecision=156000 #constraints=5709 20.69/20.74 c nbDecision=156500 #constraints=5732 20.79/20.88 c nbDecision=157000 #constraints=5750 20.99/21.01 c nbDecision=157500 #constraints=5767 21.09/21.14 c nbDecision=158000 #constraints=5784 21.19/21.27 c nbDecision=158500 #constraints=5800 21.29/21.39 c nbDecision=159000 #constraints=5815 21.49/21.50 c nbDecision=159500 #constraints=5828 21.59/21.64 c nbDecision=160000 #constraints=5847 21.69/21.75 c nbDecision=160500 #constraints=5858 21.79/21.87 c nbDecision=161000 #constraints=5874 21.89/21.98 c nbDecision=161500 #constraints=5889 22.09/22.11 c nbDecision=162000 #constraints=5902 22.09/22.19 c nbDecision=162500 #constraints=5907 22.29/22.31 c nbDecision=163000 #constraints=5922 22.39/22.49 c nbDecision=163500 #constraints=5948 22.59/22.64 c nbDecision=164000 #constraints=5970 22.69/22.78 c nbDecision=164500 #constraints=5986 22.89/22.93 c nbDecision=165000 #constraints=6002 22.99/23.08 c nbDecision=165500 #constraints=6020 23.19/23.20 c nbDecision=166000 #constraints=6037 23.29/23.33 c nbDecision=166500 #constraints=6054 23.39/23.47 c nbDecision=167000 #constraints=6073 23.59/23.61 c nbDecision=167500 #constraints=6095 23.69/23.78 c nbDecision=168000 #constraints=6117 23.89/23.91 c nbDecision=168500 #constraints=6133 23.99/24.04 c nbDecision=169000 #constraints=6152 24.19/24.23 c nbDecision=169500 #constraints=6179 24.39/24.41 c nbDecision=170000 #constraints=6203 24.49/24.59 c nbDecision=170500 #constraints=6228 24.79/24.82 c nbDecision=171000 #constraints=6259 24.89/24.99 c nbDecision=171500 #constraints=6279 25.09/25.17 c nbDecision=172000 #constraints=6301 25.29/25.37 c nbDecision=172500 #constraints=6326 25.49/25.52 c nbDecision=173000 #constraints=6347 25.69/25.73 c nbDecision=173500 #constraints=6374 25.89/25.91 c nbDecision=174000 #constraints=6397 25.99/26.03 c nbDecision=174500 #constraints=6414 26.09/26.15 c nbDecision=175000 #constraints=6428 26.19/26.29 c nbDecision=175500 #constraints=6446 26.39/26.43 c nbDecision=176000 #constraints=6464 26.58/26.62 c nbDecision=176500 #constraints=6488 26.68/26.79 c nbDecision=177000 #constraints=6509 26.88/26.93 c nbDecision=177500 #constraints=6527 26.98/27.07 c nbDecision=178000 #constraints=6546 27.08/27.19 c nbDecision=178500 #constraints=6564 27.28/27.34 c nbDecision=179000 #constraints=6589 27.39/27.48 c nbDecision=179500 #constraints=6609 27.68/27.71 c nbDecision=180000 #constraints=6640 27.88/27.91 c nbDecision=180500 #constraints=6666 27.98/28.08 c nbDecision=181000 #constraints=6688 28.18/28.27 c nbDecision=181500 #constraints=6713 28.38/28.45 c nbDecision=182000 #constraints=6737 28.58/28.64 c nbDecision=182500 #constraints=6764 28.68/28.78 c nbDecision=183000 #constraints=6778 28.88/28.94 c nbDecision=183500 #constraints=6796 29.08/29.10 c nbDecision=184000 #constraints=6819 29.18/29.27 c nbDecision=184500 #constraints=6843 29.38/29.44 c nbDecision=185000 #constraints=6862 29.58/29.62 c nbDecision=185500 #constraints=6882 29.68/29.79 c nbDecision=186000 #constraints=6907 29.88/29.93 c nbDecision=186500 #constraints=6922 29.98/30.05 c nbDecision=187000 #constraints=6938 30.08/30.17 c nbDecision=187500 #constraints=6952 30.38/30.43 c nbDecision=188000 #constraints=6988 30.58/30.61 c nbDecision=188500 #constraints=7009 30.68/30.79 c nbDecision=189000 #constraints=7032 30.88/30.97 c nbDecision=189500 #constraints=7053 31.08/31.12 c nbDecision=190000 #constraints=7073 31.18/31.29 c nbDecision=190500 #constraints=7093 31.38/31.44 c nbDecision=191000 #constraints=7114 31.48/31.57 c nbDecision=191500 #constraints=7130 31.58/31.67 c nbDecision=192000 #constraints=7141 31.78/31.83 c nbDecision=192500 #constraints=7162 31.98/32.02 c nbDecision=193000 #constraints=7185 32.18/32.22 c nbDecision=193500 #constraints=7212 32.38/32.46 c nbDecision=194000 #constraints=7246 32.58/32.67 c nbDecision=194500 #constraints=7277 32.88/32.90 c nbDecision=195000 #constraints=7310 32.98/33.04 c nbDecision=195500 #constraints=7329 33.08/33.17 c nbDecision=196000 #constraints=7345 33.18/33.24 c nbDecision=196500 #constraints=7354 33.47/33.53 c nbDecision=197000 #constraints=7394 33.57/33.68 c nbDecision=197500 #constraints=7419 33.78/33.87 c nbDecision=198000 #constraints=7442 33.88/33.93 c nbDecision=198500 #constraints=7451 34.18/34.27 c nbDecision=199000 #constraints=7502 34.48/34.52 c nbDecision=199500 #constraints=7538 34.68/34.72 c nbDecision=200000 #constraints=7567 34.78/34.81 c nbDecision=200500 #constraints=7579 35.09/35.14 c nbDecision=201000 #constraints=7595 35.28/35.30 c nbDecision=201500 #constraints=7602 35.38/35.48 c nbDecision=202000 #constraints=7610 35.58/35.66 c nbDecision=202500 #constraints=7619 35.78/35.83 c nbDecision=203000 #constraints=7628 35.98/36.01 c nbDecision=203500 #constraints=7637 36.08/36.19 c nbDecision=204000 #constraints=7650 36.28/36.36 c nbDecision=204500 #constraints=7661 36.38/36.49 c restart after 204801 decisions 36.58/36.65 c nbDecision=205000 #constraints=7669 36.68/36.78 c nbDecision=205500 #constraints=7670 36.98/37.01 c nbDecision=206000 #constraints=7688 37.08/37.19 c nbDecision=206500 #constraints=7702 37.38/37.44 c nbDecision=207000 #constraints=7722 37.58/37.66 c nbDecision=207500 #constraints=7743 37.78/37.88 c nbDecision=208000 #constraints=7762 37.98/38.08 c nbDecision=208500 #constraints=7776 38.18/38.30 c nbDecision=209000 #constraints=7788 38.48/38.54 c nbDecision=209500 #constraints=7804 38.98/39.09 c nbDecision=210000 #constraints=7829 39.18/39.30 c nbDecision=210500 #constraints=7840 39.68/39.73 c nbDecision=211000 #constraints=7860 39.98/40.06 c nbDecision=211500 #constraints=7878 40.38/40.42 c nbDecision=212000 #constraints=7898 40.68/40.79 c nbDecision=212500 #constraints=7916 40.98/41.08 c nbDecision=213000 #constraints=7931 41.28/41.30 c nbDecision=213500 #constraints=7941 41.58/41.63 c nbDecision=214000 #constraints=7958 41.88/41.90 c nbDecision=214500 #constraints=7972 42.08/42.13 c nbDecision=215000 #constraints=7982 42.48/42.57 c nbDecision=215500 #constraints=8002 42.78/42.86 c nbDecision=216000 #constraints=8017 42.98/43.07 c nbDecision=216500 #constraints=8027 43.58/43.60 c nbDecision=217000 #constraints=8051 44.58/44.64 c nbDecision=217500 #constraints=8096 44.78/44.89 c nbDecision=218000 #constraints=8109 45.08/45.14 c nbDecision=218500 #constraints=8122 46.18/46.23 c nbDecision=219000 #constraints=8170 46.57/46.69 c nbDecision=219500 #constraints=8196 46.87/46.92 c nbDecision=220000 #constraints=8207 47.37/47.49 c nbDecision=220500 #constraints=8233 48.28/48.36 c nbDecision=221000 #constraints=8273 48.57/48.63 c nbDecision=221500 #constraints=8289 48.77/48.84 c nbDecision=222000 #constraints=8299 49.27/49.36 c nbDecision=222500 #constraints=8325 49.67/49.73 c nbDecision=223000 #constraints=8354 49.87/49.93 c nbDecision=223500 #constraints=8369 50.27/50.32 c nbDecision=224000 #constraints=8387 51.17/51.25 c nbDecision=224500 #constraints=8426 52.07/52.15 c nbDecision=225000 #constraints=8464 53.37/53.44 c nbDecision=225500 #constraints=8521 53.67/53.75 c nbDecision=226000 #constraints=8545 54.17/54.27 c nbDecision=226500 #constraints=8570 55.17/55.20 c nbDecision=227000 #constraints=8608 56.07/56.15 c nbDecision=227500 #constraints=8647 56.97/57.10 c nbDecision=228000 #constraints=8685 58.07/58.14 c nbDecision=228500 #constraints=8730 59.07/59.10 c nbDecision=229000 #constraints=8771 60.17/60.24 c nbDecision=229500 #constraints=8822 60.37/60.48 c nbDecision=230000 #constraints=8838 60.77/60.87 c nbDecision=230500 #constraints=8864 61.07/61.11 c nbDecision=231000 #constraints=8879 61.87/61.97 c nbDecision=231500 #constraints=8918 62.68/62.73 c nbDecision=232000 #constraints=8948 63.37/63.41 c nbDecision=232500 #constraints=8974 64.17/64.25 c nbDecision=233000 #constraints=9010 65.17/65.25 c nbDecision=233500 #constraints=9054 65.97/66.06 c nbDecision=234000 #constraints=9088 66.57/66.68 c nbDecision=234500 #constraints=9115 67.07/67.11 c nbDecision=235000 #constraints=9143 67.57/67.67 c nbDecision=235500 #constraints=9168 68.67/68.74 c nbDecision=236000 #constraints=9208 70.07/70.19 c nbDecision=236500 #constraints=9265 71.37/71.40 c nbDecision=237000 #constraints=9316 72.17/72.22 c nbDecision=237500 #constraints=9350 73.36/73.49 c nbDecision=238000 #constraints=9400 74.36/74.42 c nbDecision=238500 #constraints=9438 75.36/75.42 c nbDecision=239000 #constraints=9477 76.46/76.59 c nbDecision=239500 #constraints=9525 77.36/77.45 c nbDecision=240000 #constraints=9561 78.06/78.15 c nbDecision=240500 #constraints=9590 79.16/79.24 c nbDecision=241000 #constraints=9637 79.66/79.77 c nbDecision=241500 #constraints=9656 80.46/80.56 c nbDecision=242000 #constraints=9689 81.26/81.33 c nbDecision=242500 #constraints=9720 81.56/81.64 c nbDecision=243000 #constraints=9731 82.16/82.22 c nbDecision=243500 #constraints=9754 82.76/82.80 c nbDecision=244000 #constraints=9775 83.35/83.44 c nbDecision=244500 #constraints=9802 83.86/83.94 c nbDecision=245000 #constraints=9824 84.15/84.29 c nbDecision=245500 #constraints=9838 84.66/84.72 c nbDecision=246000 #constraints=9856 85.15/85.25 c nbDecision=246500 #constraints=9879 85.76/85.83 c nbDecision=247000 #constraints=9903 86.45/86.55 c nbDecision=247500 #constraints=9934 86.95/87.03 c nbDecision=248000 #constraints=9956 87.25/87.31 c nbDecision=248500 #constraints=9967 87.55/87.68 c nbDecision=249000 #constraints=9984 87.96/88.00 c nbDecision=249500 #constraints=10000 88.26/88.32 c nbDecision=250000 #constraints=10015 88.76/88.89 c nbDecision=250500 #constraints=10029 89.26/89.30 c nbDecision=251000 #constraints=10042 89.66/89.74 c nbDecision=251500 #constraints=10055 90.16/90.27 c nbDecision=252000 #constraints=10070 90.66/90.74 c nbDecision=252500 #constraints=10085 91.06/91.18 c nbDecision=253000 #constraints=10099 91.66/91.70 c nbDecision=253500 #constraints=10118 91.96/92.04 c nbDecision=254000 #constraints=10129 92.36/92.41 c nbDecision=254500 #constraints=10139 92.66/92.74 c nbDecision=255000 #constraints=10147 93.16/93.27 c nbDecision=255500 #constraints=10159 93.66/93.70 c nbDecision=256000 #constraints=10168 93.96/94.09 c nbDecision=256500 #constraints=10175 94.46/94.56 c nbDecision=257000 #constraints=10186 94.95/95.09 c nbDecision=257500 #constraints=10199 95.66/95.73 c nbDecision=258000 #constraints=10216 96.76/96.87 c nbDecision=258500 #constraints=10244 97.25/97.38 c nbDecision=259000 #constraints=10256 98.15/98.23 c nbDecision=259500 #constraints=10281 98.25/98.38 c nbDecision=260000 #constraints=10286 99.15/99.27 c nbDecision=260500 #constraints=10300 99.65/99.72 c nbDecision=261000 #constraints=10310 100.45/100.59 c nbDecision=261500 #constraints=10327 101.16/101.26 c nbDecision=262000 #constraints=10344 101.75/101.83 c nbDecision=262500 #constraints=10358 102.35/102.47 c nbDecision=263000 #constraints=10369 102.75/102.86 c nbDecision=263500 #constraints=10379 103.65/103.71 c nbDecision=264000 #constraints=10397 104.15/104.30 c nbDecision=264500 #constraints=10413 104.95/105.07 c nbDecision=265000 #constraints=10431 105.45/105.55 c nbDecision=265500 #constraints=10443 106.25/106.32 c nbDecision=266000 #constraints=10461 106.45/106.59 c nbDecision=266500 #constraints=10469 107.45/107.52 c nbDecision=267000 #constraints=10485 108.75/108.89 c nbDecision=267500 #constraints=10507 109.55/109.68 c nbDecision=268000 #constraints=10521 110.44/110.51 c nbDecision=268500 #constraints=10542 110.85/110.95 c nbDecision=269000 #constraints=10557 111.25/111.34 c nbDecision=269500 #constraints=10570 111.65/111.78 c nbDecision=270000 #constraints=10584 112.15/112.22 c nbDecision=270500 #constraints=10604 112.85/112.90 c nbDecision=271000 #constraints=10621 113.15/113.24 c nbDecision=271500 #constraints=10634 113.45/113.58 c nbDecision=272000 #constraints=10646 113.75/113.83 c nbDecision=272500 #constraints=10656 114.15/114.23 c nbDecision=273000 #constraints=10670 114.35/114.43 c nbDecision=273500 #constraints=10677 115.05/115.12 c nbDecision=274000 #constraints=10696 115.55/115.61 c nbDecision=274500 #constraints=10708 115.95/116.04 c nbDecision=275000 #constraints=10718 116.35/116.44 c nbDecision=275500 #constraints=10726 116.75/116.89 c nbDecision=276000 #constraints=10742 117.15/117.26 c nbDecision=276500 #constraints=10758 117.45/117.56 c nbDecision=277000 #constraints=10768 117.95/118.04 c nbDecision=277500 #constraints=10790 118.25/118.37 c nbDecision=278000 #constraints=10801 118.95/119.07 c nbDecision=278500 #constraints=10817 119.35/119.47 c nbDecision=279000 #constraints=10828 119.95/120.01 c nbDecision=279500 #constraints=10840 120.45/120.58 c nbDecision=280000 #constraints=10852 120.95/121.04 c nbDecision=280500 #constraints=10865 121.25/121.38 c nbDecision=281000 #constraints=10872 121.75/121.84 c nbDecision=281500 #constraints=10884 122.25/122.31 c nbDecision=282000 #constraints=10896 122.65/122.73 c nbDecision=282500 #constraints=10906 122.94/123.10 c nbDecision=283000 #constraints=10915 123.54/123.60 c nbDecision=283500 #constraints=10927 123.94/124.08 c nbDecision=284000 #constraints=10940 124.45/124.57 c nbDecision=284500 #constraints=10951 125.04/125.13 c nbDecision=285000 #constraints=10966 125.54/125.68 c nbDecision=285500 #constraints=10981 126.24/126.31 c nbDecision=286000 #constraints=10997 126.94/127.01 c nbDecision=286500 #constraints=11015 127.64/127.75 c nbDecision=287000 #constraints=11034 128.44/128.53 c nbDecision=287500 #constraints=11053 128.74/128.86 c nbDecision=288000 #constraints=11063 129.34/129.42 c nbDecision=288500 #constraints=11081 130.24/130.33 c nbDecision=289000 #constraints=11097 130.84/130.93 c nbDecision=289500 #constraints=11108 131.54/131.62 c nbDecision=290000 #constraints=11121 131.94/132.02 c nbDecision=290500 #constraints=11136 132.44/132.57 c nbDecision=291000 #constraints=11149 133.13/133.22 c nbDecision=291500 #constraints=11164 133.63/133.76 c nbDecision=292000 #constraints=11174 134.33/134.46 c nbDecision=292500 #constraints=11187 134.74/134.86 c nbDecision=293000 #constraints=11199 135.14/135.20 c nbDecision=293500 #constraints=11207 135.63/135.80 c nbDecision=294000 #constraints=11220 136.24/136.36 c nbDecision=294500 #constraints=11232 137.13/137.20 c nbDecision=295000 #constraints=11252 137.93/138.02 c nbDecision=295500 #constraints=11269 138.43/138.57 c nbDecision=296000 #constraints=11280 139.33/139.45 c nbDecision=296500 #constraints=11298 139.73/139.89 c nbDecision=297000 #constraints=11312 140.33/140.43 c nbDecision=297500 #constraints=11329 141.33/141.42 c nbDecision=298000 #constraints=11347 142.23/142.30 c nbDecision=298500 #constraints=11360 142.93/143.02 c nbDecision=299000 #constraints=11372 143.73/143.80 c nbDecision=299500 #constraints=11386 144.73/144.84 c nbDecision=300000 #constraints=11401 145.53/145.62 c nbDecision=300500 #constraints=11415 146.13/146.25 c nbDecision=301000 #constraints=11427 146.83/146.94 c nbDecision=301500 #constraints=11440 148.13/148.29 c nbDecision=302000 #constraints=11460 149.03/149.18 c nbDecision=302500 #constraints=11476 149.63/149.78 c nbDecision=303000 #constraints=11484 150.54/150.66 c nbDecision=303500 #constraints=11498 151.43/151.52 c nbDecision=304000 #constraints=11511 151.74/151.86 c nbDecision=304500 #constraints=11519 152.23/152.30 c nbDecision=305000 #constraints=11529 152.74/152.82 c nbDecision=305500 #constraints=11539 153.13/153.26 c nbDecision=306000 #constraints=11550 153.63/153.72 c nbDecision=306500 #constraints=11563 154.13/154.24 c nbDecision=307000 #constraints=11573 154.83/154.91 c nbDecision=307500 #constraints=11585 155.23/155.39 c nbDecision=308000 #constraints=11591 155.63/155.72 c nbDecision=308500 #constraints=11596 156.53/156.60 c nbDecision=309000 #constraints=11610 157.03/157.10 c nbDecision=309500 #constraints=11619 157.43/157.53 c nbDecision=310000 #constraints=11629 157.93/158.05 c nbDecision=310500 #constraints=11639 158.53/158.64 c nbDecision=311000 #constraints=11649 158.93/159.02 c nbDecision=311500 #constraints=11659 159.73/159.81 c nbDecision=312000 #constraints=11674 160.13/160.28 c nbDecision=312500 #constraints=11684 160.63/160.71 c nbDecision=313000 #constraints=11693 161.43/161.52 c nbDecision=313500 #constraints=11706 161.83/161.94 c nbDecision=314000 #constraints=11712 162.53/162.70 c nbDecision=314500 #constraints=11724 163.03/163.19 c nbDecision=315000 #constraints=11731 163.73/163.86 c nbDecision=315500 #constraints=11740 164.42/164.56 c nbDecision=316000 #constraints=11751 164.93/165.04 c nbDecision=316500 #constraints=11762 165.32/165.49 c nbDecision=317000 #constraints=11773 165.72/165.87 c nbDecision=317500 #constraints=11779 166.42/166.58 c nbDecision=318000 #constraints=11795 167.02/167.14 c nbDecision=318500 #constraints=11806 167.92/168.01 c nbDecision=319000 #constraints=11826 168.42/168.56 c nbDecision=319500 #constraints=11839 169.42/169.56 c nbDecision=320000 #constraints=11857 170.12/170.26 c nbDecision=320500 #constraints=11870 170.32/170.40 c nbDecision=321000 #constraints=11874 171.52/171.69 c nbDecision=321500 #constraints=11897 172.12/172.25 c nbDecision=322000 #constraints=11913 172.62/172.74 c nbDecision=322500 #constraints=11928 173.11/173.27 c nbDecision=323000 #constraints=11945 173.62/173.78 c nbDecision=323500 #constraints=11959 174.01/174.16 c nbDecision=324000 #constraints=11969 174.51/174.69 c nbDecision=324500 #constraints=11983 175.11/175.22 c nbDecision=325000 #constraints=11998 175.61/175.74 c nbDecision=325500 #constraints=12011 176.01/176.14 c nbDecision=326000 #constraints=12021 176.92/177.05 c nbDecision=326500 #constraints=12041 177.61/177.73 c nbDecision=327000 #constraints=12055 178.41/178.57 c nbDecision=327500 #constraints=12072 179.41/179.53 c nbDecision=328000 #constraints=12094 180.21/180.31 c nbDecision=328500 #constraints=12111 181.21/181.35 c nbDecision=329000 #constraints=12137 182.01/182.12 c nbDecision=329500 #constraints=12157 182.62/182.79 c nbDecision=330000 #constraints=12171 183.32/183.44 c nbDecision=330500 #constraints=12186 183.92/184.03 c nbDecision=331000 #constraints=12197 184.32/184.42 c nbDecision=331500 #constraints=12204 185.02/185.15 c nbDecision=332000 #constraints=12221 185.62/185.79 c nbDecision=332500 #constraints=12240 186.22/186.39 c nbDecision=333000 #constraints=12255 186.72/186.81 c nbDecision=333500 #constraints=12265 187.22/187.38 c nbDecision=334000 #constraints=12281 187.72/187.80 c nbDecision=334500 #constraints=12290 188.12/188.27 c nbDecision=335000 #constraints=12302 188.82/188.94 c nbDecision=335500 #constraints=12318 189.22/189.39 c nbDecision=336000 #constraints=12330 189.92/190.02 c nbDecision=336500 #constraints=12346 190.32/190.46 c nbDecision=337000 #constraints=12357 190.71/190.90 c nbDecision=337500 #constraints=12368 191.22/191.33 c nbDecision=338000 #constraints=12378 191.61/191.73 c nbDecision=338500 #constraints=12387 192.01/192.15 c nbDecision=339000 #constraints=12397 192.61/192.71 c nbDecision=339500 #constraints=12411 193.01/193.19 c nbDecision=340000 #constraints=12424 193.81/193.98 c nbDecision=340500 #constraints=12446 194.31/194.40 c nbDecision=341000 #constraints=12456 194.91/195.08 c nbDecision=341500 #constraints=12475 195.51/195.67 c nbDecision=342000 #constraints=12493 196.01/196.11 c nbDecision=342500 #constraints=12504 196.41/196.59 c nbDecision=343000 #constraints=12517 197.01/197.18 c nbDecision=343500 #constraints=12532 197.61/197.75 c nbDecision=344000 #constraints=12547 198.21/198.37 c nbDecision=344500 #constraints=12563 198.91/199.04 c nbDecision=345000 #constraints=12581 199.71/199.82 c nbDecision=345500 #constraints=12602 200.41/200.57 c nbDecision=346000 #constraints=12622 201.11/201.23 c nbDecision=346500 #constraints=12640 201.71/201.80 c nbDecision=347000 #constraints=12654 202.41/202.59 c nbDecision=347500 #constraints=12675 203.01/203.10 c nbDecision=348000 #constraints=12686 203.81/203.94 c nbDecision=348500 #constraints=12701 204.51/204.60 c nbDecision=349000 #constraints=12714 205.40/205.54 c nbDecision=349500 #constraints=12730 206.00/206.18 c nbDecision=350000 #constraints=12742 206.90/207.00 c nbDecision=350500 #constraints=12757 207.51/207.61 c nbDecision=351000 #constraints=12769 208.31/208.40 c nbDecision=351500 #constraints=12784 209.41/209.58 c nbDecision=352000 #constraints=12805 210.61/210.71 c nbDecision=352500 #constraints=12827 211.41/211.58 c nbDecision=353000 #constraints=12845 212.30/212.44 c nbDecision=353500 #constraints=12862 213.31/213.44 c nbDecision=354000 #constraints=12879 214.50/214.66 c nbDecision=354500 #constraints=12906 215.30/215.41 c nbDecision=355000 #constraints=12921 216.10/216.22 c nbDecision=355500 #constraints=12937 216.90/217.07 c nbDecision=356000 #constraints=12955 218.20/218.32 c nbDecision=356500 #constraints=12982 219.10/219.25 c nbDecision=357000 #constraints=13001 220.40/220.51 c nbDecision=357500 #constraints=13023 221.80/221.93 c nbDecision=358000 #constraints=13055 223.30/223.49 c nbDecision=358500 #constraints=13091 224.60/224.78 c nbDecision=359000 #constraints=13120 225.50/225.68 c nbDecision=359500 #constraints=13139 227.00/227.20 c nbDecision=360000 #constraints=13163 228.60/228.79 c nbDecision=360500 #constraints=13185 229.60/229.75 c nbDecision=361000 #constraints=13201 230.70/230.89 c nbDecision=361500 #constraints=13217 231.79/231.98 c nbDecision=362000 #constraints=13233 233.19/233.31 c nbDecision=362500 #constraints=13252 234.49/234.62 c nbDecision=363000 #constraints=13272 235.89/236.09 c nbDecision=363500 #constraints=13292 237.29/237.42 c nbDecision=364000 #constraints=13314 238.09/238.26 c nbDecision=364500 #constraints=13327 239.39/239.52 c nbDecision=365000 #constraints=13346 240.19/240.34 c nbDecision=365500 #constraints=13362 242.10/242.20 c nbDecision=366000 #constraints=13396 243.40/243.50 c nbDecision=366500 #constraints=13417 244.49/244.65 c nbDecision=367000 #constraints=13438 245.79/245.95 c nbDecision=367500 #constraints=13460 246.89/247.07 c nbDecision=368000 #constraints=13483 247.89/248.04 c nbDecision=368500 #constraints=13506 248.79/248.94 c nbDecision=369000 #constraints=13526 249.89/250.08 c nbDecision=369500 #constraints=13553 250.99/251.12 c nbDecision=370000 #constraints=13572 251.99/252.12 c nbDecision=370500 #constraints=13589 253.09/253.26 c nbDecision=371000 #constraints=13609 254.29/254.44 c nbDecision=371500 #constraints=13630 255.19/255.32 c nbDecision=372000 #constraints=13646 255.99/256.17 c nbDecision=372500 #constraints=13661 257.19/257.31 c nbDecision=373000 #constraints=13680 258.49/258.63 c nbDecision=373500 #constraints=13703 260.09/260.28 c nbDecision=374000 #constraints=13728 261.39/261.52 c nbDecision=374500 #constraints=13749 262.48/262.63 c nbDecision=375000 #constraints=13766 264.08/264.21 c nbDecision=375500 #constraints=13793 265.08/265.21 c nbDecision=376000 #constraints=13809 266.38/266.54 c nbDecision=376500 #constraints=13828 267.98/268.13 c nbDecision=377000 #constraints=13853 269.28/269.47 c nbDecision=377500 #constraints=13872 270.88/271.03 c nbDecision=378000 #constraints=13898 272.78/272.93 c nbDecision=378500 #constraints=13929 274.08/274.22 c nbDecision=379000 #constraints=13948 276.27/276.41 c nbDecision=379500 #constraints=13976 279.29/279.42 c nbDecision=380000 #constraints=14021 280.78/280.95 c nbDecision=380500 #constraints=14057 281.98/282.14 c nbDecision=381000 #constraints=14089 283.08/283.27 c nbDecision=381500 #constraints=14123 283.88/284.05 c nbDecision=382000 #constraints=14153 284.78/284.96 c nbDecision=382500 #constraints=14180 285.38/285.53 c nbDecision=383000 #constraints=14200 285.98/286.12 c nbDecision=383500 #constraints=14222 286.38/286.53 c nbDecision=384000 #constraints=14236 287.38/287.53 c nbDecision=384500 #constraints=14261 288.08/288.24 c nbDecision=385000 #constraints=14285 288.67/288.86 c nbDecision=385500 #constraints=14302 289.27/289.49 c nbDecision=386000 #constraints=14323 289.87/290.07 c nbDecision=386500 #constraints=14344 290.37/290.52 c nbDecision=387000 #constraints=14363 290.57/290.74 c nbDecision=387500 #constraints=14371 293.17/293.36 c nbDecision=388000 #constraints=14406 296.27/296.45 c nbDecision=388500 #constraints=14445 299.77/299.92 c nbDecision=389000 #constraints=14493 301.57/301.75 c nbDecision=389500 #constraints=14525 301.97/302.18 c nbDecision=390000 #constraints=14541 302.67/302.85 c nbDecision=390500 #constraints=14555 303.37/303.51 c nbDecision=391000 #constraints=14565 303.86/304.04 c nbDecision=391500 #constraints=14572 304.36/304.59 c nbDecision=392000 #constraints=14579 305.16/305.31 c nbDecision=392500 #constraints=14594 305.76/305.90 c nbDecision=393000 #constraints=14610 306.06/306.27 c nbDecision=393500 #constraints=14622 306.56/306.79 c nbDecision=394000 #constraints=14634 307.17/307.36 c nbDecision=394500 #constraints=14648 307.66/307.85 c nbDecision=395000 #constraints=14660 308.16/308.40 c nbDecision=395500 #constraints=14673 308.76/308.94 c nbDecision=396000 #constraints=14685 309.46/309.68 c nbDecision=396500 #constraints=14700 309.86/310.06 c nbDecision=397000 #constraints=14705 310.97/311.19 c nbDecision=397500 #constraints=14729 311.47/311.60 c nbDecision=398000 #constraints=14739 311.97/312.13 c nbDecision=398500 #constraints=14750 312.47/312.63 c nbDecision=399000 #constraints=14761 312.87/313.10 c nbDecision=399500 #constraints=14771 313.57/313.72 c nbDecision=400000 #constraints=14786 314.57/314.73 c nbDecision=400500 #constraints=14812 315.17/315.37 c nbDecision=401000 #constraints=14828 315.77/315.96 c nbDecision=401500 #constraints=14843 317.37/317.51 c nbDecision=402000 #constraints=14879 318.17/318.35 c nbDecision=402500 #constraints=14899 318.87/319.03 c nbDecision=403000 #constraints=14914 319.36/319.54 c nbDecision=403500 #constraints=14926 320.06/320.22 c nbDecision=404000 #constraints=14946 320.76/320.96 c nbDecision=404500 #constraints=14970 321.36/321.58 c nbDecision=405000 #constraints=14989 321.86/322.09 c nbDecision=405500 #constraints=15004 322.66/322.84 c nbDecision=406000 #constraints=15025 323.46/323.61 c nbDecision=406500 #constraints=15051 323.96/324.13 c nbDecision=407000 #constraints=15067 324.86/325.03 c nbDecision=407500 #constraints=15094 325.46/325.68 c nbDecision=408000 #constraints=15109 326.56/326.70 c nbDecision=408500 #constraints=15131 327.06/327.28 c nbDecision=409000 #constraints=15143 327.76/327.97 c nbDecision=409500 #constraints=15159 327.85/328.07 c restart after 409601 decisions 328.36/328.50 c nbDecision=410000 #constraints=15161 328.86/329.01 c nbDecision=410500 #constraints=15165 329.16/329.37 c nbDecision=411000 #constraints=15170 330.96/331.15 c nbDecision=411500 #constraints=15202 331.46/331.62 c nbDecision=412000 #constraints=15212 332.46/332.63 c nbDecision=412500 #constraints=15237 332.96/333.20 c nbDecision=413000 #constraints=15249 333.56/333.75 c nbDecision=413500 #constraints=15260 334.06/334.24 c nbDecision=414000 #constraints=15270 334.96/335.11 c nbDecision=414500 #constraints=15286 335.56/335.79 c nbDecision=415000 #constraints=15298 336.26/336.49 c nbDecision=415500 #constraints=15311 337.26/337.42 c nbDecision=416000 #constraints=15329 338.26/338.41 c nbDecision=416500 #constraints=15351 339.06/339.23 c nbDecision=417000 #constraints=15369 339.96/340.16 c nbDecision=417500 #constraints=15385 340.56/340.79 c nbDecision=418000 #constraints=15398 341.35/341.54 c nbDecision=418500 #constraints=15413 342.35/342.58 c nbDecision=419000 #constraints=15432 343.15/343.36 c nbDecision=419500 #constraints=15445 344.16/344.33 c nbDecision=420000 #constraints=15461 345.26/345.46 c nbDecision=420500 #constraints=15483 345.95/346.14 c nbDecision=421000 #constraints=15496 346.75/346.90 c nbDecision=421500 #constraints=15509 347.85/348.03 c nbDecision=422000 #constraints=15529 348.85/349.01 c nbDecision=422500 #constraints=15547 349.85/350.02 c nbDecision=423000 #constraints=15568 351.55/351.79 c nbDecision=423500 #constraints=15594 353.75/353.96 c nbDecision=424000 #constraints=15633 354.45/354.69 c nbDecision=424500 #constraints=15649 354.95/355.11 c nbDecision=425000 #constraints=15656 355.35/355.58 c nbDecision=425500 #constraints=15664 357.65/357.88 c nbDecision=426000 #constraints=15694 358.15/358.38 c nbDecision=426500 #constraints=15704 359.15/359.39 c nbDecision=427000 #constraints=15723 359.95/360.10 c nbDecision=427500 #constraints=15742 360.45/360.68 c nbDecision=428000 #constraints=15757 361.14/361.34 c nbDecision=428500 #constraints=15776 361.75/361.95 c nbDecision=429000 #constraints=15791 362.44/362.62 c nbDecision=429500 #constraints=15810 362.94/363.15 c nbDecision=430000 #constraints=15822 363.64/363.82 c nbDecision=430500 #constraints=15841 364.34/364.51 c nbDecision=431000 #constraints=15860 364.95/365.15 c nbDecision=431500 #constraints=15877 365.54/365.70 c nbDecision=432000 #constraints=15891 366.34/366.56 c nbDecision=432500 #constraints=15915 367.04/367.26 c nbDecision=433000 #constraints=15933 367.74/367.96 c nbDecision=433500 #constraints=15946 368.44/368.63 c nbDecision=434000 #constraints=15959 369.24/369.43 c nbDecision=434500 #constraints=15973 369.74/369.99 c nbDecision=435000 #constraints=15986 370.94/371.17 c nbDecision=435500 #constraints=16003 371.84/372.05 c nbDecision=436000 #constraints=16017 372.64/372.85 c nbDecision=436500 #constraints=16036 373.14/373.38 c nbDecision=437000 #constraints=16049 374.14/374.39 c nbDecision=437500 #constraints=16067 375.14/375.34 c nbDecision=438000 #constraints=16083 376.04/376.25 c nbDecision=438500 #constraints=16099 377.14/377.30 c nbDecision=439000 #constraints=16115 377.84/378.08 c nbDecision=439500 #constraints=16126 378.84/379.00 c nbDecision=440000 #constraints=16137 379.74/379.93 c nbDecision=440500 #constraints=16151 380.53/380.75 c nbDecision=441000 #constraints=16163 381.63/381.83 c nbDecision=441500 #constraints=16177 382.33/382.57 c nbDecision=442000 #constraints=16186 384.43/384.68 c nbDecision=442500 #constraints=16214 385.53/385.76 c nbDecision=443000 #constraints=16229 386.13/386.36 c nbDecision=443500 #constraints=16236 386.93/387.18 c nbDecision=444000 #constraints=16246 387.93/388.14 c nbDecision=444500 #constraints=16258 390.84/391.03 c nbDecision=445000 #constraints=16303 391.94/392.10 c nbDecision=445500 #constraints=16329 392.74/392.97 c nbDecision=446000 #constraints=16350 393.44/393.69 c nbDecision=446500 #constraints=16371 394.43/394.68 c nbDecision=447000 #constraints=16395 395.13/395.35 c nbDecision=447500 #constraints=16409 395.84/396.03 c nbDecision=448000 #constraints=16425 396.63/396.80 c nbDecision=448500 #constraints=16445 397.53/397.76 c nbDecision=449000 #constraints=16467 398.23/398.47 c nbDecision=449500 #constraints=16483 399.04/399.28 c nbDecision=450000 #constraints=16496 400.13/400.36 c nbDecision=450500 #constraints=16519 401.23/401.46 c nbDecision=451000 #constraints=16546 403.13/403.39 c nbDecision=451500 #constraints=16579 406.63/406.83 c nbDecision=452000 #constraints=16634 407.23/407.41 c nbDecision=452500 #constraints=16649 407.73/407.95 c nbDecision=453000 #constraints=16659 408.43/408.64 c nbDecision=453500 #constraints=16675 409.03/409.21 c nbDecision=454000 #constraints=16686 409.53/409.79 c nbDecision=454500 #constraints=16699 410.33/410.55 c nbDecision=455000 #constraints=16713 411.03/411.25 c nbDecision=455500 #constraints=16732 411.73/411.98 c nbDecision=456000 #constraints=16750 412.43/412.66 c nbDecision=456500 #constraints=16766 413.02/413.26 c nbDecision=457000 #constraints=16779 413.72/413.94 c nbDecision=457500 #constraints=16795 414.22/414.41 c nbDecision=458000 #constraints=16806 415.02/415.30 c nbDecision=458500 #constraints=16827 415.72/415.93 c nbDecision=459000 #constraints=16842 416.32/416.57 c nbDecision=459500 #constraints=16855 417.02/417.26 c nbDecision=460000 #constraints=16868 417.73/417.98 c nbDecision=460500 #constraints=16880 418.93/419.14 c nbDecision=461000 #constraints=16893 420.52/420.74 c nbDecision=461500 #constraints=16919 421.03/421.20 c nbDecision=462000 #constraints=16930 424.12/424.33 c nbDecision=462500 #constraints=16972 425.02/425.27 c nbDecision=463000 #constraints=16991 425.92/426.15 c nbDecision=463500 #constraints=17012 426.42/426.70 c nbDecision=464000 #constraints=17027 427.02/427.28 c nbDecision=464500 #constraints=17042 427.72/427.97 c nbDecision=465000 #constraints=17059 428.52/428.71 c nbDecision=465500 #constraints=17075 428.92/429.16 c nbDecision=466000 #constraints=17087 430.41/430.63 c nbDecision=466500 #constraints=17122 431.41/431.60 c nbDecision=467000 #constraints=17148 432.12/432.36 c nbDecision=467500 #constraints=17166 433.42/433.66 c nbDecision=468000 #constraints=17204 434.33/434.54 c nbDecision=468500 #constraints=17227 435.52/435.76 c nbDecision=469000 #constraints=17260 437.02/437.28 c nbDecision=469500 #constraints=17296 438.32/438.59 c nbDecision=470000 #constraints=17331 439.62/439.86 c nbDecision=470500 #constraints=17362 440.52/440.78 c nbDecision=471000 #constraints=17388 441.72/441.97 c nbDecision=471500 #constraints=17422 442.82/443.03 c nbDecision=472000 #constraints=17447 443.62/443.80 c nbDecision=472500 #constraints=17469 444.12/444.38 c nbDecision=473000 #constraints=17481 445.02/445.28 c nbDecision=473500 #constraints=17501 445.92/446.17 c nbDecision=474000 #constraints=17521 446.82/447.06 c nbDecision=474500 #constraints=17541 447.42/447.67 c nbDecision=475000 #constraints=17555 448.21/448.42 c nbDecision=475500 #constraints=17574 448.91/449.17 c nbDecision=476000 #constraints=17593 449.72/449.92 c nbDecision=476500 #constraints=17613 450.41/450.68 c nbDecision=477000 #constraints=17633 451.41/451.60 c nbDecision=477500 #constraints=17659 452.21/452.46 c nbDecision=478000 #constraints=17681 453.01/453.20 c nbDecision=478500 #constraints=17700 453.71/453.91 c nbDecision=479000 #constraints=17716 454.11/454.38 c nbDecision=479500 #constraints=17728 454.81/455.03 c nbDecision=480000 #constraints=17745 455.61/455.88 c nbDecision=480500 #constraints=17761 456.51/456.80 c nbDecision=481000 #constraints=17780 457.51/457.72 c nbDecision=481500 #constraints=17805 458.11/458.40 c nbDecision=482000 #constraints=17818 459.01/459.23 c nbDecision=482500 #constraints=17838 459.71/459.98 c nbDecision=483000 #constraints=17856 460.41/460.69 c nbDecision=483500 #constraints=17871 461.10/461.34 c nbDecision=484000 #constraints=17884 461.81/462.08 c nbDecision=484500 #constraints=17898 462.60/462.84 c nbDecision=485000 #constraints=17911 463.40/463.65 c nbDecision=485500 #constraints=17928 464.30/464.50 c nbDecision=486000 #constraints=17947 465.11/465.32 c nbDecision=486500 #constraints=17964 465.60/465.86 c nbDecision=487000 #constraints=17974 466.21/466.42 c nbDecision=487500 #constraints=17984 466.90/467.11 c nbDecision=488000 #constraints=17999 467.50/467.79 c nbDecision=488500 #constraints=18012 468.30/468.59 c nbDecision=489000 #constraints=18028 469.00/469.29 c nbDecision=489500 #constraints=18040 469.80/470.04 c nbDecision=490000 #constraints=18058 470.41/470.60 c nbDecision=490500 #constraints=18072 471.41/471.64 c nbDecision=491000 #constraints=18090 472.61/472.90 c nbDecision=491500 #constraints=18110 473.91/474.17 c nbDecision=492000 #constraints=18127 475.30/475.56 c nbDecision=492500 #constraints=18150 475.80/476.09 c nbDecision=493000 #constraints=18162 476.70/476.92 c nbDecision=493500 #constraints=18174 478.21/478.50 c nbDecision=494000 #constraints=18197 479.70/479.96 c nbDecision=494500 #constraints=18215 481.00/481.23 c nbDecision=495000 #constraints=18231 482.10/482.33 c nbDecision=495500 #constraints=18247 483.30/483.59 c nbDecision=496000 #constraints=18267 484.10/484.40 c nbDecision=496500 #constraints=18279 485.30/485.54 c nbDecision=497000 #constraints=18298 486.00/486.22 c nbDecision=497500 #constraints=18306 486.80/487.05 c nbDecision=498000 #constraints=18317 487.70/487.92 c nbDecision=498500 #constraints=18331 488.30/488.58 c nbDecision=499000 #constraints=18343 489.50/489.76 c nbDecision=499500 #constraints=18358 491.59/491.89 c nbDecision=500000 #constraints=18391 492.19/492.41 c nbDecision=500500 #constraints=18403 493.19/493.44 c nbDecision=501000 #constraints=18419 493.60/493.89 c nbDecision=501500 #constraints=18429 494.39/494.68 c nbDecision=502000 #constraints=18444 495.69/495.94 c nbDecision=502500 #constraints=18465 496.79/497.09 c nbDecision=503000 #constraints=18487 498.99/499.24 c nbDecision=503500 #constraints=18513 499.49/499.72 c nbDecision=504000 #constraints=18522 500.69/500.95 c nbDecision=504500 #constraints=18546 501.29/501.52 c nbDecision=505000 #constraints=18558 502.09/502.37 c nbDecision=505500 #constraints=18579 502.69/502.91 c nbDecision=506000 #constraints=18589 504.29/504.55 c nbDecision=506500 #constraints=18620 504.89/505.17 c nbDecision=507000 #constraints=18633 506.29/506.55 c nbDecision=507500 #constraints=18658 507.09/507.33 c nbDecision=508000 #constraints=18679 507.69/507.93 c nbDecision=508500 #constraints=18691 508.79/509.00 c nbDecision=509000 #constraints=18712 509.89/510.15 c nbDecision=509500 #constraints=18738 510.49/510.78 c nbDecision=510000 #constraints=18751 511.19/511.45 c nbDecision=510500 #constraints=18766 512.48/512.75 c nbDecision=511000 #constraints=18788 514.18/514.41 c nbDecision=511500 #constraints=18821 515.08/515.39 c nbDecision=512000 #constraints=18840 516.58/516.90 c nbDecision=512500 #constraints=18882 517.58/517.87 c nbDecision=513000 #constraints=18910 518.98/519.23 c nbDecision=513500 #constraints=18942 519.98/520.27 c nbDecision=514000 #constraints=18970 521.18/521.41 c nbDecision=514500 #constraints=19000 522.28/522.54 c nbDecision=515000 #constraints=19030 523.18/523.49 c nbDecision=515500 #constraints=19056 524.08/524.34 c nbDecision=516000 #constraints=19078 524.78/525.06 c nbDecision=516500 #constraints=19097 525.68/525.91 c nbDecision=517000 #constraints=19125 526.48/526.80 c nbDecision=517500 #constraints=19157 527.69/527.93 c nbDecision=518000 #constraints=19195 528.89/529.18 c nbDecision=518500 #constraints=19226 530.08/530.37 c nbDecision=519000 #constraints=19264 530.79/531.04 c nbDecision=519500 #constraints=19279 531.28/531.52 c nbDecision=520000 #constraints=19290 531.48/531.73 c nbDecision=520500 #constraints=19296 531.68/531.91 c nbDecision=521000 #constraints=19302 532.38/532.69 c nbDecision=521500 #constraints=19317 533.08/533.39 c nbDecision=522000 #constraints=19327 534.08/534.36 c nbDecision=522500 #constraints=19345 535.08/535.31 c nbDecision=523000 #constraints=19364 535.88/536.19 c nbDecision=523500 #constraints=19379 536.78/537.09 c nbDecision=524000 #constraints=19394 537.88/538.11 c nbDecision=524500 #constraints=19412 538.68/538.98 c nbDecision=525000 #constraints=19428 539.58/539.86 c nbDecision=525500 #constraints=19441 540.28/540.56 c nbDecision=526000 #constraints=19450 541.08/541.30 c nbDecision=526500 #constraints=19462 541.88/542.13 c nbDecision=527000 #constraints=19476 542.68/542.97 c nbDecision=527500 #constraints=19490 543.38/543.66 c nbDecision=528000 #constraints=19502 544.18/544.47 c nbDecision=528500 #constraints=19515 545.48/545.78 c nbDecision=529000 #constraints=19534 546.38/546.68 c nbDecision=529500 #constraints=19549 547.58/547.80 c nbDecision=530000 #constraints=19565 549.38/549.63 c nbDecision=530500 #constraints=19594 550.67/550.95 c nbDecision=531000 #constraints=19614 551.88/552.19 c nbDecision=531500 #constraints=19631 553.57/553.83 c nbDecision=532000 #constraints=19651 554.77/555.07 c nbDecision=532500 #constraints=19666 555.77/556.01 c nbDecision=533000 #constraints=19681 557.17/557.43 c nbDecision=533500 #constraints=19706 558.47/558.77 c nbDecision=534000 #constraints=19730 559.57/559.80 c nbDecision=534500 #constraints=19749 560.57/560.87 c nbDecision=535000 #constraints=19768 561.97/562.29 c nbDecision=535500 #constraints=19795 563.37/563.69 c nbDecision=536000 #constraints=19822 564.46/564.77 c nbDecision=536500 #constraints=19839 565.76/566.03 c nbDecision=537000 #constraints=19863 567.16/567.41 c nbDecision=537500 #constraints=19890 568.26/568.59 c nbDecision=538000 #constraints=19909 569.76/570.05 c nbDecision=538500 #constraints=19937 571.16/571.47 c nbDecision=539000 #constraints=19962 572.76/573.07 c nbDecision=539500 #constraints=19992 574.26/574.53 c nbDecision=540000 #constraints=20023 575.16/575.43 c nbDecision=540500 #constraints=20043 576.46/576.76 c nbDecision=541000 #constraints=20067 577.76/578.08 c nbDecision=541500 #constraints=20091 579.46/579.74 c nbDecision=542000 #constraints=20120 580.56/580.89 c nbDecision=542500 #constraints=20144 581.66/581.93 c nbDecision=543000 #constraints=20161 582.85/583.14 c nbDecision=543500 #constraints=20182 585.35/585.68 c nbDecision=544000 #constraints=20234 586.45/586.76 c nbDecision=544500 #constraints=20252 588.06/588.35 c nbDecision=545000 #constraints=20275 588.96/589.29 c nbDecision=545500 #constraints=20291 590.16/590.40 c nbDecision=546000 #constraints=20312 591.16/591.42 c nbDecision=546500 #constraints=20330 592.16/592.44 c nbDecision=547000 #constraints=20348 593.26/593.50 c nbDecision=547500 #constraints=20366 593.86/594.12 c nbDecision=548000 #constraints=20374 594.66/595.00 c nbDecision=548500 #constraints=20387 595.65/595.99 c nbDecision=549000 #constraints=20402 596.65/596.98 c nbDecision=549500 #constraints=20416 597.35/597.68 c nbDecision=550000 #constraints=20430 598.45/598.78 c nbDecision=550500 #constraints=20447 599.75/600.05 c nbDecision=551000 #constraints=20472 601.15/601.49 c nbDecision=551500 #constraints=20499 602.15/602.42 c nbDecision=552000 #constraints=20519 603.55/603.86 c nbDecision=552500 #constraints=20537 604.75/605.01 c nbDecision=553000 #constraints=20559 606.35/606.67 c nbDecision=553500 #constraints=20589 607.35/607.60 c nbDecision=554000 #constraints=20600 608.65/608.91 c nbDecision=554500 #constraints=20615 610.34/610.61 c nbDecision=555000 #constraints=20640 612.14/612.46 c nbDecision=555500 #constraints=20663 613.55/613.86 c nbDecision=556000 #constraints=20679 615.04/615.39 c nbDecision=556500 #constraints=20696 616.34/616.68 c nbDecision=557000 #constraints=20712 617.95/618.24 c nbDecision=557500 #constraints=20730 620.44/620.76 c nbDecision=558000 #constraints=20758 622.25/622.59 c nbDecision=558500 #constraints=20782 624.34/624.61 c nbDecision=559000 #constraints=20805 626.04/626.34 c nbDecision=559500 #constraints=20824 628.54/628.81 c nbDecision=560000 #constraints=20849 630.14/630.47 c nbDecision=560500 #constraints=20865 630.94/631.27 c nbDecision=561000 #constraints=20875 631.93/632.27 c nbDecision=561500 #constraints=20887 632.73/633.06 c nbDecision=562000 #constraints=20898 633.53/633.85 c nbDecision=562500 #constraints=20908 635.23/635.56 c nbDecision=563000 #constraints=20924 637.23/637.52 c nbDecision=563500 #constraints=20944 639.33/639.68 c nbDecision=564000 #constraints=20968 640.33/640.68 c nbDecision=564500 #constraints=20984 641.14/641.41 c nbDecision=565000 #constraints=20994 642.04/642.30 c nbDecision=565500 #constraints=21006 644.14/644.43 c nbDecision=566000 #constraints=21029 645.44/645.72 c nbDecision=566500 #constraints=21047 646.44/646.72 c nbDecision=567000 #constraints=21061 647.44/647.79 c nbDecision=567500 #constraints=21074 648.83/649.10 c nbDecision=568000 #constraints=21097 650.03/650.31 c nbDecision=568500 #constraints=21114 651.33/651.63 c nbDecision=569000 #constraints=21132 652.93/653.30 c nbDecision=569500 #constraints=21151 655.73/656.08 c nbDecision=570000 #constraints=21182 658.13/658.42 c nbDecision=570500 #constraints=21205 659.93/660.24 c nbDecision=571000 #constraints=21226 661.73/662.07 c nbDecision=571500 #constraints=21248 663.73/664.02 c nbDecision=572000 #constraints=21272 665.33/665.61 c nbDecision=572500 #constraints=21291 667.53/667.80 c nbDecision=573000 #constraints=21321 669.53/669.86 c nbDecision=573500 #constraints=21348 671.62/671.91 c nbDecision=574000 #constraints=21372 673.82/674.15 c nbDecision=574500 #constraints=21398 675.62/675.96 c nbDecision=575000 #constraints=21422 677.32/677.68 c nbDecision=575500 #constraints=21442 678.82/679.13 c nbDecision=576000 #constraints=21459 680.02/680.37 c nbDecision=576500 #constraints=21473 681.92/682.27 c nbDecision=577000 #constraints=21496 683.22/683.53 c nbDecision=577500 #constraints=21514 685.02/685.31 c nbDecision=578000 #constraints=21537 687.22/687.52 c nbDecision=578500 #constraints=21563 688.92/689.21 c nbDecision=579000 #constraints=21585 690.31/690.66 c nbDecision=579500 #constraints=21603 692.11/692.41 c nbDecision=580000 #constraints=21630 694.01/694.34 c nbDecision=580500 #constraints=21654 696.11/696.43 c nbDecision=581000 #constraints=21680 698.11/698.47 c nbDecision=581500 #constraints=21703 700.31/700.61 c nbDecision=582000 #constraints=21732 701.71/702.00 c nbDecision=582500 #constraints=21750 702.61/702.93 c nbDecision=583000 #constraints=21765 703.52/703.85 c nbDecision=583500 #constraints=21779 704.82/705.12 c nbDecision=584000 #constraints=21799 706.21/706.55 c nbDecision=584500 #constraints=21820 707.91/708.28 c nbDecision=585000 #constraints=21837 709.61/709.97 c nbDecision=585500 #constraints=21855 710.61/710.92 c nbDecision=586000 #constraints=21870 711.71/712.04 c nbDecision=586500 #constraints=21885 713.31/713.61 c nbDecision=587000 #constraints=21907 715.01/715.31 c nbDecision=587500 #constraints=21929 716.81/717.10 c nbDecision=588000 #constraints=21950 718.91/719.29 c nbDecision=588500 #constraints=21975 720.31/720.62 c nbDecision=589000 #constraints=21991 721.61/721.98 c nbDecision=589500 #constraints=22009 723.11/723.43 c nbDecision=590000 #constraints=22026 726.40/726.79 c nbDecision=590500 #constraints=22056 727.50/727.86 c nbDecision=591000 #constraints=22073 728.50/728.83 c nbDecision=591500 #constraints=22084 729.30/729.64 c nbDecision=592000 #constraints=22095 730.30/730.66 c nbDecision=592500 #constraints=22111 731.40/731.74 c nbDecision=593000 #constraints=22122 733.10/733.44 c nbDecision=593500 #constraints=22140 734.00/734.34 c nbDecision=594000 #constraints=22152 735.00/735.34 c nbDecision=594500 #constraints=22162 736.50/736.80 c nbDecision=595000 #constraints=22177 737.30/737.61 c nbDecision=595500 #constraints=22187 738.70/739.05 c nbDecision=596000 #constraints=22202 739.90/740.28 c nbDecision=596500 #constraints=22216 740.90/741.23 c nbDecision=597000 #constraints=22232 742.10/742.44 c nbDecision=597500 #constraints=22247 743.40/743.72 c nbDecision=598000 #constraints=22265 745.00/745.36 c nbDecision=598500 #constraints=22287 747.09/747.41 c nbDecision=599000 #constraints=22313 748.49/748.80 c nbDecision=599500 #constraints=22328 749.90/750.21 c nbDecision=600000 #constraints=22344 751.59/751.96 c nbDecision=600500 #constraints=22360 753.20/753.52 c nbDecision=601000 #constraints=22377 755.39/755.75 c nbDecision=601500 #constraints=22399 757.49/757.90 c nbDecision=602000 #constraints=22418 759.59/759.95 c nbDecision=602500 #constraints=22435 760.89/761.22 c nbDecision=603000 #constraints=22447 762.29/762.68 c nbDecision=603500 #constraints=22469 764.29/764.66 c nbDecision=604000 #constraints=22495 765.38/765.74 c nbDecision=604500 #constraints=22511 769.39/769.70 c nbDecision=605000 #constraints=22551 771.49/771.89 c nbDecision=605500 #constraints=22584 773.19/773.59 c nbDecision=606000 #constraints=22610 774.99/775.34 c nbDecision=606500 #constraints=22633 777.09/777.40 c nbDecision=607000 #constraints=22666 779.09/779.46 c nbDecision=607500 #constraints=22690 780.89/781.28 c nbDecision=608000 #constraints=22710 782.69/783.06 c nbDecision=608500 #constraints=22732 785.29/785.62 c nbDecision=609000 #constraints=22758 787.68/788.06 c nbDecision=609500 #constraints=22791 790.28/790.61 c nbDecision=610000 #constraints=22828 792.88/793.25 c nbDecision=610500 #constraints=22859 795.08/795.42 c nbDecision=611000 #constraints=22887 797.38/797.78 c nbDecision=611500 #constraints=22923 799.18/799.51 c nbDecision=612000 #constraints=22940 800.68/801.08 c nbDecision=612500 #constraints=22959 802.58/802.99 c nbDecision=613000 #constraints=22984 804.38/804.73 c nbDecision=613500 #constraints=23006 806.47/806.83 c nbDecision=614000 #constraints=23033 808.18/808.58 c nbDecision=614500 #constraints=23056 815.07/815.49 c nbDecision=615000 #constraints=23121 817.37/817.76 c nbDecision=615500 #constraints=23159 818.17/818.57 c nbDecision=616000 #constraints=23177 819.17/819.56 c nbDecision=616500 #constraints=23199 820.07/820.48 c nbDecision=617000 #constraints=23220 821.37/821.77 c nbDecision=617500 #constraints=23251 821.97/822.31 c nbDecision=618000 #constraints=23261 822.27/822.69 c nbDecision=618500 #constraints=23269 822.67/823.02 c nbDecision=619000 #constraints=23277 823.67/824.00 c nbDecision=619500 #constraints=23290 824.76/825.19 c nbDecision=620000 #constraints=23304 825.86/826.21 c nbDecision=620500 #constraints=23315 826.77/827.19 c nbDecision=621000 #constraints=23329 829.06/829.43 c nbDecision=621500 #constraints=23351 830.06/830.41 c nbDecision=622000 #constraints=23362 831.16/831.58 c nbDecision=622500 #constraints=23374 832.06/832.48 c nbDecision=623000 #constraints=23385 832.77/833.18 c nbDecision=623500 #constraints=23395 833.57/833.90 c nbDecision=624000 #constraints=23405 834.27/834.69 c nbDecision=624500 #constraints=23415 835.57/835.93 c nbDecision=625000 #constraints=23429 836.87/837.27 c nbDecision=625500 #constraints=23444 840.86/841.29 c nbDecision=626000 #constraints=23483 847.36/847.73 c nbDecision=626500 #constraints=23540 849.76/850.19 c nbDecision=627000 #constraints=23569 851.56/851.93 c nbDecision=627500 #constraints=23591 853.86/854.29 c nbDecision=628000 #constraints=23617 855.36/855.75 c nbDecision=628500 #constraints=23630 856.66/857.06 c nbDecision=629000 #constraints=23646 857.76/858.15 c nbDecision=629500 #constraints=23660 858.85/859.29 c nbDecision=630000 #constraints=23675 860.55/860.96 c nbDecision=630500 #constraints=23697 862.55/862.98 c nbDecision=631000 #constraints=23727 864.55/864.95 c nbDecision=631500 #constraints=23750 866.55/866.97 c nbDecision=632000 #constraints=23774 868.65/869.02 c nbDecision=632500 #constraints=23798 871.05/871.47 c nbDecision=633000 #constraints=23828 873.55/873.91 c nbDecision=633500 #constraints=23850 875.44/875.84 c nbDecision=634000 #constraints=23868 877.04/877.45 c nbDecision=634500 #constraints=23884 879.34/879.77 c nbDecision=635000 #constraints=23910 882.04/882.44 c nbDecision=635500 #constraints=23938 884.05/884.45 c nbDecision=636000 #constraints=23955 886.75/887.15 c nbDecision=636500 #constraints=23975 887.95/888.31 c nbDecision=637000 #constraints=23995 888.85/889.25 c nbDecision=637500 #constraints=24006 889.65/890.06 c nbDecision=638000 #constraints=24017 891.25/891.61 c nbDecision=638500 #constraints=24036 892.55/892.96 c nbDecision=639000 #constraints=24055 893.35/893.77 c nbDecision=639500 #constraints=24064 894.84/895.22 c nbDecision=640000 #constraints=24079 896.15/896.56 c nbDecision=640500 #constraints=24098 897.64/898.00 c nbDecision=641000 #constraints=24116 898.64/899.07 c nbDecision=641500 #constraints=24131 900.14/900.52 c nbDecision=642000 #constraints=24146 901.24/901.64 c nbDecision=642500 #constraints=24160 902.34/902.74 c nbDecision=643000 #constraints=24172 903.85/904.21 c nbDecision=643500 #constraints=24189 904.64/905.02 c nbDecision=644000 #constraints=24202 905.94/906.39 c nbDecision=644500 #constraints=24218 907.34/907.70 c nbDecision=645000 #constraints=24233 908.54/908.99 c nbDecision=645500 #constraints=24256 909.84/910.24 c nbDecision=646000 #constraints=24275 910.83/911.29 c nbDecision=646500 #constraints=24293 912.64/913.07 c nbDecision=647000 #constraints=24319 914.63/915.03 c nbDecision=647500 #constraints=24340 915.94/916.33 c nbDecision=648000 #constraints=24360 917.33/917.78 c nbDecision=648500 #constraints=24382 918.83/919.27 c nbDecision=649000 #constraints=24400 919.83/920.23 c nbDecision=649500 #constraints=24412 921.13/921.59 c nbDecision=650000 #constraints=24429 922.83/923.24 c nbDecision=650500 #constraints=24448 924.03/924.41 c nbDecision=651000 #constraints=24463 925.23/925.67 c nbDecision=651500 #constraints=24482 927.23/927.61 c nbDecision=652000 #constraints=24505 928.83/929.21 c nbDecision=652500 #constraints=24528 930.14/930.56 c nbDecision=653000 #constraints=24544 930.93/931.39 c nbDecision=653500 #constraints=24555 932.13/932.58 c nbDecision=654000 #constraints=24568 933.13/933.60 c nbDecision=654500 #constraints=24584 933.93/934.30 c nbDecision=655000 #constraints=24593 935.33/935.78 c nbDecision=655500 #constraints=24612 937.83/938.21 c nbDecision=656000 #constraints=24638 939.73/940.14 c nbDecision=656500 #constraints=24663 941.43/941.89 c nbDecision=657000 #constraints=24688 943.23/943.61 c nbDecision=657500 #constraints=24711 944.13/944.56 c nbDecision=658000 #constraints=24725 946.03/946.46 c nbDecision=658500 #constraints=24750 947.03/947.42 c nbDecision=659000 #constraints=24765 948.52/949.00 c nbDecision=659500 #constraints=24785 950.12/950.54 c nbDecision=660000 #constraints=24802 951.52/951.92 c nbDecision=660500 #constraints=24820 953.23/953.67 c nbDecision=661000 #constraints=24840 954.82/955.26 c nbDecision=661500 #constraints=24862 956.42/956.82 c nbDecision=662000 #constraints=24883 957.42/957.82 c nbDecision=662500 #constraints=24895 959.02/959.44 c nbDecision=663000 #constraints=24914 960.42/960.83 c nbDecision=663500 #constraints=24932 962.22/962.63 c nbDecision=664000 #constraints=24950 963.41/963.86 c nbDecision=664500 #constraints=24961 965.01/965.41 c nbDecision=665000 #constraints=24976 966.61/967.02 c nbDecision=665500 #constraints=24989 968.62/969.04 c nbDecision=666000 #constraints=25007 969.72/970.16 c nbDecision=666500 #constraints=25020 972.71/973.15 c nbDecision=667000 #constraints=25049 974.91/975.38 c nbDecision=667500 #constraints=25071 976.81/977.20 c nbDecision=668000 #constraints=25086 978.41/978.84 c nbDecision=668500 #constraints=25101 979.51/979.97 c nbDecision=669000 #constraints=25113 981.31/981.73 c nbDecision=669500 #constraints=25130 982.71/983.12 c nbDecision=670000 #constraints=25143 984.12/984.53 c nbDecision=670500 #constraints=25161 985.12/985.59 c nbDecision=671000 #constraints=25176 986.41/986.89 c nbDecision=671500 #constraints=25192 987.71/988.11 c nbDecision=672000 #constraints=25210 988.81/989.29 c nbDecision=672500 #constraints=25229 990.31/990.78 c nbDecision=673000 #constraints=25246 991.31/991.72 c nbDecision=673500 #constraints=25256 992.21/992.64 c nbDecision=674000 #constraints=25268 993.41/993.90 c nbDecision=674500 #constraints=25280 996.31/996.77 c nbDecision=675000 #constraints=25307 998.11/998.51 c nbDecision=675500 #constraints=25324 999.51/999.91 c nbDecision=676000 #constraints=25339 1001.10/1001.52 c nbDecision=676500 #constraints=25355 1003.20/1003.60 c nbDecision=677000 #constraints=25374 1006.20/1006.60 c nbDecision=677500 #constraints=25412 1009.60/1010.01 c nbDecision=678000 #constraints=25453 1011.80/1012.21 c nbDecision=678500 #constraints=25475 1013.40/1013.87 c nbDecision=679000 #constraints=25504 1014.40/1014.87 c nbDecision=679500 #constraints=25515 1017.00/1017.45 c nbDecision=680000 #constraints=25551 1021.50/1021.93 c nbDecision=680500 #constraints=25594 1024.49/1024.97 c nbDecision=681000 #constraints=25630 1027.00/1027.49 c nbDecision=681500 #constraints=25654 1029.29/1029.71 c nbDecision=682000 #constraints=25677 1030.69/1031.19 c nbDecision=682500 #constraints=25693 1032.89/1033.39 c nbDecision=683000 #constraints=25713 1036.99/1037.46 c nbDecision=683500 #constraints=25750 1041.19/1041.61 c nbDecision=684000 #constraints=25786 1045.28/1045.76 c nbDecision=684500 #constraints=25821 1050.59/1051.04 c nbDecision=685000 #constraints=25869 1054.99/1055.45 c nbDecision=685500 #constraints=25906 1059.58/1060.02 c nbDecision=686000 #constraints=25945 1064.48/1064.95 c nbDecision=686500 #constraints=25989 1069.38/1069.87 c nbDecision=687000 #constraints=26032 1074.18/1074.64 c nbDecision=687500 #constraints=26074 1079.78/1080.26 c nbDecision=688000 #constraints=26121 1082.77/1083.29 c nbDecision=688500 #constraints=26146 1086.07/1086.51 c nbDecision=689000 #constraints=26175 1088.57/1089.07 c nbDecision=689500 #constraints=26195 1091.77/1092.25 c nbDecision=690000 #constraints=26230 1094.97/1095.44 c nbDecision=690500 #constraints=26265 1097.67/1098.19 c nbDecision=691000 #constraints=26296 1099.06/1099.50 c nbDecision=691500 #constraints=26311 1100.76/1101.28 c nbDecision=692000 #constraints=26332 1102.56/1103.00 c nbDecision=692500 #constraints=26354 1104.46/1104.97 c nbDecision=693000 #constraints=26380 1105.66/1106.10 c nbDecision=693500 #constraints=26392 1107.17/1107.61 c nbDecision=694000 #constraints=26409 1108.46/1108.94 c nbDecision=694500 #constraints=26424 1110.06/1110.59 c nbDecision=695000 #constraints=26443 1111.36/1111.86 c nbDecision=695500 #constraints=26456 1112.76/1113.26 c nbDecision=696000 #constraints=26471 1114.66/1115.10 c nbDecision=696500 #constraints=26493 1118.76/1119.27 c nbDecision=697000 #constraints=26544 1122.67/1123.13 c nbDecision=697500 #constraints=26590 1127.16/1127.68 c nbDecision=698000 #constraints=26638 1130.36/1130.89 c nbDecision=698500 #constraints=26673 1134.06/1134.53 c nbDecision=699000 #constraints=26716 1138.16/1138.69 c nbDecision=699500 #constraints=26761 1139.66/1140.17 c nbDecision=700000 #constraints=26776 1141.65/1142.18 c nbDecision=700500 #constraints=26794 1143.25/1143.74 c nbDecision=701000 #constraints=26808 1144.75/1145.25 c nbDecision=701500 #constraints=26821 1146.55/1147.05 c nbDecision=702000 #constraints=26837 1148.15/1148.62 c nbDecision=702500 #constraints=26850 1149.65/1150.16 c nbDecision=703000 #constraints=26864 1151.16/1151.62 c nbDecision=703500 #constraints=26877 1152.95/1153.50 c nbDecision=704000 #constraints=26895 1154.15/1154.67 c nbDecision=704500 #constraints=26906 1155.85/1156.38 c nbDecision=705000 #constraints=26922 1157.65/1158.12 c nbDecision=705500 #constraints=26936 1158.65/1159.17 c nbDecision=706000 #constraints=26943 1159.95/1160.46 c nbDecision=706500 #constraints=26954 1162.25/1162.71 c nbDecision=707000 #constraints=26975 1163.35/1163.82 c nbDecision=707500 #constraints=26986 1164.55/1165.03 c nbDecision=708000 #constraints=26996 1165.55/1166.09 c nbDecision=708500 #constraints=27004 1167.24/1167.72 c nbDecision=709000 #constraints=27018 1168.34/1168.89 c nbDecision=709500 #constraints=27029 1170.44/1170.91 c nbDecision=710000 #constraints=27047 1171.84/1172.30 c nbDecision=710500 #constraints=27060 1173.14/1173.66 c nbDecision=711000 #constraints=27072 1176.04/1176.51 c nbDecision=711500 #constraints=27089 1176.64/1177.18 c nbDecision=712000 #constraints=27099 1177.64/1178.19 c nbDecision=712500 #constraints=27118 1178.34/1178.85 c nbDecision=713000 #constraints=27126 1178.84/1179.32 c nbDecision=713500 #constraints=27133 1179.34/1179.89 c nbDecision=714000 #constraints=27146 1180.84/1181.35 c nbDecision=714500 #constraints=27169 1181.34/1181.89 c nbDecision=715000 #constraints=27183 1182.34/1182.80 c nbDecision=715500 #constraints=27199 1183.04/1183.58 c nbDecision=716000 #constraints=27215 1183.84/1184.39 c nbDecision=716500 #constraints=27229 1185.53/1186.05 c nbDecision=717000 #constraints=27246 1187.13/1187.69 c nbDecision=717500 #constraints=27260 1188.73/1189.23 c nbDecision=718000 #constraints=27274 1190.53/1191.09 c nbDecision=718500 #constraints=27292 1192.53/1193.03 c nbDecision=719000 #constraints=27312 1195.23/1195.78 c nbDecision=719500 #constraints=27341 1198.63/1199.19 c nbDecision=720000 #constraints=27377 1202.72/1203.27 c nbDecision=720500 #constraints=27419 1205.63/1206.15 c nbDecision=721000 #constraints=27447 1208.63/1209.17 c nbDecision=721500 #constraints=27488 1212.33/1212.81 c nbDecision=722000 #constraints=27531 1215.33/1215.86 c nbDecision=722500 #constraints=27559 1218.23/1218.79 c nbDecision=723000 #constraints=27593 1220.62/1221.13 c nbDecision=723500 #constraints=27617 1222.02/1222.60 c nbDecision=724000 #constraints=27632 1223.52/1224.03 c nbDecision=724500 #constraints=27648 1224.42/1224.94 c nbDecision=725000 #constraints=27656 1225.52/1226.09 c nbDecision=725500 #constraints=27666 1227.13/1227.61 c nbDecision=726000 #constraints=27683 1228.92/1229.46 c nbDecision=726500 #constraints=27704 1230.22/1230.78 c nbDecision=727000 #constraints=27719 1231.72/1232.21 c nbDecision=727500 #constraints=27734 1233.12/1233.69 c nbDecision=728000 #constraints=27748 1234.52/1235.08 c nbDecision=728500 #constraints=27762 1236.02/1236.60 c nbDecision=729000 #constraints=27776 1237.51/1238.09 c nbDecision=729500 #constraints=27791 1238.81/1239.39 c nbDecision=730000 #constraints=27803 1240.41/1240.91 c nbDecision=730500 #constraints=27817 1242.42/1242.94 c nbDecision=731000 #constraints=27834 1244.21/1244.76 c nbDecision=731500 #constraints=27857 1246.41/1246.94 c nbDecision=732000 #constraints=27881 1248.21/1248.77 c nbDecision=732500 #constraints=27900 1250.01/1250.56 c nbDecision=733000 #constraints=27917 1251.31/1251.88 c nbDecision=733500 #constraints=27933 1253.30/1253.86 c nbDecision=734000 #constraints=27952 1255.00/1255.55 c nbDecision=734500 #constraints=27963 1257.10/1257.61 c nbDecision=735000 #constraints=27983 1258.50/1259.03 c nbDecision=735500 #constraints=27999 1260.40/1260.96 c nbDecision=736000 #constraints=28016 1261.70/1262.23 c nbDecision=736500 #constraints=28028 1264.00/1264.52 c nbDecision=737000 #constraints=28045 1265.10/1265.65 c nbDecision=737500 #constraints=28056 1266.30/1266.90 c nbDecision=738000 #constraints=28067 1267.70/1268.26 c nbDecision=738500 #constraints=28081 1269.20/1269.75 c nbDecision=739000 #constraints=28098 1270.90/1271.42 c nbDecision=739500 #constraints=28115 1273.01/1273.54 c nbDecision=740000 #constraints=28137 1274.81/1275.35 c nbDecision=740500 #constraints=28153 1276.21/1276.72 c nbDecision=741000 #constraints=28169 1277.00/1277.55 c nbDecision=741500 #constraints=28178 1278.20/1278.73 c nbDecision=742000 #constraints=28191 1279.20/1279.75 c nbDecision=742500 #constraints=28204 1280.10/1280.68 c nbDecision=743000 #constraints=28215 1281.80/1282.37 c nbDecision=743500 #constraints=28238 1283.40/1283.95 c nbDecision=744000 #constraints=28261 1284.70/1285.21 c nbDecision=744500 #constraints=28277 1286.60/1287.17 c nbDecision=745000 #constraints=28303 1287.70/1288.25 c nbDecision=745500 #constraints=28316 1289.10/1289.60 c nbDecision=746000 #constraints=28330 1290.40/1290.92 c nbDecision=746500 #constraints=28342 1291.80/1292.36 c nbDecision=747000 #constraints=28355 1293.20/1293.79 c nbDecision=747500 #constraints=28373 1294.90/1295.42 c nbDecision=748000 #constraints=28391 1295.79/1296.32 c nbDecision=748500 #constraints=28399 1296.89/1297.42 c nbDecision=749000 #constraints=28409 1297.79/1298.32 c nbDecision=749500 #constraints=28421 1299.29/1299.80 c nbDecision=750000 #constraints=28439 1301.29/1301.85 c nbDecision=750500 #constraints=28467 1302.90/1303.48 c nbDecision=751000 #constraints=28486 1304.59/1305.12 c nbDecision=751500 #constraints=28506 1306.29/1306.81 c nbDecision=752000 #constraints=28522 1307.29/1307.89 c nbDecision=752500 #constraints=28532 1309.19/1309.79 c nbDecision=753000 #constraints=28553 1310.89/1311.46 c nbDecision=753500 #constraints=28573 1312.58/1313.18 c nbDecision=754000 #constraints=28595 1314.18/1314.72 c nbDecision=754500 #constraints=28609 1315.88/1316.40 c nbDecision=755000 #constraints=28628 1317.08/1317.68 c nbDecision=755500 #constraints=28643 1319.18/1319.73 c nbDecision=756000 #constraints=28669 1320.98/1321.58 c nbDecision=756500 #constraints=28693 1323.38/1323.97 c nbDecision=757000 #constraints=28725 1324.98/1325.59 c nbDecision=757500 #constraints=28745 1326.78/1327.36 c nbDecision=758000 #constraints=28767 1328.98/1329.54 c nbDecision=758500 #constraints=28788 1330.87/1331.45 c nbDecision=759000 #constraints=28808 1333.47/1334.03 c nbDecision=759500 #constraints=28834 1335.27/1335.89 c nbDecision=760000 #constraints=28850 1336.67/1337.24 c nbDecision=760500 #constraints=28864 1338.27/1338.82 c nbDecision=761000 #constraints=28877 1340.17/1340.77 c nbDecision=761500 #constraints=28896 1342.47/1343.05 c nbDecision=762000 #constraints=28920 1344.47/1345.09 c nbDecision=762500 #constraints=28940 1346.67/1347.20 c nbDecision=763000 #constraints=28959 1348.78/1349.36 c nbDecision=763500 #constraints=28976 1350.18/1350.76 c nbDecision=764000 #constraints=28989 1351.77/1352.33 c nbDecision=764500 #constraints=29005 1353.18/1353.76 c nbDecision=765000 #constraints=29019 1355.27/1355.88 c nbDecision=765500 #constraints=29042 1356.87/1357.43 c nbDecision=766000 #constraints=29057 1358.77/1359.30 c nbDecision=766500 #constraints=29072 1361.07/1361.69 c nbDecision=767000 #constraints=29096 1362.97/1363.51 c nbDecision=767500 #constraints=29114 1365.07/1365.61 c nbDecision=768000 #constraints=29133 1366.37/1366.99 c nbDecision=768500 #constraints=29145 1367.77/1368.39 c nbDecision=769000 #constraints=29159 1369.46/1370.03 c nbDecision=769500 #constraints=29172 1371.36/1371.98 c nbDecision=770000 #constraints=29191 1373.27/1373.84 c nbDecision=770500 #constraints=29211 1374.86/1375.43 c nbDecision=771000 #constraints=29226 1376.56/1377.10 c nbDecision=771500 #constraints=29243 1378.77/1379.40 c nbDecision=772000 #constraints=29269 1381.06/1381.62 c nbDecision=772500 #constraints=29295 1382.66/1383.26 c nbDecision=773000 #constraints=29311 1384.76/1385.33 c nbDecision=773500 #constraints=29331 1387.26/1387.80 c nbDecision=774000 #constraints=29356 1389.86/1390.41 c nbDecision=774500 #constraints=29382 1392.35/1392.96 c nbDecision=775000 #constraints=29412 1394.75/1395.36 c nbDecision=775500 #constraints=29435 1396.75/1397.35 c nbDecision=776000 #constraints=29456 1398.85/1399.46 c nbDecision=776500 #constraints=29478 1401.55/1402.12 c nbDecision=777000 #constraints=29501 1403.55/1404.16 c nbDecision=777500 #constraints=29517 1405.65/1406.25 c nbDecision=778000 #constraints=29537 1408.84/1409.46 c nbDecision=778500 #constraints=29567 1411.04/1411.69 c nbDecision=779000 #constraints=29587 1413.85/1414.46 c nbDecision=779500 #constraints=29612 1416.35/1416.91 c nbDecision=780000 #constraints=29634 1418.55/1419.12 c nbDecision=780500 #constraints=29654 1421.95/1422.52 c nbDecision=781000 #constraints=29685 1424.75/1425.36 c nbDecision=781500 #constraints=29713 1427.25/1427.83 c nbDecision=782000 #constraints=29735 1429.84/1430.40 c nbDecision=782500 #constraints=29757 1432.65/1433.23 c nbDecision=783000 #constraints=29786 1435.24/1435.82 c nbDecision=783500 #constraints=29809 1438.14/1438.79 c nbDecision=784000 #constraints=29838 1441.04/1441.61 c nbDecision=784500 #constraints=29870 1443.44/1444.06 c nbDecision=785000 #constraints=29896 1446.33/1446.95 c nbDecision=785500 #constraints=29923 1451.03/1451.67 c nbDecision=786000 #constraints=29968 1454.23/1454.86 c nbDecision=786500 #constraints=29997 1456.43/1457.01 c nbDecision=787000 #constraints=30018 1458.63/1459.28 c nbDecision=787500 #constraints=30040 1461.93/1462.50 c nbDecision=788000 #constraints=30069 1464.83/1465.49 c nbDecision=788500 #constraints=30104 1467.93/1468.54 c nbDecision=789000 #constraints=30137 1469.12/1469.76 c nbDecision=789500 #constraints=30153 1470.13/1470.76 c nbDecision=790000 #constraints=30165 1471.32/1471.97 c nbDecision=790500 #constraints=30182 1472.92/1473.54 c nbDecision=791000 #constraints=30206 1474.22/1474.89 c nbDecision=791500 #constraints=30224 1475.82/1476.47 c nbDecision=792000 #constraints=30246 1477.22/1477.89 c nbDecision=792500 #constraints=30266 1478.02/1478.61 c nbDecision=793000 #constraints=30283 1481.22/1481.85 c nbDecision=793500 #constraints=30312 1483.92/1484.58 c nbDecision=794000 #constraints=30340 1487.12/1487.79 c nbDecision=794500 #constraints=30383 1490.02/1490.67 c nbDecision=795000 #constraints=30414 1493.42/1494.07 c nbDecision=795500 #constraints=30450 1496.22/1496.85 c nbDecision=796000 #constraints=30482 1499.52/1500.12 c nbDecision=796500 #constraints=30523 1502.32/1502.95 c nbDecision=797000 #constraints=30548 1505.62/1506.22 c nbDecision=797500 #constraints=30577 1508.32/1508.97 c nbDecision=798000 #constraints=30600 1511.82/1512.40 c nbDecision=798500 #constraints=30630 1515.51/1516.11 c nbDecision=799000 #constraints=30665 1518.51/1519.16 c nbDecision=799500 #constraints=30697 1522.11/1522.74 c nbDecision=800000 #constraints=30731 1526.01/1526.64 c nbDecision=800500 #constraints=30772 1529.10/1529.76 c nbDecision=801000 #constraints=30803 1531.90/1532.57 c nbDecision=801500 #constraints=30830 1534.10/1534.78 c nbDecision=802000 #constraints=30855 1537.70/1538.39 c nbDecision=802500 #constraints=30887 1541.60/1542.25 c nbDecision=803000 #constraints=30922 1545.20/1545.82 c nbDecision=803500 #constraints=30959 1548.70/1549.39 c nbDecision=804000 #constraints=30994 1553.61/1554.30 c nbDecision=804500 #constraints=31040 1557.20/1557.84 c nbDecision=805000 #constraints=31071 1560.00/1560.67 c nbDecision=805500 #constraints=31099 1563.40/1564.03 c nbDecision=806000 #constraints=31140 1567.50/1568.10 c nbDecision=806500 #constraints=31185 1571.30/1571.99 c nbDecision=807000 #constraints=31221 1575.09/1575.74 c nbDecision=807500 #constraints=31255 1577.59/1578.29 c nbDecision=808000 #constraints=31275 1580.59/1581.28 c nbDecision=808500 #constraints=31298 1582.98/1583.62 c nbDecision=809000 #constraints=31323 1586.18/1586.87 c nbDecision=809500 #constraints=31349 1589.08/1589.71 c nbDecision=810000 #constraints=31370 1591.48/1592.16 c nbDecision=810500 #constraints=31396 1594.88/1595.56 c nbDecision=811000 #constraints=31424 1597.98/1598.64 c nbDecision=811500 #constraints=31448 1600.78/1601.48 c nbDecision=812000 #constraints=31469 1603.58/1604.27 c nbDecision=812500 #constraints=31494 1606.98/1607.66 c nbDecision=813000 #constraints=31523 1610.38/1611.06 c nbDecision=813500 #constraints=31555 1613.88/1614.51 c nbDecision=814000 #constraints=31588 1616.08/1616.72 c nbDecision=814500 #constraints=31611 1618.77/1619.42 c nbDecision=815000 #constraints=31641 1623.07/1623.76 c nbDecision=815500 #constraints=31683 1627.77/1628.49 c nbDecision=816000 #constraints=31724 1630.77/1631.41 c nbDecision=816500 #constraints=31749 1633.47/1634.18 c nbDecision=817000 #constraints=31778 1636.87/1637.54 c nbDecision=817500 #constraints=31812 1640.06/1640.78 c nbDecision=818000 #constraints=31844 1642.86/1643.56 c nbDecision=818500 #constraints=31871 1645.97/1646.68 c nbDecision=819000 #constraints=31902 1647.06/1647.73 c restart after 819201 decisions 1648.16/1648.86 c nbDecision=819500 #constraints=31913 1649.36/1650.03 c nbDecision=820000 #constraints=31919 1653.06/1653.74 c nbDecision=820500 #constraints=31960 1657.75/1658.48 c nbDecision=821000 #constraints=32005 1660.95/1661.69 c nbDecision=821500 #constraints=32037 1665.86/1666.52 c nbDecision=822000 #constraints=32089 1670.96/1671.63 c nbDecision=822500 #constraints=32140 1676.96/1677.61 c nbDecision=823000 #constraints=32198 1679.25/1679.94 c nbDecision=823500 #constraints=32218 1682.05/1682.79 c nbDecision=824000 #constraints=32242 1685.25/1685.98 c nbDecision=824500 #constraints=32266 1688.05/1688.74 c nbDecision=825000 #constraints=32287 1691.35/1692.03 c nbDecision=825500 #constraints=32312 1694.35/1695.04 c nbDecision=826000 #constraints=32334 1697.65/1698.38 c nbDecision=826500 #constraints=32360 1700.54/1701.22 c nbDecision=827000 #constraints=32386 1704.74/1705.48 c nbDecision=827500 #constraints=32418 1711.04/1711.74 c nbDecision=828000 #constraints=32470 1716.24/1716.92 c nbDecision=828500 #constraints=32510 1721.43/1722.15 c nbDecision=829000 #constraints=32556 1724.93/1725.68 c nbDecision=829500 #constraints=32589 1729.33/1730.03 c nbDecision=830000 #constraints=32626 1735.14/1735.87 c nbDecision=830500 #constraints=32678 1740.03/1740.75 c nbDecision=831000 #constraints=32723 1743.43/1744.17 c nbDecision=831500 #constraints=32754 1747.33/1748.02 c nbDecision=832000 #constraints=32789 1752.63/1753.33 c nbDecision=832500 #constraints=32843 1756.32/1757.02 c nbDecision=833000 #constraints=32871 1761.32/1762.09 c nbDecision=833500 #constraints=32917 1764.42/1765.19 c nbDecision=834000 #constraints=32943 1765.92/1766.60 c nbDecision=834500 #constraints=32960 1767.32/1768.01 c nbDecision=835000 #constraints=32977 1768.62/1769.38 c nbDecision=835500 #constraints=32993 1770.32/1771.07 c nbDecision=836000 #constraints=33021 1771.82/1772.55 c nbDecision=836500 #constraints=33033 1773.72/1774.50 c nbDecision=837000 #constraints=33053 1775.51/1776.29 c nbDecision=837500 #constraints=33070 1777.21/1777.97 c nbDecision=838000 #constraints=33088 1779.21/1779.91 c nbDecision=838500 #constraints=33115 1781.01/1781.78 c nbDecision=839000 #constraints=33136 1782.61/1783.31 c nbDecision=839500 #constraints=33155 1784.61/1785.31 c nbDecision=840000 #constraints=33174 1786.62/1787.35 c nbDecision=840500 #constraints=33197 1788.82/1789.56 c nbDecision=841000 #constraints=33224 1790.71/1791.42 c nbDecision=841500 #constraints=33238 1792.32/1793.08 c nbDecision=842000 #constraints=33250 1793.71/1794.45 c nbDecision=842500 #constraints=33262 1796.31/1797.00 c nbDecision=843000 #constraints=33286 1797.61/1798.37 c nbDecision=843500 #constraints=33299 1799.11/1799.80 c nbDecision=844000 #constraints=33314 1800.02/1800.71 Received signal 15 1800.02/1800.79 1800.02/1800.79 s UNKNOWN 1800.02/1800.79 1800.02/1800.79 c user time= 1799.72 s 1800.02/1800.79 c system time= 0.384941 s 1800.02/1800.79 c wall clock time=1800.79
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-357440-1176998950 -o ROOT/results/node22/solver-357440-1176998950 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357440-1176998950/instance-357440-1176998950.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.97 3/77 9642 /proc/meminfo: memFree=1412864/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=1468 CPUtime=0 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147812644 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 367 163 131 317 0 46 0 [startup+0.064001 s] /proc/loadavg: 0.92 0.98 0.97 3/77 9642 /proc/meminfo: memFree=1412864/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=2524 CPUtime=0.06 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 433 0 0 0 6 0 0 0 18 0 1 0 147812644 2584576 415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 631 416 131 317 0 310 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2524 [startup+0.102008 s] /proc/loadavg: 0.92 0.98 0.97 3/77 9642 /proc/meminfo: memFree=1412864/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=3184 CPUtime=0.09 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 603 0 0 0 9 0 0 0 18 0 1 0 147812644 3260416 585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 796 586 131 317 0 475 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3184 [startup+0.301037 s] /proc/loadavg: 0.92 0.98 0.97 3/77 9642 /proc/meminfo: memFree=1412864/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=4124 CPUtime=0.29 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 831 0 0 0 29 0 0 0 19 0 1 0 147812644 4222976 813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 1031 813 139 317 0 710 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4124 [startup+0.701097 s] /proc/loadavg: 0.92 0.98 0.97 3/77 9642 /proc/meminfo: memFree=1412864/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=4256 CPUtime=0.69 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 896 0 0 0 69 0 0 0 22 0 1 0 147812644 4358144 878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 1064 878 170 317 0 743 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4256 [startup+1.50122 s] /proc/loadavg: 0.92 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1409720/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=4912 CPUtime=1.49 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 1060 0 0 0 149 0 0 0 25 0 1 0 147812644 5029888 1042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 1228 1042 170 317 0 907 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4912 [startup+3.10146 s] /proc/loadavg: 0.92 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1408696/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=5976 CPUtime=3.09 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 1318 0 0 0 309 0 0 0 25 0 1 0 147812644 6119424 1300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 1494 1300 170 317 0 1173 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5976 [startup+6.30195 s] /proc/loadavg: 0.93 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1406904/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=7604 CPUtime=6.29 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 1719 0 0 0 628 1 0 0 25 0 1 0 147812644 7786496 1701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 1901 1701 170 317 0 1580 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7604 [startup+12.7029 s] /proc/loadavg: 0.93 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1403840/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=10548 CPUtime=12.69 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 2425 0 0 0 1267 2 0 0 25 0 1 0 147812644 10801152 2407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563776 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 2637 2407 170 317 0 2316 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10548 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1399232/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=15008 CPUtime=25.49 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 3518 0 0 0 2546 3 0 0 25 0 1 0 147812644 15368192 3457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 3752 3457 170 317 0 3431 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15008 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1395072/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=19444 CPUtime=51.07 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 4604 0 0 0 5103 4 0 0 25 0 1 0 147812644 19910656 4543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604220 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 4861 4543 170 317 0 4540 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19444 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1390016/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=25004 CPUtime=102.26 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 5863 0 0 0 10220 6 0 0 25 0 1 0 147812644 25604096 5802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 6251 5802 170 317 0 5930 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25004 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1386432/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=28976 CPUtime=162.23 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 6765 0 0 0 16215 8 0 0 25 0 1 0 147812644 29671424 6704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 7244 6704 170 317 0 6923 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 28976 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1382592/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=33080 CPUtime=222.2 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 7803 0 0 0 22210 10 0 0 25 0 1 0 147812644 33873920 7656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 8270 7656 170 317 0 7949 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 33080 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1379456/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=36056 CPUtime=282.18 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 8570 0 0 0 28206 12 0 0 25 0 1 0 147812644 36921344 8423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 9014 8423 170 317 0 8693 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 36056 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1376064/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=39372 CPUtime=342.15 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 9399 0 0 0 34201 14 0 0 25 0 1 0 147812644 40316928 9252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 9843 9252 170 317 0 9522 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 39372 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1372992/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=42700 CPUtime=402.13 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 10179 0 0 0 40198 15 0 0 25 0 1 0 147812644 43724800 10032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 10675 10032 170 317 0 10354 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 42700 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1369536/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=45900 CPUtime=462.1 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 11069 0 0 0 46194 16 0 0 25 0 1 0 147812644 47001600 10922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 11475 10922 170 317 0 11154 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 45900 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1366784/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=49780 CPUtime=522.08 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 12155 0 0 0 52191 17 0 0 25 0 1 0 147812644 50974720 11612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 12445 11612 170 317 0 12124 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 49780 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1363328/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=53192 CPUtime=582.05 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 13044 0 0 0 58187 18 0 0 25 0 1 0 147812644 54468608 12468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 13298 12468 170 317 0 12977 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 53192 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1360768/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=55960 CPUtime=642.04 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 13766 0 0 0 64184 20 0 0 25 0 1 0 147812644 57303040 13091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 13990 13091 170 317 0 13669 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 55960 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1350976/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=66852 CPUtime=881.94 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 16453 0 0 0 88171 23 0 0 25 0 1 0 147812644 68456448 15514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 16713 15514 170 317 0 16392 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 66852 [startup+942.303 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1348672/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=68932 CPUtime=941.93 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 17034 0 0 0 94168 25 0 0 25 0 1 0 147812644 70586368 16095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 17233 16095 170 317 0 16912 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 68932 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1346112/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=72344 CPUtime=1001.9 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 17966 0 0 0 100164 26 0 0 25 0 1 0 147812644 74080256 16692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 18086 16692 170 317 0 17765 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 72344 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1344000/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=74440 CPUtime=1061.88 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 18521 0 0 0 106161 27 0 0 25 0 1 0 147812644 76226560 17247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 18610 17247 170 317 0 18289 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 74440 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1341824/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=76544 CPUtime=1121.86 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 19070 0 0 0 112158 28 0 0 25 0 1 0 147812644 78381056 17796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 19136 17796 170 317 0 18815 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 76544 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1340032/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=78292 CPUtime=1181.84 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 19559 0 0 0 118156 28 0 0 25 0 1 0 147812644 80171008 18252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 19573 18252 170 317 0 19252 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 78292 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1337856/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=80248 CPUtime=1241.81 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 20083 0 0 0 124152 29 0 0 25 0 1 0 147812644 82173952 18776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 20062 18776 170 317 0 19741 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 80248 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 9643 /proc/meminfo: memFree=1335872/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=81928 CPUtime=1301.8 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 20575 0 0 0 130150 30 0 0 25 0 1 0 147812644 83894272 19268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 20482 19268 170 317 0 20161 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 81928 [startup+1362.3 s] /proc/loadavg: 1.05 1.00 0.98 2/78 9643 /proc/meminfo: memFree=1333952/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=84000 CPUtime=1361.77 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 21094 0 0 0 136146 31 0 0 25 0 1 0 147812644 86016000 19754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 21000 19754 170 317 0 20679 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 84000 [startup+1422.31 s] /proc/loadavg: 1.02 1.00 0.98 2/78 9643 /proc/meminfo: memFree=1331840/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=85816 CPUtime=1421.75 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 21618 0 0 0 142143 32 0 0 25 0 1 0 147812644 87875584 20278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 21454 20278 170 317 0 21133 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 85816 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 9643 /proc/meminfo: memFree=1329856/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=88036 CPUtime=1481.72 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 22223 0 0 0 148140 32 0 0 25 0 1 0 147812644 90148864 20817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 22009 20817 170 317 0 21688 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 88036 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 9643 /proc/meminfo: memFree=1327552/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=90512 CPUtime=1541.7 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 22894 0 0 0 154137 33 0 0 25 0 1 0 147812644 92684288 21389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 22628 21389 170 317 0 22307 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 90512 [startup+1602.3 s] /proc/loadavg: 1.03 1.01 0.98 2/78 9643 /proc/meminfo: memFree=1325440/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=92472 CPUtime=1601.68 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 23449 0 0 0 160133 35 0 0 25 0 1 0 147812644 94691328 21911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 23118 21911 170 317 0 22797 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 92472 [startup+1662.3 s] /proc/loadavg: 1.04 1.02 0.99 2/78 9643 /proc/meminfo: memFree=1323456/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=94172 CPUtime=1661.65 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 23931 0 0 0 166130 35 0 0 25 0 1 0 147812644 96432128 22393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 23543 22393 170 317 0 23222 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 94172 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 0.99 2/78 9645 /proc/meminfo: memFree=1321664/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=96004 CPUtime=1721.63 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 24412 0 0 0 172127 36 0 0 25 0 1 0 147812644 98308096 22841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 24001 22841 170 317 0 23680 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 96004 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 0.99 2/78 9645 /proc/meminfo: memFree=1319680/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=98056 CPUtime=1781.61 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 24975 0 0 0 178124 37 0 0 25 0 1 0 147812644 100409344 23338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 24514 23338 170 317 0 24193 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 98056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.01 0.99 2/78 9645 /proc/meminfo: memFree=1319104/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=98648 CPUtime=1800.02 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194304 25120 0 0 0 179964 38 0 0 25 0 1 0 147812644 101015552 23483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 24662 23483 170 317 0 24341 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 98648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.01 0.99 2/78 9645 /proc/meminfo: memFree=1319104/2055920 swapFree=4168584/4192956 [pid=9642] ppid=9640 vsize=0 CPUtime=1800.11 /proc/9642/stat : 9642 (oree) R 9640 9642 8559 0 -1 4194308 25137 0 0 0 179972 39 0 0 25 0 1 0 147812644 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9642/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.13 CPU user time (s): 1799.73 CPU system time (s): 0.400939 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 98648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.73 system time used= 0.400939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25137 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= 5573 runsolver used 2.22066 second user time and 4.41933 second system time The end
Begin job on node22 on Thu Apr 19 16:09:10 UTC 2007 IDJOB= 357440 IDBENCH= 2637 IDSOLVER= 172 FILE ID= node22/357440-1176998950 PBS_JOBID= 4630440 Free space on /tmp= 66497 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb COMMAND LINE= oree /tmp/evaluation/357440-1176998950/instance-357440-1176998950.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-357440-1176998950 -o ROOT/results/node22/solver-357440-1176998950 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357440-1176998950/instance-357440-1176998950.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 26699ac56f0d58d8261ff4eb58d81611 RANDOM SEED= 204475552 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 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.265 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: 1413272 kB Buffers: 50256 kB Cached: 497740 kB SwapCached: 2192 kB Active: 102264 kB Inactive: 468388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1413272 kB SwapTotal: 4192956 kB SwapFree: 4168584 kB Dirty: 1628 kB Writeback: 0 kB Mapped: 30480 kB Slab: 57624 kB Committed_AS: 1801136 kB PageTables: 1676 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= 66497 MiB End job on node22 on Thu Apr 19 16:39:13 UTC 2007