Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1800.12 | 1817.92 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh215_wcsp.wbo |
MD5SUM | f6fb73f0a02abbaaed6c5aa05fa83af7 |
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 | 88 |
Best CPU time to get the best result obtained on this benchmark | 0.010997 |
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 9725 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 28.0663 0.00/0.05 c approx number of clauses: 1e+06 0.00/0.05 c current bound: 4862 0.00/0.94 c current bound: 4862 0.92/1.51 c current bound: 4862 1.48/2.08 c current bound: 4862 2.04/2.64 c current bound: 4862 2.62/3.21 c current bound: 4862 3.19/3.79 c current bound: 4862 3.76/4.35 c current bound: 4862 4.32/4.92 c current bound: 4862 4.89/5.48 c current bound: 4862 5.46/6.06 c current bound: 4862 6.04/6.63 c current bound: 4862 6.60/7.19 c current bound: 4862 7.17/7.76 c current bound: 4862 7.73/8.32 c current bound: 4862 8.29/8.89 c current bound: 4862 8.87/9.46 c current bound: 4862 9.66/10.02 c current bound: 4862 10.00/10.59 c current bound: 4862 10.76/11.16 c current bound: 4862 11.14/11.72 c current bound: 4862 11.86/12.28 c current bound: 4862 12.27/12.85 c current bound: 4862 13.08/13.43 c current bound: 4862 13.68/14.00 c current bound: 4862 14.16/14.57 c current bound: 4862 14.57/15.14 c current bound: 4862 15.37/15.73 c current bound: 4862 15.72/16.30 c current bound: 4862 16.29/16.87 c current bound: 4862 16.88/17.45 c current bound: 4862 17.45/18.01 c current bound: 4862 18.02/18.58 c current bound: 4862 18.59/19.15 c current bound: 4862 19.15/19.72 c current bound: 4862 19.71/20.29 c current bound: 4862 20.29/20.86 c current bound: 4862 20.87/21.46 c current bound: 4862 21.44/22.03 c current bound: 4862 21.99/22.60 c current bound: 4862 22.59/23.17 c current bound: 4862 23.15/23.74 c current bound: 4862 23.98/24.30 c current bound: 4862 24.28/24.87 c current bound: 4862 25.07/25.45 c current bound: 4862 25.68/26.22 c current bound: 4862 26.00/26.79 c current bound: 4862 26.57/27.36 c current bound: 4862 27.12/27.93 c current bound: 4862 27.97/28.50 c current bound: 4862 28.28/29.07 c current bound: 4862 28.85/29.63 c current bound: 4862 29.41/30.20 c current bound: 4862 29.99/30.78 c current bound: 4862 30.56/31.37 c current bound: 4862 31.14/31.94 c current bound: 4862 31.70/32.51 c current bound: 4862 32.27/33.08 c current bound: 4862 32.85/33.65 c current bound: 4862 33.66/34.21 c current bound: 4862 33.97/34.79 c current bound: 4862 34.75/35.36 c current bound: 4862 35.13/35.93 c current bound: 4862 35.97/36.50 c current bound: 4862 36.26/37.06 c current bound: 4862 37.06/37.62 c current bound: 4862 37.39/38.18 c current bound: 4862 38.16/38.75 c current bound: 4862 38.51/39.31 c current bound: 4862 39.25/39.87 c current bound: 4862 39.64/40.43 c current bound: 4862 40.46/41.12 c current bound: 4862 40.76/41.68 c current bound: 4862 41.33/42.24 c current bound: 4862 41.89/42.82 c current bound: 4862 42.74/43.40 c current bound: 4862 43.04/43.96 c current bound: 4862 43.61/44.54 c current bound: 4862 44.44/45.10 c current bound: 4862 44.75/45.68 c current bound: 4862 45.33/46.28 c current bound: 4862 45.88/46.84 c current bound: 4862 46.71/47.40 c current bound: 4862 47.01/47.96 c current bound: 4862 47.79/48.53 c current bound: 4862 48.14/49.09 c current bound: 4862 48.89/49.66 c current bound: 4862 49.26/50.23 c current bound: 4862 49.99/50.79 c current bound: 4862 50.40/51.43 c current bound: 4862 51.14/51.99 c current bound: 4862 51.54/52.55 c current bound: 4862 52.33/53.11 c current bound: 4862 52.65/53.67 c current bound: 4862 53.42/54.23 c current bound: 4862 53.77/54.79 c current bound: 4862 54.52/55.35 c current bound: 4862 54.89/55.90 c current bound: 4862 55.45/56.47 c current bound: 4862 55.99/57.03 c current bound: 4862 56.57/57.59 c current bound: 4862 57.14/58.15 c current bound: 4862 57.70/58.72 c current bound: 4862 58.26/59.28 c current bound: 4862 58.82/59.85 c current bound: 4862 59.37/60.41 c current bound: 4862 59.95/60.98 c current bound: 4862 60.50/61.57 c current bound: 4862 61.07/62.14 c current bound: 4862 61.64/62.70 c current bound: 4862 62.21/63.28 c current bound: 4862 62.76/63.85 c current bound: 4862 63.33/64.42 c current bound: 4862 63.92/64.98 c current bound: 4862 64.47/65.54 c current bound: 4862 65.30/66.29 c current bound: 4862 65.61/66.85 c current bound: 4862 66.39/67.41 c current bound: 4862 66.72/67.97 c current bound: 4862 67.49/68.53 c current bound: 4862 67.83/69.09 c current bound: 4862 68.59/69.65 c current bound: 4862 68.95/70.21 c current bound: 4862 69.53/70.78 c current bound: 4862 70.08/71.34 c current bound: 4862 70.65/71.90 c current bound: 4862 71.20/72.47 c current bound: 4862 71.76/73.04 c current bound: 4862 72.33/73.60 c current bound: 4862 72.90/74.17 c current bound: 4862 73.45/74.75 c current bound: 4862 74.04/75.31 c current bound: 4862 74.59/75.87 c current bound: 4862 75.17/76.44 c current bound: 4862 75.73/77.01 c current bound: 4862 76.31/77.58 c current bound: 4862 76.88/78.14 c current bound: 4862 77.43/78.70 c current bound: 4862 77.99/79.26 c current bound: 4862 78.55/79.82 c current bound: 4862 79.11/80.38 c current bound: 4862 79.67/80.94 c current bound: 4862 80.49/81.50 c current bound: 4862 80.79/82.06 c current bound: 4862 81.58/82.63 c current bound: 4862 81.93/83.19 c current bound: 4862 82.70/83.75 c current bound: 4862 83.03/84.31 c current bound: 4862 83.78/84.87 c current bound: 4862 84.18/85.43 c current bound: 4862 84.89/85.99 c current bound: 4862 85.28/86.55 c current bound: 4862 86.09/87.11 c current bound: 4862 86.41/87.67 c current bound: 4862 87.19/88.24 c current bound: 4862 87.55/88.80 c current bound: 4862 88.30/89.36 c current bound: 4862 88.67/89.92 c current bound: 4862 89.38/90.48 c current bound: 4862 89.78/91.04 c current bound: 4862 90.58/91.63 c current bound: 4862 90.93/92.19 c current bound: 4862 91.69/92.75 c current bound: 4862 92.05/93.30 c current bound: 4862 92.61/93.87 c current bound: 4862 93.16/94.43 c current bound: 4862 93.72/94.99 c current bound: 4862 94.29/95.55 c current bound: 4862 94.85/96.12 c current bound: 4862 95.41/96.70 c current bound: 4862 95.98/97.27 c current bound: 4862 96.55/97.83 c current bound: 4862 97.11/98.40 c current bound: 4862 97.68/98.97 c current bound: 4862 98.25/99.54 c current bound: 4862 98.81/100.10 c current bound: 4862 99.37/100.66 c current bound: 4862 100.16/101.39 c current bound: 4862 100.49/101.95 c current bound: 4862 101.27/102.53 c current bound: 4862 101.62/103.09 c current bound: 4862 102.39/103.65 c current bound: 4862 102.74/104.21 c current bound: 4862 103.48/104.77 c current bound: 4862 103.87/105.32 c current bound: 4862 104.59/105.88 c current bound: 4862 104.98/106.52 c current bound: 4862 105.55/107.08 c current bound: 4862 106.11/107.65 c current bound: 4862 106.67/108.21 c current bound: 4862 107.24/108.77 c current bound: 4862 107.81/109.34 c current bound: 4862 108.37/109.90 c current bound: 4862 108.94/110.47 c current bound: 4862 109.50/111.03 c current bound: 4862 110.06/111.63 c current bound: 4862 110.63/112.19 c current bound: 4862 111.22/112.76 c current bound: 4862 111.78/113.32 c current bound: 4862 112.33/113.88 c current bound: 4862 112.89/114.45 c current bound: 4862 113.47/115.01 c current bound: 4862 114.04/115.57 c current bound: 4862 114.59/116.13 c current bound: 4862 115.15/116.69 c current bound: 4862 115.72/117.25 c current bound: 4862 116.51/117.82 c current bound: 4862 116.84/118.38 c current bound: 4862 117.63/118.95 c current bound: 4862 117.96/119.51 c current bound: 4862 118.71/120.07 c current bound: 4862 119.08/120.63 c current bound: 4862 119.81/121.19 c current bound: 4862 120.22/121.77 c current bound: 4862 120.99/122.33 c current bound: 4862 121.33/122.89 c current bound: 4862 122.09/123.46 c current bound: 4862 122.45/124.02 c current bound: 4862 123.21/124.58 c current bound: 4862 123.59/125.14 c current bound: 4862 124.42/125.70 c current bound: 4862 124.71/126.26 c current bound: 4862 125.28/126.89 c current bound: 4862 125.84/127.46 c current bound: 4862 126.41/128.02 c current bound: 4862 126.97/128.58 c current bound: 4862 127.53/129.15 c current bound: 4862 128.10/129.71 c current bound: 4862 128.66/130.28 c current bound: 4862 129.23/130.84 c current bound: 4862 130.04/131.67 c current bound: 4862 130.58/132.25 c current bound: 4862 130.95/132.82 c current bound: 4862 131.68/133.39 c current bound: 4862 132.09/133.98 c current bound: 4862 132.88/134.56 c current bound: 4862 133.24/135.12 c current bound: 4862 134.09/135.70 c current bound: 4862 134.39/136.29 c current bound: 4862 134.98/136.87 c current bound: 4862 135.55/137.45 c current bound: 4862 136.13/138.03 c current bound: 4862 136.72/138.61 c current bound: 4862 137.58/139.20 c current bound: 4862 137.89/139.78 c current bound: 4862 138.47/140.37 c current bound: 4862 139.29/140.93 c current bound: 4862 139.63/141.66 c current bound: 4862 140.44/142.25 c current bound: 4862 140.80/142.83 c current bound: 4862 141.38/143.41 c current bound: 4862 141.95/144.00 c current bound: 4862 142.54/144.58 c current bound: 4862 143.14/145.18 c current bound: 4862 143.73/145.76 c current bound: 4862 144.31/146.34 c current bound: 4862 144.90/146.92 c current bound: 4862 145.47/147.50 c current bound: 4862 146.05/148.08 c current bound: 4862 146.84/148.66 c current bound: 4862 147.21/149.24 c current bound: 4862 148.05/149.82 c current bound: 4862 148.37/150.38 c current bound: 4862 149.13/150.96 c current bound: 4862 149.51/151.55 c current bound: 4862 150.30/152.17 c current bound: 4862 150.68/152.76 c current bound: 4862 151.27/153.34 c current bound: 4862 151.86/153.92 c current bound: 4862 152.44/154.50 c current bound: 4862 153.02/155.09 c current bound: 4862 153.61/155.67 c current bound: 4862 154.19/156.23 c current bound: 4862 154.76/156.82 c current bound: 4862 155.63/157.41 c current bound: 4862 155.93/157.98 c current bound: 4862 156.71/158.56 c current bound: 4862 157.08/159.14 c current bound: 4862 157.91/159.73 c current bound: 4862 158.27/160.31 c current bound: 4862 159.01/160.89 c current bound: 4862 159.42/161.48 c current bound: 4862 160.21/162.06 c current bound: 4862 160.59/162.64 c current bound: 4862 161.16/163.22 c current bound: 4862 161.76/163.80 c current bound: 4862 162.33/164.39 c current bound: 4862 162.92/164.97 c current bound: 4862 163.50/165.55 c current bound: 4862 164.08/166.14 c current bound: 4862 164.68/166.77 c current bound: 4862 165.47/167.34 c current bound: 4862 165.83/167.93 c current bound: 4862 166.68/168.51 c current bound: 4862 166.99/169.07 c current bound: 4862 167.78/169.65 c current bound: 4862 168.14/170.21 c current bound: 4862 168.99/170.80 c current bound: 4862 169.28/171.38 c current bound: 4862 170.07/171.95 c current bound: 4862 170.44/172.53 c current bound: 4862 171.03/173.12 c current bound: 4862 171.89/173.70 c current bound: 4862 172.19/174.28 c current bound: 4862 172.78/174.86 c current bound: 4862 173.35/175.45 c current bound: 4862 173.94/176.03 c current bound: 4862 174.53/176.59 c current bound: 4862 175.34/177.22 c current bound: 4862 175.67/177.80 c current bound: 4862 176.44/178.38 c current bound: 4862 176.83/178.97 c current bound: 4862 177.66/179.55 c current bound: 4862 178.00/180.15 c current bound: 4862 178.84/180.73 c current bound: 4862 179.19/181.31 c current bound: 4862 179.77/182.02 c current bound: 4862 180.35/182.59 c current bound: 4862 180.93/183.17 c current bound: 4862 181.51/183.75 c current bound: 4862 182.08/184.33 c current bound: 4862 182.92/184.91 c current bound: 4862 183.24/185.49 c current bound: 4862 184.03/186.07 c current bound: 4862 184.42/186.65 c current bound: 4862 185.23/187.24 c current bound: 4862 185.59/187.82 c current bound: 4862 186.42/188.41 c current bound: 4862 187.04/189.00 c current bound: 4862 187.35/189.59 c current bound: 4862 187.92/190.17 c current bound: 4862 188.50/190.75 c current bound: 4862 189.08/191.34 c current bound: 4862 189.95/192.08 c current bound: 4862 190.47/192.66 c current bound: 4862 190.83/193.24 c current bound: 4862 191.66/193.82 c current bound: 4862 192.00/194.40 c current bound: 4862 192.76/194.98 c current bound: 4862 193.16/195.54 c current bound: 4862 193.98/196.13 c current bound: 4862 194.31/196.71 c current bound: 4862 194.89/197.27 c current bound: 4862 195.45/197.85 c current bound: 4862 196.04/198.41 c current bound: 4862 196.59/198.99 c current bound: 4862 197.17/199.57 c current bound: 4862 197.76/200.16 c current bound: 4862 198.35/200.74 c current bound: 4862 198.93/201.32 c current bound: 4862 199.77/201.90 c current bound: 4862 200.08/202.48 c current bound: 4862 200.66/203.06 c current bound: 4862 201.47/203.64 c current bound: 4862 201.84/204.22 c current bound: 4862 202.68/204.81 c current bound: 4862 203.00/205.41 c current bound: 4862 203.78/205.99 c current bound: 4862 204.17/206.57 c current bound: 4862 204.98/207.13 c current bound: 4862 205.33/207.71 c current bound: 4862 205.91/208.27 c current bound: 4862 206.47/208.86 c current bound: 4862 207.05/209.45 c current bound: 4862 207.66/210.03 c current bound: 4862 208.23/210.61 c current bound: 4862 208.80/211.19 c current bound: 4862 209.39/211.77 c current bound: 4862 209.97/212.35 c current bound: 4862 210.55/212.94 c current bound: 4862 211.39/213.52 c current bound: 4862 211.71/214.12 c current bound: 4862 212.60/214.73 c current bound: 4862 212.92/215.31 c current bound: 4862 213.70/215.89 c current bound: 4862 214.09/216.45 c current bound: 4862 214.94/217.12 c current bound: 4862 215.24/217.70 c current bound: 4862 215.82/218.28 c current bound: 4862 216.40/218.89 c current bound: 4862 217.01/219.47 c current bound: 4862 217.60/220.06 c current bound: 4862 218.19/220.64 c current bound: 4862 219.03/221.22 c current bound: 4862 219.64/221.80 c current bound: 4862 220.13/222.38 c current bound: 4862 220.51/222.96 c current bound: 4862 221.34/223.54 c current bound: 4862 221.67/224.13 c current bound: 4862 222.53/224.71 c current bound: 4862 222.85/225.29 c current bound: 4862 223.63/225.85 c current bound: 4862 223.99/226.43 c current bound: 4862 224.85/227.10 c current bound: 4862 225.15/227.66 c current bound: 4862 225.71/228.25 c current bound: 4862 226.30/228.83 c current bound: 4862 226.89/229.41 c current bound: 4862 227.46/229.99 c current bound: 4862 228.05/230.57 c current bound: 4862 228.84/231.15 c current bound: 4862 229.21/231.73 c current bound: 4862 230.04/232.31 c current bound: 4862 230.37/232.89 c current bound: 4862 231.16/233.47 c current bound: 4862 231.53/234.05 c current bound: 4862 232.35/234.63 c current bound: 4862 232.69/235.21 c current bound: 4862 233.26/235.77 c current bound: 4862 233.84/236.35 c current bound: 4862 234.42/236.93 c current bound: 4862 234.99/237.61 c current bound: 4862 235.58/238.19 c current bound: 4862 236.16/238.77 c current bound: 4862 236.74/239.36 c current bound: 4862 237.57/239.94 c current bound: 4862 237.90/240.52 c current bound: 4862 238.77/241.11 c current bound: 4862 239.07/241.69 c current bound: 4862 239.85/242.27 c current bound: 4862 240.23/242.85 c current bound: 4862 241.05/243.44 c current bound: 4862 241.40/244.02 c current bound: 4862 242.27/244.60 c current bound: 4862 242.56/245.18 c current bound: 4862 243.15/245.76 c current bound: 4862 243.73/246.34 c current bound: 4862 244.31/246.93 c current bound: 4862 244.90/247.52 c current bound: 4862 245.47/248.10 c current bound: 4862 246.05/248.68 c current bound: 4862 246.64/249.27 c current bound: 4862 247.45/249.85 c current bound: 4862 247.80/250.43 c current bound: 4862 248.66/251.00 c current bound: 4862 248.95/251.59 c current bound: 4862 249.73/252.17 c current bound: 4862 250.11/252.75 c current bound: 4862 250.93/253.33 c current bound: 4862 251.28/253.92 c current bound: 4862 252.15/254.50 c current bound: 4862 252.44/255.08 c current bound: 4862 253.04/255.66 c current bound: 4862 253.60/256.24 c current bound: 4862 254.19/256.83 c current bound: 4862 254.78/257.41 c current bound: 4862 255.36/257.99 c current bound: 4862 255.92/258.57 c current bound: 4862 256.52/259.16 c current bound: 4862 257.34/259.74 c current bound: 4862 257.68/260.31 c current bound: 4862 258.43/260.89 c current bound: 4862 258.85/261.48 c current bound: 4862 259.70/262.28 c current bound: 4862 260.00/262.86 c current bound: 4862 260.58/263.44 c current bound: 4862 261.16/264.02 c current bound: 4862 261.76/264.62 c current bound: 4862 262.34/265.20 c current bound: 4862 262.92/265.79 c current bound: 4862 263.72/266.36 c current bound: 4862 264.10/266.96 c current bound: 4862 264.89/267.56 c current bound: 4862 265.26/268.15 c current bound: 4862 266.10/268.72 c current bound: 4862 266.43/269.31 c current bound: 4862 267.02/269.89 c current bound: 4862 267.59/270.47 c current bound: 4862 268.17/271.05 c current bound: 4862 268.75/271.64 c current bound: 4862 269.35/272.22 c current bound: 4862 269.92/272.80 c current bound: 4862 270.50/273.38 c current bound: 4862 271.08/273.96 c current bound: 4862 271.66/274.55 c current bound: 4862 272.50/275.13 c current bound: 4862 272.83/275.71 c current bound: 4862 273.60/276.29 c current bound: 4862 273.99/276.87 c current bound: 4862 274.79/277.45 c current bound: 4862 275.16/278.03 c current bound: 4862 275.98/278.62 c current bound: 4862 276.32/279.21 c current bound: 4862 277.21/279.80 c current bound: 4862 277.50/280.38 c current bound: 4862 278.08/280.96 c current bound: 4862 278.68/281.54 c current bound: 4862 279.53/282.36 c current bound: 4862 280.08/282.92 c current bound: 4862 280.39/283.50 c current bound: 4862 281.17/284.06 c current bound: 4862 281.54/284.65 c current bound: 4862 282.37/285.23 c current bound: 4862 282.71/285.82 c current bound: 4862 283.30/286.39 c current bound: 4862 283.87/286.98 c current bound: 4862 284.45/287.56 c current bound: 4862 285.03/288.14 c current bound: 4862 285.63/288.72 c current bound: 4862 286.20/289.30 c current bound: 4862 286.77/289.86 c current bound: 4862 287.33/290.44 c current bound: 4862 287.91/291.02 c current bound: 4862 288.77/291.62 c current bound: 4862 289.38/292.48 c current bound: 4862 289.69/293.06 c current bound: 4862 290.26/293.64 c current bound: 4862 290.84/294.22 c current bound: 4862 291.43/294.80 c current bound: 4862 292.00/295.38 c current bound: 4862 292.58/295.94 c current bound: 4862 293.14/296.52 c current bound: 4862 293.99/297.11 c current bound: 4862 294.61/297.70 c current bound: 4862 295.21/298.30 c current bound: 4862 295.51/298.89 c current bound: 4862 296.29/299.47 c current bound: 4862 296.67/300.04 c current bound: 4862 297.49/300.63 c current bound: 4862 297.84/301.21 c current bound: 4862 298.42/301.80 c current bound: 4862 299.01/302.50 c current bound: 4862 299.59/303.09 c current bound: 4862 300.17/303.67 c current bound: 4862 300.75/304.24 c current bound: 4862 301.58/304.83 c current bound: 4862 301.93/305.41 c current bound: 4862 302.68/305.99 c current bound: 4862 303.09/306.57 c current bound: 4862 303.90/307.16 c current bound: 4862 304.25/307.72 c current bound: 4862 304.97/308.28 c current bound: 4862 305.36/308.86 c current bound: 4862 306.17/309.45 c current bound: 4862 306.54/310.04 c current bound: 4862 307.40/310.60 c current bound: 4862 307.68/311.16 c current bound: 4862 308.25/311.74 c current bound: 4862 309.09/312.30 c current bound: 4862 309.39/312.88 c current bound: 4862 309.97/313.46 c current bound: 4862 310.56/314.04 c current bound: 4862 311.12/314.62 c current bound: 4862 311.99/315.20 c current bound: 4862 312.30/315.78 c current bound: 4862 312.87/316.36 c current bound: 4862 313.69/316.94 c current bound: 4862 314.03/317.54 c current bound: 4862 314.89/318.12 c current bound: 4862 315.50/318.70 c current bound: 4862 315.98/319.28 c current bound: 4862 316.37/319.84 c current bound: 4862 317.19/320.42 c current bound: 4862 317.53/321.00 c current bound: 4862 318.11/321.56 c current bound: 4862 318.67/322.14 c current bound: 4862 319.26/322.73 c current bound: 4862 319.84/323.31 c current bound: 4862 320.42/323.89 c current bound: 4862 321.00/324.47 c current bound: 4862 321.58/325.05 c current bound: 4862 322.15/325.63 c current bound: 4862 322.74/326.19 c current bound: 4862 323.30/326.77 c current bound: 4862 323.88/327.33 c current bound: 4862 324.71/327.91 c current bound: 4862 325.02/328.49 c current bound: 4862 325.81/329.07 c current bound: 4862 326.19/329.66 c current bound: 4862 326.99/330.24 c current bound: 4862 327.35/330.82 c current bound: 4862 328.21/331.40 c current bound: 4862 328.52/331.98 c current bound: 4862 329.29/332.56 c current bound: 4862 329.69/333.14 c current bound: 4862 330.26/333.72 c current bound: 4862 330.84/334.30 c current bound: 4862 331.43/334.89 c current bound: 4862 332.01/335.47 c current bound: 4862 332.58/336.05 c current bound: 4862 333.17/336.64 c current bound: 4862 333.76/337.22 c current bound: 4862 334.33/337.79 c current bound: 4862 334.92/338.38 c current bound: 4862 335.72/338.96 c current bound: 4862 336.08/339.53 c current bound: 4862 336.91/340.11 c current bound: 4862 337.24/340.69 c current bound: 4862 338.03/341.27 c current bound: 4862 338.39/341.83 c current bound: 4862 339.22/342.41 c current bound: 4862 339.55/342.99 c current bound: 4862 340.32/343.57 c current bound: 4862 340.70/344.15 c current bound: 4862 341.28/344.73 c current bound: 4862 341.86/345.32 c current bound: 4862 342.72/345.90 c current bound: 4862 343.01/346.48 c current bound: 4862 343.60/347.07 c current bound: 4862 344.48/347.77 c current bound: 4862 344.78/348.35 c current bound: 4862 345.59/348.93 c current bound: 4862 345.93/349.52 c current bound: 4862 346.80/350.10 c current bound: 4862 347.10/350.68 c current bound: 4862 347.88/351.26 c current bound: 4862 348.25/351.84 c current bound: 4862 348.85/352.42 c current bound: 4862 349.43/353.01 c current bound: 4862 350.01/353.59 c current bound: 4862 350.59/354.17 c current bound: 4862 351.18/354.76 c current bound: 4862 351.77/355.34 c current bound: 4862 352.36/355.92 c current bound: 4862 352.93/356.50 c current bound: 4862 353.50/357.09 c current bound: 4862 354.38/357.82 c current bound: 4862 354.68/358.40 c current bound: 4862 355.27/358.97 c current bound: 4862 355.84/359.55 c current bound: 4862 356.42/360.13 c current bound: 4862 357.01/360.72 c current bound: 4862 357.59/361.29 c current bound: 4862 358.16/361.88 c current bound: 4862 358.74/362.46 c current bound: 4862 359.34/363.04 c current bound: 4862 359.92/363.62 c current bound: 4862 360.77/364.21 c current bound: 4862 361.37/364.80 c current bound: 4862 361.86/365.38 c current bound: 4862 362.26/365.96 c current bound: 4862 363.05/366.52 c current bound: 4862 363.40/367.10 c current bound: 4862 364.26/367.79 c current bound: 4862 364.56/368.37 c current bound: 4862 365.14/368.95 c current bound: 4862 365.72/369.54 c current bound: 4862 366.32/370.13 c current bound: 4862 366.91/370.71 c current bound: 4862 367.49/371.29 c current bound: 4862 368.06/371.87 c current bound: 4862 368.65/372.46 c current bound: 4862 369.47/373.04 c current bound: 4862 369.81/373.62 c current bound: 4862 370.66/374.21 c current bound: 4862 370.98/374.79 c current bound: 4862 371.77/375.37 c current bound: 4862 372.15/375.95 c current bound: 4862 372.95/376.54 c current bound: 4862 373.31/377.12 c current bound: 4862 374.20/377.85 c current bound: 4862 374.50/378.43 c current bound: 4862 375.08/379.01 c current bound: 4862 375.95/379.60 c current bound: 4862 376.26/380.19 c current bound: 4862 377.05/380.77 c current bound: 4862 377.42/381.36 c current bound: 4862 378.25/381.94 c current bound: 4862 378.60/382.52 c current bound: 4862 379.45/383.10 c current bound: 4862 379.76/383.68 c current bound: 4862 380.53/384.24 c current bound: 4862 380.91/384.83 c current bound: 4862 381.49/385.41 c current bound: 4862 382.08/385.99 c current bound: 4862 382.65/386.57 c current bound: 4862 383.23/387.15 c current bound: 4862 383.81/387.92 c current bound: 4862 384.67/388.50 c current bound: 4862 384.97/389.09 c current bound: 4862 385.77/389.67 c current bound: 4862 386.15/390.23 c current bound: 4862 386.95/390.81 c current bound: 4862 387.28/391.41 c current bound: 4862 387.88/391.98 c current bound: 4862 388.45/392.57 c current bound: 4862 389.04/393.16 c current bound: 4862 389.64/393.74 c current bound: 4862 390.47/394.30 c current bound: 4862 390.78/394.89 c current bound: 4862 391.36/395.47 c current bound: 4862 391.95/396.05 c current bound: 4862 392.54/396.63 c current bound: 4862 393.37/397.21 c current bound: 4862 393.69/397.79 c current bound: 4862 394.54/398.41 c current bound: 4862 394.86/398.99 c current bound: 4862 395.65/399.57 c current bound: 4862 396.02/400.16 c current bound: 4862 396.84/400.74 c current bound: 4862 397.19/401.32 c current bound: 4862 398.05/401.90 c current bound: 4862 398.34/402.48 c current bound: 4862 398.94/403.19 c current bound: 4862 399.53/403.78 c current bound: 4862 400.12/404.36 c current bound: 4862 400.93/404.94 c current bound: 4862 401.29/405.52 c current bound: 4862 402.15/406.10 c current bound: 4862 402.45/406.68 c current bound: 4862 403.22/407.24 c current bound: 4862 403.59/407.82 c current bound: 4862 404.43/408.41 c current bound: 4862 404.76/408.99 c current bound: 4862 405.53/409.58 c current bound: 4862 405.91/410.16 c current bound: 4862 406.52/410.75 c current bound: 4862 407.10/411.33 c current bound: 4862 407.68/411.92 c current bound: 4862 408.27/412.50 c current bound: 4862 409.14/413.30 c current bound: 4862 409.63/413.88 c current bound: 4862 410.02/414.46 c current bound: 4862 410.82/415.04 c current bound: 4862 411.19/415.63 c current bound: 4862 411.76/416.21 c current bound: 4862 412.34/416.80 c current bound: 4862 412.95/417.39 c current bound: 4862 413.54/417.97 c current bound: 4862 414.11/418.54 c current bound: 4862 414.68/419.12 c current bound: 4862 415.26/419.72 c current bound: 4862 415.85/420.30 c current bound: 4862 416.44/420.88 c current bound: 4862 417.22/421.47 c current bound: 4862 417.60/422.05 c current bound: 4862 418.43/422.63 c current bound: 4862 418.77/423.53 c current bound: 4862 419.36/424.11 c current bound: 4862 419.93/424.70 c current bound: 4862 420.53/425.29 c current bound: 4862 421.32/425.87 c current bound: 4862 421.70/426.46 c current bound: 4862 422.53/427.02 c current bound: 4862 422.85/427.60 c current bound: 4862 423.62/428.18 c current bound: 4862 424.02/428.77 c current bound: 4862 424.81/429.35 c current bound: 4862 425.18/429.94 c current bound: 4862 425.77/430.51 c current bound: 4862 426.63/431.10 c current bound: 4862 426.93/431.68 c current bound: 4862 427.51/432.27 c current bound: 4862 428.09/432.84 c current bound: 4862 428.94/433.65 c current bound: 4862 429.24/434.23 c current bound: 4862 430.08/434.81 c current bound: 4862 430.69/435.40 c current bound: 4862 431.20/435.96 c current bound: 4862 431.56/436.54 c current bound: 4862 432.15/437.12 c current bound: 4862 433.01/437.70 c current bound: 4862 433.30/438.28 c current bound: 4862 433.89/438.87 c current bound: 4862 434.48/439.45 c current bound: 4862 435.06/440.03 c current bound: 4862 435.64/440.61 c current bound: 4862 436.22/441.19 c current bound: 4862 436.81/441.78 c current bound: 4862 437.61/442.36 c current bound: 4862 437.96/442.94 c current bound: 4862 438.82/443.66 c current bound: 4862 439.13/444.25 c current bound: 4862 439.70/444.81 c current bound: 4862 440.27/445.39 c current bound: 4862 440.85/445.97 c current bound: 4862 441.43/446.55 c current bound: 4862 442.01/447.14 c current bound: 4862 442.61/447.72 c current bound: 4862 443.19/448.30 c current bound: 4862 443.77/448.89 c current bound: 4862 444.37/449.47 c current bound: 4862 445.15/450.05 c current bound: 4862 445.52/450.64 c current bound: 4862 446.37/451.22 c current bound: 4862 446.97/451.80 c current bound: 4862 447.45/452.38 c current bound: 4862 447.85/452.96 c current bound: 4862 448.73/453.89 c current bound: 4862 449.23/454.47 c current bound: 4862 449.60/455.05 c current bound: 4862 450.42/455.64 c current bound: 4862 450.78/456.23 c current bound: 4862 451.62/456.81 c current bound: 4862 451.94/457.39 c current bound: 4862 452.72/457.98 c current bound: 4862 453.39/458.82 c current bound: 4862 453.70/459.40 c current bound: 4862 454.45/459.96 c current bound: 4862 454.84/460.53 c current bound: 4862 455.56/461.10 c current bound: 4862 455.97/461.67 c current bound: 4862 456.75/462.25 c current bound: 4862 457.13/462.82 c current bound: 4862 457.85/463.39 c current bound: 4862 458.27/463.96 c current bound: 4862 459.05/464.53 c current bound: 4862 459.40/465.10 c current bound: 4862 459.97/465.66 c current bound: 4862 460.53/466.24 c current bound: 4862 461.12/466.81 c current bound: 4862 461.69/467.38 c current bound: 4862 462.26/467.95 c current bound: 4862 462.83/468.52 c current bound: 4862 463.39/469.09 c current bound: 4862 463.98/469.66 c current bound: 4862 464.54/470.23 c current bound: 4862 465.36/470.80 c current bound: 4862 465.69/471.37 c current bound: 4862 466.26/471.94 c current bound: 4862 466.82/472.51 c current bound: 4862 467.38/473.07 c current bound: 4862 467.97/473.79 c current bound: 4862 468.72/474.36 c current bound: 4862 469.10/474.93 c current bound: 4862 469.93/475.50 c current bound: 4862 470.24/476.07 c current bound: 4862 471.03/476.66 c current bound: 4862 471.40/477.23 c current bound: 4862 471.98/477.81 c current bound: 4862 472.55/478.38 c current bound: 4862 473.11/478.96 c current bound: 4862 473.70/479.53 c current bound: 4862 474.27/480.09 c current bound: 4862 474.84/480.67 c current bound: 4862 475.41/481.23 c current bound: 4862 475.99/481.81 c current bound: 4862 476.56/482.37 c current bound: 4862 477.13/482.94 c current bound: 4862 477.70/483.52 c current bound: 4862 478.27/484.09 c current bound: 4862 478.85/484.66 c current bound: 4862 479.64/485.23 c current bound: 4862 480.25/485.80 c current bound: 4862 480.74/486.38 c current bound: 4862 481.13/486.94 c current bound: 4862 481.95/487.52 c current bound: 4862 482.28/488.09 c current bound: 4862 483.09/488.76 c current bound: 4862 483.41/489.33 c current bound: 4862 483.98/489.89 c current bound: 4862 484.54/490.47 c current bound: 4862 485.12/491.04 c current bound: 4862 485.69/491.60 c current bound: 4862 486.27/492.17 c current bound: 4862 486.83/492.74 c current bound: 4862 487.40/493.31 c current bound: 4862 488.23/494.12 c current bound: 4862 488.53/494.69 c current bound: 4862 489.31/495.28 c current bound: 4862 489.70/495.85 c current bound: 4862 490.51/496.42 c current bound: 4862 490.83/497.01 c current bound: 4862 491.44/497.58 c current bound: 4862 492.00/498.15 c current bound: 4862 492.56/498.72 c current bound: 4862 493.14/499.29 c current bound: 4862 493.70/499.86 c current bound: 4862 494.28/500.43 c current bound: 4862 495.12/501.00 c current bound: 4862 495.41/501.57 c current bound: 4862 495.99/502.14 c current bound: 4862 496.57/502.71 c current bound: 4862 497.13/503.27 c current bound: 4862 497.70/503.84 c current bound: 4862 498.27/504.41 c current bound: 4862 498.84/504.99 c current bound: 4862 499.42/505.56 c current bound: 4862 500.21/506.13 c current bound: 4862 500.82/506.70 c current bound: 4862 501.30/507.28 c current bound: 4862 501.71/507.85 c current bound: 4862 502.52/508.42 c current bound: 4862 502.84/508.99 c current bound: 4862 503.59/509.59 c current bound: 4862 503.99/510.18 c current bound: 4862 504.77/510.77 c current bound: 4862 505.18/511.33 c current bound: 4862 505.74/511.90 c current bound: 4862 506.30/512.47 c current bound: 4862 506.88/513.04 c current bound: 4862 507.44/513.61 c current bound: 4862 508.01/514.29 c current bound: 4862 508.60/514.85 c current bound: 4862 509.16/515.42 c current bound: 4862 509.74/515.99 c current bound: 4862 510.30/516.56 c current bound: 4862 511.09/517.13 c current bound: 4862 511.45/517.70 c current bound: 4862 512.18/518.28 c current bound: 4862 512.60/518.85 c current bound: 4862 513.39/519.43 c current bound: 4862 513.74/520.00 c current bound: 4862 514.59/520.60 c current bound: 4862 514.91/521.17 c current bound: 4862 515.69/521.74 c current bound: 4862 516.05/522.31 c current bound: 4862 516.61/522.88 c current bound: 4862 517.19/523.45 c current bound: 4862 517.76/524.02 c current bound: 4862 518.34/524.59 c current bound: 4862 518.90/525.16 c current bound: 4862 519.46/525.73 c current bound: 4862 520.30/526.30 c current bound: 4862 520.60/526.87 c current bound: 4862 521.18/527.43 c current bound: 4862 521.74/528.00 c current bound: 4862 522.32/528.57 c current bound: 4862 523.13/529.33 c current bound: 4862 523.47/529.90 c current bound: 4862 524.20/530.48 c current bound: 4862 524.61/531.05 c current bound: 4862 525.40/531.63 c current bound: 4862 525.74/532.19 c current bound: 4862 526.31/532.76 c current bound: 4862 526.87/533.33 c current bound: 4862 527.70/533.90 c current bound: 4862 528.01/534.46 c current bound: 4862 528.59/535.03 c current bound: 4862 529.15/535.60 c current bound: 4862 529.72/536.17 c current bound: 4862 530.29/536.74 c current bound: 4862 530.87/537.31 c current bound: 4862 531.43/537.88 c current bound: 4862 532.00/538.45 c current bound: 4862 532.57/539.02 c current bound: 4862 533.15/539.59 c current bound: 4862 533.71/540.15 c current bound: 4862 534.29/540.72 c current bound: 4862 534.86/541.29 c current bound: 4862 535.43/541.86 c current bound: 4862 536.22/542.43 c current bound: 4862 536.84/543.00 c current bound: 4862 537.31/543.57 c current bound: 4862 537.70/544.14 c current bound: 4862 538.53/544.71 c current bound: 4862 538.85/545.28 c current bound: 4862 539.62/545.86 c current bound: 4862 540.00/546.43 c current bound: 4862 540.82/547.04 c current bound: 4862 541.18/547.61 c current bound: 4862 541.75/548.17 c current bound: 4862 542.31/548.74 c current bound: 4862 543.15/549.50 c current bound: 4862 543.45/550.07 c current bound: 4862 544.03/550.64 c current bound: 4862 544.84/551.21 c current bound: 4862 545.16/551.78 c current bound: 4862 545.93/552.36 c current bound: 4862 546.31/552.93 c current bound: 4862 547.15/553.51 c current bound: 4862 547.47/554.07 c current bound: 4862 548.22/554.68 c current bound: 4862 548.62/555.25 c current bound: 4862 549.43/555.82 c current bound: 4862 549.77/556.38 c current bound: 4862 550.51/556.98 c current bound: 4862 550.92/557.56 c current bound: 4862 551.49/558.13 c current bound: 4862 552.08/558.70 c current bound: 4862 552.64/559.42 c current bound: 4862 553.22/559.99 c current bound: 4862 553.79/560.57 c current bound: 4862 554.59/561.16 c current bound: 4862 554.95/561.74 c current bound: 4862 555.77/562.31 c current bound: 4862 556.10/562.88 c current bound: 4862 556.88/563.45 c current bound: 4862 557.25/564.02 c current bound: 4862 557.99/564.59 c current bound: 4862 558.39/565.16 c current bound: 4862 559.18/565.74 c current bound: 4862 559.54/566.31 c current bound: 4862 560.11/566.88 c current bound: 4862 560.70/567.45 c current bound: 4862 561.26/568.02 c current bound: 4862 561.82/568.59 c current bound: 4862 562.39/569.16 c current bound: 4862 562.97/569.72 c current bound: 4862 563.53/570.29 c current bound: 4862 564.11/570.86 c current bound: 4862 564.69/571.43 c current bound: 4862 565.25/571.99 c current bound: 4862 565.82/572.57 c current bound: 4862 566.40/573.14 c current bound: 4862 566.97/573.71 c current bound: 4862 567.53/574.27 c current bound: 4862 568.11/574.84 c current bound: 4862 568.93/575.42 c current bound: 4862 569.25/575.99 c current bound: 4862 570.02/576.56 c current bound: 4862 570.39/577.12 c current bound: 4862 571.13/577.70 c current bound: 4862 571.53/578.26 c current bound: 4862 572.33/578.83 c current bound: 4862 572.93/579.56 c current bound: 4862 573.26/580.13 c current bound: 4862 574.08/580.70 c current bound: 4862 574.39/581.28 c current bound: 4862 574.97/581.85 c current bound: 4862 575.55/582.43 c current bound: 4862 576.13/583.01 c current bound: 4862 576.69/583.57 c current bound: 4862 577.25/584.13 c current bound: 4862 577.81/584.74 c current bound: 4862 578.39/585.30 c current bound: 4862 578.96/585.86 c current bound: 4862 579.76/586.42 c current bound: 4862 580.06/586.98 c current bound: 4862 580.84/587.54 c current bound: 4862 581.45/588.10 c current bound: 4862 581.94/588.66 c current bound: 4862 582.31/589.22 c current bound: 4862 583.07/589.84 c current bound: 4862 583.69/590.40 c current bound: 4862 584.18/590.96 c current bound: 4862 584.55/591.52 c current bound: 4862 585.28/592.08 c current bound: 4862 585.67/592.64 c current bound: 4862 586.48/593.20 c current bound: 4862 586.79/593.76 c current bound: 4862 587.59/594.44 c current bound: 4862 588.17/595.00 c current bound: 4862 588.47/595.56 c current bound: 4862 589.03/596.12 c current bound: 4862 589.58/596.68 c current bound: 4862 590.14/597.24 c current bound: 4862 590.72/597.81 c current bound: 4862 591.28/598.37 c current bound: 4862 591.84/598.95 c current bound: 4862 592.40/599.51 c current bound: 4862 592.99/600.09 c current bound: 4862 593.55/600.65 c current bound: 4862 594.11/601.21 c current bound: 4862 594.67/601.77 c current bound: 4862 595.23/602.32 c current bound: 4862 595.78/602.89 c current bound: 4862 596.36/603.46 c current bound: 4862 597.15/604.02 c current bound: 4862 597.48/604.58 c current bound: 4862 598.25/605.13 c current bound: 4862 598.61/605.69 c current bound: 4862 599.37/606.25 c current bound: 4862 599.73/606.81 c current bound: 4862 600.47/607.37 c current bound: 4862 600.84/607.94 c current bound: 4862 601.56/608.50 c current bound: 4862 601.97/609.06 c current bound: 4862 602.76/609.68 c current bound: 4862 603.09/610.24 c current bound: 4862 603.90/610.82 c current bound: 4862 604.23/611.38 c current bound: 4862 604.98/611.94 c current bound: 4862 605.61/612.50 c current bound: 4862 605.90/613.06 c current bound: 4862 606.47/613.62 c current bound: 4862 607.01/614.18 c current bound: 4862 607.58/614.74 c current bound: 4862 608.15/615.30 c current bound: 4862 608.70/615.87 c current bound: 4862 609.28/616.43 c current bound: 4862 610.10/617.08 c current bound: 4862 610.41/617.65 c current bound: 4862 610.96/618.21 c current bound: 4862 611.53/618.79 c current bound: 4862 612.12/619.35 c current bound: 4862 612.67/619.94 c current bound: 4862 613.49/620.50 c current bound: 4862 613.79/621.07 c current bound: 4862 614.57/621.63 c current bound: 4862 614.92/622.19 c current bound: 4862 615.67/622.75 c current bound: 4862 616.04/623.31 c current bound: 4862 616.78/623.86 c current bound: 4862 617.14/624.43 c current bound: 4862 617.88/625.08 c current bound: 4862 618.28/625.64 c current bound: 4862 619.09/626.20 c current bound: 4862 619.39/626.76 c current bound: 4862 620.19/627.32 c current bound: 4862 620.51/627.88 c current bound: 4862 621.28/628.45 c current bound: 4862 621.64/629.01 c current bound: 4862 622.20/629.71 c current bound: 4862 622.75/630.27 c current bound: 4862 623.33/630.84 c current bound: 4862 623.90/631.40 c current bound: 4862 624.46/631.98 c current bound: 4862 625.02/632.54 c current bound: 4862 625.59/633.10 c current bound: 4862 626.15/633.66 c current bound: 4862 626.71/634.23 c current bound: 4862 627.29/634.79 c current bound: 4862 627.84/635.35 c current bound: 4862 628.63/635.91 c current bound: 4862 628.97/636.47 c current bound: 4862 629.74/637.03 c current bound: 4862 630.09/637.59 c current bound: 4862 630.84/638.15 c current bound: 4862 631.19/638.72 c current bound: 4862 631.93/639.28 c current bound: 4862 632.60/640.11 c current bound: 4862 632.90/640.68 c current bound: 4862 633.46/641.24 c current bound: 4862 634.03/641.82 c current bound: 4862 634.60/642.38 c current bound: 4862 635.18/642.96 c current bound: 4862 635.73/643.52 c current bound: 4862 636.29/644.08 c current bound: 4862 636.85/644.64 c current bound: 4862 637.41/645.21 c current bound: 4862 637.99/645.77 c current bound: 4862 638.55/646.34 c current bound: 4862 639.12/646.90 c current bound: 4862 639.67/647.46 c current bound: 4862 640.47/648.02 c current bound: 4862 640.79/648.58 c current bound: 4862 641.56/649.14 c current bound: 4862 641.92/649.70 c current bound: 4862 642.66/650.28 c current bound: 4862 643.04/650.84 c current bound: 4862 643.75/651.40 c current bound: 4862 644.17/651.99 c current bound: 4862 644.92/652.56 c current bound: 4862 645.30/653.13 c current bound: 4862 646.03/653.69 c current bound: 4862 646.43/654.25 c current bound: 4862 647.22/654.81 c current bound: 4862 647.55/655.39 c current bound: 4862 648.31/655.95 c current bound: 4862 648.67/656.51 c current bound: 4862 649.24/657.08 c current bound: 4862 649.81/657.64 c current bound: 4862 650.36/658.21 c current bound: 4862 650.93/658.76 c current bound: 4862 651.49/659.33 c current bound: 4862 652.32/660.17 c current bound: 4862 652.62/660.73 c current bound: 4862 653.33/661.29 c current bound: 4862 653.72/661.85 c current bound: 4862 654.53/662.41 c current bound: 4862 654.85/662.97 c current bound: 4862 655.63/663.53 c current bound: 4862 655.97/664.09 c current bound: 4862 656.73/664.65 c current bound: 4862 657.09/665.22 c current bound: 4862 657.83/665.78 c current bound: 4862 658.21/666.34 c current bound: 4862 659.02/666.90 c current bound: 4862 659.33/667.46 c current bound: 4862 660.11/668.02 c current bound: 4862 660.45/668.58 c current bound: 4862 661.22/669.13 c current bound: 4862 661.57/669.70 c current bound: 4862 662.14/670.27 c current bound: 4862 662.70/670.83 c current bound: 4862 663.53/671.40 c current bound: 4862 663.83/671.96 c current bound: 4862 664.40/672.54 c current bound: 4862 665.22/673.10 c current bound: 4862 665.54/673.66 c current bound: 4862 666.09/674.22 c current bound: 4862 666.66/674.79 c current bound: 4862 667.24/675.35 c current bound: 4862 667.79/675.93 c current bound: 4862 668.37/676.49 c current bound: 4862 668.94/677.07 c current bound: 4862 669.51/677.64 c current bound: 4862 670.07/678.20 c current bound: 4862 670.64/678.76 c current bound: 4862 671.21/679.32 c current bound: 4862 671.76/679.88 c current bound: 4862 672.32/680.44 c current bound: 4862 672.89/681.00 c current bound: 4862 673.46/681.57 c current bound: 4862 674.24/682.13 c current bound: 4862 674.58/682.69 c current bound: 4862 675.34/683.25 c current bound: 4862 675.69/683.81 c current bound: 4862 676.44/684.38 c current bound: 4862 676.83/684.94 c current bound: 4862 677.55/685.50 c current bound: 4862 677.95/686.06 c current bound: 4862 678.74/686.63 c current bound: 4862 679.07/687.18 c current bound: 4862 679.84/687.74 c current bound: 4862 680.19/688.30 c current bound: 4862 680.93/688.87 c current bound: 4862 681.30/689.43 c current bound: 4862 682.04/689.99 c current bound: 4862 682.43/690.54 c current bound: 4862 683.22/691.10 c current bound: 4862 683.54/691.66 c current bound: 4862 684.33/692.23 c current bound: 4862 684.68/692.79 c current bound: 4862 685.42/693.36 c current bound: 4862 685.80/693.91 c current bound: 4862 686.36/694.47 c current bound: 4862 686.92/695.03 c current bound: 4862 687.73/695.60 c current bound: 4862 688.03/696.16 c current bound: 4862 688.60/696.72 c current bound: 4862 689.16/697.28 c current bound: 4862 689.74/697.85 c current bound: 4862 690.29/698.41 c current bound: 4862 690.86/698.98 c current bound: 4862 691.43/699.55 c current bound: 4862 691.99/700.13 c current bound: 4862 692.57/700.69 c current bound: 4862 693.13/701.26 c current bound: 4862 693.70/701.82 c current bound: 4862 694.26/702.38 c current bound: 4862 694.82/702.94 c current bound: 4862 695.62/703.50 c current bound: 4862 695.93/704.06 c current bound: 4862 696.50/704.62 c current bound: 4862 697.05/705.18 c current bound: 4862 697.63/705.74 c current bound: 4862 698.19/706.30 c current bound: 4862 698.75/706.87 c current bound: 4862 699.52/707.43 c current bound: 4862 699.87/707.98 c current bound: 4862 700.64/708.55 c current bound: 4862 701.00/709.11 c current bound: 4862 701.74/709.67 c current bound: 4862 702.11/710.23 c current bound: 4862 702.84/710.79 c current bound: 4862 703.24/711.35 c current bound: 4862 704.04/711.91 c current bound: 4862 704.37/712.49 c current bound: 4862 705.15/713.05 c current bound: 4862 705.49/713.61 c current bound: 4862 706.23/714.17 c current bound: 4862 706.61/714.73 c current bound: 4862 707.32/715.28 c current bound: 4862 707.73/715.85 c current bound: 4862 708.53/716.41 c current bound: 4862 708.86/716.97 c current bound: 4862 709.63/717.53 c current bound: 4862 709.98/718.09 c current bound: 4862 710.73/718.65 c current bound: 4862 711.10/719.21 c current bound: 4862 711.67/719.77 c current bound: 4862 712.23/720.33 c current bound: 4862 712.78/720.89 c current bound: 4862 713.34/721.45 c current bound: 4862 713.92/722.06 c current bound: 4862 714.48/722.62 c current bound: 4862 715.32/723.20 c current bound: 4862 715.61/723.76 c current bound: 4862 716.17/724.32 c current bound: 4862 716.75/724.88 c current bound: 4862 717.29/725.44 c current bound: 4862 717.85/726.00 c current bound: 4862 718.43/726.58 c current bound: 4862 718.98/727.14 c current bound: 4862 719.81/727.70 c current bound: 4862 720.11/728.26 c current bound: 4862 720.67/728.81 c current bound: 4862 721.23/729.37 c current bound: 4862 721.78/729.93 c current bound: 4862 722.35/730.49 c current bound: 4862 722.91/731.05 c current bound: 4862 723.72/731.61 c current bound: 4862 724.02/732.17 c current bound: 4862 724.80/732.73 c current bound: 4862 725.15/733.30 c current bound: 4862 725.93/733.85 c current bound: 4862 726.28/734.43 c current bound: 4862 727.02/734.98 c current bound: 4862 727.41/735.54 c current bound: 4862 728.23/736.11 c current bound: 4862 728.54/736.68 c current bound: 4862 729.30/737.25 c current bound: 4862 729.66/737.80 c current bound: 4862 730.41/738.36 c current bound: 4862 730.78/738.92 c current bound: 4862 731.52/739.48 c current bound: 4862 731.91/740.04 c current bound: 4862 732.70/740.60 c current bound: 4862 733.02/741.16 c current bound: 4862 733.79/741.73 c current bound: 4862 734.14/742.29 c current bound: 4862 734.91/742.85 c current bound: 4862 735.28/743.41 c current bound: 4862 735.83/743.98 c current bound: 4862 736.39/744.54 c current bound: 4862 736.96/745.11 c current bound: 4862 737.53/745.67 c current bound: 4862 738.10/746.24 c current bound: 4862 738.65/746.80 c current bound: 4862 739.24/747.37 c current bound: 4862 739.78/747.93 c current bound: 4862 740.36/748.50 c current bound: 4862 740.92/749.06 c current bound: 4862 741.47/749.62 c current bound: 4862 742.04/750.18 c current bound: 4862 742.59/750.75 c current bound: 4862 743.17/751.31 c current bound: 4862 743.75/751.89 c current bound: 4862 744.30/752.45 c current bound: 4862 744.87/753.01 c current bound: 4862 745.43/753.57 c current bound: 4862 745.99/754.14 c current bound: 4862 746.56/754.70 c current bound: 4862 747.12/755.26 c current bound: 4862 747.91/755.82 c current bound: 4862 748.23/756.38 c current bound: 4862 749.08/757.12 c current bound: 4862 749.37/757.68 c current bound: 4862 750.14/758.24 c current bound: 4862 750.74/758.80 c current bound: 4862 751.04/759.36 c current bound: 4862 751.61/759.91 c current bound: 4862 752.16/760.48 c current bound: 4862 752.73/761.04 c current bound: 4862 753.29/761.63 c current bound: 4862 753.85/762.19 c current bound: 4862 754.42/762.76 c current bound: 4862 754.98/763.32 c current bound: 4862 755.55/763.88 c current bound: 4862 756.10/764.44 c current bound: 4862 756.69/765.02 c current bound: 4862 757.25/765.58 c current bound: 4862 758.08/766.31 c current bound: 4862 758.57/766.87 c current bound: 4862 758.95/767.43 c current bound: 4862 759.65/767.99 c current bound: 4862 760.06/768.55 c current bound: 4862 760.86/769.11 c current bound: 4862 761.19/769.67 c current bound: 4862 761.95/770.24 c current bound: 4862 762.57/770.80 c current bound: 4862 763.07/771.36 c current bound: 4862 763.43/771.92 c current bound: 4862 764.17/772.48 c current bound: 4862 764.55/773.04 c current bound: 4862 765.37/773.60 c current bound: 4862 765.68/774.16 c current bound: 4862 766.46/774.72 c current bound: 4862 766.80/775.28 c current bound: 4862 767.57/775.84 c current bound: 4862 767.92/776.40 c current bound: 4862 768.48/776.96 c current bound: 4862 769.03/777.53 c current bound: 4862 769.60/778.09 c current bound: 4862 770.17/778.65 c current bound: 4862 770.72/779.21 c current bound: 4862 771.28/779.78 c current bound: 4862 771.84/780.35 c current bound: 4862 772.43/780.91 c current bound: 4862 772.97/781.47 c current bound: 4862 773.54/782.03 c current bound: 4862 774.37/782.60 c current bound: 4862 774.67/783.16 c current bound: 4862 775.25/783.73 c current bound: 4862 775.79/784.29 c current bound: 4862 776.36/784.86 c current bound: 4862 776.93/785.42 c current bound: 4862 777.48/785.98 c current bound: 4862 778.04/786.54 c current bound: 4862 778.86/787.10 c current bound: 4862 779.15/787.66 c current bound: 4862 779.72/788.22 c current bound: 4862 780.28/788.78 c current bound: 4862 780.84/789.34 c current bound: 4862 781.40/789.90 c current bound: 4862 781.96/790.46 c current bound: 4862 782.75/791.02 c current bound: 4862 783.08/791.58 c current bound: 4862 783.85/792.14 c current bound: 4862 784.46/792.70 c current bound: 4862 784.96/793.26 c current bound: 4862 785.31/793.81 c current bound: 4862 786.06/794.37 c current bound: 4862 786.44/794.93 c current bound: 4862 787.15/795.50 c current bound: 4862 787.57/796.05 c current bound: 4862 788.36/796.61 c current bound: 4862 788.68/797.17 c current bound: 4862 789.45/797.73 c current bound: 4862 789.81/798.29 c current bound: 4862 790.57/798.85 c current bound: 4862 790.92/799.41 c current bound: 4862 791.67/799.97 c current bound: 4862 792.05/800.53 c current bound: 4862 792.77/801.09 c current bound: 4862 793.17/801.65 c current bound: 4862 793.96/802.21 c current bound: 4862 794.29/802.77 c current bound: 4862 795.07/803.33 c current bound: 4862 795.68/803.90 c current bound: 4862 795.97/804.46 c current bound: 4862 796.54/805.02 c current bound: 4862 797.10/805.59 c current bound: 4862 797.66/806.15 c current bound: 4862 798.23/806.76 c current bound: 4862 798.80/807.33 c current bound: 4862 799.39/807.91 c current bound: 4862 799.95/808.47 c current bound: 4862 800.52/809.04 c current bound: 4862 801.34/809.60 c current bound: 4862 801.65/810.18 c current bound: 4862 802.22/810.74 c current bound: 4862 802.78/811.51 c current bound: 4862 803.52/812.07 c current bound: 4862 803.90/812.63 c current bound: 4862 804.63/813.19 c current bound: 4862 805.03/813.75 c current bound: 4862 805.83/814.31 c current bound: 4862 806.17/814.88 c current bound: 4862 806.92/815.44 c current bound: 4862 807.28/816.00 c current bound: 4862 807.85/816.59 c current bound: 4862 808.42/817.15 c current bound: 4862 809.00/817.71 c current bound: 4862 809.55/818.27 c current bound: 4862 810.11/818.84 c current bound: 4862 810.94/819.40 c current bound: 4862 811.24/819.97 c current bound: 4862 811.80/820.53 c current bound: 4862 812.63/821.10 c current bound: 4862 813.20/821.86 c current bound: 4862 813.49/822.42 c current bound: 4862 814.24/822.98 c current bound: 4862 814.62/823.53 c current bound: 4862 815.34/824.09 c current bound: 4862 815.74/824.65 c current bound: 4862 816.54/825.23 c current bound: 4862 816.87/825.79 c current bound: 4862 817.64/826.35 c current bound: 4862 817.99/826.91 c current bound: 4862 818.74/827.47 c current bound: 4862 819.11/828.03 c current bound: 4862 819.83/828.59 c current bound: 4862 820.23/829.14 c current bound: 4862 821.03/829.71 c current bound: 4862 821.35/830.27 c current bound: 4862 822.12/830.83 c current bound: 4862 822.48/831.39 c current bound: 4862 823.23/831.95 c current bound: 4862 823.60/832.51 c current bound: 4862 824.15/833.07 c current bound: 4862 824.72/833.63 c current bound: 4862 825.54/834.20 c current bound: 4862 825.84/834.76 c current bound: 4862 826.40/835.32 c current bound: 4862 826.96/835.89 c current bound: 4862 827.54/836.46 c current bound: 4862 828.10/837.02 c current bound: 4862 828.67/837.59 c current bound: 4862 829.22/838.15 c current bound: 4862 829.79/838.72 c current bound: 4862 830.35/839.28 c current bound: 4862 830.93/839.85 c current bound: 4862 831.50/840.41 c current bound: 4862 832.07/840.99 c current bound: 4862 832.63/841.55 c current bound: 4862 833.20/842.17 c current bound: 4862 833.96/842.73 c current bound: 4862 834.30/843.29 c current bound: 4862 835.09/843.85 c current bound: 4862 835.43/844.41 c current bound: 4862 836.19/844.97 c current bound: 4862 836.55/845.53 c current bound: 4862 837.28/846.09 c current bound: 4862 837.94/846.91 c current bound: 4862 838.25/847.49 c current bound: 4862 838.81/848.05 c current bound: 4862 839.39/848.62 c current bound: 4862 839.95/849.18 c current bound: 4862 840.49/849.74 c current bound: 4862 841.05/850.30 c current bound: 4862 841.63/850.88 c current bound: 4862 842.19/851.44 c current bound: 4862 842.75/852.00 c current bound: 4862 843.30/852.56 c current bound: 4862 843.88/853.12 c current bound: 4862 844.45/853.69 c current bound: 4862 845.01/854.25 c current bound: 4862 845.81/854.81 c current bound: 4862 846.13/855.37 c current bound: 4862 846.91/855.93 c current bound: 4862 847.25/856.51 c current bound: 4862 848.00/857.07 c current bound: 4862 848.38/857.63 c current bound: 4862 849.11/858.19 c current bound: 4862 849.51/858.75 c current bound: 4862 850.30/859.32 c current bound: 4862 850.64/859.88 c current bound: 4862 851.41/860.44 c current bound: 4862 851.76/861.00 c current bound: 4862 852.51/861.56 c current bound: 4862 852.88/862.12 c current bound: 4862 853.61/862.68 c current bound: 4862 854.01/863.24 c current bound: 4862 854.81/863.81 c current bound: 4862 855.12/864.36 c current bound: 4862 855.90/864.93 c current bound: 4862 856.26/865.49 c current bound: 4862 857.01/866.05 c current bound: 4862 857.38/866.61 c current bound: 4862 857.94/867.18 c current bound: 4862 858.49/867.74 c current bound: 4862 859.06/868.30 c current bound: 4862 859.63/868.86 c current bound: 4862 860.18/869.44 c current bound: 4862 860.76/870.00 c current bound: 4862 861.32/870.57 c current bound: 4862 861.87/871.14 c current bound: 4862 862.47/871.72 c current bound: 4862 863.03/872.28 c current bound: 4862 863.59/872.86 c current bound: 4862 864.17/873.42 c current bound: 4862 864.74/873.98 c current bound: 4862 865.29/874.54 c current bound: 4862 865.85/875.11 c current bound: 4862 866.42/875.67 c current bound: 4862 866.99/876.23 c current bound: 4862 867.55/876.79 c current bound: 4862 868.11/877.36 c current bound: 4862 868.91/877.92 c current bound: 4862 869.23/878.48 c current bound: 4862 870.00/879.04 c current bound: 4862 870.37/879.59 c current bound: 4862 871.12/880.15 c current bound: 4862 871.47/880.71 c current bound: 4862 872.21/881.28 c current bound: 4862 872.59/881.84 c current bound: 4862 873.30/882.39 c current bound: 4862 873.72/882.95 c current bound: 4862 874.51/883.51 c current bound: 4862 874.84/884.07 c current bound: 4862 875.62/884.63 c current bound: 4862 875.95/885.19 c current bound: 4862 876.73/885.75 c current bound: 4862 877.08/886.31 c current bound: 4862 877.82/886.87 c current bound: 4862 878.21/887.43 c current bound: 4862 878.93/887.99 c current bound: 4862 879.33/888.55 c current bound: 4862 880.11/889.11 c current bound: 4862 880.45/889.68 c current bound: 4862 881.21/890.24 c current bound: 4862 881.83/890.80 c current bound: 4862 882.13/891.36 c current bound: 4862 882.68/891.92 c current bound: 4862 883.25/892.48 c current bound: 4862 883.81/893.04 c current bound: 4862 884.63/893.60 c current bound: 4862 884.93/894.16 c current bound: 4862 885.50/894.72 c current bound: 4862 886.05/895.28 c current bound: 4862 886.61/895.85 c current bound: 4862 887.18/896.41 c current bound: 4862 887.73/896.98 c current bound: 4862 888.30/897.55 c current bound: 4862 888.88/898.12 c current bound: 4862 889.42/898.68 c current bound: 4862 890.01/899.26 c current bound: 4862 890.57/899.81 c current bound: 4862 891.12/900.37 c current bound: 4862 891.69/900.93 c current bound: 4862 892.27/901.50 c current bound: 4862 892.82/902.06 c current bound: 4862 893.37/902.62 c current bound: 4862 893.93/903.18 c current bound: 4862 894.51/903.74 c current bound: 4862 895.32/904.30 c current bound: 4862 895.63/904.86 c current bound: 4862 896.42/905.42 c current bound: 4862 896.75/905.98 c current bound: 4862 897.51/906.54 c current bound: 4862 897.87/907.21 c current bound: 4862 898.60/907.77 c current bound: 4862 898.98/908.33 c current bound: 4862 899.71/908.89 c current bound: 4862 900.11/909.45 c current bound: 4862 900.89/910.01 c current bound: 4862 901.23/910.57 c current bound: 4862 902.01/911.14 c current bound: 4862 902.61/911.70 c current bound: 4862 903.20/912.44 c current bound: 4862 903.76/913.00 c current bound: 4862 904.06/913.58 c current bound: 4862 904.63/914.14 c current bound: 4862 905.45/914.70 c current bound: 4862 905.75/915.26 c current bound: 4862 906.31/915.82 c current bound: 4862 906.87/916.38 c current bound: 4862 907.44/916.94 c current bound: 4862 907.99/917.50 c current bound: 4862 908.56/918.06 c current bound: 4862 909.35/918.62 c current bound: 4862 909.69/919.19 c current bound: 4862 910.46/919.75 c current bound: 4862 910.81/920.31 c current bound: 4862 911.56/920.86 c current bound: 4862 911.93/921.44 c current bound: 4862 912.66/922.00 c current bound: 4862 913.07/922.56 c current bound: 4862 913.87/923.12 c current bound: 4862 914.20/923.68 c current bound: 4862 914.97/924.24 c current bound: 4862 915.57/924.80 c current bound: 4862 916.07/925.36 c current bound: 4862 916.42/925.91 c current bound: 4862 917.16/926.48 c current bound: 4862 917.55/927.04 c current bound: 4862 918.37/927.60 c current bound: 4862 918.67/928.16 c current bound: 4862 919.46/928.72 c current bound: 4862 919.79/929.29 c current bound: 4862 920.55/929.85 c current bound: 4862 920.93/930.42 c current bound: 4862 921.50/930.99 c current bound: 4862 922.07/931.56 c current bound: 4862 922.63/932.17 c current bound: 4862 923.21/932.73 c current bound: 4862 923.77/933.30 c current bound: 4862 924.34/933.86 c current bound: 4862 924.90/934.42 c current bound: 4862 925.46/934.98 c current bound: 4862 926.02/935.54 c current bound: 4862 926.56/936.10 c current bound: 4862 927.14/936.68 c current bound: 4862 927.71/937.24 c current bound: 4862 928.27/937.80 c current bound: 4862 928.84/938.36 c current bound: 4862 929.40/938.93 c current bound: 4862 929.96/939.48 c current bound: 4862 930.51/940.04 c current bound: 4862 931.34/940.60 c current bound: 4862 931.63/941.16 c current bound: 4862 932.42/941.72 c current bound: 4862 932.75/942.28 c current bound: 4862 933.53/942.84 c current bound: 4862 934.13/943.40 c current bound: 4862 934.63/943.96 c current bound: 4862 935.00/944.52 c current bound: 4862 935.72/945.08 c current bound: 4862 936.11/945.64 c current bound: 4862 936.93/946.21 c current bound: 4862 937.27/946.79 c current bound: 4862 938.02/947.36 c current bound: 4862 938.41/947.94 c current bound: 4862 939.23/948.51 c current bound: 4862 939.57/949.09 c current bound: 4862 940.15/949.67 c current bound: 4862 940.73/950.24 c current bound: 4862 941.31/950.82 c current bound: 4862 941.89/951.40 c current bound: 4862 942.45/951.98 c current bound: 4862 943.02/952.56 c current bound: 4862 943.88/953.20 c current bound: 4862 944.20/953.78 c current bound: 4862 944.78/954.36 c current bound: 4862 945.59/954.92 c current bound: 4862 946.20/955.50 c current bound: 4862 946.69/956.08 c current bound: 4862 947.08/956.67 c current bound: 4862 947.88/957.25 c current bound: 4862 948.24/957.84 c current bound: 4862 949.08/958.42 c current bound: 4862 949.43/959.01 c current bound: 4862 950.02/959.59 c current bound: 4862 950.59/960.18 c current bound: 4862 951.18/960.76 c current bound: 4862 951.76/961.35 c current bound: 4862 952.36/961.93 c current bound: 4862 952.94/962.51 c current bound: 4862 953.53/963.11 c current bound: 4862 954.10/963.69 c current bound: 4862 954.69/964.27 c current bound: 4862 955.50/964.85 c current bound: 4862 955.86/965.45 c current bound: 4862 956.70/966.03 c current bound: 4862 957.03/966.61 c current bound: 4862 957.80/967.19 c current bound: 4862 958.19/967.77 c current bound: 4862 958.99/968.35 c current bound: 4862 959.36/968.94 c current bound: 4862 959.95/969.49 c current bound: 4862 960.51/970.08 c current bound: 4862 961.10/970.66 c current bound: 4862 961.67/971.25 c current bound: 4862 962.26/971.83 c current bound: 4862 962.84/972.41 c current bound: 4862 963.44/973.07 c current bound: 4862 964.25/973.65 c current bound: 4862 964.61/974.24 c current bound: 4862 965.45/974.82 c current bound: 4862 965.78/975.40 c current bound: 4862 966.55/975.99 c current bound: 4862 966.95/976.57 c current bound: 4862 967.75/977.15 c current bound: 4862 968.12/977.74 c current bound: 4862 968.70/978.32 c current bound: 4862 969.30/978.90 c current bound: 4862 969.86/979.48 c current bound: 4862 970.45/980.07 c current bound: 4862 971.05/980.66 c current bound: 4862 971.62/981.24 c current bound: 4862 972.21/981.82 c current bound: 4862 972.78/982.40 c current bound: 4862 973.37/983.07 c current bound: 4862 974.17/983.66 c current bound: 4862 974.53/984.23 c current bound: 4862 975.36/984.81 c current bound: 4862 975.69/985.39 c current bound: 4862 976.46/985.97 c current bound: 4862 976.86/986.55 c current bound: 4862 977.43/987.13 c current bound: 4862 978.02/987.72 c current bound: 4862 978.88/988.30 c current bound: 4862 979.18/988.88 c current bound: 4862 979.75/989.46 c current bound: 4862 980.35/990.04 c current bound: 4862 980.93/990.62 c current bound: 4862 981.80/991.20 c current bound: 4862 982.08/991.78 c current bound: 4862 982.87/992.36 c current bound: 4862 983.24/992.92 c current bound: 4862 984.05/993.53 c current bound: 4862 984.39/994.11 c current bound: 4862 985.16/994.69 c current bound: 4862 985.56/995.27 c current bound: 4862 986.35/995.85 c current bound: 4862 986.73/996.43 c current bound: 4862 987.30/997.01 c current bound: 4862 987.89/997.59 c current bound: 4862 988.47/998.22 c current bound: 4862 989.05/998.81 c current bound: 4862 989.65/999.41 c current bound: 4862 990.25/999.98 c current bound: 4862 990.82/1000.57 c current bound: 4862 991.62/1001.14 c current bound: 4862 991.98/1001.73 c current bound: 4862 992.73/1002.30 c current bound: 4862 993.12/1002.88 c current bound: 4862 993.92/1003.46 c current bound: 4862 994.29/1004.04 c current bound: 4862 995.11/1004.62 c current bound: 4862 995.45/1005.21 c current bound: 4862 996.05/1005.77 c current bound: 4862 996.60/1006.35 c current bound: 4862 997.19/1006.93 c current bound: 4862 997.76/1007.51 c current bound: 4862 998.64/1008.32 c current bound: 4862 999.23/1008.91 c current bound: 4862 999.52/1009.49 c current bound: 4862 1000.32/1010.07 c current bound: 4862 1000.68/1010.65 c current bound: 4862 1001.50/1011.23 c current bound: 4862 1001.84/1011.82 c current bound: 4862 1002.44/1012.39 c current bound: 4862 1003.01/1012.98 c current bound: 4862 1003.89/1013.60 c current bound: 4862 1004.19/1014.18 c current bound: 4862 1004.76/1014.77 c current bound: 4862 1005.35/1015.35 c current bound: 4862 1005.94/1015.91 c current bound: 4862 1006.49/1016.47 c current bound: 4862 1007.06/1017.04 c current bound: 4862 1007.88/1017.63 c current bound: 4862 1008.50/1018.37 c current bound: 4862 1009.03/1018.95 c current bound: 4862 1009.40/1019.54 c current bound: 4862 1009.98/1020.12 c current bound: 4862 1010.56/1020.69 c current bound: 4862 1011.14/1021.28 c current bound: 4862 1011.72/1021.87 c current bound: 4862 1012.32/1022.45 c current bound: 4862 1012.89/1023.03 c current bound: 4862 1013.48/1023.66 c current bound: 4862 1014.31/1024.24 c current bound: 4862 1014.65/1024.82 c current bound: 4862 1015.39/1025.39 c current bound: 4862 1015.80/1025.98 c current bound: 4862 1016.59/1026.56 c current bound: 4862 1016.98/1027.14 c current bound: 4862 1017.80/1027.73 c current bound: 4862 1018.42/1028.42 c current bound: 4862 1018.72/1029.00 c current bound: 4862 1019.30/1029.58 c current bound: 4862 1019.88/1030.17 c current bound: 4862 1020.47/1030.75 c current bound: 4862 1021.07/1031.34 c current bound: 4862 1021.90/1031.92 c current bound: 4862 1022.51/1032.50 c current bound: 4862 1023.00/1033.08 c current bound: 4862 1023.38/1033.69 c current bound: 4862 1024.17/1034.27 c current bound: 4862 1024.55/1034.85 c current bound: 4862 1025.35/1035.43 c current bound: 4862 1025.70/1036.01 c current bound: 4862 1026.29/1036.59 c current bound: 4862 1026.86/1037.18 c current bound: 4862 1027.45/1037.77 c current bound: 4862 1028.32/1038.48 c current bound: 4862 1028.63/1039.06 c current bound: 4862 1029.43/1039.64 c current bound: 4862 1029.80/1040.22 c current bound: 4862 1030.55/1040.80 c current bound: 4862 1030.97/1041.37 c current bound: 4862 1031.77/1041.96 c current bound: 4862 1032.15/1042.54 c current bound: 4862 1032.95/1043.11 c current bound: 4862 1033.30/1043.70 c current bound: 4862 1033.88/1044.28 c current bound: 4862 1034.45/1044.87 c current bound: 4862 1035.04/1045.44 c current bound: 4862 1035.61/1046.02 c current bound: 4862 1036.20/1046.60 c current bound: 4862 1036.76/1047.16 c current bound: 4862 1037.32/1047.73 c current bound: 4862 1038.13/1048.43 c current bound: 4862 1038.45/1048.99 c current bound: 4862 1039.20/1049.55 c current bound: 4862 1039.56/1050.11 c current bound: 4862 1040.30/1050.67 c current bound: 4862 1040.69/1051.24 c current bound: 4862 1041.40/1051.80 c current bound: 4862 1041.82/1052.36 c current bound: 4862 1042.60/1052.92 c current bound: 4862 1042.93/1053.48 c current bound: 4862 1043.70/1054.03 c current bound: 4862 1044.04/1054.59 c current bound: 4862 1044.81/1055.15 c current bound: 4862 1045.17/1055.71 c current bound: 4862 1045.92/1056.27 c current bound: 4862 1046.28/1056.83 c current bound: 4862 1047.00/1057.39 c current bound: 4862 1047.40/1057.95 c current bound: 4862 1048.20/1058.51 c current bound: 4862 1048.51/1059.07 c current bound: 4862 1049.29/1059.62 c current bound: 4862 1049.64/1060.18 c current bound: 4862 1050.39/1060.76 c current bound: 4862 1050.77/1061.32 c current bound: 4862 1051.32/1061.88 c current bound: 4862 1051.89/1062.44 c current bound: 4862 1052.44/1063.00 c current bound: 4862 1053.01/1063.56 c current bound: 4862 1053.57/1064.12 c current bound: 4862 1054.13/1064.68 c current bound: 4862 1054.68/1065.25 c current bound: 4862 1055.25/1065.80 c current bound: 4862 1055.81/1066.39 c current bound: 4862 1056.39/1066.95 c current bound: 4862 1056.96/1067.52 c current bound: 4862 1057.52/1068.08 c current bound: 4862 1058.09/1068.66 c current bound: 4862 1058.66/1069.22 c current bound: 4862 1059.22/1069.78 c current bound: 4862 1059.78/1070.34 c current bound: 4862 1060.35/1070.90 c current bound: 4862 1060.91/1071.46 c current bound: 4862 1061.47/1072.02 c current bound: 4862 1062.03/1072.58 c current bound: 4862 1062.58/1073.14 c current bound: 4862 1063.37/1073.71 c current bound: 4862 1063.70/1074.27 c current bound: 4862 1064.48/1074.83 c current bound: 4862 1064.82/1075.39 c current bound: 4862 1065.59/1075.95 c current bound: 4862 1065.94/1076.51 c current bound: 4862 1066.67/1077.07 c current bound: 4862 1067.05/1077.63 c current bound: 4862 1067.76/1078.20 c current bound: 4862 1068.19/1078.81 c current bound: 4862 1068.93/1079.37 c current bound: 4862 1069.30/1079.94 c current bound: 4862 1070.13/1080.50 c current bound: 4862 1070.43/1081.06 c current bound: 4862 1071.22/1081.62 c current bound: 4862 1071.55/1082.18 c current bound: 4862 1072.32/1082.75 c current bound: 4862 1072.69/1083.47 c current bound: 4862 1073.26/1084.04 c current bound: 4862 1074.07/1084.60 c current bound: 4862 1074.38/1085.18 c current bound: 4862 1074.94/1085.74 c current bound: 4862 1075.50/1086.30 c current bound: 4862 1076.07/1086.87 c current bound: 4862 1076.62/1087.42 c current bound: 4862 1077.19/1087.98 c current bound: 4862 1077.75/1088.65 c current bound: 4862 1078.55/1089.21 c current bound: 4862 1078.86/1089.77 c current bound: 4862 1079.64/1090.33 c current bound: 4862 1079.98/1090.89 c current bound: 4862 1080.75/1091.46 c current bound: 4862 1081.12/1092.02 c current bound: 4862 1081.85/1092.58 c current bound: 4862 1082.23/1093.14 c current bound: 4862 1083.05/1093.70 c current bound: 4862 1083.35/1094.26 c current bound: 4862 1084.14/1094.82 c current bound: 4862 1084.48/1095.38 c current bound: 4862 1085.25/1095.94 c current bound: 4862 1085.86/1096.50 c current bound: 4862 1086.14/1097.06 c current bound: 4862 1086.71/1097.63 c current bound: 4862 1087.29/1098.19 c current bound: 4862 1087.84/1098.75 c current bound: 4862 1088.41/1099.31 c current bound: 4862 1088.97/1099.87 c current bound: 4862 1089.54/1100.44 c current bound: 4862 1090.10/1101.00 c current bound: 4862 1090.68/1101.57 c current bound: 4862 1091.23/1102.13 c current bound: 4862 1091.78/1102.70 c current bound: 4862 1092.35/1103.26 c current bound: 4862 1092.92/1103.83 c current bound: 4862 1093.48/1104.38 c current bound: 4862 1094.05/1104.96 c current bound: 4862 1094.60/1105.52 c current bound: 4862 1095.16/1106.09 c current bound: 4862 1095.74/1106.65 c current bound: 4862 1096.29/1107.21 c current bound: 4862 1096.85/1107.77 c current bound: 4862 1097.42/1108.32 c current bound: 4862 1097.98/1108.88 c current bound: 4862 1098.53/1109.44 c current bound: 4862 1099.37/1110.00 c current bound: 4862 1099.66/1110.57 c current bound: 4862 1100.46/1111.13 c current bound: 4862 1100.79/1111.69 c current bound: 4862 1101.55/1112.25 c current bound: 4862 1101.91/1112.81 c current bound: 4862 1102.66/1113.37 c current bound: 4862 1103.04/1113.93 c current bound: 4862 1103.76/1114.49 c current bound: 4862 1104.16/1115.04 c current bound: 4862 1104.97/1115.60 c current bound: 4862 1105.28/1116.17 c current bound: 4862 1106.08/1116.73 c current bound: 4862 1106.40/1117.29 c current bound: 4862 1107.17/1117.85 c current bound: 4862 1107.52/1118.41 c current bound: 4862 1108.26/1118.96 c current bound: 4862 1108.65/1119.52 c current bound: 4862 1109.38/1120.08 c current bound: 4862 1109.76/1120.64 c current bound: 4862 1110.57/1121.20 c current bound: 4862 1110.89/1121.76 c current bound: 4862 1111.68/1122.32 c current bound: 4862 1111.99/1122.88 c current bound: 4862 1112.78/1123.44 c current bound: 4862 1113.12/1124.00 c current bound: 4862 1113.69/1124.58 c current bound: 4862 1114.26/1125.14 c current bound: 4862 1114.83/1125.72 c current bound: 4862 1115.41/1126.27 c current bound: 4862 1115.96/1126.84 c current bound: 4862 1116.52/1127.40 c current bound: 4862 1117.09/1127.97 c current bound: 4862 1117.65/1128.53 c current bound: 4862 1118.48/1129.10 c current bound: 4862 1118.77/1129.67 c current bound: 4862 1119.36/1130.24 c current bound: 4862 1119.93/1130.81 c current bound: 4862 1120.51/1131.39 c current bound: 4862 1121.07/1131.95 c current bound: 4862 1121.63/1132.52 c current bound: 4862 1122.20/1133.08 c current bound: 4862 1122.77/1133.64 c current bound: 4862 1123.33/1134.20 c current bound: 4862 1123.89/1134.76 c current bound: 4862 1124.67/1135.32 c current bound: 4862 1125.01/1135.88 c current bound: 4862 1125.78/1136.44 c current bound: 4862 1126.12/1137.00 c current bound: 4862 1126.87/1137.57 c current bound: 4862 1127.25/1138.13 c current bound: 4862 1127.97/1138.69 c current bound: 4862 1128.37/1139.25 c current bound: 4862 1129.17/1139.81 c current bound: 4862 1129.49/1140.37 c current bound: 4862 1130.27/1140.93 c current bound: 4862 1130.61/1141.49 c current bound: 4862 1131.43/1142.12 c current bound: 4862 1131.73/1142.69 c current bound: 4862 1132.50/1143.24 c current bound: 4862 1132.86/1143.80 c current bound: 4862 1133.42/1144.37 c current bound: 4862 1133.97/1144.93 c current bound: 4862 1134.54/1145.49 c current bound: 4862 1135.11/1146.05 c current bound: 4862 1135.67/1146.62 c current bound: 4862 1136.22/1147.18 c current bound: 4862 1136.79/1147.75 c current bound: 4862 1137.36/1148.31 c current bound: 4862 1137.92/1148.89 c current bound: 4862 1138.49/1149.50 c current bound: 4862 1139.04/1150.06 c current bound: 4862 1139.60/1150.62 c current bound: 4862 1140.18/1151.18 c current bound: 4862 1140.74/1151.74 c current bound: 4862 1141.55/1152.30 c current bound: 4862 1141.84/1152.85 c current bound: 4862 1142.40/1153.41 c current bound: 4862 1143.23/1154.29 c current bound: 4862 1143.53/1154.85 c current bound: 4862 1144.08/1155.41 c current bound: 4862 1144.64/1155.97 c current bound: 4862 1145.21/1156.54 c current bound: 4862 1145.77/1157.10 c current bound: 4862 1146.33/1157.67 c current bound: 4862 1146.90/1158.23 c current bound: 4862 1147.73/1158.80 c current bound: 4862 1148.02/1159.36 c current bound: 4862 1148.58/1159.92 c current bound: 4862 1149.14/1160.48 c current bound: 4862 1149.72/1161.05 c current bound: 4862 1150.26/1161.61 c current bound: 4862 1150.85/1162.19 c current bound: 4862 1151.42/1162.75 c current bound: 4862 1151.97/1163.31 c current bound: 4862 1152.53/1163.87 c current bound: 4862 1153.09/1164.43 c current bound: 4862 1153.65/1164.99 c current bound: 4862 1154.20/1165.55 c current bound: 4862 1155.01/1166.12 c current bound: 4862 1155.34/1166.68 c current bound: 4862 1156.10/1167.26 c current bound: 4862 1156.47/1167.82 c current bound: 4862 1157.22/1168.37 c current bound: 4862 1157.59/1168.93 c current bound: 4862 1158.31/1169.49 c current bound: 4862 1158.70/1170.06 c current bound: 4862 1159.51/1170.62 c current bound: 4862 1159.83/1171.18 c current bound: 4862 1160.61/1171.74 c current bound: 4862 1160.95/1172.30 c current bound: 4862 1161.72/1172.85 c current bound: 4862 1162.07/1173.41 c current bound: 4862 1162.80/1173.97 c current bound: 4862 1163.21/1174.53 c current bound: 4862 1163.91/1175.09 c current bound: 4862 1164.32/1175.65 c current bound: 4862 1165.12/1176.21 c current bound: 4862 1165.43/1176.77 c current bound: 4862 1166.20/1177.33 c current bound: 4862 1166.56/1177.89 c current bound: 4862 1167.31/1178.45 c current bound: 4862 1167.69/1179.01 c current bound: 4862 1168.24/1179.57 c current bound: 4862 1168.79/1180.13 c current bound: 4862 1169.62/1180.70 c current bound: 4862 1169.92/1181.26 c current bound: 4862 1170.48/1181.82 c current bound: 4862 1171.05/1182.38 c current bound: 4862 1171.61/1182.94 c current bound: 4862 1172.16/1183.50 c current bound: 4862 1172.72/1184.07 c current bound: 4862 1173.29/1184.63 c current bound: 4862 1173.85/1185.20 c current bound: 4862 1174.42/1185.76 c current bound: 4862 1175.00/1186.34 c current bound: 4862 1175.81/1186.90 c current bound: 4862 1176.12/1187.47 c current bound: 4862 1176.68/1188.04 c current bound: 4862 1177.52/1188.60 c current bound: 4862 1177.82/1189.16 c current bound: 4862 1178.38/1189.73 c current bound: 4862 1178.94/1190.29 c current bound: 4862 1179.52/1190.85 c current bound: 4862 1180.31/1191.41 c current bound: 4862 1180.63/1191.98 c current bound: 4862 1181.41/1192.54 c current bound: 4862 1181.76/1193.10 c current bound: 4862 1182.50/1193.66 c current bound: 4862 1182.87/1194.22 c current bound: 4862 1183.61/1194.78 c current bound: 4862 1183.99/1195.36 c current bound: 4862 1184.80/1195.93 c current bound: 4862 1185.13/1196.49 c current bound: 4862 1185.90/1197.05 c current bound: 4862 1186.26/1197.60 c current bound: 4862 1187.01/1198.16 c current bound: 4862 1187.37/1198.74 c current bound: 4862 1188.11/1199.29 c current bound: 4862 1188.51/1199.85 c current bound: 4862 1189.31/1200.44 c current bound: 4862 1189.90/1201.00 c current bound: 4862 1190.22/1201.56 c current bound: 4862 1190.78/1202.12 c current bound: 4862 1191.34/1202.68 c current bound: 4862 1191.89/1203.24 c current bound: 4862 1192.46/1203.81 c current bound: 4862 1193.03/1204.38 c current bound: 4862 1193.60/1204.95 c current bound: 4862 1194.16/1205.51 c current bound: 4862 1194.72/1206.07 c current bound: 4862 1195.27/1206.64 c current bound: 4862 1195.87/1207.22 c current bound: 4862 1196.43/1207.78 c current bound: 4862 1197.00/1208.35 c current bound: 4862 1197.55/1208.91 c current bound: 4862 1198.14/1209.48 c current bound: 4862 1198.70/1210.05 c current bound: 4862 1199.26/1210.61 c current bound: 4862 1199.82/1211.17 c current bound: 4862 1200.37/1211.73 c current bound: 4862 1200.94/1212.29 c current bound: 4862 1201.50/1212.85 c current bound: 4862 1202.31/1213.42 c current bound: 4862 1202.64/1213.98 c current bound: 4862 1203.40/1214.54 c current bound: 4862 1204.02/1215.10 c current bound: 4862 1204.52/1215.66 c current bound: 4862 1204.87/1216.22 c current bound: 4862 1205.62/1216.78 c current bound: 4862 1206.00/1217.34 c current bound: 4862 1206.82/1217.90 c current bound: 4862 1207.11/1218.46 c current bound: 4862 1207.92/1219.02 c current bound: 4862 1208.52/1219.60 c current bound: 4862 1209.02/1220.16 c current bound: 4862 1209.38/1220.72 c current bound: 4862 1210.12/1221.28 c current bound: 4862 1210.51/1221.85 c current bound: 4862 1211.32/1222.41 c current bound: 4862 1211.64/1222.97 c current bound: 4862 1212.42/1223.54 c current bound: 4862 1213.03/1224.10 c current bound: 4862 1213.33/1224.66 c current bound: 4862 1213.88/1225.22 c current bound: 4862 1214.45/1225.78 c current bound: 4862 1215.02/1226.34 c current bound: 4862 1215.58/1226.91 c current bound: 4862 1216.15/1227.47 c current bound: 4862 1216.72/1228.04 c current bound: 4862 1217.52/1228.60 c current bound: 4862 1217.83/1229.17 c current bound: 4862 1218.40/1229.74 c current bound: 4862 1218.97/1230.35 c current bound: 4862 1219.55/1230.91 c current bound: 4862 1220.10/1231.47 c current bound: 4862 1220.67/1232.03 c current bound: 4862 1221.23/1232.59 c current bound: 4862 1221.77/1233.15 c current bound: 4862 1222.34/1233.71 c current bound: 4862 1222.90/1234.27 c current bound: 4862 1223.72/1235.05 c current bound: 4862 1224.27/1235.61 c current bound: 4862 1224.60/1236.18 c current bound: 4862 1225.36/1236.74 c current bound: 4862 1225.71/1237.30 c current bound: 4862 1226.28/1237.88 c current bound: 4862 1226.86/1238.44 c current bound: 4862 1227.41/1239.01 c current bound: 4862 1227.97/1239.57 c current bound: 4862 1228.55/1240.14 c current bound: 4862 1229.11/1240.69 c current bound: 4862 1229.66/1241.26 c current bound: 4862 1230.23/1241.83 c current bound: 4862 1230.79/1242.40 c current bound: 4862 1231.35/1242.95 c current bound: 4862 1231.93/1243.54 c current bound: 4862 1232.51/1244.10 c current bound: 4862 1233.07/1244.68 c current bound: 4862 1233.64/1245.24 c current bound: 4862 1234.46/1245.80 c current bound: 4862 1234.75/1246.36 c current bound: 4862 1235.32/1246.92 c current bound: 4862 1235.89/1247.47 c current bound: 4862 1236.44/1248.03 c current bound: 4862 1237.00/1248.59 c current bound: 4862 1237.55/1249.16 c current bound: 4862 1238.35/1249.72 c current bound: 4862 1238.68/1250.28 c current bound: 4862 1239.46/1250.84 c current bound: 4862 1239.80/1251.40 c current bound: 4862 1240.55/1251.96 c current bound: 4862 1240.92/1252.53 c current bound: 4862 1241.66/1253.09 c current bound: 4862 1242.06/1253.66 c current bound: 4862 1242.86/1254.22 c current bound: 4862 1243.19/1254.78 c current bound: 4862 1243.95/1255.34 c current bound: 4862 1244.31/1255.90 c current bound: 4862 1245.07/1256.46 c current bound: 4862 1245.43/1257.02 c current bound: 4862 1246.15/1257.59 c current bound: 4862 1246.56/1258.15 c current bound: 4862 1247.36/1258.71 c current bound: 4862 1247.68/1259.27 c current bound: 4862 1248.46/1259.83 c current bound: 4862 1248.80/1260.43 c current bound: 4862 1249.62/1261.00 c current bound: 4862 1249.93/1261.56 c current bound: 4862 1250.47/1262.13 c current bound: 4862 1251.06/1262.69 c current bound: 4862 1251.61/1263.27 c current bound: 4862 1252.18/1263.83 c current bound: 4862 1252.75/1264.40 c current bound: 4862 1253.57/1265.24 c current bound: 4862 1253.88/1265.80 c current bound: 4862 1254.63/1266.36 c current bound: 4862 1255.01/1266.93 c current bound: 4862 1255.73/1267.49 c current bound: 4862 1256.12/1268.05 c current bound: 4862 1256.92/1268.61 c current bound: 4862 1257.25/1269.17 c current bound: 4862 1258.02/1269.73 c current bound: 4862 1258.37/1270.29 c current bound: 4862 1259.13/1270.85 c current bound: 4862 1259.48/1271.41 c current bound: 4862 1260.06/1271.97 c current bound: 4862 1260.61/1272.53 c current bound: 4862 1261.17/1273.09 c current bound: 4862 1261.73/1273.65 c current bound: 4862 1262.29/1274.21 c current bound: 4862 1262.85/1274.79 c current bound: 4862 1263.44/1275.36 c current bound: 4862 1264.00/1275.92 c current bound: 4862 1264.55/1276.49 c current bound: 4862 1265.13/1277.05 c current bound: 4862 1265.69/1277.62 c current bound: 4862 1266.25/1278.18 c current bound: 4862 1266.82/1278.75 c current bound: 4862 1267.38/1279.31 c current bound: 4862 1267.95/1279.87 c current bound: 4862 1268.50/1280.48 c current bound: 4862 1269.09/1281.04 c current bound: 4862 1269.93/1281.60 c current bound: 4862 1270.22/1282.19 c current bound: 4862 1270.98/1282.77 c current bound: 4862 1271.34/1283.32 c current bound: 4862 1272.07/1283.89 c current bound: 4862 1272.48/1284.45 c current bound: 4862 1273.27/1285.01 c current bound: 4862 1273.59/1285.61 c current bound: 4862 1274.32/1286.18 c current bound: 4862 1274.73/1286.75 c current bound: 4862 1275.52/1287.31 c current bound: 4862 1275.85/1287.87 c current bound: 4862 1276.63/1288.43 c current bound: 4862 1276.97/1288.99 c current bound: 4862 1277.73/1289.55 c current bound: 4862 1278.36/1290.22 c current bound: 4862 1278.65/1290.79 c current bound: 4862 1279.23/1291.36 c current bound: 4862 1279.78/1291.94 c current bound: 4862 1280.36/1292.50 c current bound: 4862 1280.96/1293.09 c current bound: 4862 1281.51/1293.65 c current bound: 4862 1282.07/1294.21 c current bound: 4862 1282.62/1294.77 c current bound: 4862 1283.19/1295.36 c current bound: 4862 1283.98/1295.92 c current bound: 4862 1284.31/1296.48 c current bound: 4862 1285.08/1297.04 c current bound: 4862 1285.69/1297.60 c current bound: 4862 1286.18/1298.17 c current bound: 4862 1286.57/1298.73 c current bound: 4862 1287.29/1299.29 c current bound: 4862 1287.68/1299.85 c current bound: 4862 1288.25/1300.41 c current bound: 4862 1288.81/1300.97 c current bound: 4862 1289.58/1301.53 c current bound: 4862 1290.20/1302.10 c current bound: 4862 1290.70/1302.66 c current bound: 4862 1291.06/1303.23 c current bound: 4862 1291.79/1303.79 c current bound: 4862 1292.18/1304.35 c current bound: 4862 1292.99/1304.91 c current bound: 4862 1293.31/1305.47 c current bound: 4862 1294.09/1306.03 c current bound: 4862 1294.42/1306.59 c current bound: 4862 1295.20/1307.15 c current bound: 4862 1295.54/1307.71 c current bound: 4862 1296.12/1308.28 c current bound: 4862 1296.68/1308.84 c current bound: 4862 1297.24/1309.40 c current bound: 4862 1297.80/1309.96 c current bound: 4862 1298.36/1310.53 c current bound: 4862 1298.92/1311.09 c current bound: 4862 1299.48/1311.66 c current bound: 4862 1300.05/1312.22 c current bound: 4862 1300.62/1312.80 c current bound: 4862 1301.18/1313.36 c current bound: 4862 1301.76/1313.94 c current bound: 4862 1302.32/1314.50 c current bound: 4862 1302.90/1315.08 c current bound: 4862 1303.45/1315.67 c current bound: 4862 1304.02/1316.23 c current bound: 4862 1304.58/1316.79 c current bound: 4862 1305.13/1317.35 c current bound: 4862 1305.94/1317.91 c current bound: 4862 1306.26/1318.48 c current bound: 4862 1307.03/1319.05 c current bound: 4862 1307.40/1319.62 c current bound: 4862 1308.22/1320.32 c current bound: 4862 1308.53/1320.88 c current bound: 4862 1309.30/1321.44 c current bound: 4862 1309.65/1322.00 c current bound: 4862 1310.21/1322.57 c current bound: 4862 1310.78/1323.14 c current bound: 4862 1311.36/1323.71 c current bound: 4862 1311.91/1324.27 c current bound: 4862 1312.48/1324.84 c current bound: 4862 1313.04/1325.41 c current bound: 4862 1313.60/1325.97 c current bound: 4862 1314.15/1326.53 c current bound: 4862 1314.72/1327.10 c current bound: 4862 1315.29/1327.67 c current bound: 4862 1315.87/1328.24 c current bound: 4862 1316.69/1328.80 c current bound: 4862 1317.01/1329.38 c current bound: 4862 1317.58/1329.94 c current bound: 4862 1318.39/1330.50 c current bound: 4862 1318.69/1331.06 c current bound: 4862 1319.24/1331.62 c current bound: 4862 1319.80/1332.18 c current bound: 4862 1320.37/1332.76 c current bound: 4862 1321.18/1333.32 c current bound: 4862 1321.50/1333.88 c current bound: 4862 1322.28/1334.44 c current bound: 4862 1322.62/1335.00 c current bound: 4862 1323.38/1335.55 c current bound: 4862 1323.74/1336.13 c current bound: 4862 1324.47/1336.70 c current bound: 4862 1324.89/1337.26 c current bound: 4862 1325.67/1337.81 c current bound: 4862 1325.99/1338.37 c current bound: 4862 1326.77/1338.95 c current bound: 4862 1327.13/1339.50 c current bound: 4862 1327.87/1340.07 c current bound: 4862 1328.25/1340.62 c current bound: 4862 1328.97/1341.19 c current bound: 4862 1329.37/1341.75 c current bound: 4862 1330.16/1342.31 c current bound: 4862 1330.49/1342.88 c current bound: 4862 1331.27/1343.44 c current bound: 4862 1331.87/1344.00 c current bound: 4862 1332.19/1344.57 c current bound: 4862 1332.76/1345.13 c current bound: 4862 1333.31/1345.69 c current bound: 4862 1333.88/1346.25 c current bound: 4862 1334.44/1346.82 c current bound: 4862 1334.99/1347.38 c current bound: 4862 1335.57/1347.95 c current bound: 4862 1336.12/1348.51 c current bound: 4862 1336.69/1349.08 c current bound: 4862 1337.26/1349.63 c current bound: 4862 1337.82/1350.21 c current bound: 4862 1338.38/1350.78 c current bound: 4862 1338.97/1351.36 c current bound: 4862 1339.52/1351.92 c current bound: 4862 1340.07/1352.48 c current bound: 4862 1340.63/1353.05 c current bound: 4862 1341.20/1353.61 c current bound: 4862 1341.77/1354.17 c current bound: 4862 1342.33/1354.73 c current bound: 4862 1342.89/1355.29 c current bound: 4862 1343.45/1355.87 c current bound: 4862 1344.24/1356.43 c current bound: 4862 1344.58/1356.99 c current bound: 4862 1345.35/1357.55 c current bound: 4862 1345.70/1358.11 c current bound: 4862 1346.43/1358.67 c current bound: 4862 1346.81/1359.23 c current bound: 4862 1347.54/1359.79 c current bound: 4862 1347.94/1360.47 c current bound: 4862 1348.72/1361.03 c current bound: 4862 1349.06/1361.60 c current bound: 4862 1349.64/1362.16 c current bound: 4862 1350.19/1362.72 c current bound: 4862 1350.76/1363.28 c current bound: 4862 1351.32/1363.84 c current bound: 4862 1351.87/1364.41 c current bound: 4862 1352.43/1364.97 c current bound: 4862 1353.26/1365.60 c current bound: 4862 1353.57/1366.16 c current bound: 4862 1354.13/1366.74 c current bound: 4862 1354.95/1367.30 c current bound: 4862 1355.27/1367.88 c current bound: 4862 1355.83/1368.43 c current bound: 4862 1356.66/1369.00 c current bound: 4862 1356.94/1369.55 c current bound: 4862 1357.51/1370.11 c current bound: 4862 1358.08/1370.67 c current bound: 4862 1358.63/1371.23 c current bound: 4862 1359.19/1371.79 c current bound: 4862 1359.76/1372.35 c current bound: 4862 1360.55/1372.91 c current bound: 4862 1360.89/1373.49 c current bound: 4862 1361.66/1374.07 c current bound: 4862 1362.03/1374.63 c current bound: 4862 1362.75/1375.19 c current bound: 4862 1363.15/1375.75 c current bound: 4862 1363.95/1376.31 c current bound: 4862 1364.27/1376.87 c current bound: 4862 1365.06/1377.43 c current bound: 4862 1365.39/1377.99 c current bound: 4862 1366.16/1378.56 c current bound: 4862 1366.50/1379.12 c current bound: 4862 1367.25/1379.67 c current bound: 4862 1367.64/1380.24 c current bound: 4862 1368.44/1380.81 c current bound: 4862 1368.77/1381.37 c current bound: 4862 1369.55/1381.93 c current bound: 4862 1369.89/1382.49 c current bound: 4862 1370.65/1383.05 c current bound: 4862 1371.02/1383.62 c current bound: 4862 1371.57/1384.18 c current bound: 4862 1372.14/1384.74 c current bound: 4862 1372.69/1385.30 c current bound: 4862 1373.26/1385.87 c current bound: 4862 1373.82/1386.43 c current bound: 4862 1374.39/1386.99 c current bound: 4862 1374.95/1387.56 c current bound: 4862 1375.52/1388.12 c current bound: 4862 1376.08/1388.68 c current bound: 4862 1376.63/1389.24 c current bound: 4862 1377.19/1389.81 c current bound: 4862 1377.76/1390.49 c current bound: 4862 1378.30/1391.05 c current bound: 4862 1379.10/1391.61 c current bound: 4862 1379.44/1392.17 c current bound: 4862 1380.21/1392.73 c current bound: 4862 1380.55/1393.29 c current bound: 4862 1381.32/1393.85 c current bound: 4862 1381.67/1394.43 c current bound: 4862 1382.41/1394.99 c current bound: 4862 1382.81/1395.81 c current bound: 4862 1383.40/1396.38 c current bound: 4862 1383.96/1396.94 c current bound: 4862 1384.52/1397.50 c current bound: 4862 1385.08/1398.06 c current bound: 4862 1385.66/1398.64 c current bound: 4862 1386.47/1399.20 c current bound: 4862 1386.79/1399.77 c current bound: 4862 1387.35/1400.33 c current bound: 4862 1387.91/1400.89 c current bound: 4862 1388.48/1401.45 c current bound: 4862 1389.02/1402.01 c current bound: 4862 1389.60/1402.57 c current bound: 4862 1390.15/1403.13 c current bound: 4862 1390.71/1403.69 c current bound: 4862 1391.27/1404.25 c current bound: 4862 1392.07/1404.81 c current bound: 4862 1392.40/1405.37 c current bound: 4862 1393.17/1405.93 c current bound: 4862 1393.51/1406.49 c current bound: 4862 1394.28/1407.05 c current bound: 4862 1394.65/1407.62 c current bound: 4862 1395.38/1408.18 c current bound: 4862 1395.76/1408.73 c current bound: 4862 1396.49/1409.30 c current bound: 4862 1396.88/1409.86 c current bound: 4862 1397.67/1410.42 c current bound: 4862 1398.00/1410.98 c current bound: 4862 1398.78/1411.54 c current bound: 4862 1399.13/1412.10 c current bound: 4862 1399.88/1412.66 c current bound: 4862 1400.25/1413.22 c current bound: 4862 1400.97/1413.78 c current bound: 4862 1401.37/1414.34 c current bound: 4862 1402.18/1414.90 c current bound: 4862 1402.48/1415.46 c current bound: 4862 1403.28/1416.02 c current bound: 4862 1403.61/1416.58 c current bound: 4862 1404.37/1417.14 c current bound: 4862 1404.72/1417.71 c current bound: 4862 1405.30/1418.27 c current bound: 4862 1405.85/1418.83 c current bound: 4862 1406.42/1419.39 c current bound: 4862 1406.99/1419.95 c current bound: 4862 1407.53/1420.52 c current bound: 4862 1408.11/1421.08 c current bound: 4862 1408.66/1421.65 c current bound: 4862 1409.23/1422.21 c current bound: 4862 1409.80/1422.79 c current bound: 4862 1410.37/1423.35 c current bound: 4862 1410.94/1423.92 c current bound: 4862 1411.49/1424.48 c current bound: 4862 1412.07/1425.06 c current bound: 4862 1412.64/1425.62 c current bound: 4862 1413.19/1426.18 c current bound: 4862 1413.75/1426.74 c current bound: 4862 1414.31/1427.30 c current bound: 4862 1414.87/1427.86 c current bound: 4862 1415.43/1428.42 c current bound: 4862 1416.00/1428.98 c current bound: 4862 1416.55/1429.54 c current bound: 4862 1417.12/1430.10 c current bound: 4862 1417.68/1430.66 c current bound: 4862 1418.48/1431.22 c current bound: 4862 1418.79/1431.78 c current bound: 4862 1419.56/1432.34 c current bound: 4862 1420.17/1432.90 c current bound: 4862 1420.66/1433.46 c current bound: 4862 1421.04/1434.02 c current bound: 4862 1421.77/1434.58 c current bound: 4862 1422.14/1435.13 c current bound: 4862 1422.87/1435.70 c current bound: 4862 1423.28/1436.26 c current bound: 4862 1424.08/1436.82 c current bound: 4862 1424.40/1437.39 c current bound: 4862 1425.17/1437.95 c current bound: 4862 1425.53/1438.51 c current bound: 4862 1426.26/1439.07 c current bound: 4862 1426.65/1439.63 c current bound: 4862 1427.37/1440.19 c current bound: 4862 1427.77/1440.75 c current bound: 4862 1428.58/1441.31 c current bound: 4862 1428.89/1441.87 c current bound: 4862 1429.66/1442.43 c current bound: 4862 1430.02/1442.99 c current bound: 4862 1430.76/1443.55 c current bound: 4862 1431.14/1444.11 c current bound: 4862 1431.70/1444.68 c current bound: 4862 1432.26/1445.24 c current bound: 4862 1432.83/1445.80 c current bound: 4862 1433.38/1446.37 c current bound: 4862 1433.95/1446.94 c current bound: 4862 1434.77/1447.50 c current bound: 4862 1435.09/1448.07 c current bound: 4862 1435.64/1448.63 c current bound: 4862 1436.20/1449.19 c current bound: 4862 1436.77/1449.76 c current bound: 4862 1437.34/1450.33 c current bound: 4862 1437.91/1450.89 c current bound: 4862 1438.47/1451.46 c current bound: 4862 1439.02/1452.02 c current bound: 4862 1439.59/1452.57 c current bound: 4862 1440.15/1453.13 c current bound: 4862 1440.97/1453.70 c current bound: 4862 1441.26/1454.26 c current bound: 4862 1441.83/1454.81 c current bound: 4862 1442.38/1455.37 c current bound: 4862 1442.93/1455.93 c current bound: 4862 1443.72/1456.55 c current bound: 4862 1444.08/1457.16 c current bound: 4862 1444.86/1457.73 c current bound: 4862 1445.20/1458.29 c current bound: 4862 1445.97/1458.85 c current bound: 4862 1446.34/1459.41 c current bound: 4862 1447.07/1459.98 c current bound: 4862 1447.47/1460.54 c current bound: 4862 1448.28/1461.35 c current bound: 4862 1448.60/1461.91 c current bound: 4862 1449.17/1462.49 c current bound: 4862 1449.72/1463.05 c current bound: 4862 1450.29/1463.61 c current bound: 4862 1450.85/1464.17 c current bound: 4862 1451.41/1464.73 c current bound: 4862 1451.97/1465.29 c current bound: 4862 1452.53/1465.86 c current bound: 4862 1453.33/1466.41 c current bound: 4862 1453.64/1466.98 c current bound: 4862 1454.42/1467.54 c current bound: 4862 1455.03/1468.10 c current bound: 4862 1455.53/1468.66 c current bound: 4862 1455.88/1469.22 c current bound: 4862 1456.63/1469.78 c current bound: 4862 1457.01/1470.34 c current bound: 4862 1457.73/1470.90 c current bound: 4862 1458.13/1471.45 c current bound: 4862 1458.94/1472.02 c current bound: 4862 1459.26/1472.58 c current bound: 4862 1460.03/1473.14 c current bound: 4862 1460.65/1473.70 c current bound: 4862 1461.15/1474.26 c current bound: 4862 1461.50/1474.82 c current bound: 4862 1462.23/1475.38 c current bound: 4862 1462.63/1475.95 c current bound: 4862 1463.43/1476.51 c current bound: 4862 1463.75/1477.06 c current bound: 4862 1464.54/1477.62 c current bound: 4862 1464.88/1478.18 c current bound: 4862 1465.64/1478.74 c current bound: 4862 1466.01/1479.30 c current bound: 4862 1466.56/1479.86 c current bound: 4862 1467.14/1480.42 c current bound: 4862 1467.69/1480.99 c current bound: 4862 1468.25/1481.55 c current bound: 4862 1468.81/1482.11 c current bound: 4862 1469.37/1482.67 c current bound: 4862 1469.94/1483.25 c current bound: 4862 1470.50/1483.81 c current bound: 4862 1471.07/1484.38 c current bound: 4862 1471.64/1484.94 c current bound: 4862 1472.21/1485.52 c current bound: 4862 1472.77/1486.07 c current bound: 4862 1473.33/1486.66 c current bound: 4862 1473.89/1487.22 c current bound: 4862 1474.45/1487.78 c current bound: 4862 1475.02/1488.34 c current bound: 4862 1475.58/1488.90 c current bound: 4862 1476.14/1489.46 c current bound: 4862 1476.70/1490.02 c current bound: 4862 1477.25/1490.58 c current bound: 4862 1477.82/1491.14 c current bound: 4862 1478.65/1491.70 c current bound: 4862 1478.94/1492.26 c current bound: 4862 1479.73/1492.82 c current bound: 4862 1480.07/1493.38 c current bound: 4862 1480.83/1493.94 c current bound: 4862 1481.18/1494.50 c current bound: 4862 1481.94/1495.06 c current bound: 4862 1482.31/1495.62 c current bound: 4862 1483.10/1496.37 c current bound: 4862 1483.43/1496.93 c current bound: 4862 1483.99/1497.49 c current bound: 4862 1484.55/1498.05 c current bound: 4862 1485.11/1498.62 c current bound: 4862 1485.68/1499.18 c current bound: 4862 1486.26/1499.75 c current bound: 4862 1486.80/1500.31 c current bound: 4862 1487.37/1500.88 c current bound: 4862 1487.94/1501.44 c current bound: 4862 1488.51/1502.02 c current bound: 4862 1489.08/1502.59 c current bound: 4862 1489.64/1503.15 c current bound: 4862 1490.20/1503.71 c current bound: 4862 1490.77/1504.27 c current bound: 4862 1491.32/1504.83 c current bound: 4862 1492.15/1505.40 c current bound: 4862 1492.45/1505.96 c current bound: 4862 1493.01/1506.52 c current bound: 4862 1493.58/1507.08 c current bound: 4862 1494.13/1507.64 c current bound: 4862 1494.94/1508.22 c current bound: 4862 1495.28/1508.79 c current bound: 4862 1496.04/1509.35 c current bound: 4862 1496.40/1509.92 c current bound: 4862 1497.14/1510.50 c current bound: 4862 1497.55/1511.07 c current bound: 4862 1498.35/1511.63 c current bound: 4862 1498.69/1512.20 c current bound: 4862 1499.45/1512.77 c current bound: 4862 1499.82/1513.34 c current bound: 4862 1500.64/1513.90 c current bound: 4862 1500.97/1514.48 c current bound: 4862 1501.74/1515.06 c current bound: 4862 1502.11/1515.65 c current bound: 4862 1502.69/1516.44 c current bound: 4862 1503.53/1517.02 c current bound: 4862 1503.85/1517.61 c current bound: 4862 1504.73/1518.21 c current bound: 4862 1505.04/1518.79 c current bound: 4862 1505.83/1519.37 c current bound: 4862 1506.21/1519.96 c current bound: 4862 1507.02/1520.55 c current bound: 4862 1507.39/1521.13 c current bound: 4862 1507.97/1521.73 c current bound: 4862 1508.55/1522.31 c current bound: 4862 1509.14/1522.89 c current bound: 4862 1509.72/1523.49 c current bound: 4862 1510.31/1524.07 c current bound: 4862 1510.88/1524.65 c current bound: 4862 1511.47/1525.23 c current bound: 4862 1512.31/1525.82 c current bound: 4862 1512.64/1526.67 c current bound: 4862 1513.23/1527.24 c current bound: 4862 1513.79/1527.83 c current bound: 4862 1514.37/1528.41 c current bound: 4862 1514.96/1528.98 c current bound: 4862 1515.54/1529.56 c current bound: 4862 1516.11/1530.15 c current bound: 4862 1516.70/1530.73 c current bound: 4862 1517.54/1531.31 c current bound: 4862 1517.86/1531.92 c current bound: 4862 1518.61/1532.50 c current bound: 4862 1519.02/1533.06 c current bound: 4862 1519.82/1533.63 c current bound: 4862 1520.16/1534.21 c current bound: 4862 1520.92/1534.79 c current bound: 4862 1521.32/1535.37 c current bound: 4862 1522.11/1535.96 c current bound: 4862 1522.75/1536.77 c current bound: 4862 1523.06/1537.33 c current bound: 4862 1523.88/1537.91 c current bound: 4862 1524.21/1538.50 c current bound: 4862 1524.99/1539.06 c current bound: 4862 1525.35/1539.62 c current bound: 4862 1526.21/1540.21 c current bound: 4862 1526.50/1540.79 c current bound: 4862 1527.29/1541.37 c current bound: 4862 1527.67/1541.95 c current bound: 4862 1528.49/1542.53 c current bound: 4862 1528.83/1543.11 c current bound: 4862 1529.43/1543.69 c current bound: 4862 1530.00/1544.27 c current bound: 4862 1530.57/1544.87 c current bound: 4862 1531.18/1545.46 c current bound: 4862 1531.77/1546.04 c current bound: 4862 1532.34/1546.62 c current bound: 4862 1532.93/1547.20 c current bound: 4862 1533.51/1547.78 c current bound: 4862 1534.09/1548.36 c current bound: 4862 1534.91/1548.95 c current bound: 4862 1535.26/1549.53 c current bound: 4862 1536.10/1550.11 c current bound: 4862 1536.41/1550.69 c current bound: 4862 1537.21/1551.28 c current bound: 4862 1537.87/1551.91 c current bound: 4862 1538.17/1552.48 c current bound: 4862 1538.76/1553.08 c current bound: 4862 1539.36/1553.66 c current bound: 4862 1539.95/1554.25 c current bound: 4862 1540.52/1554.82 c current bound: 4862 1541.10/1555.40 c current bound: 4862 1541.68/1555.99 c current bound: 4862 1542.26/1556.57 c current bound: 4862 1542.85/1557.16 c current bound: 4862 1543.67/1557.74 c current bound: 4862 1544.02/1558.32 c current bound: 4862 1544.88/1558.91 c current bound: 4862 1545.17/1559.49 c current bound: 4862 1545.98/1560.07 c current bound: 4862 1546.35/1560.66 c current bound: 4862 1547.17/1561.24 c current bound: 4862 1547.80/1562.05 c current bound: 4862 1548.11/1562.64 c current bound: 4862 1548.94/1563.22 c current bound: 4862 1549.55/1563.80 c current bound: 4862 1550.04/1564.38 c current bound: 4862 1550.43/1564.96 c current bound: 4862 1551.26/1565.54 c current bound: 4862 1551.60/1566.12 c current bound: 4862 1552.44/1566.71 c current bound: 4862 1552.78/1567.32 c current bound: 4862 1553.36/1567.90 c current bound: 4862 1553.93/1568.48 c current bound: 4862 1554.53/1569.06 c current bound: 4862 1555.10/1569.65 c current bound: 4862 1555.70/1570.22 c current bound: 4862 1556.27/1570.80 c current bound: 4862 1556.86/1571.38 c current bound: 4862 1557.68/1572.08 c current bound: 4862 1558.02/1572.66 c current bound: 4862 1558.81/1573.24 c current bound: 4862 1559.20/1573.83 c current bound: 4862 1560.03/1574.41 c current bound: 4862 1560.36/1574.98 c current bound: 4862 1560.93/1575.58 c current bound: 4862 1561.52/1576.15 c current bound: 4862 1562.10/1576.72 c current bound: 4862 1562.67/1577.30 c current bound: 4862 1563.26/1577.88 c current bound: 4862 1563.84/1578.45 c current bound: 4862 1564.43/1579.03 c current bound: 4862 1565.00/1579.60 c current bound: 4862 1565.57/1580.18 c current bound: 4862 1566.15/1580.76 c current bound: 4862 1566.73/1581.33 c current bound: 4862 1567.29/1581.90 c current bound: 4862 1567.86/1582.55 c current bound: 4862 1568.66/1583.12 c current bound: 4862 1569.00/1583.68 c current bound: 4862 1569.77/1584.26 c current bound: 4862 1570.15/1584.83 c current bound: 4862 1570.98/1585.40 c current bound: 4862 1571.29/1585.97 c current bound: 4862 1572.07/1586.54 c current bound: 4862 1572.44/1587.36 c current bound: 4862 1572.99/1587.93 c current bound: 4862 1573.56/1588.50 c current bound: 4862 1574.13/1589.07 c current bound: 4862 1574.92/1589.65 c current bound: 4862 1575.29/1590.22 c current bound: 4862 1576.03/1590.79 c current bound: 4862 1576.43/1591.36 c current bound: 4862 1577.23/1591.94 c current bound: 4862 1577.59/1592.50 c current bound: 4862 1578.33/1593.08 c current bound: 4862 1578.74/1593.65 c current bound: 4862 1579.53/1594.24 c current bound: 4862 1579.91/1594.81 c current bound: 4862 1580.47/1595.38 c current bound: 4862 1581.03/1595.95 c current bound: 4862 1581.60/1596.52 c current bound: 4862 1582.44/1597.19 c current bound: 4862 1582.75/1597.76 c current bound: 4862 1583.30/1598.32 c current bound: 4862 1583.87/1598.89 c current bound: 4862 1584.45/1599.46 c current bound: 4862 1585.01/1600.03 c current bound: 4862 1585.58/1600.60 c current bound: 4862 1586.15/1601.17 c current bound: 4862 1586.93/1601.74 c current bound: 4862 1587.55/1602.54 c current bound: 4862 1587.86/1603.12 c current bound: 4862 1588.44/1603.68 c current bound: 4862 1589.01/1604.25 c current bound: 4862 1589.58/1604.83 c current bound: 4862 1590.16/1605.40 c current bound: 4862 1590.74/1605.97 c current bound: 4862 1591.31/1606.54 c current bound: 4862 1591.86/1607.11 c current bound: 4862 1592.44/1607.68 c current bound: 4862 1593.01/1608.25 c current bound: 4862 1593.58/1608.81 c current bound: 4862 1594.15/1609.38 c current bound: 4862 1594.71/1609.95 c current bound: 4862 1595.52/1610.52 c current bound: 4862 1595.85/1611.09 c current bound: 4862 1596.63/1611.66 c current bound: 4862 1597.02/1612.23 c current bound: 4862 1597.71/1612.80 c current bound: 4862 1598.15/1613.37 c current bound: 4862 1598.93/1613.95 c current bound: 4862 1599.30/1614.51 c current bound: 4862 1600.14/1615.10 c current bound: 4862 1600.46/1615.67 c current bound: 4862 1601.23/1616.25 c current bound: 4862 1601.60/1616.82 c current bound: 4862 1602.44/1617.63 c current bound: 4862 1602.74/1618.19 c current bound: 4862 1603.32/1618.76 c current bound: 4862 1604.10/1619.33 c current bound: 4862 1604.70/1619.90 c current bound: 4862 1605.19/1620.47 c current bound: 4862 1605.59/1621.04 c current bound: 4862 1606.38/1621.61 c current bound: 4862 1606.72/1622.18 c current bound: 4862 1607.49/1622.76 c current bound: 4862 1607.87/1623.34 c current bound: 4862 1608.68/1623.93 c current bound: 4862 1609.04/1624.49 c current bound: 4862 1609.61/1625.08 c current bound: 4862 1610.19/1625.65 c current bound: 4862 1610.75/1626.23 c current bound: 4862 1611.33/1626.81 c current bound: 4862 1611.92/1627.39 c current bound: 4862 1612.50/1627.98 c current bound: 4862 1613.09/1628.56 c current bound: 4862 1613.67/1629.15 c current bound: 4862 1614.25/1629.72 c current bound: 4862 1615.10/1630.31 c current bound: 4862 1615.40/1630.89 c current bound: 4862 1616.19/1631.48 c current bound: 4862 1616.59/1632.06 c current bound: 4862 1617.46/1632.93 c current bound: 4862 1617.75/1633.51 c current bound: 4862 1618.35/1634.10 c current bound: 4862 1618.93/1634.69 c current bound: 4862 1619.50/1635.27 c current bound: 4862 1620.33/1635.85 c current bound: 4862 1620.68/1636.43 c current bound: 4862 1621.51/1637.01 c current bound: 4862 1621.83/1637.59 c current bound: 4862 1622.61/1638.19 c current bound: 4862 1623.00/1638.77 c current bound: 4862 1623.79/1639.36 c current bound: 4862 1624.18/1639.94 c current bound: 4862 1624.75/1640.52 c current bound: 4862 1625.61/1641.10 c current bound: 4862 1625.91/1641.68 c current bound: 4862 1626.48/1642.26 c current bound: 4862 1627.33/1643.00 c current bound: 4862 1627.82/1643.58 c current bound: 4862 1628.23/1644.17 c current bound: 4862 1629.03/1644.75 c current bound: 4862 1629.38/1645.33 c current bound: 4862 1630.21/1645.92 c current bound: 4862 1630.84/1646.50 c current bound: 4862 1631.14/1647.06 c current bound: 4862 1631.69/1647.64 c current bound: 4862 1632.27/1648.22 c current bound: 4862 1632.86/1648.80 c current bound: 4862 1633.44/1649.38 c current bound: 4862 1634.02/1649.97 c current bound: 4862 1634.60/1650.55 c current bound: 4862 1635.18/1651.13 c current bound: 4862 1635.76/1651.71 c current bound: 4862 1636.35/1652.27 c current bound: 4862 1636.91/1653.15 c current bound: 4862 1637.49/1653.72 c current bound: 4862 1638.07/1654.30 c current bound: 4862 1638.65/1654.89 c current bound: 4862 1639.23/1655.47 c current bound: 4862 1639.81/1656.05 c current bound: 4862 1640.40/1656.63 c current bound: 4862 1640.98/1657.21 c current bound: 4862 1641.56/1657.79 c current bound: 4862 1642.13/1658.53 c current bound: 4862 1642.98/1659.11 c current bound: 4862 1643.29/1659.69 c current bound: 4862 1644.07/1660.27 c current bound: 4862 1644.46/1660.85 c current bound: 4862 1645.04/1661.43 c current bound: 4862 1645.63/1662.01 c current bound: 4862 1646.21/1662.59 c current bound: 4862 1646.78/1663.18 c current bound: 4862 1647.37/1663.77 c current bound: 4862 1647.96/1664.35 c current bound: 4862 1648.55/1664.93 c current bound: 4862 1649.39/1665.51 c current bound: 4862 1649.71/1666.09 c current bound: 4862 1650.49/1666.65 c current bound: 4862 1650.85/1667.25 c current bound: 4862 1651.68/1667.83 c current bound: 4862 1652.03/1668.43 c current bound: 4862 1652.84/1669.01 c current bound: 4862 1653.46/1669.60 c current bound: 4862 1653.96/1670.19 c current bound: 4862 1654.35/1670.77 c current bound: 4862 1654.94/1671.35 c current bound: 4862 1655.51/1671.94 c current bound: 4862 1656.11/1672.50 c current bound: 4862 1656.93/1673.28 c current bound: 4862 1657.24/1673.85 c current bound: 4862 1658.04/1674.42 c current bound: 4862 1658.39/1674.99 c current bound: 4862 1659.14/1675.56 c current bound: 4862 1659.52/1676.15 c current bound: 4862 1660.35/1676.73 c current bound: 4862 1660.69/1677.31 c current bound: 4862 1661.27/1677.89 c current bound: 4862 1661.85/1678.47 c current bound: 4862 1662.43/1679.05 c current bound: 4862 1663.02/1679.63 c current bound: 4862 1663.59/1680.22 c current bound: 4862 1664.45/1680.80 c current bound: 4862 1664.77/1681.39 c current bound: 4862 1665.36/1681.97 c current bound: 4862 1665.93/1682.56 c current bound: 4862 1666.78/1683.42 c current bound: 4862 1667.10/1684.00 c current bound: 4862 1667.69/1684.62 c current bound: 4862 1668.31/1685.20 c current bound: 4862 1668.89/1685.78 c current bound: 4862 1669.47/1686.36 c current bound: 4862 1670.06/1686.94 c current bound: 4862 1670.64/1687.50 c current bound: 4862 1671.18/1688.08 c current bound: 4862 1672.03/1688.73 c current bound: 4862 1672.36/1689.31 c current bound: 4862 1673.12/1689.89 c current bound: 4862 1673.52/1690.47 c current bound: 4862 1674.31/1691.05 c current bound: 4862 1674.69/1691.63 c current bound: 4862 1675.26/1692.21 c current bound: 4862 1676.13/1692.80 c current bound: 4862 1676.43/1693.38 c current bound: 4862 1677.02/1693.97 c current bound: 4862 1677.60/1694.55 c current bound: 4862 1678.17/1695.13 c current bound: 4862 1678.75/1695.71 c current bound: 4862 1679.34/1696.29 c current bound: 4862 1679.92/1696.87 c current bound: 4862 1680.73/1697.47 c current bound: 4862 1681.12/1698.03 c current bound: 4862 1681.90/1698.65 c current bound: 4862 1682.24/1699.25 c current bound: 4862 1683.09/1699.83 c current bound: 4862 1683.44/1700.40 c current bound: 4862 1684.01/1700.96 c current bound: 4862 1684.57/1701.55 c current bound: 4862 1685.16/1702.19 c current bound: 4862 1685.73/1702.78 c current bound: 4862 1686.33/1703.37 c current bound: 4862 1686.93/1703.95 c current bound: 4862 1687.51/1704.54 c current bound: 4862 1688.34/1705.12 c current bound: 4862 1688.66/1705.70 c current bound: 4862 1689.43/1706.29 c current bound: 4862 1689.85/1706.88 c current bound: 4862 1690.64/1707.47 c current bound: 4862 1691.02/1708.03 c current bound: 4862 1691.78/1708.69 c current bound: 4862 1692.18/1709.27 c current bound: 4862 1692.77/1709.86 c current bound: 4862 1693.36/1710.44 c current bound: 4862 1693.93/1711.02 c current bound: 4862 1694.80/1711.60 c current bound: 4862 1695.09/1712.18 c current bound: 4862 1695.67/1712.77 c current bound: 4862 1696.55/1713.52 c current bound: 4862 1697.12/1714.10 c current bound: 4862 1697.42/1714.68 c current bound: 4862 1698.22/1715.26 c current bound: 4862 1698.59/1715.84 c current bound: 4862 1699.18/1716.42 c current bound: 4862 1699.76/1717.01 c current bound: 4862 1700.34/1717.59 c current bound: 4862 1700.92/1718.18 c current bound: 4862 1701.51/1718.76 c current bound: 4862 1702.11/1719.34 c current bound: 4862 1702.67/1719.92 c current bound: 4862 1703.25/1720.50 c current bound: 4862 1703.83/1721.06 c current bound: 4862 1704.63/1721.64 c current bound: 4862 1704.98/1722.22 c current bound: 4862 1705.84/1722.80 c current bound: 4862 1706.14/1723.67 c current bound: 4862 1706.72/1724.25 c current bound: 4862 1707.30/1724.84 c current bound: 4862 1707.89/1725.43 c current bound: 4862 1708.75/1726.01 c current bound: 4862 1709.05/1726.58 c current bound: 4862 1709.84/1727.17 c current bound: 4862 1710.22/1727.73 c current bound: 4862 1711.05/1728.30 c current bound: 4862 1711.36/1728.95 c current bound: 4862 1712.18/1729.54 c current bound: 4862 1712.52/1730.12 c current bound: 4862 1713.11/1730.70 c current bound: 4862 1713.69/1731.28 c current bound: 4862 1714.27/1731.86 c current bound: 4862 1714.85/1732.44 c current bound: 4862 1715.43/1733.02 c current bound: 4862 1716.02/1733.61 c current bound: 4862 1716.61/1734.19 c current bound: 4862 1717.18/1734.77 c current bound: 4862 1717.76/1735.36 c current bound: 4862 1718.58/1735.93 c current bound: 4862 1718.92/1736.51 c current bound: 4862 1719.78/1737.20 c current bound: 4862 1720.08/1737.78 c current bound: 4862 1720.86/1738.37 c current bound: 4862 1721.25/1738.95 c current bound: 4862 1721.83/1739.54 c current bound: 4862 1722.41/1740.12 c current bound: 4862 1722.99/1740.70 c current bound: 4862 1723.58/1741.28 c current bound: 4862 1724.15/1741.86 c current bound: 4862 1724.73/1742.44 c current bound: 4862 1725.32/1743.02 c current bound: 4862 1726.16/1743.61 c current bound: 4862 1726.48/1744.19 c current bound: 4862 1727.28/1744.78 c current bound: 4862 1727.66/1745.36 c current bound: 4862 1728.46/1745.94 c current bound: 4862 1728.82/1746.52 c current bound: 4862 1729.66/1747.10 c current bound: 4862 1729.97/1747.68 c current bound: 4862 1730.76/1748.26 c current bound: 4862 1731.15/1748.88 c current bound: 4862 1731.72/1749.46 c current bound: 4862 1732.29/1750.05 c current bound: 4862 1732.88/1750.64 c current bound: 4862 1733.48/1751.22 c current bound: 4862 1734.33/1751.80 c current bound: 4862 1734.64/1752.38 c current bound: 4862 1735.22/1752.96 c current bound: 4862 1736.03/1753.55 c current bound: 4862 1736.39/1754.13 c current bound: 4862 1737.25/1754.70 c current bound: 4862 1737.55/1755.28 c current bound: 4862 1738.34/1755.88 c current bound: 4862 1738.72/1756.46 c current bound: 4862 1739.55/1757.04 c current bound: 4862 1739.90/1757.62 c current bound: 4862 1740.48/1758.21 c current bound: 4862 1741.36/1758.94 c current bound: 4862 1741.65/1759.52 c current bound: 4862 1742.53/1760.10 c current bound: 4862 1743.11/1760.70 c current bound: 4862 1743.62/1761.28 c current bound: 4862 1744.00/1761.87 c current bound: 4862 1744.79/1762.43 c current bound: 4862 1745.15/1763.00 c current bound: 4862 1745.91/1763.58 c current bound: 4862 1746.30/1764.17 c current bound: 4862 1747.10/1764.73 c current bound: 4862 1747.44/1765.31 c current bound: 4862 1748.03/1765.87 c current bound: 4862 1748.59/1766.45 c current bound: 4862 1749.18/1767.05 c current bound: 4862 1749.77/1767.64 c current bound: 4862 1750.37/1768.22 c current bound: 4862 1751.25/1768.96 c current bound: 4862 1751.56/1769.52 c current bound: 4862 1752.30/1770.10 c current bound: 4862 1752.71/1770.67 c current bound: 4862 1753.49/1771.26 c current bound: 4862 1753.86/1771.84 c current bound: 4862 1754.71/1772.42 c current bound: 4862 1755.02/1773.00 c current bound: 4862 1755.60/1773.56 c current bound: 4862 1756.16/1774.14 c current bound: 4862 1756.74/1774.72 c current bound: 4862 1757.33/1775.30 c current bound: 4862 1757.92/1775.88 c current bound: 4862 1758.49/1776.47 c current bound: 4862 1759.07/1777.06 c current bound: 4862 1759.67/1777.62 c current bound: 4862 1760.23/1778.20 c current bound: 4862 1761.09/1778.90 c current bound: 4862 1761.39/1779.48 c current bound: 4862 1762.18/1780.06 c current bound: 4862 1762.54/1780.64 c current bound: 4862 1763.38/1781.23 c current bound: 4862 1763.72/1781.81 c current bound: 4862 1764.30/1782.37 c current bound: 4862 1764.87/1782.95 c current bound: 4862 1765.45/1783.53 c current bound: 4862 1766.03/1784.11 c current bound: 4862 1766.61/1784.69 c current bound: 4862 1767.18/1785.27 c current bound: 4862 1767.76/1785.85 c current bound: 4862 1768.35/1786.43 c current bound: 4862 1768.94/1787.01 c current bound: 4862 1769.52/1787.60 c current bound: 4862 1770.10/1788.18 c current bound: 4862 1770.90/1788.76 c current bound: 4862 1771.26/1789.35 c current bound: 4862 1772.09/1789.93 c current bound: 4862 1772.42/1790.51 c current bound: 4862 1773.20/1791.09 c current bound: 4862 1773.60/1791.67 c current bound: 4862 1774.39/1792.26 c current bound: 4862 1774.75/1792.84 c current bound: 4862 1775.35/1793.42 c current bound: 4862 1776.20/1794.00 c current bound: 4862 1776.51/1794.58 c current bound: 4862 1777.09/1795.16 c current bound: 4862 1777.66/1795.75 c current bound: 4862 1778.25/1796.33 c current bound: 4862 1778.84/1796.92 c current bound: 4862 1779.71/1797.51 c current bound: 4862 1780.01/1798.09 c current bound: 4862 1780.80/1798.67 c current bound: 4862 1781.18/1799.26 c current bound: 4862 1782.01/1799.83 c current bound: 4862 1782.35/1800.41 c current bound: 4862 1783.21/1801.00 c current bound: 4862 1783.52/1801.58 c current bound: 4862 1784.30/1802.16 c current bound: 4862 1784.68/1802.75 c current bound: 4862 1785.26/1803.34 c current bound: 4862 1785.85/1803.98 c current bound: 4862 1786.44/1804.56 c current bound: 4862 1787.02/1805.14 c current bound: 4862 1787.60/1805.73 c current bound: 4862 1788.45/1806.32 c current bound: 4862 1789.05/1806.90 c current bound: 4862 1789.53/1807.49 c current bound: 4862 1789.94/1808.09 c current bound: 4862 1790.73/1808.68 c current bound: 4862 1791.14/1809.26 c current bound: 4862 1791.94/1809.84 c current bound: 4862 1792.29/1810.44 c current bound: 4862 1792.89/1811.02 c current bound: 4862 1793.48/1811.61 c current bound: 4862 1794.07/1812.19 c current bound: 4862 1794.65/1812.77 c current bound: 4862 1795.23/1813.35 c current bound: 4862 1796.09/1814.02 c current bound: 4862 1796.40/1814.60 c current bound: 4862 1797.17/1815.19 c current bound: 4862 1797.56/1815.77 c current bound: 4862 1798.37/1816.37 c current bound: 4862 1798.73/1816.95 c current bound: 4862 1799.57/1817.53 c current bound: 4862 1799.98/1817.91 HOME/npSolver-wbo-Itdqb.sh: line 18: 19742 Terminated ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715824-1338241224/watcher-3715824-1338241224 -o /tmp/evaluation-result-3715824-1338241224/solver-3715824-1338241224 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715824-1338241224.wbo 1365447281 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 2.06 2.08 3/180 19741 /proc/meminfo: memFree=28159588/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [startup+0.083731 s] /proc/loadavg: 1.99 2.06 2.08 3/180 19741 /proc/meminfo: memFree=28159588/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100229 s] /proc/loadavg: 1.99 2.06 2.08 3/180 19741 /proc/meminfo: memFree=28159588/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300269 s] /proc/loadavg: 1.99 2.06 2.08 3/180 19741 /proc/meminfo: memFree=28159588/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700203 s] /proc/loadavg: 1.99 2.06 2.08 3/180 19741 /proc/meminfo: memFree=28159588/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50015 s] /proc/loadavg: 1.99 2.06 2.08 3/184 19762 /proc/meminfo: memFree=28094652/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=0.92 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 4649 31594 0 0 18 3 53 18 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367781568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 Current children cumulated CPU time (s) 0.92 Current children cumulated vsize (KiB) 28588 [startup+3.10017 s] /proc/loadavg: 1.99 2.06 2.08 3/184 19776 /proc/meminfo: memFree=28095020/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=2.62 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 10427 76286 0 0 43 6 154 59 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367781568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 Current children cumulated CPU time (s) 2.62 Current children cumulated vsize (KiB) 28588 [startup+6.30031 s] /proc/loadavg: 1.99 2.06 2.08 3/184 19825 /proc/meminfo: memFree=28135592/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=5.83 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 21975 155512 0 0 93 14 335 141 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367782080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 Current children cumulated CPU time (s) 5.83 Current children cumulated vsize (KiB) 28588 [startup+12.7002 s] /proc/loadavg: 1.99 2.06 2.08 3/184 19905 /proc/meminfo: memFree=28135748/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=12.27 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 43169 329353 0 0 186 27 719 295 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367781568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 Current children cumulated CPU time (s) 12.27 Current children cumulated vsize (KiB) 28588 [startup+25.5064 s] /proc/loadavg: 1.99 2.05 2.08 3/184 20247 /proc/meminfo: memFree=28204644/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=11248 CPUtime=25.18 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) R 19741 19741 23311 0 -1 4202496 87175 669192 0 0 377 56 1471 614 20 0 1 0 290247905 11517952 2341 33554432000 4194304 5990268 140736367790672 140736367782656 5042551 0 0 4096 0 0 0 0 17 0 0 0 2 0 0 /proc/19742/statm: 2812 2341 177 439 0 2369 0 Current children cumulated CPU time (s) 25.18 Current children cumulated vsize (KiB) 20396 [startup+51.1003 s] /proc/loadavg: 2.05 2.06 2.08 3/185 20821 /proc/meminfo: memFree=28205388/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=50.4 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 172211 1342934 0 0 726 113 2977 1224 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367781568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 Current children cumulated CPU time (s) 50.4 Current children cumulated vsize (KiB) 28588 [startup+102.3 s] /proc/loadavg: 2.50 2.18 2.11 1/181 21971 /proc/meminfo: memFree=28214380/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=101.03 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 345551 2689351 0 0 1417 223 6010 2453 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367781568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 8 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 Current children cumulated CPU time (s) 101.03 Current children cumulated vsize (KiB) 28588 [startup+162.3 s] /proc/loadavg: 2.37 2.22 2.13 3/184 23344 /proc/meminfo: memFree=28176416/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=160.38 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 545847 4228758 0 0 2216 351 9552 3919 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367782080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 19 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 Current children cumulated CPU time (s) 160.38 Current children cumulated vsize (KiB) 28588 [startup+222.3 s] /proc/loadavg: 2.02 2.14 2.11 3/181 24700 /proc/meminfo: memFree=28212732/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=219.93 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 742307 5757439 0 0 2999 475 13119 5400 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367781568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 [pid=24696] ppid=19742 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24696/stat : 24696 (cp2_post.sh) S 19742 19741 23311 0 -1 4202496 612 225 0 0 0 0 0 0 20 0 1 0 290270114 9367552 266 33554432000 4194304 5064252 140736579249680 140736579247968 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/24696/statm: 2287 266 225 213 0 72 0 [pid=24698] ppid=24696 vsize=10184 CPUtime=0.2 cores=0,2,4,6 /proc/24698/stat : 24698 (coprocessor) R 24696 19741 23311 0 -1 4202496 2051 0 0 0 13 7 0 0 20 0 1 0 290270114 10428416 1710 33554432000 4194304 6586260 140733958192976 140736579247992 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 2546 1710 148 584 0 1958 0 Current children cumulated CPU time (s) 220.13 Current children cumulated vsize (KiB) 47920 [startup+282.3 s] /proc/loadavg: 1.96 2.09 2.09 3/183 26032 /proc/meminfo: memFree=28174660/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=279.53 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 938804 7289043 0 0 3783 599 16691 6880 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367782656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 38 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 Current children cumulated CPU time (s) 279.53 Current children cumulated vsize (KiB) 28588 [startup+342.307 s] /proc/loadavg: 1.86 2.03 2.07 3/183 27386 /proc/meminfo: memFree=28199268/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=338.96 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 1137137 8826860 0 0 4573 726 20239 8358 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367781568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 38 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 [pid=27384] ppid=19742 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/19742/statm: 4860 4156 177 439 0 4417 0 [pid=22240] ppid=19742 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22240/stat : 22240 (cp2_post.sh) S 19742 19741 23311 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 290402129 9367552 266 33554432000 4194304 5064252 140734796336560 140734796334848 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22240/statm: 2287 266 225 213 0 72 0 [pid=22242] ppid=22240 vsize=10288 CPUtime=0.05 cores=0,2,4,6 /proc/22242/stat : 22242 (coprocessor) R 22240 19741 23311 0 -1 4202496 1890 0 0 0 5 0 0 0 20 0 1 0 290402130 10534912 1833 33554432000 4194304 6586260 140735097431584 140734796334872 4814712 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 /proc/22242/statm: 2572 1834 148 584 0 1984 0 Current children cumulated CPU time (s) 1528.3 Current children cumulated vsize (KiB) 48024 [startup+1602.3 s] /proc/loadavg: 2.15 1.97 1.94 3/181 23575 /proc/meminfo: memFree=28198888/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=1587.29 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 5370485 41735807 0 0 21653 3428 94735 38913 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367781568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 130 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 Current children cumulated CPU time (s) 1587.29 Current children cumulated vsize (KiB) 28588 [startup+1662.31 s] /proc/loadavg: 2.02 1.96 1.93 3/183 24922 /proc/meminfo: memFree=28156432/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=1646 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 5566929 43252978 0 0 22466 3556 98193 40385 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367782080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 149 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 [pid=24919] ppid=19742 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/24919/stat : 24919 (satsolver.sh) S 19742 19741 23311 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290414115 9367552 267 33554432000 4194304 5064252 140733294189152 140733294188064 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/24919/statm: 2287 267 226 213 0 72 0 [pid=24922] ppid=24919 vsize=0 CPUtime=0.19 cores=0,2,4,6 /proc/24922/stat : 24922 (glucose) R 24919 19741 23311 0 -1 4202500 10477 0 0 0 18 1 0 0 20 0 1 0 290414115 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/24922/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1646.19 Current children cumulated vsize (KiB) 37736 [startup+1722.3 s] /proc/loadavg: 1.96 1.95 1.93 3/181 26243 /proc/meminfo: memFree=28215648/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=1705.33 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) R 19741 19741 23311 0 -1 4202496 5763379 44777718 0 0 23254 3679 101728 41872 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367782656 4568093 0 0 4096 0 0 0 0 17 2 0 0 169 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 Current children cumulated CPU time (s) 1705.33 Current children cumulated vsize (KiB) 28588 ############ # WARNING: # current cumulated CPU time (1761.09 s) is less than in the last sample (1761.09 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.00012207 s) to the 'lost time'. [startup+1778.8 s] /proc/loadavg: 1.87 1.92 1.92 2/185 27526 /proc/meminfo: memFree=28196580/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=1760.82 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 5946359 46210566 0 0 23983 3797 105033 43269 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367781568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 175 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 [pid=27520] ppid=19742 vsize=9148 CPUtime=0.27 cores=0,2,4,6 /proc/27520/stat : 27520 (cp2_post.sh) S 19742 19741 23311 0 -1 4202496 635 2421 0 0 0 0 16 11 20 0 1 0 290425755 9367552 268 33554432000 4194304 5064252 140735521010416 140735521009328 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/27520/statm: 2287 268 228 213 0 72 0 [pid=27523] ppid=27520 vsize=16692 CPUtime=0 cores=0,2,4,6 /proc/27523/stat : 27523 (mv) D 27520 19741 23311 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 290425782 17092608 185 33554432000 4194304 4296580 140736856820224 140736856818456 239872654679 0 0 4096 0 18446744071580543392 0 0 17 6 0 0 0 0 0 /proc/27523/statm: 4173 185 154 25 0 73 0 Current children cumulated CPU time (s) 1761.09 Current children cumulated vsize (KiB) 54428 [startup+1778.91 s] /proc/loadavg: 1.87 1.92 1.92 2/185 27526 /proc/meminfo: memFree=28196580/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=1761.09 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 5946404 46213889 0 0 23983 3797 105049 43280 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367782656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 175 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 Current children cumulated CPU time (s) 1761.09 Current children cumulated vsize (KiB) 28588 # ############ [startup+1782.3 s] /proc/loadavg: 1.88 1.93 1.92 3/184 27596 /proc/meminfo: memFree=28120344/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=1764.3 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 5957915 46299565 0 0 24029 3804 105238 43359 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367781568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 175 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 Current children cumulated CPU time (s) 1764.3 Current children cumulated vsize (KiB) 28588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1817.9 s] /proc/loadavg: 1.93 1.93 1.92 3/184 28404 /proc/meminfo: memFree=28194208/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=1799.91 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 6075401 47212958 0 0 24500 3878 107365 44248 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367781568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 175 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 [pid=28400] ppid=19742 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28400/stat : 28400 (cp2_post.sh) S 19742 19741 23311 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 290429687 9367552 266 33554432000 4194304 5064252 140736022535616 140736022533904 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/28400/statm: 2287 266 225 213 0 72 0 [pid=28402] ppid=28400 vsize=10184 CPUtime=0.07 cores=0,2,4,6 /proc/28402/stat : 28402 (coprocessor) R 28400 19741 23311 0 -1 4202496 2049 0 0 0 6 1 0 0 20 0 1 0 290429687 10428416 1709 33554432000 4194304 6586260 140735030768240 140736022533928 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 /proc/28402/statm: 2546 1709 148 584 0 1958 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 47920 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1817.9 s] /proc/loadavg: 1.93 1.93 1.92 3/184 28404 /proc/meminfo: memFree=28194208/32873844 swapFree=7384/7384 [pid=19741] ppid=19739 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19741/stat : 19741 (npSolver-wbo-It) S 19739 19741 23311 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290247904 9367552 274 33554432000 4194304 5064252 140733362732560 140733362731472 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/19741/statm: 2287 274 233 213 0 72 0 [pid=19742] ppid=19741 vsize=19440 CPUtime=1799.91 cores=0,2,4,6 /proc/19742/stat : 19742 (npSolver-wbo) S 19741 19741 23311 0 -1 4202496 6075401 47212958 0 0 24500 3878 107365 44248 20 0 1 0 290247905 19906560 4156 33554432000 4194304 5990268 140736367790672 140736367781568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 175 0 0 /proc/19742/statm: 4860 4156 177 439 0 4417 0 [pid=28400] ppid=19742 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28400/stat : 28400 (cp2_post.sh) S 19742 19741 23311 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 290429687 9367552 266 33554432000 4194304 5064252 140736022535616 140736022533904 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/28400/statm: 2287 266 225 213 0 72 0 [pid=28402] ppid=28400 vsize=10184 CPUtime=0.07 cores=0,2,4,6 /proc/28402/stat : 28402 (coprocessor) R 28400 19741 23311 0 -1 4202496 2049 0 0 0 6 1 0 0 20 0 1 0 290429687 10428416 1709 33554432000 4194304 6586260 140735030768240 140736022533928 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 /proc/28402/statm: 2546 1709 148 584 0 1958 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 47920 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19741 and gives # childrusage.ru_utime.tv_sec=1318 # childrusage.ru_utime.tv_usec=667532 # childrusage.ru_stime.tv_sec=481 # childrusage.ru_stime.tv_usec=266836 # CPU time returned by wait4() is 1799.93 # while last known CPU time is 1799.98 # # 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.140137 # lost CPU user time (s): 0.0901489 # lost CPU system time (s): 0.0499878 Real time (s): 1817.92 CPU time (s): 1800.12 CPU user time (s): 1318.8 CPU system time (s): 481.32 CPU usage (%): 99.0211 Max. virtual memory (cumulated for all children) (KiB): 86356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1318.67 system time used= 481.267 maximum resident set size= 42900 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53290384 page faults= 0 swaps= 0 block input operations= 0 block output operations= 42970576 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 883347 involuntary context switches= 38415 runsolver used 3.40748 second user time and 8.25974 second system time The end
Begin job on node136 at 2012-05-28 23:40:25 IDJOB=3715824 IDBENCH=79397 IDSOLVER=2297 FILE ID=node136/3715824-1338241224 RUNJOBID= node136-1338228495-23327 PBS_JOBID= 14624636 Free space on /tmp= 71084 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh215_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715824-1338241224/watcher-3715824-1338241224 -o /tmp/evaluation-result-3715824-1338241224/solver-3715824-1338241224 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715824-1338241224.wbo 1365447281 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f6fb73f0a02abbaaed6c5aa05fa83af7 RANDOM SEED=1365447281 node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 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 : 2667.247 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: 28159480 kB Buffers: 560680 kB Cached: 3164804 kB SwapCached: 24460 kB Active: 1631020 kB Inactive: 2219040 kB Active(anon): 93456 kB Inactive(anon): 26984 kB Active(file): 1537564 kB Inactive(file): 2192056 kB Unevictable: 7384 kB Mlocked: 7384 kB SwapTotal: 67108856 kB SwapFree: 67079072 kB Dirty: 8572 kB Writeback: 0 kB AnonPages: 194248 kB Mapped: 10636 kB Shmem: 0 kB Slab: 720864 kB SReclaimable: 161564 kB SUnreclaim: 559300 kB KernelStack: 1520 kB PageTables: 4352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 225828 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 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= 71076 MiB End job on node136 at 2012-05-29 00:10:42