| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topdown-quickBound | ? (TO) | 1800.12 | 1802.21 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo |
| MD5SUM | 8ae5062c7652fddde3927693898a40dc |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 80 |
| Best CPU time to get the best result obtained on this benchmark | 0.544916 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 28 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 1415 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 1414 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1266 |
| Number of bits of the biggest sum of numbers | 11 |
| 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.05 c run usual solver 1.67/1.73 o 1074 1.67/1.73 c starting approximation 1.67/1.73 c factor = 2 1.67/1.73 c current bound: 537 2.27/2.31 c current bound: 537 2.30/2.88 c current bound: 537 3.37/3.46 c current bound: 537 3.44/4.03 c current bound: 537 4.56/4.61 c current bound: 537 4.58/5.18 c current bound: 537 5.66/5.76 c current bound: 537 5.74/6.33 c current bound: 537 6.87/6.90 c current bound: 537 6.89/7.48 c current bound: 537 8.01/8.18 c current bound: 537 8.55/8.75 c current bound: 537 8.61/9.33 c current bound: 537 9.72/9.91 c current bound: 537 9.77/10.49 c current bound: 537 10.84/11.06 c current bound: 537 10.92/11.64 c current bound: 537 12.04/12.21 c current bound: 537 12.08/12.79 c current bound: 537 13.14/13.36 c current bound: 537 13.23/13.94 c current bound: 537 14.34/14.51 c current bound: 537 14.37/15.09 c current bound: 537 15.44/15.66 c current bound: 537 15.53/16.23 c current bound: 537 16.64/16.81 c current bound: 537 16.68/17.39 c current bound: 537 17.74/17.96 c current bound: 537 17.83/18.54 c current bound: 537 18.94/19.11 c current bound: 537 18.97/19.69 c current bound: 537 20.04/20.26 c current bound: 537 20.65/20.84 c current bound: 537 21.23/21.41 c current bound: 537 21.75/21.99 c current bound: 537 21.84/22.56 c current bound: 537 22.94/23.16 c current bound: 537 22.99/23.73 c current bound: 537 24.11/24.31 c current bound: 537 24.14/24.88 c current bound: 537 25.22/25.46 c current bound: 537 25.30/26.04 c current bound: 537 26.42/26.61 c current bound: 537 26.44/27.18 c current bound: 537 27.51/27.75 c current bound: 537 27.59/28.33 c current bound: 537 28.69/28.90 c current bound: 537 28.73/29.48 c current bound: 537 29.81/30.06 c current bound: 537 29.89/30.63 c current bound: 537 31.01/31.20 c current bound: 537 31.04/31.78 c current bound: 537 32.12/32.35 c current bound: 537 32.73/32.93 c current bound: 537 33.31/33.50 c current bound: 537 33.81/34.08 c current bound: 537 33.91/34.65 c current bound: 537 35.02/35.22 c current bound: 537 35.60/35.80 c current bound: 537 36.11/36.37 c current bound: 537 36.21/36.94 c current bound: 537 37.32/37.52 c current bound: 537 37.92/38.10 c current bound: 537 38.41/38.67 c current bound: 537 38.50/39.24 c current bound: 537 39.62/39.82 c current bound: 537 39.64/40.39 c current bound: 537 40.71/40.97 c current bound: 537 40.79/41.54 c current bound: 537 41.91/42.12 c current bound: 537 42.50/42.70 c current bound: 537 43.02/43.27 c current bound: 537 43.10/43.85 c current bound: 537 44.22/44.42 c current bound: 537 44.26/45.00 c current bound: 537 44.83/45.57 c current bound: 537 45.93/46.15 c current bound: 537 45.99/46.72 c current bound: 537 47.02/47.30 c current bound: 537 47.13/47.87 c current bound: 537 48.21/48.49 c current bound: 537 48.27/49.06 c current bound: 537 49.37/49.64 c current bound: 537 49.97/50.22 c current bound: 537 50.47/50.79 c current bound: 537 50.60/51.36 c current bound: 537 51.68/51.94 c current bound: 537 52.28/52.52 c current bound: 537 52.88/53.10 c current bound: 537 52.88/53.67 c current bound: 537 53.96/54.24 c current bound: 537 54.57/54.82 c current bound: 537 55.07/55.39 c current bound: 537 55.18/55.96 c current bound: 537 56.27/56.54 c current bound: 537 56.87/57.12 c current bound: 537 56.90/57.69 c current bound: 537 57.97/58.27 c current bound: 537 58.04/58.84 c current bound: 537 59.16/59.41 c current bound: 537 59.20/59.99 c current bound: 537 60.27/60.56 c current bound: 537 60.35/61.14 c current bound: 537 61.46/61.71 c current bound: 537 61.49/62.28 c current bound: 537 62.56/62.86 c current bound: 537 62.64/63.44 c current bound: 537 63.77/64.01 c current bound: 537 63.79/64.59 c current bound: 537 64.86/65.17 c current bound: 537 64.95/65.74 c current bound: 537 66.07/66.31 c current bound: 537 66.09/66.89 c current bound: 537 67.16/67.47 c current bound: 537 67.24/68.04 c current bound: 537 68.37/68.62 c current bound: 537 68.40/69.19 c current bound: 537 68.97/69.77 c current bound: 537 70.05/70.35 c current bound: 537 70.66/70.92 c current bound: 537 71.16/71.49 c current bound: 537 71.28/72.07 c current bound: 537 72.36/72.64 c current bound: 537 72.96/73.21 c current bound: 537 73.46/73.79 c current bound: 537 73.57/74.37 c current bound: 537 74.65/74.94 c current bound: 537 75.26/75.52 c current bound: 537 75.75/76.09 c current bound: 537 75.87/76.67 c current bound: 537 76.94/77.25 c current bound: 537 77.02/77.82 c current bound: 537 78.14/78.40 c current bound: 537 78.18/78.98 c current bound: 537 79.25/79.55 c current bound: 537 79.32/80.13 c current bound: 537 80.44/80.70 c current bound: 537 80.47/81.28 c current bound: 537 81.55/81.85 c current bound: 537 82.16/82.43 c current bound: 537 82.74/83.01 c current bound: 537 83.25/83.58 c current bound: 537 83.36/84.15 c current bound: 537 84.45/84.73 c current bound: 537 85.05/85.30 c current bound: 537 85.55/85.88 c current bound: 537 85.65/86.45 c current bound: 537 86.76/87.02 c current bound: 537 86.79/87.59 c current bound: 537 87.85/88.16 c current bound: 537 87.93/88.74 c current bound: 537 89.04/89.32 c current bound: 537 89.09/89.89 c current bound: 537 90.15/90.47 c current bound: 537 90.23/91.04 c current bound: 537 91.35/91.61 c current bound: 537 91.37/92.19 c current bound: 537 92.43/92.76 c current bound: 537 92.51/93.34 c current bound: 537 93.65/93.93 c current bound: 537 94.23/94.51 c current bound: 537 94.25/95.09 c current bound: 537 95.33/95.67 c current bound: 537 95.41/96.24 c current bound: 537 96.53/96.82 c current bound: 537 97.10/97.40 c current bound: 537 97.61/97.98 c current bound: 537 97.72/98.56 c current bound: 537 98.81/99.14 c current bound: 537 99.41/99.72 c current bound: 537 99.90/100.29 c current bound: 537 100.04/100.87 c current bound: 537 101.11/101.45 c current bound: 537 101.73/102.03 c current bound: 537 102.30/102.60 c current bound: 537 102.33/103.18 c current bound: 537 103.41/103.76 c current bound: 537 103.49/104.34 c current bound: 537 104.61/104.92 c current bound: 537 104.65/105.49 c current bound: 537 105.83/106.12 c current bound: 537 106.42/106.70 c current bound: 537 106.44/107.27 c current bound: 537 107.52/107.85 c current bound: 537 108.13/108.42 c current bound: 537 108.70/109.00 c current bound: 537 108.74/109.58 c current bound: 537 109.81/110.16 c current bound: 537 109.89/110.73 c current bound: 537 111.01/111.32 c current bound: 537 111.04/111.89 c current bound: 537 112.12/112.47 c current bound: 537 112.21/113.05 c current bound: 537 113.31/113.63 c current bound: 537 113.91/114.21 c current bound: 537 114.41/114.78 c current bound: 537 114.52/115.36 c current bound: 537 115.61/115.94 c current bound: 537 116.22/116.52 c current bound: 537 116.81/117.10 c current bound: 537 117.30/117.68 c current bound: 537 117.41/118.26 c current bound: 537 118.51/118.83 c current bound: 537 119.11/119.41 c current bound: 537 119.61/119.99 c current bound: 537 119.72/120.57 c current bound: 537 120.81/121.15 c current bound: 537 121.40/121.72 c current bound: 537 122.02/122.30 c current bound: 537 122.02/122.88 c current bound: 537 123.10/123.46 c current bound: 537 123.17/124.04 c current bound: 537 124.30/124.62 c current bound: 537 124.34/125.19 c current bound: 537 125.38/125.77 c current bound: 537 125.48/126.35 c current bound: 537 126.59/126.93 c current bound: 537 127.21/127.50 c current bound: 537 127.22/128.08 c current bound: 537 128.30/128.66 c current bound: 537 128.37/129.24 c current bound: 537 129.50/129.84 c current bound: 537 130.08/130.42 c current bound: 537 130.67/131.00 c current bound: 537 130.70/131.58 c current bound: 537 131.78/132.16 c current bound: 537 131.86/132.74 c current bound: 537 132.97/133.31 c current bound: 537 133.00/133.88 c current bound: 537 134.07/134.46 c current bound: 537 134.15/135.05 c current bound: 537 135.28/135.62 c current bound: 537 135.86/136.20 c current bound: 537 136.39/136.78 c current bound: 537 136.48/137.37 c current bound: 537 137.57/137.95 c current bound: 537 138.18/138.52 c current bound: 537 138.78/139.10 c current bound: 537 139.28/139.68 c current bound: 537 139.38/140.26 c current bound: 537 140.48/140.84 c current bound: 537 141.08/141.41 c current bound: 537 141.57/141.99 c current bound: 537 141.68/142.57 c current bound: 537 142.77/143.15 c current bound: 537 142.83/143.73 c current bound: 537 143.96/144.31 c current bound: 537 143.99/144.89 c current bound: 537 145.07/145.47 c current bound: 537 145.16/146.05 c current bound: 537 146.27/146.62 c current bound: 537 146.32/147.19 c current bound: 537 147.37/147.77 c current bound: 537 147.47/148.35 c current bound: 537 148.57/148.93 c current bound: 537 149.17/149.51 c current bound: 537 149.20/150.09 c current bound: 537 150.27/150.67 c current bound: 537 150.35/151.25 c current bound: 537 151.46/151.83 c current bound: 537 152.06/152.41 c current bound: 537 152.57/152.99 c current bound: 537 152.67/153.56 c current bound: 537 153.76/154.14 c current bound: 537 154.37/154.72 c current bound: 537 154.96/155.30 c current bound: 537 154.96/155.88 c current bound: 537 156.05/156.46 c current bound: 537 156.13/157.04 c current bound: 537 157.26/157.61 c current bound: 537 157.29/158.19 c current bound: 537 158.36/158.77 c current bound: 537 158.44/159.34 c current bound: 537 159.57/159.92 c current bound: 537 160.19/160.50 c current bound: 537 160.18/161.08 c current bound: 537 161.26/161.66 c current bound: 537 161.33/162.23 c current bound: 537 162.46/162.81 c current bound: 537 162.49/163.38 c current bound: 537 163.56/163.96 c current bound: 537 163.63/164.53 c current bound: 537 164.76/165.11 c current bound: 537 164.78/165.68 c current bound: 537 165.85/166.26 c current bound: 537 165.93/166.83 c current bound: 537 167.04/167.40 c current bound: 537 167.08/167.98 c current bound: 537 168.16/168.55 c current bound: 537 168.22/169.13 c current bound: 537 169.34/169.72 c current bound: 537 169.37/170.29 c current bound: 537 170.43/170.86 c current bound: 537 170.51/171.44 c current bound: 537 171.64/172.01 c current bound: 537 171.66/172.58 c current bound: 537 172.73/173.16 c current bound: 537 173.34/173.73 c current bound: 537 173.93/174.31 c current bound: 537 174.44/174.88 c current bound: 537 174.54/175.45 c current bound: 537 175.64/176.02 c current bound: 537 176.22/176.60 c current bound: 537 176.75/177.18 c current bound: 537 176.83/177.75 c current bound: 537 177.93/178.32 c current bound: 537 177.97/178.89 c current bound: 537 179.03/179.46 c current bound: 537 179.11/180.04 c current bound: 537 180.22/180.61 c current bound: 537 180.26/181.19 c current bound: 537 181.33/181.76 c current bound: 537 181.41/182.33 c current bound: 537 182.52/182.91 c current bound: 537 182.54/183.48 c current bound: 537 183.62/184.06 c current bound: 537 183.70/184.63 c current bound: 537 184.81/185.20 c current bound: 537 184.84/185.78 c current bound: 537 185.91/186.35 c current bound: 537 186.53/186.93 c current bound: 537 187.12/187.51 c current bound: 537 187.63/188.08 c current bound: 537 187.73/188.66 c current bound: 537 188.84/189.23 c current bound: 537 189.42/189.81 c current bound: 537 189.94/190.38 c current bound: 537 190.02/190.96 c current bound: 537 191.12/191.53 c current bound: 537 191.71/192.11 c current bound: 537 192.22/192.68 c current bound: 537 192.32/193.26 c current bound: 537 193.41/193.83 c current bound: 537 194.02/194.41 c current bound: 537 194.62/195.03 c current bound: 537 195.17/195.60 c current bound: 537 195.68/196.17 c current bound: 537 195.77/196.74 c current bound: 537 196.89/197.32 c current bound: 537 196.91/197.89 c current bound: 537 197.49/198.47 c current bound: 537 198.57/199.04 c current bound: 537 199.17/199.61 c current bound: 537 199.67/200.19 c current bound: 537 199.77/200.76 c current bound: 537 200.87/201.33 c current bound: 537 201.47/201.91 c current bound: 537 201.97/202.48 c current bound: 537 202.07/203.06 c current bound: 537 203.16/203.63 c current bound: 537 203.76/204.21 c current bound: 537 204.26/204.78 c current bound: 537 204.37/205.35 c current bound: 537 205.47/205.93 c current bound: 537 206.07/206.50 c current bound: 537 206.57/207.08 c current bound: 537 206.67/207.65 c current bound: 537 207.77/208.23 c current bound: 537 208.37/208.80 c current bound: 537 208.87/209.38 c current bound: 537 208.97/209.95 c current bound: 537 210.07/210.52 c current bound: 537 210.12/211.10 c current bound: 537 210.70/211.67 c current bound: 537 211.78/212.24 c current bound: 537 212.38/212.81 c current bound: 537 212.87/213.39 c current bound: 537 212.98/213.96 c current bound: 537 214.07/214.54 c current bound: 537 214.67/215.11 c current bound: 537 215.17/215.68 c current bound: 537 215.28/216.26 c current bound: 537 216.38/216.83 c current bound: 537 216.98/217.41 c current bound: 537 217.47/217.99 c current bound: 537 217.58/218.56 c current bound: 537 218.68/219.14 c current bound: 537 219.28/219.71 c current bound: 537 219.77/220.28 c current bound: 537 219.88/220.86 c current bound: 537 220.97/221.44 c current bound: 537 221.56/222.01 c current bound: 537 222.08/222.59 c current bound: 537 222.17/223.16 c current bound: 537 223.27/223.73 c current bound: 537 223.87/224.30 c current bound: 537 223.90/224.88 c current bound: 537 224.97/225.46 c current bound: 537 225.05/226.03 c current bound: 537 226.19/226.60 c current bound: 537 226.21/227.18 c current bound: 537 227.28/227.75 c current bound: 537 227.34/228.32 c current bound: 537 228.49/228.90 c current bound: 537 228.49/229.47 c current bound: 537 229.58/230.04 c current bound: 537 230.18/230.62 c current bound: 537 230.67/231.19 c current bound: 537 230.79/231.77 c current bound: 537 231.88/232.34 c current bound: 537 232.49/232.92 c current bound: 537 232.99/233.49 c current bound: 537 233.09/234.07 c current bound: 537 234.18/234.64 c current bound: 537 234.79/235.22 c current bound: 537 235.39/235.80 c current bound: 537 235.40/236.37 c current bound: 537 236.47/236.94 c current bound: 537 237.07/237.52 c current bound: 537 237.67/238.10 c current bound: 537 238.18/238.67 c current bound: 537 238.25/239.25 c current bound: 537 239.38/239.82 c current bound: 537 239.96/240.42 c current bound: 537 240.46/240.99 c current bound: 537 240.57/241.57 c current bound: 537 241.66/242.14 c current bound: 537 242.27/242.72 c current bound: 537 242.76/243.29 c current bound: 537 242.87/243.87 c current bound: 537 243.96/244.44 c current bound: 537 244.56/245.01 c current bound: 537 245.04/245.59 c current bound: 537 245.17/246.16 c current bound: 537 246.26/246.73 c current bound: 537 246.85/247.30 c current bound: 537 247.36/247.88 c current bound: 537 247.45/248.45 c current bound: 537 248.56/249.03 c current bound: 537 248.60/249.60 c current bound: 537 249.18/250.17 c current bound: 537 250.25/250.75 c current bound: 537 250.86/251.32 c current bound: 537 251.35/251.89 c current bound: 537 251.47/252.47 c current bound: 537 252.56/253.04 c current bound: 537 253.16/253.62 c current bound: 537 253.66/254.19 c current bound: 537 253.77/254.77 c current bound: 537 254.84/255.34 c current bound: 537 255.46/255.92 c current bound: 537 255.94/256.49 c current bound: 537 256.07/257.06 c current bound: 537 257.15/257.64 c current bound: 537 257.74/258.22 c current bound: 537 258.24/258.79 c current bound: 537 258.35/259.36 c current bound: 537 259.46/259.94 c current bound: 537 260.05/260.51 c current bound: 537 260.54/261.08 c current bound: 537 260.65/261.66 c current bound: 537 261.74/262.23 c current bound: 537 262.33/262.81 c current bound: 537 262.37/263.38 c current bound: 537 263.44/263.96 c current bound: 537 263.52/264.53 c current bound: 537 264.65/265.10 c current bound: 537 264.66/265.69 c current bound: 537 265.74/266.26 c current bound: 537 265.80/266.84 c current bound: 537 266.93/267.41 c current bound: 537 266.96/267.99 c current bound: 537 268.03/268.56 c current bound: 537 268.11/269.13 c current bound: 537 269.24/269.71 c current bound: 537 269.26/270.28 c current bound: 537 270.33/270.86 c current bound: 537 270.41/271.43 c current bound: 537 271.53/272.01 c current bound: 537 271.55/272.58 c current bound: 537 272.64/273.16 c current bound: 537 272.70/273.73 c current bound: 537 273.83/274.31 c current bound: 537 273.85/274.88 c current bound: 537 274.93/275.46 c current bound: 537 275.53/276.03 c current bound: 537 276.12/276.61 c current bound: 537 276.62/277.18 c current bound: 537 276.74/277.76 c current bound: 537 277.82/278.33 c current bound: 537 278.42/278.90 c current bound: 537 278.93/279.48 c current bound: 537 279.02/280.05 c current bound: 537 280.11/280.63 c current bound: 537 280.71/281.20 c current bound: 537 281.22/281.78 c current bound: 537 281.33/282.35 c current bound: 537 282.43/282.93 c current bound: 537 283.03/283.51 c current bound: 537 283.52/284.08 c current bound: 537 283.63/284.66 c current bound: 537 284.72/285.23 c current bound: 537 285.32/285.81 c current bound: 537 285.81/286.38 c current bound: 537 285.93/286.96 c current bound: 537 287.01/287.53 c current bound: 537 287.07/288.10 c current bound: 537 287.64/288.67 c current bound: 537 288.72/289.25 c current bound: 537 289.33/289.82 c current bound: 537 289.83/290.39 c current bound: 537 289.94/290.99 c current bound: 537 291.00/291.56 c current bound: 537 291.08/292.14 c current bound: 537 292.20/292.71 c current bound: 537 292.23/293.28 c current bound: 537 293.30/293.86 c current bound: 537 293.38/294.43 c current bound: 537 294.49/295.00 c current bound: 537 294.52/295.58 c current bound: 537 295.60/296.15 c current bound: 537 295.67/296.73 c current bound: 537 296.78/297.30 c current bound: 537 296.82/297.88 c current bound: 537 297.89/298.45 c current bound: 537 297.97/299.02 c current bound: 537 299.08/299.60 c current bound: 537 299.12/300.18 c current bound: 537 300.19/300.75 c current bound: 537 300.81/301.32 c current bound: 537 301.38/301.90 c current bound: 537 301.89/302.48 c current bound: 537 301.98/303.05 c current bound: 537 303.09/303.63 c current bound: 537 303.68/304.20 c current bound: 537 304.21/304.78 c current bound: 537 304.29/305.35 c current bound: 537 305.41/305.92 c current bound: 537 306.00/306.50 c current bound: 537 306.49/307.07 c current bound: 537 306.58/307.65 c current bound: 537 307.69/308.22 c current bound: 537 308.28/308.80 c current bound: 537 308.80/309.37 c current bound: 537 308.89/309.95 c current bound: 537 310.01/310.52 c current bound: 537 310.04/311.09 c current bound: 537 311.10/311.67 c current bound: 537 311.18/312.25 c current bound: 537 312.30/312.82 c current bound: 537 312.33/313.39 c current bound: 537 312.91/313.97 c current bound: 537 313.99/314.54 c current bound: 537 314.59/315.11 c current bound: 537 315.11/315.68 c current bound: 537 315.77/316.37 c current bound: 537 316.28/316.95 c current bound: 537 316.89/317.52 c current bound: 537 317.37/318.09 c current bound: 537 317.50/318.67 c current bound: 537 318.57/319.25 c current bound: 537 318.64/319.82 c current bound: 537 319.67/320.40 c current bound: 537 319.79/320.97 c current bound: 537 320.86/321.55 c current bound: 537 320.94/322.12 c current bound: 537 322.08/322.70 c current bound: 537 322.09/323.27 c current bound: 537 323.17/323.84 c current bound: 537 323.77/324.42 c current bound: 537 323.80/324.99 c current bound: 537 324.87/325.57 c current bound: 537 324.95/326.14 c current bound: 537 326.07/326.71 c current bound: 537 326.09/327.29 c current bound: 537 327.17/327.86 c current bound: 537 327.24/328.43 c current bound: 537 328.37/329.01 c current bound: 537 328.39/329.58 c current bound: 537 329.47/330.16 c current bound: 537 329.54/330.73 c current bound: 537 330.67/331.31 c current bound: 537 330.70/331.88 c current bound: 537 331.77/332.46 c current bound: 537 331.85/333.03 c current bound: 537 332.97/333.60 c current bound: 537 333.00/334.18 c current bound: 537 334.08/334.75 c current bound: 537 334.15/335.33 c current bound: 537 335.27/335.90 c current bound: 537 335.86/336.53 c current bound: 537 335.87/337.09 c current bound: 537 336.92/337.67 c current bound: 537 337.01/338.25 c current bound: 537 338.12/338.82 c current bound: 537 338.73/339.40 c current bound: 537 339.23/339.97 c current bound: 537 339.31/340.55 c current bound: 537 340.42/341.13 c current bound: 537 341.02/341.70 c current bound: 537 341.53/342.27 c current bound: 537 341.63/342.85 c current bound: 537 342.74/343.42 c current bound: 537 342.76/343.99 c current bound: 537 343.82/344.56 c current bound: 537 343.90/345.13 c current bound: 537 345.01/345.71 c current bound: 537 345.05/346.28 c current bound: 537 346.12/346.86 c current bound: 537 346.19/347.43 c current bound: 537 347.31/348.01 c current bound: 537 347.34/348.58 c current bound: 537 348.41/349.15 c current bound: 537 349.02/349.73 c current bound: 537 349.60/350.31 c current bound: 537 350.11/350.89 c current bound: 537 350.21/351.46 c current bound: 537 351.31/352.03 c current bound: 537 351.90/352.61 c current bound: 537 352.41/353.18 c current bound: 537 352.51/353.76 c current bound: 537 353.61/354.33 c current bound: 537 354.19/354.90 c current bound: 537 354.71/355.48 c current bound: 537 354.80/356.05 c current bound: 537 355.91/356.63 c current bound: 537 356.49/357.20 c current bound: 537 357.01/357.77 c current bound: 537 357.10/358.35 c current bound: 537 358.20/358.92 c current bound: 537 358.82/359.50 c current bound: 537 359.30/360.07 c current bound: 537 359.39/360.64 c current bound: 537 360.50/361.22 c current bound: 537 361.12/361.84 c current bound: 537 361.67/362.42 c current bound: 537 362.16/362.99 c current bound: 537 362.27/363.56 c current bound: 537 363.36/364.14 c current bound: 537 363.96/364.71 c current bound: 537 364.46/365.29 c current bound: 537 364.56/365.86 c current bound: 537 365.65/366.44 c current bound: 537 366.24/367.01 c current bound: 537 366.75/367.58 c current bound: 537 366.86/368.16 c current bound: 537 367.95/368.73 c current bound: 537 368.55/369.30 c current bound: 537 369.05/369.87 c current bound: 537 369.14/370.45 c current bound: 537 370.26/371.02 c current bound: 537 370.30/371.59 c current bound: 537 371.34/372.17 c current bound: 537 371.45/372.74 c current bound: 537 372.56/373.32 c current bound: 537 372.60/373.89 c current bound: 537 373.16/374.47 c current bound: 537 374.27/375.04 c current bound: 537 374.86/375.61 c current bound: 537 375.35/376.19 c current bound: 537 375.46/376.77 c current bound: 537 376.55/377.34 c current bound: 537 377.16/377.91 c current bound: 537 377.65/378.49 c current bound: 537 377.76/379.06 c current bound: 537 378.84/379.64 c current bound: 537 379.45/380.21 c current bound: 537 379.94/380.79 c current bound: 537 380.06/381.36 c current bound: 537 381.13/381.93 c current bound: 537 381.73/382.50 c current bound: 537 382.24/383.07 c current bound: 537 382.33/383.65 c current bound: 537 383.44/384.22 c current bound: 537 383.48/384.79 c current bound: 537 384.54/385.37 c current bound: 537 384.63/385.94 c current bound: 537 385.75/386.52 c current bound: 537 386.33/387.11 c current bound: 537 386.35/387.69 c current bound: 537 387.42/388.27 c current bound: 537 387.50/388.84 c current bound: 537 388.62/389.42 c current bound: 537 388.65/389.99 c current bound: 537 389.72/390.56 c current bound: 537 389.78/391.14 c current bound: 537 390.91/391.71 c current bound: 537 390.93/392.29 c current bound: 537 392.00/392.86 c current bound: 537 392.09/393.44 c current bound: 537 393.21/394.01 c current bound: 537 393.23/394.58 c current bound: 537 394.30/395.15 c current bound: 537 394.37/395.73 c current bound: 537 395.49/396.30 c current bound: 537 395.52/396.88 c current bound: 537 396.60/397.45 c current bound: 537 396.67/398.03 c current bound: 537 397.79/398.60 c current bound: 537 397.82/399.18 c current bound: 537 398.91/399.75 c current bound: 537 399.52/400.33 c current bound: 537 400.09/400.90 c current bound: 537 400.60/401.48 c current bound: 537 400.70/402.05 c current bound: 537 401.81/402.63 c current bound: 537 402.40/403.20 c current bound: 537 402.90/403.78 c current bound: 537 403.01/404.35 c current bound: 537 404.11/404.93 c current bound: 537 404.70/405.51 c current bound: 537 405.21/406.08 c current bound: 537 405.30/406.66 c current bound: 537 406.40/407.23 c current bound: 537 407.00/407.80 c current bound: 537 407.51/408.38 c current bound: 537 407.60/408.95 c current bound: 537 408.71/409.53 c current bound: 537 409.29/410.10 c current bound: 537 409.82/410.67 c current bound: 537 409.90/411.25 c current bound: 537 411.00/411.82 c current bound: 537 411.59/412.41 c current bound: 537 411.60/412.99 c current bound: 537 412.68/413.56 c current bound: 537 412.75/414.13 c current bound: 537 413.87/414.71 c current bound: 537 413.90/415.28 c current bound: 537 414.99/415.86 c current bound: 537 415.05/416.43 c current bound: 537 416.18/417.01 c current bound: 537 416.21/417.58 c current bound: 537 417.27/418.16 c current bound: 537 417.36/418.73 c current bound: 537 418.48/419.31 c current bound: 537 418.52/419.88 c current bound: 537 419.58/420.46 c current bound: 537 419.66/421.03 c current bound: 537 420.77/421.60 c current bound: 537 420.80/422.18 c current bound: 537 421.87/422.75 c current bound: 537 421.96/423.33 c current bound: 537 423.07/423.90 c current bound: 537 423.11/424.48 c current bound: 537 424.18/425.05 c current bound: 537 424.80/425.63 c current bound: 537 425.38/426.20 c current bound: 537 425.89/426.78 c current bound: 537 425.98/427.35 c current bound: 537 427.08/427.93 c current bound: 537 427.69/428.50 c current bound: 537 428.19/429.08 c current bound: 537 428.29/429.65 c current bound: 537 429.38/430.23 c current bound: 537 430.00/430.80 c current bound: 537 430.48/431.37 c current bound: 537 430.58/431.95 c current bound: 537 431.70/432.52 c current bound: 537 432.30/433.10 c current bound: 537 432.78/433.67 c current bound: 537 432.88/434.24 c current bound: 537 433.99/434.82 c current bound: 537 434.02/435.39 c current bound: 537 435.08/435.96 c current bound: 537 435.18/436.54 c current bound: 537 436.29/437.11 c current bound: 537 436.32/437.68 c current bound: 537 437.39/438.26 c current bound: 537 438.00/438.83 c current bound: 537 438.58/439.40 c current bound: 537 439.09/439.98 c current bound: 537 439.19/440.55 c current bound: 537 440.30/441.12 c current bound: 537 440.90/441.70 c current bound: 537 441.41/442.27 c current bound: 537 441.49/442.89 c current bound: 537 442.56/443.46 c current bound: 537 442.63/444.03 c current bound: 537 443.76/444.61 c current bound: 537 443.78/445.18 c current bound: 537 444.86/445.76 c current bound: 537 444.93/446.34 c current bound: 537 446.06/446.91 c current bound: 537 446.08/447.49 c current bound: 537 447.15/448.06 c current bound: 537 447.22/448.64 c current bound: 537 448.35/449.21 c current bound: 537 448.37/449.79 c current bound: 537 449.45/450.36 c current bound: 537 450.06/450.93 c current bound: 537 450.64/451.51 c current bound: 537 451.15/452.09 c current bound: 537 451.26/452.66 c current bound: 537 452.35/453.24 c current bound: 537 452.95/453.81 c current bound: 537 453.45/454.38 c current bound: 537 453.55/454.96 c current bound: 537 454.65/455.54 c current bound: 537 455.26/456.11 c current bound: 537 455.75/456.68 c current bound: 537 455.86/457.26 c current bound: 537 456.95/457.83 c current bound: 537 457.54/458.40 c current bound: 537 458.06/458.98 c current bound: 537 458.15/459.55 c current bound: 537 459.26/460.13 c current bound: 537 459.84/460.70 c current bound: 537 460.36/461.28 c current bound: 537 460.44/461.85 c current bound: 537 461.55/462.42 c current bound: 537 461.59/463.00 c current bound: 537 462.16/463.57 c current bound: 537 463.24/464.15 c current bound: 537 463.31/464.72 c current bound: 537 464.34/465.30 c current bound: 537 464.46/465.87 c current bound: 537 465.54/466.44 c current bound: 537 466.15/467.01 c current bound: 537 466.64/467.58 c current bound: 537 466.74/468.16 c current bound: 537 467.84/468.73 c current bound: 537 468.44/469.31 c current bound: 537 468.94/469.88 c current bound: 537 469.04/470.45 c current bound: 537 470.14/471.02 c current bound: 537 470.75/471.60 c current bound: 537 471.23/472.17 c current bound: 537 471.34/472.75 c current bound: 537 472.45/473.37 c current bound: 537 472.49/473.95 c current bound: 537 473.60/474.52 c current bound: 537 473.64/475.09 c current bound: 537 474.21/475.67 c current bound: 537 475.30/476.24 c current bound: 537 475.89/476.81 c current bound: 537 476.39/477.38 c current bound: 537 476.49/477.96 c current bound: 537 477.61/478.54 c current bound: 537 478.19/479.11 c current bound: 537 478.70/479.69 c current bound: 537 478.80/480.27 c current bound: 537 479.89/480.84 c current bound: 537 480.48/481.41 c current bound: 537 480.99/481.98 c current bound: 537 481.08/482.55 c current bound: 537 482.18/483.13 c current bound: 537 482.79/483.71 c current bound: 537 483.30/484.28 c current bound: 537 483.39/484.85 c current bound: 537 484.49/485.43 c current bound: 537 485.08/486.00 c current bound: 537 485.59/486.57 c current bound: 537 485.68/487.15 c current bound: 537 486.78/487.72 c current bound: 537 486.83/488.30 c current bound: 537 487.41/488.87 c current bound: 537 488.49/489.45 c current bound: 537 488.56/490.02 c current bound: 537 489.60/490.60 c current bound: 537 489.72/491.17 c current bound: 537 490.79/491.74 c current bound: 537 491.40/492.32 c current bound: 537 491.90/492.89 c current bound: 537 492.01/493.47 c current bound: 537 493.10/494.05 c current bound: 537 493.70/494.62 c current bound: 537 494.30/495.20 c current bound: 537 494.32/495.77 c current bound: 537 495.41/496.35 c current bound: 537 495.47/496.92 c current bound: 537 496.61/497.50 c current bound: 537 496.61/498.07 c current bound: 537 497.69/498.64 c current bound: 537 498.30/499.22 c current bound: 537 498.80/499.79 c current bound: 537 498.91/500.37 c current bound: 537 500.00/500.95 c current bound: 537 500.60/501.53 c current bound: 537 501.18/502.10 c current bound: 537 501.68/502.68 c current bound: 537 501.80/503.25 c current bound: 537 502.90/503.82 c current bound: 537 502.92/504.39 c current bound: 537 503.98/504.96 c current bound: 537 504.06/505.54 c current bound: 537 505.17/506.11 c current bound: 537 505.21/506.69 c current bound: 537 506.28/507.26 c current bound: 537 506.35/507.84 c current bound: 537 507.47/508.41 c current bound: 537 507.49/508.98 c current bound: 537 508.58/509.56 c current bound: 537 508.65/510.13 c current bound: 537 509.76/510.70 c current bound: 537 509.79/511.28 c current bound: 537 510.86/511.86 c current bound: 537 510.94/512.43 c current bound: 537 512.05/513.00 c current bound: 537 512.08/513.58 c current bound: 537 513.16/514.15 c current bound: 537 514.31/514.73 c current bound: 537 514.35/515.30 c current bound: 537 514.86/515.88 c current bound: 537 514.95/516.45 c current bound: 537 516.07/517.02 c current bound: 537 516.10/517.60 c current bound: 537 517.17/518.17 c current bound: 537 517.25/518.77 c current bound: 537 518.33/519.35 c current bound: 537 518.94/519.92 c current bound: 537 519.43/520.49 c current bound: 537 519.56/521.07 c current bound: 537 520.64/521.64 c current bound: 537 521.23/522.21 c current bound: 537 521.74/522.79 c current bound: 537 521.84/523.36 c current bound: 537 522.94/523.94 c current bound: 537 523.52/524.51 c current bound: 537 524.03/525.09 c current bound: 537 524.14/525.66 c current bound: 537 525.24/526.23 c current bound: 537 525.83/526.82 c current bound: 537 525.86/527.39 c current bound: 537 526.92/527.96 c current bound: 537 527.01/528.54 c current bound: 537 528.13/529.12 c current bound: 537 528.16/529.69 c current bound: 537 529.22/530.27 c current bound: 537 529.31/530.84 c current bound: 537 530.43/531.42 c current bound: 537 530.45/531.99 c current bound: 537 531.53/532.57 c current bound: 537 531.61/533.14 c current bound: 537 532.74/533.72 c current bound: 537 532.76/534.29 c current bound: 537 533.82/534.86 c current bound: 537 533.90/535.44 c current bound: 537 535.02/536.02 c current bound: 537 535.05/536.59 c current bound: 537 536.11/537.17 c current bound: 537 536.19/537.74 c current bound: 537 537.30/538.31 c current bound: 537 537.36/538.89 c current bound: 537 537.93/539.47 c current bound: 537 539.03/540.04 c current bound: 537 539.61/540.62 c current bound: 537 540.13/541.19 c current bound: 537 540.22/541.77 c current bound: 537 541.32/542.34 c current bound: 537 541.91/542.92 c current bound: 537 542.42/543.49 c current bound: 537 542.52/544.07 c current bound: 537 543.57/544.69 c current bound: 537 543.67/545.26 c current bound: 537 544.76/545.83 c current bound: 537 545.35/546.41 c current bound: 537 545.86/546.98 c current bound: 537 545.96/547.56 c current bound: 537 547.07/548.13 c current bound: 537 547.65/548.70 c current bound: 537 548.17/549.28 c current bound: 537 548.26/549.85 c current bound: 537 549.37/550.43 c current bound: 537 549.96/551.01 c current bound: 537 549.99/551.59 c current bound: 537 551.05/552.17 c current bound: 537 551.14/552.74 c current bound: 537 552.25/553.32 c current bound: 537 552.28/553.89 c current bound: 537 553.36/554.47 c current bound: 537 553.44/555.04 c current bound: 537 554.56/555.62 c current bound: 537 554.59/556.19 c current bound: 537 555.64/556.77 c current bound: 537 555.73/557.34 c current bound: 537 556.85/557.92 c current bound: 537 556.89/558.49 c current bound: 537 557.94/559.07 c current bound: 537 558.03/559.64 c current bound: 537 559.14/560.22 c current bound: 537 559.17/560.79 c current bound: 537 560.24/561.37 c current bound: 537 560.33/561.94 c current bound: 537 561.44/562.52 c current bound: 537 561.48/563.09 c current bound: 537 562.06/563.67 c current bound: 537 563.15/564.24 c current bound: 537 563.20/564.84 c current bound: 537 564.32/565.42 c current bound: 537 564.35/565.99 c current bound: 537 565.42/566.57 c current bound: 537 565.49/567.15 c current bound: 537 566.60/567.73 c current bound: 537 567.19/568.30 c current bound: 537 567.70/568.88 c current bound: 537 567.80/569.45 c current bound: 537 568.91/570.03 c current bound: 537 569.51/570.61 c current bound: 537 570.01/571.19 c current bound: 537 570.12/571.77 c current bound: 537 571.20/572.34 c current bound: 537 571.81/572.92 c current bound: 537 572.30/573.49 c current bound: 537 572.41/574.07 c current bound: 537 573.50/574.65 c current bound: 537 574.11/575.22 c current bound: 537 574.72/575.80 c current bound: 537 575.22/576.37 c current bound: 537 575.30/576.95 c current bound: 537 576.42/577.53 c current bound: 537 576.99/578.11 c current bound: 537 577.51/578.68 c current bound: 537 577.59/579.26 c current bound: 537 578.69/579.85 c current bound: 537 579.31/580.43 c current bound: 537 579.89/581.00 c current bound: 537 579.92/581.57 c current bound: 537 581.00/582.15 c current bound: 537 581.07/582.73 c current bound: 537 582.20/583.31 c current bound: 537 582.23/583.89 c current bound: 537 583.31/584.47 c current bound: 537 583.38/585.05 c current bound: 537 584.50/585.62 c current bound: 537 584.53/586.20 c current bound: 537 585.12/586.77 c current bound: 537 586.21/587.35 c current bound: 537 586.26/587.93 c current bound: 537 587.31/588.50 c current bound: 537 587.41/589.08 c current bound: 537 588.50/589.68 c current bound: 537 588.57/590.26 c current bound: 537 589.68/590.84 c current bound: 537 590.27/591.42 c current bound: 537 590.87/592.00 c current bound: 537 590.88/592.57 c current bound: 537 591.94/593.15 c current bound: 537 592.04/593.73 c current bound: 537 593.16/594.30 c current bound: 537 593.19/594.88 c current bound: 537 594.27/595.46 c current bound: 537 594.34/596.04 c current bound: 537 595.46/596.61 c current bound: 537 595.50/597.19 c current bound: 537 596.67/597.82 c current bound: 537 597.17/598.40 c current bound: 537 597.28/598.98 c current bound: 537 598.36/599.56 c current bound: 537 598.44/600.14 c current bound: 537 599.57/600.72 c current bound: 537 599.60/601.29 c current bound: 537 600.66/601.87 c current bound: 537 600.76/602.45 c current bound: 537 601.86/603.03 c current bound: 537 602.44/603.61 c current bound: 537 602.94/604.18 c current bound: 537 603.06/604.78 c current bound: 537 604.14/605.35 c current bound: 537 604.22/605.93 c current bound: 537 605.33/606.51 c current bound: 537 605.38/607.09 c current bound: 537 606.54/607.72 c current bound: 537 607.03/608.30 c current bound: 537 607.15/608.87 c current bound: 537 608.23/609.45 c current bound: 537 608.31/610.03 c current bound: 537 609.42/610.60 c current bound: 537 609.46/611.18 c current bound: 537 610.53/611.76 c current bound: 537 610.62/612.33 c current bound: 537 611.73/612.91 c current bound: 537 611.76/613.49 c current bound: 537 612.83/614.07 c current bound: 537 612.92/614.65 c current bound: 537 614.03/615.23 c current bound: 537 614.62/615.81 c current bound: 537 615.13/616.38 c current bound: 537 615.23/616.96 c current bound: 537 616.33/617.54 c current bound: 537 616.92/618.12 c current bound: 537 617.53/618.70 c current bound: 537 618.02/619.28 c current bound: 537 618.12/619.85 c current bound: 537 619.24/620.43 c current bound: 537 619.83/621.02 c current bound: 537 620.34/621.59 c current bound: 537 620.45/622.17 c current bound: 537 621.53/622.75 c current bound: 537 621.59/623.33 c current bound: 537 622.72/623.90 c current bound: 537 622.75/624.47 c current bound: 537 623.82/625.06 c current bound: 537 623.90/625.64 c current bound: 537 625.00/626.22 c current bound: 537 625.04/626.79 c current bound: 537 626.10/627.37 c current bound: 537 626.20/627.95 c current bound: 537 627.32/628.53 c current bound: 537 627.90/629.11 c current bound: 537 627.93/629.69 c current bound: 537 629.01/630.27 c current bound: 537 629.10/630.84 c current bound: 537 630.21/631.42 c current bound: 537 630.79/632.00 c current bound: 537 631.32/632.58 c current bound: 537 631.41/633.15 c current bound: 537 632.51/633.73 c current bound: 537 633.10/634.31 c current bound: 537 633.61/634.89 c current bound: 537 633.71/635.47 c current bound: 537 634.81/636.05 c current bound: 537 635.41/636.63 c current bound: 537 635.99/637.21 c current bound: 537 636.02/637.78 c current bound: 537 637.09/638.36 c current bound: 537 637.18/638.93 c current bound: 537 638.29/639.51 c current bound: 537 638.90/640.12 c current bound: 537 639.47/640.70 c current bound: 537 639.97/641.27 c current bound: 537 640.06/641.85 c current bound: 537 641.18/642.43 c current bound: 537 641.76/643.01 c current bound: 537 642.26/643.59 c current bound: 537 642.37/644.17 c current bound: 537 643.45/644.75 c current bound: 537 643.53/645.32 c current bound: 537 644.65/645.90 c current bound: 537 644.69/646.48 c current bound: 537 645.76/647.06 c current bound: 537 645.84/647.64 c current bound: 537 646.96/648.22 c current bound: 537 647.57/648.80 c current bound: 537 648.06/649.38 c current bound: 537 648.16/649.95 c current bound: 537 649.27/650.53 c current bound: 537 649.86/651.11 c current bound: 537 649.88/651.69 c current bound: 537 650.97/652.27 c current bound: 537 651.04/652.85 c current bound: 537 652.17/653.42 c current bound: 537 652.77/654.00 c current bound: 537 653.27/654.58 c current bound: 537 653.36/655.16 c current bound: 537 654.45/655.73 c current bound: 537 655.05/656.31 c current bound: 537 655.55/656.89 c current bound: 537 655.68/657.47 c current bound: 537 656.76/658.05 c current bound: 537 656.83/658.63 c current bound: 537 657.95/659.20 c current bound: 537 657.99/659.78 c current bound: 537 659.07/660.37 c current bound: 537 659.14/660.95 c current bound: 537 660.26/661.53 c current bound: 537 660.87/662.10 c current bound: 537 660.88/662.68 c current bound: 537 661.96/663.26 c current bound: 537 662.04/663.84 c current bound: 537 663.15/664.41 c current bound: 537 663.19/664.99 c current bound: 537 664.26/665.57 c current bound: 537 664.34/666.15 c current bound: 537 665.45/666.73 c current bound: 537 666.05/667.31 c current bound: 537 666.56/667.89 c current bound: 537 666.65/668.46 c current bound: 537 667.76/669.04 c current bound: 537 668.35/669.61 c current bound: 537 668.85/670.19 c current bound: 537 668.96/670.77 c current bound: 537 670.04/671.34 c current bound: 537 670.65/671.93 c current bound: 537 671.23/672.50 c current bound: 537 671.27/673.08 c current bound: 537 672.34/673.66 c current bound: 537 672.93/674.24 c current bound: 537 673.53/674.81 c current bound: 537 674.03/675.39 c current bound: 537 674.16/675.97 c current bound: 537 675.24/676.55 c current bound: 537 675.85/677.13 c current bound: 537 676.43/677.71 c current bound: 537 676.46/678.28 c current bound: 537 677.53/678.86 c current bound: 537 677.61/679.44 c current bound: 537 678.73/680.01 c current bound: 537 679.34/680.62 c current bound: 537 679.81/681.19 c current bound: 537 679.92/681.77 c current bound: 537 681.01/682.35 c current bound: 537 681.08/682.93 c current bound: 537 682.20/683.50 c current bound: 537 682.23/684.08 c current bound: 537 683.31/684.65 c current bound: 537 683.91/685.23 c current bound: 537 684.51/685.81 c current bound: 537 685.02/686.39 c current bound: 537 685.13/686.97 c current bound: 537 686.21/687.54 c current bound: 537 686.82/688.12 c current bound: 537 687.42/688.70 c current bound: 537 687.43/689.27 c current bound: 537 688.51/689.85 c current bound: 537 689.12/690.42 c current bound: 537 689.70/691.00 c current bound: 537 689.73/691.58 c current bound: 537 690.80/692.16 c current bound: 537 690.89/692.74 c current bound: 537 692.02/693.32 c current bound: 537 692.06/693.89 c current bound: 537 693.12/694.47 c current bound: 537 693.20/695.05 c current bound: 537 694.31/695.63 c current bound: 537 694.91/696.21 c current bound: 537 694.94/696.78 c current bound: 537 696.01/697.36 c current bound: 537 696.08/697.94 c current bound: 537 697.20/698.52 c current bound: 537 697.82/699.10 c current bound: 537 698.32/699.68 c current bound: 537 698.40/700.25 c current bound: 537 699.50/700.84 c current bound: 537 700.10/701.41 c current bound: 537 700.61/701.99 c current bound: 537 700.71/702.57 c current bound: 537 701.79/703.15 c current bound: 537 702.41/703.72 c current bound: 537 702.99/704.30 c current bound: 537 703.02/704.88 c current bound: 537 704.09/705.46 c current bound: 537 704.18/706.04 c current bound: 537 705.30/706.62 c current bound: 537 705.34/707.19 c current bound: 537 705.90/707.77 c current bound: 537 706.99/708.35 c current bound: 537 707.60/708.92 c current bound: 537 708.20/709.50 c current bound: 537 708.21/710.08 c current bound: 537 709.30/710.65 c current bound: 537 709.36/711.24 c current bound: 537 710.48/711.81 c current bound: 537 710.53/712.39 c current bound: 537 711.59/712.96 c current bound: 537 711.67/713.54 c current bound: 537 712.79/714.12 c current bound: 537 712.82/714.69 c current bound: 537 713.89/715.27 c current bound: 537 713.97/715.85 c current bound: 537 715.08/716.43 c current bound: 537 715.67/717.01 c current bound: 537 716.18/717.58 c current bound: 537 716.29/718.16 c current bound: 537 717.39/718.74 c current bound: 537 717.99/719.32 c current bound: 537 718.56/719.90 c current bound: 537 719.09/720.48 c current bound: 537 719.18/721.07 c current bound: 537 720.27/721.65 c current bound: 537 720.34/722.23 c current bound: 537 721.46/722.81 c current bound: 537 721.49/723.38 c current bound: 537 722.56/723.97 c current bound: 537 722.66/724.54 c current bound: 537 723.78/725.12 c current bound: 537 724.35/725.70 c current bound: 537 724.88/726.28 c current bound: 537 724.97/726.86 c current bound: 537 726.06/727.43 c current bound: 537 726.66/728.01 c current bound: 537 727.17/728.59 c current bound: 537 727.27/729.17 c current bound: 537 728.36/729.75 c current bound: 537 728.98/730.32 c current bound: 537 729.56/730.91 c current bound: 537 730.07/731.48 c current bound: 537 730.17/732.06 c current bound: 537 731.27/732.64 c current bound: 537 731.85/733.22 c current bound: 537 732.44/733.80 c current bound: 537 732.48/734.38 c current bound: 537 733.56/734.96 c current bound: 537 733.64/735.54 c current bound: 537 734.77/736.15 c current bound: 537 734.79/736.73 c current bound: 537 735.91/737.30 c current bound: 537 735.96/737.89 c current bound: 537 737.03/738.47 c current bound: 537 737.13/739.05 c current bound: 537 738.24/739.62 c current bound: 537 738.28/740.20 c current bound: 537 738.84/740.78 c current bound: 537 739.93/741.36 c current bound: 537 740.00/741.94 c current bound: 537 741.13/742.52 c current bound: 537 741.74/743.10 c current bound: 537 742.24/743.67 c current bound: 537 742.32/744.25 c current bound: 537 743.43/744.83 c current bound: 537 744.02/745.41 c current bound: 537 744.52/745.99 c current bound: 537 744.64/746.56 c current bound: 537 745.73/747.14 c current bound: 537 746.33/747.72 c current bound: 537 746.92/748.30 c current bound: 537 746.94/748.88 c current bound: 537 748.02/749.46 c current bound: 537 748.10/750.04 c current bound: 537 749.21/750.62 c current bound: 537 749.84/751.20 c current bound: 537 749.84/751.78 c current bound: 537 750.92/752.37 c current bound: 537 751.00/752.94 c current bound: 537 752.13/753.52 c current bound: 537 752.70/754.10 c current bound: 537 753.22/754.68 c current bound: 537 753.32/755.27 c current bound: 537 754.40/755.84 c current bound: 537 755.02/756.43 c current bound: 537 755.60/757.00 c current bound: 537 755.64/757.58 c current bound: 537 756.71/758.16 c current bound: 537 756.79/758.74 c current bound: 537 757.91/759.31 c current bound: 537 757.94/759.89 c current bound: 537 759.01/760.47 c current bound: 537 759.09/761.05 c current bound: 537 760.22/761.63 c current bound: 537 760.81/762.21 c current bound: 537 760.84/762.79 c current bound: 537 761.92/763.36 c current bound: 537 761.99/763.95 c current bound: 537 763.11/764.52 c current bound: 537 763.70/765.10 c current bound: 537 764.22/765.68 c current bound: 537 764.30/766.25 c current bound: 537 765.42/766.83 c current bound: 537 766.00/767.41 c current bound: 537 766.51/767.98 c current bound: 537 766.62/768.56 c current bound: 537 767.70/769.14 c current bound: 537 768.30/769.72 c current bound: 537 768.81/770.29 c current bound: 537 768.92/770.87 c current bound: 537 770.01/771.46 c current bound: 537 770.07/772.04 c current bound: 537 771.19/772.62 c current bound: 537 771.22/773.20 c current bound: 537 771.80/773.77 c current bound: 537 772.89/774.35 c current bound: 537 772.96/774.93 c current bound: 537 774.07/775.51 c current bound: 537 774.11/776.08 c current bound: 537 775.18/776.66 c current bound: 537 775.26/777.23 c current bound: 537 776.37/777.81 c current bound: 537 776.42/778.39 c current bound: 537 777.48/778.96 c current bound: 537 777.56/779.54 c current bound: 537 778.70/780.13 c current bound: 537 779.27/780.70 c current bound: 537 779.79/781.28 c current bound: 537 779.88/781.85 c current bound: 537 780.98/782.43 c current bound: 537 781.57/783.01 c current bound: 537 782.08/783.59 c current bound: 537 782.19/784.17 c current bound: 537 783.29/784.74 c current bound: 537 783.89/785.32 c current bound: 537 783.92/785.89 c current bound: 537 784.98/786.47 c current bound: 537 785.06/787.04 c current bound: 537 786.19/787.62 c current bound: 537 786.78/788.20 c current bound: 537 787.28/788.77 c current bound: 537 787.36/789.35 c current bound: 537 788.48/789.92 c current bound: 537 789.06/790.50 c current bound: 537 789.58/791.08 c current bound: 537 789.67/791.69 c current bound: 537 790.74/792.27 c current bound: 537 790.85/792.84 c current bound: 537 791.95/793.43 c current bound: 537 792.55/794.01 c current bound: 537 793.04/794.59 c current bound: 537 793.16/795.16 c current bound: 537 794.25/795.74 c current bound: 537 794.85/796.32 c current bound: 537 795.42/796.90 c current bound: 537 795.95/797.48 c current bound: 537 796.04/798.06 c current bound: 537 797.13/798.64 c current bound: 537 797.75/799.22 c current bound: 537 798.24/799.79 c current bound: 537 798.35/800.37 c current bound: 537 799.44/800.95 c current bound: 537 799.50/801.53 c current bound: 537 800.62/802.11 c current bound: 537 800.66/802.68 c current bound: 537 801.74/803.25 c current bound: 537 801.82/803.83 c current bound: 537 802.92/804.40 c current bound: 537 802.96/804.98 c current bound: 537 804.03/805.56 c current bound: 537 804.11/806.13 c current bound: 537 805.22/806.71 c current bound: 537 805.26/807.29 c current bound: 537 806.32/807.86 c current bound: 537 806.93/808.44 c current bound: 537 807.53/809.02 c current bound: 537 808.04/809.60 c current bound: 537 808.15/810.17 c current bound: 537 809.23/810.75 c current bound: 537 809.30/811.33 c current bound: 537 810.42/811.94 c current bound: 537 811.01/812.51 c current bound: 537 811.50/813.09 c current bound: 537 811.62/813.67 c current bound: 537 812.69/814.25 c current bound: 537 812.77/814.83 c current bound: 537 813.90/815.41 c current bound: 537 813.93/815.99 c current bound: 537 815.01/816.57 c current bound: 537 815.09/817.14 c current bound: 537 816.22/817.72 c current bound: 537 816.24/818.29 c current bound: 537 816.83/818.93 c current bound: 537 818.00/819.51 c current bound: 537 818.04/820.08 c current bound: 537 819.12/820.66 c current bound: 537 819.20/821.24 c current bound: 537 820.32/821.82 c current bound: 537 820.35/822.39 c current bound: 537 821.43/822.97 c current bound: 537 821.50/823.54 c current bound: 537 822.62/824.12 c current bound: 537 823.21/824.70 c current bound: 537 823.70/825.27 c current bound: 537 823.80/825.85 c current bound: 537 824.93/826.43 c current bound: 537 825.49/827.00 c current bound: 537 826.00/827.58 c current bound: 537 826.12/828.16 c current bound: 537 827.20/828.73 c current bound: 537 827.82/829.31 c current bound: 537 827.83/829.88 c current bound: 537 828.91/830.46 c current bound: 537 828.99/831.04 c current bound: 537 830.11/831.62 c current bound: 537 830.71/832.21 c current bound: 537 831.21/832.79 c current bound: 537 831.30/833.36 c current bound: 537 832.39/833.93 c current bound: 537 832.99/834.51 c current bound: 537 833.49/835.09 c current bound: 537 833.60/835.66 c current bound: 537 834.69/836.24 c current bound: 537 835.30/836.82 c current bound: 537 835.90/837.40 c current bound: 537 835.91/837.97 c current bound: 537 837.00/838.55 c current bound: 537 837.06/839.13 c current bound: 537 838.17/839.71 c current bound: 537 838.22/840.29 c current bound: 537 839.38/840.92 c current bound: 537 839.89/841.50 c current bound: 537 840.01/842.07 c current bound: 537 841.10/842.65 c current bound: 537 841.70/843.23 c current bound: 537 842.28/843.81 c current bound: 537 842.32/844.38 c current bound: 537 843.38/844.96 c current bound: 537 843.46/845.53 c current bound: 537 844.58/846.11 c current bound: 537 844.62/846.69 c current bound: 537 845.69/847.30 c current bound: 537 845.77/847.87 c current bound: 537 846.86/848.45 c current bound: 537 847.46/849.02 c current bound: 537 847.95/849.59 c current bound: 537 848.06/850.17 c current bound: 537 849.16/850.75 c current bound: 537 849.77/851.32 c current bound: 537 850.34/851.90 c current bound: 537 850.86/852.48 c current bound: 537 850.95/853.06 c current bound: 537 852.07/853.64 c current bound: 537 852.65/854.21 c current bound: 537 853.16/854.79 c current bound: 537 853.26/855.36 c current bound: 537 854.35/855.94 c current bound: 537 854.96/856.51 c current bound: 537 855.45/857.09 c current bound: 537 855.56/857.66 c current bound: 537 856.66/858.24 c current bound: 537 857.26/858.82 c current bound: 537 857.75/859.39 c current bound: 537 857.87/859.97 c current bound: 537 858.96/860.55 c current bound: 537 859.04/861.13 c current bound: 537 860.15/861.71 c current bound: 537 860.19/862.28 c current bound: 537 861.26/862.86 c current bound: 537 861.87/863.44 c current bound: 537 862.45/864.01 c current bound: 537 862.96/864.59 c current bound: 537 863.06/865.17 c current bound: 537 864.16/865.74 c current bound: 537 864.77/866.32 c current bound: 537 865.37/866.90 c current bound: 537 865.92/867.50 c current bound: 537 866.43/868.08 c current bound: 537 866.53/868.66 c current bound: 537 867.62/869.24 c current bound: 537 868.21/869.81 c current bound: 537 868.72/870.39 c current bound: 537 868.82/870.97 c current bound: 537 869.92/871.55 c current bound: 537 869.99/872.13 c current bound: 537 871.11/872.70 c current bound: 537 871.15/873.28 c current bound: 537 872.23/873.86 c current bound: 537 872.84/874.43 c current bound: 537 873.41/875.01 c current bound: 537 873.93/875.58 c current bound: 537 874.02/876.16 c current bound: 537 875.12/876.74 c current bound: 537 875.71/877.32 c current bound: 537 876.32/877.90 c current bound: 537 876.34/878.48 c current bound: 537 877.42/879.05 c current bound: 537 877.48/879.63 c current bound: 537 878.61/880.21 c current bound: 537 878.63/880.78 c current bound: 537 879.72/881.36 c current bound: 537 879.78/881.94 c current bound: 537 880.92/882.52 c current bound: 537 881.53/883.10 c current bound: 537 882.01/883.67 c current bound: 537 882.11/884.25 c current bound: 537 883.21/884.83 c current bound: 537 883.81/885.41 c current bound: 537 883.84/885.99 c current bound: 537 884.91/886.57 c current bound: 537 884.99/887.15 c current bound: 537 886.12/887.77 c current bound: 537 886.16/888.35 c current bound: 537 887.26/888.93 c current bound: 537 887.86/889.52 c current bound: 537 888.35/890.10 c current bound: 537 888.47/890.67 c current bound: 537 889.56/891.26 c current bound: 537 889.63/891.84 c current bound: 537 890.75/892.42 c current bound: 537 890.79/892.99 c current bound: 537 891.85/893.58 c current bound: 537 891.96/894.16 c current bound: 537 893.05/894.74 c current bound: 537 893.65/895.31 c current bound: 537 893.68/895.89 c current bound: 537 894.75/896.47 c current bound: 537 894.85/897.05 c current bound: 537 895.96/897.63 c current bound: 537 896.55/898.21 c current bound: 537 897.07/898.79 c current bound: 537 897.17/899.37 c current bound: 537 898.25/899.95 c current bound: 537 898.32/900.53 c current bound: 537 899.45/901.11 c current bound: 537 899.47/901.69 c current bound: 537 900.56/902.26 c current bound: 537 900.64/902.84 c current bound: 537 901.75/903.42 c current bound: 537 902.36/904.00 c current bound: 537 902.84/904.58 c current bound: 537 902.94/905.15 c current bound: 537 904.04/905.73 c current bound: 537 904.65/906.31 c current bound: 537 904.67/906.89 c current bound: 537 905.75/907.47 c current bound: 537 905.84/908.05 c current bound: 537 906.96/908.63 c current bound: 537 907.54/909.21 c current bound: 537 908.05/909.79 c current bound: 537 908.16/910.37 c current bound: 537 909.25/910.95 c current bound: 537 909.32/911.53 c current bound: 537 910.43/912.10 c current bound: 537 910.46/912.68 c current bound: 537 911.54/913.26 c current bound: 537 911.61/913.83 c current bound: 537 912.75/914.41 c current bound: 537 912.77/914.98 c current bound: 537 913.83/915.56 c current bound: 537 913.92/916.14 c current bound: 537 915.03/916.72 c current bound: 537 915.08/917.29 c current bound: 537 916.12/917.87 c current bound: 537 916.74/918.45 c current bound: 537 917.35/919.02 c current bound: 537 917.94/919.60 c current bound: 537 917.96/920.18 c current bound: 537 919.02/920.76 c current bound: 537 919.10/921.34 c current bound: 537 920.22/921.91 c current bound: 537 920.27/922.49 c current bound: 537 921.33/923.07 c current bound: 537 921.41/923.65 c current bound: 537 922.55/924.23 c current bound: 537 923.11/924.80 c current bound: 537 923.63/925.38 c current bound: 537 923.72/925.96 c current bound: 537 924.83/926.54 c current bound: 537 925.41/927.11 c current bound: 537 925.92/927.69 c current bound: 537 926.03/928.27 c current bound: 537 927.13/928.85 c current bound: 537 927.75/929.43 c current bound: 537 928.32/930.01 c current bound: 537 928.84/930.58 c current bound: 537 928.93/931.16 c current bound: 537 930.03/931.74 c current bound: 537 930.63/932.32 c current bound: 537 931.13/932.89 c current bound: 537 931.24/933.47 c current bound: 537 932.32/934.05 c current bound: 537 932.40/934.63 c current bound: 537 933.52/935.20 c current bound: 537 933.56/935.78 c current bound: 537 934.64/936.36 c current bound: 537 934.71/936.94 c current bound: 537 935.83/937.51 c current bound: 537 936.44/938.10 c current bound: 537 936.93/938.67 c current bound: 537 937.02/939.25 c current bound: 537 938.14/939.83 c current bound: 537 938.74/940.41 c current bound: 537 938.76/940.98 c current bound: 537 939.83/941.56 c current bound: 537 939.91/942.14 c current bound: 537 941.02/942.71 c current bound: 537 941.63/943.30 c current bound: 537 942.11/943.87 c current bound: 537 942.22/944.45 c current bound: 537 943.33/945.03 c current bound: 537 943.91/945.61 c current bound: 537 944.42/946.19 c current bound: 537 944.53/946.76 c current bound: 537 945.63/947.34 c current bound: 537 946.22/947.92 c current bound: 537 946.82/948.54 c current bound: 537 947.38/949.11 c current bound: 537 947.88/949.69 c current bound: 537 948.00/950.27 c current bound: 537 949.08/950.85 c current bound: 537 949.69/951.42 c current bound: 537 950.27/952.00 c current bound: 537 950.77/952.58 c current bound: 537 950.87/953.16 c current bound: 537 951.98/953.74 c current bound: 537 952.57/954.31 c current bound: 537 953.07/954.89 c current bound: 537 953.17/955.47 c current bound: 537 954.26/956.05 c current bound: 537 954.87/956.62 c current bound: 537 955.46/957.20 c current bound: 537 955.49/957.78 c current bound: 537 956.56/958.36 c current bound: 537 956.64/958.93 c current bound: 537 957.75/959.51 c current bound: 537 957.79/960.09 c current bound: 537 958.86/960.67 c current bound: 537 958.96/961.24 c current bound: 537 960.06/961.82 c current bound: 537 960.11/962.39 c current bound: 537 961.27/963.02 c current bound: 537 961.76/963.60 c current bound: 537 962.43/964.21 c current bound: 537 962.94/964.79 c current bound: 537 963.05/965.37 c current bound: 537 964.14/965.94 c current bound: 537 964.74/966.52 c current bound: 537 965.31/967.10 c current bound: 537 965.36/967.68 c current bound: 537 966.44/968.26 c current bound: 537 966.51/968.83 c current bound: 537 967.63/969.42 c current bound: 537 968.24/970.00 c current bound: 537 968.75/970.57 c current bound: 537 968.82/971.15 c current bound: 537 969.93/971.73 c current bound: 537 970.54/972.31 c current bound: 537 970.56/972.89 c current bound: 537 971.64/973.47 c current bound: 537 971.72/974.05 c current bound: 537 972.85/974.62 c current bound: 537 973.42/975.20 c current bound: 537 973.93/975.78 c current bound: 537 974.03/976.36 c current bound: 537 975.13/976.94 c current bound: 537 975.73/977.51 c current bound: 537 976.23/978.09 c current bound: 537 976.35/978.67 c current bound: 537 977.43/979.25 c current bound: 537 978.03/979.83 c current bound: 537 978.62/980.40 c current bound: 537 978.66/980.98 c current bound: 537 979.73/981.56 c current bound: 537 979.80/982.13 c current bound: 537 980.93/982.71 c current bound: 537 980.97/983.29 c current bound: 537 982.03/983.86 c current bound: 537 982.67/984.52 c current bound: 537 983.23/985.10 c current bound: 537 983.77/985.68 c current bound: 537 983.85/986.26 c current bound: 537 984.95/986.83 c current bound: 537 985.55/987.42 c current bound: 537 986.15/988.00 c current bound: 537 986.17/988.58 c current bound: 537 987.25/989.16 c current bound: 537 987.32/989.74 c current bound: 537 988.44/990.32 c current bound: 537 988.48/990.89 c current bound: 537 989.55/991.47 c current bound: 537 989.63/992.05 c current bound: 537 990.75/992.63 c current bound: 537 991.35/993.21 c current bound: 537 991.37/993.79 c current bound: 537 992.46/994.37 c current bound: 537 992.54/994.95 c current bound: 537 993.66/995.52 c current bound: 537 994.23/996.10 c current bound: 537 994.76/996.69 c current bound: 537 994.85/997.27 c current bound: 537 995.94/997.84 c current bound: 537 996.55/998.42 c current bound: 537 997.15/999.00 c current bound: 537 997.15/999.58 c current bound: 537 998.24/1000.15 c current bound: 537 998.31/1000.73 c current bound: 537 999.43/1001.31 c current bound: 537 999.47/1001.88 c current bound: 537 1000.55/1002.46 c current bound: 537 1000.63/1003.04 c current bound: 537 1001.74/1003.62 c current bound: 537 1001.79/1004.20 c current bound: 537 1002.37/1004.78 c current bound: 537 1003.43/1005.36 c current bound: 537 1003.51/1005.93 c current bound: 537 1004.63/1006.52 c current bound: 537 1004.68/1007.09 c current bound: 537 1005.75/1007.67 c current bound: 537 1005.83/1008.25 c current bound: 537 1006.94/1008.83 c current bound: 537 1007.53/1009.41 c current bound: 537 1008.03/1009.99 c current bound: 537 1008.14/1010.57 c current bound: 537 1009.23/1011.15 c current bound: 537 1009.30/1011.73 c current bound: 537 1010.43/1012.31 c current bound: 537 1010.46/1012.88 c current bound: 537 1011.55/1013.46 c current bound: 537 1011.63/1014.04 c current bound: 537 1012.75/1014.62 c current bound: 537 1013.35/1015.20 c current bound: 537 1013.35/1015.78 c current bound: 537 1014.44/1016.36 c current bound: 537 1014.51/1016.94 c current bound: 537 1015.64/1017.52 c current bound: 537 1016.21/1018.10 c current bound: 537 1016.73/1018.68 c current bound: 537 1016.83/1019.26 c current bound: 537 1017.93/1019.84 c current bound: 537 1018.55/1020.42 c current bound: 537 1019.11/1021.00 c current bound: 537 1019.15/1021.58 c current bound: 537 1020.23/1022.16 c current bound: 537 1020.30/1022.74 c current bound: 537 1021.42/1023.31 c current bound: 537 1021.45/1023.89 c current bound: 537 1022.52/1024.47 c current bound: 537 1022.60/1025.05 c current bound: 537 1023.72/1025.63 c current bound: 537 1024.31/1026.21 c current bound: 537 1024.36/1026.79 c current bound: 537 1025.44/1027.37 c current bound: 537 1025.51/1027.95 c current bound: 537 1026.64/1028.53 c current bound: 537 1027.21/1029.11 c current bound: 537 1027.73/1029.69 c current bound: 537 1027.83/1030.26 c current bound: 537 1028.93/1030.84 c current bound: 537 1029.51/1031.42 c current bound: 537 1030.03/1031.99 c current bound: 537 1030.14/1032.58 c current bound: 537 1031.22/1033.15 c current bound: 537 1031.83/1033.73 c current bound: 537 1032.41/1034.30 c current bound: 537 1032.43/1034.88 c current bound: 537 1033.51/1035.46 c current bound: 537 1033.60/1036.03 c current bound: 537 1034.71/1036.61 c current bound: 537 1034.75/1037.18 c current bound: 537 1035.83/1037.77 c current bound: 537 1036.43/1038.35 c current bound: 537 1037.01/1038.92 c current bound: 537 1037.60/1039.53 c current bound: 537 1038.17/1040.11 c current bound: 537 1038.70/1040.69 c current bound: 537 1038.79/1041.27 c current bound: 537 1039.89/1041.84 c current bound: 537 1040.49/1042.42 c current bound: 537 1041.08/1043.00 c current bound: 537 1041.10/1043.58 c current bound: 537 1042.18/1044.15 c current bound: 537 1042.26/1044.73 c current bound: 537 1043.37/1045.30 c current bound: 537 1043.41/1045.88 c current bound: 537 1044.49/1046.46 c current bound: 537 1044.58/1047.05 c current bound: 537 1045.69/1047.63 c current bound: 537 1046.29/1048.21 c current bound: 537 1046.32/1048.79 c current bound: 537 1047.38/1049.36 c current bound: 537 1047.47/1049.95 c current bound: 537 1048.59/1050.53 c current bound: 537 1049.18/1051.10 c current bound: 537 1049.69/1051.68 c current bound: 537 1049.78/1052.26 c current bound: 537 1050.89/1052.84 c current bound: 537 1051.49/1053.42 c current bound: 537 1052.07/1054.00 c current bound: 537 1052.10/1054.58 c current bound: 537 1053.19/1055.16 c current bound: 537 1053.27/1055.74 c current bound: 537 1054.38/1056.32 c current bound: 537 1054.99/1056.90 c current bound: 537 1055.48/1057.47 c current bound: 537 1055.58/1058.05 c current bound: 537 1056.69/1058.62 c current bound: 537 1057.30/1059.20 c current bound: 537 1057.31/1059.78 c current bound: 537 1058.38/1060.36 c current bound: 537 1058.46/1060.94 c current bound: 537 1059.57/1061.51 c current bound: 537 1059.60/1062.09 c current bound: 537 1060.69/1062.67 c current bound: 537 1060.76/1063.25 c current bound: 537 1061.88/1063.82 c current bound: 537 1062.49/1064.40 c current bound: 537 1062.98/1064.98 c current bound: 537 1063.07/1065.55 c current bound: 537 1064.18/1066.13 c current bound: 537 1064.75/1066.70 c current bound: 537 1065.27/1067.28 c current bound: 537 1065.37/1067.86 c current bound: 537 1066.46/1068.44 c current bound: 537 1067.08/1069.02 c current bound: 537 1067.65/1069.60 c current bound: 537 1067.70/1070.18 c current bound: 537 1068.77/1070.76 c current bound: 537 1069.38/1071.34 c current bound: 537 1069.98/1071.92 c current bound: 537 1070.48/1072.49 c current bound: 537 1070.58/1073.07 c current bound: 537 1071.68/1073.65 c current bound: 537 1072.28/1074.23 c current bound: 537 1072.85/1074.80 c current bound: 537 1072.89/1075.38 c current bound: 537 1073.97/1075.96 c current bound: 537 1074.05/1076.54 c current bound: 537 1075.16/1077.11 c current bound: 537 1075.21/1077.69 c current bound: 537 1076.26/1078.27 c current bound: 537 1076.34/1078.84 c current bound: 537 1077.46/1079.42 c current bound: 537 1078.07/1080.03 c current bound: 537 1078.63/1080.60 c current bound: 537 1078.65/1081.18 c current bound: 537 1079.73/1081.76 c current bound: 537 1080.32/1082.34 c current bound: 537 1080.92/1082.91 c current bound: 537 1081.45/1083.49 c current bound: 537 1081.54/1084.07 c current bound: 537 1082.65/1084.65 c current bound: 537 1083.24/1085.23 c current bound: 537 1083.82/1085.81 c current bound: 537 1083.86/1086.39 c current bound: 537 1084.93/1086.97 c current bound: 537 1085.02/1087.55 c current bound: 537 1086.15/1088.13 c current bound: 537 1086.73/1088.71 c current bound: 537 1087.23/1089.28 c current bound: 537 1087.33/1089.86 c current bound: 537 1088.44/1090.43 c current bound: 537 1089.02/1091.01 c current bound: 537 1089.53/1091.59 c current bound: 537 1089.63/1092.17 c current bound: 537 1090.72/1092.75 c current bound: 537 1091.33/1093.32 c current bound: 537 1091.91/1093.90 c current bound: 537 1092.44/1094.48 c current bound: 537 1092.54/1095.08 c current bound: 537 1093.63/1095.65 c current bound: 537 1093.69/1096.23 c current bound: 537 1094.81/1096.81 c current bound: 537 1094.84/1097.38 c current bound: 537 1095.92/1097.96 c current bound: 537 1096.00/1098.54 c current bound: 537 1097.10/1099.12 c current bound: 537 1097.71/1099.70 c current bound: 537 1098.20/1100.27 c current bound: 537 1098.30/1100.85 c current bound: 537 1099.41/1101.43 c current bound: 537 1100.00/1102.01 c current bound: 537 1100.51/1102.59 c current bound: 537 1100.62/1103.17 c current bound: 537 1101.70/1103.75 c current bound: 537 1102.31/1104.32 c current bound: 537 1102.91/1104.90 c current bound: 537 1103.40/1105.48 c current bound: 537 1103.50/1106.05 c current bound: 537 1104.62/1106.63 c current bound: 537 1105.20/1107.21 c current bound: 537 1105.71/1107.79 c current bound: 537 1105.81/1108.36 c current bound: 537 1106.91/1108.94 c current bound: 537 1107.50/1109.52 c current bound: 537 1108.08/1110.10 c current bound: 537 1108.12/1110.68 c current bound: 537 1109.20/1111.25 c current bound: 537 1109.27/1111.83 c current bound: 537 1110.38/1112.41 c current bound: 537 1110.43/1112.99 c current bound: 537 1111.51/1113.58 c current bound: 537 1111.61/1114.15 c current bound: 537 1112.70/1114.74 c current bound: 537 1113.30/1115.34 c current bound: 537 1113.87/1115.91 c current bound: 537 1114.37/1116.49 c current bound: 537 1114.49/1117.07 c current bound: 537 1115.57/1117.65 c current bound: 537 1115.64/1118.23 c current bound: 537 1116.76/1118.81 c current bound: 537 1116.80/1119.39 c current bound: 537 1117.86/1119.97 c current bound: 537 1117.95/1120.54 c current bound: 537 1119.08/1121.12 c current bound: 537 1119.66/1121.70 c current bound: 537 1120.18/1122.28 c current bound: 537 1120.27/1122.86 c current bound: 537 1121.37/1123.44 c current bound: 537 1121.97/1124.02 c current bound: 537 1122.47/1124.59 c current bound: 537 1122.60/1125.17 c current bound: 537 1123.68/1125.75 c current bound: 537 1124.29/1126.33 c current bound: 537 1124.86/1126.91 c current bound: 537 1125.37/1127.49 c current bound: 537 1125.47/1128.07 c current bound: 537 1126.58/1128.65 c current bound: 537 1126.65/1129.23 c current bound: 537 1127.76/1129.81 c current bound: 537 1127.79/1130.38 c current bound: 537 1128.87/1130.96 c current bound: 537 1128.94/1131.53 c current bound: 537 1130.06/1132.11 c current bound: 537 1130.09/1132.69 c current bound: 537 1131.17/1133.27 c current bound: 537 1131.25/1133.85 c current bound: 537 1132.37/1134.43 c current bound: 537 1132.95/1135.00 c current bound: 537 1133.47/1135.58 c current bound: 537 1133.57/1136.16 c current bound: 537 1134.66/1136.74 c current bound: 537 1135.27/1137.32 c current bound: 537 1135.87/1137.90 c current bound: 537 1136.38/1138.48 c current bound: 537 1136.46/1139.06 c current bound: 537 1137.57/1139.64 c current bound: 537 1138.17/1140.22 c current bound: 537 1138.75/1140.80 c current bound: 537 1138.78/1141.38 c current bound: 537 1139.87/1141.96 c current bound: 537 1139.94/1142.54 c current bound: 537 1141.05/1143.12 c current bound: 537 1141.10/1143.69 c current bound: 537 1142.15/1144.27 c current bound: 537 1142.24/1144.85 c current bound: 537 1143.35/1145.43 c current bound: 537 1143.95/1146.01 c current bound: 537 1144.45/1146.59 c current bound: 537 1144.56/1147.16 c current bound: 537 1145.65/1147.74 c current bound: 537 1146.24/1148.32 c current bound: 537 1146.30/1148.89 c current bound: 537 1147.36/1149.47 c current bound: 537 1147.45/1150.05 c current bound: 537 1148.57/1150.66 c current bound: 537 1148.60/1151.23 c current bound: 537 1149.72/1151.81 c current bound: 537 1149.76/1152.38 c current bound: 537 1150.82/1152.96 c current bound: 537 1150.91/1153.54 c current bound: 537 1152.02/1154.12 c current bound: 537 1152.63/1154.70 c current bound: 537 1153.12/1155.28 c current bound: 537 1153.22/1155.86 c current bound: 537 1154.33/1156.43 c current bound: 537 1154.91/1157.01 c current bound: 537 1155.44/1157.58 c current bound: 537 1155.52/1158.16 c current bound: 537 1156.63/1158.74 c current bound: 537 1157.22/1159.32 c current bound: 537 1157.81/1159.90 c current bound: 537 1158.33/1160.48 c current bound: 537 1158.42/1161.06 c current bound: 537 1159.52/1161.63 c current bound: 537 1160.12/1162.21 c current bound: 537 1160.64/1162.79 c current bound: 537 1160.74/1163.37 c current bound: 537 1161.84/1163.95 c current bound: 537 1161.91/1164.53 c current bound: 537 1163.03/1165.11 c current bound: 537 1163.05/1165.69 c current bound: 537 1164.13/1166.27 c current bound: 537 1164.22/1166.84 c current bound: 537 1165.34/1167.42 c current bound: 537 1165.93/1168.00 c current bound: 537 1166.42/1168.59 c current bound: 537 1166.54/1169.17 c current bound: 537 1167.62/1169.75 c current bound: 537 1168.24/1170.32 c current bound: 537 1168.84/1170.92 c current bound: 537 1169.32/1171.50 c current bound: 537 1169.42/1172.08 c current bound: 537 1170.51/1172.66 c current bound: 537 1170.59/1173.24 c current bound: 537 1171.70/1173.82 c current bound: 537 1172.29/1174.40 c current bound: 537 1172.80/1174.98 c current bound: 537 1172.92/1175.57 c current bound: 537 1174.00/1176.14 c current bound: 537 1174.62/1176.72 c current bound: 537 1175.19/1177.30 c current bound: 537 1175.23/1177.88 c current bound: 537 1176.30/1178.46 c current bound: 537 1176.37/1179.03 c current bound: 537 1177.50/1179.61 c current bound: 537 1177.53/1180.19 c current bound: 537 1178.61/1180.76 c current bound: 537 1179.20/1181.34 c current bound: 537 1179.82/1181.92 c current bound: 537 1180.41/1182.50 c current bound: 537 1180.42/1183.08 c current bound: 537 1181.51/1183.66 c current bound: 537 1181.57/1184.24 c current bound: 537 1182.70/1184.82 c current bound: 537 1183.30/1185.40 c current bound: 537 1183.79/1185.97 c current bound: 537 1183.88/1186.55 c current bound: 537 1185.01/1187.13 c current bound: 537 1185.59/1187.71 c current bound: 537 1186.10/1188.28 c current bound: 537 1186.20/1188.86 c current bound: 537 1187.29/1189.44 c current bound: 537 1187.90/1190.02 c current bound: 537 1188.50/1190.60 c current bound: 537 1189.08/1191.22 c current bound: 537 1189.64/1191.80 c current bound: 537 1190.15/1192.38 c current bound: 537 1190.24/1192.96 c current bound: 537 1191.35/1193.54 c current bound: 537 1191.96/1194.12 c current bound: 537 1192.46/1194.69 c current bound: 537 1192.55/1195.27 c current bound: 537 1193.65/1195.85 c current bound: 537 1194.25/1196.42 c current bound: 537 1194.83/1197.00 c current bound: 537 1194.87/1197.58 c current bound: 537 1195.94/1198.16 c current bound: 537 1196.02/1198.74 c current bound: 537 1197.14/1199.32 c current bound: 537 1197.18/1199.89 c current bound: 537 1198.23/1200.47 c current bound: 537 1198.34/1201.05 c current bound: 537 1199.44/1201.63 c current bound: 537 1200.04/1202.21 c current bound: 537 1200.07/1202.79 c current bound: 537 1201.15/1203.36 c current bound: 537 1201.23/1203.94 c current bound: 537 1202.34/1204.52 c current bound: 537 1202.95/1205.10 c current bound: 537 1203.44/1205.68 c current bound: 537 1203.54/1206.25 c current bound: 537 1204.63/1206.83 c current bound: 537 1205.24/1207.41 c current bound: 537 1205.75/1207.99 c current bound: 537 1205.85/1208.57 c current bound: 537 1206.93/1209.14 c current bound: 537 1207.55/1209.72 c current bound: 537 1208.12/1210.30 c current bound: 537 1208.16/1210.88 c current bound: 537 1209.24/1211.46 c current bound: 537 1209.32/1212.04 c current bound: 537 1210.44/1212.62 c current bound: 537 1210.47/1213.20 c current bound: 537 1211.06/1213.83 c current bound: 537 1212.22/1214.41 c current bound: 537 1212.27/1214.99 c current bound: 537 1213.34/1215.57 c current bound: 537 1213.43/1216.15 c current bound: 537 1214.53/1216.73 c current bound: 537 1215.11/1217.30 c current bound: 537 1215.64/1217.88 c current bound: 537 1215.73/1218.46 c current bound: 537 1216.84/1219.04 c current bound: 537 1217.43/1219.61 c current bound: 537 1217.94/1220.19 c current bound: 537 1218.05/1220.77 c current bound: 537 1219.13/1221.37 c current bound: 537 1219.20/1221.95 c current bound: 537 1220.31/1222.52 c current bound: 537 1220.33/1223.10 c current bound: 537 1220.92/1223.68 c current bound: 537 1222.01/1224.26 c current bound: 537 1222.08/1224.83 c current bound: 537 1223.19/1225.41 c current bound: 537 1223.23/1225.99 c current bound: 537 1224.31/1226.56 c current bound: 537 1224.37/1227.14 c current bound: 537 1225.49/1227.72 c current bound: 537 1226.08/1228.30 c current bound: 537 1226.59/1228.88 c current bound: 537 1226.69/1229.46 c current bound: 537 1227.79/1230.04 c current bound: 537 1228.40/1230.61 c current bound: 537 1228.90/1231.19 c current bound: 537 1229.01/1231.77 c current bound: 537 1230.09/1232.35 c current bound: 537 1230.16/1232.93 c current bound: 537 1231.28/1233.50 c current bound: 537 1231.32/1234.08 c current bound: 537 1232.39/1234.66 c current bound: 537 1232.99/1235.24 c current bound: 537 1233.58/1235.82 c current bound: 537 1234.10/1236.39 c current bound: 537 1234.20/1236.97 c current bound: 537 1235.31/1237.55 c current bound: 537 1235.36/1238.13 c current bound: 537 1236.48/1238.71 c current bound: 537 1236.51/1239.28 c current bound: 537 1237.58/1239.86 c current bound: 537 1237.66/1240.44 c current bound: 537 1238.78/1241.01 c current bound: 537 1239.36/1241.62 c current bound: 537 1239.93/1242.20 c current bound: 537 1239.97/1242.78 c current bound: 537 1241.04/1243.36 c current bound: 537 1241.13/1243.94 c current bound: 537 1242.26/1244.52 c current bound: 537 1242.29/1245.10 c current bound: 537 1242.87/1245.68 c current bound: 537 1243.95/1246.25 c current bound: 537 1244.02/1246.83 c current bound: 537 1245.14/1247.41 c current bound: 537 1245.75/1248.00 c current bound: 537 1246.25/1248.58 c current bound: 537 1246.34/1249.15 c current bound: 537 1247.44/1249.73 c current bound: 537 1248.04/1250.31 c current bound: 537 1248.53/1250.89 c current bound: 537 1248.65/1251.47 c current bound: 537 1249.74/1252.05 c current bound: 537 1249.81/1252.63 c current bound: 537 1250.92/1253.21 c current bound: 537 1250.98/1253.78 c current bound: 537 1252.04/1254.36 c current bound: 537 1252.13/1254.94 c current bound: 537 1253.24/1255.51 c current bound: 537 1253.27/1256.09 c current bound: 537 1253.84/1256.73 c current bound: 537 1255.06/1257.30 c current bound: 537 1255.06/1257.89 c current bound: 537 1256.14/1258.46 c current bound: 537 1256.21/1259.04 c current bound: 537 1257.33/1259.62 c current bound: 537 1257.37/1260.19 c current bound: 537 1258.42/1260.77 c current bound: 537 1258.52/1261.35 c current bound: 537 1259.63/1261.93 c current bound: 537 1260.22/1262.51 c current bound: 537 1260.72/1263.09 c current bound: 537 1260.82/1263.67 c current bound: 537 1261.92/1264.24 c current bound: 537 1262.51/1264.82 c current bound: 537 1263.12/1265.40 c current bound: 537 1263.12/1265.98 c current bound: 537 1264.21/1266.55 c current bound: 537 1264.83/1267.13 c current bound: 537 1265.41/1267.70 c current bound: 537 1265.92/1268.29 c current bound: 537 1266.02/1268.87 c current bound: 537 1267.12/1269.45 c current bound: 537 1267.19/1270.02 c current bound: 537 1268.29/1270.60 c current bound: 537 1268.34/1271.18 c current bound: 537 1269.41/1271.76 c current bound: 537 1269.49/1272.34 c current bound: 537 1270.62/1272.92 c current bound: 537 1270.65/1273.50 c current bound: 537 1271.72/1274.07 c current bound: 537 1271.81/1274.65 c current bound: 537 1272.92/1275.23 c current bound: 537 1273.50/1275.81 c current bound: 537 1274.01/1276.39 c current bound: 537 1274.11/1277.00 c current bound: 537 1274.68/1277.57 c current bound: 537 1275.79/1278.15 c current bound: 537 1276.39/1278.73 c current bound: 537 1276.89/1279.30 c current bound: 537 1276.99/1279.88 c current bound: 537 1278.08/1280.46 c current bound: 537 1278.14/1281.04 c current bound: 537 1279.27/1281.62 c current bound: 537 1279.30/1282.19 c current bound: 537 1280.37/1282.77 c current bound: 537 1280.46/1283.35 c current bound: 537 1281.57/1283.92 c current bound: 537 1282.17/1284.51 c current bound: 537 1282.68/1285.09 c current bound: 537 1282.79/1285.67 c current bound: 537 1283.87/1286.25 c current bound: 537 1284.49/1286.82 c current bound: 537 1285.05/1287.40 c current bound: 537 1285.10/1287.98 c current bound: 537 1286.17/1288.56 c current bound: 537 1286.77/1289.14 c current bound: 537 1287.37/1289.72 c current bound: 537 1287.87/1290.30 c current bound: 537 1288.00/1290.87 c current bound: 537 1289.07/1291.45 c current bound: 537 1289.14/1292.03 c current bound: 537 1290.27/1292.61 c current bound: 537 1290.30/1293.19 c current bound: 537 1291.37/1293.77 c current bound: 537 1291.45/1294.35 c current bound: 537 1292.56/1294.93 c current bound: 537 1293.15/1295.50 c current bound: 537 1293.67/1296.08 c current bound: 537 1293.77/1296.65 c current bound: 537 1294.85/1297.25 c current bound: 537 1295.46/1297.82 c current bound: 537 1296.04/1298.40 c current bound: 537 1296.07/1298.99 c current bound: 537 1297.14/1299.57 c current bound: 537 1297.74/1300.14 c current bound: 537 1298.35/1300.72 c current bound: 537 1298.85/1301.30 c current bound: 537 1298.96/1301.88 c current bound: 537 1300.05/1302.46 c current bound: 537 1300.11/1303.04 c current bound: 537 1301.23/1303.61 c current bound: 537 1301.27/1304.19 c current bound: 537 1302.34/1304.77 c current bound: 537 1302.42/1305.35 c current bound: 537 1303.55/1305.92 c current bound: 537 1304.12/1306.50 c current bound: 537 1304.65/1307.08 c current bound: 537 1304.74/1307.66 c current bound: 537 1305.83/1308.24 c current bound: 537 1306.43/1308.82 c current bound: 537 1306.93/1309.39 c current bound: 537 1307.04/1309.97 c current bound: 537 1308.14/1310.55 c current bound: 537 1308.76/1311.13 c current bound: 537 1309.34/1311.70 c current bound: 537 1309.84/1312.28 c current bound: 537 1309.93/1312.86 c current bound: 537 1311.05/1313.44 c current bound: 537 1311.63/1314.02 c current bound: 537 1312.15/1314.59 c current bound: 537 1312.24/1315.17 c current bound: 537 1313.33/1315.75 c current bound: 537 1313.40/1316.33 c current bound: 537 1314.53/1316.90 c current bound: 537 1314.57/1317.49 c current bound: 537 1315.62/1318.07 c current bound: 537 1315.72/1318.65 c current bound: 537 1316.83/1319.22 c current bound: 537 1317.42/1319.80 c current bound: 537 1317.92/1320.38 c current bound: 537 1318.02/1320.96 c current bound: 537 1319.13/1321.54 c current bound: 537 1319.73/1322.12 c current bound: 537 1320.31/1322.70 c current bound: 537 1320.82/1323.28 c current bound: 537 1320.91/1323.85 c current bound: 537 1322.03/1324.44 c current bound: 537 1322.62/1325.02 c current bound: 537 1323.13/1325.59 c current bound: 537 1323.23/1326.17 c current bound: 537 1324.33/1326.75 c current bound: 537 1324.39/1327.33 c current bound: 537 1325.51/1327.91 c current bound: 537 1325.55/1328.49 c current bound: 537 1326.60/1329.07 c current bound: 537 1326.70/1329.65 c current bound: 537 1327.29/1330.23 c current bound: 537 1328.41/1330.81 c current bound: 537 1328.92/1331.39 c current bound: 537 1329.02/1331.96 c current bound: 537 1330.13/1332.58 c current bound: 537 1330.68/1333.16 c current bound: 537 1330.76/1333.74 c current bound: 537 1331.87/1334.32 c current bound: 537 1331.91/1334.89 c current bound: 537 1332.99/1335.48 c current bound: 537 1333.08/1336.06 c current bound: 537 1334.19/1336.63 c current bound: 537 1334.76/1337.21 c current bound: 537 1335.28/1337.79 c current bound: 537 1335.38/1338.37 c current bound: 537 1336.47/1338.95 c current bound: 537 1336.54/1339.53 c current bound: 537 1337.65/1340.11 c current bound: 537 1337.69/1340.69 c current bound: 537 1338.76/1341.27 c current bound: 537 1338.86/1341.85 c current bound: 537 1339.97/1342.42 c current bound: 537 1340.02/1343.00 c current bound: 537 1340.58/1343.58 c current bound: 537 1341.68/1344.15 c current bound: 537 1341.74/1344.73 c current bound: 537 1342.86/1345.31 c current bound: 537 1343.47/1345.90 c current bound: 537 1343.97/1346.48 c current bound: 537 1344.05/1347.06 c current bound: 537 1345.16/1347.64 c current bound: 537 1345.76/1348.22 c current bound: 537 1346.38/1348.80 c current bound: 537 1346.38/1349.37 c current bound: 537 1347.45/1349.95 c current bound: 537 1347.54/1350.53 c current bound: 537 1348.65/1351.11 c current bound: 537 1348.70/1351.69 c current bound: 537 1349.76/1352.26 c current bound: 537 1349.85/1352.84 c current bound: 537 1350.96/1353.42 c current bound: 537 1351.01/1353.99 c current bound: 537 1351.58/1354.63 c current bound: 537 1352.75/1355.21 c current bound: 537 1352.79/1355.79 c current bound: 537 1353.86/1356.36 c current bound: 537 1353.94/1356.94 c current bound: 537 1355.06/1357.52 c current bound: 537 1355.67/1358.10 c current bound: 537 1356.17/1358.68 c current bound: 537 1356.25/1359.26 c current bound: 537 1357.37/1359.84 c current bound: 537 1357.96/1360.42 c current bound: 537 1358.56/1361.00 c current bound: 537 1358.57/1361.58 c current bound: 537 1359.66/1362.16 c current bound: 537 1359.73/1362.73 c current bound: 537 1360.85/1363.31 c current bound: 537 1360.89/1363.89 c current bound: 537 1361.48/1364.47 c current bound: 537 1362.56/1365.06 c current bound: 537 1362.64/1365.64 c current bound: 537 1363.77/1366.21 c current bound: 537 1363.80/1366.79 c current bound: 537 1364.87/1367.36 c current bound: 537 1365.52/1368.05 c current bound: 537 1366.05/1368.63 c current bound: 537 1366.64/1369.21 c current bound: 537 1367.16/1369.78 c current bound: 537 1367.26/1370.36 c current bound: 537 1368.37/1370.94 c current bound: 537 1368.97/1371.52 c current bound: 537 1369.57/1372.10 c current bound: 537 1369.57/1372.68 c current bound: 537 1370.66/1373.26 c current bound: 537 1371.26/1373.83 c current bound: 537 1371.84/1374.41 c current bound: 537 1372.36/1374.98 c current bound: 537 1372.46/1375.56 c current bound: 537 1373.57/1376.14 c current bound: 537 1374.16/1376.72 c current bound: 537 1374.78/1377.30 c current bound: 537 1374.78/1377.88 c current bound: 537 1375.88/1378.46 c current bound: 537 1375.94/1379.03 c current bound: 537 1377.06/1379.61 c current bound: 537 1377.10/1380.19 c current bound: 537 1378.16/1380.76 c current bound: 537 1378.26/1381.34 c current bound: 537 1379.36/1381.91 c current bound: 537 1379.41/1382.49 c current bound: 537 1380.55/1383.11 c current bound: 537 1380.55/1383.68 c current bound: 537 1381.62/1384.26 c current bound: 537 1382.22/1384.83 c current bound: 537 1382.82/1385.41 c current bound: 537 1383.33/1385.99 c current bound: 537 1383.44/1386.57 c current bound: 537 1384.53/1387.15 c current bound: 537 1384.59/1387.73 c current bound: 537 1385.72/1388.31 c current bound: 537 1385.75/1388.88 c current bound: 537 1386.82/1389.46 c current bound: 537 1386.89/1390.04 c current bound: 537 1388.01/1390.61 c current bound: 537 1388.04/1391.19 c current bound: 537 1389.11/1391.77 c current bound: 537 1389.20/1392.35 c current bound: 537 1390.31/1392.93 c current bound: 537 1390.91/1393.51 c current bound: 537 1391.40/1394.08 c current bound: 537 1391.52/1394.66 c current bound: 537 1392.61/1395.24 c current bound: 537 1393.21/1395.82 c current bound: 537 1393.24/1396.39 c current bound: 537 1394.31/1396.97 c current bound: 537 1394.40/1397.55 c current bound: 537 1395.53/1398.13 c current bound: 537 1396.10/1398.70 c current bound: 537 1396.62/1399.28 c current bound: 537 1396.71/1399.85 c current bound: 537 1397.81/1400.43 c current bound: 537 1398.40/1401.01 c current bound: 537 1398.90/1401.58 c current bound: 537 1399.01/1402.16 c current bound: 537 1400.10/1402.74 c current bound: 537 1400.70/1403.35 c current bound: 537 1401.27/1403.93 c current bound: 537 1401.89/1404.50 c current bound: 537 1402.37/1405.08 c current bound: 537 1402.46/1405.65 c current bound: 537 1403.57/1406.23 c current bound: 537 1404.17/1406.81 c current bound: 537 1404.19/1407.39 c current bound: 537 1405.26/1407.97 c current bound: 537 1405.36/1408.54 c current bound: 537 1406.47/1409.13 c current bound: 537 1407.05/1409.70 c current bound: 537 1407.57/1410.28 c current bound: 537 1407.67/1410.86 c current bound: 537 1408.76/1411.44 c current bound: 537 1409.36/1412.02 c current bound: 537 1409.96/1412.60 c current bound: 537 1409.99/1413.17 c current bound: 537 1411.08/1413.75 c current bound: 537 1411.68/1414.33 c current bound: 537 1412.26/1414.90 c current bound: 537 1412.30/1415.48 c current bound: 537 1413.37/1416.06 c current bound: 537 1413.45/1416.64 c current bound: 537 1414.57/1417.21 c current bound: 537 1414.59/1417.78 c current bound: 537 1415.67/1418.36 c current bound: 537 1416.27/1418.94 c current bound: 537 1416.87/1419.52 c current bound: 537 1417.38/1420.10 c current bound: 537 1417.48/1420.67 c current bound: 537 1418.58/1421.25 c current bound: 537 1419.18/1421.83 c current bound: 537 1419.76/1422.41 c current bound: 537 1419.80/1422.99 c current bound: 537 1420.94/1423.60 c current bound: 537 1420.94/1424.18 c current bound: 537 1422.01/1424.76 c current bound: 537 1422.10/1425.34 c current bound: 537 1423.22/1425.91 c current bound: 537 1423.27/1426.49 c current bound: 537 1424.32/1427.07 c current bound: 537 1424.42/1427.65 c current bound: 537 1425.53/1428.22 c current bound: 537 1425.55/1428.80 c current bound: 537 1426.14/1429.38 c current bound: 537 1427.22/1429.96 c current bound: 537 1427.29/1430.54 c current bound: 537 1428.41/1431.12 c current bound: 537 1428.45/1431.69 c current bound: 537 1429.52/1432.27 c current bound: 537 1429.61/1432.85 c current bound: 537 1430.72/1433.43 c current bound: 537 1431.31/1434.01 c current bound: 537 1431.82/1434.58 c current bound: 537 1431.92/1435.17 c current bound: 537 1433.01/1435.74 c current bound: 537 1433.62/1436.32 c current bound: 537 1434.21/1436.90 c current bound: 537 1434.23/1437.47 c current bound: 537 1435.31/1438.05 c current bound: 537 1435.38/1438.66 c current bound: 537 1436.48/1439.24 c current bound: 537 1437.09/1439.82 c current bound: 537 1437.11/1440.39 c current bound: 537 1438.19/1440.97 c current bound: 537 1438.27/1441.55 c current bound: 537 1439.38/1442.13 c current bound: 537 1439.96/1442.71 c current bound: 537 1440.48/1443.28 c current bound: 537 1440.58/1443.86 c current bound: 537 1441.67/1444.44 c current bound: 537 1442.28/1445.02 c current bound: 537 1442.88/1445.60 c current bound: 537 1442.90/1446.18 c current bound: 537 1443.97/1446.75 c current bound: 537 1444.05/1447.33 c current bound: 537 1445.16/1447.90 c current bound: 537 1445.20/1448.48 c current bound: 537 1446.28/1449.06 c current bound: 537 1446.34/1449.64 c current bound: 537 1447.46/1450.21 c current bound: 537 1447.49/1450.79 c current bound: 537 1448.56/1451.36 c current bound: 537 1449.18/1451.94 c current bound: 537 1449.78/1452.52 c current bound: 537 1450.27/1453.10 c current bound: 537 1450.38/1453.67 c current bound: 537 1451.48/1454.25 c current bound: 537 1451.54/1454.82 c current bound: 537 1452.66/1455.40 c current bound: 537 1452.69/1455.98 c current bound: 537 1453.76/1456.55 c current bound: 537 1453.83/1457.13 c current bound: 537 1454.96/1457.71 c current bound: 537 1455.01/1458.29 c current bound: 537 1456.06/1458.87 c current bound: 537 1456.16/1459.44 c current bound: 537 1457.27/1460.02 c current bound: 537 1457.87/1460.60 c current bound: 537 1458.36/1461.18 c current bound: 537 1458.46/1461.76 c current bound: 537 1459.56/1462.34 c current bound: 537 1460.17/1462.91 c current bound: 537 1460.20/1463.49 c current bound: 537 1461.26/1464.07 c current bound: 537 1461.36/1464.65 c current bound: 537 1462.46/1465.22 c current bound: 537 1463.05/1465.80 c current bound: 537 1463.56/1466.38 c current bound: 537 1463.66/1466.96 c current bound: 537 1464.74/1467.54 c current bound: 537 1465.35/1468.12 c current bound: 537 1465.97/1468.70 c current bound: 537 1465.97/1469.27 c current bound: 537 1467.05/1469.85 c current bound: 537 1467.12/1470.43 c current bound: 537 1468.23/1471.01 c current bound: 537 1468.28/1471.58 c current bound: 537 1469.34/1472.16 c current bound: 537 1469.42/1472.74 c current bound: 537 1470.54/1473.33 c current bound: 537 1471.16/1473.90 c current bound: 537 1471.18/1474.48 c current bound: 537 1472.25/1475.07 c current bound: 537 1472.33/1475.65 c current bound: 537 1473.46/1476.22 c current bound: 537 1474.02/1476.80 c current bound: 537 1474.55/1477.37 c current bound: 537 1474.63/1477.95 c current bound: 537 1475.74/1478.53 c current bound: 537 1476.35/1479.11 c current bound: 537 1476.85/1479.68 c current bound: 537 1476.95/1480.25 c current bound: 537 1478.04/1480.83 c current bound: 537 1478.64/1481.41 c current bound: 537 1479.14/1481.98 c current bound: 537 1479.23/1482.56 c current bound: 537 1480.34/1483.13 c current bound: 537 1480.94/1483.71 c current bound: 537 1481.46/1484.29 c current bound: 537 1481.55/1484.87 c current bound: 537 1482.65/1485.45 c current bound: 537 1483.26/1486.02 c current bound: 537 1483.86/1486.60 c current bound: 537 1484.35/1487.18 c current bound: 537 1484.44/1487.76 c current bound: 537 1485.56/1488.34 c current bound: 537 1486.15/1488.92 c current bound: 537 1486.65/1489.49 c current bound: 537 1486.76/1490.07 c current bound: 537 1487.85/1490.65 c current bound: 537 1487.92/1491.23 c current bound: 537 1489.04/1491.81 c current bound: 537 1489.08/1492.39 c current bound: 537 1490.16/1492.97 c current bound: 537 1490.24/1493.55 c current bound: 537 1491.35/1494.13 c current bound: 537 1491.94/1494.70 c current bound: 537 1492.46/1495.28 c current bound: 537 1492.54/1495.85 c current bound: 537 1493.64/1496.43 c current bound: 537 1494.24/1497.01 c current bound: 537 1494.26/1497.59 c current bound: 537 1495.36/1498.17 c current bound: 537 1495.44/1498.75 c current bound: 537 1496.55/1499.32 c current bound: 537 1497.13/1499.90 c current bound: 537 1497.65/1500.48 c current bound: 537 1497.75/1501.05 c current bound: 537 1498.84/1501.63 c current bound: 537 1499.44/1502.20 c current bound: 537 1499.94/1502.78 c current bound: 537 1500.04/1503.36 c current bound: 537 1501.14/1503.94 c current bound: 537 1501.74/1504.55 c current bound: 537 1502.32/1505.14 c current bound: 537 1502.90/1505.71 c current bound: 537 1503.41/1506.29 c current bound: 537 1503.52/1506.87 c current bound: 537 1504.60/1507.44 c current bound: 537 1505.21/1508.01 c current bound: 537 1505.23/1508.59 c current bound: 537 1506.30/1509.17 c current bound: 537 1506.39/1509.75 c current bound: 537 1507.51/1510.33 c current bound: 537 1508.09/1510.91 c current bound: 537 1508.61/1511.48 c current bound: 537 1508.71/1512.07 c current bound: 537 1509.79/1512.65 c current bound: 537 1510.41/1513.22 c current bound: 537 1510.98/1513.80 c current bound: 537 1511.02/1514.38 c current bound: 537 1512.10/1514.96 c current bound: 537 1512.17/1515.54 c current bound: 537 1513.31/1516.12 c current bound: 537 1513.34/1516.69 c current bound: 537 1514.41/1517.28 c current bound: 537 1514.50/1517.86 c current bound: 537 1515.60/1518.44 c current bound: 537 1516.20/1519.01 c current bound: 537 1516.23/1519.59 c current bound: 537 1517.30/1520.17 c current bound: 537 1517.38/1520.74 c current bound: 537 1518.50/1521.32 c current bound: 537 1519.11/1521.90 c current bound: 537 1519.61/1522.48 c current bound: 537 1519.69/1523.06 c current bound: 537 1520.79/1523.63 c current bound: 537 1521.39/1524.21 c current bound: 537 1521.87/1524.79 c current bound: 537 1522.00/1525.37 c current bound: 537 1523.09/1525.95 c current bound: 537 1523.16/1526.53 c current bound: 537 1524.28/1527.11 c current bound: 537 1524.33/1527.68 c current bound: 537 1525.40/1528.26 c current bound: 537 1525.46/1528.84 c current bound: 537 1526.60/1529.42 c current bound: 537 1526.63/1530.00 c current bound: 537 1527.20/1530.58 c current bound: 537 1528.29/1531.16 c current bound: 537 1528.37/1531.73 c current bound: 537 1529.49/1532.31 c current bound: 537 1529.52/1532.88 c current bound: 537 1530.60/1533.46 c current bound: 537 1530.67/1534.04 c current bound: 537 1531.79/1534.62 c current bound: 537 1531.83/1535.19 c current bound: 537 1532.89/1535.77 c current bound: 537 1532.97/1536.35 c current bound: 537 1534.10/1536.92 c current bound: 537 1534.68/1537.50 c current bound: 537 1535.18/1538.08 c current bound: 537 1535.29/1538.65 c current bound: 537 1536.39/1539.23 c current bound: 537 1536.98/1539.80 c current bound: 537 1537.48/1540.38 c current bound: 537 1537.59/1540.96 c current bound: 537 1538.68/1541.53 c current bound: 537 1539.30/1542.11 c current bound: 537 1539.31/1542.69 c current bound: 537 1540.38/1543.27 c current bound: 537 1540.47/1543.85 c current bound: 537 1541.59/1544.43 c current bound: 537 1542.17/1545.01 c current bound: 537 1542.69/1545.59 c current bound: 537 1542.78/1546.16 c current bound: 537 1543.87/1546.74 c current bound: 537 1544.47/1547.32 c current bound: 537 1544.97/1547.89 c current bound: 537 1545.08/1548.47 c current bound: 537 1546.16/1549.05 c current bound: 537 1546.24/1549.63 c current bound: 537 1547.36/1550.20 c current bound: 537 1547.40/1550.78 c current bound: 537 1548.46/1551.36 c current bound: 537 1548.55/1551.94 c current bound: 537 1549.67/1552.52 c current bound: 537 1549.70/1553.10 c current bound: 537 1550.28/1553.67 c current bound: 537 1551.38/1554.25 c current bound: 537 1551.97/1554.82 c current bound: 537 1552.48/1555.40 c current bound: 537 1552.59/1555.98 c current bound: 537 1553.67/1556.55 c current bound: 537 1553.74/1557.13 c current bound: 537 1554.85/1557.71 c current bound: 537 1554.89/1558.28 c current bound: 537 1555.95/1558.86 c current bound: 537 1556.04/1559.44 c current bound: 537 1557.17/1560.02 c current bound: 537 1557.77/1560.60 c current bound: 537 1558.26/1561.18 c current bound: 537 1558.35/1561.75 c current bound: 537 1559.47/1562.33 c current bound: 537 1560.05/1562.91 c current bound: 537 1560.56/1563.49 c current bound: 537 1560.66/1564.06 c current bound: 537 1561.75/1564.64 c current bound: 537 1562.36/1565.25 c current bound: 537 1562.40/1565.83 c current bound: 537 1563.51/1566.41 c current bound: 537 1563.56/1566.99 c current bound: 537 1564.63/1567.56 c current bound: 537 1564.71/1568.14 c current bound: 537 1565.84/1568.72 c current bound: 537 1566.42/1569.30 c current bound: 537 1566.93/1569.88 c current bound: 537 1567.03/1570.45 c current bound: 537 1568.12/1571.03 c current bound: 537 1568.72/1571.61 c current bound: 537 1569.24/1572.19 c current bound: 537 1569.34/1572.77 c current bound: 537 1570.43/1573.35 c current bound: 537 1571.04/1573.92 c current bound: 537 1571.61/1574.50 c current bound: 537 1571.65/1575.08 c current bound: 537 1572.71/1575.66 c current bound: 537 1573.34/1576.24 c current bound: 537 1573.92/1576.81 c current bound: 537 1574.43/1577.39 c current bound: 537 1574.53/1577.97 c current bound: 537 1575.61/1578.55 c current bound: 537 1576.23/1579.13 c current bound: 537 1576.80/1579.70 c current bound: 537 1576.84/1580.28 c current bound: 537 1577.91/1580.85 c current bound: 537 1577.99/1581.43 c current bound: 537 1579.11/1582.01 c current bound: 537 1579.16/1582.59 c current bound: 537 1580.22/1583.17 c current bound: 537 1580.31/1583.75 c current bound: 537 1581.43/1584.32 c current bound: 537 1581.99/1584.90 c current bound: 537 1582.51/1585.48 c current bound: 537 1582.61/1586.06 c current bound: 537 1583.72/1586.64 c current bound: 537 1584.31/1587.21 c current bound: 537 1584.35/1587.79 c current bound: 537 1585.42/1588.37 c current bound: 537 1585.50/1588.95 c current bound: 537 1586.62/1589.52 c current bound: 537 1587.21/1590.10 c current bound: 537 1587.71/1590.68 c current bound: 537 1587.79/1591.25 c current bound: 537 1588.90/1591.83 c current bound: 537 1589.49/1592.41 c current bound: 537 1590.01/1592.98 c current bound: 537 1590.11/1593.56 c current bound: 537 1591.20/1594.14 c current bound: 537 1591.81/1594.71 c current bound: 537 1592.31/1595.29 c current bound: 537 1592.41/1595.87 c current bound: 537 1593.49/1596.44 c current bound: 537 1594.10/1597.01 c current bound: 537 1594.60/1597.58 c current bound: 537 1594.71/1598.16 c current bound: 537 1595.79/1598.74 c current bound: 537 1596.40/1599.31 c current bound: 537 1596.43/1599.89 c current bound: 537 1597.50/1600.47 c current bound: 537 1597.60/1601.05 c current bound: 537 1598.71/1601.62 c current bound: 537 1599.30/1602.20 c current bound: 537 1599.80/1602.78 c current bound: 537 1599.91/1603.35 c current bound: 537 1601.01/1603.93 c current bound: 537 1601.59/1604.51 c current bound: 537 1602.10/1605.09 c current bound: 537 1602.21/1605.67 c current bound: 537 1603.31/1606.24 c current bound: 537 1603.91/1606.82 c current bound: 537 1604.50/1607.40 c current bound: 537 1604.53/1607.98 c current bound: 537 1605.62/1608.56 c current bound: 537 1605.69/1609.14 c current bound: 537 1606.80/1609.71 c current bound: 537 1606.84/1610.29 c current bound: 537 1607.91/1610.86 c current bound: 537 1608.51/1611.44 c current bound: 537 1609.12/1612.02 c current bound: 537 1609.60/1612.60 c current bound: 537 1609.72/1613.17 c current bound: 537 1610.82/1613.75 c current bound: 537 1611.41/1614.33 c current bound: 537 1611.99/1614.90 c current bound: 537 1612.01/1615.48 c current bound: 537 1613.10/1616.06 c current bound: 537 1613.17/1616.64 c current bound: 537 1614.30/1617.22 c current bound: 537 1614.33/1617.79 c current bound: 537 1615.40/1618.37 c current bound: 537 1615.49/1618.94 c current bound: 537 1616.60/1619.52 c current bound: 537 1616.64/1620.09 c current bound: 537 1617.69/1620.67 c current bound: 537 1617.78/1621.24 c current bound: 537 1618.90/1621.82 c current bound: 537 1618.94/1622.40 c current bound: 537 1619.51/1622.97 c current bound: 537 1620.59/1623.55 c current bound: 537 1620.66/1624.13 c current bound: 537 1621.80/1624.70 c current bound: 537 1621.82/1625.28 c current bound: 537 1622.91/1625.86 c current bound: 537 1622.96/1626.43 c current bound: 537 1624.09/1627.01 c current bound: 537 1624.12/1627.59 c current bound: 537 1625.18/1628.17 c current bound: 537 1625.28/1628.74 c current bound: 537 1626.39/1629.32 c current bound: 537 1626.44/1629.90 c current bound: 537 1627.49/1630.47 c current bound: 537 1627.59/1631.05 c current bound: 537 1628.70/1631.62 c current bound: 537 1629.28/1632.20 c current bound: 537 1629.79/1632.78 c current bound: 537 1629.89/1633.36 c current bound: 537 1630.99/1633.94 c current bound: 537 1631.58/1634.51 c current bound: 537 1631.62/1635.09 c current bound: 537 1632.70/1635.67 c current bound: 537 1632.78/1636.24 c current bound: 537 1633.91/1636.82 c current bound: 537 1634.49/1637.40 c current bound: 537 1635.01/1637.98 c current bound: 537 1635.09/1638.56 c current bound: 537 1636.20/1639.14 c current bound: 537 1636.79/1639.72 c current bound: 537 1637.40/1640.30 c current bound: 537 1637.96/1640.90 c current bound: 537 1638.48/1641.48 c current bound: 537 1638.57/1642.06 c current bound: 537 1639.68/1642.64 c current bound: 537 1640.28/1643.22 c current bound: 537 1640.77/1643.79 c current bound: 537 1640.89/1644.36 c current bound: 537 1641.98/1644.94 c current bound: 537 1642.58/1645.51 c current bound: 537 1642.61/1646.09 c current bound: 537 1643.69/1646.67 c current bound: 537 1643.77/1647.25 c current bound: 537 1644.88/1647.82 c current bound: 537 1645.47/1648.41 c current bound: 537 1645.98/1648.99 c current bound: 537 1646.09/1649.56 c current bound: 537 1647.19/1650.14 c current bound: 537 1647.78/1650.71 c current bound: 537 1648.29/1651.29 c current bound: 537 1648.39/1651.87 c current bound: 537 1649.48/1652.44 c current bound: 537 1650.08/1653.01 c current bound: 537 1650.57/1653.59 c current bound: 537 1650.68/1654.17 c current bound: 537 1651.77/1654.74 c current bound: 537 1652.37/1655.32 c current bound: 537 1652.97/1655.90 c current bound: 537 1653.00/1656.48 c current bound: 537 1654.08/1657.05 c current bound: 537 1654.69/1657.62 c current bound: 537 1655.27/1658.20 c current bound: 537 1655.78/1658.78 c current bound: 537 1655.88/1659.36 c current bound: 537 1656.97/1659.94 c current bound: 537 1657.57/1660.52 c current bound: 537 1658.18/1661.12 c current bound: 537 1658.18/1661.69 c current bound: 537 1659.25/1662.27 c current bound: 537 1659.34/1662.85 c current bound: 537 1660.46/1663.43 c current bound: 537 1661.04/1664.01 c current bound: 537 1661.55/1664.59 c current bound: 537 1661.65/1665.16 c current bound: 537 1662.74/1665.74 c current bound: 537 1663.35/1666.32 c current bound: 537 1663.95/1666.90 c current bound: 537 1663.96/1667.47 c current bound: 537 1665.05/1668.06 c current bound: 537 1665.65/1668.64 c current bound: 537 1666.24/1669.21 c current bound: 537 1666.74/1669.79 c current bound: 537 1666.86/1670.36 c current bound: 537 1667.95/1670.94 c current bound: 537 1668.54/1671.52 c current bound: 537 1669.15/1672.10 c current bound: 537 1669.16/1672.67 c current bound: 537 1670.26/1673.25 c current bound: 537 1670.31/1673.83 c current bound: 537 1671.44/1674.42 c current bound: 537 1671.48/1674.99 c current bound: 537 1672.54/1675.57 c current bound: 537 1672.63/1676.15 c current bound: 537 1673.74/1676.73 c current bound: 537 1674.33/1677.30 c current bound: 537 1674.84/1677.88 c current bound: 537 1674.94/1678.46 c current bound: 537 1676.04/1679.03 c current bound: 537 1676.63/1679.61 c current bound: 537 1676.66/1680.19 c current bound: 537 1677.74/1680.77 c current bound: 537 1677.82/1681.35 c current bound: 537 1678.93/1681.93 c current bound: 537 1679.52/1682.51 c current bound: 537 1680.05/1683.09 c current bound: 537 1680.14/1683.67 c current bound: 537 1681.22/1684.24 c current bound: 537 1681.83/1684.82 c current bound: 537 1682.43/1685.40 c current bound: 537 1682.44/1685.98 c current bound: 537 1683.51/1686.56 c current bound: 537 1683.60/1687.14 c current bound: 537 1684.73/1687.71 c current bound: 537 1684.76/1688.29 c current bound: 537 1685.82/1688.87 c current bound: 537 1685.92/1689.45 c current bound: 537 1687.02/1690.03 c current bound: 537 1687.63/1690.61 c current bound: 537 1687.66/1691.19 c current bound: 537 1688.74/1691.77 c current bound: 537 1688.81/1692.35 c current bound: 537 1689.93/1692.93 c current bound: 537 1690.51/1693.50 c current bound: 537 1691.02/1694.09 c current bound: 537 1691.13/1694.66 c current bound: 537 1692.21/1695.24 c current bound: 537 1692.82/1695.82 c current bound: 537 1693.40/1696.40 c current bound: 537 1693.42/1696.98 c current bound: 537 1694.52/1697.56 c current bound: 537 1694.59/1698.13 c current bound: 537 1695.71/1698.71 c current bound: 537 1695.74/1699.28 c current bound: 537 1696.81/1699.86 c current bound: 537 1696.89/1700.44 c current bound: 537 1698.03/1701.02 c current bound: 537 1698.63/1701.62 c current bound: 537 1698.64/1702.19 c current bound: 537 1699.70/1702.77 c current bound: 537 1699.78/1703.34 c current bound: 537 1700.91/1703.92 c current bound: 537 1701.51/1704.50 c current bound: 537 1702.01/1705.08 c current bound: 537 1702.09/1705.66 c current bound: 537 1703.21/1706.24 c current bound: 537 1703.80/1706.82 c current bound: 537 1704.30/1707.39 c current bound: 537 1704.41/1707.97 c current bound: 537 1705.48/1708.56 c current bound: 537 1705.58/1709.13 c current bound: 537 1706.69/1709.71 c current bound: 537 1706.73/1710.29 c current bound: 537 1707.80/1710.87 c current bound: 537 1707.89/1711.45 c current bound: 537 1709.00/1712.03 c current bound: 537 1709.59/1712.61 c current bound: 537 1709.63/1713.19 c current bound: 537 1710.70/1713.77 c current bound: 537 1710.79/1714.35 c current bound: 537 1711.90/1714.92 c current bound: 537 1712.49/1715.50 c current bound: 537 1713.00/1716.08 c current bound: 537 1713.09/1716.65 c current bound: 537 1714.18/1717.24 c current bound: 537 1714.80/1717.82 c current bound: 537 1715.30/1718.39 c current bound: 537 1715.40/1718.97 c current bound: 537 1716.49/1719.55 c current bound: 537 1717.10/1720.12 c current bound: 537 1717.70/1720.70 c current bound: 537 1717.70/1721.28 c current bound: 537 1718.79/1721.86 c current bound: 537 1718.87/1722.43 c current bound: 537 1719.99/1723.01 c current bound: 537 1720.03/1723.59 c current bound: 537 1720.60/1724.16 c current bound: 537 1721.70/1724.74 c current bound: 537 1722.30/1725.32 c current bound: 537 1722.79/1725.89 c current bound: 537 1722.90/1726.47 c current bound: 537 1724.00/1727.05 c current bound: 537 1724.05/1727.63 c current bound: 537 1725.17/1728.21 c current bound: 537 1725.22/1728.79 c current bound: 537 1726.28/1729.36 c current bound: 537 1726.38/1729.94 c current bound: 537 1727.49/1730.52 c current bound: 537 1728.09/1731.10 c current bound: 537 1728.58/1731.67 c current bound: 537 1728.66/1732.25 c current bound: 537 1729.78/1732.83 c current bound: 537 1730.36/1733.40 c current bound: 537 1730.87/1733.98 c current bound: 537 1730.96/1734.56 c current bound: 537 1732.07/1735.13 c current bound: 537 1732.68/1735.71 c current bound: 537 1732.71/1736.29 c current bound: 537 1733.79/1736.87 c current bound: 537 1733.86/1737.45 c current bound: 537 1734.98/1738.03 c current bound: 537 1735.56/1738.60 c current bound: 537 1736.08/1739.18 c current bound: 537 1736.18/1739.76 c current bound: 537 1737.27/1740.33 c current bound: 537 1737.86/1740.91 c current bound: 537 1738.38/1741.49 c current bound: 537 1738.48/1742.07 c current bound: 537 1739.57/1742.65 c current bound: 537 1739.64/1743.23 c current bound: 537 1740.77/1743.81 c current bound: 537 1740.81/1744.39 c current bound: 537 1741.87/1744.97 c current bound: 537 1741.96/1745.55 c current bound: 537 1743.07/1746.13 c current bound: 537 1743.67/1746.71 c current bound: 537 1743.71/1747.29 c current bound: 537 1744.78/1747.86 c current bound: 537 1744.85/1748.44 c current bound: 537 1745.97/1749.02 c current bound: 537 1746.58/1749.60 c current bound: 537 1747.07/1750.18 c current bound: 537 1747.17/1750.76 c current bound: 537 1748.26/1751.34 c current bound: 537 1748.87/1751.91 c current bound: 537 1749.48/1752.50 c current bound: 537 1749.49/1753.07 c current bound: 537 1750.58/1753.65 c current bound: 537 1750.63/1754.23 c current bound: 537 1751.76/1754.81 c current bound: 537 1751.80/1755.39 c current bound: 537 1752.86/1755.96 c current bound: 537 1752.95/1756.54 c current bound: 537 1754.07/1757.12 c current bound: 537 1754.11/1757.70 c current bound: 537 1754.68/1758.28 c current bound: 537 1755.78/1758.85 c current bound: 537 1755.84/1759.43 c current bound: 537 1756.97/1760.01 c current bound: 537 1757.01/1760.58 c current bound: 537 1758.08/1761.16 c current bound: 537 1758.16/1761.74 c current bound: 537 1759.28/1762.32 c current bound: 537 1759.88/1762.90 c current bound: 537 1760.36/1763.47 c current bound: 537 1760.46/1764.05 c current bound: 537 1761.57/1764.63 c current bound: 537 1762.16/1765.21 c current bound: 537 1762.69/1765.79 c current bound: 537 1762.79/1766.37 c current bound: 537 1763.89/1766.95 c current bound: 537 1763.95/1767.53 c current bound: 537 1765.06/1768.10 c current bound: 537 1765.10/1768.68 c current bound: 537 1766.17/1769.25 c current bound: 537 1766.78/1769.82 c current bound: 537 1767.36/1770.40 c current bound: 537 1767.89/1770.98 c current bound: 537 1767.98/1771.56 c current bound: 537 1769.08/1772.14 c current bound: 537 1769.67/1772.72 c current bound: 537 1770.28/1773.30 c current bound: 537 1770.29/1773.87 c current bound: 537 1771.37/1774.45 c current bound: 537 1771.44/1775.03 c current bound: 537 1772.58/1775.62 c current bound: 537 1772.61/1776.19 c current bound: 537 1773.68/1776.77 c current bound: 537 1773.77/1777.35 c current bound: 537 1774.88/1777.93 c current bound: 537 1775.46/1778.50 c current bound: 537 1775.97/1779.08 c current bound: 537 1776.08/1779.66 c current bound: 537 1777.18/1780.24 c current bound: 537 1777.77/1780.82 c current bound: 537 1778.39/1781.40 c current bound: 537 1778.88/1781.98 c current bound: 537 1778.97/1782.57 c current bound: 537 1780.08/1783.15 c current bound: 537 1780.67/1783.72 c current bound: 537 1781.26/1784.31 c current bound: 537 1781.28/1784.89 c current bound: 537 1782.36/1785.47 c current bound: 537 1782.44/1786.04 c current bound: 537 1783.57/1786.62 c current bound: 537 1784.15/1787.20 c current bound: 537 1784.66/1787.78 c current bound: 537 1784.76/1788.36 c current bound: 537 1785.85/1788.94 c current bound: 537 1786.46/1789.52 c current bound: 537 1787.05/1790.10 c current bound: 537 1787.07/1790.67 c current bound: 537 1788.15/1791.25 c current bound: 537 1788.77/1791.83 c current bound: 537 1789.34/1792.41 c current bound: 537 1789.85/1792.98 c current bound: 537 1789.95/1793.56 c current bound: 537 1791.05/1794.14 c current bound: 537 1791.65/1794.71 c current bound: 537 1792.14/1795.29 c current bound: 537 1792.25/1795.87 c current bound: 537 1793.33/1796.45 c current bound: 537 1793.41/1797.03 c current bound: 537 1794.52/1797.60 c current bound: 537 1794.56/1798.18 c current bound: 537 1795.64/1798.76 c current bound: 537 1795.71/1799.33 c current bound: 537 1796.84/1799.91 c current bound: 537 1796.87/1800.49 c current bound: 537 1797.94/1801.07 c current bound: 537 1798.03/1801.65 c current bound: 537 1799.15/1802.20 HOME/npSolver-wbo-Itdqb.sh: line 18: 26344 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-3715639-1338190972/watcher-3715639-1338190972 -o /tmp/evaluation-result-3715639-1338190972/solver-3715639-1338190972 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715639-1338190972.wbo 478727890 HOME HOME running on 4 cores: 0,2,4,6 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: 1.58 1.65 1.65 2/179 26343 /proc/meminfo: memFree=28863716/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [startup+0.0412089 s] /proc/loadavg: 1.58 1.65 1.65 2/179 26343 /proc/meminfo: memFree=28863716/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100295 s] /proc/loadavg: 1.58 1.65 1.65 2/179 26343 /proc/meminfo: memFree=28863716/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300232 s] /proc/loadavg: 1.58 1.65 1.65 2/179 26343 /proc/meminfo: memFree=28863716/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700289 s] /proc/loadavg: 1.58 1.65 1.65 2/179 26343 /proc/meminfo: memFree=28863716/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50042 s] /proc/loadavg: 1.58 1.65 1.65 3/183 26399 /proc/meminfo: memFree=28858056/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=3708 CPUtime=0.48 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 1097 2897 0 0 5 0 41 2 20 0 1 0 285222248 3796992 477 33554432000 4194304 5990268 140736906519072 140736906513312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/26344/statm: 927 477 154 439 0 484 0 [pid=26377] ppid=26344 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26377/stat : 26377 (satsolver.sh) S 26344 26343 18846 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285222297 9367552 267 33554432000 4194304 5064252 140737422256720 140737422255632 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26377/statm: 2287 267 226 213 0 72 0 [pid=26378] ppid=26377 vsize=7192 CPUtime=1 cores=0,2,4,6 /proc/26378/stat : 26378 (glucose) R 26377 26343 18846 0 -1 4202496 1873 0 0 0 100 0 0 0 20 0 1 0 285222298 7364608 1119 33554432000 4194304 5208918 140734837005984 140734837003832 4211732 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/26378/statm: 1798 1119 102 248 0 1547 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 29196 [startup+3.10033 s] /proc/loadavg: 1.58 1.65 1.65 3/183 26462 /proc/meminfo: memFree=28855120/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=2.87 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 1994 18082 0 0 7 3 272 5 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 2.87 Current children cumulated vsize (KiB) 13928 [startup+6.30025 s] /proc/loadavg: 1.61 1.66 1.65 3/183 26661 /proc/meminfo: memFree=28849168/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=5.74 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 3469 44822 0 0 9 3 548 14 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 5.74 Current children cumulated vsize (KiB) 13928 [startup+12.7002 s] /proc/loadavg: 1.64 1.66 1.65 3/183 26958 /proc/meminfo: memFree=28853964/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=12.08 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 6714 104592 0 0 15 5 1154 34 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 12.08 Current children cumulated vsize (KiB) 13928 [startup+25.5004 s] /proc/loadavg: 1.72 1.68 1.66 3/182 27557 /proc/meminfo: memFree=28847440/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=25.3 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 13499 228895 0 0 26 7 2420 77 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 25.3 Current children cumulated vsize (KiB) 13928 [startup+51.1002 s] /proc/loadavg: 1.73 1.69 1.66 3/183 28706 /proc/meminfo: memFree=28848816/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=50.6 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 26479 463823 0 0 48 12 4843 157 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 50.6 Current children cumulated vsize (KiB) 13928 [startup+102.306 s] /proc/loadavg: 1.84 1.72 1.67 3/183 31054 /proc/meminfo: memFree=28851068/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=101.76 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 52734 939998 0 0 90 22 9745 319 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 [pid=31050] ppid=26344 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31050/stat : 31050 (satsolver.sh) S 26344 26343 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285232452 9367552 267 33554432000 4194304 5064252 140734037264368 140734037263280 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31050/statm: 2287 267 226 213 0 72 0 [pid=31051] ppid=31050 vsize=7608 CPUtime=0.26 cores=0,2,4,6 /proc/31051/stat : 31051 (glucose) R 31050 26343 18846 0 -1 4202496 1704 0 0 0 26 0 0 0 20 0 1 0 285232452 7790592 1447 33554432000 4194304 5208918 140737112584176 140737112582120 4212508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/31051/statm: 1902 1447 104 248 0 1651 0 Current children cumulated CPU time (s) 102.02 Current children cumulated vsize (KiB) 30684 ############ # WARNING: # current cumulated CPU time (160.18 s) is less than in the last sample (160.19 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.00999451 s) to the 'lost time'. [startup+160.5 s] /proc/loadavg: 1.81 1.72 1.67 3/183 1242 /proc/meminfo: memFree=28854264/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=160.18 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 82305 1481901 0 0 134 32 15341 511 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906511056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 [pid=1237] ppid=26344 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/1237/stat : 1237 (cp2_post.sh) S 26344 26343 18846 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 285238296 9367552 265 33554432000 4194304 5064252 140733356530416 140733356528704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/1237/statm: 2287 265 225 213 0 72 0 [pid=1239] ppid=1237 vsize=0 CPUtime=0.01 cores=0,2,4,6 /proc/1239/stat : 1239 (coprocessor) R 1237 26343 18846 0 -1 4202500 882 0 0 0 1 0 0 0 20 0 1 0 285238296 0 0 33554432000 0 0 0 0 0 0 0 4096 8404994 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1239/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 160.19 Current children cumulated vsize (KiB) 23076 [startup+160.606 s] /proc/loadavg: 1.81 1.72 1.67 3/183 1242 /proc/meminfo: memFree=28854264/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=160.18 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 82529 1482416 0 0 134 32 15341 511 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 160.18 Current children cumulated vsize (KiB) 13928 # ############ ################ # More data... # ################ # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.430054 s) to the 'lost time'. [startup+1330.1 s] /proc/loadavg: 1.71 1.80 1.75 3/183 21965 /proc/meminfo: memFree=28838716/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=1327.29 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 679609 12348011 0 0 1056 240 127073 4360 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 [pid=21957] ppid=26344 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/21957/stat : 21957 (satsolver.sh) S 26344 26343 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285355214 9367552 266 33554432000 4194304 5064252 140733854281792 140733854280704 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/21957/statm: 2287 266 226 213 0 72 0 [pid=21958] ppid=21957 vsize=7736 CPUtime=0.43 cores=0,2,4,6 /proc/21958/stat : 21958 (glucose) R 21957 26343 18846 0 -1 4202496 1956 0 0 0 43 0 0 0 20 0 1 0 285355214 7921664 1543 33554432000 4194304 5208918 140736102234656 140733854280728 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/21958/statm: 1934 1543 104 248 0 1683 0 Current children cumulated CPU time (s) 1327.72 Current children cumulated vsize (KiB) 30812 [startup+1330.2 s] /proc/loadavg: 1.71 1.80 1.75 3/183 21965 /proc/meminfo: memFree=28838716/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=1327.29 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 679609 12348011 0 0 1056 240 127073 4360 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 [pid=21957] ppid=26344 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/21957/stat : 21957 (satsolver.sh) R 26344 26343 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285355214 9367552 266 33554432000 4194304 5064252 140733854281792 140733854280704 227141117518 0 65536 4100 65538 0 0 0 17 0 0 0 0 0 0 /proc/21957/statm: 2287 266 226 213 0 72 0 Current children cumulated CPU time (s) 1327.29 Current children cumulated vsize (KiB) 23076 # ############ [startup+1362.3 s] /proc/loadavg: 1.77 1.80 1.75 3/183 23410 /proc/meminfo: memFree=28844972/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=1359.73 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 696129 12648700 0 0 1081 244 130179 4469 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 1359.73 Current children cumulated vsize (KiB) 13928 [startup+1422.31 s] /proc/loadavg: 2.02 1.88 1.78 3/183 26147 /proc/meminfo: memFree=28844024/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=1419.22 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 726514 13196009 0 0 1127 254 135872 4669 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 [pid=26136] ppid=26344 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26136/stat : 26136 (satsolver.sh) S 26344 26343 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285364432 9367552 266 33554432000 4194304 5064252 140735243513712 140735243512624 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26136/statm: 2287 266 226 213 0 72 0 [pid=26137] ppid=26136 vsize=7736 CPUtime=0.46 cores=0,2,4,6 /proc/26137/stat : 26137 (glucose) R 26136 26343 18846 0 -1 4202496 2028 0 0 0 46 0 0 0 20 0 1 0 285364432 7921664 1554 33554432000 4194304 5208918 140734715988272 140734715986120 4229824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/26137/statm: 1934 1554 104 248 0 1683 0 Current children cumulated CPU time (s) 1419.68 Current children cumulated vsize (KiB) 30812 [startup+1482.3 s] /proc/loadavg: 1.95 1.88 1.78 3/183 28851 /proc/meminfo: memFree=28840212/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=1479.23 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 757194 13753910 0 0 1171 264 141617 4871 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 1479.23 Current children cumulated vsize (KiB) 13928 [startup+1542.3 s] /proc/loadavg: 1.87 1.87 1.78 3/183 31591 /proc/meminfo: memFree=28848364/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=1539.31 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 787874 14312712 0 0 1216 275 147365 5075 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 1539.31 Current children cumulated vsize (KiB) 13928 [startup+1602.3 s] /proc/loadavg: 1.83 1.86 1.78 3/183 1882 /proc/meminfo: memFree=28845244/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=1599.32 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 818554 14872248 0 0 1261 286 153107 5278 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 1599.32 Current children cumulated vsize (KiB) 13928 [startup+1662.3 s] /proc/loadavg: 1.53 1.77 1.76 3/184 4633 /proc/meminfo: memFree=28842792/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=1659.34 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 849234 15427357 0 0 1306 297 158845 5486 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 1659.34 Current children cumulated vsize (KiB) 13928 [startup+1722.3 s] /proc/loadavg: 1.70 1.78 1.76 3/183 7328 /proc/meminfo: memFree=28843760/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=1718.87 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 879619 15981696 0 0 1351 308 164539 5689 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 1718.87 Current children cumulated vsize (KiB) 13928 [startup+1782.3 s] /proc/loadavg: 1.79 1.79 1.76 3/184 10065 /proc/meminfo: memFree=28841892/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=1778.97 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 910299 16537150 0 0 1396 319 170291 5891 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906510480 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 1778.97 Current children cumulated vsize (KiB) 13928 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1802.2 s] /proc/loadavg: 1.85 1.80 1.76 3/183 10988 /proc/meminfo: memFree=28836520/32873844 swapFree=7116/7116 [pid=26343] ppid=26341 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26343/stat : 26343 (npSolver-wbo-It) S 26341 26343 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285222248 9367552 274 33554432000 4194304 5064252 140737246051888 140737246050800 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26343/statm: 2287 274 233 213 0 72 0 [pid=26344] ppid=26343 vsize=4780 CPUtime=1799.15 cores=0,2,4,6 /proc/26344/stat : 26344 (npSolver-wbo) S 26343 26343 18846 0 -1 4202496 920338 16724474 0 0 1411 322 172226 5956 20 0 1 0 285222248 4894720 675 33554432000 4194304 5990268 140736906519072 140736906509968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/26344/statm: 1195 675 176 439 0 752 0 Current children cumulated CPU time (s) 1799.15 Current children cumulated vsize (KiB) 13928 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples 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.940048 # lost CPU user time (s): 0.950027 # lost CPU system time (s): -0.0100002 Real time (s): 1802.21 CPU time (s): 1800.12 CPU user time (s): 1737.33 CPU system time (s): 62.7845 CPU usage (%): 99.8841 Max. virtual memory (cumulated for all children) (KiB): 34408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1736.38 system time used= 62.7945 maximum resident set size= 9400 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17645186 page faults= 0 swaps= 0 block input operations= 0 block output operations= 5312928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 62897 involuntary context switches= 33685 runsolver used 3.90541 second user time and 11.5072 second system time The end
Begin job on node138 at 2012-05-28 09:42:52 IDJOB=3715639 IDBENCH=78814 IDSOLVER=2297 FILE ID=node138/3715639-1338190972 RUNJOBID= node138-1338160170-18862 PBS_JOBID= 14624560 Free space on /tmp= 71484 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715639-1338190972/watcher-3715639-1338190972 -o /tmp/evaluation-result-3715639-1338190972/solver-3715639-1338190972 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715639-1338190972.wbo 478727890 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8ae5062c7652fddde3927693898a40dc RANDOM SEED=478727890 node138.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 : 2667.347 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 : 5334.69 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 : 2667.347 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 : 2667.347 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.91 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 : 2667.347 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 : 2667.347 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.91 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 : 2667.347 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 : 2667.347 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.92 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 : 2667.347 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: 28863716 kB Buffers: 642900 kB Cached: 2443344 kB SwapCached: 208 kB Active: 1169984 kB Inactive: 1945784 kB Active(anon): 13716 kB Inactive(anon): 11368 kB Active(file): 1156268 kB Inactive(file): 1934416 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108648 kB Dirty: 9000 kB Writeback: 0 kB AnonPages: 33624 kB Mapped: 15216 kB Shmem: 200 kB Slab: 754764 kB SReclaimable: 195256 kB SUnreclaim: 559508 kB KernelStack: 1520 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 142152 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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= 71472 MiB End job on node138 at 2012-05-28 10:12:54