Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.13 | 1833.02 |
Name | /PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03ac_wcsp.wbo |
MD5SUM | 5c7268e89ad7dac71239c46ba08a4c41 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 278 |
Best CPU time to get the best result obtained on this benchmark | 0.070988 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 139 |
Total number of constraints | 747 |
Number of soft constraints | 698 |
Number of constraints which are clauses | 698 |
Number of constraints which are cardinality constraints (but not clauses) | 49 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10 |
Top cost | 4227 |
Min constraint cost | 1 |
Max constraint cost | 4227 |
Sum of constraints costs | 2750768 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 11 |
Number of bits of the biggest sum of numbers | 4 |
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.01 c run usual solver 0.00/0.04 o 12681 0.00/0.04 c starting approximation 0.00/0.04 c factor = 2 0.00/0.04 c factor still to low - shrinking to 53.108 0.00/0.04 c approx number of clauses: 1e+06 0.00/0.04 c current bound: 6340 0.00/0.59 c current bound: 6340 1.07/1.15 c current bound: 6340 1.68/1.70 c current bound: 6340 2.16/2.25 c current bound: 6340 2.78/2.80 c current bound: 6340 3.27/3.35 c current bound: 6340 3.62/3.89 c current bound: 6340 4.37/4.44 c current bound: 6340 4.70/5.12 c current bound: 6340 5.25/5.67 c current bound: 6340 5.81/6.22 c current bound: 6340 6.16/6.77 c current bound: 6340 6.91/7.32 c current bound: 6340 7.45/7.87 c current bound: 6340 8.02/8.42 c current bound: 6340 8.56/8.96 c current bound: 6340 9.11/9.51 c current bound: 6340 9.66/10.06 c current bound: 6340 10.21/10.62 c current bound: 6340 10.76/11.16 c current bound: 6340 11.31/11.71 c current bound: 6340 11.86/12.26 c current bound: 6340 12.42/12.81 c current bound: 6340 12.95/13.36 c current bound: 6340 13.52/13.91 c current bound: 6340 14.09/14.48 c current bound: 6340 14.63/15.03 c current bound: 6340 15.18/15.57 c current bound: 6340 15.73/16.12 c current bound: 6340 16.27/16.66 c current bound: 6340 16.81/17.22 c current bound: 6340 17.37/17.77 c current bound: 6340 17.92/18.32 c current bound: 6340 18.46/18.86 c current bound: 6340 19.03/19.41 c current bound: 6340 19.57/19.96 c current bound: 6340 20.11/20.50 c current bound: 6340 20.66/21.05 c current bound: 6340 21.48/21.60 c current bound: 6340 21.76/22.14 c current bound: 6340 22.30/22.69 c current bound: 6340 22.85/23.24 c current bound: 6340 23.39/23.78 c current bound: 6340 23.95/24.33 c current bound: 6340 24.50/24.88 c current bound: 6340 25.05/25.43 c current bound: 6340 25.59/25.97 c current bound: 6340 26.14/26.52 c current bound: 6340 26.69/27.07 c current bound: 6340 27.24/27.62 c current bound: 6340 27.79/28.16 c current bound: 6340 28.35/28.71 c current bound: 6340 29.09/29.26 c current bound: 6340 29.44/29.92 c current bound: 6340 29.99/30.47 c current bound: 6340 30.53/31.02 c current bound: 6340 31.08/31.57 c current bound: 6340 31.63/32.11 c current bound: 6340 32.18/32.66 c current bound: 6340 32.73/33.21 c current bound: 6340 33.27/33.76 c current bound: 6340 33.82/34.31 c current bound: 6340 34.37/34.97 c current bound: 6340 34.92/35.52 c current bound: 6340 35.47/36.08 c current bound: 6340 36.04/36.62 c current bound: 6340 36.60/37.17 c current bound: 6340 37.14/37.72 c current bound: 6340 37.70/38.27 c current bound: 6340 38.25/38.81 c current bound: 6340 38.79/39.36 c current bound: 6340 39.59/40.03 c current bound: 6340 39.89/40.58 c current bound: 6340 40.67/41.13 c current bound: 6340 40.99/41.67 c current bound: 6340 41.77/42.22 c current bound: 6340 42.08/42.76 c current bound: 6340 42.87/43.31 c current bound: 6340 43.18/43.87 c current bound: 6340 44.00/44.42 c current bound: 6340 44.30/45.09 c current bound: 6340 45.07/45.64 c current bound: 6340 45.68/46.20 c current bound: 6340 46.17/46.74 c current bound: 6340 46.50/47.29 c current bound: 6340 47.28/47.84 c current bound: 6340 47.61/48.39 c current bound: 6340 48.39/48.94 c current bound: 6340 48.71/49.48 c current bound: 6340 49.50/50.17 c current bound: 6340 49.79/50.71 c current bound: 6340 50.54/51.26 c current bound: 6340 50.90/51.81 c current bound: 6340 51.65/52.35 c current bound: 6340 52.00/52.90 c current bound: 6340 52.76/53.45 c current bound: 6340 53.38/54.00 c current bound: 6340 53.86/54.55 c current bound: 6340 54.48/55.17 c current bound: 6340 54.76/55.71 c current bound: 6340 55.31/56.26 c current bound: 6340 55.84/56.81 c current bound: 6340 56.40/57.35 c current bound: 6340 56.96/57.90 c current bound: 6340 57.51/58.45 c current bound: 6340 58.07/59.00 c current bound: 6340 58.60/59.55 c current bound: 6340 59.16/60.23 c current bound: 6340 59.71/60.77 c current bound: 6340 60.26/61.32 c current bound: 6340 60.82/61.87 c current bound: 6340 61.36/62.42 c current bound: 6340 61.91/62.97 c current bound: 6340 62.45/63.51 c current bound: 6340 63.00/64.06 c current bound: 6340 63.56/64.61 c current bound: 6340 64.11/65.27 c current bound: 6340 64.67/65.82 c current bound: 6340 65.21/66.37 c current bound: 6340 65.78/66.91 c current bound: 6340 66.32/67.46 c current bound: 6340 66.87/68.01 c current bound: 6340 67.41/68.56 c current bound: 6340 67.96/69.11 c current bound: 6340 68.52/69.66 c current bound: 6340 69.34/70.33 c current bound: 6340 69.81/70.88 c current bound: 6340 70.19/71.43 c current bound: 6340 70.91/71.98 c current bound: 6340 71.28/72.53 c current bound: 6340 72.01/73.09 c current bound: 6340 72.40/73.64 c current bound: 6340 73.13/74.19 c current bound: 6340 73.50/74.73 c current bound: 6340 74.30/75.39 c current bound: 6340 74.60/75.94 c current bound: 6340 75.31/76.49 c current bound: 6340 75.69/77.03 c current bound: 6340 76.41/77.58 c current bound: 6340 76.79/78.13 c current bound: 6340 77.54/78.67 c current bound: 6340 77.90/79.22 c current bound: 6340 78.64/79.77 c current bound: 6340 79.26/80.44 c current bound: 6340 79.55/80.99 c current bound: 6340 80.10/81.54 c current bound: 6340 80.66/82.09 c current bound: 6340 81.20/82.64 c current bound: 6340 81.76/83.19 c current bound: 6340 82.30/83.73 c current bound: 6340 82.85/84.28 c current bound: 6340 83.41/84.83 c current bound: 6340 83.96/85.51 c current bound: 6340 84.51/86.06 c current bound: 6340 85.07/86.61 c current bound: 6340 85.62/87.16 c current bound: 6340 86.17/87.71 c current bound: 6340 86.72/88.25 c current bound: 6340 87.27/88.80 c current bound: 6340 87.82/89.35 c current bound: 6340 88.63/89.90 c current bound: 6340 89.18/90.56 c current bound: 6340 89.45/91.11 c current bound: 6340 90.00/91.66 c current bound: 6340 90.56/92.20 c current bound: 6340 91.10/92.75 c current bound: 6340 91.92/93.30 c current bound: 6340 92.20/93.85 c current bound: 6340 93.03/94.40 c current bound: 6340 93.31/94.94 c current bound: 6340 94.12/95.60 c current bound: 6340 94.62/96.15 c current bound: 6340 94.95/96.69 c current bound: 6340 95.71/97.26 c current bound: 6340 96.06/97.80 c current bound: 6340 96.83/98.35 c current bound: 6340 97.44/98.90 c current bound: 6340 97.93/99.45 c current bound: 6340 98.27/99.99 c current bound: 6340 99.08/100.65 c current bound: 6340 99.36/101.19 c current bound: 6340 100.13/101.74 c current bound: 6340 100.47/102.29 c current bound: 6340 101.23/102.83 c current bound: 6340 101.57/103.38 c current bound: 6340 102.34/103.93 c current bound: 6340 102.67/104.48 c current bound: 6340 103.44/105.04 c current bound: 6340 104.05/105.70 c current bound: 6340 104.55/106.25 c current bound: 6340 104.88/106.79 c current bound: 6340 105.64/107.34 c current bound: 6340 105.98/107.89 c current bound: 6340 106.74/108.44 c current bound: 6340 107.08/108.98 c current bound: 6340 107.84/109.53 c current bound: 6340 108.17/110.07 c current bound: 6340 108.98/110.77 c current bound: 6340 109.26/111.32 c current bound: 6340 109.82/111.86 c current bound: 6340 110.37/112.41 c current bound: 6340 110.91/112.96 c current bound: 6340 111.46/113.50 c current bound: 6340 112.00/114.05 c current bound: 6340 112.82/114.60 c current bound: 6340 113.10/115.14 c current bound: 6340 113.66/115.83 c current bound: 6340 114.20/116.37 c current bound: 6340 114.76/116.92 c current bound: 6340 115.30/117.47 c current bound: 6340 115.85/118.02 c current bound: 6340 116.40/118.56 c current bound: 6340 116.97/119.11 c current bound: 6340 117.52/119.66 c current bound: 6340 118.07/120.20 c current bound: 6340 118.87/120.90 c current bound: 6340 119.37/121.44 c current bound: 6340 119.71/121.99 c current bound: 6340 120.47/122.54 c current bound: 6340 120.80/123.09 c current bound: 6340 121.57/123.63 c current bound: 6340 121.90/124.18 c current bound: 6340 122.68/124.73 c current bound: 6340 123.01/125.28 c current bound: 6340 123.80/125.96 c current bound: 6340 124.10/126.50 c current bound: 6340 124.86/127.05 c current bound: 6340 125.21/127.60 c current bound: 6340 125.96/128.15 c current bound: 6340 126.58/128.70 c current bound: 6340 127.07/129.25 c current bound: 6340 127.41/129.79 c current bound: 6340 128.18/130.34 c current bound: 6340 128.51/131.01 c current bound: 6340 129.26/131.56 c current bound: 6340 129.60/132.11 c current bound: 6340 130.35/132.66 c current bound: 6340 130.71/133.21 c current bound: 6340 131.45/133.76 c current bound: 6340 131.81/134.30 c current bound: 6340 132.56/134.85 c current bound: 6340 132.91/135.40 c current bound: 6340 133.73/136.13 c current bound: 6340 134.02/136.68 c current bound: 6340 134.56/137.23 c current bound: 6340 135.10/137.78 c current bound: 6340 135.67/138.33 c current bound: 6340 136.22/138.88 c current bound: 6340 136.77/139.42 c current bound: 6340 137.31/139.97 c current bound: 6340 137.86/140.52 c current bound: 6340 138.42/141.18 c current bound: 6340 138.97/141.72 c current bound: 6340 139.53/142.27 c current bound: 6340 140.07/142.82 c current bound: 6340 140.62/143.36 c current bound: 6340 141.17/143.91 c current bound: 6340 141.72/144.46 c current bound: 6340 142.27/145.01 c current bound: 6340 142.82/145.56 c current bound: 6340 143.38/146.22 c current bound: 6340 144.12/146.76 c current bound: 6340 144.48/147.31 c current bound: 6340 145.24/147.86 c current bound: 6340 145.59/148.40 c current bound: 6340 146.35/148.95 c current bound: 6340 146.69/149.50 c current bound: 6340 147.46/150.05 c current bound: 6340 148.07/150.60 c current bound: 6340 148.60/151.24 c current bound: 6340 148.90/151.79 c current bound: 6340 149.67/152.34 c current bound: 6340 150.00/152.89 c current bound: 6340 150.78/153.44 c current bound: 6340 151.12/153.99 c current bound: 6340 151.89/154.54 c current bound: 6340 152.21/155.09 c current bound: 6340 152.99/155.64 c current bound: 6340 153.32/156.30 c current bound: 6340 154.07/156.85 c current bound: 6340 154.69/157.40 c current bound: 6340 155.16/157.95 c current bound: 6340 155.52/158.49 c current bound: 6340 156.28/159.04 c current bound: 6340 156.63/159.59 c current bound: 6340 157.38/160.14 c current bound: 6340 157.72/160.68 c current bound: 6340 158.52/161.36 c current bound: 6340 158.82/161.90 c current bound: 6340 159.37/162.45 c current bound: 6340 159.91/163.00 c current bound: 6340 160.47/163.55 c current bound: 6340 161.01/164.10 c current bound: 6340 161.55/164.65 c current bound: 6340 162.11/165.19 c current bound: 6340 162.66/165.74 c current bound: 6340 163.48/166.41 c current bound: 6340 163.77/166.96 c current bound: 6340 164.31/167.51 c current bound: 6340 164.86/168.05 c current bound: 6340 165.41/168.60 c current bound: 6340 165.97/169.17 c current bound: 6340 166.54/169.72 c current bound: 6340 167.08/170.27 c current bound: 6340 167.64/170.82 c current bound: 6340 168.20/171.45 c current bound: 6340 168.74/171.99 c current bound: 6340 169.30/172.54 c current bound: 6340 169.84/173.09 c current bound: 6340 170.39/173.63 c current bound: 6340 170.94/174.18 c current bound: 6340 171.48/174.73 c current bound: 6340 172.03/175.28 c current bound: 6340 172.59/175.82 c current bound: 6340 173.41/176.48 c current bound: 6340 173.68/177.02 c current bound: 6340 174.43/177.57 c current bound: 6340 174.79/178.12 c current bound: 6340 175.53/178.66 c current bound: 6340 175.89/179.21 c current bound: 6340 176.64/179.76 c current bound: 6340 176.99/180.30 c current bound: 6340 177.75/180.85 c current bound: 6340 178.35/181.40 c current bound: 6340 178.82/181.97 c current bound: 6340 179.20/182.51 c current bound: 6340 179.94/183.06 c current bound: 6340 180.30/183.61 c current bound: 6340 181.05/184.16 c current bound: 6340 181.40/184.70 c current bound: 6340 182.15/185.25 c current bound: 6340 182.77/185.80 c current bound: 6340 183.26/186.35 c current bound: 6340 183.60/186.89 c current bound: 6340 184.35/187.44 c current bound: 6340 184.69/187.99 c current bound: 6340 185.46/188.54 c current bound: 6340 185.80/189.08 c current bound: 6340 186.58/189.63 c current bound: 6340 186.89/190.18 c current bound: 6340 187.67/190.73 c current bound: 6340 188.00/191.27 c current bound: 6340 188.81/191.96 c current bound: 6340 189.11/192.51 c current bound: 6340 189.87/193.05 c current bound: 6340 190.20/193.60 c current bound: 6340 190.96/194.15 c current bound: 6340 191.30/194.69 c current bound: 6340 192.07/195.24 c current bound: 6340 192.40/195.79 c current bound: 6340 193.18/196.33 c current bound: 6340 193.49/197.01 c current bound: 6340 194.24/197.56 c current bound: 6340 194.60/198.11 c current bound: 6340 195.34/198.65 c current bound: 6340 195.71/199.20 c current bound: 6340 196.46/199.75 c current bound: 6340 196.81/200.29 c current bound: 6340 197.58/200.84 c current bound: 6340 197.92/201.39 c current bound: 6340 198.73/202.06 c current bound: 6340 199.01/202.61 c current bound: 6340 199.55/203.15 c current bound: 6340 200.10/203.70 c current bound: 6340 200.65/204.26 c current bound: 6340 201.21/204.81 c current bound: 6340 201.76/205.36 c current bound: 6340 202.30/205.91 c current bound: 6340 202.86/206.46 c current bound: 6340 203.42/207.13 c current bound: 6340 203.96/207.68 c current bound: 6340 204.50/208.22 c current bound: 6340 205.05/208.78 c current bound: 6340 205.61/209.32 c current bound: 6340 206.16/209.87 c current bound: 6340 206.71/210.42 c current bound: 6340 207.25/210.97 c current bound: 6340 207.82/211.52 c current bound: 6340 208.63/212.16 c current bound: 6340 209.17/212.71 c current bound: 6340 209.46/213.26 c current bound: 6340 210.26/213.82 c current bound: 6340 210.56/214.36 c current bound: 6340 211.36/214.91 c current bound: 6340 211.65/215.46 c current bound: 6340 212.45/216.01 c current bound: 6340 212.74/216.56 c current bound: 6340 213.55/217.22 c current bound: 6340 213.85/217.77 c current bound: 6340 214.64/218.32 c current bound: 6340 214.94/218.87 c current bound: 6340 215.72/219.42 c current bound: 6340 216.03/219.97 c current bound: 6340 216.82/220.52 c current bound: 6340 217.12/221.07 c current bound: 6340 217.92/221.62 c current bound: 6340 218.23/222.27 c current bound: 6340 219.00/222.82 c current bound: 6340 219.31/223.37 c current bound: 6340 220.10/223.91 c current bound: 6340 220.41/224.47 c current bound: 6340 221.21/225.02 c current bound: 6340 221.52/225.57 c current bound: 6340 222.31/226.12 c current bound: 6340 222.61/226.66 c current bound: 6340 223.41/227.32 c current bound: 6340 223.71/227.87 c current bound: 6340 224.26/228.42 c current bound: 6340 224.81/228.96 c current bound: 6340 225.36/229.51 c current bound: 6340 225.91/230.06 c current bound: 6340 226.45/230.61 c current bound: 6340 227.00/231.15 c current bound: 6340 227.82/231.70 c current bound: 6340 228.09/232.35 c current bound: 6340 228.64/232.90 c current bound: 6340 229.21/233.45 c current bound: 6340 229.75/233.99 c current bound: 6340 230.30/234.54 c current bound: 6340 230.83/235.09 c current bound: 6340 231.39/235.63 c current bound: 6340 231.94/236.18 c current bound: 6340 232.49/236.73 c current bound: 6340 233.04/237.42 c current bound: 6340 233.60/237.96 c current bound: 6340 234.16/238.51 c current bound: 6340 234.70/239.06 c current bound: 6340 235.25/239.61 c current bound: 6340 235.80/240.15 c current bound: 6340 236.35/240.70 c current bound: 6340 236.91/241.25 c current bound: 6340 237.46/241.80 c current bound: 6340 238.26/242.49 c current bound: 6340 238.56/243.04 c current bound: 6340 239.28/243.59 c current bound: 6340 239.66/244.14 c current bound: 6340 240.39/244.69 c current bound: 6340 240.77/245.24 c current bound: 6340 241.49/245.78 c current bound: 6340 241.85/246.33 c current bound: 6340 242.59/246.87 c current bound: 6340 243.23/247.53 c current bound: 6340 243.69/248.09 c current bound: 6340 244.07/248.64 c current bound: 6340 244.80/249.18 c current bound: 6340 245.17/249.75 c current bound: 6340 245.90/250.29 c current bound: 6340 246.29/250.84 c current bound: 6340 247.01/251.39 c current bound: 6340 247.39/251.94 c current bound: 6340 248.21/252.60 c current bound: 6340 248.50/253.15 c current bound: 6340 249.31/253.70 c current bound: 6340 249.59/254.25 c current bound: 6340 250.14/254.79 c current bound: 6340 250.69/255.34 c current bound: 6340 251.24/255.89 c current bound: 6340 251.79/256.44 c current bound: 6340 252.34/256.99 c current bound: 6340 253.15/257.66 c current bound: 6340 253.44/258.21 c current bound: 6340 253.98/258.76 c current bound: 6340 254.55/259.31 c current bound: 6340 255.10/259.85 c current bound: 6340 255.65/260.40 c current bound: 6340 256.20/260.95 c current bound: 6340 257.02/261.50 c current bound: 6340 257.29/262.05 c current bound: 6340 257.85/262.70 c current bound: 6340 258.39/263.25 c current bound: 6340 258.94/263.80 c current bound: 6340 259.48/264.35 c current bound: 6340 260.31/264.90 c current bound: 6340 260.59/265.44 c current bound: 6340 261.13/265.99 c current bound: 6340 261.68/266.54 c current bound: 6340 262.24/267.09 c current bound: 6340 263.03/267.75 c current bound: 6340 263.33/268.29 c current bound: 6340 264.09/268.85 c current bound: 6340 264.43/269.41 c current bound: 6340 265.20/269.96 c current bound: 6340 265.55/270.51 c current bound: 6340 266.29/271.06 c current bound: 6340 266.63/271.60 c current bound: 6340 267.39/272.16 c current bound: 6340 267.73/272.81 c current bound: 6340 268.48/273.36 c current bound: 6340 268.83/273.90 c current bound: 6340 269.57/274.45 c current bound: 6340 270.19/275.00 c current bound: 6340 270.69/275.55 c current bound: 6340 271.00/276.09 c current bound: 6340 271.77/276.64 c current bound: 6340 272.10/277.19 c current bound: 6340 272.92/277.85 c current bound: 6340 273.20/278.41 c current bound: 6340 273.96/278.96 c current bound: 6340 274.33/279.51 c current bound: 6340 275.08/280.05 c current bound: 6340 275.42/280.60 c current bound: 6340 276.19/281.15 c current bound: 6340 276.80/281.70 c current bound: 6340 277.27/282.24 c current bound: 6340 277.62/282.93 c current bound: 6340 278.18/283.48 c current bound: 6340 278.73/284.02 c current bound: 6340 279.28/284.57 c current bound: 6340 279.83/285.13 c current bound: 6340 280.39/285.67 c current bound: 6340 280.94/286.23 c current bound: 6340 281.50/286.78 c current bound: 6340 282.06/287.33 c current bound: 6340 282.86/288.01 c current bound: 6340 283.15/288.56 c current bound: 6340 283.70/289.10 c current bound: 6340 284.26/289.65 c current bound: 6340 284.81/290.22 c current bound: 6340 285.37/290.77 c current bound: 6340 285.93/291.32 c current bound: 6340 286.47/291.87 c current bound: 6340 287.03/292.41 c current bound: 6340 287.83/293.09 c current bound: 6340 288.13/293.64 c current bound: 6340 288.85/294.19 c current bound: 6340 289.22/294.73 c current bound: 6340 289.94/295.28 c current bound: 6340 290.33/295.83 c current bound: 6340 291.06/296.38 c current bound: 6340 291.42/296.93 c current bound: 6340 292.15/297.48 c current bound: 6340 292.52/298.15 c current bound: 6340 293.32/298.70 c current bound: 6340 293.61/299.25 c current bound: 6340 294.32/299.80 c current bound: 6340 294.70/300.34 c current bound: 6340 295.42/300.89 c current bound: 6340 295.80/301.44 c current bound: 6340 296.53/301.99 c current bound: 6340 296.91/302.53 c current bound: 6340 297.73/303.17 c current bound: 6340 298.01/303.72 c current bound: 6340 298.57/304.27 c current bound: 6340 299.12/304.82 c current bound: 6340 299.68/305.37 c current bound: 6340 300.22/305.92 c current bound: 6340 300.77/306.46 c current bound: 6340 301.32/307.01 c current bound: 6340 302.07/307.56 c current bound: 6340 302.43/308.23 c current bound: 6340 302.97/308.77 c current bound: 6340 303.52/309.32 c current bound: 6340 304.08/309.87 c current bound: 6340 304.63/310.42 c current bound: 6340 305.19/310.99 c current bound: 6340 305.73/311.54 c current bound: 6340 306.29/312.09 c current bound: 6340 306.84/312.64 c current bound: 6340 307.39/313.35 c current bound: 6340 308.21/313.90 c current bound: 6340 308.49/314.45 c current bound: 6340 309.03/315.00 c current bound: 6340 309.58/315.55 c current bound: 6340 310.13/316.10 c current bound: 6340 310.69/316.65 c current bound: 6340 311.24/317.19 c current bound: 6340 311.79/317.74 c current bound: 6340 312.59/318.42 c current bound: 6340 312.89/318.96 c current bound: 6340 313.69/319.51 c current bound: 6340 314.00/320.06 c current bound: 6340 314.79/320.61 c current bound: 6340 315.09/321.16 c current bound: 6340 315.92/321.70 c current bound: 6340 316.19/322.25 c current bound: 6340 316.90/322.80 c current bound: 6340 317.29/323.52 c current bound: 6340 317.84/324.07 c current bound: 6340 318.40/324.62 c current bound: 6340 318.94/325.17 c current bound: 6340 319.49/325.72 c current bound: 6340 320.05/326.26 c current bound: 6340 320.60/326.81 c current bound: 6340 321.34/327.36 c current bound: 6340 321.71/327.91 c current bound: 6340 322.52/328.56 c current bound: 6340 322.80/329.11 c current bound: 6340 323.35/329.66 c current bound: 6340 323.91/330.21 c current bound: 6340 324.46/330.75 c current bound: 6340 325.01/331.30 c current bound: 6340 325.57/331.85 c current bound: 6340 326.37/332.40 c current bound: 6340 326.66/332.95 c current bound: 6340 327.48/333.61 c current bound: 6340 327.76/334.16 c current bound: 6340 328.31/334.71 c current bound: 6340 328.87/335.25 c current bound: 6340 329.41/335.80 c current bound: 6340 329.96/336.35 c current bound: 6340 330.77/336.90 c current bound: 6340 331.05/337.45 c current bound: 6340 331.62/337.99 c current bound: 6340 332.43/338.66 c current bound: 6340 332.97/339.20 c current bound: 6340 333.25/339.75 c current bound: 6340 333.80/340.30 c current bound: 6340 334.35/340.84 c current bound: 6340 334.91/341.39 c current bound: 6340 335.45/341.94 c current bound: 6340 336.01/342.49 c current bound: 6340 336.56/343.04 c current bound: 6340 337.35/343.69 c current bound: 6340 337.66/344.24 c current bound: 6340 338.37/344.79 c current bound: 6340 338.75/345.33 c current bound: 6340 339.48/345.88 c current bound: 6340 339.86/346.43 c current bound: 6340 340.58/346.98 c current bound: 6340 340.95/347.53 c current bound: 6340 341.67/348.08 c current bound: 6340 342.05/348.77 c current bound: 6340 342.84/349.31 c current bound: 6340 343.15/349.86 c current bound: 6340 343.95/350.41 c current bound: 6340 344.26/350.96 c current bound: 6340 345.04/351.51 c current bound: 6340 345.35/352.05 c current bound: 6340 346.16/352.60 c current bound: 6340 346.46/353.15 c current bound: 6340 347.26/353.86 c current bound: 6340 347.55/354.40 c current bound: 6340 348.10/354.95 c current bound: 6340 348.65/355.50 c current bound: 6340 349.20/356.05 c current bound: 6340 349.76/356.60 c current bound: 6340 350.31/357.17 c current bound: 6340 350.87/357.72 c current bound: 6340 351.43/358.27 c current bound: 6340 351.99/358.96 c current bound: 6340 352.53/359.51 c current bound: 6340 353.08/360.06 c current bound: 6340 353.63/360.61 c current bound: 6340 354.17/361.16 c current bound: 6340 354.73/361.70 c current bound: 6340 355.28/362.25 c current bound: 6340 355.85/362.80 c current bound: 6340 356.40/363.36 c current bound: 6340 356.94/364.02 c current bound: 6340 357.68/364.57 c current bound: 6340 358.05/365.12 c current bound: 6340 358.78/365.68 c current bound: 6340 359.16/366.23 c current bound: 6340 359.90/366.79 c current bound: 6340 360.28/367.34 c current bound: 6340 361.01/367.89 c current bound: 6340 361.39/368.44 c current bound: 6340 362.19/369.17 c current bound: 6340 362.49/369.72 c current bound: 6340 363.05/370.27 c current bound: 6340 363.60/370.82 c current bound: 6340 364.14/371.37 c current bound: 6340 364.70/371.93 c current bound: 6340 365.26/372.48 c current bound: 6340 365.81/373.02 c current bound: 6340 366.37/373.57 c current bound: 6340 366.91/374.17 c current bound: 6340 367.47/374.72 c current bound: 6340 368.02/375.27 c current bound: 6340 368.58/375.82 c current bound: 6340 369.12/376.37 c current bound: 6340 369.69/376.92 c current bound: 6340 370.24/377.47 c current bound: 6340 370.78/378.02 c current bound: 6340 371.34/378.57 c current bound: 6340 372.15/379.22 c current bound: 6340 372.44/379.77 c current bound: 6340 373.01/380.32 c current bound: 6340 373.56/380.87 c current bound: 6340 374.11/381.43 c current bound: 6340 374.67/381.98 c current bound: 6340 375.22/382.53 c current bound: 6340 375.77/383.08 c current bound: 6340 376.33/383.63 c current bound: 6340 376.89/384.18 c current bound: 6340 377.43/384.73 c current bound: 6340 377.99/385.28 c current bound: 6340 378.53/385.83 c current bound: 6340 379.09/386.38 c current bound: 6340 379.64/386.94 c current bound: 6340 380.20/387.49 c current bound: 6340 380.75/388.04 c current bound: 6340 381.58/388.60 c current bound: 6340 381.87/389.15 c current bound: 6340 382.42/389.69 c current bound: 6340 382.97/390.25 c current bound: 6340 383.52/390.82 c current bound: 6340 384.09/391.36 c current bound: 6340 384.64/391.92 c current bound: 6340 385.20/392.47 c current bound: 6340 385.74/393.02 c current bound: 6340 386.29/393.57 c current bound: 6340 386.86/394.12 c current bound: 6340 387.41/394.67 c current bound: 6340 387.95/395.22 c current bound: 6340 388.50/395.77 c current bound: 6340 389.05/396.32 c current bound: 6340 389.61/396.87 c current bound: 6340 390.17/397.42 c current bound: 6340 390.72/397.97 c current bound: 6340 391.27/398.52 c current bound: 6340 391.83/399.07 c current bound: 6340 392.61/399.74 c current bound: 6340 392.94/400.29 c current bound: 6340 393.70/400.84 c current bound: 6340 394.04/401.39 c current bound: 6340 394.80/401.95 c current bound: 6340 395.16/402.51 c current bound: 6340 395.92/403.06 c current bound: 6340 396.28/403.61 c current bound: 6340 397.02/404.16 c current bound: 6340 397.37/404.86 c current bound: 6340 398.17/405.41 c current bound: 6340 398.49/405.96 c current bound: 6340 399.28/406.52 c current bound: 6340 399.59/407.07 c current bound: 6340 400.38/407.63 c current bound: 6340 400.73/408.18 c current bound: 6340 401.50/408.74 c current bound: 6340 401.83/409.30 c current bound: 6340 402.64/409.96 c current bound: 6340 402.95/410.51 c current bound: 6340 403.50/411.06 c current bound: 6340 404.06/411.61 c current bound: 6340 404.61/412.16 c current bound: 6340 405.16/412.71 c current bound: 6340 405.71/413.26 c current bound: 6340 406.25/413.81 c current bound: 6340 406.81/414.36 c current bound: 6340 407.36/415.02 c current bound: 6340 407.90/415.56 c current bound: 6340 408.46/416.11 c current bound: 6340 409.01/416.66 c current bound: 6340 409.56/417.21 c current bound: 6340 410.11/417.76 c current bound: 6340 410.67/418.31 c current bound: 6340 411.23/418.86 c current bound: 6340 411.77/419.41 c current bound: 6340 412.33/420.09 c current bound: 6340 413.10/420.63 c current bound: 6340 413.43/421.18 c current bound: 6340 414.20/421.73 c current bound: 6340 414.53/422.28 c current bound: 6340 415.31/422.83 c current bound: 6340 415.64/423.38 c current bound: 6340 416.42/423.93 c current bound: 6340 416.75/424.48 c current bound: 6340 417.55/425.17 c current bound: 6340 417.85/425.73 c current bound: 6340 418.59/426.27 c current bound: 6340 418.95/426.82 c current bound: 6340 419.69/427.37 c current bound: 6340 420.06/427.92 c current bound: 6340 420.80/428.47 c current bound: 6340 421.17/429.03 c current bound: 6340 421.91/429.59 c current bound: 6340 422.30/430.17 c current bound: 6340 423.09/430.72 c current bound: 6340 423.40/431.27 c current bound: 6340 424.17/431.83 c current bound: 6340 424.52/432.38 c current bound: 6340 425.30/432.93 c current bound: 6340 425.62/433.48 c current bound: 6340 426.40/434.03 c current bound: 6340 426.74/434.58 c current bound: 6340 427.51/435.13 c current bound: 6340 427.84/435.69 c current bound: 6340 428.62/436.25 c current bound: 6340 429.22/436.80 c current bound: 6340 429.71/437.35 c current bound: 6340 430.34/437.90 c current bound: 6340 430.83/438.45 c current bound: 6340 431.44/439.00 c current bound: 6340 431.92/439.55 c current bound: 6340 432.26/440.10 c current bound: 6340 433.03/440.65 c current bound: 6340 433.36/441.20 c current bound: 6340 434.14/441.75 c current bound: 6340 434.47/442.30 c current bound: 6340 435.23/442.85 c current bound: 6340 435.58/443.40 c current bound: 6340 436.34/443.95 c current bound: 6340 436.69/444.51 c current bound: 6340 437.45/445.06 c current bound: 6340 437.80/445.61 c current bound: 6340 438.55/446.16 c current bound: 6340 438.90/446.71 c current bound: 6340 439.66/447.26 c current bound: 6340 440.03/447.81 c current bound: 6340 440.58/448.37 c current bound: 6340 441.13/448.92 c current bound: 6340 441.68/449.47 c current bound: 6340 442.24/450.02 c current bound: 6340 442.79/450.57 c current bound: 6340 443.35/451.14 c current bound: 6340 443.91/451.69 c current bound: 6340 444.47/452.24 c current bound: 6340 445.01/452.79 c current bound: 6340 445.57/453.34 c current bound: 6340 446.13/453.89 c current bound: 6340 446.67/454.44 c current bound: 6340 447.22/454.99 c current bound: 6340 448.04/455.75 c current bound: 6340 448.33/456.30 c current bound: 6340 448.89/456.85 c current bound: 6340 449.44/457.40 c current bound: 6340 450.01/457.95 c current bound: 6340 450.54/458.50 c current bound: 6340 451.11/459.06 c current bound: 6340 451.66/459.61 c current bound: 6340 452.21/460.16 c current bound: 6340 453.04/460.83 c current bound: 6340 453.50/461.38 c current bound: 6340 453.88/461.94 c current bound: 6340 454.61/462.49 c current bound: 6340 454.98/463.04 c current bound: 6340 455.70/463.59 c current bound: 6340 456.08/464.14 c current bound: 6340 456.82/464.69 c current bound: 6340 457.18/465.24 c current bound: 6340 457.99/465.95 c current bound: 6340 458.29/466.50 c current bound: 6340 459.05/467.05 c current bound: 6340 459.41/467.60 c current bound: 6340 460.16/468.15 c current bound: 6340 460.52/468.70 c current bound: 6340 461.27/469.25 c current bound: 6340 461.61/469.80 c current bound: 6340 462.37/470.35 c current bound: 6340 462.72/471.04 c current bound: 6340 463.29/471.59 c current bound: 6340 463.84/472.14 c current bound: 6340 464.39/472.69 c current bound: 6340 464.93/473.24 c current bound: 6340 465.48/473.79 c current bound: 6340 466.03/474.34 c current bound: 6340 466.59/474.89 c current bound: 6340 467.15/475.44 c current bound: 6340 467.96/476.11 c current bound: 6340 468.24/476.68 c current bound: 6340 468.81/477.23 c current bound: 6340 469.37/477.78 c current bound: 6340 469.92/478.33 c current bound: 6340 470.47/478.88 c current bound: 6340 471.02/479.44 c current bound: 6340 471.59/479.98 c current bound: 6340 472.13/480.54 c current bound: 6340 472.96/481.16 c current bound: 6340 473.24/481.71 c current bound: 6340 474.00/482.26 c current bound: 6340 474.35/482.81 c current bound: 6340 475.10/483.36 c current bound: 6340 475.46/483.92 c current bound: 6340 476.21/484.47 c current bound: 6340 476.58/485.02 c current bound: 6340 477.32/485.57 c current bound: 6340 477.68/486.17 c current bound: 6340 478.47/486.72 c current bound: 6340 478.80/487.28 c current bound: 6340 479.57/487.83 c current bound: 6340 479.90/488.38 c current bound: 6340 480.68/488.93 c current bound: 6340 480.99/489.47 c current bound: 6340 481.79/490.02 c current bound: 6340 482.11/490.57 c current bound: 6340 482.90/491.25 c current bound: 6340 483.47/491.80 c current bound: 6340 483.98/492.35 c current bound: 6340 484.33/492.90 c current bound: 6340 485.08/493.45 c current bound: 6340 485.69/494.00 c current bound: 6340 486.17/494.56 c current bound: 6340 486.53/495.11 c current bound: 6340 487.28/495.66 c current bound: 6340 487.92/496.33 c current bound: 6340 488.20/496.89 c current bound: 6340 488.77/497.44 c current bound: 6340 489.31/497.99 c current bound: 6340 489.87/498.54 c current bound: 6340 490.42/499.09 c current bound: 6340 490.97/499.64 c current bound: 6340 491.53/500.19 c current bound: 6340 492.06/500.75 c current bound: 6340 492.62/501.40 c current bound: 6340 493.18/501.95 c current bound: 6340 493.73/502.50 c current bound: 6340 494.28/503.05 c current bound: 6340 494.84/503.60 c current bound: 6340 495.38/504.16 c current bound: 6340 495.93/504.71 c current bound: 6340 496.48/505.26 c current bound: 6340 497.03/505.81 c current bound: 6340 497.85/506.47 c current bound: 6340 498.15/507.02 c current bound: 6340 498.89/507.57 c current bound: 6340 499.25/508.13 c current bound: 6340 500.00/508.68 c current bound: 6340 500.36/509.23 c current bound: 6340 501.09/509.78 c current bound: 6340 501.47/510.33 c current bound: 6340 502.21/510.88 c current bound: 6340 502.84/511.52 c current bound: 6340 503.32/512.08 c current bound: 6340 503.69/512.63 c current bound: 6340 504.43/513.17 c current bound: 6340 504.80/513.72 c current bound: 6340 505.55/514.28 c current bound: 6340 505.91/514.83 c current bound: 6340 506.63/515.38 c current bound: 6340 507.03/515.93 c current bound: 6340 507.83/516.60 c current bound: 6340 508.11/517.15 c current bound: 6340 508.93/517.70 c current bound: 6340 509.21/518.25 c current bound: 6340 509.77/518.80 c current bound: 6340 510.32/519.35 c current bound: 6340 510.87/519.90 c current bound: 6340 511.42/520.45 c current bound: 6340 511.98/521.01 c current bound: 6340 512.79/521.67 c current bound: 6340 513.08/522.22 c current bound: 6340 513.63/522.77 c current bound: 6340 514.18/523.32 c current bound: 6340 514.73/523.88 c current bound: 6340 515.29/524.43 c current bound: 6340 515.84/524.98 c current bound: 6340 516.41/525.53 c current bound: 6340 516.94/526.08 c current bound: 6340 517.79/526.76 c current bound: 6340 518.32/527.31 c current bound: 6340 518.62/527.86 c current bound: 6340 519.41/528.42 c current bound: 6340 519.73/528.97 c current bound: 6340 520.51/529.52 c current bound: 6340 520.83/530.07 c current bound: 6340 521.63/530.62 c current bound: 6340 521.94/531.17 c current bound: 6340 522.76/531.85 c current bound: 6340 523.32/532.40 c current bound: 6340 523.81/532.95 c current bound: 6340 524.16/533.50 c current bound: 6340 524.92/534.06 c current bound: 6340 525.28/534.61 c current bound: 6340 526.03/535.16 c current bound: 6340 526.37/535.71 c current bound: 6340 527.12/536.26 c current bound: 6340 527.47/536.94 c current bound: 6340 528.03/537.49 c current bound: 6340 528.58/538.04 c current bound: 6340 529.13/538.59 c current bound: 6340 529.70/539.14 c current bound: 6340 530.24/539.69 c current bound: 6340 530.80/540.24 c current bound: 6340 531.34/540.79 c current bound: 6340 531.89/541.35 c current bound: 6340 532.45/542.03 c current bound: 6340 533.00/542.58 c current bound: 6340 533.55/543.13 c current bound: 6340 534.10/543.68 c current bound: 6340 534.66/544.23 c current bound: 6340 535.49/544.80 c current bound: 6340 535.79/545.35 c current bound: 6340 536.34/545.90 c current bound: 6340 536.89/546.45 c current bound: 6340 537.70/547.12 c current bound: 6340 537.99/547.67 c current bound: 6340 538.78/548.22 c current bound: 6340 539.09/548.78 c current bound: 6340 539.88/549.33 c current bound: 6340 540.21/549.88 c current bound: 6340 541.00/550.43 c current bound: 6340 541.32/550.98 c current bound: 6340 542.10/551.53 c current bound: 6340 542.68/552.17 c current bound: 6340 543.21/552.72 c current bound: 6340 543.53/553.27 c current bound: 6340 544.33/553.82 c current bound: 6340 544.64/554.37 c current bound: 6340 545.44/554.92 c current bound: 6340 545.75/555.47 c current bound: 6340 546.55/556.02 c current bound: 6340 546.85/556.57 c current bound: 6340 547.68/557.29 c current bound: 6340 547.97/557.84 c current bound: 6340 548.53/558.40 c current bound: 6340 549.08/558.95 c current bound: 6340 549.90/559.50 c current bound: 6340 550.19/560.05 c current bound: 6340 551.00/560.60 c current bound: 6340 551.28/561.15 c current bound: 6340 552.11/561.70 c current bound: 6340 552.40/562.38 c current bound: 6340 552.94/562.93 c current bound: 6340 553.50/563.48 c current bound: 6340 554.05/564.03 c current bound: 6340 554.61/564.58 c current bound: 6340 555.15/565.13 c current bound: 6340 555.70/565.68 c current bound: 6340 556.25/566.23 c current bound: 6340 556.80/566.78 c current bound: 6340 557.35/567.48 c current bound: 6340 558.15/568.03 c current bound: 6340 558.47/568.58 c current bound: 6340 559.27/569.13 c current bound: 6340 559.58/569.68 c current bound: 6340 560.36/570.23 c current bound: 6340 560.69/570.78 c current bound: 6340 561.47/571.33 c current bound: 6340 561.79/571.88 c current bound: 6340 562.61/572.53 c current bound: 6340 562.89/573.08 c current bound: 6340 563.68/573.63 c current bound: 6340 564.01/574.18 c current bound: 6340 564.78/574.73 c current bound: 6340 565.11/575.29 c current bound: 6340 565.88/575.84 c current bound: 6340 566.21/576.39 c current bound: 6340 566.99/576.94 c current bound: 6340 567.59/577.60 c current bound: 6340 568.08/578.15 c current bound: 6340 568.69/578.70 c current bound: 6340 569.19/579.25 c current bound: 6340 569.54/579.80 c current bound: 6340 570.29/580.35 c current bound: 6340 570.66/580.90 c current bound: 6340 571.39/581.46 c current bound: 6340 571.76/582.01 c current bound: 6340 572.58/582.67 c current bound: 6340 572.87/583.22 c current bound: 6340 573.42/583.77 c current bound: 6340 573.98/584.32 c current bound: 6340 574.53/584.87 c current bound: 6340 575.08/585.42 c current bound: 6340 575.63/585.97 c current bound: 6340 576.19/586.52 c current bound: 6340 576.75/587.07 c current bound: 6340 577.58/587.72 c current bound: 6340 577.86/588.27 c current bound: 6340 578.41/588.82 c current bound: 6340 578.97/589.37 c current bound: 6340 579.52/589.93 c current bound: 6340 580.07/590.48 c current bound: 6340 580.62/591.03 c current bound: 6340 581.17/591.58 c current bound: 6340 581.72/592.14 c current bound: 6340 582.55/592.80 c current bound: 6340 583.06/593.35 c current bound: 6340 583.40/593.90 c current bound: 6340 584.15/594.45 c current bound: 6340 584.51/595.01 c current bound: 6340 585.26/595.56 c current bound: 6340 585.62/596.11 c current bound: 6340 586.37/596.66 c current bound: 6340 586.72/597.20 c current bound: 6340 587.51/597.90 c current bound: 6340 587.80/598.44 c current bound: 6340 588.51/598.99 c current bound: 6340 588.91/599.55 c current bound: 6340 589.74/600.10 c current bound: 6340 590.02/600.65 c current bound: 6340 590.84/601.20 c current bound: 6340 591.12/601.75 c current bound: 6340 591.93/602.30 c current bound: 6340 592.24/602.87 c current bound: 6340 593.02/603.43 c current bound: 6340 593.35/603.98 c current bound: 6340 594.14/604.53 c current bound: 6340 594.47/605.08 c current bound: 6340 595.24/605.63 c current bound: 6340 595.57/606.18 c current bound: 6340 596.35/606.73 c current bound: 6340 596.67/607.28 c current bound: 6340 597.50/607.97 c current bound: 6340 597.78/608.52 c current bound: 6340 598.34/609.07 c current bound: 6340 598.89/609.62 c current bound: 6340 599.44/610.17 c current bound: 6340 600.01/610.73 c current bound: 6340 600.55/611.28 c current bound: 6340 601.10/611.83 c current bound: 6340 601.65/612.38 c current bound: 6340 602.20/613.07 c current bound: 6340 602.75/613.62 c current bound: 6340 603.31/614.17 c current bound: 6340 603.87/614.72 c current bound: 6340 604.42/615.27 c current bound: 6340 604.97/615.83 c current bound: 6340 605.53/616.38 c current bound: 6340 606.08/616.92 c current bound: 6340 606.64/617.47 c current bound: 6340 607.47/618.15 c current bound: 6340 607.90/618.70 c current bound: 6340 608.29/619.26 c current bound: 6340 609.10/619.82 c current bound: 6340 609.41/620.36 c current bound: 6340 610.22/620.91 c current bound: 6340 610.51/621.46 c current bound: 6340 611.31/622.01 c current bound: 6340 611.61/622.56 c current bound: 6340 612.43/623.17 c current bound: 6340 612.72/623.72 c current bound: 6340 613.47/624.27 c current bound: 6340 613.83/624.82 c current bound: 6340 614.56/625.37 c current bound: 6340 614.94/625.92 c current bound: 6340 615.67/626.47 c current bound: 6340 616.04/627.02 c current bound: 6340 616.79/627.57 c current bound: 6340 617.16/628.26 c current bound: 6340 617.71/628.81 c current bound: 6340 618.26/629.36 c current bound: 6340 618.80/629.90 c current bound: 6340 619.36/630.45 c current bound: 6340 619.91/631.00 c current bound: 6340 620.46/631.55 c current bound: 6340 621.00/632.10 c current bound: 6340 621.57/632.64 c current bound: 6340 622.12/633.32 c current bound: 6340 622.67/633.87 c current bound: 6340 623.23/634.42 c current bound: 6340 623.78/634.97 c current bound: 6340 624.34/635.52 c current bound: 6340 624.88/636.07 c current bound: 6340 625.43/636.62 c current bound: 6340 625.99/637.17 c current bound: 6340 626.55/637.72 c current bound: 6340 627.35/638.44 c current bound: 6340 627.66/638.99 c current bound: 6340 628.43/639.54 c current bound: 6340 628.76/640.09 c current bound: 6340 629.55/640.64 c current bound: 6340 629.86/641.19 c current bound: 6340 630.63/641.74 c current bound: 6340 630.98/642.29 c current bound: 6340 631.74/642.85 c current bound: 6340 632.36/643.50 c current bound: 6340 632.86/644.05 c current bound: 6340 633.19/644.60 c current bound: 6340 633.95/645.15 c current bound: 6340 634.30/645.70 c current bound: 6340 635.04/646.25 c current bound: 6340 635.41/646.80 c current bound: 6340 636.17/647.36 c current bound: 6340 636.52/647.91 c current bound: 6340 637.34/648.58 c current bound: 6340 637.63/649.13 c current bound: 6340 638.18/649.68 c current bound: 6340 638.73/650.23 c current bound: 6340 639.29/650.78 c current bound: 6340 639.84/651.33 c current bound: 6340 640.40/651.89 c current bound: 6340 640.95/652.43 c current bound: 6340 641.52/652.99 c current bound: 6340 642.32/653.66 c current bound: 6340 642.61/654.21 c current bound: 6340 643.17/654.76 c current bound: 6340 643.73/655.31 c current bound: 6340 644.27/655.86 c current bound: 6340 644.84/656.41 c current bound: 6340 645.37/656.97 c current bound: 6340 645.94/657.52 c current bound: 6340 646.49/658.07 c current bound: 6340 647.31/658.73 c current bound: 6340 647.59/659.28 c current bound: 6340 648.14/659.85 c current bound: 6340 648.71/660.40 c current bound: 6340 649.54/661.01 c current bound: 6340 650.02/661.56 c current bound: 6340 650.39/662.11 c current bound: 6340 651.14/662.66 c current bound: 6340 651.48/663.21 c current bound: 6340 652.29/663.88 c current bound: 6340 652.60/664.43 c current bound: 6340 653.33/664.98 c current bound: 6340 653.71/665.52 c current bound: 6340 654.43/666.07 c current bound: 6340 654.79/666.62 c current bound: 6340 655.54/667.17 c current bound: 6340 655.90/667.72 c current bound: 6340 656.63/668.26 c current bound: 6340 657.00/668.93 c current bound: 6340 657.54/669.48 c current bound: 6340 658.09/670.02 c current bound: 6340 658.64/670.58 c current bound: 6340 659.20/671.13 c current bound: 6340 659.75/671.68 c current bound: 6340 660.30/672.23 c current bound: 6340 660.85/672.78 c current bound: 6340 661.41/673.33 c current bound: 6340 661.96/673.99 c current bound: 6340 662.51/674.54 c current bound: 6340 663.07/675.09 c current bound: 6340 663.61/675.64 c current bound: 6340 664.15/676.19 c current bound: 6340 664.72/676.74 c current bound: 6340 665.26/677.29 c current bound: 6340 665.81/677.84 c current bound: 6340 666.37/678.39 c current bound: 6340 666.92/679.09 c current bound: 6340 667.47/679.64 c current bound: 6340 668.01/680.19 c current bound: 6340 668.57/680.74 c current bound: 6340 669.12/681.29 c current bound: 6340 669.67/681.84 c current bound: 6340 670.22/682.39 c current bound: 6340 670.79/682.94 c current bound: 6340 671.32/683.49 c current bound: 6340 672.14/684.16 c current bound: 6340 672.68/684.73 c current bound: 6340 672.99/685.27 c current bound: 6340 673.78/685.83 c current bound: 6340 674.10/686.38 c current bound: 6340 674.89/686.94 c current bound: 6340 675.23/687.49 c current bound: 6340 675.99/688.04 c current bound: 6340 676.34/688.59 c current bound: 6340 677.10/689.16 c current bound: 6340 677.44/689.71 c current bound: 6340 678.17/690.26 c current bound: 6340 678.52/690.81 c current bound: 6340 679.29/691.36 c current bound: 6340 679.63/691.91 c current bound: 6340 680.38/692.46 c current bound: 6340 680.74/693.01 c current bound: 6340 681.47/693.56 c current bound: 6340 681.83/694.11 c current bound: 6340 682.58/694.66 c current bound: 6340 682.93/695.21 c current bound: 6340 683.68/695.76 c current bound: 6340 684.03/696.31 c current bound: 6340 684.79/696.86 c current bound: 6340 685.14/697.41 c current bound: 6340 685.88/697.96 c current bound: 6340 686.24/698.51 c current bound: 6340 686.98/699.06 c current bound: 6340 687.34/699.61 c current bound: 6340 688.07/700.18 c current bound: 6340 688.45/700.73 c current bound: 6340 689.17/701.28 c current bound: 6340 689.54/701.84 c current bound: 6340 690.37/702.40 c current bound: 6340 690.65/702.95 c current bound: 6340 691.45/703.52 c current bound: 6340 691.78/704.07 c current bound: 6340 692.57/704.62 c current bound: 6340 692.89/705.17 c current bound: 6340 693.67/705.72 c current bound: 6340 693.99/706.27 c current bound: 6340 694.77/706.82 c current bound: 6340 695.10/707.39 c current bound: 6340 695.87/707.95 c current bound: 6340 696.49/708.50 c current bound: 6340 696.96/709.05 c current bound: 6340 697.58/709.60 c current bound: 6340 698.08/710.15 c current bound: 6340 698.42/710.70 c current bound: 6340 699.18/711.25 c current bound: 6340 699.52/711.80 c current bound: 6340 700.28/712.36 c current bound: 6340 700.65/712.91 c current bound: 6340 701.40/713.46 c current bound: 6340 701.74/714.01 c current bound: 6340 702.54/714.68 c current bound: 6340 702.83/715.22 c current bound: 6340 703.40/715.77 c current bound: 6340 703.95/716.32 c current bound: 6340 704.50/716.87 c current bound: 6340 705.04/717.41 c current bound: 6340 705.59/717.96 c current bound: 6340 706.14/718.52 c current bound: 6340 706.69/719.07 c current bound: 6340 707.26/719.75 c current bound: 6340 708.08/720.30 c current bound: 6340 708.35/720.85 c current bound: 6340 709.17/721.40 c current bound: 6340 709.45/721.95 c current bound: 6340 710.01/722.50 c current bound: 6340 710.56/723.05 c current bound: 6340 711.11/723.60 c current bound: 6340 711.67/724.15 c current bound: 6340 712.22/724.82 c current bound: 6340 712.96/725.37 c current bound: 6340 713.33/725.93 c current bound: 6340 714.06/726.48 c current bound: 6340 714.43/727.03 c current bound: 6340 715.15/727.58 c current bound: 6340 715.53/728.13 c current bound: 6340 716.26/728.68 c current bound: 6340 716.63/729.23 c current bound: 6340 717.46/729.90 c current bound: 6340 717.73/730.45 c current bound: 6340 718.55/731.01 c current bound: 6340 718.84/731.56 c current bound: 6340 719.63/732.11 c current bound: 6340 719.94/732.66 c current bound: 6340 720.74/733.21 c current bound: 6340 721.05/733.76 c current bound: 6340 721.85/734.31 c current bound: 6340 722.14/734.99 c current bound: 6340 722.69/735.54 c current bound: 6340 723.24/736.09 c current bound: 6340 723.78/736.63 c current bound: 6340 724.33/737.18 c current bound: 6340 724.87/737.73 c current bound: 6340 725.42/738.27 c current bound: 6340 725.97/738.82 c current bound: 6340 726.53/739.37 c current bound: 6340 727.08/740.04 c current bound: 6340 727.62/740.59 c current bound: 6340 728.18/741.14 c current bound: 6340 728.73/741.70 c current bound: 6340 729.27/742.24 c current bound: 6340 729.82/742.79 c current bound: 6340 730.37/743.34 c current bound: 6340 730.92/743.89 c current bound: 6340 731.46/744.43 c current bound: 6340 732.01/745.09 c current bound: 6340 732.57/745.64 c current bound: 6340 733.11/746.19 c current bound: 6340 733.66/746.74 c current bound: 6340 734.21/747.28 c current bound: 6340 734.76/747.83 c current bound: 6340 735.31/748.38 c current bound: 6340 735.86/748.93 c current bound: 6340 736.40/749.47 c current bound: 6340 736.96/750.15 c current bound: 6340 737.66/750.70 c current bound: 6340 738.05/751.24 c current bound: 6340 738.77/751.79 c current bound: 6340 739.15/752.34 c current bound: 6340 739.87/752.89 c current bound: 6340 740.24/753.44 c current bound: 6340 740.97/753.99 c current bound: 6340 741.35/754.54 c current bound: 6340 742.15/755.15 c current bound: 6340 742.44/755.71 c current bound: 6340 743.19/756.26 c current bound: 6340 743.54/756.80 c current bound: 6340 744.29/757.35 c current bound: 6340 744.64/757.90 c current bound: 6340 745.38/758.45 c current bound: 6340 746.00/759.00 c current bound: 6340 746.49/759.55 c current bound: 6340 746.83/760.22 c current bound: 6340 747.38/760.76 c current bound: 6340 747.93/761.31 c current bound: 6340 748.68/761.86 c current bound: 6340 749.03/762.41 c current bound: 6340 749.77/762.96 c current bound: 6340 750.12/763.50 c current bound: 6340 750.86/764.05 c current bound: 6340 751.48/764.60 c current bound: 6340 752.02/765.27 c current bound: 6340 752.31/765.82 c current bound: 6340 752.85/766.36 c current bound: 6340 753.40/766.91 c current bound: 6340 753.95/767.46 c current bound: 6340 754.50/768.01 c current bound: 6340 755.05/768.56 c current bound: 6340 755.60/769.11 c current bound: 6340 756.15/769.66 c current bound: 6340 756.70/770.33 c current bound: 6340 757.25/770.88 c current bound: 6340 757.81/771.43 c current bound: 6340 758.35/771.98 c current bound: 6340 758.90/772.53 c current bound: 6340 759.46/773.08 c current bound: 6340 760.00/773.62 c current bound: 6340 760.55/774.17 c current bound: 6340 761.10/774.72 c current bound: 6340 761.65/775.38 c current bound: 6340 762.43/775.93 c current bound: 6340 762.75/776.48 c current bound: 6340 763.53/777.04 c current bound: 6340 763.86/777.59 c current bound: 6340 764.63/778.14 c current bound: 6340 764.96/778.68 c current bound: 6340 765.73/779.24 c current bound: 6340 766.05/779.79 c current bound: 6340 766.86/780.48 c current bound: 6340 767.16/781.03 c current bound: 6340 767.88/781.58 c current bound: 6340 768.27/782.13 c current bound: 6340 769.00/782.68 c current bound: 6340 769.36/783.23 c current bound: 6340 770.10/783.77 c current bound: 6340 770.46/784.32 c current bound: 6340 771.19/784.87 c current bound: 6340 771.56/785.55 c current bound: 6340 772.10/786.10 c current bound: 6340 772.65/786.65 c current bound: 6340 773.48/787.20 c current bound: 6340 773.75/787.74 c current bound: 6340 774.31/788.29 c current bound: 6340 774.85/788.84 c current bound: 6340 775.40/789.39 c current bound: 6340 775.94/789.95 c current bound: 6340 776.52/790.61 c current bound: 6340 777.06/791.15 c current bound: 6340 777.61/791.70 c current bound: 6340 778.15/792.25 c current bound: 6340 778.70/792.80 c current bound: 6340 779.26/793.35 c current bound: 6340 779.82/793.90 c current bound: 6340 780.38/794.45 c current bound: 6340 781.19/795.00 c current bound: 6340 781.48/795.65 c current bound: 6340 782.29/796.20 c current bound: 6340 782.58/796.75 c current bound: 6340 783.40/797.30 c current bound: 6340 783.69/797.85 c current bound: 6340 784.49/798.40 c current bound: 6340 784.77/798.94 c current bound: 6340 785.33/799.49 c current bound: 6340 785.89/800.04 c current bound: 6340 786.71/800.71 c current bound: 6340 787.18/801.26 c current bound: 6340 787.54/801.81 c current bound: 6340 788.29/802.36 c current bound: 6340 788.65/802.91 c current bound: 6340 789.39/803.46 c current bound: 6340 789.75/804.01 c current bound: 6340 790.51/804.55 c current bound: 6340 790.85/805.10 c current bound: 6340 791.66/805.76 c current bound: 6340 791.95/806.31 c current bound: 6340 792.72/806.86 c current bound: 6340 793.07/807.41 c current bound: 6340 793.80/807.96 c current bound: 6340 794.15/808.51 c current bound: 6340 794.91/809.06 c current bound: 6340 795.26/809.61 c current bound: 6340 796.02/810.15 c current bound: 6340 796.37/810.85 c current bound: 6340 796.91/811.40 c current bound: 6340 797.46/811.94 c current bound: 6340 798.01/812.49 c current bound: 6340 798.56/813.05 c current bound: 6340 799.11/813.59 c current bound: 6340 799.66/814.14 c current bound: 6340 800.22/814.69 c current bound: 6340 800.78/815.24 c current bound: 6340 801.32/815.89 c current bound: 6340 801.88/816.44 c current bound: 6340 802.42/816.99 c current bound: 6340 802.97/817.54 c current bound: 6340 803.53/818.09 c current bound: 6340 804.08/818.64 c current bound: 6340 804.63/819.19 c current bound: 6340 805.18/819.74 c current bound: 6340 805.72/820.28 c current bound: 6340 806.55/820.95 c current bound: 6340 807.10/821.50 c current bound: 6340 807.39/822.04 c current bound: 6340 807.93/822.59 c current bound: 6340 808.49/823.14 c current bound: 6340 809.03/823.69 c current bound: 6340 809.58/824.24 c current bound: 6340 810.15/824.79 c current bound: 6340 810.70/825.34 c current bound: 6340 811.25/826.02 c current bound: 6340 812.00/826.56 c current bound: 6340 812.35/827.11 c current bound: 6340 813.10/827.66 c current bound: 6340 813.45/828.21 c current bound: 6340 814.19/828.76 c current bound: 6340 814.55/829.31 c current bound: 6340 815.30/829.86 c current bound: 6340 815.66/830.41 c current bound: 6340 816.46/831.09 c current bound: 6340 816.76/831.64 c current bound: 6340 817.48/832.19 c current bound: 6340 817.87/832.73 c current bound: 6340 818.60/833.28 c current bound: 6340 818.97/833.83 c current bound: 6340 819.68/834.38 c current bound: 6340 820.07/834.92 c current bound: 6340 820.80/835.48 c current bound: 6340 821.18/836.10 c current bound: 6340 821.94/836.65 c current bound: 6340 822.29/837.20 c current bound: 6340 823.05/837.77 c current bound: 6340 823.42/838.32 c current bound: 6340 823.96/838.87 c current bound: 6340 824.52/839.43 c current bound: 6340 825.09/839.98 c current bound: 6340 825.64/840.53 c current bound: 6340 826.47/841.20 c current bound: 6340 826.76/841.75 c current bound: 6340 827.31/842.30 c current bound: 6340 827.85/842.85 c current bound: 6340 828.41/843.40 c current bound: 6340 828.97/843.96 c current bound: 6340 829.51/844.51 c current bound: 6340 830.06/845.06 c current bound: 6340 830.62/845.61 c current bound: 6340 831.18/846.29 c current bound: 6340 831.74/846.84 c current bound: 6340 832.28/847.39 c current bound: 6340 832.83/847.94 c current bound: 6340 833.38/848.49 c current bound: 6340 833.94/849.04 c current bound: 6340 834.49/849.59 c current bound: 6340 835.05/850.14 c current bound: 6340 835.59/850.69 c current bound: 6340 836.14/851.36 c current bound: 6340 836.95/851.91 c current bound: 6340 837.24/852.47 c current bound: 6340 838.04/853.03 c current bound: 6340 838.36/853.58 c current bound: 6340 839.14/854.13 c current bound: 6340 839.48/854.68 c current bound: 6340 840.26/855.23 c current bound: 6340 840.57/855.78 c current bound: 6340 841.38/856.45 c current bound: 6340 841.68/857.00 c current bound: 6340 842.43/857.55 c current bound: 6340 842.78/858.10 c current bound: 6340 843.54/858.65 c current bound: 6340 843.87/859.21 c current bound: 6340 844.63/859.76 c current bound: 6340 844.99/860.31 c current bound: 6340 845.73/860.86 c current bound: 6340 846.09/861.53 c current bound: 6340 846.64/862.09 c current bound: 6340 847.20/862.64 c current bound: 6340 847.74/863.19 c current bound: 6340 848.30/863.74 c current bound: 6340 848.85/864.29 c current bound: 6340 849.41/864.84 c current bound: 6340 849.95/865.39 c current bound: 6340 850.50/865.94 c current bound: 6340 851.06/866.63 c current bound: 6340 851.62/867.18 c current bound: 6340 852.18/867.73 c current bound: 6340 852.73/868.28 c current bound: 6340 853.28/868.84 c current bound: 6340 853.84/869.39 c current bound: 6340 854.39/869.95 c current bound: 6340 854.94/870.50 c current bound: 6340 855.49/871.05 c current bound: 6340 856.33/871.71 c current bound: 6340 856.60/872.26 c current bound: 6340 857.41/872.81 c current bound: 6340 857.71/873.36 c current bound: 6340 858.52/873.91 c current bound: 6340 858.82/874.46 c current bound: 6340 859.61/875.01 c current bound: 6340 859.93/875.56 c current bound: 6340 860.73/876.12 c current bound: 6340 861.03/876.77 c current bound: 6340 861.83/877.33 c current bound: 6340 862.14/877.88 c current bound: 6340 862.92/878.43 c current bound: 6340 863.25/878.98 c current bound: 6340 864.04/879.53 c current bound: 6340 864.36/880.08 c current bound: 6340 865.13/880.63 c current bound: 6340 865.47/881.18 c current bound: 6340 866.28/881.86 c current bound: 6340 866.58/882.41 c current bound: 6340 867.13/882.96 c current bound: 6340 867.68/883.51 c current bound: 6340 868.23/884.07 c current bound: 6340 868.80/884.62 c current bound: 6340 869.36/885.17 c current bound: 6340 869.91/885.72 c current bound: 6340 870.47/886.27 c current bound: 6340 871.02/886.94 c current bound: 6340 871.57/887.50 c current bound: 6340 872.14/888.06 c current bound: 6340 872.69/888.61 c current bound: 6340 873.24/889.16 c current bound: 6340 873.79/889.71 c current bound: 6340 874.34/890.26 c current bound: 6340 874.90/890.81 c current bound: 6340 875.46/891.36 c current bound: 6340 876.02/892.05 c current bound: 6340 876.74/892.60 c current bound: 6340 877.14/893.15 c current bound: 6340 877.96/893.71 c current bound: 6340 878.25/894.26 c current bound: 6340 879.05/894.81 c current bound: 6340 879.36/895.36 c current bound: 6340 880.17/895.91 c current bound: 6340 880.46/896.46 c current bound: 6340 881.27/897.13 c current bound: 6340 881.56/897.68 c current bound: 6340 882.34/898.23 c current bound: 6340 882.68/898.78 c current bound: 6340 883.45/899.33 c current bound: 6340 883.79/899.88 c current bound: 6340 884.56/900.43 c current bound: 6340 884.90/900.98 c current bound: 6340 885.67/901.53 c current bound: 6340 886.26/902.17 c current bound: 6340 886.55/902.72 c current bound: 6340 887.09/903.27 c current bound: 6340 887.65/903.82 c current bound: 6340 888.21/904.37 c current bound: 6340 888.76/904.92 c current bound: 6340 889.32/905.47 c current bound: 6340 889.86/906.02 c current bound: 6340 890.42/906.57 c current bound: 6340 890.97/907.25 c current bound: 6340 891.53/907.79 c current bound: 6340 892.07/908.35 c current bound: 6340 892.64/908.89 c current bound: 6340 893.19/909.44 c current bound: 6340 893.75/909.99 c current bound: 6340 894.30/910.55 c current bound: 6340 895.11/911.10 c current bound: 6340 895.40/911.65 c current bound: 6340 896.21/912.31 c current bound: 6340 896.52/912.86 c current bound: 6340 897.31/913.41 c current bound: 6340 897.63/913.96 c current bound: 6340 898.42/914.52 c current bound: 6340 898.74/915.07 c current bound: 6340 899.53/915.62 c current bound: 6340 899.85/916.17 c current bound: 6340 900.63/916.73 c current bound: 6340 900.96/917.38 c current bound: 6340 901.74/917.94 c current bound: 6340 902.05/918.49 c current bound: 6340 902.83/919.04 c current bound: 6340 903.17/919.59 c current bound: 6340 903.92/920.14 c current bound: 6340 904.27/920.69 c current bound: 6340 905.02/921.24 c current bound: 6340 905.36/921.79 c current bound: 6340 906.16/922.48 c current bound: 6340 906.46/923.03 c current bound: 6340 907.01/923.58 c current bound: 6340 907.56/924.13 c current bound: 6340 908.11/924.68 c current bound: 6340 908.66/925.23 c current bound: 6340 909.22/925.77 c current bound: 6340 909.77/926.32 c current bound: 6340 910.31/926.87 c current bound: 6340 910.86/927.53 c current bound: 6340 911.42/928.08 c current bound: 6340 911.98/928.63 c current bound: 6340 912.53/929.18 c current bound: 6340 913.07/929.73 c current bound: 6340 913.64/930.28 c current bound: 6340 914.19/930.82 c current bound: 6340 914.74/931.37 c current bound: 6340 915.29/931.92 c current bound: 6340 915.84/932.59 c current bound: 6340 916.39/933.15 c current bound: 6340 916.94/933.70 c current bound: 6340 917.50/934.25 c current bound: 6340 918.04/934.80 c current bound: 6340 918.60/935.35 c current bound: 6340 919.16/935.90 c current bound: 6340 919.70/936.45 c current bound: 6340 920.25/937.01 c current bound: 6340 921.08/937.66 c current bound: 6340 921.37/938.21 c current bound: 6340 922.11/938.76 c current bound: 6340 922.48/939.31 c current bound: 6340 923.23/939.85 c current bound: 6340 923.57/940.40 c current bound: 6340 924.33/940.95 c current bound: 6340 924.94/941.50 c current bound: 6340 925.44/942.05 c current bound: 6340 926.07/942.72 c current bound: 6340 926.53/943.27 c current bound: 6340 926.89/943.82 c current bound: 6340 927.64/944.36 c current bound: 6340 928.00/944.91 c current bound: 6340 928.75/945.46 c current bound: 6340 929.11/946.01 c current bound: 6340 929.85/946.56 c current bound: 6340 930.21/947.11 c current bound: 6340 931.02/947.81 c current bound: 6340 931.32/948.35 c current bound: 6340 931.86/948.91 c current bound: 6340 932.42/949.46 c current bound: 6340 932.97/950.01 c current bound: 6340 933.52/950.56 c current bound: 6340 934.07/951.11 c current bound: 6340 934.61/951.65 c current bound: 6340 935.16/952.20 c current bound: 6340 935.72/952.87 c current bound: 6340 936.26/953.42 c current bound: 6340 936.82/953.97 c current bound: 6340 937.36/954.51 c current bound: 6340 937.90/955.06 c current bound: 6340 938.46/955.61 c current bound: 6340 939.00/956.16 c current bound: 6340 939.55/956.71 c current bound: 6340 940.11/957.25 c current bound: 6340 940.66/957.92 c current bound: 6340 941.20/958.47 c current bound: 6340 941.74/959.02 c current bound: 6340 942.28/959.56 c current bound: 6340 942.85/960.11 c current bound: 6340 943.40/960.66 c current bound: 6340 943.95/961.21 c current bound: 6340 944.50/961.75 c current bound: 6340 945.05/962.31 c current bound: 6340 945.85/963.01 c current bound: 6340 946.15/963.56 c current bound: 6340 946.94/964.11 c current bound: 6340 947.26/964.66 c current bound: 6340 948.06/965.21 c current bound: 6340 948.37/965.76 c current bound: 6340 949.17/966.31 c current bound: 6340 949.47/966.86 c current bound: 6340 950.27/967.42 c current bound: 6340 950.59/968.09 c current bound: 6340 951.34/968.64 c current bound: 6340 951.68/969.18 c current bound: 6340 952.45/969.73 c current bound: 6340 952.79/970.28 c current bound: 6340 953.57/970.83 c current bound: 6340 953.89/971.37 c current bound: 6340 954.66/971.92 c current bound: 6340 954.99/972.47 c current bound: 6340 955.79/973.16 c current bound: 6340 956.09/973.71 c current bound: 6340 956.64/974.26 c current bound: 6340 957.20/974.81 c current bound: 6340 957.74/975.36 c current bound: 6340 958.30/975.91 c current bound: 6340 958.84/976.46 c current bound: 6340 959.40/977.01 c current bound: 6340 959.96/977.56 c current bound: 6340 960.51/978.17 c current bound: 6340 961.07/978.72 c current bound: 6340 961.62/979.27 c current bound: 6340 962.19/979.82 c current bound: 6340 962.74/980.37 c current bound: 6340 963.30/980.92 c current bound: 6340 963.85/981.47 c current bound: 6340 964.42/982.02 c current bound: 6340 964.97/982.57 c current bound: 6340 965.79/983.24 c current bound: 6340 966.07/983.79 c current bound: 6340 966.62/984.34 c current bound: 6340 967.17/984.89 c current bound: 6340 967.72/985.44 c current bound: 6340 968.27/985.98 c current bound: 6340 968.82/986.53 c current bound: 6340 969.37/987.08 c current bound: 6340 969.92/987.63 c current bound: 6340 970.73/988.31 c current bound: 6340 971.03/988.88 c current bound: 6340 971.82/989.42 c current bound: 6340 972.14/989.97 c current bound: 6340 972.93/990.52 c current bound: 6340 973.24/991.07 c current bound: 6340 974.04/991.62 c current bound: 6340 974.34/992.17 c current bound: 6340 975.13/992.72 c current bound: 6340 975.44/993.37 c current bound: 6340 976.24/993.92 c current bound: 6340 976.56/994.48 c current bound: 6340 977.34/995.03 c current bound: 6340 977.68/995.57 c current bound: 6340 978.45/996.12 c current bound: 6340 978.78/996.67 c current bound: 6340 979.57/997.22 c current bound: 6340 979.88/997.77 c current bound: 6340 980.67/998.43 c current bound: 6340 980.98/998.98 c current bound: 6340 981.53/999.52 c current bound: 6340 982.08/1000.07 c current bound: 6340 982.63/1000.62 c current bound: 6340 983.18/1001.17 c current bound: 6340 983.73/1001.72 c current bound: 6340 984.29/1002.26 c current bound: 6340 984.82/1002.81 c current bound: 6340 985.38/1003.49 c current bound: 6340 985.93/1004.04 c current bound: 6340 986.48/1004.60 c current bound: 6340 987.04/1005.14 c current bound: 6340 987.59/1005.69 c current bound: 6340 988.13/1006.24 c current bound: 6340 988.69/1006.79 c current bound: 6340 989.24/1007.34 c current bound: 6340 989.79/1007.89 c current bound: 6340 990.61/1008.55 c current bound: 6340 990.90/1009.10 c current bound: 6340 991.45/1009.65 c current bound: 6340 992.00/1010.19 c current bound: 6340 992.55/1010.74 c current bound: 6340 993.10/1011.29 c current bound: 6340 993.66/1011.83 c current bound: 6340 994.19/1012.38 c current bound: 6340 994.75/1012.93 c current bound: 6340 995.56/1013.58 c current bound: 6340 995.85/1014.13 c current bound: 6340 996.57/1014.68 c current bound: 6340 996.95/1015.23 c current bound: 6340 997.69/1015.78 c current bound: 6340 998.05/1016.32 c current bound: 6340 998.80/1016.87 c current bound: 6340 999.15/1017.42 c current bound: 6340 999.88/1017.97 c current bound: 6340 1000.52/1018.64 c current bound: 6340 1000.98/1019.19 c current bound: 6340 1001.36/1019.74 c current bound: 6340 1002.08/1020.29 c current bound: 6340 1002.47/1020.83 c current bound: 6340 1003.18/1021.39 c current bound: 6340 1003.57/1021.93 c current bound: 6340 1004.30/1022.48 c current bound: 6340 1004.67/1023.03 c current bound: 6340 1005.48/1023.69 c current bound: 6340 1005.77/1024.24 c current bound: 6340 1006.32/1024.78 c current bound: 6340 1006.87/1025.33 c current bound: 6340 1007.42/1025.88 c current bound: 6340 1007.97/1026.43 c current bound: 6340 1008.52/1026.98 c current bound: 6340 1009.08/1027.53 c current bound: 6340 1009.63/1028.07 c current bound: 6340 1010.44/1028.73 c current bound: 6340 1010.71/1029.27 c current bound: 6340 1011.28/1029.82 c current bound: 6340 1011.82/1030.37 c current bound: 6340 1012.37/1030.91 c current bound: 6340 1012.91/1031.47 c current bound: 6340 1013.47/1032.01 c current bound: 6340 1014.02/1032.56 c current bound: 6340 1014.57/1033.11 c current bound: 6340 1015.13/1033.76 c current bound: 6340 1015.68/1034.31 c current bound: 6340 1016.23/1034.86 c current bound: 6340 1016.78/1035.41 c current bound: 6340 1017.32/1035.96 c current bound: 6340 1017.88/1036.51 c current bound: 6340 1018.44/1037.06 c current bound: 6340 1018.99/1037.62 c current bound: 6340 1019.54/1038.17 c current bound: 6340 1020.34/1038.84 c current bound: 6340 1020.64/1039.39 c current bound: 6340 1021.43/1039.93 c current bound: 6340 1021.75/1040.49 c current bound: 6340 1022.52/1041.03 c current bound: 6340 1022.85/1041.58 c current bound: 6340 1023.63/1042.13 c current bound: 6340 1023.96/1042.68 c current bound: 6340 1024.75/1043.22 c current bound: 6340 1025.06/1043.92 c current bound: 6340 1025.79/1044.47 c current bound: 6340 1026.15/1045.02 c current bound: 6340 1026.90/1045.56 c current bound: 6340 1027.25/1046.11 c current bound: 6340 1028.01/1046.66 c current bound: 6340 1028.35/1047.21 c current bound: 6340 1029.10/1047.76 c current bound: 6340 1029.46/1048.31 c current bound: 6340 1030.25/1048.98 c current bound: 6340 1030.56/1049.53 c current bound: 6340 1031.11/1050.08 c current bound: 6340 1031.65/1050.63 c current bound: 6340 1032.21/1051.17 c current bound: 6340 1032.76/1051.72 c current bound: 6340 1033.32/1052.27 c current bound: 6340 1033.86/1052.81 c current bound: 6340 1034.41/1053.37 c current bound: 6340 1034.96/1054.10 c current bound: 6340 1035.51/1054.65 c current bound: 6340 1036.34/1055.20 c current bound: 6340 1036.62/1055.75 c current bound: 6340 1037.16/1056.29 c current bound: 6340 1037.71/1056.84 c current bound: 6340 1038.26/1057.39 c current bound: 6340 1038.81/1057.93 c current bound: 6340 1039.35/1058.48 c current bound: 6340 1039.90/1059.17 c current bound: 6340 1040.70/1059.72 c current bound: 6340 1041.01/1060.27 c current bound: 6340 1041.81/1060.81 c current bound: 6340 1042.11/1061.36 c current bound: 6340 1042.92/1061.91 c current bound: 6340 1043.22/1062.46 c current bound: 6340 1044.03/1063.00 c current bound: 6340 1044.32/1063.55 c current bound: 6340 1045.14/1064.17 c current bound: 6340 1045.42/1064.71 c current bound: 6340 1046.15/1065.26 c current bound: 6340 1046.52/1065.81 c current bound: 6340 1047.26/1066.35 c current bound: 6340 1047.62/1066.90 c current bound: 6340 1048.39/1067.45 c current bound: 6340 1048.99/1068.00 c current bound: 6340 1049.49/1068.54 c current bound: 6340 1050.10/1069.20 c current bound: 6340 1050.58/1069.75 c current bound: 6340 1050.92/1070.29 c current bound: 6340 1051.69/1070.84 c current bound: 6340 1052.03/1071.39 c current bound: 6340 1052.81/1071.94 c current bound: 6340 1053.13/1072.48 c current bound: 6340 1053.91/1073.03 c current bound: 6340 1054.22/1073.58 c current bound: 6340 1055.00/1074.12 c current bound: 6340 1055.32/1074.68 c current bound: 6340 1056.11/1075.22 c current bound: 6340 1056.43/1075.78 c current bound: 6340 1057.22/1076.32 c current bound: 6340 1057.52/1076.88 c current bound: 6340 1058.33/1077.43 c current bound: 6340 1058.65/1077.97 c current bound: 6340 1059.42/1078.52 c current bound: 6340 1059.74/1079.07 c current bound: 6340 1060.53/1079.62 c current bound: 6340 1060.84/1080.16 c current bound: 6340 1061.64/1080.71 c current bound: 6340 1061.94/1081.26 c current bound: 6340 1062.75/1081.81 c current bound: 6340 1063.04/1082.35 c current bound: 6340 1063.74/1082.90 c current bound: 6340 1064.13/1083.45 c current bound: 6340 1064.83/1084.00 c current bound: 6340 1065.50/1084.70 c current bound: 6340 1065.97/1085.26 c current bound: 6340 1066.34/1085.81 c current bound: 6340 1067.09/1086.35 c current bound: 6340 1067.45/1086.90 c current bound: 6340 1068.18/1087.45 c current bound: 6340 1068.81/1088.00 c current bound: 6340 1069.29/1088.55 c current bound: 6340 1069.65/1089.10 c current bound: 6340 1070.45/1089.78 c current bound: 6340 1070.74/1090.32 c current bound: 6340 1071.31/1090.87 c current bound: 6340 1071.86/1091.42 c current bound: 6340 1072.40/1091.97 c current bound: 6340 1072.95/1092.51 c current bound: 6340 1073.50/1093.06 c current bound: 6340 1074.06/1093.61 c current bound: 6340 1074.61/1094.16 c current bound: 6340 1075.16/1094.85 c current bound: 6340 1075.70/1095.39 c current bound: 6340 1076.25/1095.94 c current bound: 6340 1077.07/1096.50 c current bound: 6340 1077.36/1097.04 c current bound: 6340 1077.90/1097.59 c current bound: 6340 1078.45/1098.14 c current bound: 6340 1079.00/1098.69 c current bound: 6340 1079.54/1099.24 c current bound: 6340 1080.11/1099.92 c current bound: 6340 1080.85/1100.47 c current bound: 6340 1081.22/1101.02 c current bound: 6340 1081.96/1101.57 c current bound: 6340 1082.33/1102.11 c current bound: 6340 1083.06/1102.66 c current bound: 6340 1083.42/1103.21 c current bound: 6340 1084.17/1103.76 c current bound: 6340 1084.52/1104.31 c current bound: 6340 1085.34/1104.97 c current bound: 6340 1085.63/1105.52 c current bound: 6340 1086.37/1106.06 c current bound: 6340 1086.72/1106.61 c current bound: 6340 1087.48/1107.16 c current bound: 6340 1087.83/1107.71 c current bound: 6340 1088.59/1108.26 c current bound: 6340 1088.94/1108.81 c current bound: 6340 1089.70/1109.36 c current bound: 6340 1090.05/1110.04 c current bound: 6340 1090.60/1110.59 c current bound: 6340 1091.14/1111.14 c current bound: 6340 1091.70/1111.69 c current bound: 6340 1092.25/1112.23 c current bound: 6340 1092.80/1112.78 c current bound: 6340 1093.34/1113.33 c current bound: 6340 1093.91/1113.88 c current bound: 6340 1094.45/1114.42 c current bound: 6340 1095.00/1115.08 c current bound: 6340 1095.55/1115.62 c current bound: 6340 1096.10/1116.17 c current bound: 6340 1096.65/1116.72 c current bound: 6340 1097.21/1117.27 c current bound: 6340 1097.77/1117.81 c current bound: 6340 1098.32/1118.36 c current bound: 6340 1098.86/1118.91 c current bound: 6340 1099.40/1119.46 c current bound: 6340 1099.96/1120.12 c current bound: 6340 1100.51/1120.67 c current bound: 6340 1101.06/1121.22 c current bound: 6340 1101.61/1121.76 c current bound: 6340 1102.17/1122.31 c current bound: 6340 1102.71/1122.86 c current bound: 6340 1103.27/1123.41 c current bound: 6340 1103.82/1123.96 c current bound: 6340 1104.38/1124.51 c current bound: 6340 1104.93/1125.18 c current bound: 6340 1105.69/1125.73 c current bound: 6340 1106.02/1126.28 c current bound: 6340 1106.80/1126.83 c current bound: 6340 1107.13/1127.37 c current bound: 6340 1107.91/1127.92 c current bound: 6340 1108.23/1128.47 c current bound: 6340 1109.03/1129.02 c current bound: 6340 1109.34/1129.57 c current bound: 6340 1110.14/1130.17 c current bound: 6340 1110.44/1130.72 c current bound: 6340 1111.18/1131.27 c current bound: 6340 1111.55/1131.82 c current bound: 6340 1112.27/1132.37 c current bound: 6340 1112.65/1132.92 c current bound: 6340 1113.40/1133.46 c current bound: 6340 1113.75/1134.01 c current bound: 6340 1114.50/1134.56 c current bound: 6340 1114.84/1135.10 c current bound: 6340 1115.60/1135.65 c current bound: 6340 1116.21/1136.20 c current bound: 6340 1116.71/1136.76 c current bound: 6340 1117.04/1137.30 c current bound: 6340 1117.80/1137.85 c current bound: 6340 1118.41/1138.40 c current bound: 6340 1118.91/1138.94 c current bound: 6340 1119.24/1139.50 c current bound: 6340 1120.01/1140.04 c current bound: 6340 1120.34/1140.59 c current bound: 6340 1121.12/1141.16 c current bound: 6340 1121.46/1141.70 c current bound: 6340 1122.22/1142.25 c current bound: 6340 1122.82/1142.80 c current bound: 6340 1123.31/1143.35 c current bound: 6340 1123.66/1143.89 c current bound: 6340 1124.43/1144.44 c current bound: 6340 1124.75/1144.99 c current bound: 6340 1125.57/1145.64 c current bound: 6340 1125.84/1146.19 c current bound: 6340 1126.62/1146.74 c current bound: 6340 1126.95/1147.29 c current bound: 6340 1127.72/1147.84 c current bound: 6340 1128.05/1148.39 c current bound: 6340 1128.82/1148.94 c current bound: 6340 1129.15/1149.49 c current bound: 6340 1129.94/1150.04 c current bound: 6340 1130.27/1150.69 c current bound: 6340 1131.03/1151.24 c current bound: 6340 1131.37/1151.79 c current bound: 6340 1132.12/1152.34 c current bound: 6340 1132.48/1152.89 c current bound: 6340 1133.24/1153.44 c current bound: 6340 1133.58/1153.99 c current bound: 6340 1134.34/1154.54 c current bound: 6340 1134.68/1155.08 c current bound: 6340 1135.50/1155.73 c current bound: 6340 1135.77/1156.28 c current bound: 6340 1136.34/1156.83 c current bound: 6340 1136.88/1157.38 c current bound: 6340 1137.43/1157.93 c current bound: 6340 1137.98/1158.47 c current bound: 6340 1138.53/1159.03 c current bound: 6340 1139.09/1159.57 c current bound: 6340 1139.64/1160.13 c current bound: 6340 1140.47/1160.80 c current bound: 6340 1140.74/1161.35 c current bound: 6340 1141.56/1161.90 c current bound: 6340 1141.83/1162.45 c current bound: 6340 1142.40/1163.00 c current bound: 6340 1142.95/1163.55 c current bound: 6340 1143.77/1164.10 c current bound: 6340 1144.04/1164.65 c current bound: 6340 1144.60/1165.19 c current bound: 6340 1145.14/1165.87 c current bound: 6340 1145.93/1166.41 c current bound: 6340 1146.24/1166.96 c current bound: 6340 1147.06/1167.51 c current bound: 6340 1147.34/1168.05 c current bound: 6340 1147.90/1168.60 c current bound: 6340 1148.43/1169.15 c current bound: 6340 1148.98/1169.70 c current bound: 6340 1149.53/1170.25 c current bound: 6340 1150.35/1170.98 c current bound: 6340 1150.64/1171.53 c current bound: 6340 1151.37/1172.07 c current bound: 6340 1151.74/1172.62 c current bound: 6340 1152.49/1173.17 c current bound: 6340 1152.85/1173.72 c current bound: 6340 1153.60/1174.27 c current bound: 6340 1153.95/1174.82 c current bound: 6340 1154.69/1175.36 c current bound: 6340 1155.05/1176.05 c current bound: 6340 1155.86/1176.60 c current bound: 6340 1156.14/1177.15 c current bound: 6340 1156.69/1177.69 c current bound: 6340 1157.24/1178.24 c current bound: 6340 1157.80/1178.79 c current bound: 6340 1158.36/1179.34 c current bound: 6340 1158.91/1179.88 c current bound: 6340 1159.45/1180.43 c current bound: 6340 1160.00/1181.09 c current bound: 6340 1160.56/1181.64 c current bound: 6340 1161.10/1182.18 c current bound: 6340 1161.65/1182.73 c current bound: 6340 1162.19/1183.28 c current bound: 6340 1162.74/1183.83 c current bound: 6340 1163.30/1184.37 c current bound: 6340 1163.85/1184.92 c current bound: 6340 1164.40/1185.47 c current bound: 6340 1164.96/1186.11 c current bound: 6340 1165.51/1186.66 c current bound: 6340 1166.06/1187.21 c current bound: 6340 1166.60/1187.76 c current bound: 6340 1167.16/1188.31 c current bound: 6340 1167.70/1188.85 c current bound: 6340 1168.25/1189.40 c current bound: 6340 1168.80/1189.95 c current bound: 6340 1169.62/1190.50 c current bound: 6340 1169.90/1191.16 c current bound: 6340 1170.68/1191.71 c current bound: 6340 1170.99/1192.26 c current bound: 6340 1171.81/1192.80 c current bound: 6340 1172.10/1193.35 c current bound: 6340 1172.65/1193.90 c current bound: 6340 1173.19/1194.45 c current bound: 6340 1173.75/1195.00 c current bound: 6340 1174.30/1195.55 c current bound: 6340 1175.12/1196.18 c current bound: 6340 1175.40/1196.72 c current bound: 6340 1176.13/1197.28 c current bound: 6340 1176.49/1197.82 c current bound: 6340 1177.23/1198.37 c current bound: 6340 1177.59/1198.92 c current bound: 6340 1178.33/1199.47 c current bound: 6340 1178.70/1200.02 c current bound: 6340 1179.44/1200.57 c current bound: 6340 1179.81/1201.23 c current bound: 6340 1180.54/1201.78 c current bound: 6340 1180.89/1202.33 c current bound: 6340 1181.64/1202.87 c current bound: 6340 1182.01/1203.43 c current bound: 6340 1182.75/1203.97 c current bound: 6340 1183.11/1204.52 c current bound: 6340 1183.85/1205.07 c current bound: 6340 1184.22/1205.62 c current bound: 6340 1185.01/1206.28 c current bound: 6340 1185.33/1206.84 c current bound: 6340 1185.87/1207.39 c current bound: 6340 1186.43/1207.93 c current bound: 6340 1186.98/1208.48 c current bound: 6340 1187.52/1209.03 c current bound: 6340 1188.08/1209.58 c current bound: 6340 1188.62/1210.13 c current bound: 6340 1189.18/1210.67 c current bound: 6340 1189.73/1211.39 c current bound: 6340 1190.29/1211.94 c current bound: 6340 1190.83/1212.49 c current bound: 6340 1191.37/1213.04 c current bound: 6340 1191.92/1213.59 c current bound: 6340 1192.47/1214.13 c current bound: 6340 1193.02/1214.68 c current bound: 6340 1193.57/1215.23 c current bound: 6340 1194.13/1215.78 c current bound: 6340 1194.67/1216.45 c current bound: 6340 1195.22/1217.00 c current bound: 6340 1195.76/1217.55 c current bound: 6340 1196.32/1218.09 c current bound: 6340 1196.87/1218.64 c current bound: 6340 1197.43/1219.19 c current bound: 6340 1197.96/1219.73 c current bound: 6340 1198.51/1220.28 c current bound: 6340 1199.06/1220.84 c current bound: 6340 1199.87/1221.45 c current bound: 6340 1200.17/1222.00 c current bound: 6340 1200.94/1222.54 c current bound: 6340 1201.27/1223.09 c current bound: 6340 1202.04/1223.64 c current bound: 6340 1202.38/1224.19 c current bound: 6340 1203.16/1224.73 c current bound: 6340 1203.48/1225.28 c current bound: 6340 1204.26/1225.83 c current bound: 6340 1204.57/1226.37 c current bound: 6340 1205.35/1226.93 c current bound: 6340 1205.68/1227.49 c current bound: 6340 1206.45/1228.04 c current bound: 6340 1206.79/1228.59 c current bound: 6340 1207.56/1229.14 c current bound: 6340 1207.89/1229.69 c current bound: 6340 1208.66/1230.25 c current bound: 6340 1209.29/1230.80 c current bound: 6340 1209.78/1231.35 c current bound: 6340 1210.11/1231.89 c current bound: 6340 1210.88/1232.44 c current bound: 6340 1211.21/1233.00 c current bound: 6340 1211.98/1233.55 c current bound: 6340 1212.33/1234.10 c current bound: 6340 1213.07/1234.65 c current bound: 6340 1213.68/1235.20 c current bound: 6340 1214.18/1235.75 c current bound: 6340 1214.52/1236.29 c current bound: 6340 1215.32/1237.00 c current bound: 6340 1215.62/1237.55 c current bound: 6340 1216.41/1238.10 c current bound: 6340 1216.72/1238.65 c current bound: 6340 1217.53/1239.20 c current bound: 6340 1217.83/1239.75 c current bound: 6340 1218.64/1240.30 c current bound: 6340 1218.92/1240.84 c current bound: 6340 1219.64/1241.39 c current bound: 6340 1220.02/1242.08 c current bound: 6340 1220.58/1242.63 c current bound: 6340 1221.13/1243.18 c current bound: 6340 1221.68/1243.73 c current bound: 6340 1222.24/1244.27 c current bound: 6340 1222.79/1244.82 c current bound: 6340 1223.33/1245.37 c current bound: 6340 1223.88/1245.91 c current bound: 6340 1224.43/1246.46 c current bound: 6340 1225.25/1247.24 c current bound: 6340 1225.53/1247.79 c current bound: 6340 1226.09/1248.34 c current bound: 6340 1226.63/1248.88 c current bound: 6340 1227.18/1249.45 c current bound: 6340 1227.74/1250.00 c current bound: 6340 1228.30/1250.54 c current bound: 6340 1228.85/1251.09 c current bound: 6340 1229.39/1251.64 c current bound: 6340 1229.95/1252.19 c current bound: 6340 1230.49/1252.73 c current bound: 6340 1231.05/1253.28 c current bound: 6340 1231.60/1253.83 c current bound: 6340 1232.15/1254.38 c current bound: 6340 1232.70/1254.93 c current bound: 6340 1233.25/1255.48 c current bound: 6340 1233.80/1256.03 c current bound: 6340 1234.36/1256.58 c current bound: 6340 1234.90/1257.13 c current bound: 6340 1235.45/1257.67 c current bound: 6340 1236.00/1258.22 c current bound: 6340 1236.56/1258.77 c current bound: 6340 1237.11/1259.32 c current bound: 6340 1237.66/1259.86 c current bound: 6340 1238.20/1260.41 c current bound: 6340 1238.75/1260.96 c current bound: 6340 1239.31/1261.51 c current bound: 6340 1239.85/1262.05 c current bound: 6340 1240.40/1262.60 c current bound: 6340 1240.96/1263.15 c current bound: 6340 1241.51/1263.70 c current bound: 6340 1242.06/1264.25 c current bound: 6340 1242.61/1264.80 c current bound: 6340 1243.16/1265.34 c current bound: 6340 1243.70/1265.89 c current bound: 6340 1244.25/1266.44 c current bound: 6340 1244.81/1266.99 c current bound: 6340 1245.62/1267.63 c current bound: 6340 1245.90/1268.18 c current bound: 6340 1246.69/1268.73 c current bound: 6340 1247.00/1269.28 c current bound: 6340 1247.79/1269.82 c current bound: 6340 1248.11/1270.37 c current bound: 6340 1248.90/1270.92 c current bound: 6340 1249.20/1271.47 c current bound: 6340 1250.00/1272.01 c current bound: 6340 1250.31/1272.69 c current bound: 6340 1251.09/1273.23 c current bound: 6340 1251.42/1273.78 c current bound: 6340 1252.19/1274.33 c current bound: 6340 1252.51/1274.87 c current bound: 6340 1253.29/1275.43 c current bound: 6340 1253.62/1275.98 c current bound: 6340 1254.40/1276.53 c current bound: 6340 1254.72/1277.07 c current bound: 6340 1255.53/1277.75 c current bound: 6340 1255.81/1278.29 c current bound: 6340 1256.58/1278.84 c current bound: 6340 1256.92/1279.39 c current bound: 6340 1257.67/1279.94 c current bound: 6340 1258.01/1280.48 c current bound: 6340 1258.78/1281.03 c current bound: 6340 1259.11/1281.58 c current bound: 6340 1259.89/1282.13 c current bound: 6340 1260.48/1282.80 c current bound: 6340 1260.77/1283.35 c current bound: 6340 1261.31/1283.89 c current bound: 6340 1261.86/1284.44 c current bound: 6340 1262.41/1284.99 c current bound: 6340 1262.97/1285.53 c current bound: 6340 1263.51/1286.08 c current bound: 6340 1264.06/1286.63 c current bound: 6340 1264.62/1287.19 c current bound: 6340 1265.18/1287.88 c current bound: 6340 1265.73/1288.43 c current bound: 6340 1266.27/1288.97 c current bound: 6340 1266.83/1289.52 c current bound: 6340 1267.38/1290.07 c current bound: 6340 1267.93/1290.62 c current bound: 6340 1268.48/1291.17 c current bound: 6340 1269.02/1291.72 c current bound: 6340 1269.57/1292.26 c current bound: 6340 1270.38/1292.94 c current bound: 6340 1270.68/1293.48 c current bound: 6340 1271.46/1294.03 c current bound: 6340 1271.79/1294.58 c current bound: 6340 1272.58/1295.13 c current bound: 6340 1272.89/1295.67 c current bound: 6340 1273.66/1296.22 c current bound: 6340 1273.98/1296.77 c current bound: 6340 1274.77/1297.31 c current bound: 6340 1275.07/1297.99 c current bound: 6340 1275.85/1298.54 c current bound: 6340 1276.18/1299.08 c current bound: 6340 1276.96/1299.63 c current bound: 6340 1277.28/1300.18 c current bound: 6340 1278.07/1300.72 c current bound: 6340 1278.38/1301.27 c current bound: 6340 1279.15/1301.82 c current bound: 6340 1279.46/1302.37 c current bound: 6340 1280.29/1303.03 c current bound: 6340 1280.57/1303.58 c current bound: 6340 1281.35/1304.12 c current bound: 6340 1281.66/1304.69 c current bound: 6340 1282.45/1305.23 c current bound: 6340 1282.78/1305.78 c current bound: 6340 1283.56/1306.33 c current bound: 6340 1283.88/1306.87 c current bound: 6340 1284.66/1307.42 c current bound: 6340 1285.25/1308.10 c current bound: 6340 1285.54/1308.64 c current bound: 6340 1286.08/1309.19 c current bound: 6340 1286.63/1309.74 c current bound: 6340 1287.18/1310.29 c current bound: 6340 1287.74/1310.83 c current bound: 6340 1288.28/1311.38 c current bound: 6340 1288.84/1311.93 c current bound: 6340 1289.38/1312.48 c current bound: 6340 1290.19/1313.15 c current bound: 6340 1290.49/1313.70 c current bound: 6340 1291.04/1314.25 c current bound: 6340 1291.86/1314.80 c current bound: 6340 1292.14/1315.34 c current bound: 6340 1292.70/1315.89 c current bound: 6340 1293.23/1316.44 c current bound: 6340 1293.79/1316.99 c current bound: 6340 1294.34/1317.54 c current bound: 6340 1294.90/1318.19 c current bound: 6340 1295.45/1318.74 c current bound: 6340 1295.99/1319.29 c current bound: 6340 1296.56/1319.84 c current bound: 6340 1297.10/1320.38 c current bound: 6340 1297.65/1320.95 c current bound: 6340 1298.22/1321.50 c current bound: 6340 1298.76/1322.05 c current bound: 6340 1299.32/1322.59 c current bound: 6340 1300.14/1323.25 c current bound: 6340 1300.57/1323.80 c current bound: 6340 1300.96/1324.35 c current bound: 6340 1301.67/1324.90 c current bound: 6340 1302.06/1325.44 c current bound: 6340 1302.87/1326.04 c current bound: 6340 1303.16/1326.58 c current bound: 6340 1303.93/1327.13 c current bound: 6340 1304.27/1327.68 c current bound: 6340 1305.06/1328.37 c current bound: 6340 1305.36/1328.92 c current bound: 6340 1305.91/1329.47 c current bound: 6340 1306.46/1330.02 c current bound: 6340 1307.01/1330.57 c current bound: 6340 1307.57/1331.12 c current bound: 6340 1308.12/1331.66 c current bound: 6340 1308.67/1332.21 c current bound: 6340 1309.41/1332.76 c current bound: 6340 1309.76/1333.42 c current bound: 6340 1310.31/1333.97 c current bound: 6340 1310.86/1334.52 c current bound: 6340 1311.41/1335.06 c current bound: 6340 1311.96/1335.61 c current bound: 6340 1312.51/1336.16 c current bound: 6340 1313.07/1336.71 c current bound: 6340 1313.62/1337.25 c current bound: 6340 1314.44/1337.80 c current bound: 6340 1314.98/1338.47 c current bound: 6340 1315.27/1339.02 c current bound: 6340 1315.82/1339.57 c current bound: 6340 1316.37/1340.12 c current bound: 6340 1316.92/1340.67 c current bound: 6340 1317.47/1341.21 c current bound: 6340 1318.03/1341.76 c current bound: 6340 1318.58/1342.31 c current bound: 6340 1319.13/1342.86 c current bound: 6340 1319.94/1343.51 c current bound: 6340 1320.23/1344.06 c current bound: 6340 1321.03/1344.61 c current bound: 6340 1321.33/1345.16 c current bound: 6340 1322.15/1345.70 c current bound: 6340 1322.43/1346.25 c current bound: 6340 1322.98/1346.80 c current bound: 6340 1323.53/1347.35 c current bound: 6340 1324.09/1347.89 c current bound: 6340 1324.90/1348.56 c current bound: 6340 1325.44/1349.11 c current bound: 6340 1325.73/1349.66 c current bound: 6340 1326.54/1350.21 c current bound: 6340 1326.84/1350.76 c current bound: 6340 1327.39/1351.31 c current bound: 6340 1327.95/1351.85 c current bound: 6340 1328.74/1352.41 c current bound: 6340 1329.05/1352.96 c current bound: 6340 1329.88/1353.64 c current bound: 6340 1330.15/1354.18 c current bound: 6340 1330.93/1354.73 c current bound: 6340 1331.26/1355.29 c current bound: 6340 1332.02/1355.83 c current bound: 6340 1332.36/1356.38 c current bound: 6340 1333.15/1356.93 c current bound: 6340 1333.47/1357.48 c current bound: 6340 1334.25/1358.03 c current bound: 6340 1334.83/1358.71 c current bound: 6340 1335.12/1359.26 c current bound: 6340 1335.67/1359.81 c current bound: 6340 1336.21/1360.36 c current bound: 6340 1336.76/1360.91 c current bound: 6340 1337.32/1361.45 c current bound: 6340 1337.88/1362.00 c current bound: 6340 1338.41/1362.55 c current bound: 6340 1339.23/1363.10 c current bound: 6340 1339.52/1363.81 c current bound: 6340 1340.07/1364.36 c current bound: 6340 1340.62/1364.91 c current bound: 6340 1341.17/1365.46 c current bound: 6340 1341.73/1366.01 c current bound: 6340 1342.28/1366.56 c current bound: 6340 1342.82/1367.10 c current bound: 6340 1343.37/1367.65 c current bound: 6340 1343.92/1368.20 c current bound: 6340 1344.73/1368.88 c current bound: 6340 1345.02/1369.42 c current bound: 6340 1345.76/1369.97 c current bound: 6340 1346.12/1370.52 c current bound: 6340 1346.87/1371.06 c current bound: 6340 1347.22/1371.61 c current bound: 6340 1347.97/1372.16 c current bound: 6340 1348.32/1372.70 c current bound: 6340 1349.08/1373.25 c current bound: 6340 1349.42/1373.96 c current bound: 6340 1350.23/1374.51 c current bound: 6340 1350.53/1375.06 c current bound: 6340 1351.31/1375.60 c current bound: 6340 1351.64/1376.15 c current bound: 6340 1352.46/1376.70 c current bound: 6340 1352.74/1377.25 c current bound: 6340 1353.56/1377.80 c current bound: 6340 1353.84/1378.35 c current bound: 6340 1354.65/1379.02 c current bound: 6340 1354.95/1379.57 c current bound: 6340 1355.50/1380.12 c current bound: 6340 1356.05/1380.67 c current bound: 6340 1356.59/1381.21 c current bound: 6340 1357.15/1381.77 c current bound: 6340 1357.70/1382.31 c current bound: 6340 1358.25/1382.87 c current bound: 6340 1358.80/1383.42 c current bound: 6340 1359.36/1384.09 c current bound: 6340 1359.92/1384.64 c current bound: 6340 1360.46/1385.18 c current bound: 6340 1361.00/1385.73 c current bound: 6340 1361.55/1386.28 c current bound: 6340 1362.10/1386.83 c current bound: 6340 1362.66/1387.38 c current bound: 6340 1363.22/1387.93 c current bound: 6340 1363.77/1388.49 c current bound: 6340 1364.33/1389.16 c current bound: 6340 1365.13/1389.71 c current bound: 6340 1365.43/1390.26 c current bound: 6340 1366.24/1390.81 c current bound: 6340 1366.53/1391.36 c current bound: 6340 1367.35/1391.90 c current bound: 6340 1367.63/1392.45 c current bound: 6340 1368.19/1393.00 c current bound: 6340 1368.73/1393.55 c current bound: 6340 1369.56/1394.16 c current bound: 6340 1369.83/1394.71 c current bound: 6340 1370.60/1395.26 c current bound: 6340 1370.95/1395.82 c current bound: 6340 1371.71/1396.37 c current bound: 6340 1372.06/1396.92 c current bound: 6340 1372.80/1397.46 c current bound: 6340 1373.15/1398.01 c current bound: 6340 1373.91/1398.56 c current bound: 6340 1374.52/1399.22 c current bound: 6340 1374.99/1399.76 c current bound: 6340 1375.36/1400.31 c current bound: 6340 1376.11/1400.86 c current bound: 6340 1376.45/1401.41 c current bound: 6340 1377.21/1401.96 c current bound: 6340 1377.56/1402.51 c current bound: 6340 1378.31/1403.05 c current bound: 6340 1378.65/1403.60 c current bound: 6340 1379.46/1404.29 c current bound: 6340 1379.76/1404.84 c current bound: 6340 1380.31/1405.39 c current bound: 6340 1380.86/1405.93 c current bound: 6340 1381.40/1406.48 c current bound: 6340 1381.95/1407.03 c current bound: 6340 1382.50/1407.58 c current bound: 6340 1383.05/1408.12 c current bound: 6340 1383.60/1408.67 c current bound: 6340 1384.42/1409.34 c current bound: 6340 1384.71/1409.89 c current bound: 6340 1385.26/1410.43 c current bound: 6340 1385.81/1410.98 c current bound: 6340 1386.36/1411.53 c current bound: 6340 1386.91/1412.08 c current bound: 6340 1387.46/1412.63 c current bound: 6340 1388.01/1413.18 c current bound: 6340 1388.56/1413.72 c current bound: 6340 1389.11/1414.40 c current bound: 6340 1389.67/1414.95 c current bound: 6340 1390.48/1415.50 c current bound: 6340 1390.77/1416.04 c current bound: 6340 1391.31/1416.59 c current bound: 6340 1391.86/1417.14 c current bound: 6340 1392.42/1417.69 c current bound: 6340 1392.97/1418.23 c current bound: 6340 1393.51/1418.78 c current bound: 6340 1394.32/1419.47 c current bound: 6340 1394.60/1420.02 c current bound: 6340 1395.34/1420.57 c current bound: 6340 1395.71/1421.12 c current bound: 6340 1396.44/1421.66 c current bound: 6340 1396.80/1422.21 c current bound: 6340 1397.55/1422.76 c current bound: 6340 1397.91/1423.30 c current bound: 6340 1398.67/1423.85 c current bound: 6340 1399.28/1424.51 c current bound: 6340 1399.76/1425.06 c current bound: 6340 1400.10/1425.61 c current bound: 6340 1400.87/1426.16 c current bound: 6340 1401.21/1426.70 c current bound: 6340 1401.97/1427.25 c current bound: 6340 1402.57/1427.80 c current bound: 6340 1403.07/1428.35 c current bound: 6340 1403.41/1428.91 c current bound: 6340 1404.24/1429.56 c current bound: 6340 1404.52/1430.11 c current bound: 6340 1405.27/1430.65 c current bound: 6340 1405.89/1431.20 c current bound: 6340 1406.37/1431.75 c current bound: 6340 1406.72/1432.29 c current bound: 6340 1407.47/1432.84 c current bound: 6340 1407.81/1433.39 c current bound: 6340 1408.57/1433.94 c current bound: 6340 1408.92/1434.59 c current bound: 6340 1409.46/1435.14 c current bound: 6340 1410.01/1435.68 c current bound: 6340 1410.55/1436.23 c current bound: 6340 1411.11/1436.78 c current bound: 6340 1411.65/1437.33 c current bound: 6340 1412.20/1437.87 c current bound: 6340 1412.75/1438.42 c current bound: 6340 1413.29/1438.97 c current bound: 6340 1414.12/1439.62 c current bound: 6340 1414.41/1440.17 c current bound: 6340 1414.95/1440.72 c current bound: 6340 1415.49/1441.27 c current bound: 6340 1416.05/1441.82 c current bound: 6340 1416.60/1442.37 c current bound: 6340 1417.15/1442.92 c current bound: 6340 1417.69/1443.47 c current bound: 6340 1418.25/1444.01 c current bound: 6340 1419.07/1444.71 c current bound: 6340 1419.35/1445.26 c current bound: 6340 1420.17/1445.80 c current bound: 6340 1420.46/1446.35 c current bound: 6340 1421.27/1446.91 c current bound: 6340 1421.57/1447.46 c current bound: 6340 1422.39/1448.01 c current bound: 6340 1422.68/1448.55 c current bound: 6340 1423.22/1449.10 c current bound: 6340 1423.77/1449.78 c current bound: 6340 1424.54/1450.33 c current bound: 6340 1424.87/1450.88 c current bound: 6340 1425.66/1451.43 c current bound: 6340 1425.96/1451.98 c current bound: 6340 1426.76/1452.52 c current bound: 6340 1427.07/1453.07 c current bound: 6340 1427.87/1453.62 c current bound: 6340 1428.16/1454.16 c current bound: 6340 1428.96/1454.86 c current bound: 6340 1429.28/1455.40 c current bound: 6340 1430.02/1455.95 c current bound: 6340 1430.65/1456.50 c current bound: 6340 1431.13/1457.05 c current bound: 6340 1431.48/1457.61 c current bound: 6340 1432.23/1458.16 c current bound: 6340 1432.60/1458.70 c current bound: 6340 1433.35/1459.25 c current bound: 6340 1433.70/1459.92 c current bound: 6340 1434.24/1460.47 c current bound: 6340 1434.80/1461.03 c current bound: 6340 1435.63/1461.60 c current bound: 6340 1435.92/1462.14 c current bound: 6340 1436.46/1462.69 c current bound: 6340 1437.01/1463.24 c current bound: 6340 1437.55/1463.79 c current bound: 6340 1438.11/1464.33 c current bound: 6340 1438.93/1465.00 c current bound: 6340 1439.21/1465.54 c current bound: 6340 1439.76/1466.09 c current bound: 6340 1440.30/1466.64 c current bound: 6340 1440.85/1467.18 c current bound: 6340 1441.40/1467.73 c current bound: 6340 1441.95/1468.28 c current bound: 6340 1442.51/1468.83 c current bound: 6340 1443.06/1469.37 c current bound: 6340 1443.86/1470.05 c current bound: 6340 1444.16/1470.60 c current bound: 6340 1444.90/1471.15 c current bound: 6340 1445.52/1471.70 c current bound: 6340 1446.02/1472.25 c current bound: 6340 1446.36/1472.79 c current bound: 6340 1447.11/1473.34 c current bound: 6340 1447.44/1473.89 c current bound: 6340 1448.21/1474.44 c current bound: 6340 1448.55/1475.10 c current bound: 6340 1449.31/1475.65 c current bound: 6340 1449.65/1476.20 c current bound: 6340 1450.40/1476.75 c current bound: 6340 1450.73/1477.29 c current bound: 6340 1451.51/1477.85 c current bound: 6340 1451.83/1478.39 c current bound: 6340 1452.59/1478.94 c current bound: 6340 1452.93/1479.49 c current bound: 6340 1453.76/1480.15 c current bound: 6340 1454.04/1480.70 c current bound: 6340 1454.80/1481.25 c current bound: 6340 1455.41/1481.80 c current bound: 6340 1455.91/1482.34 c current bound: 6340 1456.25/1482.89 c current bound: 6340 1457.01/1483.44 c current bound: 6340 1457.36/1483.99 c current bound: 6340 1458.12/1484.54 c current bound: 6340 1458.45/1485.19 c current bound: 6340 1459.00/1485.73 c current bound: 6340 1459.56/1486.28 c current bound: 6340 1460.11/1486.83 c current bound: 6340 1460.65/1487.38 c current bound: 6340 1461.21/1487.92 c current bound: 6340 1461.76/1488.47 c current bound: 6340 1462.30/1489.02 c current bound: 6340 1462.85/1489.57 c current bound: 6340 1463.68/1490.23 c current bound: 6340 1463.96/1490.78 c current bound: 6340 1464.53/1491.33 c current bound: 6340 1465.07/1491.88 c current bound: 6340 1465.62/1492.42 c current bound: 6340 1466.16/1492.97 c current bound: 6340 1466.71/1493.52 c current bound: 6340 1467.28/1494.08 c current bound: 6340 1467.82/1494.63 c current bound: 6340 1468.61/1495.34 c current bound: 6340 1468.92/1495.89 c current bound: 6340 1469.69/1496.44 c current bound: 6340 1470.04/1496.99 c current bound: 6340 1470.81/1497.54 c current bound: 6340 1471.14/1498.08 c current bound: 6340 1471.91/1498.63 c current bound: 6340 1472.25/1499.18 c current bound: 6340 1473.01/1499.73 c current bound: 6340 1473.62/1500.42 c current bound: 6340 1474.09/1500.97 c current bound: 6340 1474.45/1501.51 c current bound: 6340 1475.19/1502.06 c current bound: 6340 1475.55/1502.61 c current bound: 6340 1476.30/1503.15 c current bound: 6340 1476.65/1503.70 c current bound: 6340 1477.41/1504.25 c current bound: 6340 1478.02/1504.80 c current bound: 6340 1478.56/1505.48 c current bound: 6340 1478.84/1506.02 c current bound: 6340 1479.39/1506.57 c current bound: 6340 1479.95/1507.12 c current bound: 6340 1480.51/1507.67 c current bound: 6340 1481.05/1508.22 c current bound: 6340 1481.61/1508.76 c current bound: 6340 1482.15/1509.31 c current bound: 6340 1482.89/1509.86 c current bound: 6340 1483.52/1510.51 c current bound: 6340 1483.80/1511.06 c current bound: 6340 1484.35/1511.60 c current bound: 6340 1484.90/1512.15 c current bound: 6340 1485.72/1512.70 c current bound: 6340 1486.00/1513.26 c current bound: 6340 1486.56/1513.80 c current bound: 6340 1487.10/1514.35 c current bound: 6340 1487.65/1514.90 c current bound: 6340 1488.47/1515.55 c current bound: 6340 1488.75/1516.10 c current bound: 6340 1489.30/1516.65 c current bound: 6340 1490.13/1517.20 c current bound: 6340 1490.40/1517.74 c current bound: 6340 1490.97/1518.29 c current bound: 6340 1491.51/1518.84 c current bound: 6340 1492.06/1519.38 c current bound: 6340 1492.62/1519.93 c current bound: 6340 1493.16/1520.59 c current bound: 6340 1493.70/1521.14 c current bound: 6340 1494.26/1521.68 c current bound: 6340 1494.81/1522.23 c current bound: 6340 1495.35/1522.78 c current bound: 6340 1495.91/1523.32 c current bound: 6340 1496.46/1523.87 c current bound: 6340 1497.01/1524.42 c current bound: 6340 1497.55/1524.97 c current bound: 6340 1498.36/1525.65 c current bound: 6340 1498.81/1526.20 c current bound: 6340 1499.20/1526.75 c current bound: 6340 1499.91/1527.30 c current bound: 6340 1500.30/1527.85 c current bound: 6340 1501.02/1528.40 c current bound: 6340 1501.40/1528.95 c current bound: 6340 1502.11/1529.50 c current bound: 6340 1502.51/1530.05 c current bound: 6340 1503.34/1530.70 c current bound: 6340 1503.62/1531.25 c current bound: 6340 1504.41/1531.80 c current bound: 6340 1504.71/1532.35 c current bound: 6340 1505.53/1532.90 c current bound: 6340 1505.81/1533.45 c current bound: 6340 1506.62/1534.00 c current bound: 6340 1506.91/1534.55 c current bound: 6340 1507.74/1535.10 c current bound: 6340 1508.29/1535.80 c current bound: 6340 1508.57/1536.35 c current bound: 6340 1509.12/1536.90 c current bound: 6340 1509.67/1537.44 c current bound: 6340 1510.23/1537.99 c current bound: 6340 1510.78/1538.54 c current bound: 6340 1511.33/1539.09 c current bound: 6340 1511.88/1539.64 c current bound: 6340 1512.43/1540.18 c current bound: 6340 1512.98/1540.85 c current bound: 6340 1513.52/1541.40 c current bound: 6340 1514.08/1541.95 c current bound: 6340 1514.63/1542.50 c current bound: 6340 1515.18/1543.05 c current bound: 6340 1515.99/1543.60 c current bound: 6340 1516.28/1544.14 c current bound: 6340 1516.82/1544.69 c current bound: 6340 1517.38/1545.24 c current bound: 6340 1518.18/1545.91 c current bound: 6340 1518.47/1546.46 c current bound: 6340 1519.26/1547.01 c current bound: 6340 1519.57/1547.56 c current bound: 6340 1520.38/1548.10 c current bound: 6340 1520.66/1548.65 c current bound: 6340 1521.21/1549.20 c current bound: 6340 1521.76/1549.75 c current bound: 6340 1522.60/1550.30 c current bound: 6340 1522.87/1550.97 c current bound: 6340 1523.65/1551.52 c current bound: 6340 1523.95/1552.07 c current bound: 6340 1524.76/1552.62 c current bound: 6340 1525.06/1553.16 c current bound: 6340 1525.86/1553.71 c current bound: 6340 1526.16/1554.26 c current bound: 6340 1526.97/1554.80 c current bound: 6340 1527.25/1555.35 c current bound: 6340 1528.05/1556.00 c current bound: 6340 1528.36/1556.55 c current bound: 6340 1529.16/1557.10 c current bound: 6340 1529.47/1557.65 c current bound: 6340 1530.26/1558.20 c current bound: 6340 1530.56/1558.75 c current bound: 6340 1531.27/1559.29 c current bound: 6340 1531.65/1559.84 c current bound: 6340 1532.37/1560.39 c current bound: 6340 1532.75/1561.06 c current bound: 6340 1533.30/1561.61 c current bound: 6340 1533.86/1562.16 c current bound: 6340 1534.40/1562.71 c current bound: 6340 1534.95/1563.25 c current bound: 6340 1535.50/1563.80 c current bound: 6340 1536.04/1564.35 c current bound: 6340 1536.87/1564.90 c current bound: 6340 1537.15/1565.45 c current bound: 6340 1537.69/1566.07 c current bound: 6340 1538.25/1566.64 c current bound: 6340 1538.81/1567.19 c current bound: 6340 1539.36/1567.74 c current bound: 6340 1539.92/1568.29 c current bound: 6340 1540.47/1568.84 c current bound: 6340 1541.02/1569.39 c current bound: 6340 1541.55/1569.94 c current bound: 6340 1542.12/1570.48 c current bound: 6340 1542.66/1571.15 c current bound: 6340 1543.47/1571.70 c current bound: 6340 1543.75/1572.25 c current bound: 6340 1544.32/1572.80 c current bound: 6340 1544.87/1573.36 c current bound: 6340 1545.43/1573.91 c current bound: 6340 1545.97/1574.45 c current bound: 6340 1546.51/1575.00 c current bound: 6340 1547.06/1575.55 c current bound: 6340 1547.62/1576.16 c current bound: 6340 1548.44/1576.71 c current bound: 6340 1548.74/1577.26 c current bound: 6340 1549.55/1577.81 c current bound: 6340 1549.83/1578.35 c current bound: 6340 1550.38/1578.90 c current bound: 6340 1550.92/1579.45 c current bound: 6340 1551.47/1579.99 c current bound: 6340 1552.03/1580.55 c current bound: 6340 1552.59/1581.10 c current bound: 6340 1553.13/1581.65 c current bound: 6340 1553.68/1582.19 c current bound: 6340 1554.24/1582.74 c current bound: 6340 1554.78/1583.29 c current bound: 6340 1555.33/1583.85 c current bound: 6340 1555.88/1584.40 c current bound: 6340 1556.43/1584.95 c current bound: 6340 1556.98/1585.49 c current bound: 6340 1557.53/1586.04 c current bound: 6340 1558.37/1586.60 c current bound: 6340 1558.65/1587.15 c current bound: 6340 1559.20/1587.70 c current bound: 6340 1559.75/1588.25 c current bound: 6340 1560.28/1588.80 c current bound: 6340 1560.83/1589.34 c current bound: 6340 1561.38/1589.89 c current bound: 6340 1561.93/1590.44 c current bound: 6340 1562.49/1590.99 c current bound: 6340 1563.03/1591.54 c current bound: 6340 1563.58/1592.08 c current bound: 6340 1564.14/1592.63 c current bound: 6340 1564.68/1593.18 c current bound: 6340 1565.23/1593.73 c current bound: 6340 1565.78/1594.28 c current bound: 6340 1566.33/1594.82 c current bound: 6340 1566.87/1595.37 c current bound: 6340 1567.41/1595.92 c current bound: 6340 1568.22/1596.60 c current bound: 6340 1568.51/1597.15 c current bound: 6340 1569.24/1597.69 c current bound: 6340 1569.61/1598.24 c current bound: 6340 1570.33/1598.79 c current bound: 6340 1570.70/1599.34 c current bound: 6340 1571.42/1599.89 c current bound: 6340 1571.81/1600.43 c current bound: 6340 1572.54/1600.98 c current bound: 6340 1572.91/1601.65 c current bound: 6340 1573.70/1602.21 c current bound: 6340 1574.01/1602.75 c current bound: 6340 1574.82/1603.31 c current bound: 6340 1575.13/1603.86 c current bound: 6340 1575.91/1604.40 c current bound: 6340 1576.21/1604.95 c current bound: 6340 1577.02/1605.50 c current bound: 6340 1577.30/1606.05 c current bound: 6340 1578.10/1606.70 c current bound: 6340 1578.40/1607.25 c current bound: 6340 1578.95/1607.80 c current bound: 6340 1579.50/1608.35 c current bound: 6340 1580.05/1608.90 c current bound: 6340 1580.61/1609.45 c current bound: 6340 1581.15/1610.00 c current bound: 6340 1581.69/1610.55 c current bound: 6340 1582.51/1611.10 c current bound: 6340 1582.79/1611.75 c current bound: 6340 1583.62/1612.30 c current bound: 6340 1583.90/1612.84 c current bound: 6340 1584.45/1613.39 c current bound: 6340 1585.00/1613.94 c current bound: 6340 1585.55/1614.49 c current bound: 6340 1586.09/1615.05 c current bound: 6340 1586.92/1615.60 c current bound: 6340 1587.21/1616.14 c current bound: 6340 1587.76/1616.83 c current bound: 6340 1588.31/1617.37 c current bound: 6340 1588.86/1617.92 c current bound: 6340 1589.42/1618.48 c current bound: 6340 1589.97/1619.02 c current bound: 6340 1590.52/1619.58 c current bound: 6340 1591.07/1620.13 c current bound: 6340 1591.61/1620.68 c current bound: 6340 1592.17/1621.23 c current bound: 6340 1592.97/1621.89 c current bound: 6340 1593.28/1622.44 c current bound: 6340 1593.99/1622.99 c current bound: 6340 1594.38/1623.54 c current bound: 6340 1595.10/1624.09 c current bound: 6340 1595.48/1624.64 c current bound: 6340 1596.19/1625.19 c current bound: 6340 1596.59/1625.74 c current bound: 6340 1597.29/1626.29 c current bound: 6340 1597.68/1626.95 c current bound: 6340 1598.48/1627.51 c current bound: 6340 1598.79/1628.05 c current bound: 6340 1599.57/1628.61 c current bound: 6340 1599.89/1629.15 c current bound: 6340 1600.68/1629.70 c current bound: 6340 1600.98/1630.25 c current bound: 6340 1601.80/1630.80 c current bound: 6340 1602.07/1631.35 c current bound: 6340 1602.87/1632.01 c current bound: 6340 1603.18/1632.56 c current bound: 6340 1603.72/1633.11 c current bound: 6340 1604.27/1633.66 c current bound: 6340 1604.82/1634.21 c current bound: 6340 1605.38/1634.75 c current bound: 6340 1605.93/1635.30 c current bound: 6340 1606.47/1635.85 c current bound: 6340 1607.02/1636.40 c current bound: 6340 1607.58/1637.04 c current bound: 6340 1608.13/1637.59 c current bound: 6340 1608.68/1638.13 c current bound: 6340 1609.23/1638.68 c current bound: 6340 1609.79/1639.24 c current bound: 6340 1610.34/1639.78 c current bound: 6340 1610.89/1640.33 c current bound: 6340 1611.44/1640.88 c current bound: 6340 1611.99/1641.43 c current bound: 6340 1612.54/1642.08 c current bound: 6340 1613.09/1642.63 c current bound: 6340 1613.65/1643.18 c current bound: 6340 1614.20/1643.73 c current bound: 6340 1614.75/1644.28 c current bound: 6340 1615.30/1644.82 c current bound: 6340 1615.85/1645.37 c current bound: 6340 1616.40/1645.92 c current bound: 6340 1616.95/1646.47 c current bound: 6340 1617.75/1647.13 c current bound: 6340 1618.05/1647.68 c current bound: 6340 1618.83/1648.22 c current bound: 6340 1619.14/1648.78 c current bound: 6340 1619.93/1649.32 c current bound: 6340 1620.24/1649.87 c current bound: 6340 1621.03/1650.42 c current bound: 6340 1621.35/1650.97 c current bound: 6340 1622.13/1651.52 c current bound: 6340 1622.46/1652.18 c current bound: 6340 1623.22/1652.73 c current bound: 6340 1623.54/1653.28 c current bound: 6340 1624.32/1653.84 c current bound: 6340 1624.66/1654.39 c current bound: 6340 1625.44/1654.94 c current bound: 6340 1625.77/1655.49 c current bound: 6340 1626.53/1656.04 c current bound: 6340 1626.88/1656.59 c current bound: 6340 1627.67/1657.25 c current bound: 6340 1628.23/1657.80 c current bound: 6340 1628.73/1658.34 c current bound: 6340 1629.06/1658.89 c current bound: 6340 1629.82/1659.45 c current bound: 6340 1630.17/1659.99 c current bound: 6340 1630.92/1660.54 c current bound: 6340 1631.25/1661.09 c current bound: 6340 1632.03/1661.63 c current bound: 6340 1632.63/1662.33 c current bound: 6340 1632.91/1662.88 c current bound: 6340 1633.46/1663.43 c current bound: 6340 1634.01/1663.98 c current bound: 6340 1634.56/1664.53 c current bound: 6340 1635.12/1665.09 c current bound: 6340 1635.68/1665.63 c current bound: 6340 1636.23/1666.19 c current bound: 6340 1636.78/1666.74 c current bound: 6340 1637.60/1667.40 c current bound: 6340 1637.89/1667.94 c current bound: 6340 1638.43/1668.49 c current bound: 6340 1638.98/1669.04 c current bound: 6340 1639.53/1669.58 c current bound: 6340 1640.08/1670.14 c current bound: 6340 1640.64/1670.68 c current bound: 6340 1641.18/1671.23 c current bound: 6340 1641.72/1671.78 c current bound: 6340 1642.51/1672.47 c current bound: 6340 1642.82/1673.02 c current bound: 6340 1643.57/1673.57 c current bound: 6340 1643.93/1674.11 c current bound: 6340 1644.68/1674.66 c current bound: 6340 1645.02/1675.21 c current bound: 6340 1645.77/1675.75 c current bound: 6340 1646.12/1676.30 c current bound: 6340 1646.88/1676.85 c current bound: 6340 1647.48/1677.50 c current bound: 6340 1647.98/1678.05 c current bound: 6340 1648.32/1678.60 c current bound: 6340 1649.09/1679.14 c current bound: 6340 1649.42/1679.69 c current bound: 6340 1650.18/1680.24 c current bound: 6340 1650.51/1680.79 c current bound: 6340 1651.29/1681.34 c current bound: 6340 1651.62/1681.89 c current bound: 6340 1652.43/1682.58 c current bound: 6340 1652.73/1683.12 c current bound: 6340 1653.29/1683.67 c current bound: 6340 1653.83/1684.22 c current bound: 6340 1654.38/1684.77 c current bound: 6340 1654.93/1685.31 c current bound: 6340 1655.66/1685.86 c current bound: 6340 1656.02/1686.41 c current bound: 6340 1656.77/1686.96 c current bound: 6340 1657.40/1687.63 c current bound: 6340 1657.68/1688.18 c current bound: 6340 1658.24/1688.72 c current bound: 6340 1658.77/1689.27 c current bound: 6340 1659.33/1689.82 c current bound: 6340 1659.87/1690.37 c current bound: 6340 1660.42/1690.92 c current bound: 6340 1660.97/1691.47 c current bound: 6340 1661.52/1692.01 c current bound: 6340 1662.08/1692.68 c current bound: 6340 1662.63/1693.23 c current bound: 6340 1663.18/1693.77 c current bound: 6340 1663.73/1694.32 c current bound: 6340 1664.28/1694.87 c current bound: 6340 1664.82/1695.41 c current bound: 6340 1665.37/1695.96 c current bound: 6340 1665.93/1696.51 c current bound: 6340 1666.48/1697.06 c current bound: 6340 1667.29/1697.72 c current bound: 6340 1667.58/1698.27 c current bound: 6340 1668.35/1698.82 c current bound: 6340 1668.67/1699.36 c current bound: 6340 1669.46/1699.91 c current bound: 6340 1669.75/1700.46 c current bound: 6340 1670.58/1701.00 c current bound: 6340 1670.86/1701.55 c current bound: 6340 1671.40/1702.10 c current bound: 6340 1672.22/1702.74 c current bound: 6340 1672.67/1703.29 c current bound: 6340 1673.05/1703.85 c current bound: 6340 1673.78/1704.39 c current bound: 6340 1674.14/1704.94 c current bound: 6340 1674.87/1705.49 c current bound: 6340 1675.24/1706.03 c current bound: 6340 1675.97/1706.58 c current bound: 6340 1676.35/1707.13 c current bound: 6340 1677.15/1707.78 c current bound: 6340 1677.45/1708.33 c current bound: 6340 1678.19/1708.87 c current bound: 6340 1678.54/1709.42 c current bound: 6340 1679.29/1709.97 c current bound: 6340 1679.65/1710.52 c current bound: 6340 1680.39/1711.07 c current bound: 6340 1680.75/1711.61 c current bound: 6340 1681.50/1712.16 c current bound: 6340 1681.84/1712.80 c current bound: 6340 1682.60/1713.35 c current bound: 6340 1682.94/1713.89 c current bound: 6340 1683.69/1714.44 c current bound: 6340 1684.03/1714.99 c current bound: 6340 1684.79/1715.53 c current bound: 6340 1685.14/1716.08 c current bound: 6340 1685.91/1716.63 c current bound: 6340 1686.22/1717.17 c current bound: 6340 1687.01/1717.84 c current bound: 6340 1687.33/1718.39 c current bound: 6340 1687.86/1718.94 c current bound: 6340 1688.43/1719.48 c current bound: 6340 1688.97/1720.03 c current bound: 6340 1689.52/1720.58 c current bound: 6340 1690.09/1721.13 c current bound: 6340 1690.64/1721.68 c current bound: 6340 1691.19/1722.23 c current bound: 6340 1691.73/1722.89 c current bound: 6340 1692.27/1723.44 c current bound: 6340 1692.84/1723.98 c current bound: 6340 1693.37/1724.53 c current bound: 6340 1693.94/1725.09 c current bound: 6340 1694.50/1725.64 c current bound: 6340 1695.05/1726.18 c current bound: 6340 1695.60/1726.73 c current bound: 6340 1696.15/1727.27 c current bound: 6340 1696.71/1727.94 c current bound: 6340 1697.25/1728.49 c current bound: 6340 1697.80/1729.04 c current bound: 6340 1698.35/1729.59 c current bound: 6340 1698.90/1730.14 c current bound: 6340 1699.45/1730.68 c current bound: 6340 1700.00/1731.23 c current bound: 6340 1700.54/1731.78 c current bound: 6340 1701.09/1732.33 c current bound: 6340 1701.89/1732.97 c current bound: 6340 1702.19/1733.52 c current bound: 6340 1702.92/1734.07 c current bound: 6340 1703.28/1734.63 c current bound: 6340 1704.01/1735.18 c current bound: 6340 1704.40/1735.73 c current bound: 6340 1705.11/1736.28 c current bound: 6340 1705.49/1736.82 c current bound: 6340 1706.21/1737.37 c current bound: 6340 1706.57/1738.02 c current bound: 6340 1707.31/1738.58 c current bound: 6340 1707.69/1739.13 c current bound: 6340 1708.42/1739.68 c current bound: 6340 1708.79/1740.22 c current bound: 6340 1709.52/1740.77 c current bound: 6340 1709.89/1741.32 c current bound: 6340 1710.62/1741.86 c current bound: 6340 1710.99/1742.41 c current bound: 6340 1711.79/1743.08 c current bound: 6340 1712.10/1743.63 c current bound: 6340 1712.65/1744.18 c current bound: 6340 1713.19/1744.73 c current bound: 6340 1713.76/1745.27 c current bound: 6340 1714.30/1745.82 c current bound: 6340 1714.85/1746.37 c current bound: 6340 1715.41/1746.92 c current bound: 6340 1715.96/1747.47 c current bound: 6340 1716.50/1748.12 c current bound: 6340 1717.05/1748.67 c current bound: 6340 1717.61/1749.22 c current bound: 6340 1718.16/1749.77 c current bound: 6340 1718.71/1750.32 c current bound: 6340 1719.26/1750.87 c current bound: 6340 1719.82/1751.42 c current bound: 6340 1720.36/1751.97 c current bound: 6340 1720.93/1752.52 c current bound: 6340 1721.75/1753.20 c current bound: 6340 1722.03/1753.75 c current bound: 6340 1722.85/1754.30 c current bound: 6340 1723.13/1754.85 c current bound: 6340 1723.96/1755.40 c current bound: 6340 1724.25/1755.94 c current bound: 6340 1724.79/1756.49 c current bound: 6340 1725.34/1757.04 c current bound: 6340 1725.90/1757.59 c current bound: 6340 1726.69/1758.27 c current bound: 6340 1727.00/1758.82 c current bound: 6340 1727.74/1759.37 c current bound: 6340 1728.11/1759.92 c current bound: 6340 1728.86/1760.47 c current bound: 6340 1729.21/1761.01 c current bound: 6340 1729.97/1761.56 c current bound: 6340 1730.32/1762.13 c current bound: 6340 1731.07/1762.68 c current bound: 6340 1731.43/1763.39 c current bound: 6340 1732.20/1763.94 c current bound: 6340 1732.53/1764.48 c current bound: 6340 1733.32/1765.03 c current bound: 6340 1733.64/1765.58 c current bound: 6340 1734.41/1766.13 c current bound: 6340 1734.75/1766.68 c current bound: 6340 1735.52/1767.23 c current bound: 6340 1735.85/1767.78 c current bound: 6340 1736.66/1768.44 c current bound: 6340 1736.96/1768.98 c current bound: 6340 1737.51/1769.54 c current bound: 6340 1738.07/1770.09 c current bound: 6340 1738.61/1770.64 c current bound: 6340 1739.17/1771.19 c current bound: 6340 1739.71/1771.73 c current bound: 6340 1740.26/1772.28 c current bound: 6340 1740.82/1772.83 c current bound: 6340 1741.37/1773.51 c current bound: 6340 1741.94/1774.05 c current bound: 6340 1742.48/1774.60 c current bound: 6340 1743.02/1775.15 c current bound: 6340 1743.57/1775.70 c current bound: 6340 1744.15/1776.25 c current bound: 6340 1744.69/1776.80 c current bound: 6340 1745.23/1777.35 c current bound: 6340 1746.05/1777.90 c current bound: 6340 1746.60/1778.56 c current bound: 6340 1747.15/1779.10 c current bound: 6340 1747.43/1779.65 c current bound: 6340 1747.98/1780.20 c current bound: 6340 1748.53/1780.75 c current bound: 6340 1749.08/1781.29 c current bound: 6340 1749.62/1781.84 c current bound: 6340 1750.17/1782.38 c current bound: 6340 1750.72/1782.94 c current bound: 6340 1751.53/1783.59 c current bound: 6340 1751.84/1784.15 c current bound: 6340 1752.55/1784.70 c current bound: 6340 1752.94/1785.25 c current bound: 6340 1753.65/1785.79 c current bound: 6340 1754.04/1786.34 c current bound: 6340 1754.76/1786.89 c current bound: 6340 1755.14/1787.44 c current bound: 6340 1755.86/1787.99 c current bound: 6340 1756.51/1788.64 c current bound: 6340 1756.97/1789.19 c current bound: 6340 1757.34/1789.74 c current bound: 6340 1758.06/1790.28 c current bound: 6340 1758.45/1790.84 c current bound: 6340 1759.17/1791.38 c current bound: 6340 1759.55/1791.93 c current bound: 6340 1760.28/1792.48 c current bound: 6340 1760.66/1793.03 c current bound: 6340 1761.47/1793.99 c current bound: 6340 1761.98/1794.54 c current bound: 6340 1762.31/1795.09 c current bound: 6340 1763.08/1795.65 c current bound: 6340 1763.70/1796.20 c current bound: 6340 1764.18/1796.75 c current bound: 6340 1764.54/1797.30 c current bound: 6340 1765.29/1797.85 c current bound: 6340 1765.65/1798.40 c current bound: 6340 1766.40/1798.95 c current bound: 6340 1766.75/1799.50 c current bound: 6340 1767.50/1800.06 c current bound: 6340 1767.86/1800.61 c current bound: 6340 1768.61/1801.16 c current bound: 6340 1768.96/1801.71 c current bound: 6340 1769.72/1802.26 c current bound: 6340 1770.07/1802.81 c current bound: 6340 1770.81/1803.36 c current bound: 6340 1771.16/1803.91 c current bound: 6340 1771.92/1804.46 c current bound: 6340 1772.28/1805.01 c current bound: 6340 1773.02/1805.56 c current bound: 6340 1773.37/1806.12 c current bound: 6340 1774.11/1806.67 c current bound: 6340 1774.48/1807.22 c current bound: 6340 1775.22/1807.77 c current bound: 6340 1775.58/1808.33 c current bound: 6340 1776.40/1809.89 c current bound: 6340 1776.70/1810.44 c current bound: 6340 1777.25/1810.99 c current bound: 6340 1777.79/1811.54 c current bound: 6340 1778.34/1812.09 c current bound: 6340 1778.89/1812.64 c current bound: 6340 1779.45/1813.18 c current bound: 6340 1779.99/1813.73 c current bound: 6340 1780.55/1814.28 c current bound: 6340 1781.10/1814.83 c current bound: 6340 1781.66/1815.38 c current bound: 6340 1782.21/1815.93 c current bound: 6340 1782.77/1816.48 c current bound: 6340 1783.32/1817.03 c current bound: 6340 1783.86/1817.58 c current bound: 6340 1784.41/1818.13 c current bound: 6340 1784.96/1818.68 c current bound: 6340 1785.51/1819.22 c current bound: 6340 1786.06/1819.77 c current bound: 6340 1786.63/1820.32 c current bound: 6340 1787.17/1820.87 c current bound: 6340 1787.72/1821.42 c current bound: 6340 1788.27/1821.96 c current bound: 6340 1788.82/1822.51 c current bound: 6340 1789.37/1823.06 c current bound: 6340 1789.92/1823.61 c current bound: 6340 1790.48/1824.16 c current bound: 6340 1791.02/1824.71 c current bound: 6340 1791.56/1825.26 c current bound: 6340 1792.11/1825.80 c current bound: 6340 1792.66/1826.35 c current bound: 6340 1793.21/1826.91 c current bound: 6340 1793.77/1827.45 c current bound: 6340 1794.31/1828.00 c current bound: 6340 1794.87/1828.55 c current bound: 6340 1795.43/1829.10 c current bound: 6340 1795.97/1829.65 c current bound: 6340 1796.53/1830.20 c current bound: 6340 1797.07/1830.75 c current bound: 6340 1797.88/1831.30 c current bound: 6340 1798.16/1831.84 c current bound: 6340 1798.98/1832.40 c current bound: 6340 1799.25/1832.95 c current bound: 6340 1799.58/1833.01 HOME/npSolver-wbo-Itdqb.sh: line 18: 28414 Terminated ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3752754-1339211659/watcher-3752754-1339211659 -o /tmp/evaluation-result-3752754-1339211659/solver-3752754-1339211659 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752754-1339211659.wbo 1747750355 HOME HOME running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 1.92 3/177 28413 /proc/meminfo: memFree=30369840/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [startup+0.0250791 s] /proc/loadavg: 2.00 1.99 1.92 3/177 28413 /proc/meminfo: memFree=30369840/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.10031 s] /proc/loadavg: 2.00 1.99 1.92 3/177 28413 /proc/meminfo: memFree=30369840/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300295 s] /proc/loadavg: 2.00 1.99 1.92 3/177 28413 /proc/meminfo: memFree=30369840/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700232 s] /proc/loadavg: 2.00 1.99 1.92 3/177 28413 /proc/meminfo: memFree=30369840/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50024 s] /proc/loadavg: 2.00 1.99 1.92 3/181 28437 /proc/meminfo: memFree=29766504/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=1.4 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 7538 43610 0 0 22 3 83 32 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 28872 [startup+3.10024 s] /proc/loadavg: 2.00 1.99 1.92 3/183 28453 /proc/meminfo: memFree=29717696/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=3.06 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 13181 87669 0 0 44 6 183 73 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 28872 [startup+6.30027 s] /proc/loadavg: 2.00 1.99 1.92 3/183 28492 /proc/meminfo: memFree=29006748/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19728 CPUtime=6.16 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) R 28413 28413 7786 0 -1 4202496 24459 165588 0 0 87 12 361 156 20 0 1 0 387290464 20201472 4161 33554432000 4194304 6006132 140733852091392 140733852083328 5195051 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/28414/statm: 4932 4161 175 443 0 4485 0 Current children cumulated CPU time (s) 6.16 Current children cumulated vsize (KiB) 28876 [startup+12.7003 s] /proc/loadavg: 2.08 2.00 1.92 3/183 28583 /proc/meminfo: memFree=28835208/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=12.42 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 45158 337006 0 0 166 24 742 310 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 12.42 Current children cumulated vsize (KiB) 28872 [startup+25.5003 s] /proc/loadavg: 2.07 2.00 1.92 3/183 28737 /proc/meminfo: memFree=28853384/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=25.38 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) R 28413 28413 7786 0 -1 4202496 90293 677558 0 0 338 45 1509 646 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852083328 4537521 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 28872 [startup+51.1072 s] /proc/loadavg: 2.04 2.00 1.92 3/184 29069 /proc/meminfo: memFree=28878776/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=50.35 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 174947 1343164 0 0 660 89 3000 1286 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 [pid=29067] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/29067/stat : 29067 (cp2_post.sh) S 28414 28413 7786 0 -1 4202496 612 224 0 0 0 0 0 0 20 0 1 0 387295563 9367552 266 33554432000 4194304 5064252 140735205805520 140735205803808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/29067/statm: 2287 266 225 213 0 72 0 [pid=29069] ppid=29067 vsize=10152 CPUtime=0.09 cores=1,3,5,7 /proc/29069/stat : 29069 (coprocessor) R 29067 28413 7786 0 -1 4202496 2052 0 0 0 7 2 0 0 20 0 1 0 387295564 10395648 1708 33554432000 4194304 6586260 140734976144416 140734976140984 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/29069/statm: 2538 1708 148 584 0 1950 0 Current children cumulated CPU time (s) 50.44 Current children cumulated vsize (KiB) 48172 [startup+102.3 s] /proc/loadavg: 2.06 2.01 1.93 3/183 29699 /proc/meminfo: memFree=28845092/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=100.75 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) R 28413 28413 7786 0 -1 4202496 346595 2667450 0 0 1314 174 6018 2569 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852083328 5056727 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 100.75 Current children cumulated vsize (KiB) 28872 [startup+162.3 s] /proc/loadavg: 1.87 1.96 1.91 3/183 30453 /proc/meminfo: memFree=28810580/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=159.37 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 547385 4214758 0 0 2082 272 9525 4058 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 159.37 Current children cumulated vsize (KiB) 28872 [startup+222.3 s] /proc/loadavg: 1.95 1.97 1.91 3/183 31198 /proc/meminfo: memFree=28837464/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=218.52 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) R 28413 28413 7786 0 -1 4202496 749885 5768396 0 0 2854 370 13048 5580 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852083328 4581106 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 218.52 Current children cumulated vsize (KiB) 28872 [startup+282.3 s] /proc/loadavg: 1.98 1.97 1.91 4/184 31954 /proc/meminfo: memFree=28839844/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=277.39 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) R 28413 28413 7786 0 -1 4202496 951614 7326040 0 0 3625 469 16565 7080 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852083328 5056705 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 277.39 Current children cumulated vsize (KiB) 28872 [startup+342.3 s] /proc/loadavg: 1.99 1.97 1.91 3/181 32691 /proc/meminfo: memFree=28849348/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=336.01 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 1151186 8885838 0 0 4387 572 20057 8585 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 336.01 ################ # More data... # ################ /proc/28414/statm: 4931 4161 175 443 0 4484 0 [pid=12886] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/12886/stat : 12886 (cp2_post.sh) S 28414 28413 7786 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 387425568 9367552 265 33554432000 4194304 5064252 140736959466320 140736959464608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/12886/statm: 2287 265 225 213 0 72 0 [pid=12888] ppid=12886 vsize=10152 CPUtime=0.15 cores=1,3,5,7 /proc/12888/stat : 12888 (coprocessor) R 12886 28413 7786 0 -1 4202496 2052 0 0 0 10 5 0 0 20 0 1 0 387425568 10395648 1708 33554432000 4194304 6586260 140734250137792 140734250134808 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/12888/statm: 2538 1708 148 584 0 1950 0 Current children cumulated CPU time (s) 1327.54 Current children cumulated vsize (KiB) 48172 [startup+1351.31 s] /proc/loadavg: 1.92 1.96 1.91 3/182 12888 /proc/meminfo: memFree=28758560/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=1327.39 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 4529462 34981631 0 0 17281 2226 78909 34323 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 [pid=12886] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/12886/stat : 12886 (cp2_post.sh) R 28414 28413 7786 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 387425568 9367552 265 33554432000 4194304 5064252 140736959466320 140736959464608 248790017614 0 65536 4100 65538 0 0 0 17 3 0 0 0 0 0 /proc/12886/statm: 2287 265 225 213 0 72 0 Current children cumulated CPU time (s) 1327.39 Current children cumulated vsize (KiB) 38020 # ############ [startup+1362.31 s] /proc/loadavg: 1.93 1.96 1.91 3/183 13026 /proc/meminfo: memFree=28728092/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=1338.41 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 4567082 35270133 0 0 17424 2244 79574 34599 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 1338.41 Current children cumulated vsize (KiB) 28872 [startup+1422.3 s] /proc/loadavg: 1.94 1.95 1.91 3/183 13764 /proc/meminfo: memFree=28756484/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=1397.16 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 4768342 36815407 0 0 18194 2341 83057 36124 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082752 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 1397.16 Current children cumulated vsize (KiB) 28872 [startup+1482.3 s] /proc/loadavg: 2.26 2.02 1.93 3/184 14520 /proc/meminfo: memFree=28759004/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=1455.7 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 4967735 38370234 0 0 18954 2440 86525 37651 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 [pid=14518] ppid=28414 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14518/stat : 14518 (cp2_post.sh) S 28414 28413 7786 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 387438672 9367552 265 33554432000 4194304 5064252 140733278817184 140733278815472 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/14518/statm: 2287 265 225 213 0 72 0 [pid=14520] ppid=14518 vsize=10152 CPUtime=0.21 cores=1,3,5,7 /proc/14520/stat : 14520 (coprocessor) R 14518 28413 7786 0 -1 4202496 2564 0 0 0 13 8 0 0 20 0 1 0 387438672 10395648 1709 33554432000 4194304 6586260 140733628063840 140733278815496 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/14520/statm: 2538 1709 148 584 0 1950 0 Current children cumulated CPU time (s) 1455.91 Current children cumulated vsize (KiB) 48172 [startup+1542.3 s] /proc/loadavg: 2.05 2.01 1.93 3/183 15259 /proc/meminfo: memFree=28755748/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=1514.63 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 5169002 39919584 0 0 19723 2538 90027 39175 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 1514.63 Current children cumulated vsize (KiB) 28872 [startup+1602.3 s] /proc/loadavg: 1.94 1.99 1.93 3/183 16021 /proc/meminfo: memFree=28753616/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=1573.81 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 5372143 41470428 0 0 20498 2636 93549 40698 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082752 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 1573.81 Current children cumulated vsize (KiB) 28872 [startup+1662.3 s] /proc/loadavg: 1.98 1.99 1.93 3/184 16764 /proc/meminfo: memFree=28751896/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=1632.63 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 5571576 43027575 0 0 21259 2733 97067 42204 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852083328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 1632.63 Current children cumulated vsize (KiB) 28872 [startup+1722.3 s] /proc/loadavg: 1.99 1.99 1.93 3/183 17519 /proc/meminfo: memFree=28715504/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=1691.53 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) R 28413 28413 7786 0 -1 4202496 5774675 44585816 0 0 22034 2831 100558 43730 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852083328 4535954 0 0 4096 0 0 0 0 17 5 0 0 1 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 1691.53 Current children cumulated vsize (KiB) 28872 [startup+1782.3 s] /proc/loadavg: 1.96 1.97 1.92 3/181 18259 /proc/meminfo: memFree=28754008/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=1750.17 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) S 28413 28413 7786 0 -1 4202496 5974070 46136593 0 0 22794 2931 104053 45239 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852082240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 1750.17 Current children cumulated vsize (KiB) 28872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1833 s] /proc/loadavg: 1.98 1.97 1.92 3/181 18955 /proc/meminfo: memFree=30496848/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=1799.58 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) R 28413 28413 7786 0 -1 4202496 6143350 47437107 0 0 23441 3010 106986 46521 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852083328 4535977 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (KiB) 28872 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1833 s] /proc/loadavg: 1.98 1.97 1.92 3/181 18955 /proc/meminfo: memFree=30496848/32873844 swapFree=9160/9160 [pid=28413] ppid=28411 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28413/stat : 28413 (npSolver-wbo-It) S 28411 28413 7786 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387290464 9367552 274 33554432000 4194304 5064252 140737306856528 140737306855440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/28413/statm: 2287 274 233 213 0 72 0 [pid=28414] ppid=28413 vsize=19724 CPUtime=1799.58 cores=1,3,5,7 /proc/28414/stat : 28414 (npSolver-wbo) R 28413 28413 7786 0 -1 4202496 6143350 47437107 0 0 23441 3010 106986 46521 20 0 1 0 387290464 20197376 4161 33554432000 4194304 6006132 140733852091392 140733852083328 4535977 0 0 4096 0 0 0 0 17 1 0 0 1 0 0 /proc/28414/statm: 4931 4161 175 443 0 4484 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (KiB) 28872 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.519958 # lost CPU user time (s): 0.419952 # lost CPU system time (s): 0.0999756 Real time (s): 1833.02 CPU time (s): 1800.13 CPU user time (s): 1304.71 CPU system time (s): 495.423 CPU usage (%): 98.206 Max. virtual memory (cumulated for all children) (KiB): 84404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1304.29 system time used= 495.323 maximum resident set size= 40788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53580831 page faults= 0 swaps= 0 block input operations= 0 block output operations= 40291120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 931507 involuntary context switches= 38974 runsolver used 3.02454 second user time and 8.83766 second system time The end
Begin job on node139 at 2012-06-09 05:14:19 IDJOB=3752754 IDBENCH=79485 IDSOLVER=2336 FILE ID=node139/3752754-1339211659 RUNJOBID= node139-1339206230-7803 PBS_JOBID= 14643885 Free space on /tmp= 70816 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/mprime/normalized-mprime03ac_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752754-1339211659/watcher-3752754-1339211659 -o /tmp/evaluation-result-3752754-1339211659/solver-3752754-1339211659 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752754-1339211659.wbo 1747750355 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c7268e89ad7dac71239c46ba08a4c41 RANDOM SEED=1747750355 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30372788 kB Buffers: 744740 kB Cached: 314004 kB SwapCached: 584 kB Active: 1436760 kB Inactive: 93080 kB Active(anon): 463044 kB Inactive(anon): 7284 kB Active(file): 973716 kB Inactive(file): 85796 kB Unevictable: 9160 kB Mlocked: 9160 kB SwapTotal: 67108856 kB SwapFree: 67104292 kB Dirty: 19452 kB Writeback: 0 kB AnonPages: 461592 kB Mapped: 11124 kB Shmem: 8 kB Slab: 811388 kB SReclaimable: 252664 kB SUnreclaim: 558724 kB KernelStack: 1504 kB PageTables: 4448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 736940 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 380928 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70748 MiB End job on node139 at 2012-06-09 05:44:52