Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1800.31 | 1812.52 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo |
MD5SUM | c6676bcfc0f6c4806260dd430fa1f6e3 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 40.5528 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 1783 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 90636 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90635 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 701 |
Number of bits of the biggest sum of numbers | 10 |
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.02 c run usual solver 0.00/0.15 o 267 0.00/0.15 c starting approximation 0.00/0.15 c factor = 2 0.00/0.15 c current bound: 133 0.00/0.72 c current bound: 133 1.09/1.29 c current bound: 133 1.66/1.86 c current bound: 133 2.23/2.44 c current bound: 133 2.82/3.02 c current bound: 133 3.58/3.60 c current bound: 133 3.95/4.16 c current bound: 133 4.52/4.73 c current bound: 133 5.08/5.29 c current bound: 133 5.66/5.86 c current bound: 133 6.22/6.43 c current bound: 133 6.80/7.01 c current bound: 133 7.38/7.59 c current bound: 133 7.97/8.17 c current bound: 133 8.68/8.75 c current bound: 133 9.12/9.33 c current bound: 133 9.77/9.90 c current bound: 133 10.27/10.48 c current bound: 133 10.98/11.05 c current bound: 133 11.43/11.63 c current bound: 133 12.00/12.21 c current bound: 133 12.58/12.78 c current bound: 133 13.16/13.36 c current bound: 133 13.74/13.93 c current bound: 133 14.32/14.51 c current bound: 133 14.89/15.09 c current bound: 133 15.47/15.67 c current bound: 133 16.05/16.24 c current bound: 133 16.62/16.82 c current bound: 133 17.21/17.41 c current bound: 133 17.79/17.98 c current bound: 133 18.36/18.56 c current bound: 133 18.95/19.14 c current bound: 133 19.69/19.73 c current bound: 133 20.11/20.30 c current bound: 133 20.79/20.89 c current bound: 133 21.28/21.47 c current bound: 133 22.00/22.06 c current bound: 133 22.45/22.64 c current bound: 133 23.04/23.22 c current bound: 133 23.61/23.80 c current bound: 133 24.20/24.54 c current bound: 133 24.79/25.12 c current bound: 133 25.37/25.69 c current bound: 133 25.95/26.28 c current bound: 133 26.53/26.87 c current bound: 133 27.26/27.45 c current bound: 133 27.70/28.04 c current bound: 133 28.44/28.62 c current bound: 133 28.87/29.21 c current bound: 133 29.47/29.79 c current bound: 133 30.06/30.39 c current bound: 133 30.64/30.97 c current bound: 133 31.23/31.55 c current bound: 133 31.83/32.14 c current bound: 133 32.41/32.73 c current bound: 133 32.99/33.31 c current bound: 133 33.57/33.89 c current bound: 133 34.35/34.57 c current bound: 133 34.88/35.15 c current bound: 133 35.33/35.74 c current bound: 133 36.07/36.33 c current bound: 133 36.51/36.92 c current bound: 133 37.09/37.50 c current bound: 133 37.67/38.08 c current bound: 133 38.25/38.66 c current bound: 133 38.84/39.25 c current bound: 133 39.41/39.84 c current bound: 133 40.01/40.42 c current bound: 133 40.60/41.00 c current bound: 133 41.18/41.59 c current bound: 133 41.75/42.17 c current bound: 133 42.34/42.76 c current bound: 133 42.93/43.35 c current bound: 133 43.66/43.93 c current bound: 133 44.10/44.52 c current bound: 133 44.87/45.11 c current bound: 133 45.27/45.69 c current bound: 133 45.97/46.27 c current bound: 133 46.44/46.85 c current bound: 133 47.02/47.44 c current bound: 133 47.61/48.03 c current bound: 133 48.20/48.62 c current bound: 133 48.98/49.20 c current bound: 133 49.38/49.78 c current bound: 133 49.96/50.37 c current bound: 133 50.54/50.95 c current bound: 133 51.13/51.54 c current bound: 133 51.71/52.12 c current bound: 133 52.29/52.70 c current bound: 133 52.88/53.28 c current bound: 133 53.58/53.87 c current bound: 133 54.04/54.46 c current bound: 133 54.82/55.25 c current bound: 133 55.21/55.85 c current bound: 133 55.81/56.43 c current bound: 133 56.41/57.02 c current bound: 133 56.99/57.61 c current bound: 133 57.57/58.19 c current bound: 133 58.17/58.78 c current bound: 133 58.86/59.37 c current bound: 133 59.34/59.95 c current bound: 133 60.06/60.55 c current bound: 133 60.52/61.14 c current bound: 133 61.11/61.73 c current bound: 133 61.69/62.31 c current bound: 133 62.28/62.89 c current bound: 133 62.85/63.48 c current bound: 133 63.46/64.07 c current bound: 133 64.04/64.65 c current bound: 133 64.61/65.37 c current bound: 133 65.34/65.95 c current bound: 133 65.79/66.54 c current bound: 133 66.52/67.12 c current bound: 133 66.96/67.70 c current bound: 133 67.63/68.29 c current bound: 133 68.12/68.87 c current bound: 133 68.71/69.46 c current bound: 133 69.29/70.04 c current bound: 133 69.86/70.62 c current bound: 133 70.46/71.21 c current bound: 133 71.04/71.80 c current bound: 133 71.63/72.39 c current bound: 133 72.23/72.98 c current bound: 133 72.82/73.56 c current bound: 133 73.39/74.14 c current bound: 133 74.14/74.73 c current bound: 133 74.56/75.31 c current bound: 133 75.24/75.90 c current bound: 133 75.74/76.48 c current bound: 133 76.44/77.07 c current bound: 133 76.89/77.65 c current bound: 133 77.48/78.23 c current bound: 133 78.07/78.82 c current bound: 133 78.65/79.40 c current bound: 133 79.23/79.98 c current bound: 133 79.81/80.57 c current bound: 133 80.41/81.16 c current bound: 133 80.98/81.74 c current bound: 133 81.57/82.32 c current bound: 133 82.15/82.91 c current bound: 133 82.74/83.49 c current bound: 133 83.33/84.08 c current bound: 133 84.03/84.66 c current bound: 133 84.50/85.24 c current bound: 133 85.26/85.98 c current bound: 133 85.67/86.56 c current bound: 133 86.25/87.14 c current bound: 133 86.84/87.72 c current bound: 133 87.42/88.30 c current bound: 133 88.00/88.89 c current bound: 133 88.58/89.47 c current bound: 133 89.17/90.05 c current bound: 133 89.76/90.64 c current bound: 133 90.51/91.22 c current bound: 133 90.93/91.80 c current bound: 133 91.60/92.39 c current bound: 133 92.10/92.97 c current bound: 133 92.81/93.57 c current bound: 133 93.27/94.15 c current bound: 133 93.85/94.73 c current bound: 133 94.44/95.32 c current bound: 133 95.02/95.90 c current bound: 133 95.61/96.48 c current bound: 133 96.20/97.07 c current bound: 133 96.78/97.65 c current bound: 133 97.37/98.24 c current bound: 133 97.96/98.82 c current bound: 133 98.73/99.40 c current bound: 133 99.11/99.98 c current bound: 133 99.69/100.57 c current bound: 133 100.42/101.15 c current bound: 133 100.86/101.73 c current bound: 133 101.62/102.31 c current bound: 133 102.24/102.90 c current bound: 133 102.73/103.48 c current bound: 133 103.20/104.06 c current bound: 133 103.78/104.64 c current bound: 133 104.37/105.23 c current bound: 133 104.95/105.81 c current bound: 133 105.74/106.40 c current bound: 133 106.13/107.10 c current bound: 133 106.71/107.68 c current bound: 133 107.29/108.26 c current bound: 133 108.02/108.85 c current bound: 133 108.47/109.44 c current bound: 133 109.21/110.03 c current bound: 133 109.63/110.61 c current bound: 133 110.22/111.19 c current bound: 133 110.81/111.78 c current bound: 133 111.39/112.36 c current bound: 133 111.97/112.95 c current bound: 133 112.56/113.54 c current bound: 133 113.15/114.12 c current bound: 133 113.74/114.72 c current bound: 133 114.52/115.30 c current bound: 133 114.91/115.88 c current bound: 133 115.67/116.60 c current bound: 133 116.08/117.19 c current bound: 133 116.78/117.78 c current bound: 133 117.27/118.37 c current bound: 133 117.85/118.95 c current bound: 133 118.43/119.54 c current bound: 133 119.03/120.14 c current bound: 133 119.62/120.73 c current bound: 133 120.21/121.31 c current bound: 133 120.80/121.90 c current bound: 133 121.38/122.48 c current bound: 133 121.97/123.07 c current bound: 133 122.55/123.66 c current bound: 133 123.28/124.25 c current bound: 133 123.74/124.83 c current bound: 133 124.49/125.41 c current bound: 133 124.91/126.01 c current bound: 133 125.60/126.59 c current bound: 133 126.08/127.17 c current bound: 133 126.66/127.76 c current bound: 133 127.25/128.34 c current bound: 133 127.83/128.92 c current bound: 133 128.41/129.50 c current bound: 133 129.00/130.08 c current bound: 133 129.58/130.67 c current bound: 133 130.17/131.26 c current bound: 133 130.93/131.96 c current bound: 133 131.34/132.55 c current bound: 133 132.07/133.14 c current bound: 133 132.51/133.72 c current bound: 133 133.09/134.30 c current bound: 133 133.67/134.88 c current bound: 133 134.26/135.46 c current bound: 133 134.84/136.04 c current bound: 133 135.41/136.62 c current bound: 133 136.00/137.21 c current bound: 133 136.79/137.80 c current bound: 133 137.18/138.38 c current bound: 133 137.76/138.97 c current bound: 133 138.34/139.56 c current bound: 133 138.94/140.14 c current bound: 133 139.68/140.73 c current bound: 133 140.11/141.31 c current bound: 133 140.88/141.99 c current bound: 133 141.27/142.57 c current bound: 133 141.87/143.16 c current bound: 133 142.44/143.74 c current bound: 133 143.03/144.32 c current bound: 133 143.62/144.90 c current bound: 133 144.21/145.49 c current bound: 133 144.78/146.07 c current bound: 133 145.38/146.66 c current bound: 133 145.96/147.25 c current bound: 133 146.53/147.83 c current bound: 133 147.30/148.41 c current bound: 133 147.71/148.99 c current bound: 133 148.40/149.58 c current bound: 133 148.89/150.16 c current bound: 133 149.61/150.74 c current bound: 133 150.05/151.33 c current bound: 133 150.63/151.91 c current bound: 133 151.43/152.50 c current bound: 133 151.81/153.08 c current bound: 133 152.40/153.67 c current bound: 133 152.97/154.25 c current bound: 133 153.54/154.83 c current bound: 133 154.14/155.41 c current bound: 133 154.72/156.00 c current bound: 133 155.31/156.58 c current bound: 133 156.07/157.34 c current bound: 133 156.48/157.92 c current bound: 133 157.07/158.51 c current bound: 133 157.65/159.09 c current bound: 133 158.24/159.68 c current bound: 133 158.82/160.26 c current bound: 133 159.39/160.84 c current bound: 133 159.99/161.43 c current bound: 133 160.57/162.01 c current bound: 133 161.16/162.60 c current bound: 133 161.75/163.18 c current bound: 133 162.33/163.76 c current bound: 133 162.91/164.34 c current bound: 133 163.65/164.95 c current bound: 133 164.11/165.53 c current bound: 133 164.86/166.12 c current bound: 133 165.47/166.70 c current bound: 133 166.04/167.46 c current bound: 133 166.46/168.05 c current bound: 133 167.05/168.64 c current bound: 133 167.64/169.22 c current bound: 133 168.23/169.81 c current bound: 133 168.81/170.39 c current bound: 133 169.38/170.97 c current bound: 133 170.09/171.55 c current bound: 133 170.55/172.13 c current bound: 133 171.30/172.71 c current bound: 133 171.71/173.29 c current bound: 133 172.40/173.88 c current bound: 133 172.88/174.47 c current bound: 133 173.48/175.06 c current bound: 133 174.07/175.64 c current bound: 133 174.63/176.22 c current bound: 133 175.22/176.80 c current bound: 133 176.01/177.50 c current bound: 133 176.37/178.08 c current bound: 133 176.96/178.67 c current bound: 133 177.69/179.26 c current bound: 133 178.14/179.84 c current bound: 133 178.89/180.42 c current bound: 133 179.30/181.01 c current bound: 133 179.90/181.59 c current bound: 133 180.46/182.17 c current bound: 133 181.05/182.76 c current bound: 133 181.63/183.34 c current bound: 133 182.22/183.93 c current bound: 133 182.80/184.51 c current bound: 133 183.58/185.10 c current bound: 133 183.98/185.68 c current bound: 133 184.57/186.26 c current bound: 133 185.14/186.84 c current bound: 133 185.73/187.57 c current bound: 133 186.44/188.15 c current bound: 133 186.90/188.73 c current bound: 133 187.47/189.31 c current bound: 133 188.07/189.91 c current bound: 133 188.65/190.49 c current bound: 133 189.23/191.08 c current bound: 133 189.81/191.66 c current bound: 133 190.39/192.24 c current bound: 133 190.99/192.82 c current bound: 133 191.58/193.40 c current bound: 133 192.16/193.99 c current bound: 133 192.74/194.58 c current bound: 133 193.33/195.16 c current bound: 133 194.06/195.75 c current bound: 133 194.51/196.33 c current bound: 133 195.26/196.91 c current bound: 133 195.67/197.49 c current bound: 133 196.37/198.08 c current bound: 133 196.85/198.66 c current bound: 133 197.43/199.24 c current bound: 133 198.02/199.83 c current bound: 133 198.60/200.41 c current bound: 133 199.38/201.00 c current bound: 133 199.78/201.58 c current bound: 133 200.36/202.17 c current bound: 133 200.94/202.93 c current bound: 133 201.69/203.51 c current bound: 133 202.30/204.10 c current bound: 133 202.81/204.69 c current bound: 133 203.29/205.27 c current bound: 133 203.88/205.85 c current bound: 133 204.46/206.43 c current bound: 133 205.03/207.01 c current bound: 133 205.81/207.60 c current bound: 133 206.21/208.19 c current bound: 133 206.79/208.78 c current bound: 133 207.36/209.36 c current bound: 133 207.95/209.95 c current bound: 133 208.53/210.53 c current bound: 133 209.29/211.12 c current bound: 133 209.73/211.72 c current bound: 133 210.39/212.30 c current bound: 133 210.88/213.00 c current bound: 133 211.48/213.58 c current bound: 133 212.06/214.18 c current bound: 133 212.66/214.76 c current bound: 133 213.24/215.35 c current bound: 133 213.83/215.93 c current bound: 133 214.41/216.52 c current bound: 133 215.19/217.10 c current bound: 133 215.57/217.68 c current bound: 133 216.16/218.26 c current bound: 133 216.90/218.84 c current bound: 133 217.34/219.43 c current bound: 133 218.09/220.01 c current bound: 133 218.70/220.60 c current bound: 133 219.19/221.18 c current bound: 133 219.68/221.77 c current bound: 133 220.26/222.35 c current bound: 133 220.85/222.93 c current bound: 133 221.43/223.52 c current bound: 133 222.02/224.11 c current bound: 133 222.61/224.68 c current bound: 133 223.18/225.27 c current bound: 133 223.77/225.85 c current bound: 133 224.36/226.44 c current bound: 133 224.95/227.02 c current bound: 133 225.69/227.61 c current bound: 133 226.32/228.20 c current bound: 133 226.82/228.78 c current bound: 133 227.29/229.37 c current bound: 133 228.02/229.95 c current bound: 133 228.48/230.53 c current bound: 133 229.06/231.12 c current bound: 133 229.64/231.70 c current bound: 133 230.23/232.28 c current bound: 133 230.81/232.86 c current bound: 133 231.40/233.59 c current bound: 133 231.99/234.18 c current bound: 133 232.56/234.76 c current bound: 133 233.30/235.34 c current bound: 133 233.74/235.93 c current bound: 133 234.50/236.52 c current bound: 133 235.11/237.10 c current bound: 133 235.59/237.68 c current bound: 133 236.08/238.27 c current bound: 133 236.67/238.86 c current bound: 133 237.26/239.45 c current bound: 133 237.84/240.02 c current bound: 133 238.42/240.61 c current bound: 133 239.01/241.19 c current bound: 133 239.60/241.78 c current bound: 133 240.18/242.36 c current bound: 133 240.76/242.94 c current bound: 133 241.35/243.52 c current bound: 133 242.10/244.11 c current bound: 133 242.52/244.70 c current bound: 133 243.22/245.28 c current bound: 133 243.69/245.87 c current bound: 133 244.43/246.46 c current bound: 133 244.88/247.04 c current bound: 133 245.47/247.63 c current bound: 133 246.05/248.21 c current bound: 133 246.84/248.80 c current bound: 133 247.23/249.39 c current bound: 133 247.82/249.97 c current bound: 133 248.40/250.56 c current bound: 133 248.98/251.16 c current bound: 133 249.59/251.75 c current bound: 133 250.16/252.33 c current bound: 133 250.93/252.91 c current bound: 133 251.54/253.50 c current bound: 133 252.11/254.19 c current bound: 133 252.52/254.78 c current bound: 133 253.10/255.36 c current bound: 133 253.67/255.94 c current bound: 133 254.27/256.52 c current bound: 133 254.85/257.10 c current bound: 133 255.43/257.69 c current bound: 133 256.02/258.27 c current bound: 133 256.61/258.86 c current bound: 133 257.19/259.44 c current bound: 133 257.77/260.02 c current bound: 133 258.36/260.60 c current bound: 133 258.95/261.19 c current bound: 133 259.64/261.77 c current bound: 133 260.11/262.36 c current bound: 133 260.84/262.94 c current bound: 133 261.28/263.52 c current bound: 133 261.87/264.12 c current bound: 133 262.46/264.70 c current bound: 133 263.06/265.29 c current bound: 133 263.65/265.88 c current bound: 133 264.22/266.46 c current bound: 133 264.81/267.04 c current bound: 133 265.40/267.63 c current bound: 133 265.99/268.21 c current bound: 133 266.56/268.79 c current bound: 133 267.16/269.38 c current bound: 133 267.75/269.97 c current bound: 133 268.47/270.56 c current bound: 133 268.92/271.14 c current bound: 133 269.68/271.72 c current bound: 133 270.09/272.31 c current bound: 133 270.68/272.89 c current bound: 133 271.27/273.48 c current bound: 133 271.85/274.07 c current bound: 133 272.44/274.87 c current bound: 133 273.03/275.45 c current bound: 133 273.77/276.03 c current bound: 133 274.19/276.61 c current bound: 133 274.87/277.20 c current bound: 133 275.35/277.78 c current bound: 133 276.07/278.36 c current bound: 133 276.52/278.94 c current bound: 133 277.10/279.52 c current bound: 133 277.68/280.10 c current bound: 133 278.27/280.68 c current bound: 133 278.85/281.27 c current bound: 133 279.44/281.85 c current bound: 133 280.00/282.44 c current bound: 133 280.61/283.03 c current bound: 133 281.19/283.61 c current bound: 133 281.77/284.19 c current bound: 133 282.54/284.91 c current bound: 133 282.96/285.50 c current bound: 133 283.64/286.10 c current bound: 133 284.12/286.68 c current bound: 133 284.71/287.26 c current bound: 133 285.28/287.84 c current bound: 133 285.87/288.42 c current bound: 133 286.64/289.00 c current bound: 133 287.04/289.59 c current bound: 133 287.63/290.18 c current bound: 133 288.21/290.76 c current bound: 133 288.79/291.34 c current bound: 133 289.38/291.93 c current bound: 133 290.14/292.51 c current bound: 133 290.55/293.09 c current bound: 133 291.24/293.67 c current bound: 133 291.73/294.28 c current bound: 133 292.49/295.01 c current bound: 133 292.90/295.59 c current bound: 133 293.49/296.18 c current bound: 133 294.07/296.77 c current bound: 133 294.66/297.35 c current bound: 133 295.24/297.93 c current bound: 133 295.83/298.51 c current bound: 133 296.42/299.09 c current bound: 133 297.00/299.68 c current bound: 133 297.72/300.26 c current bound: 133 298.17/300.86 c current bound: 133 298.90/301.44 c current bound: 133 299.35/302.03 c current bound: 133 299.95/302.62 c current bound: 133 300.53/303.20 c current bound: 133 301.12/303.79 c current bound: 133 301.70/304.38 c current bound: 133 302.29/304.96 c current bound: 133 302.87/305.58 c current bound: 133 303.45/306.16 c current bound: 133 304.03/306.75 c current bound: 133 304.63/307.33 c current bound: 133 305.40/307.90 c current bound: 133 305.79/308.49 c current bound: 133 306.48/309.07 c current bound: 133 306.97/309.66 c current bound: 133 307.68/310.24 c current bound: 133 308.14/310.83 c current bound: 133 308.72/311.42 c current bound: 133 309.51/312.00 c current bound: 133 309.89/312.58 c current bound: 133 310.47/313.16 c current bound: 133 311.06/313.75 c current bound: 133 311.64/314.33 c current bound: 133 312.23/314.92 c current bound: 133 312.83/315.51 c current bound: 133 313.39/316.09 c current bound: 133 313.99/316.68 c current bound: 133 314.58/317.26 c current bound: 133 315.31/317.86 c current bound: 133 315.75/318.44 c current bound: 133 316.51/319.02 c current bound: 133 316.92/319.60 c current bound: 133 317.52/320.34 c current bound: 133 318.11/320.93 c current bound: 133 318.70/321.51 c current bound: 133 319.28/322.09 c current bound: 133 319.86/322.68 c current bound: 133 320.45/323.26 c current bound: 133 321.04/323.84 c current bound: 133 321.78/324.43 c current bound: 133 322.22/325.02 c current bound: 133 322.98/325.61 c current bound: 133 323.39/326.19 c current bound: 133 324.09/326.78 c current bound: 133 324.55/327.37 c current bound: 133 325.14/327.95 c current bound: 133 325.72/328.53 c current bound: 133 326.31/329.11 c current bound: 133 327.08/329.70 c current bound: 133 327.48/330.42 c current bound: 133 328.26/331.00 c current bound: 133 328.65/331.59 c current bound: 133 329.34/332.18 c current bound: 133 329.83/332.76 c current bound: 133 330.54/333.35 c current bound: 133 330.99/333.93 c current bound: 133 331.57/334.51 c current bound: 133 332.16/335.09 c current bound: 133 332.75/335.68 c current bound: 133 333.32/336.26 c current bound: 133 333.91/336.85 c current bound: 133 334.50/337.43 c current bound: 133 335.08/338.01 c current bound: 133 335.86/338.60 c current bound: 133 336.25/339.19 c current bound: 133 336.85/339.77 c current bound: 133 337.43/340.35 c current bound: 133 338.16/340.94 c current bound: 133 338.60/341.53 c current bound: 133 339.35/342.12 c current bound: 133 339.98/342.70 c current bound: 133 340.46/343.29 c current bound: 133 340.96/343.87 c current bound: 133 341.54/344.45 c current bound: 133 342.12/345.04 c current bound: 133 342.71/345.80 c current bound: 133 343.29/346.38 c current bound: 133 343.88/346.97 c current bound: 133 344.59/347.55 c current bound: 133 345.05/348.14 c current bound: 133 345.80/348.73 c current bound: 133 346.22/349.31 c current bound: 133 346.81/349.90 c current bound: 133 347.39/350.49 c current bound: 133 348.00/351.08 c current bound: 133 348.57/351.66 c current bound: 133 349.15/352.25 c current bound: 133 349.74/352.83 c current bound: 133 350.33/353.42 c current bound: 133 350.91/354.00 c current bound: 133 351.51/354.59 c current bound: 133 352.10/355.18 c current bound: 133 352.68/355.87 c current bound: 133 353.40/356.47 c current bound: 133 353.86/357.04 c current bound: 133 354.44/357.63 c current bound: 133 355.04/358.22 c current bound: 133 355.62/358.80 c current bound: 133 356.41/359.40 c current bound: 133 356.81/359.99 c current bound: 133 357.38/360.57 c current bound: 133 357.97/361.16 c current bound: 133 358.55/361.75 c current bound: 133 359.13/362.33 c current bound: 133 359.91/362.91 c current bound: 133 360.30/363.49 c current bound: 133 361.00/364.08 c current bound: 133 361.48/364.66 c current bound: 133 362.20/365.25 c current bound: 133 362.65/365.83 c current bound: 133 363.22/366.41 c current bound: 133 364.01/367.00 c current bound: 133 364.39/367.58 c current bound: 133 364.98/368.17 c current bound: 133 365.56/368.76 c current bound: 133 366.16/369.35 c current bound: 133 366.74/369.94 c current bound: 133 367.34/370.52 c current bound: 133 367.91/371.11 c current bound: 133 368.50/371.69 c current bound: 133 369.09/372.28 c current bound: 133 369.80/372.85 c current bound: 133 370.26/373.44 c current bound: 133 370.99/374.02 c current bound: 133 371.43/374.60 c current bound: 133 372.10/375.18 c current bound: 133 372.58/375.76 c current bound: 133 373.18/376.36 c current bound: 133 373.77/376.98 c current bound: 133 374.35/377.56 c current bound: 133 374.94/378.15 c current bound: 133 375.53/378.75 c current bound: 133 376.11/379.33 c current bound: 133 376.69/379.91 c current bound: 133 377.28/380.49 c current bound: 133 377.86/381.07 c current bound: 133 378.57/381.66 c current bound: 133 379.03/382.24 c current bound: 133 379.77/382.82 c current bound: 133 380.19/383.41 c current bound: 133 380.98/384.00 c current bound: 133 381.37/384.59 c current bound: 133 381.96/385.18 c current bound: 133 382.55/385.76 c current bound: 133 383.14/386.35 c current bound: 133 383.71/386.93 c current bound: 133 384.29/387.52 c current bound: 133 384.89/388.11 c current bound: 133 385.68/388.70 c current bound: 133 386.06/389.28 c current bound: 133 386.63/389.86 c current bound: 133 387.36/390.45 c current bound: 133 387.81/391.03 c current bound: 133 388.57/391.62 c current bound: 133 388.98/392.21 c current bound: 133 389.78/392.80 c current bound: 133 390.19/393.39 c current bound: 133 390.76/393.97 c current bound: 133 391.35/394.56 c current bound: 133 391.95/395.15 c current bound: 133 392.53/395.73 c current bound: 133 393.12/396.32 c current bound: 133 393.87/397.04 c current bound: 133 394.29/397.62 c current bound: 133 395.07/398.21 c current bound: 133 395.46/398.80 c current bound: 133 396.17/399.38 c current bound: 133 396.63/399.96 c current bound: 133 397.22/400.54 c current bound: 133 397.82/401.14 c current bound: 133 398.40/401.72 c current bound: 133 398.98/402.30 c current bound: 133 399.57/402.89 c current bound: 133 400.17/403.48 c current bound: 133 400.73/404.06 c current bound: 133 401.31/404.65 c current bound: 133 401.89/405.23 c current bound: 133 402.67/405.82 c current bound: 133 403.07/406.40 c current bound: 133 403.84/407.14 c current bound: 133 404.25/407.72 c current bound: 133 404.82/408.30 c current bound: 133 405.60/408.90 c current bound: 133 406.00/409.48 c current bound: 133 406.58/410.06 c current bound: 133 407.17/410.65 c current bound: 133 407.74/411.23 c current bound: 133 408.32/411.82 c current bound: 133 409.10/412.41 c current bound: 133 409.50/413.00 c current bound: 133 410.19/413.59 c current bound: 133 410.69/414.18 c current bound: 133 411.39/414.77 c current bound: 133 411.86/415.36 c current bound: 133 412.44/415.94 c current bound: 133 413.03/416.53 c current bound: 133 413.63/417.12 c current bound: 133 414.21/417.73 c current bound: 133 414.79/418.31 c current bound: 133 415.58/418.90 c current bound: 133 415.97/419.49 c current bound: 133 416.55/420.07 c current bound: 133 417.13/420.65 c current bound: 133 417.87/421.23 c current bound: 133 418.31/421.82 c current bound: 133 419.07/422.41 c current bound: 133 419.68/423.00 c current bound: 133 420.18/423.58 c current bound: 133 420.65/424.17 c current bound: 133 421.24/424.76 c current bound: 133 421.83/425.35 c current bound: 133 422.43/425.94 c current bound: 133 423.01/426.52 c current bound: 133 423.79/427.10 c current bound: 133 424.17/427.68 c current bound: 133 424.75/428.27 c current bound: 133 425.35/428.86 c current bound: 133 425.92/429.44 c current bound: 133 426.66/430.02 c current bound: 133 427.10/430.61 c current bound: 133 427.76/431.20 c current bound: 133 428.26/431.78 c current bound: 133 429.03/432.51 c current bound: 133 429.44/433.09 c current bound: 133 430.01/433.67 c current bound: 133 430.61/434.26 c current bound: 133 431.20/434.84 c current bound: 133 431.79/435.43 c current bound: 133 432.37/436.02 c current bound: 133 432.94/436.60 c current bound: 133 433.54/437.19 c current bound: 133 434.23/437.79 c current bound: 133 434.72/438.37 c current bound: 133 435.43/438.95 c current bound: 133 435.89/439.54 c current bound: 133 436.48/440.13 c current bound: 133 437.06/440.71 c current bound: 133 437.64/441.29 c current bound: 133 438.24/441.88 c current bound: 133 439.01/442.56 c current bound: 133 439.41/443.15 c current bound: 133 440.00/443.73 c current bound: 133 440.74/444.32 c current bound: 133 441.18/444.92 c current bound: 133 441.93/445.51 c current bound: 133 442.36/446.09 c current bound: 133 443.04/446.68 c current bound: 133 443.52/447.26 c current bound: 133 444.10/447.84 c current bound: 133 444.69/448.43 c current bound: 133 445.28/449.01 c current bound: 133 446.05/449.60 c current bound: 133 446.44/450.18 c current bound: 133 447.02/450.76 c current bound: 133 447.61/451.34 c current bound: 133 448.20/451.93 c current bound: 133 448.78/452.51 c current bound: 133 449.37/453.09 c current bound: 133 449.95/453.68 c current bound: 133 450.66/454.27 c current bound: 133 451.12/454.85 c current bound: 133 451.86/455.45 c current bound: 133 452.31/456.04 c current bound: 133 452.90/456.62 c current bound: 133 453.48/457.21 c current bound: 133 454.07/457.97 c current bound: 133 454.66/458.56 c current bound: 133 455.24/459.14 c current bound: 133 455.98/459.73 c current bound: 133 456.41/460.32 c current bound: 133 457.19/460.90 c current bound: 133 457.59/461.49 c current bound: 133 458.29/462.07 c current bound: 133 458.77/462.66 c current bound: 133 459.35/463.25 c current bound: 133 459.94/463.83 c current bound: 133 460.51/464.42 c current bound: 133 461.10/465.00 c current bound: 133 461.70/465.58 c current bound: 133 462.27/466.17 c current bound: 133 462.87/466.76 c current bound: 133 463.45/467.34 c current bound: 133 464.02/468.06 c current bound: 133 464.76/468.64 c current bound: 133 465.19/469.22 c current bound: 133 465.77/469.80 c current bound: 133 466.35/470.38 c current bound: 133 466.94/470.96 c current bound: 133 467.53/471.55 c current bound: 133 468.11/472.14 c current bound: 133 468.70/472.72 c current bound: 133 469.29/473.31 c current bound: 133 470.07/473.90 c current bound: 133 470.46/474.48 c current bound: 133 471.04/475.07 c current bound: 133 471.64/475.65 c current bound: 133 472.35/476.24 c current bound: 133 472.81/476.83 c current bound: 133 473.56/477.41 c current bound: 133 473.98/478.00 c current bound: 133 474.56/478.62 c current bound: 133 475.14/479.20 c current bound: 133 475.73/479.79 c current bound: 133 476.33/480.38 c current bound: 133 476.89/480.96 c current bound: 133 477.48/481.55 c current bound: 133 478.07/482.13 c current bound: 133 478.66/482.72 c current bound: 133 479.42/483.30 c current bound: 133 479.82/483.88 c current bound: 133 480.39/484.46 c current bound: 133 481.11/485.05 c current bound: 133 481.57/485.63 c current bound: 133 482.32/486.22 c current bound: 133 482.74/486.80 c current bound: 133 483.43/487.39 c current bound: 133 483.89/487.98 c current bound: 133 484.49/488.56 c current bound: 133 485.07/489.14 c current bound: 133 485.66/489.73 c current bound: 133 486.23/490.31 c current bound: 133 486.82/490.89 c current bound: 133 487.41/491.48 c current bound: 133 487.99/492.06 c current bound: 133 488.57/492.64 c current bound: 133 489.16/493.23 c current bound: 133 489.92/493.82 c current bound: 133 490.33/494.40 c current bound: 133 491.01/494.99 c current bound: 133 491.49/495.57 c current bound: 133 492.22/496.16 c current bound: 133 492.67/496.75 c current bound: 133 493.26/497.34 c current bound: 133 493.84/497.92 c current bound: 133 494.43/498.57 c current bound: 133 495.02/499.15 c current bound: 133 495.62/499.74 c current bound: 133 496.20/500.32 c current bound: 133 496.79/500.91 c current bound: 133 497.38/501.50 c current bound: 133 497.96/502.08 c current bound: 133 498.67/502.67 c current bound: 133 499.14/503.26 c current bound: 133 499.87/503.85 c current bound: 133 500.32/504.43 c current bound: 133 500.89/505.03 c current bound: 133 501.49/505.61 c current bound: 133 502.27/506.20 c current bound: 133 502.67/506.78 c current bound: 133 503.25/507.36 c current bound: 133 503.83/507.95 c current bound: 133 504.42/508.54 c current bound: 133 505.00/509.12 c current bound: 133 505.60/509.71 c current bound: 133 506.17/510.29 c current bound: 133 506.76/510.88 c current bound: 133 507.47/511.46 c current bound: 133 507.93/512.04 c current bound: 133 508.67/512.63 c current bound: 133 509.11/513.22 c current bound: 133 509.69/513.80 c current bound: 133 510.28/514.39 c current bound: 133 510.87/514.97 c current bound: 133 511.44/515.56 c current bound: 133 512.02/516.14 c current bound: 133 512.60/516.72 c current bound: 133 513.37/517.30 c current bound: 133 513.77/517.88 c current bound: 133 514.35/518.47 c current bound: 133 515.12/519.21 c current bound: 133 515.51/519.79 c current bound: 133 516.21/520.37 c current bound: 133 516.69/520.95 c current bound: 133 517.28/521.54 c current bound: 133 517.86/522.12 c current bound: 133 518.44/522.71 c current bound: 133 519.03/523.29 c current bound: 133 519.61/523.87 c current bound: 133 520.20/524.45 c current bound: 133 520.79/525.05 c current bound: 133 521.38/525.63 c current bound: 133 521.95/526.21 c current bound: 133 522.72/526.81 c current bound: 133 523.34/527.40 c current bound: 133 523.83/527.99 c current bound: 133 524.33/528.57 c current bound: 133 525.03/529.17 c current bound: 133 525.49/529.79 c current bound: 133 526.07/530.37 c current bound: 133 526.66/530.95 c current bound: 133 527.23/531.54 c current bound: 133 527.82/532.12 c current bound: 133 528.59/532.70 c current bound: 133 528.98/533.29 c current bound: 133 529.57/533.87 c current bound: 133 530.16/534.45 c current bound: 133 530.75/535.04 c current bound: 133 531.47/535.63 c current bound: 133 531.91/536.21 c current bound: 133 532.58/536.79 c current bound: 133 533.08/537.37 c current bound: 133 533.78/537.96 c current bound: 133 534.23/538.54 c current bound: 133 534.81/539.12 c current bound: 133 535.40/539.75 c current bound: 133 535.99/540.33 c current bound: 133 536.57/540.92 c current bound: 133 537.16/541.50 c current bound: 133 537.73/542.08 c current bound: 133 538.34/542.68 c current bound: 133 538.92/543.27 c current bound: 133 539.51/543.85 c current bound: 133 540.28/544.58 c current bound: 133 540.69/545.17 c current bound: 133 541.28/545.75 c current bound: 133 541.85/546.33 c current bound: 133 542.44/546.92 c current bound: 133 543.01/547.49 c current bound: 133 543.60/548.08 c current bound: 133 544.19/548.66 c current bound: 133 544.77/549.24 c current bound: 133 545.35/549.82 c current bound: 133 545.93/550.40 c current bound: 133 546.52/550.98 c current bound: 133 547.11/551.57 c current bound: 133 547.83/552.15 c current bound: 133 548.26/552.73 c current bound: 133 549.01/553.32 c current bound: 133 549.45/553.91 c current bound: 133 550.03/554.50 c current bound: 133 550.62/555.12 c current bound: 133 551.21/555.71 c current bound: 133 551.78/556.29 c current bound: 133 552.36/556.87 c current bound: 133 552.95/557.46 c current bound: 133 553.53/558.04 c current bound: 133 554.12/558.63 c current bound: 133 554.70/559.21 c current bound: 133 555.29/559.79 c current bound: 133 555.88/560.38 c current bound: 133 556.58/560.96 c current bound: 133 557.04/561.54 c current bound: 133 557.77/562.13 c current bound: 133 558.21/562.71 c current bound: 133 558.79/563.29 c current bound: 133 559.38/563.88 c current bound: 133 559.98/564.48 c current bound: 133 560.57/565.06 c current bound: 133 561.15/565.65 c current bound: 133 561.73/566.24 c current bound: 133 562.31/566.82 c current bound: 133 563.10/567.40 c current bound: 133 563.49/567.98 c current bound: 133 564.06/568.56 c current bound: 133 564.64/569.14 c current bound: 133 565.41/569.84 c current bound: 133 565.81/570.43 c current bound: 133 566.39/571.01 c current bound: 133 566.97/571.60 c current bound: 133 567.58/572.18 c current bound: 133 568.15/572.78 c current bound: 133 568.75/573.38 c current bound: 133 569.35/573.96 c current bound: 133 569.92/574.55 c current bound: 133 570.51/575.13 c current bound: 133 571.10/575.71 c current bound: 133 571.67/576.29 c current bound: 133 572.27/576.88 c current bound: 133 572.97/577.46 c current bound: 133 573.42/578.05 c current bound: 133 574.17/578.63 c current bound: 133 574.59/579.21 c current bound: 133 575.19/579.80 c current bound: 133 575.77/580.39 c current bound: 133 576.35/580.97 c current bound: 133 576.94/581.55 c current bound: 133 577.52/582.13 c current bound: 133 578.11/582.72 c current bound: 133 578.69/583.31 c current bound: 133 579.29/583.90 c current bound: 133 580.09/584.50 c current bound: 133 580.47/585.08 c current bound: 133 581.05/585.66 c current bound: 133 581.79/586.24 c current bound: 133 582.22/586.83 c current bound: 133 582.98/587.41 c current bound: 133 583.41/588.00 c current bound: 133 583.99/588.59 c current bound: 133 584.58/589.18 c current bound: 133 585.15/589.76 c current bound: 133 585.75/590.35 c current bound: 133 586.33/590.98 c current bound: 133 586.91/591.56 c current bound: 133 587.49/592.14 c current bound: 133 588.08/592.73 c current bound: 133 588.68/593.32 c current bound: 133 589.26/593.90 c current bound: 133 589.84/594.48 c current bound: 133 590.55/595.07 c current bound: 133 591.01/595.66 c current bound: 133 591.75/596.25 c current bound: 133 592.21/596.86 c current bound: 133 592.81/597.44 c current bound: 133 593.40/598.02 c current bound: 133 593.98/598.61 c current bound: 133 594.77/599.20 c current bound: 133 595.15/599.78 c current bound: 133 595.74/600.38 c current bound: 133 596.33/601.00 c current bound: 133 596.91/601.58 c current bound: 133 597.49/602.17 c current bound: 133 598.24/602.75 c current bound: 133 598.68/603.34 c current bound: 133 599.43/603.92 c current bound: 133 599.85/604.51 c current bound: 133 600.64/605.10 c current bound: 133 601.03/605.68 c current bound: 133 601.61/606.26 c current bound: 133 602.20/606.85 c current bound: 133 602.80/607.44 c current bound: 133 603.37/608.02 c current bound: 133 603.97/608.61 c current bound: 133 604.56/609.20 c current bound: 133 605.15/609.79 c current bound: 133 605.72/610.38 c current bound: 133 606.32/610.96 c current bound: 133 607.04/611.54 c current bound: 133 607.49/612.13 c current bound: 133 608.26/612.71 c current bound: 133 608.66/613.29 c current bound: 133 609.34/613.87 c current bound: 133 609.82/614.46 c current bound: 133 610.40/615.04 c current bound: 133 610.99/615.85 c current bound: 133 611.58/616.43 c current bound: 133 612.33/617.02 c current bound: 133 612.75/617.60 c current bound: 133 613.44/618.19 c current bound: 133 613.92/618.77 c current bound: 133 614.63/619.36 c current bound: 133 615.11/619.95 c current bound: 133 615.67/620.53 c current bound: 133 616.27/621.11 c current bound: 133 616.86/621.69 c current bound: 133 617.44/622.27 c current bound: 133 618.01/622.86 c current bound: 133 618.61/623.44 c current bound: 133 619.19/624.03 c current bound: 133 619.78/624.61 c current bound: 133 620.36/625.19 c current bound: 133 621.13/625.88 c current bound: 133 621.53/626.46 c current bound: 133 622.26/627.05 c current bound: 133 622.70/627.64 c current bound: 133 623.30/628.24 c current bound: 133 623.88/628.82 c current bound: 133 624.46/629.40 c current bound: 133 625.04/629.98 c current bound: 133 625.64/630.57 c current bound: 133 626.22/631.15 c current bound: 133 626.80/631.74 c current bound: 133 627.39/632.32 c current bound: 133 627.97/632.91 c current bound: 133 628.77/633.50 c current bound: 133 629.15/634.08 c current bound: 133 629.86/634.67 c current bound: 133 630.32/635.27 c current bound: 133 631.05/635.85 c current bound: 133 631.51/636.47 c current bound: 133 632.09/637.06 c current bound: 133 632.68/637.64 c current bound: 133 633.27/638.23 c current bound: 133 633.85/638.81 c current bound: 133 634.43/639.39 c current bound: 133 635.01/639.98 c current bound: 133 635.58/640.55 c current bound: 133 636.18/641.14 c current bound: 133 636.76/641.73 c current bound: 133 637.53/642.31 c current bound: 133 638.13/642.90 c current bound: 133 638.63/643.48 c current bound: 133 639.11/644.07 c current bound: 133 639.83/644.64 c current bound: 133 640.27/645.22 c current bound: 133 640.85/645.81 c current bound: 133 641.43/646.39 c current bound: 133 642.01/646.97 c current bound: 133 642.59/647.55 c current bound: 133 643.18/648.14 c current bound: 133 643.78/648.72 c current bound: 133 644.54/649.30 c current bound: 133 644.94/649.88 c current bound: 133 645.52/650.47 c current bound: 133 646.10/651.05 c current bound: 133 646.69/651.63 c current bound: 133 647.44/652.21 c current bound: 133 647.86/652.80 c current bound: 133 648.54/653.38 c current bound: 133 649.02/653.97 c current bound: 133 649.73/654.55 c current bound: 133 650.19/655.15 c current bound: 133 650.78/655.73 c current bound: 133 651.36/656.45 c current bound: 133 651.95/657.04 c current bound: 133 652.54/657.62 c current bound: 133 653.12/658.20 c current bound: 133 653.70/658.79 c current bound: 133 654.29/659.37 c current bound: 133 654.99/659.96 c current bound: 133 655.46/660.54 c current bound: 133 656.20/661.13 c current bound: 133 656.63/661.71 c current bound: 133 657.21/662.29 c current bound: 133 657.79/662.88 c current bound: 133 658.38/663.46 c current bound: 133 658.96/664.05 c current bound: 133 659.56/664.63 c current bound: 133 660.13/665.21 c current bound: 133 660.92/665.80 c current bound: 133 661.32/666.39 c current bound: 133 661.91/666.97 c current bound: 133 662.49/667.55 c current bound: 133 663.06/668.14 c current bound: 133 663.83/668.72 c current bound: 133 664.23/669.31 c current bound: 133 664.92/669.89 c current bound: 133 665.41/670.47 c current bound: 133 666.13/671.06 c current bound: 133 666.59/671.65 c current bound: 133 667.18/672.23 c current bound: 133 667.75/672.81 c current bound: 133 668.34/673.40 c current bound: 133 668.93/673.99 c current bound: 133 669.51/674.57 c current bound: 133 670.10/675.16 c current bound: 133 670.67/675.74 c current bound: 133 671.26/676.32 c current bound: 133 671.85/677.05 c current bound: 133 672.58/677.63 c current bound: 133 673.03/678.24 c current bound: 133 673.62/678.82 c current bound: 133 674.20/679.40 c current bound: 133 674.80/679.99 c current bound: 133 675.38/680.58 c current bound: 133 675.98/681.17 c current bound: 133 676.57/681.76 c current bound: 133 677.15/682.34 c current bound: 133 677.75/682.93 c current bound: 133 678.34/683.52 c current bound: 133 679.11/684.10 c current bound: 133 679.50/684.70 c current bound: 133 680.20/685.28 c current bound: 133 680.68/685.86 c current bound: 133 681.41/686.44 c current bound: 133 681.85/687.02 c current bound: 133 682.44/687.66 c current bound: 133 683.03/688.25 c current bound: 133 683.62/688.83 c current bound: 133 684.20/689.41 c current bound: 133 684.80/690.00 c current bound: 133 685.37/690.58 c current bound: 133 685.96/691.17 c current bound: 133 686.54/691.76 c current bound: 133 687.14/692.35 c current bound: 133 687.88/692.94 c current bound: 133 688.32/693.53 c current bound: 133 689.07/694.11 c current bound: 133 689.50/694.69 c current bound: 133 690.17/695.27 c current bound: 133 690.65/695.86 c current bound: 133 691.23/696.44 c current bound: 133 691.82/697.03 c current bound: 133 692.40/697.64 c current bound: 133 692.98/698.23 c current bound: 133 693.57/698.81 c current bound: 133 694.15/699.39 c current bound: 133 694.73/699.97 c current bound: 133 695.31/700.55 c current bound: 133 695.91/701.14 c current bound: 133 696.65/701.72 c current bound: 133 697.07/702.31 c current bound: 133 697.74/702.90 c current bound: 133 698.23/703.47 c current bound: 133 698.95/704.05 c current bound: 133 699.40/704.63 c current bound: 133 699.99/705.22 c current bound: 133 700.58/705.80 c current bound: 133 701.17/706.38 c current bound: 133 701.74/706.97 c current bound: 133 702.35/707.56 c current bound: 133 702.93/708.14 c current bound: 133 703.50/708.72 c current bound: 133 704.10/709.31 c current bound: 133 704.69/709.89 c current bound: 133 705.26/710.48 c current bound: 133 705.83/711.06 c current bound: 133 706.58/711.64 c current bound: 133 707.01/712.37 c current bound: 133 707.60/712.96 c current bound: 133 708.19/713.55 c current bound: 133 708.78/714.13 c current bound: 133 709.36/714.71 c current bound: 133 709.94/715.29 c current bound: 133 710.53/715.89 c current bound: 133 711.11/716.47 c current bound: 133 711.70/717.05 c current bound: 133 712.28/717.64 c current bound: 133 713.03/718.23 c current bound: 133 713.47/718.82 c current bound: 133 714.13/719.40 c current bound: 133 714.62/719.99 c current bound: 133 715.33/720.57 c current bound: 133 715.81/721.15 c current bound: 133 716.38/721.74 c current bound: 133 716.97/722.32 c current bound: 133 717.56/722.91 c current bound: 133 718.14/723.49 c current bound: 133 718.73/724.07 c current bound: 133 719.31/724.66 c current bound: 133 719.89/725.24 c current bound: 133 720.48/725.83 c current bound: 133 721.07/726.41 c current bound: 133 721.65/726.99 c current bound: 133 722.23/727.58 c current bound: 133 722.95/728.16 c current bound: 133 723.41/728.75 c current bound: 133 724.16/729.33 c current bound: 133 724.58/729.91 c current bound: 133 725.26/730.49 c current bound: 133 725.74/731.07 c current bound: 133 726.32/731.65 c current bound: 133 726.91/732.24 c current bound: 133 727.48/732.92 c current bound: 133 728.27/733.50 c current bound: 133 728.67/734.08 c current bound: 133 729.24/734.67 c current bound: 133 729.83/735.25 c current bound: 133 730.58/735.83 c current bound: 133 731.00/736.42 c current bound: 133 731.78/737.01 c current bound: 133 732.17/737.59 c current bound: 133 732.87/738.17 c current bound: 133 733.34/738.76 c current bound: 133 733.92/739.34 c current bound: 133 734.50/739.92 c current bound: 133 735.08/740.50 c current bound: 133 735.66/741.09 c current bound: 133 736.26/741.67 c current bound: 133 736.83/742.25 c current bound: 133 737.43/742.83 c current bound: 133 737.99/743.41 c current bound: 133 738.59/744.00 c current bound: 133 739.16/744.59 c current bound: 133 739.75/745.17 c current bound: 133 740.47/745.75 c current bound: 133 740.90/746.33 c current bound: 133 741.67/746.91 c current bound: 133 742.07/747.49 c current bound: 133 742.76/748.08 c current bound: 133 743.24/748.66 c current bound: 133 743.83/749.24 c current bound: 133 744.41/749.82 c current bound: 133 744.99/750.41 c current bound: 133 745.59/751.00 c current bound: 133 746.18/751.59 c current bound: 133 746.77/752.17 c current bound: 133 747.35/752.75 c current bound: 133 748.10/753.46 c current bound: 133 748.51/754.04 c current bound: 133 749.26/754.62 c current bound: 133 749.69/755.21 c current bound: 133 750.27/755.79 c current bound: 133 750.85/756.38 c current bound: 133 751.43/756.96 c current bound: 133 752.02/757.55 c current bound: 133 752.60/758.15 c current bound: 133 753.20/758.73 c current bound: 133 753.78/759.32 c current bound: 133 754.57/759.90 c current bound: 133 754.95/760.48 c current bound: 133 755.54/761.07 c current bound: 133 756.13/761.66 c current bound: 133 756.86/762.24 c current bound: 133 757.29/762.82 c current bound: 133 758.06/763.65 c current bound: 133 758.48/764.24 c current bound: 133 759.07/764.83 c current bound: 133 759.65/765.41 c current bound: 133 760.42/766.00 c current bound: 133 760.82/766.58 c current bound: 133 761.41/767.16 c current bound: 133 762.13/767.75 c current bound: 133 762.57/768.34 c current bound: 133 763.31/768.93 c current bound: 133 763.75/769.53 c current bound: 133 764.34/770.12 c current bound: 133 764.94/770.71 c current bound: 133 765.73/771.30 c current bound: 133 766.12/771.88 c current bound: 133 766.68/772.46 c current bound: 133 767.27/773.05 c current bound: 133 767.86/773.63 c current bound: 133 768.44/774.21 c current bound: 133 769.02/774.79 c current bound: 133 769.61/775.37 c current bound: 133 770.18/775.96 c current bound: 133 770.91/776.54 c current bound: 133 771.35/777.12 c current bound: 133 772.14/777.71 c current bound: 133 772.73/778.30 c current bound: 133 773.11/778.89 c current bound: 133 773.70/779.47 c current bound: 133 774.30/780.06 c current bound: 133 774.89/780.65 c current bound: 133 775.47/781.23 c current bound: 133 776.07/781.82 c current bound: 133 776.63/782.40 c current bound: 133 777.22/782.98 c current bound: 133 777.80/783.57 c current bound: 133 778.40/784.15 c current bound: 133 778.98/784.74 c current bound: 133 779.72/785.32 c current bound: 133 780.16/785.92 c current bound: 133 780.93/786.51 c current bound: 133 781.33/787.10 c current bound: 133 782.03/787.69 c current bound: 133 782.52/788.27 c current bound: 133 783.11/788.89 c current bound: 133 783.69/789.47 c current bound: 133 784.27/790.05 c current bound: 133 784.85/790.65 c current bound: 133 785.44/791.23 c current bound: 133 786.02/791.81 c current bound: 133 786.81/792.40 c current bound: 133 787.20/792.98 c current bound: 133 787.78/793.57 c current bound: 133 788.50/794.17 c current bound: 133 788.97/794.76 c current bound: 133 789.70/795.34 c current bound: 133 790.14/795.93 c current bound: 133 790.73/796.51 c current bound: 133 791.32/797.10 c current bound: 133 791.90/797.68 c current bound: 133 792.49/798.27 c current bound: 133 793.08/798.85 c current bound: 133 793.66/799.48 c current bound: 133 794.26/800.07 c current bound: 133 794.84/800.66 c current bound: 133 795.43/801.24 c current bound: 133 796.17/801.82 c current bound: 133 796.60/802.41 c current bound: 133 797.27/802.99 c current bound: 133 797.75/803.57 c current bound: 133 798.47/804.15 c current bound: 133 798.93/804.73 c current bound: 133 799.51/805.32 c current bound: 133 800.09/805.90 c current bound: 133 800.67/806.48 c current bound: 133 801.26/807.07 c current bound: 133 801.85/807.66 c current bound: 133 802.43/808.24 c current bound: 133 803.02/808.83 c current bound: 133 803.60/809.42 c current bound: 133 804.19/810.00 c current bound: 133 804.78/810.59 c current bound: 133 805.37/811.18 c current bound: 133 806.09/811.78 c current bound: 133 806.57/812.36 c current bound: 133 807.27/812.94 c current bound: 133 807.73/813.53 c current bound: 133 808.31/814.11 c current bound: 133 808.89/814.69 c current bound: 133 809.47/815.27 c current bound: 133 810.06/815.85 c current bound: 133 810.64/816.43 c current bound: 133 811.24/817.02 c current bound: 133 811.82/817.59 c current bound: 133 812.40/818.18 c current bound: 133 812.98/818.76 c current bound: 133 813.75/819.48 c current bound: 133 814.16/820.07 c current bound: 133 814.89/820.66 c current bound: 133 815.34/821.24 c current bound: 133 815.93/821.83 c current bound: 133 816.52/822.41 c current bound: 133 817.11/823.00 c current bound: 133 817.69/823.58 c current bound: 133 818.28/824.17 c current bound: 133 818.86/824.76 c current bound: 133 819.45/825.34 c current bound: 133 820.03/825.92 c current bound: 133 820.62/826.51 c current bound: 133 821.21/827.09 c current bound: 133 821.80/827.68 c current bound: 133 822.51/828.27 c current bound: 133 822.96/828.85 c current bound: 133 823.73/829.54 c current bound: 133 824.13/830.12 c current bound: 133 824.73/830.71 c current bound: 133 825.51/831.30 c current bound: 133 825.90/831.88 c current bound: 133 826.48/832.46 c current bound: 133 827.07/833.04 c current bound: 133 827.65/833.63 c current bound: 133 828.23/834.21 c current bound: 133 828.82/834.79 c current bound: 133 829.41/835.38 c current bound: 133 830.12/835.97 c current bound: 133 830.59/836.55 c current bound: 133 831.32/837.14 c current bound: 133 831.76/837.73 c current bound: 133 832.34/838.31 c current bound: 133 832.94/838.89 c current bound: 133 833.52/839.47 c current bound: 133 834.11/840.09 c current bound: 133 834.68/840.67 c current bound: 133 835.27/841.25 c current bound: 133 835.85/841.85 c current bound: 133 836.43/842.43 c current bound: 133 837.01/843.01 c current bound: 133 837.59/843.59 c current bound: 133 838.17/844.17 c current bound: 133 838.88/844.76 c current bound: 133 839.35/845.34 c current bound: 133 840.09/845.93 c current bound: 133 840.51/846.51 c current bound: 133 841.09/847.09 c current bound: 133 841.69/847.68 c current bound: 133 842.27/848.26 c current bound: 133 842.86/848.84 c current bound: 133 843.43/849.42 c current bound: 133 844.02/850.00 c current bound: 133 844.60/850.59 c current bound: 133 845.19/851.17 c current bound: 133 845.78/851.76 c current bound: 133 846.36/852.34 c current bound: 133 846.94/852.92 c current bound: 133 847.71/853.50 c current bound: 133 848.10/854.09 c current bound: 133 848.81/854.68 c current bound: 133 849.28/855.30 c current bound: 133 849.88/855.89 c current bound: 133 850.45/856.47 c current bound: 133 851.04/857.06 c current bound: 133 851.63/857.64 c current bound: 133 852.20/858.22 c current bound: 133 852.79/858.80 c current bound: 133 853.37/859.39 c current bound: 133 853.96/859.98 c current bound: 133 854.55/860.56 c current bound: 133 855.13/861.15 c current bound: 133 855.72/861.73 c current bound: 133 856.47/862.31 c current bound: 133 856.89/862.89 c current bound: 133 857.58/863.48 c current bound: 133 858.05/864.06 c current bound: 133 858.77/864.64 c current bound: 133 859.22/865.23 c current bound: 133 859.81/865.81 c current bound: 133 860.38/866.40 c current bound: 133 861.19/867.00 c current bound: 133 861.57/867.58 c current bound: 133 862.15/868.16 c current bound: 133 862.74/868.74 c current bound: 133 863.32/869.33 c current bound: 133 863.91/869.91 c current bound: 133 864.48/870.48 c current bound: 133 865.07/871.06 c current bound: 133 865.65/871.65 c current bound: 133 866.40/872.23 c current bound: 133 866.81/872.81 c current bound: 133 867.49/873.39 c current bound: 133 867.98/873.97 c current bound: 133 868.70/874.55 c current bound: 133 869.15/875.27 c current bound: 133 869.71/875.86 c current bound: 133 870.30/876.44 c current bound: 133 870.88/877.03 c current bound: 133 871.48/877.62 c current bound: 133 872.25/878.20 c current bound: 133 872.64/878.78 c current bound: 133 873.22/879.36 c current bound: 133 873.96/879.94 c current bound: 133 874.40/880.53 c current bound: 133 875.17/881.12 c current bound: 133 875.57/881.70 c current bound: 133 876.18/882.29 c current bound: 133 876.76/882.88 c current bound: 133 877.35/883.46 c current bound: 133 877.92/884.05 c current bound: 133 878.50/884.63 c current bound: 133 879.10/885.22 c current bound: 133 879.88/885.80 c current bound: 133 880.27/886.38 c current bound: 133 880.86/886.97 c current bound: 133 881.46/887.56 c current bound: 133 882.03/888.14 c current bound: 133 882.77/888.72 c current bound: 133 883.19/889.30 c current bound: 133 883.89/889.89 c current bound: 133 884.38/890.48 c current bound: 133 885.08/891.06 c current bound: 133 885.55/891.64 c current bound: 133 886.13/892.22 c current bound: 133 886.71/892.81 c current bound: 133 887.50/893.40 c current bound: 133 887.89/893.99 c current bound: 133 888.49/894.57 c current bound: 133 889.06/895.15 c current bound: 133 889.65/895.90 c current bound: 133 890.34/896.49 c current bound: 133 890.81/897.07 c current bound: 133 891.54/897.65 c current bound: 133 891.98/898.24 c current bound: 133 892.57/898.82 c current bound: 133 893.35/899.40 c current bound: 133 893.74/899.98 c current bound: 133 894.32/900.57 c current bound: 133 894.91/901.18 c current bound: 133 895.50/901.76 c current bound: 133 896.09/902.35 c current bound: 133 896.68/902.94 c current bound: 133 897.28/903.53 c current bound: 133 898.04/904.11 c current bound: 133 898.44/904.69 c current bound: 133 899.15/905.28 c current bound: 133 899.61/906.07 c current bound: 133 900.19/906.65 c current bound: 133 900.77/907.23 c current bound: 133 901.36/907.82 c current bound: 133 901.95/908.40 c current bound: 133 902.53/908.99 c current bound: 133 903.11/909.57 c current bound: 133 903.70/910.15 c current bound: 133 904.43/910.73 c current bound: 133 904.85/911.32 c current bound: 133 905.63/911.91 c current bound: 133 906.02/912.49 c current bound: 133 906.73/913.08 c current bound: 133 907.21/913.67 c current bound: 133 907.80/914.26 c current bound: 133 908.38/914.84 c current bound: 133 908.96/915.43 c current bound: 133 909.55/916.01 c current bound: 133 910.14/916.60 c current bound: 133 910.73/917.18 c current bound: 133 911.31/917.77 c current bound: 133 911.89/918.36 c current bound: 133 912.50/918.95 c current bound: 133 913.23/919.54 c current bound: 133 913.68/920.13 c current bound: 133 914.43/920.71 c current bound: 133 914.85/921.29 c current bound: 133 915.53/921.89 c current bound: 133 916.02/922.47 c current bound: 133 916.62/923.07 c current bound: 133 917.20/923.66 c current bound: 133 917.79/924.24 c current bound: 133 918.37/924.82 c current bound: 133 918.95/925.40 c current bound: 133 919.55/925.99 c current bound: 133 920.13/926.57 c current bound: 133 920.72/927.16 c current bound: 133 921.30/927.74 c current bound: 133 922.04/928.32 c current bound: 133 922.47/928.91 c current bound: 133 923.15/929.50 c current bound: 133 923.65/930.09 c current bound: 133 924.35/930.67 c current bound: 133 924.84/931.27 c current bound: 133 925.42/931.86 c current bound: 133 926.02/932.45 c current bound: 133 926.61/933.03 c current bound: 133 927.19/933.62 c current bound: 133 927.77/934.21 c current bound: 133 928.36/934.79 c current bound: 133 928.95/935.37 c current bound: 133 929.53/935.96 c current bound: 133 930.12/936.54 c current bound: 133 930.86/937.12 c current bound: 133 931.29/937.71 c current bound: 133 931.96/938.30 c current bound: 133 932.44/938.88 c current bound: 133 933.17/939.45 c current bound: 133 933.64/940.05 c current bound: 133 934.21/940.63 c current bound: 133 934.81/941.22 c current bound: 133 935.39/941.81 c current bound: 133 935.98/942.39 c current bound: 133 936.57/942.97 c current bound: 133 937.16/943.57 c current bound: 133 937.75/944.16 c current bound: 133 938.34/944.74 c current bound: 133 938.91/945.32 c current bound: 133 939.69/945.91 c current bound: 133 940.28/946.50 c current bound: 133 940.86/947.21 c current bound: 133 941.27/947.79 c current bound: 133 941.85/948.37 c current bound: 133 942.44/948.97 c current bound: 133 943.03/949.55 c current bound: 133 943.61/950.13 c current bound: 133 944.19/950.71 c current bound: 133 944.98/951.30 c current bound: 133 945.36/951.89 c current bound: 133 945.97/952.48 c current bound: 133 946.55/953.07 c current bound: 133 947.27/953.65 c current bound: 133 947.72/954.23 c current bound: 133 948.47/954.82 c current bound: 133 949.07/955.40 c current bound: 133 949.57/955.98 c current bound: 133 950.04/956.56 c current bound: 133 950.63/957.15 c current bound: 133 951.23/957.73 c current bound: 133 951.80/958.32 c current bound: 133 952.38/958.90 c current bound: 133 952.98/959.48 c current bound: 133 953.56/960.07 c current bound: 133 954.15/960.66 c current bound: 133 954.73/961.24 c current bound: 133 955.31/961.83 c current bound: 133 956.07/962.41 c current bound: 133 956.69/963.00 c current bound: 133 957.18/963.59 c current bound: 133 957.65/964.17 c current bound: 133 958.39/964.75 c current bound: 133 958.84/965.34 c current bound: 133 959.44/965.94 c current bound: 133 960.01/966.52 c current bound: 133 960.60/967.11 c current bound: 133 961.19/967.83 c current bound: 133 961.77/968.41 c current bound: 133 962.37/968.99 c current bound: 133 962.95/969.57 c current bound: 133 963.65/970.16 c current bound: 133 964.12/970.74 c current bound: 133 964.86/971.33 c current bound: 133 965.28/971.91 c current bound: 133 965.87/972.49 c current bound: 133 966.46/973.08 c current bound: 133 967.06/973.68 c current bound: 133 967.64/974.26 c current bound: 133 968.23/974.85 c current bound: 133 968.82/975.44 c current bound: 133 969.39/976.02 c current bound: 133 969.98/976.60 c current bound: 133 970.57/977.19 c current bound: 133 971.15/977.78 c current bound: 133 971.76/978.37 c current bound: 133 972.46/978.95 c current bound: 133 972.92/979.53 c current bound: 133 973.68/980.11 c current bound: 133 974.09/980.70 c current bound: 133 974.77/981.29 c current bound: 133 975.27/981.87 c current bound: 133 975.86/982.45 c current bound: 133 976.43/983.23 c current bound: 133 977.02/983.83 c current bound: 133 977.80/984.41 c current bound: 133 978.19/984.99 c current bound: 133 978.89/985.58 c current bound: 133 979.36/986.16 c current bound: 133 980.10/986.75 c current bound: 133 980.54/987.33 c current bound: 133 981.14/987.92 c current bound: 133 981.71/988.50 c current bound: 133 982.29/989.09 c current bound: 133 982.89/989.68 c current bound: 133 983.46/990.27 c current bound: 133 984.06/990.85 c current bound: 133 984.64/991.44 c current bound: 133 985.22/992.02 c current bound: 133 985.82/992.62 c current bound: 133 986.59/993.39 c current bound: 133 987.00/993.98 c current bound: 133 987.59/994.56 c current bound: 133 988.17/995.14 c current bound: 133 988.77/995.74 c current bound: 133 989.36/996.32 c current bound: 133 989.94/996.91 c current bound: 133 990.52/997.49 c current bound: 133 991.11/998.08 c current bound: 133 991.71/998.66 c current bound: 133 992.30/999.25 c current bound: 133 993.03/999.84 c current bound: 133 993.46/1000.42 c current bound: 133 994.22/1001.01 c current bound: 133 994.62/1001.59 c current bound: 133 995.34/1002.17 c current bound: 133 995.80/1002.75 c current bound: 133 996.37/1003.51 c current bound: 133 996.97/1004.09 c current bound: 133 997.55/1004.68 c current bound: 133 998.14/1005.26 c current bound: 133 998.72/1005.85 c current bound: 133 999.46/1006.44 c current bound: 133 999.89/1007.02 c current bound: 133 1000.57/1007.60 c current bound: 133 1001.06/1008.19 c current bound: 133 1001.76/1008.78 c current bound: 133 1002.24/1009.37 c current bound: 133 1002.84/1009.95 c current bound: 133 1003.42/1010.54 c current bound: 133 1004.01/1011.13 c current bound: 133 1004.59/1011.71 c current bound: 133 1005.18/1012.29 c current bound: 133 1005.76/1012.88 c current bound: 133 1006.34/1013.51 c current bound: 133 1006.94/1014.09 c current bound: 133 1007.51/1014.68 c current bound: 133 1008.23/1015.26 c current bound: 133 1008.69/1015.84 c current bound: 133 1009.43/1016.43 c current bound: 133 1009.85/1017.01 c current bound: 133 1010.45/1017.60 c current bound: 133 1011.02/1018.18 c current bound: 133 1011.61/1018.76 c current bound: 133 1012.19/1019.35 c current bound: 133 1012.78/1019.94 c current bound: 133 1013.36/1020.51 c current bound: 133 1013.93/1021.09 c current bound: 133 1014.53/1021.68 c current bound: 133 1015.11/1022.26 c current bound: 133 1015.70/1022.86 c current bound: 133 1016.29/1023.44 c current bound: 133 1017.00/1024.07 c current bound: 133 1017.47/1024.66 c current bound: 133 1018.21/1025.24 c current bound: 133 1018.64/1025.83 c current bound: 133 1019.22/1026.41 c current bound: 133 1019.81/1026.99 c current bound: 133 1020.39/1027.58 c current bound: 133 1020.98/1028.17 c current bound: 133 1021.57/1028.76 c current bound: 133 1022.15/1029.35 c current bound: 133 1022.75/1029.94 c current bound: 133 1023.34/1030.52 c current bound: 133 1023.92/1031.11 c current bound: 133 1024.50/1031.69 c current bound: 133 1025.09/1032.28 c current bound: 133 1025.79/1032.86 c current bound: 133 1026.27/1033.44 c current bound: 133 1027.01/1034.03 c current bound: 133 1027.43/1034.61 c current bound: 133 1028.03/1035.19 c current bound: 133 1028.61/1035.78 c current bound: 133 1029.19/1036.36 c current bound: 133 1029.77/1036.94 c current bound: 133 1030.36/1037.53 c current bound: 133 1030.94/1038.11 c current bound: 133 1031.53/1038.69 c current bound: 133 1032.10/1039.27 c current bound: 133 1032.68/1039.86 c current bound: 133 1033.28/1040.45 c current bound: 133 1033.86/1041.03 c current bound: 133 1034.62/1041.61 c current bound: 133 1035.02/1042.19 c current bound: 133 1035.71/1042.77 c current bound: 133 1036.20/1043.36 c current bound: 133 1036.96/1044.08 c current bound: 133 1037.37/1044.68 c current bound: 133 1037.97/1045.27 c current bound: 133 1038.55/1045.85 c current bound: 133 1039.14/1046.44 c current bound: 133 1039.73/1047.03 c current bound: 133 1040.31/1047.61 c current bound: 133 1040.90/1048.19 c current bound: 133 1041.48/1048.78 c current bound: 133 1042.19/1049.36 c current bound: 133 1042.65/1049.95 c current bound: 133 1043.40/1050.54 c current bound: 133 1043.82/1051.12 c current bound: 133 1044.61/1051.70 c current bound: 133 1045.01/1052.29 c current bound: 133 1045.58/1052.87 c current bound: 133 1046.17/1053.46 c current bound: 133 1046.76/1054.04 c current bound: 133 1047.34/1054.62 c current bound: 133 1047.92/1055.20 c current bound: 133 1048.50/1055.78 c current bound: 133 1049.09/1056.37 c current bound: 133 1049.69/1056.96 c current bound: 133 1050.25/1057.55 c current bound: 133 1051.01/1058.13 c current bound: 133 1051.44/1058.72 c current bound: 133 1052.10/1059.30 c current bound: 133 1052.61/1059.89 c current bound: 133 1053.30/1060.48 c current bound: 133 1053.79/1061.06 c current bound: 133 1054.38/1061.65 c current bound: 133 1054.96/1062.23 c current bound: 133 1055.55/1062.82 c current bound: 133 1056.14/1063.40 c current bound: 133 1056.70/1063.98 c current bound: 133 1057.28/1064.67 c current bound: 133 1057.87/1065.25 c current bound: 133 1058.61/1065.83 c current bound: 133 1059.04/1066.42 c current bound: 133 1059.72/1067.00 c current bound: 133 1060.22/1067.58 c current bound: 133 1060.91/1068.17 c current bound: 133 1061.38/1068.76 c current bound: 133 1061.98/1069.34 c current bound: 133 1062.55/1069.93 c current bound: 133 1063.15/1070.52 c current bound: 133 1063.92/1071.10 c current bound: 133 1064.30/1071.69 c current bound: 133 1064.90/1072.27 c current bound: 133 1065.49/1072.86 c current bound: 133 1066.08/1073.45 c current bound: 133 1066.66/1074.04 c current bound: 133 1067.44/1074.77 c current bound: 133 1067.84/1075.36 c current bound: 133 1068.42/1075.94 c current bound: 133 1069.01/1076.53 c current bound: 133 1069.61/1077.12 c current bound: 133 1070.38/1077.70 c current bound: 133 1070.77/1078.28 c current bound: 133 1071.36/1078.86 c current bound: 133 1071.94/1079.45 c current bound: 133 1072.52/1080.03 c current bound: 133 1073.10/1080.62 c current bound: 133 1074.06/1081.21 c current bound: 133 1074.47/1081.80 c current bound: 133 1074.96/1082.38 c current bound: 133 1075.45/1082.97 c current bound: 133 1076.16/1083.55 c current bound: 133 1076.62/1084.14 c current bound: 133 1077.21/1084.73 c current bound: 133 1077.79/1085.36 c current bound: 133 1078.37/1085.95 c current bound: 133 1078.96/1086.54 c current bound: 133 1079.56/1087.12 c current bound: 133 1080.14/1087.71 c current bound: 133 1080.72/1088.29 c current bound: 133 1081.29/1088.87 c current bound: 133 1081.89/1089.46 c current bound: 133 1082.61/1090.04 c current bound: 133 1083.06/1090.63 c current bound: 133 1083.82/1091.22 c current bound: 133 1084.43/1091.80 c current bound: 133 1084.91/1092.38 c current bound: 133 1085.39/1092.97 c current bound: 133 1085.98/1093.55 c current bound: 133 1086.57/1094.13 c current bound: 133 1087.14/1094.72 c current bound: 133 1087.92/1095.30 c current bound: 133 1088.32/1095.88 c current bound: 133 1088.91/1096.47 c current bound: 133 1089.49/1097.06 c current bound: 133 1090.10/1097.65 c current bound: 133 1090.68/1098.24 c current bound: 133 1091.43/1098.83 c current bound: 133 1091.87/1099.41 c current bound: 133 1092.50/1100.00 c current bound: 133 1093.02/1100.59 c current bound: 133 1093.73/1101.17 c current bound: 133 1094.19/1101.76 c current bound: 133 1094.77/1102.34 c current bound: 133 1095.35/1102.92 c current bound: 133 1095.94/1103.51 c current bound: 133 1096.54/1104.11 c current bound: 133 1097.13/1104.69 c current bound: 133 1097.72/1105.28 c current bound: 133 1098.30/1105.87 c current bound: 133 1098.89/1106.45 c current bound: 133 1099.47/1107.03 c current bound: 133 1100.20/1107.62 c current bound: 133 1100.64/1108.21 c current bound: 133 1101.32/1108.80 c current bound: 133 1101.82/1109.39 c current bound: 133 1102.53/1109.97 c current bound: 133 1102.99/1110.56 c current bound: 133 1103.58/1111.14 c current bound: 133 1104.17/1111.72 c current bound: 133 1104.75/1112.31 c current bound: 133 1105.33/1112.89 c current bound: 133 1105.92/1113.49 c current bound: 133 1106.52/1114.08 c current bound: 133 1107.11/1114.67 c current bound: 133 1107.89/1115.34 c current bound: 133 1108.28/1115.92 c current bound: 133 1109.06/1116.51 c current bound: 133 1109.46/1117.09 c current bound: 133 1110.15/1117.68 c current bound: 133 1110.81/1118.30 c current bound: 133 1111.20/1118.88 c current bound: 133 1111.79/1119.46 c current bound: 133 1112.37/1120.05 c current bound: 133 1112.95/1120.63 c current bound: 133 1113.55/1121.23 c current bound: 133 1114.13/1121.82 c current bound: 133 1114.72/1122.40 c current bound: 133 1115.30/1122.98 c current bound: 133 1115.90/1123.57 c current bound: 133 1116.61/1124.16 c current bound: 133 1117.07/1124.75 c current bound: 133 1117.81/1125.34 c current bound: 133 1118.24/1125.96 c current bound: 133 1118.83/1126.54 c current bound: 133 1119.41/1127.13 c current bound: 133 1120.00/1127.71 c current bound: 133 1120.58/1128.29 c current bound: 133 1121.16/1128.87 c current bound: 133 1121.74/1129.46 c current bound: 133 1122.34/1130.05 c current bound: 133 1122.91/1130.63 c current bound: 133 1123.50/1131.21 c current bound: 133 1124.27/1131.81 c current bound: 133 1124.66/1132.39 c current bound: 133 1125.36/1132.97 c current bound: 133 1125.83/1133.56 c current bound: 133 1126.56/1134.14 c current bound: 133 1127.01/1134.72 c current bound: 133 1127.60/1135.32 c current bound: 133 1128.38/1135.90 c current bound: 133 1128.77/1136.49 c current bound: 133 1129.37/1137.08 c current bound: 133 1129.95/1137.67 c current bound: 133 1130.55/1138.26 c current bound: 133 1131.13/1138.84 c current bound: 133 1131.72/1139.43 c current bound: 133 1132.31/1140.01 c current bound: 133 1132.89/1140.60 c current bound: 133 1133.49/1141.19 c current bound: 133 1134.18/1141.78 c current bound: 133 1134.65/1142.37 c current bound: 133 1135.38/1142.96 c current bound: 133 1135.84/1143.55 c current bound: 133 1136.42/1144.13 c current bound: 133 1137.02/1144.72 c current bound: 133 1137.59/1145.30 c current bound: 133 1138.18/1145.99 c current bound: 133 1138.76/1146.58 c current bound: 133 1139.36/1147.17 c current bound: 133 1139.94/1147.75 c current bound: 133 1140.69/1148.34 c current bound: 133 1141.13/1148.93 c current bound: 133 1141.88/1149.53 c current bound: 133 1142.32/1150.12 c current bound: 133 1142.92/1150.70 c current bound: 133 1143.49/1151.29 c current bound: 133 1144.08/1151.87 c current bound: 133 1144.67/1152.47 c current bound: 133 1145.27/1153.06 c current bound: 133 1145.86/1153.64 c current bound: 133 1146.46/1154.23 c current bound: 133 1147.03/1154.81 c current bound: 133 1147.63/1155.40 c current bound: 133 1148.37/1156.10 c current bound: 133 1148.78/1156.68 c current bound: 133 1149.47/1157.27 c current bound: 133 1149.95/1157.85 c current bound: 133 1150.54/1158.43 c current bound: 133 1151.11/1159.01 c current bound: 133 1151.89/1159.60 c current bound: 133 1152.28/1160.18 c current bound: 133 1152.86/1160.76 c current bound: 133 1153.44/1161.34 c current bound: 133 1154.03/1161.93 c current bound: 133 1154.60/1162.51 c current bound: 133 1155.40/1163.10 c current bound: 133 1155.78/1163.68 c current bound: 133 1156.36/1164.26 c current bound: 133 1157.09/1164.84 c current bound: 133 1157.53/1165.43 c current bound: 133 1158.30/1166.01 c current bound: 133 1158.71/1166.59 c current bound: 133 1159.40/1167.18 c current bound: 133 1159.88/1167.76 c current bound: 133 1160.46/1168.35 c current bound: 133 1161.05/1168.93 c current bound: 133 1161.62/1169.51 c current bound: 133 1162.21/1170.09 c current bound: 133 1162.79/1170.67 c current bound: 133 1163.38/1171.26 c current bound: 133 1163.97/1171.84 c current bound: 133 1164.55/1172.43 c current bound: 133 1165.14/1173.01 c current bound: 133 1165.72/1173.60 c current bound: 133 1166.30/1174.18 c current bound: 133 1167.03/1174.77 c current bound: 133 1167.48/1175.36 c current bound: 133 1168.23/1175.94 c current bound: 133 1168.67/1176.53 c current bound: 133 1169.24/1177.15 c current bound: 133 1169.84/1177.73 c current bound: 133 1170.42/1178.31 c current bound: 133 1171.01/1178.90 c current bound: 133 1171.58/1179.48 c current bound: 133 1172.17/1180.07 c current bound: 133 1172.75/1180.65 c current bound: 133 1173.33/1181.23 c current bound: 133 1173.92/1181.82 c current bound: 133 1174.50/1182.40 c current bound: 133 1175.08/1182.99 c current bound: 133 1175.78/1183.58 c current bound: 133 1176.26/1184.17 c current bound: 133 1176.99/1184.76 c current bound: 133 1177.44/1185.34 c current bound: 133 1178.03/1185.93 c current bound: 133 1178.60/1186.52 c current bound: 133 1179.20/1187.10 c current bound: 133 1179.79/1187.69 c current bound: 133 1180.38/1188.27 c current bound: 133 1180.95/1188.85 c current bound: 133 1181.52/1189.43 c current bound: 133 1182.11/1190.01 c current bound: 133 1182.89/1190.60 c current bound: 133 1183.27/1191.18 c current bound: 133 1183.87/1191.77 c current bound: 133 1184.60/1192.35 c current bound: 133 1185.03/1192.93 c current bound: 133 1185.79/1193.52 c current bound: 133 1186.20/1194.11 c current bound: 133 1186.98/1194.70 c current bound: 133 1187.36/1195.28 c current bound: 133 1187.95/1195.86 c current bound: 133 1188.53/1196.44 c current bound: 133 1189.13/1197.17 c current bound: 133 1189.72/1197.76 c current bound: 133 1190.31/1198.35 c current bound: 133 1191.05/1198.93 c current bound: 133 1191.47/1199.51 c current bound: 133 1192.14/1200.09 c current bound: 133 1192.64/1200.67 c current bound: 133 1193.34/1201.25 c current bound: 133 1193.79/1201.84 c current bound: 133 1194.38/1202.42 c current bound: 133 1194.96/1203.01 c current bound: 133 1195.55/1203.59 c current bound: 133 1196.14/1204.17 c current bound: 133 1196.70/1204.75 c current bound: 133 1197.29/1205.33 c current bound: 133 1197.88/1205.91 c current bound: 133 1198.48/1206.50 c current bound: 133 1199.05/1207.08 c current bound: 133 1199.63/1207.67 c current bound: 133 1200.23/1208.26 c current bound: 133 1200.95/1208.84 c current bound: 133 1201.39/1209.42 c current bound: 133 1202.16/1210.00 c current bound: 133 1202.55/1210.58 c current bound: 133 1203.27/1211.16 c current bound: 133 1203.72/1211.75 c current bound: 133 1204.31/1212.33 c current bound: 133 1204.89/1212.91 c current bound: 133 1205.49/1213.50 c current bound: 133 1206.07/1214.08 c current bound: 133 1206.65/1214.67 c current bound: 133 1207.25/1215.25 c current bound: 133 1207.83/1215.83 c current bound: 133 1208.40/1216.42 c current bound: 133 1208.99/1217.00 c current bound: 133 1209.74/1217.64 c current bound: 133 1210.15/1218.23 c current bound: 133 1210.91/1218.81 c current bound: 133 1211.32/1219.39 c current bound: 133 1212.01/1219.97 c current bound: 133 1212.49/1220.55 c current bound: 133 1213.06/1221.13 c current bound: 133 1213.64/1221.72 c current bound: 133 1214.23/1222.30 c current bound: 133 1214.82/1222.88 c current bound: 133 1215.40/1223.47 c current bound: 133 1216.00/1224.06 c current bound: 133 1216.57/1224.65 c current bound: 133 1217.17/1225.23 c current bound: 133 1217.75/1225.82 c current bound: 133 1218.34/1226.40 c current bound: 133 1218.91/1226.98 c current bound: 133 1219.62/1227.57 c current bound: 133 1220.08/1228.22 c current bound: 133 1220.87/1228.80 c current bound: 133 1221.25/1229.38 c current bound: 133 1221.86/1229.97 c current bound: 133 1222.44/1230.55 c current bound: 133 1223.02/1231.14 c current bound: 133 1223.59/1231.72 c current bound: 133 1224.39/1232.30 c current bound: 133 1224.77/1232.89 c current bound: 133 1225.36/1233.47 c current bound: 133 1225.94/1234.06 c current bound: 133 1226.53/1234.64 c current bound: 133 1227.28/1235.22 c current bound: 133 1227.70/1235.82 c current bound: 133 1228.38/1236.40 c current bound: 133 1228.87/1236.99 c current bound: 133 1229.58/1237.58 c current bound: 133 1230.05/1238.16 c current bound: 133 1230.64/1238.74 c current bound: 133 1231.23/1239.33 c current bound: 133 1231.81/1239.92 c current bound: 133 1232.41/1240.50 c current bound: 133 1232.98/1241.08 c current bound: 133 1233.58/1241.67 c current bound: 133 1234.17/1242.26 c current bound: 133 1234.76/1242.85 c current bound: 133 1235.33/1243.43 c current bound: 133 1236.10/1244.01 c current bound: 133 1236.70/1244.60 c current bound: 133 1237.20/1245.18 c current bound: 133 1237.68/1245.76 c current bound: 133 1238.41/1246.35 c current bound: 133 1238.85/1246.93 c current bound: 133 1239.43/1247.52 c current bound: 133 1240.22/1248.20 c current bound: 133 1240.60/1248.79 c current bound: 133 1241.19/1249.37 c current bound: 133 1241.77/1249.95 c current bound: 133 1242.35/1250.53 c current bound: 133 1242.94/1251.12 c current bound: 133 1243.71/1251.71 c current bound: 133 1244.12/1252.29 c current bound: 133 1244.82/1252.88 c current bound: 133 1245.28/1253.46 c current bound: 133 1246.03/1254.06 c current bound: 133 1246.47/1254.63 c current bound: 133 1247.04/1255.22 c current bound: 133 1247.64/1255.80 c current bound: 133 1248.22/1256.38 c current bound: 133 1248.82/1256.97 c current bound: 133 1249.38/1257.57 c current bound: 133 1250.20/1258.21 c current bound: 133 1250.59/1258.85 c current bound: 133 1251.32/1259.43 c current bound: 133 1251.76/1260.02 c current bound: 133 1252.43/1260.60 c current bound: 133 1252.93/1261.19 c current bound: 133 1253.63/1261.77 c current bound: 133 1254.10/1262.36 c current bound: 133 1254.68/1262.94 c current bound: 133 1255.26/1263.53 c current bound: 133 1255.87/1264.12 c current bound: 133 1256.44/1264.70 c current bound: 133 1257.03/1265.29 c current bound: 133 1257.62/1265.87 c current bound: 133 1258.20/1266.46 c current bound: 133 1258.81/1267.05 c current bound: 133 1259.39/1267.64 c current bound: 133 1260.13/1268.22 c current bound: 133 1260.55/1268.85 c current bound: 133 1261.30/1269.43 c current bound: 133 1261.73/1270.01 c current bound: 133 1262.33/1270.60 c current bound: 133 1262.90/1271.19 c current bound: 133 1263.50/1271.77 c current bound: 133 1264.07/1272.35 c current bound: 133 1264.66/1272.95 c current bound: 133 1265.24/1273.53 c current bound: 133 1265.83/1274.11 c current bound: 133 1266.61/1274.70 c current bound: 133 1267.01/1275.29 c current bound: 133 1267.61/1275.88 c current bound: 133 1268.18/1276.47 c current bound: 133 1268.91/1277.06 c current bound: 133 1269.36/1277.64 c current bound: 133 1270.11/1278.23 c current bound: 133 1270.54/1278.81 c current bound: 133 1271.32/1279.40 c current bound: 133 1271.71/1279.99 c current bound: 133 1272.30/1280.57 c current bound: 133 1272.87/1281.15 c current bound: 133 1273.45/1281.74 c current bound: 133 1274.05/1282.33 c current bound: 133 1274.62/1282.91 c current bound: 133 1275.21/1283.58 c current bound: 133 1275.81/1284.17 c current bound: 133 1276.54/1284.75 c current bound: 133 1276.99/1285.34 c current bound: 133 1277.73/1285.92 c current bound: 133 1278.16/1286.50 c current bound: 133 1278.82/1287.09 c current bound: 133 1279.33/1287.67 c current bound: 133 1279.92/1288.26 c current bound: 133 1280.49/1288.84 c current bound: 133 1281.08/1289.43 c current bound: 133 1281.68/1290.02 c current bound: 133 1282.25/1290.60 c current bound: 133 1282.85/1291.18 c current bound: 133 1283.42/1291.77 c current bound: 133 1284.01/1292.36 c current bound: 133 1284.61/1292.95 c current bound: 133 1285.38/1293.65 c current bound: 133 1285.79/1294.23 c current bound: 133 1286.38/1294.82 c current bound: 133 1287.16/1295.40 c current bound: 133 1287.56/1295.99 c current bound: 133 1288.13/1296.57 c current bound: 133 1288.71/1297.15 c current bound: 133 1289.29/1297.73 c current bound: 133 1289.87/1298.32 c current bound: 133 1290.65/1298.90 c current bound: 133 1291.05/1299.48 c current bound: 133 1291.63/1300.07 c current bound: 133 1292.23/1300.65 c current bound: 133 1292.95/1301.24 c current bound: 133 1293.40/1301.83 c current bound: 133 1294.15/1302.42 c current bound: 133 1294.58/1303.01 c current bound: 133 1295.26/1303.59 c current bound: 133 1295.74/1304.17 c current bound: 133 1296.32/1304.75 c current bound: 133 1296.91/1305.33 c current bound: 133 1297.50/1305.92 c current bound: 133 1298.07/1306.51 c current bound: 133 1298.67/1307.09 c current bound: 133 1299.25/1307.67 c current bound: 133 1299.84/1308.26 c current bound: 133 1300.60/1309.05 c current bound: 133 1301.00/1309.63 c current bound: 133 1301.58/1310.21 c current bound: 133 1302.16/1310.79 c current bound: 133 1302.75/1311.38 c current bound: 133 1303.34/1311.96 c current bound: 133 1303.91/1312.54 c current bound: 133 1304.51/1313.13 c current bound: 133 1305.10/1313.72 c current bound: 133 1305.68/1314.30 c current bound: 133 1306.25/1314.88 c current bound: 133 1306.85/1315.46 c current bound: 133 1307.43/1316.04 c current bound: 133 1308.16/1316.62 c current bound: 133 1308.59/1317.21 c current bound: 133 1309.27/1317.79 c current bound: 133 1309.76/1318.37 c current bound: 133 1310.53/1319.09 c current bound: 133 1310.93/1319.68 c current bound: 133 1311.53/1320.26 c current bound: 133 1312.10/1320.84 c current bound: 133 1312.68/1321.43 c current bound: 133 1313.26/1322.01 c current bound: 133 1313.85/1322.60 c current bound: 133 1314.44/1323.19 c current bound: 133 1315.03/1323.77 c current bound: 133 1315.74/1324.36 c current bound: 133 1316.20/1324.95 c current bound: 133 1316.95/1325.53 c current bound: 133 1317.37/1326.11 c current bound: 133 1318.04/1326.68 c current bound: 133 1318.53/1327.27 c current bound: 133 1319.11/1327.85 c current bound: 133 1319.70/1328.43 c current bound: 133 1320.28/1329.06 c current bound: 133 1320.85/1329.65 c current bound: 133 1321.45/1330.23 c current bound: 133 1322.03/1330.82 c current bound: 133 1322.62/1331.40 c current bound: 133 1323.21/1331.98 c current bound: 133 1323.77/1332.56 c current bound: 133 1324.51/1333.15 c current bound: 133 1324.95/1333.73 c current bound: 133 1325.70/1334.31 c current bound: 133 1326.32/1334.90 c current bound: 133 1326.81/1335.48 c current bound: 133 1327.30/1336.07 c current bound: 133 1327.90/1336.66 c current bound: 133 1328.73/1337.30 c current bound: 133 1329.11/1337.88 c current bound: 133 1329.69/1338.47 c current bound: 133 1330.29/1339.06 c current bound: 133 1330.89/1339.66 c current bound: 133 1331.46/1340.24 c current bound: 133 1332.22/1340.82 c current bound: 133 1332.64/1341.42 c current bound: 133 1333.32/1342.00 c current bound: 133 1333.81/1342.59 c current bound: 133 1334.52/1343.17 c current bound: 133 1334.99/1343.76 c current bound: 133 1335.58/1344.35 c current bound: 133 1336.16/1344.93 c current bound: 133 1336.74/1345.51 c current bound: 133 1337.32/1346.09 c current bound: 133 1337.90/1346.68 c current bound: 133 1338.50/1347.26 c current bound: 133 1339.08/1347.84 c current bound: 133 1339.66/1348.42 c current bound: 133 1340.25/1349.00 c current bound: 133 1340.83/1349.59 c current bound: 133 1341.41/1350.17 c current bound: 133 1342.12/1350.76 c current bound: 133 1342.59/1351.35 c current bound: 133 1343.32/1351.94 c current bound: 133 1343.76/1352.52 c current bound: 133 1344.34/1353.10 c current bound: 133 1344.93/1353.69 c current bound: 133 1345.52/1354.37 c current bound: 133 1346.11/1354.96 c current bound: 133 1346.69/1355.54 c current bound: 133 1347.27/1356.12 c current bound: 133 1347.85/1356.70 c current bound: 133 1348.43/1357.28 c current bound: 133 1349.01/1357.86 c current bound: 133 1349.74/1358.45 c current bound: 133 1350.19/1359.04 c current bound: 133 1350.93/1359.62 c current bound: 133 1351.36/1360.21 c current bound: 133 1352.13/1360.80 c current bound: 133 1352.52/1361.38 c current bound: 133 1353.12/1361.97 c current bound: 133 1353.71/1362.56 c current bound: 133 1354.48/1363.22 c current bound: 133 1354.88/1363.81 c current bound: 133 1355.46/1364.51 c current bound: 133 1356.13/1365.10 c current bound: 133 1356.63/1365.67 c current bound: 133 1357.34/1366.26 c current bound: 133 1357.81/1366.85 c current bound: 133 1358.39/1367.44 c current bound: 133 1358.99/1368.03 c current bound: 133 1359.56/1368.61 c current bound: 133 1360.14/1369.19 c current bound: 133 1360.74/1369.78 c current bound: 133 1361.33/1370.37 c current bound: 133 1361.91/1370.96 c current bound: 133 1362.50/1371.55 c current bound: 133 1363.10/1372.14 c current bound: 133 1363.85/1372.72 c current bound: 133 1364.26/1373.30 c current bound: 133 1364.95/1373.88 c current bound: 133 1365.42/1374.46 c current bound: 133 1366.10/1375.09 c current bound: 133 1366.59/1375.68 c current bound: 133 1367.19/1376.26 c current bound: 133 1367.78/1376.84 c current bound: 133 1368.35/1377.43 c current bound: 133 1368.95/1378.02 c current bound: 133 1369.53/1378.61 c current bound: 133 1370.12/1379.19 c current bound: 133 1370.71/1379.78 c current bound: 133 1371.29/1380.36 c current bound: 133 1371.89/1380.95 c current bound: 133 1372.61/1381.53 c current bound: 133 1373.05/1382.11 c current bound: 133 1373.72/1382.70 c current bound: 133 1374.22/1383.28 c current bound: 133 1374.91/1383.87 c current bound: 133 1375.39/1384.46 c current bound: 133 1375.98/1385.05 c current bound: 133 1376.57/1385.64 c current bound: 133 1377.15/1386.23 c current bound: 133 1377.75/1386.81 c current bound: 133 1378.33/1387.39 c current bound: 133 1378.91/1387.98 c current bound: 133 1379.50/1388.56 c current bound: 133 1380.09/1389.15 c current bound: 133 1380.67/1389.83 c current bound: 133 1381.42/1390.42 c current bound: 133 1381.85/1391.02 c current bound: 133 1382.43/1391.60 c current bound: 133 1383.02/1392.19 c current bound: 133 1383.61/1392.78 c current bound: 133 1384.20/1393.36 c current bound: 133 1384.78/1393.95 c current bound: 133 1385.38/1394.54 c current bound: 133 1385.96/1395.13 c current bound: 133 1386.56/1395.71 c current bound: 133 1387.14/1396.30 c current bound: 133 1387.73/1396.89 c current bound: 133 1388.33/1397.48 c current bound: 133 1389.02/1398.07 c current bound: 133 1389.50/1398.66 c current bound: 133 1390.23/1399.24 c current bound: 133 1390.67/1399.82 c current bound: 133 1391.25/1400.40 c current bound: 133 1391.84/1400.98 c current bound: 133 1392.40/1401.56 c current bound: 133 1392.99/1402.14 c current bound: 133 1393.57/1402.72 c current bound: 133 1394.16/1403.31 c current bound: 133 1394.95/1403.90 c current bound: 133 1395.34/1404.49 c current bound: 133 1395.93/1405.08 c current bound: 133 1396.51/1405.66 c current bound: 133 1397.09/1406.24 c current bound: 133 1397.84/1406.83 c current bound: 133 1398.26/1407.41 c current bound: 133 1399.05/1408.01 c current bound: 133 1399.44/1408.58 c current bound: 133 1400.15/1409.17 c current bound: 133 1400.60/1409.75 c current bound: 133 1401.20/1410.44 c current bound: 133 1401.77/1411.03 c current bound: 133 1402.38/1411.62 c current bound: 133 1402.95/1412.20 c current bound: 133 1403.54/1412.78 c current bound: 133 1404.12/1413.37 c current bound: 133 1404.71/1413.95 c current bound: 133 1405.44/1414.53 c current bound: 133 1405.88/1415.12 c current bound: 133 1406.66/1415.71 c current bound: 133 1407.05/1416.29 c current bound: 133 1407.75/1416.87 c current bound: 133 1408.22/1417.46 c current bound: 133 1408.82/1418.05 c current bound: 133 1409.40/1418.63 c current bound: 133 1409.99/1419.21 c current bound: 133 1410.76/1419.80 c current bound: 133 1411.16/1420.52 c current bound: 133 1411.93/1421.11 c current bound: 133 1412.34/1421.70 c current bound: 133 1413.02/1422.29 c current bound: 133 1413.51/1422.87 c current bound: 133 1414.23/1423.45 c current bound: 133 1414.67/1424.04 c current bound: 133 1415.26/1424.62 c current bound: 133 1415.85/1425.21 c current bound: 133 1416.63/1425.80 c current bound: 133 1417.02/1426.39 c current bound: 133 1417.63/1426.98 c current bound: 133 1418.21/1427.57 c current bound: 133 1419.00/1428.22 c current bound: 133 1419.38/1428.80 c current bound: 133 1419.96/1429.39 c current bound: 133 1420.67/1429.97 c current bound: 133 1421.14/1430.69 c current bound: 133 1421.73/1431.28 c current bound: 133 1422.31/1431.86 c current bound: 133 1422.89/1432.44 c current bound: 133 1423.48/1433.02 c current bound: 133 1424.07/1433.61 c current bound: 133 1424.66/1434.19 c current bound: 133 1425.23/1434.78 c current bound: 133 1425.83/1435.36 c current bound: 133 1426.42/1435.99 c current bound: 133 1427.12/1436.58 c current bound: 133 1427.59/1437.16 c current bound: 133 1428.31/1437.74 c current bound: 133 1428.76/1438.33 c current bound: 133 1429.35/1438.91 c current bound: 133 1429.95/1439.50 c current bound: 133 1430.53/1440.08 c current bound: 133 1431.11/1440.67 c current bound: 133 1431.70/1441.26 c current bound: 133 1432.30/1441.85 c current bound: 133 1432.88/1442.43 c current bound: 133 1433.47/1443.02 c current bound: 133 1434.24/1443.60 c current bound: 133 1434.62/1444.19 c current bound: 133 1435.21/1444.78 c current bound: 133 1435.92/1445.36 c current bound: 133 1436.38/1445.94 c current bound: 133 1437.13/1446.53 c current bound: 133 1437.55/1447.12 c current bound: 133 1438.13/1447.69 c current bound: 133 1438.72/1448.28 c current bound: 133 1439.30/1448.85 c current bound: 133 1439.90/1449.44 c current bound: 133 1440.48/1450.03 c current bound: 133 1441.07/1450.62 c current bound: 133 1441.66/1451.20 c current bound: 133 1442.23/1451.78 c current bound: 133 1442.82/1452.36 c current bound: 133 1443.39/1452.94 c current bound: 133 1443.99/1453.53 c current bound: 133 1444.74/1454.11 c current bound: 133 1445.16/1454.71 c current bound: 133 1445.84/1455.29 c current bound: 133 1446.34/1456.00 c current bound: 133 1446.93/1456.59 c current bound: 133 1447.53/1457.17 c current bound: 133 1448.11/1457.76 c current bound: 133 1448.68/1458.34 c current bound: 133 1449.28/1458.92 c current bound: 133 1449.86/1459.50 c current bound: 133 1450.44/1460.09 c current bound: 133 1451.03/1460.67 c current bound: 133 1451.63/1461.27 c current bound: 133 1452.35/1461.85 c current bound: 133 1452.81/1462.44 c current bound: 133 1453.55/1463.02 c current bound: 133 1453.97/1463.60 c current bound: 133 1454.66/1464.19 c current bound: 133 1455.13/1464.77 c current bound: 133 1455.72/1465.35 c current bound: 133 1456.29/1465.93 c current bound: 133 1456.87/1466.51 c current bound: 133 1457.47/1467.09 c current bound: 133 1458.04/1467.68 c current bound: 133 1458.63/1468.26 c current bound: 133 1459.22/1468.85 c current bound: 133 1459.82/1469.44 c current bound: 133 1460.41/1470.03 c current bound: 133 1461.17/1470.62 c current bound: 133 1461.58/1471.21 c current bound: 133 1462.27/1471.80 c current bound: 133 1462.75/1472.38 c current bound: 133 1463.46/1472.97 c current bound: 133 1463.93/1473.55 c current bound: 133 1464.51/1474.14 c current bound: 133 1465.12/1474.73 c current bound: 133 1465.69/1475.31 c current bound: 133 1466.28/1475.89 c current bound: 133 1466.87/1476.59 c current bound: 133 1467.45/1477.17 c current bound: 133 1468.03/1477.75 c current bound: 133 1468.77/1478.33 c current bound: 133 1469.19/1478.91 c current bound: 133 1469.88/1479.49 c current bound: 133 1470.37/1480.09 c current bound: 133 1471.09/1480.69 c current bound: 133 1471.56/1481.28 c current bound: 133 1472.16/1481.86 c current bound: 133 1472.74/1482.44 c current bound: 133 1473.34/1483.03 c current bound: 133 1473.92/1483.61 c current bound: 133 1474.51/1484.20 c current bound: 133 1475.08/1484.78 c current bound: 133 1475.68/1485.37 c current bound: 133 1476.25/1485.95 c current bound: 133 1476.85/1486.69 c current bound: 133 1477.55/1487.27 c current bound: 133 1478.01/1487.86 c current bound: 133 1478.60/1488.44 c current bound: 133 1479.19/1489.03 c current bound: 133 1479.76/1489.61 c current bound: 133 1480.35/1490.19 c current bound: 133 1480.93/1490.77 c current bound: 133 1481.51/1491.36 c current bound: 133 1482.11/1491.94 c current bound: 133 1482.68/1492.53 c current bound: 133 1483.27/1493.11 c current bound: 133 1483.86/1493.70 c current bound: 133 1484.44/1494.28 c current bound: 133 1485.15/1494.87 c current bound: 133 1485.61/1495.45 c current bound: 133 1486.35/1496.04 c current bound: 133 1486.81/1496.62 c current bound: 133 1487.38/1497.24 c current bound: 133 1487.96/1497.82 c current bound: 133 1488.54/1498.41 c current bound: 133 1489.14/1498.99 c current bound: 133 1489.71/1499.57 c current bound: 133 1490.29/1500.16 c current bound: 133 1490.88/1500.74 c current bound: 133 1491.46/1501.32 c current bound: 133 1492.04/1501.90 c current bound: 133 1492.63/1502.49 c current bound: 133 1493.20/1503.07 c current bound: 133 1493.92/1503.65 c current bound: 133 1494.38/1504.24 c current bound: 133 1495.14/1504.82 c current bound: 133 1495.56/1505.41 c current bound: 133 1496.33/1506.00 c current bound: 133 1496.73/1506.58 c current bound: 133 1497.31/1507.16 c current bound: 133 1497.90/1507.74 c current bound: 133 1498.48/1508.32 c current bound: 133 1499.06/1508.90 c current bound: 133 1499.64/1509.48 c current bound: 133 1500.23/1510.07 c current bound: 133 1500.83/1510.66 c current bound: 133 1501.42/1511.24 c current bound: 133 1502.00/1511.94 c current bound: 133 1502.75/1512.52 c current bound: 133 1503.17/1513.11 c current bound: 133 1503.76/1513.70 c current bound: 133 1504.35/1514.29 c current bound: 133 1504.92/1514.87 c current bound: 133 1505.51/1515.45 c current bound: 133 1506.11/1516.04 c current bound: 133 1506.69/1516.62 c current bound: 133 1507.26/1517.20 c current bound: 133 1507.84/1517.78 c current bound: 133 1508.44/1518.36 c current bound: 133 1509.01/1518.95 c current bound: 133 1509.60/1519.53 c current bound: 133 1510.35/1520.11 c current bound: 133 1510.76/1520.69 c current bound: 133 1511.44/1521.27 c current bound: 133 1511.92/1522.06 c current bound: 133 1512.50/1522.64 c current bound: 133 1513.09/1523.22 c current bound: 133 1513.67/1523.81 c current bound: 133 1514.46/1524.40 c current bound: 133 1514.84/1524.98 c current bound: 133 1515.43/1525.57 c current bound: 133 1516.03/1526.16 c current bound: 133 1516.76/1526.74 c current bound: 133 1517.19/1527.33 c current bound: 133 1517.96/1527.91 c current bound: 133 1518.36/1528.49 c current bound: 133 1519.08/1529.08 c current bound: 133 1519.55/1529.67 c current bound: 133 1520.13/1530.25 c current bound: 133 1520.72/1530.83 c current bound: 133 1521.30/1531.42 c current bound: 133 1521.89/1532.01 c current bound: 133 1522.48/1532.61 c current bound: 133 1523.25/1533.23 c current bound: 133 1523.65/1533.81 c current bound: 133 1524.21/1534.39 c current bound: 133 1524.81/1534.98 c current bound: 133 1525.51/1535.57 c current bound: 133 1525.99/1536.15 c current bound: 133 1526.71/1536.73 c current bound: 133 1527.15/1537.31 c current bound: 133 1527.74/1537.92 c current bound: 133 1528.52/1538.50 c current bound: 133 1528.92/1539.09 c current bound: 133 1529.50/1539.67 c current bound: 133 1530.09/1540.25 c current bound: 133 1530.67/1540.83 c current bound: 133 1531.26/1541.41 c current bound: 133 1531.84/1542.00 c current bound: 133 1532.43/1542.59 c current bound: 133 1533.00/1543.17 c current bound: 133 1533.59/1543.75 c current bound: 133 1534.31/1544.33 c current bound: 133 1534.76/1544.92 c current bound: 133 1535.54/1545.50 c current bound: 133 1535.93/1546.08 c current bound: 133 1536.63/1546.67 c current bound: 133 1537.10/1547.26 c current bound: 133 1537.68/1547.89 c current bound: 133 1538.27/1548.47 c current bound: 133 1538.87/1549.06 c current bound: 133 1539.46/1549.65 c current bound: 133 1540.03/1550.23 c current bound: 133 1540.62/1550.81 c current bound: 133 1541.20/1551.40 c current bound: 133 1541.80/1551.98 c current bound: 133 1542.37/1552.56 c current bound: 133 1543.10/1553.15 c current bound: 133 1543.54/1553.73 c current bound: 133 1544.30/1554.31 c current bound: 133 1544.71/1554.90 c current bound: 133 1545.41/1555.48 c current bound: 133 1545.90/1556.07 c current bound: 133 1546.49/1556.65 c current bound: 133 1547.06/1557.24 c current bound: 133 1547.65/1557.82 c current bound: 133 1548.23/1558.40 c current bound: 133 1548.82/1558.99 c current bound: 133 1549.42/1559.58 c current bound: 133 1550.00/1560.16 c current bound: 133 1550.57/1560.74 c current bound: 133 1551.17/1561.33 c current bound: 133 1551.92/1561.91 c current bound: 133 1552.34/1562.50 c current bound: 133 1553.03/1563.09 c current bound: 133 1553.51/1563.67 c current bound: 133 1554.23/1564.26 c current bound: 133 1554.69/1564.84 c current bound: 133 1555.28/1565.43 c current bound: 133 1555.86/1566.01 c current bound: 133 1556.65/1566.60 c current bound: 133 1557.03/1567.19 c current bound: 133 1557.81/1567.92 c current bound: 133 1558.20/1568.50 c current bound: 133 1558.79/1569.09 c current bound: 133 1559.49/1569.68 c current bound: 133 1559.96/1570.26 c current bound: 133 1560.69/1570.85 c current bound: 133 1561.14/1571.44 c current bound: 133 1561.73/1572.02 c current bound: 133 1562.32/1572.61 c current bound: 133 1563.10/1573.20 c current bound: 133 1563.50/1573.78 c current bound: 133 1564.08/1574.37 c current bound: 133 1564.67/1574.95 c current bound: 133 1565.28/1575.56 c current bound: 133 1565.87/1576.15 c current bound: 133 1566.45/1576.74 c current bound: 133 1567.20/1577.33 c current bound: 133 1567.62/1578.02 c current bound: 133 1568.20/1578.61 c current bound: 133 1568.77/1579.19 c current bound: 133 1569.36/1579.78 c current bound: 133 1569.95/1580.36 c current bound: 133 1570.53/1580.94 c current bound: 133 1571.12/1581.52 c current bound: 133 1571.70/1582.11 c current bound: 133 1572.30/1582.70 c current bound: 133 1572.89/1583.29 c current bound: 133 1573.47/1583.88 c current bound: 133 1574.06/1584.46 c current bound: 133 1574.78/1585.04 c current bound: 133 1575.22/1585.62 c current bound: 133 1575.99/1586.21 c current bound: 133 1576.40/1586.80 c current bound: 133 1577.09/1587.38 c current bound: 133 1577.58/1588.11 c current bound: 133 1578.16/1588.69 c current bound: 133 1578.75/1589.28 c current bound: 133 1579.34/1589.87 c current bound: 133 1579.92/1590.45 c current bound: 133 1580.51/1591.03 c current bound: 133 1581.27/1591.61 c current bound: 133 1581.87/1592.20 c current bound: 133 1582.37/1592.79 c current bound: 133 1582.85/1593.37 c current bound: 133 1583.57/1593.95 c current bound: 133 1584.02/1594.53 c current bound: 133 1584.60/1595.12 c current bound: 133 1585.38/1595.70 c current bound: 133 1585.77/1596.28 c current bound: 133 1586.35/1596.86 c current bound: 133 1586.95/1597.45 c current bound: 133 1587.52/1598.09 c current bound: 133 1588.12/1598.69 c current bound: 133 1588.72/1599.28 c current bound: 133 1589.30/1599.86 c current bound: 133 1590.04/1600.44 c current bound: 133 1590.46/1601.02 c current bound: 133 1591.23/1601.62 c current bound: 133 1591.65/1602.20 c current bound: 133 1592.32/1602.78 c current bound: 133 1592.82/1603.37 c current bound: 133 1593.40/1603.96 c current bound: 133 1593.98/1604.54 c current bound: 133 1594.57/1605.13 c current bound: 133 1595.16/1605.71 c current bound: 133 1595.95/1606.30 c current bound: 133 1596.33/1606.88 c current bound: 133 1596.92/1607.47 c current bound: 133 1597.50/1608.05 c current bound: 133 1598.09/1608.64 c current bound: 133 1598.82/1609.22 c current bound: 133 1599.26/1609.81 c current bound: 133 1599.93/1610.40 c current bound: 133 1600.42/1610.98 c current bound: 133 1601.14/1611.56 c current bound: 133 1601.60/1612.15 c current bound: 133 1602.19/1612.74 c current bound: 133 1602.78/1613.52 c current bound: 133 1603.36/1614.11 c current bound: 133 1603.93/1614.68 c current bound: 133 1604.52/1615.27 c current bound: 133 1605.23/1615.85 c current bound: 133 1605.69/1616.43 c current bound: 133 1606.44/1617.02 c current bound: 133 1607.06/1617.60 c current bound: 133 1607.56/1618.18 c current bound: 133 1608.03/1618.76 c current bound: 133 1608.61/1619.35 c current bound: 133 1609.20/1619.93 c current bound: 133 1609.79/1620.52 c current bound: 133 1610.37/1621.11 c current bound: 133 1610.96/1621.70 c current bound: 133 1611.54/1622.28 c current bound: 133 1612.12/1622.87 c current bound: 133 1612.88/1623.59 c current bound: 133 1613.30/1624.17 c current bound: 133 1614.02/1624.76 c current bound: 133 1614.47/1625.34 c current bound: 133 1615.05/1625.92 c current bound: 133 1615.64/1626.51 c current bound: 133 1616.42/1627.10 c current bound: 133 1616.82/1627.69 c current bound: 133 1617.40/1628.27 c current bound: 133 1617.99/1628.85 c current bound: 133 1618.57/1629.43 c current bound: 133 1619.14/1630.01 c current bound: 133 1619.72/1630.60 c current bound: 133 1620.32/1631.19 c current bound: 133 1620.91/1631.78 c current bound: 133 1621.60/1632.37 c current bound: 133 1622.08/1632.96 c current bound: 133 1622.83/1633.54 c current bound: 133 1623.27/1634.12 c current bound: 133 1623.85/1634.71 c current bound: 133 1624.44/1635.30 c current bound: 133 1625.02/1635.88 c current bound: 133 1625.60/1636.46 c current bound: 133 1626.19/1637.05 c current bound: 133 1626.78/1637.63 c current bound: 133 1627.38/1638.22 c current bound: 133 1627.96/1638.81 c current bound: 133 1628.54/1639.39 c current bound: 133 1629.13/1639.98 c current bound: 133 1629.71/1640.56 c current bound: 133 1630.44/1641.14 c current bound: 133 1630.88/1641.72 c current bound: 133 1631.66/1642.30 c current bound: 133 1632.04/1642.89 c current bound: 133 1632.74/1643.47 c current bound: 133 1633.20/1644.19 c current bound: 133 1633.80/1644.78 c current bound: 133 1634.39/1645.36 c current bound: 133 1634.97/1645.94 c current bound: 133 1635.55/1646.52 c current bound: 133 1636.14/1647.11 c current bound: 133 1636.71/1647.68 c current bound: 133 1637.31/1648.27 c current bound: 133 1638.01/1648.85 c current bound: 133 1638.46/1649.44 c current bound: 133 1639.22/1650.02 c current bound: 133 1639.64/1650.61 c current bound: 133 1640.42/1651.20 c current bound: 133 1640.81/1651.78 c current bound: 133 1641.39/1652.36 c current bound: 133 1641.97/1652.94 c current bound: 133 1642.56/1653.53 c current bound: 133 1643.14/1654.11 c current bound: 133 1643.72/1654.73 c current bound: 133 1644.31/1655.31 c current bound: 133 1645.09/1655.90 c current bound: 133 1645.49/1656.49 c current bound: 133 1646.10/1657.09 c current bound: 133 1646.81/1657.67 c current bound: 133 1647.27/1658.26 c current bound: 133 1648.00/1658.85 c current bound: 133 1648.45/1659.43 c current bound: 133 1649.04/1660.02 c current bound: 133 1649.62/1660.61 c current bound: 133 1650.41/1661.20 c current bound: 133 1650.82/1661.79 c current bound: 133 1651.40/1662.38 c current bound: 133 1651.98/1662.96 c current bound: 133 1652.57/1663.54 c current bound: 133 1653.14/1664.12 c current bound: 133 1653.92/1664.70 c current bound: 133 1654.31/1665.28 c current bound: 133 1654.90/1665.87 c current bound: 133 1655.61/1666.45 c current bound: 133 1656.06/1667.04 c current bound: 133 1656.82/1667.62 c current bound: 133 1657.24/1668.21 c current bound: 133 1658.03/1668.80 c current bound: 133 1658.42/1669.59 c current bound: 133 1659.00/1670.17 c current bound: 133 1659.59/1670.76 c current bound: 133 1660.17/1671.34 c current bound: 133 1660.91/1671.92 c current bound: 133 1661.34/1672.51 c current bound: 133 1662.01/1673.09 c current bound: 133 1662.50/1673.68 c current bound: 133 1663.24/1674.26 c current bound: 133 1663.68/1674.85 c current bound: 133 1664.26/1675.43 c current bound: 133 1664.84/1676.01 c current bound: 133 1665.43/1676.60 c current bound: 133 1666.02/1677.18 c current bound: 133 1666.60/1677.77 c current bound: 133 1667.18/1678.36 c current bound: 133 1667.77/1678.94 c current bound: 133 1668.34/1679.55 c current bound: 133 1668.93/1680.13 c current bound: 133 1669.68/1680.72 c current bound: 133 1670.10/1681.30 c current bound: 133 1670.79/1681.89 c current bound: 133 1671.27/1682.47 c current bound: 133 1672.00/1683.05 c current bound: 133 1672.44/1683.63 c current bound: 133 1673.02/1684.21 c current bound: 133 1673.60/1684.80 c current bound: 133 1674.19/1685.39 c current bound: 133 1674.79/1685.97 c current bound: 133 1675.37/1686.55 c current bound: 133 1675.95/1687.14 c current bound: 133 1676.55/1687.73 c current bound: 133 1677.13/1688.32 c current bound: 133 1677.71/1688.90 c current bound: 133 1678.30/1689.49 c current bound: 133 1678.89/1690.07 c current bound: 133 1679.62/1690.65 c current bound: 133 1680.04/1691.23 c current bound: 133 1680.80/1691.81 c current bound: 133 1681.21/1692.39 c current bound: 133 1681.89/1692.98 c current bound: 133 1682.39/1693.56 c current bound: 133 1682.98/1694.14 c current bound: 133 1683.56/1694.73 c current bound: 133 1684.13/1695.32 c current bound: 133 1684.73/1695.90 c current bound: 133 1685.31/1696.49 c current bound: 133 1685.91/1697.07 c current bound: 133 1686.49/1697.66 c current bound: 133 1687.09/1698.25 c current bound: 133 1687.67/1698.84 c current bound: 133 1688.41/1699.42 c current bound: 133 1688.85/1700.11 c current bound: 133 1689.43/1700.70 c current bound: 133 1690.03/1701.29 c current bound: 133 1690.61/1701.87 c current bound: 133 1691.19/1702.46 c current bound: 133 1691.78/1703.05 c current bound: 133 1692.37/1703.64 c current bound: 133 1692.96/1704.22 c current bound: 133 1693.54/1704.81 c current bound: 133 1694.12/1705.39 c current bound: 133 1694.72/1705.97 c current bound: 133 1695.29/1706.55 c current bound: 133 1696.02/1707.14 c current bound: 133 1696.45/1707.73 c current bound: 133 1697.22/1708.31 c current bound: 133 1697.63/1708.89 c current bound: 133 1698.33/1709.47 c current bound: 133 1698.79/1710.17 c current bound: 133 1699.37/1710.76 c current bound: 133 1699.96/1711.34 c current bound: 133 1700.53/1711.92 c current bound: 133 1701.13/1712.51 c current bound: 133 1701.71/1713.09 c current bound: 133 1702.30/1713.67 c current bound: 133 1702.88/1714.25 c current bound: 133 1703.62/1714.84 c current bound: 133 1704.05/1715.43 c current bound: 133 1704.81/1716.01 c current bound: 133 1705.41/1716.60 c current bound: 133 1705.92/1717.18 c current bound: 133 1706.40/1717.77 c current bound: 133 1706.98/1718.35 c current bound: 133 1707.57/1718.94 c current bound: 133 1708.15/1719.52 c current bound: 133 1708.75/1720.10 c current bound: 133 1709.31/1720.68 c current bound: 133 1709.90/1721.27 c current bound: 133 1710.48/1721.85 c current bound: 133 1711.07/1722.44 c current bound: 133 1711.65/1723.02 c current bound: 133 1712.24/1723.60 c current bound: 133 1712.83/1724.19 c current bound: 133 1713.52/1724.77 c current bound: 133 1714.19/1725.51 c current bound: 133 1714.78/1726.10 c current bound: 133 1715.16/1726.68 c current bound: 133 1715.76/1727.26 c current bound: 133 1716.34/1727.84 c current bound: 133 1716.93/1728.43 c current bound: 133 1717.50/1729.02 c current bound: 133 1718.10/1729.61 c current bound: 133 1718.69/1730.19 c current bound: 133 1719.28/1730.78 c current bound: 133 1719.99/1731.36 c current bound: 133 1720.45/1731.96 c current bound: 133 1721.18/1732.54 c current bound: 133 1721.63/1733.12 c current bound: 133 1722.20/1733.70 c current bound: 133 1722.78/1734.29 c current bound: 133 1723.37/1734.87 c current bound: 133 1723.96/1735.59 c current bound: 133 1724.55/1736.17 c current bound: 133 1725.14/1736.76 c current bound: 133 1725.73/1737.35 c current bound: 133 1726.47/1737.94 c current bound: 133 1726.90/1738.52 c current bound: 133 1727.68/1739.10 c current bound: 133 1728.07/1739.69 c current bound: 133 1728.77/1740.27 c current bound: 133 1729.24/1740.86 c current bound: 133 1729.83/1741.44 c current bound: 133 1730.41/1742.03 c current bound: 133 1731.00/1742.61 c current bound: 133 1731.78/1743.20 c current bound: 133 1732.17/1743.79 c current bound: 133 1732.76/1744.37 c current bound: 133 1733.34/1744.95 c current bound: 133 1734.11/1745.68 c current bound: 133 1734.52/1746.27 c current bound: 133 1735.23/1746.86 c current bound: 133 1735.70/1747.45 c current bound: 133 1736.30/1748.04 c current bound: 133 1736.87/1748.63 c current bound: 133 1737.48/1749.22 c current bound: 133 1738.25/1749.80 c current bound: 133 1738.65/1750.39 c current bound: 133 1739.22/1750.97 c current bound: 133 1739.81/1751.55 c current bound: 133 1740.39/1752.14 c current bound: 133 1740.97/1752.72 c current bound: 133 1741.75/1753.30 c current bound: 133 1742.15/1753.89 c current bound: 133 1742.85/1754.48 c current bound: 133 1743.32/1755.06 c current bound: 133 1744.07/1755.87 c current bound: 133 1744.49/1756.46 c current bound: 133 1745.08/1757.04 c current bound: 133 1745.67/1757.63 c current bound: 133 1746.26/1758.22 c current bound: 133 1747.02/1758.81 c current bound: 133 1747.64/1759.40 c current bound: 133 1748.11/1759.99 c current bound: 133 1748.61/1760.57 c current bound: 133 1749.33/1761.15 c current bound: 133 1749.78/1761.74 c current bound: 133 1750.37/1762.32 c current bound: 133 1750.96/1762.91 c current bound: 133 1751.53/1763.49 c current bound: 133 1752.13/1764.07 c current bound: 133 1752.70/1764.66 c current bound: 133 1753.30/1765.25 c current bound: 133 1753.89/1765.94 c current bound: 133 1754.64/1766.52 c current bound: 133 1755.07/1767.11 c current bound: 133 1755.75/1767.69 c current bound: 133 1756.22/1768.27 c current bound: 133 1756.93/1768.85 c current bound: 133 1757.41/1769.44 c current bound: 133 1757.99/1770.04 c current bound: 133 1758.59/1770.63 c current bound: 133 1759.17/1771.21 c current bound: 133 1759.76/1771.79 c current bound: 133 1760.35/1772.38 c current bound: 133 1760.93/1772.96 c current bound: 133 1761.52/1773.54 c current bound: 133 1762.11/1774.13 c current bound: 133 1762.70/1774.73 c current bound: 133 1763.45/1775.31 c current bound: 133 1764.06/1775.90 c current bound: 133 1764.54/1776.50 c current bound: 133 1765.04/1777.08 c current bound: 133 1765.75/1777.66 c current bound: 133 1766.20/1778.25 c current bound: 133 1766.79/1778.84 c current bound: 133 1767.39/1779.42 c current bound: 133 1767.98/1780.01 c current bound: 133 1768.56/1780.59 c current bound: 133 1769.15/1781.17 c current bound: 133 1769.73/1781.75 c current bound: 133 1770.31/1782.33 c current bound: 133 1770.89/1782.91 c current bound: 133 1771.47/1783.50 c current bound: 133 1772.05/1784.08 c current bound: 133 1772.65/1784.67 c current bound: 133 1773.36/1785.25 c current bound: 133 1773.81/1785.84 c current bound: 133 1774.56/1786.42 c current bound: 133 1774.99/1787.00 c current bound: 133 1775.66/1787.59 c current bound: 133 1776.15/1788.17 c current bound: 133 1776.75/1788.76 c current bound: 133 1777.34/1789.34 c current bound: 133 1777.91/1789.93 c current bound: 133 1778.50/1790.51 c current bound: 133 1779.09/1791.32 c current bound: 133 1779.87/1791.90 c current bound: 133 1780.25/1792.48 c current bound: 133 1780.96/1793.07 c current bound: 133 1781.41/1793.65 c current bound: 133 1782.02/1794.25 c current bound: 133 1782.61/1794.83 c current bound: 133 1783.20/1795.44 c current bound: 133 1783.79/1796.01 c current bound: 133 1784.38/1796.60 c current bound: 133 1784.97/1797.18 c current bound: 133 1785.55/1797.77 c current bound: 133 1786.13/1798.35 c current bound: 133 1786.72/1798.93 c current bound: 133 1787.47/1799.51 c current bound: 133 1788.08/1800.10 c current bound: 133 1788.58/1800.68 c current bound: 133 1789.06/1801.26 c current bound: 133 1789.78/1801.84 c current bound: 133 1790.23/1802.43 c current bound: 133 1790.79/1803.00 c current bound: 133 1791.39/1803.59 c current bound: 133 1791.97/1804.17 c current bound: 133 1792.55/1804.76 c current bound: 133 1793.14/1805.34 c current bound: 133 1793.73/1805.93 c current bound: 133 1794.31/1806.51 c current bound: 133 1794.89/1807.09 c current bound: 133 1795.48/1807.68 c current bound: 133 1796.06/1808.26 c current bound: 133 1796.65/1808.84 c current bound: 133 1797.39/1809.43 c current bound: 133 1797.83/1810.02 c current bound: 133 1798.58/1810.61 c current bound: 133 1799.00/1811.19 c current bound: 133 1799.77/1812.10 c current bound: 133 1800.17/1812.51 HOME/npSolver-wbo-Itdqb.sh: line 18: 30962 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-3715613-1338193626/watcher-3715613-1338193626 -o /tmp/evaluation-result-3715613-1338193626/solver-3715613-1338193626 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715613-1338193626.wbo 386252220 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: 3.44 4.52 3.04 3/175 30960 /proc/meminfo: memFree=30908424/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [startup+0.040895 s] /proc/loadavg: 3.44 4.52 3.04 3/175 30960 /proc/meminfo: memFree=30908424/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100263 s] /proc/loadavg: 3.44 4.52 3.04 3/175 30960 /proc/meminfo: memFree=30908424/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300252 s] /proc/loadavg: 3.44 4.52 3.04 3/175 30960 /proc/meminfo: memFree=30908424/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.70013 s] /proc/loadavg: 3.44 4.52 3.04 3/175 30960 /proc/meminfo: memFree=30908424/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.5003 s] /proc/loadavg: 3.44 4.52 3.04 5/184 30998 /proc/meminfo: memFree=30843092/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=1.35 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 6059 30151 0 0 19 4 88 24 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 1.35 Current children cumulated vsize (KiB) 20680 [startup+3.10024 s] /proc/loadavg: 3.44 4.52 3.04 4/184 31019 /proc/meminfo: memFree=30836064/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=3.07 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 11186 64576 0 0 35 6 215 51 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 20680 [startup+6.30024 s] /proc/loadavg: 3.32 4.47 3.04 4/183 31079 /proc/meminfo: memFree=30803284/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=6.22 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 19738 132833 0 0 61 11 454 96 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 20680 [startup+12.7002 s] /proc/loadavg: 3.22 4.43 3.03 4/182 31198 /proc/meminfo: memFree=30795876/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=12.58 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 38537 263165 0 0 120 22 913 203 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 20680 [startup+25.5003 s] /proc/loadavg: 2.88 4.30 3.01 4/183 31444 /proc/meminfo: memFree=30819520/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=25.04 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 76128 514607 0 0 240 42 1794 428 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 [pid=31443] ppid=30962 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31443/stat : 31443 (satsolver.sh) S 30962 30960 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285493741 9367552 267 33554432000 4194304 5064252 140735542526656 140735542525568 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/31443/statm: 2287 267 226 213 0 72 0 [pid=31444] ppid=31443 vsize=0 CPUtime=0.31 cores=1,3,5,7 /proc/31444/stat : 31444 (glucose) R 31443 30960 30917 0 -1 4202500 7202 0 0 0 29 2 0 0 20 0 1 0 285493742 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31444/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 29828 [startup+51.1004 s] /proc/loadavg: 2.58 4.11 2.98 4/183 31899 /proc/meminfo: memFree=30797392/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=50.8 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 151324 1031365 0 0 480 85 3611 904 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 50.8 Current children cumulated vsize (KiB) 20680 [startup+102.307 s] /proc/loadavg: 2.21 3.77 2.92 4/183 358 /proc/meminfo: memFree=30819112/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=101.45 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 298305 2059623 0 0 949 167 7195 1834 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 [pid=356] ppid=30962 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/356/stat : 356 (cp2_post.sh) S 30962 30960 30917 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 285501435 9367552 266 33554432000 4194304 5064252 140733506488272 140733506486560 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/356/statm: 2287 266 225 213 0 72 0 [pid=358] ppid=356 vsize=8544 CPUtime=0.17 cores=1,3,5,7 /proc/358/stat : 358 (coprocessor) R 356 30960 30917 0 -1 4202496 1572 0 0 0 11 6 0 0 20 0 1 0 285501435 8749056 1555 33554432000 4194304 6586260 140735191657472 140733506486584 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/358/statm: 2136 1555 148 584 0 1548 0 Current children cumulated CPU time (s) 101.62 Current children cumulated vsize (KiB) 38372 [startup+162.3 s] /proc/loadavg: 1.92 3.40 2.85 4/183 1456 /proc/meminfo: memFree=30794820/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=160.83 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 472616 3266324 0 0 1505 263 11398 2917 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 160.83 Current children cumulated vsize (KiB) 20680 [startup+222.3 s] /proc/loadavg: 1.93 3.13 2.79 4/184 2580 /proc/meminfo: memFree=30796140/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=220.26 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 645232 4468657 0 0 2056 361 15626 3983 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 220.26 Current children cumulated vsize (KiB) 20680 [startup+282.3 s] /proc/loadavg: 2.05 2.95 2.75 4/183 3651 /proc/meminfo: memFree=30796992/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=280 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 819550 5675137 0 0 2613 457 19860 5070 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 280 Current children cumulated vsize (KiB) 20680 [startup+342.3 s] /proc/loadavg: 2.02 2.77 2.70 4/183 4740 /proc/meminfo: memFree=30819292/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ /proc/30962/statm: 2883 2454 176 439 0 2440 0 [pid=22053] ppid=30962 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22053/stat : 22053 (cp2_post.sh) S 30962 30960 30917 0 -1 4202496 611 226 0 0 0 0 0 0 20 0 1 0 285621446 9367552 266 33554432000 4194304 5064252 140735330587920 140735330586208 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/22053/statm: 2287 266 225 213 0 72 0 [pid=22055] ppid=22053 vsize=8544 CPUtime=0.07 cores=1,3,5,7 /proc/22055/stat : 22055 (coprocessor) R 22053 30960 30917 0 -1 4202496 1572 0 0 0 5 2 0 0 20 0 1 0 285621446 8749056 1555 33554432000 4194304 6586260 140735018030816 140735330586232 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/22055/statm: 2136 1555 148 584 0 1548 0 Current children cumulated CPU time (s) 1294.05 Current children cumulated vsize (KiB) 38372 [startup+1362.3 s] /proc/loadavg: 2.08 2.03 2.19 4/183 23123 /proc/meminfo: memFree=30823832/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=1353.39 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 3952140 27363941 0 0 12614 2217 96014 24494 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 91 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 1353.39 Current children cumulated vsize (KiB) 20680 [startup+1422.31 s] /proc/loadavg: 2.03 2.02 2.18 4/184 24214 /proc/meminfo: memFree=30847528/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=7436 CPUtime=1413.14 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) R 30960 30960 30917 0 -1 4202496 4125754 28573515 0 0 13168 2313 100264 25569 20 0 1 0 285491223 7614464 1241 33554432000 4194304 5990268 140735366645280 140735366637264 5042551 0 0 4096 0 0 0 0 17 3 0 0 95 0 0 /proc/30962/statm: 1859 1242 176 439 0 1416 0 Current children cumulated CPU time (s) 1413.14 Current children cumulated vsize (KiB) 16584 [startup+1482.3 s] /proc/loadavg: 1.95 2.00 2.16 4/183 25282 /proc/meminfo: memFree=30822644/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=1472.74 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 4299074 29772553 0 0 13722 2412 104499 26641 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 95 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 1472.74 Current children cumulated vsize (KiB) 20680 [startup+1542.3 s] /proc/loadavg: 1.92 1.98 2.14 4/183 26375 /proc/meminfo: memFree=30837872/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=1532.1 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 4473385 30973392 0 0 14280 2508 108719 27703 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 101 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 [pid=26374] ppid=30962 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26374/stat : 26374 (satsolver.sh) S 30962 30960 30917 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285645430 9367552 266 33554432000 4194304 5064252 140733450441104 140733450440016 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/26374/statm: 2287 266 226 213 0 72 0 [pid=26375] ppid=26374 vsize=32720 CPUtime=0.21 cores=1,3,5,7 /proc/26375/stat : 26375 (glucose) R 26374 30960 30917 0 -1 4202496 7379 0 0 0 20 1 0 0 20 0 1 0 285645430 33505280 7648 33554432000 4194304 5208918 140735875643984 140733450440040 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/26375/statm: 8180 7648 95 248 0 7929 0 Current children cumulated CPU time (s) 1532.31 Current children cumulated vsize (KiB) 62548 [startup+1602.3 s] /proc/loadavg: 1.85 1.95 2.12 3/183 27446 /proc/meminfo: memFree=30810636/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=1591.9 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 4647703 32180293 0 0 14835 2607 112954 28794 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 105 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 1591.9 Current children cumulated vsize (KiB) 20680 [startup+1662.3 s] /proc/loadavg: 2.02 1.98 2.11 4/184 28531 /proc/meminfo: memFree=30824808/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=1651.4 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 4820319 33385003 0 0 15385 2705 117210 29840 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 107 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 1651.4 Current children cumulated vsize (KiB) 20680 [startup+1722.3 s] /proc/loadavg: 1.93 1.96 2.10 3/183 29606 /proc/meminfo: memFree=30830256/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=1711.07 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 4994637 34593890 0 0 15941 2803 121443 30920 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 107 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 1711.07 Current children cumulated vsize (KiB) 20680 [startup+1782.3 s] /proc/loadavg: 1.97 1.97 2.09 3/183 30691 /proc/meminfo: memFree=30787484/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=1770.31 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 5167246 35793083 0 0 16491 2900 125646 31994 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 107 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 Current children cumulated CPU time (s) 1770.31 Current children cumulated vsize (KiB) 20680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1812.5 s] /proc/loadavg: 2.12 2.00 2.09 4/184 31303 /proc/meminfo: memFree=30816920/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=1800.16 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 5254405 36398472 0 0 16769 2949 127749 32549 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 107 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 [pid=31301] ppid=30962 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31301/stat : 31301 (cp2_post.sh) S 30962 30960 30917 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 285672472 9367552 265 33554432000 4194304 5064252 140735934534112 140735934532400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31301/statm: 2287 265 225 213 0 72 0 [pid=31302] ppid=31301 vsize=4004 CPUtime=0 cores=1,3,5,7 /proc/31302/stat : 31302 (cat) S 31301 30960 30917 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 285672472 4100096 122 33554432000 4194304 4236627 140733813466704 140733813465800 247064249824 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/31302/statm: 1001 122 96 11 0 67 0 [pid=31303] ppid=31301 vsize=7068 CPUtime=0.01 cores=1,3,5,7 /proc/31303/stat : 31303 (coprocessor) R 31301 30960 30917 0 -1 4202496 1325 0 0 0 1 0 0 0 20 0 1 0 285672472 7237632 1183 33554432000 4194304 6586260 140733213196800 140735934532424 5599316 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/31303/statm: 1767 1194 148 584 0 1179 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 40900 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1812.5 s] /proc/loadavg: 2.12 2.00 2.09 4/184 31303 /proc/meminfo: memFree=30816920/32873844 swapFree=7108/7108 [pid=30960] ppid=30956 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30960/stat : 30960 (npSolver-wbo-It) S 30956 30960 30917 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285491223 9367552 275 33554432000 4194304 5064252 140736430515808 140736430514720 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30960/statm: 2287 275 233 213 0 72 0 [pid=30962] ppid=30960 vsize=11532 CPUtime=1800.16 cores=1,3,5,7 /proc/30962/stat : 30962 (npSolver-wbo) S 30960 30960 30917 0 -1 4202496 5254405 36398472 0 0 16769 2949 127749 32549 20 0 1 0 285491223 11808768 2454 33554432000 4194304 5990268 140735366645280 140735366636176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 107 0 0 /proc/30962/statm: 2883 2454 176 439 0 2440 0 [pid=31301] ppid=30962 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31301/stat : 31301 (cp2_post.sh) S 30962 30960 30917 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 285672472 9367552 265 33554432000 4194304 5064252 140735934534112 140735934532400 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31301/statm: 2287 265 225 213 0 72 0 [pid=31302] ppid=31301 vsize=4004 CPUtime=0 cores=1,3,5,7 /proc/31302/stat : 31302 (cat) S 31301 30960 30917 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 285672472 4100096 122 33554432000 4194304 4236627 140733813466704 140733813465800 247064249824 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/31302/statm: 1001 122 96 11 0 67 0 [pid=31303] ppid=31301 vsize=7068 CPUtime=0.01 cores=1,3,5,7 /proc/31303/stat : 31303 (coprocessor) R 31301 30960 30917 0 -1 4202496 1325 0 0 0 1 0 0 0 20 0 1 0 285672472 7237632 1183 33554432000 4194304 6586260 140733213196800 140735934532424 5599316 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/31303/statm: 1767 1194 148 584 0 1179 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 40900 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.120117 # lost CPU user time (s): 0.0400391 # lost CPU system time (s): 0.0799866 Real time (s): 1812.52 CPU time (s): 1800.31 CPU user time (s): 1445.24 CPU system time (s): 355.068 CPU usage (%): 99.3265 Max. virtual memory (cumulated for all children) (KiB): 63960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1445.2 system time used= 354.988 maximum resident set size= 32412 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41654741 page faults= 0 swaps= 0 block input operations= 0 block output operations= 29511408 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 587148 involuntary context switches= 35978 runsolver used 5.48717 second user time and 13.043 second system time The end
Begin job on node103 at 2012-05-28 10:27:06 IDJOB=3715613 IDBENCH=78894 IDSOLVER=2297 FILE ID=node103/3715613-1338193626 RUNJOBID= node103-1338193626-30934 PBS_JOBID= 14624588 Free space on /tmp= 71556 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715613-1338193626/watcher-3715613-1338193626 -o /tmp/evaluation-result-3715613-1338193626/solver-3715613-1338193626 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715613-1338193626.wbo 386252220 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c6676bcfc0f6c4806260dd430fa1f6e3 RANDOM SEED=386252220 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 5332.37 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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 : 5411.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30909068 kB Buffers: 470868 kB Cached: 638044 kB SwapCached: 4492 kB Active: 755700 kB Inactive: 362172 kB Active(anon): 2068 kB Inactive(anon): 6216 kB Active(file): 753632 kB Inactive(file): 355956 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67099580 kB Dirty: 16420 kB Writeback: 0 kB AnonPages: 9700 kB Mapped: 10892 kB Shmem: 8 kB Slab: 706552 kB SReclaimable: 145240 kB SUnreclaim: 561312 kB KernelStack: 1384 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 102992 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71528 MiB End job on node103 at 2012-05-28 10:57:19