Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.15 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-bienst1.opb |
MD5SUM | 3c5a26b44a5daf16e362588a0fac7ed0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 13806 |
Total number of constraints | 604 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 4 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 390 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524564 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.09/0.17 c ...done 0.09/0.17 c #vars=13806 #constraints=733 hasObjective=yes 0.19/0.20 c res. mode=mod 0.19/0.20 c VSIDS like heuristics 0.19/0.20 c complete search running 0.49/0.50 c restart after 401 decisions 0.49/0.57 c nbDecision=500 #constraints=943 0.89/0.92 c restart after 801 decisions 1.09/1.16 c nbDecision=1000 #constraints=1293 1.79/1.81 c nbDecision=1500 #constraints=1649 1.79/1.86 c restart after 1601 decisions 2.10/2.10 c nbDecision=2000 #constraints=1896 2.29/2.36 c nbDecision=2500 #constraints=2147 2.49/2.58 c nbDecision=3000 #constraints=2346 2.59/2.68 c restart after 3201 decisions 3.19/3.25 c nbDecision=3500 #constraints=2619 3.59/3.67 c nbDecision=4000 #constraints=2873 3.79/3.89 c nbDecision=4500 #constraints=3054 4.09/4.13 c nbDecision=5000 #constraints=3234 4.29/4.37 c nbDecision=5500 #constraints=3432 4.49/4.59 c nbDecision=6000 #constraints=3577 4.69/4.78 c restart after 6401 decisions 4.89/4.98 c nbDecision=6500 #constraints=3731 5.39/5.50 c nbDecision=7000 #constraints=3919 5.69/5.76 c nbDecision=7500 #constraints=4110 5.99/6.00 c nbDecision=8000 #constraints=4295 6.19/6.25 c nbDecision=8500 #constraints=4450 6.49/6.51 c nbDecision=9000 #constraints=4622 6.69/6.75 c nbDecision=9500 #constraints=4760 6.89/6.94 c nbDecision=10000 #constraints=4852 7.09/7.17 c nbDecision=10500 #constraints=4983 7.29/7.37 c nbDecision=11000 #constraints=5076 7.49/7.58 c nbDecision=11500 #constraints=5179 7.69/7.79 c nbDecision=12000 #constraints=5269 7.88/7.99 c nbDecision=12500 #constraints=5351 8.08/8.11 c restart after 12801 decisions 8.69/8.73 c nbDecision=13000 #constraints=5501 9.59/9.67 c nbDecision=13500 #constraints=5734 9.90/9.97 c nbDecision=14000 #constraints=5887 10.29/10.32 c nbDecision=14500 #constraints=6090 10.59/10.63 c nbDecision=15000 #constraints=6276 10.89/10.93 c nbDecision=15500 #constraints=6438 11.09/11.17 c nbDecision=16000 #constraints=6548 11.39/11.48 c nbDecision=16500 #constraints=6701 11.68/11.75 c nbDecision=17000 #constraints=6830 11.99/12.03 c nbDecision=17500 #constraints=6951 12.18/12.29 c nbDecision=18000 #constraints=7048 12.48/12.53 c nbDecision=18500 #constraints=7133 12.79/12.81 c nbDecision=19000 #constraints=7246 12.99/13.05 c nbDecision=19500 #constraints=7333 13.29/13.37 c nbDecision=20000 #constraints=7483 13.59/13.66 c nbDecision=20500 #constraints=7598 13.89/13.90 c nbDecision=21000 #constraints=7692 14.08/14.16 c nbDecision=21500 #constraints=7791 14.38/14.47 c nbDecision=22000 #constraints=7910 14.68/14.76 c nbDecision=22500 #constraints=8001 14.99/15.02 c nbDecision=23000 #constraints=8075 15.19/15.26 c nbDecision=23500 #constraints=8151 15.39/15.48 c nbDecision=24000 #constraints=8214 15.69/15.77 c nbDecision=24500 #constraints=8305 15.99/16.01 c nbDecision=25000 #constraints=8387 16.29/16.31 c nbDecision=25500 #constraints=8486 16.29/16.35 c restart after 25601 decisions 17.59/17.68 c nbDecision=26000 #constraints=8703 17.89/17.98 c nbDecision=26500 #constraints=8814 18.29/18.30 c nbDecision=27000 #constraints=8948 18.69/18.70 c nbDecision=27500 #constraints=9118 18.98/19.06 c nbDecision=28000 #constraints=9258 19.28/19.37 c nbDecision=28500 #constraints=9357 19.58/19.68 c nbDecision=29000 #constraints=9453 19.79/19.89 c nbDecision=29500 #constraints=9507 20.19/20.26 c nbDecision=30000 #constraints=9651 20.49/20.52 c nbDecision=30500 #constraints=9728 20.89/20.93 c nbDecision=31000 #constraints=9866 21.18/21.21 c nbDecision=31500 #constraints=9949 21.48/21.51 c nbDecision=32000 #constraints=10049 21.79/21.84 c nbDecision=32500 #constraints=10143 22.09/22.18 c nbDecision=33000 #constraints=10255 22.39/22.46 c nbDecision=33500 #constraints=10330 22.68/22.78 c nbDecision=34000 #constraints=10425 22.99/23.07 c nbDecision=34500 #constraints=10500 23.28/23.31 c nbDecision=35000 #constraints=10549 23.48/23.53 c nbDecision=35500 #constraints=10591 23.79/23.84 c nbDecision=36000 #constraints=10676 23.99/24.02 c nbDecision=36500 #constraints=10704 24.29/24.33 c nbDecision=37000 #constraints=10781 24.59/24.68 c nbDecision=37500 #constraints=10882 24.99/25.03 c nbDecision=38000 #constraints=10970 25.29/25.33 c nbDecision=38500 #constraints=11040 25.59/25.67 c nbDecision=39000 #constraints=11126 25.79/25.87 c nbDecision=39500 #constraints=11160 26.09/26.18 c nbDecision=40000 #constraints=11230 26.39/26.47 c nbDecision=40500 #constraints=11283 26.68/26.74 c nbDecision=41000 #constraints=11341 26.98/27.01 c nbDecision=41500 #constraints=11384 27.18/27.26 c nbDecision=42000 #constraints=11423 27.58/27.60 c nbDecision=42500 #constraints=11507 27.78/27.89 c nbDecision=43000 #constraints=11567 28.18/28.26 c nbDecision=43500 #constraints=11652 28.49/28.57 c nbDecision=44000 #constraints=11715 28.79/28.86 c nbDecision=44500 #constraints=11762 29.09/29.17 c nbDecision=45000 #constraints=11827 29.39/29.46 c nbDecision=45500 #constraints=11881 29.69/29.72 c nbDecision=46000 #constraints=11930 29.98/30.05 c nbDecision=46500 #constraints=11996 30.38/30.43 c nbDecision=47000 #constraints=12058 30.68/30.76 c nbDecision=47500 #constraints=12133 30.98/31.09 c nbDecision=48000 #constraints=12202 31.28/31.36 c nbDecision=48500 #constraints=12247 31.58/31.66 c nbDecision=49000 #constraints=12292 31.88/31.96 c nbDecision=49500 #constraints=12345 32.18/32.24 c nbDecision=50000 #constraints=12389 32.48/32.50 c nbDecision=50500 #constraints=12423 32.78/32.85 c nbDecision=51000 #constraints=12490 32.89/32.98 c restart after 51201 decisions 34.68/34.77 c nbDecision=51500 #constraints=12697 35.18/35.26 c nbDecision=52000 #constraints=12818 35.58/35.63 c nbDecision=52500 #constraints=12900 35.88/35.94 c nbDecision=53000 #constraints=12976 36.29/36.37 c nbDecision=53500 #constraints=13083 36.78/36.80 c nbDecision=54000 #constraints=13174 37.08/37.18 c nbDecision=54500 #constraints=13243 37.38/37.49 c nbDecision=55000 #constraints=13310 37.78/37.83 c nbDecision=55500 #constraints=13375 38.18/38.22 c nbDecision=56000 #constraints=13454 38.58/38.62 c nbDecision=56500 #constraints=13533 38.98/39.02 c nbDecision=57000 #constraints=13623 39.38/39.45 c nbDecision=57500 #constraints=13720 39.68/39.75 c nbDecision=58000 #constraints=13766 39.98/40.06 c nbDecision=58500 #constraints=13816 40.38/40.44 c nbDecision=59000 #constraints=13893 40.68/40.72 c nbDecision=59500 #constraints=13929 40.98/41.03 c nbDecision=60000 #constraints=13973 41.28/41.30 c nbDecision=60500 #constraints=13999 41.58/41.68 c nbDecision=61000 #constraints=14077 41.98/42.05 c nbDecision=61500 #constraints=14146 42.28/42.39 c nbDecision=62000 #constraints=14203 42.68/42.76 c nbDecision=62500 #constraints=14276 43.08/43.12 c nbDecision=63000 #constraints=14339 43.38/43.44 c nbDecision=63500 #constraints=14385 43.68/43.75 c nbDecision=64000 #constraints=14428 44.08/44.15 c nbDecision=64500 #constraints=14503 44.48/44.56 c nbDecision=65000 #constraints=14569 44.88/44.93 c nbDecision=65500 #constraints=14636 45.08/45.16 c nbDecision=66000 #constraints=14656 45.48/45.54 c nbDecision=66500 #constraints=14723 45.78/45.86 c nbDecision=67000 #constraints=14764 46.18/46.21 c nbDecision=67500 #constraints=14815 46.58/46.62 c nbDecision=68000 #constraints=14888 46.98/47.00 c nbDecision=68500 #constraints=14961 47.28/47.35 c nbDecision=69000 #constraints=15011 47.58/47.63 c nbDecision=69500 #constraints=15043 47.98/48.02 c nbDecision=70000 #constraints=15095 48.28/48.40 c nbDecision=70500 #constraints=15148 48.67/48.71 c nbDecision=71000 #constraints=15186 48.97/49.08 c nbDecision=71500 #constraints=15257 49.27/49.39 c nbDecision=72000 #constraints=15290 49.67/49.75 c nbDecision=72500 #constraints=15345 49.97/50.05 c nbDecision=73000 #constraints=15366 50.37/50.45 c nbDecision=73500 #constraints=15427 50.67/50.73 c nbDecision=74000 #constraints=15455 50.97/51.00 c nbDecision=74500 #constraints=15485 51.27/51.39 c nbDecision=75000 #constraints=15537 51.67/51.71 c nbDecision=75500 #constraints=15593 52.08/52.15 c nbDecision=76000 #constraints=15669 52.38/52.42 c nbDecision=76500 #constraints=15686 52.68/52.74 c nbDecision=77000 #constraints=15722 52.98/53.05 c nbDecision=77500 #constraints=15761 53.38/53.47 c nbDecision=78000 #constraints=15819 53.78/53.85 c nbDecision=78500 #constraints=15876 54.08/54.12 c nbDecision=79000 #constraints=15904 54.27/54.37 c nbDecision=79500 #constraints=15928 54.67/54.75 c nbDecision=80000 #constraints=15982 54.98/55.02 c nbDecision=80500 #constraints=16013 55.27/55.34 c nbDecision=81000 #constraints=16042 55.57/55.66 c nbDecision=81500 #constraints=16075 55.97/56.05 c nbDecision=82000 #constraints=16140 56.27/56.37 c nbDecision=82500 #constraints=16180 56.57/56.68 c nbDecision=83000 #constraints=16207 56.87/56.99 c nbDecision=83500 #constraints=16248 57.17/57.29 c nbDecision=84000 #constraints=16279 57.47/57.55 c nbDecision=84500 #constraints=16306 57.87/57.91 c nbDecision=85000 #constraints=16339 58.18/58.26 c nbDecision=85500 #constraints=16375 58.57/58.64 c nbDecision=86000 #constraints=16432 58.87/58.98 c nbDecision=86500 #constraints=16464 59.28/59.39 c nbDecision=87000 #constraints=16515 59.77/59.83 c nbDecision=87500 #constraints=16562 60.17/60.25 c nbDecision=88000 #constraints=16616 60.67/60.70 c nbDecision=88500 #constraints=16665 60.97/61.01 c nbDecision=89000 #constraints=16684 61.37/61.46 c nbDecision=89500 #constraints=16756 61.77/61.80 c nbDecision=90000 #constraints=16804 62.07/62.12 c nbDecision=90500 #constraints=16826 62.47/62.52 c nbDecision=91000 #constraints=16866 62.77/62.83 c nbDecision=91500 #constraints=16894 63.17/63.23 c nbDecision=92000 #constraints=16945 63.57/63.66 c nbDecision=92500 #constraints=17004 63.97/64.04 c nbDecision=93000 #constraints=17047 64.37/64.45 c nbDecision=93500 #constraints=17092 64.78/64.83 c nbDecision=94000 #constraints=17134 65.07/65.14 c nbDecision=94500 #constraints=17156 65.37/65.44 c nbDecision=95000 #constraints=17177 65.67/65.80 c nbDecision=95500 #constraints=17229 65.98/66.09 c nbDecision=96000 #constraints=17250 66.47/66.56 c nbDecision=96500 #constraints=17313 66.87/66.92 c nbDecision=97000 #constraints=17351 67.17/67.20 c nbDecision=97500 #constraints=17375 67.37/67.43 c nbDecision=98000 #constraints=17394 67.87/67.92 c nbDecision=98500 #constraints=17450 68.17/68.26 c nbDecision=99000 #constraints=17483 68.57/68.63 c nbDecision=99500 #constraints=17523 68.97/69.06 c nbDecision=100000 #constraints=17581 69.37/69.44 c nbDecision=100500 #constraints=17622 69.77/69.85 c nbDecision=101000 #constraints=17654 70.17/70.25 c nbDecision=101500 #constraints=17695 70.57/70.66 c nbDecision=102000 #constraints=17732 70.87/70.96 c restart after 102401 decisions 71.47/71.57 c nbDecision=102500 #constraints=17785 72.57/72.65 c nbDecision=103000 #constraints=17933 73.16/73.25 c nbDecision=103500 #constraints=18055 73.86/73.91 c nbDecision=104000 #constraints=18185 74.37/74.46 c nbDecision=104500 #constraints=18281 74.87/74.94 c nbDecision=105000 #constraints=18377 75.37/75.49 c nbDecision=105500 #constraints=18479 75.88/75.96 c nbDecision=106000 #constraints=18561 76.37/76.43 c nbDecision=106500 #constraints=18637 76.77/76.83 c nbDecision=107000 #constraints=18702 77.27/77.35 c nbDecision=107500 #constraints=18782 77.87/77.94 c nbDecision=108000 #constraints=18878 78.37/78.43 c nbDecision=108500 #constraints=18961 78.77/78.85 c nbDecision=109000 #constraints=19014 79.27/79.32 c nbDecision=109500 #constraints=19084 79.77/79.85 c nbDecision=110000 #constraints=19166 80.27/80.31 c nbDecision=110500 #constraints=19225 80.67/80.72 c nbDecision=111000 #constraints=19289 81.06/81.14 c nbDecision=111500 #constraints=19344 81.46/81.56 c nbDecision=112000 #constraints=19413 82.06/82.15 c nbDecision=112500 #constraints=19503 82.37/82.48 c nbDecision=113000 #constraints=19537 82.97/83.01 c nbDecision=113500 #constraints=19609 83.37/83.48 c nbDecision=114000 #constraints=19672 83.87/83.98 c nbDecision=114500 #constraints=19749 84.37/84.47 c nbDecision=115000 #constraints=19825 84.87/84.98 c nbDecision=115500 #constraints=19907 85.47/85.56 c nbDecision=116000 #constraints=20001 85.96/86.00 c nbDecision=116500 #constraints=20063 86.36/86.43 c nbDecision=117000 #constraints=20117 86.77/86.87 c nbDecision=117500 #constraints=20181 87.26/87.33 c nbDecision=118000 #constraints=20236 87.66/87.73 c nbDecision=118500 #constraints=20281 87.96/88.04 c nbDecision=119000 #constraints=20305 88.26/88.39 c nbDecision=119500 #constraints=20348 88.76/88.87 c nbDecision=120000 #constraints=20408 89.16/89.24 c nbDecision=120500 #constraints=20453 89.66/89.70 c nbDecision=121000 #constraints=20516 90.17/90.24 c nbDecision=121500 #constraints=20601 90.77/90.81 c nbDecision=122000 #constraints=20691 91.27/91.32 c nbDecision=122500 #constraints=20751 91.67/91.77 c nbDecision=123000 #constraints=20806 92.17/92.23 c nbDecision=123500 #constraints=20863 92.56/92.65 c nbDecision=124000 #constraints=20927 93.16/93.27 c nbDecision=124500 #constraints=21011 93.66/93.75 c nbDecision=125000 #constraints=21062 94.16/94.25 c nbDecision=125500 #constraints=21125 94.66/94.72 c nbDecision=126000 #constraints=21178 94.96/95.04 c nbDecision=126500 #constraints=21206 95.46/95.58 c nbDecision=127000 #constraints=21279 95.96/96.03 c nbDecision=127500 #constraints=21328 96.46/96.60 c nbDecision=128000 #constraints=21392 97.06/97.14 c nbDecision=128500 #constraints=21464 97.46/97.55 c nbDecision=129000 #constraints=21511 97.96/98.06 c nbDecision=129500 #constraints=21574 98.46/98.50 c nbDecision=130000 #constraints=21622 98.76/98.83 c nbDecision=130500 #constraints=21643 99.16/99.20 c nbDecision=131000 #constraints=21682 99.66/99.78 c nbDecision=131500 #constraints=21760 100.07/100.13 c nbDecision=132000 #constraints=21790 100.46/100.54 c nbDecision=132500 #constraints=21833 100.86/100.90 c nbDecision=133000 #constraints=21865 101.36/101.42 c nbDecision=133500 #constraints=21917 101.66/101.77 c nbDecision=134000 #constraints=21940 102.06/102.18 c nbDecision=134500 #constraints=21981 102.56/102.64 c nbDecision=135000 #constraints=22021 102.96/103.08 c nbDecision=135500 #constraints=22064 103.36/103.49 c nbDecision=136000 #constraints=22102 103.86/103.93 c nbDecision=136500 #constraints=22147 104.26/104.31 c nbDecision=137000 #constraints=22184 104.56/104.68 c nbDecision=137500 #constraints=22214 105.16/105.21 c nbDecision=138000 #constraints=22278 105.76/105.84 c nbDecision=138500 #constraints=22371 106.36/106.40 c nbDecision=139000 #constraints=22437 106.95/107.08 c nbDecision=139500 #constraints=22537 107.35/107.44 c nbDecision=140000 #constraints=22574 107.86/107.94 c nbDecision=140500 #constraints=22623 108.26/108.40 c nbDecision=141000 #constraints=22668 108.77/108.87 c nbDecision=141500 #constraints=22710 109.26/109.31 c nbDecision=142000 #constraints=22746 109.66/109.77 c nbDecision=142500 #constraints=22790 110.36/110.40 c nbDecision=143000 #constraints=22870 110.96/111.06 c nbDecision=143500 #constraints=22949 111.36/111.45 c nbDecision=144000 #constraints=22975 111.86/111.94 c nbDecision=144500 #constraints=23032 112.36/112.48 c nbDecision=145000 #constraints=23095 112.96/113.00 c nbDecision=145500 #constraints=23145 113.26/113.35 c nbDecision=146000 #constraints=23168 113.66/113.77 c nbDecision=146500 #constraints=23198 114.06/114.17 c nbDecision=147000 #constraints=23228 114.56/114.62 c nbDecision=147500 #constraints=23274 115.26/115.34 c nbDecision=148000 #constraints=23371 115.66/115.73 c nbDecision=148500 #constraints=23403 116.15/116.29 c nbDecision=149000 #constraints=23464 116.65/116.72 c nbDecision=149500 #constraints=23508 117.15/117.21 c nbDecision=150000 #constraints=23564 117.45/117.60 c nbDecision=150500 #constraints=23596 117.85/117.99 c nbDecision=151000 #constraints=23628 118.36/118.45 c nbDecision=151500 #constraints=23674 118.96/119.05 c nbDecision=152000 #constraints=23749 119.36/119.49 c nbDecision=152500 #constraints=23779 119.86/119.98 c nbDecision=153000 #constraints=23830 120.45/120.53 c nbDecision=153500 #constraints=23885 120.86/120.98 c nbDecision=154000 #constraints=23918 121.35/121.46 c nbDecision=154500 #constraints=23963 121.86/121.98 c nbDecision=155000 #constraints=24010 122.26/122.36 c nbDecision=155500 #constraints=24036 122.86/122.99 c nbDecision=156000 #constraints=24098 123.36/123.48 c nbDecision=156500 #constraints=24137 123.86/123.94 c nbDecision=157000 #constraints=24166 124.36/124.49 c nbDecision=157500 #constraints=24222 124.86/124.97 c nbDecision=158000 #constraints=24263 125.26/125.34 c nbDecision=158500 #constraints=24288 125.86/125.94 c nbDecision=159000 #constraints=24356 126.25/126.37 c nbDecision=159500 #constraints=24388 126.65/126.75 c nbDecision=160000 #constraints=24412 127.25/127.35 c nbDecision=160500 #constraints=24475 127.75/127.89 c nbDecision=161000 #constraints=24527 128.25/128.37 c nbDecision=161500 #constraints=24562 128.75/128.85 c nbDecision=162000 #constraints=24607 129.15/129.25 c nbDecision=162500 #constraints=24640 129.86/129.91 c nbDecision=163000 #constraints=24725 130.36/130.48 c nbDecision=163500 #constraints=24777 130.86/130.96 c nbDecision=164000 #constraints=24815 131.36/131.41 c nbDecision=164500 #constraints=24850 131.96/132.08 c nbDecision=165000 #constraints=24917 132.46/132.57 c nbDecision=165500 #constraints=24956 132.96/133.00 c nbDecision=166000 #constraints=24986 133.35/133.40 c nbDecision=166500 #constraints=25006 133.85/133.96 c nbDecision=167000 #constraints=25056 134.25/134.39 c nbDecision=167500 #constraints=25088 134.85/134.93 c nbDecision=168000 #constraints=25143 135.35/135.40 c nbDecision=168500 #constraints=25181 135.85/135.99 c nbDecision=169000 #constraints=25234 136.36/136.45 c nbDecision=169500 #constraints=25273 136.85/136.92 c nbDecision=170000 #constraints=25307 137.35/137.49 c nbDecision=170500 #constraints=25365 137.85/137.96 c nbDecision=171000 #constraints=25395 138.35/138.48 c nbDecision=171500 #constraints=25444 138.85/138.94 c nbDecision=172000 #constraints=25481 139.55/139.61 c nbDecision=172500 #constraints=25564 140.05/140.16 c nbDecision=173000 #constraints=25606 140.65/140.73 c nbDecision=173500 #constraints=25647 141.15/141.27 c nbDecision=174000 #constraints=25692 141.65/141.76 c nbDecision=174500 #constraints=25735 142.05/142.19 c nbDecision=175000 #constraints=25757 142.65/142.74 c nbDecision=175500 #constraints=25811 143.15/143.23 c nbDecision=176000 #constraints=25852 143.75/143.85 c nbDecision=176500 #constraints=25914 144.15/144.21 c nbDecision=177000 #constraints=25927 144.65/144.72 c nbDecision=177500 #constraints=25967 145.25/145.30 c nbDecision=178000 #constraints=26022 145.65/145.76 c nbDecision=178500 #constraints=26056 146.15/146.26 c nbDecision=179000 #constraints=26086 146.65/146.71 c nbDecision=179500 #constraints=26117 147.25/147.31 c nbDecision=180000 #constraints=26173 147.95/148.03 c nbDecision=180500 #constraints=26253 148.55/148.65 c nbDecision=181000 #constraints=26309 148.95/149.02 c nbDecision=181500 #constraints=26328 149.45/149.60 c nbDecision=182000 #constraints=26374 149.95/150.05 c nbDecision=182500 #constraints=26400 150.35/150.48 c nbDecision=183000 #constraints=26425 150.95/151.01 c nbDecision=183500 #constraints=26469 151.45/151.56 c nbDecision=184000 #constraints=26518 151.94/152.09 c nbDecision=184500 #constraints=26549 152.54/152.65 c nbDecision=185000 #constraints=26597 153.04/153.15 c nbDecision=185500 #constraints=26631 153.54/153.69 c nbDecision=186000 #constraints=26677 154.34/154.50 c nbDecision=186500 #constraints=26773 154.85/154.96 c nbDecision=187000 #constraints=26803 155.45/155.58 c nbDecision=187500 #constraints=26852 155.95/156.00 c nbDecision=188000 #constraints=26877 156.45/156.59 c nbDecision=188500 #constraints=26921 156.95/157.05 c nbDecision=189000 #constraints=26948 157.45/157.58 c nbDecision=189500 #constraints=26980 158.05/158.11 c nbDecision=190000 #constraints=27022 158.64/158.77 c nbDecision=190500 #constraints=27090 159.14/159.25 c nbDecision=191000 #constraints=27124 159.74/159.89 c nbDecision=191500 #constraints=27170 160.35/160.46 c nbDecision=192000 #constraints=27214 160.95/161.00 c nbDecision=192500 #constraints=27250 161.45/161.60 c nbDecision=193000 #constraints=27316 162.25/162.34 c nbDecision=193500 #constraints=27379 162.75/162.88 c nbDecision=194000 #constraints=27420 163.35/163.45 c nbDecision=194500 #constraints=27465 163.95/164.02 c nbDecision=195000 #constraints=27507 164.55/164.69 c nbDecision=195500 #constraints=27574 165.14/165.23 c nbDecision=196000 #constraints=27607 166.24/166.34 c nbDecision=196500 #constraints=27723 166.74/166.89 c nbDecision=197000 #constraints=27774 167.44/167.54 c nbDecision=197500 #constraints=27842 168.44/168.52 c nbDecision=198000 #constraints=27969 169.04/169.12 c nbDecision=198500 #constraints=28022 169.85/169.99 c nbDecision=199000 #constraints=28124 170.35/170.46 c nbDecision=199500 #constraints=28156 170.95/171.00 c nbDecision=200000 #constraints=28202 171.45/171.53 c nbDecision=200500 #constraints=28243 171.74/171.89 c nbDecision=201000 #constraints=28260 172.24/172.32 c nbDecision=201500 #constraints=28291 172.74/172.87 c nbDecision=202000 #constraints=28335 173.24/173.31 c nbDecision=202500 #constraints=28359 173.75/173.83 c nbDecision=203000 #constraints=28401 174.24/174.33 c nbDecision=203500 #constraints=28441 174.64/174.78 c nbDecision=204000 #constraints=28469 175.24/175.34 c nbDecision=204500 #constraints=28511 175.54/175.65 c restart after 204801 decisions 178.14/178.29 c nbDecision=205000 #constraints=28643 181.24/181.38 c nbDecision=205500 #constraints=28836 182.24/182.36 c nbDecision=206000 #constraints=28932 183.04/183.11 c nbDecision=206500 #constraints=28995 183.65/183.78 c nbDecision=207000 #constraints=29051 184.34/184.43 c nbDecision=207500 #constraints=29100 185.24/185.32 c nbDecision=208000 #constraints=29193 186.04/186.18 c nbDecision=208500 #constraints=29273 186.84/187.00 c nbDecision=209000 #constraints=29360 187.54/187.67 c nbDecision=209500 #constraints=29420 188.04/188.15 c nbDecision=210000 #constraints=29442 188.83/189.00 c nbDecision=210500 #constraints=29519 189.74/189.82 c nbDecision=211000 #constraints=29591 190.24/190.38 c nbDecision=211500 #constraints=29635 190.94/191.02 c nbDecision=212000 #constraints=29686 191.44/191.59 c nbDecision=212500 #constraints=29731 192.24/192.34 c nbDecision=213000 #constraints=29784 192.74/192.86 c nbDecision=213500 #constraints=29815 193.44/193.58 c nbDecision=214000 #constraints=29870 194.13/194.27 c nbDecision=214500 #constraints=29923 194.73/194.87 c nbDecision=215000 #constraints=29964 195.33/195.43 c nbDecision=215500 #constraints=29993 196.03/196.11 c nbDecision=216000 #constraints=30042 196.53/196.68 c nbDecision=216500 #constraints=30099 197.53/197.61 c nbDecision=217000 #constraints=30186 198.03/198.14 c nbDecision=217500 #constraints=30221 198.74/198.85 c nbDecision=218000 #constraints=30273 199.44/199.54 c nbDecision=218500 #constraints=30329 200.04/200.19 c nbDecision=219000 #constraints=30383 200.64/200.78 c nbDecision=219500 #constraints=30426 201.73/201.81 c nbDecision=220000 #constraints=30532 202.43/202.56 c nbDecision=220500 #constraints=30587 203.13/203.26 c nbDecision=221000 #constraints=30663 203.63/203.77 c nbDecision=221500 #constraints=30687 204.23/204.35 c nbDecision=222000 #constraints=30711 205.03/205.13 c nbDecision=222500 #constraints=30770 205.74/205.88 c nbDecision=223000 #constraints=30829 206.64/206.74 c nbDecision=223500 #constraints=30903 207.34/207.46 c nbDecision=224000 #constraints=30938 208.03/208.10 c nbDecision=224500 #constraints=30978 208.53/208.67 c nbDecision=225000 #constraints=31008 209.33/209.45 c nbDecision=225500 #constraints=31056 209.94/210.07 c nbDecision=226000 #constraints=31093 210.53/210.63 c nbDecision=226500 #constraints=31131 211.14/211.25 c nbDecision=227000 #constraints=31165 211.93/212.02 c nbDecision=227500 #constraints=31223 212.63/212.79 c nbDecision=228000 #constraints=31272 213.23/213.35 c nbDecision=228500 #constraints=31307 213.73/213.89 c nbDecision=229000 #constraints=31340 214.33/214.43 c nbDecision=229500 #constraints=31383 215.03/215.16 c nbDecision=230000 #constraints=31433 215.83/215.94 c nbDecision=230500 #constraints=31494 216.53/216.67 c nbDecision=231000 #constraints=31543 217.42/217.56 c nbDecision=231500 #constraints=31620 218.43/218.51 c nbDecision=232000 #constraints=31685 218.93/219.08 c nbDecision=232500 #constraints=31717 219.43/219.59 c nbDecision=233000 #constraints=31744 220.13/220.26 c nbDecision=233500 #constraints=31785 220.73/220.89 c nbDecision=234000 #constraints=31824 221.43/221.56 c nbDecision=234500 #constraints=31874 222.33/222.40 c nbDecision=235000 #constraints=31931 223.13/223.25 c nbDecision=235500 #constraints=31997 223.73/223.82 c nbDecision=236000 #constraints=32029 224.33/224.47 c nbDecision=236500 #constraints=32069 225.02/225.11 c nbDecision=237000 #constraints=32110 225.52/225.68 c nbDecision=237500 #constraints=32142 226.32/226.49 c nbDecision=238000 #constraints=32187 227.12/227.22 c nbDecision=238500 #constraints=32234 227.63/227.70 c nbDecision=239000 #constraints=32251 228.32/228.41 c nbDecision=239500 #constraints=32303 228.92/229.02 c nbDecision=240000 #constraints=32338 229.73/229.82 c nbDecision=240500 #constraints=32397 230.72/230.88 c nbDecision=241000 #constraints=32485 231.53/231.65 c nbDecision=241500 #constraints=32524 232.13/232.21 c nbDecision=242000 #constraints=32551 232.83/232.99 c nbDecision=242500 #constraints=32603 233.53/233.62 c nbDecision=243000 #constraints=32643 234.03/234.17 c nbDecision=243500 #constraints=32670 234.83/234.94 c nbDecision=244000 #constraints=32716 235.43/235.50 c nbDecision=244500 #constraints=32748 236.13/236.27 c nbDecision=245000 #constraints=32791 236.73/236.87 c nbDecision=245500 #constraints=32826 237.43/237.58 c nbDecision=246000 #constraints=32867 238.12/238.29 c nbDecision=246500 #constraints=32917 238.72/238.88 c nbDecision=247000 #constraints=32945 239.63/239.74 c nbDecision=247500 #constraints=33003 240.62/240.71 c nbDecision=248000 #constraints=33072 241.32/241.42 c nbDecision=248500 #constraints=33119 241.92/242.01 c nbDecision=249000 #constraints=33147 242.62/242.78 c nbDecision=249500 #constraints=33198 243.32/243.42 c nbDecision=250000 #constraints=33235 243.82/243.97 c nbDecision=250500 #constraints=33260 244.62/244.72 c nbDecision=251000 #constraints=33292 245.12/245.28 c nbDecision=251500 #constraints=33314 245.92/246.02 c nbDecision=252000 #constraints=33367 246.52/246.66 c nbDecision=252500 #constraints=33404 247.02/247.18 c nbDecision=253000 #constraints=33425 247.92/248.00 c nbDecision=253500 #constraints=33469 248.82/248.94 c nbDecision=254000 #constraints=33543 249.62/249.77 c nbDecision=254500 #constraints=33606 250.12/250.28 c nbDecision=255000 #constraints=33620 250.92/251.02 c nbDecision=255500 #constraints=33665 251.52/251.62 c nbDecision=256000 #constraints=33695 252.32/252.41 c nbDecision=256500 #constraints=33743 252.92/253.06 c nbDecision=257000 #constraints=33772 253.62/253.71 c nbDecision=257500 #constraints=33805 254.52/254.64 c nbDecision=258000 #constraints=33874 255.12/255.29 c nbDecision=258500 #constraints=33910 255.72/255.80 c nbDecision=259000 #constraints=33933 256.41/256.51 c nbDecision=259500 #constraints=33970 257.01/257.15 c nbDecision=260000 #constraints=34001 257.71/257.88 c nbDecision=260500 #constraints=34043 258.42/258.57 c nbDecision=261000 #constraints=34087 259.62/259.72 c nbDecision=261500 #constraints=34181 260.32/260.41 c nbDecision=262000 #constraints=34220 260.92/261.02 c nbDecision=262500 #constraints=34252 261.62/261.78 c nbDecision=263000 #constraints=34291 262.31/262.49 c nbDecision=263500 #constraints=34343 263.11/263.23 c nbDecision=264000 #constraints=34393 264.01/264.12 c nbDecision=264500 #constraints=34443 265.01/265.12 c nbDecision=265000 #constraints=34509 265.81/265.98 c nbDecision=265500 #constraints=34566 266.91/267.04 c nbDecision=266000 #constraints=34646 268.12/268.30 c nbDecision=266500 #constraints=34770 269.82/269.95 c nbDecision=267000 #constraints=34936 270.52/270.62 c nbDecision=267500 #constraints=34988 271.12/271.21 c nbDecision=268000 #constraints=35021 271.62/271.75 c nbDecision=268500 #constraints=35049 272.11/272.23 c nbDecision=269000 #constraints=35067 272.72/272.81 c nbDecision=269500 #constraints=35105 273.31/273.42 c nbDecision=270000 #constraints=35142 273.82/273.99 c nbDecision=270500 #constraints=35181 274.61/274.71 c nbDecision=271000 #constraints=35239 275.11/275.21 c nbDecision=271500 #constraints=35260 275.71/275.83 c nbDecision=272000 #constraints=35300 276.51/276.63 c nbDecision=272500 #constraints=35354 277.11/277.23 c nbDecision=273000 #constraints=35384 277.71/277.88 c nbDecision=273500 #constraints=35430 278.41/278.51 c nbDecision=274000 #constraints=35467 279.01/279.14 c nbDecision=274500 #constraints=35518 279.61/279.77 c nbDecision=275000 #constraints=35550 280.22/280.36 c nbDecision=275500 #constraints=35584 280.81/280.92 c nbDecision=276000 #constraints=35613 281.52/281.62 c nbDecision=276500 #constraints=35668 282.01/282.14 c nbDecision=277000 #constraints=35692 282.71/282.80 c nbDecision=277500 #constraints=35725 283.31/283.41 c nbDecision=278000 #constraints=35759 283.91/284.00 c nbDecision=278500 #constraints=35794 284.51/284.67 c nbDecision=279000 #constraints=35836 285.11/285.23 c nbDecision=279500 #constraints=35860 285.61/285.79 c nbDecision=280000 #constraints=35892 286.41/286.58 c nbDecision=280500 #constraints=35950 287.11/287.20 c nbDecision=281000 #constraints=35978 287.61/287.74 c nbDecision=281500 #constraints=36003 288.21/288.37 c nbDecision=282000 #constraints=36039 288.81/288.98 c nbDecision=282500 #constraints=36072 289.51/289.63 c nbDecision=283000 #constraints=36111 289.91/290.04 c nbDecision=283500 #constraints=36130 290.41/290.55 c nbDecision=284000 #constraints=36157 290.91/291.09 c nbDecision=284500 #constraints=36189 291.51/291.67 c nbDecision=285000 #constraints=36225 292.01/292.14 c nbDecision=285500 #constraints=36246 292.81/292.94 c nbDecision=286000 #constraints=36320 293.41/293.53 c nbDecision=286500 #constraints=36362 293.91/294.09 c nbDecision=287000 #constraints=36390 294.51/294.68 c nbDecision=287500 #constraints=36423 295.21/295.30 c nbDecision=288000 #constraints=36461 295.71/295.89 c nbDecision=288500 #constraints=36496 296.41/296.53 c nbDecision=289000 #constraints=36533 297.11/297.20 c nbDecision=289500 #constraints=36574 297.71/297.86 c nbDecision=290000 #constraints=36614 298.31/298.41 c nbDecision=290500 #constraints=36641 298.90/299.08 c nbDecision=291000 #constraints=36692 299.60/299.75 c nbDecision=291500 #constraints=36730 300.21/300.32 c nbDecision=292000 #constraints=36757 300.70/300.80 c nbDecision=292500 #constraints=36772 301.50/301.60 c nbDecision=293000 #constraints=36821 302.10/302.28 c nbDecision=293500 #constraints=36862 302.90/303.01 c nbDecision=294000 #constraints=36892 303.50/303.66 c nbDecision=294500 #constraints=36935 304.30/304.40 c nbDecision=295000 #constraints=36993 304.90/305.09 c nbDecision=295500 #constraints=37023 305.61/305.76 c nbDecision=296000 #constraints=37064 306.10/306.24 c nbDecision=296500 #constraints=37084 306.50/306.67 c nbDecision=297000 #constraints=37101 307.00/307.18 c nbDecision=297500 #constraints=37127 307.81/307.96 c nbDecision=298000 #constraints=37176 308.30/308.47 c nbDecision=298500 #constraints=37189 309.00/309.18 c nbDecision=299000 #constraints=37239 309.70/309.87 c nbDecision=299500 #constraints=37301 310.50/310.67 c nbDecision=300000 #constraints=37366 311.20/311.35 c nbDecision=300500 #constraints=37398 311.70/311.87 c nbDecision=301000 #constraints=37415 312.20/312.36 c nbDecision=301500 #constraints=37428 312.79/312.98 c nbDecision=302000 #constraints=37464 313.50/313.64 c nbDecision=302500 #constraints=37498 314.20/314.36 c nbDecision=303000 #constraints=37542 314.80/314.91 c nbDecision=303500 #constraints=37566 315.40/315.51 c nbDecision=304000 #constraints=37600 316.10/316.21 c nbDecision=304500 #constraints=37635 316.70/316.84 c nbDecision=305000 #constraints=37669 317.30/317.42 c nbDecision=305500 #constraints=37699 318.00/318.10 c nbDecision=306000 #constraints=37740 318.60/318.70 c nbDecision=306500 #constraints=37766 319.30/319.46 c nbDecision=307000 #constraints=37826 320.00/320.12 c nbDecision=307500 #constraints=37850 320.69/320.85 c nbDecision=308000 #constraints=37901 321.19/321.36 c nbDecision=308500 #constraints=37920 321.59/321.79 c nbDecision=309000 #constraints=37935 322.39/322.56 c nbDecision=309500 #constraints=37985 323.09/323.27 c nbDecision=310000 #constraints=38033 323.80/323.95 c nbDecision=310500 #constraints=38086 324.30/324.49 c nbDecision=311000 #constraints=38137 325.20/325.35 c nbDecision=311500 #constraints=38191 325.80/325.91 c nbDecision=312000 #constraints=38212 326.30/326.45 c nbDecision=312500 #constraints=38230 327.00/327.19 c nbDecision=313000 #constraints=38275 327.70/327.82 c nbDecision=313500 #constraints=38301 328.20/328.37 c nbDecision=314000 #constraints=38323 328.80/328.90 c nbDecision=314500 #constraints=38340 329.59/329.73 c nbDecision=315000 #constraints=38387 330.09/330.27 c nbDecision=315500 #constraints=38400 330.89/331.01 c nbDecision=316000 #constraints=38450 331.39/331.59 c nbDecision=316500 #constraints=38472 332.19/332.32 c nbDecision=317000 #constraints=38507 332.79/332.91 c nbDecision=317500 #constraints=38532 333.39/333.56 c nbDecision=318000 #constraints=38572 333.99/334.19 c nbDecision=318500 #constraints=38599 334.58/334.75 c nbDecision=319000 #constraints=38627 335.18/335.31 c nbDecision=319500 #constraints=38653 335.99/336.20 c nbDecision=320000 #constraints=38750 336.89/337.05 c nbDecision=320500 #constraints=38806 337.39/337.60 c nbDecision=321000 #constraints=38822 337.99/338.14 c nbDecision=321500 #constraints=38842 338.59/338.77 c nbDecision=322000 #constraints=38873 339.19/339.31 c nbDecision=322500 #constraints=38893 339.79/339.94 c nbDecision=323000 #constraints=38927 340.29/340.48 c nbDecision=323500 #constraints=38949 340.99/341.14 c nbDecision=324000 #constraints=38985 341.49/341.63 c nbDecision=324500 #constraints=38997 342.08/342.29 c nbDecision=325000 #constraints=39034 342.68/342.87 c nbDecision=325500 #constraints=39058 343.28/343.45 c nbDecision=326000 #constraints=39085 344.09/344.22 c nbDecision=326500 #constraints=39135 344.68/344.89 c nbDecision=327000 #constraints=39177 345.68/345.81 c nbDecision=327500 #constraints=39269 346.28/346.41 c nbDecision=328000 #constraints=39293 346.88/347.07 c nbDecision=328500 #constraints=39316 347.48/347.69 c nbDecision=329000 #constraints=39340 348.08/348.29 c nbDecision=329500 #constraints=39362 348.78/348.96 c nbDecision=330000 #constraints=39381 349.48/349.60 c nbDecision=330500 #constraints=39409 349.98/350.13 c nbDecision=331000 #constraints=39423 350.58/350.71 c nbDecision=331500 #constraints=39446 351.28/351.45 c nbDecision=332000 #constraints=39489 351.98/352.18 c nbDecision=332500 #constraints=39535 352.78/352.93 c nbDecision=333000 #constraints=39598 353.48/353.66 c nbDecision=333500 #constraints=39631 354.18/354.34 c nbDecision=334000 #constraints=39668 354.78/354.96 c nbDecision=334500 #constraints=39697 355.38/355.59 c nbDecision=335000 #constraints=39724 355.98/356.19 c nbDecision=335500 #constraints=39747 356.58/356.78 c nbDecision=336000 #constraints=39775 357.18/357.35 c nbDecision=336500 #constraints=39799 357.88/358.07 c nbDecision=337000 #constraints=39859 358.48/358.67 c nbDecision=337500 #constraints=39881 359.08/359.20 c nbDecision=338000 #constraints=39894 359.68/359.81 c nbDecision=338500 #constraints=39920 360.38/360.53 c nbDecision=339000 #constraints=39962 361.27/361.42 c nbDecision=339500 #constraints=40014 361.78/361.98 c nbDecision=340000 #constraints=40049 362.58/362.74 c nbDecision=340500 #constraints=40094 363.28/363.47 c nbDecision=341000 #constraints=40139 364.18/364.33 c nbDecision=341500 #constraints=40188 364.78/364.95 c nbDecision=342000 #constraints=40235 365.28/365.49 c nbDecision=342500 #constraints=40259 366.27/366.47 c nbDecision=343000 #constraints=40326 367.07/367.28 c nbDecision=343500 #constraints=40387 368.17/368.37 c nbDecision=344000 #constraints=40501 368.77/368.99 c nbDecision=344500 #constraints=40551 369.88/370.08 c nbDecision=345000 #constraints=40701 370.48/370.67 c nbDecision=345500 #constraints=40721 371.08/371.23 c nbDecision=346000 #constraints=40725 371.68/371.84 c nbDecision=346500 #constraints=40734 372.28/372.45 c nbDecision=347000 #constraints=40750 372.97/373.11 c nbDecision=347500 #constraints=40776 373.78/373.97 c nbDecision=348000 #constraints=40848 374.67/374.82 c nbDecision=348500 #constraints=40899 375.17/375.35 c nbDecision=349000 #constraints=40908 375.77/375.96 c nbDecision=349500 #constraints=40920 376.37/376.52 c nbDecision=350000 #constraints=40939 376.87/377.03 c nbDecision=350500 #constraints=40942 377.37/377.59 c nbDecision=351000 #constraints=40952 377.87/378.06 c nbDecision=351500 #constraints=40954 378.47/378.64 c nbDecision=352000 #constraints=40966 379.17/379.32 c nbDecision=352500 #constraints=40994 379.67/379.81 c nbDecision=353000 #constraints=41004 380.17/380.35 c nbDecision=353500 #constraints=41016 381.37/381.58 c nbDecision=354000 #constraints=41225 382.17/382.36 c nbDecision=354500 #constraints=41287 382.97/383.14 c nbDecision=355000 #constraints=41330 383.47/383.67 c nbDecision=355500 #constraints=41342 384.07/384.21 c nbDecision=356000 #constraints=41347 384.57/384.78 c nbDecision=356500 #constraints=41351 385.17/385.30 c nbDecision=357000 #constraints=41360 385.67/385.84 c nbDecision=357500 #constraints=41366 386.37/386.59 c nbDecision=358000 #constraints=41400 387.08/387.28 c nbDecision=358500 #constraints=41429 387.67/387.81 c nbDecision=359000 #constraints=41439 388.17/388.39 c nbDecision=359500 #constraints=41449 389.07/389.25 c nbDecision=360000 #constraints=41528 389.67/389.87 c nbDecision=360500 #constraints=41544 390.27/390.43 c nbDecision=361000 #constraints=41559 390.77/390.98 c nbDecision=361500 #constraints=41568 391.57/391.79 c nbDecision=362000 #constraints=41601 392.17/392.32 c nbDecision=362500 #constraints=41604 393.07/393.23 c nbDecision=363000 #constraints=41643 393.57/393.75 c nbDecision=363500 #constraints=41646 394.27/394.49 c nbDecision=364000 #constraints=41680 394.87/395.06 c nbDecision=364500 #constraints=41684 395.37/395.59 c nbDecision=365000 #constraints=41694 395.97/396.11 c nbDecision=365500 #constraints=41697 396.87/397.01 c nbDecision=366000 #constraints=41749 397.56/397.77 c nbDecision=366500 #constraints=41793 398.26/398.48 c nbDecision=367000 #constraints=41808 398.96/399.10 c nbDecision=367500 #constraints=41829 400.37/400.53 c nbDecision=368000 #constraints=41980 401.27/401.46 c nbDecision=368500 #constraints=42034 402.17/402.39 c nbDecision=369000 #constraints=42078 402.87/403.04 c nbDecision=369500 #constraints=42089 403.37/403.53 c nbDecision=370000 #constraints=42092 403.97/404.17 c nbDecision=370500 #constraints=42106 404.57/404.77 c nbDecision=371000 #constraints=42114 405.06/405.30 c nbDecision=371500 #constraints=42117 405.97/406.16 c nbDecision=372000 #constraints=42149 406.56/406.71 c nbDecision=372500 #constraints=42158 407.16/407.35 c nbDecision=373000 #constraints=42181 407.87/408.02 c nbDecision=373500 #constraints=42204 409.07/409.25 c nbDecision=374000 #constraints=42288 409.66/409.89 c nbDecision=374500 #constraints=42313 410.56/410.74 c nbDecision=375000 #constraints=42368 411.17/411.38 c nbDecision=375500 #constraints=42387 411.96/412.10 c nbDecision=376000 #constraints=42396 412.56/412.79 c nbDecision=376500 #constraints=42418 413.26/413.48 c nbDecision=377000 #constraints=42437 413.96/414.17 c nbDecision=377500 #constraints=42453 414.66/414.83 c nbDecision=378000 #constraints=42471 415.26/415.47 c nbDecision=378500 #constraints=42475 415.86/416.01 c nbDecision=379000 #constraints=42479 416.36/416.56 c nbDecision=379500 #constraints=42487 416.96/417.15 c nbDecision=380000 #constraints=42499 417.76/417.94 c nbDecision=380500 #constraints=42518 418.36/418.55 c nbDecision=381000 #constraints=42525 419.16/419.31 c nbDecision=381500 #constraints=42543 420.16/420.37 c nbDecision=382000 #constraints=42629 421.56/421.70 c nbDecision=382500 #constraints=42709 422.27/422.47 c nbDecision=383000 #constraints=42736 422.76/422.99 c nbDecision=383500 #constraints=42740 423.56/423.77 c nbDecision=384000 #constraints=42752 424.26/424.46 c nbDecision=384500 #constraints=42770 424.86/425.00 c nbDecision=385000 #constraints=42773 426.26/426.43 c nbDecision=385500 #constraints=42902 426.96/427.17 c nbDecision=386000 #constraints=42933 427.66/427.87 c nbDecision=386500 #constraints=42950 428.46/428.60 c nbDecision=387000 #constraints=42961 429.26/429.40 c nbDecision=387500 #constraints=42993 429.96/430.11 c nbDecision=388000 #constraints=43010 430.56/430.78 c nbDecision=388500 #constraints=43023 431.36/431.58 c nbDecision=389000 #constraints=43045 432.46/432.65 c nbDecision=389500 #constraints=43097 433.85/434.08 c nbDecision=390000 #constraints=43219 434.55/434.75 c nbDecision=390500 #constraints=43235 435.26/435.41 c nbDecision=391000 #constraints=43246 435.86/436.06 c nbDecision=391500 #constraints=43251 436.56/436.79 c nbDecision=392000 #constraints=43269 437.96/438.12 c nbDecision=392500 #constraints=43362 438.96/439.15 c nbDecision=393000 #constraints=43407 439.76/439.92 c nbDecision=393500 #constraints=43426 440.76/440.97 c nbDecision=394000 #constraints=43484 441.96/442.11 c nbDecision=394500 #constraints=43541 442.65/442.86 c nbDecision=395000 #constraints=43562 443.55/443.79 c nbDecision=395500 #constraints=43600 444.35/444.53 c nbDecision=396000 #constraints=43619 445.85/446.05 c nbDecision=396500 #constraints=43724 446.55/446.75 c nbDecision=397000 #constraints=43733 449.45/449.62 c nbDecision=397500 #constraints=43940 450.05/450.29 c nbDecision=398000 #constraints=43949 451.45/451.60 c nbDecision=398500 #constraints=44011 452.75/452.91 c nbDecision=399000 #constraints=44073 453.95/454.19 c nbDecision=399500 #constraints=44121 454.75/454.93 c nbDecision=400000 #constraints=44135 455.45/455.69 c nbDecision=400500 #constraints=44149 456.35/456.54 c nbDecision=401000 #constraints=44161 457.66/457.80 c nbDecision=401500 #constraints=44210 458.26/458.46 c nbDecision=402000 #constraints=44214 459.26/459.46 c nbDecision=402500 #constraints=44240 459.96/460.11 c nbDecision=403000 #constraints=44249 460.66/460.88 c nbDecision=403500 #constraints=44268 461.65/461.84 c nbDecision=404000 #constraints=44288 462.35/462.52 c nbDecision=404500 #constraints=44298 463.25/463.41 c nbDecision=405000 #constraints=44303 464.25/464.44 c nbDecision=405500 #constraints=44332 465.05/465.22 c nbDecision=406000 #constraints=44338 466.05/466.30 c nbDecision=406500 #constraints=44354 467.25/467.44 c nbDecision=407000 #constraints=44396 468.05/468.21 c nbDecision=407500 #constraints=44408 468.75/468.97 c nbDecision=408000 #constraints=44422 469.55/469.80 c nbDecision=408500 #constraints=44434 470.25/470.48 c nbDecision=409000 #constraints=44440 471.35/471.56 c nbDecision=409500 #constraints=44466 471.45/471.62 c restart after 409601 decisions 478.45/478.68 c nbDecision=410000 #constraints=44747 486.84/487.07 c nbDecision=410500 #constraints=45164 495.44/495.67 c nbDecision=411000 #constraints=45606 504.84/505.01 c nbDecision=411500 #constraints=46077 514.74/514.91 c nbDecision=412000 #constraints=46508 519.24/519.42 c nbDecision=412500 #constraints=46667 521.14/521.33 c nbDecision=413000 #constraints=46786 522.34/522.58 c nbDecision=413500 #constraints=46846 523.84/524.09 c nbDecision=414000 #constraints=46937 524.62/524.88 c nbDecision=414500 #constraints=46976 525.82/526.07 c nbDecision=415000 #constraints=47035 527.00/527.21 c nbDecision=415500 #constraints=47087 528.00/528.21 c nbDecision=416000 #constraints=47129 529.20/529.44 c nbDecision=416500 #constraints=47192 530.19/530.46 c nbDecision=417000 #constraints=47238 531.30/531.53 c nbDecision=417500 #constraints=47293 532.21/532.45 c nbDecision=418000 #constraints=47337 533.40/533.66 c nbDecision=418500 #constraints=47404 534.20/534.42 c nbDecision=419000 #constraints=47445 535.10/535.36 c nbDecision=419500 #constraints=47483 535.99/536.23 c nbDecision=420000 #constraints=47520 536.79/537.08 c nbDecision=420500 #constraints=47552 537.69/537.93 c nbDecision=421000 #constraints=47595 538.59/538.86 c nbDecision=421500 #constraints=47624 539.38/539.67 c nbDecision=422000 #constraints=47642 540.68/540.93 c nbDecision=422500 #constraints=47684 541.88/542.11 c nbDecision=423000 #constraints=47745 542.78/543.05 c nbDecision=423500 #constraints=47802 543.78/544.04 c nbDecision=424000 #constraints=47845 544.98/545.21 c nbDecision=424500 #constraints=47907 545.97/546.22 c nbDecision=425000 #constraints=47955 546.77/547.00 c nbDecision=425500 #constraints=47973 547.67/547.95 c nbDecision=426000 #constraints=48004 548.57/548.86 c nbDecision=426500 #constraints=48031 549.56/549.89 c nbDecision=427000 #constraints=48067 550.56/550.84 c nbDecision=427500 #constraints=48105 551.55/551.86 c nbDecision=428000 #constraints=48145 552.55/552.84 c nbDecision=428500 #constraints=48184 553.35/553.66 c nbDecision=429000 #constraints=48205 554.44/554.73 c nbDecision=429500 #constraints=48254 555.25/555.50 c nbDecision=430000 #constraints=48296 556.04/556.37 c nbDecision=430500 #constraints=48329 557.25/557.52 c nbDecision=431000 #constraints=48384 558.15/558.45 c nbDecision=431500 #constraints=48415 559.05/559.33 c nbDecision=432000 #constraints=48438 559.85/560.19 c nbDecision=432500 #constraints=48467 560.84/561.18 c nbDecision=433000 #constraints=48494 561.44/561.79 c nbDecision=433500 #constraints=48509 562.24/562.57 c nbDecision=434000 #constraints=48531 563.04/563.35 c nbDecision=434500 #constraints=48553 563.84/564.11 c nbDecision=435000 #constraints=48573 564.84/565.19 c nbDecision=435500 #constraints=48620 565.74/566.04 c nbDecision=436000 #constraints=48642 566.63/566.90 c nbDecision=436500 #constraints=48668 567.53/567.88 c nbDecision=437000 #constraints=48710 568.45/568.78 c nbDecision=437500 #constraints=48749 569.34/569.70 c nbDecision=438000 #constraints=48776 570.24/570.52 c nbDecision=438500 #constraints=48806 570.84/571.12 c nbDecision=439000 #constraints=48822 571.44/571.78 c nbDecision=439500 #constraints=48836 572.43/572.74 c nbDecision=440000 #constraints=48877 573.33/573.67 c nbDecision=440500 #constraints=48911 574.33/574.62 c nbDecision=441000 #constraints=48942 575.33/575.63 c nbDecision=441500 #constraints=48978 576.33/576.67 c nbDecision=442000 #constraints=49017 577.73/578.08 c nbDecision=442500 #constraints=49062 578.52/578.85 c nbDecision=443000 #constraints=49097 579.42/579.74 c nbDecision=443500 #constraints=49121 580.33/580.62 c nbDecision=444000 #constraints=49146 580.93/581.28 c nbDecision=444500 #constraints=49156 581.73/582.07 c nbDecision=445000 #constraints=49186 582.73/583.01 c nbDecision=445500 #constraints=49207 583.62/583.97 c nbDecision=446000 #constraints=49233 584.32/584.69 c nbDecision=446500 #constraints=49245 585.12/585.48 c nbDecision=447000 #constraints=49257 585.92/586.21 c nbDecision=447500 #constraints=49286 586.62/586.92 c nbDecision=448000 #constraints=49294 587.42/587.70 c nbDecision=448500 #constraints=49311 588.12/588.46 c nbDecision=449000 #constraints=49327 589.22/589.57 c nbDecision=449500 #constraints=49384 590.12/590.42 c nbDecision=450000 #constraints=49414 590.92/591.27 c nbDecision=450500 #constraints=49441 591.82/592.13 c nbDecision=451000 #constraints=49470 592.42/592.78 c nbDecision=451500 #constraints=49479 593.31/593.64 c nbDecision=452000 #constraints=49502 594.41/594.80 c nbDecision=452500 #constraints=49553 595.21/595.55 c nbDecision=453000 #constraints=49568 596.01/596.30 c nbDecision=453500 #constraints=49585 596.51/596.84 c nbDecision=454000 #constraints=49597 597.21/597.57 c nbDecision=454500 #constraints=49611 598.01/598.39 c nbDecision=455000 #constraints=49634 599.02/599.31 c nbDecision=455500 #constraints=49663 599.92/600.29 c nbDecision=456000 #constraints=49694 600.71/601.08 c nbDecision=456500 #constraints=49716 601.42/601.79 c nbDecision=457000 #constraints=49733 602.31/602.65 c nbDecision=457500 #constraints=49763 603.41/603.75 c nbDecision=458000 #constraints=49809 604.31/604.60 c nbDecision=458500 #constraints=49834 605.01/605.31 c nbDecision=459000 #constraints=49856 605.71/606.03 c nbDecision=459500 #constraints=49864 606.61/606.93 c nbDecision=460000 #constraints=49897 607.41/607.73 c nbDecision=460500 #constraints=49914 608.31/608.68 c nbDecision=461000 #constraints=49934 609.11/609.43 c nbDecision=461500 #constraints=49946 609.91/610.23 c nbDecision=462000 #constraints=49961 610.91/611.22 c nbDecision=462500 #constraints=49988 611.71/612.02 c nbDecision=463000 #constraints=50003 612.61/612.94 c nbDecision=463500 #constraints=50032 613.21/613.59 c nbDecision=464000 #constraints=50055 614.21/614.51 c nbDecision=464500 #constraints=50082 614.91/615.26 c nbDecision=465000 #constraints=50095 615.72/616.09 c nbDecision=465500 #constraints=50119 616.81/617.15 c nbDecision=466000 #constraints=50154 617.61/617.96 c nbDecision=466500 #constraints=50172 618.41/618.78 c nbDecision=467000 #constraints=50185 619.11/619.42 c nbDecision=467500 #constraints=50191 619.91/620.29 c nbDecision=468000 #constraints=50220 620.31/620.69 c nbDecision=468500 #constraints=50221 621.21/621.52 c nbDecision=469000 #constraints=50253 622.21/622.52 c nbDecision=469500 #constraints=50295 623.11/623.43 c nbDecision=470000 #constraints=50316 623.91/624.25 c nbDecision=470500 #constraints=50341 624.71/625.01 c nbDecision=471000 #constraints=50351 625.51/625.89 c nbDecision=471500 #constraints=50375 626.50/626.90 c nbDecision=472000 #constraints=50405 627.50/627.81 c nbDecision=472500 #constraints=50437 628.30/628.66 c nbDecision=473000 #constraints=50460 629.10/629.42 c nbDecision=473500 #constraints=50474 629.90/630.24 c nbDecision=474000 #constraints=50497 630.60/630.94 c nbDecision=474500 #constraints=50508 631.40/631.72 c nbDecision=475000 #constraints=50527 632.20/632.58 c nbDecision=475500 #constraints=50550 633.10/633.42 c nbDecision=476000 #constraints=50572 633.90/634.26 c nbDecision=476500 #constraints=50592 634.79/635.15 c nbDecision=477000 #constraints=50618 635.59/635.92 c nbDecision=477500 #constraints=50633 636.51/636.86 c nbDecision=478000 #constraints=50659 637.40/637.75 c nbDecision=478500 #constraints=50682 638.30/638.66 c nbDecision=479000 #constraints=50709 639.10/639.45 c nbDecision=479500 #constraints=50728 639.90/640.27 c nbDecision=480000 #constraints=50748 640.80/641.18 c nbDecision=480500 #constraints=50780 641.60/641.93 c nbDecision=481000 #constraints=50795 642.40/642.72 c nbDecision=481500 #constraints=50814 643.10/643.48 c nbDecision=482000 #constraints=50825 643.80/644.11 c nbDecision=482500 #constraints=50847 644.59/644.91 c nbDecision=483000 #constraints=50868 645.59/646.00 c nbDecision=483500 #constraints=50897 646.09/646.47 c nbDecision=484000 #constraints=50901 647.19/647.57 c nbDecision=484500 #constraints=50945 647.99/648.37 c nbDecision=485000 #constraints=50969 648.89/649.23 c nbDecision=485500 #constraints=50999 649.69/650.02 c nbDecision=486000 #constraints=51016 650.69/651.04 c nbDecision=486500 #constraints=51053 651.29/651.69 c nbDecision=487000 #constraints=51062 652.19/652.58 c nbDecision=487500 #constraints=51083 652.99/653.39 c nbDecision=488000 #constraints=51102 654.00/654.39 c nbDecision=488500 #constraints=51130 654.90/655.24 c nbDecision=489000 #constraints=51150 655.70/656.02 c nbDecision=489500 #constraints=51160 656.40/656.79 c nbDecision=490000 #constraints=51173 657.30/657.65 c nbDecision=490500 #constraints=51201 658.20/658.53 c nbDecision=491000 #constraints=51225 658.99/659.35 c nbDecision=491500 #constraints=51242 659.89/660.24 c nbDecision=492000 #constraints=51267 660.70/661.05 c nbDecision=492500 #constraints=51288 661.39/661.76 c nbDecision=493000 #constraints=51299 662.09/662.48 c nbDecision=493500 #constraints=51311 663.00/663.35 c nbDecision=494000 #constraints=51330 663.79/664.11 c nbDecision=494500 #constraints=51338 664.59/664.96 c nbDecision=495000 #constraints=51370 665.59/665.97 c nbDecision=495500 #constraints=51401 666.49/666.87 c nbDecision=496000 #constraints=51419 667.29/667.62 c nbDecision=496500 #constraints=51435 667.89/668.21 c nbDecision=497000 #constraints=51448 668.49/668.81 c nbDecision=497500 #constraints=51453 669.29/669.64 c nbDecision=498000 #constraints=51460 669.99/670.30 c nbDecision=498500 #constraints=51480 670.89/671.26 c nbDecision=499000 #constraints=51508 671.79/672.13 c nbDecision=499500 #constraints=51527 672.49/672.86 c nbDecision=500000 #constraints=51543 672.89/673.29 c nbDecision=500500 #constraints=51545 673.69/674.03 c nbDecision=501000 #constraints=51558 674.38/674.77 c nbDecision=501500 #constraints=51573 675.18/675.55 c nbDecision=502000 #constraints=51591 675.88/676.27 c nbDecision=502500 #constraints=51605 676.88/677.24 c nbDecision=503000 #constraints=51646 677.68/678.03 c nbDecision=503500 #constraints=51667 678.28/678.68 c nbDecision=504000 #constraints=51671 678.78/679.11 c nbDecision=504500 #constraints=51673 679.48/679.85 c nbDecision=505000 #constraints=51689 680.18/680.56 c nbDecision=505500 #constraints=51695 680.98/681.33 c nbDecision=506000 #constraints=51714 681.78/682.14 c nbDecision=506500 #constraints=51733 682.38/682.80 c nbDecision=507000 #constraints=51741 683.38/683.77 c nbDecision=507500 #constraints=51766 684.49/684.81 c nbDecision=508000 #constraints=51789 685.19/685.55 c nbDecision=508500 #constraints=51799 685.89/686.20 c nbDecision=509000 #constraints=51803 686.49/686.89 c nbDecision=509500 #constraints=51809 687.39/687.70 c nbDecision=510000 #constraints=51825 688.19/688.53 c nbDecision=510500 #constraints=51847 689.29/689.70 c nbDecision=511000 #constraints=51878 690.18/690.55 c nbDecision=511500 #constraints=51890 691.08/691.42 c nbDecision=512000 #constraints=51904 691.98/692.39 c nbDecision=512500 #constraints=51924 692.98/693.33 c nbDecision=513000 #constraints=51950 693.98/694.38 c nbDecision=513500 #constraints=51989 694.89/695.27 c nbDecision=514000 #constraints=52017 695.68/696.07 c nbDecision=514500 #constraints=52032 696.58/696.93 c nbDecision=515000 #constraints=52055 697.38/697.79 c nbDecision=515500 #constraints=52062 698.18/698.58 c nbDecision=516000 #constraints=52078 698.88/699.29 c nbDecision=516500 #constraints=52087 699.78/700.10 c nbDecision=517000 #constraints=52100 700.58/700.93 c nbDecision=517500 #constraints=52135 701.48/701.87 c nbDecision=518000 #constraints=52153 702.67/703.08 c nbDecision=518500 #constraints=52179 703.68/704.04 c nbDecision=519000 #constraints=52224 704.27/704.69 c nbDecision=519500 #constraints=52228 705.17/705.56 c nbDecision=520000 #constraints=52249 706.27/706.63 c nbDecision=520500 #constraints=52286 707.07/707.47 c nbDecision=521000 #constraints=52302 708.08/708.41 c nbDecision=521500 #constraints=52327 708.77/709.14 c nbDecision=522000 #constraints=52338 709.57/709.92 c nbDecision=522500 #constraints=52352 710.37/710.74 c nbDecision=523000 #constraints=52369 711.47/711.82 c nbDecision=523500 #constraints=52405 712.27/712.61 c nbDecision=524000 #constraints=52414 713.07/713.46 c nbDecision=524500 #constraints=52428 713.97/714.31 c nbDecision=525000 #constraints=52445 714.67/715.07 c nbDecision=525500 #constraints=52463 715.47/715.81 c nbDecision=526000 #constraints=52472 716.17/716.58 c nbDecision=526500 #constraints=52484 716.97/717.35 c nbDecision=527000 #constraints=52499 717.57/717.98 c nbDecision=527500 #constraints=52503 718.37/718.70 c nbDecision=528000 #constraints=52510 718.87/719.28 c nbDecision=528500 #constraints=52524 719.67/720.05 c nbDecision=529000 #constraints=52536 720.57/720.91 c nbDecision=529500 #constraints=52552 721.37/721.75 c nbDecision=530000 #constraints=52569 722.07/722.41 c nbDecision=530500 #constraints=52573 722.77/723.20 c nbDecision=531000 #constraints=52587 723.57/723.98 c nbDecision=531500 #constraints=52602 724.47/724.83 c nbDecision=532000 #constraints=52636 725.16/725.59 c nbDecision=532500 #constraints=52650 725.86/726.25 c nbDecision=533000 #constraints=52654 726.86/727.23 c nbDecision=533500 #constraints=52681 727.96/728.36 c nbDecision=534000 #constraints=52714 728.76/729.20 c nbDecision=534500 #constraints=52729 729.66/730.09 c nbDecision=535000 #constraints=52743 730.36/730.75 c nbDecision=535500 #constraints=52748 731.47/731.86 c nbDecision=536000 #constraints=52784 732.37/732.78 c nbDecision=536500 #constraints=52804 733.27/733.70 c nbDecision=537000 #constraints=52829 734.17/734.56 c nbDecision=537500 #constraints=52849 734.97/735.36 c nbDecision=538000 #constraints=52868 735.87/736.29 c nbDecision=538500 #constraints=52885 736.77/737.19 c nbDecision=539000 #constraints=52905 737.57/737.92 c nbDecision=539500 #constraints=52916 738.37/738.73 c nbDecision=540000 #constraints=52935 738.87/739.22 c nbDecision=540500 #constraints=52939 739.47/739.85 c nbDecision=541000 #constraints=52945 740.26/740.67 c nbDecision=541500 #constraints=52954 740.97/741.33 c nbDecision=542000 #constraints=52958 741.76/742.16 c nbDecision=542500 #constraints=52975 742.56/742.90 c nbDecision=543000 #constraints=52984 743.17/743.56 c nbDecision=543500 #constraints=52988 744.06/744.49 c nbDecision=544000 #constraints=53015 744.86/745.27 c nbDecision=544500 #constraints=53027 745.47/745.85 c nbDecision=545000 #constraints=53037 746.16/746.52 c nbDecision=545500 #constraints=53041 746.86/747.29 c nbDecision=546000 #constraints=53049 747.46/747.90 c nbDecision=546500 #constraints=53053 748.16/748.58 c nbDecision=547000 #constraints=53057 748.86/749.29 c nbDecision=547500 #constraints=53065 749.66/750.01 c nbDecision=548000 #constraints=53077 750.36/750.71 c nbDecision=548500 #constraints=53086 750.96/751.39 c nbDecision=549000 #constraints=53093 751.96/752.31 c nbDecision=549500 #constraints=53109 753.16/753.59 c nbDecision=550000 #constraints=53140 753.96/754.38 c nbDecision=550500 #constraints=53154 754.76/755.12 c nbDecision=551000 #constraints=53171 755.56/755.95 c nbDecision=551500 #constraints=53187 756.76/757.13 c nbDecision=552000 #constraints=53212 757.75/758.14 c nbDecision=552500 #constraints=53242 758.45/758.86 c nbDecision=553000 #constraints=53254 759.25/759.67 c nbDecision=553500 #constraints=53268 760.05/760.49 c nbDecision=554000 #constraints=53278 760.95/761.36 c nbDecision=554500 #constraints=53297 761.75/762.17 c nbDecision=555000 #constraints=53313 762.55/762.92 c nbDecision=555500 #constraints=53319 763.35/763.73 c nbDecision=556000 #constraints=53332 764.25/764.61 c nbDecision=556500 #constraints=53354 765.05/765.44 c nbDecision=557000 #constraints=53375 765.85/766.22 c nbDecision=557500 #constraints=53384 766.75/767.10 c nbDecision=558000 #constraints=53405 767.55/767.93 c nbDecision=558500 #constraints=53417 768.55/768.94 c nbDecision=559000 #constraints=53452 769.75/770.11 c nbDecision=559500 #constraints=53472 770.25/770.63 c nbDecision=560000 #constraints=53482 771.15/771.57 c nbDecision=560500 #constraints=53507 772.05/772.48 c nbDecision=561000 #constraints=53534 772.85/773.21 c nbDecision=561500 #constraints=53541 773.55/773.95 c nbDecision=562000 #constraints=53555 774.35/774.73 c nbDecision=562500 #constraints=53574 775.06/775.48 c nbDecision=563000 #constraints=53582 775.86/776.25 c nbDecision=563500 #constraints=53590 776.56/776.96 c nbDecision=564000 #constraints=53595 777.36/777.77 c nbDecision=564500 #constraints=53609 778.15/778.50 c nbDecision=565000 #constraints=53615 778.85/779.23 c nbDecision=565500 #constraints=53625 779.65/780.08 c nbDecision=566000 #constraints=53643 780.35/780.79 c nbDecision=566500 #constraints=53648 781.35/781.78 c nbDecision=567000 #constraints=53671 782.25/782.63 c nbDecision=567500 #constraints=53686 783.35/783.72 c nbDecision=568000 #constraints=53711 784.15/784.51 c nbDecision=568500 #constraints=53723 784.85/785.25 c nbDecision=569000 #constraints=53729 785.75/786.12 c nbDecision=569500 #constraints=53748 786.45/786.86 c nbDecision=570000 #constraints=53759 787.35/787.70 c nbDecision=570500 #constraints=53776 788.05/788.47 c nbDecision=571000 #constraints=53791 789.05/789.43 c nbDecision=571500 #constraints=53820 789.85/790.24 c nbDecision=572000 #constraints=53837 790.55/790.97 c nbDecision=572500 #constraints=53843 791.05/791.49 c nbDecision=573000 #constraints=53847 791.75/792.19 c nbDecision=573500 #constraints=53854 792.55/792.90 c nbDecision=574000 #constraints=53859 793.45/793.80 c nbDecision=574500 #constraints=53879 794.25/794.62 c nbDecision=575000 #constraints=53894 795.05/795.49 c nbDecision=575500 #constraints=53917 796.05/796.43 c nbDecision=576000 #constraints=53935 796.75/797.14 c nbDecision=576500 #constraints=53939 797.65/798.08 c nbDecision=577000 #constraints=53952 798.35/798.78 c nbDecision=577500 #constraints=53957 799.05/799.46 c nbDecision=578000 #constraints=53973 800.05/800.45 c nbDecision=578500 #constraints=53996 800.55/801.00 c nbDecision=579000 #constraints=54000 801.65/802.04 c nbDecision=579500 #constraints=54021 802.45/802.90 c nbDecision=580000 #constraints=54038 803.15/803.59 c nbDecision=580500 #constraints=54042 803.84/804.22 c nbDecision=581000 #constraints=54053 804.64/805.02 c nbDecision=581500 #constraints=54058 805.44/805.86 c nbDecision=582000 #constraints=54080 806.54/806.92 c nbDecision=582500 #constraints=54093 807.34/807.70 c nbDecision=583000 #constraints=54101 808.24/808.65 c nbDecision=583500 #constraints=54116 809.15/809.58 c nbDecision=584000 #constraints=54132 809.84/810.24 c nbDecision=584500 #constraints=54151 810.64/811.02 c nbDecision=585000 #constraints=54167 811.54/811.93 c nbDecision=585500 #constraints=54184 812.45/812.80 c nbDecision=586000 #constraints=54202 813.14/813.51 c nbDecision=586500 #constraints=54224 813.94/814.34 c nbDecision=587000 #constraints=54239 814.84/815.25 c nbDecision=587500 #constraints=54257 815.54/815.97 c nbDecision=588000 #constraints=54267 816.34/816.74 c nbDecision=588500 #constraints=54281 816.94/817.40 c nbDecision=589000 #constraints=54286 817.94/818.36 c nbDecision=589500 #constraints=54300 818.74/819.20 c nbDecision=590000 #constraints=54312 819.54/819.97 c nbDecision=590500 #constraints=54322 820.54/820.90 c nbDecision=591000 #constraints=54343 821.34/821.76 c nbDecision=591500 #constraints=54356 822.14/822.51 c nbDecision=592000 #constraints=54367 822.84/823.22 c nbDecision=592500 #constraints=54375 823.34/823.78 c nbDecision=593000 #constraints=54384 824.24/824.63 c nbDecision=593500 #constraints=54400 825.04/825.44 c nbDecision=594000 #constraints=54411 825.84/826.24 c nbDecision=594500 #constraints=54423 826.64/827.10 c nbDecision=595000 #constraints=54436 827.44/827.87 c nbDecision=595500 #constraints=54445 828.44/828.80 c nbDecision=596000 #constraints=54451 829.24/829.62 c nbDecision=596500 #constraints=54471 830.14/830.51 c nbDecision=597000 #constraints=54498 831.14/831.54 c nbDecision=597500 #constraints=54525 831.94/832.34 c nbDecision=598000 #constraints=54545 832.94/833.32 c nbDecision=598500 #constraints=54570 833.44/833.81 c nbDecision=599000 #constraints=54573 834.54/834.91 c nbDecision=599500 #constraints=54594 835.23/835.67 c nbDecision=600000 #constraints=54606 836.43/836.81 c nbDecision=600500 #constraints=54649 837.43/837.84 c nbDecision=601000 #constraints=54679 838.23/838.60 c nbDecision=601500 #constraints=54686 839.03/839.42 c nbDecision=602000 #constraints=54695 839.63/840.09 c nbDecision=602500 #constraints=54699 840.73/841.12 c nbDecision=603000 #constraints=54729 841.43/841.85 c nbDecision=603500 #constraints=54737 842.23/842.62 c nbDecision=604000 #constraints=54749 842.83/843.27 c nbDecision=604500 #constraints=54760 843.53/843.97 c nbDecision=605000 #constraints=54771 844.62/845.04 c nbDecision=605500 #constraints=54801 845.43/845.86 c nbDecision=606000 #constraints=54814 846.32/846.76 c nbDecision=606500 #constraints=54826 847.22/847.66 c nbDecision=607000 #constraints=54844 848.12/848.50 c nbDecision=607500 #constraints=54856 848.83/849.29 c nbDecision=608000 #constraints=54872 849.93/850.32 c nbDecision=608500 #constraints=54895 850.52/850.99 c nbDecision=609000 #constraints=54898 851.42/851.82 c nbDecision=609500 #constraints=54909 852.32/852.72 c nbDecision=610000 #constraints=54927 853.02/853.44 c nbDecision=610500 #constraints=54931 853.73/854.13 c nbDecision=611000 #constraints=54937 854.53/854.93 c nbDecision=611500 #constraints=54949 855.23/855.62 c nbDecision=612000 #constraints=54954 855.83/856.29 c nbDecision=612500 #constraints=54959 856.93/857.32 c nbDecision=613000 #constraints=54968 857.73/858.18 c nbDecision=613500 #constraints=54990 858.73/859.20 c nbDecision=614000 #constraints=55017 859.63/860.08 c nbDecision=614500 #constraints=55027 860.53/860.99 c nbDecision=615000 #constraints=55044 861.12/861.58 c nbDecision=615500 #constraints=55056 862.03/862.45 c nbDecision=616000 #constraints=55071 862.72/863.11 c nbDecision=616500 #constraints=55075 863.42/863.80 c nbDecision=617000 #constraints=55078 864.42/864.80 c nbDecision=617500 #constraints=55107 865.12/865.55 c nbDecision=618000 #constraints=55121 865.92/866.37 c nbDecision=618500 #constraints=55128 866.92/867.34 c nbDecision=619000 #constraints=55136 867.82/868.26 c nbDecision=619500 #constraints=55156 868.63/869.06 c nbDecision=620000 #constraints=55162 869.42/869.85 c nbDecision=620500 #constraints=55173 870.32/870.73 c nbDecision=621000 #constraints=55193 871.12/871.59 c nbDecision=621500 #constraints=55210 872.02/872.45 c nbDecision=622000 #constraints=55228 872.82/873.23 c nbDecision=622500 #constraints=55237 873.52/874.00 c nbDecision=623000 #constraints=55250 874.52/874.91 c nbDecision=623500 #constraints=55275 875.32/875.78 c nbDecision=624000 #constraints=55287 876.02/876.40 c nbDecision=624500 #constraints=55290 877.01/877.44 c nbDecision=625000 #constraints=55305 877.71/878.16 c nbDecision=625500 #constraints=55312 878.52/878.93 c nbDecision=626000 #constraints=55323 879.01/879.49 c nbDecision=626500 #constraints=55332 880.01/880.40 c nbDecision=627000 #constraints=55338 880.51/880.98 c nbDecision=627500 #constraints=55347 881.41/881.81 c nbDecision=628000 #constraints=55358 882.31/882.80 c nbDecision=628500 #constraints=55376 883.31/883.77 c nbDecision=629000 #constraints=55396 884.31/884.72 c nbDecision=629500 #constraints=55412 885.12/885.56 c nbDecision=630000 #constraints=55427 885.91/886.36 c nbDecision=630500 #constraints=55439 886.91/887.34 c nbDecision=631000 #constraints=55455 887.81/888.21 c nbDecision=631500 #constraints=55475 888.62/889.01 c nbDecision=632000 #constraints=55483 889.42/889.87 c nbDecision=632500 #constraints=55496 890.42/890.81 c nbDecision=633000 #constraints=55516 891.42/891.83 c nbDecision=633500 #constraints=55542 892.22/892.62 c nbDecision=634000 #constraints=55553 893.02/893.44 c nbDecision=634500 #constraints=55563 893.92/894.34 c nbDecision=635000 #constraints=55582 894.61/895.06 c nbDecision=635500 #constraints=55591 895.41/895.89 c nbDecision=636000 #constraints=55605 896.12/896.56 c nbDecision=636500 #constraints=55608 897.01/897.45 c nbDecision=637000 #constraints=55620 897.91/898.37 c nbDecision=637500 #constraints=55639 898.71/899.15 c nbDecision=638000 #constraints=55646 899.61/900.07 c nbDecision=638500 #constraints=55663 900.32/900.79 c nbDecision=639000 #constraints=55668 901.22/901.61 c nbDecision=639500 #constraints=55680 902.02/902.40 c nbDecision=640000 #constraints=55692 902.91/903.33 c nbDecision=640500 #constraints=55710 903.41/903.89 c nbDecision=641000 #constraints=55715 904.21/904.66 c nbDecision=641500 #constraints=55725 905.41/905.86 c nbDecision=642000 #constraints=55748 906.31/906.70 c nbDecision=642500 #constraints=55757 907.21/907.62 c nbDecision=643000 #constraints=55773 908.22/908.62 c nbDecision=643500 #constraints=55798 909.01/909.42 c nbDecision=644000 #constraints=55808 910.11/910.54 c nbDecision=644500 #constraints=55832 910.91/911.34 c nbDecision=645000 #constraints=55846 911.91/912.33 c nbDecision=645500 #constraints=55868 912.52/912.99 c nbDecision=646000 #constraints=55881 913.62/914.06 c nbDecision=646500 #constraints=55894 914.11/914.54 c nbDecision=647000 #constraints=55896 915.11/915.50 c nbDecision=647500 #constraints=55920 915.91/916.32 c nbDecision=648000 #constraints=55935 916.91/917.30 c nbDecision=648500 #constraints=55966 917.71/918.11 c nbDecision=649000 #constraints=55979 918.41/918.88 c nbDecision=649500 #constraints=55985 919.12/919.57 c nbDecision=650000 #constraints=56001 919.91/920.33 c nbDecision=650500 #constraints=56008 920.71/921.20 c nbDecision=651000 #constraints=56027 921.61/922.09 c nbDecision=651500 #constraints=56047 922.41/922.83 c nbDecision=652000 #constraints=56052 923.01/923.49 c nbDecision=652500 #constraints=56055 923.81/924.23 c nbDecision=653000 #constraints=56058 924.81/925.20 c nbDecision=653500 #constraints=56078 925.81/926.29 c nbDecision=654000 #constraints=56095 926.71/927.14 c nbDecision=654500 #constraints=56101 927.41/927.81 c nbDecision=655000 #constraints=56104 928.11/928.52 c nbDecision=655500 #constraints=56111 929.01/929.47 c nbDecision=656000 #constraints=56138 929.71/930.18 c nbDecision=656500 #constraints=56142 930.51/930.98 c nbDecision=657000 #constraints=56155 931.31/931.71 c nbDecision=657500 #constraints=56159 932.00/932.45 c nbDecision=658000 #constraints=56164 932.70/933.18 c nbDecision=658500 #constraints=56168 933.41/933.87 c nbDecision=659000 #constraints=56171 934.20/934.60 c nbDecision=659500 #constraints=56175 935.30/935.70 c nbDecision=660000 #constraints=56208 935.80/936.27 c nbDecision=660500 #constraints=56213 936.60/937.10 c nbDecision=661000 #constraints=56225 937.50/937.95 c nbDecision=661500 #constraints=56234 938.20/938.67 c nbDecision=662000 #constraints=56241 939.30/939.80 c nbDecision=662500 #constraints=56265 940.50/940.96 c nbDecision=663000 #constraints=56304 941.30/941.77 c nbDecision=663500 #constraints=56320 942.20/942.64 c nbDecision=664000 #constraints=56337 943.10/943.53 c nbDecision=664500 #constraints=56356 943.80/944.25 c nbDecision=665000 #constraints=56361 944.60/945.01 c nbDecision=665500 #constraints=56367 945.30/945.73 c nbDecision=666000 #constraints=56371 946.00/946.44 c nbDecision=666500 #constraints=56375 946.80/947.22 c nbDecision=667000 #constraints=56386 947.50/947.94 c nbDecision=667500 #constraints=56390 948.40/948.88 c nbDecision=668000 #constraints=56416 949.10/949.57 c nbDecision=668500 #constraints=56419 950.10/950.50 c nbDecision=669000 #constraints=56428 950.90/951.38 c nbDecision=669500 #constraints=56446 951.80/952.25 c nbDecision=670000 #constraints=56454 952.50/952.96 c nbDecision=670500 #constraints=56458 953.40/953.86 c nbDecision=671000 #constraints=56472 954.20/954.64 c nbDecision=671500 #constraints=56481 954.90/955.39 c nbDecision=672000 #constraints=56490 955.80/956.28 c nbDecision=672500 #constraints=56508 956.79/957.24 c nbDecision=673000 #constraints=56525 957.29/957.70 c nbDecision=673500 #constraints=56526 958.09/958.53 c nbDecision=674000 #constraints=56534 958.80/959.26 c nbDecision=674500 #constraints=56541 959.59/960.02 c nbDecision=675000 #constraints=56547 960.39/960.89 c nbDecision=675500 #constraints=56569 961.19/961.69 c nbDecision=676000 #constraints=56575 962.09/962.56 c nbDecision=676500 #constraints=56589 962.69/963.19 c nbDecision=677000 #constraints=56603 963.49/963.95 c nbDecision=677500 #constraints=56614 964.90/965.30 c nbDecision=678000 #constraints=56660 965.80/966.26 c nbDecision=678500 #constraints=56681 966.60/967.03 c nbDecision=679000 #constraints=56691 967.30/967.75 c nbDecision=679500 #constraints=56701 968.09/968.59 c nbDecision=680000 #constraints=56714 968.79/969.28 c nbDecision=680500 #constraints=56717 969.59/970.05 c nbDecision=681000 #constraints=56720 970.49/970.95 c nbDecision=681500 #constraints=56740 971.39/971.87 c nbDecision=682000 #constraints=56759 972.09/972.58 c nbDecision=682500 #constraints=56763 972.79/973.26 c nbDecision=683000 #constraints=56766 973.99/974.40 c nbDecision=683500 #constraints=56780 974.79/975.26 c nbDecision=684000 #constraints=56806 975.69/976.15 c nbDecision=684500 #constraints=56823 976.49/976.90 c nbDecision=685000 #constraints=56828 977.19/977.63 c nbDecision=685500 #constraints=56833 977.99/978.46 c nbDecision=686000 #constraints=56853 978.79/979.24 c nbDecision=686500 #constraints=56860 979.59/980.05 c nbDecision=687000 #constraints=56870 980.39/980.85 c nbDecision=687500 #constraints=56879 981.09/981.59 c nbDecision=688000 #constraints=56883 981.79/982.30 c nbDecision=688500 #constraints=56888 982.69/983.14 c nbDecision=689000 #constraints=56899 983.59/984.06 c nbDecision=689500 #constraints=56922 984.69/985.19 c nbDecision=690000 #constraints=56960 985.49/985.94 c nbDecision=690500 #constraints=56965 986.68/987.18 c nbDecision=691000 #constraints=56989 987.29/987.77 c nbDecision=691500 #constraints=57003 988.18/988.61 c nbDecision=692000 #constraints=57013 988.98/989.42 c nbDecision=692500 #constraints=57022 989.78/990.29 c nbDecision=693000 #constraints=57038 990.48/990.97 c nbDecision=693500 #constraints=57041 991.28/991.71 c nbDecision=694000 #constraints=57045 992.08/992.51 c nbDecision=694500 #constraints=57057 992.78/993.24 c nbDecision=695000 #constraints=57061 993.78/994.23 c nbDecision=695500 #constraints=57090 994.68/995.15 c nbDecision=696000 #constraints=57109 995.38/995.85 c nbDecision=696500 #constraints=57112 996.08/996.57 c nbDecision=697000 #constraints=57115 996.89/997.33 c nbDecision=697500 #constraints=57125 997.59/998.08 c nbDecision=698000 #constraints=57129 998.49/998.96 c nbDecision=698500 #constraints=57142 999.29/999.72 c nbDecision=699000 #constraints=57153 1000.09/1000.58 c nbDecision=699500 #constraints=57168 1000.88/1001.30 c nbDecision=700000 #constraints=57171 1001.69/1002.16 c nbDecision=700500 #constraints=57182 1003.08/1003.52 c nbDecision=701000 #constraints=57222 1003.89/1004.32 c nbDecision=701500 #constraints=57231 1004.78/1005.25 c nbDecision=702000 #constraints=57240 1005.78/1006.26 c nbDecision=702500 #constraints=57265 1006.48/1006.99 c nbDecision=703000 #constraints=57268 1007.19/1007.69 c nbDecision=703500 #constraints=57271 1008.08/1008.51 c nbDecision=704000 #constraints=57284 1009.29/1009.70 c nbDecision=704500 #constraints=57300 1010.18/1010.62 c nbDecision=705000 #constraints=57316 1010.68/1011.14 c nbDecision=705500 #constraints=57318 1011.48/1011.91 c nbDecision=706000 #constraints=57323 1012.48/1012.98 c nbDecision=706500 #constraints=57334 1013.28/1013.74 c nbDecision=707000 #constraints=57344 1013.78/1014.25 c nbDecision=707500 #constraints=57346 1014.88/1015.31 c nbDecision=708000 #constraints=57363 1015.38/1015.89 c nbDecision=708500 #constraints=57371 1016.68/1017.13 c nbDecision=709000 #constraints=57398 1017.58/1018.00 c nbDecision=709500 #constraints=57414 1018.28/1018.76 c nbDecision=710000 #constraints=57418 1019.08/1019.60 c nbDecision=710500 #constraints=57430 1019.68/1020.15 c nbDecision=711000 #constraints=57436 1020.47/1020.99 c nbDecision=711500 #constraints=57444 1021.38/1021.83 c nbDecision=712000 #constraints=57463 1022.07/1022.58 c nbDecision=712500 #constraints=57467 1023.07/1023.54 c nbDecision=713000 #constraints=57472 1023.97/1024.40 c nbDecision=713500 #constraints=57488 1024.78/1025.22 c nbDecision=714000 #constraints=57500 1025.67/1026.12 c nbDecision=714500 #constraints=57511 1026.57/1027.00 c nbDecision=715000 #constraints=57523 1027.37/1027.83 c nbDecision=715500 #constraints=57536 1028.07/1028.59 c nbDecision=716000 #constraints=57541 1028.97/1029.44 c nbDecision=716500 #constraints=57554 1029.67/1030.12 c nbDecision=717000 #constraints=57557 1030.67/1031.11 c nbDecision=717500 #constraints=57583 1031.07/1031.58 c nbDecision=718000 #constraints=57584 1031.87/1032.36 c nbDecision=718500 #constraints=57595 1032.77/1033.20 c nbDecision=719000 #constraints=57606 1033.57/1034.02 c nbDecision=719500 #constraints=57618 1034.37/1034.84 c nbDecision=720000 #constraints=57629 1035.37/1035.83 c nbDecision=720500 #constraints=57653 1036.47/1036.90 c nbDecision=721000 #constraints=57667 1037.37/1037.83 c nbDecision=721500 #constraints=57681 1038.07/1038.58 c nbDecision=722000 #constraints=57687 1038.98/1039.49 c nbDecision=722500 #constraints=57701 1039.77/1040.28 c nbDecision=723000 #constraints=57711 1040.47/1040.97 c nbDecision=723500 #constraints=57715 1041.47/1041.92 c nbDecision=724000 #constraints=57734 1042.47/1042.91 c nbDecision=724500 #constraints=57755 1043.87/1044.32 c nbDecision=725000 #constraints=57802 1044.97/1045.46 c nbDecision=725500 #constraints=57827 1045.87/1046.36 c nbDecision=726000 #constraints=57839 1047.07/1047.54 c nbDecision=726500 #constraints=57866 1047.97/1048.43 c nbDecision=727000 #constraints=57877 1048.87/1049.32 c nbDecision=727500 #constraints=57887 1049.77/1050.23 c nbDecision=728000 #constraints=57901 1050.67/1051.18 c nbDecision=728500 #constraints=57922 1051.67/1052.16 c nbDecision=729000 #constraints=57937 1052.57/1053.07 c nbDecision=729500 #constraints=57943 1053.37/1053.86 c nbDecision=730000 #constraints=57949 1054.47/1054.96 c nbDecision=730500 #constraints=57966 1055.57/1056.09 c nbDecision=731000 #constraints=57990 1056.36/1056.84 c nbDecision=731500 #constraints=57996 1057.26/1057.74 c nbDecision=732000 #constraints=58005 1058.06/1058.56 c nbDecision=732500 #constraints=58011 1058.96/1059.45 c nbDecision=733000 #constraints=58024 1059.97/1060.43 c nbDecision=733500 #constraints=58054 1060.76/1061.24 c nbDecision=734000 #constraints=58066 1061.86/1062.31 c nbDecision=734500 #constraints=58095 1062.76/1063.22 c nbDecision=735000 #constraints=58112 1063.56/1064.04 c nbDecision=735500 #constraints=58123 1064.46/1064.98 c nbDecision=736000 #constraints=58144 1065.26/1065.77 c nbDecision=736500 #constraints=58150 1066.16/1066.65 c nbDecision=737000 #constraints=58160 1066.96/1067.44 c nbDecision=737500 #constraints=58165 1067.76/1068.27 c nbDecision=738000 #constraints=58175 1068.67/1069.15 c nbDecision=738500 #constraints=58187 1069.56/1070.03 c nbDecision=739000 #constraints=58195 1070.36/1070.88 c nbDecision=739500 #constraints=58209 1071.16/1071.67 c nbDecision=740000 #constraints=58219 1072.06/1072.54 c nbDecision=740500 #constraints=58236 1072.96/1073.45 c nbDecision=741000 #constraints=58250 1073.86/1074.38 c nbDecision=741500 #constraints=58265 1074.76/1075.21 c nbDecision=742000 #constraints=58272 1075.56/1076.08 c nbDecision=742500 #constraints=58287 1076.46/1076.99 c nbDecision=743000 #constraints=58304 1077.26/1077.78 c nbDecision=743500 #constraints=58314 1078.06/1078.58 c nbDecision=744000 #constraints=58325 1079.36/1079.84 c nbDecision=744500 #constraints=58360 1080.15/1080.68 c nbDecision=745000 #constraints=58367 1081.05/1081.51 c nbDecision=745500 #constraints=58374 1081.75/1082.30 c nbDecision=746000 #constraints=58379 1082.96/1083.42 c nbDecision=746500 #constraints=58394 1084.06/1084.50 c nbDecision=747000 #constraints=58415 1084.95/1085.44 c nbDecision=747500 #constraints=58426 1085.85/1086.36 c nbDecision=748000 #constraints=58435 1086.45/1086.90 c nbDecision=748500 #constraints=58438 1087.66/1088.18 c nbDecision=749000 #constraints=58454 1088.46/1088.90 c nbDecision=749500 #constraints=58473 1089.36/1089.83 c nbDecision=750000 #constraints=58488 1090.46/1090.92 c nbDecision=750500 #constraints=58501 1091.26/1091.76 c nbDecision=751000 #constraints=58514 1092.16/1092.62 c nbDecision=751500 #constraints=58524 1092.96/1093.45 c nbDecision=752000 #constraints=58530 1093.76/1094.23 c nbDecision=752500 #constraints=58537 1094.56/1095.01 c nbDecision=753000 #constraints=58543 1095.36/1095.82 c nbDecision=753500 #constraints=58549 1096.26/1096.72 c nbDecision=754000 #constraints=58566 1097.05/1097.51 c nbDecision=754500 #constraints=58571 1097.85/1098.35 c nbDecision=755000 #constraints=58588 1098.65/1099.12 c nbDecision=755500 #constraints=58593 1099.55/1100.05 c nbDecision=756000 #constraints=58617 1100.55/1101.06 c nbDecision=756500 #constraints=58628 1101.65/1102.14 c nbDecision=757000 #constraints=58638 1102.25/1102.74 c nbDecision=757500 #constraints=58647 1103.45/1103.94 c nbDecision=758000 #constraints=58667 1104.25/1104.77 c nbDecision=758500 #constraints=58673 1104.95/1105.46 c nbDecision=759000 #constraints=58684 1105.65/1106.19 c nbDecision=759500 #constraints=58688 1106.65/1107.10 c nbDecision=760000 #constraints=58703 1107.55/1108.05 c nbDecision=760500 #constraints=58720 1108.35/1108.85 c nbDecision=761000 #constraints=58729 1109.45/1109.90 c nbDecision=761500 #constraints=58749 1110.04/1110.59 c nbDecision=762000 #constraints=58755 1111.05/1111.56 c nbDecision=762500 #constraints=58775 1111.85/1112.33 c nbDecision=763000 #constraints=58783 1112.55/1113.10 c nbDecision=763500 #constraints=58788 1113.65/1114.10 c nbDecision=764000 #constraints=58807 1114.55/1115.04 c nbDecision=764500 #constraints=58822 1115.15/1115.69 c nbDecision=765000 #constraints=58831 1115.96/1116.47 c nbDecision=765500 #constraints=58841 1116.75/1117.27 c nbDecision=766000 #constraints=58853 1117.75/1118.23 c nbDecision=766500 #constraints=58874 1118.65/1119.10 c nbDecision=767000 #constraints=58885 1119.45/1119.94 c nbDecision=767500 #constraints=58892 1120.15/1120.68 c nbDecision=768000 #constraints=58896 1121.15/1121.61 c nbDecision=768500 #constraints=58913 1121.85/1122.33 c nbDecision=769000 #constraints=58917 1122.65/1123.19 c nbDecision=769500 #constraints=58935 1123.65/1124.18 c nbDecision=770000 #constraints=58957 1124.25/1124.73 c nbDecision=770500 #constraints=58965 1125.04/1125.51 c nbDecision=771000 #constraints=58970 1125.74/1126.25 c nbDecision=771500 #constraints=58974 1126.64/1127.10 c nbDecision=772000 #constraints=58980 1127.44/1127.90 c nbDecision=772500 #constraints=58990 1128.34/1128.80 c nbDecision=773000 #constraints=59001 1129.04/1129.55 c nbDecision=773500 #constraints=59005 1129.84/1130.31 c nbDecision=774000 #constraints=59010 1130.84/1131.38 c nbDecision=774500 #constraints=59017 1131.84/1132.32 c nbDecision=775000 #constraints=59036 1132.55/1133.09 c nbDecision=775500 #constraints=59041 1133.54/1134.00 c nbDecision=776000 #constraints=59057 1134.24/1134.78 c nbDecision=776500 #constraints=59063 1135.14/1135.63 c nbDecision=777000 #constraints=59074 1136.14/1136.64 c nbDecision=777500 #constraints=59095 1136.94/1137.40 c nbDecision=778000 #constraints=59099 1137.74/1138.21 c nbDecision=778500 #constraints=59109 1138.54/1139.03 c nbDecision=779000 #constraints=59115 1139.33/1139.80 c nbDecision=779500 #constraints=59120 1140.14/1140.63 c nbDecision=780000 #constraints=59130 1140.93/1141.49 c nbDecision=780500 #constraints=59141 1142.03/1142.54 c nbDecision=781000 #constraints=59148 1143.03/1143.52 c nbDecision=781500 #constraints=59173 1143.83/1144.34 c nbDecision=782000 #constraints=59183 1144.73/1145.28 c nbDecision=782500 #constraints=59200 1145.64/1146.18 c nbDecision=783000 #constraints=59212 1146.44/1146.96 c nbDecision=783500 #constraints=59218 1147.34/1147.87 c nbDecision=784000 #constraints=59238 1148.24/1148.75 c nbDecision=784500 #constraints=59249 1149.54/1150.09 c nbDecision=785000 #constraints=59264 1150.54/1151.04 c nbDecision=785500 #constraints=59278 1151.34/1151.83 c nbDecision=786000 #constraints=59289 1152.24/1152.72 c nbDecision=786500 #constraints=59297 1153.04/1153.53 c nbDecision=787000 #constraints=59304 1153.83/1154.35 c nbDecision=787500 #constraints=59311 1154.83/1155.37 c nbDecision=788000 #constraints=59330 1155.73/1156.23 c nbDecision=788500 #constraints=59343 1156.53/1157.02 c nbDecision=789000 #constraints=59361 1157.63/1158.12 c nbDecision=789500 #constraints=59389 1158.43/1158.95 c nbDecision=790000 #constraints=59401 1159.33/1159.80 c nbDecision=790500 #constraints=59413 1160.04/1160.58 c nbDecision=791000 #constraints=59421 1160.93/1161.49 c nbDecision=791500 #constraints=59433 1161.73/1162.22 c nbDecision=792000 #constraints=59440 1162.63/1163.15 c nbDecision=792500 #constraints=59454 1163.43/1163.92 c nbDecision=793000 #constraints=59459 1164.13/1164.68 c nbDecision=793500 #constraints=59465 1164.93/1165.49 c nbDecision=794000 #constraints=59469 1165.83/1166.31 c nbDecision=794500 #constraints=59475 1166.63/1167.13 c nbDecision=795000 #constraints=59487 1167.33/1167.89 c nbDecision=795500 #constraints=59491 1168.23/1168.73 c nbDecision=796000 #constraints=59497 1169.13/1169.67 c nbDecision=796500 #constraints=59511 1170.03/1170.55 c nbDecision=797000 #constraints=59518 1170.93/1171.46 c nbDecision=797500 #constraints=59527 1171.83/1172.34 c nbDecision=798000 #constraints=59535 1172.83/1173.30 c nbDecision=798500 #constraints=59550 1173.93/1174.41 c nbDecision=799000 #constraints=59577 1174.72/1175.29 c nbDecision=799500 #constraints=59588 1175.62/1176.14 c nbDecision=800000 #constraints=59595 1176.53/1177.05 c nbDecision=800500 #constraints=59603 1177.42/1177.93 c nbDecision=801000 #constraints=59617 1178.32/1178.80 c nbDecision=801500 #constraints=59624 1179.12/1179.60 c nbDecision=802000 #constraints=59629 1180.22/1180.73 c nbDecision=802500 #constraints=59639 1180.83/1181.36 c nbDecision=803000 #constraints=59643 1181.93/1182.43 c nbDecision=803500 #constraints=59675 1182.72/1183.27 c nbDecision=804000 #constraints=59685 1183.73/1184.25 c nbDecision=804500 #constraints=59711 1184.63/1185.11 c nbDecision=805000 #constraints=59728 1185.63/1186.16 c nbDecision=805500 #constraints=59743 1186.43/1186.96 c nbDecision=806000 #constraints=59749 1187.22/1187.73 c nbDecision=806500 #constraints=59765 1188.32/1188.87 c nbDecision=807000 #constraints=59780 1189.22/1189.72 c nbDecision=807500 #constraints=59793 1189.92/1190.47 c nbDecision=808000 #constraints=59798 1190.83/1191.34 c nbDecision=808500 #constraints=59809 1191.83/1192.33 c nbDecision=809000 #constraints=59830 1192.62/1193.11 c nbDecision=809500 #constraints=59835 1193.12/1193.67 c nbDecision=810000 #constraints=59844 1194.22/1194.75 c nbDecision=810500 #constraints=59856 1195.02/1195.56 c nbDecision=811000 #constraints=59861 1195.82/1196.34 c nbDecision=811500 #constraints=59865 1196.62/1197.14 c nbDecision=812000 #constraints=59870 1197.42/1197.90 c nbDecision=812500 #constraints=59875 1198.22/1198.76 c nbDecision=813000 #constraints=59883 1199.22/1199.72 c nbDecision=813500 #constraints=59888 1200.02/1200.50 c nbDecision=814000 #constraints=59895 1200.92/1201.43 c nbDecision=814500 #constraints=59906 1201.82/1202.38 c nbDecision=815000 #constraints=59911 1202.62/1203.16 c nbDecision=815500 #constraints=59914 1203.52/1204.10 c nbDecision=816000 #constraints=59928 1204.42/1204.98 c nbDecision=816500 #constraints=59939 1205.32/1205.82 c nbDecision=817000 #constraints=59946 1205.91/1206.44 c nbDecision=817500 #constraints=59950 1206.91/1207.40 c nbDecision=818000 #constraints=59966 1207.61/1208.17 c nbDecision=818500 #constraints=59970 1208.42/1208.94 c nbDecision=819000 #constraints=59976 1208.81/1209.35 c restart after 819201 decisions 1217.31/1217.84 c nbDecision=819500 #constraints=60176 1233.41/1233.99 c nbDecision=820000 #constraints=60643 1249.61/1250.10 c nbDecision=820500 #constraints=61115 1267.60/1268.17 c nbDecision=821000 #constraints=61584 1287.20/1287.72 c nbDecision=821500 #constraints=62050 1305.69/1306.24 c nbDecision=822000 #constraints=62508 1325.19/1325.72 c nbDecision=822500 #constraints=62986 1348.28/1348.88 c nbDecision=823000 #constraints=63457 1376.87/1377.40 c nbDecision=823500 #constraints=63934 1404.76/1405.31 c nbDecision=824000 #constraints=64397 1411.66/1412.23 c nbDecision=824500 #constraints=64534 1413.76/1414.39 c nbDecision=825000 #constraints=64635 1416.27/1416.88 c nbDecision=825500 #constraints=64750 1418.76/1419.31 c nbDecision=826000 #constraints=64863 1420.76/1421.33 c nbDecision=826500 #constraints=64944 1422.96/1423.52 c nbDecision=827000 #constraints=65027 1424.86/1425.40 c nbDecision=827500 #constraints=65082 1426.66/1427.28 c nbDecision=828000 #constraints=65143 1429.16/1429.73 c nbDecision=828500 #constraints=65257 1431.26/1431.81 c nbDecision=829000 #constraints=65327 1432.85/1433.46 c nbDecision=829500 #constraints=65383 1434.76/1435.35 c nbDecision=830000 #constraints=65445 1437.36/1437.97 c nbDecision=830500 #constraints=65530 1438.66/1439.23 c nbDecision=831000 #constraints=65568 1440.16/1440.74 c nbDecision=831500 #constraints=65606 1441.46/1442.10 c nbDecision=832000 #constraints=65641 1443.45/1444.01 c nbDecision=832500 #constraints=65691 1444.86/1445.42 c nbDecision=833000 #constraints=65726 1446.96/1447.51 c nbDecision=833500 #constraints=65778 1448.25/1448.84 c nbDecision=834000 #constraints=65806 1449.45/1450.08 c nbDecision=834500 #constraints=65829 1451.36/1451.92 c nbDecision=835000 #constraints=65870 1452.76/1453.35 c nbDecision=835500 #constraints=65906 1453.86/1454.47 c nbDecision=836000 #constraints=65915 1455.05/1455.68 c nbDecision=836500 #constraints=65942 1456.15/1456.70 c nbDecision=837000 #constraints=65960 1457.35/1457.91 c nbDecision=837500 #constraints=65989 1458.55/1459.12 c nbDecision=838000 #constraints=66008 1459.85/1460.40 c nbDecision=838500 #constraints=66019 1460.85/1461.45 c nbDecision=839000 #constraints=66031 1462.15/1462.75 c nbDecision=839500 #constraints=66061 1463.75/1464.30 c nbDecision=840000 #constraints=66082 1465.15/1465.77 c nbDecision=840500 #constraints=66121 1466.65/1467.20 c nbDecision=841000 #constraints=66149 1468.25/1468.85 c nbDecision=841500 #constraints=66183 1469.74/1470.31 c nbDecision=842000 #constraints=66216 1470.74/1471.39 c nbDecision=842500 #constraints=66229 1472.14/1472.74 c nbDecision=843000 #constraints=66252 1473.24/1473.81 c nbDecision=843500 #constraints=66266 1474.74/1475.35 c nbDecision=844000 #constraints=66296 1476.44/1477.05 c nbDecision=844500 #constraints=66325 1478.05/1478.67 c nbDecision=845000 #constraints=66371 1479.45/1480.08 c nbDecision=845500 #constraints=66401 1480.55/1481.15 c nbDecision=846000 #constraints=66411 1482.05/1482.63 c nbDecision=846500 #constraints=66454 1483.55/1484.19 c nbDecision=847000 #constraints=66487 1484.95/1485.54 c nbDecision=847500 #constraints=66499 1486.65/1487.29 c nbDecision=848000 #constraints=66527 1488.14/1488.71 c nbDecision=848500 #constraints=66557 1489.64/1490.28 c nbDecision=849000 #constraints=66588 1490.84/1491.43 c nbDecision=849500 #constraints=66602 1492.44/1493.04 c nbDecision=850000 #constraints=66634 1494.14/1494.71 c nbDecision=850500 #constraints=66684 1495.64/1496.29 c nbDecision=851000 #constraints=66705 1496.83/1497.42 c nbDecision=851500 #constraints=66718 1498.34/1498.94 c nbDecision=852000 #constraints=66756 1499.94/1500.52 c nbDecision=852500 #constraints=66784 1501.24/1501.84 c nbDecision=853000 #constraints=66819 1502.54/1503.18 c nbDecision=853500 #constraints=66840 1504.04/1504.68 c nbDecision=854000 #constraints=66869 1506.04/1506.67 c nbDecision=854500 #constraints=66912 1507.14/1507.75 c nbDecision=855000 #constraints=66934 1508.64/1509.26 c nbDecision=855500 #constraints=66956 1510.04/1510.60 c nbDecision=856000 #constraints=66977 1511.14/1511.71 c nbDecision=856500 #constraints=66995 1512.24/1512.85 c nbDecision=857000 #constraints=67005 1513.83/1514.44 c nbDecision=857500 #constraints=67047 1515.03/1515.65 c nbDecision=858000 #constraints=67060 1516.43/1517.02 c nbDecision=858500 #constraints=67093 1517.93/1518.50 c nbDecision=859000 #constraints=67132 1519.23/1519.81 c nbDecision=859500 #constraints=67165 1520.43/1521.01 c nbDecision=860000 #constraints=67187 1521.53/1522.17 c nbDecision=860500 #constraints=67213 1523.33/1523.97 c nbDecision=861000 #constraints=67243 1525.23/1525.82 c nbDecision=861500 #constraints=67303 1526.73/1527.35 c nbDecision=862000 #constraints=67324 1528.13/1528.71 c nbDecision=862500 #constraints=67353 1529.73/1530.32 c nbDecision=863000 #constraints=67374 1531.03/1531.64 c nbDecision=863500 #constraints=67405 1532.53/1533.19 c nbDecision=864000 #constraints=67439 1533.63/1534.29 c nbDecision=864500 #constraints=67461 1535.13/1535.75 c nbDecision=865000 #constraints=67479 1536.23/1536.87 c nbDecision=865500 #constraints=67488 1537.53/1538.11 c nbDecision=866000 #constraints=67501 1538.92/1539.56 c nbDecision=866500 #constraints=67534 1540.53/1541.16 c nbDecision=867000 #constraints=67556 1542.22/1542.81 c nbDecision=867500 #constraints=67594 1543.52/1544.17 c nbDecision=868000 #constraints=67627 1545.22/1545.81 c nbDecision=868500 #constraints=67660 1546.52/1547.10 c nbDecision=869000 #constraints=67680 1547.82/1548.42 c nbDecision=869500 #constraints=67702 1548.92/1549.59 c nbDecision=870000 #constraints=67712 1550.52/1551.14 c nbDecision=870500 #constraints=67745 1551.72/1552.36 c nbDecision=871000 #constraints=67764 1552.92/1553.54 c nbDecision=871500 #constraints=67794 1554.42/1555.01 c nbDecision=872000 #constraints=67814 1555.42/1556.02 c nbDecision=872500 #constraints=67819 1557.32/1557.92 c nbDecision=873000 #constraints=67860 1558.52/1559.10 c nbDecision=873500 #constraints=67882 1559.32/1559.98 c nbDecision=874000 #constraints=67885 1560.72/1561.36 c nbDecision=874500 #constraints=67908 1562.22/1562.80 c nbDecision=875000 #constraints=67933 1563.62/1564.27 c nbDecision=875500 #constraints=67959 1565.12/1565.71 c nbDecision=876000 #constraints=67975 1566.32/1567.00 c nbDecision=876500 #constraints=68003 1567.61/1568.24 c nbDecision=877000 #constraints=68019 1568.81/1569.48 c nbDecision=877500 #constraints=68046 1570.22/1570.85 c nbDecision=878000 #constraints=68068 1571.51/1572.16 c nbDecision=878500 #constraints=68097 1572.81/1573.42 c nbDecision=879000 #constraints=68120 1574.11/1574.74 c nbDecision=879500 #constraints=68147 1575.51/1576.17 c nbDecision=880000 #constraints=68157 1576.91/1577.59 c nbDecision=880500 #constraints=68187 1578.21/1578.88 c nbDecision=881000 #constraints=68207 1579.61/1580.24 c nbDecision=881500 #constraints=68237 1580.51/1581.17 c nbDecision=882000 #constraints=68247 1581.61/1582.29 c nbDecision=882500 #constraints=68257 1582.91/1583.58 c nbDecision=883000 #constraints=68279 1584.11/1584.78 c nbDecision=883500 #constraints=68292 1585.61/1586.21 c nbDecision=884000 #constraints=68324 1587.20/1587.81 c nbDecision=884500 #constraints=68347 1588.60/1589.26 c nbDecision=885000 #constraints=68374 1590.01/1590.63 c nbDecision=885500 #constraints=68392 1591.20/1591.88 c nbDecision=886000 #constraints=68429 1592.30/1592.93 c nbDecision=886500 #constraints=68435 1593.60/1594.28 c nbDecision=887000 #constraints=68458 1595.41/1596.07 c nbDecision=887500 #constraints=68501 1596.71/1597.32 c nbDecision=888000 #constraints=68512 1598.01/1598.61 c nbDecision=888500 #constraints=68528 1599.01/1599.69 c nbDecision=889000 #constraints=68541 1600.11/1600.70 c nbDecision=889500 #constraints=68555 1601.61/1602.24 c nbDecision=890000 #constraints=68587 1603.01/1603.69 c nbDecision=890500 #constraints=68614 1604.01/1604.69 c nbDecision=891000 #constraints=68625 1605.41/1606.03 c nbDecision=891500 #constraints=68650 1607.01/1607.62 c nbDecision=892000 #constraints=68674 1608.40/1609.02 c nbDecision=892500 #constraints=68710 1610.20/1610.87 c nbDecision=893000 #constraints=68744 1611.60/1612.30 c nbDecision=893500 #constraints=68763 1612.70/1613.36 c nbDecision=894000 #constraints=68773 1614.11/1614.75 c nbDecision=894500 #constraints=68785 1615.10/1615.75 c nbDecision=895000 #constraints=68793 1616.30/1616.97 c nbDecision=895500 #constraints=68799 1617.40/1618.05 c nbDecision=896000 #constraints=68822 1619.00/1619.62 c nbDecision=896500 #constraints=68862 1620.20/1620.81 c nbDecision=897000 #constraints=68882 1621.30/1621.95 c nbDecision=897500 #constraints=68893 1623.00/1623.68 c nbDecision=898000 #constraints=68928 1624.29/1624.92 c nbDecision=898500 #constraints=68950 1625.49/1626.11 c nbDecision=899000 #constraints=68968 1627.09/1627.72 c nbDecision=899500 #constraints=68992 1628.50/1629.14 c nbDecision=900000 #constraints=69003 1630.50/1631.14 c nbDecision=900500 #constraints=69043 1631.50/1632.16 c nbDecision=901000 #constraints=69050 1632.90/1633.54 c nbDecision=901500 #constraints=69073 1634.40/1635.07 c nbDecision=902000 #constraints=69105 1635.40/1636.06 c nbDecision=902500 #constraints=69117 1636.60/1637.21 c nbDecision=903000 #constraints=69131 1637.70/1638.36 c nbDecision=903500 #constraints=69150 1639.20/1639.81 c nbDecision=904000 #constraints=69175 1640.40/1641.01 c nbDecision=904500 #constraints=69181 1641.70/1642.33 c nbDecision=905000 #constraints=69218 1642.80/1643.40 c nbDecision=905500 #constraints=69228 1643.80/1644.48 c nbDecision=906000 #constraints=69244 1644.79/1645.48 c nbDecision=906500 #constraints=69257 1646.00/1646.69 c nbDecision=907000 #constraints=69278 1647.19/1647.81 c nbDecision=907500 #constraints=69297 1649.09/1649.76 c nbDecision=908000 #constraints=69346 1650.49/1651.12 c nbDecision=908500 #constraints=69366 1652.19/1652.80 c nbDecision=909000 #constraints=69406 1653.49/1654.13 c nbDecision=909500 #constraints=69434 1654.69/1655.37 c nbDecision=910000 #constraints=69459 1656.38/1657.04 c nbDecision=910500 #constraints=69483 1657.58/1658.28 c nbDecision=911000 #constraints=69512 1658.88/1659.58 c nbDecision=911500 #constraints=69520 1660.29/1660.90 c nbDecision=912000 #constraints=69534 1661.99/1662.61 c nbDecision=912500 #constraints=69567 1663.09/1663.70 c nbDecision=913000 #constraints=69577 1664.09/1664.72 c nbDecision=913500 #constraints=69589 1665.79/1666.40 c nbDecision=914000 #constraints=69614 1667.09/1667.71 c nbDecision=914500 #constraints=69642 1668.39/1669.02 c nbDecision=915000 #constraints=69662 1670.19/1670.88 c nbDecision=915500 #constraints=69700 1671.79/1672.42 c nbDecision=916000 #constraints=69719 1673.78/1674.49 c nbDecision=916500 #constraints=69745 1675.28/1675.99 c nbDecision=917000 #constraints=69779 1676.89/1677.52 c nbDecision=917500 #constraints=69803 1678.78/1679.47 c nbDecision=918000 #constraints=69843 1680.18/1680.82 c nbDecision=918500 #constraints=69864 1681.68/1682.33 c nbDecision=919000 #constraints=69883 1682.88/1683.55 c nbDecision=919500 #constraints=69893 1684.38/1685.07 c nbDecision=920000 #constraints=69927 1685.98/1686.69 c nbDecision=920500 #constraints=69946 1687.58/1688.21 c nbDecision=921000 #constraints=69966 1689.28/1689.95 c nbDecision=921500 #constraints=70001 1690.77/1691.46 c nbDecision=922000 #constraints=70029 1692.48/1693.18 c nbDecision=922500 #constraints=70064 1693.88/1694.52 c nbDecision=923000 #constraints=70078 1694.88/1695.53 c nbDecision=923500 #constraints=70084 1696.18/1696.81 c nbDecision=924000 #constraints=70095 1697.78/1698.46 c nbDecision=924500 #constraints=70116 1699.08/1699.71 c nbDecision=925000 #constraints=70132 1700.48/1701.18 c nbDecision=925500 #constraints=70164 1701.88/1702.57 c nbDecision=926000 #constraints=70189 1703.58/1704.25 c nbDecision=926500 #constraints=70207 1704.78/1705.44 c nbDecision=927000 #constraints=70223 1706.58/1707.27 c nbDecision=927500 #constraints=70253 1707.97/1708.61 c nbDecision=928000 #constraints=70277 1709.17/1709.89 c nbDecision=928500 #constraints=70293 1710.88/1711.52 c nbDecision=929000 #constraints=70309 1712.17/1712.86 c nbDecision=929500 #constraints=70335 1713.57/1714.25 c nbDecision=930000 #constraints=70349 1714.87/1715.50 c nbDecision=930500 #constraints=70355 1715.97/1716.61 c nbDecision=931000 #constraints=70366 1717.97/1718.65 c nbDecision=931500 #constraints=70404 1719.27/1719.99 c nbDecision=932000 #constraints=70423 1720.47/1721.11 c nbDecision=932500 #constraints=70435 1722.07/1722.80 c nbDecision=933000 #constraints=70463 1723.77/1724.45 c nbDecision=933500 #constraints=70489 1725.06/1725.80 c nbDecision=934000 #constraints=70513 1726.67/1727.33 c nbDecision=934500 #constraints=70548 1727.87/1728.54 c nbDecision=935000 #constraints=70558 1729.37/1730.08 c nbDecision=935500 #constraints=70593 1730.97/1731.66 c nbDecision=936000 #constraints=70606 1732.37/1733.03 c nbDecision=936500 #constraints=70633 1733.77/1734.45 c nbDecision=937000 #constraints=70661 1735.07/1735.73 c nbDecision=937500 #constraints=70673 1736.37/1737.09 c nbDecision=938000 #constraints=70697 1738.17/1738.84 c nbDecision=938500 #constraints=70732 1739.57/1740.27 c nbDecision=939000 #constraints=70752 1740.97/1741.62 c nbDecision=939500 #constraints=70778 1742.17/1742.82 c nbDecision=940000 #constraints=70789 1743.17/1743.82 c nbDecision=940500 #constraints=70794 1744.86/1745.57 c nbDecision=941000 #constraints=70822 1746.36/1747.07 c nbDecision=941500 #constraints=70853 1747.76/1748.44 c nbDecision=942000 #constraints=70870 1749.26/1749.96 c nbDecision=942500 #constraints=70881 1750.36/1751.05 c nbDecision=943000 #constraints=70890 1751.46/1752.16 c nbDecision=943500 #constraints=70899 1752.67/1753.36 c nbDecision=944000 #constraints=70921 1754.26/1754.94 c nbDecision=944500 #constraints=70936 1755.66/1756.35 c nbDecision=945000 #constraints=70959 1757.06/1757.76 c nbDecision=945500 #constraints=70981 1758.26/1758.98 c nbDecision=946000 #constraints=71004 1759.86/1760.50 c nbDecision=946500 #constraints=71018 1760.75/1761.49 c nbDecision=947000 #constraints=71028 1762.45/1763.18 c nbDecision=947500 #constraints=71069 1763.76/1764.42 c nbDecision=948000 #constraints=71083 1764.86/1765.52 c nbDecision=948500 #constraints=71090 1766.15/1766.88 c nbDecision=949000 #constraints=71111 1767.65/1768.35 c nbDecision=949500 #constraints=71131 1768.95/1769.65 c nbDecision=950000 #constraints=71149 1770.16/1770.88 c nbDecision=950500 #constraints=71167 1771.46/1772.13 c nbDecision=951000 #constraints=71181 1772.86/1773.54 c nbDecision=951500 #constraints=71192 1774.36/1775.01 c nbDecision=952000 #constraints=71213 1776.16/1776.85 c nbDecision=952500 #constraints=71240 1777.46/1778.10 c nbDecision=953000 #constraints=71253 1779.16/1779.86 c nbDecision=953500 #constraints=71282 1780.55/1781.28 c nbDecision=954000 #constraints=71303 1782.05/1782.79 c nbDecision=954500 #constraints=71325 1783.95/1784.61 c nbDecision=955000 #constraints=71349 1785.25/1785.97 c nbDecision=955500 #constraints=71360 1786.65/1787.39 c nbDecision=956000 #constraints=71381 1787.85/1788.58 c nbDecision=956500 #constraints=71389 1789.45/1790.11 c nbDecision=957000 #constraints=71401 1790.65/1791.36 c nbDecision=957500 #constraints=71410 1792.05/1792.70 c nbDecision=958000 #constraints=71428 1793.05/1793.75 c nbDecision=958500 #constraints=71440 1794.15/1794.81 c nbDecision=959000 #constraints=71448 1795.15/1795.89 c nbDecision=959500 #constraints=71455 1796.65/1797.34 c nbDecision=960000 #constraints=71463 1798.05/1798.70 c nbDecision=960500 #constraints=71480 1799.05/1799.72 c nbDecision=961000 #constraints=71484 1800.06/1800.70 Received signal 15 1800.06/1800.71 1800.06/1800.71 s UNKNOWN 1800.06/1800.71 1800.06/1800.71 c user time= 1799.06 s 1800.06/1800.71 c system time= 1.01085 s 1800.06/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-356871-1176846736 -o ROOT/results/node18/solver-356871-1176846736 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356871-1176846736/instance-356871-1176846736.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.96 3/77 29933 /proc/meminfo: memFree=1840336/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=1468 CPUtime=0 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 132591035 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 367 168 131 317 0 46 0 [startup+0.0565489 s] /proc/loadavg: 0.91 0.95 0.96 3/77 29933 /proc/meminfo: memFree=1840336/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=2796 CPUtime=0.05 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 512 0 0 0 5 0 0 0 18 0 1 0 132591035 2863104 494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 699 494 131 317 0 378 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2796 [startup+0.101553 s] /proc/loadavg: 0.91 0.95 0.96 3/77 29933 /proc/meminfo: memFree=1840336/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=3724 CPUtime=0.09 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 747 0 0 0 9 0 0 0 18 0 1 0 132591035 3813376 729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 931 729 131 317 0 610 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3724 [startup+0.301573 s] /proc/loadavg: 0.91 0.95 0.96 3/77 29933 /proc/meminfo: memFree=1840336/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=7132 CPUtime=0.29 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 1619 0 0 0 29 0 0 0 19 0 1 0 132591035 7303168 1601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 1783 1601 170 317 0 1462 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7132 [startup+0.701611 s] /proc/loadavg: 0.91 0.95 0.96 3/77 29933 /proc/meminfo: memFree=1840336/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=8304 CPUtime=0.69 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 1929 0 0 0 69 0 0 0 23 0 1 0 132591035 8503296 1911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 2076 1911 170 317 0 1755 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8304 [startup+1.50169 s] /proc/loadavg: 0.91 0.95 0.96 2/78 29934 /proc/meminfo: memFree=1832648/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=10140 CPUtime=1.49 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 2367 0 0 0 148 1 0 0 25 0 1 0 132591035 10383360 2349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 2535 2349 170 317 0 2214 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10140 [startup+3.10184 s] /proc/loadavg: 0.91 0.95 0.96 2/78 29934 /proc/meminfo: memFree=1829192/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=15648 CPUtime=3.09 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 3750 0 0 0 308 1 0 0 25 0 1 0 132591035 16023552 3732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 3912 3732 170 317 0 3591 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15648 [startup+6.30119 s] /proc/loadavg: 0.92 0.95 0.96 2/78 29934 /proc/meminfo: memFree=1818376/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=27140 CPUtime=6.29 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 6615 0 0 0 626 3 0 0 25 0 1 0 132591035 27791360 6597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 6785 6597 170 317 0 6464 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27140 [startup+12.7028 s] /proc/loadavg: 0.93 0.95 0.96 2/78 29934 /proc/meminfo: memFree=1798864/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=43564 CPUtime=12.69 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 10745 0 0 0 1263 6 0 0 25 0 1 0 132591035 44609536 10727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134550067 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 10891 10727 170 317 0 10570 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43564 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.96 2/78 29934 /proc/meminfo: memFree=1775184/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=66536 CPUtime=25.49 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 16492 0 0 0 2539 10 0 0 25 0 1 0 132591035 68132864 16416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 16634 16416 170 317 0 16313 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 66536 [startup+51.1015 s] /proc/loadavg: 0.96 0.96 0.96 2/78 29934 /proc/meminfo: memFree=1748048/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=93472 CPUtime=51.07 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 23244 0 0 0 5092 15 0 0 25 0 1 0 132591035 95715328 23168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 23368 23168 170 317 0 23047 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 93472 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.96 2/78 29934 /proc/meminfo: memFree=1709200/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=132456 CPUtime=102.26 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 32987 0 0 0 10204 22 0 0 25 0 1 0 132591035 135634944 32797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 33114 32797 170 317 0 32793 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 132456 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 29934 /proc/meminfo: memFree=1675920/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=167024 CPUtime=162.25 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 41345 0 0 0 16196 29 0 0 25 0 1 0 132591035 171032576 41155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 41756 41155 170 317 0 41435 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 167024 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 29934 /proc/meminfo: memFree=1647888/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=197260 CPUtime=222.23 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 48295 0 0 0 22188 35 0 0 25 0 1 0 132591035 201994240 48105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 49315 48105 170 317 0 48994 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 197260 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 29934 /proc/meminfo: memFree=1627344/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=218036 CPUtime=282.21 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 53679 0 0 0 28181 40 0 0 25 0 1 0 132591035 223268864 53229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 54509 53229 170 317 0 54188 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 218036 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 29934 /proc/meminfo: memFree=1607504/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=237656 CPUtime=342.18 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 58591 0 0 0 34173 45 0 0 25 0 1 0 132591035 243359744 58141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 59414 58141 170 317 0 59093 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 237656 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 29934 /proc/meminfo: memFree=1584144/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=262592 CPUtime=402.17 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 64487 0 0 0 40167 50 0 0 25 0 1 0 132591035 268894208 64037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 65648 64037 170 317 0 65327 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 262592 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 29934 /proc/meminfo: memFree=1559120/2055920 swapFree=4142708/4192956 [pid=29933] ppid=29931 vsize=289300 CPUtime=462.15 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 70649 0 0 0 46161 54 0 0 25 0 1 0 132591035 296243200 70199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 72325 70199 170 317 0 72004 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 289300 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 29934 /proc/meminfo: memFree=1543888/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=304928 CPUtime=522.14 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 74517 0 0 0 52158 56 0 0 25 0 1 0 132591035 312246272 74067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 76232 74067 170 317 0 75911 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 304928 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1528056/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=319692 CPUtime=582.03 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 78285 0 0 0 58142 61 0 0 25 0 1 0 132591035 327364608 77835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 79923 77835 170 317 0 79602 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 319692 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1518096/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=329312 CPUtime=642 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 80749 0 0 0 64136 64 0 0 25 0 1 0 132591035 337215488 80299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 82328 80299 170 317 0 82007 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 329312 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1491920/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=355488 CPUtime=881.91 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 87281 0 0 0 88121 70 0 0 25 0 1 0 132591035 364019712 86831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 88872 86831 170 317 0 88551 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 355488 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1483664/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=366768 CPUtime=941.9 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 89371 0 0 0 94117 73 0 0 25 0 1 0 132591035 375570432 88921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 91692 88921 170 317 0 91371 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 366768 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1479312/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=371136 CPUtime=1001.88 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 90422 0 0 0 100113 75 0 0 25 0 1 0 132591035 380043264 89972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 92784 89972 170 317 0 92463 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 371136 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1474960/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=375432 CPUtime=1061.86 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 91552 0 0 0 106110 76 0 0 25 0 1 0 132591035 384442368 91102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 93858 91102 170 317 0 93537 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 375432 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1470672/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=379332 CPUtime=1121.85 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 92603 0 0 0 112107 78 0 0 25 0 1 0 132591035 388435968 92153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 94833 92153 170 317 0 94512 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 379332 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1467024/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=382824 CPUtime=1181.82 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 93557 0 0 0 118103 79 0 0 25 0 1 0 132591035 392011776 93107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 95706 93107 170 317 0 95385 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 382824 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1458512/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=392024 CPUtime=1241.8 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 95646 0 0 0 124099 81 0 0 25 0 1 0 132591035 401432576 95196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 98006 95196 170 317 0 97685 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 392024 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1447952/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=402784 CPUtime=1301.8 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 98256 0 0 0 130096 84 0 0 25 0 1 0 132591035 412450816 97806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 100696 97806 170 317 0 100375 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 402784 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1438608/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=412232 CPUtime=1361.78 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 100590 0 0 0 136092 86 0 0 25 0 1 0 132591035 422125568 100140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 103058 100140 170 317 0 102737 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 412232 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1430288/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=421284 CPUtime=1421.77 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 102671 0 0 0 142089 88 0 0 25 0 1 0 132591035 431394816 102221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 105321 102221 170 317 0 105000 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 421284 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1420624/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=432816 CPUtime=1481.75 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 105606 0 0 0 148084 91 0 0 25 0 1 0 132591035 443203584 104639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 108204 104639 170 317 0 107883 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 432816 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1414608/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=438520 CPUtime=1541.72 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 107114 0 0 0 154079 93 0 0 25 0 1 0 132591035 449044480 106147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 109630 106147 170 317 0 109309 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 438520 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1408528/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=444884 CPUtime=1601.71 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 108606 0 0 0 160076 95 0 0 25 0 1 0 132591035 455561216 107639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 111221 107639 170 317 0 110900 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 444884 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1403664/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=449556 CPUtime=1661.69 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 109838 0 0 0 166072 97 0 0 25 0 1 0 132591035 460345344 108871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 112389 108871 170 317 0 112068 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 449556 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1399184/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=453732 CPUtime=1721.67 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 110967 0 0 0 172069 98 0 0 25 0 1 0 132591035 464621568 110000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 113433 110000 170 317 0 113112 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 453732 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1394768/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=457888 CPUtime=1781.65 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 112052 0 0 0 178065 100 0 0 25 0 1 0 132591035 468877312 111085 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604370 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 114472 111085 170 317 0 114151 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 457888 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1393680/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=458676 CPUtime=1800.06 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 112312 0 0 0 179905 101 0 0 25 0 1 0 132591035 469684224 111345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 114669 111345 170 317 0 114348 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 458676 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.96 2/78 30132 /proc/meminfo: memFree=1393680/2055920 swapFree=4142712/4192956 [pid=29933] ppid=29931 vsize=458676 CPUtime=1800.06 /proc/29933/stat : 29933 (oree) R 29931 29933 29832 0 -1 4194304 112312 0 0 0 179905 101 0 0 25 0 1 0 132591035 469684224 111345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29933/statm: 114669 111345 170 317 0 114348 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 458676 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.15 CPU user time (s): 1799.07 CPU system time (s): 1.08283 CPU usage (%): 99.9641 Max. virtual memory (cumulated for all children) (KiB): 458676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.07 system time used= 1.08283 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 112328 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= 28711 runsolver used 2.20267 second user time and 4.38833 second system time The end
Begin job on node18 on Tue Apr 17 21:52:17 UTC 2007 IDJOB= 356871 IDBENCH= 1575 IDSOLVER= 172 FILE ID= node18/356871-1176846736 PBS_JOBID= 4590187 Free space on /tmp= 66509 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bienst1.opb COMMAND LINE= oree /tmp/evaluation/356871-1176846736/instance-356871-1176846736.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-356871-1176846736 -o ROOT/results/node18/solver-356871-1176846736 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356871-1176846736/instance-356871-1176846736.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 3c5a26b44a5daf16e362588a0fac7ed0 RANDOM SEED= 322407986 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1840680 kB Buffers: 27764 kB Cached: 128356 kB SwapCached: 18436 kB Active: 88716 kB Inactive: 94280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1840680 kB SwapTotal: 4192956 kB SwapFree: 4142708 kB Dirty: 1864 kB Writeback: 0 kB Mapped: 29560 kB Slab: 17760 kB Committed_AS: 4325060 kB PageTables: 1776 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= 66509 MiB End job on node18 on Tue Apr 17 22:22:19 UTC 2007