Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.14 | 1801.74 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/pebbling/sat-grid-pbl-0200.sat05-1339.reshuffled-07.opb |
MD5SUM | 21e6e90d98d88737fe7f7e77baf11e52 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 24.0143 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 40200 |
Total number of constraints | 79801 |
Number of constraints which are clauses | 79801 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 4 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 7 |
Number of bits of the biggest sum of numbers | 3 |
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.79/0.87 c ...done 0.79/0.87 c #vars=40200 #constraints=79801 hasObjective=no 0.99/1.10 c res. mode=mod 0.99/1.10 c VSIDS like heuristics 0.99/1.10 c complete search running 1.69/1.77 c restart after 401 decisions 1.89/1.95 c nbDecision=500 #constraints=79801 2.39/2.44 c restart after 801 decisions 2.69/2.78 c nbDecision=1000 #constraints=79801 3.59/3.61 c nbDecision=1500 #constraints=79801 3.69/3.77 c restart after 1601 decisions 4.39/4.44 c nbDecision=2000 #constraints=79801 5.19/5.26 c nbDecision=2500 #constraints=79801 5.99/6.07 c nbDecision=3000 #constraints=79801 6.29/6.39 c restart after 3201 decisions 6.89/6.90 c nbDecision=3500 #constraints=79801 7.69/7.71 c nbDecision=4000 #constraints=79801 8.48/8.52 c nbDecision=4500 #constraints=79801 9.28/9.32 c nbDecision=5000 #constraints=79801 10.08/10.11 c nbDecision=5500 #constraints=79801 10.78/10.89 c nbDecision=6000 #constraints=79801 11.48/11.53 c restart after 6401 decisions 11.68/11.73 c nbDecision=6500 #constraints=79801 12.48/12.57 c nbDecision=7000 #constraints=79801 13.28/13.38 c nbDecision=7500 #constraints=79801 14.08/14.18 c nbDecision=8000 #constraints=79801 14.88/14.97 c nbDecision=8500 #constraints=79801 15.68/15.76 c nbDecision=9000 #constraints=79801 16.48/16.54 c nbDecision=9500 #constraints=79801 17.28/17.32 c nbDecision=10000 #constraints=79801 17.98/18.09 c nbDecision=10500 #constraints=79801 18.78/18.85 c nbDecision=11000 #constraints=79801 19.58/19.60 c nbDecision=11500 #constraints=79801 20.28/20.39 c nbDecision=12000 #constraints=79802 21.08/21.13 c nbDecision=12500 #constraints=79802 21.48/21.58 c restart after 12801 decisions 21.88/21.95 c nbDecision=13000 #constraints=79802 22.68/22.77 c nbDecision=13500 #constraints=79802 23.48/23.58 c nbDecision=14000 #constraints=79802 24.28/24.39 c nbDecision=14500 #constraints=79802 25.08/25.19 c nbDecision=15000 #constraints=79802 25.88/25.98 c nbDecision=15500 #constraints=79802 26.68/26.76 c nbDecision=16000 #constraints=79802 27.48/27.53 c nbDecision=16500 #constraints=79802 28.18/28.29 c nbDecision=17000 #constraints=79802 28.98/29.04 c nbDecision=17500 #constraints=79802 29.68/29.79 c nbDecision=18000 #constraints=79802 30.48/30.52 c nbDecision=18500 #constraints=79802 31.18/31.25 c nbDecision=19000 #constraints=79802 31.88/31.99 c nbDecision=19500 #constraints=79803 32.67/32.74 c nbDecision=20000 #constraints=79803 33.37/33.47 c nbDecision=20500 #constraints=79803 34.16/34.20 c nbDecision=21000 #constraints=79804 34.86/34.95 c nbDecision=21500 #constraints=79805 35.56/35.68 c nbDecision=22000 #constraints=79805 36.36/36.41 c nbDecision=22500 #constraints=79805 37.06/37.14 c nbDecision=23000 #constraints=79805 37.76/37.85 c nbDecision=23500 #constraints=79805 38.46/38.56 c nbDecision=24000 #constraints=79805 39.16/39.28 c nbDecision=24500 #constraints=79806 39.86/39.99 c nbDecision=25000 #constraints=79806 40.56/40.69 c nbDecision=25500 #constraints=79806 40.76/40.83 c restart after 25601 decisions 41.46/41.52 c nbDecision=26000 #constraints=79806 42.26/42.33 c nbDecision=26500 #constraints=79806 43.06/43.14 c nbDecision=27000 #constraints=79806 43.86/43.95 c nbDecision=27500 #constraints=79806 44.66/44.74 c nbDecision=28000 #constraints=79806 45.46/45.53 c nbDecision=28500 #constraints=79806 46.26/46.31 c nbDecision=29000 #constraints=79806 46.96/47.08 c nbDecision=29500 #constraints=79806 47.76/47.83 c nbDecision=30000 #constraints=79806 48.46/48.58 c nbDecision=30500 #constraints=79806 49.26/49.33 c nbDecision=31000 #constraints=79806 49.96/50.06 c nbDecision=31500 #constraints=79806 50.66/50.78 c nbDecision=32000 #constraints=79806 51.46/51.50 c nbDecision=32500 #constraints=79806 52.16/52.21 c nbDecision=33000 #constraints=79806 52.85/52.91 c nbDecision=33500 #constraints=79806 53.55/53.60 c nbDecision=34000 #constraints=79806 54.25/54.34 c nbDecision=34500 #constraints=79807 54.96/55.06 c nbDecision=35000 #constraints=79807 55.65/55.77 c nbDecision=35500 #constraints=79807 56.35/56.47 c nbDecision=36000 #constraints=79807 57.06/57.17 c nbDecision=36500 #constraints=79807 57.75/57.89 c nbDecision=37000 #constraints=79807 58.55/58.62 c nbDecision=37500 #constraints=79807 59.34/59.41 c nbDecision=38000 #constraints=79808 60.04/60.17 c nbDecision=38500 #constraints=79808 60.84/60.90 c nbDecision=39000 #constraints=79808 61.54/61.60 c nbDecision=39500 #constraints=79808 62.24/62.33 c nbDecision=40000 #constraints=79809 62.94/63.05 c nbDecision=40500 #constraints=79809 63.64/63.77 c nbDecision=41000 #constraints=79809 64.34/64.47 c nbDecision=41500 #constraints=79809 65.04/65.17 c nbDecision=42000 #constraints=79809 65.74/65.86 c nbDecision=42500 #constraints=79809 66.44/66.53 c nbDecision=43000 #constraints=79809 67.13/67.20 c nbDecision=43500 #constraints=79809 67.73/67.88 c nbDecision=44000 #constraints=79810 68.43/68.54 c nbDecision=44500 #constraints=79810 69.03/69.20 c nbDecision=45000 #constraints=79810 69.73/69.87 c nbDecision=45500 #constraints=79811 70.43/70.53 c nbDecision=46000 #constraints=79811 71.03/71.17 c nbDecision=46500 #constraints=79811 71.73/71.87 c nbDecision=47000 #constraints=79812 72.44/72.56 c nbDecision=47500 #constraints=79812 73.13/73.24 c nbDecision=48000 #constraints=79812 73.83/73.91 c nbDecision=48500 #constraints=79812 74.53/74.61 c nbDecision=49000 #constraints=79813 75.13/75.29 c nbDecision=49500 #constraints=79813 75.84/75.95 c nbDecision=50000 #constraints=79813 76.53/76.62 c nbDecision=50500 #constraints=79813 77.13/77.28 c nbDecision=51000 #constraints=79813 77.43/77.56 c restart after 51201 decisions 77.93/78.07 c nbDecision=51500 #constraints=79814 78.73/78.89 c nbDecision=52000 #constraints=79814 79.62/79.70 c nbDecision=52500 #constraints=79814 80.42/80.51 c nbDecision=53000 #constraints=79814 81.23/81.31 c nbDecision=53500 #constraints=79814 81.92/82.10 c nbDecision=54000 #constraints=79814 82.72/82.88 c nbDecision=54500 #constraints=79814 83.53/83.65 c nbDecision=55000 #constraints=79814 84.32/84.42 c nbDecision=55500 #constraints=79814 85.02/85.18 c nbDecision=56000 #constraints=79814 85.82/85.93 c nbDecision=56500 #constraints=79814 86.52/86.66 c nbDecision=57000 #constraints=79814 87.22/87.39 c nbDecision=57500 #constraints=79814 88.02/88.11 c nbDecision=58000 #constraints=79814 88.72/88.82 c nbDecision=58500 #constraints=79814 89.42/89.52 c nbDecision=59000 #constraints=79814 90.12/90.21 c nbDecision=59500 #constraints=79814 90.82/90.90 c nbDecision=60000 #constraints=79814 91.42/91.57 c nbDecision=60500 #constraints=79814 92.12/92.24 c nbDecision=61000 #constraints=79814 92.81/92.90 c nbDecision=61500 #constraints=79814 93.42/93.55 c nbDecision=62000 #constraints=79814 94.01/94.19 c nbDecision=62500 #constraints=79814 94.71/94.84 c nbDecision=63000 #constraints=79815 95.31/95.49 c nbDecision=63500 #constraints=79816 96.01/96.13 c nbDecision=64000 #constraints=79816 96.62/96.78 c nbDecision=64500 #constraints=79816 97.31/97.48 c nbDecision=65000 #constraints=79823 98.01/98.16 c nbDecision=65500 #constraints=79823 98.71/98.83 c nbDecision=66000 #constraints=79823 99.31/99.49 c nbDecision=66500 #constraints=79823 100.02/100.14 c nbDecision=67000 #constraints=79823 100.61/100.78 c nbDecision=67500 #constraints=79823 101.31/101.46 c nbDecision=68000 #constraints=79825 102.01/102.14 c nbDecision=68500 #constraints=79825 102.71/102.81 c nbDecision=69000 #constraints=79825 103.31/103.48 c nbDecision=69500 #constraints=79825 104.01/104.16 c nbDecision=70000 #constraints=79825 104.70/104.83 c nbDecision=70500 #constraints=79825 105.40/105.55 c nbDecision=71000 #constraints=79828 106.20/106.31 c nbDecision=71500 #constraints=79828 106.90/107.07 c nbDecision=72000 #constraints=79828 107.70/107.81 c nbDecision=72500 #constraints=79828 108.40/108.54 c nbDecision=73000 #constraints=79828 109.10/109.26 c nbDecision=73500 #constraints=79828 109.80/109.98 c nbDecision=74000 #constraints=79828 110.50/110.69 c nbDecision=74500 #constraints=79828 111.20/111.39 c nbDecision=75000 #constraints=79828 111.90/112.08 c nbDecision=75500 #constraints=79828 112.60/112.77 c nbDecision=76000 #constraints=79828 113.30/113.44 c nbDecision=76500 #constraints=79828 114.00/114.10 c nbDecision=77000 #constraints=79828 114.60/114.76 c nbDecision=77500 #constraints=79828 115.30/115.41 c nbDecision=78000 #constraints=79828 115.90/116.05 c nbDecision=78500 #constraints=79828 116.50/116.68 c nbDecision=79000 #constraints=79828 117.20/117.34 c nbDecision=79500 #constraints=79829 117.80/117.98 c nbDecision=80000 #constraints=79829 118.49/118.62 c nbDecision=80500 #constraints=79829 119.09/119.28 c nbDecision=81000 #constraints=79830 119.80/119.94 c nbDecision=81500 #constraints=79830 120.39/120.59 c nbDecision=82000 #constraints=79830 121.09/121.24 c nbDecision=82500 #constraints=79830 121.69/121.87 c nbDecision=83000 #constraints=79830 122.39/122.52 c nbDecision=83500 #constraints=79831 123.09/123.24 c nbDecision=84000 #constraints=79832 123.78/123.94 c nbDecision=84500 #constraints=79832 124.48/124.60 c nbDecision=85000 #constraints=79832 125.08/125.24 c nbDecision=85500 #constraints=79832 125.68/125.86 c nbDecision=86000 #constraints=79832 126.38/126.59 c nbDecision=86500 #constraints=79837 127.08/127.28 c nbDecision=87000 #constraints=79837 127.78/127.97 c nbDecision=87500 #constraints=79837 128.48/128.64 c nbDecision=88000 #constraints=79837 129.18/129.31 c nbDecision=88500 #constraints=79837 129.78/129.97 c nbDecision=89000 #constraints=79837 130.48/130.62 c nbDecision=89500 #constraints=79837 131.08/131.26 c nbDecision=90000 #constraints=79837 131.67/131.89 c nbDecision=90500 #constraints=79837 132.37/132.52 c nbDecision=91000 #constraints=79837 132.98/133.17 c nbDecision=91500 #constraints=79840 133.67/133.82 c nbDecision=92000 #constraints=79840 134.27/134.46 c nbDecision=92500 #constraints=79840 134.97/135.10 c nbDecision=93000 #constraints=79840 135.57/135.72 c nbDecision=93500 #constraints=79840 136.18/136.35 c nbDecision=94000 #constraints=79841 136.77/136.97 c nbDecision=94500 #constraints=79841 137.47/137.61 c nbDecision=95000 #constraints=79842 138.07/138.23 c nbDecision=95500 #constraints=79842 138.67/138.85 c nbDecision=96000 #constraints=79842 139.27/139.47 c nbDecision=96500 #constraints=79843 139.97/140.15 c nbDecision=97000 #constraints=79850 140.67/140.83 c nbDecision=97500 #constraints=79852 141.37/141.54 c nbDecision=98000 #constraints=79852 142.07/142.24 c nbDecision=98500 #constraints=79852 142.77/142.93 c nbDecision=99000 #constraints=79852 143.47/143.61 c nbDecision=99500 #constraints=79852 144.07/144.28 c nbDecision=100000 #constraints=79852 144.77/144.95 c nbDecision=100500 #constraints=79852 145.47/145.60 c nbDecision=101000 #constraints=79852 146.07/146.25 c nbDecision=101500 #constraints=79852 146.67/146.88 c nbDecision=102000 #constraints=79852 147.17/147.38 c restart after 102401 decisions 147.36/147.50 c nbDecision=102500 #constraints=79852 147.96/148.18 c nbDecision=103000 #constraints=79854 148.76/148.99 c nbDecision=103500 #constraints=79854 149.66/149.84 c nbDecision=104000 #constraints=79854 150.46/150.64 c nbDecision=104500 #constraints=79854 151.26/151.42 c nbDecision=105000 #constraints=79854 152.06/152.20 c nbDecision=105500 #constraints=79854 152.76/152.98 c nbDecision=106000 #constraints=79854 153.55/153.75 c nbDecision=106500 #constraints=79855 154.35/154.52 c nbDecision=107000 #constraints=79855 155.05/155.28 c nbDecision=107500 #constraints=79855 155.85/156.03 c nbDecision=108000 #constraints=79855 156.55/156.78 c nbDecision=108500 #constraints=79855 157.35/157.54 c nbDecision=109000 #constraints=79856 158.15/158.32 c nbDecision=109500 #constraints=79856 158.85/159.09 c nbDecision=110000 #constraints=79856 159.65/159.85 c nbDecision=110500 #constraints=79856 160.35/160.60 c nbDecision=111000 #constraints=79856 161.15/161.34 c nbDecision=111500 #constraints=79856 161.85/162.07 c nbDecision=112000 #constraints=79856 162.55/162.80 c nbDecision=112500 #constraints=79856 163.35/163.52 c nbDecision=113000 #constraints=79856 164.05/164.23 c nbDecision=113500 #constraints=79856 164.75/164.94 c nbDecision=114000 #constraints=79857 165.45/165.65 c nbDecision=114500 #constraints=79857 166.15/166.35 c nbDecision=115000 #constraints=79857 166.85/167.04 c nbDecision=115500 #constraints=79857 167.55/167.75 c nbDecision=116000 #constraints=79857 168.24/168.45 c nbDecision=116500 #constraints=79857 168.94/169.15 c nbDecision=117000 #constraints=79858 169.64/169.84 c nbDecision=117500 #constraints=79858 170.34/170.51 c nbDecision=118000 #constraints=79858 170.94/171.19 c nbDecision=118500 #constraints=79858 171.64/171.85 c nbDecision=119000 #constraints=79858 172.34/172.59 c nbDecision=119500 #constraints=79859 173.14/173.38 c nbDecision=120000 #constraints=79859 173.94/174.16 c nbDecision=120500 #constraints=79859 174.74/174.93 c nbDecision=121000 #constraints=79859 175.44/175.69 c nbDecision=121500 #constraints=79859 176.24/176.45 c nbDecision=122000 #constraints=79859 177.04/177.21 c nbDecision=122500 #constraints=79860 177.74/177.97 c nbDecision=123000 #constraints=79860 178.53/178.72 c nbDecision=123500 #constraints=79860 179.23/179.46 c nbDecision=124000 #constraints=79860 179.93/180.19 c nbDecision=124500 #constraints=79860 180.73/180.91 c nbDecision=125000 #constraints=79860 181.43/181.63 c nbDecision=125500 #constraints=79860 182.13/182.34 c nbDecision=126000 #constraints=79860 182.83/183.04 c nbDecision=126500 #constraints=79860 183.54/183.72 c nbDecision=127000 #constraints=79860 184.23/184.40 c nbDecision=127500 #constraints=79860 184.83/185.08 c nbDecision=128000 #constraints=79860 185.53/185.74 c nbDecision=128500 #constraints=79860 186.13/186.39 c nbDecision=129000 #constraints=79860 186.84/187.03 c nbDecision=129500 #constraints=79860 187.43/187.66 c nbDecision=130000 #constraints=79860 188.03/188.28 c nbDecision=130500 #constraints=79860 188.63/188.89 c nbDecision=131000 #constraints=79860 189.33/189.52 c nbDecision=131500 #constraints=79861 189.93/190.14 c nbDecision=132000 #constraints=79861 190.54/190.75 c nbDecision=132500 #constraints=79861 191.14/191.40 c nbDecision=133000 #constraints=79862 191.84/192.03 c nbDecision=133500 #constraints=79862 192.44/192.65 c nbDecision=134000 #constraints=79862 193.04/193.26 c nbDecision=134500 #constraints=79862 193.64/193.87 c nbDecision=135000 #constraints=79862 194.34/194.56 c nbDecision=135500 #constraints=79863 195.04/195.24 c nbDecision=136000 #constraints=79863 195.73/195.95 c nbDecision=136500 #constraints=79863 196.43/196.61 c nbDecision=137000 #constraints=79863 197.03/197.27 c nbDecision=137500 #constraints=79863 197.73/197.92 c nbDecision=138000 #constraints=79863 198.33/198.56 c nbDecision=138500 #constraints=79863 198.93/199.18 c nbDecision=139000 #constraints=79863 199.63/199.80 c nbDecision=139500 #constraints=79863 200.23/200.42 c nbDecision=140000 #constraints=79863 200.93/201.12 c nbDecision=140500 #constraints=79864 201.63/201.80 c nbDecision=141000 #constraints=79864 202.23/202.48 c nbDecision=141500 #constraints=79864 202.93/203.14 c nbDecision=142000 #constraints=79864 203.63/203.80 c nbDecision=142500 #constraints=79864 204.22/204.45 c nbDecision=143000 #constraints=79864 204.82/205.09 c nbDecision=143500 #constraints=79864 205.53/205.72 c nbDecision=144000 #constraints=79864 206.12/206.34 c nbDecision=144500 #constraints=79864 206.72/206.94 c nbDecision=145000 #constraints=79864 207.32/207.57 c nbDecision=145500 #constraints=79865 207.92/208.19 c nbDecision=146000 #constraints=79865 208.53/208.79 c nbDecision=146500 #constraints=79865 209.22/209.45 c nbDecision=147000 #constraints=79869 209.93/210.12 c nbDecision=147500 #constraints=79869 210.52/210.79 c nbDecision=148000 #constraints=79869 211.22/211.45 c nbDecision=148500 #constraints=79869 211.92/212.10 c nbDecision=149000 #constraints=79869 212.52/212.77 c nbDecision=149500 #constraints=79869 213.22/213.44 c nbDecision=150000 #constraints=79869 213.81/214.07 c nbDecision=150500 #constraints=79869 214.41/214.68 c nbDecision=151000 #constraints=79869 215.01/215.28 c nbDecision=151500 #constraints=79869 215.71/215.91 c nbDecision=152000 #constraints=79872 216.31/216.52 c nbDecision=152500 #constraints=79872 216.91/217.12 c nbDecision=153000 #constraints=79872 217.52/217.75 c nbDecision=153500 #constraints=79877 218.21/218.41 c nbDecision=154000 #constraints=79879 218.81/219.09 c nbDecision=154500 #constraints=79879 219.51/219.77 c nbDecision=155000 #constraints=79879 220.21/220.44 c nbDecision=155500 #constraints=79879 220.81/221.10 c nbDecision=156000 #constraints=79879 221.51/221.75 c nbDecision=156500 #constraints=79879 222.11/222.39 c nbDecision=157000 #constraints=79879 222.81/223.02 c nbDecision=157500 #constraints=79879 223.41/223.68 c nbDecision=158000 #constraints=79880 224.11/224.36 c nbDecision=158500 #constraints=79880 224.81/225.02 c nbDecision=159000 #constraints=79880 225.41/225.68 c nbDecision=159500 #constraints=79880 226.11/226.32 c nbDecision=160000 #constraints=79880 226.71/226.96 c nbDecision=160500 #constraints=79880 227.31/227.58 c nbDecision=161000 #constraints=79880 227.91/228.20 c nbDecision=161500 #constraints=79880 228.61/228.81 c nbDecision=162000 #constraints=79881 229.21/229.47 c nbDecision=162500 #constraints=79883 229.91/230.16 c nbDecision=163000 #constraints=79884 230.61/230.84 c nbDecision=163500 #constraints=79884 231.31/231.50 c nbDecision=164000 #constraints=79884 231.91/232.16 c nbDecision=164500 #constraints=79884 232.61/232.81 c nbDecision=165000 #constraints=79884 233.21/233.45 c nbDecision=165500 #constraints=79884 233.81/234.08 c nbDecision=166000 #constraints=79884 234.51/234.70 c nbDecision=166500 #constraints=79884 235.11/235.32 c nbDecision=167000 #constraints=79884 235.70/235.92 c nbDecision=167500 #constraints=79884 236.31/236.51 c nbDecision=168000 #constraints=79884 236.90/237.16 c nbDecision=168500 #constraints=79885 237.50/237.77 c nbDecision=169000 #constraints=79885 238.10/238.37 c nbDecision=169500 #constraints=79885 238.80/239.03 c nbDecision=170000 #constraints=79888 239.40/239.66 c nbDecision=170500 #constraints=79888 240.00/240.28 c nbDecision=171000 #constraints=79888 240.70/240.92 c nbDecision=171500 #constraints=79889 241.30/241.57 c nbDecision=172000 #constraints=79889 241.99/242.22 c nbDecision=172500 #constraints=79889 242.59/242.83 c nbDecision=173000 #constraints=79889 243.19/243.43 c nbDecision=173500 #constraints=79889 243.79/244.08 c nbDecision=174000 #constraints=79892 244.49/244.70 c nbDecision=174500 #constraints=79892 245.10/245.31 c nbDecision=175000 #constraints=79892 245.69/245.92 c nbDecision=175500 #constraints=79892 246.29/246.57 c nbDecision=176000 #constraints=79900 246.99/247.25 c nbDecision=176500 #constraints=79900 247.69/247.91 c nbDecision=177000 #constraints=79900 248.29/248.57 c nbDecision=177500 #constraints=79900 248.99/249.23 c nbDecision=178000 #constraints=79901 249.59/249.88 c nbDecision=178500 #constraints=79901 250.29/250.53 c nbDecision=179000 #constraints=79901 250.89/251.16 c nbDecision=179500 #constraints=79901 251.49/251.79 c nbDecision=180000 #constraints=79901 252.19/252.41 c nbDecision=180500 #constraints=79901 252.79/253.02 c nbDecision=181000 #constraints=79901 253.39/253.61 c nbDecision=181500 #constraints=79901 253.99/254.22 c nbDecision=182000 #constraints=79902 254.59/254.83 c nbDecision=182500 #constraints=79902 255.19/255.43 c nbDecision=183000 #constraints=79902 255.79/256.05 c nbDecision=183500 #constraints=79904 256.39/256.70 c nbDecision=184000 #constraints=79904 257.09/257.34 c nbDecision=184500 #constraints=79904 257.78/258.00 c nbDecision=185000 #constraints=79904 258.38/258.65 c nbDecision=185500 #constraints=79904 258.98/259.26 c nbDecision=186000 #constraints=79904 259.58/259.86 c nbDecision=186500 #constraints=79904 260.28/260.53 c nbDecision=187000 #constraints=79905 260.98/261.20 c nbDecision=187500 #constraints=79905 261.58/261.86 c nbDecision=188000 #constraints=79905 262.28/262.51 c nbDecision=188500 #constraints=79905 262.88/263.15 c nbDecision=189000 #constraints=79905 263.48/263.78 c nbDecision=189500 #constraints=79905 264.18/264.41 c nbDecision=190000 #constraints=79905 264.78/265.02 c nbDecision=190500 #constraints=79905 265.38/265.62 c nbDecision=191000 #constraints=79905 265.98/266.22 c nbDecision=191500 #constraints=79905 266.57/266.86 c nbDecision=192000 #constraints=79906 267.17/267.48 c nbDecision=192500 #constraints=79906 267.77/268.09 c nbDecision=193000 #constraints=79906 268.37/268.69 c nbDecision=193500 #constraints=79906 268.97/269.28 c nbDecision=194000 #constraints=79906 269.57/269.88 c nbDecision=194500 #constraints=79907 270.17/270.47 c nbDecision=195000 #constraints=79908 270.77/271.09 c nbDecision=195500 #constraints=79909 271.47/271.75 c nbDecision=196000 #constraints=79909 272.07/272.40 c nbDecision=196500 #constraints=79909 272.77/273.04 c nbDecision=197000 #constraints=79909 273.37/273.66 c nbDecision=197500 #constraints=79909 273.97/274.29 c nbDecision=198000 #constraints=79909 274.57/274.90 c nbDecision=198500 #constraints=79909 275.27/275.50 c nbDecision=199000 #constraints=79909 275.77/276.09 c nbDecision=199500 #constraints=79909 276.47/276.71 c nbDecision=200000 #constraints=79910 277.07/277.34 c nbDecision=200500 #constraints=79910 277.67/277.99 c nbDecision=201000 #constraints=79911 278.37/278.61 c nbDecision=201500 #constraints=79911 278.97/279.23 c nbDecision=202000 #constraints=79911 279.57/279.84 c nbDecision=202500 #constraints=79911 280.17/280.44 c nbDecision=203000 #constraints=79911 280.77/281.03 c nbDecision=203500 #constraints=79911 281.37/281.66 c nbDecision=204000 #constraints=79913 281.97/282.28 c nbDecision=204500 #constraints=79913 282.37/282.65 c restart after 204801 decisions 282.57/282.84 c nbDecision=205000 #constraints=79915 282.96/283.28 c nbDecision=205500 #constraints=79919 283.86/284.10 c nbDecision=206000 #constraints=79919 284.67/284.90 c nbDecision=206500 #constraints=79919 285.46/285.71 c nbDecision=207000 #constraints=79919 286.26/286.50 c nbDecision=207500 #constraints=79919 286.96/287.28 c nbDecision=208000 #constraints=79919 287.86/288.11 c nbDecision=208500 #constraints=79919 288.56/288.88 c nbDecision=209000 #constraints=79919 289.36/289.63 c nbDecision=209500 #constraints=79919 290.06/290.38 c nbDecision=210000 #constraints=79919 290.85/291.12 c nbDecision=210500 #constraints=79919 291.55/291.85 c nbDecision=211000 #constraints=79919 292.26/292.57 c nbDecision=211500 #constraints=79919 292.95/293.28 c nbDecision=212000 #constraints=79919 293.65/293.99 c nbDecision=212500 #constraints=79919 294.35/294.69 c nbDecision=213000 #constraints=79919 295.05/295.37 c nbDecision=213500 #constraints=79919 295.75/296.05 c nbDecision=214000 #constraints=79919 296.45/296.73 c nbDecision=214500 #constraints=79919 297.05/297.39 c nbDecision=215000 #constraints=79919 297.75/298.08 c nbDecision=215500 #constraints=79921 298.35/298.62 c nbDecision=216000 #constraints=79923 299.15/299.44 c nbDecision=216500 #constraints=79923 299.95/300.25 c nbDecision=217000 #constraints=79923 300.75/301.04 c nbDecision=217500 #constraints=79923 301.55/301.84 c nbDecision=218000 #constraints=79923 302.34/302.63 c nbDecision=218500 #constraints=79923 303.14/303.40 c nbDecision=219000 #constraints=79923 303.84/304.17 c nbDecision=219500 #constraints=79923 304.64/304.93 c nbDecision=220000 #constraints=79923 305.34/305.68 c nbDecision=220500 #constraints=79923 306.14/306.42 c nbDecision=221000 #constraints=79923 306.84/307.19 c nbDecision=221500 #constraints=79924 307.64/308.00 c nbDecision=222000 #constraints=79924 308.54/308.80 c nbDecision=222500 #constraints=79924 309.24/309.60 c nbDecision=223000 #constraints=79924 310.04/310.38 c nbDecision=223500 #constraints=79924 310.84/311.16 c nbDecision=224000 #constraints=79924 311.64/311.93 c nbDecision=224500 #constraints=79924 312.34/312.69 c nbDecision=225000 #constraints=79924 313.14/313.45 c nbDecision=225500 #constraints=79924 313.84/314.19 c nbDecision=226000 #constraints=79924 314.64/314.93 c nbDecision=226500 #constraints=79924 315.34/315.66 c nbDecision=227000 #constraints=79924 316.04/316.39 c nbDecision=227500 #constraints=79924 316.83/317.11 c nbDecision=228000 #constraints=79924 317.54/317.82 c nbDecision=228500 #constraints=79924 318.23/318.52 c nbDecision=229000 #constraints=79924 318.93/319.21 c nbDecision=229500 #constraints=79924 319.63/319.96 c nbDecision=230000 #constraints=79925 320.33/320.69 c nbDecision=230500 #constraints=79925 321.13/321.42 c nbDecision=231000 #constraints=79925 321.83/322.14 c nbDecision=231500 #constraints=79925 322.53/322.85 c nbDecision=232000 #constraints=79925 323.23/323.55 c nbDecision=232500 #constraints=79925 323.93/324.25 c nbDecision=233000 #constraints=79925 324.63/324.93 c nbDecision=233500 #constraints=79925 325.34/325.60 c nbDecision=234000 #constraints=79925 325.93/326.27 c nbDecision=234500 #constraints=79925 326.63/326.92 c nbDecision=235000 #constraints=79925 327.23/327.56 c nbDecision=235500 #constraints=79925 327.93/328.21 c nbDecision=236000 #constraints=79926 328.53/328.84 c nbDecision=236500 #constraints=79926 329.13/329.46 c nbDecision=237000 #constraints=79926 329.73/330.08 c nbDecision=237500 #constraints=79926 330.33/330.68 c nbDecision=238000 #constraints=79926 330.93/331.28 c nbDecision=238500 #constraints=79926 331.53/331.86 c nbDecision=239000 #constraints=79933 332.33/332.67 c nbDecision=239500 #constraints=79933 333.12/333.48 c nbDecision=240000 #constraints=79933 334.02/334.34 c nbDecision=240500 #constraints=79933 334.82/335.19 c nbDecision=241000 #constraints=79933 335.61/335.99 c nbDecision=241500 #constraints=79933 336.41/336.76 c nbDecision=242000 #constraints=79933 337.21/337.53 c nbDecision=242500 #constraints=79933 338.01/338.30 c nbDecision=243000 #constraints=79933 338.71/339.05 c nbDecision=243500 #constraints=79933 339.41/339.80 c nbDecision=244000 #constraints=79933 340.21/340.53 c nbDecision=244500 #constraints=79933 340.91/341.26 c nbDecision=245000 #constraints=79933 341.61/341.98 c nbDecision=245500 #constraints=79933 342.31/342.70 c nbDecision=246000 #constraints=79933 343.11/343.40 c nbDecision=246500 #constraints=79933 343.71/344.10 c nbDecision=247000 #constraints=79933 344.41/344.78 c nbDecision=247500 #constraints=79933 345.11/345.46 c nbDecision=248000 #constraints=79933 345.81/346.13 c nbDecision=248500 #constraints=79933 346.41/346.78 c nbDecision=249000 #constraints=79933 347.11/347.43 c nbDecision=249500 #constraints=79933 347.80/348.10 c nbDecision=250000 #constraints=79933 348.40/348.78 c nbDecision=250500 #constraints=79933 349.20/349.53 c nbDecision=251000 #constraints=79938 349.99/350.31 c nbDecision=251500 #constraints=79938 350.69/351.07 c nbDecision=252000 #constraints=79938 351.39/351.78 c nbDecision=252500 #constraints=79938 352.19/352.50 c nbDecision=253000 #constraints=79940 352.89/353.22 c nbDecision=253500 #constraints=79940 353.59/353.93 c nbDecision=254000 #constraints=79940 354.29/354.63 c nbDecision=254500 #constraints=79940 354.99/355.32 c nbDecision=255000 #constraints=79940 355.69/356.01 c nbDecision=255500 #constraints=79940 356.29/356.69 c nbDecision=256000 #constraints=79940 356.99/357.36 c nbDecision=256500 #constraints=79940 357.69/358.03 c nbDecision=257000 #constraints=79940 358.29/358.68 c nbDecision=257500 #constraints=79940 358.99/359.33 c nbDecision=258000 #constraints=79940 359.59/359.96 c nbDecision=258500 #constraints=79940 360.19/360.59 c nbDecision=259000 #constraints=79940 360.89/361.21 c nbDecision=259500 #constraints=79940 361.49/361.82 c nbDecision=260000 #constraints=79940 362.08/362.41 c nbDecision=260500 #constraints=79940 362.69/363.00 c nbDecision=261000 #constraints=79940 363.28/363.66 c nbDecision=261500 #constraints=79941 363.88/364.28 c nbDecision=262000 #constraints=79941 364.48/364.89 c nbDecision=262500 #constraints=79941 365.18/365.50 c nbDecision=263000 #constraints=79941 365.68/366.09 c nbDecision=263500 #constraints=79941 366.38/366.70 c nbDecision=264000 #constraints=79942 366.99/367.31 c nbDecision=264500 #constraints=79942 367.58/367.91 c nbDecision=265000 #constraints=79942 368.19/368.50 c nbDecision=265500 #constraints=79942 368.68/369.08 c nbDecision=266000 #constraints=79942 369.28/369.69 c nbDecision=266500 #constraints=79944 369.98/370.30 c nbDecision=267000 #constraints=79944 370.48/370.89 c nbDecision=267500 #constraints=79944 371.08/371.49 c nbDecision=268000 #constraints=79945 371.68/372.07 c nbDecision=268500 #constraints=79945 372.28/372.68 c nbDecision=269000 #constraints=79946 372.88/373.27 c nbDecision=269500 #constraints=79946 373.48/373.85 c nbDecision=270000 #constraints=79946 374.08/374.44 c nbDecision=270500 #constraints=79947 374.68/375.06 c nbDecision=271000 #constraints=79954 375.28/375.66 c nbDecision=271500 #constraints=79954 375.88/376.26 c nbDecision=272000 #constraints=79954 376.48/376.85 c nbDecision=272500 #constraints=79954 377.08/377.44 c nbDecision=273000 #constraints=79954 377.78/378.10 c nbDecision=273500 #constraints=79964 378.38/378.75 c nbDecision=274000 #constraints=79964 378.98/379.40 c nbDecision=274500 #constraints=79964 379.67/380.06 c nbDecision=275000 #constraints=79964 380.37/380.73 c nbDecision=275500 #constraints=79964 380.97/381.38 c nbDecision=276000 #constraints=79964 381.66/382.00 c nbDecision=276500 #constraints=79964 382.16/382.59 c nbDecision=277000 #constraints=79964 382.76/383.18 c nbDecision=277500 #constraints=79964 383.47/383.83 c nbDecision=278000 #constraints=79969 384.16/384.53 c nbDecision=278500 #constraints=79969 384.86/385.21 c nbDecision=279000 #constraints=79969 385.46/385.89 c nbDecision=279500 #constraints=79969 386.16/386.58 c nbDecision=280000 #constraints=79970 386.86/387.26 c nbDecision=280500 #constraints=79970 387.56/387.92 c nbDecision=281000 #constraints=79970 388.16/388.57 c nbDecision=281500 #constraints=79970 388.86/389.28 c nbDecision=282000 #constraints=79977 389.56/389.97 c nbDecision=282500 #constraints=79977 390.26/390.65 c nbDecision=283000 #constraints=79977 390.96/391.33 c nbDecision=283500 #constraints=79977 391.56/391.99 c nbDecision=284000 #constraints=79977 392.25/392.68 c nbDecision=284500 #constraints=79977 392.95/393.38 c nbDecision=285000 #constraints=79977 393.65/394.04 c nbDecision=285500 #constraints=79977 394.25/394.67 c nbDecision=286000 #constraints=79977 394.84/395.29 c nbDecision=286500 #constraints=79977 395.55/395.91 c nbDecision=287000 #constraints=79977 396.14/396.51 c nbDecision=287500 #constraints=79977 396.75/397.15 c nbDecision=288000 #constraints=79980 397.34/397.76 c nbDecision=288500 #constraints=79980 397.94/398.36 c nbDecision=289000 #constraints=79980 398.54/398.95 c nbDecision=289500 #constraints=79980 399.14/399.55 c nbDecision=290000 #constraints=79981 399.74/400.15 c nbDecision=290500 #constraints=79981 400.34/400.74 c nbDecision=291000 #constraints=79981 400.94/401.33 c nbDecision=291500 #constraints=79981 401.64/402.02 c nbDecision=292000 #constraints=79984 402.34/402.71 c nbDecision=292500 #constraints=79984 403.04/403.40 c nbDecision=293000 #constraints=79984 403.64/404.07 c nbDecision=293500 #constraints=79984 404.34/404.74 c nbDecision=294000 #constraints=79984 405.04/405.40 c nbDecision=294500 #constraints=79984 405.64/406.05 c nbDecision=295000 #constraints=79984 406.24/406.69 c nbDecision=295500 #constraints=79984 406.94/407.31 c nbDecision=296000 #constraints=79984 407.54/407.93 c nbDecision=296500 #constraints=79984 408.14/408.54 c nbDecision=297000 #constraints=79984 408.74/409.14 c nbDecision=297500 #constraints=79984 409.34/409.72 c nbDecision=298000 #constraints=79984 409.84/410.30 c nbDecision=298500 #constraints=79984 410.54/410.90 c nbDecision=299000 #constraints=79985 411.14/411.50 c nbDecision=299500 #constraints=79985 411.64/412.09 c nbDecision=300000 #constraints=79985 412.24/412.67 c nbDecision=300500 #constraints=79985 412.84/413.30 c nbDecision=301000 #constraints=79986 413.54/413.96 c nbDecision=301500 #constraints=79986 414.24/414.61 c nbDecision=302000 #constraints=79986 414.84/415.25 c nbDecision=302500 #constraints=79986 415.44/415.89 c nbDecision=303000 #constraints=79986 416.14/416.51 c nbDecision=303500 #constraints=79986 416.74/417.14 c nbDecision=304000 #constraints=79986 417.34/417.75 c nbDecision=304500 #constraints=79986 417.94/418.35 c nbDecision=305000 #constraints=79986 418.54/418.94 c nbDecision=305500 #constraints=79986 419.14/419.53 c nbDecision=306000 #constraints=79986 419.74/420.11 c nbDecision=306500 #constraints=79987 420.34/420.77 c nbDecision=307000 #constraints=79993 421.03/421.46 c nbDecision=307500 #constraints=79993 421.73/422.14 c nbDecision=308000 #constraints=79993 422.43/422.82 c nbDecision=308500 #constraints=79993 423.04/423.48 c nbDecision=309000 #constraints=79993 423.73/424.14 c nbDecision=309500 #constraints=79993 424.33/424.79 c nbDecision=310000 #constraints=79993 425.03/425.43 c nbDecision=310500 #constraints=79993 425.62/426.07 c nbDecision=311000 #constraints=79993 426.22/426.69 c nbDecision=311500 #constraints=79993 426.83/427.29 c nbDecision=312000 #constraints=79993 427.43/427.89 c nbDecision=312500 #constraints=79993 428.02/428.47 c nbDecision=313000 #constraints=79993 428.63/429.05 c nbDecision=313500 #constraints=79993 429.22/429.65 c nbDecision=314000 #constraints=79994 429.82/430.25 c nbDecision=314500 #constraints=79994 430.42/430.84 c nbDecision=315000 #constraints=79994 431.02/431.42 c nbDecision=315500 #constraints=79994 431.52/431.99 c nbDecision=316000 #constraints=79994 432.02/432.49 c nbDecision=316500 #constraints=79996 432.72/433.11 c nbDecision=317000 #constraints=79996 433.52/433.91 c nbDecision=317500 #constraints=79996 434.32/434.71 c nbDecision=318000 #constraints=79996 435.02/435.50 c nbDecision=318500 #constraints=79996 435.82/436.28 c nbDecision=319000 #constraints=79996 436.62/437.06 c nbDecision=319500 #constraints=79996 437.41/437.87 c nbDecision=320000 #constraints=79996 438.21/438.68 c nbDecision=320500 #constraints=79996 439.01/439.45 c nbDecision=321000 #constraints=79996 439.81/440.25 c nbDecision=321500 #constraints=79997 440.61/441.04 c nbDecision=322000 #constraints=79997 441.40/441.81 c nbDecision=322500 #constraints=79997 442.11/442.58 c nbDecision=323000 #constraints=79997 442.91/443.34 c nbDecision=323500 #constraints=79997 443.60/444.09 c nbDecision=324000 #constraints=79997 444.40/444.83 c nbDecision=324500 #constraints=79997 445.11/445.56 c nbDecision=325000 #constraints=79997 445.80/446.29 c nbDecision=325500 #constraints=79997 446.60/447.00 c nbDecision=326000 #constraints=79997 447.21/447.70 c nbDecision=326500 #constraints=79997 447.90/448.39 c nbDecision=327000 #constraints=79997 448.60/449.08 c nbDecision=327500 #constraints=79997 449.30/449.75 c nbDecision=328000 #constraints=79997 450.00/450.42 c nbDecision=328500 #constraints=79997 450.60/451.08 c nbDecision=329000 #constraints=79997 451.30/451.72 c nbDecision=329500 #constraints=79997 451.90/452.36 c nbDecision=330000 #constraints=79997 452.50/452.99 c nbDecision=330500 #constraints=79997 453.20/453.62 c nbDecision=331000 #constraints=79997 453.80/454.23 c nbDecision=331500 #constraints=79997 454.40/454.83 c nbDecision=332000 #constraints=79997 455.00/455.42 c nbDecision=332500 #constraints=79997 455.60/456.01 c nbDecision=333000 #constraints=79998 456.10/456.59 c nbDecision=333500 #constraints=79998 456.80/457.23 c nbDecision=334000 #constraints=80000 457.40/457.84 c nbDecision=334500 #constraints=80000 458.00/458.44 c nbDecision=335000 #constraints=80000 458.60/459.03 c nbDecision=335500 #constraints=80000 459.20/459.62 c nbDecision=336000 #constraints=80000 459.70/460.19 c nbDecision=336500 #constraints=80000 460.40/460.83 c nbDecision=337000 #constraints=80001 461.00/461.45 c nbDecision=337500 #constraints=80001 461.60/462.06 c nbDecision=338000 #constraints=80001 462.20/462.65 c nbDecision=338500 #constraints=80001 462.80/463.24 c nbDecision=339000 #constraints=80001 463.40/463.82 c nbDecision=339500 #constraints=80001 464.00/464.40 c nbDecision=340000 #constraints=80002 464.70/465.11 c nbDecision=340500 #constraints=80006 465.40/465.82 c nbDecision=341000 #constraints=80006 466.10/466.52 c nbDecision=341500 #constraints=80006 466.80/467.21 c nbDecision=342000 #constraints=80006 467.39/467.89 c nbDecision=342500 #constraints=80006 468.10/468.56 c nbDecision=343000 #constraints=80006 468.79/469.21 c nbDecision=343500 #constraints=80006 469.39/469.87 c nbDecision=344000 #constraints=80006 470.09/470.51 c nbDecision=344500 #constraints=80006 470.69/471.14 c nbDecision=345000 #constraints=80006 471.29/471.78 c nbDecision=345500 #constraints=80006 471.99/472.40 c nbDecision=346000 #constraints=80006 472.59/473.01 c nbDecision=346500 #constraints=80006 473.19/473.60 c nbDecision=347000 #constraints=80006 473.69/474.19 c nbDecision=347500 #constraints=80006 474.28/474.76 c nbDecision=348000 #constraints=80006 474.88/475.33 c nbDecision=348500 #constraints=80006 475.48/475.95 c nbDecision=349000 #constraints=80007 476.08/476.55 c nbDecision=349500 #constraints=80007 476.68/477.14 c nbDecision=350000 #constraints=80007 477.28/477.72 c nbDecision=350500 #constraints=80007 477.78/478.29 c nbDecision=351000 #constraints=80007 478.38/478.88 c nbDecision=351500 #constraints=80008 478.98/479.46 c nbDecision=352000 #constraints=80008 479.58/480.04 c nbDecision=352500 #constraints=80009 480.19/480.62 c nbDecision=353000 #constraints=80009 480.68/481.19 c nbDecision=353500 #constraints=80010 481.28/481.79 c nbDecision=354000 #constraints=80011 481.88/482.38 c nbDecision=354500 #constraints=80011 482.48/482.99 c nbDecision=355000 #constraints=80011 483.07/483.56 c nbDecision=355500 #constraints=80011 483.77/484.28 c nbDecision=356000 #constraints=80012 484.47/484.98 c nbDecision=356500 #constraints=80012 485.17/485.67 c nbDecision=357000 #constraints=80012 485.87/486.34 c nbDecision=357500 #constraints=80012 486.58/487.01 c nbDecision=358000 #constraints=80012 487.18/487.67 c nbDecision=358500 #constraints=80012 487.88/488.31 c nbDecision=359000 #constraints=80012 488.48/488.95 c nbDecision=359500 #constraints=80012 489.08/489.58 c nbDecision=360000 #constraints=80012 489.78/490.20 c nbDecision=360500 #constraints=80012 490.38/490.81 c nbDecision=361000 #constraints=80012 490.98/491.41 c nbDecision=361500 #constraints=80012 491.58/492.00 c nbDecision=362000 #constraints=80012 492.08/492.58 c nbDecision=362500 #constraints=80012 492.68/493.15 c nbDecision=363000 #constraints=80012 493.28/493.71 c nbDecision=363500 #constraints=80012 493.88/494.33 c nbDecision=364000 #constraints=80013 494.48/494.91 c nbDecision=364500 #constraints=80013 494.98/495.49 c nbDecision=365000 #constraints=80013 495.58/496.06 c nbDecision=365500 #constraints=80013 496.18/496.68 c nbDecision=366000 #constraints=80014 496.88/497.33 c nbDecision=366500 #constraints=80014 497.48/497.96 c nbDecision=367000 #constraints=80014 498.07/498.59 c nbDecision=367500 #constraints=80014 498.77/499.23 c nbDecision=368000 #constraints=80015 499.37/499.87 c nbDecision=368500 #constraints=80015 499.98/500.49 c nbDecision=369000 #constraints=80015 500.67/501.11 c nbDecision=369500 #constraints=80015 501.27/501.72 c nbDecision=370000 #constraints=80015 501.87/502.31 c nbDecision=370500 #constraints=80015 502.47/502.90 c nbDecision=371000 #constraints=80015 502.97/503.47 c nbDecision=371500 #constraints=80015 503.57/504.04 c nbDecision=372000 #constraints=80015 504.17/504.66 c nbDecision=372500 #constraints=80016 504.77/505.27 c nbDecision=373000 #constraints=80017 505.37/505.87 c nbDecision=373500 #constraints=80017 505.97/506.45 c nbDecision=374000 #constraints=80017 506.57/507.02 c nbDecision=374500 #constraints=80017 507.07/507.59 c nbDecision=375000 #constraints=80017 507.67/508.17 c nbDecision=375500 #constraints=80018 508.27/508.74 c nbDecision=376000 #constraints=80018 508.87/509.31 c nbDecision=376500 #constraints=80019 509.37/509.87 c nbDecision=377000 #constraints=80020 509.97/510.48 c nbDecision=377500 #constraints=80024 510.67/511.11 c nbDecision=378000 #constraints=80024 511.27/511.75 c nbDecision=378500 #constraints=80024 511.87/512.37 c nbDecision=379000 #constraints=80024 512.47/512.98 c nbDecision=379500 #constraints=80024 513.07/513.58 c nbDecision=380000 #constraints=80024 513.66/514.18 c nbDecision=380500 #constraints=80024 514.27/514.77 c nbDecision=381000 #constraints=80024 514.85/515.39 c nbDecision=381500 #constraints=80024 515.45/515.99 c nbDecision=382000 #constraints=80024 516.04/516.58 c nbDecision=382500 #constraints=80026 516.74/517.28 c nbDecision=383000 #constraints=80026 517.44/518.00 c nbDecision=383500 #constraints=80026 518.13/518.68 c nbDecision=384000 #constraints=80026 518.83/519.34 c nbDecision=384500 #constraints=80026 519.42/519.99 c nbDecision=385000 #constraints=80026 520.12/520.64 c nbDecision=385500 #constraints=80026 520.72/521.28 c nbDecision=386000 #constraints=80026 521.42/521.90 c nbDecision=386500 #constraints=80026 522.03/522.52 c nbDecision=387000 #constraints=80026 522.63/523.13 c nbDecision=387500 #constraints=80026 523.23/523.72 c nbDecision=388000 #constraints=80026 523.83/524.31 c nbDecision=388500 #constraints=80026 524.32/524.89 c nbDecision=389000 #constraints=80026 524.92/525.45 c nbDecision=389500 #constraints=80026 525.52/526.05 c nbDecision=390000 #constraints=80027 526.13/526.62 c nbDecision=390500 #constraints=80027 526.62/527.19 c nbDecision=391000 #constraints=80027 527.22/527.78 c nbDecision=391500 #constraints=80028 527.82/528.36 c nbDecision=392000 #constraints=80028 528.42/528.91 c nbDecision=392500 #constraints=80028 528.92/529.50 c nbDecision=393000 #constraints=80029 529.52/530.06 c nbDecision=393500 #constraints=80029 530.22/530.70 c nbDecision=394000 #constraints=80032 530.82/531.36 c nbDecision=394500 #constraints=80032 531.52/532.01 c nbDecision=395000 #constraints=80032 532.12/532.65 c nbDecision=395500 #constraints=80032 532.72/533.28 c nbDecision=396000 #constraints=80032 533.42/533.91 c nbDecision=396500 #constraints=80032 534.02/534.52 c nbDecision=397000 #constraints=80032 534.62/535.13 c nbDecision=397500 #constraints=80032 535.22/535.72 c nbDecision=398000 #constraints=80032 535.81/536.31 c nbDecision=398500 #constraints=80032 536.32/536.89 c nbDecision=399000 #constraints=80032 536.91/537.46 c nbDecision=399500 #constraints=80032 537.51/538.02 c nbDecision=400000 #constraints=80032 538.31/538.89 c nbDecision=400500 #constraints=80057 539.01/539.55 c nbDecision=401000 #constraints=80057 539.72/540.20 c nbDecision=401500 #constraints=80057 540.32/540.84 c nbDecision=402000 #constraints=80057 540.92/541.47 c nbDecision=402500 #constraints=80057 541.52/542.09 c nbDecision=403000 #constraints=80057 542.21/542.70 c nbDecision=403500 #constraints=80057 542.82/543.31 c nbDecision=404000 #constraints=80057 543.41/543.90 c nbDecision=404500 #constraints=80057 543.92/544.48 c nbDecision=405000 #constraints=80057 544.51/545.06 c nbDecision=405500 #constraints=80057 545.11/545.62 c nbDecision=406000 #constraints=80057 545.71/546.25 c nbDecision=406500 #constraints=80060 546.31/546.84 c nbDecision=407000 #constraints=80060 546.91/547.42 c nbDecision=407500 #constraints=80060 547.41/547.99 c nbDecision=408000 #constraints=80060 548.02/548.55 c nbDecision=408500 #constraints=80060 548.62/549.12 c nbDecision=409000 #constraints=80061 549.22/549.78 c nbDecision=409500 #constraints=80064 549.42/549.91 c restart after 409601 decisions 549.61/550.19 c nbDecision=410000 #constraints=80068 549.91/550.46 c nbDecision=410500 #constraints=80072 550.31/550.87 c nbDecision=411000 #constraints=80073 551.11/551.67 c nbDecision=411500 #constraints=80073 551.91/552.47 c nbDecision=412000 #constraints=80073 552.71/553.26 c nbDecision=412500 #constraints=80073 553.51/554.04 c nbDecision=413000 #constraints=80073 554.31/554.82 c nbDecision=413500 #constraints=80073 555.01/555.59 c nbDecision=414000 #constraints=80073 555.80/556.35 c nbDecision=414500 #constraints=80073 556.61/557.11 c nbDecision=415000 #constraints=80073 557.01/557.52 c nbDecision=415500 #constraints=80080 557.41/557.95 c nbDecision=416000 #constraints=80081 558.21/558.76 c nbDecision=416500 #constraints=80081 559.01/559.56 c nbDecision=417000 #constraints=80081 559.80/560.36 c nbDecision=417500 #constraints=80081 560.60/561.15 c nbDecision=418000 #constraints=80081 561.40/561.93 c nbDecision=418500 #constraints=80081 562.20/562.71 c nbDecision=419000 #constraints=80081 562.90/563.48 c nbDecision=419500 #constraints=80081 563.70/564.28 c nbDecision=420000 #constraints=80081 564.49/565.02 c nbDecision=420500 #constraints=80081 565.19/565.77 c nbDecision=421000 #constraints=80081 565.89/566.50 c nbDecision=421500 #constraints=80081 566.70/567.21 c nbDecision=422000 #constraints=80081 567.50/568.03 c nbDecision=422500 #constraints=80083 568.30/568.82 c nbDecision=423000 #constraints=80083 569.10/569.60 c nbDecision=423500 #constraints=80083 569.80/570.37 c nbDecision=424000 #constraints=80083 570.60/571.13 c nbDecision=424500 #constraints=80083 571.30/571.89 c nbDecision=425000 #constraints=80083 572.09/572.68 c nbDecision=425500 #constraints=80083 572.89/573.48 c nbDecision=426000 #constraints=80083 573.69/574.26 c nbDecision=426500 #constraints=80083 574.38/574.98 c nbDecision=427000 #constraints=80083 575.08/575.69 c nbDecision=427500 #constraints=80083 575.79/576.40 c nbDecision=428000 #constraints=80083 576.58/577.12 c nbDecision=428500 #constraints=80084 577.28/577.82 c nbDecision=429000 #constraints=80084 577.99/578.52 c nbDecision=429500 #constraints=80084 578.68/579.20 c nbDecision=430000 #constraints=80084 579.48/580.01 c nbDecision=430500 #constraints=80086 580.18/580.77 c nbDecision=431000 #constraints=80086 580.98/581.52 c nbDecision=431500 #constraints=80086 581.68/582.26 c nbDecision=432000 #constraints=80086 582.38/582.99 c nbDecision=432500 #constraints=80086 583.18/583.72 c nbDecision=433000 #constraints=80086 583.88/584.44 c nbDecision=433500 #constraints=80086 584.58/585.14 c nbDecision=434000 #constraints=80086 585.28/585.84 c nbDecision=434500 #constraints=80086 585.98/586.53 c nbDecision=435000 #constraints=80086 586.68/587.21 c nbDecision=435500 #constraints=80086 587.38/587.92 c nbDecision=436000 #constraints=80087 588.08/588.67 c nbDecision=436500 #constraints=80087 588.88/589.41 c nbDecision=437000 #constraints=80087 589.58/590.15 c nbDecision=437500 #constraints=80087 590.28/590.87 c nbDecision=438000 #constraints=80087 590.97/591.59 c nbDecision=438500 #constraints=80087 591.77/592.31 c nbDecision=439000 #constraints=80087 592.47/593.01 c nbDecision=439500 #constraints=80087 593.17/593.70 c nbDecision=440000 #constraints=80087 593.77/594.39 c nbDecision=440500 #constraints=80087 594.47/595.06 c nbDecision=441000 #constraints=80087 595.17/595.73 c nbDecision=441500 #constraints=80087 595.77/596.38 c nbDecision=442000 #constraints=80087 596.47/597.04 c nbDecision=442500 #constraints=80087 597.07/597.69 c nbDecision=443000 #constraints=80087 597.77/598.32 c nbDecision=443500 #constraints=80087 598.87/599.47 c nbDecision=444000 #constraints=80164 599.67/600.21 c nbDecision=444500 #constraints=80166 600.37/600.93 c nbDecision=445000 #constraints=80166 601.07/601.65 c nbDecision=445500 #constraints=80166 601.76/602.37 c nbDecision=446000 #constraints=80166 602.46/603.07 c nbDecision=446500 #constraints=80166 603.16/603.77 c nbDecision=447000 #constraints=80166 603.86/604.45 c nbDecision=447500 #constraints=80166 604.56/605.13 c nbDecision=448000 #constraints=80166 605.16/605.79 c nbDecision=448500 #constraints=80166 605.86/606.45 c nbDecision=449000 #constraints=80166 606.46/607.09 c nbDecision=449500 #constraints=80166 607.16/607.73 c nbDecision=450000 #constraints=80166 607.76/608.35 c nbDecision=450500 #constraints=80166 608.36/608.97 c nbDecision=451000 #constraints=80166 609.05/609.61 c nbDecision=451500 #constraints=80166 609.65/610.25 c nbDecision=452000 #constraints=80166 610.35/610.90 c nbDecision=452500 #constraints=80167 610.95/611.53 c nbDecision=453000 #constraints=80167 611.55/612.11 c nbDecision=453500 #constraints=80167 612.05/612.68 c nbDecision=454000 #constraints=80168 612.64/613.28 c nbDecision=454500 #constraints=80169 613.25/613.87 c nbDecision=455000 #constraints=80169 613.84/614.44 c nbDecision=455500 #constraints=80169 614.44/615.01 c nbDecision=456000 #constraints=80169 614.94/615.59 c nbDecision=456500 #constraints=80170 615.54/616.18 c nbDecision=457000 #constraints=80170 616.14/616.76 c nbDecision=457500 #constraints=80170 616.74/617.34 c nbDecision=458000 #constraints=80170 617.34/617.93 c nbDecision=458500 #constraints=80170 617.94/618.55 c nbDecision=459000 #constraints=80172 618.53/619.14 c nbDecision=459500 #constraints=80172 619.13/619.72 c nbDecision=460000 #constraints=80172 619.64/620.29 c nbDecision=460500 #constraints=80172 620.23/620.86 c nbDecision=461000 #constraints=80172 620.84/621.43 c nbDecision=461500 #constraints=80173 621.33/621.99 c nbDecision=462000 #constraints=80173 622.04/622.68 c nbDecision=462500 #constraints=80186 622.73/623.31 c nbDecision=463000 #constraints=80186 623.33/623.93 c nbDecision=463500 #constraints=80186 623.93/624.54 c nbDecision=464000 #constraints=80186 624.53/625.14 c nbDecision=464500 #constraints=80186 625.13/625.73 c nbDecision=465000 #constraints=80186 625.73/626.31 c nbDecision=465500 #constraints=80186 626.23/626.88 c nbDecision=466000 #constraints=80186 626.83/627.44 c nbDecision=466500 #constraints=80186 627.43/628.09 c nbDecision=467000 #constraints=80195 628.13/628.74 c nbDecision=467500 #constraints=80195 628.73/629.38 c nbDecision=468000 #constraints=80195 629.43/630.01 c nbDecision=468500 #constraints=80195 630.03/630.63 c nbDecision=469000 #constraints=80195 630.63/631.25 c nbDecision=469500 #constraints=80195 631.23/631.85 c nbDecision=470000 #constraints=80195 631.83/632.44 c nbDecision=470500 #constraints=80195 632.43/633.03 c nbDecision=471000 #constraints=80195 633.03/633.60 c nbDecision=471500 #constraints=80195 633.53/634.17 c nbDecision=472000 #constraints=80195 634.13/634.73 c nbDecision=472500 #constraints=80195 634.83/635.42 c nbDecision=473000 #constraints=80203 635.53/636.12 c nbDecision=473500 #constraints=80203 636.23/636.81 c nbDecision=474000 #constraints=80203 636.83/637.49 c nbDecision=474500 #constraints=80203 637.53/638.16 c nbDecision=475000 #constraints=80203 638.22/638.83 c nbDecision=475500 #constraints=80203 638.82/639.48 c nbDecision=476000 #constraints=80203 639.53/640.13 c nbDecision=476500 #constraints=80203 640.13/640.77 c nbDecision=477000 #constraints=80203 640.73/641.39 c nbDecision=477500 #constraints=80203 641.42/642.01 c nbDecision=478000 #constraints=80203 642.02/642.62 c nbDecision=478500 #constraints=80203 642.62/643.22 c nbDecision=479000 #constraints=80203 643.22/643.81 c nbDecision=479500 #constraints=80203 643.72/644.38 c nbDecision=480000 #constraints=80203 644.32/644.95 c nbDecision=480500 #constraints=80203 644.92/645.51 c nbDecision=481000 #constraints=80203 645.52/646.16 c nbDecision=481500 #constraints=80205 646.13/646.77 c nbDecision=482000 #constraints=80205 646.72/647.37 c nbDecision=482500 #constraints=80205 647.33/647.96 c nbDecision=483000 #constraints=80205 647.92/648.53 c nbDecision=483500 #constraints=80205 648.52/649.10 c nbDecision=484000 #constraints=80205 649.02/649.66 c nbDecision=484500 #constraints=80205 649.62/650.25 c nbDecision=485000 #constraints=80207 650.22/650.82 c nbDecision=485500 #constraints=80207 650.72/651.38 c nbDecision=486000 #constraints=80207 651.32/651.93 c nbDecision=486500 #constraints=80207 652.02/652.64 c nbDecision=487000 #constraints=80221 652.62/653.26 c nbDecision=487500 #constraints=80221 653.22/653.87 c nbDecision=488000 #constraints=80221 653.82/654.46 c nbDecision=488500 #constraints=80221 654.42/655.05 c nbDecision=489000 #constraints=80221 655.02/655.66 c nbDecision=489500 #constraints=80221 655.61/656.23 c nbDecision=490000 #constraints=80221 656.12/656.79 c nbDecision=490500 #constraints=80221 656.71/657.36 c nbDecision=491000 #constraints=80222 657.31/657.93 c nbDecision=491500 #constraints=80222 657.81/658.48 c nbDecision=492000 #constraints=80222 658.51/659.12 c nbDecision=492500 #constraints=80223 659.11/659.76 c nbDecision=493000 #constraints=80223 659.71/660.38 c nbDecision=493500 #constraints=80223 660.31/661.00 c nbDecision=494000 #constraints=80223 661.01/661.60 c nbDecision=494500 #constraints=80223 661.51/662.20 c nbDecision=495000 #constraints=80223 662.21/662.81 c nbDecision=495500 #constraints=80223 662.80/663.41 c nbDecision=496000 #constraints=80223 663.30/663.98 c nbDecision=496500 #constraints=80223 663.90/664.53 c nbDecision=497000 #constraints=80223 664.50/665.15 c nbDecision=497500 #constraints=80224 665.10/665.75 c nbDecision=498000 #constraints=80224 665.70/666.33 c nbDecision=498500 #constraints=80224 666.30/666.90 c nbDecision=499000 #constraints=80224 666.80/667.46 c nbDecision=499500 #constraints=80224 667.40/668.02 c nbDecision=500000 #constraints=80224 668.00/668.66 c nbDecision=500500 #constraints=80225 668.60/669.29 c nbDecision=501000 #constraints=80225 669.40/670.00 c nbDecision=501500 #constraints=80233 670.00/670.68 c nbDecision=502000 #constraints=80234 670.70/671.37 c nbDecision=502500 #constraints=80234 671.40/672.04 c nbDecision=503000 #constraints=80234 672.10/672.71 c nbDecision=503500 #constraints=80234 672.70/673.36 c nbDecision=504000 #constraints=80234 673.40/674.03 c nbDecision=504500 #constraints=80235 674.10/674.71 c nbDecision=505000 #constraints=80235 674.70/675.39 c nbDecision=505500 #constraints=80235 675.40/676.05 c nbDecision=506000 #constraints=80235 676.10/676.72 c nbDecision=506500 #constraints=80235 676.70/677.37 c nbDecision=507000 #constraints=80235 677.40/678.01 c nbDecision=507500 #constraints=80235 678.00/678.65 c nbDecision=508000 #constraints=80235 678.60/679.27 c nbDecision=508500 #constraints=80235 679.20/679.89 c nbDecision=509000 #constraints=80235 679.90/680.50 c nbDecision=509500 #constraints=80235 680.40/681.09 c nbDecision=510000 #constraints=80235 680.99/681.68 c nbDecision=510500 #constraints=80235 681.59/682.26 c nbDecision=511000 #constraints=80235 682.19/682.83 c nbDecision=511500 #constraints=80235 682.69/683.38 c nbDecision=512000 #constraints=80235 683.29/683.95 c nbDecision=512500 #constraints=80236 683.89/684.52 c nbDecision=513000 #constraints=80238 684.39/685.08 c nbDecision=513500 #constraints=80238 684.99/685.63 c nbDecision=514000 #constraints=80238 685.59/686.28 c nbDecision=514500 #constraints=80239 686.29/686.99 c nbDecision=515000 #constraints=80239 686.99/687.68 c nbDecision=515500 #constraints=80239 687.69/688.37 c nbDecision=516000 #constraints=80239 688.39/689.05 c nbDecision=516500 #constraints=80239 689.10/689.72 c nbDecision=517000 #constraints=80239 689.69/690.38 c nbDecision=517500 #constraints=80239 690.39/691.03 c nbDecision=518000 #constraints=80239 690.99/691.68 c nbDecision=518500 #constraints=80239 691.69/692.31 c nbDecision=519000 #constraints=80239 692.29/692.94 c nbDecision=519500 #constraints=80239 692.89/693.55 c nbDecision=520000 #constraints=80239 693.49/694.16 c nbDecision=520500 #constraints=80239 694.09/694.75 c nbDecision=521000 #constraints=80239 694.69/695.34 c nbDecision=521500 #constraints=80239 695.29/695.91 c nbDecision=522000 #constraints=80239 695.79/696.48 c nbDecision=522500 #constraints=80239 696.39/697.05 c nbDecision=523000 #constraints=80239 696.89/697.60 c nbDecision=523500 #constraints=80239 697.59/698.23 c nbDecision=524000 #constraints=80240 698.19/698.83 c nbDecision=524500 #constraints=80240 698.79/699.43 c nbDecision=525000 #constraints=80240 699.39/700.02 c nbDecision=525500 #constraints=80240 699.89/700.59 c nbDecision=526000 #constraints=80240 700.49/701.16 c nbDecision=526500 #constraints=80240 701.09/701.75 c nbDecision=527000 #constraints=80240 701.68/702.38 c nbDecision=527500 #constraints=80242 702.38/703.04 c nbDecision=528000 #constraints=80242 702.98/703.67 c nbDecision=528500 #constraints=80242 703.58/704.29 c nbDecision=529000 #constraints=80242 704.18/704.89 c nbDecision=529500 #constraints=80242 704.78/705.49 c nbDecision=530000 #constraints=80242 705.38/706.08 c nbDecision=530500 #constraints=80242 705.98/706.66 c nbDecision=531000 #constraints=80242 706.58/707.22 c nbDecision=531500 #constraints=80242 707.17/707.81 c nbDecision=532000 #constraints=80242 707.67/708.40 c nbDecision=532500 #constraints=80243 708.27/708.95 c nbDecision=533000 #constraints=80244 708.87/709.51 c nbDecision=533500 #constraints=80245 709.37/710.05 c nbDecision=534000 #constraints=80245 709.97/710.60 c nbDecision=534500 #constraints=80246 710.47/711.17 c nbDecision=535000 #constraints=80247 711.16/711.80 c nbDecision=535500 #constraints=80247 711.76/712.42 c nbDecision=536000 #constraints=80247 712.36/713.03 c nbDecision=536500 #constraints=80247 712.96/713.63 c nbDecision=537000 #constraints=80247 713.56/714.23 c nbDecision=537500 #constraints=80247 714.16/714.81 c nbDecision=538000 #constraints=80247 714.66/715.38 c nbDecision=538500 #constraints=80247 715.26/715.95 c nbDecision=539000 #constraints=80247 715.86/716.50 c nbDecision=539500 #constraints=80247 716.36/717.05 c nbDecision=540000 #constraints=80247 716.96/717.63 c nbDecision=540500 #constraints=80250 717.46/718.18 c nbDecision=541000 #constraints=80250 718.06/718.73 c nbDecision=541500 #constraints=80251 718.56/719.28 c nbDecision=542000 #constraints=80251 719.16/719.84 c nbDecision=542500 #constraints=80253 719.66/720.38 c nbDecision=543000 #constraints=80253 720.26/720.99 c nbDecision=543500 #constraints=80254 720.86/721.59 c nbDecision=544000 #constraints=80254 721.46/722.18 c nbDecision=544500 #constraints=80254 722.07/722.76 c nbDecision=545000 #constraints=80254 722.67/723.33 c nbDecision=545500 #constraints=80254 723.27/723.93 c nbDecision=546000 #constraints=80257 723.87/724.52 c nbDecision=546500 #constraints=80257 724.47/725.11 c nbDecision=547000 #constraints=80257 724.97/725.68 c nbDecision=547500 #constraints=80257 725.57/726.24 c nbDecision=548000 #constraints=80257 726.07/726.79 c nbDecision=548500 #constraints=80257 726.67/727.38 c nbDecision=549000 #constraints=80259 727.27/727.97 c nbDecision=549500 #constraints=80261 727.97/728.61 c nbDecision=550000 #constraints=80261 728.57/729.25 c nbDecision=550500 #constraints=80261 729.17/729.87 c nbDecision=551000 #constraints=80261 729.77/730.49 c nbDecision=551500 #constraints=80261 730.36/731.09 c nbDecision=552000 #constraints=80261 730.96/731.69 c nbDecision=552500 #constraints=80261 731.56/732.27 c nbDecision=553000 #constraints=80261 732.16/732.85 c nbDecision=553500 #constraints=80261 732.76/733.42 c nbDecision=554000 #constraints=80261 733.26/733.97 c nbDecision=554500 #constraints=80261 733.86/734.52 c nbDecision=555000 #constraints=80261 734.46/735.14 c nbDecision=555500 #constraints=80263 734.86/735.60 c nbDecision=556000 #constraints=80265 735.66/736.37 c nbDecision=556500 #constraints=80265 736.46/737.14 c nbDecision=557000 #constraints=80265 737.26/737.90 c nbDecision=557500 #constraints=80265 737.96/738.65 c nbDecision=558000 #constraints=80265 738.76/739.40 c nbDecision=558500 #constraints=80265 739.46/740.14 c nbDecision=559000 #constraints=80265 740.26/740.91 c nbDecision=559500 #constraints=80266 740.96/741.67 c nbDecision=560000 #constraints=80266 741.76/742.42 c nbDecision=560500 #constraints=80266 742.46/743.16 c nbDecision=561000 #constraints=80266 743.16/743.89 c nbDecision=561500 #constraints=80266 743.96/744.61 c nbDecision=562000 #constraints=80266 744.66/745.33 c nbDecision=562500 #constraints=80266 745.36/746.03 c nbDecision=563000 #constraints=80266 746.06/746.73 c nbDecision=563500 #constraints=80266 746.76/747.42 c nbDecision=564000 #constraints=80266 747.45/748.15 c nbDecision=564500 #constraints=80266 748.15/748.87 c nbDecision=565000 #constraints=80266 748.85/749.54 c nbDecision=565500 #constraints=80266 749.45/750.18 c nbDecision=566000 #constraints=80266 750.15/750.82 c nbDecision=566500 #constraints=80266 750.75/751.45 c nbDecision=567000 #constraints=80266 751.34/752.07 c nbDecision=567500 #constraints=80266 752.04/752.71 c nbDecision=568000 #constraints=80266 752.64/753.35 c nbDecision=568500 #constraints=80266 753.24/753.99 c nbDecision=569000 #constraints=80266 753.94/754.61 c nbDecision=569500 #constraints=80266 754.43/755.18 c nbDecision=570000 #constraints=80266 755.04/755.74 c nbDecision=570500 #constraints=80266 755.53/756.29 c nbDecision=571000 #constraints=80266 756.14/756.83 c nbDecision=571500 #constraints=80266 756.63/757.39 c nbDecision=572000 #constraints=80268 757.23/757.96 c nbDecision=572500 #constraints=80270 757.83/758.51 c nbDecision=573000 #constraints=80270 758.33/759.05 c nbDecision=573500 #constraints=80270 759.03/759.71 c nbDecision=574000 #constraints=80273 759.63/760.33 c nbDecision=574500 #constraints=80273 760.23/760.95 c nbDecision=575000 #constraints=80273 760.83/761.55 c nbDecision=575500 #constraints=80273 761.43/762.15 c nbDecision=576000 #constraints=80273 762.03/762.73 c nbDecision=576500 #constraints=80273 762.63/763.31 c nbDecision=577000 #constraints=80273 763.13/763.87 c nbDecision=577500 #constraints=80273 763.73/764.43 c nbDecision=578000 #constraints=80273 764.23/764.97 c nbDecision=578500 #constraints=80273 764.93/765.64 c nbDecision=579000 #constraints=80276 765.63/766.33 c nbDecision=579500 #constraints=80276 766.23/766.99 c nbDecision=580000 #constraints=80276 766.93/767.65 c nbDecision=580500 #constraints=80276 767.63/768.30 c nbDecision=581000 #constraints=80276 768.23/768.94 c nbDecision=581500 #constraints=80276 768.83/769.57 c nbDecision=582000 #constraints=80276 769.43/770.19 c nbDecision=582500 #constraints=80276 770.13/770.83 c nbDecision=583000 #constraints=80277 770.73/771.47 c nbDecision=583500 #constraints=80277 771.43/772.10 c nbDecision=584000 #constraints=80277 772.03/772.73 c nbDecision=584500 #constraints=80277 772.63/773.34 c nbDecision=585000 #constraints=80277 773.22/773.94 c nbDecision=585500 #constraints=80277 773.82/774.54 c nbDecision=586000 #constraints=80277 774.42/775.12 c nbDecision=586500 #constraints=80277 774.92/775.69 c nbDecision=587000 #constraints=80277 775.52/776.26 c nbDecision=587500 #constraints=80277 776.12/776.82 c nbDecision=588000 #constraints=80277 776.62/777.36 c nbDecision=588500 #constraints=80277 777.22/777.92 c nbDecision=589000 #constraints=80278 777.72/778.49 c nbDecision=589500 #constraints=80278 778.32/779.04 c nbDecision=590000 #constraints=80278 778.82/779.59 c nbDecision=590500 #constraints=80278 779.42/780.14 c nbDecision=591000 #constraints=80279 779.92/780.68 c nbDecision=591500 #constraints=80279 780.52/781.26 c nbDecision=592000 #constraints=80281 781.12/781.83 c nbDecision=592500 #constraints=80281 781.62/782.40 c nbDecision=593000 #constraints=80281 782.22/782.95 c nbDecision=593500 #constraints=80281 782.72/783.49 c nbDecision=594000 #constraints=80281 783.32/784.05 c nbDecision=594500 #constraints=80283 783.92/784.60 c nbDecision=595000 #constraints=80283 784.42/785.20 c nbDecision=595500 #constraints=80286 785.12/785.81 c nbDecision=596000 #constraints=80286 785.82/786.59 c nbDecision=596500 #constraints=80286 786.62/787.35 c nbDecision=597000 #constraints=80286 787.42/788.10 c nbDecision=597500 #constraints=80286 788.12/788.85 c nbDecision=598000 #constraints=80286 788.82/789.58 c nbDecision=598500 #constraints=80286 789.62/790.31 c nbDecision=599000 #constraints=80286 790.32/791.03 c nbDecision=599500 #constraints=80286 791.02/791.74 c nbDecision=600000 #constraints=80286 791.72/792.44 c nbDecision=600500 #constraints=80286 792.42/793.13 c nbDecision=601000 #constraints=80286 793.11/793.82 c nbDecision=601500 #constraints=80286 793.81/794.55 c nbDecision=602000 #constraints=80286 794.51/795.26 c nbDecision=602500 #constraints=80286 795.21/795.92 c nbDecision=603000 #constraints=80286 795.81/796.57 c nbDecision=603500 #constraints=80286 796.50/797.21 c nbDecision=604000 #constraints=80286 797.10/797.86 c nbDecision=604500 #constraints=80286 797.80/798.53 c nbDecision=605000 #constraints=80287 798.40/799.18 c nbDecision=605500 #constraints=80287 799.09/799.82 c nbDecision=606000 #constraints=80287 799.69/800.41 c nbDecision=606500 #constraints=80287 800.29/801.09 c nbDecision=607000 #constraints=80288 800.99/801.78 c nbDecision=607500 #constraints=80288 801.69/802.47 c nbDecision=608000 #constraints=80288 802.39/803.15 c nbDecision=608500 #constraints=80288 803.09/803.81 c nbDecision=609000 #constraints=80288 803.69/804.49 c nbDecision=609500 #constraints=80289 804.39/805.15 c nbDecision=610000 #constraints=80289 805.09/805.81 c nbDecision=610500 #constraints=80289 805.69/806.46 c nbDecision=611000 #constraints=80289 806.29/807.10 c nbDecision=611500 #constraints=80289 806.99/807.72 c nbDecision=612000 #constraints=80289 807.59/808.34 c nbDecision=612500 #constraints=80289 808.19/808.94 c nbDecision=613000 #constraints=80289 808.79/809.54 c nbDecision=613500 #constraints=80289 809.39/810.13 c nbDecision=614000 #constraints=80289 809.99/810.70 c nbDecision=614500 #constraints=80289 810.49/811.27 c nbDecision=615000 #constraints=80289 811.09/811.83 c nbDecision=615500 #constraints=80289 811.59/812.37 c nbDecision=616000 #constraints=80289 812.19/812.91 c nbDecision=616500 #constraints=80289 812.88/813.68 c nbDecision=617000 #constraints=80300 813.68/814.44 c nbDecision=617500 #constraints=80300 814.39/815.18 c nbDecision=618000 #constraints=80300 815.18/815.92 c nbDecision=618500 #constraints=80300 815.88/816.65 c nbDecision=619000 #constraints=80300 816.59/817.38 c nbDecision=619500 #constraints=80300 817.28/818.09 c nbDecision=620000 #constraints=80300 818.08/818.80 c nbDecision=620500 #constraints=80300 818.79/819.50 c nbDecision=621000 #constraints=80300 819.38/820.20 c nbDecision=621500 #constraints=80300 820.08/820.88 c nbDecision=622000 #constraints=80300 820.78/821.55 c nbDecision=622500 #constraints=80300 821.48/822.21 c nbDecision=623000 #constraints=80300 822.09/822.87 c nbDecision=623500 #constraints=80300 822.78/823.52 c nbDecision=624000 #constraints=80300 823.38/824.15 c nbDecision=624500 #constraints=80300 823.98/824.78 c nbDecision=625000 #constraints=80300 824.68/825.40 c nbDecision=625500 #constraints=80300 825.28/826.00 c nbDecision=626000 #constraints=80300 825.88/826.60 c nbDecision=626500 #constraints=80300 826.38/827.18 c nbDecision=627000 #constraints=80300 826.98/827.76 c nbDecision=627500 #constraints=80300 827.58/828.32 c nbDecision=628000 #constraints=80300 828.08/828.88 c nbDecision=628500 #constraints=80300 828.68/829.42 c nbDecision=629000 #constraints=80300 829.18/829.95 c nbDecision=629500 #constraints=80300 829.78/830.53 c nbDecision=630000 #constraints=80301 830.28/831.08 c nbDecision=630500 #constraints=80301 830.88/831.62 c nbDecision=631000 #constraints=80301 831.38/832.15 c nbDecision=631500 #constraints=80301 832.08/832.80 c nbDecision=632000 #constraints=80302 832.68/833.41 c nbDecision=632500 #constraints=80302 833.28/834.01 c nbDecision=633000 #constraints=80302 833.88/834.60 c nbDecision=633500 #constraints=80302 834.38/835.18 c nbDecision=634000 #constraints=80302 834.98/835.76 c nbDecision=634500 #constraints=80302 835.57/836.32 c nbDecision=635000 #constraints=80302 836.07/836.87 c nbDecision=635500 #constraints=80302 836.67/837.42 c nbDecision=636000 #constraints=80302 837.17/837.95 c nbDecision=636500 #constraints=80302 838.07/838.81 c nbDecision=637000 #constraints=80330 838.67/839.46 c nbDecision=637500 #constraints=80330 839.37/840.13 c nbDecision=638000 #constraints=80330 839.97/840.77 c nbDecision=638500 #constraints=80330 840.57/841.39 c nbDecision=639000 #constraints=80330 841.27/842.00 c nbDecision=639500 #constraints=80330 841.86/842.62 c nbDecision=640000 #constraints=80330 842.46/843.21 c nbDecision=640500 #constraints=80330 842.96/843.79 c nbDecision=641000 #constraints=80330 843.56/844.36 c nbDecision=641500 #constraints=80330 844.16/844.92 c nbDecision=642000 #constraints=80330 844.66/845.47 c nbDecision=642500 #constraints=80330 845.26/846.00 c nbDecision=643000 #constraints=80330 845.76/846.56 c nbDecision=643500 #constraints=80331 846.36/847.17 c nbDecision=644000 #constraints=80338 846.96/847.73 c nbDecision=644500 #constraints=80338 847.46/848.27 c nbDecision=645000 #constraints=80338 848.06/848.81 c nbDecision=645500 #constraints=80338 848.75/849.50 c nbDecision=646000 #constraints=80359 849.35/850.12 c nbDecision=646500 #constraints=80359 849.95/850.73 c nbDecision=647000 #constraints=80359 850.56/851.33 c nbDecision=647500 #constraints=80359 851.15/851.93 c nbDecision=648000 #constraints=80359 851.76/852.51 c nbDecision=648500 #constraints=80359 852.25/853.08 c nbDecision=649000 #constraints=80359 852.86/853.65 c nbDecision=649500 #constraints=80359 853.45/854.20 c nbDecision=650000 #constraints=80359 853.96/854.74 c nbDecision=650500 #constraints=80359 854.45/855.29 c nbDecision=651000 #constraints=80360 855.06/855.85 c nbDecision=651500 #constraints=80360 855.55/856.39 c nbDecision=652000 #constraints=80360 856.16/856.92 c nbDecision=652500 #constraints=80360 856.65/857.46 c nbDecision=653000 #constraints=80362 857.35/858.11 c nbDecision=653500 #constraints=80363 858.05/858.81 c nbDecision=654000 #constraints=80363 858.75/859.50 c nbDecision=654500 #constraints=80363 859.35/860.18 c nbDecision=655000 #constraints=80363 860.05/860.85 c nbDecision=655500 #constraints=80363 860.75/861.52 c nbDecision=656000 #constraints=80363 861.35/862.17 c nbDecision=656500 #constraints=80363 862.05/862.81 c nbDecision=657000 #constraints=80363 862.65/863.45 c nbDecision=657500 #constraints=80363 863.25/864.08 c nbDecision=658000 #constraints=80363 863.85/864.69 c nbDecision=658500 #constraints=80363 864.55/865.30 c nbDecision=659000 #constraints=80363 865.05/865.89 c nbDecision=659500 #constraints=80363 865.65/866.48 c nbDecision=660000 #constraints=80363 866.25/867.06 c nbDecision=660500 #constraints=80363 866.85/867.62 c nbDecision=661000 #constraints=80363 867.35/868.17 c nbDecision=661500 #constraints=80363 867.95/868.71 c nbDecision=662000 #constraints=80363 868.45/869.25 c nbDecision=662500 #constraints=80364 868.95/869.78 c nbDecision=663000 #constraints=80364 869.54/870.36 c nbDecision=663500 #constraints=80369 870.14/870.93 c nbDecision=664000 #constraints=80369 870.64/871.49 c nbDecision=664500 #constraints=80369 871.24/872.04 c nbDecision=665000 #constraints=80369 871.74/872.58 c nbDecision=665500 #constraints=80369 872.34/873.10 c nbDecision=666000 #constraints=80369 872.84/873.67 c nbDecision=666500 #constraints=80371 873.44/874.22 c nbDecision=667000 #constraints=80371 873.94/874.75 c nbDecision=667500 #constraints=80371 874.44/875.28 c nbDecision=668000 #constraints=80371 875.14/875.97 c nbDecision=668500 #constraints=80375 875.84/876.62 c nbDecision=669000 #constraints=80375 876.44/877.27 c nbDecision=669500 #constraints=80375 877.14/877.90 c nbDecision=670000 #constraints=80375 877.74/878.53 c nbDecision=670500 #constraints=80375 878.34/879.15 c nbDecision=671000 #constraints=80375 879.04/879.81 c nbDecision=671500 #constraints=80376 879.64/880.46 c nbDecision=672000 #constraints=80376 880.24/881.09 c nbDecision=672500 #constraints=80376 880.95/881.72 c nbDecision=673000 #constraints=80376 881.55/882.34 c nbDecision=673500 #constraints=80376 882.15/882.95 c nbDecision=674000 #constraints=80376 882.75/883.55 c nbDecision=674500 #constraints=80376 883.35/884.14 c nbDecision=675000 #constraints=80376 883.95/884.72 c nbDecision=675500 #constraints=80376 884.45/885.29 c nbDecision=676000 #constraints=80376 885.04/885.85 c nbDecision=676500 #constraints=80376 885.64/886.40 c nbDecision=677000 #constraints=80376 886.24/887.04 c nbDecision=677500 #constraints=80377 886.94/887.71 c nbDecision=678000 #constraints=80377 887.53/888.39 c nbDecision=678500 #constraints=80377 888.23/889.07 c nbDecision=679000 #constraints=80377 888.93/889.73 c nbDecision=679500 #constraints=80377 889.52/890.38 c nbDecision=680000 #constraints=80377 890.22/891.02 c nbDecision=680500 #constraints=80377 890.82/891.60 c nbDecision=681000 #constraints=80377 891.32/892.18 c nbDecision=681500 #constraints=80377 891.92/892.74 c nbDecision=682000 #constraints=80377 892.42/893.30 c nbDecision=682500 #constraints=80377 893.02/893.84 c nbDecision=683000 #constraints=80377 893.52/894.37 c nbDecision=683500 #constraints=80377 894.02/894.89 c nbDecision=684000 #constraints=80377 894.62/895.45 c nbDecision=684500 #constraints=80378 895.11/895.98 c nbDecision=685000 #constraints=80378 895.72/896.55 c nbDecision=685500 #constraints=80383 896.41/897.22 c nbDecision=686000 #constraints=80383 897.01/897.88 c nbDecision=686500 #constraints=80383 897.71/898.53 c nbDecision=687000 #constraints=80383 898.31/899.18 c nbDecision=687500 #constraints=80383 899.02/899.81 c nbDecision=688000 #constraints=80383 899.61/900.43 c nbDecision=688500 #constraints=80383 900.21/901.04 c nbDecision=689000 #constraints=80383 900.81/901.65 c nbDecision=689500 #constraints=80383 901.41/902.24 c nbDecision=690000 #constraints=80383 902.01/902.83 c nbDecision=690500 #constraints=80383 902.61/903.40 c nbDecision=691000 #constraints=80383 903.11/903.96 c nbDecision=691500 #constraints=80383 903.71/904.52 c nbDecision=692000 #constraints=80383 904.21/905.06 c nbDecision=692500 #constraints=80383 904.71/905.59 c nbDecision=693000 #constraints=80383 905.41/906.21 c nbDecision=693500 #constraints=80386 906.01/906.81 c nbDecision=694000 #constraints=80386 906.61/907.40 c nbDecision=694500 #constraints=80386 907.11/907.98 c nbDecision=695000 #constraints=80386 907.71/908.55 c nbDecision=695500 #constraints=80386 908.41/909.29 c nbDecision=696000 #constraints=80405 909.11/909.91 c nbDecision=696500 #constraints=80405 909.71/910.53 c nbDecision=697000 #constraints=80405 910.31/911.13 c nbDecision=697500 #constraints=80405 910.91/911.73 c nbDecision=698000 #constraints=80405 911.51/912.31 c nbDecision=698500 #constraints=80405 912.01/912.89 c nbDecision=699000 #constraints=80405 912.61/913.46 c nbDecision=699500 #constraints=80405 913.21/914.01 c nbDecision=700000 #constraints=80405 913.71/914.56 c nbDecision=700500 #constraints=80405 914.21/915.09 c nbDecision=701000 #constraints=80405 914.80/915.61 c nbDecision=701500 #constraints=80405 915.41/916.25 c nbDecision=702000 #constraints=80406 916.00/916.86 c nbDecision=702500 #constraints=80406 916.61/917.45 c nbDecision=703000 #constraints=80406 917.20/918.04 c nbDecision=703500 #constraints=80406 917.80/918.62 c nbDecision=704000 #constraints=80406 918.30/919.19 c nbDecision=704500 #constraints=80406 919.00/919.84 c nbDecision=705000 #constraints=80413 919.60/920.46 c nbDecision=705500 #constraints=80413 920.20/921.07 c nbDecision=706000 #constraints=80413 920.80/921.67 c nbDecision=706500 #constraints=80413 921.40/922.26 c nbDecision=707000 #constraints=80413 922.00/922.84 c nbDecision=707500 #constraints=80413 922.60/923.41 c nbDecision=708000 #constraints=80413 923.10/923.97 c nbDecision=708500 #constraints=80413 923.70/924.51 c nbDecision=709000 #constraints=80413 924.21/925.05 c nbDecision=709500 #constraints=80413 924.70/925.58 c nbDecision=710000 #constraints=80413 925.40/926.26 c nbDecision=710500 #constraints=80428 926.00/926.83 c nbDecision=711000 #constraints=80428 926.50/927.38 c nbDecision=711500 #constraints=80428 927.10/927.91 c nbDecision=712000 #constraints=80428 927.60/928.44 c nbDecision=712500 #constraints=80428 928.20/929.05 c nbDecision=713000 #constraints=80435 928.80/929.69 c nbDecision=713500 #constraints=80435 929.50/930.33 c nbDecision=714000 #constraints=80435 930.10/930.95 c nbDecision=714500 #constraints=80435 930.70/931.59 c nbDecision=715000 #constraints=80435 931.39/932.20 c nbDecision=715500 #constraints=80435 931.99/932.85 c nbDecision=716000 #constraints=80435 932.68/933.50 c nbDecision=716500 #constraints=80436 933.28/934.16 c nbDecision=717000 #constraints=80436 933.98/934.81 c nbDecision=717500 #constraints=80436 934.57/935.41 c nbDecision=718000 #constraints=80436 935.07/935.99 c nbDecision=718500 #constraints=80436 935.67/936.56 c nbDecision=719000 #constraints=80436 936.28/937.12 c nbDecision=719500 #constraints=80436 936.77/937.68 c nbDecision=720000 #constraints=80436 937.38/938.22 c nbDecision=720500 #constraints=80436 937.87/938.75 c nbDecision=721000 #constraints=80436 938.37/939.30 c nbDecision=721500 #constraints=80437 938.97/939.84 c nbDecision=722000 #constraints=80437 939.47/940.38 c nbDecision=722500 #constraints=80437 940.07/940.96 c nbDecision=723000 #constraints=80438 940.68/941.59 c nbDecision=723500 #constraints=80439 941.37/942.21 c nbDecision=724000 #constraints=80439 941.97/942.81 c nbDecision=724500 #constraints=80439 942.57/943.41 c nbDecision=725000 #constraints=80439 943.17/944.00 c nbDecision=725500 #constraints=80439 943.67/944.58 c nbDecision=726000 #constraints=80439 944.27/945.15 c nbDecision=726500 #constraints=80439 944.87/945.71 c nbDecision=727000 #constraints=80439 945.37/946.25 c nbDecision=727500 #constraints=80439 945.87/946.79 c nbDecision=728000 #constraints=80439 946.47/947.31 c nbDecision=728500 #constraints=80439 947.07/947.90 c nbDecision=729000 #constraints=80441 947.57/948.46 c nbDecision=729500 #constraints=80441 948.17/949.02 c nbDecision=730000 #constraints=80441 948.67/949.55 c nbDecision=730500 #constraints=80441 949.17/950.08 c nbDecision=731000 #constraints=80441 949.77/950.65 c nbDecision=731500 #constraints=80444 950.37/951.23 c nbDecision=732000 #constraints=80444 950.97/951.80 c nbDecision=732500 #constraints=80444 951.47/952.36 c nbDecision=733000 #constraints=80444 952.07/952.91 c nbDecision=733500 #constraints=80444 952.57/953.45 c nbDecision=734000 #constraints=80444 953.07/953.98 c nbDecision=734500 #constraints=80444 953.57/954.49 c nbDecision=735000 #constraints=80444 954.26/955.11 c nbDecision=735500 #constraints=80445 954.77/955.70 c nbDecision=736000 #constraints=80445 955.36/956.27 c nbDecision=736500 #constraints=80445 955.96/956.83 c nbDecision=737000 #constraints=80445 956.46/957.39 c nbDecision=737500 #constraints=80445 957.06/957.94 c nbDecision=738000 #constraints=80445 957.56/958.47 c nbDecision=738500 #constraints=80445 958.06/958.99 c nbDecision=739000 #constraints=80445 958.66/959.54 c nbDecision=739500 #constraints=80446 959.16/960.07 c nbDecision=740000 #constraints=80446 959.76/960.67 c nbDecision=740500 #constraints=80454 960.36/961.23 c nbDecision=741000 #constraints=80454 960.96/961.80 c nbDecision=741500 #constraints=80455 961.46/962.37 c nbDecision=742000 #constraints=80455 962.06/962.93 c nbDecision=742500 #constraints=80455 962.56/963.48 c nbDecision=743000 #constraints=80455 963.16/964.01 c nbDecision=743500 #constraints=80455 963.66/964.54 c nbDecision=744000 #constraints=80455 964.16/965.07 c nbDecision=744500 #constraints=80456 964.66/965.59 c nbDecision=745000 #constraints=80456 965.36/966.23 c nbDecision=745500 #constraints=80469 965.96/966.84 c nbDecision=746000 #constraints=80469 966.56/967.44 c nbDecision=746500 #constraints=80469 967.16/968.02 c nbDecision=747000 #constraints=80469 967.75/968.63 c nbDecision=747500 #constraints=80476 968.35/969.24 c nbDecision=748000 #constraints=80476 968.95/969.84 c nbDecision=748500 #constraints=80476 969.55/970.44 c nbDecision=749000 #constraints=80476 970.15/971.02 c nbDecision=749500 #constraints=80476 970.65/971.59 c nbDecision=750000 #constraints=80476 971.25/972.15 c nbDecision=750500 #constraints=80476 971.85/972.70 c nbDecision=751000 #constraints=80476 972.35/973.24 c nbDecision=751500 #constraints=80476 972.85/973.77 c nbDecision=752000 #constraints=80476 973.35/974.29 c nbDecision=752500 #constraints=80476 973.95/974.81 c nbDecision=753000 #constraints=80477 974.45/975.39 c nbDecision=753500 #constraints=80478 975.05/975.97 c nbDecision=754000 #constraints=80478 975.65/976.53 c nbDecision=754500 #constraints=80478 976.15/977.09 c nbDecision=755000 #constraints=80478 976.75/977.65 c nbDecision=755500 #constraints=80478 977.34/978.20 c nbDecision=756000 #constraints=80478 977.84/978.72 c nbDecision=756500 #constraints=80478 978.34/979.29 c nbDecision=757000 #constraints=80483 978.94/979.83 c nbDecision=757500 #constraints=80483 979.44/980.35 c nbDecision=758000 #constraints=80483 979.94/980.87 c nbDecision=758500 #constraints=80483 980.54/981.41 c nbDecision=759000 #constraints=80484 981.04/981.92 c nbDecision=759500 #constraints=80484 981.74/982.66 c nbDecision=760000 #constraints=80509 982.34/983.29 c nbDecision=760500 #constraints=80509 983.04/983.91 c nbDecision=761000 #constraints=80509 983.65/984.51 c nbDecision=761500 #constraints=80509 984.24/985.11 c nbDecision=762000 #constraints=80509 984.84/985.73 c nbDecision=762500 #constraints=80511 985.44/986.34 c nbDecision=763000 #constraints=80511 986.04/986.94 c nbDecision=763500 #constraints=80511 986.64/987.53 c nbDecision=764000 #constraints=80511 987.24/988.11 c nbDecision=764500 #constraints=80511 987.74/988.68 c nbDecision=765000 #constraints=80511 988.34/989.24 c nbDecision=765500 #constraints=80511 988.84/989.78 c nbDecision=766000 #constraints=80511 989.44/990.32 c nbDecision=766500 #constraints=80511 989.94/990.86 c nbDecision=767000 #constraints=80512 990.44/991.38 c nbDecision=767500 #constraints=80512 990.94/991.89 c nbDecision=768000 #constraints=80512 991.54/992.44 c nbDecision=768500 #constraints=80531 992.24/993.12 c nbDecision=769000 #constraints=80531 992.84/993.78 c nbDecision=769500 #constraints=80531 993.54/994.44 c nbDecision=770000 #constraints=80531 994.14/995.09 c nbDecision=770500 #constraints=80531 994.84/995.73 c nbDecision=771000 #constraints=80531 995.44/996.37 c nbDecision=771500 #constraints=80531 996.03/996.99 c nbDecision=772000 #constraints=80531 996.74/997.61 c nbDecision=772500 #constraints=80531 997.33/998.22 c nbDecision=773000 #constraints=80531 997.94/998.82 c nbDecision=773500 #constraints=80531 998.53/999.41 c nbDecision=774000 #constraints=80531 999.04/999.98 c nbDecision=774500 #constraints=80531 999.63/1000.55 c nbDecision=775000 #constraints=80531 1000.23/1001.11 c nbDecision=775500 #constraints=80531 1000.73/1001.66 c nbDecision=776000 #constraints=80531 1001.24/1002.19 c nbDecision=776500 #constraints=80531 1001.83/1002.72 c nbDecision=777000 #constraints=80531 1002.34/1003.23 c nbDecision=777500 #constraints=80531 1002.93/1003.82 c nbDecision=778000 #constraints=80532 1003.44/1004.38 c nbDecision=778500 #constraints=80532 1004.03/1004.93 c nbDecision=779000 #constraints=80532 1004.54/1005.47 c nbDecision=779500 #constraints=80532 1005.03/1006.00 c nbDecision=780000 #constraints=80532 1005.63/1006.51 c nbDecision=780500 #constraints=80532 1006.23/1007.13 c nbDecision=781000 #constraints=80533 1006.83/1007.73 c nbDecision=781500 #constraints=80533 1007.43/1008.32 c nbDecision=782000 #constraints=80533 1008.03/1008.91 c nbDecision=782500 #constraints=80533 1008.53/1009.48 c nbDecision=783000 #constraints=80533 1009.13/1010.05 c nbDecision=783500 #constraints=80533 1009.73/1010.60 c nbDecision=784000 #constraints=80533 1010.23/1011.15 c nbDecision=784500 #constraints=80533 1010.73/1011.68 c nbDecision=785000 #constraints=80533 1011.33/1012.20 c nbDecision=785500 #constraints=80533 1011.83/1012.71 c nbDecision=786000 #constraints=80533 1012.33/1013.23 c nbDecision=786500 #constraints=80534 1012.83/1013.74 c nbDecision=787000 #constraints=80534 1013.53/1014.40 c nbDecision=787500 #constraints=80542 1014.03/1014.97 c nbDecision=788000 #constraints=80542 1014.62/1015.53 c nbDecision=788500 #constraints=80542 1015.12/1016.08 c nbDecision=789000 #constraints=80542 1015.72/1016.61 c nbDecision=789500 #constraints=80542 1016.22/1017.15 c nbDecision=790000 #constraints=80542 1016.72/1017.67 c nbDecision=790500 #constraints=80542 1017.22/1018.19 c nbDecision=791000 #constraints=80543 1017.82/1018.72 c nbDecision=791500 #constraints=80543 1018.32/1019.23 c nbDecision=792000 #constraints=80543 1020.02/1020.96 c nbDecision=792500 #constraints=80713 1020.72/1021.62 c nbDecision=793000 #constraints=80713 1021.32/1022.28 c nbDecision=793500 #constraints=80713 1022.02/1022.96 c nbDecision=794000 #constraints=80713 1022.71/1023.62 c nbDecision=794500 #constraints=80713 1023.31/1024.27 c nbDecision=795000 #constraints=80713 1023.91/1024.89 c nbDecision=795500 #constraints=80713 1024.51/1025.50 c nbDecision=796000 #constraints=80713 1025.11/1026.09 c nbDecision=796500 #constraints=80713 1025.71/1026.68 c nbDecision=797000 #constraints=80713 1026.31/1027.25 c nbDecision=797500 #constraints=80713 1026.90/1027.82 c nbDecision=798000 #constraints=80713 1027.40/1028.37 c nbDecision=798500 #constraints=80713 1028.00/1028.91 c nbDecision=799000 #constraints=80713 1028.50/1029.44 c nbDecision=799500 #constraints=80713 1029.00/1029.96 c nbDecision=800000 #constraints=80713 1029.50/1030.47 c nbDecision=800500 #constraints=80713 1030.00/1030.92 c nbDecision=801000 #constraints=80719 1030.60/1031.54 c nbDecision=801500 #constraints=80719 1031.30/1032.22 c nbDecision=802000 #constraints=80719 1031.91/1032.89 c nbDecision=802500 #constraints=80719 1032.60/1033.54 c nbDecision=803000 #constraints=80719 1033.20/1034.19 c nbDecision=803500 #constraints=80719 1033.90/1034.83 c nbDecision=804000 #constraints=80719 1034.50/1035.46 c nbDecision=804500 #constraints=80719 1035.10/1036.08 c nbDecision=805000 #constraints=80719 1035.80/1036.70 c nbDecision=805500 #constraints=80719 1036.40/1037.31 c nbDecision=806000 #constraints=80719 1037.10/1038.01 c nbDecision=806500 #constraints=80720 1037.70/1038.70 c nbDecision=807000 #constraints=80720 1038.40/1039.37 c nbDecision=807500 #constraints=80720 1039.10/1040.03 c nbDecision=808000 #constraints=80720 1039.70/1040.69 c nbDecision=808500 #constraints=80720 1040.40/1041.33 c nbDecision=809000 #constraints=80720 1041.00/1041.97 c nbDecision=809500 #constraints=80720 1041.60/1042.59 c nbDecision=810000 #constraints=80720 1042.30/1043.21 c nbDecision=810500 #constraints=80720 1042.90/1043.82 c nbDecision=811000 #constraints=80720 1043.50/1044.41 c nbDecision=811500 #constraints=80720 1044.10/1045.00 c nbDecision=812000 #constraints=80720 1044.60/1045.58 c nbDecision=812500 #constraints=80720 1045.20/1046.14 c nbDecision=813000 #constraints=80720 1045.80/1046.70 c nbDecision=813500 #constraints=80720 1046.30/1047.24 c nbDecision=814000 #constraints=80720 1046.79/1047.77 c nbDecision=814500 #constraints=80720 1047.49/1048.42 c nbDecision=815000 #constraints=80736 1048.09/1049.00 c nbDecision=815500 #constraints=80736 1048.59/1049.57 c nbDecision=816000 #constraints=80736 1049.19/1050.12 c nbDecision=816500 #constraints=80736 1049.69/1050.67 c nbDecision=817000 #constraints=80736 1050.29/1051.21 c nbDecision=817500 #constraints=80736 1050.79/1051.73 c nbDecision=818000 #constraints=80736 1051.29/1052.25 c nbDecision=818500 #constraints=80736 1051.89/1052.82 c nbDecision=819000 #constraints=80741 1052.09/1053.06 c restart after 819201 decisions 1052.39/1053.31 c nbDecision=819500 #constraints=80746 1052.59/1053.58 c nbDecision=820000 #constraints=80750 1052.90/1053.86 c nbDecision=820500 #constraints=80756 1053.19/1054.14 c nbDecision=821000 #constraints=80761 1053.39/1054.39 c nbDecision=821500 #constraints=80761 1054.09/1055.08 c nbDecision=822000 #constraints=80761 1054.89/1055.87 c nbDecision=822500 #constraints=80761 1055.69/1056.65 c nbDecision=823000 #constraints=80761 1056.49/1057.43 c nbDecision=823500 #constraints=80761 1057.19/1058.20 c nbDecision=824000 #constraints=80761 1057.99/1058.96 c nbDecision=824500 #constraints=80761 1058.79/1059.71 c nbDecision=825000 #constraints=80761 1059.49/1060.47 c nbDecision=825500 #constraints=80762 1060.29/1061.22 c nbDecision=826000 #constraints=80762 1060.99/1061.96 c nbDecision=826500 #constraints=80762 1061.79/1062.71 c nbDecision=827000 #constraints=80766 1061.99/1062.97 c nbDecision=827500 #constraints=80768 1062.29/1063.23 c nbDecision=828000 #constraints=80770 1062.79/1063.70 c nbDecision=828500 #constraints=80770 1063.59/1064.50 c nbDecision=829000 #constraints=80770 1064.29/1065.29 c nbDecision=829500 #constraints=80770 1065.09/1066.07 c nbDecision=830000 #constraints=80770 1065.89/1066.84 c nbDecision=830500 #constraints=80770 1066.68/1067.62 c nbDecision=831000 #constraints=80770 1067.48/1068.43 c nbDecision=831500 #constraints=80770 1068.28/1069.22 c nbDecision=832000 #constraints=80770 1069.07/1070.00 c nbDecision=832500 #constraints=80770 1069.77/1070.75 c nbDecision=833000 #constraints=80770 1070.47/1071.46 c nbDecision=833500 #constraints=80770 1071.17/1072.17 c nbDecision=834000 #constraints=80770 1071.87/1072.87 c nbDecision=834500 #constraints=80770 1072.57/1073.56 c nbDecision=835000 #constraints=80770 1073.28/1074.24 c nbDecision=835500 #constraints=80770 1073.98/1074.91 c nbDecision=836000 #constraints=80770 1074.58/1075.57 c nbDecision=836500 #constraints=80770 1075.28/1076.23 c nbDecision=837000 #constraints=80771 1075.88/1076.89 c nbDecision=837500 #constraints=80771 1076.58/1077.53 c nbDecision=838000 #constraints=80771 1077.37/1078.30 c nbDecision=838500 #constraints=80773 1078.08/1079.08 c nbDecision=839000 #constraints=80773 1078.87/1079.86 c nbDecision=839500 #constraints=80773 1079.67/1080.62 c nbDecision=840000 #constraints=80773 1080.38/1081.38 c nbDecision=840500 #constraints=80773 1081.17/1082.13 c nbDecision=841000 #constraints=80773 1081.87/1082.87 c nbDecision=841500 #constraints=80773 1082.67/1083.60 c nbDecision=842000 #constraints=80773 1083.37/1084.32 c nbDecision=842500 #constraints=80773 1084.07/1085.04 c nbDecision=843000 #constraints=80773 1084.77/1085.74 c nbDecision=843500 #constraints=80773 1085.47/1086.44 c nbDecision=844000 #constraints=80773 1086.17/1087.12 c nbDecision=844500 #constraints=80773 1086.77/1087.80 c nbDecision=845000 #constraints=80773 1087.47/1088.46 c nbDecision=845500 #constraints=80773 1088.17/1089.11 c nbDecision=846000 #constraints=80773 1088.77/1089.76 c nbDecision=846500 #constraints=80773 1089.37/1090.39 c nbDecision=847000 #constraints=80773 1090.07/1091.02 c nbDecision=847500 #constraints=80773 1090.67/1091.63 c nbDecision=848000 #constraints=80773 1091.27/1092.24 c nbDecision=848500 #constraints=80773 1091.86/1092.84 c nbDecision=849000 #constraints=80773 1092.56/1093.55 c nbDecision=849500 #constraints=80776 1093.26/1094.29 c nbDecision=850000 #constraints=80776 1094.06/1095.03 c nbDecision=850500 #constraints=80776 1094.76/1095.75 c nbDecision=851000 #constraints=80776 1095.46/1096.47 c nbDecision=851500 #constraints=80776 1096.16/1097.19 c nbDecision=852000 #constraints=80776 1096.87/1097.89 c nbDecision=852500 #constraints=80776 1097.56/1098.59 c nbDecision=853000 #constraints=80776 1098.26/1099.28 c nbDecision=853500 #constraints=80776 1098.96/1099.96 c nbDecision=854000 #constraints=80776 1099.66/1100.63 c nbDecision=854500 #constraints=80776 1100.26/1101.30 c nbDecision=855000 #constraints=80776 1100.96/1101.95 c nbDecision=855500 #constraints=80776 1101.56/1102.59 c nbDecision=856000 #constraints=80776 1102.26/1103.23 c nbDecision=856500 #constraints=80776 1102.86/1103.85 c nbDecision=857000 #constraints=80776 1103.46/1104.46 c nbDecision=857500 #constraints=80776 1104.06/1105.07 c nbDecision=858000 #constraints=80776 1104.66/1105.66 c nbDecision=858500 #constraints=80776 1105.36/1106.39 c nbDecision=859000 #constraints=80777 1106.06/1107.08 c nbDecision=859500 #constraints=80777 1106.76/1107.76 c nbDecision=860000 #constraints=80777 1107.46/1108.42 c nbDecision=860500 #constraints=80777 1108.06/1109.08 c nbDecision=861000 #constraints=80777 1108.75/1109.73 c nbDecision=861500 #constraints=80777 1109.35/1110.37 c nbDecision=862000 #constraints=80777 1109.96/1111.00 c nbDecision=862500 #constraints=80777 1110.65/1111.61 c nbDecision=863000 #constraints=80777 1111.25/1112.23 c nbDecision=863500 #constraints=80777 1111.85/1112.87 c nbDecision=864000 #constraints=80777 1112.44/1113.48 c nbDecision=864500 #constraints=80777 1113.04/1114.06 c nbDecision=865000 #constraints=80777 1113.64/1114.63 c nbDecision=865500 #constraints=80777 1114.14/1115.19 c nbDecision=866000 #constraints=80777 1114.74/1115.75 c nbDecision=866500 #constraints=80777 1115.34/1116.30 c nbDecision=867000 #constraints=80778 1115.84/1116.84 c nbDecision=867500 #constraints=80778 1116.34/1117.37 c nbDecision=868000 #constraints=80778 1116.84/1117.89 c nbDecision=868500 #constraints=80778 1117.44/1118.46 c nbDecision=869000 #constraints=80780 1118.04/1119.01 c nbDecision=869500 #constraints=80780 1118.54/1119.55 c nbDecision=870000 #constraints=80780 1119.04/1120.09 c nbDecision=870500 #constraints=80780 1119.64/1120.61 c nbDecision=871000 #constraints=80780 1120.14/1121.12 c nbDecision=871500 #constraints=80780 1120.94/1121.94 c nbDecision=872000 #constraints=80796 1121.64/1122.61 c nbDecision=872500 #constraints=80796 1122.24/1123.27 c nbDecision=873000 #constraints=80796 1122.93/1123.92 c nbDecision=873500 #constraints=80796 1123.53/1124.56 c nbDecision=874000 #constraints=80796 1124.13/1125.19 c nbDecision=874500 #constraints=80796 1124.83/1125.82 c nbDecision=875000 #constraints=80796 1125.44/1126.43 c nbDecision=875500 #constraints=80796 1126.03/1127.03 c nbDecision=876000 #constraints=80796 1126.63/1127.62 c nbDecision=876500 #constraints=80796 1127.13/1128.19 c nbDecision=877000 #constraints=80796 1127.73/1128.76 c nbDecision=877500 #constraints=80796 1128.33/1129.32 c nbDecision=878000 #constraints=80796 1128.83/1129.87 c nbDecision=878500 #constraints=80796 1129.43/1130.40 c nbDecision=879000 #constraints=80796 1129.93/1130.93 c nbDecision=879500 #constraints=80796 1130.43/1131.44 c nbDecision=880000 #constraints=80796 1130.94/1131.95 c nbDecision=880500 #constraints=80796 1131.73/1132.70 c nbDecision=881000 #constraints=80800 1132.33/1133.37 c nbDecision=881500 #constraints=80800 1133.03/1134.04 c nbDecision=882000 #constraints=80800 1133.63/1134.70 c nbDecision=882500 #constraints=80800 1134.33/1135.34 c nbDecision=883000 #constraints=80800 1134.93/1135.98 c nbDecision=883500 #constraints=80800 1135.63/1136.61 c nbDecision=884000 #constraints=80800 1136.23/1137.23 c nbDecision=884500 #constraints=80800 1136.83/1137.85 c nbDecision=885000 #constraints=80800 1137.43/1138.45 c nbDecision=885500 #constraints=80800 1138.03/1139.05 c nbDecision=886000 #constraints=80800 1138.63/1139.64 c nbDecision=886500 #constraints=80800 1139.23/1140.21 c nbDecision=887000 #constraints=80800 1139.73/1140.78 c nbDecision=887500 #constraints=80800 1140.33/1141.33 c nbDecision=888000 #constraints=80800 1140.83/1141.87 c nbDecision=888500 #constraints=80800 1141.43/1142.41 c nbDecision=889000 #constraints=80800 1141.93/1142.93 c nbDecision=889500 #constraints=80800 1142.43/1143.44 c nbDecision=890000 #constraints=80800 1143.03/1144.02 c nbDecision=890500 #constraints=80804 1143.52/1144.56 c nbDecision=891000 #constraints=80804 1144.03/1145.09 c nbDecision=891500 #constraints=80804 1144.62/1145.61 c nbDecision=892000 #constraints=80804 1145.13/1146.15 c nbDecision=892500 #constraints=80806 1145.72/1146.73 c nbDecision=893000 #constraints=80807 1146.23/1147.28 c nbDecision=893500 #constraints=80807 1146.82/1147.84 c nbDecision=894000 #constraints=80807 1147.33/1148.37 c nbDecision=894500 #constraints=80807 1147.92/1148.90 c nbDecision=895000 #constraints=80807 1148.43/1149.41 c nbDecision=895500 #constraints=80807 1148.92/1149.92 c nbDecision=896000 #constraints=80807 1149.53/1150.54 c nbDecision=896500 #constraints=80808 1150.12/1151.13 c nbDecision=897000 #constraints=80808 1150.72/1151.72 c nbDecision=897500 #constraints=80808 1151.22/1152.29 c nbDecision=898000 #constraints=80808 1151.82/1152.86 c nbDecision=898500 #constraints=80808 1152.42/1153.42 c nbDecision=899000 #constraints=80808 1152.92/1153.96 c nbDecision=899500 #constraints=80808 1153.52/1154.50 c nbDecision=900000 #constraints=80808 1154.02/1155.02 c nbDecision=900500 #constraints=80808 1154.52/1155.54 c nbDecision=901000 #constraints=80808 1155.02/1156.04 c nbDecision=901500 #constraints=80808 1155.52/1156.57 c nbDecision=902000 #constraints=80811 1156.02/1157.09 c nbDecision=902500 #constraints=80812 1156.61/1157.62 c nbDecision=903000 #constraints=80812 1157.21/1158.29 c nbDecision=903500 #constraints=80819 1158.41/1159.41 c nbDecision=904000 #constraints=80892 1158.61/1159.65 c nbDecision=904500 #constraints=80893 1158.91/1159.90 c nbDecision=905000 #constraints=80894 1159.11/1160.15 c nbDecision=905500 #constraints=80895 1159.41/1160.41 c nbDecision=906000 #constraints=80896 1159.61/1160.67 c nbDecision=906500 #constraints=80898 1159.91/1160.92 c nbDecision=907000 #constraints=80898 1160.21/1161.26 c nbDecision=907500 #constraints=80898 1161.10/1162.11 c nbDecision=908000 #constraints=80898 1161.90/1162.96 c nbDecision=908500 #constraints=80898 1162.70/1163.78 c nbDecision=909000 #constraints=80898 1163.49/1164.56 c nbDecision=909500 #constraints=80898 1164.29/1165.32 c nbDecision=910000 #constraints=80898 1164.99/1166.08 c nbDecision=910500 #constraints=80898 1165.79/1166.82 c nbDecision=911000 #constraints=80898 1166.49/1167.56 c nbDecision=911500 #constraints=80898 1167.19/1168.28 c nbDecision=912000 #constraints=80898 1167.89/1169.00 c nbDecision=912500 #constraints=80898 1168.59/1169.61 c nbDecision=913000 #constraints=80902 1168.79/1169.84 c nbDecision=913500 #constraints=80902 1168.99/1170.08 c nbDecision=914000 #constraints=80902 1169.29/1170.34 c nbDecision=914500 #constraints=80903 1169.79/1170.85 c nbDecision=915000 #constraints=80904 1170.59/1171.64 c nbDecision=915500 #constraints=80904 1171.39/1172.42 c nbDecision=916000 #constraints=80904 1172.09/1173.19 c nbDecision=916500 #constraints=80904 1172.89/1173.96 c nbDecision=917000 #constraints=80904 1173.69/1174.71 c nbDecision=917500 #constraints=80904 1174.39/1175.46 c nbDecision=918000 #constraints=80904 1175.19/1176.20 c nbDecision=918500 #constraints=80904 1175.89/1176.93 c nbDecision=919000 #constraints=80904 1176.59/1177.66 c nbDecision=919500 #constraints=80904 1177.29/1178.38 c nbDecision=920000 #constraints=80904 1177.99/1179.09 c nbDecision=920500 #constraints=80904 1178.68/1179.79 c nbDecision=921000 #constraints=80904 1179.38/1180.48 c nbDecision=921500 #constraints=80904 1180.08/1181.19 c nbDecision=922000 #constraints=80905 1180.78/1181.89 c nbDecision=922500 #constraints=80905 1181.49/1182.58 c nbDecision=923000 #constraints=80905 1182.18/1183.26 c nbDecision=923500 #constraints=80905 1182.88/1183.93 c nbDecision=924000 #constraints=80905 1183.48/1184.59 c nbDecision=924500 #constraints=80905 1184.18/1185.25 c nbDecision=925000 #constraints=80905 1184.79/1185.89 c nbDecision=925500 #constraints=80905 1185.58/1186.64 c nbDecision=926000 #constraints=80913 1186.28/1187.33 c nbDecision=926500 #constraints=80913 1186.99/1188.00 c nbDecision=927000 #constraints=80913 1187.58/1188.67 c nbDecision=927500 #constraints=80913 1188.28/1189.32 c nbDecision=928000 #constraints=80913 1188.88/1189.97 c nbDecision=928500 #constraints=80913 1189.58/1190.61 c nbDecision=929000 #constraints=80913 1190.18/1191.24 c nbDecision=929500 #constraints=80913 1190.88/1191.91 c nbDecision=930000 #constraints=80914 1191.48/1192.56 c nbDecision=930500 #constraints=80914 1192.18/1193.20 c nbDecision=931000 #constraints=80914 1192.78/1193.83 c nbDecision=931500 #constraints=80914 1193.38/1194.45 c nbDecision=932000 #constraints=80914 1193.98/1195.07 c nbDecision=932500 #constraints=80915 1194.58/1195.68 c nbDecision=933000 #constraints=80915 1195.18/1196.28 c nbDecision=933500 #constraints=80915 1195.78/1196.87 c nbDecision=934000 #constraints=80915 1196.38/1197.45 c nbDecision=934500 #constraints=80915 1196.98/1198.02 c nbDecision=935000 #constraints=80915 1197.68/1198.72 c nbDecision=935500 #constraints=80928 1198.38/1199.45 c nbDecision=936000 #constraints=80928 1199.08/1200.17 c nbDecision=936500 #constraints=80928 1199.78/1200.89 c nbDecision=937000 #constraints=80928 1200.48/1201.59 c nbDecision=937500 #constraints=80928 1201.18/1202.30 c nbDecision=938000 #constraints=80928 1201.97/1203.03 c nbDecision=938500 #constraints=80928 1202.67/1203.75 c nbDecision=939000 #constraints=80928 1203.37/1204.47 c nbDecision=939500 #constraints=80929 1204.06/1205.13 c nbDecision=940000 #constraints=80929 1204.66/1205.78 c nbDecision=940500 #constraints=80929 1205.36/1206.43 c nbDecision=941000 #constraints=80929 1205.96/1207.06 c nbDecision=941500 #constraints=80929 1206.66/1207.71 c nbDecision=942000 #constraints=80929 1207.26/1208.36 c nbDecision=942500 #constraints=80929 1207.95/1209.01 c nbDecision=943000 #constraints=80929 1208.55/1209.64 c nbDecision=943500 #constraints=80929 1209.25/1210.30 c nbDecision=944000 #constraints=80930 1209.85/1210.97 c nbDecision=944500 #constraints=80930 1210.44/1211.58 c nbDecision=945000 #constraints=80930 1211.05/1212.18 c nbDecision=945500 #constraints=80930 1211.64/1212.77 c nbDecision=946000 #constraints=80930 1212.24/1213.35 c nbDecision=946500 #constraints=80930 1212.84/1213.92 c nbDecision=947000 #constraints=80930 1213.35/1214.48 c nbDecision=947500 #constraints=80930 1213.94/1215.04 c nbDecision=948000 #constraints=80930 1214.44/1215.59 c nbDecision=948500 #constraints=80931 1215.04/1216.12 c nbDecision=949000 #constraints=80931 1215.54/1216.68 c nbDecision=949500 #constraints=80932 1216.14/1217.21 c nbDecision=950000 #constraints=80932 1216.64/1217.74 c nbDecision=950500 #constraints=80932 1217.14/1218.25 c nbDecision=951000 #constraints=80932 1217.74/1218.88 c nbDecision=951500 #constraints=80938 1218.34/1219.45 c nbDecision=952000 #constraints=80938 1218.94/1220.01 c nbDecision=952500 #constraints=80938 1219.44/1220.56 c nbDecision=953000 #constraints=80938 1219.94/1221.09 c nbDecision=953500 #constraints=80938 1220.54/1221.62 c nbDecision=954000 #constraints=80938 1221.04/1222.13 c nbDecision=954500 #constraints=80938 1221.64/1222.72 c nbDecision=955000 #constraints=80943 1222.24/1223.35 c nbDecision=955500 #constraints=80943 1222.84/1223.98 c nbDecision=956000 #constraints=80943 1223.54/1224.60 c nbDecision=956500 #constraints=80943 1224.13/1225.21 c nbDecision=957000 #constraints=80943 1224.73/1225.80 c nbDecision=957500 #constraints=80943 1225.23/1226.39 c nbDecision=958000 #constraints=80943 1225.83/1226.96 c nbDecision=958500 #constraints=80943 1226.44/1227.53 c nbDecision=959000 #constraints=80943 1226.93/1228.08 c nbDecision=959500 #constraints=80943 1227.54/1228.62 c nbDecision=960000 #constraints=80943 1228.03/1229.15 c nbDecision=960500 #constraints=80943 1228.53/1229.67 c nbDecision=961000 #constraints=80943 1229.03/1230.17 c nbDecision=961500 #constraints=80943 1229.63/1230.71 c nbDecision=962000 #constraints=80944 1230.13/1231.25 c nbDecision=962500 #constraints=80944 1230.63/1231.78 c nbDecision=963000 #constraints=80944 1231.23/1232.30 c nbDecision=963500 #constraints=80944 1231.73/1232.81 c nbDecision=964000 #constraints=80944 1232.23/1233.33 c nbDecision=964500 #constraints=80945 1232.73/1233.86 c nbDecision=965000 #constraints=80945 1233.23/1234.37 c nbDecision=965500 #constraints=80945 1233.73/1234.88 c nbDecision=966000 #constraints=80945 1234.33/1235.46 c nbDecision=966500 #constraints=80947 1234.93/1236.03 c nbDecision=967000 #constraints=80947 1235.53/1236.60 c nbDecision=967500 #constraints=80947 1236.03/1237.16 c nbDecision=968000 #constraints=80947 1236.63/1237.72 c nbDecision=968500 #constraints=80947 1237.13/1238.26 c nbDecision=969000 #constraints=80947 1237.63/1238.79 c nbDecision=969500 #constraints=80947 1238.23/1239.31 c nbDecision=970000 #constraints=80947 1238.73/1239.81 c nbDecision=970500 #constraints=80947 1239.23/1240.34 c nbDecision=971000 #constraints=80948 1239.73/1240.85 c nbDecision=971500 #constraints=80948 1240.33/1241.49 c nbDecision=972000 #constraints=80958 1240.93/1242.07 c nbDecision=972500 #constraints=80958 1241.53/1242.64 c nbDecision=973000 #constraints=80958 1242.12/1243.21 c nbDecision=973500 #constraints=80958 1242.62/1243.76 c nbDecision=974000 #constraints=80958 1243.22/1244.31 c nbDecision=974500 #constraints=80958 1243.72/1244.84 c nbDecision=975000 #constraints=80958 1244.22/1245.36 c nbDecision=975500 #constraints=80958 1244.72/1245.87 c nbDecision=976000 #constraints=80958 1245.23/1246.38 c nbDecision=976500 #constraints=80959 1245.92/1247.03 c nbDecision=977000 #constraints=80962 1246.62/1247.75 c nbDecision=977500 #constraints=80962 1247.32/1248.48 c nbDecision=978000 #constraints=80962 1248.01/1249.18 c nbDecision=978500 #constraints=80963 1248.81/1249.93 c nbDecision=979000 #constraints=80963 1249.51/1250.67 c nbDecision=979500 #constraints=80963 1250.20/1251.39 c nbDecision=980000 #constraints=80963 1250.90/1252.07 c nbDecision=980500 #constraints=80963 1251.60/1252.72 c nbDecision=981000 #constraints=80963 1252.20/1253.37 c nbDecision=981500 #constraints=80963 1252.99/1254.11 c nbDecision=982000 #constraints=80964 1253.69/1254.85 c nbDecision=982500 #constraints=80964 1254.39/1255.53 c nbDecision=983000 #constraints=80964 1254.99/1256.20 c nbDecision=983500 #constraints=80964 1255.69/1256.85 c nbDecision=984000 #constraints=80964 1256.39/1257.50 c nbDecision=984500 #constraints=80964 1256.99/1258.14 c nbDecision=985000 #constraints=80964 1257.59/1258.77 c nbDecision=985500 #constraints=80964 1258.19/1259.39 c nbDecision=986000 #constraints=80964 1258.89/1260.00 c nbDecision=986500 #constraints=80964 1259.49/1260.68 c nbDecision=987000 #constraints=80971 1260.19/1261.37 c nbDecision=987500 #constraints=80971 1260.89/1262.06 c nbDecision=988000 #constraints=80971 1261.59/1262.73 c nbDecision=988500 #constraints=80971 1262.28/1263.40 c nbDecision=989000 #constraints=80971 1262.88/1264.05 c nbDecision=989500 #constraints=80971 1263.58/1264.70 c nbDecision=990000 #constraints=80971 1264.18/1265.34 c nbDecision=990500 #constraints=80971 1264.78/1265.97 c nbDecision=991000 #constraints=80971 1265.38/1266.58 c nbDecision=991500 #constraints=80971 1265.99/1267.19 c nbDecision=992000 #constraints=80971 1266.58/1267.78 c nbDecision=992500 #constraints=80971 1267.19/1268.36 c nbDecision=993000 #constraints=80971 1267.78/1268.93 c nbDecision=993500 #constraints=80971 1268.38/1269.50 c nbDecision=994000 #constraints=80971 1268.88/1270.05 c nbDecision=994500 #constraints=80971 1269.39/1270.59 c nbDecision=995000 #constraints=80971 1269.98/1271.12 c nbDecision=995500 #constraints=80971 1270.48/1271.64 c nbDecision=996000 #constraints=80971 1270.98/1272.15 c nbDecision=996500 #constraints=80971 1271.48/1272.65 c nbDecision=997000 #constraints=80971 1272.28/1273.44 c nbDecision=997500 #constraints=80986 1272.88/1274.07 c nbDecision=998000 #constraints=80986 1273.58/1274.70 c nbDecision=998500 #constraints=80986 1274.18/1275.32 c nbDecision=999000 #constraints=80986 1274.78/1275.93 c nbDecision=999500 #constraints=80986 1275.38/1276.53 c nbDecision=1000000 #constraints=80986 1275.98/1277.13 c nbDecision=1000500 #constraints=80986 1276.58/1277.72 c nbDecision=1001000 #constraints=80986 1277.08/1278.29 c nbDecision=1001500 #constraints=80986 1277.68/1278.86 c nbDecision=1002000 #constraints=80986 1278.28/1279.42 c nbDecision=1002500 #constraints=80987 1278.78/1279.97 c nbDecision=1003000 #constraints=80987 1279.38/1280.50 c nbDecision=1003500 #constraints=80987 1279.88/1281.03 c nbDecision=1004000 #constraints=80987 1280.38/1281.54 c nbDecision=1004500 #constraints=80987 1280.88/1282.04 c nbDecision=1005000 #constraints=80987 1281.48/1282.64 c nbDecision=1005500 #constraints=80988 1282.07/1283.21 c nbDecision=1006000 #constraints=80988 1282.58/1283.76 c nbDecision=1006500 #constraints=80988 1283.17/1284.30 c nbDecision=1007000 #constraints=80988 1283.68/1284.83 c nbDecision=1007500 #constraints=80988 1284.17/1285.35 c nbDecision=1008000 #constraints=80988 1284.68/1285.86 c nbDecision=1008500 #constraints=80988 1285.17/1286.38 c nbDecision=1009000 #constraints=80989 1285.67/1286.88 c nbDecision=1009500 #constraints=80989 1286.27/1287.45 c nbDecision=1010000 #constraints=80990 1286.88/1288.02 c nbDecision=1010500 #constraints=80990 1287.37/1288.57 c nbDecision=1011000 #constraints=80990 1287.98/1289.12 c nbDecision=1011500 #constraints=80990 1288.47/1289.65 c nbDecision=1012000 #constraints=80990 1288.97/1290.18 c nbDecision=1012500 #constraints=80990 1289.47/1290.69 c nbDecision=1013000 #constraints=80990 1289.97/1291.19 c nbDecision=1013500 #constraints=80990 1290.57/1291.70 c nbDecision=1014000 #constraints=80991 1291.17/1292.30 c nbDecision=1014500 #constraints=80998 1291.66/1292.88 c nbDecision=1015000 #constraints=80998 1292.26/1293.44 c nbDecision=1015500 #constraints=80998 1292.76/1294.00 c nbDecision=1016000 #constraints=80998 1293.36/1294.54 c nbDecision=1016500 #constraints=80998 1293.96/1295.12 c nbDecision=1017000 #constraints=81001 1294.46/1295.69 c nbDecision=1017500 #constraints=81001 1295.06/1296.25 c nbDecision=1018000 #constraints=81001 1295.56/1296.80 c nbDecision=1018500 #constraints=81001 1296.16/1297.34 c nbDecision=1019000 #constraints=81001 1296.66/1297.87 c nbDecision=1019500 #constraints=81001 1297.16/1298.39 c nbDecision=1020000 #constraints=81001 1297.76/1298.90 c nbDecision=1020500 #constraints=81001 1298.26/1299.44 c nbDecision=1021000 #constraints=81002 1298.86/1300.01 c nbDecision=1021500 #constraints=81002 1299.35/1300.58 c nbDecision=1022000 #constraints=81002 1299.95/1301.12 c nbDecision=1022500 #constraints=81002 1300.45/1301.66 c nbDecision=1023000 #constraints=81002 1301.05/1302.22 c nbDecision=1023500 #constraints=81006 1301.54/1302.75 c nbDecision=1024000 #constraints=81006 1302.04/1303.25 c nbDecision=1024500 #constraints=81006 1302.54/1303.76 c nbDecision=1025000 #constraints=81007 1303.24/1304.41 c nbDecision=1025500 #constraints=81020 1303.84/1305.08 c nbDecision=1026000 #constraints=81020 1304.55/1305.75 c nbDecision=1026500 #constraints=81020 1305.24/1306.40 c nbDecision=1027000 #constraints=81020 1305.84/1307.04 c nbDecision=1027500 #constraints=81020 1306.44/1307.69 c nbDecision=1028000 #constraints=81021 1307.14/1308.32 c nbDecision=1028500 #constraints=81021 1307.74/1308.94 c nbDecision=1029000 #constraints=81021 1308.34/1309.55 c nbDecision=1029500 #constraints=81021 1308.94/1310.15 c nbDecision=1030000 #constraints=81021 1309.54/1310.74 c nbDecision=1030500 #constraints=81021 1310.14/1311.32 c nbDecision=1031000 #constraints=81021 1310.64/1311.89 c nbDecision=1031500 #constraints=81021 1311.24/1312.45 c nbDecision=1032000 #constraints=81021 1311.84/1313.02 c nbDecision=1032500 #constraints=81022 1312.44/1313.60 c nbDecision=1033000 #constraints=81022 1312.94/1314.17 c nbDecision=1033500 #constraints=81022 1313.54/1314.73 c nbDecision=1034000 #constraints=81022 1314.04/1315.28 c nbDecision=1034500 #constraints=81022 1314.64/1315.82 c nbDecision=1035000 #constraints=81022 1315.14/1316.34 c nbDecision=1035500 #constraints=81022 1315.64/1316.86 c nbDecision=1036000 #constraints=81022 1316.13/1317.37 c nbDecision=1036500 #constraints=81022 1316.64/1317.87 c nbDecision=1037000 #constraints=81022 1317.23/1318.40 c nbDecision=1037500 #constraints=81023 1317.64/1318.90 c nbDecision=1038000 #constraints=81023 1318.33/1319.55 c nbDecision=1038500 #constraints=81034 1318.93/1320.15 c nbDecision=1039000 #constraints=81034 1319.53/1320.74 c nbDecision=1039500 #constraints=81034 1320.13/1321.31 c nbDecision=1040000 #constraints=81034 1320.63/1321.88 c nbDecision=1040500 #constraints=81034 1321.23/1322.44 c nbDecision=1041000 #constraints=81034 1321.73/1322.98 c nbDecision=1041500 #constraints=81034 1322.33/1323.52 c nbDecision=1042000 #constraints=81034 1322.83/1324.04 c nbDecision=1042500 #constraints=81034 1323.33/1324.55 c nbDecision=1043000 #constraints=81034 1323.83/1325.06 c nbDecision=1043500 #constraints=81034 1324.43/1325.65 c nbDecision=1044000 #constraints=81035 1325.03/1326.24 c nbDecision=1044500 #constraints=81035 1325.63/1326.81 c nbDecision=1045000 #constraints=81035 1326.13/1327.37 c nbDecision=1045500 #constraints=81035 1326.73/1327.91 c nbDecision=1046000 #constraints=81035 1327.23/1328.45 c nbDecision=1046500 #constraints=81035 1327.73/1328.98 c nbDecision=1047000 #constraints=81035 1328.23/1329.49 c nbDecision=1047500 #constraints=81035 1328.74/1329.99 c nbDecision=1048000 #constraints=81035 1329.33/1330.55 c nbDecision=1048500 #constraints=81038 1329.93/1331.19 c nbDecision=1049000 #constraints=81046 1330.63/1331.80 c nbDecision=1049500 #constraints=81046 1331.23/1332.40 c nbDecision=1050000 #constraints=81046 1331.83/1333.00 c nbDecision=1050500 #constraints=81046 1332.33/1333.58 c nbDecision=1051000 #constraints=81046 1332.93/1334.16 c nbDecision=1051500 #constraints=81046 1333.53/1334.72 c nbDecision=1052000 #constraints=81046 1334.03/1335.27 c nbDecision=1052500 #constraints=81046 1334.63/1335.82 c nbDecision=1053000 #constraints=81046 1335.13/1336.35 c nbDecision=1053500 #constraints=81046 1335.63/1336.87 c nbDecision=1054000 #constraints=81046 1336.13/1337.39 c nbDecision=1054500 #constraints=81046 1336.72/1337.90 c nbDecision=1055000 #constraints=81046 1337.22/1338.44 c nbDecision=1055500 #constraints=81047 1337.72/1338.96 c nbDecision=1056000 #constraints=81047 1338.22/1339.47 c nbDecision=1056500 #constraints=81047 1338.72/1339.97 c nbDecision=1057000 #constraints=81047 1339.22/1340.48 c nbDecision=1057500 #constraints=81048 1339.92/1341.13 c nbDecision=1058000 #constraints=81057 1340.62/1341.81 c nbDecision=1058500 #constraints=81057 1341.22/1342.47 c nbDecision=1059000 #constraints=81057 1341.92/1343.13 c nbDecision=1059500 #constraints=81057 1342.52/1343.78 c nbDecision=1060000 #constraints=81057 1343.22/1344.41 c nbDecision=1060500 #constraints=81057 1343.83/1345.04 c nbDecision=1061000 #constraints=81057 1344.42/1345.69 c nbDecision=1061500 #constraints=81057 1345.12/1346.33 c nbDecision=1062000 #constraints=81057 1345.72/1346.93 c nbDecision=1062500 #constraints=81057 1346.32/1347.52 c nbDecision=1063000 #constraints=81058 1346.82/1348.09 c nbDecision=1063500 #constraints=81058 1347.42/1348.66 c nbDecision=1064000 #constraints=81058 1348.02/1349.21 c nbDecision=1064500 #constraints=81058 1348.52/1349.75 c nbDecision=1065000 #constraints=81058 1349.02/1350.28 c nbDecision=1065500 #constraints=81058 1349.62/1350.80 c nbDecision=1066000 #constraints=81058 1350.12/1351.31 c nbDecision=1066500 #constraints=81058 1350.62/1351.81 c nbDecision=1067000 #constraints=81058 1351.12/1352.32 c nbDecision=1067500 #constraints=81059 1351.61/1352.82 c nbDecision=1068000 #constraints=81059 1352.11/1353.35 c nbDecision=1068500 #constraints=81060 1352.61/1353.89 c nbDecision=1069000 #constraints=81060 1353.21/1354.41 c nbDecision=1069500 #constraints=81060 1353.71/1354.92 c nbDecision=1070000 #constraints=81060 1354.21/1355.43 c nbDecision=1070500 #constraints=81060 1354.71/1355.92 c nbDecision=1071000 #constraints=81060 1355.41/1356.62 c nbDecision=1071500 #constraints=81064 1356.01/1357.26 c nbDecision=1072000 #constraints=81064 1356.61/1357.89 c nbDecision=1072500 #constraints=81064 1357.32/1358.50 c nbDecision=1073000 #constraints=81064 1357.91/1359.11 c nbDecision=1073500 #constraints=81064 1358.51/1359.71 c nbDecision=1074000 #constraints=81064 1359.11/1360.30 c nbDecision=1074500 #constraints=81064 1359.61/1360.88 c nbDecision=1075000 #constraints=81064 1360.21/1361.44 c nbDecision=1075500 #constraints=81064 1360.81/1362.00 c nbDecision=1076000 #constraints=81064 1361.31/1362.55 c nbDecision=1076500 #constraints=81064 1361.81/1363.08 c nbDecision=1077000 #constraints=81064 1362.41/1363.62 c nbDecision=1077500 #constraints=81065 1362.91/1364.14 c nbDecision=1078000 #constraints=81065 1363.41/1364.65 c nbDecision=1078500 #constraints=81065 1363.91/1365.15 c nbDecision=1079000 #constraints=81065 1364.41/1365.65 c nbDecision=1079500 #constraints=81066 1365.21/1366.42 c nbDecision=1080000 #constraints=81077 1365.81/1367.09 c nbDecision=1080500 #constraints=81077 1366.51/1367.74 c nbDecision=1081000 #constraints=81077 1367.11/1368.38 c nbDecision=1081500 #constraints=81077 1367.81/1369.02 c nbDecision=1082000 #constraints=81077 1368.41/1369.64 c nbDecision=1082500 #constraints=81077 1369.00/1370.26 c nbDecision=1083000 #constraints=81077 1369.60/1370.86 c nbDecision=1083500 #constraints=81077 1370.20/1371.46 c nbDecision=1084000 #constraints=81077 1370.90/1372.16 c nbDecision=1084500 #constraints=81092 1371.61/1372.83 c nbDecision=1085000 #constraints=81092 1372.20/1373.49 c nbDecision=1085500 #constraints=81092 1372.90/1374.14 c nbDecision=1086000 #constraints=81092 1373.50/1374.78 c nbDecision=1086500 #constraints=81092 1374.20/1375.41 c nbDecision=1087000 #constraints=81092 1374.81/1376.03 c nbDecision=1087500 #constraints=81092 1375.40/1376.64 c nbDecision=1088000 #constraints=81092 1376.01/1377.25 c nbDecision=1088500 #constraints=81092 1376.60/1377.85 c nbDecision=1089000 #constraints=81092 1377.20/1378.44 c nbDecision=1089500 #constraints=81092 1377.80/1379.01 c nbDecision=1090000 #constraints=81092 1378.30/1379.58 c nbDecision=1090500 #constraints=81092 1378.90/1380.14 c nbDecision=1091000 #constraints=81092 1379.40/1380.68 c nbDecision=1091500 #constraints=81092 1380.00/1381.22 c nbDecision=1092000 #constraints=81092 1380.50/1381.74 c nbDecision=1092500 #constraints=81092 1381.00/1382.25 c nbDecision=1093000 #constraints=81092 1381.50/1382.78 c nbDecision=1093500 #constraints=81092 1382.19/1383.47 c nbDecision=1094000 #constraints=81121 1383.49/1384.76 c nbDecision=1094500 #constraints=81228 1384.19/1385.45 c nbDecision=1095000 #constraints=81228 1384.89/1386.13 c nbDecision=1095500 #constraints=81228 1385.59/1386.80 c nbDecision=1096000 #constraints=81228 1386.19/1387.45 c nbDecision=1096500 #constraints=81228 1386.79/1388.10 c nbDecision=1097000 #constraints=81228 1387.49/1388.73 c nbDecision=1097500 #constraints=81228 1388.09/1389.36 c nbDecision=1098000 #constraints=81228 1388.69/1389.97 c nbDecision=1098500 #constraints=81228 1389.29/1390.58 c nbDecision=1099000 #constraints=81228 1389.89/1391.18 c nbDecision=1099500 #constraints=81228 1390.48/1391.77 c nbDecision=1100000 #constraints=81228 1391.08/1392.35 c nbDecision=1100500 #constraints=81228 1391.68/1392.91 c nbDecision=1101000 #constraints=81228 1392.18/1393.47 c nbDecision=1101500 #constraints=81228 1392.78/1394.02 c nbDecision=1102000 #constraints=81228 1393.28/1394.56 c nbDecision=1102500 #constraints=81229 1393.78/1395.09 c nbDecision=1103000 #constraints=81229 1394.38/1395.61 c nbDecision=1103500 #constraints=81229 1394.88/1396.11 c nbDecision=1104000 #constraints=81229 1395.38/1396.61 c nbDecision=1104500 #constraints=81229 1395.97/1397.23 c nbDecision=1105000 #constraints=81232 1396.57/1397.85 c nbDecision=1105500 #constraints=81232 1397.17/1398.46 c nbDecision=1106000 #constraints=81232 1397.77/1399.06 c nbDecision=1106500 #constraints=81232 1398.37/1399.70 c nbDecision=1107000 #constraints=81233 1399.08/1400.31 c nbDecision=1107500 #constraints=81233 1399.67/1400.92 c nbDecision=1108000 #constraints=81233 1400.27/1401.51 c nbDecision=1108500 #constraints=81233 1400.87/1402.10 c nbDecision=1109000 #constraints=81233 1401.37/1402.67 c nbDecision=1109500 #constraints=81233 1401.97/1403.24 c nbDecision=1110000 #constraints=81233 1402.47/1403.79 c nbDecision=1110500 #constraints=81233 1403.17/1404.41 c nbDecision=1111000 #constraints=81238 1403.77/1405.03 c nbDecision=1111500 #constraints=81238 1404.37/1405.65 c nbDecision=1112000 #constraints=81238 1404.97/1406.25 c nbDecision=1112500 #constraints=81238 1405.57/1406.84 c nbDecision=1113000 #constraints=81238 1406.17/1407.42 c nbDecision=1113500 #constraints=81238 1406.67/1407.99 c nbDecision=1114000 #constraints=81238 1407.27/1408.55 c nbDecision=1114500 #constraints=81238 1407.77/1409.10 c nbDecision=1115000 #constraints=81238 1408.37/1409.63 c nbDecision=1115500 #constraints=81238 1408.87/1410.16 c nbDecision=1116000 #constraints=81238 1409.37/1410.67 c nbDecision=1116500 #constraints=81238 1409.87/1411.17 c nbDecision=1117000 #constraints=81238 1410.37/1411.66 c nbDecision=1117500 #constraints=81238 1410.97/1412.28 c nbDecision=1118000 #constraints=81242 1411.56/1412.85 c nbDecision=1118500 #constraints=81242 1412.17/1413.41 c nbDecision=1119000 #constraints=81242 1412.66/1413.96 c nbDecision=1119500 #constraints=81242 1413.27/1414.50 c nbDecision=1120000 #constraints=81242 1413.76/1415.03 c nbDecision=1120500 #constraints=81242 1414.26/1415.55 c nbDecision=1121000 #constraints=81242 1414.76/1416.05 c nbDecision=1121500 #constraints=81242 1415.26/1416.55 c nbDecision=1122000 #constraints=81242 1415.76/1417.06 c nbDecision=1122500 #constraints=81243 1416.26/1417.57 c nbDecision=1123000 #constraints=81243 1416.76/1418.07 c nbDecision=1123500 #constraints=81243 1417.36/1418.62 c nbDecision=1124000 #constraints=81248 1417.86/1419.16 c nbDecision=1124500 #constraints=81248 1418.36/1419.69 c nbDecision=1125000 #constraints=81248 1418.96/1420.20 c nbDecision=1125500 #constraints=81248 1419.46/1420.71 c nbDecision=1126000 #constraints=81248 1419.87/1421.20 c nbDecision=1126500 #constraints=81248 1420.56/1421.80 c nbDecision=1127000 #constraints=81252 1421.06/1422.36 c nbDecision=1127500 #constraints=81252 1421.66/1422.91 c nbDecision=1128000 #constraints=81252 1422.16/1423.44 c nbDecision=1128500 #constraints=81252 1422.66/1423.97 c nbDecision=1129000 #constraints=81252 1423.16/1424.48 c nbDecision=1129500 #constraints=81252 1423.66/1424.98 c nbDecision=1130000 #constraints=81252 1424.26/1425.53 c nbDecision=1130500 #constraints=81256 1424.76/1426.10 c nbDecision=1131000 #constraints=81256 1425.36/1426.65 c nbDecision=1131500 #constraints=81256 1425.86/1427.19 c nbDecision=1132000 #constraints=81256 1426.46/1427.74 c nbDecision=1132500 #constraints=81256 1426.95/1428.26 c nbDecision=1133000 #constraints=81256 1427.45/1428.76 c nbDecision=1133500 #constraints=81256 1427.95/1429.26 c nbDecision=1134000 #constraints=81256 1428.45/1429.80 c nbDecision=1134500 #constraints=81257 1429.05/1430.34 c nbDecision=1135000 #constraints=81257 1429.55/1430.86 c nbDecision=1135500 #constraints=81257 1430.05/1431.38 c nbDecision=1136000 #constraints=81257 1430.55/1431.89 c nbDecision=1136500 #constraints=81257 1431.05/1432.38 c nbDecision=1137000 #constraints=81257 1431.55/1432.87 c nbDecision=1137500 #constraints=81257 1432.05/1433.37 c nbDecision=1138000 #constraints=81258 1432.65/1433.92 c nbDecision=1138500 #constraints=81265 1433.25/1434.50 c nbDecision=1139000 #constraints=81265 1433.74/1435.07 c nbDecision=1139500 #constraints=81265 1434.34/1435.63 c nbDecision=1140000 #constraints=81265 1434.84/1436.18 c nbDecision=1140500 #constraints=81265 1435.44/1436.73 c nbDecision=1141000 #constraints=81265 1435.94/1437.26 c nbDecision=1141500 #constraints=81265 1436.54/1437.82 c nbDecision=1142000 #constraints=81265 1437.04/1438.35 c nbDecision=1142500 #constraints=81265 1437.54/1438.88 c nbDecision=1143000 #constraints=81265 1438.13/1439.40 c nbDecision=1143500 #constraints=81265 1438.73/1440.02 c nbDecision=1144000 #constraints=81266 1439.33/1440.61 c nbDecision=1144500 #constraints=81266 1439.82/1441.19 c nbDecision=1145000 #constraints=81266 1440.42/1441.75 c nbDecision=1145500 #constraints=81266 1441.02/1442.31 c nbDecision=1146000 #constraints=81266 1441.52/1442.85 c nbDecision=1146500 #constraints=81266 1442.01/1443.37 c nbDecision=1147000 #constraints=81266 1442.51/1443.86 c nbDecision=1147500 #constraints=81266 1443.02/1444.38 c nbDecision=1148000 #constraints=81268 1443.51/1444.88 c nbDecision=1148500 #constraints=81268 1444.02/1445.36 c nbDecision=1149000 #constraints=81268 1444.61/1445.98 c nbDecision=1149500 #constraints=81275 1445.22/1446.57 c nbDecision=1150000 #constraints=81275 1445.81/1447.15 c nbDecision=1150500 #constraints=81275 1446.41/1447.71 c nbDecision=1151000 #constraints=81275 1446.91/1448.26 c nbDecision=1151500 #constraints=81275 1447.51/1448.80 c nbDecision=1152000 #constraints=81275 1448.02/1449.34 c nbDecision=1152500 #constraints=81275 1448.52/1449.86 c nbDecision=1153000 #constraints=81275 1449.02/1450.36 c nbDecision=1153500 #constraints=81275 1449.52/1450.86 c nbDecision=1154000 #constraints=81275 1450.02/1451.35 c nbDecision=1154500 #constraints=81275 1450.52/1451.90 c nbDecision=1155000 #constraints=81276 1451.12/1452.44 c nbDecision=1155500 #constraints=81276 1451.62/1452.97 c nbDecision=1156000 #constraints=81276 1452.12/1453.48 c nbDecision=1156500 #constraints=81276 1452.62/1453.99 c nbDecision=1157000 #constraints=81276 1453.12/1454.49 c nbDecision=1157500 #constraints=81276 1453.62/1454.97 c nbDecision=1158000 #constraints=81276 1454.11/1455.47 c nbDecision=1158500 #constraints=81277 1454.61/1455.95 c nbDecision=1159000 #constraints=81277 1455.21/1456.52 c nbDecision=1159500 #constraints=81278 1455.71/1457.06 c nbDecision=1160000 #constraints=81278 1456.22/1457.59 c nbDecision=1160500 #constraints=81278 1456.81/1458.11 c nbDecision=1161000 #constraints=81278 1457.32/1458.62 c nbDecision=1161500 #constraints=81278 1457.81/1459.12 c nbDecision=1162000 #constraints=81278 1458.32/1459.60 c nbDecision=1162500 #constraints=81278 1458.91/1460.20 c nbDecision=1163000 #constraints=81282 1459.42/1460.75 c nbDecision=1163500 #constraints=81282 1459.91/1461.29 c nbDecision=1164000 #constraints=81282 1460.51/1461.81 c nbDecision=1164500 #constraints=81282 1461.01/1462.33 c nbDecision=1165000 #constraints=81282 1461.51/1462.83 c nbDecision=1165500 #constraints=81282 1462.01/1463.32 c nbDecision=1166000 #constraints=81282 1462.51/1463.87 c nbDecision=1166500 #constraints=81285 1463.11/1464.41 c nbDecision=1167000 #constraints=81285 1463.71/1465.01 c nbDecision=1167500 #constraints=81292 1464.21/1465.58 c nbDecision=1168000 #constraints=81292 1464.81/1466.14 c nbDecision=1168500 #constraints=81292 1465.31/1466.68 c nbDecision=1169000 #constraints=81292 1465.91/1467.22 c nbDecision=1169500 #constraints=81292 1466.41/1467.74 c nbDecision=1170000 #constraints=81292 1466.91/1468.25 c nbDecision=1170500 #constraints=81292 1467.41/1468.75 c nbDecision=1171000 #constraints=81292 1467.91/1469.23 c nbDecision=1171500 #constraints=81292 1468.51/1469.81 c nbDecision=1172000 #constraints=81299 1469.01/1470.39 c nbDecision=1172500 #constraints=81299 1469.61/1470.96 c nbDecision=1173000 #constraints=81299 1470.21/1471.53 c nbDecision=1173500 #constraints=81299 1470.71/1472.08 c nbDecision=1174000 #constraints=81299 1471.30/1472.69 c nbDecision=1174500 #constraints=81300 1472.00/1473.32 c nbDecision=1175000 #constraints=81300 1472.60/1473.94 c nbDecision=1175500 #constraints=81300 1473.19/1474.54 c nbDecision=1176000 #constraints=81300 1473.79/1475.13 c nbDecision=1176500 #constraints=81300 1474.29/1475.67 c nbDecision=1177000 #constraints=81300 1474.89/1476.20 c nbDecision=1177500 #constraints=81300 1475.39/1476.72 c nbDecision=1178000 #constraints=81300 1475.89/1477.23 c nbDecision=1178500 #constraints=81300 1476.39/1477.73 c nbDecision=1179000 #constraints=81300 1476.89/1478.22 c nbDecision=1179500 #constraints=81300 1477.39/1478.77 c nbDecision=1180000 #constraints=81315 1478.09/1479.42 c nbDecision=1180500 #constraints=81317 1478.69/1480.07 c nbDecision=1181000 #constraints=81317 1479.39/1480.71 c nbDecision=1181500 #constraints=81317 1479.99/1481.35 c nbDecision=1182000 #constraints=81317 1480.68/1482.00 c nbDecision=1182500 #constraints=81318 1481.28/1482.64 c nbDecision=1183000 #constraints=81318 1481.88/1483.27 c nbDecision=1183500 #constraints=81318 1482.28/1483.66 c nbDecision=1184000 #constraints=81327 1482.58/1483.99 c nbDecision=1184500 #constraints=81336 1482.98/1484.36 c nbDecision=1185000 #constraints=81349 1483.38/1484.71 c nbDecision=1185500 #constraints=81362 1483.88/1485.28 c nbDecision=1186000 #constraints=81370 1484.48/1485.85 c nbDecision=1186500 #constraints=81370 1485.18/1486.59 c nbDecision=1187000 #constraints=81370 1485.98/1487.33 c nbDecision=1187500 #constraints=81370 1486.68/1488.07 c nbDecision=1188000 #constraints=81371 1487.48/1488.81 c nbDecision=1188500 #constraints=81371 1488.17/1489.54 c nbDecision=1189000 #constraints=81371 1488.87/1490.27 c nbDecision=1189500 #constraints=81371 1489.57/1490.98 c nbDecision=1190000 #constraints=81371 1490.28/1491.68 c nbDecision=1190500 #constraints=81371 1490.97/1492.38 c nbDecision=1191000 #constraints=81371 1491.67/1493.06 c nbDecision=1191500 #constraints=81371 1492.38/1493.74 c nbDecision=1192000 #constraints=81371 1493.07/1494.41 c nbDecision=1192500 #constraints=81371 1493.48/1494.87 c nbDecision=1193000 #constraints=81379 1493.87/1495.28 c nbDecision=1193500 #constraints=81380 1494.68/1496.03 c nbDecision=1194000 #constraints=81380 1495.37/1496.78 c nbDecision=1194500 #constraints=81380 1496.17/1497.52 c nbDecision=1195000 #constraints=81380 1496.87/1498.26 c nbDecision=1195500 #constraints=81380 1497.57/1498.98 c nbDecision=1196000 #constraints=81380 1498.37/1499.70 c nbDecision=1196500 #constraints=81380 1499.07/1500.41 c nbDecision=1197000 #constraints=81380 1499.77/1501.10 c nbDecision=1197500 #constraints=81380 1500.37/1501.79 c nbDecision=1198000 #constraints=81380 1501.07/1502.47 c nbDecision=1198500 #constraints=81380 1501.77/1503.15 c nbDecision=1199000 #constraints=81380 1502.47/1503.81 c nbDecision=1199500 #constraints=81380 1503.07/1504.48 c nbDecision=1200000 #constraints=81381 1503.77/1505.16 c nbDecision=1200500 #constraints=81381 1504.47/1505.82 c nbDecision=1201000 #constraints=81381 1505.07/1506.47 c nbDecision=1201500 #constraints=81381 1505.76/1507.11 c nbDecision=1202000 #constraints=81381 1506.36/1507.74 c nbDecision=1202500 #constraints=81381 1506.96/1508.36 c nbDecision=1203000 #constraints=81381 1507.56/1508.97 c nbDecision=1203500 #constraints=81381 1508.16/1509.57 c nbDecision=1204000 #constraints=81381 1508.76/1510.16 c nbDecision=1204500 #constraints=81381 1509.36/1510.73 c nbDecision=1205000 #constraints=81381 1510.07/1511.46 c nbDecision=1205500 #constraints=81382 1510.86/1512.21 c nbDecision=1206000 #constraints=81382 1511.56/1512.95 c nbDecision=1206500 #constraints=81382 1512.27/1513.68 c nbDecision=1207000 #constraints=81382 1513.06/1514.40 c nbDecision=1207500 #constraints=81382 1513.76/1515.11 c nbDecision=1208000 #constraints=81383 1514.47/1515.87 c nbDecision=1208500 #constraints=81383 1515.26/1516.62 c nbDecision=1209000 #constraints=81383 1515.96/1517.37 c nbDecision=1209500 #constraints=81383 1516.75/1518.16 c nbDecision=1210000 #constraints=81383 1517.55/1518.93 c nbDecision=1210500 #constraints=81383 1518.24/1519.65 c nbDecision=1211000 #constraints=81383 1518.94/1520.36 c nbDecision=1211500 #constraints=81383 1519.64/1521.06 c nbDecision=1212000 #constraints=81383 1520.34/1521.75 c nbDecision=1212500 #constraints=81383 1521.05/1522.44 c nbDecision=1213000 #constraints=81383 1521.74/1523.11 c nbDecision=1213500 #constraints=81383 1522.34/1523.77 c nbDecision=1214000 #constraints=81383 1523.04/1524.43 c nbDecision=1214500 #constraints=81383 1523.64/1525.07 c nbDecision=1215000 #constraints=81383 1524.35/1525.70 c nbDecision=1215500 #constraints=81383 1524.94/1526.33 c nbDecision=1216000 #constraints=81383 1525.54/1526.94 c nbDecision=1216500 #constraints=81383 1526.14/1527.54 c nbDecision=1217000 #constraints=81383 1526.74/1528.13 c nbDecision=1217500 #constraints=81383 1527.34/1528.71 c nbDecision=1218000 #constraints=81383 1527.84/1529.28 c nbDecision=1218500 #constraints=81383 1528.44/1529.87 c nbDecision=1219000 #constraints=81383 1529.03/1530.46 c nbDecision=1219500 #constraints=81383 1529.63/1531.04 c nbDecision=1220000 #constraints=81383 1530.13/1531.57 c nbDecision=1220500 #constraints=81383 1530.63/1532.09 c nbDecision=1221000 #constraints=81383 1531.33/1532.78 c nbDecision=1221500 #constraints=81388 1532.03/1533.41 c nbDecision=1222000 #constraints=81388 1532.63/1534.04 c nbDecision=1222500 #constraints=81388 1533.23/1534.66 c nbDecision=1223000 #constraints=81388 1533.83/1535.26 c nbDecision=1223500 #constraints=81388 1534.42/1535.86 c nbDecision=1224000 #constraints=81388 1535.02/1536.44 c nbDecision=1224500 #constraints=81388 1535.62/1537.02 c nbDecision=1225000 #constraints=81388 1536.12/1537.59 c nbDecision=1225500 #constraints=81388 1536.72/1538.15 c nbDecision=1226000 #constraints=81388 1537.32/1538.76 c nbDecision=1226500 #constraints=81393 1537.92/1539.34 c nbDecision=1227000 #constraints=81393 1538.53/1539.91 c nbDecision=1227500 #constraints=81393 1539.02/1540.47 c nbDecision=1228000 #constraints=81393 1539.62/1541.03 c nbDecision=1228500 #constraints=81393 1540.12/1541.56 c nbDecision=1229000 #constraints=81393 1540.62/1542.09 c nbDecision=1229500 #constraints=81393 1541.22/1542.61 c nbDecision=1230000 #constraints=81393 1541.72/1543.11 c nbDecision=1230500 #constraints=81393 1542.32/1543.74 c nbDecision=1231000 #constraints=81397 1542.92/1544.37 c nbDecision=1231500 #constraints=81397 1543.52/1544.99 c nbDecision=1232000 #constraints=81397 1544.22/1545.61 c nbDecision=1232500 #constraints=81397 1544.82/1546.21 c nbDecision=1233000 #constraints=81397 1545.42/1546.80 c nbDecision=1233500 #constraints=81397 1545.92/1547.38 c nbDecision=1234000 #constraints=81397 1546.62/1548.01 c nbDecision=1234500 #constraints=81398 1547.22/1548.62 c nbDecision=1235000 #constraints=81398 1547.82/1549.22 c nbDecision=1235500 #constraints=81398 1548.42/1549.81 c nbDecision=1236000 #constraints=81398 1548.92/1550.39 c nbDecision=1236500 #constraints=81398 1549.52/1550.96 c nbDecision=1237000 #constraints=81398 1550.12/1551.52 c nbDecision=1237500 #constraints=81398 1550.62/1552.07 c nbDecision=1238000 #constraints=81398 1551.22/1552.61 c nbDecision=1238500 #constraints=81398 1551.82/1553.20 c nbDecision=1239000 #constraints=81401 1552.42/1553.82 c nbDecision=1239500 #constraints=81401 1553.02/1554.43 c nbDecision=1240000 #constraints=81401 1553.62/1555.03 c nbDecision=1240500 #constraints=81401 1554.22/1555.62 c nbDecision=1241000 #constraints=81401 1554.82/1556.20 c nbDecision=1241500 #constraints=81401 1555.31/1556.77 c nbDecision=1242000 #constraints=81401 1555.91/1557.37 c nbDecision=1242500 #constraints=81401 1556.51/1557.93 c nbDecision=1243000 #constraints=81401 1557.01/1558.47 c nbDecision=1243500 #constraints=81401 1557.61/1559.00 c nbDecision=1244000 #constraints=81401 1558.11/1559.52 c nbDecision=1244500 #constraints=81401 1558.61/1560.03 c nbDecision=1245000 #constraints=81401 1559.11/1560.52 c nbDecision=1245500 #constraints=81401 1559.61/1561.08 c nbDecision=1246000 #constraints=81408 1560.11/1561.58 c nbDecision=1246500 #constraints=81408 1560.61/1562.06 c nbDecision=1247000 #constraints=81408 1561.20/1562.61 c nbDecision=1247500 #constraints=81409 1561.70/1563.16 c nbDecision=1248000 #constraints=81409 1562.20/1563.67 c nbDecision=1248500 #constraints=81409 1562.70/1564.17 c nbDecision=1249000 #constraints=81409 1563.20/1564.66 c nbDecision=1249500 #constraints=81409 1563.80/1565.29 c nbDecision=1250000 #constraints=81418 1564.50/1565.90 c nbDecision=1250500 #constraints=81418 1565.10/1566.50 c nbDecision=1251000 #constraints=81418 1565.70/1567.12 c nbDecision=1251500 #constraints=81419 1566.30/1567.72 c nbDecision=1252000 #constraints=81419 1566.90/1568.31 c nbDecision=1252500 #constraints=81419 1567.40/1568.89 c nbDecision=1253000 #constraints=81419 1568.00/1569.46 c nbDecision=1253500 #constraints=81419 1568.60/1570.02 c nbDecision=1254000 #constraints=81419 1569.10/1570.57 c nbDecision=1254500 #constraints=81419 1569.70/1571.11 c nbDecision=1255000 #constraints=81419 1570.20/1571.64 c nbDecision=1255500 #constraints=81419 1570.70/1572.18 c nbDecision=1256000 #constraints=81421 1571.30/1572.73 c nbDecision=1256500 #constraints=81422 1571.80/1573.28 c nbDecision=1257000 #constraints=81423 1572.39/1573.82 c nbDecision=1257500 #constraints=81423 1572.89/1574.34 c nbDecision=1258000 #constraints=81423 1573.39/1574.85 c nbDecision=1258500 #constraints=81423 1573.89/1575.35 c nbDecision=1259000 #constraints=81423 1574.39/1575.89 c nbDecision=1259500 #constraints=81423 1574.99/1576.41 c nbDecision=1260000 #constraints=81423 1575.49/1576.96 c nbDecision=1260500 #constraints=81426 1575.99/1577.46 c nbDecision=1261000 #constraints=81426 1576.58/1578.00 c nbDecision=1261500 #constraints=81427 1577.09/1578.51 c nbDecision=1262000 #constraints=81427 1577.58/1579.01 c nbDecision=1262500 #constraints=81427 1578.08/1579.50 c nbDecision=1263000 #constraints=81427 1578.48/1579.99 c nbDecision=1263500 #constraints=81428 1579.08/1580.58 c nbDecision=1264000 #constraints=81431 1579.68/1581.17 c nbDecision=1264500 #constraints=81431 1580.28/1581.75 c nbDecision=1265000 #constraints=81431 1580.88/1582.32 c nbDecision=1265500 #constraints=81431 1581.38/1582.87 c nbDecision=1266000 #constraints=81431 1581.98/1583.42 c nbDecision=1266500 #constraints=81431 1582.48/1583.95 c nbDecision=1267000 #constraints=81431 1582.98/1584.47 c nbDecision=1267500 #constraints=81431 1583.48/1584.98 c nbDecision=1268000 #constraints=81431 1583.98/1585.48 c nbDecision=1268500 #constraints=81431 1584.48/1585.97 c nbDecision=1269000 #constraints=81431 1585.28/1586.71 c nbDecision=1269500 #constraints=81453 1585.88/1587.30 c nbDecision=1270000 #constraints=81453 1586.37/1587.89 c nbDecision=1270500 #constraints=81453 1586.98/1588.46 c nbDecision=1271000 #constraints=81453 1587.57/1589.02 c nbDecision=1271500 #constraints=81453 1588.08/1589.57 c nbDecision=1272000 #constraints=81453 1588.67/1590.11 c nbDecision=1272500 #constraints=81453 1589.18/1590.64 c nbDecision=1273000 #constraints=81453 1589.67/1591.16 c nbDecision=1273500 #constraints=81453 1590.18/1591.67 c nbDecision=1274000 #constraints=81453 1590.67/1592.16 c nbDecision=1274500 #constraints=81453 1591.17/1592.65 c nbDecision=1275000 #constraints=81453 1591.67/1593.17 c nbDecision=1275500 #constraints=81455 1592.27/1593.73 c nbDecision=1276000 #constraints=81455 1592.77/1594.28 c nbDecision=1276500 #constraints=81455 1593.37/1594.86 c nbDecision=1277000 #constraints=81460 1593.97/1595.44 c nbDecision=1277500 #constraints=81460 1594.57/1596.01 c nbDecision=1278000 #constraints=81460 1595.07/1596.56 c nbDecision=1278500 #constraints=81460 1595.67/1597.12 c nbDecision=1279000 #constraints=81460 1596.17/1597.66 c nbDecision=1279500 #constraints=81460 1596.67/1598.18 c nbDecision=1280000 #constraints=81460 1597.27/1598.70 c nbDecision=1280500 #constraints=81460 1597.77/1599.21 c nbDecision=1281000 #constraints=81460 1598.27/1599.70 c nbDecision=1281500 #constraints=81460 1598.67/1600.18 c nbDecision=1282000 #constraints=81460 1599.27/1600.77 c nbDecision=1282500 #constraints=81462 1599.87/1601.34 c nbDecision=1283000 #constraints=81462 1600.37/1601.90 c nbDecision=1283500 #constraints=81462 1600.97/1602.44 c nbDecision=1284000 #constraints=81462 1601.47/1602.98 c nbDecision=1284500 #constraints=81462 1602.07/1603.50 c nbDecision=1285000 #constraints=81462 1602.57/1604.01 c nbDecision=1285500 #constraints=81462 1603.07/1604.51 c nbDecision=1286000 #constraints=81462 1603.56/1605.00 c nbDecision=1286500 #constraints=81462 1604.06/1605.51 c nbDecision=1287000 #constraints=81464 1604.57/1606.05 c nbDecision=1287500 #constraints=81464 1605.16/1606.63 c nbDecision=1288000 #constraints=81468 1605.67/1607.19 c nbDecision=1288500 #constraints=81468 1606.26/1607.76 c nbDecision=1289000 #constraints=81468 1606.86/1608.32 c nbDecision=1289500 #constraints=81468 1607.36/1608.85 c nbDecision=1290000 #constraints=81468 1607.86/1609.36 c nbDecision=1290500 #constraints=81468 1608.36/1609.87 c nbDecision=1291000 #constraints=81468 1608.86/1610.36 c nbDecision=1291500 #constraints=81468 1609.36/1610.84 c nbDecision=1292000 #constraints=81468 1609.85/1611.33 c nbDecision=1292500 #constraints=81469 1610.35/1611.81 c nbDecision=1293000 #constraints=81469 1610.85/1612.30 c nbDecision=1293500 #constraints=81470 1611.25/1612.78 c nbDecision=1294000 #constraints=81471 1611.75/1613.26 c nbDecision=1294500 #constraints=81471 1612.26/1613.76 c nbDecision=1295000 #constraints=81473 1612.75/1614.24 c nbDecision=1295500 #constraints=81473 1613.26/1614.72 c nbDecision=1296000 #constraints=81473 1613.75/1615.24 c nbDecision=1296500 #constraints=81476 1614.25/1615.72 c nbDecision=1297000 #constraints=81476 1614.75/1616.20 c nbDecision=1297500 #constraints=81476 1615.25/1616.73 c nbDecision=1298000 #constraints=81478 1615.75/1617.28 c nbDecision=1298500 #constraints=81479 1616.35/1617.82 c nbDecision=1299000 #constraints=81479 1616.85/1618.35 c nbDecision=1299500 #constraints=81479 1617.35/1618.87 c nbDecision=1300000 #constraints=81479 1617.85/1619.38 c nbDecision=1300500 #constraints=81479 1618.35/1619.87 c nbDecision=1301000 #constraints=81479 1618.85/1620.35 c nbDecision=1301500 #constraints=81479 1619.85/1621.34 c nbDecision=1302000 #constraints=81551 1620.45/1621.93 c nbDecision=1302500 #constraints=81586 1621.14/1622.63 c nbDecision=1303000 #constraints=81586 1621.84/1623.30 c nbDecision=1303500 #constraints=81586 1622.44/1623.93 c nbDecision=1304000 #constraints=81587 1623.04/1624.60 c nbDecision=1304500 #constraints=81587 1623.74/1625.26 c nbDecision=1305000 #constraints=81587 1624.34/1625.89 c nbDecision=1305500 #constraints=81588 1625.04/1626.56 c nbDecision=1306000 #constraints=81588 1625.74/1627.22 c nbDecision=1306500 #constraints=81588 1626.33/1627.87 c nbDecision=1307000 #constraints=81588 1627.03/1628.50 c nbDecision=1307500 #constraints=81588 1627.64/1629.13 c nbDecision=1308000 #constraints=81588 1628.23/1629.75 c nbDecision=1308500 #constraints=81588 1628.83/1630.35 c nbDecision=1309000 #constraints=81588 1629.43/1630.95 c nbDecision=1309500 #constraints=81588 1630.03/1631.54 c nbDecision=1310000 #constraints=81588 1630.63/1632.11 c nbDecision=1310500 #constraints=81588 1631.13/1632.68 c nbDecision=1311000 #constraints=81588 1631.73/1633.28 c nbDecision=1311500 #constraints=81589 1632.33/1633.86 c nbDecision=1312000 #constraints=81589 1632.93/1634.43 c nbDecision=1312500 #constraints=81589 1633.43/1635.00 c nbDecision=1313000 #constraints=81589 1634.03/1635.55 c nbDecision=1313500 #constraints=81589 1634.53/1636.09 c nbDecision=1314000 #constraints=81589 1635.13/1636.61 c nbDecision=1314500 #constraints=81589 1635.63/1637.14 c nbDecision=1315000 #constraints=81589 1636.13/1637.64 c nbDecision=1315500 #constraints=81589 1636.63/1638.14 c nbDecision=1316000 #constraints=81589 1637.13/1638.63 c nbDecision=1316500 #constraints=81589 1637.63/1639.14 c nbDecision=1317000 #constraints=81590 1638.13/1639.63 c nbDecision=1317500 #constraints=81590 1638.63/1640.12 c nbDecision=1318000 #constraints=81590 1639.23/1640.71 c nbDecision=1318500 #constraints=81591 1639.53/1641.03 c nbDecision=1319000 #constraints=81601 1639.73/1641.29 c nbDecision=1319500 #constraints=81603 1640.13/1641.63 c nbDecision=1320000 #constraints=81615 1640.33/1641.88 c nbDecision=1320500 #constraints=81615 1640.63/1642.17 c nbDecision=1321000 #constraints=81619 1641.13/1642.68 c nbDecision=1321500 #constraints=81622 1641.53/1643.04 c nbDecision=1322000 #constraints=81627 1641.73/1643.29 c nbDecision=1322500 #constraints=81627 1642.03/1643.54 c nbDecision=1323000 #constraints=81627 1642.33/1643.82 c nbDecision=1323500 #constraints=81629 1642.83/1644.35 c nbDecision=1324000 #constraints=81629 1643.63/1645.13 c nbDecision=1324500 #constraints=81629 1644.43/1645.91 c nbDecision=1325000 #constraints=81629 1645.13/1646.67 c nbDecision=1325500 #constraints=81629 1645.92/1647.42 c nbDecision=1326000 #constraints=81629 1646.62/1648.17 c nbDecision=1326500 #constraints=81629 1647.33/1648.90 c nbDecision=1327000 #constraints=81629 1648.12/1649.62 c nbDecision=1327500 #constraints=81629 1648.82/1650.37 c nbDecision=1328000 #constraints=81630 1649.53/1651.10 c nbDecision=1328500 #constraints=81630 1650.32/1651.82 c nbDecision=1329000 #constraints=81630 1651.02/1652.54 c nbDecision=1329500 #constraints=81630 1651.72/1653.30 c nbDecision=1330000 #constraints=81630 1652.61/1654.17 c nbDecision=1330500 #constraints=81656 1652.92/1654.43 c nbDecision=1331000 #constraints=81657 1653.11/1654.68 c nbDecision=1331500 #constraints=81657 1653.51/1655.01 c nbDecision=1332000 #constraints=81658 1654.21/1655.79 c nbDecision=1332500 #constraints=81658 1655.02/1656.56 c nbDecision=1333000 #constraints=81658 1655.81/1657.32 c nbDecision=1333500 #constraints=81658 1656.51/1658.08 c nbDecision=1334000 #constraints=81658 1657.32/1658.83 c nbDecision=1334500 #constraints=81658 1658.01/1659.58 c nbDecision=1335000 #constraints=81658 1658.81/1660.31 c nbDecision=1335500 #constraints=81658 1659.52/1661.03 c nbDecision=1336000 #constraints=81658 1660.21/1661.75 c nbDecision=1336500 #constraints=81658 1660.91/1662.45 c nbDecision=1337000 #constraints=81658 1661.62/1663.15 c nbDecision=1337500 #constraints=81658 1662.32/1663.84 c nbDecision=1338000 #constraints=81658 1663.02/1664.52 c nbDecision=1338500 #constraints=81658 1663.62/1665.19 c nbDecision=1339000 #constraints=81658 1664.32/1665.84 c nbDecision=1339500 #constraints=81658 1664.92/1666.49 c nbDecision=1340000 #constraints=81658 1665.62/1667.13 c nbDecision=1340500 #constraints=81658 1666.21/1667.79 c nbDecision=1341000 #constraints=81658 1666.91/1668.45 c nbDecision=1341500 #constraints=81658 1667.51/1669.07 c nbDecision=1342000 #constraints=81658 1668.11/1669.66 c nbDecision=1342500 #constraints=81658 1668.71/1670.28 c nbDecision=1343000 #constraints=81659 1669.31/1670.87 c nbDecision=1343500 #constraints=81659 1669.91/1671.46 c nbDecision=1344000 #constraints=81659 1670.51/1672.04 c nbDecision=1344500 #constraints=81659 1671.10/1672.60 c nbDecision=1345000 #constraints=81659 1671.80/1673.32 c nbDecision=1345500 #constraints=81665 1672.50/1674.02 c nbDecision=1346000 #constraints=81665 1673.20/1674.71 c nbDecision=1346500 #constraints=81665 1673.90/1675.40 c nbDecision=1347000 #constraints=81665 1674.50/1676.07 c nbDecision=1347500 #constraints=81665 1675.21/1676.74 c nbDecision=1348000 #constraints=81665 1675.91/1677.40 c nbDecision=1348500 #constraints=81665 1676.50/1678.05 c nbDecision=1349000 #constraints=81665 1677.11/1678.70 c nbDecision=1349500 #constraints=81665 1677.80/1679.33 c nbDecision=1350000 #constraints=81665 1678.40/1679.95 c nbDecision=1350500 #constraints=81665 1679.00/1680.56 c nbDecision=1351000 #constraints=81665 1679.60/1681.17 c nbDecision=1351500 #constraints=81665 1680.20/1681.76 c nbDecision=1352000 #constraints=81665 1680.80/1682.34 c nbDecision=1352500 #constraints=81665 1681.40/1682.91 c nbDecision=1353000 #constraints=81665 1681.90/1683.47 c nbDecision=1353500 #constraints=81665 1682.50/1684.03 c nbDecision=1354000 #constraints=81665 1683.00/1684.59 c nbDecision=1354500 #constraints=81666 1683.60/1685.14 c nbDecision=1355000 #constraints=81666 1684.10/1685.67 c nbDecision=1355500 #constraints=81666 1684.60/1686.20 c nbDecision=1356000 #constraints=81666 1685.20/1686.71 c nbDecision=1356500 #constraints=81666 1685.80/1687.34 c nbDecision=1357000 #constraints=81673 1686.50/1688.05 c nbDecision=1357500 #constraints=81673 1687.20/1688.75 c nbDecision=1358000 #constraints=81673 1687.90/1689.44 c nbDecision=1358500 #constraints=81673 1688.60/1690.12 c nbDecision=1359000 #constraints=81673 1689.20/1690.79 c nbDecision=1359500 #constraints=81673 1689.90/1691.46 c nbDecision=1360000 #constraints=81673 1690.60/1692.11 c nbDecision=1360500 #constraints=81673 1691.19/1692.75 c nbDecision=1361000 #constraints=81673 1691.79/1693.39 c nbDecision=1361500 #constraints=81673 1692.50/1694.02 c nbDecision=1362000 #constraints=81673 1693.09/1694.63 c nbDecision=1362500 #constraints=81673 1693.69/1695.24 c nbDecision=1363000 #constraints=81673 1694.29/1695.83 c nbDecision=1363500 #constraints=81673 1694.89/1696.42 c nbDecision=1364000 #constraints=81673 1695.39/1697.00 c nbDecision=1364500 #constraints=81673 1695.99/1697.58 c nbDecision=1365000 #constraints=81673 1696.59/1698.17 c nbDecision=1365500 #constraints=81673 1697.18/1698.73 c nbDecision=1366000 #constraints=81673 1697.68/1699.26 c nbDecision=1366500 #constraints=81673 1698.18/1699.79 c nbDecision=1367000 #constraints=81673 1698.78/1700.30 c nbDecision=1367500 #constraints=81673 1699.28/1700.81 c nbDecision=1368000 #constraints=81673 1699.68/1701.30 c nbDecision=1368500 #constraints=81673 1700.28/1701.90 c nbDecision=1369000 #constraints=81675 1700.88/1702.46 c nbDecision=1369500 #constraints=81675 1701.48/1703.00 c nbDecision=1370000 #constraints=81675 1701.98/1703.54 c nbDecision=1370500 #constraints=81675 1702.48/1704.07 c nbDecision=1371000 #constraints=81675 1702.98/1704.58 c nbDecision=1371500 #constraints=81675 1703.49/1705.08 c nbDecision=1372000 #constraints=81675 1704.18/1705.79 c nbDecision=1372500 #constraints=81696 1704.88/1706.46 c nbDecision=1373000 #constraints=81696 1705.58/1707.13 c nbDecision=1373500 #constraints=81696 1706.18/1707.78 c nbDecision=1374000 #constraints=81696 1706.88/1708.42 c nbDecision=1374500 #constraints=81696 1707.48/1709.05 c nbDecision=1375000 #constraints=81696 1708.08/1709.68 c nbDecision=1375500 #constraints=81696 1708.68/1710.29 c nbDecision=1376000 #constraints=81696 1709.28/1710.90 c nbDecision=1376500 #constraints=81696 1709.88/1711.49 c nbDecision=1377000 #constraints=81696 1710.48/1712.07 c nbDecision=1377500 #constraints=81696 1711.08/1712.65 c nbDecision=1378000 #constraints=81696 1711.68/1713.21 c nbDecision=1378500 #constraints=81696 1712.17/1713.79 c nbDecision=1379000 #constraints=81696 1712.77/1714.34 c nbDecision=1379500 #constraints=81696 1713.27/1714.86 c nbDecision=1380000 #constraints=81696 1713.77/1715.38 c nbDecision=1380500 #constraints=81696 1714.27/1715.89 c nbDecision=1381000 #constraints=81696 1714.77/1716.38 c nbDecision=1381500 #constraints=81696 1715.27/1716.87 c nbDecision=1382000 #constraints=81696 1715.97/1717.52 c nbDecision=1382500 #constraints=81699 1716.57/1718.18 c nbDecision=1383000 #constraints=81699 1717.27/1718.83 c nbDecision=1383500 #constraints=81699 1717.87/1719.48 c nbDecision=1384000 #constraints=81699 1718.57/1720.11 c nbDecision=1384500 #constraints=81699 1719.17/1720.73 c nbDecision=1385000 #constraints=81699 1719.77/1721.34 c nbDecision=1385500 #constraints=81699 1720.37/1721.94 c nbDecision=1386000 #constraints=81699 1720.97/1722.53 c nbDecision=1386500 #constraints=81699 1721.57/1723.12 c nbDecision=1387000 #constraints=81699 1722.07/1723.69 c nbDecision=1387500 #constraints=81699 1722.66/1724.25 c nbDecision=1388000 #constraints=81699 1723.17/1724.80 c nbDecision=1388500 #constraints=81699 1723.76/1725.34 c nbDecision=1389000 #constraints=81699 1724.27/1725.87 c nbDecision=1389500 #constraints=81699 1724.76/1726.38 c nbDecision=1390000 #constraints=81699 1725.26/1726.89 c nbDecision=1390500 #constraints=81699 1725.76/1727.38 c nbDecision=1391000 #constraints=81699 1726.26/1727.85 c nbDecision=1391500 #constraints=81699 1726.86/1728.42 c nbDecision=1392000 #constraints=81700 1727.46/1729.01 c nbDecision=1392500 #constraints=81700 1727.96/1729.59 c nbDecision=1393000 #constraints=81700 1728.56/1730.16 c nbDecision=1393500 #constraints=81700 1729.16/1730.73 c nbDecision=1394000 #constraints=81700 1729.66/1731.28 c nbDecision=1394500 #constraints=81700 1730.26/1731.82 c nbDecision=1395000 #constraints=81700 1730.76/1732.35 c nbDecision=1395500 #constraints=81700 1731.26/1732.87 c nbDecision=1396000 #constraints=81700 1731.76/1733.37 c nbDecision=1396500 #constraints=81700 1732.26/1733.87 c nbDecision=1397000 #constraints=81700 1732.76/1734.35 c nbDecision=1397500 #constraints=81700 1733.26/1734.82 c nbDecision=1398000 #constraints=81700 1733.86/1735.41 c nbDecision=1398500 #constraints=81703 1734.36/1735.97 c nbDecision=1399000 #constraints=81703 1734.96/1736.51 c nbDecision=1399500 #constraints=81703 1735.46/1737.05 c nbDecision=1400000 #constraints=81703 1735.96/1737.58 c nbDecision=1400500 #constraints=81703 1736.46/1738.09 c nbDecision=1401000 #constraints=81703 1736.96/1738.59 c nbDecision=1401500 #constraints=81703 1737.46/1739.09 c nbDecision=1402000 #constraints=81703 1737.95/1739.57 c nbDecision=1402500 #constraints=81703 1738.45/1740.08 c nbDecision=1403000 #constraints=81706 1738.95/1740.56 c nbDecision=1403500 #constraints=81706 1739.45/1741.04 c nbDecision=1404000 #constraints=81706 1740.15/1741.76 c nbDecision=1404500 #constraints=81713 1740.85/1742.42 c nbDecision=1405000 #constraints=81713 1741.55/1743.11 c nbDecision=1405500 #constraints=81713 1742.14/1743.76 c nbDecision=1406000 #constraints=81713 1742.74/1744.39 c nbDecision=1406500 #constraints=81713 1743.44/1745.01 c nbDecision=1407000 #constraints=81713 1744.04/1745.62 c nbDecision=1407500 #constraints=81713 1744.64/1746.22 c nbDecision=1408000 #constraints=81713 1745.24/1746.81 c nbDecision=1408500 #constraints=81713 1745.74/1747.38 c nbDecision=1409000 #constraints=81713 1746.44/1748.01 c nbDecision=1409500 #constraints=81714 1747.04/1748.61 c nbDecision=1410000 #constraints=81714 1747.54/1749.20 c nbDecision=1410500 #constraints=81714 1748.14/1749.77 c nbDecision=1411000 #constraints=81714 1748.74/1750.34 c nbDecision=1411500 #constraints=81714 1749.34/1750.90 c nbDecision=1412000 #constraints=81714 1749.84/1751.45 c nbDecision=1412500 #constraints=81714 1750.44/1752.03 c nbDecision=1413000 #constraints=81715 1751.04/1752.62 c nbDecision=1413500 #constraints=81715 1751.54/1753.19 c nbDecision=1414000 #constraints=81715 1752.14/1753.77 c nbDecision=1414500 #constraints=81716 1752.74/1754.36 c nbDecision=1415000 #constraints=81716 1753.34/1754.93 c nbDecision=1415500 #constraints=81716 1753.84/1755.49 c nbDecision=1416000 #constraints=81716 1754.44/1756.05 c nbDecision=1416500 #constraints=81716 1754.94/1756.59 c nbDecision=1417000 #constraints=81716 1755.53/1757.12 c nbDecision=1417500 #constraints=81716 1756.03/1757.64 c nbDecision=1418000 #constraints=81716 1756.73/1758.30 c nbDecision=1418500 #constraints=81718 1757.34/1758.94 c nbDecision=1419000 #constraints=81718 1757.93/1759.58 c nbDecision=1419500 #constraints=81718 1758.63/1760.21 c nbDecision=1420000 #constraints=81718 1759.23/1760.81 c nbDecision=1420500 #constraints=81718 1759.83/1761.41 c nbDecision=1421000 #constraints=81718 1760.33/1761.99 c nbDecision=1421500 #constraints=81718 1760.93/1762.56 c nbDecision=1422000 #constraints=81718 1761.53/1763.12 c nbDecision=1422500 #constraints=81718 1762.03/1763.67 c nbDecision=1423000 #constraints=81718 1762.63/1764.21 c nbDecision=1423500 #constraints=81718 1763.13/1764.74 c nbDecision=1424000 #constraints=81718 1763.63/1765.26 c nbDecision=1424500 #constraints=81718 1764.12/1765.76 c nbDecision=1425000 #constraints=81718 1764.62/1766.25 c nbDecision=1425500 #constraints=81718 1765.12/1766.74 c nbDecision=1426000 #constraints=81718 1765.62/1767.23 c nbDecision=1426500 #constraints=81719 1766.13/1767.72 c nbDecision=1427000 #constraints=81719 1766.52/1768.19 c nbDecision=1427500 #constraints=81719 1767.13/1768.74 c nbDecision=1428000 #constraints=81725 1767.72/1769.30 c nbDecision=1428500 #constraints=81725 1768.23/1769.85 c nbDecision=1429000 #constraints=81725 1768.72/1770.39 c nbDecision=1429500 #constraints=81725 1769.33/1770.92 c nbDecision=1430000 #constraints=81725 1769.82/1771.43 c nbDecision=1430500 #constraints=81725 1770.32/1771.93 c nbDecision=1431000 #constraints=81725 1770.82/1772.43 c nbDecision=1431500 #constraints=81725 1771.32/1772.90 c nbDecision=1432000 #constraints=81725 1771.72/1773.37 c nbDecision=1432500 #constraints=81725 1772.42/1774.01 c nbDecision=1433000 #constraints=81731 1772.92/1774.58 c nbDecision=1433500 #constraints=81731 1773.52/1775.14 c nbDecision=1434000 #constraints=81731 1774.02/1775.69 c nbDecision=1434500 #constraints=81731 1774.62/1776.23 c nbDecision=1435000 #constraints=81731 1775.22/1776.83 c nbDecision=1435500 #constraints=81732 1775.82/1777.41 c nbDecision=1436000 #constraints=81732 1776.32/1777.98 c nbDecision=1436500 #constraints=81732 1776.92/1778.53 c nbDecision=1437000 #constraints=81732 1777.42/1779.08 c nbDecision=1437500 #constraints=81732 1778.02/1779.62 c nbDecision=1438000 #constraints=81732 1778.52/1780.14 c nbDecision=1438500 #constraints=81732 1779.02/1780.65 c nbDecision=1439000 #constraints=81732 1779.52/1781.15 c nbDecision=1439500 #constraints=81732 1780.02/1781.64 c nbDecision=1440000 #constraints=81732 1780.52/1782.12 c nbDecision=1440500 #constraints=81732 1781.02/1782.68 c nbDecision=1441000 #constraints=81740 1781.52/1783.19 c nbDecision=1441500 #constraints=81740 1782.02/1783.69 c nbDecision=1442000 #constraints=81740 1782.52/1784.17 c nbDecision=1442500 #constraints=81740 1783.02/1784.65 c nbDecision=1443000 #constraints=81740 1783.72/1785.31 c nbDecision=1443500 #constraints=81748 1784.32/1785.94 c nbDecision=1444000 #constraints=81748 1784.92/1786.56 c nbDecision=1444500 #constraints=81748 1785.52/1787.17 c nbDecision=1445000 #constraints=81748 1786.21/1787.80 c nbDecision=1445500 #constraints=81748 1786.81/1788.43 c nbDecision=1446000 #constraints=81748 1787.41/1789.05 c nbDecision=1446500 #constraints=81748 1788.01/1789.66 c nbDecision=1447000 #constraints=81748 1788.60/1790.25 c nbDecision=1447500 #constraints=81748 1789.20/1790.83 c nbDecision=1448000 #constraints=81748 1789.70/1791.36 c nbDecision=1448500 #constraints=81748 1790.20/1791.88 c nbDecision=1449000 #constraints=81748 1790.70/1792.38 c nbDecision=1449500 #constraints=81748 1791.20/1792.88 c nbDecision=1450000 #constraints=81748 1791.70/1793.36 c nbDecision=1450500 #constraints=81748 1792.20/1793.84 c nbDecision=1451000 #constraints=81748 1792.70/1794.33 c nbDecision=1451500 #constraints=81757 1793.30/1794.99 c nbDecision=1452000 #constraints=81757 1794.00/1795.64 c nbDecision=1452500 #constraints=81757 1794.60/1796.28 c nbDecision=1453000 #constraints=81757 1795.29/1796.91 c nbDecision=1453500 #constraints=81757 1795.89/1797.54 c nbDecision=1454000 #constraints=81757 1796.49/1798.15 c nbDecision=1454500 #constraints=81757 1797.09/1798.76 c nbDecision=1455000 #constraints=81757 1797.69/1799.35 c nbDecision=1455500 #constraints=81757 1798.29/1799.93 c nbDecision=1456000 #constraints=81757 1798.89/1800.51 c nbDecision=1456500 #constraints=81757 1799.39/1801.07 c nbDecision=1457000 #constraints=81757 1799.99/1801.63 c nbDecision=1457500 #constraints=81757 1800.10/1801.71 Received signal 15 1800.10/1801.71 1800.10/1801.71 s UNKNOWN 1800.10/1801.71 1800.10/1801.71 c user time= 1799.89 s 1800.10/1801.71 c system time= 0.223965 s 1800.10/1801.71 c wall clock time=1801.71
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-420529-1177426346 -o ROOT/results/node38/solver-420529-1177426346 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420529-1177426346/instance-420529-1177426346.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.96 3/77 14295 /proc/meminfo: memFree=1904920/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=1468 CPUtime=0 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 174801275 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 367 166 130 317 0 46 0 [startup+0.0245351 s] /proc/loadavg: 0.91 0.95 0.96 3/77 14295 /proc/meminfo: memFree=1904920/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=1864 CPUtime=0.02 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 283 0 0 0 2 0 0 0 18 0 1 0 174801275 1908736 266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 466 266 130 317 0 145 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1864 [startup+0.102549 s] /proc/loadavg: 0.91 0.95 0.96 3/77 14295 /proc/meminfo: memFree=1904920/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=3496 CPUtime=0.09 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 678 0 0 0 9 0 0 0 18 0 1 0 174801275 3579904 661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 874 661 130 317 0 553 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.301589 s] /proc/loadavg: 0.91 0.95 0.96 3/77 14295 /proc/meminfo: memFree=1904920/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=7456 CPUtime=0.29 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 1683 0 0 0 29 0 0 0 19 0 1 0 174801275 7634944 1666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 1864 1666 130 317 0 1543 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7456 [startup+0.701667 s] /proc/loadavg: 0.91 0.95 0.96 3/77 14295 /proc/meminfo: memFree=1904920/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=15636 CPUtime=0.69 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 3738 0 0 0 67 2 0 0 23 0 1 0 174801275 16011264 3688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827890 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 3909 3688 130 317 0 3588 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15636 [startup+1.50182 s] /proc/loadavg: 0.91 0.95 0.96 2/78 14296 /proc/meminfo: memFree=1877456/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=30236 CPUtime=1.49 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 7408 0 0 0 146 3 0 0 25 0 1 0 174801275 30961664 7293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 7559 7293 138 317 0 7238 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30236 [startup+3.10113 s] /proc/loadavg: 0.91 0.95 0.96 2/78 14296 /proc/meminfo: memFree=1876048/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=30236 CPUtime=3.09 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 7408 0 0 0 306 3 0 0 25 0 1 0 174801275 30961664 7293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 7559 7293 138 317 0 7238 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30236 [startup+6.30175 s] /proc/loadavg: 0.92 0.95 0.96 2/78 14296 /proc/meminfo: memFree=1875856/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=30236 CPUtime=6.29 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 7409 0 0 0 626 3 0 0 25 0 1 0 174801275 30961664 7294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385247 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 7559 7294 138 317 0 7238 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30236 [startup+12.702 s] /proc/loadavg: 0.93 0.95 0.96 2/78 14296 /proc/meminfo: memFree=1875792/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=30236 CPUtime=12.68 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 7411 0 0 0 1265 3 0 0 25 0 1 0 174801275 30961664 7296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606877 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 7559 7296 138 317 0 7238 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30236 [startup+25.5015 s] /proc/loadavg: 0.94 0.96 0.96 2/78 14296 /proc/meminfo: memFree=1873616/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=25.48 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8515 0 0 0 2544 4 0 0 25 0 1 0 174801275 35360768 7854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7854 139 317 0 8312 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34532 [startup+51.1014 s] /proc/loadavg: 0.96 0.96 0.96 2/78 14296 /proc/meminfo: memFree=1873616/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=51.06 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8515 0 0 0 5102 4 0 0 25 0 1 0 174801275 35360768 7854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7854 139 317 0 8312 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 34532 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.96 2/78 14296 /proc/meminfo: memFree=1873488/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=102.21 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8515 0 0 0 10217 4 0 0 25 0 1 0 174801275 35360768 7854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7854 139 317 0 8312 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 34532 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14296 /proc/meminfo: memFree=1873424/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=162.15 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8515 0 0 0 16211 4 0 0 25 0 1 0 174801275 35360768 7854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7854 139 317 0 8312 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 34532 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14296 /proc/meminfo: memFree=1873360/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=222.11 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8516 0 0 0 22206 5 0 0 25 0 1 0 174801275 35360768 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7855 139 317 0 8312 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 34532 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14296 /proc/meminfo: memFree=1873296/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=282.07 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8516 0 0 0 28202 5 0 0 25 0 1 0 174801275 35360768 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385262 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7855 139 317 0 8312 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 34532 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14296 /proc/meminfo: memFree=1873232/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=342.01 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8516 0 0 0 34196 5 0 0 25 0 1 0 174801275 35360768 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7855 139 317 0 8312 0 Current children cumulated CPU time (s) 342.01 Current children cumulated vsize (KiB) 34532 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14296 /proc/meminfo: memFree=1873168/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=401.94 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8516 0 0 0 40189 5 0 0 25 0 1 0 174801275 35360768 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7855 139 317 0 8312 0 Current children cumulated CPU time (s) 401.94 Current children cumulated vsize (KiB) 34532 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14296 /proc/meminfo: memFree=1873168/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=461.9 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8516 0 0 0 46185 5 0 0 25 0 1 0 174801275 35360768 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7855 139 317 0 8312 0 Current children cumulated CPU time (s) 461.9 Current children cumulated vsize (KiB) 34532 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/84 14368 /proc/meminfo: memFree=1871960/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=521.83 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8516 0 0 0 52176 7 0 0 25 0 1 0 174801275 35360768 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606708 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7855 139 317 0 8312 0 Current children cumulated CPU time (s) 521.83 Current children cumulated vsize (KiB) 34532 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1872720/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=581.78 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8518 0 0 0 58162 16 0 0 25 0 1 0 174801275 35360768 7857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7857 139 317 0 8312 0 Current children cumulated CPU time (s) 581.78 Current children cumulated vsize (KiB) 34532 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1872720/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=641.73 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8518 0 0 0 64157 16 0 0 25 0 1 0 174801275 35360768 7857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7857 139 317 0 8312 0 Current children cumulated CPU time (s) 641.73 Current children cumulated vsize (KiB) 34532 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1872656/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=881.55 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8519 0 0 0 88137 18 0 0 25 0 1 0 174801275 35360768 7858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7858 139 317 0 8312 0 Current children cumulated CPU time (s) 881.55 Current children cumulated vsize (KiB) 34532 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1872592/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=941.47 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8519 0 0 0 94129 18 0 0 25 0 1 0 174801275 35360768 7858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7858 139 317 0 8312 0 Current children cumulated CPU time (s) 941.47 Current children cumulated vsize (KiB) 34532 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1872528/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1001.43 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8519 0 0 0 100125 18 0 0 25 0 1 0 174801275 35360768 7858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7858 139 317 0 8312 0 Current children cumulated CPU time (s) 1001.43 Current children cumulated vsize (KiB) 34532 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1872464/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1061.39 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8521 0 0 0 106121 18 0 0 25 0 1 0 174801275 35360768 7860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7860 139 317 0 8312 0 Current children cumulated CPU time (s) 1061.39 Current children cumulated vsize (KiB) 34532 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1872400/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1121.34 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8521 0 0 0 112115 19 0 0 25 0 1 0 174801275 35360768 7860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7860 139 317 0 8312 0 Current children cumulated CPU time (s) 1121.34 Current children cumulated vsize (KiB) 34532 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1872336/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1181.28 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8524 0 0 0 118109 19 0 0 25 0 1 0 174801275 35360768 7863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7863 139 317 0 8312 0 Current children cumulated CPU time (s) 1181.28 Current children cumulated vsize (KiB) 34532 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1872144/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1241.23 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8524 0 0 0 124104 19 0 0 25 0 1 0 174801275 35360768 7863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7863 139 317 0 8312 0 Current children cumulated CPU time (s) 1241.23 Current children cumulated vsize (KiB) 34532 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1872080/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1301.15 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8524 0 0 0 130096 19 0 0 25 0 1 0 174801275 35360768 7863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7863 139 317 0 8312 0 Current children cumulated CPU time (s) 1301.15 Current children cumulated vsize (KiB) 34532 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1872080/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1361.11 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8524 0 0 0 136091 20 0 0 25 0 1 0 174801275 35360768 7863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7863 139 317 0 8312 0 Current children cumulated CPU time (s) 1361.11 Current children cumulated vsize (KiB) 34532 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1872016/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1421.06 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8526 0 0 0 142086 20 0 0 25 0 1 0 174801275 35360768 7865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7865 139 317 0 8312 0 Current children cumulated CPU time (s) 1421.06 Current children cumulated vsize (KiB) 34532 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1871952/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1480.98 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8526 0 0 0 148077 21 0 0 25 0 1 0 174801275 35360768 7865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606888 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7865 139 317 0 8312 0 Current children cumulated CPU time (s) 1480.98 Current children cumulated vsize (KiB) 34532 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1871888/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1540.92 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8527 0 0 0 154071 21 0 0 25 0 1 0 174801275 35360768 7866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7866 139 317 0 8312 0 Current children cumulated CPU time (s) 1540.92 Current children cumulated vsize (KiB) 34532 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1871888/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1600.87 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8527 0 0 0 160066 21 0 0 25 0 1 0 174801275 35360768 7866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7866 139 317 0 8312 0 Current children cumulated CPU time (s) 1600.87 Current children cumulated vsize (KiB) 34532 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1871824/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1660.81 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8529 0 0 0 166060 21 0 0 25 0 1 0 174801275 35360768 7868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7868 139 317 0 8312 0 Current children cumulated CPU time (s) 1660.81 Current children cumulated vsize (KiB) 34532 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1871760/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1720.77 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8529 0 0 0 172055 22 0 0 25 0 1 0 174801275 35360768 7868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7868 139 317 0 8312 0 Current children cumulated CPU time (s) 1720.77 Current children cumulated vsize (KiB) 34532 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1871696/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1780.72 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8529 0 0 0 178050 22 0 0 25 0 1 0 174801275 35360768 7868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7868 139 317 0 8312 0 Current children cumulated CPU time (s) 1780.72 Current children cumulated vsize (KiB) 34532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.7 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1871696/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1800.1 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8529 0 0 0 179988 22 0 0 25 0 1 0 174801275 35360768 7868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7868 139 317 0 8312 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 34532 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.7 s] /proc/loadavg: 0.99 0.97 0.96 2/78 14494 /proc/meminfo: memFree=1871696/2055920 swapFree=4159740/4192956 [pid=14295] ppid=14293 vsize=34532 CPUtime=1800.1 /proc/14295/stat : 14295 (oree) R 14293 14295 14076 0 -1 4194304 8529 0 0 0 179988 22 0 0 25 0 1 0 174801275 35360768 7868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 0 0 0 /proc/14295/statm: 8633 7868 139 317 0 8312 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 34532 Child status: 0 Real time (s): 1801.74 CPU time (s): 1800.14 CPU user time (s): 1799.91 CPU system time (s): 0.227965 CPU usage (%): 99.9109 Max. virtual memory (cumulated for all children) (KiB): 34532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.91 system time used= 0.227965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8545 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= 37119 runsolver used 1.66875 second user time and 5.02923 second system time The end
Begin job on node38 on Tue Apr 24 14:52:26 UTC 2007 IDJOB= 420529 IDBENCH= 47851 IDSOLVER= 172 FILE ID= node38/420529-1177426346 PBS_JOBID= 4675734 Free space on /tmp= 66238 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/sat-grid-pbl-0200.sat05-1339.reshuffled-07.opb COMMAND LINE= oree /tmp/evaluation/420529-1177426346/instance-420529-1177426346.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-420529-1177426346 -o ROOT/results/node38/solver-420529-1177426346 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420529-1177426346/instance-420529-1177426346.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 21e6e90d98d88737fe7f7e77baf11e52 RANDOM SEED= 82919871 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 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: 1905328 kB Buffers: 15120 kB Cached: 63184 kB SwapCached: 2820 kB Active: 70996 kB Inactive: 31868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1905328 kB SwapTotal: 4192956 kB SwapFree: 4159740 kB Dirty: 4944 kB Writeback: 0 kB Mapped: 32968 kB Slab: 32940 kB Committed_AS: 1681456 kB PageTables: 2064 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= 66238 MiB End job on node38 on Tue Apr 24 15:22:30 UTC 2007