Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.18 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-bg512142.opb |
MD5SUM | 6816c7581e307ff85cc3550c4b71269a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 16800 |
Total number of constraints | 945 |
Number of constraints which are clauses | 11 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 934 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 183 |
Number of terms in the objective function | 9600 |
Biggest coefficient in the objective function | 3638 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 533064 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262141 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 533064 |
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.19/0.24 c ...done 0.19/0.24 c #vars=16800 #constraints=1186 hasObjective=yes 0.29/0.37 c res. mode=mod 0.29/0.37 c VSIDS like heuristics 0.29/0.37 c complete search running 0.39/0.43 c restart after 401 decisions 0.39/0.45 c nbDecision=500 #constraints=1186 0.49/0.50 c restart after 801 decisions 0.49/0.53 c nbDecision=1000 #constraints=1186 0.59/0.61 c nbDecision=1500 #constraints=1186 0.59/0.63 c restart after 1601 decisions 0.59/0.69 c nbDecision=2000 #constraints=1186 0.69/0.77 c nbDecision=2500 #constraints=1186 0.79/0.85 c nbDecision=3000 #constraints=1186 0.79/0.88 c restart after 3201 decisions 0.89/0.93 c nbDecision=3500 #constraints=1186 0.99/1.01 c nbDecision=4000 #constraints=1186 0.99/1.09 c nbDecision=4500 #constraints=1186 1.09/1.17 c nbDecision=5000 #constraints=1186 1.19/1.24 c nbDecision=5500 #constraints=1186 1.29/1.32 c nbDecision=6000 #constraints=1186 1.29/1.38 c restart after 6401 decisions 1.39/1.40 c nbDecision=6500 #constraints=1186 1.39/1.48 c nbDecision=7000 #constraints=1186 1.49/1.55 c nbDecision=7500 #constraints=1186 1.59/1.62 c nbDecision=8000 #constraints=1186 1.59/1.69 c nbDecision=8500 #constraints=1186 1.69/1.76 c nbDecision=9000 #constraints=1186 1.79/1.82 c nbDecision=9500 #constraints=1186 1.79/1.89 c nbDecision=10000 #constraints=1186 1.89/1.95 c nbDecision=10500 #constraints=1186 1.99/2.01 c nbDecision=11000 #constraints=1186 1.99/2.07 c nbDecision=11500 #constraints=1186 2.09/2.13 c nbDecision=12000 #constraints=1186 2.09/2.19 c nbDecision=12500 #constraints=1186 2.19/2.22 c restart after 12801 decisions 2.19/2.26 c nbDecision=13000 #constraints=1186 2.29/2.34 c nbDecision=13500 #constraints=1186 2.39/2.42 c nbDecision=14000 #constraints=1186 2.49/2.50 c nbDecision=14500 #constraints=1186 2.49/2.58 c nbDecision=15000 #constraints=1186 2.59/2.66 c nbDecision=15500 #constraints=1186 2.69/2.73 c nbDecision=16000 #constraints=1186 2.79/2.80 c nbDecision=16500 #constraints=1186 2.79/2.87 c nbDecision=17000 #constraints=1186 2.89/2.93 c nbDecision=17500 #constraints=1186 2.89/2.99 c nbDecision=18000 #constraints=1186 2.99/3.05 c nbDecision=18500 #constraints=1186 3.09/3.11 c nbDecision=19000 #constraints=1186 3.09/3.16 c nbDecision=19500 #constraints=1186 3.49/3.57 c nbDecision=20000 #constraints=1285 4.19/4.28 c nbDecision=20500 #constraints=1467 5.09/5.10 c nbDecision=21000 #constraints=1693 5.59/5.60 c nbDecision=21500 #constraints=1823 6.29/6.36 c nbDecision=22000 #constraints=2029 6.89/6.99 c nbDecision=22500 #constraints=2206 7.59/7.65 c nbDecision=23000 #constraints=2367 8.29/8.40 c nbDecision=23500 #constraints=2537 8.89/8.94 c nbDecision=24000 #constraints=2662 9.69/9.76 c nbDecision=24500 #constraints=2857 10.29/10.38 c nbDecision=25000 #constraints=2996 10.89/10.94 c nbDecision=25500 #constraints=3112 10.99/11.04 c restart after 25601 decisions 11.08/11.18 c nbDecision=26000 #constraints=3127 11.18/11.26 c nbDecision=26500 #constraints=3127 11.28/11.35 c nbDecision=27000 #constraints=3127 11.38/11.43 c nbDecision=27500 #constraints=3127 11.48/11.51 c nbDecision=28000 #constraints=3127 11.48/11.59 c nbDecision=28500 #constraints=3127 11.58/11.66 c nbDecision=29000 #constraints=3127 11.69/11.74 c nbDecision=29500 #constraints=3127 11.79/11.81 c nbDecision=30000 #constraints=3127 11.79/11.87 c nbDecision=30500 #constraints=3127 11.89/11.93 c nbDecision=31000 #constraints=3127 11.89/11.99 c nbDecision=31500 #constraints=3127 11.99/12.05 c nbDecision=32000 #constraints=3127 12.09/12.12 c nbDecision=32500 #constraints=3127 12.68/12.77 c nbDecision=33000 #constraints=3254 13.19/13.29 c nbDecision=33500 #constraints=3358 13.89/13.94 c nbDecision=34000 #constraints=3491 14.39/14.49 c nbDecision=34500 #constraints=3595 15.08/15.11 c nbDecision=35000 #constraints=3713 15.59/15.64 c nbDecision=35500 #constraints=3795 16.19/16.20 c nbDecision=36000 #constraints=3905 16.89/16.94 c nbDecision=36500 #constraints=4049 17.49/17.57 c nbDecision=37000 #constraints=4159 18.19/18.29 c nbDecision=37500 #constraints=4277 18.88/18.98 c nbDecision=38000 #constraints=4385 19.79/19.80 c nbDecision=38500 #constraints=4537 20.39/20.43 c nbDecision=39000 #constraints=4649 21.08/21.19 c nbDecision=39500 #constraints=4777 21.69/21.71 c nbDecision=40000 #constraints=4850 22.28/22.35 c nbDecision=40500 #constraints=4949 22.78/22.89 c nbDecision=41000 #constraints=5033 23.29/23.37 c nbDecision=41500 #constraints=5112 23.99/24.03 c nbDecision=42000 #constraints=5208 24.58/24.61 c nbDecision=42500 #constraints=5299 25.08/25.20 c nbDecision=43000 #constraints=5389 25.58/25.67 c nbDecision=43500 #constraints=5451 26.09/26.14 c nbDecision=44000 #constraints=5514 26.59/26.69 c nbDecision=44500 #constraints=5586 27.28/27.32 c nbDecision=45000 #constraints=5670 27.68/27.79 c nbDecision=45500 #constraints=5734 28.28/28.35 c nbDecision=46000 #constraints=5814 28.88/28.98 c nbDecision=46500 #constraints=5915 29.38/29.49 c nbDecision=47000 #constraints=5981 30.08/30.10 c nbDecision=47500 #constraints=6066 30.68/30.77 c nbDecision=48000 #constraints=6164 31.29/31.30 c nbDecision=48500 #constraints=6228 31.89/31.93 c nbDecision=49000 #constraints=6311 32.48/32.59 c nbDecision=49500 #constraints=6393 33.18/33.23 c nbDecision=50000 #constraints=6478 33.78/33.87 c nbDecision=50500 #constraints=6555 34.48/34.56 c nbDecision=51000 #constraints=6651 34.68/34.77 c restart after 51201 decisions 34.98/35.06 c nbDecision=51500 #constraints=6679 35.08/35.15 c nbDecision=52000 #constraints=6679 35.18/35.27 c nbDecision=52500 #constraints=6679 35.28/35.38 c nbDecision=53000 #constraints=6679 35.38/35.48 c nbDecision=53500 #constraints=6679 35.48/35.59 c nbDecision=54000 #constraints=6679 35.58/35.68 c nbDecision=54500 #constraints=6679 35.68/35.78 c nbDecision=55000 #constraints=6679 35.78/35.87 c nbDecision=55500 #constraints=6679 35.88/35.94 c nbDecision=56000 #constraints=6679 35.98/36.00 c nbDecision=56500 #constraints=6679 35.98/36.07 c nbDecision=57000 #constraints=6679 36.08/36.14 c nbDecision=57500 #constraints=6679 36.18/36.25 c nbDecision=58000 #constraints=6679 36.68/36.72 c nbDecision=58500 #constraints=6741 37.28/37.34 c nbDecision=59000 #constraints=6825 37.78/37.84 c nbDecision=59500 #constraints=6872 38.38/38.45 c nbDecision=60000 #constraints=6945 38.88/38.94 c nbDecision=60500 #constraints=6999 39.38/39.42 c nbDecision=61000 #constraints=7045 39.88/39.93 c nbDecision=61500 #constraints=7102 40.58/40.61 c nbDecision=62000 #constraints=7185 40.97/41.09 c nbDecision=62500 #constraints=7237 41.58/41.68 c nbDecision=63000 #constraints=7305 42.18/42.26 c nbDecision=63500 #constraints=7382 42.68/42.74 c nbDecision=64000 #constraints=7430 43.47/43.53 c nbDecision=64500 #constraints=7527 44.17/44.24 c nbDecision=65000 #constraints=7623 44.98/45.03 c nbDecision=65500 #constraints=7716 45.27/45.34 c nbDecision=66000 #constraints=7733 45.98/46.02 c nbDecision=66500 #constraints=7818 46.48/46.58 c nbDecision=67000 #constraints=7881 47.28/47.36 c nbDecision=67500 #constraints=7969 47.57/47.68 c nbDecision=68000 #constraints=7983 48.07/48.19 c nbDecision=68500 #constraints=8036 48.57/48.67 c nbDecision=69000 #constraints=8080 49.07/49.20 c nbDecision=69500 #constraints=8129 49.57/49.66 c nbDecision=70000 #constraints=8172 50.17/50.24 c nbDecision=70500 #constraints=8232 50.67/50.77 c nbDecision=71000 #constraints=8283 51.28/51.37 c nbDecision=71500 #constraints=8340 51.87/51.97 c nbDecision=72000 #constraints=8396 52.47/52.57 c nbDecision=72500 #constraints=8453 52.98/53.05 c nbDecision=73000 #constraints=8486 53.48/53.56 c nbDecision=73500 #constraints=8527 54.18/54.26 c nbDecision=74000 #constraints=8591 54.88/54.91 c nbDecision=74500 #constraints=8660 55.27/55.36 c nbDecision=75000 #constraints=8695 55.77/55.83 c nbDecision=75500 #constraints=8739 56.37/56.42 c nbDecision=76000 #constraints=8798 56.87/56.95 c nbDecision=76500 #constraints=8844 57.48/57.50 c nbDecision=77000 #constraints=8898 57.88/57.93 c nbDecision=77500 #constraints=8921 58.67/58.73 c nbDecision=78000 #constraints=9015 59.07/59.17 c nbDecision=78500 #constraints=9041 59.67/59.72 c nbDecision=79000 #constraints=9089 60.07/60.12 c nbDecision=79500 #constraints=9115 60.57/60.61 c nbDecision=80000 #constraints=9144 60.97/61.03 c nbDecision=80500 #constraints=9172 61.67/61.74 c nbDecision=81000 #constraints=9230 62.27/62.36 c nbDecision=81500 #constraints=9281 63.07/63.10 c nbDecision=82000 #constraints=9346 63.57/63.61 c nbDecision=82500 #constraints=9381 64.07/64.10 c nbDecision=83000 #constraints=9417 64.47/64.56 c nbDecision=83500 #constraints=9449 65.07/65.10 c nbDecision=84000 #constraints=9489 65.67/65.76 c nbDecision=84500 #constraints=9545 66.17/66.22 c nbDecision=85000 #constraints=9580 66.57/66.65 c nbDecision=85500 #constraints=9603 67.27/67.31 c nbDecision=86000 #constraints=9660 67.86/67.93 c nbDecision=86500 #constraints=9709 68.47/68.55 c nbDecision=87000 #constraints=9761 68.87/68.98 c nbDecision=87500 #constraints=9783 69.57/69.61 c nbDecision=88000 #constraints=9838 70.07/70.19 c nbDecision=88500 #constraints=9898 70.67/70.72 c nbDecision=89000 #constraints=9944 71.17/71.21 c nbDecision=89500 #constraints=9983 71.77/71.89 c nbDecision=90000 #constraints=10045 72.37/72.43 c nbDecision=90500 #constraints=10092 72.97/73.08 c nbDecision=91000 #constraints=10154 73.57/73.62 c nbDecision=91500 #constraints=10199 74.07/74.17 c nbDecision=92000 #constraints=10232 74.57/74.65 c nbDecision=92500 #constraints=10267 75.07/75.19 c nbDecision=93000 #constraints=10315 75.67/75.71 c nbDecision=93500 #constraints=10353 76.17/76.28 c nbDecision=94000 #constraints=10387 76.67/76.73 c nbDecision=94500 #constraints=10414 77.27/77.35 c nbDecision=95000 #constraints=10462 77.67/77.74 c nbDecision=95500 #constraints=10476 78.27/78.35 c nbDecision=96000 #constraints=10523 78.97/79.06 c nbDecision=96500 #constraints=10590 79.57/79.63 c nbDecision=97000 #constraints=10626 80.17/80.27 c nbDecision=97500 #constraints=10668 80.77/80.89 c nbDecision=98000 #constraints=10710 81.37/81.48 c nbDecision=98500 #constraints=10753 81.86/81.99 c nbDecision=99000 #constraints=10776 82.37/82.49 c nbDecision=99500 #constraints=10814 83.17/83.23 c nbDecision=100000 #constraints=10870 83.57/83.66 c nbDecision=100500 #constraints=10886 84.07/84.16 c nbDecision=101000 #constraints=10913 84.77/84.81 c nbDecision=101500 #constraints=10966 85.47/85.51 c nbDecision=102000 #constraints=11017 85.86/85.97 c restart after 102401 decisions 86.46/86.54 c nbDecision=102500 #constraints=11043 86.56/86.66 c nbDecision=103000 #constraints=11043 86.66/86.79 c nbDecision=103500 #constraints=11043 86.87/86.99 c nbDecision=104000 #constraints=11043 87.06/87.12 c nbDecision=104500 #constraints=11043 87.16/87.26 c nbDecision=105000 #constraints=11043 87.26/87.37 c nbDecision=105500 #constraints=11043 87.46/87.53 c nbDecision=106000 #constraints=11043 87.56/87.68 c nbDecision=106500 #constraints=11043 87.66/87.76 c nbDecision=107000 #constraints=11043 87.76/87.83 c nbDecision=107500 #constraints=11043 87.76/87.90 c nbDecision=108000 #constraints=11043 87.87/88.00 c nbDecision=108500 #constraints=11043 88.06/88.12 c nbDecision=109000 #constraints=11043 88.26/88.38 c nbDecision=109500 #constraints=11049 88.76/88.89 c nbDecision=110000 #constraints=11077 89.36/89.42 c nbDecision=110500 #constraints=11112 89.96/90.01 c nbDecision=111000 #constraints=11148 90.56/90.68 c nbDecision=111500 #constraints=11207 91.06/91.14 c nbDecision=112000 #constraints=11231 91.87/91.91 c nbDecision=112500 #constraints=11286 93.07/93.15 c nbDecision=113000 #constraints=11401 93.86/93.93 c nbDecision=113500 #constraints=11455 94.57/94.69 c nbDecision=114000 #constraints=11528 95.26/95.38 c nbDecision=114500 #constraints=11585 96.06/96.17 c nbDecision=115000 #constraints=11645 96.77/96.82 c nbDecision=115500 #constraints=11688 97.36/97.44 c nbDecision=116000 #constraints=11727 98.56/98.60 c nbDecision=116500 #constraints=11834 99.66/99.75 c nbDecision=117000 #constraints=11939 100.26/100.38 c nbDecision=117500 #constraints=11991 101.17/101.21 c nbDecision=118000 #constraints=12063 101.76/101.89 c nbDecision=118500 #constraints=12112 102.46/102.51 c nbDecision=119000 #constraints=12144 103.06/103.13 c nbDecision=119500 #constraints=12182 103.76/103.88 c nbDecision=120000 #constraints=12244 104.26/104.35 c nbDecision=120500 #constraints=12263 104.96/105.06 c nbDecision=121000 #constraints=12311 105.56/105.61 c nbDecision=121500 #constraints=12338 106.56/106.64 c nbDecision=122000 #constraints=12390 107.46/107.55 c nbDecision=122500 #constraints=12443 108.26/108.31 c nbDecision=123000 #constraints=12491 109.16/109.23 c nbDecision=123500 #constraints=12558 109.87/109.92 c nbDecision=124000 #constraints=12591 110.56/110.65 c nbDecision=124500 #constraints=12631 111.26/111.35 c nbDecision=125000 #constraints=12663 112.56/112.69 c nbDecision=125500 #constraints=12761 113.36/113.46 c nbDecision=126000 #constraints=12815 114.66/114.75 c nbDecision=126500 #constraints=12905 115.56/115.61 c nbDecision=127000 #constraints=12958 116.16/116.23 c nbDecision=127500 #constraints=12988 116.86/116.91 c nbDecision=128000 #constraints=13024 117.56/117.69 c nbDecision=128500 #constraints=13071 118.16/118.22 c nbDecision=129000 #constraints=13098 118.66/118.73 c nbDecision=129500 #constraints=13110 119.55/119.62 c nbDecision=130000 #constraints=13163 120.15/120.26 c nbDecision=130500 #constraints=13198 120.75/120.84 c nbDecision=131000 #constraints=13216 121.55/121.64 c nbDecision=131500 #constraints=13263 122.15/122.29 c nbDecision=132000 #constraints=13293 122.76/122.88 c nbDecision=132500 #constraints=13311 123.46/123.58 c nbDecision=133000 #constraints=13338 124.16/124.24 c nbDecision=133500 #constraints=13373 124.76/124.87 c nbDecision=134000 #constraints=13399 125.66/125.74 c nbDecision=134500 #constraints=13453 126.76/126.85 c nbDecision=135000 #constraints=13522 127.46/127.55 c nbDecision=135500 #constraints=13556 128.25/128.34 c nbDecision=136000 #constraints=13588 129.35/129.42 c nbDecision=136500 #constraints=13659 129.95/130.08 c nbDecision=137000 #constraints=13686 131.65/131.79 c nbDecision=137500 #constraints=13806 132.95/133.06 c nbDecision=138000 #constraints=13884 135.26/135.33 c nbDecision=138500 #constraints=14052 136.26/136.39 c nbDecision=139000 #constraints=14118 137.36/137.41 c nbDecision=139500 #constraints=14172 139.36/139.40 c nbDecision=140000 #constraints=14314 140.95/141.08 c nbDecision=140500 #constraints=14422 141.76/141.87 c nbDecision=141000 #constraints=14454 142.75/142.80 c nbDecision=141500 #constraints=14500 144.25/144.32 c nbDecision=142000 #constraints=14610 144.95/145.07 c nbDecision=142500 #constraints=14651 146.25/146.37 c nbDecision=143000 #constraints=14726 147.75/147.81 c nbDecision=143500 #constraints=14806 149.15/149.23 c nbDecision=144000 #constraints=14897 149.85/149.95 c nbDecision=144500 #constraints=14921 150.55/150.64 c nbDecision=145000 #constraints=14945 151.35/151.46 c nbDecision=145500 #constraints=14990 152.34/152.42 c nbDecision=146000 #constraints=15046 153.45/153.59 c nbDecision=146500 #constraints=15109 154.55/154.60 c nbDecision=147000 #constraints=15165 155.45/155.53 c nbDecision=147500 #constraints=15209 156.35/156.41 c nbDecision=148000 #constraints=15254 157.15/157.28 c nbDecision=148500 #constraints=15306 157.85/157.91 c nbDecision=149000 #constraints=15327 158.65/158.74 c nbDecision=149500 #constraints=15363 159.35/159.49 c nbDecision=150000 #constraints=15393 160.04/160.18 c nbDecision=150500 #constraints=15423 160.85/160.95 c nbDecision=151000 #constraints=15453 161.65/161.78 c nbDecision=151500 #constraints=15507 162.45/162.59 c nbDecision=152000 #constraints=15537 163.25/163.37 c nbDecision=152500 #constraints=15567 164.15/164.28 c nbDecision=153000 #constraints=15612 164.85/164.97 c nbDecision=153500 #constraints=15642 165.64/165.72 c nbDecision=154000 #constraints=15677 166.24/166.30 c nbDecision=154500 #constraints=15687 166.74/166.88 c nbDecision=155000 #constraints=15702 167.84/167.96 c nbDecision=155500 #constraints=15753 168.64/168.75 c nbDecision=156000 #constraints=15789 169.25/169.39 c nbDecision=156500 #constraints=15805 170.34/170.48 c nbDecision=157000 #constraints=15853 170.74/170.85 c nbDecision=157500 #constraints=15854 171.55/171.67 c nbDecision=158000 #constraints=15889 172.25/172.35 c nbDecision=158500 #constraints=15917 172.85/172.92 c nbDecision=159000 #constraints=15930 173.45/173.57 c nbDecision=159500 #constraints=15959 174.05/174.16 c nbDecision=160000 #constraints=15978 174.85/174.96 c nbDecision=160500 #constraints=16002 175.64/175.75 c nbDecision=161000 #constraints=16038 176.44/176.50 c nbDecision=161500 #constraints=16069 177.24/177.34 c nbDecision=162000 #constraints=16101 177.94/178.05 c nbDecision=162500 #constraints=16132 178.64/178.71 c nbDecision=163000 #constraints=16150 179.35/179.47 c nbDecision=163500 #constraints=16179 180.35/180.42 c nbDecision=164000 #constraints=16227 180.95/181.05 c nbDecision=164500 #constraints=16238 181.55/181.60 c nbDecision=165000 #constraints=16251 182.35/182.49 c nbDecision=165500 #constraints=16299 183.15/183.28 c nbDecision=166000 #constraints=16324 184.15/184.20 c nbDecision=166500 #constraints=16373 184.75/184.82 c nbDecision=167000 #constraints=16393 185.34/185.44 c nbDecision=167500 #constraints=16411 186.14/186.26 c nbDecision=168000 #constraints=16452 187.04/187.13 c nbDecision=168500 #constraints=16484 188.14/188.24 c nbDecision=169000 #constraints=16529 189.64/189.75 c nbDecision=169500 #constraints=16580 190.94/191.06 c nbDecision=170000 #constraints=16646 192.53/192.66 c nbDecision=170500 #constraints=16708 193.44/193.53 c nbDecision=171000 #constraints=16738 194.04/194.15 c nbDecision=171500 #constraints=16747 195.04/195.12 c nbDecision=172000 #constraints=16790 195.84/195.98 c nbDecision=172500 #constraints=16817 197.14/197.26 c nbDecision=173000 #constraints=16895 198.04/198.14 c nbDecision=173500 #constraints=16920 198.94/199.09 c nbDecision=174000 #constraints=16957 200.14/200.22 c nbDecision=174500 #constraints=16996 201.04/201.10 c nbDecision=175000 #constraints=17036 202.14/202.29 c nbDecision=175500 #constraints=17087 203.94/204.00 c nbDecision=176000 #constraints=17162 204.64/204.79 c nbDecision=176500 #constraints=17187 205.64/205.75 c nbDecision=177000 #constraints=17220 206.44/206.55 c nbDecision=177500 #constraints=17239 207.44/207.51 c nbDecision=178000 #constraints=17271 208.44/208.52 c nbDecision=178500 #constraints=17322 209.14/209.28 c nbDecision=179000 #constraints=17351 209.94/210.09 c nbDecision=179500 #constraints=17392 210.73/210.86 c nbDecision=180000 #constraints=17426 211.43/211.58 c nbDecision=180500 #constraints=17448 212.93/213.07 c nbDecision=181000 #constraints=17485 214.63/214.76 c nbDecision=181500 #constraints=17545 216.34/216.40 c nbDecision=182000 #constraints=17607 217.84/217.95 c nbDecision=182500 #constraints=17655 219.43/219.59 c nbDecision=183000 #constraints=17725 220.33/220.43 c nbDecision=183500 #constraints=17753 221.33/221.42 c nbDecision=184000 #constraints=17789 222.33/222.44 c nbDecision=184500 #constraints=17810 223.03/223.18 c nbDecision=185000 #constraints=17825 223.93/224.02 c nbDecision=185500 #constraints=17853 224.83/224.95 c nbDecision=186000 #constraints=17875 225.73/225.85 c nbDecision=186500 #constraints=17904 226.63/226.75 c nbDecision=187000 #constraints=17936 228.23/228.35 c nbDecision=187500 #constraints=17982 229.13/229.22 c nbDecision=188000 #constraints=18008 230.43/230.58 c nbDecision=188500 #constraints=18048 231.63/231.76 c nbDecision=189000 #constraints=18084 232.73/232.89 c nbDecision=189500 #constraints=18119 233.33/233.49 c nbDecision=190000 #constraints=18128 234.23/234.32 c nbDecision=190500 #constraints=18162 235.73/235.81 c nbDecision=191000 #constraints=18223 236.43/236.53 c nbDecision=191500 #constraints=18235 237.62/237.74 c nbDecision=192000 #constraints=18283 238.54/238.68 c nbDecision=192500 #constraints=18317 239.64/239.77 c nbDecision=193000 #constraints=18361 240.93/241.04 c nbDecision=193500 #constraints=18413 241.63/241.76 c nbDecision=194000 #constraints=18423 242.53/242.67 c nbDecision=194500 #constraints=18460 244.32/244.40 c nbDecision=195000 #constraints=18513 245.23/245.36 c nbDecision=195500 #constraints=18545 246.23/246.35 c nbDecision=196000 #constraints=18562 247.02/247.11 c nbDecision=196500 #constraints=18582 248.02/248.11 c nbDecision=197000 #constraints=18616 249.12/249.29 c nbDecision=197500 #constraints=18651 250.32/250.46 c nbDecision=198000 #constraints=18699 251.12/251.21 c nbDecision=198500 #constraints=18714 252.32/252.41 c nbDecision=199000 #constraints=18753 253.02/253.18 c nbDecision=199500 #constraints=18768 253.92/254.01 c nbDecision=200000 #constraints=18792 254.92/255.04 c nbDecision=200500 #constraints=18816 255.52/255.63 c nbDecision=201000 #constraints=18820 256.62/256.70 c nbDecision=201500 #constraints=18878 257.82/257.91 c nbDecision=202000 #constraints=18910 258.73/258.81 c nbDecision=202500 #constraints=18945 259.83/259.90 c nbDecision=203000 #constraints=18973 260.63/260.75 c nbDecision=203500 #constraints=18996 261.73/261.89 c nbDecision=204000 #constraints=19038 262.83/262.98 c nbDecision=204500 #constraints=19080 263.43/263.52 c restart after 204801 decisions 264.82/264.97 c nbDecision=205000 #constraints=19096 265.03/265.12 c nbDecision=205500 #constraints=19096 265.12/265.29 c nbDecision=206000 #constraints=19096 265.52/265.63 c nbDecision=206500 #constraints=19096 265.72/265.86 c nbDecision=207000 #constraints=19096 266.03/266.10 c nbDecision=207500 #constraints=19096 266.13/266.26 c nbDecision=208000 #constraints=19096 266.42/266.50 c nbDecision=208500 #constraints=19096 266.62/266.70 c nbDecision=209000 #constraints=19096 266.72/266.86 c nbDecision=209500 #constraints=19096 266.82/266.92 c nbDecision=210000 #constraints=19096 266.92/267.02 c nbDecision=210500 #constraints=19096 267.13/267.21 c nbDecision=211000 #constraints=19096 267.32/267.42 c nbDecision=211500 #constraints=19096 268.53/268.62 c nbDecision=212000 #constraints=19112 269.12/269.26 c nbDecision=212500 #constraints=19123 269.82/269.93 c nbDecision=213000 #constraints=19145 270.32/270.50 c nbDecision=213500 #constraints=19155 270.92/271.08 c nbDecision=214000 #constraints=19158 271.72/271.82 c nbDecision=214500 #constraints=19189 272.52/272.70 c nbDecision=215000 #constraints=19220 273.92/274.05 c nbDecision=215500 #constraints=19254 274.62/274.73 c nbDecision=216000 #constraints=19276 275.22/275.38 c nbDecision=216500 #constraints=19290 275.92/276.02 c nbDecision=217000 #constraints=19304 277.22/277.35 c nbDecision=217500 #constraints=19332 277.91/278.09 c nbDecision=218000 #constraints=19356 278.61/278.74 c nbDecision=218500 #constraints=19379 280.01/280.10 c nbDecision=219000 #constraints=19428 280.82/280.92 c nbDecision=219500 #constraints=19463 281.42/281.52 c nbDecision=220000 #constraints=19474 282.02/282.14 c nbDecision=220500 #constraints=19492 283.02/283.15 c nbDecision=221000 #constraints=19509 283.62/283.76 c nbDecision=221500 #constraints=19518 284.42/284.58 c nbDecision=222000 #constraints=19554 285.32/285.49 c nbDecision=222500 #constraints=19588 286.62/286.76 c nbDecision=223000 #constraints=19636 287.32/287.49 c nbDecision=223500 #constraints=19659 287.92/288.01 c nbDecision=224000 #constraints=19665 288.72/288.85 c nbDecision=224500 #constraints=19696 289.62/289.73 c nbDecision=225000 #constraints=19711 290.51/290.66 c nbDecision=225500 #constraints=19747 291.51/291.64 c nbDecision=226000 #constraints=19777 292.31/292.41 c nbDecision=226500 #constraints=19818 293.32/293.43 c nbDecision=227000 #constraints=19851 294.02/294.15 c nbDecision=227500 #constraints=19863 294.72/294.89 c nbDecision=228000 #constraints=19881 295.52/295.65 c nbDecision=228500 #constraints=19893 296.22/296.32 c nbDecision=229000 #constraints=19909 297.12/297.22 c nbDecision=229500 #constraints=19931 297.82/297.94 c nbDecision=230000 #constraints=19966 298.52/298.61 c nbDecision=230500 #constraints=19978 299.32/299.45 c nbDecision=231000 #constraints=19996 299.92/300.06 c nbDecision=231500 #constraints=20003 300.61/300.75 c nbDecision=232000 #constraints=20020 301.41/301.59 c nbDecision=232500 #constraints=20040 302.01/302.16 c nbDecision=233000 #constraints=20046 302.72/302.81 c nbDecision=233500 #constraints=20063 303.21/303.34 c nbDecision=234000 #constraints=20066 303.81/303.95 c nbDecision=234500 #constraints=20068 304.62/304.77 c nbDecision=235000 #constraints=20083 305.51/305.64 c nbDecision=235500 #constraints=20115 306.51/306.61 c nbDecision=236000 #constraints=20151 307.92/308.05 c nbDecision=236500 #constraints=20188 308.92/309.10 c nbDecision=237000 #constraints=20223 309.71/309.84 c nbDecision=237500 #constraints=20246 310.91/311.02 c nbDecision=238000 #constraints=20277 311.51/311.68 c nbDecision=238500 #constraints=20297 312.51/312.65 c nbDecision=239000 #constraints=20344 313.11/313.22 c nbDecision=239500 #constraints=20350 314.31/314.48 c nbDecision=240000 #constraints=20373 315.01/315.16 c nbDecision=240500 #constraints=20391 315.61/315.77 c nbDecision=241000 #constraints=20394 316.50/316.66 c nbDecision=241500 #constraints=20416 318.01/318.11 c nbDecision=242000 #constraints=20472 318.61/318.78 c nbDecision=242500 #constraints=20482 319.21/319.39 c nbDecision=243000 #constraints=20495 320.11/320.23 c nbDecision=243500 #constraints=20523 321.01/321.20 c nbDecision=244000 #constraints=20537 321.71/321.81 c nbDecision=244500 #constraints=20545 322.71/322.87 c nbDecision=245000 #constraints=20585 323.61/323.76 c nbDecision=245500 #constraints=20603 324.21/324.31 c nbDecision=246000 #constraints=20605 324.81/324.99 c nbDecision=246500 #constraints=20622 325.61/325.75 c nbDecision=247000 #constraints=20639 326.61/326.77 c nbDecision=247500 #constraints=20661 327.21/327.38 c nbDecision=248000 #constraints=20663 328.11/328.27 c nbDecision=248500 #constraints=20698 328.71/328.88 c nbDecision=249000 #constraints=20707 329.50/329.66 c nbDecision=249500 #constraints=20720 330.40/330.52 c nbDecision=250000 #constraints=20747 331.10/331.23 c nbDecision=250500 #constraints=20768 332.20/332.31 c nbDecision=251000 #constraints=20802 332.90/333.01 c nbDecision=251500 #constraints=20832 333.60/333.70 c nbDecision=252000 #constraints=20848 334.30/334.40 c nbDecision=252500 #constraints=20861 335.00/335.18 c nbDecision=253000 #constraints=20874 335.91/336.02 c nbDecision=253500 #constraints=20901 336.71/336.86 c nbDecision=254000 #constraints=20929 337.51/337.65 c nbDecision=254500 #constraints=20956 338.21/338.39 c nbDecision=255000 #constraints=20972 339.10/339.27 c nbDecision=255500 #constraints=21005 339.90/340.07 c nbDecision=256000 #constraints=21017 340.91/341.03 c nbDecision=256500 #constraints=21034 342.60/342.73 c nbDecision=257000 #constraints=21089 343.40/343.54 c nbDecision=257500 #constraints=21112 344.20/344.38 c nbDecision=258000 #constraints=21138 344.90/345.05 c nbDecision=258500 #constraints=21150 346.40/346.58 c nbDecision=259000 #constraints=21187 347.30/347.42 c nbDecision=259500 #constraints=21220 348.00/348.20 c nbDecision=260000 #constraints=21235 348.80/348.92 c nbDecision=260500 #constraints=21248 349.90/350.01 c nbDecision=261000 #constraints=21267 350.50/350.60 c nbDecision=261500 #constraints=21269 351.40/351.60 c nbDecision=262000 #constraints=21300 352.70/352.83 c nbDecision=262500 #constraints=21342 353.30/353.47 c nbDecision=263000 #constraints=21351 354.01/354.19 c nbDecision=263500 #constraints=21366 354.90/355.04 c nbDecision=264000 #constraints=21398 355.70/355.87 c nbDecision=264500 #constraints=21405 356.40/356.52 c nbDecision=265000 #constraints=21419 357.40/357.54 c nbDecision=265500 #constraints=21454 358.20/358.32 c nbDecision=266000 #constraints=21465 359.00/359.12 c nbDecision=266500 #constraints=21472 359.80/359.96 c nbDecision=267000 #constraints=21481 360.70/360.82 c nbDecision=267500 #constraints=21509 361.39/361.53 c nbDecision=268000 #constraints=21514 362.19/362.37 c nbDecision=268500 #constraints=21532 363.09/363.26 c nbDecision=269000 #constraints=21557 364.19/364.32 c nbDecision=269500 #constraints=21602 365.20/365.38 c nbDecision=270000 #constraints=21639 366.00/366.20 c nbDecision=270500 #constraints=21658 367.10/367.24 c nbDecision=271000 #constraints=21697 368.00/368.13 c nbDecision=271500 #constraints=21723 368.90/369.09 c nbDecision=272000 #constraints=21745 369.59/369.78 c nbDecision=272500 #constraints=21760 370.29/370.46 c nbDecision=273000 #constraints=21767 371.20/371.32 c nbDecision=273500 #constraints=21788 371.89/372.02 c nbDecision=274000 #constraints=21790 372.89/373.10 c nbDecision=274500 #constraints=21813 373.59/373.78 c nbDecision=275000 #constraints=21820 375.09/375.21 c nbDecision=275500 #constraints=21851 375.89/376.01 c nbDecision=276000 #constraints=21854 376.79/376.97 c nbDecision=276500 #constraints=21889 378.19/378.35 c nbDecision=277000 #constraints=21913 378.89/379.02 c nbDecision=277500 #constraints=21915 379.69/379.81 c nbDecision=278000 #constraints=21929 380.50/380.65 c nbDecision=278500 #constraints=21954 381.79/381.90 c nbDecision=279000 #constraints=21991 382.70/382.84 c nbDecision=279500 #constraints=22025 383.29/383.46 c nbDecision=280000 #constraints=22034 383.99/384.10 c nbDecision=280500 #constraints=22040 385.39/385.51 c nbDecision=281000 #constraints=22073 386.29/386.41 c nbDecision=281500 #constraints=22096 387.19/387.35 c nbDecision=282000 #constraints=22110 388.20/388.38 c nbDecision=282500 #constraints=22126 388.89/389.06 c nbDecision=283000 #constraints=22135 389.49/389.65 c nbDecision=283500 #constraints=22138 390.09/390.25 c nbDecision=284000 #constraints=22140 391.09/391.27 c nbDecision=284500 #constraints=22159 391.89/392.10 c nbDecision=285000 #constraints=22174 392.89/393.00 c nbDecision=285500 #constraints=22199 393.79/393.92 c nbDecision=286000 #constraints=22226 394.79/394.93 c nbDecision=286500 #constraints=22255 395.48/395.67 c nbDecision=287000 #constraints=22265 396.38/396.59 c nbDecision=287500 #constraints=22290 397.28/397.46 c nbDecision=288000 #constraints=22301 398.28/398.48 c nbDecision=288500 #constraints=22337 399.28/399.42 c nbDecision=289000 #constraints=22376 400.08/400.27 c nbDecision=289500 #constraints=22400 400.98/401.18 c nbDecision=290000 #constraints=22416 402.39/402.54 c nbDecision=290500 #constraints=22475 403.28/403.45 c nbDecision=291000 #constraints=22501 404.18/404.30 c nbDecision=291500 #constraints=22528 405.08/405.24 c nbDecision=292000 #constraints=22560 405.88/406.04 c nbDecision=292500 #constraints=22576 406.58/406.79 c nbDecision=293000 #constraints=22587 407.68/407.84 c nbDecision=293500 #constraints=22599 408.88/409.05 c nbDecision=294000 #constraints=22615 409.68/409.81 c nbDecision=294500 #constraints=22633 410.58/410.73 c nbDecision=295000 #constraints=22661 411.48/411.70 c nbDecision=295500 #constraints=22691 412.58/412.76 c nbDecision=296000 #constraints=22700 413.18/413.37 c nbDecision=296500 #constraints=22702 413.98/414.19 c nbDecision=297000 #constraints=22710 414.68/414.85 c nbDecision=297500 #constraints=22715 415.88/416.01 c nbDecision=298000 #constraints=22744 416.58/416.79 c nbDecision=298500 #constraints=22756 417.38/417.56 c nbDecision=299000 #constraints=22766 418.58/418.73 c nbDecision=299500 #constraints=22781 419.28/419.43 c nbDecision=300000 #constraints=22789 420.08/420.22 c nbDecision=300500 #constraints=22805 420.88/421.04 c nbDecision=301000 #constraints=22808 421.87/422.08 c nbDecision=301500 #constraints=22834 422.67/422.84 c nbDecision=302000 #constraints=22849 423.47/423.65 c nbDecision=302500 #constraints=22865 424.39/424.58 c nbDecision=303000 #constraints=22892 425.38/425.59 c nbDecision=303500 #constraints=22902 426.28/426.45 c nbDecision=304000 #constraints=22921 427.18/427.35 c nbDecision=304500 #constraints=22943 427.88/428.09 c nbDecision=305000 #constraints=22947 428.78/428.94 c nbDecision=305500 #constraints=22958 429.68/429.88 c nbDecision=306000 #constraints=22985 430.98/431.11 c nbDecision=306500 #constraints=23037 431.68/431.88 c nbDecision=307000 #constraints=23048 432.68/432.82 c nbDecision=307500 #constraints=23072 433.48/433.65 c nbDecision=308000 #constraints=23090 434.38/434.54 c nbDecision=308500 #constraints=23103 435.18/435.38 c nbDecision=309000 #constraints=23118 436.08/436.29 c nbDecision=309500 #constraints=23138 436.88/437.04 c nbDecision=310000 #constraints=23142 437.58/437.77 c nbDecision=310500 #constraints=23149 438.87/439.07 c nbDecision=311000 #constraints=23174 439.97/440.18 c nbDecision=311500 #constraints=23216 441.07/441.20 c nbDecision=312000 #constraints=23242 441.77/441.91 c nbDecision=312500 #constraints=23251 443.07/443.30 c nbDecision=313000 #constraints=23289 443.67/443.84 c nbDecision=313500 #constraints=23290 444.47/444.66 c nbDecision=314000 #constraints=23293 445.57/445.79 c nbDecision=314500 #constraints=23318 446.27/446.41 c nbDecision=315000 #constraints=23325 447.17/447.37 c nbDecision=315500 #constraints=23353 447.97/448.18 c nbDecision=316000 #constraints=23370 449.07/449.20 c nbDecision=316500 #constraints=23392 450.07/450.27 c nbDecision=317000 #constraints=23430 450.77/450.99 c nbDecision=317500 #constraints=23442 451.47/451.67 c nbDecision=318000 #constraints=23454 452.47/452.67 c nbDecision=318500 #constraints=23473 453.57/453.73 c nbDecision=319000 #constraints=23504 454.27/454.44 c nbDecision=319500 #constraints=23511 455.18/455.30 c nbDecision=320000 #constraints=23540 456.07/456.28 c nbDecision=320500 #constraints=23566 456.97/457.10 c nbDecision=321000 #constraints=23581 458.07/458.25 c nbDecision=321500 #constraints=23612 458.87/459.05 c nbDecision=322000 #constraints=23624 459.67/459.85 c nbDecision=322500 #constraints=23627 460.47/460.68 c nbDecision=323000 #constraints=23644 461.37/461.52 c nbDecision=323500 #constraints=23663 462.07/462.23 c nbDecision=324000 #constraints=23666 462.97/463.14 c nbDecision=324500 #constraints=23687 463.87/464.06 c nbDecision=325000 #constraints=23711 464.57/464.76 c nbDecision=325500 #constraints=23713 465.87/466.08 c nbDecision=326000 #constraints=23740 466.87/467.06 c nbDecision=326500 #constraints=23771 467.76/467.99 c nbDecision=327000 #constraints=23800 468.56/468.75 c nbDecision=327500 #constraints=23810 469.66/469.86 c nbDecision=328000 #constraints=23819 470.46/470.70 c nbDecision=328500 #constraints=23842 471.46/471.65 c nbDecision=329000 #constraints=23867 472.16/472.35 c nbDecision=329500 #constraints=23869 473.16/473.30 c nbDecision=330000 #constraints=23882 473.97/474.18 c nbDecision=330500 #constraints=23902 474.76/474.98 c nbDecision=331000 #constraints=23918 475.86/476.01 c nbDecision=331500 #constraints=23925 476.66/476.80 c nbDecision=332000 #constraints=23938 477.46/477.63 c nbDecision=332500 #constraints=23953 478.27/478.41 c nbDecision=333000 #constraints=23961 479.27/479.40 c nbDecision=333500 #constraints=23986 479.97/480.16 c nbDecision=334000 #constraints=23989 480.76/480.97 c nbDecision=334500 #constraints=23997 481.76/481.96 c nbDecision=335000 #constraints=24009 482.77/482.90 c nbDecision=335500 #constraints=24028 483.77/483.91 c nbDecision=336000 #constraints=24052 484.66/484.80 c nbDecision=336500 #constraints=24076 485.56/485.70 c nbDecision=337000 #constraints=24095 486.56/486.78 c nbDecision=337500 #constraints=24107 487.76/487.90 c nbDecision=338000 #constraints=24143 488.46/488.65 c nbDecision=338500 #constraints=24151 489.66/489.87 c nbDecision=339000 #constraints=24179 490.37/490.60 c nbDecision=339500 #constraints=24192 491.26/491.45 c nbDecision=340000 #constraints=24209 492.26/492.43 c nbDecision=340500 #constraints=24234 493.36/493.59 c nbDecision=341000 #constraints=24264 494.16/494.38 c nbDecision=341500 #constraints=24272 495.06/495.27 c nbDecision=342000 #constraints=24291 495.86/496.06 c nbDecision=342500 #constraints=24304 497.06/497.24 c nbDecision=343000 #constraints=24321 497.85/498.03 c nbDecision=343500 #constraints=24340 498.76/498.96 c nbDecision=344000 #constraints=24357 499.56/499.75 c nbDecision=344500 #constraints=24371 500.86/501.00 c nbDecision=345000 #constraints=24402 501.46/501.67 c nbDecision=345500 #constraints=24404 502.36/502.57 c nbDecision=346000 #constraints=24428 503.26/503.50 c nbDecision=346500 #constraints=24451 504.16/504.37 c nbDecision=347000 #constraints=24473 505.26/505.41 c nbDecision=347500 #constraints=24507 506.06/506.25 c nbDecision=348000 #constraints=24521 507.06/507.20 c nbDecision=348500 #constraints=24544 507.76/507.98 c nbDecision=349000 #constraints=24546 508.66/508.89 c nbDecision=349500 #constraints=24559 509.86/510.05 c nbDecision=350000 #constraints=24578 510.96/511.12 c nbDecision=350500 #constraints=24597 511.75/511.95 c nbDecision=351000 #constraints=24606 512.55/512.75 c nbDecision=351500 #constraints=24620 513.35/513.57 c nbDecision=352000 #constraints=24629 514.66/514.80 c nbDecision=352500 #constraints=24658 515.45/515.64 c nbDecision=353000 #constraints=24668 516.25/516.41 c nbDecision=353500 #constraints=24684 516.95/517.16 c nbDecision=354000 #constraints=24692 517.96/518.12 c nbDecision=354500 #constraints=24708 519.06/519.22 c nbDecision=355000 #constraints=24728 519.95/520.14 c nbDecision=355500 #constraints=24742 520.85/521.06 c nbDecision=356000 #constraints=24760 521.65/521.85 c nbDecision=356500 #constraints=24783 522.45/522.62 c nbDecision=357000 #constraints=24789 523.55/523.75 c nbDecision=357500 #constraints=24812 524.45/524.65 c nbDecision=358000 #constraints=24823 525.45/525.67 c nbDecision=358500 #constraints=24840 526.65/526.82 c nbDecision=359000 #constraints=24860 527.55/527.74 c nbDecision=359500 #constraints=24874 528.55/528.77 c nbDecision=360000 #constraints=24888 529.45/529.68 c nbDecision=360500 #constraints=24905 530.15/530.38 c nbDecision=361000 #constraints=24907 530.95/531.10 c nbDecision=361500 #constraints=24909 531.85/532.06 c nbDecision=362000 #constraints=24926 532.75/532.94 c nbDecision=362500 #constraints=24944 533.95/534.13 c nbDecision=363000 #constraints=24972 534.85/535.09 c nbDecision=363500 #constraints=24994 535.84/536.06 c nbDecision=364000 #constraints=25016 537.14/537.39 c nbDecision=364500 #constraints=25071 538.24/538.49 c nbDecision=365000 #constraints=25091 539.44/539.60 c nbDecision=365500 #constraints=25121 540.24/540.49 c nbDecision=366000 #constraints=25128 541.24/541.41 c nbDecision=366500 #constraints=25140 541.94/542.18 c nbDecision=367000 #constraints=25144 543.04/543.21 c nbDecision=367500 #constraints=25158 543.94/544.16 c nbDecision=368000 #constraints=25163 544.94/545.13 c nbDecision=368500 #constraints=25191 545.74/545.97 c nbDecision=369000 #constraints=25204 546.54/546.70 c nbDecision=369500 #constraints=25212 547.64/547.81 c nbDecision=370000 #constraints=25239 548.64/548.89 c nbDecision=370500 #constraints=25252 549.64/549.81 c nbDecision=371000 #constraints=25264 550.55/550.76 c nbDecision=371500 #constraints=25276 551.65/551.84 c nbDecision=372000 #constraints=25290 552.55/552.72 c nbDecision=372500 #constraints=25292 553.44/553.61 c nbDecision=373000 #constraints=25299 554.25/554.41 c nbDecision=373500 #constraints=25308 554.94/555.15 c nbDecision=374000 #constraints=25317 556.04/556.24 c nbDecision=374500 #constraints=25336 557.04/557.21 c nbDecision=375000 #constraints=25351 557.84/558.07 c nbDecision=375500 #constraints=25360 559.15/559.31 c nbDecision=376000 #constraints=25378 559.84/560.10 c nbDecision=376500 #constraints=25390 560.94/561.14 c nbDecision=377000 #constraints=25416 561.85/562.07 c nbDecision=377500 #constraints=25424 562.84/563.09 c nbDecision=378000 #constraints=25441 563.94/564.12 c nbDecision=378500 #constraints=25469 564.74/564.94 c nbDecision=379000 #constraints=25473 566.34/566.57 c nbDecision=379500 #constraints=25524 567.94/568.17 c nbDecision=380000 #constraints=25561 569.34/569.52 c nbDecision=380500 #constraints=25589 570.94/571.14 c nbDecision=381000 #constraints=25624 571.94/572.12 c nbDecision=381500 #constraints=25647 573.34/573.55 c nbDecision=382000 #constraints=25660 574.44/574.64 c nbDecision=382500 #constraints=25677 575.34/575.50 c nbDecision=383000 #constraints=25688 576.34/576.55 c nbDecision=383500 #constraints=25713 578.03/578.20 c nbDecision=384000 #constraints=25749 578.73/578.98 c nbDecision=384500 #constraints=25756 579.73/579.91 c nbDecision=385000 #constraints=25772 581.03/581.27 c nbDecision=385500 #constraints=25800 582.03/582.22 c nbDecision=386000 #constraints=25806 583.13/583.35 c nbDecision=386500 #constraints=25824 584.13/584.35 c nbDecision=387000 #constraints=25843 585.63/585.80 c nbDecision=387500 #constraints=25869 586.43/586.63 c nbDecision=388000 #constraints=25875 587.43/587.61 c nbDecision=388500 #constraints=25885 587.93/588.20 c nbDecision=389000 #constraints=25886 589.83/590.00 c nbDecision=389500 #constraints=25929 590.63/590.80 c nbDecision=390000 #constraints=25937 591.53/591.73 c nbDecision=390500 #constraints=25954 592.33/592.54 c nbDecision=391000 #constraints=25963 593.53/593.78 c nbDecision=391500 #constraints=25977 594.34/594.58 c nbDecision=392000 #constraints=25985 595.24/595.49 c nbDecision=392500 #constraints=25998 596.13/596.33 c nbDecision=393000 #constraints=26011 597.14/597.38 c nbDecision=393500 #constraints=26026 597.83/598.08 c nbDecision=394000 #constraints=26030 598.83/599.01 c nbDecision=394500 #constraints=26046 600.13/600.31 c nbDecision=395000 #constraints=26067 601.03/601.28 c nbDecision=395500 #constraints=26076 602.03/602.29 c nbDecision=396000 #constraints=26100 602.93/603.11 c nbDecision=396500 #constraints=26113 603.93/604.15 c nbDecision=397000 #constraints=26136 604.63/604.90 c nbDecision=397500 #constraints=26140 605.53/605.70 c nbDecision=398000 #constraints=26149 606.33/606.50 c nbDecision=398500 #constraints=26156 607.23/607.48 c nbDecision=399000 #constraints=26169 608.23/608.48 c nbDecision=399500 #constraints=26173 609.13/609.33 c nbDecision=400000 #constraints=26182 610.13/610.33 c nbDecision=400500 #constraints=26207 610.93/611.18 c nbDecision=401000 #constraints=26215 611.93/612.16 c nbDecision=401500 #constraints=26235 612.72/612.97 c nbDecision=402000 #constraints=26242 613.82/614.07 c nbDecision=402500 #constraints=26260 614.92/615.12 c nbDecision=403000 #constraints=26280 615.73/615.93 c nbDecision=403500 #constraints=26283 616.72/616.95 c nbDecision=404000 #constraints=26307 617.93/618.16 c nbDecision=404500 #constraints=26336 619.52/619.72 c nbDecision=405000 #constraints=26348 620.62/620.81 c nbDecision=405500 #constraints=26364 621.32/621.56 c nbDecision=406000 #constraints=26366 623.02/623.29 c nbDecision=406500 #constraints=26403 624.13/624.33 c nbDecision=407000 #constraints=26425 625.32/625.55 c nbDecision=407500 #constraints=26467 626.52/626.76 c nbDecision=408000 #constraints=26501 628.12/628.34 c nbDecision=408500 #constraints=26521 629.02/629.28 c nbDecision=409000 #constraints=26537 629.92/630.13 c nbDecision=409500 #constraints=26545 630.22/630.44 c restart after 409601 decisions 632.52/632.78 c nbDecision=410000 #constraints=26546 632.82/633.06 c nbDecision=410500 #constraints=26546 633.22/633.45 c nbDecision=411000 #constraints=26546 633.52/633.76 c nbDecision=411500 #constraints=26546 633.82/634.07 c nbDecision=412000 #constraints=26546 634.12/634.36 c nbDecision=412500 #constraints=26546 634.52/634.71 c nbDecision=413000 #constraints=26546 634.82/635.07 c nbDecision=413500 #constraints=26546 635.02/635.27 c nbDecision=414000 #constraints=26546 635.12/635.34 c nbDecision=414500 #constraints=26546 635.22/635.44 c nbDecision=415000 #constraints=26546 635.32/635.57 c nbDecision=415500 #constraints=26546 635.62/635.83 c nbDecision=416000 #constraints=26546 636.02/636.28 c nbDecision=416500 #constraints=26546 637.52/637.79 c nbDecision=417000 #constraints=26577 638.82/639.05 c nbDecision=417500 #constraints=26604 640.02/640.21 c nbDecision=418000 #constraints=26634 641.61/641.86 c nbDecision=418500 #constraints=26676 642.71/642.99 c nbDecision=419000 #constraints=26711 643.61/643.85 c nbDecision=419500 #constraints=26718 644.52/644.77 c nbDecision=420000 #constraints=26733 646.22/646.47 c nbDecision=420500 #constraints=26761 647.02/647.29 c nbDecision=421000 #constraints=26769 647.82/648.06 c nbDecision=421500 #constraints=26777 648.92/649.18 c nbDecision=422000 #constraints=26808 650.22/650.45 c nbDecision=422500 #constraints=26822 651.32/651.53 c nbDecision=423000 #constraints=26833 652.52/652.75 c nbDecision=423500 #constraints=26877 653.82/654.08 c nbDecision=424000 #constraints=26909 654.62/654.89 c nbDecision=424500 #constraints=26911 655.72/655.93 c nbDecision=425000 #constraints=26932 656.62/656.83 c nbDecision=425500 #constraints=26941 657.91/658.12 c nbDecision=426000 #constraints=26965 658.81/659.02 c nbDecision=426500 #constraints=26983 659.91/660.19 c nbDecision=427000 #constraints=27005 661.11/661.34 c nbDecision=427500 #constraints=27031 662.11/662.33 c nbDecision=428000 #constraints=27037 663.21/663.42 c nbDecision=428500 #constraints=27053 663.91/664.18 c nbDecision=429000 #constraints=27069 665.21/665.48 c nbDecision=429500 #constraints=27092 666.01/666.26 c nbDecision=430000 #constraints=27096 667.01/667.26 c nbDecision=430500 #constraints=27114 667.91/668.17 c nbDecision=431000 #constraints=27126 668.81/669.04 c nbDecision=431500 #constraints=27130 669.91/670.15 c nbDecision=432000 #constraints=27157 670.91/671.11 c nbDecision=432500 #constraints=27181 671.71/671.98 c nbDecision=433000 #constraints=27190 672.81/673.07 c nbDecision=433500 #constraints=27222 673.71/673.94 c nbDecision=434000 #constraints=27226 674.71/674.99 c nbDecision=434500 #constraints=27245 675.91/676.12 c nbDecision=435000 #constraints=27260 676.81/677.06 c nbDecision=435500 #constraints=27266 678.11/678.38 c nbDecision=436000 #constraints=27291 679.21/679.48 c nbDecision=436500 #constraints=27314 680.21/680.42 c nbDecision=437000 #constraints=27325 681.71/681.99 c nbDecision=437500 #constraints=27347 682.70/682.97 c nbDecision=438000 #constraints=27369 683.70/683.93 c nbDecision=438500 #constraints=27379 685.30/685.54 c nbDecision=439000 #constraints=27391 686.11/686.31 c nbDecision=439500 #constraints=27393 687.31/687.53 c nbDecision=440000 #constraints=27431 688.10/688.37 c nbDecision=440500 #constraints=27439 689.50/689.73 c nbDecision=441000 #constraints=27453 690.30/690.58 c nbDecision=441500 #constraints=27463 691.40/691.67 c nbDecision=442000 #constraints=27484 692.50/692.73 c nbDecision=442500 #constraints=27493 693.70/693.95 c nbDecision=443000 #constraints=27510 694.60/694.84 c nbDecision=443500 #constraints=27520 695.60/695.88 c nbDecision=444000 #constraints=27538 697.21/697.41 c nbDecision=444500 #constraints=27562 698.21/698.49 c nbDecision=445000 #constraints=27585 699.31/699.51 c nbDecision=445500 #constraints=27598 700.51/700.71 c nbDecision=446000 #constraints=27618 701.61/701.86 c nbDecision=446500 #constraints=27630 702.71/702.95 c nbDecision=447000 #constraints=27650 703.90/704.13 c nbDecision=447500 #constraints=27682 705.10/705.34 c nbDecision=448000 #constraints=27689 706.20/706.40 c nbDecision=448500 #constraints=27698 707.40/707.63 c nbDecision=449000 #constraints=27730 708.20/708.49 c nbDecision=449500 #constraints=27732 709.40/709.60 c nbDecision=450000 #constraints=27753 710.30/710.54 c nbDecision=450500 #constraints=27764 711.29/711.57 c nbDecision=451000 #constraints=27783 712.60/712.87 c nbDecision=451500 #constraints=27803 713.49/713.75 c nbDecision=452000 #constraints=27816 714.49/714.70 c nbDecision=452500 #constraints=27826 715.59/715.83 c nbDecision=453000 #constraints=27843 716.49/716.73 c nbDecision=453500 #constraints=27852 717.49/717.70 c nbDecision=454000 #constraints=27865 718.49/718.76 c nbDecision=454500 #constraints=27881 719.89/720.13 c nbDecision=455000 #constraints=27901 721.50/721.70 c nbDecision=455500 #constraints=27921 722.60/722.87 c nbDecision=456000 #constraints=27954 723.60/723.85 c nbDecision=456500 #constraints=27971 724.60/724.84 c nbDecision=457000 #constraints=27982 726.00/726.21 c nbDecision=457500 #constraints=28002 727.10/727.32 c nbDecision=458000 #constraints=28016 727.90/728.14 c nbDecision=458500 #constraints=28018 729.19/729.44 c nbDecision=459000 #constraints=28031 730.30/730.57 c nbDecision=459500 #constraints=28044 731.39/731.66 c nbDecision=460000 #constraints=28059 732.30/732.57 c nbDecision=460500 #constraints=28072 733.79/734.03 c nbDecision=461000 #constraints=28111 734.79/735.06 c nbDecision=461500 #constraints=28124 735.79/736.08 c nbDecision=462000 #constraints=28127 736.99/737.22 c nbDecision=462500 #constraints=28133 737.79/738.01 c nbDecision=463000 #constraints=28143 738.99/739.22 c nbDecision=463500 #constraints=28173 740.09/740.38 c nbDecision=464000 #constraints=28196 741.19/741.45 c nbDecision=464500 #constraints=28220 742.19/742.43 c nbDecision=465000 #constraints=28235 743.09/743.35 c nbDecision=465500 #constraints=28244 744.28/744.52 c nbDecision=466000 #constraints=28272 745.08/745.39 c nbDecision=466500 #constraints=28280 746.18/746.43 c nbDecision=467000 #constraints=28296 747.48/747.74 c nbDecision=467500 #constraints=28316 748.38/748.69 c nbDecision=468000 #constraints=28327 749.48/749.73 c nbDecision=468500 #constraints=28344 750.48/750.78 c nbDecision=469000 #constraints=28367 751.68/751.96 c nbDecision=469500 #constraints=28396 752.68/752.94 c nbDecision=470000 #constraints=28409 753.88/754.15 c nbDecision=470500 #constraints=28419 754.88/755.10 c nbDecision=471000 #constraints=28421 755.78/756.05 c nbDecision=471500 #constraints=28428 757.58/757.81 c nbDecision=472000 #constraints=28455 758.68/758.95 c nbDecision=472500 #constraints=28485 759.78/760.06 c nbDecision=473000 #constraints=28514 760.78/761.05 c nbDecision=473500 #constraints=28534 762.28/762.56 c nbDecision=474000 #constraints=28561 763.19/763.47 c nbDecision=474500 #constraints=28563 764.29/764.56 c nbDecision=475000 #constraints=28588 765.48/765.77 c nbDecision=475500 #constraints=28603 766.78/767.04 c nbDecision=476000 #constraints=28610 767.88/768.12 c nbDecision=476500 #constraints=28622 768.88/769.13 c nbDecision=477000 #constraints=28637 770.28/770.58 c nbDecision=477500 #constraints=28663 771.18/771.49 c nbDecision=478000 #constraints=28666 772.18/772.40 c nbDecision=478500 #constraints=28679 772.98/773.27 c nbDecision=479000 #constraints=28686 773.98/774.26 c nbDecision=479500 #constraints=28691 775.28/775.54 c nbDecision=480000 #constraints=28713 776.38/776.60 c nbDecision=480500 #constraints=28726 777.17/777.47 c nbDecision=481000 #constraints=28729 778.17/778.47 c nbDecision=481500 #constraints=28740 779.17/779.45 c nbDecision=482000 #constraints=28756 780.07/780.32 c nbDecision=482500 #constraints=28758 781.07/781.31 c nbDecision=483000 #constraints=28762 781.97/782.28 c nbDecision=483500 #constraints=28764 783.17/783.41 c nbDecision=484000 #constraints=28784 784.37/784.63 c nbDecision=484500 #constraints=28800 785.67/785.94 c nbDecision=485000 #constraints=28838 787.07/787.37 c nbDecision=485500 #constraints=28866 788.57/788.83 c nbDecision=486000 #constraints=28908 789.67/789.90 c nbDecision=486500 #constraints=28921 791.07/791.31 c nbDecision=487000 #constraints=28936 791.98/792.20 c nbDecision=487500 #constraints=28944 792.78/793.01 c nbDecision=488000 #constraints=28946 794.08/794.31 c nbDecision=488500 #constraints=28961 795.38/795.61 c nbDecision=489000 #constraints=28972 796.67/796.96 c nbDecision=489500 #constraints=28988 797.77/798.07 c nbDecision=490000 #constraints=29007 798.97/799.24 c nbDecision=490500 #constraints=29013 799.97/800.28 c nbDecision=491000 #constraints=29016 800.97/801.29 c nbDecision=491500 #constraints=29031 801.97/802.26 c nbDecision=492000 #constraints=29048 803.17/803.48 c nbDecision=492500 #constraints=29066 804.07/804.31 c nbDecision=493000 #constraints=29068 805.27/805.58 c nbDecision=493500 #constraints=29093 806.67/806.95 c nbDecision=494000 #constraints=29112 807.77/808.02 c nbDecision=494500 #constraints=29128 808.67/808.98 c nbDecision=495000 #constraints=29136 809.76/810.05 c nbDecision=495500 #constraints=29151 810.86/811.16 c nbDecision=496000 #constraints=29172 811.96/812.27 c nbDecision=496500 #constraints=29182 812.96/813.24 c nbDecision=497000 #constraints=29197 813.86/814.16 c nbDecision=497500 #constraints=29202 814.96/815.30 c nbDecision=498000 #constraints=29225 816.16/816.45 c nbDecision=498500 #constraints=29230 817.36/817.60 c nbDecision=499000 #constraints=29246 818.36/818.66 c nbDecision=499500 #constraints=29257 819.66/819.96 c nbDecision=500000 #constraints=29273 820.46/820.77 c nbDecision=500500 #constraints=29276 821.46/821.70 c nbDecision=501000 #constraints=29284 822.46/822.78 c nbDecision=501500 #constraints=29308 823.66/823.99 c nbDecision=502000 #constraints=29321 824.96/825.20 c nbDecision=502500 #constraints=29337 825.86/826.11 c nbDecision=503000 #constraints=29341 826.86/827.17 c nbDecision=503500 #constraints=29350 827.86/828.11 c nbDecision=504000 #constraints=29357 828.96/829.27 c nbDecision=504500 #constraints=29372 830.16/830.44 c nbDecision=505000 #constraints=29388 831.36/831.66 c nbDecision=505500 #constraints=29412 832.56/832.84 c nbDecision=506000 #constraints=29441 833.46/833.75 c nbDecision=506500 #constraints=29444 834.66/834.93 c nbDecision=507000 #constraints=29448 835.55/835.80 c nbDecision=507500 #constraints=29451 836.45/836.75 c nbDecision=508000 #constraints=29460 837.46/837.71 c nbDecision=508500 #constraints=29467 838.76/839.00 c nbDecision=509000 #constraints=29481 839.86/840.15 c nbDecision=509500 #constraints=29499 840.96/841.25 c nbDecision=510000 #constraints=29512 841.96/842.28 c nbDecision=510500 #constraints=29517 843.26/843.57 c nbDecision=511000 #constraints=29533 844.46/844.70 c nbDecision=511500 #constraints=29547 845.56/845.90 c nbDecision=512000 #constraints=29566 846.95/847.25 c nbDecision=512500 #constraints=29600 848.15/848.46 c nbDecision=513000 #constraints=29614 849.15/849.43 c nbDecision=513500 #constraints=29623 850.15/850.45 c nbDecision=514000 #constraints=29632 851.16/851.40 c nbDecision=514500 #constraints=29643 852.26/852.58 c nbDecision=515000 #constraints=29662 853.25/853.51 c nbDecision=515500 #constraints=29673 854.25/854.56 c nbDecision=516000 #constraints=29676 855.45/855.71 c nbDecision=516500 #constraints=29689 856.65/856.91 c nbDecision=517000 #constraints=29716 857.75/858.08 c nbDecision=517500 #constraints=29740 858.75/859.08 c nbDecision=518000 #constraints=29756 859.96/860.25 c nbDecision=518500 #constraints=29778 860.96/861.30 c nbDecision=519000 #constraints=29792 862.35/862.65 c nbDecision=519500 #constraints=29807 863.45/863.74 c nbDecision=520000 #constraints=29816 865.05/865.37 c nbDecision=520500 #constraints=29840 866.05/866.30 c nbDecision=521000 #constraints=29848 867.25/867.51 c nbDecision=521500 #constraints=29872 868.25/868.50 c nbDecision=522000 #constraints=29886 869.25/869.56 c nbDecision=522500 #constraints=29893 870.55/870.81 c nbDecision=523000 #constraints=29909 871.55/871.84 c nbDecision=523500 #constraints=29920 872.55/872.84 c nbDecision=524000 #constraints=29930 873.85/874.16 c nbDecision=524500 #constraints=29958 874.85/875.17 c nbDecision=525000 #constraints=29961 875.65/875.98 c nbDecision=525500 #constraints=29972 876.65/876.92 c nbDecision=526000 #constraints=29981 877.45/877.75 c nbDecision=526500 #constraints=29983 878.45/878.80 c nbDecision=527000 #constraints=29989 879.85/880.18 c nbDecision=527500 #constraints=30002 881.05/881.32 c nbDecision=528000 #constraints=30011 882.25/882.54 c nbDecision=528500 #constraints=30029 883.35/883.69 c nbDecision=529000 #constraints=30048 884.65/884.90 c nbDecision=529500 #constraints=30051 885.55/885.82 c nbDecision=530000 #constraints=30054 886.64/886.99 c nbDecision=530500 #constraints=30075 887.94/888.20 c nbDecision=531000 #constraints=30087 889.14/889.47 c nbDecision=531500 #constraints=30107 890.24/890.57 c nbDecision=532000 #constraints=30115 891.75/892.08 c nbDecision=532500 #constraints=30140 893.34/893.60 c nbDecision=533000 #constraints=30174 894.54/894.87 c nbDecision=533500 #constraints=30193 895.55/895.84 c nbDecision=534000 #constraints=30201 896.45/896.76 c nbDecision=534500 #constraints=30215 897.74/898.08 c nbDecision=535000 #constraints=30226 898.94/899.22 c nbDecision=535500 #constraints=30236 899.84/900.18 c nbDecision=536000 #constraints=30239 901.14/901.45 c nbDecision=536500 #constraints=30242 902.24/902.51 c nbDecision=537000 #constraints=30248 903.24/903.58 c nbDecision=537500 #constraints=30260 904.34/904.66 c nbDecision=538000 #constraints=30274 905.44/905.74 c nbDecision=538500 #constraints=30291 906.64/906.97 c nbDecision=539000 #constraints=30302 907.74/908.08 c nbDecision=539500 #constraints=30319 909.54/909.89 c nbDecision=540000 #constraints=30340 911.04/911.30 c nbDecision=540500 #constraints=30363 912.34/912.69 c nbDecision=541000 #constraints=30380 913.54/913.85 c nbDecision=541500 #constraints=30388 915.13/915.44 c nbDecision=542000 #constraints=30415 916.93/917.24 c nbDecision=542500 #constraints=30433 918.03/918.39 c nbDecision=543000 #constraints=30436 919.24/919.50 c nbDecision=543500 #constraints=30451 920.13/920.44 c nbDecision=544000 #constraints=30453 921.73/922.05 c nbDecision=544500 #constraints=30477 923.13/923.44 c nbDecision=545000 #constraints=30498 924.23/924.53 c nbDecision=545500 #constraints=30507 926.03/926.32 c nbDecision=546000 #constraints=30541 926.93/927.28 c nbDecision=546500 #constraints=30546 928.04/928.32 c nbDecision=547000 #constraints=30562 929.24/929.55 c nbDecision=547500 #constraints=30570 930.63/930.91 c nbDecision=548000 #constraints=30578 931.53/931.86 c nbDecision=548500 #constraints=30586 932.63/932.98 c nbDecision=549000 #constraints=30600 933.54/933.88 c nbDecision=549500 #constraints=30607 934.93/935.22 c nbDecision=550000 #constraints=30621 936.13/936.42 c nbDecision=550500 #constraints=30634 937.33/937.67 c nbDecision=551000 #constraints=30655 938.83/939.19 c nbDecision=551500 #constraints=30687 939.83/940.12 c nbDecision=552000 #constraints=30689 940.93/941.29 c nbDecision=552500 #constraints=30708 942.23/942.57 c nbDecision=553000 #constraints=30732 943.43/943.74 c nbDecision=553500 #constraints=30737 944.33/944.65 c nbDecision=554000 #constraints=30739 945.33/945.65 c nbDecision=554500 #constraints=30750 946.73/947.02 c nbDecision=555000 #constraints=30761 947.62/947.99 c nbDecision=555500 #constraints=30770 948.72/949.06 c nbDecision=556000 #constraints=30785 950.22/950.50 c nbDecision=556500 #constraints=30812 951.23/951.58 c nbDecision=557000 #constraints=30816 952.23/952.54 c nbDecision=557500 #constraints=30819 953.43/953.76 c nbDecision=558000 #constraints=30836 954.52/954.83 c nbDecision=558500 #constraints=30839 955.52/955.84 c nbDecision=559000 #constraints=30841 956.52/956.86 c nbDecision=559500 #constraints=30843 957.42/957.73 c nbDecision=560000 #constraints=30846 959.02/959.36 c nbDecision=560500 #constraints=30856 960.43/960.75 c nbDecision=561000 #constraints=30873 961.33/961.65 c nbDecision=561500 #constraints=30877 962.23/962.55 c nbDecision=562000 #constraints=30879 963.73/964.02 c nbDecision=562500 #constraints=30894 965.03/965.34 c nbDecision=563000 #constraints=30919 966.33/966.68 c nbDecision=563500 #constraints=30935 967.53/967.90 c nbDecision=564000 #constraints=30958 969.02/969.39 c nbDecision=564500 #constraints=30974 970.32/970.68 c nbDecision=565000 #constraints=30994 971.62/971.93 c nbDecision=565500 #constraints=31008 973.02/973.35 c nbDecision=566000 #constraints=31024 973.92/974.29 c nbDecision=566500 #constraints=31029 975.32/975.67 c nbDecision=567000 #constraints=31055 976.52/976.89 c nbDecision=567500 #constraints=31073 977.82/978.10 c nbDecision=568000 #constraints=31080 978.92/979.20 c nbDecision=568500 #constraints=31083 980.02/980.30 c nbDecision=569000 #constraints=31096 981.42/981.70 c nbDecision=569500 #constraints=31124 982.52/982.85 c nbDecision=570000 #constraints=31145 983.82/984.11 c nbDecision=570500 #constraints=31156 984.92/985.23 c nbDecision=571000 #constraints=31162 985.82/986.17 c nbDecision=571500 #constraints=31180 987.02/987.30 c nbDecision=572000 #constraints=31183 988.21/988.59 c nbDecision=572500 #constraints=31212 989.21/989.53 c nbDecision=573000 #constraints=31214 990.41/990.73 c nbDecision=573500 #constraints=31229 991.41/991.75 c nbDecision=574000 #constraints=31238 992.71/993.01 c nbDecision=574500 #constraints=31252 993.71/994.08 c nbDecision=575000 #constraints=31264 994.91/995.26 c nbDecision=575500 #constraints=31268 996.01/996.38 c nbDecision=576000 #constraints=31278 997.21/997.51 c nbDecision=576500 #constraints=31288 999.01/999.39 c nbDecision=577000 #constraints=31318 1000.31/1000.64 c nbDecision=577500 #constraints=31332 1001.51/1001.80 c nbDecision=578000 #constraints=31344 1002.81/1003.13 c nbDecision=578500 #constraints=31362 1004.31/1004.62 c nbDecision=579000 #constraints=31381 1005.61/1005.92 c nbDecision=579500 #constraints=31410 1007.21/1007.51 c nbDecision=580000 #constraints=31434 1008.71/1009.08 c nbDecision=580500 #constraints=31454 1009.71/1010.06 c nbDecision=581000 #constraints=31459 1010.91/1011.29 c nbDecision=581500 #constraints=31468 1011.91/1012.29 c nbDecision=582000 #constraints=31470 1013.21/1013.56 c nbDecision=582500 #constraints=31482 1014.62/1014.93 c nbDecision=583000 #constraints=31496 1015.72/1016.04 c nbDecision=583500 #constraints=31498 1017.01/1017.30 c nbDecision=584000 #constraints=31516 1018.22/1018.58 c nbDecision=584500 #constraints=31532 1019.32/1019.69 c nbDecision=585000 #constraints=31546 1020.61/1020.95 c nbDecision=585500 #constraints=31570 1021.71/1022.07 c nbDecision=586000 #constraints=31574 1022.91/1023.26 c nbDecision=586500 #constraints=31600 1023.91/1024.29 c nbDecision=587000 #constraints=31608 1024.91/1025.27 c nbDecision=587500 #constraints=31614 1025.91/1026.28 c nbDecision=588000 #constraints=31617 1026.91/1027.29 c nbDecision=588500 #constraints=31625 1027.91/1028.20 c nbDecision=589000 #constraints=31629 1029.31/1029.61 c nbDecision=589500 #constraints=31650 1030.41/1030.76 c nbDecision=590000 #constraints=31677 1031.41/1031.75 c nbDecision=590500 #constraints=31686 1032.71/1033.04 c nbDecision=591000 #constraints=31696 1033.91/1034.25 c nbDecision=591500 #constraints=31709 1035.51/1035.89 c nbDecision=592000 #constraints=31734 1036.60/1036.96 c nbDecision=592500 #constraints=31742 1037.90/1038.26 c nbDecision=593000 #constraints=31756 1039.10/1039.47 c nbDecision=593500 #constraints=31763 1040.10/1040.44 c nbDecision=594000 #constraints=31770 1041.10/1041.47 c nbDecision=594500 #constraints=31776 1042.50/1042.81 c nbDecision=595000 #constraints=31802 1044.00/1044.30 c nbDecision=595500 #constraints=31825 1044.90/1045.29 c nbDecision=596000 #constraints=31834 1046.20/1046.55 c nbDecision=596500 #constraints=31837 1047.50/1047.83 c nbDecision=597000 #constraints=31856 1048.70/1049.05 c nbDecision=597500 #constraints=31861 1050.20/1050.58 c nbDecision=598000 #constraints=31881 1051.50/1051.82 c nbDecision=598500 #constraints=31900 1052.70/1053.00 c nbDecision=599000 #constraints=31912 1053.80/1054.17 c nbDecision=599500 #constraints=31924 1054.70/1055.08 c nbDecision=600000 #constraints=31926 1055.90/1056.29 c nbDecision=600500 #constraints=31940 1056.81/1057.12 c nbDecision=601000 #constraints=31946 1058.00/1058.32 c nbDecision=601500 #constraints=31950 1058.91/1059.30 c nbDecision=602000 #constraints=31957 1060.11/1060.40 c nbDecision=602500 #constraints=31968 1061.40/1061.79 c nbDecision=603000 #constraints=31995 1062.60/1062.99 c nbDecision=603500 #constraints=32011 1064.30/1064.60 c nbDecision=604000 #constraints=32028 1065.30/1065.62 c nbDecision=604500 #constraints=32030 1066.90/1067.20 c nbDecision=605000 #constraints=32054 1067.80/1068.14 c nbDecision=605500 #constraints=32059 1069.00/1069.39 c nbDecision=606000 #constraints=32082 1070.20/1070.59 c nbDecision=606500 #constraints=32100 1071.80/1072.10 c nbDecision=607000 #constraints=32123 1072.90/1073.30 c nbDecision=607500 #constraints=32126 1074.10/1074.41 c nbDecision=608000 #constraints=32135 1075.29/1075.69 c nbDecision=608500 #constraints=32151 1076.60/1076.97 c nbDecision=609000 #constraints=32172 1077.89/1078.24 c nbDecision=609500 #constraints=32189 1079.09/1079.46 c nbDecision=610000 #constraints=32196 1080.39/1080.77 c nbDecision=610500 #constraints=32213 1081.59/1081.90 c nbDecision=611000 #constraints=32227 1082.59/1082.98 c nbDecision=611500 #constraints=32242 1083.69/1084.03 c nbDecision=612000 #constraints=32245 1084.99/1085.35 c nbDecision=612500 #constraints=32256 1086.09/1086.41 c nbDecision=613000 #constraints=32265 1086.99/1087.36 c nbDecision=613500 #constraints=32275 1088.09/1088.43 c nbDecision=614000 #constraints=32279 1089.39/1089.71 c nbDecision=614500 #constraints=32298 1090.79/1091.18 c nbDecision=615000 #constraints=32320 1092.09/1092.41 c nbDecision=615500 #constraints=32323 1093.39/1093.78 c nbDecision=616000 #constraints=32329 1094.59/1094.92 c nbDecision=616500 #constraints=32339 1095.79/1096.15 c nbDecision=617000 #constraints=32348 1096.99/1097.34 c nbDecision=617500 #constraints=32355 1098.39/1098.78 c nbDecision=618000 #constraints=32362 1099.49/1099.82 c nbDecision=618500 #constraints=32367 1100.49/1100.84 c nbDecision=619000 #constraints=32377 1101.69/1102.05 c nbDecision=619500 #constraints=32389 1102.59/1102.99 c nbDecision=620000 #constraints=32391 1103.59/1103.97 c nbDecision=620500 #constraints=32393 1104.89/1105.27 c nbDecision=621000 #constraints=32397 1105.99/1106.34 c nbDecision=621500 #constraints=32404 1106.99/1107.38 c nbDecision=622000 #constraints=32406 1108.49/1108.85 c nbDecision=622500 #constraints=32427 1109.59/1109.92 c nbDecision=623000 #constraints=32437 1110.98/1111.31 c nbDecision=623500 #constraints=32458 1112.58/1112.92 c nbDecision=624000 #constraints=32479 1113.68/1114.05 c nbDecision=624500 #constraints=32485 1115.09/1115.41 c nbDecision=625000 #constraints=32503 1116.18/1116.53 c nbDecision=625500 #constraints=32519 1117.78/1118.19 c nbDecision=626000 #constraints=32542 1118.78/1119.17 c nbDecision=626500 #constraints=32544 1120.08/1120.41 c nbDecision=627000 #constraints=32554 1121.48/1121.84 c nbDecision=627500 #constraints=32570 1122.58/1122.91 c nbDecision=628000 #constraints=32579 1123.68/1124.09 c nbDecision=628500 #constraints=32588 1125.18/1125.55 c nbDecision=629000 #constraints=32603 1126.28/1126.65 c nbDecision=629500 #constraints=32617 1127.38/1127.73 c nbDecision=630000 #constraints=32628 1128.78/1129.12 c nbDecision=630500 #constraints=32633 1129.78/1130.17 c nbDecision=631000 #constraints=32635 1130.98/1131.36 c nbDecision=631500 #constraints=32646 1132.07/1132.40 c nbDecision=632000 #constraints=32649 1133.28/1133.64 c nbDecision=632500 #constraints=32663 1134.28/1134.66 c nbDecision=633000 #constraints=32671 1135.68/1136.00 c nbDecision=633500 #constraints=32682 1136.98/1137.37 c nbDecision=634000 #constraints=32696 1138.18/1138.54 c nbDecision=634500 #constraints=32712 1139.18/1139.60 c nbDecision=635000 #constraints=32714 1140.18/1140.60 c nbDecision=635500 #constraints=32720 1141.58/1141.93 c nbDecision=636000 #constraints=32729 1142.78/1143.19 c nbDecision=636500 #constraints=32743 1143.88/1144.24 c nbDecision=637000 #constraints=32747 1145.08/1145.46 c nbDecision=637500 #constraints=32761 1146.57/1146.99 c nbDecision=638000 #constraints=32791 1147.67/1148.01 c nbDecision=638500 #constraints=32793 1148.97/1149.39 c nbDecision=639000 #constraints=32805 1150.17/1150.54 c nbDecision=639500 #constraints=32820 1151.27/1151.61 c nbDecision=640000 #constraints=32823 1152.27/1152.67 c nbDecision=640500 #constraints=32825 1153.47/1153.85 c nbDecision=641000 #constraints=32833 1154.97/1155.34 c nbDecision=641500 #constraints=32863 1156.27/1156.64 c nbDecision=642000 #constraints=32884 1157.57/1157.95 c nbDecision=642500 #constraints=32902 1158.77/1159.20 c nbDecision=643000 #constraints=32921 1160.18/1160.54 c nbDecision=643500 #constraints=32944 1161.37/1161.74 c nbDecision=644000 #constraints=32954 1163.27/1163.63 c nbDecision=644500 #constraints=32975 1165.07/1165.42 c nbDecision=645000 #constraints=32999 1166.67/1167.05 c nbDecision=645500 #constraints=33019 1168.07/1168.40 c nbDecision=646000 #constraints=33032 1169.37/1169.79 c nbDecision=646500 #constraints=33053 1170.87/1171.21 c nbDecision=647000 #constraints=33064 1172.67/1173.05 c nbDecision=647500 #constraints=33079 1173.87/1174.23 c nbDecision=648000 #constraints=33089 1175.17/1175.55 c nbDecision=648500 #constraints=33096 1176.37/1176.76 c nbDecision=649000 #constraints=33112 1178.07/1178.43 c nbDecision=649500 #constraints=33127 1179.26/1179.64 c nbDecision=650000 #constraints=33137 1180.46/1180.83 c nbDecision=650500 #constraints=33144 1182.17/1182.54 c nbDecision=651000 #constraints=33169 1183.27/1183.61 c nbDecision=651500 #constraints=33179 1184.76/1185.15 c nbDecision=652000 #constraints=33208 1186.06/1186.48 c nbDecision=652500 #constraints=33214 1187.67/1188.07 c nbDecision=653000 #constraints=33246 1189.26/1189.60 c nbDecision=653500 #constraints=33281 1190.16/1190.57 c nbDecision=654000 #constraints=33283 1191.26/1191.65 c nbDecision=654500 #constraints=33295 1192.66/1193.09 c nbDecision=655000 #constraints=33312 1193.86/1194.20 c nbDecision=655500 #constraints=33315 1194.66/1195.02 c nbDecision=656000 #constraints=33323 1196.36/1196.75 c nbDecision=656500 #constraints=33353 1197.46/1197.84 c nbDecision=657000 #constraints=33359 1198.56/1198.91 c nbDecision=657500 #constraints=33368 1199.56/1199.93 c nbDecision=658000 #constraints=33374 1200.96/1201.38 c nbDecision=658500 #constraints=33389 1202.35/1202.76 c nbDecision=659000 #constraints=33416 1203.55/1203.96 c nbDecision=659500 #constraints=33425 1204.86/1205.21 c nbDecision=660000 #constraints=33450 1205.86/1206.21 c nbDecision=660500 #constraints=33456 1207.06/1207.47 c nbDecision=661000 #constraints=33480 1208.06/1208.49 c nbDecision=661500 #constraints=33482 1209.26/1209.61 c nbDecision=662000 #constraints=33493 1210.56/1210.93 c nbDecision=662500 #constraints=33515 1211.86/1212.29 c nbDecision=663000 #constraints=33520 1213.06/1213.47 c nbDecision=663500 #constraints=33528 1214.46/1214.87 c nbDecision=664000 #constraints=33533 1216.46/1216.83 c nbDecision=664500 #constraints=33560 1217.56/1217.97 c nbDecision=665000 #constraints=33572 1218.55/1218.99 c nbDecision=665500 #constraints=33574 1220.25/1220.61 c nbDecision=666000 #constraints=33583 1221.35/1221.72 c nbDecision=666500 #constraints=33597 1222.15/1222.59 c nbDecision=667000 #constraints=33604 1223.55/1223.95 c nbDecision=667500 #constraints=33608 1225.25/1225.65 c nbDecision=668000 #constraints=33627 1226.35/1226.72 c nbDecision=668500 #constraints=33635 1227.75/1228.17 c nbDecision=669000 #constraints=33645 1229.05/1229.44 c nbDecision=669500 #constraints=33651 1230.15/1230.57 c nbDecision=670000 #constraints=33661 1231.25/1231.64 c nbDecision=670500 #constraints=33671 1232.55/1233.00 c nbDecision=671000 #constraints=33687 1234.15/1234.51 c nbDecision=671500 #constraints=33710 1235.34/1235.77 c nbDecision=672000 #constraints=33723 1236.35/1236.72 c nbDecision=672500 #constraints=33725 1237.45/1237.88 c nbDecision=673000 #constraints=33739 1238.65/1239.09 c nbDecision=673500 #constraints=33743 1239.75/1240.13 c nbDecision=674000 #constraints=33749 1241.25/1241.62 c nbDecision=674500 #constraints=33765 1242.25/1242.69 c nbDecision=675000 #constraints=33773 1243.35/1243.78 c nbDecision=675500 #constraints=33781 1244.85/1245.25 c nbDecision=676000 #constraints=33790 1246.25/1246.62 c nbDecision=676500 #constraints=33812 1247.75/1248.13 c nbDecision=677000 #constraints=33824 1248.95/1249.36 c nbDecision=677500 #constraints=33833 1250.15/1250.51 c nbDecision=678000 #constraints=33835 1251.25/1251.65 c nbDecision=678500 #constraints=33837 1253.05/1253.42 c nbDecision=679000 #constraints=33848 1254.04/1254.49 c nbDecision=679500 #constraints=33856 1255.24/1255.69 c nbDecision=680000 #constraints=33868 1256.64/1257.05 c nbDecision=680500 #constraints=33879 1257.74/1258.10 c nbDecision=681000 #constraints=33882 1259.04/1259.41 c nbDecision=681500 #constraints=33885 1260.04/1260.50 c nbDecision=682000 #constraints=33897 1261.34/1261.73 c nbDecision=682500 #constraints=33904 1262.34/1262.75 c nbDecision=683000 #constraints=33906 1263.54/1263.94 c nbDecision=683500 #constraints=33915 1264.54/1264.99 c nbDecision=684000 #constraints=33917 1265.84/1266.23 c nbDecision=684500 #constraints=33922 1267.14/1267.57 c nbDecision=685000 #constraints=33925 1268.34/1268.76 c nbDecision=685500 #constraints=33938 1270.14/1270.54 c nbDecision=686000 #constraints=33964 1271.24/1271.64 c nbDecision=686500 #constraints=33970 1272.54/1272.94 c nbDecision=687000 #constraints=33989 1273.84/1274.25 c nbDecision=687500 #constraints=34007 1275.14/1275.55 c nbDecision=688000 #constraints=34011 1276.24/1276.68 c nbDecision=688500 #constraints=34020 1277.44/1277.87 c nbDecision=689000 #constraints=34035 1278.44/1278.89 c nbDecision=689500 #constraints=34038 1279.63/1280.03 c nbDecision=690000 #constraints=34044 1280.73/1281.12 c nbDecision=690500 #constraints=34049 1281.83/1282.26 c nbDecision=691000 #constraints=34051 1283.93/1284.34 c nbDecision=691500 #constraints=34075 1285.23/1285.70 c nbDecision=692000 #constraints=34097 1286.54/1286.99 c nbDecision=692500 #constraints=34116 1287.93/1288.38 c nbDecision=693000 #constraints=34125 1289.33/1289.75 c nbDecision=693500 #constraints=34131 1290.53/1290.93 c nbDecision=694000 #constraints=34149 1291.73/1292.16 c nbDecision=694500 #constraints=34170 1293.43/1293.80 c nbDecision=695000 #constraints=34184 1294.33/1294.78 c nbDecision=695500 #constraints=34186 1295.43/1295.89 c nbDecision=696000 #constraints=34197 1296.64/1297.08 c nbDecision=696500 #constraints=34210 1297.84/1298.22 c nbDecision=697000 #constraints=34214 1299.24/1299.63 c nbDecision=697500 #constraints=34239 1300.44/1300.88 c nbDecision=698000 #constraints=34264 1302.04/1302.41 c nbDecision=698500 #constraints=34285 1303.23/1303.63 c nbDecision=699000 #constraints=34296 1304.24/1304.63 c nbDecision=699500 #constraints=34298 1305.34/1305.72 c nbDecision=700000 #constraints=34307 1306.44/1306.80 c nbDecision=700500 #constraints=34309 1307.73/1308.11 c nbDecision=701000 #constraints=34317 1308.54/1309.00 c nbDecision=701500 #constraints=34318 1309.83/1310.20 c nbDecision=702000 #constraints=34334 1310.93/1311.37 c nbDecision=702500 #constraints=34344 1312.93/1313.33 c nbDecision=703000 #constraints=34361 1313.93/1314.37 c nbDecision=703500 #constraints=34363 1315.03/1315.45 c nbDecision=704000 #constraints=34366 1316.43/1316.83 c nbDecision=704500 #constraints=34374 1317.73/1318.10 c nbDecision=705000 #constraints=34381 1319.03/1319.46 c nbDecision=705500 #constraints=34400 1320.33/1320.79 c nbDecision=706000 #constraints=34403 1321.83/1322.29 c nbDecision=706500 #constraints=34411 1323.02/1323.43 c nbDecision=707000 #constraints=34421 1324.62/1325.02 c nbDecision=707500 #constraints=34450 1325.62/1326.06 c nbDecision=708000 #constraints=34452 1326.72/1327.15 c nbDecision=708500 #constraints=34457 1328.22/1328.61 c nbDecision=709000 #constraints=34471 1329.22/1329.66 c nbDecision=709500 #constraints=34473 1330.92/1331.34 c nbDecision=710000 #constraints=34491 1332.22/1332.62 c nbDecision=710500 #constraints=34500 1333.32/1333.70 c nbDecision=711000 #constraints=34502 1334.72/1335.13 c nbDecision=711500 #constraints=34528 1336.51/1336.90 c nbDecision=712000 #constraints=34547 1337.72/1338.16 c nbDecision=712500 #constraints=34564 1339.02/1339.43 c nbDecision=713000 #constraints=34577 1340.22/1340.64 c nbDecision=713500 #constraints=34590 1341.63/1342.06 c nbDecision=714000 #constraints=34595 1342.73/1343.18 c nbDecision=714500 #constraints=34603 1344.32/1344.73 c nbDecision=715000 #constraints=34616 1345.42/1345.84 c nbDecision=715500 #constraints=34620 1346.52/1346.94 c nbDecision=716000 #constraints=34622 1347.52/1347.92 c nbDecision=716500 #constraints=34624 1348.62/1349.00 c nbDecision=717000 #constraints=34633 1349.82/1350.26 c nbDecision=717500 #constraints=34643 1351.02/1351.44 c nbDecision=718000 #constraints=34656 1352.62/1353.07 c nbDecision=718500 #constraints=34671 1353.82/1354.22 c nbDecision=719000 #constraints=34677 1354.92/1355.36 c nbDecision=719500 #constraints=34681 1356.02/1356.43 c nbDecision=720000 #constraints=34690 1357.32/1357.70 c nbDecision=720500 #constraints=34710 1358.42/1358.88 c nbDecision=721000 #constraints=34723 1359.71/1360.14 c nbDecision=721500 #constraints=34730 1360.81/1361.26 c nbDecision=722000 #constraints=34739 1362.31/1362.74 c nbDecision=722500 #constraints=34766 1363.52/1363.95 c nbDecision=723000 #constraints=34790 1365.01/1365.42 c nbDecision=723500 #constraints=34808 1366.11/1366.57 c nbDecision=724000 #constraints=34813 1367.21/1367.65 c nbDecision=724500 #constraints=34815 1368.61/1369.05 c nbDecision=725000 #constraints=34835 1369.91/1370.32 c nbDecision=725500 #constraints=34844 1371.31/1371.77 c nbDecision=726000 #constraints=34855 1372.41/1372.86 c nbDecision=726500 #constraints=34858 1373.91/1374.37 c nbDecision=727000 #constraints=34868 1375.21/1375.66 c nbDecision=727500 #constraints=34873 1376.61/1377.08 c nbDecision=728000 #constraints=34877 1378.10/1378.54 c nbDecision=728500 #constraints=34900 1379.30/1379.79 c nbDecision=729000 #constraints=34911 1380.61/1381.08 c nbDecision=729500 #constraints=34923 1382.11/1382.54 c nbDecision=730000 #constraints=34943 1383.41/1383.82 c nbDecision=730500 #constraints=34960 1384.51/1384.94 c nbDecision=731000 #constraints=34963 1386.21/1386.62 c nbDecision=731500 #constraints=34982 1388.01/1388.41 c nbDecision=732000 #constraints=35007 1389.70/1390.10 c nbDecision=732500 #constraints=35026 1391.20/1391.68 c nbDecision=733000 #constraints=35049 1392.60/1393.05 c nbDecision=733500 #constraints=35063 1394.90/1395.32 c nbDecision=734000 #constraints=35093 1396.00/1396.42 c nbDecision=734500 #constraints=35111 1397.40/1397.89 c nbDecision=735000 #constraints=35124 1398.20/1398.68 c nbDecision=735500 #constraints=35131 1400.30/1400.71 c nbDecision=736000 #constraints=35164 1401.50/1401.94 c nbDecision=736500 #constraints=35175 1402.60/1403.08 c nbDecision=737000 #constraints=35185 1403.70/1404.11 c nbDecision=737500 #constraints=35187 1405.20/1405.63 c nbDecision=738000 #constraints=35202 1406.70/1407.17 c nbDecision=738500 #constraints=35231 1408.10/1408.50 c nbDecision=739000 #constraints=35247 1409.50/1409.92 c nbDecision=739500 #constraints=35259 1411.20/1411.62 c nbDecision=740000 #constraints=35287 1412.50/1412.93 c nbDecision=740500 #constraints=35293 1413.70/1414.17 c nbDecision=741000 #constraints=35299 1415.20/1415.68 c nbDecision=741500 #constraints=35324 1416.40/1416.86 c nbDecision=742000 #constraints=35338 1417.79/1418.28 c nbDecision=742500 #constraints=35351 1419.29/1419.70 c nbDecision=743000 #constraints=35355 1420.39/1420.89 c nbDecision=743500 #constraints=35366 1421.59/1422.03 c nbDecision=744000 #constraints=35368 1423.01/1423.45 c nbDecision=744500 #constraints=35375 1424.20/1424.66 c nbDecision=745000 #constraints=35385 1425.30/1425.79 c nbDecision=745500 #constraints=35393 1426.60/1427.06 c nbDecision=746000 #constraints=35409 1427.60/1428.09 c nbDecision=746500 #constraints=35411 1428.90/1429.30 c nbDecision=747000 #constraints=35416 1430.80/1431.28 c nbDecision=747500 #constraints=35442 1432.00/1432.49 c nbDecision=748000 #constraints=35447 1433.30/1433.70 c nbDecision=748500 #constraints=35449 1435.29/1435.70 c nbDecision=749000 #constraints=35466 1436.49/1436.94 c nbDecision=749500 #constraints=35478 1437.69/1438.16 c nbDecision=750000 #constraints=35491 1438.89/1439.31 c nbDecision=750500 #constraints=35502 1440.29/1440.77 c nbDecision=751000 #constraints=35509 1441.39/1441.84 c nbDecision=751500 #constraints=35511 1442.59/1443.07 c nbDecision=752000 #constraints=35527 1443.99/1444.43 c nbDecision=752500 #constraints=35545 1445.79/1446.22 c nbDecision=753000 #constraints=35561 1446.89/1447.40 c nbDecision=753500 #constraints=35563 1447.99/1448.48 c nbDecision=754000 #constraints=35571 1449.39/1449.83 c nbDecision=754500 #constraints=35582 1450.69/1451.19 c nbDecision=755000 #constraints=35598 1452.08/1452.55 c nbDecision=755500 #constraints=35601 1453.18/1453.63 c nbDecision=756000 #constraints=35603 1454.48/1454.90 c nbDecision=756500 #constraints=35616 1455.58/1456.07 c nbDecision=757000 #constraints=35619 1456.89/1457.30 c nbDecision=757500 #constraints=35632 1457.89/1458.36 c nbDecision=758000 #constraints=35642 1459.19/1459.68 c nbDecision=758500 #constraints=35657 1460.59/1461.01 c nbDecision=759000 #constraints=35660 1461.79/1462.28 c nbDecision=759500 #constraints=35681 1463.39/1463.89 c nbDecision=760000 #constraints=35695 1464.89/1465.35 c nbDecision=760500 #constraints=35711 1466.29/1466.76 c nbDecision=761000 #constraints=35731 1467.69/1468.13 c nbDecision=761500 #constraints=35746 1469.29/1469.77 c nbDecision=762000 #constraints=35760 1470.49/1470.97 c nbDecision=762500 #constraints=35768 1471.69/1472.10 c nbDecision=763000 #constraints=35775 1472.99/1473.45 c nbDecision=763500 #constraints=35787 1474.79/1475.22 c nbDecision=764000 #constraints=35808 1475.89/1476.34 c nbDecision=764500 #constraints=35810 1476.98/1477.43 c nbDecision=765000 #constraints=35817 1478.18/1478.66 c nbDecision=765500 #constraints=35827 1479.48/1479.94 c nbDecision=766000 #constraints=35832 1480.68/1481.15 c nbDecision=766500 #constraints=35842 1482.18/1482.66 c nbDecision=767000 #constraints=35855 1483.38/1483.87 c nbDecision=767500 #constraints=35859 1484.78/1485.28 c nbDecision=768000 #constraints=35877 1485.88/1486.40 c nbDecision=768500 #constraints=35884 1487.08/1487.51 c nbDecision=769000 #constraints=35890 1488.28/1488.70 c nbDecision=769500 #constraints=35895 1489.48/1489.91 c nbDecision=770000 #constraints=35898 1490.68/1491.14 c nbDecision=770500 #constraints=35901 1491.68/1492.20 c nbDecision=771000 #constraints=35903 1493.08/1493.56 c nbDecision=771500 #constraints=35919 1494.27/1494.74 c nbDecision=772000 #constraints=35921 1495.48/1495.90 c nbDecision=772500 #constraints=35923 1496.58/1497.04 c nbDecision=773000 #constraints=35925 1498.47/1498.91 c nbDecision=773500 #constraints=35937 1499.77/1500.21 c nbDecision=774000 #constraints=35950 1500.87/1501.30 c nbDecision=774500 #constraints=35956 1502.37/1502.86 c nbDecision=775000 #constraints=35962 1503.78/1504.20 c nbDecision=775500 #constraints=35980 1505.18/1505.67 c nbDecision=776000 #constraints=35984 1506.28/1506.78 c nbDecision=776500 #constraints=35986 1507.47/1507.91 c nbDecision=777000 #constraints=35990 1508.88/1509.36 c nbDecision=777500 #constraints=36010 1510.77/1511.23 c nbDecision=778000 #constraints=36040 1511.87/1512.40 c nbDecision=778500 #constraints=36043 1513.77/1514.20 c nbDecision=779000 #constraints=36068 1514.77/1515.25 c nbDecision=779500 #constraints=36070 1515.77/1516.28 c nbDecision=780000 #constraints=36072 1517.27/1517.75 c nbDecision=780500 #constraints=36087 1518.47/1518.93 c nbDecision=781000 #constraints=36089 1520.27/1520.71 c nbDecision=781500 #constraints=36115 1521.57/1522.07 c nbDecision=782000 #constraints=36127 1522.97/1523.49 c nbDecision=782500 #constraints=36138 1524.07/1524.58 c nbDecision=783000 #constraints=36140 1525.47/1525.92 c nbDecision=783500 #constraints=36146 1526.67/1527.19 c nbDecision=784000 #constraints=36172 1527.96/1528.48 c nbDecision=784500 #constraints=36179 1529.36/1529.88 c nbDecision=785000 #constraints=36182 1530.56/1531.03 c nbDecision=785500 #constraints=36192 1531.77/1532.22 c nbDecision=786000 #constraints=36195 1532.87/1533.38 c nbDecision=786500 #constraints=36203 1534.36/1534.88 c nbDecision=787000 #constraints=36210 1535.46/1535.94 c nbDecision=787500 #constraints=36212 1536.66/1537.12 c nbDecision=788000 #constraints=36215 1538.16/1538.64 c nbDecision=788500 #constraints=36218 1539.66/1540.19 c nbDecision=789000 #constraints=36243 1540.86/1541.34 c nbDecision=789500 #constraints=36245 1542.35/1542.85 c nbDecision=790000 #constraints=36262 1543.65/1544.11 c nbDecision=790500 #constraints=36277 1545.06/1545.57 c nbDecision=791000 #constraints=36288 1546.25/1546.76 c nbDecision=791500 #constraints=36296 1547.45/1547.93 c nbDecision=792000 #constraints=36299 1548.75/1549.27 c nbDecision=792500 #constraints=36318 1550.46/1550.94 c nbDecision=793000 #constraints=36332 1551.66/1552.11 c nbDecision=793500 #constraints=36340 1552.85/1553.37 c nbDecision=794000 #constraints=36342 1554.36/1554.86 c nbDecision=794500 #constraints=36347 1555.56/1556.09 c nbDecision=795000 #constraints=36349 1556.96/1557.49 c nbDecision=795500 #constraints=36366 1558.56/1559.01 c nbDecision=796000 #constraints=36375 1559.76/1560.25 c nbDecision=796500 #constraints=36389 1560.86/1561.37 c nbDecision=797000 #constraints=36397 1562.36/1562.88 c nbDecision=797500 #constraints=36402 1563.76/1564.22 c nbDecision=798000 #constraints=36415 1565.35/1565.84 c nbDecision=798500 #constraints=36435 1566.85/1567.36 c nbDecision=799000 #constraints=36452 1568.45/1568.91 c nbDecision=799500 #constraints=36471 1570.05/1570.52 c nbDecision=800000 #constraints=36483 1571.25/1571.74 c nbDecision=800500 #constraints=36487 1572.65/1573.10 c nbDecision=801000 #constraints=36497 1574.25/1574.77 c nbDecision=801500 #constraints=36511 1576.65/1577.10 c nbDecision=802000 #constraints=36542 1578.55/1579.03 c nbDecision=802500 #constraints=36572 1579.85/1580.33 c nbDecision=803000 #constraints=36585 1581.45/1581.97 c nbDecision=803500 #constraints=36615 1583.45/1584.00 c nbDecision=804000 #constraints=36643 1584.94/1585.42 c nbDecision=804500 #constraints=36668 1586.04/1586.55 c nbDecision=805000 #constraints=36674 1587.44/1587.93 c nbDecision=805500 #constraints=36692 1589.24/1589.72 c nbDecision=806000 #constraints=36718 1590.54/1591.07 c nbDecision=806500 #constraints=36738 1592.24/1592.76 c nbDecision=807000 #constraints=36755 1593.94/1594.41 c nbDecision=807500 #constraints=36762 1595.15/1595.61 c nbDecision=808000 #constraints=36764 1596.25/1596.76 c nbDecision=808500 #constraints=36766 1597.35/1597.86 c nbDecision=809000 #constraints=36768 1599.05/1599.53 c nbDecision=809500 #constraints=36774 1600.35/1600.80 c nbDecision=810000 #constraints=36786 1601.45/1601.91 c nbDecision=810500 #constraints=36788 1602.75/1603.26 c nbDecision=811000 #constraints=36799 1603.95/1604.47 c nbDecision=811500 #constraints=36803 1605.55/1606.06 c nbDecision=812000 #constraints=36816 1606.65/1607.16 c nbDecision=812500 #constraints=36826 1608.04/1608.52 c nbDecision=813000 #constraints=36837 1609.14/1609.66 c nbDecision=813500 #constraints=36839 1610.34/1610.81 c nbDecision=814000 #constraints=36845 1612.05/1612.59 c nbDecision=814500 #constraints=36866 1613.25/1613.79 c nbDecision=815000 #constraints=36875 1614.54/1615.03 c nbDecision=815500 #constraints=36877 1615.84/1616.33 c nbDecision=816000 #constraints=36887 1617.14/1617.64 c nbDecision=816500 #constraints=36899 1618.74/1619.25 c nbDecision=817000 #constraints=36908 1619.94/1620.43 c nbDecision=817500 #constraints=36914 1621.44/1621.93 c nbDecision=818000 #constraints=36922 1622.74/1623.25 c nbDecision=818500 #constraints=36935 1624.14/1624.67 c nbDecision=819000 #constraints=36941 1624.74/1625.22 c restart after 819201 decisions 1628.24/1628.73 c nbDecision=819500 #constraints=36945 1628.54/1629.02 c nbDecision=820000 #constraints=36945 1629.14/1629.60 c nbDecision=820500 #constraints=36945 1629.53/1630.07 c nbDecision=821000 #constraints=36945 1629.93/1630.46 c nbDecision=821500 #constraints=36945 1630.33/1630.89 c nbDecision=822000 #constraints=36945 1630.74/1631.22 c nbDecision=822500 #constraints=36945 1631.23/1631.71 c nbDecision=823000 #constraints=36945 1631.53/1632.08 c nbDecision=823500 #constraints=36945 1631.73/1632.25 c nbDecision=824000 #constraints=36945 1631.84/1632.33 c nbDecision=824500 #constraints=36945 1631.94/1632.47 c nbDecision=825000 #constraints=36945 1632.33/1632.80 c nbDecision=825500 #constraints=36945 1632.94/1633.44 c nbDecision=826000 #constraints=36945 1634.83/1635.38 c nbDecision=826500 #constraints=36976 1636.13/1636.62 c nbDecision=827000 #constraints=36986 1637.44/1637.96 c nbDecision=827500 #constraints=37011 1638.54/1639.10 c nbDecision=828000 #constraints=37019 1640.53/1641.03 c nbDecision=828500 #constraints=37046 1642.03/1642.53 c nbDecision=829000 #constraints=37067 1643.33/1643.81 c nbDecision=829500 #constraints=37077 1645.13/1645.68 c nbDecision=830000 #constraints=37090 1646.33/1646.87 c nbDecision=830500 #constraints=37099 1647.93/1648.45 c nbDecision=831000 #constraints=37111 1649.13/1649.63 c nbDecision=831500 #constraints=37118 1651.03/1651.52 c nbDecision=832000 #constraints=37135 1652.52/1653.04 c nbDecision=832500 #constraints=37148 1653.93/1654.48 c nbDecision=833000 #constraints=37174 1655.52/1656.09 c nbDecision=833500 #constraints=37187 1656.83/1657.36 c nbDecision=834000 #constraints=37195 1658.23/1658.78 c nbDecision=834500 #constraints=37217 1659.73/1660.22 c nbDecision=835000 #constraints=37221 1661.23/1661.76 c nbDecision=835500 #constraints=37236 1662.53/1663.02 c nbDecision=836000 #constraints=37238 1663.93/1664.47 c nbDecision=836500 #constraints=37241 1665.72/1666.23 c nbDecision=837000 #constraints=37262 1667.03/1667.55 c nbDecision=837500 #constraints=37279 1668.52/1669.02 c nbDecision=838000 #constraints=37283 1669.82/1670.40 c nbDecision=838500 #constraints=37300 1671.22/1671.77 c nbDecision=839000 #constraints=37310 1672.42/1672.97 c nbDecision=839500 #constraints=37322 1673.62/1674.14 c nbDecision=840000 #constraints=37330 1674.92/1675.44 c nbDecision=840500 #constraints=37347 1676.62/1677.17 c nbDecision=841000 #constraints=37377 1678.62/1679.10 c nbDecision=841500 #constraints=37416 1679.82/1680.37 c nbDecision=842000 #constraints=37420 1681.02/1681.55 c nbDecision=842500 #constraints=37431 1682.22/1682.72 c nbDecision=843000 #constraints=37440 1683.92/1684.47 c nbDecision=843500 #constraints=37462 1685.11/1685.61 c nbDecision=844000 #constraints=37474 1686.61/1687.13 c nbDecision=844500 #constraints=37484 1687.92/1688.43 c nbDecision=845000 #constraints=37493 1689.02/1689.55 c nbDecision=845500 #constraints=37496 1690.31/1690.80 c nbDecision=846000 #constraints=37504 1692.01/1692.55 c nbDecision=846500 #constraints=37517 1693.52/1694.04 c nbDecision=847000 #constraints=37544 1694.71/1695.27 c nbDecision=847500 #constraints=37561 1696.11/1696.69 c nbDecision=848000 #constraints=37575 1698.01/1698.51 c nbDecision=848500 #constraints=37587 1699.11/1699.66 c nbDecision=849000 #constraints=37595 1700.31/1700.80 c nbDecision=849500 #constraints=37597 1701.51/1702.00 c nbDecision=850000 #constraints=37599 1703.51/1704.05 c nbDecision=850500 #constraints=37633 1705.11/1705.68 c nbDecision=851000 #constraints=37661 1706.31/1706.82 c nbDecision=851500 #constraints=37663 1707.91/1708.43 c nbDecision=852000 #constraints=37680 1709.21/1709.70 c nbDecision=852500 #constraints=37692 1710.41/1710.93 c nbDecision=853000 #constraints=37694 1711.71/1712.25 c nbDecision=853500 #constraints=37701 1713.41/1713.99 c nbDecision=854000 #constraints=37727 1714.61/1715.19 c nbDecision=854500 #constraints=37737 1715.71/1716.27 c nbDecision=855000 #constraints=37745 1716.91/1717.46 c nbDecision=855500 #constraints=37750 1718.31/1718.88 c nbDecision=856000 #constraints=37765 1719.71/1720.28 c nbDecision=856500 #constraints=37776 1720.91/1721.50 c nbDecision=857000 #constraints=37783 1722.81/1723.39 c nbDecision=857500 #constraints=37790 1724.41/1724.97 c nbDecision=858000 #constraints=37804 1725.71/1726.22 c nbDecision=858500 #constraints=37807 1726.91/1727.41 c nbDecision=859000 #constraints=37809 1728.30/1728.83 c nbDecision=859500 #constraints=37817 1730.00/1730.57 c nbDecision=860000 #constraints=37838 1731.30/1731.89 c nbDecision=860500 #constraints=37849 1732.70/1733.23 c nbDecision=861000 #constraints=37858 1734.00/1734.55 c nbDecision=861500 #constraints=37868 1735.80/1736.33 c nbDecision=862000 #constraints=37890 1737.00/1737.53 c nbDecision=862500 #constraints=37892 1738.20/1738.73 c nbDecision=863000 #constraints=37895 1739.60/1740.19 c nbDecision=863500 #constraints=37898 1741.10/1741.63 c nbDecision=864000 #constraints=37914 1742.40/1742.90 c nbDecision=864500 #constraints=37927 1744.20/1744.76 c nbDecision=865000 #constraints=37937 1745.60/1746.14 c nbDecision=865500 #constraints=37944 1747.10/1747.67 c nbDecision=866000 #constraints=37952 1748.80/1749.38 c nbDecision=866500 #constraints=37971 1750.00/1750.58 c nbDecision=867000 #constraints=37982 1751.20/1751.75 c nbDecision=867500 #constraints=38000 1752.60/1753.19 c nbDecision=868000 #constraints=38003 1754.10/1754.68 c nbDecision=868500 #constraints=38014 1755.70/1756.26 c nbDecision=869000 #constraints=38029 1756.90/1757.44 c nbDecision=869500 #constraints=38031 1758.60/1759.15 c nbDecision=870000 #constraints=38046 1760.09/1760.64 c nbDecision=870500 #constraints=38059 1761.60/1762.16 c nbDecision=871000 #constraints=38075 1762.99/1763.56 c nbDecision=871500 #constraints=38085 1764.29/1764.87 c nbDecision=872000 #constraints=38094 1765.69/1766.22 c nbDecision=872500 #constraints=38104 1766.99/1767.53 c nbDecision=873000 #constraints=38106 1768.09/1768.65 c nbDecision=873500 #constraints=38108 1769.79/1770.39 c nbDecision=874000 #constraints=38129 1771.19/1771.76 c nbDecision=874500 #constraints=38139 1772.59/1773.19 c nbDecision=875000 #constraints=38161 1773.89/1774.48 c nbDecision=875500 #constraints=38165 1775.59/1776.19 c nbDecision=876000 #constraints=38182 1776.79/1777.37 c nbDecision=876500 #constraints=38184 1778.28/1778.89 c nbDecision=877000 #constraints=38190 1779.78/1780.35 c nbDecision=877500 #constraints=38203 1781.18/1781.71 c nbDecision=878000 #constraints=38212 1782.60/1783.16 c nbDecision=878500 #constraints=38226 1783.89/1784.48 c nbDecision=879000 #constraints=38239 1785.49/1786.01 c nbDecision=879500 #constraints=38244 1786.79/1787.35 c nbDecision=880000 #constraints=38257 1788.09/1788.66 c nbDecision=880500 #constraints=38273 1789.39/1789.98 c nbDecision=881000 #constraints=38283 1791.09/1791.65 c nbDecision=881500 #constraints=38292 1792.39/1792.95 c nbDecision=882000 #constraints=38302 1793.79/1794.37 c nbDecision=882500 #constraints=38317 1795.18/1795.70 c nbDecision=883000 #constraints=38320 1796.38/1796.95 c nbDecision=883500 #constraints=38326 1797.78/1798.31 c nbDecision=884000 #constraints=38336 1799.18/1799.71 c nbDecision=884500 #constraints=38350 1800.09/1800.61 Received signal 15 1800.09/1800.61 1800.09/1800.61 s UNKNOWN 1800.09/1800.61 1800.09/1800.61 c user time= 1799.31 s 1800.09/1800.61 c system time= 0.795879 s 1800.09/1800.61 c wall clock time=1800.61
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-356900-1176847369 -o ROOT/results/node72/solver-356900-1176847369 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356900-1176847369/instance-356900-1176847369.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.72 0.93 0.98 3/77 17987 /proc/meminfo: memFree=1672184/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=1620 CPUtime=0 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160775333 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 405 176 126 317 0 84 0 [startup+0.0680751 s] /proc/loadavg: 0.72 0.93 0.98 3/77 17987 /proc/meminfo: memFree=1672184/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=2672 CPUtime=0.06 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 469 0 0 0 6 0 0 0 18 0 1 0 160775333 2736128 418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 668 418 131 317 0 347 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2672 [startup+0.101078 s] /proc/loadavg: 0.72 0.93 0.98 3/77 17987 /proc/meminfo: memFree=1672184/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=3464 CPUtime=0.09 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 672 0 0 0 9 0 0 0 18 0 1 0 160775333 3547136 621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 866 621 131 317 0 545 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3464 [startup+0.301096 s] /proc/loadavg: 0.72 0.93 0.98 3/77 17987 /proc/meminfo: memFree=1672184/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=8416 CPUtime=0.29 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 1943 0 0 0 29 0 0 0 19 0 1 0 160775333 8617984 1892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534179 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 2104 1892 137 317 0 1783 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8416 [startup+0.701132 s] /proc/loadavg: 0.72 0.93 0.98 3/77 17987 /proc/meminfo: memFree=1672184/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=8812 CPUtime=0.69 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 2043 0 0 0 69 0 0 0 23 0 1 0 160775333 9023488 1992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 2203 1992 138 317 0 1882 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8812 [startup+1.50121 s] /proc/loadavg: 0.72 0.93 0.98 2/78 17988 /proc/meminfo: memFree=1664688/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=8812 CPUtime=1.49 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 2043 0 0 0 149 0 0 0 25 0 1 0 160775333 9023488 1992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 2203 1992 138 317 0 1882 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8812 [startup+3.10235 s] /proc/loadavg: 0.74 0.94 0.98 2/78 17988 /proc/meminfo: memFree=1664560/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=8940 CPUtime=3.09 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 2046 0 0 0 309 0 0 0 25 0 1 0 160775333 9154560 1995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 2235 1995 138 317 0 1914 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8940 [startup+6.30164 s] /proc/loadavg: 0.74 0.94 0.98 2/78 17988 /proc/meminfo: memFree=1658096/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=17736 CPUtime=6.29 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 4247 0 0 0 627 2 0 0 25 0 1 0 160775333 18161664 4196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 4434 4196 139 317 0 4113 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17736 [startup+12.7012 s] /proc/loadavg: 0.78 0.94 0.98 2/78 17988 /proc/meminfo: memFree=1643440/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=31028 CPUtime=12.68 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 7566 0 0 0 1266 2 0 0 25 0 1 0 160775333 31772672 7515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746916 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 7757 7515 139 317 0 7436 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31028 [startup+25.5014 s] /proc/loadavg: 0.81 0.94 0.98 2/78 17988 /proc/meminfo: memFree=1615344/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=58776 CPUtime=25.48 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 14488 0 0 0 2541 7 0 0 25 0 1 0 160775333 60186624 14437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 14694 14437 139 317 0 14373 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 58776 [startup+51.1017 s] /proc/loadavg: 0.87 0.94 0.98 2/78 17988 /proc/meminfo: memFree=1580528/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=94900 CPUtime=51.08 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 23437 0 0 0 5095 13 0 0 25 0 1 0 160775333 97177600 23386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 23725 23386 139 317 0 23404 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 94900 [startup+102.305 s] /proc/loadavg: 0.95 0.95 0.98 2/78 17988 /proc/meminfo: memFree=1534576/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=138792 CPUtime=102.26 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 34541 0 0 0 10205 21 0 0 25 0 1 0 160775333 142123008 34432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 34698 34432 139 317 0 34377 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 138792 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.98 2/78 17988 /proc/meminfo: memFree=1493232/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=183844 CPUtime=162.25 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 45149 0 0 0 16198 27 0 0 25 0 1 0 160775333 188256256 45040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 45961 45040 139 317 0 45640 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 183844 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.98 2/78 17988 /proc/meminfo: memFree=1462128/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=213728 CPUtime=222.23 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 52712 0 0 0 22192 31 0 0 25 0 1 0 160775333 218857472 52489 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 53432 52489 139 317 0 53111 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 213728 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 3/78 17988 /proc/meminfo: memFree=1440048/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=236312 CPUtime=282.22 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 58295 0 0 0 28187 35 0 0 25 0 1 0 160775333 241983488 58072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 59078 58072 139 317 0 58757 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 236312 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17988 /proc/meminfo: memFree=1422512/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=252700 CPUtime=342.2 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 62603 0 0 0 34182 38 0 0 25 0 1 0 160775333 258764800 62380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 63175 62380 139 317 0 62854 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 252700 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17988 /proc/meminfo: memFree=1406064/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=270952 CPUtime=402.18 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 66797 0 0 0 40177 41 0 0 25 0 1 0 160775333 277454848 66574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 67738 66574 139 317 0 67417 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 270952 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17988 /proc/meminfo: memFree=1389936/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=287900 CPUtime=462.17 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 70723 0 0 0 46174 43 0 0 25 0 1 0 160775333 294809600 70500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 71975 70500 139 317 0 71654 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 287900 [startup+522.302 s] /proc/loadavg: 1.04 0.99 0.98 2/78 17988 /proc/meminfo: memFree=1377840/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=299604 CPUtime=522.15 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 73767 0 0 0 52170 45 0 0 25 0 1 0 160775333 306794496 73544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 74901 73544 139 317 0 74580 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 299604 [startup+582.301 s] /proc/loadavg: 1.01 0.99 0.98 2/78 17988 /proc/meminfo: memFree=1362672/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=317860 CPUtime=582.13 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 77525 0 0 0 58166 47 0 0 25 0 1 0 160775333 325488640 77302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 79465 77302 139 317 0 79144 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 317860 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17988 /proc/meminfo: memFree=1353904/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=326356 CPUtime=642.12 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 79711 0 0 0 64163 49 0 0 25 0 1 0 160775333 334188544 79488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 81589 79488 139 317 0 81268 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 326356 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17988 /proc/meminfo: memFree=1326896/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=352620 CPUtime=822.06 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 86457 0 0 0 82151 55 0 0 25 0 1 0 160775333 361082880 86234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 88155 86234 139 317 0 87834 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 352620 [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17988 /proc/meminfo: memFree=1319152/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=359616 CPUtime=882.05 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 88412 0 0 0 88148 57 0 0 25 0 1 0 160775333 368246784 88189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 89904 88189 139 317 0 89583 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 359616 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17988 /proc/meminfo: memFree=1312432/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=366344 CPUtime=942.03 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 90111 0 0 0 94144 59 0 0 25 0 1 0 160775333 375136256 89888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 91586 89888 139 317 0 91265 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 366344 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17988 /proc/meminfo: memFree=1304752/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=374800 CPUtime=1002.01 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 91991 0 0 0 100141 60 0 0 25 0 1 0 160775333 383795200 91768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 93700 91768 139 317 0 93379 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 374800 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17988 /proc/meminfo: memFree=1296752/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=383116 CPUtime=1062 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 94041 0 0 0 106138 62 0 0 25 0 1 0 160775333 392310784 93818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 95779 93818 139 317 0 95458 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 383116 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17988 /proc/meminfo: memFree=1290352/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=388740 CPUtime=1121.98 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 95577 0 0 0 112135 63 0 0 25 0 1 0 160775333 398069760 95354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 97185 95354 139 317 0 96864 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 388740 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17988 /proc/meminfo: memFree=1284336/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=395544 CPUtime=1181.96 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 97305 0 0 0 118131 65 0 0 25 0 1 0 160775333 405037056 96823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 98886 96823 139 317 0 98565 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 395544 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 17988 /proc/meminfo: memFree=1278768/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=401048 CPUtime=1241.95 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 98715 0 0 0 124128 67 0 0 25 0 1 0 160775333 410673152 98233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 100262 98233 139 317 0 99941 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 401048 [startup+1302.3 s] /proc/loadavg: 1.08 1.00 0.99 2/78 17988 /proc/meminfo: memFree=1273136/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=405920 CPUtime=1301.94 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 100131 0 0 0 130126 68 0 0 25 0 1 0 160775333 415662080 99649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 101480 99649 139 317 0 101159 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 405920 [startup+1362.3 s] /proc/loadavg: 1.10 1.02 0.99 2/78 17988 /proc/meminfo: memFree=1268720/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=410232 CPUtime=1361.91 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 101240 0 0 0 136122 69 0 0 25 0 1 0 160775333 420077568 100758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 102558 100758 139 317 0 102237 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 410232 [startup+1422.31 s] /proc/loadavg: 1.16 1.04 1.00 2/78 17988 /proc/meminfo: memFree=1262320/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=416364 CPUtime=1421.9 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 102819 0 0 0 142120 70 0 0 25 0 1 0 160775333 426356736 102337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 104091 102337 139 317 0 103770 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 416364 [startup+1482.3 s] /proc/loadavg: 1.06 1.03 1.00 2/78 17988 /proc/meminfo: memFree=1256752/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=421128 CPUtime=1481.88 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 104211 0 0 0 148116 72 0 0 25 0 1 0 160775333 431235072 103729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 105282 103729 139 317 0 104961 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 421128 [startup+1542.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 17988 /proc/meminfo: memFree=1251760/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=425932 CPUtime=1541.85 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 105435 0 0 0 154112 73 0 0 25 0 1 0 160775333 436154368 104953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 106483 104953 139 317 0 106162 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 425932 [startup+1602.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 17988 /proc/meminfo: memFree=1246448/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=431400 CPUtime=1601.85 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 106785 0 0 0 160110 75 0 0 25 0 1 0 160775333 441753600 106303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718453 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 107850 106303 139 317 0 107529 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 431400 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17988 /proc/meminfo: memFree=1242864/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=434796 CPUtime=1661.83 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 107659 0 0 0 166107 76 0 0 25 0 1 0 160775333 445231104 107177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 108699 107177 139 317 0 108378 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 434796 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17990 /proc/meminfo: memFree=1238256/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=439288 CPUtime=1721.81 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 108802 0 0 0 172104 77 0 0 25 0 1 0 160775333 449830912 108320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 109822 108320 139 317 0 109501 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 439288 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17990 /proc/meminfo: memFree=1234160/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=443364 CPUtime=1781.78 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 109867 0 0 0 178100 78 0 0 25 0 1 0 160775333 454004736 109385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 110841 109385 139 317 0 110520 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 443364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17990 /proc/meminfo: memFree=1231536/2055920 swapFree=4156508/4192956 [pid=17987] ppid=17985 vsize=446524 CPUtime=1800.09 /proc/17987/stat : 17987 (oree) R 17985 17987 17930 0 -1 4194304 110484 0 0 0 179930 79 0 0 25 0 1 0 160775333 457240576 110002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17987/statm: 111631 110002 139 317 0 111310 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 446524 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.18 CPU user time (s): 1799.32 CPU system time (s): 0.864868 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 446524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.32 system time used= 0.864868 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110500 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= 3686 runsolver used 2.12168 second user time and 4.52331 second system time The end
Begin job on node72 on Tue Apr 17 22:02:49 UTC 2007 IDJOB= 356900 IDBENCH= 1612 IDSOLVER= 172 FILE ID= node72/356900-1176847369 PBS_JOBID= 4590211 Free space on /tmp= 66479 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-bg512142.opb COMMAND LINE= oree /tmp/evaluation/356900-1176847369/instance-356900-1176847369.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-356900-1176847369 -o ROOT/results/node72/solver-356900-1176847369 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356900-1176847369/instance-356900-1176847369.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 6816c7581e307ff85cc3550c4b71269a RANDOM SEED= 408517035 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1672528 kB Buffers: 44140 kB Cached: 254484 kB SwapCached: 18324 kB Active: 167808 kB Inactive: 154868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1672528 kB SwapTotal: 4192956 kB SwapFree: 4156508 kB Dirty: 2312 kB Writeback: 0 kB Mapped: 29624 kB Slab: 46232 kB Committed_AS: 2693364 kB PageTables: 1788 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= 66479 MiB End job on node72 on Tue Apr 17 22:32:52 UTC 2007