Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.32 | 1800.85 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb |
MD5SUM | 2ee0b4368a56ab3fadfc3737456bcd30 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 799 |
Best CPU time to get the best result obtained on this benchmark | 1800.27 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 799 |
Optimality of the best value was proved | NO |
Number of variables | 16224 |
Total number of constraints | 1488 |
Number of constraints which are clauses | 192 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1296 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 309 |
Number of terms in the objective function | 10368 |
Biggest coefficient in the objective function | 1219 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 532440 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 532440 |
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.18 c ...done 0.09/0.18 c #vars=16224 #constraints=1609 hasObjective=yes 0.19/0.29 c res. mode=mod 0.19/0.29 c VSIDS like heuristics 0.19/0.29 c complete search running 0.39/0.41 c restart after 401 decisions 0.39/0.44 c nbDecision=500 #constraints=1639 0.49/0.53 c restart after 801 decisions 0.59/0.60 c nbDecision=1000 #constraints=1759 0.69/0.77 c nbDecision=1500 #constraints=1895 0.79/0.81 c restart after 1601 decisions 0.89/0.93 c nbDecision=2000 #constraints=1966 1.09/1.10 c nbDecision=2500 #constraints=2103 1.19/1.29 c nbDecision=3000 #constraints=2254 1.29/1.37 c restart after 3201 decisions 1.39/1.47 c nbDecision=3500 #constraints=2371 1.59/1.68 c nbDecision=4000 #constraints=2563 1.79/1.86 c nbDecision=4500 #constraints=2672 2.10/2.10 c nbDecision=5000 #constraints=2961 2.29/2.33 c nbDecision=5500 #constraints=3201 2.49/2.58 c nbDecision=6000 #constraints=3455 2.69/2.76 c restart after 6401 decisions 2.69/2.79 c nbDecision=6500 #constraints=3620 2.99/3.04 c nbDecision=7000 #constraints=3849 3.19/3.30 c nbDecision=7500 #constraints=4059 3.49/3.57 c nbDecision=8000 #constraints=4304 3.79/3.85 c nbDecision=8500 #constraints=4520 4.08/4.11 c nbDecision=9000 #constraints=4723 4.30/4.38 c nbDecision=9500 #constraints=4913 4.59/4.67 c nbDecision=10000 #constraints=5113 4.89/4.95 c nbDecision=10500 #constraints=5276 5.19/5.22 c nbDecision=11000 #constraints=5439 5.39/5.50 c nbDecision=11500 #constraints=5589 5.69/5.75 c nbDecision=12000 #constraints=5719 5.99/6.01 c nbDecision=12500 #constraints=5846 6.09/6.16 c restart after 12801 decisions 6.19/6.28 c nbDecision=13000 #constraints=5956 6.59/6.64 c nbDecision=13500 #constraints=6170 6.89/6.98 c nbDecision=14000 #constraints=6398 7.29/7.34 c nbDecision=14500 #constraints=6586 7.59/7.67 c nbDecision=15000 #constraints=6776 7.89/7.97 c nbDecision=15500 #constraints=6913 8.19/8.29 c nbDecision=16000 #constraints=7053 8.59/8.62 c nbDecision=16500 #constraints=7214 8.89/8.92 c nbDecision=17000 #constraints=7350 9.19/9.26 c nbDecision=17500 #constraints=7502 9.49/9.59 c nbDecision=18000 #constraints=7636 9.79/9.88 c nbDecision=18500 #constraints=7764 10.19/10.21 c nbDecision=19000 #constraints=7894 10.39/10.48 c nbDecision=19500 #constraints=8000 10.69/10.80 c nbDecision=20000 #constraints=8117 11.00/11.09 c nbDecision=20500 #constraints=8224 11.39/11.41 c nbDecision=21000 #constraints=8327 11.69/11.70 c nbDecision=21500 #constraints=8433 11.89/11.95 c nbDecision=22000 #constraints=8492 12.19/12.26 c nbDecision=22500 #constraints=8591 12.49/12.54 c nbDecision=23000 #constraints=8682 12.79/12.81 c nbDecision=23500 #constraints=8745 13.09/13.12 c nbDecision=24000 #constraints=8846 13.39/13.43 c nbDecision=24500 #constraints=8932 13.69/13.74 c nbDecision=25000 #constraints=9025 13.98/14.04 c nbDecision=25500 #constraints=9089 14.08/14.10 c restart after 25601 decisions 14.38/14.41 c nbDecision=26000 #constraints=9189 14.79/14.86 c nbDecision=26500 #constraints=9423 15.29/15.31 c nbDecision=27000 #constraints=9602 15.69/15.74 c nbDecision=27500 #constraints=9787 16.09/16.16 c nbDecision=28000 #constraints=9967 16.49/16.54 c nbDecision=28500 #constraints=10097 16.89/16.95 c nbDecision=29000 #constraints=10234 17.29/17.36 c nbDecision=29500 #constraints=10377 17.69/17.76 c nbDecision=30000 #constraints=10509 18.08/18.18 c nbDecision=30500 #constraints=10640 18.59/18.62 c nbDecision=31000 #constraints=10788 18.89/18.99 c nbDecision=31500 #constraints=10905 19.29/19.36 c nbDecision=32000 #constraints=10992 19.59/19.68 c nbDecision=32500 #constraints=11069 19.99/20.08 c nbDecision=33000 #constraints=11197 20.39/20.44 c nbDecision=33500 #constraints=11280 20.79/20.82 c nbDecision=34000 #constraints=11371 21.19/21.26 c nbDecision=34500 #constraints=11488 21.59/21.60 c nbDecision=35000 #constraints=11569 21.89/21.99 c nbDecision=35500 #constraints=11673 22.28/22.33 c nbDecision=36000 #constraints=11741 22.58/22.69 c nbDecision=36500 #constraints=11820 22.99/23.07 c nbDecision=37000 #constraints=11899 23.38/23.43 c nbDecision=37500 #constraints=11984 23.68/23.78 c nbDecision=38000 #constraints=12054 24.19/24.26 c nbDecision=38500 #constraints=12177 24.69/24.70 c nbDecision=39000 #constraints=12270 24.99/25.05 c nbDecision=39500 #constraints=12327 25.39/25.46 c nbDecision=40000 #constraints=12413 25.79/25.86 c nbDecision=40500 #constraints=12508 26.19/26.23 c nbDecision=41000 #constraints=12582 26.58/26.66 c nbDecision=41500 #constraints=12695 26.98/27.09 c nbDecision=42000 #constraints=12786 27.39/27.47 c nbDecision=42500 #constraints=12870 27.78/27.82 c nbDecision=43000 #constraints=12929 28.08/28.17 c nbDecision=43500 #constraints=12994 28.49/28.57 c nbDecision=44000 #constraints=13083 28.88/28.93 c nbDecision=44500 #constraints=13155 29.28/29.34 c nbDecision=45000 #constraints=13244 29.58/29.70 c nbDecision=45500 #constraints=13306 29.98/30.03 c nbDecision=46000 #constraints=13343 30.38/30.45 c nbDecision=46500 #constraints=13413 30.68/30.79 c nbDecision=47000 #constraints=13460 31.09/31.16 c nbDecision=47500 #constraints=13520 31.49/31.50 c nbDecision=48000 #constraints=13568 31.89/31.93 c nbDecision=48500 #constraints=13662 32.19/32.29 c nbDecision=49000 #constraints=13717 32.58/32.68 c nbDecision=49500 #constraints=13772 32.99/33.06 c nbDecision=50000 #constraints=13833 33.38/33.42 c nbDecision=50500 #constraints=13887 33.78/33.81 c nbDecision=51000 #constraints=13950 33.88/33.99 c restart after 51201 decisions 34.28/34.31 c nbDecision=51500 #constraints=14029 34.99/35.03 c nbDecision=52000 #constraints=14255 35.68/35.79 c nbDecision=52500 #constraints=14482 36.29/36.39 c nbDecision=53000 #constraints=14632 36.98/37.01 c nbDecision=53500 #constraints=14809 37.58/37.66 c nbDecision=54000 #constraints=14981 38.18/38.23 c nbDecision=54500 #constraints=15105 38.68/38.77 c nbDecision=55000 #constraints=15221 39.18/39.23 c nbDecision=55500 #constraints=15317 39.68/39.75 c nbDecision=56000 #constraints=15413 40.17/40.28 c nbDecision=56500 #constraints=15522 40.77/40.88 c nbDecision=57000 #constraints=15657 41.17/41.29 c nbDecision=57500 #constraints=15715 41.78/41.86 c nbDecision=58000 #constraints=15842 42.28/42.34 c nbDecision=58500 #constraints=15929 42.78/42.87 c nbDecision=59000 #constraints=16020 43.28/43.35 c nbDecision=59500 #constraints=16112 43.78/43.82 c nbDecision=60000 #constraints=16200 44.18/44.28 c nbDecision=60500 #constraints=16275 44.78/44.80 c nbDecision=61000 #constraints=16366 45.18/45.27 c nbDecision=61500 #constraints=16442 45.68/45.78 c nbDecision=62000 #constraints=16531 46.28/46.31 c nbDecision=62500 #constraints=16613 46.78/46.85 c nbDecision=63000 #constraints=16709 47.38/47.40 c nbDecision=63500 #constraints=16800 47.88/47.92 c nbDecision=64000 #constraints=16884 48.38/48.44 c nbDecision=64500 #constraints=16971 48.87/48.98 c nbDecision=65000 #constraints=17058 49.48/49.52 c nbDecision=65500 #constraints=17145 50.07/50.11 c nbDecision=66000 #constraints=17237 50.48/50.60 c nbDecision=66500 #constraints=17307 50.97/51.05 c nbDecision=67000 #constraints=17353 51.47/51.60 c nbDecision=67500 #constraints=17440 51.97/52.03 c nbDecision=68000 #constraints=17490 52.47/52.56 c nbDecision=68500 #constraints=17580 52.98/53.03 c nbDecision=69000 #constraints=17636 53.38/53.47 c nbDecision=69500 #constraints=17684 53.88/53.94 c nbDecision=70000 #constraints=17737 54.28/54.39 c nbDecision=70500 #constraints=17782 54.68/54.77 c nbDecision=71000 #constraints=17810 55.18/55.25 c nbDecision=71500 #constraints=17872 55.58/55.62 c nbDecision=72000 #constraints=17897 55.98/56.08 c nbDecision=72500 #constraints=17951 56.48/56.52 c nbDecision=73000 #constraints=17984 56.98/57.02 c nbDecision=73500 #constraints=18050 57.48/57.51 c nbDecision=74000 #constraints=18109 57.88/57.92 c nbDecision=74500 #constraints=18148 58.28/58.38 c nbDecision=75000 #constraints=18198 58.78/58.81 c nbDecision=75500 #constraints=18238 59.18/59.24 c nbDecision=76000 #constraints=18282 59.58/59.68 c nbDecision=76500 #constraints=18314 60.08/60.12 c nbDecision=77000 #constraints=18356 60.48/60.57 c nbDecision=77500 #constraints=18402 60.97/61.00 c nbDecision=78000 #constraints=18442 61.37/61.42 c nbDecision=78500 #constraints=18485 61.87/61.94 c nbDecision=79000 #constraints=18555 62.37/62.40 c nbDecision=79500 #constraints=18593 62.87/62.96 c nbDecision=80000 #constraints=18677 63.37/63.47 c nbDecision=80500 #constraints=18743 63.87/63.92 c nbDecision=81000 #constraints=18781 64.27/64.35 c nbDecision=81500 #constraints=18821 64.78/64.84 c nbDecision=82000 #constraints=18874 65.37/65.43 c nbDecision=82500 #constraints=18950 65.98/66.01 c nbDecision=83000 #constraints=19026 66.47/66.58 c nbDecision=83500 #constraints=19095 66.98/67.02 c nbDecision=84000 #constraints=19137 67.37/67.48 c nbDecision=84500 #constraints=19186 67.87/67.93 c nbDecision=85000 #constraints=19228 68.47/68.51 c nbDecision=85500 #constraints=19288 68.97/69.02 c nbDecision=86000 #constraints=19348 69.47/69.52 c nbDecision=86500 #constraints=19404 69.97/70.08 c nbDecision=87000 #constraints=19482 70.47/70.55 c nbDecision=87500 #constraints=19512 71.17/71.20 c nbDecision=88000 #constraints=19592 71.67/71.73 c nbDecision=88500 #constraints=19653 72.17/72.26 c nbDecision=89000 #constraints=19709 72.67/72.78 c nbDecision=89500 #constraints=19753 73.17/73.25 c nbDecision=90000 #constraints=19807 73.68/73.77 c nbDecision=90500 #constraints=19858 74.17/74.27 c nbDecision=91000 #constraints=19916 74.68/74.79 c nbDecision=91500 #constraints=19957 75.17/75.24 c nbDecision=92000 #constraints=19994 75.67/75.78 c nbDecision=92500 #constraints=20046 76.17/76.26 c nbDecision=93000 #constraints=20094 76.67/76.73 c nbDecision=93500 #constraints=20136 77.07/77.18 c nbDecision=94000 #constraints=20170 77.57/77.62 c nbDecision=94500 #constraints=20199 77.98/78.05 c nbDecision=95000 #constraints=20224 78.47/78.58 c nbDecision=95500 #constraints=20284 79.17/79.23 c nbDecision=96000 #constraints=20366 79.77/79.81 c nbDecision=96500 #constraints=20444 80.17/80.30 c nbDecision=97000 #constraints=20487 80.57/80.61 c nbDecision=97500 #constraints=20583 81.17/81.25 c nbDecision=98000 #constraints=20642 81.77/81.83 c nbDecision=98500 #constraints=20710 82.27/82.32 c nbDecision=99000 #constraints=20742 82.87/82.92 c nbDecision=99500 #constraints=20811 83.37/83.49 c nbDecision=100000 #constraints=20866 83.86/83.99 c nbDecision=100500 #constraints=20903 84.46/84.53 c nbDecision=101000 #constraints=20952 84.96/85.07 c nbDecision=101500 #constraints=20996 85.47/85.53 c nbDecision=102000 #constraints=21021 85.87/85.95 c restart after 102401 decisions 85.97/86.06 c nbDecision=102500 #constraints=21047 87.07/87.13 c nbDecision=103000 #constraints=21254 87.97/88.01 c nbDecision=103500 #constraints=21441 88.87/88.94 c nbDecision=104000 #constraints=21626 89.77/89.88 c nbDecision=104500 #constraints=21791 90.67/90.73 c nbDecision=105000 #constraints=21954 91.37/91.46 c nbDecision=105500 #constraints=22066 92.27/92.31 c nbDecision=106000 #constraints=22215 92.96/93.06 c nbDecision=106500 #constraints=22343 93.76/93.88 c nbDecision=107000 #constraints=22464 94.57/94.65 c nbDecision=107500 #constraints=22567 95.26/95.39 c nbDecision=108000 #constraints=22676 96.06/96.12 c nbDecision=108500 #constraints=22773 96.67/96.75 c nbDecision=109000 #constraints=22848 97.47/97.52 c nbDecision=109500 #constraints=22962 98.17/98.22 c nbDecision=110000 #constraints=23053 98.77/98.86 c nbDecision=110500 #constraints=23138 99.56/99.63 c nbDecision=111000 #constraints=23242 100.26/100.34 c nbDecision=111500 #constraints=23321 100.96/101.00 c nbDecision=112000 #constraints=23394 101.66/101.74 c nbDecision=112500 #constraints=23482 102.27/102.33 c nbDecision=113000 #constraints=23527 102.86/102.97 c nbDecision=113500 #constraints=23585 103.46/103.58 c nbDecision=114000 #constraints=23647 104.06/104.19 c nbDecision=114500 #constraints=23707 104.76/104.89 c nbDecision=115000 #constraints=23784 105.36/105.50 c nbDecision=115500 #constraints=23851 105.96/106.06 c nbDecision=116000 #constraints=23898 106.66/106.74 c nbDecision=116500 #constraints=23964 107.37/107.43 c nbDecision=117000 #constraints=24027 107.97/108.02 c nbDecision=117500 #constraints=24065 108.57/108.67 c nbDecision=118000 #constraints=24124 109.16/109.25 c nbDecision=118500 #constraints=24168 109.87/109.93 c nbDecision=119000 #constraints=24232 110.46/110.56 c nbDecision=119500 #constraints=24279 111.07/111.19 c nbDecision=120000 #constraints=24331 111.76/111.84 c nbDecision=120500 #constraints=24387 112.36/112.44 c nbDecision=121000 #constraints=24433 112.96/113.05 c nbDecision=121500 #constraints=24485 113.56/113.66 c nbDecision=122000 #constraints=24533 114.16/114.29 c nbDecision=122500 #constraints=24571 114.86/114.92 c nbDecision=123000 #constraints=24614 115.56/115.63 c nbDecision=123500 #constraints=24679 116.16/116.25 c nbDecision=124000 #constraints=24740 116.76/116.88 c nbDecision=124500 #constraints=24795 117.46/117.53 c nbDecision=125000 #constraints=24845 118.16/118.23 c nbDecision=125500 #constraints=24902 118.77/118.81 c nbDecision=126000 #constraints=24947 119.36/119.41 c nbDecision=126500 #constraints=24989 119.96/120.00 c nbDecision=127000 #constraints=25023 120.46/120.57 c nbDecision=127500 #constraints=25054 121.16/121.27 c nbDecision=128000 #constraints=25115 121.86/121.90 c nbDecision=128500 #constraints=25166 122.46/122.53 c nbDecision=129000 #constraints=25205 123.06/123.16 c nbDecision=129500 #constraints=25250 123.66/123.74 c nbDecision=130000 #constraints=25290 124.26/124.35 c nbDecision=130500 #constraints=25328 124.96/125.01 c nbDecision=131000 #constraints=25379 125.46/125.56 c nbDecision=131500 #constraints=25411 126.06/126.17 c nbDecision=132000 #constraints=25436 126.76/126.80 c nbDecision=132500 #constraints=25476 127.25/127.34 c nbDecision=133000 #constraints=25503 127.85/127.99 c nbDecision=133500 #constraints=25547 128.56/128.64 c nbDecision=134000 #constraints=25594 129.15/129.22 c nbDecision=134500 #constraints=25628 129.76/129.88 c nbDecision=135000 #constraints=25664 130.45/130.52 c nbDecision=135500 #constraints=25714 130.95/131.05 c nbDecision=136000 #constraints=25734 131.65/131.75 c nbDecision=136500 #constraints=25780 132.35/132.43 c nbDecision=137000 #constraints=25833 133.16/133.22 c nbDecision=137500 #constraints=25914 133.76/133.86 c nbDecision=138000 #constraints=25946 134.46/134.53 c nbDecision=138500 #constraints=25992 135.16/135.21 c nbDecision=139000 #constraints=26031 135.76/135.84 c nbDecision=139500 #constraints=26062 136.36/136.48 c nbDecision=140000 #constraints=26098 137.06/137.10 c nbDecision=140500 #constraints=26134 137.75/137.80 c nbDecision=141000 #constraints=26181 138.35/138.42 c nbDecision=141500 #constraints=26223 138.95/139.04 c nbDecision=142000 #constraints=26269 139.66/139.77 c nbDecision=142500 #constraints=26328 140.55/140.65 c nbDecision=143000 #constraints=26414 141.25/141.34 c nbDecision=143500 #constraints=26467 142.05/142.15 c nbDecision=144000 #constraints=26530 142.75/142.80 c nbDecision=144500 #constraints=26564 143.45/143.51 c nbDecision=145000 #constraints=26607 144.05/144.16 c nbDecision=145500 #constraints=26644 144.65/144.76 c nbDecision=146000 #constraints=26683 145.35/145.47 c nbDecision=146500 #constraints=26738 146.05/146.14 c nbDecision=147000 #constraints=26771 146.75/146.80 c nbDecision=147500 #constraints=26877 147.45/147.58 c nbDecision=148000 #constraints=26946 148.25/148.35 c nbDecision=148500 #constraints=27002 148.85/148.98 c nbDecision=149000 #constraints=27043 149.65/149.71 c nbDecision=149500 #constraints=27083 150.45/150.51 c nbDecision=150000 #constraints=27151 151.05/151.14 c nbDecision=150500 #constraints=27185 151.66/151.79 c nbDecision=151000 #constraints=27226 152.35/152.45 c nbDecision=151500 #constraints=27279 153.15/153.23 c nbDecision=152000 #constraints=27336 153.95/154.01 c nbDecision=152500 #constraints=27391 154.75/154.82 c nbDecision=153000 #constraints=27455 155.45/155.50 c nbDecision=153500 #constraints=27494 156.25/156.31 c nbDecision=154000 #constraints=27560 156.75/156.87 c nbDecision=154500 #constraints=27577 157.45/157.52 c nbDecision=155000 #constraints=27607 158.15/158.22 c nbDecision=155500 #constraints=27650 158.75/158.85 c nbDecision=156000 #constraints=27671 159.45/159.50 c nbDecision=156500 #constraints=27713 160.05/160.17 c nbDecision=157000 #constraints=27742 160.85/160.92 c nbDecision=157500 #constraints=27795 161.65/161.75 c nbDecision=158000 #constraints=27856 162.35/162.40 c nbDecision=158500 #constraints=27881 162.95/163.06 c nbDecision=159000 #constraints=27911 163.65/163.72 c nbDecision=159500 #constraints=27947 164.34/164.44 c nbDecision=160000 #constraints=27987 164.95/165.06 c nbDecision=160500 #constraints=28007 165.64/165.71 c nbDecision=161000 #constraints=28039 166.24/166.30 c nbDecision=161500 #constraints=28068 166.74/166.84 c nbDecision=162000 #constraints=28211 167.55/167.60 c nbDecision=162500 #constraints=28359 167.95/168.09 c nbDecision=163000 #constraints=28427 168.65/168.79 c nbDecision=163500 #constraints=28479 169.35/169.49 c nbDecision=164000 #constraints=28590 170.15/170.20 c nbDecision=164500 #constraints=28632 170.75/170.89 c nbDecision=165000 #constraints=28675 171.55/171.68 c nbDecision=165500 #constraints=28729 172.34/172.41 c nbDecision=166000 #constraints=28773 173.04/173.13 c nbDecision=166500 #constraints=28808 173.75/173.84 c nbDecision=167000 #constraints=28840 174.44/174.55 c nbDecision=167500 #constraints=28870 175.04/175.17 c nbDecision=168000 #constraints=28896 175.74/175.90 c nbDecision=168500 #constraints=28925 176.54/176.61 c nbDecision=169000 #constraints=28963 177.24/177.30 c nbDecision=169500 #constraints=28999 177.94/178.03 c nbDecision=170000 #constraints=29045 178.64/178.74 c nbDecision=170500 #constraints=29070 179.34/179.42 c nbDecision=171000 #constraints=29085 179.94/180.08 c nbDecision=171500 #constraints=29103 180.64/180.73 c nbDecision=172000 #constraints=29125 181.34/181.49 c nbDecision=172500 #constraints=29170 181.94/182.09 c nbDecision=173000 #constraints=29182 182.64/182.72 c nbDecision=173500 #constraints=29207 183.34/183.47 c nbDecision=174000 #constraints=29243 184.04/184.18 c nbDecision=174500 #constraints=29282 184.84/184.90 c nbDecision=175000 #constraints=29313 185.55/185.61 c nbDecision=175500 #constraints=29344 186.24/186.35 c nbDecision=176000 #constraints=29375 187.04/187.11 c nbDecision=176500 #constraints=29425 187.64/187.73 c nbDecision=177000 #constraints=29499 188.34/188.48 c nbDecision=177500 #constraints=29579 189.05/189.17 c nbDecision=178000 #constraints=29604 189.64/189.79 c nbDecision=178500 #constraints=29718 190.44/190.58 c nbDecision=179000 #constraints=29767 191.24/191.34 c nbDecision=179500 #constraints=29804 192.04/192.10 c nbDecision=180000 #constraints=29844 192.74/192.83 c nbDecision=180500 #constraints=29879 193.44/193.54 c nbDecision=181000 #constraints=29913 194.04/194.16 c nbDecision=181500 #constraints=29927 194.74/194.86 c nbDecision=182000 #constraints=30012 195.54/195.65 c nbDecision=182500 #constraints=30059 196.14/196.24 c nbDecision=183000 #constraints=30122 196.74/196.81 c nbDecision=183500 #constraints=30213 197.53/197.64 c nbDecision=184000 #constraints=30345 198.13/198.21 c nbDecision=184500 #constraints=30450 198.83/198.92 c nbDecision=185000 #constraints=30556 199.23/199.32 c nbDecision=185500 #constraints=30594 200.23/200.31 c nbDecision=186000 #constraints=30677 200.84/200.97 c nbDecision=186500 #constraints=30757 201.54/201.69 c nbDecision=187000 #constraints=30776 202.24/202.39 c nbDecision=187500 #constraints=30802 203.04/203.11 c nbDecision=188000 #constraints=30823 203.74/203.80 c nbDecision=188500 #constraints=30845 204.54/204.60 c nbDecision=189000 #constraints=30877 205.24/205.34 c nbDecision=189500 #constraints=30916 205.84/205.93 c nbDecision=190000 #constraints=31006 206.44/206.57 c nbDecision=190500 #constraints=31095 207.14/207.26 c nbDecision=191000 #constraints=31146 207.84/207.97 c nbDecision=191500 #constraints=31169 208.63/208.72 c nbDecision=192000 #constraints=31205 209.33/209.47 c nbDecision=192500 #constraints=31239 210.23/210.30 c nbDecision=193000 #constraints=31287 210.93/211.06 c nbDecision=193500 #constraints=31322 211.73/211.85 c nbDecision=194000 #constraints=31356 212.43/212.58 c nbDecision=194500 #constraints=31373 213.23/213.33 c nbDecision=195000 #constraints=31405 213.94/214.09 c nbDecision=195500 #constraints=31434 214.84/214.97 c nbDecision=196000 #constraints=31480 215.64/215.77 c nbDecision=196500 #constraints=31516 216.34/216.48 c nbDecision=197000 #constraints=31552 217.04/217.15 c nbDecision=197500 #constraints=31673 217.94/218.04 c nbDecision=198000 #constraints=31771 218.53/218.66 c nbDecision=198500 #constraints=31833 219.23/219.32 c nbDecision=199000 #constraints=31924 219.84/219.96 c nbDecision=199500 #constraints=32006 220.43/220.55 c nbDecision=200000 #constraints=32074 221.04/221.15 c nbDecision=200500 #constraints=32161 221.63/221.76 c nbDecision=201000 #constraints=32254 222.43/222.50 c nbDecision=201500 #constraints=32346 223.03/223.19 c nbDecision=202000 #constraints=32424 223.63/223.75 c nbDecision=202500 #constraints=32491 224.23/224.31 c nbDecision=203000 #constraints=32584 224.93/225.01 c nbDecision=203500 #constraints=32625 225.43/225.57 c nbDecision=204000 #constraints=32685 226.23/226.33 c nbDecision=204500 #constraints=32773 226.53/226.62 c restart after 204801 decisions 226.83/226.91 c nbDecision=205000 #constraints=32815 227.93/228.03 c nbDecision=205500 #constraints=32963 228.83/228.92 c nbDecision=206000 #constraints=33085 229.84/229.98 c nbDecision=206500 #constraints=33243 230.93/231.04 c nbDecision=207000 #constraints=33404 231.83/231.96 c nbDecision=207500 #constraints=33514 232.73/232.84 c nbDecision=208000 #constraints=33625 233.42/233.54 c nbDecision=208500 #constraints=33715 234.24/234.36 c nbDecision=209000 #constraints=33849 235.13/235.24 c nbDecision=209500 #constraints=33928 235.93/236.04 c nbDecision=210000 #constraints=34033 236.73/236.88 c nbDecision=210500 #constraints=34129 237.43/237.59 c nbDecision=211000 #constraints=34215 238.63/238.78 c nbDecision=211500 #constraints=34343 240.02/240.16 c nbDecision=212000 #constraints=34505 241.12/241.22 c nbDecision=212500 #constraints=34590 242.32/242.49 c nbDecision=213000 #constraints=34716 243.42/243.54 c nbDecision=213500 #constraints=34791 244.52/244.63 c nbDecision=214000 #constraints=34882 245.53/245.69 c nbDecision=214500 #constraints=34962 246.73/246.83 c nbDecision=215000 #constraints=35070 247.83/247.92 c nbDecision=215500 #constraints=35139 248.73/248.89 c nbDecision=216000 #constraints=35205 249.53/249.70 c nbDecision=216500 #constraints=35302 250.23/250.30 c nbDecision=217000 #constraints=35389 251.02/251.16 c nbDecision=217500 #constraints=35461 251.63/251.80 c nbDecision=218000 #constraints=35519 252.22/252.33 c nbDecision=218500 #constraints=35578 253.02/253.17 c nbDecision=219000 #constraints=35654 253.82/253.97 c nbDecision=219500 #constraints=35724 254.52/254.67 c nbDecision=220000 #constraints=35804 255.12/255.28 c nbDecision=220500 #constraints=35895 255.72/255.81 c nbDecision=221000 #constraints=35953 256.42/256.59 c nbDecision=221500 #constraints=35991 256.92/257.09 c nbDecision=222000 #constraints=36038 257.82/257.94 c nbDecision=222500 #constraints=36113 258.53/258.61 c nbDecision=223000 #constraints=36162 259.12/259.22 c nbDecision=223500 #constraints=36219 259.92/260.07 c nbDecision=224000 #constraints=36293 260.73/260.84 c nbDecision=224500 #constraints=36359 261.32/261.47 c nbDecision=225000 #constraints=36430 262.12/262.20 c nbDecision=225500 #constraints=36496 262.83/262.97 c nbDecision=226000 #constraints=36567 263.62/263.75 c nbDecision=226500 #constraints=36621 264.32/264.41 c nbDecision=227000 #constraints=36680 264.92/265.08 c nbDecision=227500 #constraints=36736 265.62/265.71 c nbDecision=228000 #constraints=36792 266.32/266.41 c nbDecision=228500 #constraints=36874 266.72/266.89 c nbDecision=229000 #constraints=36902 267.42/267.56 c nbDecision=229500 #constraints=36982 268.52/268.68 c nbDecision=230000 #constraints=37052 269.61/269.71 c nbDecision=230500 #constraints=37101 270.52/270.62 c nbDecision=231000 #constraints=37145 271.52/271.62 c nbDecision=231500 #constraints=37196 272.41/272.60 c nbDecision=232000 #constraints=37239 273.61/273.74 c nbDecision=232500 #constraints=37303 274.61/274.76 c nbDecision=233000 #constraints=37352 275.71/275.85 c nbDecision=233500 #constraints=37416 276.71/276.84 c nbDecision=234000 #constraints=37465 277.81/277.91 c nbDecision=234500 #constraints=37533 278.81/278.92 c nbDecision=235000 #constraints=37578 279.81/279.95 c nbDecision=235500 #constraints=37616 280.91/281.01 c nbDecision=236000 #constraints=37670 282.01/282.18 c nbDecision=236500 #constraints=37750 283.11/283.25 c nbDecision=237000 #constraints=37803 284.21/284.33 c nbDecision=237500 #constraints=37865 285.31/285.42 c nbDecision=238000 #constraints=37932 286.21/286.34 c nbDecision=238500 #constraints=37979 287.41/287.52 c nbDecision=239000 #constraints=38054 288.41/288.52 c nbDecision=239500 #constraints=38109 289.41/289.51 c nbDecision=240000 #constraints=38144 290.50/290.61 c nbDecision=240500 #constraints=38199 291.50/291.61 c nbDecision=241000 #constraints=38255 292.41/292.55 c nbDecision=241500 #constraints=38302 293.41/293.59 c nbDecision=242000 #constraints=38340 294.51/294.61 c nbDecision=242500 #constraints=38389 295.51/295.65 c nbDecision=243000 #constraints=38427 296.61/296.72 c nbDecision=243500 #constraints=38479 297.71/297.81 c nbDecision=244000 #constraints=38551 298.71/298.80 c nbDecision=244500 #constraints=38583 299.81/299.90 c nbDecision=245000 #constraints=38633 300.31/300.43 c nbDecision=245500 #constraints=38686 301.11/301.21 c nbDecision=246000 #constraints=38742 301.71/301.82 c nbDecision=246500 #constraints=38802 302.31/302.46 c nbDecision=247000 #constraints=38893 302.91/303.08 c nbDecision=247500 #constraints=38982 303.71/303.87 c nbDecision=248000 #constraints=39065 304.41/304.54 c nbDecision=248500 #constraints=39105 305.31/305.48 c nbDecision=249000 #constraints=39149 306.31/306.47 c nbDecision=249500 #constraints=39179 307.50/307.67 c nbDecision=250000 #constraints=39246 308.70/308.84 c nbDecision=250500 #constraints=39304 309.90/310.01 c nbDecision=251000 #constraints=39353 310.80/310.93 c nbDecision=251500 #constraints=39392 311.80/311.98 c nbDecision=252000 #constraints=39433 312.80/312.96 c nbDecision=252500 #constraints=39460 313.90/314.02 c nbDecision=253000 #constraints=39503 314.80/314.97 c nbDecision=253500 #constraints=39531 315.80/315.90 c nbDecision=254000 #constraints=39564 316.80/316.94 c nbDecision=254500 #constraints=39598 317.80/317.95 c nbDecision=255000 #constraints=39643 319.00/319.14 c nbDecision=255500 #constraints=39696 320.10/320.20 c nbDecision=256000 #constraints=39727 321.00/321.19 c nbDecision=256500 #constraints=39757 322.10/322.21 c nbDecision=257000 #constraints=39788 322.99/323.17 c nbDecision=257500 #constraints=39811 323.99/324.18 c nbDecision=258000 #constraints=39846 325.09/325.21 c nbDecision=258500 #constraints=39876 326.09/326.27 c nbDecision=259000 #constraints=39901 326.99/327.18 c nbDecision=259500 #constraints=39916 328.09/328.29 c nbDecision=260000 #constraints=39952 329.19/329.30 c nbDecision=260500 #constraints=39998 330.19/330.39 c nbDecision=261000 #constraints=40040 331.39/331.51 c nbDecision=261500 #constraints=40074 332.10/332.20 c nbDecision=262000 #constraints=40100 332.80/332.92 c nbDecision=262500 #constraints=40147 333.50/333.63 c nbDecision=263000 #constraints=40291 334.00/334.19 c nbDecision=263500 #constraints=40345 334.80/334.90 c nbDecision=264000 #constraints=40396 335.40/335.59 c nbDecision=264500 #constraints=40535 336.00/336.16 c nbDecision=265000 #constraints=40617 336.90/337.06 c nbDecision=265500 #constraints=40679 337.60/337.73 c nbDecision=266000 #constraints=40791 338.39/338.54 c nbDecision=266500 #constraints=40896 339.09/339.28 c nbDecision=267000 #constraints=40949 339.89/340.09 c nbDecision=267500 #constraints=41018 340.59/340.80 c nbDecision=268000 #constraints=41054 341.39/341.59 c nbDecision=268500 #constraints=41160 342.00/342.18 c nbDecision=269000 #constraints=41221 342.79/342.99 c nbDecision=269500 #constraints=41289 343.59/343.71 c nbDecision=270000 #constraints=41418 344.20/344.32 c nbDecision=270500 #constraints=41487 345.20/345.39 c nbDecision=271000 #constraints=41602 346.19/346.36 c nbDecision=271500 #constraints=41629 347.29/347.47 c nbDecision=272000 #constraints=41666 348.19/348.35 c nbDecision=272500 #constraints=41692 348.89/349.02 c nbDecision=273000 #constraints=41758 349.69/349.85 c nbDecision=273500 #constraints=41853 350.29/350.49 c nbDecision=274000 #constraints=41904 350.99/351.12 c nbDecision=274500 #constraints=41953 351.59/351.77 c nbDecision=275000 #constraints=42012 352.39/352.53 c nbDecision=275500 #constraints=42068 353.08/353.26 c nbDecision=276000 #constraints=42110 353.58/353.73 c nbDecision=276500 #constraints=42145 354.69/354.81 c nbDecision=277000 #constraints=42280 355.38/355.57 c nbDecision=277500 #constraints=42361 356.08/356.28 c nbDecision=278000 #constraints=42422 357.09/357.24 c nbDecision=278500 #constraints=42563 357.79/357.99 c nbDecision=279000 #constraints=42604 358.49/358.62 c nbDecision=279500 #constraints=42645 359.19/359.38 c nbDecision=280000 #constraints=42729 359.79/359.97 c nbDecision=280500 #constraints=42746 360.59/360.79 c nbDecision=281000 #constraints=42803 361.29/361.44 c nbDecision=281500 #constraints=42871 362.18/362.36 c nbDecision=282000 #constraints=42991 363.28/363.49 c nbDecision=282500 #constraints=43215 364.18/364.31 c nbDecision=283000 #constraints=43260 364.88/365.03 c nbDecision=283500 #constraints=43323 365.48/365.65 c nbDecision=284000 #constraints=43393 366.49/366.60 c nbDecision=284500 #constraints=43446 367.19/367.31 c nbDecision=285000 #constraints=43488 367.99/368.11 c nbDecision=285500 #constraints=43578 368.78/368.95 c nbDecision=286000 #constraints=43648 369.58/369.77 c nbDecision=286500 #constraints=43722 370.28/370.45 c nbDecision=287000 #constraints=43784 371.18/371.38 c nbDecision=287500 #constraints=43836 372.28/372.43 c nbDecision=288000 #constraints=44018 373.58/373.76 c nbDecision=288500 #constraints=44226 374.48/374.66 c nbDecision=289000 #constraints=44264 375.27/375.40 c nbDecision=289500 #constraints=44313 376.17/376.37 c nbDecision=290000 #constraints=44389 376.87/377.06 c nbDecision=290500 #constraints=44419 377.57/377.73 c nbDecision=291000 #constraints=44458 378.37/378.53 c nbDecision=291500 #constraints=44552 379.47/379.68 c nbDecision=292000 #constraints=44640 380.28/380.50 c nbDecision=292500 #constraints=44702 381.68/381.84 c nbDecision=293000 #constraints=44861 382.28/382.40 c nbDecision=293500 #constraints=44889 383.38/383.58 c nbDecision=294000 #constraints=45033 384.48/384.67 c nbDecision=294500 #constraints=45127 385.18/385.33 c nbDecision=295000 #constraints=45154 386.28/386.43 c nbDecision=295500 #constraints=45228 386.98/387.14 c nbDecision=296000 #constraints=45268 387.68/387.82 c nbDecision=296500 #constraints=45313 388.58/388.79 c nbDecision=297000 #constraints=45363 389.57/389.70 c nbDecision=297500 #constraints=45449 390.47/390.60 c nbDecision=298000 #constraints=45521 391.38/391.59 c nbDecision=298500 #constraints=45585 392.17/392.32 c nbDecision=299000 #constraints=45610 392.77/392.96 c nbDecision=299500 #constraints=45659 393.97/394.12 c nbDecision=300000 #constraints=45749 394.87/395.08 c nbDecision=300500 #constraints=45812 395.57/395.73 c nbDecision=301000 #constraints=45844 396.57/396.70 c nbDecision=301500 #constraints=45905 397.17/397.31 c nbDecision=302000 #constraints=45930 397.87/398.05 c nbDecision=302500 #constraints=45975 399.17/399.36 c nbDecision=303000 #constraints=46096 399.97/400.16 c nbDecision=303500 #constraints=46153 400.77/400.92 c nbDecision=304000 #constraints=46210 401.57/401.74 c nbDecision=304500 #constraints=46248 402.27/402.47 c nbDecision=305000 #constraints=46271 403.17/403.38 c nbDecision=305500 #constraints=46337 403.97/404.20 c nbDecision=306000 #constraints=46365 404.97/405.17 c nbDecision=306500 #constraints=46425 405.77/405.97 c nbDecision=307000 #constraints=46464 406.57/406.72 c nbDecision=307500 #constraints=46500 407.27/407.49 c nbDecision=308000 #constraints=46565 408.66/408.82 c nbDecision=308500 #constraints=46672 409.56/409.75 c nbDecision=309000 #constraints=46740 410.46/410.60 c nbDecision=309500 #constraints=46801 411.36/411.52 c nbDecision=310000 #constraints=46865 412.27/412.41 c nbDecision=310500 #constraints=46912 412.86/413.05 c nbDecision=311000 #constraints=46948 413.86/414.03 c nbDecision=311500 #constraints=47013 414.86/415.00 c nbDecision=312000 #constraints=47061 416.26/416.43 c nbDecision=312500 #constraints=47126 417.06/417.27 c nbDecision=313000 #constraints=47142 417.86/418.02 c nbDecision=313500 #constraints=47163 418.56/418.71 c nbDecision=314000 #constraints=47200 419.87/420.10 c nbDecision=314500 #constraints=47316 420.77/420.98 c nbDecision=315000 #constraints=47364 421.66/421.85 c nbDecision=315500 #constraints=47423 422.36/422.55 c nbDecision=316000 #constraints=47461 423.66/423.87 c nbDecision=316500 #constraints=47553 424.66/424.87 c nbDecision=317000 #constraints=47606 425.66/425.87 c nbDecision=317500 #constraints=47669 426.46/426.63 c nbDecision=318000 #constraints=47703 427.16/427.38 c nbDecision=318500 #constraints=47733 428.16/428.35 c nbDecision=319000 #constraints=47788 428.86/429.09 c nbDecision=319500 #constraints=47822 429.76/429.95 c nbDecision=320000 #constraints=47892 430.56/430.77 c nbDecision=320500 #constraints=47918 431.46/431.66 c nbDecision=321000 #constraints=47974 432.26/432.46 c nbDecision=321500 #constraints=48014 433.06/433.26 c nbDecision=322000 #constraints=48033 433.76/433.90 c nbDecision=322500 #constraints=48064 434.75/434.90 c nbDecision=323000 #constraints=48107 435.55/435.73 c nbDecision=323500 #constraints=48138 436.35/436.59 c nbDecision=324000 #constraints=48184 437.35/437.56 c nbDecision=324500 #constraints=48238 438.05/438.28 c nbDecision=325000 #constraints=48280 439.05/439.26 c nbDecision=325500 #constraints=48324 439.86/440.03 c nbDecision=326000 #constraints=48377 440.65/440.86 c nbDecision=326500 #constraints=48426 441.85/442.00 c nbDecision=327000 #constraints=48494 442.65/442.80 c nbDecision=327500 #constraints=48536 443.55/443.74 c nbDecision=328000 #constraints=48590 444.25/444.43 c nbDecision=328500 #constraints=48614 444.85/445.03 c nbDecision=329000 #constraints=48632 445.95/446.14 c nbDecision=329500 #constraints=48701 446.85/447.07 c nbDecision=330000 #constraints=48743 447.66/447.85 c nbDecision=330500 #constraints=48806 448.66/448.87 c nbDecision=331000 #constraints=48875 449.56/449.72 c nbDecision=331500 #constraints=48911 450.15/450.31 c nbDecision=332000 #constraints=48934 451.15/451.39 c nbDecision=332500 #constraints=48994 452.15/452.35 c nbDecision=333000 #constraints=49049 452.96/453.11 c nbDecision=333500 #constraints=49087 453.85/454.06 c nbDecision=334000 #constraints=49116 454.45/454.68 c nbDecision=334500 #constraints=49144 455.35/455.58 c nbDecision=335000 #constraints=49210 456.36/456.51 c nbDecision=335500 #constraints=49234 457.36/457.59 c nbDecision=336000 #constraints=49285 458.35/458.52 c nbDecision=336500 #constraints=49315 459.45/459.67 c nbDecision=337000 #constraints=49370 460.95/461.20 c nbDecision=337500 #constraints=49459 462.25/462.46 c nbDecision=338000 #constraints=49530 463.05/463.28 c nbDecision=338500 #constraints=49545 464.24/464.47 c nbDecision=339000 #constraints=49589 465.15/465.38 c nbDecision=339500 #constraints=49624 466.54/466.79 c nbDecision=340000 #constraints=49703 467.54/467.75 c nbDecision=340500 #constraints=49750 468.64/468.80 c nbDecision=341000 #constraints=49804 469.14/469.38 c nbDecision=341500 #constraints=49833 470.84/471.00 c nbDecision=342000 #constraints=49887 472.04/472.28 c nbDecision=342500 #constraints=49917 473.44/473.60 c nbDecision=343000 #constraints=49945 474.64/474.85 c nbDecision=343500 #constraints=49978 475.94/476.15 c nbDecision=344000 #constraints=50011 477.64/477.89 c nbDecision=344500 #constraints=50099 479.24/479.44 c nbDecision=345000 #constraints=50210 480.44/480.60 c nbDecision=345500 #constraints=50260 482.64/482.83 c nbDecision=346000 #constraints=50423 483.75/483.95 c nbDecision=346500 #constraints=50497 484.65/484.88 c nbDecision=347000 #constraints=50549 485.44/485.62 c nbDecision=347500 #constraints=50592 486.54/486.78 c nbDecision=348000 #constraints=50650 487.44/487.65 c nbDecision=348500 #constraints=50688 488.04/488.30 c nbDecision=349000 #constraints=50711 489.14/489.36 c nbDecision=349500 #constraints=50749 491.64/491.85 c nbDecision=350000 #constraints=50903 492.54/492.78 c nbDecision=350500 #constraints=50947 493.94/494.14 c nbDecision=351000 #constraints=50999 494.84/495.08 c nbDecision=351500 #constraints=51040 496.04/496.20 c nbDecision=352000 #constraints=51102 499.14/499.35 c nbDecision=352500 #constraints=51325 500.34/500.53 c nbDecision=353000 #constraints=51397 501.63/501.81 c nbDecision=353500 #constraints=51453 502.54/502.77 c nbDecision=354000 #constraints=51495 503.73/503.93 c nbDecision=354500 #constraints=51561 504.93/505.16 c nbDecision=355000 #constraints=51609 507.03/507.25 c nbDecision=355500 #constraints=51725 507.84/508.06 c nbDecision=356000 #constraints=51752 510.73/510.97 c nbDecision=356500 #constraints=51944 512.23/512.45 c nbDecision=357000 #constraints=52024 513.73/513.94 c nbDecision=357500 #constraints=52104 514.63/514.87 c nbDecision=358000 #constraints=52143 516.63/516.81 c nbDecision=358500 #constraints=52241 518.83/519.01 c nbDecision=359000 #constraints=52349 519.73/519.97 c nbDecision=359500 #constraints=52380 520.83/521.05 c nbDecision=360000 #constraints=52421 521.92/522.15 c nbDecision=360500 #constraints=52468 523.22/523.45 c nbDecision=361000 #constraints=52543 524.43/524.65 c nbDecision=361500 #constraints=52595 525.43/525.60 c nbDecision=362000 #constraints=52638 526.22/526.43 c nbDecision=362500 #constraints=52679 527.43/527.61 c nbDecision=363000 #constraints=52738 529.33/529.51 c nbDecision=363500 #constraints=52847 530.13/530.35 c nbDecision=364000 #constraints=52884 531.14/531.32 c nbDecision=364500 #constraints=52935 532.43/532.63 c nbDecision=365000 #constraints=53001 533.13/533.36 c nbDecision=365500 #constraints=53023 534.53/534.76 c nbDecision=366000 #constraints=53108 535.73/535.96 c nbDecision=366500 #constraints=53142 537.13/537.32 c nbDecision=367000 #constraints=53209 538.33/538.52 c nbDecision=367500 #constraints=53254 539.33/539.57 c nbDecision=368000 #constraints=53301 540.33/540.56 c nbDecision=368500 #constraints=53332 541.23/541.47 c nbDecision=369000 #constraints=53361 542.13/542.31 c nbDecision=369500 #constraints=53405 543.33/543.57 c nbDecision=370000 #constraints=53447 544.13/544.39 c nbDecision=370500 #constraints=53486 545.12/545.37 c nbDecision=371000 #constraints=53515 546.12/546.31 c nbDecision=371500 #constraints=53552 546.72/546.92 c nbDecision=372000 #constraints=53568 547.82/548.04 c nbDecision=372500 #constraints=53619 548.52/548.74 c nbDecision=373000 #constraints=53633 549.22/549.48 c nbDecision=373500 #constraints=53674 550.42/550.62 c nbDecision=374000 #constraints=53721 551.23/551.47 c nbDecision=374500 #constraints=53756 552.53/552.71 c nbDecision=375000 #constraints=53809 553.33/553.50 c nbDecision=375500 #constraints=53827 554.43/554.69 c nbDecision=376000 #constraints=53865 555.13/555.38 c nbDecision=376500 #constraints=53879 556.02/556.25 c nbDecision=377000 #constraints=53918 557.02/557.23 c nbDecision=377500 #constraints=53941 558.12/558.35 c nbDecision=378000 #constraints=54003 559.12/559.35 c nbDecision=378500 #constraints=54023 559.72/559.99 c nbDecision=379000 #constraints=54033 560.92/561.11 c nbDecision=379500 #constraints=54065 561.72/561.91 c nbDecision=380000 #constraints=54096 563.62/563.80 c nbDecision=380500 #constraints=54195 564.32/564.51 c nbDecision=381000 #constraints=54205 565.12/565.37 c nbDecision=381500 #constraints=54224 566.02/566.26 c nbDecision=382000 #constraints=54252 567.01/567.28 c nbDecision=382500 #constraints=54308 568.21/568.43 c nbDecision=383000 #constraints=54359 568.91/569.18 c nbDecision=383500 #constraints=54382 570.01/570.28 c nbDecision=384000 #constraints=54430 570.81/571.00 c nbDecision=384500 #constraints=54440 571.82/572.06 c nbDecision=385000 #constraints=54479 572.61/572.84 c nbDecision=385500 #constraints=54498 573.31/573.55 c nbDecision=386000 #constraints=54531 574.31/574.60 c nbDecision=386500 #constraints=54565 575.01/575.23 c nbDecision=387000 #constraints=54573 576.11/576.39 c nbDecision=387500 #constraints=54604 577.01/577.23 c nbDecision=388000 #constraints=54627 578.31/578.60 c nbDecision=388500 #constraints=54672 579.31/579.57 c nbDecision=389000 #constraints=54718 580.21/580.42 c nbDecision=389500 #constraints=54752 581.41/581.60 c nbDecision=390000 #constraints=54789 582.11/582.34 c nbDecision=390500 #constraints=54814 583.82/584.09 c nbDecision=391000 #constraints=54899 584.71/584.92 c nbDecision=391500 #constraints=54928 585.52/585.78 c nbDecision=392000 #constraints=54958 586.91/587.14 c nbDecision=392500 #constraints=55009 587.71/587.92 c nbDecision=393000 #constraints=55028 591.41/591.69 c nbDecision=393500 #constraints=55182 592.71/592.91 c nbDecision=394000 #constraints=55223 593.61/593.89 c nbDecision=394500 #constraints=55251 596.61/596.81 c nbDecision=395000 #constraints=55383 599.81/600.04 c nbDecision=395500 #constraints=55532 601.70/601.98 c nbDecision=396000 #constraints=55616 603.80/604.06 c nbDecision=396500 #constraints=55701 604.71/605.00 c nbDecision=397000 #constraints=55729 606.10/606.32 c nbDecision=397500 #constraints=55792 608.20/608.44 c nbDecision=398000 #constraints=55847 609.11/609.35 c nbDecision=398500 #constraints=55865 613.70/613.92 c nbDecision=399000 #constraints=56081 614.60/614.85 c nbDecision=399500 #constraints=56132 616.11/616.37 c nbDecision=400000 #constraints=56184 616.91/617.11 c nbDecision=400500 #constraints=56197 619.40/619.69 c nbDecision=401000 #constraints=56325 620.90/621.16 c nbDecision=401500 #constraints=56371 622.00/622.28 c nbDecision=402000 #constraints=56404 624.30/624.60 c nbDecision=402500 #constraints=56485 626.30/626.50 c nbDecision=403000 #constraints=56560 627.50/627.76 c nbDecision=403500 #constraints=56603 628.80/629.07 c nbDecision=404000 #constraints=56635 630.50/630.74 c nbDecision=404500 #constraints=56690 631.60/631.83 c nbDecision=405000 #constraints=56722 632.90/633.15 c nbDecision=405500 #constraints=56756 633.80/634.03 c nbDecision=406000 #constraints=56781 635.90/636.10 c nbDecision=406500 #constraints=56877 637.99/638.28 c nbDecision=407000 #constraints=56944 638.90/639.10 c nbDecision=407500 #constraints=56963 640.79/641.01 c nbDecision=408000 #constraints=57056 641.89/642.12 c nbDecision=408500 #constraints=57102 643.99/644.20 c nbDecision=409000 #constraints=57200 644.99/645.30 c nbDecision=409500 #constraints=57234 645.39/645.69 c restart after 409601 decisions 647.30/647.57 c nbDecision=410000 #constraints=57326 650.30/650.58 c nbDecision=410500 #constraints=57520 652.60/652.89 c nbDecision=411000 #constraints=57647 654.69/654.96 c nbDecision=411500 #constraints=57743 656.29/656.57 c nbDecision=412000 #constraints=57794 658.09/658.35 c nbDecision=412500 #constraints=57863 659.99/660.22 c nbDecision=413000 #constraints=57938 662.00/662.29 c nbDecision=413500 #constraints=58013 663.99/664.29 c nbDecision=414000 #constraints=58106 666.09/666.32 c nbDecision=414500 #constraints=58201 667.79/668.07 c nbDecision=415000 #constraints=58262 669.49/669.78 c nbDecision=415500 #constraints=58326 671.29/671.54 c nbDecision=416000 #constraints=58391 672.89/673.16 c nbDecision=416500 #constraints=58441 674.78/675.08 c nbDecision=417000 #constraints=58521 676.78/677.02 c nbDecision=417500 #constraints=58598 678.49/678.70 c nbDecision=418000 #constraints=58639 680.08/680.32 c nbDecision=418500 #constraints=58689 681.69/681.95 c nbDecision=419000 #constraints=58739 683.29/683.56 c nbDecision=419500 #constraints=58790 684.99/685.21 c nbDecision=420000 #constraints=58834 686.49/686.74 c nbDecision=420500 #constraints=58879 688.09/688.39 c nbDecision=421000 #constraints=58921 689.78/690.06 c nbDecision=421500 #constraints=58977 691.38/691.69 c nbDecision=422000 #constraints=59015 693.18/693.45 c nbDecision=422500 #constraints=59063 694.98/695.23 c nbDecision=423000 #constraints=59110 696.68/696.97 c nbDecision=423500 #constraints=59177 698.68/698.95 c nbDecision=424000 #constraints=59236 700.38/700.63 c nbDecision=424500 #constraints=59282 702.28/702.54 c nbDecision=425000 #constraints=59353 703.88/704.10 c nbDecision=425500 #constraints=59398 705.48/705.73 c nbDecision=426000 #constraints=59440 707.18/707.43 c nbDecision=426500 #constraints=59493 708.57/708.87 c nbDecision=427000 #constraints=59523 710.07/710.38 c nbDecision=427500 #constraints=59564 711.77/712.09 c nbDecision=428000 #constraints=59607 713.37/713.66 c nbDecision=428500 #constraints=59636 714.68/714.98 c nbDecision=429000 #constraints=59652 716.47/716.79 c nbDecision=429500 #constraints=59701 717.97/718.28 c nbDecision=430000 #constraints=59729 719.57/719.84 c nbDecision=430500 #constraints=59757 721.27/721.52 c nbDecision=431000 #constraints=59806 722.97/723.24 c nbDecision=431500 #constraints=59845 724.58/724.81 c nbDecision=432000 #constraints=59878 726.08/726.32 c nbDecision=432500 #constraints=59912 727.58/727.83 c nbDecision=433000 #constraints=59936 729.17/729.45 c nbDecision=433500 #constraints=59967 730.67/730.92 c nbDecision=434000 #constraints=60002 732.17/732.47 c nbDecision=434500 #constraints=60039 733.77/734.01 c nbDecision=435000 #constraints=60061 735.47/735.75 c nbDecision=435500 #constraints=60103 737.17/737.41 c nbDecision=436000 #constraints=60150 738.67/738.95 c nbDecision=436500 #constraints=60175 740.37/740.67 c nbDecision=437000 #constraints=60228 741.87/742.13 c nbDecision=437500 #constraints=60245 743.27/743.58 c nbDecision=438000 #constraints=60268 744.87/745.13 c nbDecision=438500 #constraints=60291 746.27/746.52 c nbDecision=439000 #constraints=60319 747.97/748.24 c nbDecision=439500 #constraints=60356 749.57/749.85 c nbDecision=440000 #constraints=60389 750.97/751.24 c nbDecision=440500 #constraints=60411 752.66/752.91 c nbDecision=441000 #constraints=60449 754.16/754.47 c nbDecision=441500 #constraints=60471 755.86/756.12 c nbDecision=442000 #constraints=60501 757.26/757.52 c nbDecision=442500 #constraints=60522 758.86/759.16 c nbDecision=443000 #constraints=60550 760.46/760.78 c nbDecision=443500 #constraints=60594 762.06/762.35 c nbDecision=444000 #constraints=60617 763.46/763.76 c nbDecision=444500 #constraints=60641 765.07/765.36 c nbDecision=445000 #constraints=60669 766.37/766.66 c nbDecision=445500 #constraints=60704 767.36/767.61 c nbDecision=446000 #constraints=60735 768.67/768.96 c nbDecision=446500 #constraints=60767 769.56/769.87 c nbDecision=447000 #constraints=60781 770.77/771.09 c nbDecision=447500 #constraints=60814 771.56/771.87 c nbDecision=448000 #constraints=60834 773.07/773.37 c nbDecision=448500 #constraints=60865 774.17/774.49 c nbDecision=449000 #constraints=60890 775.46/775.76 c nbDecision=449500 #constraints=60924 776.46/776.76 c nbDecision=450000 #constraints=60943 777.46/777.75 c nbDecision=450500 #constraints=60956 778.56/778.84 c nbDecision=451000 #constraints=60993 779.36/779.66 c nbDecision=451500 #constraints=61020 780.66/780.92 c nbDecision=452000 #constraints=61039 781.46/781.74 c nbDecision=452500 #constraints=61067 783.06/783.38 c nbDecision=453000 #constraints=61112 784.06/784.33 c nbDecision=453500 #constraints=61135 785.26/785.54 c nbDecision=454000 #constraints=61168 786.36/786.63 c nbDecision=454500 #constraints=61200 787.55/787.89 c nbDecision=455000 #constraints=61231 788.75/789.08 c nbDecision=455500 #constraints=61287 789.85/790.13 c nbDecision=456000 #constraints=61323 791.16/791.43 c nbDecision=456500 #constraints=61350 792.06/792.31 c nbDecision=457000 #constraints=61371 793.36/793.63 c nbDecision=457500 #constraints=61401 794.26/794.60 c nbDecision=458000 #constraints=61436 795.36/795.69 c nbDecision=458500 #constraints=61461 796.36/796.67 c nbDecision=459000 #constraints=61474 797.46/797.73 c nbDecision=459500 #constraints=61487 798.45/798.76 c nbDecision=460000 #constraints=61511 800.05/800.32 c nbDecision=460500 #constraints=61560 801.15/801.43 c nbDecision=461000 #constraints=61596 802.45/802.75 c nbDecision=461500 #constraints=61617 803.45/803.74 c nbDecision=462000 #constraints=61637 804.45/804.72 c nbDecision=462500 #constraints=61651 805.25/805.59 c nbDecision=463000 #constraints=61659 806.25/806.57 c nbDecision=463500 #constraints=61679 807.25/807.50 c nbDecision=464000 #constraints=61700 807.85/808.17 c nbDecision=464500 #constraints=61709 809.05/809.36 c nbDecision=465000 #constraints=61730 809.75/810.06 c nbDecision=465500 #constraints=61738 810.95/811.29 c nbDecision=466000 #constraints=61765 811.85/812.19 c nbDecision=466500 #constraints=61777 813.15/813.40 c nbDecision=467000 #constraints=61812 814.35/814.62 c nbDecision=467500 #constraints=61832 815.25/815.59 c nbDecision=468000 #constraints=61845 816.45/816.76 c nbDecision=468500 #constraints=61859 817.35/817.65 c nbDecision=469000 #constraints=61874 818.55/818.87 c nbDecision=469500 #constraints=61891 819.45/819.76 c nbDecision=470000 #constraints=61906 820.85/821.17 c nbDecision=470500 #constraints=61939 821.64/821.96 c nbDecision=471000 #constraints=61950 823.04/823.34 c nbDecision=471500 #constraints=61992 823.84/824.15 c nbDecision=472000 #constraints=62016 825.04/825.33 c nbDecision=472500 #constraints=62051 825.94/826.23 c nbDecision=473000 #constraints=62068 827.24/827.51 c nbDecision=473500 #constraints=62089 828.05/828.38 c nbDecision=474000 #constraints=62107 829.34/829.63 c nbDecision=474500 #constraints=62135 830.25/830.58 c nbDecision=475000 #constraints=62160 831.14/831.50 c nbDecision=475500 #constraints=62194 832.24/832.53 c nbDecision=476000 #constraints=62203 833.35/833.60 c nbDecision=476500 #constraints=62218 834.15/834.42 c nbDecision=477000 #constraints=62230 835.45/835.73 c nbDecision=477500 #constraints=62261 836.35/836.68 c nbDecision=478000 #constraints=62276 837.45/837.74 c nbDecision=478500 #constraints=62297 838.35/838.63 c nbDecision=479000 #constraints=62322 839.45/839.74 c nbDecision=479500 #constraints=62350 840.55/840.81 c nbDecision=480000 #constraints=62385 841.55/841.87 c nbDecision=480500 #constraints=62403 842.54/842.90 c nbDecision=481000 #constraints=62427 843.84/844.10 c nbDecision=481500 #constraints=62452 844.74/845.03 c nbDecision=482000 #constraints=62470 845.74/846.00 c nbDecision=482500 #constraints=62500 847.14/847.44 c nbDecision=483000 #constraints=62548 847.94/848.24 c nbDecision=483500 #constraints=62560 849.04/849.35 c nbDecision=484000 #constraints=62584 849.74/850.07 c nbDecision=484500 #constraints=62592 850.84/851.12 c nbDecision=485000 #constraints=62597 851.74/852.07 c nbDecision=485500 #constraints=62626 853.14/853.50 c nbDecision=486000 #constraints=62648 854.34/854.66 c nbDecision=486500 #constraints=62680 855.44/855.80 c nbDecision=487000 #constraints=62696 856.34/856.64 c nbDecision=487500 #constraints=62709 857.44/857.72 c nbDecision=488000 #constraints=62758 858.64/858.99 c nbDecision=488500 #constraints=62789 859.84/860.16 c nbDecision=489000 #constraints=62835 860.84/861.13 c nbDecision=489500 #constraints=62851 862.04/862.39 c nbDecision=490000 #constraints=62885 863.14/863.45 c nbDecision=490500 #constraints=62904 864.04/864.35 c nbDecision=491000 #constraints=62929 864.94/865.26 c nbDecision=491500 #constraints=62952 865.84/866.14 c nbDecision=492000 #constraints=62975 866.74/867.05 c nbDecision=492500 #constraints=62995 867.93/868.26 c nbDecision=493000 #constraints=63020 868.74/869.09 c nbDecision=493500 #constraints=63043 869.93/870.26 c nbDecision=494000 #constraints=63058 870.93/871.21 c nbDecision=494500 #constraints=63089 872.04/872.33 c nbDecision=495000 #constraints=63110 872.84/873.15 c nbDecision=495500 #constraints=63121 873.94/874.20 c nbDecision=496000 #constraints=63146 874.84/875.11 c nbDecision=496500 #constraints=63169 875.64/875.99 c nbDecision=497000 #constraints=63173 876.74/877.06 c nbDecision=497500 #constraints=63198 877.93/878.23 c nbDecision=498000 #constraints=63243 878.73/879.05 c nbDecision=498500 #constraints=63254 879.74/880.08 c nbDecision=499000 #constraints=63289 880.53/880.85 c nbDecision=499500 #constraints=63295 881.53/881.83 c nbDecision=500000 #constraints=63311 882.73/883.01 c nbDecision=500500 #constraints=63326 884.04/884.38 c nbDecision=501000 #constraints=63348 885.14/885.44 c nbDecision=501500 #constraints=63362 886.73/887.05 c nbDecision=502000 #constraints=63401 887.83/888.16 c nbDecision=502500 #constraints=63432 889.03/889.36 c nbDecision=503000 #constraints=63467 889.83/890.15 c nbDecision=503500 #constraints=63479 890.93/891.26 c nbDecision=504000 #constraints=63496 892.23/892.59 c nbDecision=504500 #constraints=63519 893.03/893.32 c nbDecision=505000 #constraints=63531 894.53/894.81 c nbDecision=505500 #constraints=63562 895.53/895.84 c nbDecision=506000 #constraints=63577 896.73/897.03 c nbDecision=506500 #constraints=63601 897.73/898.03 c nbDecision=507000 #constraints=63637 899.03/899.39 c nbDecision=507500 #constraints=63685 899.83/900.18 c nbDecision=508000 #constraints=63690 901.03/901.39 c nbDecision=508500 #constraints=63719 902.03/902.39 c nbDecision=509000 #constraints=63743 903.32/903.60 c nbDecision=509500 #constraints=63766 904.32/904.60 c nbDecision=510000 #constraints=63791 905.12/905.45 c nbDecision=510500 #constraints=63801 905.92/906.29 c nbDecision=511000 #constraints=63813 907.32/907.64 c nbDecision=511500 #constraints=63834 908.42/908.73 c nbDecision=512000 #constraints=63866 909.12/909.46 c nbDecision=512500 #constraints=63882 910.62/910.91 c nbDecision=513000 #constraints=63909 911.42/911.73 c nbDecision=513500 #constraints=63924 913.12/913.49 c nbDecision=514000 #constraints=63962 914.12/914.45 c nbDecision=514500 #constraints=63989 915.22/915.57 c nbDecision=515000 #constraints=64024 916.22/916.53 c nbDecision=515500 #constraints=64042 917.63/917.94 c nbDecision=516000 #constraints=64076 918.63/918.99 c nbDecision=516500 #constraints=64101 919.73/920.06 c nbDecision=517000 #constraints=64115 920.63/921.00 c nbDecision=517500 #constraints=64122 921.93/922.23 c nbDecision=518000 #constraints=64147 922.83/923.11 c nbDecision=518500 #constraints=64157 923.83/924.13 c nbDecision=519000 #constraints=64171 924.92/925.25 c nbDecision=519500 #constraints=64196 926.12/926.46 c nbDecision=520000 #constraints=64217 927.03/927.39 c nbDecision=520500 #constraints=64221 928.22/928.58 c nbDecision=521000 #constraints=64239 929.32/929.65 c nbDecision=521500 #constraints=64270 930.33/930.61 c nbDecision=522000 #constraints=64283 931.43/931.78 c nbDecision=522500 #constraints=64301 932.22/932.54 c nbDecision=523000 #constraints=64314 933.32/933.65 c nbDecision=523500 #constraints=64338 934.52/934.86 c nbDecision=524000 #constraints=64374 935.83/936.13 c nbDecision=524500 #constraints=64399 936.93/937.26 c nbDecision=525000 #constraints=64424 938.12/938.45 c nbDecision=525500 #constraints=64437 938.92/939.25 c nbDecision=526000 #constraints=64446 939.92/940.27 c nbDecision=526500 #constraints=64465 940.92/941.24 c nbDecision=527000 #constraints=64478 941.92/942.27 c nbDecision=527500 #constraints=64498 942.82/943.19 c nbDecision=528000 #constraints=64518 944.02/944.34 c nbDecision=528500 #constraints=64547 944.92/945.24 c nbDecision=529000 #constraints=64559 946.02/946.34 c nbDecision=529500 #constraints=64586 947.22/947.52 c nbDecision=530000 #constraints=64624 948.11/948.40 c nbDecision=530500 #constraints=64627 948.92/949.29 c nbDecision=531000 #constraints=64645 950.02/950.34 c nbDecision=531500 #constraints=64664 950.71/951.10 c nbDecision=532000 #constraints=64666 952.01/952.35 c nbDecision=532500 #constraints=64708 953.02/953.32 c nbDecision=533000 #constraints=64729 953.91/954.25 c nbDecision=533500 #constraints=64737 954.91/955.24 c nbDecision=534000 #constraints=64769 955.62/955.99 c nbDecision=534500 #constraints=64781 956.72/957.04 c nbDecision=535000 #constraints=64788 958.01/958.32 c nbDecision=535500 #constraints=64805 959.01/959.39 c nbDecision=536000 #constraints=64817 960.11/960.45 c nbDecision=536500 #constraints=64828 960.91/961.27 c nbDecision=537000 #constraints=64842 962.11/962.41 c nbDecision=537500 #constraints=64880 963.61/963.94 c nbDecision=538000 #constraints=64909 964.41/964.76 c nbDecision=538500 #constraints=64931 965.61/965.94 c nbDecision=539000 #constraints=64944 966.51/966.87 c nbDecision=539500 #constraints=64959 967.51/967.89 c nbDecision=540000 #constraints=64966 968.41/968.72 c nbDecision=540500 #constraints=64981 969.41/969.78 c nbDecision=541000 #constraints=64995 970.31/970.62 c nbDecision=541500 #constraints=65015 971.30/971.63 c nbDecision=542000 #constraints=65025 972.20/972.58 c nbDecision=542500 #constraints=65040 973.60/973.99 c nbDecision=543000 #constraints=65064 974.60/974.99 c nbDecision=543500 #constraints=65085 975.90/976.22 c nbDecision=544000 #constraints=65098 976.80/977.12 c nbDecision=544500 #constraints=65116 977.90/978.25 c nbDecision=545000 #constraints=65127 979.20/979.53 c nbDecision=545500 #constraints=65148 980.01/980.34 c nbDecision=546000 #constraints=65154 981.21/981.56 c nbDecision=546500 #constraints=65186 982.01/982.32 c nbDecision=547000 #constraints=65193 983.11/983.45 c nbDecision=547500 #constraints=65204 984.01/984.34 c nbDecision=548000 #constraints=65219 985.01/985.36 c nbDecision=548500 #constraints=65232 985.91/986.23 c nbDecision=549000 #constraints=65250 986.81/987.17 c nbDecision=549500 #constraints=65276 988.21/988.58 c nbDecision=550000 #constraints=65305 989.01/989.39 c nbDecision=550500 #constraints=65320 990.30/990.62 c nbDecision=551000 #constraints=65344 991.40/991.73 c nbDecision=551500 #constraints=65360 992.20/992.59 c nbDecision=552000 #constraints=65379 993.01/993.36 c nbDecision=552500 #constraints=65388 994.20/994.59 c nbDecision=553000 #constraints=65410 995.00/995.31 c nbDecision=553500 #constraints=65420 996.20/996.59 c nbDecision=554000 #constraints=65452 997.00/997.32 c nbDecision=554500 #constraints=65454 998.20/998.54 c nbDecision=555000 #constraints=65490 999.00/999.38 c nbDecision=555500 #constraints=65505 1000.20/1000.58 c nbDecision=556000 #constraints=65530 1001.20/1001.56 c nbDecision=556500 #constraints=65554 1002.30/1002.69 c nbDecision=557000 #constraints=65564 1003.10/1003.46 c nbDecision=557500 #constraints=65574 1004.10/1004.43 c nbDecision=558000 #constraints=65580 1004.90/1005.26 c nbDecision=558500 #constraints=65596 1006.10/1006.48 c nbDecision=559000 #constraints=65613 1006.99/1007.32 c nbDecision=559500 #constraints=65635 1008.40/1008.70 c nbDecision=560000 #constraints=65658 1009.40/1009.78 c nbDecision=560500 #constraints=65683 1010.60/1010.95 c nbDecision=561000 #constraints=65707 1011.49/1011.81 c nbDecision=561500 #constraints=65717 1012.81/1013.14 c nbDecision=562000 #constraints=65759 1013.60/1013.97 c nbDecision=562500 #constraints=65769 1014.80/1015.16 c nbDecision=563000 #constraints=65783 1015.80/1016.11 c nbDecision=563500 #constraints=65798 1016.90/1017.27 c nbDecision=564000 #constraints=65816 1017.70/1018.04 c nbDecision=564500 #constraints=65818 1018.70/1019.05 c nbDecision=565000 #constraints=65836 1019.70/1020.08 c nbDecision=565500 #constraints=65860 1020.60/1020.96 c nbDecision=566000 #constraints=65877 1022.00/1022.31 c nbDecision=566500 #constraints=65899 1022.70/1023.06 c nbDecision=567000 #constraints=65901 1023.70/1024.05 c nbDecision=567500 #constraints=65904 1024.80/1025.18 c nbDecision=568000 #constraints=65925 1025.80/1026.19 c nbDecision=568500 #constraints=65953 1026.90/1027.26 c nbDecision=569000 #constraints=65965 1027.80/1028.16 c nbDecision=569500 #constraints=65983 1028.99/1029.32 c nbDecision=570000 #constraints=65994 1029.90/1030.23 c nbDecision=570500 #constraints=66011 1030.79/1031.11 c nbDecision=571000 #constraints=66029 1032.09/1032.41 c nbDecision=571500 #constraints=66063 1032.99/1033.35 c nbDecision=572000 #constraints=66090 1035.09/1035.40 c nbDecision=572500 #constraints=66135 1036.79/1037.11 c nbDecision=573000 #constraints=66161 1038.59/1038.93 c nbDecision=573500 #constraints=66190 1040.39/1040.73 c nbDecision=574000 #constraints=66216 1042.19/1042.55 c nbDecision=574500 #constraints=66244 1043.79/1044.18 c nbDecision=575000 #constraints=66271 1045.69/1046.02 c nbDecision=575500 #constraints=66301 1047.29/1047.67 c nbDecision=576000 #constraints=66320 1048.89/1049.27 c nbDecision=576500 #constraints=66331 1050.49/1050.86 c nbDecision=577000 #constraints=66350 1052.29/1052.62 c nbDecision=577500 #constraints=66378 1053.98/1054.39 c nbDecision=578000 #constraints=66407 1055.59/1055.95 c nbDecision=578500 #constraints=66425 1057.48/1057.84 c nbDecision=579000 #constraints=66461 1058.99/1059.37 c nbDecision=579500 #constraints=66480 1060.98/1061.32 c nbDecision=580000 #constraints=66515 1062.58/1062.90 c nbDecision=580500 #constraints=66536 1064.18/1064.52 c nbDecision=581000 #constraints=66550 1065.88/1066.25 c nbDecision=581500 #constraints=66568 1067.58/1067.99 c nbDecision=582000 #constraints=66595 1069.18/1069.59 c nbDecision=582500 #constraints=66605 1070.78/1071.11 c nbDecision=583000 #constraints=66623 1072.38/1072.78 c nbDecision=583500 #constraints=66639 1074.19/1074.55 c nbDecision=584000 #constraints=66664 1075.99/1076.38 c nbDecision=584500 #constraints=66695 1077.59/1077.93 c nbDecision=585000 #constraints=66709 1079.28/1079.69 c nbDecision=585500 #constraints=66735 1081.08/1081.44 c nbDecision=586000 #constraints=66760 1082.88/1083.21 c nbDecision=586500 #constraints=66786 1084.38/1084.78 c nbDecision=587000 #constraints=66806 1086.08/1086.43 c nbDecision=587500 #constraints=66823 1087.68/1088.06 c nbDecision=588000 #constraints=66840 1089.28/1089.69 c nbDecision=588500 #constraints=66855 1090.78/1091.12 c nbDecision=589000 #constraints=66863 1092.48/1092.88 c nbDecision=589500 #constraints=66890 1094.18/1094.54 c nbDecision=590000 #constraints=66904 1095.88/1096.20 c nbDecision=590500 #constraints=66933 1097.58/1097.95 c nbDecision=591000 #constraints=66958 1099.07/1099.48 c nbDecision=591500 #constraints=66973 1100.78/1101.13 c nbDecision=592000 #constraints=66990 1102.47/1102.83 c nbDecision=592500 #constraints=67025 1104.17/1104.53 c nbDecision=593000 #constraints=67042 1105.87/1106.26 c nbDecision=593500 #constraints=67063 1107.57/1107.93 c nbDecision=594000 #constraints=67084 1109.17/1109.56 c nbDecision=594500 #constraints=67107 1110.87/1111.27 c nbDecision=595000 #constraints=67132 1112.67/1113.09 c nbDecision=595500 #constraints=67159 1114.37/1114.74 c nbDecision=596000 #constraints=67184 1115.97/1116.39 c nbDecision=596500 #constraints=67207 1117.87/1118.22 c nbDecision=597000 #constraints=67237 1119.57/1119.95 c nbDecision=597500 #constraints=67259 1121.27/1121.63 c nbDecision=598000 #constraints=67287 1122.97/1123.37 c nbDecision=598500 #constraints=67307 1124.77/1125.15 c nbDecision=599000 #constraints=67337 1126.66/1127.08 c nbDecision=599500 #constraints=67372 1128.36/1128.76 c nbDecision=600000 #constraints=67385 1130.06/1130.48 c nbDecision=600500 #constraints=67419 1131.57/1131.99 c nbDecision=601000 #constraints=67436 1133.37/1133.71 c nbDecision=601500 #constraints=67455 1135.17/1135.59 c nbDecision=602000 #constraints=67491 1136.77/1137.16 c nbDecision=602500 #constraints=67511 1138.47/1138.88 c nbDecision=603000 #constraints=67527 1140.17/1140.51 c nbDecision=603500 #constraints=67537 1141.97/1142.31 c nbDecision=604000 #constraints=67562 1143.87/1144.26 c nbDecision=604500 #constraints=67598 1145.77/1146.12 c nbDecision=605000 #constraints=67639 1147.46/1147.84 c nbDecision=605500 #constraints=67661 1149.26/1149.63 c nbDecision=606000 #constraints=67695 1150.86/1151.24 c nbDecision=606500 #constraints=67710 1152.36/1152.78 c nbDecision=607000 #constraints=67727 1154.26/1154.60 c nbDecision=607500 #constraints=67752 1156.06/1156.40 c nbDecision=608000 #constraints=67776 1157.76/1158.12 c nbDecision=608500 #constraints=67805 1159.66/1160.07 c nbDecision=609000 #constraints=67839 1161.36/1161.71 c nbDecision=609500 #constraints=67851 1163.26/1163.60 c nbDecision=610000 #constraints=67879 1164.86/1165.25 c nbDecision=610500 #constraints=67903 1166.76/1167.16 c nbDecision=611000 #constraints=67938 1168.35/1168.71 c nbDecision=611500 #constraints=67961 1169.85/1170.27 c nbDecision=612000 #constraints=67979 1171.75/1172.14 c nbDecision=612500 #constraints=68009 1173.55/1173.90 c nbDecision=613000 #constraints=68033 1175.15/1175.57 c nbDecision=613500 #constraints=68057 1176.95/1177.37 c nbDecision=614000 #constraints=68085 1178.65/1179.10 c nbDecision=614500 #constraints=68113 1180.26/1180.67 c nbDecision=615000 #constraints=68132 1182.06/1182.47 c nbDecision=615500 #constraints=68154 1183.86/1184.24 c nbDecision=616000 #constraints=68170 1185.66/1186.04 c nbDecision=616500 #constraints=68190 1187.15/1187.55 c nbDecision=617000 #constraints=68203 1188.35/1188.70 c nbDecision=617500 #constraints=68212 1189.15/1189.50 c nbDecision=618000 #constraints=68224 1190.35/1190.78 c nbDecision=618500 #constraints=68242 1191.25/1191.65 c nbDecision=619000 #constraints=68256 1192.75/1193.19 c nbDecision=619500 #constraints=68295 1193.85/1194.28 c nbDecision=620000 #constraints=68315 1195.05/1195.45 c nbDecision=620500 #constraints=68335 1196.35/1196.72 c nbDecision=621000 #constraints=68365 1197.55/1197.97 c nbDecision=621500 #constraints=68378 1198.45/1198.87 c nbDecision=622000 #constraints=68392 1199.75/1200.12 c nbDecision=622500 #constraints=68409 1200.75/1201.18 c nbDecision=623000 #constraints=68434 1201.75/1202.18 c nbDecision=623500 #constraints=68443 1202.65/1203.08 c nbDecision=624000 #constraints=68457 1203.95/1204.31 c nbDecision=624500 #constraints=68484 1204.74/1205.12 c nbDecision=625000 #constraints=68490 1206.04/1206.43 c nbDecision=625500 #constraints=68500 1207.14/1207.55 c nbDecision=626000 #constraints=68542 1208.24/1208.69 c nbDecision=626500 #constraints=68553 1209.34/1209.75 c nbDecision=627000 #constraints=68583 1210.54/1210.92 c nbDecision=627500 #constraints=68607 1211.45/1211.84 c nbDecision=628000 #constraints=68621 1213.05/1213.41 c nbDecision=628500 #constraints=68650 1214.75/1215.13 c nbDecision=629000 #constraints=68661 1216.45/1216.83 c nbDecision=629500 #constraints=68680 1218.45/1218.83 c nbDecision=630000 #constraints=68711 1220.25/1220.65 c nbDecision=630500 #constraints=68734 1221.85/1222.23 c nbDecision=631000 #constraints=68751 1223.25/1223.64 c nbDecision=631500 #constraints=68771 1224.25/1224.64 c nbDecision=632000 #constraints=68781 1225.44/1225.83 c nbDecision=632500 #constraints=68813 1226.44/1226.86 c nbDecision=633000 #constraints=68836 1227.74/1228.10 c nbDecision=633500 #constraints=68873 1228.64/1229.00 c nbDecision=634000 #constraints=68880 1229.84/1230.21 c nbDecision=634500 #constraints=68899 1230.84/1231.23 c nbDecision=635000 #constraints=68919 1231.64/1232.02 c nbDecision=635500 #constraints=68933 1232.74/1233.13 c nbDecision=636000 #constraints=68941 1233.74/1234.15 c nbDecision=636500 #constraints=68952 1234.74/1235.10 c nbDecision=637000 #constraints=68969 1235.94/1236.35 c nbDecision=637500 #constraints=68992 1237.14/1237.51 c nbDecision=638000 #constraints=69018 1238.03/1238.41 c nbDecision=638500 #constraints=69035 1239.13/1239.59 c nbDecision=639000 #constraints=69043 1240.23/1240.68 c nbDecision=639500 #constraints=69061 1241.33/1241.70 c nbDecision=640000 #constraints=69081 1242.54/1242.93 c nbDecision=640500 #constraints=69097 1243.64/1244.06 c nbDecision=641000 #constraints=69126 1244.74/1245.17 c nbDecision=641500 #constraints=69145 1245.84/1246.25 c nbDecision=642000 #constraints=69165 1246.63/1247.05 c nbDecision=642500 #constraints=69175 1247.73/1248.16 c nbDecision=643000 #constraints=69182 1248.53/1248.97 c nbDecision=643500 #constraints=69198 1249.73/1250.19 c nbDecision=644000 #constraints=69216 1251.43/1251.86 c nbDecision=644500 #constraints=69238 1253.33/1253.78 c nbDecision=645000 #constraints=69254 1255.13/1255.53 c nbDecision=645500 #constraints=69283 1256.83/1257.24 c nbDecision=646000 #constraints=69293 1258.53/1258.93 c nbDecision=646500 #constraints=69305 1260.33/1260.74 c nbDecision=647000 #constraints=69329 1262.13/1262.58 c nbDecision=647500 #constraints=69364 1264.03/1264.48 c nbDecision=648000 #constraints=69392 1265.63/1266.08 c nbDecision=648500 #constraints=69409 1267.43/1267.84 c nbDecision=649000 #constraints=69427 1269.13/1269.58 c nbDecision=649500 #constraints=69446 1270.93/1271.31 c nbDecision=650000 #constraints=69469 1272.73/1273.11 c nbDecision=650500 #constraints=69493 1274.53/1274.97 c nbDecision=651000 #constraints=69514 1276.32/1276.80 c nbDecision=651500 #constraints=69537 1278.22/1278.63 c nbDecision=652000 #constraints=69557 1280.03/1280.41 c nbDecision=652500 #constraints=69587 1281.82/1282.28 c nbDecision=653000 #constraints=69614 1283.62/1284.05 c nbDecision=653500 #constraints=69642 1285.42/1285.82 c nbDecision=654000 #constraints=69659 1287.22/1287.66 c nbDecision=654500 #constraints=69680 1288.12/1288.58 c nbDecision=655000 #constraints=69688 1289.92/1290.31 c nbDecision=655500 #constraints=69708 1290.72/1291.18 c nbDecision=656000 #constraints=69718 1292.22/1292.61 c nbDecision=656500 #constraints=69749 1293.22/1293.64 c nbDecision=657000 #constraints=69771 1294.72/1295.14 c nbDecision=657500 #constraints=69793 1295.52/1295.99 c nbDecision=658000 #constraints=69799 1296.72/1297.13 c nbDecision=658500 #constraints=69807 1297.92/1298.34 c nbDecision=659000 #constraints=69826 1299.22/1299.66 c nbDecision=659500 #constraints=69847 1300.22/1300.62 c nbDecision=660000 #constraints=69855 1301.32/1301.77 c nbDecision=660500 #constraints=69865 1302.62/1303.03 c nbDecision=661000 #constraints=69886 1303.61/1304.09 c nbDecision=661500 #constraints=69905 1304.61/1305.07 c nbDecision=662000 #constraints=69928 1305.81/1306.22 c nbDecision=662500 #constraints=69937 1306.61/1307.02 c nbDecision=663000 #constraints=69947 1308.21/1308.65 c nbDecision=663500 #constraints=69977 1310.01/1310.49 c nbDecision=664000 #constraints=70016 1312.32/1312.70 c nbDecision=664500 #constraints=70079 1314.22/1314.67 c nbDecision=665000 #constraints=70128 1316.22/1316.62 c nbDecision=665500 #constraints=70173 1318.01/1318.48 c nbDecision=666000 #constraints=70216 1319.81/1320.22 c nbDecision=666500 #constraints=70247 1321.41/1321.89 c nbDecision=667000 #constraints=70270 1323.31/1323.75 c nbDecision=667500 #constraints=70301 1325.11/1325.52 c nbDecision=668000 #constraints=70342 1326.71/1327.19 c nbDecision=668500 #constraints=70372 1328.41/1328.85 c nbDecision=669000 #constraints=70401 1330.41/1330.87 c nbDecision=669500 #constraints=70454 1332.20/1332.60 c nbDecision=670000 #constraints=70491 1333.81/1334.22 c nbDecision=670500 #constraints=70514 1335.40/1335.83 c nbDecision=671000 #constraints=70535 1337.30/1337.72 c nbDecision=671500 #constraints=70566 1339.10/1339.58 c nbDecision=672000 #constraints=70603 1340.80/1341.21 c nbDecision=672500 #constraints=70623 1342.50/1342.91 c nbDecision=673000 #constraints=70654 1344.40/1344.85 c nbDecision=673500 #constraints=70698 1346.20/1346.61 c nbDecision=674000 #constraints=70731 1348.20/1348.63 c nbDecision=674500 #constraints=70786 1350.01/1350.45 c nbDecision=675000 #constraints=70823 1351.71/1352.10 c nbDecision=675500 #constraints=70850 1353.61/1354.07 c nbDecision=676000 #constraints=70885 1355.41/1355.81 c nbDecision=676500 #constraints=70916 1357.20/1357.60 c nbDecision=677000 #constraints=70941 1358.90/1359.38 c nbDecision=677500 #constraints=70974 1360.70/1361.17 c nbDecision=678000 #constraints=71005 1362.51/1362.98 c nbDecision=678500 #constraints=71031 1364.10/1364.59 c nbDecision=679000 #constraints=71049 1366.10/1366.51 c nbDecision=679500 #constraints=71091 1368.00/1368.45 c nbDecision=680000 #constraints=71127 1369.70/1370.14 c nbDecision=680500 #constraints=71156 1370.80/1371.25 c nbDecision=681000 #constraints=71165 1372.10/1372.57 c nbDecision=681500 #constraints=71180 1373.00/1373.44 c nbDecision=682000 #constraints=71191 1374.20/1374.61 c nbDecision=682500 #constraints=71203 1375.10/1375.59 c nbDecision=683000 #constraints=71228 1376.60/1377.07 c nbDecision=683500 #constraints=71237 1377.50/1377.94 c nbDecision=684000 #constraints=71247 1378.60/1379.05 c nbDecision=684500 #constraints=71257 1379.59/1380.08 c nbDecision=685000 #constraints=71271 1380.70/1381.17 c nbDecision=685500 #constraints=71286 1381.69/1382.17 c nbDecision=686000 #constraints=71297 1382.89/1383.36 c nbDecision=686500 #constraints=71303 1383.79/1384.27 c nbDecision=687000 #constraints=71313 1385.09/1385.54 c nbDecision=687500 #constraints=71323 1386.09/1386.55 c nbDecision=688000 #constraints=71338 1387.39/1387.81 c nbDecision=688500 #constraints=71348 1388.29/1388.72 c nbDecision=689000 #constraints=71368 1389.59/1390.08 c nbDecision=689500 #constraints=71382 1390.59/1391.06 c nbDecision=690000 #constraints=71404 1391.80/1392.22 c nbDecision=690500 #constraints=71420 1392.70/1393.14 c nbDecision=691000 #constraints=71428 1393.90/1394.32 c nbDecision=691500 #constraints=71453 1395.00/1395.44 c nbDecision=692000 #constraints=71463 1396.29/1396.71 c nbDecision=692500 #constraints=71477 1397.29/1397.78 c nbDecision=693000 #constraints=71495 1398.09/1398.50 c nbDecision=693500 #constraints=71498 1399.29/1399.73 c nbDecision=694000 #constraints=71508 1400.39/1400.85 c nbDecision=694500 #constraints=71521 1401.49/1401.92 c nbDecision=695000 #constraints=71539 1402.59/1403.03 c nbDecision=695500 #constraints=71557 1403.59/1404.04 c nbDecision=696000 #constraints=71570 1404.99/1405.43 c nbDecision=696500 #constraints=71594 1405.89/1406.39 c nbDecision=697000 #constraints=71608 1406.99/1407.47 c nbDecision=697500 #constraints=71620 1408.09/1408.53 c nbDecision=698000 #constraints=71658 1408.99/1409.42 c nbDecision=698500 #constraints=71664 1410.29/1410.79 c nbDecision=699000 #constraints=71680 1411.29/1411.70 c nbDecision=699500 #constraints=71687 1412.59/1413.00 c nbDecision=700000 #constraints=71703 1413.48/1413.95 c nbDecision=700500 #constraints=71710 1414.68/1415.11 c nbDecision=701000 #constraints=71718 1415.68/1416.16 c nbDecision=701500 #constraints=71730 1416.78/1417.25 c nbDecision=702000 #constraints=71746 1417.68/1418.12 c nbDecision=702500 #constraints=71752 1418.88/1419.37 c nbDecision=703000 #constraints=71773 1419.78/1420.24 c nbDecision=703500 #constraints=71778 1421.18/1421.62 c nbDecision=704000 #constraints=71800 1421.98/1422.49 c nbDecision=704500 #constraints=71805 1423.28/1423.70 c nbDecision=705000 #constraints=71822 1424.18/1424.69 c nbDecision=705500 #constraints=71845 1425.48/1425.96 c nbDecision=706000 #constraints=71867 1426.38/1426.89 c nbDecision=706500 #constraints=71877 1427.98/1428.48 c nbDecision=707000 #constraints=71892 1429.18/1429.69 c nbDecision=707500 #constraints=71903 1430.18/1430.63 c nbDecision=708000 #constraints=71911 1431.38/1431.84 c nbDecision=708500 #constraints=71926 1432.28/1432.73 c nbDecision=709000 #constraints=71930 1433.58/1434.06 c nbDecision=709500 #constraints=71949 1434.68/1435.17 c nbDecision=710000 #constraints=71966 1435.88/1436.32 c nbDecision=710500 #constraints=71987 1436.88/1437.34 c nbDecision=711000 #constraints=71994 1438.18/1438.65 c nbDecision=711500 #constraints=72002 1439.18/1439.65 c nbDecision=712000 #constraints=72009 1440.48/1440.98 c nbDecision=712500 #constraints=72033 1441.38/1441.82 c nbDecision=713000 #constraints=72046 1442.58/1443.00 c nbDecision=713500 #constraints=72067 1443.37/1443.85 c nbDecision=714000 #constraints=72071 1444.67/1445.18 c nbDecision=714500 #constraints=72080 1445.87/1446.31 c nbDecision=715000 #constraints=72090 1446.97/1447.49 c nbDecision=715500 #constraints=72105 1448.18/1448.62 c nbDecision=716000 #constraints=72121 1449.47/1449.92 c nbDecision=716500 #constraints=72137 1450.38/1450.87 c nbDecision=717000 #constraints=72153 1451.58/1452.09 c nbDecision=717500 #constraints=72163 1452.47/1452.94 c nbDecision=718000 #constraints=72173 1453.67/1454.16 c nbDecision=718500 #constraints=72184 1454.47/1454.98 c nbDecision=719000 #constraints=72191 1456.07/1456.59 c nbDecision=719500 #constraints=72218 1456.97/1457.46 c nbDecision=720000 #constraints=72233 1458.37/1458.87 c nbDecision=720500 #constraints=72248 1459.67/1460.11 c nbDecision=721000 #constraints=72261 1460.57/1461.09 c nbDecision=721500 #constraints=72264 1461.67/1462.10 c nbDecision=722000 #constraints=72270 1462.67/1463.13 c nbDecision=722500 #constraints=72289 1463.77/1464.20 c nbDecision=723000 #constraints=72318 1465.07/1465.56 c nbDecision=723500 #constraints=72336 1465.87/1466.40 c nbDecision=724000 #constraints=72352 1467.17/1467.62 c nbDecision=724500 #constraints=72362 1467.97/1468.48 c nbDecision=725000 #constraints=72373 1469.36/1469.85 c nbDecision=725500 #constraints=72389 1470.27/1470.79 c nbDecision=726000 #constraints=72406 1471.66/1472.17 c nbDecision=726500 #constraints=72427 1472.76/1473.28 c nbDecision=727000 #constraints=72437 1473.96/1474.42 c nbDecision=727500 #constraints=72461 1474.96/1475.47 c nbDecision=728000 #constraints=72477 1475.86/1476.32 c nbDecision=728500 #constraints=72478 1477.26/1477.78 c nbDecision=729000 #constraints=72500 1478.56/1479.03 c nbDecision=729500 #constraints=72517 1479.66/1480.14 c nbDecision=730000 #constraints=72530 1480.86/1481.35 c nbDecision=730500 #constraints=72546 1482.16/1482.63 c nbDecision=731000 #constraints=72556 1483.16/1483.67 c nbDecision=731500 #constraints=72572 1483.96/1484.48 c nbDecision=732000 #constraints=72577 1485.26/1485.76 c nbDecision=732500 #constraints=72586 1486.36/1486.86 c nbDecision=733000 #constraints=72595 1487.47/1487.95 c nbDecision=733500 #constraints=72616 1488.17/1488.67 c nbDecision=734000 #constraints=72626 1489.67/1490.17 c nbDecision=734500 #constraints=72646 1490.46/1490.96 c nbDecision=735000 #constraints=72651 1491.76/1492.21 c nbDecision=735500 #constraints=72670 1492.76/1493.27 c nbDecision=736000 #constraints=72687 1494.06/1494.52 c nbDecision=736500 #constraints=72715 1494.96/1495.47 c nbDecision=737000 #constraints=72724 1496.26/1496.72 c nbDecision=737500 #constraints=72741 1497.16/1497.60 c nbDecision=738000 #constraints=72745 1498.26/1498.73 c nbDecision=738500 #constraints=72762 1499.46/1499.92 c nbDecision=739000 #constraints=72784 1500.66/1501.19 c nbDecision=739500 #constraints=72796 1501.76/1502.24 c nbDecision=740000 #constraints=72809 1502.96/1503.48 c nbDecision=740500 #constraints=72824 1503.86/1504.35 c nbDecision=741000 #constraints=72829 1505.06/1505.55 c nbDecision=741500 #constraints=72846 1505.86/1506.36 c nbDecision=742000 #constraints=72855 1507.15/1507.60 c nbDecision=742500 #constraints=72872 1507.95/1508.41 c nbDecision=743000 #constraints=72874 1509.36/1509.82 c nbDecision=743500 #constraints=72898 1510.45/1510.93 c nbDecision=744000 #constraints=72919 1511.96/1512.48 c nbDecision=744500 #constraints=72947 1512.85/1513.32 c nbDecision=745000 #constraints=72954 1514.16/1514.66 c nbDecision=745500 #constraints=72969 1515.26/1515.72 c nbDecision=746000 #constraints=72981 1516.35/1516.86 c nbDecision=746500 #constraints=72997 1517.45/1517.98 c nbDecision=747000 #constraints=73021 1518.65/1519.17 c nbDecision=747500 #constraints=73029 1519.65/1520.18 c nbDecision=748000 #constraints=73041 1520.85/1521.37 c nbDecision=748500 #constraints=73057 1521.85/1522.31 c nbDecision=749000 #constraints=73066 1523.05/1523.55 c nbDecision=749500 #constraints=73084 1523.95/1524.49 c nbDecision=750000 #constraints=73094 1525.25/1525.79 c nbDecision=750500 #constraints=73117 1526.15/1526.62 c nbDecision=751000 #constraints=73127 1527.25/1527.72 c nbDecision=751500 #constraints=73133 1528.35/1528.81 c nbDecision=752000 #constraints=73154 1529.45/1529.98 c nbDecision=752500 #constraints=73168 1530.76/1531.21 c nbDecision=753000 #constraints=73188 1532.15/1532.62 c nbDecision=753500 #constraints=73209 1533.05/1533.50 c nbDecision=754000 #constraints=73212 1534.15/1534.69 c nbDecision=754500 #constraints=73222 1535.25/1535.71 c nbDecision=755000 #constraints=73232 1536.45/1536.99 c nbDecision=755500 #constraints=73246 1537.65/1538.13 c nbDecision=756000 #constraints=73276 1538.75/1539.23 c nbDecision=756500 #constraints=73280 1539.55/1540.07 c nbDecision=757000 #constraints=73285 1540.85/1541.39 c nbDecision=757500 #constraints=73295 1541.65/1542.15 c nbDecision=758000 #constraints=73296 1542.85/1543.31 c nbDecision=758500 #constraints=73311 1543.75/1544.23 c nbDecision=759000 #constraints=73317 1544.85/1545.32 c nbDecision=759500 #constraints=73323 1545.85/1546.31 c nbDecision=760000 #constraints=73336 1546.94/1547.48 c nbDecision=760500 #constraints=73353 1547.94/1548.42 c nbDecision=761000 #constraints=73363 1549.04/1549.50 c nbDecision=761500 #constraints=73380 1549.94/1550.48 c nbDecision=762000 #constraints=73395 1550.94/1551.46 c nbDecision=762500 #constraints=73400 1552.04/1552.52 c nbDecision=763000 #constraints=73410 1553.04/1553.54 c nbDecision=763500 #constraints=73416 1554.04/1554.57 c nbDecision=764000 #constraints=73429 1555.34/1555.81 c nbDecision=764500 #constraints=73444 1556.14/1556.61 c nbDecision=765000 #constraints=73445 1557.74/1558.21 c nbDecision=765500 #constraints=73463 1559.04/1559.59 c nbDecision=766000 #constraints=73488 1560.44/1560.94 c nbDecision=766500 #constraints=73501 1561.44/1561.94 c nbDecision=767000 #constraints=73516 1562.84/1563.37 c nbDecision=767500 #constraints=73539 1563.74/1564.27 c nbDecision=768000 #constraints=73547 1565.03/1565.54 c nbDecision=768500 #constraints=73561 1566.03/1566.59 c nbDecision=769000 #constraints=73569 1567.23/1567.79 c nbDecision=769500 #constraints=73579 1568.14/1568.63 c nbDecision=770000 #constraints=73586 1569.43/1570.00 c nbDecision=770500 #constraints=73599 1570.63/1571.11 c nbDecision=771000 #constraints=73619 1571.84/1572.38 c nbDecision=771500 #constraints=73640 1572.74/1573.22 c nbDecision=772000 #constraints=73648 1573.84/1574.36 c nbDecision=772500 #constraints=73666 1575.14/1575.65 c nbDecision=773000 #constraints=73683 1576.54/1577.04 c nbDecision=773500 #constraints=73705 1577.54/1578.01 c nbDecision=774000 #constraints=73714 1578.84/1579.34 c nbDecision=774500 #constraints=73730 1579.74/1580.30 c nbDecision=775000 #constraints=73735 1580.94/1581.46 c nbDecision=775500 #constraints=73744 1581.94/1582.47 c nbDecision=776000 #constraints=73756 1583.33/1583.81 c nbDecision=776500 #constraints=73774 1584.33/1584.82 c nbDecision=777000 #constraints=73793 1585.53/1586.02 c nbDecision=777500 #constraints=73815 1586.53/1587.06 c nbDecision=778000 #constraints=73833 1587.73/1588.24 c nbDecision=778500 #constraints=73857 1589.04/1589.51 c nbDecision=779000 #constraints=73869 1589.83/1590.38 c nbDecision=779500 #constraints=73879 1591.24/1591.71 c nbDecision=780000 #constraints=73887 1592.03/1592.51 c nbDecision=780500 #constraints=73893 1593.23/1593.70 c nbDecision=781000 #constraints=73908 1594.13/1594.68 c nbDecision=781500 #constraints=73924 1595.33/1595.89 c nbDecision=782000 #constraints=73936 1596.33/1596.81 c nbDecision=782500 #constraints=73948 1597.93/1598.44 c nbDecision=783000 #constraints=73965 1599.83/1600.35 c nbDecision=783500 #constraints=74002 1601.93/1602.46 c nbDecision=784000 #constraints=74052 1603.53/1604.02 c nbDecision=784500 #constraints=74064 1605.22/1605.71 c nbDecision=785000 #constraints=74085 1606.93/1607.49 c nbDecision=785500 #constraints=74104 1608.63/1609.15 c nbDecision=786000 #constraints=74120 1610.63/1611.10 c nbDecision=786500 #constraints=74152 1612.53/1613.07 c nbDecision=787000 #constraints=74198 1613.83/1614.39 c nbDecision=787500 #constraints=74213 1615.03/1615.58 c nbDecision=788000 #constraints=74224 1616.23/1616.70 c nbDecision=788500 #constraints=74232 1617.23/1617.78 c nbDecision=789000 #constraints=74250 1618.33/1618.87 c nbDecision=789500 #constraints=74254 1619.33/1619.82 c nbDecision=790000 #constraints=74266 1620.33/1620.86 c nbDecision=790500 #constraints=74270 1621.33/1621.84 c nbDecision=791000 #constraints=74288 1622.13/1622.69 c nbDecision=791500 #constraints=74300 1623.63/1624.17 c nbDecision=792000 #constraints=74334 1624.53/1625.06 c nbDecision=792500 #constraints=74336 1625.63/1626.13 c nbDecision=793000 #constraints=74349 1626.82/1627.34 c nbDecision=793500 #constraints=74366 1628.42/1628.93 c nbDecision=794000 #constraints=74389 1629.42/1629.95 c nbDecision=794500 #constraints=74393 1630.83/1631.32 c nbDecision=795000 #constraints=74401 1631.72/1632.28 c nbDecision=795500 #constraints=74413 1632.92/1633.47 c nbDecision=796000 #constraints=74425 1634.02/1634.54 c nbDecision=796500 #constraints=74442 1635.32/1635.89 c nbDecision=797000 #constraints=74478 1636.42/1636.91 c nbDecision=797500 #constraints=74494 1637.52/1638.06 c nbDecision=798000 #constraints=74501 1638.42/1638.95 c nbDecision=798500 #constraints=74503 1639.62/1640.16 c nbDecision=799000 #constraints=74508 1640.51/1641.05 c nbDecision=799500 #constraints=74510 1641.72/1642.26 c nbDecision=800000 #constraints=74520 1642.71/1643.25 c nbDecision=800500 #constraints=74533 1644.02/1644.50 c nbDecision=801000 #constraints=74543 1644.91/1645.49 c nbDecision=801500 #constraints=74555 1646.22/1646.78 c nbDecision=802000 #constraints=74576 1647.22/1647.77 c nbDecision=802500 #constraints=74592 1648.51/1649.06 c nbDecision=803000 #constraints=74603 1649.52/1650.04 c nbDecision=803500 #constraints=74618 1650.81/1651.30 c nbDecision=804000 #constraints=74637 1651.71/1652.29 c nbDecision=804500 #constraints=74654 1653.01/1653.51 c nbDecision=805000 #constraints=74658 1654.11/1654.64 c nbDecision=805500 #constraints=74668 1655.11/1655.60 c nbDecision=806000 #constraints=74675 1656.01/1656.55 c nbDecision=806500 #constraints=74691 1657.11/1657.66 c nbDecision=807000 #constraints=74694 1658.01/1658.57 c nbDecision=807500 #constraints=74701 1659.31/1659.80 c nbDecision=808000 #constraints=74714 1660.51/1661.09 c nbDecision=808500 #constraints=74731 1661.91/1662.44 c nbDecision=809000 #constraints=74750 1662.81/1663.38 c nbDecision=809500 #constraints=74757 1664.31/1664.84 c nbDecision=810000 #constraints=74769 1665.31/1665.88 c nbDecision=810500 #constraints=74790 1666.71/1667.20 c nbDecision=811000 #constraints=74808 1667.60/1668.14 c nbDecision=811500 #constraints=74815 1668.80/1669.37 c nbDecision=812000 #constraints=74824 1669.70/1670.27 c nbDecision=812500 #constraints=74832 1671.00/1671.58 c nbDecision=813000 #constraints=74857 1672.10/1672.65 c nbDecision=813500 #constraints=74874 1673.30/1673.83 c nbDecision=814000 #constraints=74888 1674.30/1674.85 c nbDecision=814500 #constraints=74905 1675.50/1676.07 c nbDecision=815000 #constraints=74925 1676.50/1677.00 c nbDecision=815500 #constraints=74929 1677.50/1678.09 c nbDecision=816000 #constraints=74937 1678.50/1679.00 c nbDecision=816500 #constraints=74947 1679.60/1680.19 c nbDecision=817000 #constraints=74950 1680.80/1681.32 c nbDecision=817500 #constraints=74957 1681.70/1682.25 c nbDecision=818000 #constraints=74959 1682.90/1683.47 c nbDecision=818500 #constraints=74966 1683.80/1684.33 c nbDecision=819000 #constraints=74981 1684.30/1684.84 c restart after 819201 decisions 1686.20/1686.71 c nbDecision=819500 #constraints=75024 1688.01/1688.54 c nbDecision=820000 #constraints=75096 1689.70/1690.24 c nbDecision=820500 #constraints=75144 1691.80/1692.34 c nbDecision=821000 #constraints=75233 1693.30/1693.87 c nbDecision=821500 #constraints=75293 1695.00/1695.57 c nbDecision=822000 #constraints=75324 1696.40/1696.91 c nbDecision=822500 #constraints=75367 1698.20/1698.74 c nbDecision=823000 #constraints=75426 1699.90/1700.47 c nbDecision=823500 #constraints=75491 1701.50/1702.01 c nbDecision=824000 #constraints=75540 1703.30/1703.85 c nbDecision=824500 #constraints=75583 1704.90/1705.43 c nbDecision=825000 #constraints=75630 1706.10/1706.69 c nbDecision=825500 #constraints=75654 1707.39/1707.94 c nbDecision=826000 #constraints=75689 1708.69/1709.24 c nbDecision=826500 #constraints=75708 1710.29/1710.80 c nbDecision=827000 #constraints=75748 1711.59/1712.18 c nbDecision=827500 #constraints=75778 1713.49/1714.03 c nbDecision=828000 #constraints=75819 1714.99/1715.58 c nbDecision=828500 #constraints=75861 1716.39/1716.94 c nbDecision=829000 #constraints=75881 1717.69/1718.24 c nbDecision=829500 #constraints=75907 1719.09/1719.62 c nbDecision=830000 #constraints=75932 1720.39/1721.00 c nbDecision=830500 #constraints=75960 1721.69/1722.27 c nbDecision=831000 #constraints=75982 1723.09/1723.69 c nbDecision=831500 #constraints=76017 1724.49/1725.08 c nbDecision=832000 #constraints=76046 1725.99/1726.54 c nbDecision=832500 #constraints=76058 1727.19/1727.76 c nbDecision=833000 #constraints=76085 1728.59/1729.14 c nbDecision=833500 #constraints=76112 1730.19/1730.75 c nbDecision=834000 #constraints=76144 1731.68/1732.22 c nbDecision=834500 #constraints=76172 1732.78/1733.36 c nbDecision=835000 #constraints=76184 1734.19/1734.77 c nbDecision=835500 #constraints=76208 1735.29/1735.82 c nbDecision=836000 #constraints=76217 1736.58/1737.18 c nbDecision=836500 #constraints=76239 1737.78/1738.32 c nbDecision=837000 #constraints=76258 1739.08/1739.61 c nbDecision=837500 #constraints=76273 1740.28/1740.81 c nbDecision=838000 #constraints=76309 1741.28/1741.88 c nbDecision=838500 #constraints=76325 1742.68/1743.27 c nbDecision=839000 #constraints=76349 1743.88/1744.49 c nbDecision=839500 #constraints=76378 1745.09/1745.69 c nbDecision=840000 #constraints=76397 1746.58/1747.13 c nbDecision=840500 #constraints=76436 1748.28/1748.90 c nbDecision=841000 #constraints=76476 1749.68/1750.29 c nbDecision=841500 #constraints=76509 1751.08/1751.61 c nbDecision=842000 #constraints=76532 1752.18/1752.78 c nbDecision=842500 #constraints=76564 1753.28/1753.83 c nbDecision=843000 #constraints=76585 1754.78/1755.37 c nbDecision=843500 #constraints=76607 1756.18/1756.73 c nbDecision=844000 #constraints=76649 1757.78/1758.36 c nbDecision=844500 #constraints=76684 1758.98/1759.59 c nbDecision=845000 #constraints=76713 1760.38/1760.93 c nbDecision=845500 #constraints=76735 1761.68/1762.23 c nbDecision=846000 #constraints=76758 1763.08/1763.66 c nbDecision=846500 #constraints=76792 1764.38/1764.92 c nbDecision=847000 #constraints=76823 1765.28/1765.84 c nbDecision=847500 #constraints=76836 1766.67/1767.24 c nbDecision=848000 #constraints=76851 1767.67/1768.25 c nbDecision=848500 #constraints=76860 1768.87/1769.47 c nbDecision=849000 #constraints=76869 1769.77/1770.36 c nbDecision=849500 #constraints=76878 1770.97/1771.59 c nbDecision=850000 #constraints=76892 1772.27/1772.81 c nbDecision=850500 #constraints=76915 1773.67/1774.24 c nbDecision=851000 #constraints=76949 1774.77/1775.37 c nbDecision=851500 #constraints=76968 1776.17/1776.76 c nbDecision=852000 #constraints=77000 1777.27/1777.86 c nbDecision=852500 #constraints=77018 1778.57/1779.10 c nbDecision=853000 #constraints=77040 1779.77/1780.39 c nbDecision=853500 #constraints=77072 1780.87/1781.48 c nbDecision=854000 #constraints=77087 1782.37/1782.94 c nbDecision=854500 #constraints=77104 1783.57/1784.16 c nbDecision=855000 #constraints=77115 1785.06/1785.62 c nbDecision=855500 #constraints=77149 1785.96/1786.57 c nbDecision=856000 #constraints=77169 1787.47/1788.01 c nbDecision=856500 #constraints=77186 1788.47/1789.05 c nbDecision=857000 #constraints=77206 1789.87/1790.47 c nbDecision=857500 #constraints=77231 1790.87/1791.48 c nbDecision=858000 #constraints=77245 1792.27/1792.80 c nbDecision=858500 #constraints=77255 1793.67/1794.28 c nbDecision=859000 #constraints=77299 1795.17/1795.72 c nbDecision=859500 #constraints=77324 1796.17/1796.78 c nbDecision=860000 #constraints=77341 1797.57/1798.14 c nbDecision=860500 #constraints=77366 1798.87/1799.45 c nbDecision=861000 #constraints=77381 1800.07/1800.61 Received signal 15 1800.17/1800.79 1800.17/1800.79 s UNKNOWN 1800.17/1800.79 1800.17/1800.79 c user time= 1799.6 s 1800.17/1800.79 c system time= 0.664898 s 1800.17/1800.79 c wall clock time=1800.79
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-357031-1176852238 -o ROOT/results/node41/solver-357031-1176852238 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357031-1176852238/instance-357031-1176852238.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: 1.00 1.00 1.00 3/77 5326 /proc/meminfo: memFree=1742536/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=1620 CPUtime=0 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 133135682 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 405 175 126 317 0 84 0 [startup+0.0497841 s] /proc/loadavg: 1.00 1.00 1.00 3/77 5326 /proc/meminfo: memFree=1742536/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=2300 CPUtime=0.04 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 405 0 0 0 4 0 0 0 18 0 1 0 133135682 2355200 354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272594 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 575 355 131 317 0 254 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2300 [startup+0.101789 s] /proc/loadavg: 1.00 1.00 1.00 3/77 5326 /proc/meminfo: memFree=1742536/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=3364 CPUtime=0.09 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 659 0 0 0 9 0 0 0 18 0 1 0 133135682 3444736 608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 841 609 131 317 0 520 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.301805 s] /proc/loadavg: 1.00 1.00 1.00 3/77 5326 /proc/meminfo: memFree=1742536/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=6976 CPUtime=0.29 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 1558 0 0 0 29 0 0 0 19 0 1 0 133135682 7143424 1507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 1744 1507 137 317 0 1423 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6976 [startup+0.70184 s] /proc/loadavg: 1.00 1.00 1.00 3/77 5326 /proc/meminfo: memFree=1742536/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=7492 CPUtime=0.69 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 1681 0 0 0 69 0 0 0 22 0 1 0 133135682 7671808 1630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 1873 1630 139 317 0 1552 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7492 [startup+1.50191 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5327 /proc/meminfo: memFree=1736064/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=8772 CPUtime=1.49 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 2002 0 0 0 149 0 0 0 25 0 1 0 133135682 8982528 1951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135459514 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 2193 1951 139 317 0 1872 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8772 [startup+3.10105 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5327 /proc/meminfo: memFree=1733824/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=12468 CPUtime=3.09 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 2945 0 0 0 308 1 0 0 25 0 1 0 133135682 12767232 2894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 3117 2894 170 317 0 2796 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12468 [startup+6.30133 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5327 /proc/meminfo: memFree=1727104/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=17852 CPUtime=6.29 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 4324 0 0 0 627 2 0 0 25 0 1 0 133135682 18280448 4273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 4463 4273 170 317 0 4142 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17852 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5327 /proc/meminfo: memFree=1719168/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=25132 CPUtime=12.69 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 6157 0 0 0 1265 4 0 0 25 0 1 0 133135682 25735168 6063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 6283 6063 170 317 0 5962 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25132 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5327 /proc/meminfo: memFree=1708608/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=35880 CPUtime=25.49 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 8873 0 0 0 2542 7 0 0 25 0 1 0 133135682 36741120 8694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 8970 8694 170 317 0 8649 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35880 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5327 /proc/meminfo: memFree=1694528/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=49492 CPUtime=51.07 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 12310 0 0 0 5097 10 0 0 25 0 1 0 133135682 50679808 12131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 12373 12131 170 317 0 12052 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49492 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5327 /proc/meminfo: memFree=1675968/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=68296 CPUtime=102.27 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 16911 0 0 0 10212 15 0 0 25 0 1 0 133135682 69935104 16732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 17074 16732 170 317 0 16753 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 68296 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5327 /proc/meminfo: memFree=1663488/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=81420 CPUtime=162.25 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 20206 0 0 0 16206 19 0 0 25 0 1 0 133135682 83374080 19857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 20355 19857 170 317 0 20034 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 81420 [startup+222.301 s] /proc/loadavg: 1.03 1.01 1.00 2/78 5327 /proc/meminfo: memFree=1650560/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=93936 CPUtime=222.23 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 23433 0 0 0 22200 23 0 0 25 0 1 0 133135682 96190464 23084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 23484 23084 170 317 0 23163 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 93936 [startup+282.301 s] /proc/loadavg: 1.09 1.04 1.01 2/78 5327 /proc/meminfo: memFree=1637568/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=107212 CPUtime=282.21 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 26779 0 0 0 28194 27 0 0 25 0 1 0 133135682 109785088 26397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 26803 26397 170 317 0 26482 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 107212 [startup+342.301 s] /proc/loadavg: 1.03 1.03 1.00 2/78 5327 /proc/meminfo: memFree=1627648/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=117024 CPUtime=342.19 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 29209 0 0 0 34190 29 0 0 25 0 1 0 133135682 119832576 28827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 29256 28827 170 317 0 28935 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 117024 [startup+402.302 s] /proc/loadavg: 1.01 1.02 1.00 2/78 5327 /proc/meminfo: memFree=1613440/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=131536 CPUtime=402.17 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 32733 0 0 0 40184 33 0 0 25 0 1 0 133135682 134692864 32351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 32884 32351 170 317 0 32563 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 131536 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 5327 /proc/meminfo: memFree=1603200/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=143024 CPUtime=462.15 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 35569 0 0 0 46180 35 0 0 25 0 1 0 133135682 146456576 34849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 35756 34849 170 317 0 35435 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 143024 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 5327 /proc/meminfo: memFree=1596736/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=149508 CPUtime=522.12 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 37267 0 0 0 52175 37 0 0 25 0 1 0 133135682 153096192 36547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 37377 36547 170 317 0 37056 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 149508 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5327 /proc/meminfo: memFree=1588800/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=158564 CPUtime=582.11 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 39225 0 0 0 58172 39 0 0 25 0 1 0 133135682 162369536 38505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 39641 38505 170 317 0 39320 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 158564 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5327 /proc/meminfo: memFree=1582464/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=165276 CPUtime=642.1 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 40806 0 0 0 64169 41 0 0 25 0 1 0 133135682 169242624 40086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 41319 40086 170 317 0 40998 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 165276 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1565760/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=182336 CPUtime=882.03 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 44966 0 0 0 88155 48 0 0 25 0 1 0 133135682 186712064 44246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 45584 44246 170 317 0 45263 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 182336 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1562816/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=185272 CPUtime=942.02 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 45710 0 0 0 94153 49 0 0 25 0 1 0 133135682 189718528 44990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 46318 44990 170 317 0 45997 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 185272 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1559744/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=188408 CPUtime=1002 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 46483 0 0 0 100150 50 0 0 25 0 1 0 133135682 192929792 45698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 47102 45698 170 317 0 46781 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 188408 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1556992/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=191520 CPUtime=1061.98 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 47221 0 0 0 106147 51 0 0 25 0 1 0 133135682 196116480 46436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 47880 46436 170 317 0 47559 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 191520 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1554816/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=193824 CPUtime=1121.97 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 47777 0 0 0 112145 52 0 0 25 0 1 0 133135682 198475776 46992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 48456 46992 170 317 0 48135 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 193824 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1552576/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=195948 CPUtime=1181.96 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 48331 0 0 0 118142 54 0 0 25 0 1 0 133135682 200650752 47546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 48987 47546 170 317 0 48666 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 195948 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1550080/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=198332 CPUtime=1241.93 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 48942 0 0 0 124138 55 0 0 25 0 1 0 133135682 203091968 48157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 49583 48157 170 317 0 49262 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 198332 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1548288/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=200188 CPUtime=1301.92 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 49394 0 0 0 130136 56 0 0 25 0 1 0 133135682 204992512 48609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563813 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 50047 48609 170 317 0 49726 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 200188 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1544192/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=204188 CPUtime=1361.9 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 50405 0 0 0 136132 58 0 0 25 0 1 0 133135682 209088512 49620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 51047 49620 170 317 0 50726 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 204188 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1541696/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=206704 CPUtime=1421.89 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 51049 0 0 0 142130 59 0 0 25 0 1 0 133135682 211664896 50264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 51676 50264 170 317 0 51355 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 206704 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1539904/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=208552 CPUtime=1481.86 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 51506 0 0 0 148127 59 0 0 25 0 1 0 133135682 213557248 50721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 52138 50721 170 317 0 51817 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 208552 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1538240/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=210116 CPUtime=1541.85 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 51934 0 0 0 154124 61 0 0 25 0 1 0 133135682 215158784 51149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 52529 51149 170 317 0 52208 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 210116 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1536128/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=211956 CPUtime=1601.83 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 52460 0 0 0 160121 62 0 0 25 0 1 0 133135682 217042944 51675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 52989 51675 170 317 0 52668 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 211956 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1534336/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=213652 CPUtime=1661.81 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 52916 0 0 0 166118 63 0 0 25 0 1 0 133135682 218779648 52131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 53413 52131 170 317 0 53092 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 213652 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1530752/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=217668 CPUtime=1721.79 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 53823 0 0 0 172115 64 0 0 25 0 1 0 133135682 222892032 53038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 54417 53038 170 317 0 54096 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 217668 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5329 /proc/meminfo: memFree=1527808/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=220664 CPUtime=1781.77 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 54545 0 0 0 178112 65 0 0 25 0 1 0 133135682 225959936 53760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 55166 53760 170 317 0 54845 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 220664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 3/78 5329 /proc/meminfo: memFree=1526976/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=221320 CPUtime=1800.07 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 54740 0 0 0 179941 66 0 0 25 0 1 0 133135682 226631680 53955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 55330 53955 170 317 0 55009 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 221320 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 3/78 5329 /proc/meminfo: memFree=1526976/2055920 swapFree=4184436/4192956 [pid=5326] ppid=5324 vsize=218616 CPUtime=1800.26 /proc/5326/stat : 5326 (oree) R 5324 5326 4742 0 -1 4194304 54756 0 0 0 179960 66 0 0 25 0 1 0 133135682 223862784 53441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266212 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5326/statm: 54654 53441 186 317 0 54333 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 218616 Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.32 CPU user time (s): 1799.62 CPU system time (s): 0.701893 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 221320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.701893 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54756 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= 4068 runsolver used 2.10568 second user time and 4.53031 second system time The end
Begin job on node41 on Tue Apr 17 23:23:58 UTC 2007 IDJOB= 357031 IDBENCH= 1796 IDSOLVER= 172 FILE ID= node41/357031-1176852238 PBS_JOBID= 4590196 Free space on /tmp= 66498 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb COMMAND LINE= oree /tmp/evaluation/357031-1176852238/instance-357031-1176852238.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-357031-1176852238 -o ROOT/results/node41/solver-357031-1176852238 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357031-1176852238/instance-357031-1176852238.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 2ee0b4368a56ab3fadfc3737456bcd30 RANDOM SEED= 583496356 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1742944 kB Buffers: 28268 kB Cached: 99720 kB SwapCached: 2980 kB Active: 75000 kB Inactive: 184880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1742944 kB SwapTotal: 4192956 kB SwapFree: 4184436 kB Dirty: 1988 kB Writeback: 0 kB Mapped: 146456 kB Slab: 38300 kB Committed_AS: 2556988 kB PageTables: 2012 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66498 MiB End job on node41 on Tue Apr 17 23:54:01 UTC 2007