Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1800.28 | 1861.81 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh218_wcsp.wbo |
MD5SUM | e9977e481ed86e7573c7f989943259e1 |
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 | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.003999 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 900 |
Number of soft constraints | 800 |
Number of constraints which are clauses | 800 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 394239 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 394238 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 c run usual solver 0.00/0.05 o 7192 0.00/0.05 c starting approximation 0.00/0.05 c factor = 2 0.00/0.05 c factor still to low - shrinking to 20.6914 0.00/0.05 c approx number of clauses: 1e+06 0.00/0.05 c current bound: 3596 0.00/0.60 c current bound: 3596 1.11/1.61 c current bound: 3596 1.60/2.15 c current bound: 3596 2.21/2.70 c current bound: 3596 2.70/3.24 c current bound: 3596 3.03/3.78 c current bound: 3596 3.78/4.33 c current bound: 3596 4.11/4.87 c current bound: 3596 4.89/5.41 c current bound: 3596 5.19/5.95 c current bound: 3596 5.73/6.50 c current bound: 3596 6.27/7.04 c current bound: 3596 6.81/7.58 c current bound: 3596 7.36/8.13 c current bound: 3596 7.91/8.67 c current bound: 3596 8.45/9.21 c current bound: 3596 8.99/9.75 c current bound: 3596 9.80/10.30 c current bound: 3596 10.08/10.84 c current bound: 3596 10.89/11.65 c current bound: 3596 11.35/12.19 c current bound: 3596 11.71/12.74 c current bound: 3596 12.43/13.28 c current bound: 3596 12.80/13.82 c current bound: 3596 13.53/14.37 c current bound: 3596 13.89/14.91 c current bound: 3596 14.63/15.45 c current bound: 3596 15.23/16.00 c current bound: 3596 15.77/16.79 c current bound: 3596 16.07/17.33 c current bound: 3596 16.61/17.87 c current bound: 3596 17.14/18.42 c current bound: 3596 17.70/18.96 c current bound: 3596 18.25/19.51 c current bound: 3596 18.79/20.05 c current bound: 3596 19.33/20.59 c current bound: 3596 19.88/21.14 c current bound: 3596 20.42/21.82 c current bound: 3596 20.96/22.37 c current bound: 3596 21.50/22.91 c current bound: 3596 22.04/23.45 c current bound: 3596 22.57/23.99 c current bound: 3596 23.11/24.54 c current bound: 3596 23.66/25.08 c current bound: 3596 24.20/25.63 c current bound: 3596 24.77/26.17 c current bound: 3596 25.30/27.02 c current bound: 3596 26.02/27.57 c current bound: 3596 26.38/28.11 c current bound: 3596 27.12/28.66 c current bound: 3596 27.74/29.20 c current bound: 3596 28.23/29.75 c current bound: 3596 28.57/30.29 c current bound: 3596 29.33/30.84 c current bound: 3596 29.66/31.38 c current bound: 3596 30.45/32.14 c current bound: 3596 30.75/32.68 c current bound: 3596 31.29/33.22 c current bound: 3596 31.83/33.77 c current bound: 3596 32.38/34.31 c current bound: 3596 33.18/34.91 c current bound: 3596 33.47/35.45 c current bound: 3596 34.28/36.00 c current bound: 3596 34.57/36.54 c current bound: 3596 35.37/37.33 c current bound: 3596 35.65/37.87 c current bound: 3596 36.43/38.42 c current bound: 3596 36.75/38.96 c current bound: 3596 37.53/39.51 c current bound: 3596 37.84/40.05 c current bound: 3596 38.39/40.60 c current bound: 3596 38.93/41.14 c current bound: 3596 39.47/41.68 c current bound: 3596 40.02/42.50 c current bound: 3596 40.78/43.05 c current bound: 3596 41.11/43.59 c current bound: 3596 41.86/44.14 c current bound: 3596 42.20/44.68 c current bound: 3596 42.98/45.22 c current bound: 3596 43.30/45.76 c current bound: 3596 44.09/46.30 c current bound: 3596 44.38/46.84 c current bound: 3596 45.19/47.53 c current bound: 3596 45.47/48.07 c current bound: 3596 46.01/48.61 c current bound: 3596 46.56/49.15 c current bound: 3596 47.10/49.69 c current bound: 3596 47.63/50.24 c current bound: 3596 48.17/50.78 c current bound: 3596 48.72/51.32 c current bound: 3596 49.26/51.86 c current bound: 3596 49.80/52.67 c current bound: 3596 50.34/53.21 c current bound: 3596 50.89/53.75 c current bound: 3596 51.69/54.30 c current bound: 3596 51.97/54.84 c current bound: 3596 52.51/55.38 c current bound: 3596 53.05/55.92 c current bound: 3596 53.60/56.47 c current bound: 3596 54.16/57.01 c current bound: 3596 54.70/57.86 c current bound: 3596 55.50/58.40 c current bound: 3596 55.78/58.95 c current bound: 3596 56.50/59.49 c current bound: 3596 56.88/60.04 c current bound: 3596 57.61/60.58 c current bound: 3596 57.98/61.12 c current bound: 3596 58.69/61.67 c current bound: 3596 59.06/62.21 c current bound: 3596 59.86/63.07 c current bound: 3596 60.15/63.61 c current bound: 3596 60.71/64.16 c current bound: 3596 61.25/64.70 c current bound: 3596 61.80/65.25 c current bound: 3596 62.35/65.79 c current bound: 3596 62.89/66.33 c current bound: 3596 63.43/66.88 c current bound: 3596 63.98/67.42 c current bound: 3596 64.78/68.24 c current bound: 3596 65.07/68.78 c current bound: 3596 65.84/69.32 c current bound: 3596 66.15/69.86 c current bound: 3596 66.96/70.40 c current bound: 3596 67.25/70.95 c current bound: 3596 67.96/71.49 c current bound: 3596 68.32/72.03 c current bound: 3596 69.06/72.57 c current bound: 3596 69.42/73.23 c current bound: 3596 70.13/73.77 c current bound: 3596 70.50/74.31 c current bound: 3596 71.24/74.85 c current bound: 3596 71.58/75.39 c current bound: 3596 72.35/75.93 c current bound: 3596 72.67/76.47 c current bound: 3596 73.46/77.01 c current bound: 3596 73.76/77.56 c current bound: 3596 74.55/78.34 c current bound: 3596 74.86/78.88 c current bound: 3596 75.38/79.42 c current bound: 3596 75.93/79.97 c current bound: 3596 76.48/80.51 c current bound: 3596 77.04/81.05 c current bound: 3596 77.58/81.59 c current bound: 3596 78.12/82.14 c current bound: 3596 78.66/82.68 c current bound: 3596 79.47/83.45 c current bound: 3596 79.75/83.99 c current bound: 3596 80.29/84.53 c current bound: 3596 80.83/85.07 c current bound: 3596 81.37/85.61 c current bound: 3596 81.92/86.15 c current bound: 3596 82.48/86.70 c current bound: 3596 83.02/87.24 c current bound: 3596 83.56/87.78 c current bound: 3596 84.11/88.58 c current bound: 3596 84.87/89.13 c current bound: 3596 85.18/89.67 c current bound: 3596 85.98/90.21 c current bound: 3596 86.27/90.75 c current bound: 3596 86.98/91.29 c current bound: 3596 87.36/91.84 c current bound: 3596 88.08/92.38 c current bound: 3596 88.45/92.93 c current bound: 3596 89.26/93.64 c current bound: 3596 89.54/94.18 c current bound: 3596 90.32/94.73 c current bound: 3596 90.64/95.27 c current bound: 3596 91.43/95.81 c current bound: 3596 91.73/96.35 c current bound: 3596 92.52/96.90 c current bound: 3596 92.81/97.44 c current bound: 3596 93.53/97.98 c current bound: 3596 93.90/98.66 c current bound: 3596 94.45/99.20 c current bound: 3596 95.00/99.75 c current bound: 3596 95.54/100.29 c current bound: 3596 96.08/100.83 c current bound: 3596 96.62/101.37 c current bound: 3596 97.16/101.92 c current bound: 3596 97.71/102.46 c current bound: 3596 98.26/103.00 c current bound: 3596 99.06/103.80 c current bound: 3596 99.35/104.35 c current bound: 3596 99.90/104.89 c current bound: 3596 100.45/105.43 c current bound: 3596 100.99/105.97 c current bound: 3596 101.52/106.51 c current bound: 3596 102.06/107.05 c current bound: 3596 102.87/107.60 c current bound: 3596 103.17/108.14 c current bound: 3596 103.97/108.96 c current bound: 3596 104.27/109.51 c current bound: 3596 105.02/110.06 c current bound: 3596 105.64/110.60 c current bound: 3596 106.13/111.15 c current bound: 3596 106.47/111.71 c current bound: 3596 107.23/112.27 c current bound: 3596 107.59/112.81 c current bound: 3596 108.34/113.35 c current bound: 3596 108.68/114.15 c current bound: 3596 109.22/114.70 c current bound: 3596 109.77/115.24 c current bound: 3596 110.31/115.80 c current bound: 3596 110.87/116.34 c current bound: 3596 111.40/116.88 c current bound: 3596 111.94/117.42 c current bound: 3596 112.48/117.96 c current bound: 3596 113.03/118.51 c current bound: 3596 113.84/119.20 c current bound: 3596 114.13/119.75 c current bound: 3596 114.67/120.29 c current bound: 3596 115.21/120.83 c current bound: 3596 115.75/121.37 c current bound: 3596 116.31/121.92 c current bound: 3596 116.86/122.46 c current bound: 3596 117.39/123.00 c current bound: 3596 117.94/123.54 c current bound: 3596 118.72/124.22 c current bound: 3596 119.03/124.76 c current bound: 3596 119.57/125.30 c current bound: 3596 120.11/125.84 c current bound: 3596 120.66/126.39 c current bound: 3596 121.22/126.94 c current bound: 3596 121.77/127.48 c current bound: 3596 122.32/128.03 c current bound: 3596 122.86/128.57 c current bound: 3596 123.40/129.38 c current bound: 3596 124.18/129.92 c current bound: 3596 124.50/130.47 c current bound: 3596 125.28/131.02 c current bound: 3596 125.60/131.56 c current bound: 3596 126.40/132.10 c current bound: 3596 126.69/132.64 c current bound: 3596 127.39/133.18 c current bound: 3596 127.77/133.72 c current bound: 3596 128.58/134.52 c current bound: 3596 128.85/135.06 c current bound: 3596 129.39/135.61 c current bound: 3596 129.95/136.15 c current bound: 3596 130.50/136.70 c current bound: 3596 131.05/137.24 c current bound: 3596 131.59/137.78 c current bound: 3596 132.14/138.33 c current bound: 3596 132.67/138.87 c current bound: 3596 133.50/139.66 c current bound: 3596 133.78/140.21 c current bound: 3596 134.51/140.76 c current bound: 3596 134.88/141.31 c current bound: 3596 135.63/141.85 c current bound: 3596 136.24/142.40 c current bound: 3596 136.73/142.94 c current bound: 3596 137.06/143.48 c current bound: 3596 137.84/144.03 c current bound: 3596 138.16/144.71 c current bound: 3596 138.90/145.26 c current bound: 3596 139.51/145.80 c current bound: 3596 140.01/146.34 c current bound: 3596 140.33/146.88 c current bound: 3596 141.13/147.42 c current bound: 3596 141.42/147.96 c current bound: 3596 142.10/148.50 c current bound: 3596 142.50/149.04 c current bound: 3596 143.31/149.75 c current bound: 3596 143.59/150.29 c current bound: 3596 144.35/150.84 c current bound: 3596 144.67/151.38 c current bound: 3596 145.44/151.92 c current bound: 3596 145.76/152.46 c current bound: 3596 146.54/153.00 c current bound: 3596 146.84/153.54 c current bound: 3596 147.57/154.08 c current bound: 3596 147.94/154.88 c current bound: 3596 148.48/155.42 c current bound: 3596 149.03/155.96 c current bound: 3596 149.58/156.50 c current bound: 3596 150.11/157.05 c current bound: 3596 150.66/157.59 c current bound: 3596 151.20/158.13 c current bound: 3596 151.76/158.67 c current bound: 3596 152.29/159.21 c current bound: 3596 153.10/160.00 c current bound: 3596 153.59/160.55 c current bound: 3596 153.93/161.09 c current bound: 3596 154.69/161.64 c current bound: 3596 155.02/162.18 c current bound: 3596 155.80/162.72 c current bound: 3596 156.11/163.26 c current bound: 3596 156.92/163.81 c current bound: 3596 157.20/164.35 c current bound: 3596 157.98/165.22 c current bound: 3596 158.27/165.76 c current bound: 3596 158.82/166.30 c current bound: 3596 159.37/166.84 c current bound: 3596 159.91/167.39 c current bound: 3596 160.46/167.93 c current bound: 3596 161.00/168.47 c current bound: 3596 161.53/169.01 c current bound: 3596 162.27/169.56 c current bound: 3596 162.88/170.17 c current bound: 3596 163.17/170.71 c current bound: 3596 163.71/171.25 c current bound: 3596 164.52/171.80 c current bound: 3596 164.79/172.34 c current bound: 3596 165.34/172.89 c current bound: 3596 165.89/173.43 c current bound: 3596 166.44/173.97 c current bound: 3596 166.97/174.52 c current bound: 3596 167.78/175.13 c current bound: 3596 168.07/175.68 c current bound: 3596 168.60/176.22 c current bound: 3596 169.15/176.76 c current bound: 3596 169.96/177.30 c current bound: 3596 170.24/177.85 c current bound: 3596 170.79/178.39 c current bound: 3596 171.35/178.93 c current bound: 3596 171.88/179.48 c current bound: 3596 172.42/180.02 c current bound: 3596 172.96/180.66 c current bound: 3596 173.50/181.21 c current bound: 3596 174.06/181.76 c current bound: 3596 174.61/182.32 c current bound: 3596 175.15/182.86 c current bound: 3596 175.72/183.41 c current bound: 3596 176.25/183.95 c current bound: 3596 176.81/184.49 c current bound: 3596 177.34/185.04 c current bound: 3596 177.91/185.62 c current bound: 3596 178.46/186.17 c current bound: 3596 179.00/186.72 c current bound: 3596 179.54/187.26 c current bound: 3596 180.08/187.80 c current bound: 3596 180.63/188.35 c current bound: 3596 181.18/188.90 c current bound: 3596 181.74/189.45 c current bound: 3596 182.29/189.99 c current bound: 3596 182.83/190.54 c current bound: 3596 183.37/191.08 c current bound: 3596 183.91/191.62 c current bound: 3596 184.46/192.16 c current bound: 3596 184.99/192.71 c current bound: 3596 185.54/193.25 c current bound: 3596 186.08/193.79 c current bound: 3596 186.64/194.34 c current bound: 3596 187.46/194.90 c current bound: 3596 187.74/195.48 c current bound: 3596 188.28/196.03 c current bound: 3596 188.83/196.57 c current bound: 3596 189.37/197.11 c current bound: 3596 189.92/197.65 c current bound: 3596 190.74/198.20 c current bound: 3596 191.01/198.74 c current bound: 3596 191.55/199.28 c current bound: 3596 192.10/199.83 c current bound: 3596 192.91/200.67 c current bound: 3596 193.44/201.21 c current bound: 3596 193.74/201.75 c current bound: 3596 194.29/202.30 c current bound: 3596 194.84/202.85 c current bound: 3596 195.39/203.39 c current bound: 3596 195.94/203.94 c current bound: 3596 196.48/204.48 c current bound: 3596 197.02/205.02 c current bound: 3596 197.80/205.88 c current bound: 3596 198.10/206.42 c current bound: 3596 198.65/206.96 c current bound: 3596 199.20/207.51 c current bound: 3596 199.94/208.05 c current bound: 3596 200.29/208.59 c current bound: 3596 201.06/209.13 c current bound: 3596 201.38/209.67 c current bound: 3596 202.15/210.22 c current bound: 3596 202.46/210.89 c current bound: 3596 203.01/211.43 c current bound: 3596 203.55/211.97 c current bound: 3596 204.10/212.52 c current bound: 3596 204.65/213.06 c current bound: 3596 205.19/213.60 c current bound: 3596 205.75/214.15 c current bound: 3596 206.57/214.70 c current bound: 3596 206.85/215.24 c current bound: 3596 207.39/216.06 c current bound: 3596 208.18/216.61 c current bound: 3596 208.49/217.15 c current bound: 3596 209.03/217.69 c current bound: 3596 209.56/218.23 c current bound: 3596 210.12/218.77 c current bound: 3596 210.66/219.31 c current bound: 3596 211.20/219.85 c current bound: 3596 212.01/220.40 c current bound: 3596 212.54/221.07 c current bound: 3596 212.85/221.61 c current bound: 3596 213.58/222.15 c current bound: 3596 213.92/222.69 c current bound: 3596 214.68/223.23 c current bound: 3596 215.00/223.78 c current bound: 3596 215.80/224.32 c current bound: 3596 216.11/224.86 c current bound: 3596 216.66/225.40 c current bound: 3596 217.45/226.20 c current bound: 3596 217.96/226.74 c current bound: 3596 218.28/227.28 c current bound: 3596 219.06/227.82 c current bound: 3596 219.36/228.37 c current bound: 3596 220.14/228.91 c current bound: 3596 220.44/229.45 c current bound: 3596 221.25/230.00 c current bound: 3596 221.54/230.54 c current bound: 3596 222.35/231.35 c current bound: 3596 222.90/231.90 c current bound: 3596 223.17/232.44 c current bound: 3596 223.72/232.98 c current bound: 3596 224.26/233.52 c current bound: 3596 224.81/234.07 c current bound: 3596 225.35/234.61 c current bound: 3596 225.90/235.16 c current bound: 3596 226.45/235.70 c current bound: 3596 227.26/236.52 c current bound: 3596 227.55/237.06 c current bound: 3596 228.23/237.60 c current bound: 3596 228.63/238.15 c current bound: 3596 229.34/238.69 c current bound: 3596 229.71/239.23 c current bound: 3596 230.44/239.77 c current bound: 3596 230.81/240.31 c current bound: 3596 231.54/240.86 c current bound: 3596 232.15/241.62 c current bound: 3596 232.42/242.17 c current bound: 3596 232.97/242.71 c current bound: 3596 233.70/243.25 c current bound: 3596 234.07/243.79 c current bound: 3596 234.82/244.33 c current bound: 3596 235.16/244.87 c current bound: 3596 235.93/245.42 c current bound: 3596 236.24/245.96 c current bound: 3596 237.03/246.65 c current bound: 3596 237.34/247.19 c current bound: 3596 237.88/247.73 c current bound: 3596 238.44/248.27 c current bound: 3596 238.97/248.82 c current bound: 3596 239.52/249.36 c current bound: 3596 240.06/249.91 c current bound: 3596 240.61/250.45 c current bound: 3596 241.15/251.00 c current bound: 3596 241.72/251.69 c current bound: 3596 242.26/252.23 c current bound: 3596 242.81/252.77 c current bound: 3596 243.36/253.32 c current bound: 3596 243.91/253.86 c current bound: 3596 244.70/254.40 c current bound: 3596 244.99/254.94 c current bound: 3596 245.53/255.49 c current bound: 3596 246.09/256.03 c current bound: 3596 246.63/256.90 c current bound: 3596 247.37/257.44 c current bound: 3596 247.72/257.99 c current bound: 3596 248.48/258.53 c current bound: 3596 248.81/259.07 c current bound: 3596 249.59/259.61 c current bound: 3596 249.90/260.16 c current bound: 3596 250.73/260.70 c current bound: 3596 250.99/261.25 c current bound: 3596 251.79/262.08 c current bound: 3596 252.10/262.62 c current bound: 3596 252.64/263.16 c current bound: 3596 253.17/263.70 c current bound: 3596 253.72/264.25 c current bound: 3596 254.27/264.80 c current bound: 3596 254.83/265.34 c current bound: 3596 255.37/265.88 c current bound: 3596 255.92/266.43 c current bound: 3596 256.72/267.23 c current bound: 3596 257.00/267.77 c current bound: 3596 257.78/268.31 c current bound: 3596 258.08/268.85 c current bound: 3596 258.64/269.39 c current bound: 3596 259.16/269.93 c current bound: 3596 259.71/270.47 c current bound: 3596 260.24/271.02 c current bound: 3596 260.81/271.57 c current bound: 3596 261.35/272.27 c current bound: 3596 262.13/272.82 c current bound: 3596 262.44/273.36 c current bound: 3596 263.24/273.90 c current bound: 3596 263.52/274.44 c current bound: 3596 264.23/274.99 c current bound: 3596 264.61/275.53 c current bound: 3596 265.34/276.07 c current bound: 3596 265.70/276.62 c current bound: 3596 266.50/277.42 c current bound: 3596 266.78/277.96 c current bound: 3596 267.32/278.51 c current bound: 3596 267.87/279.05 c current bound: 3596 268.41/279.59 c current bound: 3596 268.96/280.14 c current bound: 3596 269.51/280.68 c current bound: 3596 270.03/281.22 c current bound: 3596 270.58/281.76 c current bound: 3596 271.40/282.63 c current bound: 3596 271.68/283.17 c current bound: 3596 272.48/283.71 c current bound: 3596 272.77/284.26 c current bound: 3596 273.57/284.80 c current bound: 3596 273.86/285.35 c current bound: 3596 274.40/285.89 c current bound: 3596 274.94/286.43 c current bound: 3596 275.48/286.97 c current bound: 3596 276.03/287.67 c current bound: 3596 276.80/288.24 c current bound: 3596 277.13/288.78 c current bound: 3596 277.91/289.32 c current bound: 3596 278.21/289.87 c current bound: 3596 279.01/290.41 c current bound: 3596 279.32/290.95 c current bound: 3596 280.01/291.50 c current bound: 3596 280.40/292.04 c current bound: 3596 281.19/292.73 c current bound: 3596 281.48/293.27 c current bound: 3596 282.25/293.81 c current bound: 3596 282.57/294.35 c current bound: 3596 283.38/294.90 c current bound: 3596 283.65/295.44 c current bound: 3596 284.37/295.98 c current bound: 3596 284.74/296.53 c current bound: 3596 285.47/297.08 c current bound: 3596 285.83/297.76 c current bound: 3596 286.64/298.30 c current bound: 3596 286.92/298.85 c current bound: 3596 287.47/299.39 c current bound: 3596 288.02/299.93 c current bound: 3596 288.54/300.47 c current bound: 3596 289.08/301.02 c current bound: 3596 289.63/301.56 c current bound: 3596 290.19/302.10 c current bound: 3596 291.00/302.91 c current bound: 3596 291.28/303.45 c current bound: 3596 291.83/303.99 c current bound: 3596 292.37/304.54 c current bound: 3596 292.90/305.08 c current bound: 3596 293.45/305.63 c current bound: 3596 294.00/306.17 c current bound: 3596 294.55/306.72 c current bound: 3596 295.09/307.26 c current bound: 3596 295.86/308.04 c current bound: 3596 296.16/308.58 c current bound: 3596 296.93/309.12 c current bound: 3596 297.25/309.66 c current bound: 3596 298.05/310.21 c current bound: 3596 298.34/310.76 c current bound: 3596 298.88/311.31 c current bound: 3596 299.44/311.85 c current bound: 3596 300.14/312.40 c current bound: 3596 300.52/313.22 c current bound: 3596 301.07/313.76 c current bound: 3596 301.61/314.31 c current bound: 3596 302.15/314.89 c current bound: 3596 302.70/315.43 c current bound: 3596 303.25/315.98 c current bound: 3596 303.80/316.52 c current bound: 3596 304.34/317.06 c current bound: 3596 304.88/317.60 c current bound: 3596 305.42/318.14 c current bound: 3596 305.98/318.70 c current bound: 3596 306.54/319.25 c current bound: 3596 307.08/319.79 c current bound: 3596 307.62/320.33 c current bound: 3596 308.15/320.87 c current bound: 3596 308.71/321.42 c current bound: 3596 309.26/321.97 c current bound: 3596 309.80/322.51 c current bound: 3596 310.62/323.21 c current bound: 3596 310.90/323.75 c current bound: 3596 311.42/324.29 c current bound: 3596 311.97/324.84 c current bound: 3596 312.52/325.38 c current bound: 3596 313.06/325.92 c current bound: 3596 313.59/326.46 c current bound: 3596 314.14/327.00 c current bound: 3596 314.69/327.56 c current bound: 3596 315.50/328.35 c current bound: 3596 315.95/328.89 c current bound: 3596 316.33/329.43 c current bound: 3596 317.05/329.98 c current bound: 3596 317.42/330.53 c current bound: 3596 318.14/331.07 c current bound: 3596 318.51/331.61 c current bound: 3596 319.26/332.15 c current bound: 3596 319.87/332.70 c current bound: 3596 320.40/333.55 c current bound: 3596 320.69/334.09 c current bound: 3596 321.23/334.63 c current bound: 3596 321.78/335.18 c current bound: 3596 322.33/335.72 c current bound: 3596 322.87/336.26 c current bound: 3596 323.41/336.80 c current bound: 3596 323.95/337.34 c current bound: 3596 324.50/337.89 c current bound: 3596 325.31/338.67 c current bound: 3596 325.58/339.22 c current bound: 3596 326.14/339.77 c current bound: 3596 326.70/340.31 c current bound: 3596 327.23/340.85 c current bound: 3596 328.04/341.40 c current bound: 3596 328.31/341.94 c current bound: 3596 328.85/342.49 c current bound: 3596 329.41/343.03 c current bound: 3596 329.96/343.73 c current bound: 3596 330.68/344.27 c current bound: 3596 331.05/344.82 c current bound: 3596 331.79/345.37 c current bound: 3596 332.14/345.91 c current bound: 3596 332.89/346.45 c current bound: 3596 333.22/346.99 c current bound: 3596 333.98/347.54 c current bound: 3596 334.30/348.08 c current bound: 3596 335.10/348.92 c current bound: 3596 335.41/349.47 c current bound: 3596 335.94/350.01 c current bound: 3596 336.47/350.55 c current bound: 3596 337.02/351.09 c current bound: 3596 337.55/351.63 c current bound: 3596 338.11/352.17 c current bound: 3596 338.65/352.71 c current bound: 3596 339.39/353.26 c current bound: 3596 339.73/354.09 c current bound: 3596 340.29/354.63 c current bound: 3596 340.82/355.17 c current bound: 3596 341.36/355.72 c current bound: 3596 341.91/356.26 c current bound: 3596 342.46/356.80 c current bound: 3596 343.01/357.35 c current bound: 3596 343.55/357.89 c current bound: 3596 344.09/358.43 c current bound: 3596 344.62/359.25 c current bound: 3596 345.41/359.80 c current bound: 3596 345.72/360.35 c current bound: 3596 346.53/360.90 c current bound: 3596 346.81/361.44 c current bound: 3596 347.54/361.98 c current bound: 3596 347.90/362.54 c current bound: 3596 348.63/363.09 c current bound: 3596 349.00/363.63 c current bound: 3596 349.78/364.43 c current bound: 3596 350.09/364.97 c current bound: 3596 350.63/365.51 c current bound: 3596 351.17/366.06 c current bound: 3596 351.72/366.60 c current bound: 3596 352.26/367.15 c current bound: 3596 352.80/367.69 c current bound: 3596 353.35/368.23 c current bound: 3596 353.90/368.77 c current bound: 3596 354.44/369.44 c current bound: 3596 354.98/369.98 c current bound: 3596 355.52/370.52 c current bound: 3596 356.06/371.06 c current bound: 3596 356.60/371.61 c current bound: 3596 357.14/372.15 c current bound: 3596 357.68/372.69 c current bound: 3596 358.23/373.24 c current bound: 3596 358.79/373.78 c current bound: 3596 359.33/374.62 c current bound: 3596 360.05/375.18 c current bound: 3596 360.41/375.72 c current bound: 3596 361.16/376.27 c current bound: 3596 361.51/376.81 c current bound: 3596 362.25/377.35 c current bound: 3596 362.59/377.89 c current bound: 3596 363.35/378.43 c current bound: 3596 363.69/378.98 c current bound: 3596 364.48/379.64 c current bound: 3596 364.77/380.19 c current bound: 3596 365.51/380.73 c current bound: 3596 365.84/381.27 c current bound: 3596 366.61/381.82 c current bound: 3596 366.93/382.36 c current bound: 3596 367.72/382.90 c current bound: 3596 368.02/383.44 c current bound: 3596 368.73/383.99 c current bound: 3596 369.35/384.80 c current bound: 3596 369.64/385.34 c current bound: 3596 370.19/385.88 c current bound: 3596 370.73/386.42 c current bound: 3596 371.27/386.97 c current bound: 3596 371.82/387.51 c current bound: 3596 372.35/388.05 c current bound: 3596 372.91/388.59 c current bound: 3596 373.45/389.14 c current bound: 3596 374.00/389.99 c current bound: 3596 374.77/390.53 c current bound: 3596 375.08/391.08 c current bound: 3596 375.87/391.62 c current bound: 3596 376.18/392.17 c current bound: 3596 376.96/392.71 c current bound: 3596 377.26/393.26 c current bound: 3596 377.97/393.80 c current bound: 3596 378.36/394.34 c current bound: 3596 379.15/395.06 c current bound: 3596 379.46/395.60 c current bound: 3596 380.20/396.14 c current bound: 3596 380.53/396.69 c current bound: 3596 381.29/397.23 c current bound: 3596 381.61/397.77 c current bound: 3596 382.39/398.31 c current bound: 3596 382.70/398.85 c current bound: 3596 383.41/399.39 c current bound: 3596 384.04/400.20 c current bound: 3596 384.34/400.74 c current bound: 3596 384.88/401.28 c current bound: 3596 385.42/401.82 c current bound: 3596 385.96/402.36 c current bound: 3596 386.51/402.91 c current bound: 3596 387.05/403.45 c current bound: 3596 387.60/403.99 c current bound: 3596 388.14/404.54 c current bound: 3596 388.95/405.36 c current bound: 3596 389.39/405.90 c current bound: 3596 389.78/406.45 c current bound: 3596 390.48/406.99 c current bound: 3596 390.85/407.53 c current bound: 3596 391.58/408.07 c current bound: 3596 391.93/408.62 c current bound: 3596 392.68/409.16 c current bound: 3596 393.03/409.70 c current bound: 3596 393.80/410.57 c current bound: 3596 394.11/411.11 c current bound: 3596 394.66/411.65 c current bound: 3596 395.46/412.20 c current bound: 3596 395.74/412.74 c current bound: 3596 396.28/413.28 c current bound: 3596 396.83/413.82 c current bound: 3596 397.38/414.37 c current bound: 3596 398.17/415.01 c current bound: 3596 398.46/415.55 c current bound: 3596 399.00/416.09 c current bound: 3596 399.55/416.63 c current bound: 3596 400.09/417.17 c current bound: 3596 400.64/417.72 c current bound: 3596 401.17/418.26 c current bound: 3596 401.71/418.80 c current bound: 3596 402.26/419.35 c current bound: 3596 403.08/419.90 c current bound: 3596 403.62/420.53 c current bound: 3596 403.91/421.08 c current bound: 3596 404.46/421.62 c current bound: 3596 404.99/422.17 c current bound: 3596 405.56/422.71 c current bound: 3596 406.10/423.27 c current bound: 3596 406.65/423.81 c current bound: 3596 407.20/424.36 c current bound: 3596 407.76/424.91 c current bound: 3596 408.55/425.71 c current bound: 3596 408.84/426.26 c current bound: 3596 409.65/426.80 c current bound: 3596 409.93/427.36 c current bound: 3596 410.63/427.90 c current bound: 3596 411.02/428.44 c current bound: 3596 411.74/428.98 c current bound: 3596 412.11/429.52 c current bound: 3596 412.84/430.06 c current bound: 3596 413.19/430.74 c current bound: 3596 413.89/431.28 c current bound: 3596 414.28/431.83 c current bound: 3596 415.03/432.37 c current bound: 3596 415.38/432.91 c current bound: 3596 416.12/433.45 c current bound: 3596 416.73/434.00 c current bound: 3596 417.23/434.54 c current bound: 3596 417.57/435.08 c current bound: 3596 418.35/435.89 c current bound: 3596 418.63/436.43 c current bound: 3596 419.19/436.97 c current bound: 3596 419.73/437.51 c current bound: 3596 420.28/438.06 c current bound: 3596 421.08/438.60 c current bound: 3596 421.36/439.14 c current bound: 3596 421.91/439.68 c current bound: 3596 422.44/440.22 c current bound: 3596 422.98/440.92 c current bound: 3596 423.53/441.46 c current bound: 3596 424.08/442.00 c current bound: 3596 424.62/442.54 c current bound: 3596 425.16/443.08 c current bound: 3596 425.70/443.63 c current bound: 3596 426.24/444.17 c current bound: 3596 426.79/444.71 c current bound: 3596 427.35/445.25 c current bound: 3596 427.89/445.91 c current bound: 3596 428.43/446.45 c current bound: 3596 428.97/446.99 c current bound: 3596 429.51/447.53 c current bound: 3596 430.05/448.07 c current bound: 3596 430.59/448.62 c current bound: 3596 431.14/449.16 c current bound: 3596 431.94/449.70 c current bound: 3596 432.22/450.24 c current bound: 3596 433.02/451.09 c current bound: 3596 433.31/451.64 c current bound: 3596 434.04/452.18 c current bound: 3596 434.42/452.72 c current bound: 3596 435.15/453.26 c current bound: 3596 435.50/453.80 c current bound: 3596 436.25/454.35 c current bound: 3596 436.60/454.89 c current bound: 3596 437.35/455.43 c current bound: 3596 437.68/456.25 c current bound: 3596 438.22/456.79 c current bound: 3596 438.76/457.34 c current bound: 3596 439.30/457.88 c current bound: 3596 439.84/458.42 c current bound: 3596 440.38/458.96 c current bound: 3596 440.93/459.51 c current bound: 3596 441.49/460.05 c current bound: 3596 442.02/460.59 c current bound: 3596 442.81/461.41 c current bound: 3596 443.32/461.95 c current bound: 3596 443.65/462.49 c current bound: 3596 444.40/463.03 c current bound: 3596 444.73/463.59 c current bound: 3596 445.52/464.13 c current bound: 3596 445.83/464.67 c current bound: 3596 446.60/465.21 c current bound: 3596 446.90/465.76 c current bound: 3596 447.69/466.32 c current bound: 3596 448.00/466.87 c current bound: 3596 448.79/467.41 c current bound: 3596 449.08/467.95 c current bound: 3596 449.62/468.49 c current bound: 3596 450.17/469.04 c current bound: 3596 450.72/469.58 c current bound: 3596 451.27/470.12 c current bound: 3596 451.81/470.67 c current bound: 3596 452.62/471.44 c current bound: 3596 453.07/471.99 c current bound: 3596 453.44/472.53 c current bound: 3596 454.16/473.07 c current bound: 3596 454.52/473.61 c current bound: 3596 455.27/474.16 c current bound: 3596 455.88/474.70 c current bound: 3596 456.36/475.24 c current bound: 3596 456.69/475.78 c current bound: 3596 457.51/476.60 c current bound: 3596 457.78/477.14 c current bound: 3596 458.33/477.68 c current bound: 3596 458.88/478.24 c current bound: 3596 459.44/478.78 c current bound: 3596 459.97/479.33 c current bound: 3596 460.52/479.87 c current bound: 3596 461.07/480.41 c current bound: 3596 461.61/480.96 c current bound: 3596 462.15/481.68 c current bound: 3596 462.70/482.22 c current bound: 3596 463.24/482.77 c current bound: 3596 463.78/483.31 c current bound: 3596 464.32/483.85 c current bound: 3596 465.13/484.40 c current bound: 3596 465.69/485.00 c current bound: 3596 465.96/485.54 c current bound: 3596 466.52/486.09 c current bound: 3596 467.05/486.88 c current bound: 3596 467.82/487.44 c current bound: 3596 468.17/487.99 c current bound: 3596 468.93/488.53 c current bound: 3596 469.25/489.07 c current bound: 3596 470.03/489.61 c current bound: 3596 470.33/490.16 c current bound: 3596 471.14/490.70 c current bound: 3596 471.43/491.24 c current bound: 3596 472.22/491.94 c current bound: 3596 472.52/492.48 c current bound: 3596 473.06/493.02 c current bound: 3596 473.60/493.57 c current bound: 3596 474.15/494.11 c current bound: 3596 474.69/494.66 c current bound: 3596 475.25/495.21 c current bound: 3596 475.79/495.75 c current bound: 3596 476.34/496.29 c current bound: 3596 477.14/497.14 c current bound: 3596 477.42/497.68 c current bound: 3596 478.22/498.22 c current bound: 3596 478.53/498.76 c current bound: 3596 479.33/499.30 c current bound: 3596 479.60/499.84 c current bound: 3596 480.15/500.39 c current bound: 3596 480.69/500.93 c current bound: 3596 481.23/501.47 c current bound: 3596 481.77/502.19 c current bound: 3596 482.56/502.73 c current bound: 3596 482.86/503.27 c current bound: 3596 483.65/503.82 c current bound: 3596 483.94/504.36 c current bound: 3596 484.66/504.90 c current bound: 3596 485.04/505.44 c current bound: 3596 485.75/505.99 c current bound: 3596 486.13/506.53 c current bound: 3596 486.94/507.35 c current bound: 3596 487.22/507.89 c current bound: 3596 487.77/508.44 c current bound: 3596 488.32/508.98 c current bound: 3596 488.85/509.52 c current bound: 3596 489.40/510.06 c current bound: 3596 489.96/510.61 c current bound: 3596 490.50/511.15 c current bound: 3596 491.04/511.69 c current bound: 3596 491.82/512.51 c current bound: 3596 492.13/513.05 c current bound: 3596 492.67/513.59 c current bound: 3596 493.21/514.13 c current bound: 3596 493.74/514.67 c current bound: 3596 494.29/515.21 c current bound: 3596 494.84/515.75 c current bound: 3596 495.39/516.29 c current bound: 3596 495.92/516.83 c current bound: 3596 496.72/517.51 c current bound: 3596 497.20/518.05 c current bound: 3596 497.54/518.59 c current bound: 3596 498.30/519.13 c current bound: 3596 498.62/519.67 c current bound: 3596 499.41/520.21 c current bound: 3596 499.72/520.75 c current bound: 3596 500.26/521.30 c current bound: 3596 500.81/521.84 c current bound: 3596 501.61/522.63 c current bound: 3596 501.89/523.17 c current bound: 3596 502.67/523.71 c current bound: 3596 502.97/524.25 c current bound: 3596 503.68/524.80 c current bound: 3596 504.07/525.34 c current bound: 3596 504.78/525.88 c current bound: 3596 505.16/526.42 c current bound: 3596 505.89/526.96 c current bound: 3596 506.53/527.76 c current bound: 3596 506.80/528.31 c current bound: 3596 507.34/528.85 c current bound: 3596 507.89/529.39 c current bound: 3596 508.44/529.94 c current bound: 3596 508.98/530.48 c current bound: 3596 509.53/531.02 c current bound: 3596 510.07/531.56 c current bound: 3596 510.61/532.11 c current bound: 3596 511.17/532.93 c current bound: 3596 511.88/533.47 c current bound: 3596 512.25/534.01 c current bound: 3596 513.00/534.55 c current bound: 3596 513.34/535.09 c current bound: 3596 514.10/535.63 c current bound: 3596 514.42/536.17 c current bound: 3596 515.20/536.72 c current bound: 3596 515.50/537.26 c current bound: 3596 516.30/537.95 c current bound: 3596 516.85/538.50 c current bound: 3596 517.35/539.04 c current bound: 3596 517.67/539.59 c current bound: 3596 518.44/540.13 c current bound: 3596 518.78/540.67 c current bound: 3596 519.55/541.21 c current bound: 3596 519.85/541.75 c current bound: 3596 520.56/542.29 c current bound: 3596 521.21/543.00 c current bound: 3596 521.71/543.54 c current bound: 3596 522.04/544.08 c current bound: 3596 522.79/544.62 c current bound: 3596 523.12/545.17 c current bound: 3596 523.90/545.71 c current bound: 3596 524.21/546.25 c current bound: 3596 525.02/546.80 c current bound: 3596 525.31/547.34 c current bound: 3596 526.10/548.15 c current bound: 3596 526.39/548.69 c current bound: 3596 526.93/549.24 c current bound: 3596 527.47/549.78 c current bound: 3596 528.01/550.32 c current bound: 3596 528.56/550.87 c current bound: 3596 529.10/551.41 c current bound: 3596 529.64/551.95 c current bound: 3596 530.18/552.49 c current bound: 3596 530.97/553.28 c current bound: 3596 531.27/553.82 c current bound: 3596 532.01/554.37 c current bound: 3596 532.63/555.01 c current bound: 3596 533.12/555.55 c current bound: 3596 533.45/556.09 c current bound: 3596 534.21/556.64 c current bound: 3596 534.54/557.18 c current bound: 3596 535.32/557.73 c current bound: 3596 535.64/558.56 c current bound: 3596 536.18/559.11 c current bound: 3596 536.71/559.65 c current bound: 3596 537.26/560.19 c current bound: 3596 537.80/560.74 c current bound: 3596 538.34/561.28 c current bound: 3596 538.90/561.82 c current bound: 3596 539.44/562.36 c current bound: 3596 539.98/562.90 c current bound: 3596 540.53/563.49 c current bound: 3596 541.07/564.03 c current bound: 3596 541.61/564.58 c current bound: 3596 542.17/565.12 c current bound: 3596 542.71/565.66 c current bound: 3596 543.25/566.21 c current bound: 3596 543.79/566.75 c current bound: 3596 544.33/567.29 c current bound: 3596 544.87/567.83 c current bound: 3596 545.67/568.68 c current bound: 3596 545.96/569.22 c current bound: 3596 546.72/569.77 c current bound: 3596 547.07/570.31 c current bound: 3596 547.80/570.85 c current bound: 3596 548.14/571.39 c current bound: 3596 548.92/571.93 c current bound: 3596 549.23/572.47 c current bound: 3596 550.01/573.02 c current bound: 3596 550.32/573.80 c current bound: 3596 551.07/574.35 c current bound: 3596 551.41/574.89 c current bound: 3596 552.16/575.43 c current bound: 3596 552.49/575.97 c current bound: 3596 553.27/576.52 c current bound: 3596 553.59/577.06 c current bound: 3596 554.38/577.60 c current bound: 3596 554.67/578.15 c current bound: 3596 555.47/578.96 c current bound: 3596 555.77/579.50 c current bound: 3596 556.31/580.04 c current bound: 3596 556.86/580.58 c current bound: 3596 557.39/581.13 c current bound: 3596 557.93/581.67 c current bound: 3596 558.48/582.21 c current bound: 3596 559.02/582.75 c current bound: 3596 559.57/583.29 c current bound: 3596 560.37/584.12 c current bound: 3596 560.67/584.66 c current bound: 3596 561.47/585.20 c current bound: 3596 561.75/585.75 c current bound: 3596 562.47/586.29 c current bound: 3596 562.84/586.83 c current bound: 3596 563.56/587.37 c current bound: 3596 563.92/587.91 c current bound: 3596 564.67/588.46 c current bound: 3596 565.03/589.06 c current bound: 3596 565.82/589.61 c current bound: 3596 566.12/590.15 c current bound: 3596 566.83/590.70 c current bound: 3596 567.21/591.24 c current bound: 3596 567.93/591.79 c current bound: 3596 568.30/592.33 c current bound: 3596 569.03/592.88 c current bound: 3596 569.40/593.43 c current bound: 3596 570.22/594.25 c current bound: 3596 570.78/594.80 c current bound: 3596 571.06/595.34 c current bound: 3596 571.60/595.88 c current bound: 3596 572.14/596.42 c current bound: 3596 572.68/596.96 c current bound: 3596 573.23/597.50 c current bound: 3596 573.77/598.04 c current bound: 3596 574.32/598.58 c current bound: 3596 575.12/599.41 c current bound: 3596 575.41/599.96 c current bound: 3596 575.96/600.50 c current bound: 3596 576.50/601.04 c current bound: 3596 577.03/601.59 c current bound: 3596 577.59/602.14 c current bound: 3596 578.13/602.68 c current bound: 3596 578.68/603.22 c current bound: 3596 579.22/603.76 c current bound: 3596 580.03/604.66 c current bound: 3596 580.57/605.20 c current bound: 3596 580.84/605.74 c current bound: 3596 581.38/606.28 c current bound: 3596 581.93/606.82 c current bound: 3596 582.47/607.37 c current bound: 3596 583.01/607.91 c current bound: 3596 583.75/608.45 c current bound: 3596 584.37/609.00 c current bound: 3596 584.89/609.64 c current bound: 3596 585.19/610.18 c current bound: 3596 585.73/610.73 c current bound: 3596 586.26/611.27 c current bound: 3596 586.81/611.81 c current bound: 3596 587.36/612.35 c current bound: 3596 588.17/612.90 c current bound: 3596 588.45/613.44 c current bound: 3596 589.00/613.98 c current bound: 3596 589.54/614.53 c current bound: 3596 590.08/615.09 c current bound: 3596 590.63/615.63 c current bound: 3596 591.18/616.18 c current bound: 3596 591.73/616.73 c current bound: 3596 592.27/617.28 c current bound: 3596 592.82/617.84 c current bound: 3596 593.38/618.38 c current bound: 3596 593.93/618.92 c current bound: 3596 594.48/619.46 c current bound: 3596 595.01/620.00 c current bound: 3596 595.77/620.55 c current bound: 3596 596.11/621.10 c current bound: 3596 596.85/621.65 c current bound: 3596 597.20/622.19 c current bound: 3596 597.96/622.73 c current bound: 3596 598.28/623.28 c current bound: 3596 599.04/623.83 c current bound: 3596 599.36/624.37 c current bound: 3596 600.16/625.21 c current bound: 3596 600.45/625.75 c current bound: 3596 601.00/626.29 c current bound: 3596 601.55/626.84 c current bound: 3596 602.09/627.38 c current bound: 3596 602.63/627.93 c current bound: 3596 603.18/628.47 c current bound: 3596 603.73/629.02 c current bound: 3596 604.28/629.56 c current bound: 3596 605.06/630.42 c current bound: 3596 605.36/630.96 c current bound: 3596 606.15/631.51 c current bound: 3596 606.45/632.05 c current bound: 3596 607.15/632.59 c current bound: 3596 607.53/633.14 c current bound: 3596 608.25/633.68 c current bound: 3596 608.62/634.23 c current bound: 3596 609.35/634.77 c current bound: 3596 609.98/635.60 c current bound: 3596 610.26/636.14 c current bound: 3596 610.80/636.68 c current bound: 3596 611.34/637.22 c current bound: 3596 611.87/637.77 c current bound: 3596 612.43/638.31 c current bound: 3596 612.98/638.86 c current bound: 3596 613.78/639.40 c current bound: 3596 614.05/639.94 c current bound: 3596 614.87/640.50 c current bound: 3596 615.15/641.05 c current bound: 3596 615.70/641.59 c current bound: 3596 616.25/642.14 c current bound: 3596 616.79/642.68 c current bound: 3596 617.33/643.22 c current bound: 3596 617.88/643.77 c current bound: 3596 618.42/644.31 c current bound: 3596 618.97/644.86 c current bound: 3596 619.52/645.40 c current bound: 3596 620.05/645.95 c current bound: 3596 620.86/646.50 c current bound: 3596 621.14/647.04 c current bound: 3596 621.69/647.58 c current bound: 3596 622.24/648.13 c current bound: 3596 622.78/648.68 c current bound: 3596 623.32/649.22 c current bound: 3596 623.88/649.76 c current bound: 3596 624.43/650.30 c current bound: 3596 624.97/650.84 c current bound: 3596 625.50/651.39 c current bound: 3596 626.05/651.93 c current bound: 3596 626.59/652.47 c current bound: 3596 627.13/653.02 c current bound: 3596 627.86/653.56 c current bound: 3596 628.22/654.10 c current bound: 3596 628.97/654.65 c current bound: 3596 629.31/655.19 c current bound: 3596 630.10/656.03 c current bound: 3596 630.39/656.57 c current bound: 3596 630.94/657.11 c current bound: 3596 631.49/657.65 c current bound: 3596 632.03/658.19 c current bound: 3596 632.57/658.74 c current bound: 3596 633.10/659.28 c current bound: 3596 633.65/659.82 c current bound: 3596 634.21/660.36 c current bound: 3596 635.02/661.18 c current bound: 3596 635.30/661.73 c current bound: 3596 636.04/662.27 c current bound: 3596 636.39/662.81 c current bound: 3596 637.14/663.35 c current bound: 3596 637.74/663.90 c current bound: 3596 638.23/664.44 c current bound: 3596 638.57/664.99 c current bound: 3596 639.35/665.53 c current bound: 3596 639.64/666.20 c current bound: 3596 640.41/666.74 c current bound: 3596 640.75/667.29 c current bound: 3596 641.53/667.83 c current bound: 3596 641.85/668.38 c current bound: 3596 642.64/668.92 c current bound: 3596 642.95/669.46 c current bound: 3596 643.74/670.01 c current bound: 3596 644.02/670.55 c current bound: 3596 644.83/671.34 c current bound: 3596 645.12/671.88 c current bound: 3596 645.66/672.43 c current bound: 3596 646.21/672.97 c current bound: 3596 646.77/673.51 c current bound: 3596 647.30/674.05 c current bound: 3596 647.84/674.60 c current bound: 3596 648.38/675.15 c current bound: 3596 648.93/675.69 c current bound: 3596 649.74/676.52 c current bound: 3596 650.03/677.06 c current bound: 3596 650.71/677.60 c current bound: 3596 651.11/678.14 c current bound: 3596 651.83/678.68 c current bound: 3596 652.19/679.22 c current bound: 3596 652.91/679.77 c current bound: 3596 653.29/680.31 c current bound: 3596 654.03/680.86 c current bound: 3596 654.37/681.57 c current bound: 3596 655.14/682.11 c current bound: 3596 655.45/682.65 c current bound: 3596 656.25/683.20 c current bound: 3596 656.55/683.75 c current bound: 3596 657.37/684.30 c current bound: 3596 657.64/684.84 c current bound: 3596 658.37/685.38 c current bound: 3596 658.75/685.93 c current bound: 3596 659.54/686.60 c current bound: 3596 659.83/687.14 c current bound: 3596 660.38/687.69 c current bound: 3596 660.92/688.23 c current bound: 3596 661.46/688.78 c current bound: 3596 662.01/689.32 c current bound: 3596 662.56/689.87 c current bound: 3596 663.11/690.41 c current bound: 3596 663.83/690.95 c current bound: 3596 664.19/691.61 c current bound: 3596 664.74/692.16 c current bound: 3596 665.54/692.70 c current bound: 3596 665.84/693.24 c current bound: 3596 666.38/693.79 c current bound: 3596 666.92/694.33 c current bound: 3596 667.45/694.87 c current bound: 3596 668.00/695.42 c current bound: 3596 668.55/695.96 c current bound: 3596 669.10/696.78 c current bound: 3596 669.88/697.32 c current bound: 3596 670.18/697.86 c current bound: 3596 671.00/698.41 c current bound: 3596 671.27/698.95 c current bound: 3596 671.82/699.49 c current bound: 3596 672.36/700.04 c current bound: 3596 672.90/700.58 c current bound: 3596 673.45/701.12 c current bound: 3596 674.26/701.93 c current bound: 3596 674.52/702.47 c current bound: 3596 675.29/703.02 c current bound: 3596 675.61/703.56 c current bound: 3596 676.40/704.10 c current bound: 3596 676.71/704.64 c current bound: 3596 677.40/705.19 c current bound: 3596 677.78/705.74 c current bound: 3596 678.51/706.28 c current bound: 3596 678.88/707.10 c current bound: 3596 679.41/707.64 c current bound: 3596 679.96/708.19 c current bound: 3596 680.50/708.73 c current bound: 3596 681.05/709.27 c current bound: 3596 681.59/709.81 c current bound: 3596 682.14/710.35 c current bound: 3596 682.96/710.90 c current bound: 3596 683.23/711.44 c current bound: 3596 683.77/712.12 c current bound: 3596 684.31/712.66 c current bound: 3596 684.85/713.21 c current bound: 3596 685.40/713.75 c current bound: 3596 685.95/714.29 c current bound: 3596 686.49/714.83 c current bound: 3596 687.03/715.38 c current bound: 3596 687.57/715.92 c current bound: 3596 688.11/716.46 c current bound: 3596 688.90/717.15 c current bound: 3596 689.21/717.69 c current bound: 3596 689.98/718.23 c current bound: 3596 690.29/718.77 c current bound: 3596 691.07/719.31 c current bound: 3596 691.37/719.86 c current bound: 3596 691.93/720.40 c current bound: 3596 692.46/720.94 c current bound: 3596 693.01/721.48 c current bound: 3596 693.56/722.13 c current bound: 3596 694.28/722.67 c current bound: 3596 694.64/723.22 c current bound: 3596 695.37/723.76 c current bound: 3596 695.73/724.30 c current bound: 3596 696.48/724.84 c current bound: 3596 696.82/725.38 c current bound: 3596 697.58/725.93 c current bound: 3596 697.92/726.47 c current bound: 3596 698.69/727.01 c current bound: 3596 698.98/727.56 c current bound: 3596 699.54/728.10 c current bound: 3596 700.08/728.64 c current bound: 3596 700.63/729.19 c current bound: 3596 701.18/729.73 c current bound: 3596 701.73/730.27 c current bound: 3596 702.27/730.81 c current bound: 3596 702.82/731.35 c current bound: 3596 703.35/731.91 c current bound: 3596 703.90/732.45 c current bound: 3596 704.45/732.99 c current bound: 3596 704.99/733.53 c current bound: 3596 705.54/734.08 c current bound: 3596 706.08/734.62 c current bound: 3596 706.64/735.16 c current bound: 3596 707.18/735.71 c current bound: 3596 707.73/736.25 c current bound: 3596 708.53/736.80 c current bound: 3596 709.08/737.43 c current bound: 3596 709.35/737.97 c current bound: 3596 709.91/738.51 c current bound: 3596 710.44/739.07 c current bound: 3596 710.99/739.61 c current bound: 3596 711.55/740.15 c current bound: 3596 712.08/740.69 c current bound: 3596 712.63/741.23 c current bound: 3596 713.16/741.78 c current bound: 3596 713.98/742.56 c current bound: 3596 714.26/743.11 c current bound: 3596 715.01/743.66 c current bound: 3596 715.36/744.20 c current bound: 3596 716.11/744.74 c current bound: 3596 716.44/745.28 c current bound: 3596 717.21/745.83 c current bound: 3596 717.52/746.37 c current bound: 3596 718.29/746.91 c current bound: 3596 718.60/747.68 c current bound: 3596 719.15/748.23 c current bound: 3596 719.69/748.77 c current bound: 3596 720.23/749.33 c current bound: 3596 720.80/749.87 c current bound: 3596 721.33/750.41 c current bound: 3596 721.88/750.95 c current bound: 3596 722.41/751.49 c current bound: 3596 722.95/752.03 c current bound: 3596 723.50/752.88 c current bound: 3596 724.27/753.42 c current bound: 3596 724.58/753.97 c current bound: 3596 725.38/754.51 c current bound: 3596 725.67/755.05 c current bound: 3596 726.21/755.59 c current bound: 3596 726.76/756.13 c current bound: 3596 727.31/756.68 c current bound: 3596 727.86/757.22 c current bound: 3596 728.65/758.02 c current bound: 3596 728.93/758.56 c current bound: 3596 729.72/759.10 c current bound: 3596 730.03/759.64 c current bound: 3596 730.74/760.19 c current bound: 3596 731.11/760.73 c current bound: 3596 731.83/761.29 c current bound: 3596 732.20/761.84 c current bound: 3596 732.93/762.38 c current bound: 3596 733.30/763.06 c current bound: 3596 734.10/763.60 c current bound: 3596 734.38/764.14 c current bound: 3596 734.93/764.68 c current bound: 3596 735.48/765.23 c current bound: 3596 736.01/765.77 c current bound: 3596 736.55/766.31 c current bound: 3596 737.31/766.85 c current bound: 3596 737.92/767.40 c current bound: 3596 738.45/768.19 c current bound: 3596 738.73/768.74 c current bound: 3596 739.27/769.28 c current bound: 3596 739.82/769.82 c current bound: 3596 740.36/770.36 c current bound: 3596 740.90/770.92 c current bound: 3596 741.46/771.46 c current bound: 3596 742.00/772.00 c current bound: 3596 742.55/772.54 c current bound: 3596 743.34/773.34 c current bound: 3596 743.62/773.88 c current bound: 3596 744.42/774.42 c current bound: 3596 744.72/774.97 c current bound: 3596 745.51/775.52 c current bound: 3596 745.81/776.06 c current bound: 3596 746.61/776.61 c current bound: 3596 746.90/777.15 c current bound: 3596 747.60/777.69 c current bound: 3596 747.98/778.51 c current bound: 3596 748.52/779.05 c current bound: 3596 749.06/779.60 c current bound: 3596 749.62/780.14 c current bound: 3596 750.16/780.68 c current bound: 3596 750.69/781.23 c current bound: 3596 751.24/781.77 c current bound: 3596 751.79/782.31 c current bound: 3596 752.33/782.85 c current bound: 3596 753.14/783.62 c current bound: 3596 753.41/784.16 c current bound: 3596 753.96/784.70 c current bound: 3596 754.49/785.25 c current bound: 3596 755.03/785.78 c current bound: 3596 755.57/786.33 c current bound: 3596 756.12/786.87 c current bound: 3596 756.66/787.41 c current bound: 3596 757.20/787.95 c current bound: 3596 758.00/788.61 c current bound: 3596 758.29/789.16 c current bound: 3596 758.82/789.70 c current bound: 3596 759.37/790.24 c current bound: 3596 759.92/790.78 c current bound: 3596 760.46/791.33 c current bound: 3596 761.01/791.87 c current bound: 3596 761.56/792.42 c current bound: 3596 762.10/792.96 c current bound: 3596 762.64/793.66 c current bound: 3596 763.35/794.20 c current bound: 3596 763.74/794.75 c current bound: 3596 764.45/795.30 c current bound: 3596 764.83/795.84 c current bound: 3596 765.55/796.38 c current bound: 3596 765.91/796.93 c current bound: 3596 766.65/797.47 c current bound: 3596 766.99/798.01 c current bound: 3596 767.81/798.84 c current bound: 3596 768.09/799.38 c current bound: 3596 768.62/799.92 c current bound: 3596 769.15/800.47 c current bound: 3596 769.71/801.01 c current bound: 3596 770.25/801.55 c current bound: 3596 771.06/802.10 c current bound: 3596 771.34/802.64 c current bound: 3596 771.88/803.18 c current bound: 3596 772.71/803.99 c current bound: 3596 772.98/804.53 c current bound: 3596 773.53/805.07 c current bound: 3596 774.07/805.61 c current bound: 3596 774.63/806.15 c current bound: 3596 775.42/806.70 c current bound: 3596 775.69/807.24 c current bound: 3596 776.23/807.78 c current bound: 3596 776.78/808.32 c current bound: 3596 777.60/808.96 c current bound: 3596 778.13/809.52 c current bound: 3596 778.43/810.06 c current bound: 3596 778.97/810.60 c current bound: 3596 779.51/811.14 c current bound: 3596 780.04/811.68 c current bound: 3596 780.60/812.23 c current bound: 3596 781.14/812.77 c current bound: 3596 781.69/813.31 c current bound: 3596 782.49/814.15 c current bound: 3596 782.77/814.69 c current bound: 3596 783.55/815.23 c current bound: 3596 783.87/815.77 c current bound: 3596 784.64/816.32 c current bound: 3596 784.94/816.86 c current bound: 3596 785.73/817.40 c current bound: 3596 786.02/817.94 c current bound: 3596 786.73/818.49 c current bound: 3596 787.37/819.28 c current bound: 3596 787.66/819.82 c current bound: 3596 788.20/820.36 c current bound: 3596 788.74/820.90 c current bound: 3596 789.27/821.45 c current bound: 3596 789.82/821.99 c current bound: 3596 790.36/822.53 c current bound: 3596 790.89/823.07 c current bound: 3596 791.44/823.61 c current bound: 3596 791.98/824.46 c current bound: 3596 792.79/825.00 c current bound: 3596 793.07/825.55 c current bound: 3596 793.80/826.09 c current bound: 3596 794.17/826.63 c current bound: 3596 794.88/827.18 c current bound: 3596 795.24/827.72 c current bound: 3596 795.98/828.27 c current bound: 3596 796.34/828.81 c current bound: 3596 797.13/829.65 c current bound: 3596 797.42/830.20 c current bound: 3596 797.97/830.74 c current bound: 3596 798.50/831.28 c current bound: 3596 799.04/831.83 c current bound: 3596 799.59/832.37 c current bound: 3596 800.13/832.92 c current bound: 3596 800.69/833.46 c current bound: 3596 801.23/834.02 c current bound: 3596 801.77/834.56 c current bound: 3596 802.32/835.10 c current bound: 3596 802.87/835.65 c current bound: 3596 803.42/836.19 c current bound: 3596 803.95/836.73 c current bound: 3596 804.49/837.27 c current bound: 3596 805.03/837.81 c current bound: 3596 805.78/838.36 c current bound: 3596 806.12/838.91 c current bound: 3596 806.86/839.45 c current bound: 3596 807.22/840.01 c current bound: 3596 807.94/840.56 c current bound: 3596 808.56/841.10 c current bound: 3596 809.05/841.64 c current bound: 3596 809.38/842.18 c current bound: 3596 810.15/842.73 c current bound: 3596 810.47/843.28 c current bound: 3596 811.25/843.83 c current bound: 3596 811.56/844.37 c current bound: 3596 812.36/844.91 c current bound: 3596 812.65/845.46 c current bound: 3596 813.45/846.00 c current bound: 3596 813.74/846.54 c current bound: 3596 814.44/847.09 c current bound: 3596 814.84/847.63 c current bound: 3596 815.56/848.17 c current bound: 3596 815.92/848.71 c current bound: 3596 816.66/849.25 c current bound: 3596 817.00/850.04 c current bound: 3596 817.55/850.59 c current bound: 3596 818.09/851.13 c current bound: 3596 818.66/851.68 c current bound: 3596 819.19/852.22 c current bound: 3596 819.74/852.77 c current bound: 3596 820.29/853.31 c current bound: 3596 820.83/853.86 c current bound: 3596 821.63/854.40 c current bound: 3596 821.92/855.19 c current bound: 3596 822.68/855.73 c current bound: 3596 822.99/856.27 c current bound: 3596 823.78/856.82 c current bound: 3596 824.08/857.36 c current bound: 3596 824.89/857.90 c current bound: 3596 825.17/858.45 c current bound: 3596 825.71/858.99 c current bound: 3596 826.25/859.53 c current bound: 3596 827.04/860.22 c current bound: 3596 827.33/860.76 c current bound: 3596 828.11/861.31 c current bound: 3596 828.43/861.85 c current bound: 3596 829.13/862.39 c current bound: 3596 829.52/862.93 c current bound: 3596 830.23/863.47 c current bound: 3596 830.59/864.02 c current bound: 3596 831.34/864.56 c current bound: 3596 831.69/865.22 c current bound: 3596 832.42/865.77 c current bound: 3596 832.76/866.31 c current bound: 3596 833.52/866.85 c current bound: 3596 833.87/867.39 c current bound: 3596 834.63/867.94 c current bound: 3596 834.95/868.48 c current bound: 3596 835.73/869.02 c current bound: 3596 836.03/869.56 c current bound: 3596 836.84/870.36 c current bound: 3596 837.12/870.91 c current bound: 3596 837.67/871.45 c current bound: 3596 838.20/871.99 c current bound: 3596 838.74/872.53 c current bound: 3596 839.29/873.07 c current bound: 3596 839.83/873.62 c current bound: 3596 840.39/874.16 c current bound: 3596 840.93/874.70 c current bound: 3596 841.72/875.54 c current bound: 3596 842.03/876.08 c current bound: 3596 842.79/876.62 c current bound: 3596 843.11/877.16 c current bound: 3596 843.91/877.71 c current bound: 3596 844.20/878.25 c current bound: 3596 844.73/878.79 c current bound: 3596 845.27/879.33 c current bound: 3596 845.82/879.88 c current bound: 3596 846.36/880.42 c current bound: 3596 846.92/880.96 c current bound: 3596 847.46/881.50 c current bound: 3596 848.00/882.04 c current bound: 3596 848.55/882.59 c current bound: 3596 849.09/883.14 c current bound: 3596 849.64/883.69 c current bound: 3596 850.18/884.25 c current bound: 3596 851.02/884.80 c current bound: 3596 851.54/885.59 c current bound: 3596 851.85/886.13 c current bound: 3596 852.57/886.67 c current bound: 3596 852.92/887.21 c current bound: 3596 853.67/887.75 c current bound: 3596 854.00/888.30 c current bound: 3596 854.78/888.85 c current bound: 3596 855.10/889.39 c current bound: 3596 855.86/889.93 c current bound: 3596 856.19/890.65 c current bound: 3596 856.74/891.19 c current bound: 3596 857.28/891.73 c current bound: 3596 857.82/892.28 c current bound: 3596 858.37/892.82 c current bound: 3596 858.90/893.36 c current bound: 3596 859.45/893.90 c current bound: 3596 860.20/894.44 c current bound: 3596 860.53/894.98 c current bound: 3596 861.33/895.78 c current bound: 3596 861.62/896.33 c current bound: 3596 862.17/896.87 c current bound: 3596 862.71/897.41 c current bound: 3596 863.26/897.95 c current bound: 3596 863.80/898.49 c current bound: 3596 864.34/899.03 c current bound: 3596 864.88/899.57 c current bound: 3596 865.44/900.11 c current bound: 3596 865.99/900.79 c current bound: 3596 866.53/901.34 c current bound: 3596 867.06/901.88 c current bound: 3596 867.61/902.43 c current bound: 3596 868.16/902.97 c current bound: 3596 868.69/903.51 c current bound: 3596 869.24/904.06 c current bound: 3596 870.07/904.60 c current bound: 3596 870.34/905.14 c current bound: 3596 870.89/905.89 c current bound: 3596 871.67/906.43 c current bound: 3596 871.98/906.97 c current bound: 3596 872.77/907.52 c current bound: 3596 873.08/908.06 c current bound: 3596 873.88/908.60 c current bound: 3596 874.16/909.14 c current bound: 3596 874.87/909.69 c current bound: 3596 875.25/910.23 c current bound: 3596 876.05/911.03 c current bound: 3596 876.34/911.57 c current bound: 3596 876.89/912.12 c current bound: 3596 877.43/912.66 c current bound: 3596 877.97/913.20 c current bound: 3596 878.51/913.75 c current bound: 3596 879.34/914.30 c current bound: 3596 879.62/914.84 c current bound: 3596 880.16/915.38 c current bound: 3596 880.96/916.14 c current bound: 3596 881.25/916.68 c current bound: 3596 881.79/917.23 c current bound: 3596 882.34/917.78 c current bound: 3596 882.88/918.32 c current bound: 3596 883.42/918.86 c current bound: 3596 883.96/919.41 c current bound: 3596 884.50/919.95 c current bound: 3596 885.06/920.49 c current bound: 3596 885.60/921.28 c current bound: 3596 886.37/921.83 c current bound: 3596 886.69/922.37 c current bound: 3596 887.48/922.91 c current bound: 3596 887.78/923.45 c current bound: 3596 888.49/923.99 c current bound: 3596 888.86/924.54 c current bound: 3596 889.57/925.08 c current bound: 3596 889.96/925.62 c current bound: 3596 890.75/926.43 c current bound: 3596 891.04/926.97 c current bound: 3596 891.59/927.52 c current bound: 3596 892.14/928.06 c current bound: 3596 892.68/928.60 c current bound: 3596 893.22/929.14 c current bound: 3596 893.77/929.69 c current bound: 3596 894.31/930.23 c current bound: 3596 894.85/930.77 c current bound: 3596 895.40/931.46 c current bound: 3596 895.93/932.01 c current bound: 3596 896.49/932.55 c current bound: 3596 897.03/933.09 c current bound: 3596 897.56/933.65 c current bound: 3596 898.12/934.19 c current bound: 3596 898.68/934.73 c current bound: 3596 899.21/935.27 c current bound: 3596 899.75/935.81 c current bound: 3596 900.30/936.64 c current bound: 3596 901.01/937.19 c current bound: 3596 901.40/937.73 c current bound: 3596 902.12/938.28 c current bound: 3596 902.49/938.82 c current bound: 3596 903.22/939.37 c current bound: 3596 903.58/939.91 c current bound: 3596 904.33/940.45 c current bound: 3596 904.94/941.00 c current bound: 3596 905.44/941.54 c current bound: 3596 905.77/942.08 c current bound: 3596 906.54/942.63 c current bound: 3596 906.87/943.17 c current bound: 3596 907.64/943.72 c current bound: 3596 907.94/944.26 c current bound: 3596 908.76/944.80 c current bound: 3596 909.05/945.35 c current bound: 3596 909.59/945.89 c current bound: 3596 910.13/946.43 c current bound: 3596 910.68/946.97 c current bound: 3596 911.20/947.51 c current bound: 3596 911.76/948.06 c current bound: 3596 912.56/948.60 c current bound: 3596 912.84/949.14 c current bound: 3596 913.39/949.68 c current bound: 3596 913.93/950.23 c current bound: 3596 914.48/950.77 c current bound: 3596 915.03/951.31 c current bound: 3596 915.83/952.11 c current bound: 3596 916.32/952.65 c current bound: 3596 916.66/953.19 c current bound: 3596 917.42/953.73 c current bound: 3596 917.75/954.28 c current bound: 3596 918.52/954.82 c current bound: 3596 918.84/955.36 c current bound: 3596 919.54/955.90 c current bound: 3596 919.92/956.44 c current bound: 3596 920.72/957.11 c current bound: 3596 921.02/957.65 c current bound: 3596 921.72/958.20 c current bound: 3596 922.10/958.73 c current bound: 3596 922.80/959.28 c current bound: 3596 923.17/959.82 c current bound: 3596 923.92/960.36 c current bound: 3596 924.25/960.90 c current bound: 3596 925.01/961.44 c current bound: 3596 925.34/962.22 c current bound: 3596 925.89/962.76 c current bound: 3596 926.44/963.30 c current bound: 3596 926.98/963.84 c current bound: 3596 927.53/964.38 c current bound: 3596 928.07/964.93 c current bound: 3596 928.62/965.47 c current bound: 3596 929.16/966.01 c current bound: 3596 929.71/966.55 c current bound: 3596 930.26/967.38 c current bound: 3596 931.02/967.93 c current bound: 3596 931.34/968.48 c current bound: 3596 932.13/969.02 c current bound: 3596 932.43/969.56 c current bound: 3596 933.24/970.10 c current bound: 3596 933.52/970.64 c current bound: 3596 934.07/971.18 c current bound: 3596 934.60/971.72 c current bound: 3596 935.39/972.56 c current bound: 3596 935.70/973.10 c current bound: 3596 936.45/973.64 c current bound: 3596 936.78/974.19 c current bound: 3596 937.54/974.73 c current bound: 3596 937.86/975.27 c current bound: 3596 938.62/975.81 c current bound: 3596 938.95/976.36 c current bound: 3596 939.76/976.90 c current bound: 3596 940.05/977.55 c current bound: 3596 940.60/978.09 c current bound: 3596 941.13/978.63 c current bound: 3596 941.67/979.17 c current bound: 3596 942.22/979.72 c current bound: 3596 942.77/980.26 c current bound: 3596 943.31/980.81 c current bound: 3596 944.05/981.35 c current bound: 3596 944.40/981.89 c current bound: 3596 945.17/982.43 c current bound: 3596 945.48/982.98 c current bound: 3596 946.26/983.52 c current bound: 3596 946.57/984.07 c current bound: 3596 947.35/984.61 c current bound: 3596 947.66/985.15 c current bound: 3596 948.36/985.69 c current bound: 3596 948.74/986.23 c current bound: 3596 949.46/986.77 c current bound: 3596 949.82/987.32 c current bound: 3596 950.56/987.86 c current bound: 3596 951.16/988.40 c current bound: 3596 951.66/988.94 c current bound: 3596 951.99/989.48 c current bound: 3596 952.77/990.02 c current bound: 3596 953.09/990.57 c current bound: 3596 953.87/991.11 c current bound: 3596 954.17/991.65 c current bound: 3596 954.87/992.19 c current bound: 3596 955.52/993.02 c current bound: 3596 955.79/993.57 c current bound: 3596 956.34/994.11 c current bound: 3596 956.88/994.66 c current bound: 3596 957.71/995.20 c current bound: 3596 957.99/995.74 c current bound: 3596 958.53/996.28 c current bound: 3596 959.08/996.83 c current bound: 3596 959.62/997.37 c current bound: 3596 960.17/998.21 c current bound: 3596 960.92/998.75 c current bound: 3596 961.26/999.29 c current bound: 3596 962.02/999.84 c current bound: 3596 962.34/1000.38 c current bound: 3596 963.13/1000.92 c current bound: 3596 963.43/1001.46 c current bound: 3596 963.98/1002.00 c current bound: 3596 964.52/1002.54 c current bound: 3596 965.08/1003.08 c current bound: 3596 965.62/1003.63 c current bound: 3596 966.16/1004.17 c current bound: 3596 966.70/1004.73 c current bound: 3596 967.26/1005.27 c current bound: 3596 967.79/1005.81 c current bound: 3596 968.35/1006.36 c current bound: 3596 969.14/1006.90 c current bound: 3596 969.42/1007.44 c current bound: 3596 969.97/1008.27 c current bound: 3596 970.76/1008.82 c current bound: 3596 971.06/1009.36 c current bound: 3596 971.86/1009.90 c current bound: 3596 972.16/1010.44 c current bound: 3596 972.87/1010.98 c current bound: 3596 973.25/1011.53 c current bound: 3596 973.99/1012.07 c current bound: 3596 974.34/1012.61 c current bound: 3596 975.13/1013.31 c current bound: 3596 975.42/1013.86 c current bound: 3596 976.23/1014.40 c current bound: 3596 976.50/1014.94 c current bound: 3596 977.05/1015.49 c current bound: 3596 977.59/1016.03 c current bound: 3596 978.13/1016.57 c current bound: 3596 978.67/1017.11 c current bound: 3596 979.41/1017.65 c current bound: 3596 979.77/1018.50 c current bound: 3596 980.31/1019.04 c current bound: 3596 980.85/1019.58 c current bound: 3596 981.38/1020.12 c current bound: 3596 981.93/1020.66 c current bound: 3596 982.47/1021.20 c current bound: 3596 983.01/1021.75 c current bound: 3596 983.57/1022.29 c current bound: 3596 984.10/1022.83 c current bound: 3596 984.64/1023.66 c current bound: 3596 985.45/1024.20 c current bound: 3596 985.73/1024.74 c current bound: 3596 986.44/1025.28 c current bound: 3596 986.81/1025.83 c current bound: 3596 987.55/1026.37 c current bound: 3596 987.90/1026.91 c current bound: 3596 988.66/1027.46 c current bound: 3596 989.26/1028.00 c current bound: 3596 989.76/1028.54 c current bound: 3596 990.08/1029.08 c current bound: 3596 990.85/1029.62 c current bound: 3596 991.18/1030.17 c current bound: 3596 991.97/1030.71 c current bound: 3596 992.26/1031.25 c current bound: 3596 992.97/1031.80 c current bound: 3596 993.35/1032.34 c current bound: 3596 994.07/1032.88 c current bound: 3596 994.70/1033.70 c current bound: 3596 994.98/1034.24 c current bound: 3596 995.53/1034.78 c current bound: 3596 996.08/1035.33 c current bound: 3596 996.62/1035.87 c current bound: 3596 997.16/1036.41 c current bound: 3596 997.69/1036.95 c current bound: 3596 998.23/1037.49 c current bound: 3596 998.78/1038.03 c current bound: 3596 999.33/1038.86 c current bound: 3596 1000.38/1039.40 c current bound: 3596 1000.68/1040.06 c current bound: 3596 1001.11/1040.60 c current bound: 3596 1001.50/1041.14 c current bound: 3596 1002.21/1041.69 c current bound: 3596 1002.58/1042.23 c current bound: 3596 1003.30/1042.77 c current bound: 3596 1003.68/1043.31 c current bound: 3596 1004.41/1043.87 c current bound: 3596 1004.77/1044.41 c current bound: 3596 1005.50/1044.95 c current bound: 3596 1005.84/1045.49 c current bound: 3596 1006.62/1046.03 c current bound: 3596 1006.93/1046.58 c current bound: 3596 1007.71/1047.12 c current bound: 3596 1008.03/1047.66 c current bound: 3596 1008.84/1048.20 c current bound: 3596 1009.38/1049.03 c current bound: 3596 1009.66/1049.57 c current bound: 3596 1010.21/1050.11 c current bound: 3596 1010.93/1050.65 c current bound: 3596 1011.54/1051.20 c current bound: 3596 1012.03/1051.74 c current bound: 3596 1012.39/1052.29 c current bound: 3596 1013.14/1052.83 c current bound: 3596 1013.47/1053.37 c current bound: 3596 1014.28/1054.07 c current bound: 3596 1014.57/1054.61 c current bound: 3596 1015.11/1055.15 c current bound: 3596 1015.93/1055.70 c current bound: 3596 1016.21/1056.24 c current bound: 3596 1016.75/1056.79 c current bound: 3596 1017.29/1057.33 c current bound: 3596 1017.83/1057.87 c current bound: 3596 1018.37/1058.41 c current bound: 3596 1019.15/1059.25 c current bound: 3596 1019.46/1059.79 c current bound: 3596 1020.22/1060.33 c current bound: 3596 1020.54/1060.87 c current bound: 3596 1021.30/1061.41 c current bound: 3596 1021.62/1061.97 c current bound: 3596 1022.41/1062.51 c current bound: 3596 1022.73/1063.05 c current bound: 3596 1023.27/1063.60 c current bound: 3596 1024.09/1064.42 c current bound: 3596 1024.55/1064.97 c current bound: 3596 1024.91/1065.51 c current bound: 3596 1025.65/1066.05 c current bound: 3596 1026.29/1066.60 c current bound: 3596 1026.78/1067.14 c current bound: 3596 1027.11/1067.69 c current bound: 3596 1027.88/1068.23 c current bound: 3596 1028.19/1068.78 c current bound: 3596 1028.98/1069.58 c current bound: 3596 1029.30/1070.13 c current bound: 3596 1029.84/1070.67 c current bound: 3596 1030.38/1071.22 c current bound: 3596 1030.93/1071.76 c current bound: 3596 1031.74/1072.30 c current bound: 3596 1032.02/1072.84 c current bound: 3596 1032.57/1073.38 c current bound: 3596 1033.10/1073.92 c current bound: 3596 1033.91/1074.69 c current bound: 3596 1034.20/1075.23 c current bound: 3596 1034.93/1075.77 c current bound: 3596 1035.29/1076.32 c current bound: 3596 1036.03/1076.86 c current bound: 3596 1036.38/1077.40 c current bound: 3596 1037.13/1077.94 c current bound: 3596 1037.48/1078.48 c current bound: 3596 1038.25/1079.02 c current bound: 3596 1038.55/1079.69 c current bound: 3596 1039.31/1080.24 c current bound: 3596 1039.63/1080.78 c current bound: 3596 1040.42/1081.32 c current bound: 3596 1040.73/1081.87 c current bound: 3596 1041.52/1082.41 c current bound: 3596 1041.82/1082.95 c current bound: 3596 1042.52/1083.49 c current bound: 3596 1042.90/1084.04 c current bound: 3596 1043.70/1084.90 c current bound: 3596 1043.99/1085.44 c current bound: 3596 1044.54/1085.98 c current bound: 3596 1045.08/1086.52 c current bound: 3596 1045.62/1087.06 c current bound: 3596 1046.16/1087.60 c current bound: 3596 1046.70/1088.14 c current bound: 3596 1047.26/1088.69 c current bound: 3596 1047.79/1089.23 c current bound: 3596 1048.58/1090.07 c current bound: 3596 1048.87/1090.61 c current bound: 3596 1049.63/1091.15 c current bound: 3596 1049.97/1091.69 c current bound: 3596 1050.72/1092.24 c current bound: 3596 1051.06/1092.78 c current bound: 3596 1051.82/1093.32 c current bound: 3596 1052.14/1093.87 c current bound: 3596 1052.93/1094.41 c current bound: 3596 1053.50/1095.21 c current bound: 3596 1053.98/1095.75 c current bound: 3596 1054.32/1096.29 c current bound: 3596 1055.10/1096.83 c current bound: 3596 1055.42/1097.38 c current bound: 3596 1056.19/1097.92 c current bound: 3596 1056.50/1098.47 c current bound: 3596 1057.30/1099.01 c current bound: 3596 1057.61/1099.55 c current bound: 3596 1058.42/1100.37 c current bound: 3596 1058.69/1100.92 c current bound: 3596 1059.25/1101.46 c current bound: 3596 1059.79/1102.01 c current bound: 3596 1060.34/1102.55 c current bound: 3596 1060.88/1103.09 c current bound: 3596 1061.44/1103.63 c current bound: 3596 1061.99/1104.18 c current bound: 3596 1062.53/1104.73 c current bound: 3596 1063.34/1105.34 c current bound: 3596 1063.62/1105.89 c current bound: 3596 1064.17/1106.43 c current bound: 3596 1064.71/1106.97 c current bound: 3596 1065.25/1107.52 c current bound: 3596 1065.80/1108.06 c current bound: 3596 1066.35/1108.62 c current bound: 3596 1066.92/1109.16 c current bound: 3596 1067.44/1109.71 c current bound: 3596 1068.00/1110.44 c current bound: 3596 1068.72/1110.98 c current bound: 3596 1069.10/1111.52 c current bound: 3596 1069.83/1112.07 c current bound: 3596 1070.19/1112.61 c current bound: 3596 1070.93/1113.15 c current bound: 3596 1071.26/1113.69 c current bound: 3596 1072.02/1114.23 c current bound: 3596 1072.34/1114.77 c current bound: 3596 1073.12/1115.55 c current bound: 3596 1073.43/1116.09 c current bound: 3596 1074.18/1116.63 c current bound: 3596 1074.51/1117.17 c current bound: 3596 1075.29/1117.71 c current bound: 3596 1075.59/1118.25 c current bound: 3596 1076.41/1118.80 c current bound: 3596 1076.68/1119.35 c current bound: 3596 1077.40/1119.89 c current bound: 3596 1078.04/1120.53 c current bound: 3596 1078.33/1121.07 c current bound: 3596 1078.87/1121.61 c current bound: 3596 1079.61/1122.15 c current bound: 3596 1079.96/1122.69 c current bound: 3596 1080.71/1123.23 c current bound: 3596 1081.05/1123.77 c current bound: 3596 1081.82/1124.32 c current bound: 3596 1082.13/1124.86 c current bound: 3596 1082.92/1125.41 c current bound: 3596 1083.24/1125.98 c current bound: 3596 1084.00/1126.53 c current bound: 3596 1084.32/1127.07 c current bound: 3596 1085.09/1127.61 c current bound: 3596 1085.40/1128.15 c current bound: 3596 1086.22/1128.70 c current bound: 3596 1086.50/1129.24 c current bound: 3596 1087.22/1129.78 c current bound: 3596 1087.58/1130.32 c current bound: 3596 1088.32/1130.87 c current bound: 3596 1088.68/1131.41 c current bound: 3596 1089.42/1131.95 c current bound: 3596 1090.02/1132.50 c current bound: 3596 1090.52/1133.04 c current bound: 3596 1090.85/1133.58 c current bound: 3596 1091.63/1134.12 c current bound: 3596 1091.94/1134.66 c current bound: 3596 1092.75/1135.21 c current bound: 3596 1093.29/1136.02 c current bound: 3596 1093.57/1136.56 c current bound: 3596 1094.36/1137.10 c current bound: 3596 1094.65/1137.65 c current bound: 3596 1095.22/1138.19 c current bound: 3596 1095.76/1138.73 c current bound: 3596 1096.28/1139.29 c current bound: 3596 1096.85/1139.83 c current bound: 3596 1097.39/1140.38 c current bound: 3596 1098.21/1141.19 c current bound: 3596 1098.70/1141.73 c current bound: 3596 1099.03/1142.27 c current bound: 3596 1099.80/1142.82 c current bound: 3596 1100.12/1143.36 c current bound: 3596 1100.66/1143.90 c current bound: 3596 1101.20/1144.44 c current bound: 3596 1102.02/1145.08 c current bound: 3596 1102.29/1145.62 c current bound: 3596 1103.11/1146.41 c current bound: 3596 1103.40/1146.95 c current bound: 3596 1103.94/1147.50 c current bound: 3596 1104.49/1148.05 c current bound: 3596 1105.04/1148.59 c current bound: 3596 1105.57/1149.13 c current bound: 3596 1106.14/1149.68 c current bound: 3596 1106.66/1150.22 c current bound: 3596 1107.21/1150.76 c current bound: 3596 1108.00/1151.69 c current bound: 3596 1108.30/1152.23 c current bound: 3596 1109.02/1152.78 c current bound: 3596 1109.38/1153.32 c current bound: 3596 1110.13/1153.86 c current bound: 3596 1110.47/1154.40 c current bound: 3596 1111.22/1154.94 c current bound: 3596 1111.56/1155.48 c current bound: 3596 1112.33/1156.03 c current bound: 3596 1112.65/1156.57 c current bound: 3596 1113.43/1157.12 c current bound: 3596 1113.75/1157.67 c current bound: 3596 1114.54/1158.22 c current bound: 3596 1114.85/1158.77 c current bound: 3596 1115.63/1159.33 c current bound: 3596 1115.96/1159.89 c current bound: 3596 1116.74/1160.44 c current bound: 3596 1117.07/1160.99 c current bound: 3596 1117.87/1161.67 c current bound: 3596 1118.14/1162.22 c current bound: 3596 1118.90/1162.76 c current bound: 3596 1119.24/1163.30 c current bound: 3596 1119.99/1163.85 c current bound: 3596 1120.32/1164.39 c current bound: 3596 1121.09/1164.94 c current bound: 3596 1121.41/1165.48 c current bound: 3596 1122.19/1166.02 c current bound: 3596 1122.50/1166.56 c current bound: 3596 1123.30/1167.11 c current bound: 3596 1123.58/1167.65 c current bound: 3596 1124.29/1168.19 c current bound: 3596 1124.67/1168.73 c current bound: 3596 1125.40/1169.28 c current bound: 3596 1125.75/1169.82 c current bound: 3596 1126.49/1170.36 c current bound: 3596 1126.84/1170.91 c current bound: 3596 1127.65/1171.59 c current bound: 3596 1127.93/1172.13 c current bound: 3596 1128.65/1172.67 c current bound: 3596 1129.01/1173.21 c current bound: 3596 1129.75/1173.75 c current bound: 3596 1130.10/1174.29 c current bound: 3596 1130.86/1174.84 c current bound: 3596 1131.19/1175.38 c current bound: 3596 1131.96/1175.92 c current bound: 3596 1132.28/1176.63 c current bound: 3596 1132.82/1177.18 c current bound: 3596 1133.38/1177.72 c current bound: 3596 1133.90/1178.26 c current bound: 3596 1134.45/1178.81 c current bound: 3596 1135.20/1179.35 c current bound: 3596 1135.54/1179.89 c current bound: 3596 1136.30/1180.43 c current bound: 3596 1136.63/1180.98 c current bound: 3596 1137.43/1181.69 c current bound: 3596 1137.72/1182.23 c current bound: 3596 1138.26/1182.77 c current bound: 3596 1138.79/1183.31 c current bound: 3596 1139.34/1183.85 c current bound: 3596 1139.88/1184.39 c current bound: 3596 1140.42/1184.94 c current bound: 3596 1140.98/1185.48 c current bound: 3596 1141.52/1186.03 c current bound: 3596 1142.07/1186.74 c current bound: 3596 1142.61/1187.29 c current bound: 3596 1143.15/1187.83 c current bound: 3596 1143.69/1188.38 c current bound: 3596 1144.23/1188.92 c current bound: 3596 1144.79/1189.46 c current bound: 3596 1145.34/1190.00 c current bound: 3596 1145.88/1190.54 c current bound: 3596 1146.42/1191.08 c current bound: 3596 1147.23/1191.81 c current bound: 3596 1147.71/1192.36 c current bound: 3596 1148.05/1192.90 c current bound: 3596 1148.80/1193.44 c current bound: 3596 1149.13/1193.99 c current bound: 3596 1149.91/1194.53 c current bound: 3596 1150.23/1195.07 c current bound: 3596 1151.02/1195.62 c current bound: 3596 1151.34/1196.16 c current bound: 3596 1152.13/1196.89 c current bound: 3596 1152.42/1197.43 c current bound: 3596 1153.16/1197.97 c current bound: 3596 1153.52/1198.51 c current bound: 3596 1154.25/1199.05 c current bound: 3596 1154.86/1199.60 c current bound: 3596 1155.35/1200.14 c current bound: 3596 1155.68/1200.68 c current bound: 3596 1156.44/1201.22 c current bound: 3596 1157.01/1201.93 c current bound: 3596 1157.30/1202.48 c current bound: 3596 1157.84/1203.02 c current bound: 3596 1158.40/1203.56 c current bound: 3596 1158.94/1204.10 c current bound: 3596 1159.68/1204.64 c current bound: 3596 1160.02/1205.18 c current bound: 3596 1160.78/1205.73 c current bound: 3596 1161.10/1206.27 c current bound: 3596 1161.89/1206.97 c current bound: 3596 1162.19/1207.51 c current bound: 3596 1162.75/1208.06 c current bound: 3596 1163.56/1208.60 c current bound: 3596 1163.84/1209.14 c current bound: 3596 1164.38/1209.68 c current bound: 3596 1164.92/1210.24 c current bound: 3596 1165.48/1210.78 c current bound: 3596 1166.03/1211.32 c current bound: 3596 1166.57/1211.98 c current bound: 3596 1167.12/1212.52 c current bound: 3596 1167.66/1213.06 c current bound: 3596 1168.20/1213.60 c current bound: 3596 1168.73/1214.16 c current bound: 3596 1169.29/1214.70 c current bound: 3596 1169.84/1215.24 c current bound: 3596 1170.39/1215.79 c current bound: 3596 1170.93/1216.33 c current bound: 3596 1171.48/1217.02 c current bound: 3596 1172.02/1217.57 c current bound: 3596 1172.58/1218.11 c current bound: 3596 1173.12/1218.65 c current bound: 3596 1173.68/1219.20 c current bound: 3596 1174.22/1219.74 c current bound: 3596 1174.76/1220.29 c current bound: 3596 1175.31/1220.83 c current bound: 3596 1175.84/1221.39 c current bound: 3596 1176.66/1222.03 c current bound: 3596 1176.94/1222.57 c current bound: 3596 1177.73/1223.11 c current bound: 3596 1178.02/1223.65 c current bound: 3596 1178.56/1224.19 c current bound: 3596 1179.11/1224.73 c current bound: 3596 1179.66/1225.28 c current bound: 3596 1180.20/1225.82 c current bound: 3596 1180.75/1226.36 c current bound: 3596 1181.29/1227.10 c current bound: 3596 1182.05/1227.65 c current bound: 3596 1182.39/1228.19 c current bound: 3596 1183.15/1228.73 c current bound: 3596 1183.47/1229.27 c current bound: 3596 1184.26/1229.82 c current bound: 3596 1184.55/1230.36 c current bound: 3596 1185.26/1230.90 c current bound: 3596 1185.63/1231.44 c current bound: 3596 1186.44/1232.25 c current bound: 3596 1186.73/1232.79 c current bound: 3596 1187.26/1233.33 c current bound: 3596 1187.81/1233.87 c current bound: 3596 1188.35/1234.41 c current bound: 3596 1188.90/1234.95 c current bound: 3596 1189.43/1235.49 c current bound: 3596 1189.98/1236.04 c current bound: 3596 1190.52/1236.58 c current bound: 3596 1191.06/1237.14 c current bound: 3596 1191.61/1237.68 c current bound: 3596 1192.16/1238.23 c current bound: 3596 1192.70/1238.77 c current bound: 3596 1193.24/1239.31 c current bound: 3596 1193.98/1239.85 c current bound: 3596 1194.33/1240.39 c current bound: 3596 1195.08/1240.94 c current bound: 3596 1195.41/1241.48 c current bound: 3596 1196.22/1242.16 c current bound: 3596 1196.50/1242.71 c current bound: 3596 1197.04/1243.25 c current bound: 3596 1197.58/1243.79 c current bound: 3596 1198.13/1244.33 c current bound: 3596 1198.68/1244.87 c current bound: 3596 1199.21/1245.44 c current bound: 3596 1199.78/1245.99 c current bound: 3596 1200.33/1246.53 c current bound: 3596 1200.88/1247.25 c current bound: 3596 1201.69/1247.80 c current bound: 3596 1201.97/1248.35 c current bound: 3596 1202.53/1248.89 c current bound: 3596 1203.07/1249.43 c current bound: 3596 1203.89/1250.00 c current bound: 3596 1204.17/1250.55 c current bound: 3596 1204.70/1251.09 c current bound: 3596 1205.25/1251.63 c current bound: 3596 1205.80/1252.33 c current bound: 3596 1206.52/1252.87 c current bound: 3596 1206.89/1253.42 c current bound: 3596 1207.63/1253.96 c current bound: 3596 1207.98/1254.50 c current bound: 3596 1208.72/1255.05 c current bound: 3596 1209.07/1255.59 c current bound: 3596 1209.83/1256.13 c current bound: 3596 1210.15/1256.67 c current bound: 3596 1210.93/1257.29 c current bound: 3596 1211.24/1257.83 c current bound: 3596 1211.96/1258.39 c current bound: 3596 1212.34/1258.93 c current bound: 3596 1213.08/1259.47 c current bound: 3596 1213.44/1260.01 c current bound: 3596 1214.19/1260.55 c current bound: 3596 1214.54/1261.09 c current bound: 3596 1215.30/1261.64 c current bound: 3596 1215.62/1262.34 c current bound: 3596 1216.35/1262.88 c current bound: 3596 1216.71/1263.42 c current bound: 3596 1217.45/1263.96 c current bound: 3596 1217.80/1264.50 c current bound: 3596 1218.54/1265.05 c current bound: 3596 1218.88/1265.59 c current bound: 3596 1219.65/1266.14 c current bound: 3596 1219.98/1266.69 c current bound: 3596 1220.79/1267.33 c current bound: 3596 1221.07/1267.88 c current bound: 3596 1221.85/1268.43 c current bound: 3596 1222.17/1268.97 c current bound: 3596 1222.94/1269.52 c current bound: 3596 1223.27/1270.06 c current bound: 3596 1224.05/1270.60 c current bound: 3596 1224.35/1271.14 c current bound: 3596 1225.16/1271.70 c current bound: 3596 1225.71/1272.42 c current bound: 3596 1226.00/1272.96 c current bound: 3596 1226.53/1273.51 c current bound: 3596 1227.08/1274.05 c current bound: 3596 1227.63/1274.59 c current bound: 3596 1228.16/1275.14 c current bound: 3596 1228.71/1275.68 c current bound: 3596 1229.26/1276.23 c current bound: 3596 1229.81/1276.77 c current bound: 3596 1230.34/1277.48 c current bound: 3596 1230.89/1278.02 c current bound: 3596 1231.44/1278.57 c current bound: 3596 1231.98/1279.11 c current bound: 3596 1232.53/1279.65 c current bound: 3596 1233.06/1280.19 c current bound: 3596 1233.61/1280.74 c current bound: 3596 1234.16/1281.28 c current bound: 3596 1234.70/1281.82 c current bound: 3596 1235.50/1282.50 c current bound: 3596 1235.77/1283.05 c current bound: 3596 1236.32/1283.60 c current bound: 3596 1236.86/1284.14 c current bound: 3596 1237.42/1284.68 c current bound: 3596 1237.96/1285.22 c current bound: 3596 1238.50/1285.76 c current bound: 3596 1239.05/1286.31 c current bound: 3596 1239.60/1286.85 c current bound: 3596 1240.41/1287.53 c current bound: 3596 1240.88/1288.07 c current bound: 3596 1241.23/1288.62 c current bound: 3596 1241.98/1289.16 c current bound: 3596 1242.59/1289.70 c current bound: 3596 1243.08/1290.24 c current bound: 3596 1243.42/1290.78 c current bound: 3596 1244.19/1291.32 c current bound: 3596 1244.49/1291.87 c current bound: 3596 1245.31/1292.56 c current bound: 3596 1245.85/1293.10 c current bound: 3596 1246.35/1293.64 c current bound: 3596 1246.67/1294.18 c current bound: 3596 1247.44/1294.73 c current bound: 3596 1247.78/1295.27 c current bound: 3596 1248.56/1295.81 c current bound: 3596 1248.87/1296.35 c current bound: 3596 1249.55/1296.90 c current bound: 3596 1250.21/1297.61 c current bound: 3596 1250.69/1298.16 c current bound: 3596 1251.31/1298.70 c current bound: 3596 1251.79/1299.24 c current bound: 3596 1252.12/1299.78 c current bound: 3596 1252.88/1300.32 c current bound: 3596 1253.21/1300.86 c current bound: 3596 1254.00/1301.41 c current bound: 3596 1254.30/1301.95 c current bound: 3596 1255.11/1302.80 c current bound: 3596 1255.39/1303.34 c current bound: 3596 1255.94/1303.89 c current bound: 3596 1256.48/1304.43 c current bound: 3596 1257.02/1304.98 c current bound: 3596 1257.57/1305.52 c current bound: 3596 1258.11/1306.06 c current bound: 3596 1258.65/1306.61 c current bound: 3596 1259.20/1307.15 c current bound: 3596 1259.75/1307.71 c current bound: 3596 1260.31/1308.25 c current bound: 3596 1260.85/1308.80 c current bound: 3596 1261.41/1309.34 c current bound: 3596 1261.95/1309.89 c current bound: 3596 1262.50/1310.43 c current bound: 3596 1263.05/1310.97 c current bound: 3596 1263.58/1311.52 c current bound: 3596 1264.13/1312.06 c current bound: 3596 1264.93/1312.71 c current bound: 3596 1265.21/1313.27 c current bound: 3596 1265.79/1313.82 c current bound: 3596 1266.34/1314.36 c current bound: 3596 1267.14/1314.90 c current bound: 3596 1267.42/1315.44 c current bound: 3596 1267.96/1315.98 c current bound: 3596 1268.50/1316.53 c current bound: 3596 1269.05/1317.07 c current bound: 3596 1269.84/1317.73 c current bound: 3596 1270.13/1318.28 c current bound: 3596 1270.91/1318.82 c current bound: 3596 1271.24/1319.36 c current bound: 3596 1272.04/1319.90 c current bound: 3596 1272.31/1320.45 c current bound: 3596 1272.86/1320.99 c current bound: 3596 1273.40/1321.53 c current bound: 3596 1273.94/1322.07 c current bound: 3596 1274.49/1322.74 c current bound: 3596 1275.20/1323.28 c current bound: 3596 1275.58/1323.83 c current bound: 3596 1276.30/1324.37 c current bound: 3596 1276.66/1324.92 c current bound: 3596 1277.41/1325.46 c current bound: 3596 1277.77/1326.01 c current bound: 3596 1278.51/1326.55 c current bound: 3596 1279.13/1327.10 c current bound: 3596 1279.67/1327.80 c current bound: 3596 1279.96/1328.35 c current bound: 3596 1280.67/1328.89 c current bound: 3596 1281.05/1329.45 c current bound: 3596 1281.77/1329.99 c current bound: 3596 1282.15/1330.53 c current bound: 3596 1282.87/1331.07 c current bound: 3596 1283.22/1331.61 c current bound: 3596 1283.96/1332.15 c current bound: 3596 1284.57/1332.83 c current bound: 3596 1284.85/1333.37 c current bound: 3596 1285.39/1333.91 c current bound: 3596 1286.13/1334.46 c current bound: 3596 1286.75/1335.00 c current bound: 3596 1287.24/1335.54 c current bound: 3596 1287.58/1336.08 c current bound: 3596 1288.33/1336.62 c current bound: 3596 1288.65/1337.16 c current bound: 3596 1289.46/1338.02 c current bound: 3596 1289.76/1338.56 c current bound: 3596 1290.30/1339.10 c current bound: 3596 1290.85/1339.64 c current bound: 3596 1291.67/1340.20 c current bound: 3596 1291.95/1340.74 c current bound: 3596 1292.49/1341.28 c current bound: 3596 1293.04/1341.83 c current bound: 3596 1293.59/1342.39 c current bound: 3596 1294.15/1342.99 c current bound: 3596 1294.70/1343.53 c current bound: 3596 1295.24/1344.08 c current bound: 3596 1295.79/1344.62 c current bound: 3596 1296.33/1345.16 c current bound: 3596 1296.87/1345.70 c current bound: 3596 1297.42/1346.25 c current bound: 3596 1297.96/1346.79 c current bound: 3596 1298.50/1347.33 c current bound: 3596 1299.30/1347.99 c current bound: 3596 1299.81/1348.53 c current bound: 3596 1300.13/1349.07 c current bound: 3596 1300.92/1349.61 c current bound: 3596 1301.21/1350.15 c current bound: 3596 1301.76/1350.70 c current bound: 3596 1302.31/1351.24 c current bound: 3596 1302.85/1351.78 c current bound: 3596 1303.40/1352.34 c current bound: 3596 1304.20/1353.00 c current bound: 3596 1304.50/1353.55 c current bound: 3596 1305.22/1354.09 c current bound: 3596 1305.59/1354.64 c current bound: 3596 1306.32/1355.18 c current bound: 3596 1306.69/1355.72 c current bound: 3596 1307.42/1356.27 c current bound: 3596 1307.76/1356.81 c current bound: 3596 1308.52/1357.36 c current bound: 3596 1308.88/1358.05 c current bound: 3596 1309.57/1358.59 c current bound: 3596 1309.96/1359.13 c current bound: 3596 1310.68/1359.67 c current bound: 3596 1311.04/1360.21 c current bound: 3596 1311.79/1360.76 c current bound: 3596 1312.13/1361.30 c current bound: 3596 1312.89/1361.84 c current bound: 3596 1313.22/1362.38 c current bound: 3596 1314.02/1363.09 c current bound: 3596 1314.31/1363.64 c current bound: 3596 1314.88/1364.18 c current bound: 3596 1315.41/1364.72 c current bound: 3596 1315.95/1365.26 c current bound: 3596 1316.51/1365.81 c current bound: 3596 1317.25/1366.35 c current bound: 3596 1317.59/1366.89 c current bound: 3596 1318.34/1367.43 c current bound: 3596 1318.94/1368.11 c current bound: 3596 1319.22/1368.65 c current bound: 3596 1319.77/1369.19 c current bound: 3596 1320.31/1369.73 c current bound: 3596 1320.85/1370.27 c current bound: 3596 1321.37/1370.82 c current bound: 3596 1321.92/1371.36 c current bound: 3596 1322.48/1371.91 c current bound: 3596 1323.03/1372.45 c current bound: 3596 1323.57/1373.13 c current bound: 3596 1324.11/1373.69 c current bound: 3596 1324.67/1374.23 c current bound: 3596 1325.21/1374.77 c current bound: 3596 1325.76/1375.31 c current bound: 3596 1326.30/1375.85 c current bound: 3596 1326.84/1376.39 c current bound: 3596 1327.38/1376.94 c current bound: 3596 1327.93/1377.48 c current bound: 3596 1328.48/1378.17 c current bound: 3596 1329.03/1378.71 c current bound: 3596 1329.58/1379.26 c current bound: 3596 1330.39/1379.80 c current bound: 3596 1330.67/1380.34 c current bound: 3596 1331.20/1380.88 c current bound: 3596 1331.75/1381.43 c current bound: 3596 1332.29/1381.97 c current bound: 3596 1332.84/1382.51 c current bound: 3596 1333.38/1383.36 c current bound: 3596 1334.18/1383.90 c current bound: 3596 1334.48/1384.44 c current bound: 3596 1335.20/1384.98 c current bound: 3596 1335.56/1385.52 c current bound: 3596 1336.30/1386.07 c current bound: 3596 1336.64/1386.61 c current bound: 3596 1337.39/1387.16 c current bound: 3596 1337.74/1387.70 c current bound: 3596 1338.49/1388.25 c current bound: 3596 1338.83/1388.79 c current bound: 3596 1339.58/1389.34 c current bound: 3596 1339.91/1389.88 c current bound: 3596 1340.68/1390.43 c current bound: 3596 1341.01/1390.97 c current bound: 3596 1341.80/1391.51 c current bound: 3596 1342.10/1392.06 c current bound: 3596 1342.91/1392.60 c current bound: 3596 1343.45/1393.28 c current bound: 3596 1343.96/1393.82 c current bound: 3596 1344.28/1394.36 c current bound: 3596 1345.07/1394.91 c current bound: 3596 1345.36/1395.45 c current bound: 3596 1346.07/1395.99 c current bound: 3596 1346.44/1396.53 c current bound: 3596 1347.17/1397.08 c current bound: 3596 1347.54/1397.62 c current bound: 3596 1348.34/1398.38 c current bound: 3596 1348.61/1398.93 c current bound: 3596 1349.17/1399.47 c current bound: 3596 1349.71/1400.01 c current bound: 3596 1350.26/1400.55 c current bound: 3596 1350.81/1401.09 c current bound: 3596 1351.34/1401.64 c current bound: 3596 1351.89/1402.18 c current bound: 3596 1352.43/1402.72 c current bound: 3596 1353.23/1403.34 c current bound: 3596 1353.52/1403.88 c current bound: 3596 1354.06/1404.42 c current bound: 3596 1354.60/1404.96 c current bound: 3596 1355.15/1405.50 c current bound: 3596 1355.69/1406.04 c current bound: 3596 1356.22/1406.59 c current bound: 3596 1356.77/1407.15 c current bound: 3596 1357.33/1407.69 c current bound: 3596 1357.88/1408.37 c current bound: 3596 1358.42/1408.92 c current bound: 3596 1358.98/1409.46 c current bound: 3596 1359.51/1410.00 c current bound: 3596 1360.06/1410.55 c current bound: 3596 1360.62/1411.09 c current bound: 3596 1361.16/1411.63 c current bound: 3596 1361.70/1412.18 c current bound: 3596 1362.24/1412.72 c current bound: 3596 1362.77/1413.40 c current bound: 3596 1363.32/1413.94 c current bound: 3596 1363.87/1414.48 c current bound: 3596 1364.41/1415.02 c current bound: 3596 1364.95/1415.56 c current bound: 3596 1365.49/1416.10 c current bound: 3596 1366.03/1416.64 c current bound: 3596 1366.57/1417.18 c current bound: 3596 1367.11/1417.73 c current bound: 3596 1367.92/1418.54 c current bound: 3596 1368.39/1419.08 c current bound: 3596 1368.75/1419.62 c current bound: 3596 1369.48/1420.16 c current bound: 3596 1369.84/1420.71 c current bound: 3596 1370.59/1421.25 c current bound: 3596 1370.93/1421.79 c current bound: 3596 1371.70/1422.34 c current bound: 3596 1372.03/1422.88 c current bound: 3596 1372.84/1423.64 c current bound: 3596 1373.12/1424.18 c current bound: 3596 1373.66/1424.72 c current bound: 3596 1374.21/1425.27 c current bound: 3596 1374.76/1425.81 c current bound: 3596 1375.30/1426.35 c current bound: 3596 1376.11/1426.90 c current bound: 3596 1376.39/1427.44 c current bound: 3596 1376.94/1427.99 c current bound: 3596 1377.50/1428.53 c current bound: 3596 1378.03/1429.08 c current bound: 3596 1378.58/1429.62 c current bound: 3596 1379.12/1430.16 c current bound: 3596 1379.67/1430.70 c current bound: 3596 1380.40/1431.25 c current bound: 3596 1380.75/1431.79 c current bound: 3596 1381.51/1432.33 c current bound: 3596 1381.85/1432.87 c current bound: 3596 1382.65/1433.57 c current bound: 3596 1382.93/1434.11 c current bound: 3596 1383.47/1434.65 c current bound: 3596 1384.29/1435.20 c current bound: 3596 1384.58/1435.75 c current bound: 3596 1385.13/1436.29 c current bound: 3596 1385.68/1436.83 c current bound: 3596 1386.21/1437.37 c current bound: 3596 1386.75/1437.92 c current bound: 3596 1387.57/1438.61 c current bound: 3596 1387.85/1439.15 c current bound: 3596 1388.40/1439.69 c current bound: 3596 1388.95/1440.24 c current bound: 3596 1389.48/1440.78 c current bound: 3596 1390.02/1441.33 c current bound: 3596 1390.57/1441.87 c current bound: 3596 1391.11/1442.41 c current bound: 3596 1391.66/1442.95 c current bound: 3596 1392.48/1443.60 c current bound: 3596 1392.75/1444.15 c current bound: 3596 1393.31/1444.69 c current bound: 3596 1393.85/1445.23 c current bound: 3596 1394.39/1445.78 c current bound: 3596 1394.95/1446.32 c current bound: 3596 1395.48/1446.86 c current bound: 3596 1396.02/1447.40 c current bound: 3596 1396.57/1447.95 c current bound: 3596 1397.36/1448.65 c current bound: 3596 1397.93/1449.20 c current bound: 3596 1398.42/1449.74 c current bound: 3596 1398.74/1450.28 c current bound: 3596 1399.52/1450.82 c current bound: 3596 1399.84/1451.37 c current bound: 3596 1400.62/1451.91 c current bound: 3596 1400.93/1452.45 c current bound: 3596 1401.47/1452.99 c current bound: 3596 1402.27/1453.66 c current bound: 3596 1402.81/1454.21 c current bound: 3596 1403.10/1454.75 c current bound: 3596 1403.81/1455.29 c current bound: 3596 1404.19/1455.83 c current bound: 3596 1404.91/1456.37 c current bound: 3596 1405.29/1456.92 c current bound: 3596 1406.03/1457.46 c current bound: 3596 1406.39/1458.00 c current bound: 3596 1407.16/1458.67 c current bound: 3596 1407.47/1459.23 c current bound: 3596 1408.21/1459.78 c current bound: 3596 1408.57/1460.32 c current bound: 3596 1409.30/1460.86 c current bound: 3596 1409.66/1461.41 c current bound: 3596 1410.41/1461.95 c current bound: 3596 1410.76/1462.49 c current bound: 3596 1411.52/1463.03 c current bound: 3596 1411.83/1463.72 c current bound: 3596 1412.37/1464.26 c current bound: 3596 1412.93/1464.80 c current bound: 3596 1413.67/1465.34 c current bound: 3596 1414.01/1465.89 c current bound: 3596 1414.78/1466.43 c current bound: 3596 1415.10/1466.97 c current bound: 3596 1415.88/1467.51 c current bound: 3596 1416.19/1468.06 c current bound: 3596 1417.01/1468.72 c current bound: 3596 1417.28/1469.26 c current bound: 3596 1417.81/1469.80 c current bound: 3596 1418.36/1470.35 c current bound: 3596 1418.89/1470.89 c current bound: 3596 1419.44/1471.43 c current bound: 3596 1419.99/1471.98 c current bound: 3596 1420.54/1472.52 c current bound: 3596 1421.27/1473.06 c current bound: 3596 1421.62/1473.87 c current bound: 3596 1422.18/1474.41 c current bound: 3596 1422.72/1474.96 c current bound: 3596 1423.27/1475.50 c current bound: 3596 1423.81/1476.05 c current bound: 3596 1424.36/1476.59 c current bound: 3596 1424.91/1477.14 c current bound: 3596 1425.46/1477.68 c current bound: 3596 1426.00/1478.23 c current bound: 3596 1426.54/1478.99 c current bound: 3596 1427.32/1479.53 c current bound: 3596 1427.64/1480.08 c current bound: 3596 1428.41/1480.62 c current bound: 3596 1428.74/1481.16 c current bound: 3596 1429.55/1481.71 c current bound: 3596 1429.83/1482.25 c current bound: 3596 1430.53/1482.79 c current bound: 3596 1430.91/1483.33 c current bound: 3596 1431.71/1483.99 c current bound: 3596 1432.02/1484.53 c current bound: 3596 1432.74/1485.07 c current bound: 3596 1433.11/1485.61 c current bound: 3596 1433.85/1486.16 c current bound: 3596 1434.19/1486.70 c current bound: 3596 1434.94/1487.24 c current bound: 3596 1435.28/1487.79 c current bound: 3596 1436.05/1488.33 c current bound: 3596 1436.37/1488.87 c current bound: 3596 1437.13/1489.44 c current bound: 3596 1437.73/1490.01 c current bound: 3596 1438.20/1490.56 c current bound: 3596 1438.81/1491.10 c current bound: 3596 1439.30/1491.64 c current bound: 3596 1439.64/1492.18 c current bound: 3596 1440.42/1492.73 c current bound: 3596 1440.74/1493.27 c current bound: 3596 1441.52/1493.81 c current bound: 3596 1441.83/1494.38 c current bound: 3596 1442.60/1494.92 c current bound: 3596 1442.92/1495.46 c current bound: 3596 1443.61/1496.00 c current bound: 3596 1444.00/1496.54 c current bound: 3596 1444.71/1497.09 c current bound: 3596 1445.09/1497.63 c current bound: 3596 1445.81/1498.18 c current bound: 3596 1446.19/1498.73 c current bound: 3596 1446.91/1499.27 c current bound: 3596 1447.28/1499.81 c current bound: 3596 1448.03/1500.35 c current bound: 3596 1448.34/1500.89 c current bound: 3596 1449.11/1501.43 c current bound: 3596 1449.43/1501.97 c current bound: 3596 1450.21/1502.52 c current bound: 3596 1450.51/1503.06 c current bound: 3596 1451.06/1503.60 c current bound: 3596 1451.86/1504.49 c current bound: 3596 1452.14/1505.04 c current bound: 3596 1452.69/1505.58 c current bound: 3596 1453.22/1506.12 c current bound: 3596 1453.78/1506.67 c current bound: 3596 1454.33/1507.21 c current bound: 3596 1454.87/1507.76 c current bound: 3596 1455.42/1508.30 c current bound: 3596 1455.97/1508.85 c current bound: 3596 1456.52/1509.39 c current bound: 3596 1457.06/1509.94 c current bound: 3596 1457.88/1510.50 c current bound: 3596 1458.15/1511.04 c current bound: 3596 1458.70/1511.58 c current bound: 3596 1459.26/1512.13 c current bound: 3596 1459.80/1512.67 c current bound: 3596 1460.34/1513.21 c current bound: 3596 1461.08/1513.75 c current bound: 3596 1461.44/1514.37 c current bound: 3596 1461.98/1514.93 c current bound: 3596 1462.55/1515.47 c current bound: 3596 1463.09/1516.01 c current bound: 3596 1463.63/1516.56 c current bound: 3596 1464.18/1517.11 c current bound: 3596 1464.74/1517.66 c current bound: 3596 1465.29/1518.21 c current bound: 3596 1465.83/1518.76 c current bound: 3596 1466.64/1519.47 c current bound: 3596 1466.92/1520.01 c current bound: 3596 1467.48/1520.56 c current bound: 3596 1468.29/1521.10 c current bound: 3596 1468.57/1521.65 c current bound: 3596 1469.39/1522.20 c current bound: 3596 1469.67/1522.74 c current bound: 3596 1470.21/1523.28 c current bound: 3596 1470.78/1523.83 c current bound: 3596 1471.31/1524.38 c current bound: 3596 1471.85/1524.92 c current bound: 3596 1472.39/1525.46 c current bound: 3596 1473.20/1526.00 c current bound: 3596 1473.47/1526.54 c current bound: 3596 1474.02/1527.08 c current bound: 3596 1474.56/1527.62 c current bound: 3596 1475.10/1528.17 c current bound: 3596 1475.64/1528.72 c current bound: 3596 1476.20/1529.42 c current bound: 3596 1476.75/1529.97 c current bound: 3596 1477.28/1530.53 c current bound: 3596 1477.86/1531.07 c current bound: 3596 1478.40/1531.62 c current bound: 3596 1478.95/1532.16 c current bound: 3596 1479.75/1532.70 c current bound: 3596 1480.01/1533.24 c current bound: 3596 1480.57/1533.79 c current bound: 3596 1481.38/1534.44 c current bound: 3596 1481.66/1534.98 c current bound: 3596 1482.44/1535.52 c current bound: 3596 1482.75/1536.06 c current bound: 3596 1483.55/1536.60 c current bound: 3596 1483.84/1537.14 c current bound: 3596 1484.38/1537.69 c current bound: 3596 1484.92/1538.23 c current bound: 3596 1485.46/1538.77 c current bound: 3596 1486.27/1539.64 c current bound: 3596 1486.55/1540.19 c current bound: 3596 1487.09/1540.73 c current bound: 3596 1487.63/1541.27 c current bound: 3596 1488.17/1541.81 c current bound: 3596 1488.92/1542.35 c current bound: 3596 1489.26/1542.89 c current bound: 3596 1490.01/1543.44 c current bound: 3596 1490.35/1543.98 c current bound: 3596 1491.16/1544.64 c current bound: 3596 1491.43/1545.19 c current bound: 3596 1491.98/1545.73 c current bound: 3596 1492.52/1546.28 c current bound: 3596 1493.08/1546.82 c current bound: 3596 1493.62/1547.38 c current bound: 3596 1494.19/1547.92 c current bound: 3596 1494.74/1548.46 c current bound: 3596 1495.28/1549.00 c current bound: 3596 1495.82/1549.55 c current bound: 3596 1496.36/1550.09 c current bound: 3596 1496.90/1550.63 c current bound: 3596 1497.44/1551.17 c current bound: 3596 1497.98/1551.71 c current bound: 3596 1498.72/1552.25 c current bound: 3596 1499.08/1552.80 c current bound: 3596 1499.82/1553.34 c current bound: 3596 1500.16/1553.88 c current bound: 3596 1500.94/1554.56 c current bound: 3596 1501.25/1555.10 c current bound: 3596 1501.80/1555.64 c current bound: 3596 1502.61/1556.20 c current bound: 3596 1502.90/1556.74 c current bound: 3596 1503.44/1557.28 c current bound: 3596 1503.98/1557.82 c current bound: 3596 1504.54/1558.37 c current bound: 3596 1505.07/1558.91 c current bound: 3596 1505.61/1559.63 c current bound: 3596 1506.17/1560.18 c current bound: 3596 1506.72/1560.72 c current bound: 3596 1507.27/1561.26 c current bound: 3596 1507.81/1561.80 c current bound: 3596 1508.35/1562.34 c current bound: 3596 1508.89/1562.89 c current bound: 3596 1509.43/1563.43 c current bound: 3596 1509.97/1563.97 c current bound: 3596 1510.52/1564.82 c current bound: 3596 1511.25/1565.36 c current bound: 3596 1511.60/1565.90 c current bound: 3596 1512.35/1566.45 c current bound: 3596 1512.69/1566.99 c current bound: 3596 1513.47/1567.53 c current bound: 3596 1513.78/1568.07 c current bound: 3596 1514.57/1568.62 c current bound: 3596 1514.87/1569.16 c current bound: 3596 1515.68/1569.71 c current bound: 3596 1515.96/1570.25 c current bound: 3596 1516.67/1570.80 c current bound: 3596 1517.05/1571.34 c current bound: 3596 1517.77/1571.88 c current bound: 3596 1518.13/1572.42 c current bound: 3596 1518.86/1572.96 c current bound: 3596 1519.21/1573.51 c current bound: 3596 1519.97/1574.05 c current bound: 3596 1520.32/1574.73 c current bound: 3596 1521.06/1575.27 c current bound: 3596 1521.39/1575.81 c current bound: 3596 1522.16/1576.36 c current bound: 3596 1522.75/1576.90 c current bound: 3596 1523.25/1577.44 c current bound: 3596 1523.58/1577.98 c current bound: 3596 1524.36/1578.52 c current bound: 3596 1524.67/1579.07 c current bound: 3596 1525.45/1579.79 c current bound: 3596 1525.75/1580.33 c current bound: 3596 1526.29/1580.87 c current bound: 3596 1526.85/1581.41 c current bound: 3596 1527.57/1581.96 c current bound: 3596 1527.94/1582.51 c current bound: 3596 1528.68/1583.05 c current bound: 3596 1529.29/1583.60 c current bound: 3596 1529.79/1584.14 c current bound: 3596 1530.40/1584.83 c current bound: 3596 1530.66/1585.37 c current bound: 3596 1531.20/1585.91 c current bound: 3596 1531.75/1586.45 c current bound: 3596 1532.56/1587.00 c current bound: 3596 1532.84/1587.54 c current bound: 3596 1533.38/1588.09 c current bound: 3596 1533.94/1588.65 c current bound: 3596 1534.50/1589.19 c current bound: 3596 1535.30/1589.90 c current bound: 3596 1535.59/1590.44 c current bound: 3596 1536.13/1590.98 c current bound: 3596 1536.67/1591.53 c current bound: 3596 1537.21/1592.08 c current bound: 3596 1537.76/1592.62 c current bound: 3596 1538.31/1593.16 c current bound: 3596 1538.86/1593.70 c current bound: 3596 1539.39/1594.24 c current bound: 3596 1539.94/1594.90 c current bound: 3596 1540.48/1595.44 c current bound: 3596 1541.02/1595.98 c current bound: 3596 1541.57/1596.52 c current bound: 3596 1542.10/1597.06 c current bound: 3596 1542.64/1597.60 c current bound: 3596 1543.18/1598.15 c current bound: 3596 1543.73/1598.69 c current bound: 3596 1544.28/1599.23 c current bound: 3596 1545.09/1600.06 c current bound: 3596 1545.63/1600.60 c current bound: 3596 1545.91/1601.14 c current bound: 3596 1546.62/1601.68 c current bound: 3596 1547.01/1602.22 c current bound: 3596 1547.73/1602.77 c current bound: 3596 1548.09/1603.31 c current bound: 3596 1548.83/1603.86 c current bound: 3596 1549.44/1604.40 c current bound: 3596 1549.92/1604.94 c current bound: 3596 1550.27/1605.49 c current bound: 3596 1551.04/1606.03 c current bound: 3596 1551.36/1606.57 c current bound: 3596 1552.14/1607.11 c current bound: 3596 1552.45/1607.66 c current bound: 3596 1553.16/1608.20 c current bound: 3596 1553.53/1608.74 c current bound: 3596 1554.25/1609.28 c current bound: 3596 1554.61/1609.98 c current bound: 3596 1555.38/1610.52 c current bound: 3596 1555.71/1611.06 c current bound: 3596 1556.48/1611.61 c current bound: 3596 1556.78/1612.15 c current bound: 3596 1557.50/1612.69 c current bound: 3596 1557.89/1613.24 c current bound: 3596 1558.62/1613.78 c current bound: 3596 1558.97/1614.33 c current bound: 3596 1559.79/1615.01 c current bound: 3596 1560.07/1615.55 c current bound: 3596 1560.62/1616.09 c current bound: 3596 1561.16/1616.63 c current bound: 3596 1561.70/1617.17 c current bound: 3596 1562.24/1617.71 c current bound: 3596 1562.98/1618.25 c current bound: 3596 1563.32/1618.80 c current bound: 3596 1564.09/1619.34 c current bound: 3596 1564.43/1620.19 c current bound: 3596 1564.96/1620.73 c current bound: 3596 1565.51/1621.29 c current bound: 3596 1566.08/1621.84 c current bound: 3596 1566.62/1622.38 c current bound: 3596 1567.16/1622.92 c current bound: 3596 1567.71/1623.46 c current bound: 3596 1568.25/1624.00 c current bound: 3596 1568.80/1624.55 c current bound: 3596 1569.60/1625.43 c current bound: 3596 1569.88/1625.97 c current bound: 3596 1570.43/1626.53 c current bound: 3596 1570.98/1627.08 c current bound: 3596 1571.53/1627.62 c current bound: 3596 1572.07/1628.16 c current bound: 3596 1572.63/1628.70 c current bound: 3596 1573.37/1629.24 c current bound: 3596 1573.71/1629.79 c current bound: 3596 1574.51/1630.52 c current bound: 3596 1574.80/1631.06 c current bound: 3596 1575.35/1631.61 c current bound: 3596 1575.89/1632.15 c current bound: 3596 1576.44/1632.70 c current bound: 3596 1576.99/1633.25 c current bound: 3596 1577.55/1633.79 c current bound: 3596 1578.08/1634.33 c current bound: 3596 1578.62/1634.87 c current bound: 3596 1579.43/1635.63 c current bound: 3596 1579.72/1636.18 c current bound: 3596 1580.49/1636.72 c current bound: 3596 1580.81/1637.26 c current bound: 3596 1581.62/1637.80 c current bound: 3596 1581.90/1638.35 c current bound: 3596 1582.43/1638.89 c current bound: 3596 1582.98/1639.44 c current bound: 3596 1583.54/1639.98 c current bound: 3596 1584.08/1640.52 c current bound: 3596 1584.62/1641.07 c current bound: 3596 1585.16/1641.61 c current bound: 3596 1585.70/1642.15 c current bound: 3596 1586.52/1642.70 c current bound: 3596 1586.79/1643.24 c current bound: 3596 1587.33/1643.78 c current bound: 3596 1587.88/1644.32 c current bound: 3596 1588.41/1644.86 c current bound: 3596 1589.25/1645.56 c current bound: 3596 1589.53/1646.11 c current bound: 3596 1590.27/1646.65 c current bound: 3596 1590.63/1647.19 c current bound: 3596 1591.38/1647.74 c current bound: 3596 1591.70/1648.28 c current bound: 3596 1592.47/1648.83 c current bound: 3596 1592.79/1649.37 c current bound: 3596 1593.58/1649.91 c current bound: 3596 1593.88/1650.45 c current bound: 3596 1594.43/1651.00 c current bound: 3596 1594.97/1651.54 c current bound: 3596 1595.51/1652.08 c current bound: 3596 1596.05/1652.63 c current bound: 3596 1596.59/1653.17 c current bound: 3596 1597.14/1653.71 c current bound: 3596 1597.68/1654.26 c current bound: 3596 1598.24/1654.80 c current bound: 3596 1598.79/1655.35 c current bound: 3596 1599.32/1655.89 c current bound: 3596 1599.86/1656.43 c current bound: 3596 1600.41/1656.98 c current bound: 3596 1600.96/1657.52 c current bound: 3596 1601.52/1658.07 c current bound: 3596 1602.06/1658.61 c current bound: 3596 1602.60/1659.16 c current bound: 3596 1603.15/1659.70 c current bound: 3596 1603.70/1660.24 c current bound: 3596 1604.50/1660.87 c current bound: 3596 1604.78/1661.41 c current bound: 3596 1605.32/1661.95 c current bound: 3596 1605.87/1662.49 c current bound: 3596 1606.41/1663.03 c current bound: 3596 1606.95/1663.58 c current bound: 3596 1607.50/1664.12 c current bound: 3596 1608.04/1664.66 c current bound: 3596 1608.58/1665.20 c current bound: 3596 1609.39/1666.02 c current bound: 3596 1609.86/1666.57 c current bound: 3596 1610.21/1667.11 c current bound: 3596 1610.96/1667.66 c current bound: 3596 1611.31/1668.20 c current bound: 3596 1612.05/1668.75 c current bound: 3596 1612.39/1669.29 c current bound: 3596 1613.15/1669.84 c current bound: 3596 1613.48/1670.39 c current bound: 3596 1614.25/1670.93 c current bound: 3596 1614.57/1671.47 c current bound: 3596 1615.35/1672.03 c current bound: 3596 1615.68/1672.57 c current bound: 3596 1616.45/1673.12 c current bound: 3596 1616.76/1673.67 c current bound: 3596 1617.55/1674.21 c current bound: 3596 1617.85/1674.75 c current bound: 3596 1618.55/1675.30 c current bound: 3596 1618.94/1675.89 c current bound: 3596 1619.70/1676.43 c current bound: 3596 1620.02/1676.98 c current bound: 3596 1620.80/1677.52 c current bound: 3596 1621.11/1678.07 c current bound: 3596 1621.91/1678.61 c current bound: 3596 1622.20/1679.16 c current bound: 3596 1623.01/1679.71 c current bound: 3596 1623.29/1680.25 c current bound: 3596 1624.11/1681.00 c current bound: 3596 1624.40/1681.54 c current bound: 3596 1624.93/1682.09 c current bound: 3596 1625.48/1682.63 c current bound: 3596 1626.04/1683.17 c current bound: 3596 1626.59/1683.71 c current bound: 3596 1627.32/1684.26 c current bound: 3596 1627.92/1684.80 c current bound: 3596 1628.41/1685.34 c current bound: 3596 1628.75/1686.05 c current bound: 3596 1629.56/1686.60 c current bound: 3596 1629.84/1687.15 c current bound: 3596 1630.39/1687.69 c current bound: 3596 1630.93/1688.23 c current bound: 3596 1631.46/1688.77 c current bound: 3596 1632.01/1689.32 c current bound: 3596 1632.55/1689.86 c current bound: 3596 1633.09/1690.40 c current bound: 3596 1633.64/1691.15 c current bound: 3596 1634.19/1691.70 c current bound: 3596 1634.73/1692.25 c current bound: 3596 1635.28/1692.79 c current bound: 3596 1635.82/1693.35 c current bound: 3596 1636.38/1693.89 c current bound: 3596 1636.92/1694.43 c current bound: 3596 1637.47/1694.97 c current bound: 3596 1638.01/1695.51 c current bound: 3596 1638.80/1696.20 c current bound: 3596 1639.10/1696.74 c current bound: 3596 1639.81/1697.29 c current bound: 3596 1640.19/1697.83 c current bound: 3596 1640.90/1698.38 c current bound: 3596 1641.27/1698.93 c current bound: 3596 1642.00/1699.47 c current bound: 3596 1642.36/1700.04 c current bound: 3596 1643.08/1700.58 c current bound: 3596 1643.44/1701.27 c current bound: 3596 1644.22/1701.81 c current bound: 3596 1644.52/1702.36 c current bound: 3596 1645.34/1702.90 c current bound: 3596 1645.62/1703.46 c current bound: 3596 1646.43/1704.00 c current bound: 3596 1646.71/1704.54 c current bound: 3596 1647.43/1705.09 c current bound: 3596 1647.81/1705.63 c current bound: 3596 1648.60/1706.30 c current bound: 3596 1648.89/1706.84 c current bound: 3596 1649.43/1707.39 c current bound: 3596 1649.97/1707.93 c current bound: 3596 1650.52/1708.48 c current bound: 3596 1651.06/1709.02 c current bound: 3596 1651.61/1709.56 c current bound: 3596 1652.16/1710.10 c current bound: 3596 1652.90/1710.65 c current bound: 3596 1653.25/1711.33 c current bound: 3596 1653.79/1711.88 c current bound: 3596 1654.34/1712.42 c current bound: 3596 1654.87/1712.96 c current bound: 3596 1655.43/1713.51 c current bound: 3596 1655.98/1714.05 c current bound: 3596 1656.52/1714.60 c current bound: 3596 1657.06/1715.14 c current bound: 3596 1657.60/1715.68 c current bound: 3596 1658.15/1716.38 c current bound: 3596 1658.68/1716.92 c current bound: 3596 1659.23/1717.46 c current bound: 3596 1659.77/1718.00 c current bound: 3596 1660.32/1718.54 c current bound: 3596 1660.87/1719.09 c current bound: 3596 1661.41/1719.63 c current bound: 3596 1661.96/1720.17 c current bound: 3596 1662.50/1720.72 c current bound: 3596 1663.32/1721.40 c current bound: 3596 1663.59/1721.95 c current bound: 3596 1664.13/1722.49 c current bound: 3596 1664.68/1723.04 c current bound: 3596 1665.23/1723.58 c current bound: 3596 1665.77/1724.12 c current bound: 3596 1666.32/1724.66 c current bound: 3596 1666.87/1725.20 c current bound: 3596 1667.40/1725.74 c current bound: 3596 1667.94/1726.39 c current bound: 3596 1668.71/1726.94 c current bound: 3596 1669.04/1727.49 c current bound: 3596 1669.81/1728.03 c current bound: 3596 1670.13/1728.57 c current bound: 3596 1670.92/1729.12 c current bound: 3596 1671.21/1729.66 c current bound: 3596 1672.01/1730.21 c current bound: 3596 1672.32/1730.76 c current bound: 3596 1673.13/1731.44 c current bound: 3596 1673.42/1731.99 c current bound: 3596 1674.19/1732.53 c current bound: 3596 1674.51/1733.07 c current bound: 3596 1675.30/1733.62 c current bound: 3596 1675.61/1734.16 c current bound: 3596 1676.41/1734.70 c current bound: 3596 1676.68/1735.25 c current bound: 3596 1677.50/1735.81 c current bound: 3596 1677.79/1736.49 c current bound: 3596 1678.55/1737.04 c current bound: 3596 1678.89/1737.59 c current bound: 3596 1679.66/1738.13 c current bound: 3596 1679.97/1738.68 c current bound: 3596 1680.77/1739.22 c current bound: 3596 1681.06/1739.76 c current bound: 3596 1681.85/1740.31 c current bound: 3596 1682.15/1740.85 c current bound: 3596 1682.96/1741.66 c current bound: 3596 1683.24/1742.20 c current bound: 3596 1683.78/1742.75 c current bound: 3596 1684.33/1743.29 c current bound: 3596 1684.89/1743.84 c current bound: 3596 1685.44/1744.38 c current bound: 3596 1685.98/1744.92 c current bound: 3596 1686.52/1745.46 c current bound: 3596 1687.06/1746.01 c current bound: 3596 1687.87/1746.77 c current bound: 3596 1688.15/1747.31 c current bound: 3596 1688.89/1747.87 c current bound: 3596 1689.25/1748.42 c current bound: 3596 1689.99/1748.98 c current bound: 3596 1690.34/1749.52 c current bound: 3596 1691.10/1750.07 c current bound: 3596 1691.44/1750.61 c current bound: 3596 1692.19/1751.15 c current bound: 3596 1692.79/1751.77 c current bound: 3596 1693.31/1752.32 c current bound: 3596 1693.62/1752.86 c current bound: 3596 1694.43/1753.41 c current bound: 3596 1694.71/1753.95 c current bound: 3596 1695.43/1754.50 c current bound: 3596 1695.81/1755.06 c current bound: 3596 1696.63/1755.60 c current bound: 3596 1696.91/1756.14 c current bound: 3596 1697.69/1756.85 c current bound: 3596 1698.26/1757.40 c current bound: 3596 1698.74/1757.94 c current bound: 3596 1699.08/1758.48 c current bound: 3596 1699.83/1759.03 c current bound: 3596 1700.17/1759.57 c current bound: 3596 1700.93/1760.11 c current bound: 3596 1701.25/1760.65 c current bound: 3596 1702.06/1761.20 c current bound: 3596 1702.34/1761.92 c current bound: 3596 1702.88/1762.46 c current bound: 3596 1703.42/1763.00 c current bound: 3596 1703.97/1763.55 c current bound: 3596 1704.51/1764.09 c current bound: 3596 1705.06/1764.63 c current bound: 3596 1705.58/1765.17 c current bound: 3596 1706.13/1765.72 c current bound: 3596 1706.69/1766.26 c current bound: 3596 1707.48/1766.92 c current bound: 3596 1707.76/1767.46 c current bound: 3596 1708.30/1768.00 c current bound: 3596 1708.84/1768.54 c current bound: 3596 1709.40/1769.08 c current bound: 3596 1709.93/1769.62 c current bound: 3596 1710.73/1770.26 c current bound: 3596 1711.02/1770.80 c current bound: 3596 1711.57/1771.35 c current bound: 3596 1712.37/1772.18 c current bound: 3596 1712.67/1772.72 c current bound: 3596 1713.39/1773.26 c current bound: 3596 1713.75/1773.80 c current bound: 3596 1714.49/1774.36 c current bound: 3596 1715.10/1774.90 c current bound: 3596 1715.60/1775.44 c current bound: 3596 1715.93/1775.98 c current bound: 3596 1716.70/1776.53 c current bound: 3596 1717.02/1777.36 c current bound: 3596 1717.57/1777.90 c current bound: 3596 1718.11/1778.45 c current bound: 3596 1718.65/1778.99 c current bound: 3596 1719.19/1779.53 c current bound: 3596 1719.74/1780.08 c current bound: 3596 1720.28/1780.62 c current bound: 3596 1720.82/1781.17 c current bound: 3596 1721.38/1781.71 c current bound: 3596 1722.20/1782.42 c current bound: 3596 1722.48/1782.97 c current bound: 3596 1723.03/1783.52 c current bound: 3596 1723.58/1784.07 c current bound: 3596 1724.13/1784.61 c current bound: 3596 1724.68/1785.16 c current bound: 3596 1725.22/1785.70 c current bound: 3596 1725.77/1786.24 c current bound: 3596 1726.31/1786.79 c current bound: 3596 1727.11/1787.42 c current bound: 3596 1727.40/1787.97 c current bound: 3596 1728.19/1788.51 c current bound: 3596 1728.48/1789.06 c current bound: 3596 1729.04/1789.60 c current bound: 3596 1729.58/1790.14 c current bound: 3596 1730.11/1790.68 c current bound: 3596 1730.65/1791.23 c current bound: 3596 1731.21/1791.77 c current bound: 3596 1732.03/1792.60 c current bound: 3596 1732.51/1793.16 c current bound: 3596 1732.86/1793.70 c current bound: 3596 1733.60/1794.25 c current bound: 3596 1733.96/1794.79 c current bound: 3596 1734.71/1795.33 c current bound: 3596 1735.04/1795.88 c current bound: 3596 1735.81/1796.43 c current bound: 3596 1736.14/1796.97 c current bound: 3596 1736.91/1797.52 c current bound: 3596 1737.23/1798.07 c current bound: 3596 1738.03/1798.61 c current bound: 3596 1738.34/1799.16 c current bound: 3596 1739.12/1799.70 c current bound: 3596 1739.43/1800.25 c current bound: 3596 1740.15/1800.79 c current bound: 3596 1740.51/1801.34 c current bound: 3596 1741.24/1801.89 c current bound: 3596 1741.62/1802.49 c current bound: 3596 1742.38/1803.03 c current bound: 3596 1742.70/1803.58 c current bound: 3596 1743.49/1804.13 c current bound: 3596 1743.81/1804.67 c current bound: 3596 1744.59/1805.23 c current bound: 3596 1744.90/1805.77 c current bound: 3596 1745.68/1806.31 c current bound: 3596 1745.99/1806.85 c current bound: 3596 1746.78/1807.54 c current bound: 3596 1747.07/1808.09 c current bound: 3596 1747.62/1808.65 c current bound: 3596 1748.19/1809.19 c current bound: 3596 1748.73/1809.75 c current bound: 3596 1749.29/1810.30 c current bound: 3596 1749.84/1810.85 c current bound: 3596 1750.38/1811.39 c current bound: 3596 1750.94/1811.94 c current bound: 3596 1751.48/1812.59 c current bound: 3596 1752.02/1813.14 c current bound: 3596 1752.58/1813.70 c current bound: 3596 1753.14/1814.25 c current bound: 3596 1753.95/1814.80 c current bound: 3596 1754.23/1815.35 c current bound: 3596 1754.78/1815.89 c current bound: 3596 1755.32/1816.43 c current bound: 3596 1755.86/1816.97 c current bound: 3596 1756.68/1817.81 c current bound: 3596 1757.16/1818.36 c current bound: 3596 1757.78/1818.90 c current bound: 3596 1758.26/1819.44 c current bound: 3596 1758.59/1819.98 c current bound: 3596 1759.35/1820.53 c current bound: 3596 1759.68/1821.07 c current bound: 3596 1760.48/1821.62 c current bound: 3596 1760.78/1822.17 c current bound: 3596 1761.56/1822.71 c current bound: 3596 1761.87/1823.25 c current bound: 3596 1762.57/1823.80 c current bound: 3596 1762.95/1824.34 c current bound: 3596 1763.68/1824.88 c current bound: 3596 1764.05/1825.43 c current bound: 3596 1764.78/1825.97 c current bound: 3596 1765.13/1826.51 c current bound: 3596 1765.88/1827.05 c current bound: 3596 1766.47/1827.74 c current bound: 3596 1766.92/1828.29 c current bound: 3596 1767.32/1828.84 c current bound: 3596 1768.03/1829.38 c current bound: 3596 1768.40/1829.92 c current bound: 3596 1769.13/1830.46 c current bound: 3596 1769.49/1831.00 c current bound: 3596 1770.24/1831.57 c current bound: 3596 1770.59/1832.12 c current bound: 3596 1771.39/1832.86 c current bound: 3596 1771.68/1833.40 c current bound: 3596 1772.23/1833.94 c current bound: 3596 1772.77/1834.49 c current bound: 3596 1773.32/1835.03 c current bound: 3596 1773.86/1835.57 c current bound: 3596 1774.40/1836.11 c current bound: 3596 1774.96/1836.66 c current bound: 3596 1775.76/1837.20 c current bound: 3596 1776.05/1837.85 c current bound: 3596 1776.58/1838.39 c current bound: 3596 1777.11/1838.93 c current bound: 3596 1777.66/1839.47 c current bound: 3596 1778.47/1840.28 c current bound: 3596 1778.76/1840.82 c current bound: 3596 1779.49/1841.36 c current bound: 3596 1779.84/1841.91 c current bound: 3596 1780.59/1842.45 c current bound: 3596 1781.18/1843.01 c current bound: 3596 1781.64/1843.57 c current bound: 3596 1782.02/1844.11 c current bound: 3596 1782.75/1844.65 c current bound: 3596 1783.10/1845.19 c current bound: 3596 1783.86/1845.74 c current bound: 3596 1784.19/1846.28 c current bound: 3596 1784.96/1846.83 c current bound: 3596 1785.29/1847.37 c current bound: 3596 1786.07/1847.92 c current bound: 3596 1786.37/1848.46 c current bound: 3596 1787.17/1849.00 c current bound: 3596 1787.47/1849.55 c current bound: 3596 1788.01/1850.09 c current bound: 3596 1788.55/1850.63 c current bound: 3596 1789.09/1851.17 c current bound: 3596 1789.64/1851.71 c current bound: 3596 1790.17/1852.26 c current bound: 3596 1790.97/1853.00 c current bound: 3596 1791.48/1853.55 c current bound: 3596 1791.83/1854.09 c current bound: 3596 1792.59/1854.64 c current bound: 3596 1792.92/1855.18 c current bound: 3596 1793.70/1855.72 c current bound: 3596 1794.00/1856.26 c current bound: 3596 1794.70/1856.80 c current bound: 3596 1795.09/1857.34 c current bound: 3596 1795.91/1857.92 c current bound: 3596 1796.19/1858.46 c current bound: 3596 1797.00/1859.01 c current bound: 3596 1797.28/1859.55 c current bound: 3596 1797.98/1860.09 c current bound: 3596 1798.36/1860.63 c current bound: 3596 1799.08/1861.18 c current bound: 3596 1799.45/1861.72 c current bound: 3596
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-3715826-1338241301/watcher-3715826-1338241301 -o /tmp/evaluation-result-3715826-1338241301/solver-3715826-1338241301 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715826-1338241301.wbo 239860704 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 1.93 3/179 18851 /proc/meminfo: memFree=28633592/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [startup+0.0358981 s] /proc/loadavg: 2.00 1.99 1.93 3/179 18851 /proc/meminfo: memFree=28633592/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100281 s] /proc/loadavg: 2.00 1.99 1.93 3/179 18851 /proc/meminfo: memFree=28633592/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300311 s] /proc/loadavg: 2.00 1.99 1.93 3/179 18851 /proc/meminfo: memFree=28633592/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700213 s] /proc/loadavg: 2.00 1.99 1.93 3/179 18851 /proc/meminfo: memFree=28633592/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50029 s] /proc/loadavg: 2.00 1.99 1.93 3/183 18875 /proc/meminfo: memFree=28601556/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=1.11 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 3876 34601 0 0 17 2 62 30 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933701472 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 28584 [startup+3.10019 s] /proc/loadavg: 2.00 1.99 1.93 3/183 18882 /proc/meminfo: memFree=28599812/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=2.49 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 6198 75735 0 0 41 6 141 61 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 2.49 Current children cumulated vsize (KiB) 28584 [startup+6.30024 s] /proc/loadavg: 2.00 1.99 1.93 3/183 18931 /proc/meminfo: memFree=28602180/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=5.73 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 10932 164104 0 0 88 13 329 143 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 5.73 Current children cumulated vsize (KiB) 28584 [startup+12.7002 s] /proc/loadavg: 2.00 1.99 1.93 3/183 19022 /proc/meminfo: memFree=28602440/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=11.71 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 19611 327031 0 0 174 26 674 297 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 11.71 Current children cumulated vsize (KiB) 28584 [startup+25.5002 s] /proc/loadavg: 2.00 1.99 1.93 3/183 19201 /proc/meminfo: memFree=28594448/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=24.2 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 37758 665278 0 0 356 53 1400 611 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 24.2 Current children cumulated vsize (KiB) 28584 [startup+51.1003 s] /proc/loadavg: 2.00 1.99 1.93 3/183 19537 /proc/meminfo: memFree=28568000/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=48.72 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 73263 1326102 0 0 709 108 2802 1253 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 48.72 Current children cumulated vsize (KiB) 28584 [startup+102.307 s] /proc/loadavg: 2.00 1.99 1.93 3/182 20231 /proc/meminfo: memFree=28606944/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=97.71 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 144273 2643811 0 0 1417 216 5614 2524 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 [pid=20231] ppid=18852 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20231/stat : 20231 (cp2_post.sh) S 18852 18851 25271 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 290265253 9367552 265 33554432000 4194304 5064252 140733490454208 140733490452496 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20231/statm: 2287 265 225 213 0 72 0 Current children cumulated CPU time (s) 97.71 Current children cumulated vsize (KiB) 37732 [startup+162.3 s] /proc/loadavg: 2.00 1.99 1.93 3/183 21026 /proc/meminfo: memFree=28598368/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=155.38 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 227900 4186233 0 0 2250 342 8910 4036 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 155.38 Current children cumulated vsize (KiB) 28584 [startup+222.3 s] /proc/loadavg: 2.14 2.04 1.95 3/183 21853 /proc/meminfo: memFree=28600876/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=213.74 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 312323 5766725 0 0 3090 472 12256 5556 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 213.74 Current children cumulated vsize (KiB) 28584 [startup+282.3 s] /proc/loadavg: 2.05 2.03 1.95 3/183 22648 /proc/meminfo: memFree=28575256/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=271.13 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 395175 7314499 0 0 3911 603 15542 7057 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 271.13 Current children cumulated vsize (KiB) 28584 ############ # WARNING: # current cumulated CPU time (298.88 s) is less than in the last sample (299.03 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.149994 s) to the 'lost time'. [startup+311.2 s] /proc/loadavg: 2.03 2.03 1.95 3/184 23046 /proc/meminfo: memFree=28635904/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 ################ # More data... # ################ /proc/5784/statm: 2287 266 225 213 0 72 0 [pid=5786] ppid=5784 vsize=10184 CPUtime=0.05 cores=1,3,5,7 /proc/5786/stat : 5786 (coprocessor) R 5784 18851 25271 0 -1 4202496 2054 0 0 0 5 0 0 0 20 0 1 0 290385257 10428416 1711 33554432000 4194304 6586260 140735324433408 140736002495000 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/5786/statm: 2546 1711 148 584 0 1958 0 Current children cumulated CPU time (s) 1254.9 Current children cumulated vsize (KiB) 47916 [startup+1362.3 s] /proc/loadavg: 1.84 1.96 1.97 3/183 7238 /proc/meminfo: memFree=28626736/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=1313.22 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 1905321 35386236 0 0 18928 2936 75561 33897 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 1313.22 Current children cumulated vsize (KiB) 28584 [startup+1422.31 s] /proc/loadavg: 1.90 1.95 1.96 3/182 8712 /proc/meminfo: memFree=28593904/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=1371.48 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 1989744 36952951 0 0 19769 3065 78900 35414 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 [pid=8710] ppid=18852 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8710/stat : 8710 (cp2_post.sh) S 18852 18851 25271 0 -1 4202496 612 226 0 0 0 0 0 0 20 0 1 0 290397240 9367552 266 33554432000 4194304 5064252 140733752837952 140733752836240 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8710/statm: 2287 266 225 213 0 72 0 [pid=8712] ppid=8710 vsize=10184 CPUtime=0.22 cores=1,3,5,7 /proc/8712/stat : 8712 (coprocessor) R 8710 18851 25271 0 -1 4202496 2565 0 0 0 14 8 0 0 20 0 1 0 290397241 10428416 1711 33554432000 4194304 6586260 140736993805648 140733752836264 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/8712/statm: 2546 1711 148 584 0 1958 0 Current children cumulated CPU time (s) 1371.7 Current children cumulated vsize (KiB) 47916 [startup+1482.3 s] /proc/loadavg: 1.85 1.92 1.95 3/183 10183 /proc/meminfo: memFree=28594152/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=11244 CPUtime=1430.14 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) R 18851 18851 25271 0 -1 4202496 2074943 38528717 0 0 20614 3197 82264 36939 20 0 1 0 290255033 11513856 2505 33554432000 4194304 5990268 140733933709488 140733933701832 4568072 0 0 4096 0 0 0 0 17 7 0 0 20 0 0 /proc/18852/statm: 2811 2505 177 439 0 2368 0 Current children cumulated CPU time (s) 1430.14 Current children cumulated vsize (KiB) 20392 [startup+1542.3 s] /proc/loadavg: 1.82 1.89 1.94 4/185 11670 /proc/meminfo: memFree=28632144/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=1488.72 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 2159379 40109774 0 0 21458 3327 85637 38450 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 26 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 [pid=11668] ppid=18852 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11668/stat : 11668 (cp2_post.sh) S 18852 18851 25271 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 290409242 9367552 265 33554432000 4194304 5064252 140736386244112 140736386242400 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/11668/statm: 2287 265 225 213 0 72 0 [pid=11670] ppid=11668 vsize=10184 CPUtime=0.2 cores=1,3,5,7 /proc/11670/stat : 11670 (coprocessor) R 11668 18851 25271 0 -1 4202496 2564 0 0 0 14 6 0 0 20 0 1 0 290409242 10428416 1711 33554432000 4194304 6586260 140735636117536 140736386242424 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/11670/statm: 2546 1711 148 584 0 1958 0 Current children cumulated CPU time (s) 1488.92 Current children cumulated vsize (KiB) 47916 [startup+1602.3 s] /proc/loadavg: 1.83 1.88 1.92 3/183 13126 /proc/meminfo: memFree=28625480/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=1547.34 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) R 18851 18851 25271 0 -1 4202496 2244582 41683133 0 0 22305 3457 88994 39978 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933701472 4604880 0 0 4096 0 0 0 0 17 3 0 0 26 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 1547.34 Current children cumulated vsize (KiB) 28584 [startup+1662.3 s] /proc/loadavg: 2.12 1.96 1.95 3/181 14626 /proc/meminfo: memFree=28645924/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=1605.87 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 2329014 43265684 0 0 23145 3590 92362 41490 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 26 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 1605.87 Current children cumulated vsize (KiB) 28584 [startup+1722.3 s] /proc/loadavg: 1.93 1.93 1.94 2/183 16103 /proc/meminfo: memFree=28603592/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=1664.13 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 2413437 44832018 0 0 23985 3720 95702 43006 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 26 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 1664.13 Current children cumulated vsize (KiB) 28584 [startup+1782.3 s] /proc/loadavg: 1.93 1.93 1.93 3/183 17590 /proc/meminfo: memFree=28561028/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=1721.93 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 2497071 46386666 0 0 24820 3847 99009 44517 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 26 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 28584 [startup+1842.3 s] /proc/loadavg: 1.81 1.89 1.91 3/183 19041 /proc/meminfo: memFree=28623664/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19436 CPUtime=1780.38 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) S 18851 18851 25271 0 -1 4202496 2581494 47955983 0 0 25657 3978 102334 46069 20 0 1 0 290255033 19902464 4553 33554432000 4194304 5990268 140733933709488 140733933700384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 26 0 0 /proc/18852/statm: 4859 4553 177 439 0 4416 0 Current children cumulated CPU time (s) 1780.38 Current children cumulated vsize (KiB) 28584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1861.8 s] /proc/loadavg: 1.79 1.88 1.91 3/181 19554 /proc/meminfo: memFree=28631184/32873844 swapFree=6856/6856 [pid=18851] ppid=18849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18851/stat : 18851 (npSolver-wbo-It) S 18849 18851 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290255033 9367552 275 33554432000 4194304 5064252 140734534784336 140734534783248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/18851/statm: 2287 275 233 213 0 72 0 [pid=18852] ppid=18851 vsize=19440 CPUtime=1799.8 cores=1,3,5,7 /proc/18852/stat : 18852 (npSolver-wbo) R 18851 18851 25271 0 -1 4202496 2609890 48468008 0 0 25940 4020 103442 46578 20 0 1 0 290255033 19906560 4553 33554432000 4194304 5990268 140733933709488 140733933701472 5180875 0 0 4096 0 0 0 0 17 3 0 0 26 0 0 /proc/18852/statm: 4860 4553 177 439 0 4417 0 Current children cumulated CPU time (s) 1799.8 Current children cumulated vsize (KiB) 28588 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18851 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=0 # CPU time returned by wait4() is 0.000999 # while last known CPU time is 1799.8 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # 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.47995 # lost CPU user time (s): 0.329987 # lost CPU system time (s): 0.150009 Real time (s): 1861.81 CPU time (s): 1800.28 CPU user time (s): 1294.15 CPU system time (s): 506.13 CPU usage (%): 96.695 Max. virtual memory (cumulated for all children) (KiB): 86288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0 maximum resident set size= 1100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 358 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 1 runsolver used 3.89041 second user time and 10.6954 second system time The end
Begin job on node144 at 2012-05-28 23:41:41 IDJOB=3715826 IDBENCH=79399 IDSOLVER=2297 FILE ID=node144/3715826-1338241301 RUNJOBID= node144-1338226780-25288 PBS_JOBID= 14624625 Free space on /tmp= 71460 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh218_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715826-1338241301/watcher-3715826-1338241301 -o /tmp/evaluation-result-3715826-1338241301/solver-3715826-1338241301 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715826-1338241301.wbo 239860704 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e9977e481ed86e7573c7f989943259e1 RANDOM SEED=239860704 node144.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.196 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.39 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.196 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.196 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 : 5438.54 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.196 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.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.196 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.196 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: 28634212 kB Buffers: 601920 kB Cached: 2705088 kB SwapCached: 0 kB Active: 1202620 kB Inactive: 2186348 kB Active(anon): 75752 kB Inactive(anon): 0 kB Active(file): 1126868 kB Inactive(file): 2186348 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14064 kB Writeback: 0 kB AnonPages: 106160 kB Mapped: 15352 kB Shmem: 200 kB Slab: 711660 kB SReclaimable: 152568 kB SUnreclaim: 559092 kB KernelStack: 1528 kB PageTables: 4332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 193292 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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= 71444 MiB End job on node144 at 2012-05-29 00:12:45