Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.5 | 1801.21 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo |
MD5SUM | d97c5722fe377ef62d4d83eb3fe2e1eb |
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 | 6 |
Best CPU time to get the best result obtained on this benchmark | 0.219966 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 840 |
Total number of constraints | 82 |
Number of soft constraints | 35 |
Number of constraints which are clauses | 42 |
Number of constraints which are cardinality constraints (but not clauses) | 40 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 21 |
Top cost | 1734 |
Min constraint cost | 1 |
Max constraint cost | 95 |
Sum of constraints costs | 1733 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 22 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 c run usual solver 0.00/0.67 o 546 0.00/0.67 c starting approximation 0.00/0.67 c factor = 2 0.00/0.67 c current bound: 273 1.17/1.27 c current bound: 273 1.25/1.86 c current bound: 273 2.36/2.45 c current bound: 273 2.44/3.04 c current bound: 273 3.56/3.62 c current bound: 273 4.19/4.35 c current bound: 273 4.20/4.95 c current bound: 273 5.33/5.54 c current bound: 273 5.38/6.14 c current bound: 273 6.52/6.73 c current bound: 273 6.57/7.33 c current bound: 273 7.73/7.91 c current bound: 273 8.35/8.50 c current bound: 273 8.83/9.09 c current bound: 273 8.94/9.68 c current bound: 273 10.04/10.27 c current bound: 273 10.12/10.85 c current bound: 273 11.22/11.44 c current bound: 273 11.83/12.03 c current bound: 273 11.88/12.62 c current bound: 273 13.04/13.22 c current bound: 273 13.63/13.81 c current bound: 273 14.13/14.39 c current bound: 273 14.23/14.98 c current bound: 273 15.33/15.57 c current bound: 273 15.41/16.16 c current bound: 273 16.53/16.75 c current bound: 273 16.58/17.34 c current bound: 273 17.73/17.93 c current bound: 273 17.78/18.52 c current bound: 273 18.92/19.12 c current bound: 273 19.54/19.75 c current bound: 273 19.56/20.34 c current bound: 273 20.69/20.94 c current bound: 273 20.74/21.53 c current bound: 273 21.88/22.13 c current bound: 273 21.93/22.72 c current bound: 273 23.09/23.31 c current bound: 273 23.69/23.91 c current bound: 273 24.30/24.51 c current bound: 273 24.90/25.12 c current bound: 273 25.49/25.71 c current bound: 273 25.51/26.30 c current bound: 273 26.10/26.89 c current bound: 273 27.20/27.48 c current bound: 273 27.29/28.07 c current bound: 273 28.39/28.66 c current bound: 273 28.45/29.25 c current bound: 273 29.59/29.84 c current bound: 273 29.64/30.42 c current bound: 273 30.78/31.01 c current bound: 273 31.38/31.60 c current bound: 273 31.88/32.18 c current bound: 273 31.99/32.77 c current bound: 273 33.10/33.37 c current bound: 273 33.18/33.96 c current bound: 273 34.29/34.55 c current bound: 273 34.90/35.13 c current bound: 273 34.94/35.72 c current bound: 273 36.09/36.31 c current bound: 273 36.70/36.90 c current bound: 273 37.19/37.49 c current bound: 273 37.29/38.08 c current bound: 273 38.40/38.67 c current bound: 273 38.48/39.26 c current bound: 273 39.58/39.85 c current bound: 273 39.66/40.45 c current bound: 273 40.80/41.04 c current bound: 273 40.85/41.63 c current bound: 273 41.99/42.22 c current bound: 273 42.03/42.80 c current bound: 273 43.20/43.40 c current bound: 273 43.70/43.98 c current bound: 273 43.79/44.57 c current bound: 273 44.89/45.16 c current bound: 273 44.97/45.75 c current bound: 273 46.09/46.37 c current bound: 273 46.14/46.96 c current bound: 273 47.26/47.55 c current bound: 273 47.32/48.15 c current bound: 273 48.47/48.73 c current bound: 273 48.52/49.32 c current bound: 273 49.67/49.91 c current bound: 273 49.69/50.50 c current bound: 273 50.29/51.09 c current bound: 273 51.38/51.68 c current bound: 273 51.46/52.27 c current bound: 273 52.57/52.86 c current bound: 273 52.65/53.45 c current bound: 273 53.75/54.04 c current bound: 273 53.82/54.63 c current bound: 273 54.96/55.22 c current bound: 273 55.56/55.81 c current bound: 273 56.16/56.40 c current bound: 273 56.17/56.98 c current bound: 273 57.26/57.57 c current bound: 273 57.35/58.17 c current bound: 273 58.47/58.76 c current bound: 273 59.07/59.36 c current bound: 273 59.15/59.95 c current bound: 273 60.28/60.55 c current bound: 273 60.32/61.13 c current bound: 273 61.44/61.73 c current bound: 273 62.06/62.31 c current bound: 273 62.65/62.90 c current bound: 273 63.25/63.50 c current bound: 273 63.87/64.11 c current bound: 273 64.47/64.71 c current bound: 273 64.98/65.29 c current bound: 273 65.09/65.89 c current bound: 273 66.16/66.49 c current bound: 273 66.78/67.08 c current bound: 273 66.88/67.68 c current bound: 273 67.97/68.27 c current bound: 273 68.05/68.86 c current bound: 273 69.16/69.45 c current bound: 273 69.24/70.05 c current bound: 273 70.36/70.66 c current bound: 273 70.43/71.25 c current bound: 273 71.57/71.85 c current bound: 273 71.63/72.43 c current bound: 273 72.75/73.02 c current bound: 273 73.37/73.61 c current bound: 273 73.97/74.20 c current bound: 273 74.49/74.79 c current bound: 273 74.59/75.40 c current bound: 273 75.68/75.99 c current bound: 273 75.78/76.58 c current bound: 273 76.88/77.18 c current bound: 273 76.97/77.76 c current bound: 273 78.05/78.37 c current bound: 273 78.14/78.96 c current bound: 273 79.25/79.55 c current bound: 273 79.34/80.16 c current bound: 273 80.45/80.76 c current bound: 273 81.05/81.35 c current bound: 273 81.11/81.94 c current bound: 273 82.26/82.53 c current bound: 273 82.29/83.12 c current bound: 273 83.44/83.70 c current bound: 273 84.05/84.30 c current bound: 273 84.55/84.89 c current bound: 273 84.65/85.48 c current bound: 273 85.76/86.06 c current bound: 273 85.82/86.65 c current bound: 273 86.94/87.24 c current bound: 273 87.00/87.83 c current bound: 273 88.14/88.42 c current bound: 273 88.76/89.01 c current bound: 273 89.35/89.61 c current bound: 273 89.85/90.20 c current bound: 273 89.98/90.78 c current bound: 273 91.06/91.38 c current bound: 273 91.15/91.97 c current bound: 273 92.24/92.56 c current bound: 273 92.33/93.15 c current bound: 273 93.45/93.74 c current bound: 273 93.51/94.33 c current bound: 273 94.66/94.91 c current bound: 273 95.24/95.50 c current bound: 273 95.75/96.09 c current bound: 273 95.85/96.69 c current bound: 273 96.94/97.28 c current bound: 273 97.56/97.87 c current bound: 273 97.64/98.46 c current bound: 273 98.76/99.05 c current bound: 273 98.81/99.65 c current bound: 273 99.95/100.23 c current bound: 273 99.99/100.83 c current bound: 273 101.14/101.42 c current bound: 273 101.76/102.01 c current bound: 273 102.34/102.60 c current bound: 273 102.36/103.19 c current bound: 273 103.44/103.78 c current bound: 273 103.54/104.37 c current bound: 273 104.63/104.96 c current bound: 273 105.24/105.55 c current bound: 273 105.31/106.14 c current bound: 273 106.44/106.73 c current bound: 273 106.49/107.32 c current bound: 273 107.08/107.92 c current bound: 273 108.24/108.51 c current bound: 273 108.85/109.15 c current bound: 273 108.86/109.74 c current bound: 273 109.98/110.33 c current bound: 273 110.03/110.92 c current bound: 273 111.19/111.52 c current bound: 273 111.79/112.11 c current bound: 273 112.39/112.70 c current bound: 273 113.00/113.30 c current bound: 273 113.59/113.90 c current bound: 273 114.21/114.50 c current bound: 273 114.80/115.10 c current bound: 273 115.28/115.69 c current bound: 273 115.40/116.28 c current bound: 273 116.50/116.88 c current bound: 273 116.59/117.47 c current bound: 273 117.69/118.07 c current bound: 273 117.77/118.67 c current bound: 273 118.88/119.28 c current bound: 273 119.50/119.87 c current bound: 273 119.57/120.46 c current bound: 273 120.68/121.05 c current bound: 273 120.76/121.64 c current bound: 273 121.88/122.23 c current bound: 273 121.94/122.83 c current bound: 273 123.09/123.42 c current bound: 273 123.69/124.01 c current bound: 273 124.28/124.60 c current bound: 273 124.89/125.21 c current bound: 273 125.47/125.80 c current bound: 273 126.09/126.40 c current bound: 273 126.68/127.00 c current bound: 273 127.20/127.59 c current bound: 273 127.29/128.18 c current bound: 273 128.39/128.78 c current bound: 273 128.48/129.37 c current bound: 273 129.58/129.96 c current bound: 273 129.66/130.54 c current bound: 273 130.78/131.13 c current bound: 273 130.83/131.72 c current bound: 273 131.99/132.31 c current bound: 273 132.58/132.90 c current bound: 273 133.17/133.50 c current bound: 273 133.19/134.09 c current bound: 273 133.79/134.69 c current bound: 273 134.88/135.28 c current bound: 273 134.98/135.86 c current bound: 273 136.08/136.46 c current bound: 273 136.15/137.04 c current bound: 273 137.28/137.65 c current bound: 273 137.34/138.24 c current bound: 273 138.47/138.84 c current bound: 273 138.53/139.43 c current bound: 273 139.67/140.02 c current bound: 273 140.27/140.61 c current bound: 273 140.86/141.20 c current bound: 273 140.89/141.79 c current bound: 273 141.98/142.37 c current bound: 273 142.58/142.98 c current bound: 273 142.68/143.57 c current bound: 273 143.78/144.16 c current bound: 273 143.85/144.77 c current bound: 273 144.98/145.36 c current bound: 273 145.04/145.94 c current bound: 273 146.17/146.54 c current bound: 273 146.23/147.14 c current bound: 273 147.36/147.72 c current bound: 273 147.98/148.31 c current bound: 273 148.56/148.90 c current bound: 273 148.58/149.49 c current bound: 273 149.18/150.08 c current bound: 273 150.27/150.67 c current bound: 273 150.35/151.28 c current bound: 273 151.46/151.87 c current bound: 273 151.53/152.47 c current bound: 273 152.64/153.05 c current bound: 273 152.72/153.65 c current bound: 273 153.84/154.24 c current bound: 273 153.90/154.83 c current bound: 273 155.04/155.45 c current bound: 273 155.11/156.04 c current bound: 273 156.24/156.63 c current bound: 273 156.85/157.21 c current bound: 273 157.44/157.80 c current bound: 273 157.94/158.40 c current bound: 273 158.06/158.99 c current bound: 273 159.15/159.58 c current bound: 273 159.23/160.17 c current bound: 273 160.34/160.77 c current bound: 273 160.42/161.36 c current bound: 273 161.54/161.96 c current bound: 273 161.62/162.55 c current bound: 273 162.73/163.14 c current bound: 273 162.78/163.73 c current bound: 273 163.93/164.33 c current bound: 273 164.54/164.91 c current bound: 273 165.14/165.50 c current bound: 273 165.63/166.10 c current bound: 273 165.74/166.69 c current bound: 273 166.83/167.28 c current bound: 273 166.93/167.87 c current bound: 273 168.03/168.46 c current bound: 273 168.10/169.05 c current bound: 273 169.22/169.64 c current bound: 273 169.29/170.24 c current bound: 273 170.42/170.84 c current bound: 273 170.49/171.43 c current bound: 273 171.62/172.03 c current bound: 273 172.24/172.62 c current bound: 273 172.83/173.21 c current bound: 273 173.33/173.80 c current bound: 273 173.44/174.39 c current bound: 273 174.53/174.98 c current bound: 273 174.61/175.56 c current bound: 273 175.72/176.15 c current bound: 273 175.79/176.74 c current bound: 273 176.92/177.33 c current bound: 273 176.97/177.94 c current bound: 273 178.10/178.53 c current bound: 273 178.15/179.13 c current bound: 273 179.30/179.71 c current bound: 273 179.90/180.31 c current bound: 273 180.50/180.91 c current bound: 273 181.10/181.50 c current bound: 273 181.71/182.11 c current bound: 273 182.30/182.71 c current bound: 273 182.90/183.31 c current bound: 273 183.50/183.90 c current bound: 273 183.52/184.49 c current bound: 273 184.60/185.09 c current bound: 273 184.72/185.68 c current bound: 273 185.80/186.27 c current bound: 273 185.89/186.86 c current bound: 273 187.00/187.45 c current bound: 273 187.61/188.04 c current bound: 273 187.66/188.64 c current bound: 273 188.81/189.23 c current bound: 273 188.84/189.83 c current bound: 273 189.99/190.42 c current bound: 273 190.04/191.02 c current bound: 273 191.20/191.61 c current bound: 273 191.79/192.20 c current bound: 273 192.30/192.79 c current bound: 273 192.41/193.38 c current bound: 273 193.49/193.98 c current bound: 273 193.60/194.58 c current bound: 273 194.70/195.17 c current bound: 273 195.31/195.76 c current bound: 273 195.39/196.35 c current bound: 273 196.51/196.94 c current bound: 273 196.55/197.53 c current bound: 273 197.70/198.12 c current bound: 273 197.74/198.72 c current bound: 273 198.90/199.33 c current bound: 273 199.51/199.91 c current bound: 273 200.10/200.51 c current bound: 273 200.70/201.11 c current bound: 273 201.31/201.70 c current bound: 273 201.31/202.29 c current bound: 273 202.40/202.89 c current bound: 273 203.01/203.48 c current bound: 273 203.10/204.08 c current bound: 273 204.20/204.67 c current bound: 273 204.28/205.26 c current bound: 273 205.40/205.85 c current bound: 273 205.47/206.43 c current bound: 273 206.60/207.03 c current bound: 273 206.66/207.62 c current bound: 273 207.81/208.21 c current bound: 273 208.40/208.80 c current bound: 273 209.02/209.45 c current bound: 273 209.57/210.04 c current bound: 273 209.62/210.63 c current bound: 273 210.77/211.22 c current bound: 273 211.37/211.81 c current bound: 273 211.95/212.40 c current bound: 273 211.97/213.00 c current bound: 273 213.06/213.58 c current bound: 273 213.16/214.17 c current bound: 273 214.25/214.77 c current bound: 273 214.34/215.36 c current bound: 273 215.45/215.95 c current bound: 273 215.53/216.54 c current bound: 273 216.66/217.12 c current bound: 273 217.27/217.71 c current bound: 273 217.85/218.30 c current bound: 273 218.36/218.89 c current bound: 273 218.46/219.49 c current bound: 273 219.56/220.08 c current bound: 273 219.65/220.67 c current bound: 273 220.74/221.27 c current bound: 273 220.83/221.87 c current bound: 273 221.95/222.46 c current bound: 273 222.03/223.06 c current bound: 273 223.15/223.65 c current bound: 273 223.23/224.24 c current bound: 273 224.36/224.84 c current bound: 273 224.96/225.43 c current bound: 273 225.00/226.02 c current bound: 273 226.16/226.61 c current bound: 273 226.75/227.20 c current bound: 273 227.25/227.79 c current bound: 273 227.36/228.38 c current bound: 273 228.45/228.97 c current bound: 273 228.55/229.57 c current bound: 273 229.65/230.16 c current bound: 273 229.74/230.75 c current bound: 273 230.84/231.34 c current bound: 273 230.92/231.93 c current bound: 273 232.06/232.52 c current bound: 273 232.67/233.11 c current bound: 273 233.27/233.70 c current bound: 273 233.76/234.29 c current bound: 273 233.87/234.89 c current bound: 273 234.97/235.48 c current bound: 273 235.65/236.12 c current bound: 273 236.21/236.72 c current bound: 273 236.81/237.31 c current bound: 273 237.42/237.91 c current bound: 273 238.01/238.51 c current bound: 273 238.61/239.10 c current bound: 273 238.63/239.69 c current bound: 273 239.71/240.28 c current bound: 273 240.33/240.87 c current bound: 273 240.41/241.46 c current bound: 273 241.52/242.05 c current bound: 273 241.58/242.64 c current bound: 273 242.71/243.23 c current bound: 273 242.75/243.82 c current bound: 273 243.92/244.41 c current bound: 273 244.51/245.00 c current bound: 273 245.01/245.59 c current bound: 273 245.71/246.20 c current bound: 273 246.32/246.80 c current bound: 273 246.93/247.41 c current bound: 273 246.95/247.99 c current bound: 273 248.03/248.58 c current bound: 273 248.12/249.16 c current bound: 273 249.23/249.76 c current bound: 273 249.29/250.35 c current bound: 273 250.42/250.95 c current bound: 273 250.48/251.53 c current bound: 273 251.61/252.12 c current bound: 273 252.23/252.71 c current bound: 273 252.83/253.31 c current bound: 273 253.41/253.90 c current bound: 273 254.02/254.50 c current bound: 273 254.03/255.10 c current bound: 273 255.22/255.71 c current bound: 273 255.73/256.30 c current bound: 273 255.83/256.89 c current bound: 273 256.91/257.48 c current bound: 273 257.01/258.07 c current bound: 273 258.11/258.67 c current bound: 273 258.20/259.26 c current bound: 273 259.32/259.85 c current bound: 273 259.38/260.44 c current bound: 273 260.51/261.03 c current bound: 273 260.57/261.62 c current bound: 273 261.71/262.20 c current bound: 273 262.32/262.80 c current bound: 273 262.90/263.40 c current bound: 273 263.42/263.99 c current bound: 273 263.52/264.58 c current bound: 273 264.62/265.17 c current bound: 273 264.70/265.77 c current bound: 273 265.81/266.36 c current bound: 273 265.89/266.95 c current bound: 273 267.01/267.54 c current bound: 273 267.07/268.13 c current bound: 273 268.20/268.72 c current bound: 273 268.80/269.31 c current bound: 273 269.40/269.90 c current bound: 273 269.42/270.49 c current bound: 273 270.59/271.10 c current bound: 273 271.21/271.71 c current bound: 273 271.23/272.29 c current bound: 273 272.32/272.88 c current bound: 273 272.41/273.47 c current bound: 273 273.51/274.06 c current bound: 273 273.57/274.65 c current bound: 273 274.71/275.24 c current bound: 273 274.76/275.82 c current bound: 273 275.91/276.41 c current bound: 273 276.49/277.00 c current bound: 273 277.10/277.60 c current bound: 273 277.11/278.19 c current bound: 273 277.70/278.79 c current bound: 273 278.81/279.38 c current bound: 273 278.91/279.97 c current bound: 273 280.01/280.56 c current bound: 273 280.08/281.15 c current bound: 273 281.20/281.74 c current bound: 273 281.26/282.32 c current bound: 273 282.41/282.91 c current bound: 273 282.43/283.50 c current bound: 273 283.50/284.09 c current bound: 273 283.62/284.68 c current bound: 273 284.70/285.27 c current bound: 273 284.78/285.86 c current bound: 273 285.90/286.45 c current bound: 273 286.52/287.05 c current bound: 273 286.57/287.65 c current bound: 273 287.72/288.23 c current bound: 273 287.75/288.83 c current bound: 273 288.89/289.42 c current bound: 273 289.51/290.01 c current bound: 273 290.10/290.60 c current bound: 273 290.12/291.19 c current bound: 273 291.21/291.79 c current bound: 273 291.31/292.38 c current bound: 273 292.40/292.98 c current bound: 273 292.50/293.58 c current bound: 273 293.61/294.17 c current bound: 273 294.22/294.76 c current bound: 273 294.29/295.36 c current bound: 273 295.43/295.95 c current bound: 273 295.48/296.54 c current bound: 273 296.61/297.13 c current bound: 273 296.67/297.72 c current bound: 273 297.81/298.30 c current bound: 273 297.83/298.89 c current bound: 273 298.91/299.48 c current bound: 273 299.01/300.07 c current bound: 273 300.11/300.66 c current bound: 273 300.19/301.26 c current bound: 273 301.30/301.85 c current bound: 273 301.92/302.44 c current bound: 273 301.96/303.03 c current bound: 273 303.11/303.63 c current bound: 273 303.15/304.22 c current bound: 273 304.30/304.82 c current bound: 273 304.33/305.46 c current bound: 273 305.46/306.05 c current bound: 273 305.53/306.63 c current bound: 273 306.66/307.22 c current bound: 273 307.28/307.81 c current bound: 273 307.86/308.40 c current bound: 273 307.89/309.00 c current bound: 273 308.48/309.58 c current bound: 273 309.58/310.17 c current bound: 273 309.66/310.76 c current bound: 273 310.77/311.35 c current bound: 273 310.83/311.94 c current bound: 273 311.96/312.52 c current bound: 273 312.00/313.12 c current bound: 273 313.18/313.71 c current bound: 273 313.76/314.30 c current bound: 273 314.26/314.89 c current bound: 273 314.37/315.49 c current bound: 273 315.46/316.08 c current bound: 273 315.55/316.67 c current bound: 273 316.66/317.26 c current bound: 273 317.27/317.85 c current bound: 273 317.32/318.43 c current bound: 273 318.47/319.02 c current bound: 273 319.08/319.61 c current bound: 273 319.66/320.20 c current bound: 273 319.68/320.79 c current bound: 273 320.76/321.37 c current bound: 273 320.85/321.99 c current bound: 273 321.96/322.59 c current bound: 273 322.06/323.19 c current bound: 273 323.16/323.79 c current bound: 273 323.26/324.38 c current bound: 273 324.35/324.98 c current bound: 273 324.95/325.57 c current bound: 273 325.04/326.16 c current bound: 273 326.16/326.76 c current bound: 273 326.25/327.35 c current bound: 273 327.37/327.93 c current bound: 273 327.41/328.52 c current bound: 273 328.57/329.12 c current bound: 273 329.17/329.71 c current bound: 273 329.75/330.30 c current bound: 273 329.78/330.90 c current bound: 273 330.86/331.49 c current bound: 273 331.54/332.12 c current bound: 273 332.12/332.71 c current bound: 273 332.72/333.30 c current bound: 273 332.75/333.89 c current bound: 273 333.92/334.50 c current bound: 273 333.94/335.09 c current bound: 273 335.02/335.67 c current bound: 273 335.12/336.27 c current bound: 273 336.22/336.86 c current bound: 273 336.31/337.45 c current bound: 273 337.42/338.04 c current bound: 273 337.48/338.62 c current bound: 273 338.63/339.22 c current bound: 273 339.22/339.82 c current bound: 273 339.26/340.42 c current bound: 273 340.42/341.01 c current bound: 273 341.01/341.60 c current bound: 273 341.52/342.19 c current bound: 273 341.61/342.78 c current bound: 273 342.71/343.38 c current bound: 273 342.81/343.97 c current bound: 273 343.90/344.56 c current bound: 273 344.00/345.15 c current bound: 273 345.13/345.74 c current bound: 273 345.18/346.33 c current bound: 273 346.33/346.91 c current bound: 273 346.35/347.50 c current bound: 273 346.93/348.09 c current bound: 273 348.02/348.67 c current bound: 273 348.10/349.27 c current bound: 273 349.21/349.86 c current bound: 273 349.30/350.46 c current bound: 273 350.41/351.05 c current bound: 273 350.47/351.64 c current bound: 273 351.60/352.23 c current bound: 273 351.65/352.82 c current bound: 273 352.81/353.41 c current bound: 273 352.82/353.99 c current bound: 273 353.91/354.58 c current bound: 273 354.01/355.18 c current bound: 273 355.10/355.77 c current bound: 273 355.71/356.36 c current bound: 273 355.79/356.96 c current bound: 273 356.92/357.55 c current bound: 273 356.99/358.14 c current bound: 273 358.11/358.73 c current bound: 273 358.73/359.31 c current bound: 273 359.32/359.91 c current bound: 273 359.91/360.50 c current bound: 273 360.52/361.10 c current bound: 273 361.12/361.70 c current bound: 273 361.61/362.29 c current bound: 273 361.72/362.88 c current bound: 273 362.82/363.49 c current bound: 273 363.41/364.08 c current bound: 273 363.52/364.67 c current bound: 273 364.62/365.25 c current bound: 273 364.69/365.85 c current bound: 273 365.82/366.44 c current bound: 273 365.87/367.03 c current bound: 273 367.02/367.62 c current bound: 273 367.63/368.21 c current bound: 273 368.21/368.82 c current bound: 273 368.82/369.41 c current bound: 273 369.40/370.00 c current bound: 273 370.01/370.61 c current bound: 273 370.61/371.20 c current bound: 273 371.12/371.79 c current bound: 273 371.22/372.37 c current bound: 273 372.32/372.96 c current bound: 273 372.39/373.55 c current bound: 273 373.52/374.14 c current bound: 273 373.58/374.73 c current bound: 273 374.72/375.32 c current bound: 273 374.75/375.93 c current bound: 273 375.90/376.52 c current bound: 273 376.52/377.11 c current bound: 273 377.12/377.71 c current bound: 273 377.13/378.30 c current bound: 273 377.73/378.89 c current bound: 273 378.83/379.48 c current bound: 273 378.90/380.07 c current bound: 273 380.01/380.66 c current bound: 273 380.09/381.26 c current bound: 273 381.21/381.85 c current bound: 273 381.29/382.44 c current bound: 273 382.41/383.03 c current bound: 273 382.46/383.62 c current bound: 273 383.63/384.21 c current bound: 273 384.22/384.81 c current bound: 273 384.82/385.41 c current bound: 273 384.85/386.00 c current bound: 273 385.43/386.59 c current bound: 273 386.51/387.18 c current bound: 273 386.61/387.78 c current bound: 273 387.73/388.37 c current bound: 273 387.81/388.97 c current bound: 273 388.92/389.55 c current bound: 273 389.56/390.21 c current bound: 273 390.15/390.80 c current bound: 273 390.18/391.39 c current bound: 273 391.26/391.98 c current bound: 273 391.35/392.56 c current bound: 273 392.45/393.16 c current bound: 273 393.07/393.76 c current bound: 273 393.14/394.35 c current bound: 273 394.28/394.94 c current bound: 273 394.32/395.53 c current bound: 273 395.47/396.11 c current bound: 273 395.49/396.69 c current bound: 273 396.56/397.29 c current bound: 273 396.67/397.88 c current bound: 273 397.76/398.47 c current bound: 273 397.86/399.06 c current bound: 273 398.96/399.65 c current bound: 273 399.04/400.24 c current bound: 273 400.16/400.83 c current bound: 273 400.78/401.42 c current bound: 273 401.37/402.01 c current bound: 273 401.87/402.60 c current bound: 273 401.99/403.19 c current bound: 273 403.08/403.78 c current bound: 273 403.17/404.37 c current bound: 273 404.26/404.96 c current bound: 273 404.35/405.55 c current bound: 273 405.46/406.14 c current bound: 273 405.52/406.74 c current bound: 273 406.65/407.33 c current bound: 273 406.70/407.92 c current bound: 273 407.87/408.51 c current bound: 273 407.89/409.09 c current bound: 273 408.47/409.69 c current bound: 273 409.57/410.29 c current bound: 273 409.67/410.88 c current bound: 273 410.75/411.47 c current bound: 273 410.85/412.06 c current bound: 273 411.97/412.65 c current bound: 273 412.03/413.24 c current bound: 273 413.17/413.84 c current bound: 273 413.22/414.44 c current bound: 273 414.36/415.03 c current bound: 273 414.41/415.63 c current bound: 273 415.56/416.22 c current bound: 273 416.16/416.80 c current bound: 273 416.19/417.39 c current bound: 273 417.27/417.98 c current bound: 273 417.35/418.57 c current bound: 273 418.47/419.18 c current bound: 273 418.55/419.78 c current bound: 273 419.65/420.37 c current bound: 273 419.75/420.96 c current bound: 273 420.86/421.55 c current bound: 273 420.93/422.14 c current bound: 273 422.07/422.73 c current bound: 273 422.11/423.32 c current bound: 273 423.26/423.91 c current bound: 273 423.30/424.50 c current bound: 273 423.88/425.09 c current bound: 273 424.97/425.69 c current bound: 273 425.08/426.28 c current bound: 273 426.17/426.87 c current bound: 273 426.25/427.47 c current bound: 273 427.37/428.07 c current bound: 273 427.45/428.66 c current bound: 273 428.57/429.25 c current bound: 273 428.63/429.84 c current bound: 273 429.78/430.45 c current bound: 273 429.85/431.04 c current bound: 273 430.97/431.65 c current bound: 273 431.57/432.24 c current bound: 273 431.63/432.83 c current bound: 273 432.78/433.43 c current bound: 273 432.82/434.02 c current bound: 273 433.98/434.61 c current bound: 273 434.57/435.20 c current bound: 273 435.08/435.79 c current bound: 273 435.19/436.38 c current bound: 273 436.27/436.97 c current bound: 273 436.36/437.56 c current bound: 273 437.47/438.15 c current bound: 273 437.54/438.74 c current bound: 273 438.67/439.36 c current bound: 273 439.28/439.96 c current bound: 273 439.35/440.55 c current bound: 273 440.49/441.14 c current bound: 273 440.53/441.73 c current bound: 273 441.68/442.32 c current bound: 273 442.28/442.91 c current bound: 273 442.88/443.53 c current bound: 273 442.90/444.12 c current bound: 273 444.04/444.72 c current bound: 273 444.64/445.30 c current bound: 273 445.14/445.89 c current bound: 273 445.25/446.49 c current bound: 273 446.34/447.08 c current bound: 273 446.94/447.67 c current bound: 273 447.03/448.26 c current bound: 273 448.15/448.86 c current bound: 273 448.22/449.45 c current bound: 273 449.35/450.04 c current bound: 273 449.41/450.63 c current bound: 273 450.55/451.21 c current bound: 273 451.14/451.80 c current bound: 273 451.64/452.39 c current bound: 273 451.75/452.99 c current bound: 273 452.84/453.58 c current bound: 273 452.94/454.19 c current bound: 273 454.03/454.78 c current bound: 273 454.64/455.37 c current bound: 273 454.72/455.96 c current bound: 273 455.83/456.54 c current bound: 273 455.88/457.13 c current bound: 273 457.02/457.72 c current bound: 273 457.64/458.31 c current bound: 273 458.22/458.90 c current bound: 273 458.24/459.49 c current bound: 273 459.33/460.08 c current bound: 273 459.42/460.68 c current bound: 273 460.53/461.28 c current bound: 273 460.63/461.87 c current bound: 273 461.74/462.47 c current bound: 273 462.35/463.06 c current bound: 273 462.42/463.67 c current bound: 273 463.54/464.26 c current bound: 273 463.61/464.84 c current bound: 273 464.73/465.43 c current bound: 273 464.78/466.02 c current bound: 273 465.94/466.61 c current bound: 273 465.96/467.19 c current bound: 273 467.04/467.78 c current bound: 273 467.13/468.37 c current bound: 273 468.23/468.96 c current bound: 273 468.30/469.54 c current bound: 273 469.44/470.18 c current bound: 273 470.01/470.77 c current bound: 273 470.10/471.36 c current bound: 273 471.21/471.96 c current bound: 273 471.28/472.57 c current bound: 273 472.39/473.16 c current bound: 273 472.47/473.76 c current bound: 273 473.61/474.35 c current bound: 273 473.66/474.93 c current bound: 273 474.80/475.53 c current bound: 273 475.41/476.11 c current bound: 273 476.00/476.70 c current bound: 273 476.02/477.29 c current bound: 273 477.10/477.88 c current bound: 273 477.70/478.47 c current bound: 273 477.78/479.05 c current bound: 273 478.90/479.65 c current bound: 273 478.95/480.23 c current bound: 273 480.09/480.83 c current bound: 273 480.15/481.42 c current bound: 273 481.30/482.01 c current bound: 273 481.90/482.60 c current bound: 273 482.39/483.19 c current bound: 273 482.50/483.78 c current bound: 273 483.60/484.37 c current bound: 273 483.69/484.95 c current bound: 273 484.80/485.55 c current bound: 273 485.40/486.14 c current bound: 273 485.45/486.73 c current bound: 273 486.60/487.31 c current bound: 273 487.19/487.90 c current bound: 273 487.72/488.48 c current bound: 273 487.81/489.08 c current bound: 273 488.90/489.67 c current bound: 273 489.00/490.28 c current bound: 273 490.11/490.86 c current bound: 273 490.18/491.45 c current bound: 273 491.31/492.05 c current bound: 273 491.37/492.64 c current bound: 273 492.50/493.23 c current bound: 273 493.13/493.82 c current bound: 273 493.70/494.41 c current bound: 273 494.31/495.00 c current bound: 273 494.91/495.61 c current bound: 273 495.50/496.20 c current bound: 273 496.10/496.80 c current bound: 273 496.61/497.39 c current bound: 273 496.72/497.99 c current bound: 273 497.81/498.58 c current bound: 273 497.91/499.17 c current bound: 273 499.00/499.76 c current bound: 273 499.08/500.35 c current bound: 273 500.21/500.93 c current bound: 273 500.81/501.52 c current bound: 273 501.41/502.11 c current bound: 273 502.03/502.73 c current bound: 273 502.05/503.32 c current bound: 273 503.21/503.91 c current bound: 273 503.24/504.52 c current bound: 273 504.40/505.12 c current bound: 273 504.44/505.73 c current bound: 273 505.61/506.32 c current bound: 273 506.21/506.91 c current bound: 273 506.81/507.50 c current bound: 273 506.84/508.09 c current bound: 273 507.43/508.69 c current bound: 273 508.51/509.28 c current bound: 273 508.62/509.89 c current bound: 273 509.71/510.48 c current bound: 273 509.81/511.08 c current bound: 273 510.91/511.67 c current bound: 273 511.00/512.26 c current bound: 273 512.11/512.86 c current bound: 273 512.19/513.45 c current bound: 273 513.31/514.05 c current bound: 273 513.39/514.64 c current bound: 273 514.51/515.23 c current bound: 273 515.13/515.81 c current bound: 273 515.71/516.40 c current bound: 273 516.21/516.99 c current bound: 273 516.33/517.59 c current bound: 273 517.43/518.18 c current bound: 273 517.51/518.76 c current bound: 273 518.62/519.35 c current bound: 273 518.68/519.95 c current bound: 273 519.81/520.54 c current bound: 273 519.88/521.12 c current bound: 273 521.03/521.71 c current bound: 273 521.61/522.30 c current bound: 273 522.12/522.89 c current bound: 273 522.22/523.48 c current bound: 273 523.32/524.07 c current bound: 273 523.92/524.65 c current bound: 273 523.99/525.25 c current bound: 273 525.13/525.83 c current bound: 273 525.16/526.43 c current bound: 273 526.32/527.02 c current bound: 273 526.92/527.61 c current bound: 273 527.51/528.20 c current bound: 273 528.12/528.81 c current bound: 273 528.61/529.40 c current bound: 273 529.30/530.00 c current bound: 273 529.81/530.59 c current bound: 273 529.93/531.18 c current bound: 273 531.01/531.76 c current bound: 273 531.62/532.35 c current bound: 273 531.69/532.94 c current bound: 273 532.82/533.53 c current bound: 273 532.87/534.12 c current bound: 273 534.01/534.72 c current bound: 273 534.05/535.31 c current bound: 273 535.22/535.91 c current bound: 273 535.81/536.50 c current bound: 273 536.31/537.09 c current bound: 273 536.43/537.68 c current bound: 273 537.52/538.28 c current bound: 273 537.60/538.86 c current bound: 273 538.71/539.45 c current bound: 273 539.32/540.04 c current bound: 273 539.38/540.63 c current bound: 273 540.54/541.23 c current bound: 273 540.58/541.82 c current bound: 273 541.72/542.43 c current bound: 273 541.77/543.03 c current bound: 273 542.92/543.62 c current bound: 273 543.53/544.21 c current bound: 273 544.13/544.81 c current bound: 273 544.72/545.40 c current bound: 273 545.23/545.98 c current bound: 273 545.33/546.57 c current bound: 273 546.43/547.16 c current bound: 273 547.05/547.75 c current bound: 273 547.10/548.35 c current bound: 273 548.24/548.94 c current bound: 273 548.30/549.53 c current bound: 273 549.44/550.14 c current bound: 273 549.46/550.73 c current bound: 273 550.61/551.32 c current bound: 273 550.65/551.92 c current bound: 273 551.81/552.51 c current bound: 273 551.84/553.12 c current bound: 273 553.01/553.72 c current bound: 273 553.61/554.33 c current bound: 273 554.23/554.91 c current bound: 273 554.73/555.50 c current bound: 273 554.83/556.08 c current bound: 273 555.93/556.67 c current bound: 273 556.01/557.26 c current bound: 273 557.13/557.85 c current bound: 273 557.19/558.44 c current bound: 273 558.31/559.04 c current bound: 273 558.37/559.63 c current bound: 273 559.51/560.23 c current bound: 273 559.56/560.82 c current bound: 273 560.71/561.40 c current bound: 273 560.74/561.99 c current bound: 273 561.82/562.58 c current bound: 273 562.43/563.17 c current bound: 273 562.51/563.76 c current bound: 273 563.62/564.36 c current bound: 273 563.69/564.94 c current bound: 273 564.83/565.53 c current bound: 273 565.43/566.11 c current bound: 273 566.01/566.70 c current bound: 273 566.03/567.30 c current bound: 273 567.11/567.88 c current bound: 273 567.21/568.48 c current bound: 273 568.32/569.07 c current bound: 273 568.39/569.65 c current bound: 273 569.51/570.25 c current bound: 273 570.13/570.86 c current bound: 273 570.19/571.44 c current bound: 273 571.33/572.03 c current bound: 273 571.36/572.62 c current bound: 273 572.51/573.22 c current bound: 273 573.11/573.80 c current bound: 273 573.70/574.40 c current bound: 273 573.73/574.99 c current bound: 273 574.81/575.58 c current bound: 273 574.91/576.17 c current bound: 273 576.01/576.76 c current bound: 273 576.08/577.35 c current bound: 273 577.21/577.95 c current bound: 273 577.83/578.54 c current bound: 273 577.88/579.13 c current bound: 273 579.03/579.73 c current bound: 273 579.07/580.32 c current bound: 273 580.22/580.92 c current bound: 273 580.82/581.53 c current bound: 273 581.39/582.12 c current bound: 273 582.00/582.71 c current bound: 273 582.58/583.30 c current bound: 273 582.61/583.89 c current bound: 273 583.69/584.48 c current bound: 273 583.79/585.08 c current bound: 273 584.90/585.68 c current bound: 273 585.50/586.27 c current bound: 273 585.58/586.87 c current bound: 273 586.70/587.47 c current bound: 273 586.78/588.07 c current bound: 273 587.89/588.66 c current bound: 273 587.97/589.27 c current bound: 273 589.09/589.86 c current bound: 273 589.18/590.45 c current bound: 273 590.28/591.04 c current bound: 273 590.35/591.63 c current bound: 273 591.50/592.22 c current bound: 273 592.10/592.81 c current bound: 273 592.70/593.41 c current bound: 273 593.21/594.00 c current bound: 273 593.33/594.59 c current bound: 273 594.41/595.18 c current bound: 273 594.51/595.77 c current bound: 273 595.61/596.36 c current bound: 273 595.68/596.96 c current bound: 273 596.79/597.55 c current bound: 273 596.87/598.14 c current bound: 273 597.99/598.73 c current bound: 273 598.04/599.32 c current bound: 273 599.20/599.92 c current bound: 273 599.80/600.51 c current bound: 273 600.38/601.10 c current bound: 273 600.91/601.69 c current bound: 273 601.00/602.28 c current bound: 273 602.10/602.87 c current bound: 273 602.19/603.47 c current bound: 273 603.30/604.07 c current bound: 273 603.38/604.65 c current bound: 273 604.50/605.26 c current bound: 273 604.57/605.85 c current bound: 273 605.69/606.44 c current bound: 273 605.75/607.03 c current bound: 273 606.89/607.62 c current bound: 273 607.51/608.24 c current bound: 273 607.53/608.83 c current bound: 273 608.69/609.42 c current bound: 273 609.28/610.01 c current bound: 273 609.89/610.60 c current bound: 273 610.49/611.20 c current bound: 273 610.97/611.79 c current bound: 273 611.08/612.39 c current bound: 273 612.17/612.99 c current bound: 273 612.28/613.58 c current bound: 273 613.36/614.18 c current bound: 273 613.47/614.77 c current bound: 273 614.56/615.36 c current bound: 273 615.16/615.95 c current bound: 273 615.24/616.54 c current bound: 273 616.38/617.13 c current bound: 273 616.42/617.73 c current bound: 273 617.57/618.32 c current bound: 273 617.61/618.92 c current bound: 273 618.76/619.51 c current bound: 273 619.36/620.10 c current bound: 273 619.86/620.69 c current bound: 273 619.97/621.29 c current bound: 273 621.06/621.88 c current bound: 273 621.17/622.47 c current bound: 273 622.27/623.06 c current bound: 273 622.87/623.65 c current bound: 273 622.93/624.24 c current bound: 273 624.06/624.84 c current bound: 273 624.13/625.43 c current bound: 273 625.26/626.02 c current bound: 273 625.86/626.61 c current bound: 273 626.45/627.20 c current bound: 273 627.07/627.80 c current bound: 273 627.55/628.39 c current bound: 273 627.67/628.98 c current bound: 273 628.75/629.59 c current bound: 273 628.84/630.19 c current bound: 273 629.93/630.78 c current bound: 273 630.54/631.37 c current bound: 273 630.61/631.96 c current bound: 273 631.74/632.55 c current bound: 273 631.80/633.15 c current bound: 273 632.93/633.74 c current bound: 273 633.00/634.33 c current bound: 273 634.12/634.92 c current bound: 273 634.74/635.51 c current bound: 273 635.34/636.10 c current bound: 273 635.34/636.68 c current bound: 273 636.43/637.27 c current bound: 273 636.51/637.86 c current bound: 273 637.62/638.45 c current bound: 273 638.22/639.04 c current bound: 273 638.29/639.63 c current bound: 273 639.44/640.22 c current bound: 273 640.04/640.81 c current bound: 273 640.63/641.40 c current bound: 273 641.22/642.00 c current bound: 273 641.73/642.59 c current bound: 273 641.83/643.18 c current bound: 273 642.91/643.76 c current bound: 273 643.00/644.35 c current bound: 273 644.12/644.95 c current bound: 273 644.18/645.53 c current bound: 273 645.33/646.12 c current bound: 273 645.93/646.71 c current bound: 273 646.51/647.30 c current bound: 273 647.04/647.89 c current bound: 273 647.14/648.48 c current bound: 273 648.24/649.08 c current bound: 273 648.34/649.67 c current bound: 273 649.43/650.26 c current bound: 273 649.51/650.85 c current bound: 273 650.63/651.45 c current bound: 273 650.70/652.04 c current bound: 273 651.83/652.64 c current bound: 273 651.89/653.24 c current bound: 273 653.02/653.83 c current bound: 273 653.63/654.42 c current bound: 273 654.24/655.01 c current bound: 273 654.84/655.61 c current bound: 273 655.42/656.21 c current bound: 273 655.95/656.79 c current bound: 273 656.05/657.38 c current bound: 273 657.14/657.97 c current bound: 273 657.23/658.56 c current bound: 273 658.34/659.15 c current bound: 273 658.41/659.76 c current bound: 273 659.54/660.35 c current bound: 273 659.60/660.94 c current bound: 273 660.75/661.54 c current bound: 273 661.35/662.13 c current bound: 273 661.94/662.71 c current bound: 273 662.55/663.31 c current bound: 273 663.14/663.91 c current bound: 273 663.73/664.50 c current bound: 273 664.35/665.10 c current bound: 273 664.84/665.69 c current bound: 273 665.53/666.33 c current bound: 273 666.10/666.91 c current bound: 273 666.68/667.51 c current bound: 273 667.17/668.09 c current bound: 273 667.31/668.69 c current bound: 273 668.40/669.29 c current bound: 273 668.99/669.88 c current bound: 273 669.08/670.48 c current bound: 273 670.19/671.07 c current bound: 273 670.28/671.66 c current bound: 273 671.38/672.25 c current bound: 273 671.47/672.85 c current bound: 273 672.58/673.46 c current bound: 273 672.67/674.05 c current bound: 273 673.79/674.65 c current bound: 273 673.85/675.24 c current bound: 273 674.97/675.84 c current bound: 273 675.59/676.43 c current bound: 273 675.63/677.02 c current bound: 273 676.80/677.61 c current bound: 273 677.39/678.20 c current bound: 273 677.90/678.79 c current bound: 273 678.00/679.39 c current bound: 273 679.09/679.97 c current bound: 273 679.18/680.57 c current bound: 273 680.29/681.16 c current bound: 273 680.37/681.75 c current bound: 273 681.49/682.35 c current bound: 273 681.55/682.93 c current bound: 273 682.68/683.53 c current bound: 273 683.29/684.13 c current bound: 273 683.33/684.72 c current bound: 273 684.50/685.31 c current bound: 273 685.10/685.90 c current bound: 273 685.60/686.49 c current bound: 273 685.70/687.09 c current bound: 273 686.79/687.68 c current bound: 273 686.89/688.27 c current bound: 273 687.99/688.86 c current bound: 273 688.07/689.45 c current bound: 273 689.19/690.04 c current bound: 273 689.25/690.63 c current bound: 273 690.40/691.23 c current bound: 273 691.00/691.81 c current bound: 273 691.61/692.41 c current bound: 273 692.20/693.03 c current bound: 273 692.22/693.62 c current bound: 273 693.37/694.22 c current bound: 273 693.97/694.81 c current bound: 273 694.57/695.40 c current bound: 273 694.58/695.99 c current bound: 273 695.67/696.57 c current bound: 273 695.76/697.16 c current bound: 273 696.88/697.75 c current bound: 273 696.94/698.34 c current bound: 273 698.07/698.93 c current bound: 273 698.67/699.53 c current bound: 273 698.72/700.12 c current bound: 273 699.87/700.71 c current bound: 273 700.47/701.31 c current bound: 273 701.07/701.90 c current bound: 273 701.08/702.49 c current bound: 273 702.17/703.08 c current bound: 273 702.26/703.67 c current bound: 273 703.36/704.26 c current bound: 273 703.45/704.84 c current bound: 273 704.58/705.44 c current bound: 273 704.63/706.02 c current bound: 273 705.79/706.61 c current bound: 273 706.38/707.21 c current bound: 273 706.99/707.81 c current bound: 273 707.59/708.41 c current bound: 273 708.18/709.00 c current bound: 273 708.69/709.59 c current bound: 273 708.79/710.18 c current bound: 273 709.87/710.78 c current bound: 273 709.97/711.37 c current bound: 273 711.08/711.96 c current bound: 273 711.15/712.55 c current bound: 273 712.26/713.14 c current bound: 273 712.34/713.73 c current bound: 273 713.49/714.33 c current bound: 273 714.08/714.92 c current bound: 273 714.69/715.51 c current bound: 273 715.20/716.10 c current bound: 273 715.30/716.68 c current bound: 273 716.39/717.28 c current bound: 273 716.49/717.88 c current bound: 273 717.58/718.47 c current bound: 273 717.66/719.06 c current bound: 273 718.78/719.65 c current bound: 273 718.85/720.25 c current bound: 273 719.99/720.83 c current bound: 273 720.04/721.43 c current bound: 273 721.18/722.02 c current bound: 273 721.79/722.61 c current bound: 273 722.39/723.20 c current bound: 273 722.99/723.81 c current bound: 273 723.60/724.40 c current bound: 273 724.09/724.99 c current bound: 273 724.19/725.58 c current bound: 273 725.28/726.17 c current bound: 273 725.38/726.76 c current bound: 273 726.49/727.34 c current bound: 273 726.54/727.93 c current bound: 273 727.68/728.52 c current bound: 273 727.72/729.12 c current bound: 273 728.89/729.72 c current bound: 273 729.48/730.31 c current bound: 273 729.50/730.89 c current bound: 273 730.59/731.48 c current bound: 273 730.67/732.07 c current bound: 273 731.78/732.66 c current bound: 273 731.85/733.26 c current bound: 273 732.97/733.85 c current bound: 273 733.05/734.46 c current bound: 273 734.19/735.05 c current bound: 273 734.26/735.64 c current bound: 273 735.39/736.23 c current bound: 273 735.44/736.83 c current bound: 273 736.59/737.41 c current bound: 273 736.61/738.00 c current bound: 273 737.78/738.60 c current bound: 273 738.29/739.19 c current bound: 273 738.39/739.78 c current bound: 273 739.50/740.37 c current bound: 273 739.57/740.96 c current bound: 273 740.67/741.54 c current bound: 273 740.75/742.14 c current bound: 273 741.88/742.73 c current bound: 273 741.92/743.32 c current bound: 273 743.09/743.91 c current bound: 273 743.68/744.51 c current bound: 273 744.29/745.10 c current bound: 273 744.88/745.71 c current bound: 273 745.49/746.32 c current bound: 273 746.06/746.91 c current bound: 273 746.68/747.50 c current bound: 273 747.27/748.10 c current bound: 273 747.28/748.69 c current bound: 273 748.36/749.28 c current bound: 273 748.45/749.87 c current bound: 273 749.55/750.46 c current bound: 273 749.64/751.05 c current bound: 273 750.74/751.64 c current bound: 273 750.80/752.22 c current bound: 273 751.96/752.82 c current bound: 273 752.57/753.41 c current bound: 273 753.17/754.01 c current bound: 273 753.76/754.61 c current bound: 273 754.36/755.21 c current bound: 273 754.96/755.80 c current bound: 273 755.55/756.40 c current bound: 273 756.16/757.01 c current bound: 273 756.75/757.60 c current bound: 273 757.35/758.20 c current bound: 273 757.96/758.80 c current bound: 273 758.46/759.40 c current bound: 273 758.57/759.98 c current bound: 273 759.66/760.58 c current bound: 273 760.26/761.17 c current bound: 273 760.34/761.75 c current bound: 273 761.46/762.35 c current bound: 273 761.54/762.94 c current bound: 273 762.67/763.53 c current bound: 273 763.28/764.11 c current bound: 273 763.86/764.71 c current bound: 273 764.45/765.30 c current bound: 273 765.06/765.90 c current bound: 273 765.08/766.49 c current bound: 273 766.17/767.08 c current bound: 273 766.26/767.67 c current bound: 273 767.37/768.26 c current bound: 273 767.96/768.84 c current bound: 273 768.02/769.43 c current bound: 273 769.16/770.02 c current bound: 273 769.20/770.63 c current bound: 273 770.37/771.24 c current bound: 273 770.42/771.84 c current bound: 273 771.56/772.43 c current bound: 273 771.61/773.05 c current bound: 273 772.73/773.64 c current bound: 273 772.78/774.22 c current bound: 273 773.95/774.81 c current bound: 273 773.96/775.40 c current bound: 273 774.55/775.99 c current bound: 273 775.62/776.59 c current bound: 273 775.74/777.18 c current bound: 273 776.85/777.77 c current bound: 273 776.92/778.36 c current bound: 273 778.04/778.95 c current bound: 273 778.10/779.54 c current bound: 273 779.23/780.13 c current bound: 273 779.28/780.72 c current bound: 273 780.43/781.32 c current bound: 273 781.05/781.91 c current bound: 273 781.63/782.52 c current bound: 273 782.24/783.11 c current bound: 273 782.26/783.69 c current bound: 273 783.34/784.30 c current bound: 273 783.45/784.88 c current bound: 273 784.53/785.47 c current bound: 273 784.62/786.07 c current bound: 273 785.73/786.65 c current bound: 273 785.80/787.24 c current bound: 273 786.93/787.83 c current bound: 273 786.98/788.42 c current bound: 273 788.13/789.01 c current bound: 273 788.16/789.59 c current bound: 273 789.23/790.18 c current bound: 273 789.33/790.77 c current bound: 273 790.45/791.36 c current bound: 273 791.04/791.95 c current bound: 273 791.12/792.54 c current bound: 273 792.25/793.14 c current bound: 273 792.29/793.73 c current bound: 273 793.44/794.32 c current bound: 273 794.04/794.91 c current bound: 273 794.64/795.50 c current bound: 273 794.65/796.09 c current bound: 273 795.73/796.68 c current bound: 273 795.83/797.28 c current bound: 273 796.94/797.88 c current bound: 273 797.03/798.47 c current bound: 273 798.13/799.07 c current bound: 273 798.73/799.66 c current bound: 273 798.80/800.26 c current bound: 273 799.93/800.85 c current bound: 273 799.99/801.44 c current bound: 273 801.12/802.03 c current bound: 273 801.17/802.62 c current bound: 273 802.32/803.20 c current bound: 273 802.35/803.79 c current bound: 273 803.44/804.38 c current bound: 273 803.54/804.97 c current bound: 273 804.63/805.57 c current bound: 273 804.72/806.17 c current bound: 273 805.83/806.77 c current bound: 273 806.44/807.36 c current bound: 273 806.51/807.95 c current bound: 273 807.64/808.54 c current bound: 273 807.69/809.14 c current bound: 273 808.83/809.73 c current bound: 273 808.89/810.32 c current bound: 273 810.03/810.91 c current bound: 273 810.62/811.50 c current bound: 273 811.13/812.09 c current bound: 273 811.24/812.68 c current bound: 273 812.32/813.27 c current bound: 273 812.41/813.86 c current bound: 273 813.53/814.45 c current bound: 273 814.13/815.06 c current bound: 273 814.21/815.65 c current bound: 273 815.34/816.24 c current bound: 273 815.40/816.83 c current bound: 273 816.54/817.43 c current bound: 273 816.58/818.02 c current bound: 273 817.75/818.61 c current bound: 273 818.33/819.20 c current bound: 273 818.94/819.80 c current bound: 273 818.95/820.39 c current bound: 273 820.02/820.98 c current bound: 273 820.13/821.58 c current bound: 273 821.23/822.16 c current bound: 273 821.83/822.77 c current bound: 273 821.90/823.36 c current bound: 273 823.04/823.95 c current bound: 273 823.09/824.54 c current bound: 273 824.21/825.14 c current bound: 273 824.27/825.74 c current bound: 273 825.41/826.34 c current bound: 273 825.48/826.93 c current bound: 273 826.62/827.52 c current bound: 273 827.23/828.11 c current bound: 273 827.82/828.71 c current bound: 273 828.43/829.31 c current bound: 273 829.02/829.90 c current bound: 273 829.53/830.50 c current bound: 273 829.64/831.09 c current bound: 273 830.73/831.69 c current bound: 273 830.83/832.28 c current bound: 273 831.91/832.87 c current bound: 273 832.00/833.46 c current bound: 273 833.12/834.05 c current bound: 273 833.19/834.65 c current bound: 273 834.32/835.24 c current bound: 273 834.38/835.84 c current bound: 273 835.52/836.43 c current bound: 273 836.12/837.03 c current bound: 273 836.18/837.63 c current bound: 273 837.34/838.22 c current bound: 273 837.93/838.81 c current bound: 273 838.53/839.41 c current bound: 273 839.12/840.00 c current bound: 273 839.61/840.59 c current bound: 273 839.74/841.18 c current bound: 273 840.82/841.78 c current bound: 273 840.92/842.38 c current bound: 273 842.04/842.97 c current bound: 273 842.12/843.56 c current bound: 273 843.23/844.15 c current bound: 273 843.84/844.74 c current bound: 273 843.89/845.33 c current bound: 273 845.04/845.91 c current bound: 273 845.64/846.51 c current bound: 273 846.23/847.11 c current bound: 273 846.83/847.70 c current bound: 273 847.44/848.30 c current bound: 273 847.45/848.89 c current bound: 273 848.54/849.48 c current bound: 273 848.63/850.07 c current bound: 273 849.73/850.67 c current bound: 273 849.82/851.28 c current bound: 273 850.93/851.87 c current bound: 273 851.54/852.46 c current bound: 273 851.61/853.05 c current bound: 273 852.73/853.64 c current bound: 273 852.79/854.23 c current bound: 273 853.93/854.84 c current bound: 273 853.99/855.43 c current bound: 273 855.14/856.02 c current bound: 273 855.73/856.61 c current bound: 273 856.32/857.20 c current bound: 273 856.35/857.79 c current bound: 273 857.43/858.39 c current bound: 273 857.53/858.98 c current bound: 273 858.63/859.57 c current bound: 273 859.23/860.16 c current bound: 273 859.30/860.76 c current bound: 273 860.44/861.35 c current bound: 273 860.50/861.93 c current bound: 273 861.62/862.53 c current bound: 273 861.69/863.12 c current bound: 273 862.83/863.70 c current bound: 273 862.84/864.29 c current bound: 273 863.94/864.89 c current bound: 273 864.03/865.48 c current bound: 273 865.13/866.06 c current bound: 273 865.21/866.66 c current bound: 273 866.32/867.25 c current bound: 273 866.92/867.83 c current bound: 273 866.98/868.42 c current bound: 273 868.14/869.01 c current bound: 273 868.72/869.61 c current bound: 273 869.33/870.20 c current bound: 273 869.34/870.78 c current bound: 273 870.42/871.38 c current bound: 273 870.52/871.98 c current bound: 273 871.61/872.56 c current bound: 273 871.69/873.16 c current bound: 273 872.82/873.76 c current bound: 273 872.89/874.35 c current bound: 273 874.02/874.94 c current bound: 273 874.63/875.52 c current bound: 273 875.23/876.11 c current bound: 273 875.74/876.70 c current bound: 273 875.84/877.29 c current bound: 273 876.93/877.88 c current bound: 273 877.02/878.46 c current bound: 273 878.13/879.05 c current bound: 273 878.19/879.64 c current bound: 273 879.32/880.23 c current bound: 273 879.37/880.82 c current bound: 273 880.52/881.41 c current bound: 273 881.11/882.00 c current bound: 273 881.62/882.59 c current bound: 273 881.74/883.18 c current bound: 273 882.83/883.77 c current bound: 273 883.44/884.39 c current bound: 273 883.51/884.98 c current bound: 273 884.59/885.58 c current bound: 273 884.70/886.17 c current bound: 273 885.80/886.76 c current bound: 273 885.86/887.34 c current bound: 273 887.00/887.94 c current bound: 273 887.05/888.54 c current bound: 273 888.19/889.13 c current bound: 273 888.24/889.73 c current bound: 273 889.40/890.32 c current bound: 273 890.00/890.92 c current bound: 273 890.60/891.51 c current bound: 273 891.10/892.10 c current bound: 273 891.79/892.70 c current bound: 273 892.29/893.29 c current bound: 273 892.41/893.88 c current bound: 273 893.49/894.47 c current bound: 273 893.58/895.06 c current bound: 273 894.68/895.65 c current bound: 273 894.75/896.23 c current bound: 273 895.89/896.84 c current bound: 273 895.94/897.43 c current bound: 273 897.08/898.02 c current bound: 273 897.69/898.63 c current bound: 273 897.73/899.23 c current bound: 273 898.91/899.83 c current bound: 273 898.93/900.42 c current bound: 273 900.08/901.01 c current bound: 273 900.68/901.60 c current bound: 273 901.18/902.19 c current bound: 273 901.30/902.79 c current bound: 273 902.38/903.38 c current bound: 273 902.48/903.97 c current bound: 273 903.57/904.56 c current bound: 273 903.67/905.16 c current bound: 273 904.78/905.75 c current bound: 273 905.38/906.34 c current bound: 273 905.45/906.94 c current bound: 273 906.59/907.53 c current bound: 273 906.62/908.12 c current bound: 273 907.78/908.72 c current bound: 273 908.38/909.31 c current bound: 273 908.98/909.90 c current bound: 273 909.00/910.49 c current bound: 273 910.17/911.11 c current bound: 273 910.77/911.71 c current bound: 273 911.38/912.31 c current bound: 273 911.96/912.91 c current bound: 273 912.57/913.50 c current bound: 273 913.07/914.09 c current bound: 273 913.16/914.68 c current bound: 273 914.26/915.27 c current bound: 273 914.35/915.86 c current bound: 273 915.46/916.45 c current bound: 273 915.52/917.05 c current bound: 273 916.65/917.64 c current bound: 273 916.71/918.23 c current bound: 273 917.86/918.81 c current bound: 273 918.46/919.41 c current bound: 273 919.05/920.00 c current bound: 273 919.08/920.59 c current bound: 273 919.67/921.18 c current bound: 273 920.77/921.77 c current bound: 273 920.84/922.35 c current bound: 273 921.95/922.94 c current bound: 273 922.02/923.54 c current bound: 273 923.15/924.13 c current bound: 273 923.20/924.72 c current bound: 273 924.35/925.30 c current bound: 273 924.37/925.89 c current bound: 273 925.45/926.48 c current bound: 273 925.56/927.07 c current bound: 273 926.66/927.66 c current bound: 273 926.73/928.26 c current bound: 273 927.86/928.87 c current bound: 273 928.46/929.46 c current bound: 273 928.54/930.05 c current bound: 273 929.66/930.64 c current bound: 273 929.70/931.24 c current bound: 273 930.85/931.82 c current bound: 273 931.46/932.41 c current bound: 273 932.06/933.00 c current bound: 273 932.07/933.59 c current bound: 273 933.14/934.18 c current bound: 273 933.24/934.77 c current bound: 273 934.35/935.36 c current bound: 273 934.43/935.96 c current bound: 273 935.54/936.56 c current bound: 273 936.14/937.15 c current bound: 273 936.22/937.74 c current bound: 273 937.36/938.33 c current bound: 273 937.95/938.91 c current bound: 273 938.56/939.50 c current bound: 273 939.15/940.10 c current bound: 273 939.74/940.70 c current bound: 273 939.78/941.29 c current bound: 273 940.85/941.87 c current bound: 273 940.93/942.47 c current bound: 273 942.06/943.06 c current bound: 273 942.12/943.66 c current bound: 273 943.23/944.25 c current bound: 273 943.84/944.84 c current bound: 273 943.89/945.43 c current bound: 273 945.05/946.03 c current bound: 273 945.66/946.61 c current bound: 273 946.24/947.21 c current bound: 273 946.27/947.82 c current bound: 273 947.45/948.42 c current bound: 273 948.04/949.00 c current bound: 273 948.55/949.59 c current bound: 273 948.65/950.18 c current bound: 273 949.74/950.77 c current bound: 273 949.83/951.36 c current bound: 273 950.95/951.95 c current bound: 273 951.55/952.55 c current bound: 273 951.62/953.14 c current bound: 273 952.76/953.74 c current bound: 273 952.80/954.34 c current bound: 273 953.94/954.92 c current bound: 273 954.55/955.51 c current bound: 273 955.13/956.10 c current bound: 273 955.15/956.68 c current bound: 273 956.24/957.27 c current bound: 273 956.32/957.86 c current bound: 273 957.45/958.44 c current bound: 273 957.50/959.03 c current bound: 273 958.09/959.62 c current bound: 273 959.24/960.22 c current bound: 273 959.27/960.83 c current bound: 273 960.45/961.42 c current bound: 273 961.04/962.01 c current bound: 273 961.63/962.61 c current bound: 273 962.22/963.20 c current bound: 273 962.84/963.80 c current bound: 273 962.84/964.39 c current bound: 273 963.92/964.98 c current bound: 273 964.02/965.58 c current bound: 273 965.12/966.17 c current bound: 273 965.21/966.77 c current bound: 273 966.33/967.35 c current bound: 273 966.93/967.94 c current bound: 273 966.98/968.53 c current bound: 273 968.14/969.12 c current bound: 273 968.16/969.72 c current bound: 273 969.33/970.31 c current bound: 273 969.35/970.92 c current bound: 273 970.53/971.52 c current bound: 273 971.11/972.10 c current bound: 273 971.72/972.70 c current bound: 273 971.74/973.29 c current bound: 273 972.82/973.89 c current bound: 273 972.94/974.49 c current bound: 273 974.03/975.08 c current bound: 273 974.65/975.68 c current bound: 273 974.73/976.27 c current bound: 273 975.83/976.85 c current bound: 273 975.91/977.44 c current bound: 273 977.03/978.03 c current bound: 273 977.08/978.62 c current bound: 273 978.24/979.21 c current bound: 273 978.82/979.80 c current bound: 273 979.32/980.39 c current bound: 273 979.43/980.98 c current bound: 273 980.53/981.58 c current bound: 273 980.64/982.17 c current bound: 273 981.73/982.76 c current bound: 273 982.34/983.35 c current bound: 273 982.40/983.94 c current bound: 273 983.53/984.53 c current bound: 273 983.58/985.12 c current bound: 273 984.74/985.71 c current bound: 273 985.33/986.30 c current bound: 273 985.83/986.89 c current bound: 273 986.53/987.50 c current bound: 273 987.13/988.10 c current bound: 273 987.73/988.70 c current bound: 273 988.21/989.28 c current bound: 273 988.33/989.88 c current bound: 273 989.44/990.47 c current bound: 273 990.04/991.06 c current bound: 273 990.10/991.65 c current bound: 273 991.23/992.24 c current bound: 273 991.28/992.83 c current bound: 273 992.43/993.43 c current bound: 273 992.48/994.03 c current bound: 273 993.63/994.63 c current bound: 273 993.69/995.22 c current bound: 273 994.84/995.81 c current bound: 273 995.43/996.40 c current bound: 273 995.93/996.99 c current bound: 273 996.05/997.58 c current bound: 273 997.13/998.17 c current bound: 273 997.74/998.76 c current bound: 273 997.81/999.35 c current bound: 273 998.93/999.94 c current bound: 273 998.98/1000.53 c current bound: 273 1000.13/1001.12 c current bound: 273 1000.73/1001.70 c current bound: 273 1001.32/1002.30 c current bound: 273 1001.33/1002.89 c current bound: 273 1002.42/1003.49 c current bound: 273 1002.52/1004.08 c current bound: 273 1003.62/1004.67 c current bound: 273 1003.71/1005.27 c current bound: 273 1004.80/1005.85 c current bound: 273 1005.42/1006.45 c current bound: 273 1005.48/1007.03 c current bound: 273 1006.63/1007.63 c current bound: 273 1007.24/1008.21 c current bound: 273 1007.82/1008.80 c current bound: 273 1007.84/1009.39 c current bound: 273 1008.92/1009.98 c current bound: 273 1009.02/1010.57 c current bound: 273 1010.12/1011.16 c current bound: 273 1010.22/1011.75 c current bound: 273 1011.33/1012.34 c current bound: 273 1011.38/1012.93 c current bound: 273 1012.53/1013.52 c current bound: 273 1013.13/1014.11 c current bound: 273 1013.73/1014.71 c current bound: 273 1014.25/1015.30 c current bound: 273 1014.34/1015.89 c current bound: 273 1015.43/1016.49 c current bound: 273 1015.54/1017.09 c current bound: 273 1016.62/1017.69 c current bound: 273 1016.72/1018.29 c current bound: 273 1017.83/1018.88 c current bound: 273 1017.92/1019.46 c current bound: 273 1019.02/1020.05 c current bound: 273 1019.10/1020.65 c current bound: 273 1020.23/1021.24 c current bound: 273 1020.84/1021.84 c current bound: 273 1020.89/1022.46 c current bound: 273 1021.99/1023.06 c current bound: 273 1022.06/1023.66 c current bound: 273 1023.19/1024.24 c current bound: 273 1023.25/1024.83 c current bound: 273 1024.38/1025.42 c current bound: 273 1024.41/1026.02 c current bound: 273 1025.58/1026.61 c current bound: 273 1026.18/1027.20 c current bound: 273 1026.68/1027.79 c current bound: 273 1026.80/1028.39 c current bound: 273 1027.98/1029.00 c current bound: 273 1028.49/1029.60 c current bound: 273 1029.18/1030.20 c current bound: 273 1029.69/1030.79 c current bound: 273 1029.79/1031.38 c current bound: 273 1030.88/1031.97 c current bound: 273 1030.97/1032.55 c current bound: 273 1032.07/1033.14 c current bound: 273 1032.14/1033.73 c current bound: 273 1033.28/1034.32 c current bound: 273 1033.88/1034.91 c current bound: 273 1034.48/1035.50 c current bound: 273 1034.51/1036.09 c current bound: 273 1035.09/1036.68 c current bound: 273 1036.19/1037.27 c current bound: 273 1036.26/1037.85 c current bound: 273 1037.40/1038.44 c current bound: 273 1037.46/1039.04 c current bound: 273 1038.58/1039.63 c current bound: 273 1038.64/1040.22 c current bound: 273 1039.79/1040.80 c current bound: 273 1040.38/1041.40 c current bound: 273 1040.88/1041.99 c current bound: 273 1041.01/1042.58 c current bound: 273 1042.09/1043.18 c current bound: 273 1042.19/1043.76 c current bound: 273 1043.29/1044.36 c current bound: 273 1043.89/1044.96 c current bound: 273 1043.96/1045.55 c current bound: 273 1045.10/1046.14 c current bound: 273 1045.14/1046.73 c current bound: 273 1046.29/1047.32 c current bound: 273 1046.89/1047.91 c current bound: 273 1047.40/1048.49 c current bound: 273 1047.50/1049.08 c current bound: 273 1048.60/1049.67 c current bound: 273 1048.69/1050.26 c current bound: 273 1049.80/1050.85 c current bound: 273 1049.87/1051.43 c current bound: 273 1051.00/1052.02 c current bound: 273 1051.59/1052.60 c current bound: 273 1052.18/1053.20 c current bound: 273 1052.79/1053.82 c current bound: 273 1052.80/1054.42 c current bound: 273 1053.95/1055.02 c current bound: 273 1054.55/1055.60 c current bound: 273 1055.06/1056.19 c current bound: 273 1055.16/1056.78 c current bound: 273 1056.25/1057.37 c current bound: 273 1056.35/1057.96 c current bound: 273 1057.46/1058.54 c current bound: 273 1057.53/1059.13 c current bound: 273 1058.67/1059.73 c current bound: 273 1059.26/1060.31 c current bound: 273 1059.29/1060.89 c current bound: 273 1060.36/1061.49 c current bound: 273 1060.47/1062.09 c current bound: 273 1061.56/1062.68 c current bound: 273 1061.66/1063.27 c current bound: 273 1062.75/1063.86 c current bound: 273 1062.84/1064.45 c current bound: 273 1063.97/1065.04 c current bound: 273 1064.02/1065.63 c current bound: 273 1065.17/1066.22 c current bound: 273 1065.76/1066.81 c current bound: 273 1066.36/1067.40 c current bound: 273 1066.37/1067.99 c current bound: 273 1067.46/1068.58 c current bound: 273 1068.05/1069.17 c current bound: 273 1068.15/1069.76 c current bound: 273 1069.25/1070.36 c current bound: 273 1069.33/1070.95 c current bound: 273 1070.46/1071.54 c current bound: 273 1070.52/1072.13 c current bound: 273 1071.65/1072.72 c current bound: 273 1072.27/1073.31 c current bound: 273 1072.85/1073.90 c current bound: 273 1073.47/1074.50 c current bound: 273 1073.97/1075.08 c current bound: 273 1074.06/1075.68 c current bound: 273 1075.17/1076.27 c current bound: 273 1075.77/1076.87 c current bound: 273 1075.86/1077.46 c current bound: 273 1076.99/1078.05 c current bound: 273 1077.03/1078.64 c current bound: 273 1078.17/1079.23 c current bound: 273 1078.21/1079.82 c current bound: 273 1079.37/1080.44 c current bound: 273 1079.39/1081.05 c current bound: 273 1080.53/1081.64 c current bound: 273 1080.58/1082.22 c current bound: 273 1081.73/1082.81 c current bound: 273 1081.75/1083.40 c current bound: 273 1082.94/1084.01 c current bound: 273 1083.44/1084.60 c current bound: 273 1084.13/1085.20 c current bound: 273 1084.62/1085.79 c current bound: 273 1084.75/1086.39 c current bound: 273 1085.83/1086.99 c current bound: 273 1085.93/1087.57 c current bound: 273 1087.02/1088.16 c current bound: 273 1087.11/1088.76 c current bound: 273 1088.22/1089.35 c current bound: 273 1088.29/1089.93 c current bound: 273 1089.43/1090.54 c current bound: 273 1090.02/1091.12 c current bound: 273 1090.63/1091.71 c current bound: 273 1091.22/1092.31 c current bound: 273 1091.82/1092.90 c current bound: 273 1092.34/1093.49 c current bound: 273 1092.44/1094.08 c current bound: 273 1093.52/1094.67 c current bound: 273 1093.62/1095.26 c current bound: 273 1094.73/1095.84 c current bound: 273 1094.78/1096.44 c current bound: 273 1095.92/1097.03 c current bound: 273 1095.96/1097.62 c current bound: 273 1097.12/1098.21 c current bound: 273 1097.15/1098.79 c current bound: 273 1097.73/1099.39 c current bound: 273 1098.83/1099.98 c current bound: 273 1098.92/1100.57 c current bound: 273 1100.02/1101.15 c current bound: 273 1100.10/1101.76 c current bound: 273 1101.23/1102.34 c current bound: 273 1101.29/1102.95 c current bound: 273 1102.43/1103.54 c current bound: 273 1102.49/1104.13 c current bound: 273 1103.62/1104.72 c current bound: 273 1103.65/1105.32 c current bound: 273 1104.83/1105.91 c current bound: 273 1105.42/1106.51 c current bound: 273 1106.01/1107.13 c current bound: 273 1106.59/1107.73 c current bound: 273 1106.64/1108.32 c current bound: 273 1107.80/1108.91 c current bound: 273 1108.39/1109.50 c current bound: 273 1108.88/1110.08 c current bound: 273 1108.99/1110.68 c current bound: 273 1110.09/1111.27 c current bound: 273 1110.16/1111.85 c current bound: 273 1111.27/1112.46 c current bound: 273 1111.35/1113.05 c current bound: 273 1112.49/1113.63 c current bound: 273 1113.09/1114.23 c current bound: 273 1113.14/1114.83 c current bound: 273 1114.30/1115.42 c current bound: 273 1114.89/1116.00 c current bound: 273 1115.49/1116.60 c current bound: 273 1116.08/1117.20 c current bound: 273 1116.67/1117.80 c current bound: 273 1117.28/1118.40 c current bound: 273 1117.78/1118.99 c current bound: 273 1117.90/1119.58 c current bound: 273 1118.98/1120.16 c current bound: 273 1119.06/1120.75 c current bound: 273 1120.19/1121.33 c current bound: 273 1120.79/1121.93 c current bound: 273 1120.83/1122.53 c current bound: 273 1122.01/1123.12 c current bound: 273 1122.03/1123.72 c current bound: 273 1123.18/1124.30 c current bound: 273 1123.21/1124.89 c current bound: 273 1124.29/1125.48 c current bound: 273 1124.38/1126.07 c current bound: 273 1125.49/1126.66 c current bound: 273 1125.57/1127.25 c current bound: 273 1126.69/1127.85 c current bound: 273 1126.76/1128.44 c current bound: 273 1127.89/1129.03 c current bound: 273 1128.50/1129.62 c current bound: 273 1129.11/1130.21 c current bound: 273 1129.70/1130.82 c current bound: 273 1130.29/1131.40 c current bound: 273 1130.91/1132.00 c current bound: 273 1131.49/1132.60 c current bound: 273 1131.99/1133.19 c current bound: 273 1132.11/1133.77 c current bound: 273 1133.20/1134.36 c current bound: 273 1133.27/1134.95 c current bound: 273 1134.39/1135.54 c current bound: 273 1134.45/1136.14 c current bound: 273 1135.59/1136.73 c current bound: 273 1136.20/1137.31 c current bound: 273 1136.79/1137.91 c current bound: 273 1137.30/1138.49 c current bound: 273 1137.40/1139.08 c current bound: 273 1138.49/1139.66 c current bound: 273 1138.57/1140.25 c current bound: 273 1139.69/1140.84 c current bound: 273 1139.75/1141.43 c current bound: 273 1140.90/1142.02 c current bound: 273 1141.50/1142.61 c current bound: 273 1142.09/1143.21 c current bound: 273 1142.70/1143.80 c current bound: 273 1143.19/1144.39 c current bound: 273 1143.29/1144.99 c current bound: 273 1143.90/1145.58 c current bound: 273 1145.00/1146.17 c current bound: 273 1145.08/1146.78 c current bound: 273 1146.30/1147.40 c current bound: 273 1146.30/1147.99 c current bound: 273 1147.40/1148.58 c current bound: 273 1147.50/1149.17 c current bound: 273 1148.60/1149.76 c current bound: 273 1148.67/1150.35 c current bound: 273 1149.79/1150.94 c current bound: 273 1149.86/1151.54 c current bound: 273 1150.98/1152.13 c current bound: 273 1151.61/1152.72 c current bound: 273 1152.20/1153.31 c current bound: 273 1152.81/1153.91 c current bound: 273 1153.40/1154.50 c current bound: 273 1153.91/1155.09 c current bound: 273 1154.01/1155.68 c current bound: 273 1155.10/1156.27 c current bound: 273 1155.19/1156.86 c current bound: 273 1156.30/1157.45 c current bound: 273 1156.37/1158.05 c current bound: 273 1157.50/1158.64 c current bound: 273 1157.56/1159.23 c current bound: 273 1158.72/1159.81 c current bound: 273 1159.31/1160.42 c current bound: 273 1159.89/1161.01 c current bound: 273 1160.49/1161.61 c current bound: 273 1161.09/1162.20 c current bound: 273 1161.59/1162.78 c current bound: 273 1161.69/1163.37 c current bound: 273 1162.78/1163.96 c current bound: 273 1162.87/1164.55 c current bound: 273 1163.98/1165.14 c current bound: 273 1164.04/1165.72 c current bound: 273 1165.18/1166.31 c current bound: 273 1165.78/1166.90 c current bound: 273 1166.28/1167.49 c current bound: 273 1166.38/1168.08 c current bound: 273 1167.49/1168.68 c current bound: 273 1168.09/1169.27 c current bound: 273 1168.16/1169.86 c current bound: 273 1169.29/1170.44 c current bound: 273 1169.35/1171.03 c current bound: 273 1170.49/1171.62 c current bound: 273 1170.53/1172.22 c current bound: 273 1171.69/1172.82 c current bound: 273 1172.29/1173.41 c current bound: 273 1172.89/1174.00 c current bound: 273 1172.91/1174.59 c current bound: 273 1173.99/1175.18 c current bound: 273 1174.09/1175.77 c current bound: 273 1175.19/1176.36 c current bound: 273 1175.79/1176.95 c current bound: 273 1175.86/1177.54 c current bound: 273 1177.00/1178.13 c current bound: 273 1177.03/1178.72 c current bound: 273 1178.19/1179.32 c current bound: 273 1178.79/1179.91 c current bound: 273 1179.41/1180.50 c current bound: 273 1179.42/1181.08 c current bound: 273 1180.50/1181.67 c current bound: 273 1180.59/1182.27 c current bound: 273 1181.70/1182.86 c current bound: 273 1181.79/1183.45 c current bound: 273 1182.90/1184.04 c current bound: 273 1183.51/1184.63 c current bound: 273 1183.55/1185.22 c current bound: 273 1184.71/1185.81 c current bound: 273 1185.30/1186.40 c current bound: 273 1185.80/1186.99 c current bound: 273 1185.90/1187.59 c current bound: 273 1186.99/1188.18 c current bound: 273 1187.10/1188.77 c current bound: 273 1188.19/1189.38 c current bound: 273 1188.31/1189.96 c current bound: 273 1189.41/1190.55 c current bound: 273 1189.47/1191.15 c current bound: 273 1190.61/1191.73 c current bound: 273 1191.23/1192.33 c current bound: 273 1191.25/1192.92 c current bound: 273 1192.41/1193.51 c current bound: 273 1193.00/1194.10 c current bound: 273 1193.51/1194.69 c current bound: 273 1193.62/1195.28 c current bound: 273 1194.70/1195.87 c current bound: 273 1194.78/1196.46 c current bound: 273 1195.90/1197.05 c current bound: 273 1195.97/1197.63 c current bound: 273 1197.10/1198.23 c current bound: 273 1197.15/1198.82 c current bound: 273 1198.29/1199.43 c current bound: 273 1198.93/1200.02 c current bound: 273 1199.50/1200.61 c current bound: 273 1200.01/1201.19 c current bound: 273 1200.12/1201.78 c current bound: 273 1201.21/1202.37 c current bound: 273 1201.87/1203.00 c current bound: 273 1202.36/1203.59 c current bound: 273 1202.47/1204.19 c current bound: 273 1203.56/1204.77 c current bound: 273 1203.65/1205.36 c current bound: 273 1204.75/1205.96 c current bound: 273 1204.84/1206.56 c current bound: 273 1205.96/1207.15 c current bound: 273 1206.56/1207.76 c current bound: 273 1206.64/1208.35 c current bound: 273 1207.77/1208.95 c current bound: 273 1207.82/1209.53 c current bound: 273 1208.96/1210.13 c current bound: 273 1209.01/1210.72 c current bound: 273 1210.16/1211.32 c current bound: 273 1210.76/1211.91 c current bound: 273 1211.36/1212.51 c current bound: 273 1211.96/1213.11 c current bound: 273 1212.56/1213.70 c current bound: 273 1212.57/1214.28 c current bound: 273 1213.65/1214.86 c current bound: 273 1214.26/1215.45 c current bound: 273 1214.33/1216.06 c current bound: 273 1215.46/1216.65 c current bound: 273 1215.53/1217.24 c current bound: 273 1216.66/1217.83 c current bound: 273 1216.71/1218.42 c current bound: 273 1217.87/1219.02 c current bound: 273 1217.91/1219.62 c current bound: 273 1219.08/1220.21 c current bound: 273 1219.68/1220.81 c current bound: 273 1220.26/1221.41 c current bound: 273 1220.30/1222.00 c current bound: 273 1220.88/1222.58 c current bound: 273 1221.96/1223.18 c current bound: 273 1222.05/1223.76 c current bound: 273 1223.17/1224.38 c current bound: 273 1223.23/1224.97 c current bound: 273 1224.33/1225.56 c current bound: 273 1224.41/1226.15 c current bound: 273 1225.53/1226.73 c current bound: 273 1225.58/1227.32 c current bound: 273 1226.74/1227.92 c current bound: 273 1227.34/1228.51 c current bound: 273 1227.93/1229.11 c current bound: 273 1228.55/1229.70 c current bound: 273 1228.55/1230.29 c current bound: 273 1229.63/1230.88 c current bound: 273 1229.73/1231.48 c current bound: 273 1230.83/1232.06 c current bound: 273 1230.91/1232.65 c current bound: 273 1232.03/1233.25 c current bound: 273 1232.10/1233.84 c current bound: 273 1233.23/1234.44 c current bound: 273 1233.29/1235.02 c current bound: 273 1234.44/1235.62 c current bound: 273 1235.04/1236.21 c current bound: 273 1235.65/1236.80 c current bound: 273 1235.65/1237.38 c current bound: 273 1236.73/1237.97 c current bound: 273 1237.35/1238.57 c current bound: 273 1237.42/1239.16 c current bound: 273 1238.53/1239.75 c current bound: 273 1238.60/1240.34 c current bound: 273 1239.72/1240.92 c current bound: 273 1239.78/1241.51 c current bound: 273 1240.93/1242.11 c current bound: 273 1240.95/1242.69 c current bound: 273 1242.03/1243.28 c current bound: 273 1242.13/1243.88 c current bound: 273 1243.22/1244.46 c current bound: 273 1243.31/1245.05 c current bound: 273 1244.43/1245.65 c current bound: 273 1245.04/1246.23 c current bound: 273 1245.08/1246.82 c current bound: 273 1246.25/1247.40 c current bound: 273 1246.25/1247.99 c current bound: 273 1247.34/1248.57 c current bound: 273 1247.42/1249.17 c current bound: 273 1248.54/1249.75 c current bound: 273 1248.60/1250.36 c current bound: 273 1249.73/1250.94 c current bound: 273 1249.80/1251.54 c current bound: 273 1250.93/1252.13 c current bound: 273 1250.98/1252.72 c current bound: 273 1252.13/1253.30 c current bound: 273 1252.17/1253.89 c current bound: 273 1252.75/1254.48 c current bound: 273 1253.84/1255.07 c current bound: 273 1253.93/1255.67 c current bound: 273 1255.04/1256.29 c current bound: 273 1255.12/1256.88 c current bound: 273 1256.21/1257.47 c current bound: 273 1256.30/1258.06 c current bound: 273 1257.40/1258.66 c current bound: 273 1257.49/1259.25 c current bound: 273 1258.61/1259.84 c current bound: 273 1258.67/1260.43 c current bound: 273 1259.80/1261.02 c current bound: 273 1259.84/1261.62 c current bound: 273 1261.01/1262.21 c current bound: 273 1261.52/1262.80 c current bound: 273 1261.63/1263.39 c current bound: 273 1262.71/1263.98 c current bound: 273 1262.81/1264.57 c current bound: 273 1263.92/1265.16 c current bound: 273 1263.98/1265.75 c current bound: 273 1265.12/1266.34 c current bound: 273 1265.17/1266.92 c current bound: 273 1266.31/1267.51 c current bound: 273 1266.91/1268.10 c current bound: 273 1267.41/1268.69 c current bound: 273 1267.51/1269.29 c current bound: 273 1268.61/1269.88 c current bound: 273 1269.22/1270.47 c current bound: 273 1269.30/1271.06 c current bound: 273 1270.40/1271.65 c current bound: 273 1270.50/1272.25 c current bound: 273 1271.61/1272.84 c current bound: 273 1271.67/1273.43 c current bound: 273 1272.82/1274.02 c current bound: 273 1273.42/1274.61 c current bound: 273 1274.02/1275.21 c current bound: 273 1274.62/1275.80 c current bound: 273 1275.11/1276.39 c current bound: 273 1275.21/1276.99 c current bound: 273 1276.31/1277.59 c current bound: 273 1276.92/1278.18 c current bound: 273 1277.01/1278.77 c current bound: 273 1278.12/1279.36 c current bound: 273 1278.19/1279.96 c current bound: 273 1279.30/1280.54 c current bound: 273 1279.37/1281.13 c current bound: 273 1280.50/1281.73 c current bound: 273 1280.55/1282.32 c current bound: 273 1281.71/1282.91 c current bound: 273 1282.32/1283.50 c current bound: 273 1282.81/1284.09 c current bound: 273 1282.92/1284.68 c current bound: 273 1284.01/1285.28 c current bound: 273 1284.61/1285.87 c current bound: 273 1284.70/1286.46 c current bound: 273 1285.81/1287.05 c current bound: 273 1285.88/1287.64 c current bound: 273 1287.01/1288.23 c current bound: 273 1287.06/1288.82 c current bound: 273 1288.21/1289.41 c current bound: 273 1288.83/1290.00 c current bound: 273 1289.31/1290.59 c current bound: 273 1289.42/1291.18 c current bound: 273 1290.52/1291.77 c current bound: 273 1290.61/1292.36 c current bound: 273 1291.72/1292.95 c current bound: 273 1292.32/1293.55 c current bound: 273 1292.38/1294.15 c current bound: 273 1293.53/1294.74 c current bound: 273 1293.58/1295.33 c current bound: 273 1294.72/1295.92 c current bound: 273 1294.75/1296.53 c current bound: 273 1295.91/1297.14 c current bound: 273 1295.97/1297.73 c current bound: 273 1297.10/1298.32 c current bound: 273 1297.71/1298.91 c current bound: 273 1298.31/1299.50 c current bound: 273 1298.33/1300.09 c current bound: 273 1298.92/1300.68 c current bound: 273 1300.02/1301.27 c current bound: 273 1300.10/1301.87 c current bound: 273 1301.21/1302.46 c current bound: 273 1301.29/1303.06 c current bound: 273 1302.41/1303.67 c current bound: 273 1302.49/1304.27 c current bound: 273 1303.61/1304.87 c current bound: 273 1303.69/1305.46 c current bound: 273 1304.79/1306.05 c current bound: 273 1304.89/1306.64 c current bound: 273 1306.01/1307.23 c current bound: 273 1306.62/1307.82 c current bound: 273 1306.65/1308.43 c current bound: 273 1307.82/1309.03 c current bound: 273 1307.84/1309.62 c current bound: 273 1309.01/1310.21 c current bound: 273 1309.03/1310.79 c current bound: 273 1310.11/1311.39 c current bound: 273 1310.22/1311.97 c current bound: 273 1311.31/1312.56 c current bound: 273 1311.38/1313.15 c current bound: 273 1312.51/1313.74 c current bound: 273 1312.56/1314.33 c current bound: 273 1313.71/1314.92 c current bound: 273 1314.32/1315.51 c current bound: 273 1314.91/1316.11 c current bound: 273 1315.41/1316.70 c current bound: 273 1315.52/1317.28 c current bound: 273 1316.62/1317.86 c current bound: 273 1316.68/1318.45 c current bound: 273 1317.81/1319.04 c current bound: 273 1317.86/1319.63 c current bound: 273 1319.00/1320.22 c current bound: 273 1319.61/1320.81 c current bound: 273 1320.20/1321.41 c current bound: 273 1320.80/1322.00 c current bound: 273 1321.31/1322.59 c current bound: 273 1321.41/1323.20 c current bound: 273 1322.02/1323.79 c current bound: 273 1323.13/1324.38 c current bound: 273 1323.21/1324.98 c current bound: 273 1324.32/1325.58 c current bound: 273 1324.41/1326.17 c current bound: 273 1325.51/1326.76 c current bound: 273 1325.58/1327.37 c current bound: 273 1326.71/1327.97 c current bound: 273 1326.80/1328.55 c current bound: 273 1327.91/1329.14 c current bound: 273 1327.97/1329.73 c current bound: 273 1329.11/1330.32 c current bound: 273 1329.73/1330.92 c current bound: 273 1330.32/1331.51 c current bound: 273 1330.82/1332.10 c current bound: 273 1330.94/1332.69 c current bound: 273 1332.03/1333.28 c current bound: 273 1332.12/1333.87 c current bound: 273 1333.22/1334.46 c current bound: 273 1333.30/1335.05 c current bound: 273 1334.42/1335.64 c current bound: 273 1334.48/1336.27 c current bound: 273 1335.58/1336.86 c current bound: 273 1335.67/1337.45 c current bound: 273 1336.77/1338.04 c current bound: 273 1337.37/1338.64 c current bound: 273 1337.44/1339.23 c current bound: 273 1338.59/1339.82 c current bound: 273 1339.17/1340.41 c current bound: 273 1339.78/1341.01 c current bound: 273 1340.38/1341.60 c current bound: 273 1340.86/1342.19 c current bound: 273 1340.98/1342.79 c current bound: 273 1342.06/1343.38 c current bound: 273 1342.17/1343.96 c current bound: 273 1343.29/1344.56 c current bound: 273 1343.35/1345.16 c current bound: 273 1344.47/1345.76 c current bound: 273 1345.09/1346.35 c current bound: 273 1345.14/1346.94 c current bound: 273 1346.27/1347.52 c current bound: 273 1346.31/1348.13 c current bound: 273 1347.47/1348.72 c current bound: 273 1348.08/1349.31 c current bound: 273 1348.68/1349.92 c current bound: 273 1349.28/1350.51 c current bound: 273 1349.76/1351.10 c current bound: 273 1349.88/1351.69 c current bound: 273 1350.97/1352.28 c current bound: 273 1351.07/1352.87 c current bound: 273 1352.17/1353.46 c current bound: 273 1352.77/1354.05 c current bound: 273 1352.83/1354.65 c current bound: 273 1353.98/1355.24 c current bound: 273 1354.04/1355.84 c current bound: 273 1355.17/1356.44 c current bound: 273 1355.24/1357.03 c current bound: 273 1356.37/1357.62 c current bound: 273 1356.41/1358.22 c current bound: 273 1357.59/1358.81 c current bound: 273 1358.17/1359.40 c current bound: 273 1358.67/1359.99 c current bound: 273 1358.79/1360.58 c current bound: 273 1359.87/1361.17 c current bound: 273 1360.48/1361.78 c current bound: 273 1360.57/1362.36 c current bound: 273 1361.75/1363.01 c current bound: 273 1362.35/1363.60 c current bound: 273 1362.92/1364.20 c current bound: 273 1362.94/1364.79 c current bound: 273 1364.03/1365.38 c current bound: 273 1364.13/1365.97 c current bound: 273 1365.23/1366.56 c current bound: 273 1365.33/1367.15 c current bound: 273 1366.44/1367.76 c current bound: 273 1367.04/1368.37 c current bound: 273 1367.12/1368.96 c current bound: 273 1368.24/1369.55 c current bound: 273 1368.30/1370.14 c current bound: 273 1369.43/1370.73 c current bound: 273 1369.47/1371.32 c current bound: 273 1370.62/1371.91 c current bound: 273 1370.66/1372.52 c current bound: 273 1371.82/1373.10 c current bound: 273 1371.84/1373.69 c current bound: 273 1372.92/1374.28 c current bound: 273 1373.02/1374.88 c current bound: 273 1374.13/1375.47 c current bound: 273 1374.73/1376.06 c current bound: 273 1374.79/1376.65 c current bound: 273 1375.93/1377.24 c current bound: 273 1375.97/1377.83 c current bound: 273 1377.12/1378.42 c current bound: 273 1377.74/1379.01 c current bound: 273 1378.34/1379.61 c current bound: 273 1378.93/1380.20 c current bound: 273 1379.43/1380.79 c current bound: 273 1379.54/1381.38 c current bound: 273 1380.63/1381.98 c current bound: 273 1380.72/1382.58 c current bound: 273 1381.82/1383.17 c current bound: 273 1382.43/1383.75 c current bound: 273 1382.50/1384.34 c current bound: 273 1383.63/1384.94 c current bound: 273 1383.69/1385.53 c current bound: 273 1384.83/1386.12 c current bound: 273 1385.42/1386.71 c current bound: 273 1385.91/1387.30 c current bound: 273 1386.04/1387.89 c current bound: 273 1387.13/1388.49 c current bound: 273 1387.23/1389.08 c current bound: 273 1388.34/1389.67 c current bound: 273 1388.41/1390.25 c current bound: 273 1389.53/1390.84 c current bound: 273 1390.13/1391.44 c current bound: 273 1390.18/1392.02 c current bound: 273 1391.34/1392.61 c current bound: 273 1391.92/1393.20 c current bound: 273 1392.43/1393.79 c current bound: 273 1392.52/1394.38 c current bound: 273 1393.62/1394.97 c current bound: 273 1393.70/1395.56 c current bound: 273 1394.81/1396.16 c current bound: 273 1394.91/1396.75 c current bound: 273 1396.03/1397.34 c current bound: 273 1396.08/1397.93 c current bound: 273 1397.22/1398.52 c current bound: 273 1397.82/1399.11 c current bound: 273 1398.43/1399.71 c current bound: 273 1399.03/1400.33 c current bound: 273 1399.60/1400.92 c current bound: 273 1400.19/1401.51 c current bound: 273 1400.79/1402.10 c current bound: 273 1401.29/1402.69 c current bound: 273 1401.39/1403.28 c current bound: 273 1402.49/1403.87 c current bound: 273 1402.58/1404.45 c current bound: 273 1403.68/1405.04 c current bound: 273 1403.76/1405.63 c current bound: 273 1404.89/1406.23 c current bound: 273 1405.49/1406.84 c current bound: 273 1405.55/1407.43 c current bound: 273 1406.69/1408.02 c current bound: 273 1406.72/1408.62 c current bound: 273 1407.89/1409.21 c current bound: 273 1407.91/1409.79 c current bound: 273 1408.99/1410.38 c current bound: 273 1409.08/1410.97 c current bound: 273 1410.19/1411.56 c current bound: 273 1410.25/1412.15 c current bound: 273 1411.38/1412.74 c current bound: 273 1411.45/1413.35 c current bound: 273 1412.59/1413.94 c current bound: 273 1413.20/1414.52 c current bound: 273 1413.79/1415.11 c current bound: 273 1414.30/1415.70 c current bound: 273 1415.00/1416.33 c current bound: 273 1415.55/1416.92 c current bound: 273 1416.16/1417.51 c current bound: 273 1416.77/1418.10 c current bound: 273 1416.77/1418.69 c current bound: 273 1417.86/1419.28 c current bound: 273 1417.94/1419.87 c current bound: 273 1419.05/1420.45 c current bound: 273 1419.13/1421.04 c current bound: 273 1420.25/1421.64 c current bound: 273 1420.86/1422.23 c current bound: 273 1420.89/1422.83 c current bound: 273 1422.06/1423.42 c current bound: 273 1422.08/1424.03 c current bound: 273 1423.26/1424.63 c current bound: 273 1423.30/1425.22 c current bound: 273 1424.46/1425.81 c current bound: 273 1425.05/1426.41 c current bound: 273 1425.66/1427.00 c current bound: 273 1425.67/1427.59 c current bound: 273 1426.75/1428.18 c current bound: 273 1426.85/1428.77 c current bound: 273 1427.95/1429.36 c current bound: 273 1428.56/1429.95 c current bound: 273 1428.62/1430.54 c current bound: 273 1429.76/1431.13 c current bound: 273 1429.79/1431.72 c current bound: 273 1430.96/1432.32 c current bound: 273 1431.54/1432.90 c current bound: 273 1432.04/1433.49 c current bound: 273 1432.16/1434.08 c current bound: 273 1433.24/1434.67 c current bound: 273 1433.33/1435.26 c current bound: 273 1434.45/1435.86 c current bound: 273 1434.52/1436.45 c current bound: 273 1435.64/1437.04 c current bound: 273 1436.25/1437.64 c current bound: 273 1436.31/1438.23 c current bound: 273 1437.46/1438.82 c current bound: 273 1438.05/1439.41 c current bound: 273 1438.66/1440.00 c current bound: 273 1439.26/1440.60 c current bound: 273 1439.76/1441.18 c current bound: 273 1439.85/1441.78 c current bound: 273 1440.95/1442.36 c current bound: 273 1441.04/1442.98 c current bound: 273 1442.13/1443.57 c current bound: 273 1442.21/1444.16 c current bound: 273 1443.32/1444.75 c current bound: 273 1443.93/1445.34 c current bound: 273 1443.99/1445.94 c current bound: 273 1445.14/1446.53 c current bound: 273 1445.74/1447.11 c current bound: 273 1446.33/1447.71 c current bound: 273 1446.94/1448.31 c current bound: 273 1447.53/1448.90 c current bound: 273 1447.55/1449.49 c current bound: 273 1448.63/1450.10 c current bound: 273 1449.33/1450.70 c current bound: 273 1449.82/1451.29 c current bound: 273 1449.94/1451.88 c current bound: 273 1451.03/1452.49 c current bound: 273 1451.63/1453.08 c current bound: 273 1451.73/1453.67 c current bound: 273 1452.84/1454.26 c current bound: 273 1452.90/1454.85 c current bound: 273 1454.03/1455.45 c current bound: 273 1454.09/1456.04 c current bound: 273 1455.22/1456.63 c current bound: 273 1455.84/1457.21 c current bound: 273 1456.42/1457.80 c current bound: 273 1456.45/1458.38 c current bound: 273 1457.55/1458.99 c current bound: 273 1457.65/1459.60 c current bound: 273 1458.24/1460.19 c current bound: 273 1459.33/1460.78 c current bound: 273 1459.43/1461.37 c current bound: 273 1460.52/1461.95 c current bound: 273 1460.60/1462.56 c current bound: 273 1461.71/1463.15 c current bound: 273 1461.78/1463.74 c current bound: 273 1462.91/1464.33 c current bound: 273 1462.97/1464.92 c current bound: 273 1464.13/1465.51 c current bound: 273 1464.72/1466.10 c current bound: 273 1465.22/1466.69 c current bound: 273 1465.33/1467.29 c current bound: 273 1466.42/1467.88 c current bound: 273 1467.03/1468.46 c current bound: 273 1467.12/1469.05 c current bound: 273 1468.22/1469.64 c current bound: 273 1468.28/1470.25 c current bound: 273 1469.43/1470.84 c current bound: 273 1469.47/1471.43 c current bound: 273 1470.61/1472.02 c current bound: 273 1471.22/1472.61 c current bound: 273 1471.83/1473.21 c current bound: 273 1472.42/1473.80 c current bound: 273 1472.93/1474.39 c current bound: 273 1473.04/1475.00 c current bound: 273 1473.64/1475.59 c current bound: 273 1474.72/1476.18 c current bound: 273 1474.82/1476.77 c current bound: 273 1475.93/1477.37 c current bound: 273 1476.00/1477.96 c current bound: 273 1477.11/1478.55 c current bound: 273 1477.18/1479.13 c current bound: 273 1478.32/1479.72 c current bound: 273 1478.93/1480.31 c current bound: 273 1479.51/1480.90 c current bound: 273 1479.53/1481.49 c current bound: 273 1480.62/1482.07 c current bound: 273 1480.71/1482.66 c current bound: 273 1481.82/1483.25 c current bound: 273 1482.44/1483.85 c current bound: 273 1482.48/1484.44 c current bound: 273 1483.63/1485.03 c current bound: 273 1484.23/1485.61 c current bound: 273 1484.83/1486.21 c current bound: 273 1485.41/1486.80 c current bound: 273 1486.03/1487.40 c current bound: 273 1486.03/1487.98 c current bound: 273 1487.11/1488.57 c current bound: 273 1487.20/1489.16 c current bound: 273 1488.31/1489.75 c current bound: 273 1488.38/1490.36 c current bound: 273 1489.52/1490.95 c current bound: 273 1490.12/1491.53 c current bound: 273 1490.16/1492.12 c current bound: 273 1491.32/1492.71 c current bound: 273 1491.91/1493.30 c current bound: 273 1492.42/1493.89 c current bound: 273 1493.12/1494.50 c current bound: 273 1493.60/1495.09 c current bound: 273 1493.72/1495.69 c current bound: 273 1494.91/1496.31 c current bound: 273 1494.91/1496.89 c current bound: 273 1495.99/1497.48 c current bound: 273 1496.09/1498.09 c current bound: 273 1497.18/1498.67 c current bound: 273 1497.80/1499.27 c current bound: 273 1497.87/1499.85 c current bound: 273 1498.98/1500.45 c current bound: 273 1499.05/1501.03 c current bound: 273 1500.19/1501.63 c current bound: 273 1500.23/1502.23 c current bound: 273 1501.38/1502.83 c current bound: 273 1501.44/1503.43 c current bound: 273 1502.59/1504.02 c current bound: 273 1502.63/1504.62 c current bound: 273 1503.80/1505.21 c current bound: 273 1503.82/1505.80 c current bound: 273 1504.42/1506.39 c current bound: 273 1505.50/1506.99 c current bound: 273 1505.59/1507.57 c current bound: 273 1506.69/1508.16 c current bound: 273 1506.76/1508.75 c current bound: 273 1507.89/1509.35 c current bound: 273 1507.95/1509.93 c current bound: 273 1509.08/1510.52 c current bound: 273 1509.13/1511.12 c current bound: 273 1510.29/1511.71 c current bound: 273 1510.88/1512.30 c current bound: 273 1511.37/1512.89 c current bound: 273 1511.48/1513.47 c current bound: 273 1512.58/1514.06 c current bound: 273 1513.18/1514.65 c current bound: 273 1513.25/1515.24 c current bound: 273 1514.38/1515.84 c current bound: 273 1514.43/1516.43 c current bound: 273 1515.58/1517.03 c current bound: 273 1515.64/1517.63 c current bound: 273 1516.77/1518.22 c current bound: 273 1517.39/1518.81 c current bound: 273 1517.99/1519.40 c current bound: 273 1517.99/1519.98 c current bound: 273 1519.09/1520.57 c current bound: 273 1519.18/1521.17 c current bound: 273 1520.28/1521.76 c current bound: 273 1520.89/1522.35 c current bound: 273 1520.95/1522.94 c current bound: 273 1522.08/1523.53 c current bound: 273 1522.14/1524.13 c current bound: 273 1523.28/1524.72 c current bound: 273 1523.32/1525.32 c current bound: 273 1524.49/1525.91 c current bound: 273 1525.08/1526.50 c current bound: 273 1525.69/1527.10 c current bound: 273 1526.26/1527.75 c current bound: 273 1526.82/1528.34 c current bound: 273 1527.43/1528.94 c current bound: 273 1527.48/1529.53 c current bound: 273 1528.64/1530.12 c current bound: 273 1529.24/1530.71 c current bound: 273 1529.83/1531.31 c current bound: 273 1529.84/1531.89 c current bound: 273 1530.93/1532.48 c current bound: 273 1531.03/1533.08 c current bound: 273 1532.12/1533.66 c current bound: 273 1532.22/1534.25 c current bound: 273 1533.33/1534.84 c current bound: 273 1533.40/1535.44 c current bound: 273 1534.52/1536.03 c current bound: 273 1535.13/1536.62 c current bound: 273 1535.73/1537.21 c current bound: 273 1536.24/1537.80 c current bound: 273 1536.35/1538.39 c current bound: 273 1537.45/1538.98 c current bound: 273 1537.53/1539.56 c current bound: 273 1538.63/1540.16 c current bound: 273 1538.72/1540.76 c current bound: 273 1539.83/1541.34 c current bound: 273 1539.89/1541.95 c current bound: 273 1541.04/1542.54 c current bound: 273 1541.09/1543.13 c current bound: 273 1542.23/1543.72 c current bound: 273 1542.84/1544.31 c current bound: 273 1543.43/1544.90 c current bound: 273 1543.93/1545.50 c current bound: 273 1544.05/1546.09 c current bound: 273 1545.23/1546.70 c current bound: 273 1545.25/1547.29 c current bound: 273 1546.33/1547.88 c current bound: 273 1546.43/1548.48 c current bound: 273 1547.53/1549.07 c current bound: 273 1547.62/1549.66 c current bound: 273 1548.74/1550.25 c current bound: 273 1548.79/1550.84 c current bound: 273 1549.92/1551.43 c current bound: 273 1550.53/1552.02 c current bound: 273 1550.56/1552.62 c current bound: 273 1551.75/1553.22 c current bound: 273 1552.33/1553.81 c current bound: 273 1552.94/1554.44 c current bound: 273 1552.96/1555.03 c current bound: 273 1554.11/1555.61 c current bound: 273 1554.71/1556.21 c current bound: 273 1555.19/1556.79 c current bound: 273 1555.31/1557.38 c current bound: 273 1556.39/1557.97 c current bound: 273 1556.49/1558.57 c current bound: 273 1557.59/1559.16 c current bound: 273 1558.21/1559.77 c current bound: 273 1558.28/1560.38 c current bound: 273 1559.40/1560.96 c current bound: 273 1559.48/1561.55 c current bound: 273 1560.59/1562.13 c current bound: 273 1560.64/1562.72 c current bound: 273 1561.80/1563.31 c current bound: 273 1562.39/1563.90 c current bound: 273 1562.89/1564.49 c current bound: 273 1563.60/1565.10 c current bound: 273 1564.09/1565.69 c current bound: 273 1564.21/1566.29 c current bound: 273 1564.80/1566.88 c current bound: 273 1565.90/1567.47 c current bound: 273 1565.98/1568.06 c current bound: 273 1567.09/1568.66 c current bound: 273 1567.16/1569.25 c current bound: 273 1568.28/1569.84 c current bound: 273 1568.35/1570.44 c current bound: 273 1569.49/1571.05 c current bound: 273 1569.55/1571.63 c current bound: 273 1570.69/1572.23 c current bound: 273 1570.73/1572.83 c current bound: 273 1571.88/1573.42 c current bound: 273 1572.50/1574.02 c current bound: 273 1573.09/1574.60 c current bound: 273 1573.59/1575.20 c current bound: 273 1573.70/1575.79 c current bound: 273 1574.80/1576.38 c current bound: 273 1574.88/1576.98 c current bound: 273 1575.99/1577.57 c current bound: 273 1576.07/1578.17 c current bound: 273 1577.18/1578.76 c current bound: 273 1577.26/1579.35 c current bound: 273 1578.37/1579.94 c current bound: 273 1578.43/1580.53 c current bound: 273 1579.58/1581.17 c current bound: 273 1580.15/1581.76 c current bound: 273 1580.21/1582.35 c current bound: 273 1581.34/1582.94 c current bound: 273 1581.41/1583.53 c current bound: 273 1582.55/1584.12 c current bound: 273 1583.16/1584.71 c current bound: 273 1583.74/1585.30 c current bound: 273 1583.77/1585.89 c current bound: 273 1584.85/1586.49 c current bound: 273 1584.96/1587.07 c current bound: 273 1586.06/1587.66 c current bound: 273 1586.13/1588.25 c current bound: 273 1587.25/1588.85 c current bound: 273 1587.85/1589.44 c current bound: 273 1587.90/1590.03 c current bound: 273 1589.06/1590.62 c current bound: 273 1589.66/1591.21 c current bound: 273 1590.25/1591.80 c current bound: 273 1590.84/1592.40 c current bound: 273 1591.37/1592.99 c current bound: 273 1591.46/1593.58 c current bound: 273 1592.55/1594.18 c current bound: 273 1592.66/1594.78 c current bound: 273 1593.75/1595.37 c current bound: 273 1593.84/1595.96 c current bound: 273 1594.96/1596.55 c current bound: 273 1595.57/1597.14 c current bound: 273 1595.61/1597.73 c current bound: 273 1596.77/1598.32 c current bound: 273 1597.36/1598.91 c current bound: 273 1597.94/1599.50 c current bound: 273 1598.56/1600.10 c current bound: 273 1599.05/1600.68 c current bound: 273 1599.16/1601.29 c current bound: 273 1600.26/1601.87 c current bound: 273 1600.35/1602.47 c current bound: 273 1601.45/1603.08 c current bound: 273 1601.55/1603.66 c current bound: 273 1602.66/1604.26 c current bound: 273 1603.25/1604.85 c current bound: 273 1603.33/1605.44 c current bound: 273 1604.47/1606.02 c current bound: 273 1605.06/1606.61 c current bound: 273 1605.66/1607.21 c current bound: 273 1606.24/1607.80 c current bound: 273 1606.76/1608.39 c current bound: 273 1606.88/1608.99 c current bound: 273 1607.96/1609.57 c current bound: 273 1608.04/1610.16 c current bound: 273 1609.16/1610.75 c current bound: 273 1609.23/1611.35 c current bound: 273 1610.35/1611.94 c current bound: 273 1610.97/1612.55 c current bound: 273 1611.02/1613.15 c current bound: 273 1612.16/1613.74 c current bound: 273 1612.22/1614.34 c current bound: 273 1613.36/1614.93 c current bound: 273 1613.39/1615.52 c current bound: 273 1614.54/1616.11 c current bound: 273 1615.16/1616.70 c current bound: 273 1615.65/1617.29 c current bound: 273 1615.76/1617.88 c current bound: 273 1616.86/1618.47 c current bound: 273 1616.94/1619.06 c current bound: 273 1618.06/1619.66 c current bound: 273 1618.66/1620.25 c current bound: 273 1618.72/1620.85 c current bound: 273 1619.86/1621.45 c current bound: 273 1619.92/1622.05 c current bound: 273 1621.04/1622.64 c current bound: 273 1621.09/1623.24 c current bound: 273 1622.26/1623.84 c current bound: 273 1622.30/1624.43 c current bound: 273 1623.45/1625.03 c current bound: 273 1623.49/1625.62 c current bound: 273 1624.65/1626.21 c current bound: 273 1625.26/1626.81 c current bound: 273 1625.85/1627.40 c current bound: 273 1626.35/1627.99 c current bound: 273 1626.48/1628.59 c current bound: 273 1627.57/1629.18 c current bound: 273 1627.65/1629.77 c current bound: 273 1628.76/1630.36 c current bound: 273 1628.84/1630.96 c current bound: 273 1629.95/1631.54 c current bound: 273 1630.02/1632.13 c current bound: 273 1631.15/1632.72 c current bound: 273 1631.19/1633.32 c current bound: 273 1632.35/1633.93 c current bound: 273 1632.97/1634.54 c current bound: 273 1632.99/1635.15 c current bound: 273 1634.13/1635.75 c current bound: 273 1634.20/1636.34 c current bound: 273 1635.34/1636.93 c current bound: 273 1635.38/1637.52 c current bound: 273 1636.55/1638.11 c current bound: 273 1637.15/1638.71 c current bound: 273 1637.74/1639.30 c current bound: 273 1638.35/1639.90 c current bound: 273 1638.83/1640.48 c current bound: 273 1638.93/1641.07 c current bound: 273 1640.03/1641.65 c current bound: 273 1640.63/1642.24 c current bound: 273 1640.69/1642.83 c current bound: 273 1641.85/1643.42 c current bound: 273 1642.43/1644.01 c current bound: 273 1643.03/1644.60 c current bound: 273 1643.05/1645.19 c current bound: 273 1644.14/1645.79 c current bound: 273 1644.23/1646.38 c current bound: 273 1645.34/1646.97 c current bound: 273 1645.43/1647.55 c current bound: 273 1646.54/1648.15 c current bound: 273 1646.61/1648.74 c current bound: 273 1647.73/1649.33 c current bound: 273 1648.34/1649.93 c current bound: 273 1648.38/1650.52 c current bound: 273 1649.54/1651.11 c current bound: 273 1649.56/1651.72 c current bound: 273 1650.73/1652.32 c current bound: 273 1651.33/1652.91 c current bound: 273 1651.93/1653.50 c current bound: 273 1651.95/1654.09 c current bound: 273 1653.03/1654.69 c current bound: 273 1653.14/1655.28 c current bound: 273 1654.23/1655.87 c current bound: 273 1654.32/1656.46 c current bound: 273 1655.43/1657.05 c current bound: 273 1656.04/1657.65 c current bound: 273 1656.09/1658.24 c current bound: 273 1657.23/1658.83 c current bound: 273 1657.28/1659.43 c current bound: 273 1658.42/1660.02 c current bound: 273 1658.48/1660.61 c current bound: 273 1659.63/1661.24 c current bound: 273 1659.65/1661.83 c current bound: 273 1660.80/1662.42 c current bound: 273 1660.84/1663.02 c current bound: 273 1662.00/1663.63 c current bound: 273 1662.61/1664.22 c current bound: 273 1663.19/1664.81 c current bound: 273 1663.70/1665.40 c current bound: 273 1663.82/1665.99 c current bound: 273 1664.90/1666.58 c current bound: 273 1665.00/1667.17 c current bound: 273 1666.09/1667.76 c current bound: 273 1666.16/1668.35 c current bound: 273 1667.30/1668.94 c current bound: 273 1667.36/1669.54 c current bound: 273 1668.51/1670.12 c current bound: 273 1668.54/1670.72 c current bound: 273 1669.70/1671.32 c current bound: 273 1670.31/1671.91 c current bound: 273 1670.90/1672.51 c current bound: 273 1671.50/1673.11 c current bound: 273 1671.53/1673.72 c current bound: 273 1672.71/1674.32 c current bound: 273 1673.32/1674.91 c current bound: 273 1673.91/1675.51 c current bound: 273 1674.50/1676.10 c current bound: 273 1675.10/1676.70 c current bound: 273 1675.12/1677.29 c current bound: 273 1676.20/1677.88 c current bound: 273 1676.29/1678.47 c current bound: 273 1677.40/1679.07 c current bound: 273 1678.00/1679.66 c current bound: 273 1678.07/1680.26 c current bound: 273 1679.21/1680.85 c current bound: 273 1679.26/1681.44 c current bound: 273 1680.39/1682.03 c current bound: 273 1680.45/1682.62 c current bound: 273 1681.61/1683.20 c current bound: 273 1681.62/1683.79 c current bound: 273 1682.69/1684.38 c current bound: 273 1682.80/1684.97 c current bound: 273 1683.90/1685.57 c current bound: 273 1683.98/1686.16 c current bound: 273 1685.10/1686.76 c current bound: 273 1685.71/1687.35 c current bound: 273 1685.77/1687.94 c current bound: 273 1686.90/1688.54 c current bound: 273 1686.96/1689.12 c current bound: 273 1688.10/1689.72 c current bound: 273 1688.70/1690.30 c current bound: 273 1689.20/1690.89 c current bound: 273 1689.31/1691.49 c current bound: 273 1690.39/1692.09 c current bound: 273 1690.51/1692.69 c current bound: 273 1691.60/1693.28 c current bound: 273 1691.69/1693.88 c current bound: 273 1692.80/1694.49 c current bound: 273 1693.40/1695.08 c current bound: 273 1693.49/1695.68 c current bound: 273 1694.61/1696.27 c current bound: 273 1694.69/1696.86 c current bound: 273 1695.80/1697.45 c current bound: 273 1695.88/1698.04 c current bound: 273 1697.00/1698.63 c current bound: 273 1697.04/1699.22 c current bound: 273 1698.21/1699.81 c current bound: 273 1698.79/1700.40 c current bound: 273 1699.29/1700.99 c current bound: 273 1699.40/1701.58 c current bound: 273 1700.49/1702.17 c current bound: 273 1701.10/1702.76 c current bound: 273 1701.17/1703.35 c current bound: 273 1702.30/1703.94 c current bound: 273 1702.36/1704.53 c current bound: 273 1703.50/1705.12 c current bound: 273 1704.10/1705.71 c current bound: 273 1704.70/1706.30 c current bound: 273 1704.73/1706.90 c current bound: 273 1705.79/1707.49 c current bound: 273 1705.90/1708.08 c current bound: 273 1706.99/1708.68 c current bound: 273 1707.10/1709.26 c current bound: 273 1708.19/1709.85 c current bound: 273 1708.79/1710.44 c current bound: 273 1708.86/1711.04 c current bound: 273 1710.01/1711.63 c current bound: 273 1710.05/1712.22 c current bound: 273 1711.20/1712.82 c current bound: 273 1711.80/1713.41 c current bound: 273 1712.39/1714.00 c current bound: 273 1712.99/1714.62 c current bound: 273 1713.57/1715.21 c current bound: 273 1714.16/1715.80 c current bound: 273 1714.67/1716.38 c current bound: 273 1714.77/1716.99 c current bound: 273 1715.38/1717.58 c current bound: 273 1716.48/1718.17 c current bound: 273 1716.56/1718.77 c current bound: 273 1717.68/1719.37 c current bound: 273 1717.76/1719.96 c current bound: 273 1718.86/1720.55 c current bound: 273 1718.94/1721.14 c current bound: 273 1720.06/1721.74 c current bound: 273 1720.12/1722.33 c current bound: 273 1721.26/1722.94 c current bound: 273 1721.33/1723.53 c current bound: 273 1722.48/1724.11 c current bound: 273 1723.08/1724.71 c current bound: 273 1723.68/1725.31 c current bound: 273 1724.26/1725.91 c current bound: 273 1724.87/1726.50 c current bound: 273 1725.37/1727.09 c current bound: 273 1725.47/1727.69 c current bound: 273 1726.55/1728.27 c current bound: 273 1726.65/1728.87 c current bound: 273 1727.76/1729.47 c current bound: 273 1727.85/1730.06 c current bound: 273 1728.96/1730.66 c current bound: 273 1729.03/1731.25 c current bound: 273 1730.16/1731.86 c current bound: 273 1730.76/1732.45 c current bound: 273 1730.81/1733.05 c current bound: 273 1731.96/1733.64 c current bound: 273 1732.02/1734.25 c current bound: 273 1733.17/1734.85 c current bound: 273 1733.23/1735.44 c current bound: 273 1734.36/1736.04 c current bound: 273 1734.41/1736.64 c current bound: 273 1735.55/1737.23 c current bound: 273 1735.61/1737.82 c current bound: 273 1736.76/1738.41 c current bound: 273 1736.79/1739.00 c current bound: 273 1737.37/1739.59 c current bound: 273 1738.46/1740.18 c current bound: 273 1738.56/1740.77 c current bound: 273 1739.68/1741.37 c current bound: 273 1739.76/1741.96 c current bound: 273 1740.86/1742.55 c current bound: 273 1740.94/1743.14 c current bound: 273 1742.07/1743.73 c current bound: 273 1742.11/1744.33 c current bound: 273 1743.27/1744.92 c current bound: 273 1743.31/1745.52 c current bound: 273 1744.47/1746.11 c current bound: 273 1745.06/1746.71 c current bound: 273 1745.66/1747.30 c current bound: 273 1746.26/1747.90 c current bound: 273 1746.28/1748.49 c current bound: 273 1747.36/1749.09 c current bound: 273 1747.47/1749.68 c current bound: 273 1748.55/1750.27 c current bound: 273 1748.64/1750.86 c current bound: 273 1749.75/1751.44 c current bound: 273 1749.82/1752.04 c current bound: 273 1750.97/1752.63 c current bound: 273 1751.02/1753.22 c current bound: 273 1752.17/1753.81 c current bound: 273 1752.76/1754.41 c current bound: 273 1753.36/1755.01 c current bound: 273 1753.86/1755.60 c current bound: 273 1753.99/1756.19 c current bound: 273 1755.06/1756.78 c current bound: 273 1755.16/1757.38 c current bound: 273 1756.27/1757.98 c current bound: 273 1756.36/1758.57 c current bound: 273 1757.46/1759.17 c current bound: 273 1757.56/1759.76 c current bound: 273 1758.68/1760.35 c current bound: 273 1758.74/1760.94 c current bound: 273 1759.86/1761.54 c current bound: 273 1760.48/1762.13 c current bound: 273 1760.51/1762.72 c current bound: 273 1761.66/1763.31 c current bound: 273 1762.28/1763.91 c current bound: 273 1762.88/1764.50 c current bound: 273 1762.90/1765.09 c current bound: 273 1763.98/1765.68 c current bound: 273 1764.08/1766.27 c current bound: 273 1765.17/1766.86 c current bound: 273 1765.26/1767.45 c current bound: 273 1766.37/1768.05 c current bound: 273 1766.44/1768.63 c current bound: 273 1767.58/1769.24 c current bound: 273 1768.18/1769.84 c current bound: 273 1768.23/1770.43 c current bound: 273 1769.39/1771.02 c current bound: 273 1769.42/1771.62 c current bound: 273 1770.57/1772.21 c current bound: 273 1770.61/1772.79 c current bound: 273 1771.67/1773.38 c current bound: 273 1771.77/1773.97 c current bound: 273 1772.87/1774.56 c current bound: 273 1772.95/1775.14 c current bound: 273 1774.07/1775.73 c current bound: 273 1774.12/1776.33 c current bound: 273 1775.27/1776.92 c current bound: 273 1775.87/1777.51 c current bound: 273 1775.90/1778.12 c current bound: 273 1777.07/1778.71 c current bound: 273 1777.66/1779.30 c current bound: 273 1778.17/1779.89 c current bound: 273 1778.27/1780.48 c current bound: 273 1779.37/1781.07 c current bound: 273 1779.46/1781.66 c current bound: 273 1780.57/1782.25 c current bound: 273 1780.64/1782.84 c current bound: 273 1781.77/1783.44 c current bound: 273 1781.83/1784.03 c current bound: 273 1782.97/1784.62 c current bound: 273 1783.57/1785.21 c current bound: 273 1784.16/1785.81 c current bound: 273 1784.66/1786.39 c current bound: 273 1784.78/1786.99 c current bound: 273 1785.87/1787.58 c current bound: 273 1785.97/1788.17 c current bound: 273 1787.06/1788.76 c current bound: 273 1787.13/1789.35 c current bound: 273 1788.26/1789.93 c current bound: 273 1788.33/1790.52 c current bound: 273 1789.47/1791.11 c current bound: 273 1790.06/1791.70 c current bound: 273 1790.57/1792.29 c current bound: 273 1790.67/1792.88 c current bound: 273 1791.76/1793.47 c current bound: 273 1792.36/1794.07 c current bound: 273 1792.45/1794.66 c current bound: 273 1793.56/1795.25 c current bound: 273 1793.64/1795.84 c current bound: 273 1794.76/1796.43 c current bound: 273 1794.82/1797.03 c current bound: 273 1795.96/1797.62 c current bound: 273 1796.57/1798.21 c current bound: 273 1797.16/1798.80 c current bound: 273 1797.77/1799.41 c current bound: 273 1798.36/1800.02 c current bound: 273 1798.96/1800.61 c current bound: 273 1799.54/1801.20 c current bound: 273 1799.56/1801.20 HOME/npSolver-wbo-Itdqb.sh: line 18: 7146 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-3752876-1339189259/watcher-3752876-1339189259 -o /tmp/evaluation-result-3752876-1339189259/solver-3752876-1339189259 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752876-1339189259.wbo 472544765 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7145 /proc/meminfo: memFree=26763384/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [startup+0.0946241 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7145 /proc/meminfo: memFree=26763384/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100195 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7145 /proc/meminfo: memFree=26763384/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300226 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7145 /proc/meminfo: memFree=26763384/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700127 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7145 /proc/meminfo: memFree=26763384/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50027 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7159 /proc/meminfo: memFree=26752872/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=1.25 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 1704 11376 0 0 1 0 122 2 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 12096 [startup+3.10027 s] /proc/loadavg: 2.00 2.00 2.00 3/184 7204 /proc/meminfo: memFree=26753052/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=3.02 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 2289 27620 0 0 2 1 292 7 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 12096 [startup+6.30029 s] /proc/loadavg: 2.00 2.00 2.00 3/184 7246 /proc/meminfo: memFree=26749824/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=5.98 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 3264 52377 0 0 4 1 578 15 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 5.98 Current children cumulated vsize (KiB) 12096 [startup+12.7003 s] /proc/loadavg: 1.92 1.98 1.99 3/184 7344 /proc/meminfo: memFree=26751220/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=12.47 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 5409 109390 0 0 7 2 1204 34 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 12.47 Current children cumulated vsize (KiB) 12096 [startup+25.5003 s] /proc/loadavg: 2.01 2.00 2.00 3/184 7547 /proc/meminfo: memFree=26753436/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=24.93 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 9504 218809 0 0 14 4 2406 69 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 [pid=7546] ppid=7146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7546/stat : 7546 (satsolver.sh) S 7146 7145 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385052924 9367552 267 33554432000 4194304 5064252 140736506116288 140736506115200 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/7546/statm: 2287 267 226 213 0 72 0 [pid=7547] ppid=7546 vsize=7532 CPUtime=0.37 cores=1,3,5,7 /proc/7547/stat : 7547 (glucose) R 7546 7145 5089 0 -1 4202496 1591 0 0 0 37 0 0 0 20 0 1 0 385052924 7712768 1253 33554432000 4194304 5208918 140735536235296 140736506115224 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7547/statm: 1883 1253 96 248 0 1632 0 Current children cumulated CPU time (s) 25.3 Current children cumulated vsize (KiB) 28776 [startup+51.1002 s] /proc/loadavg: 2.01 2.00 2.00 3/184 7928 /proc/meminfo: memFree=26758804/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=50.88 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 18084 445152 0 0 29 7 4916 136 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 50.88 Current children cumulated vsize (KiB) 12096 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/183 8702 /proc/meminfo: memFree=26756352/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=101.77 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 34854 888173 0 0 58 12 9837 270 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 [pid=8701] ppid=7146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8701/stat : 8701 (satsolver.sh) S 7146 7145 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385060613 9367552 267 33554432000 4194304 5064252 140736138588048 140736138586960 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/8701/statm: 2287 267 226 213 0 72 0 [pid=8702] ppid=8701 vsize=6368 CPUtime=0.28 cores=1,3,5,7 /proc/8702/stat : 8702 (glucose) R 8701 7145 5089 0 -1 4202496 1653 0 0 0 28 0 0 0 20 0 1 0 385060613 6520832 1070 33554432000 4194304 5208918 140737076393376 140736138586984 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/8702/statm: 1592 1070 96 248 0 1341 0 Current children cumulated CPU time (s) 102.05 Current children cumulated vsize (KiB) 27612 ############ # WARNING: # current cumulated CPU time (107.08 s) is less than in the last sample (107.55 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.470001 s) to the 'lost time'. [startup+107.807 s] /proc/loadavg: 2.00 2.00 2.00 3/183 8779 /proc/meminfo: memFree=26753184/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=107.08 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 36609 934619 0 0 61 13 10348 286 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 [pid=8778] ppid=7146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8778/stat : 8778 (satsolver.sh) S 7146 7145 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385061144 9367552 267 33554432000 4194304 5064252 140735325579952 140735325578864 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/8778/statm: 2287 267 226 213 0 72 0 [pid=8779] ppid=8778 vsize=9208 CPUtime=0.47 cores=1,3,5,7 /proc/8779/stat : 8779 (glucose) R 8778 7145 5089 0 -1 4202496 1791 0 0 0 47 0 0 0 20 0 1 0 385061144 9428992 1444 33554432000 4194304 5208918 140736155342560 140736155340520 4229504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/8779/statm: 2302 1444 96 248 0 2051 0 Current children cumulated CPU time (s) 107.55 Current children cumulated vsize (KiB) 30452 [startup+107.9 s] /proc/loadavg: 2.00 2.00 2.00 3/183 8779 /proc/meminfo: memFree=26753184/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=107.08 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 36609 934619 0 0 61 13 10348 286 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 [pid=8778] ppid=7146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8778/stat : 8778 (satsolver.sh) R 7146 7145 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385061144 9367552 267 33554432000 4194304 5064252 140735325579952 140735325578864 212073080398 0 65536 4100 65538 0 0 0 17 1 0 0 0 0 0 /proc/8778/statm: 2287 267 226 213 0 72 0 Current children cumulated CPU time (s) 107.08 Current children cumulated vsize (KiB) 21244 # ################ # More data... # ################ /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 1181.19 Current children cumulated vsize (KiB) 12096 [startup+1242.3 s] /proc/loadavg: 1.99 1.96 1.95 3/183 25752 /proc/meminfo: memFree=26749268/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=1240.95 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 410034 10822769 0 0 704 129 119917 3345 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 1240.95 Current children cumulated vsize (KiB) 12096 [startup+1302.3 s] /proc/loadavg: 1.99 1.97 1.95 3/183 26655 /proc/meminfo: memFree=26745412/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=1300.69 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 429729 11344403 0 0 737 136 125694 3502 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 [pid=26654] ppid=7146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26654/stat : 26654 (satsolver.sh) S 7146 7145 5089 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385180599 9367552 267 33554432000 4194304 5064252 140735151879248 140735151878160 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/26654/statm: 2287 267 226 213 0 72 0 [pid=26655] ppid=26654 vsize=7528 CPUtime=0.42 cores=1,3,5,7 /proc/26655/stat : 26655 (glucose) R 26654 7145 5089 0 -1 4202496 1962 0 0 0 42 0 0 0 20 0 1 0 385180599 7708672 1362 33554432000 4194304 5208918 140737237090096 140735151878184 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/26655/statm: 1882 1362 96 248 0 1631 0 Current children cumulated CPU time (s) 1301.11 Current children cumulated vsize (KiB) 28772 [startup+1362.3 s] /proc/loadavg: 1.92 1.95 1.95 3/183 27544 /proc/meminfo: memFree=26747456/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=1360.57 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 449424 11869521 0 0 772 142 131477 3666 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 1360.57 Current children cumulated vsize (KiB) 12096 [startup+1422.31 s] /proc/loadavg: 1.97 1.96 1.95 3/183 28447 /proc/meminfo: memFree=26747688/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=1420.89 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 469314 12397201 0 0 807 148 137311 3823 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 1420.89 Current children cumulated vsize (KiB) 12096 [startup+1482.3 s] /proc/loadavg: 1.95 1.95 1.94 3/183 29343 /proc/meminfo: memFree=26748952/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=1480.71 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 489009 12915063 0 0 841 154 143094 3982 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 1480.71 Current children cumulated vsize (KiB) 12096 [startup+1542.3 s] /proc/loadavg: 2.05 1.97 1.95 3/183 30247 /proc/meminfo: memFree=26748948/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=1540.51 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 508704 13436784 0 0 876 160 148875 4140 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 [pid=30246] ppid=7146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30246/stat : 30246 (satsolver.sh) S 7146 7145 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385204607 9367552 266 33554432000 4194304 5064252 140733737003744 140733737002656 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/30246/statm: 2287 266 226 213 0 72 0 [pid=30247] ppid=30246 vsize=7532 CPUtime=0.33 cores=1,3,5,7 /proc/30247/stat : 30247 (glucose) R 30246 7145 5089 0 -1 4202496 1729 0 0 0 33 0 0 0 20 0 1 0 385204607 7712768 1180 33554432000 4194304 5208918 140737221806608 140733737002680 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30247/statm: 1883 1180 96 248 0 1632 0 Current children cumulated CPU time (s) 1540.84 Current children cumulated vsize (KiB) 28776 [startup+1602.3 s] /proc/loadavg: 2.00 1.97 1.95 3/183 31136 /proc/meminfo: memFree=26749400/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=1600.35 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 528399 13962716 0 0 910 166 154660 4299 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 1600.35 Current children cumulated vsize (KiB) 12096 [startup+1662.3 s] /proc/loadavg: 1.91 1.94 1.94 3/183 32039 /proc/meminfo: memFree=26746328/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=1660.25 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 548094 14483352 0 0 944 174 160445 4462 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 [pid=32038] ppid=7146 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32038/stat : 32038 (satsolver.sh) S 7146 7145 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385216595 9367552 267 33554432000 4194304 5064252 140737381749152 140737381748064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/32038/statm: 2287 267 226 213 0 72 0 [pid=32039] ppid=32038 vsize=7528 CPUtime=0.45 cores=1,3,5,7 /proc/32039/stat : 32039 (glucose) R 32038 7145 5089 0 -1 4202496 1957 0 0 0 45 0 0 0 20 0 1 0 385216595 7708672 1425 33554432000 4194304 5208918 140735119703776 140737381748088 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/32039/statm: 1882 1425 96 248 0 1631 0 Current children cumulated CPU time (s) 1660.7 Current children cumulated vsize (KiB) 28772 [startup+1722.3 s] /proc/loadavg: 1.96 1.95 1.94 3/183 468 /proc/meminfo: memFree=26751264/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=1720.12 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 567789 15010570 0 0 977 180 166233 4622 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 1720.12 Current children cumulated vsize (KiB) 12096 [startup+1782.3 s] /proc/loadavg: 2.03 1.97 1.94 3/184 1386 /proc/meminfo: memFree=26749184/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=1780.64 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) S 7145 7145 5089 0 -1 4202496 587679 15536044 0 0 1010 189 172072 4793 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444341984 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 1780.64 Current children cumulated vsize (KiB) 12096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 2.02 1.97 1.94 3/184 1746 /proc/meminfo: memFree=26750060/32873648 swapFree=7388/7388 [pid=7145] ppid=7143 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/7145/stat : 7145 (npSolver-wbo-It) S 7143 7145 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385050411 9367552 274 33554432000 4194304 5064252 140736236039152 140736236038064 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/7145/statm: 2287 274 233 213 0 72 0 [pid=7146] ppid=7145 vsize=2948 CPUtime=1799.56 cores=1,3,5,7 /proc/7146/stat : 7146 (npSolver-wbo) R 7145 7145 5089 0 -1 4202496 593826 15699209 0 0 1020 191 173904 4841 20 0 1 0 385050411 3018752 381 33554432000 4194304 6006132 140735444350624 140735444342560 5056705 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/7146/statm: 737 381 176 443 0 290 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (KiB) 12096 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.920013 # lost CPU user time (s): 0.920013 # lost CPU system time (s): 0 Real time (s): 1801.21 CPU time (s): 1800.5 CPU user time (s): 1750.17 CPU system time (s): 50.3293 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (KiB): 31968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1749.25 system time used= 50.3293 maximum resident set size= 29364 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16293412 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1920352 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 43114 involuntary context switches= 32674 runsolver used 2.96355 second user time and 8.67068 second system time The end
Begin job on node148 at 2012-06-08 23:00:59 IDJOB=3752876 IDBENCH=78666 IDSOLVER=2336 FILE ID=node148/3752876-1339189259 RUNJOBID= node148-1339183826-6232 PBS_JOBID= 14643813 Free space on /tmp= 70416 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr--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-3752876-1339189259/watcher-3752876-1339189259 -o /tmp/evaluation-result-3752876-1339189259/solver-3752876-1339189259 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752876-1339189259.wbo 472544765 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d97c5722fe377ef62d4d83eb3fe2e1eb RANDOM SEED=472544765 node148.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.284 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.56 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.284 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.94 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.284 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.92 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.284 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.284 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.90 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.284 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.284 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.90 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.284 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26763384 kB Buffers: 742944 kB Cached: 4372372 kB SwapCached: 560 kB Active: 2478796 kB Inactive: 2656236 kB Active(anon): 9004 kB Inactive(anon): 10632 kB Active(file): 2469792 kB Inactive(file): 2645604 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67107596 kB Dirty: 16788 kB Writeback: 0 kB AnonPages: 56720 kB Mapped: 11968 kB Shmem: 36 kB Slab: 838016 kB SReclaimable: 281744 kB SUnreclaim: 556272 kB KernelStack: 1520 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 136676 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 32768 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70408 MiB End job on node148 at 2012-06-08 23:31:00