Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.13 | 1865.65 |
Name | /PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02ac_wcsp.wbo |
MD5SUM | 3f23aa3ca1a467f99a1444f18e90dfdd |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1579 |
Best CPU time to get the best result obtained on this benchmark | 1.22481 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 517 |
Total number of constraints | 5630 |
Number of soft constraints | 5478 |
Number of constraints which are clauses | 5478 |
Number of constraints which are cardinality constraints (but not clauses) | 152 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 24 |
Top cost | 36256 |
Min constraint cost | 1 |
Max constraint cost | 36256 |
Sum of constraints costs | 193061822 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 25 |
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.05 c run usual solver 0.00/0.18 o 145100 0.00/0.18 c starting approximation 0.00/0.18 c factor = 2 0.00/0.18 c factor still to low - shrinking to 4769.15 0.00/0.18 c approx number of clauses: 1e+06 0.00/0.18 c current bound: 72550 0.00/0.74 c current bound: 72550 1.16/1.29 c current bound: 72550 1.54/1.84 c current bound: 72550 2.26/2.39 c current bound: 72550 2.64/2.94 c current bound: 72550 3.36/3.49 c current bound: 72550 4.01/4.21 c current bound: 72550 4.29/4.76 c current bound: 72550 4.84/5.31 c current bound: 72550 5.39/5.86 c current bound: 72550 5.94/6.41 c current bound: 72550 6.50/6.96 c current bound: 72550 7.05/7.51 c current bound: 72550 7.60/8.07 c current bound: 72550 8.16/8.62 c current bound: 72550 8.98/9.21 c current bound: 72550 9.26/9.76 c current bound: 72550 9.81/10.31 c current bound: 72550 10.36/10.87 c current bound: 72550 10.91/11.42 c current bound: 72550 11.45/11.97 c current bound: 72550 12.00/12.52 c current bound: 72550 12.56/13.07 c current bound: 72550 13.12/13.62 c current bound: 72550 13.67/14.17 c current bound: 72550 14.23/14.73 c current bound: 72550 14.78/15.28 c current bound: 72550 15.33/15.83 c current bound: 72550 15.88/16.38 c current bound: 72550 16.44/16.94 c current bound: 72550 16.99/17.49 c current bound: 72550 17.54/18.04 c current bound: 72550 18.09/18.59 c current bound: 72550 18.91/20.46 c current bound: 72550 19.47/21.57 c current bound: 72550 19.75/22.78 c current bound: 72550 20.57/23.91 c current bound: 72550 21.11/25.28 c current bound: 72550 21.68/26.62 c current bound: 72550 21.95/27.27 c current bound: 72550 22.75/28.79 c current bound: 72550 23.33/31.48 c current bound: 72550 23.87/33.16 c current bound: 72550 24.17/34.40 c current bound: 72550 24.99/37.70 c current bound: 72550 25.53/39.33 c current bound: 72550 26.09/40.64 c current bound: 72550 26.62/41.78 c current bound: 72550 27.20/42.46 c current bound: 72550 27.75/44.13 c current bound: 72550 28.03/45.32 c current bound: 72550 28.83/46.71 c current bound: 72550 29.39/48.61 c current bound: 72550 29.95/50.50 c current bound: 72550 30.47/51.05 c current bound: 72550 30.57/51.60 c current bound: 72550 31.55/52.15 c current bound: 72550 31.90/52.70 c current bound: 72550 32.46/53.25 c current bound: 72550 33.00/53.81 c current bound: 72550 33.55/54.36 c current bound: 72550 34.11/54.91 c current bound: 72550 34.66/55.46 c current bound: 72550 35.21/56.01 c current bound: 72550 35.76/56.56 c current bound: 72550 36.31/57.11 c current bound: 72550 36.85/57.67 c current bound: 72550 37.41/58.22 c current bound: 72550 37.96/58.77 c current bound: 72550 38.52/59.32 c current bound: 72550 39.06/59.87 c current bound: 72550 39.62/60.42 c current bound: 72550 40.16/60.97 c current bound: 72550 40.72/61.52 c current bound: 72550 41.27/62.07 c current bound: 72550 41.82/62.63 c current bound: 72550 42.39/63.19 c current bound: 72550 42.93/63.74 c current bound: 72550 43.48/64.29 c current bound: 72550 44.04/64.85 c current bound: 72550 44.86/65.40 c current bound: 72550 45.14/65.94 c current bound: 72550 45.69/66.49 c current bound: 72550 46.24/67.04 c current bound: 72550 46.80/67.60 c current bound: 72550 47.35/68.15 c current bound: 72550 48.17/68.70 c current bound: 72550 48.44/69.25 c current bound: 72550 49.00/69.81 c current bound: 72550 49.56/70.35 c current bound: 72550 50.11/70.90 c current bound: 72550 50.66/71.46 c current bound: 72550 51.21/72.01 c current bound: 72550 51.76/72.56 c current bound: 72550 52.32/73.11 c current bound: 72550 52.87/73.66 c current bound: 72550 53.42/74.21 c current bound: 72550 53.97/74.76 c current bound: 72550 54.52/75.31 c current bound: 72550 55.06/75.87 c current bound: 72550 55.63/76.42 c current bound: 72550 56.18/76.97 c current bound: 72550 56.73/77.52 c current bound: 72550 57.27/78.07 c current bound: 72550 57.83/78.62 c current bound: 72550 58.38/79.17 c current bound: 72550 58.93/79.72 c current bound: 72550 59.49/80.27 c current bound: 72550 60.05/80.82 c current bound: 72550 60.61/81.37 c current bound: 72550 61.17/81.96 c current bound: 72550 62.00/82.51 c current bound: 72550 63.10/83.64 c current bound: 72550 63.10/83.64 c current bound: 72550 63.40/84.17 c current bound: 72550 64.23/85.08 c current bound: 72550 64.52/85.63 c current bound: 72550 65.04/86.18 c current bound: 72550 65.60/86.73 c current bound: 72550 66.14/87.28 c current bound: 72550 66.70/87.83 c current bound: 72550 67.24/88.38 c current bound: 72550 67.79/88.93 c current bound: 72550 68.36/89.49 c current bound: 72550 68.92/90.04 c current bound: 72550 69.47/90.58 c current bound: 72550 70.29/91.33 c current bound: 72550 70.57/91.88 c current bound: 72550 71.36/92.44 c current bound: 72550 71.68/92.99 c current bound: 72550 72.44/93.54 c current bound: 72550 73.07/94.10 c current bound: 72550 73.56/94.65 c current bound: 72550 73.89/95.23 c current bound: 72550 74.63/95.79 c current bound: 72550 75.01/96.34 c current bound: 72550 75.72/96.90 c current bound: 72550 76.11/97.45 c current bound: 72550 76.82/98.00 c current bound: 72550 77.21/98.55 c current bound: 72550 77.93/99.10 c current bound: 72550 78.31/99.65 c current bound: 72550 79.08/100.25 c current bound: 72550 79.41/100.79 c current bound: 72550 80.18/101.34 c current bound: 72550 80.50/101.89 c current bound: 72550 81.28/102.44 c current bound: 72550 81.60/102.99 c current bound: 72550 82.37/103.54 c current bound: 72550 82.71/104.09 c current bound: 72550 83.48/104.64 c current bound: 72550 83.81/105.24 c current bound: 72550 84.54/105.79 c current bound: 72550 84.91/106.34 c current bound: 72550 85.63/106.89 c current bound: 72550 86.01/107.44 c current bound: 72550 86.74/107.99 c current bound: 72550 87.12/108.54 c current bound: 72550 87.84/109.09 c current bound: 72550 88.22/109.64 c current bound: 72550 88.77/110.27 c current bound: 72550 89.32/110.83 c current bound: 72550 89.89/111.38 c current bound: 72550 90.44/111.94 c current bound: 72550 91.00/112.50 c current bound: 72550 91.55/113.07 c current bound: 72550 92.11/113.62 c current bound: 72550 92.68/114.17 c current bound: 72550 93.23/114.72 c current bound: 72550 93.78/116.08 c current bound: 72550 94.56/116.64 c current bound: 72550 94.88/117.19 c current bound: 72550 95.65/117.76 c current bound: 72550 96.01/118.31 c current bound: 72550 96.76/118.86 c current bound: 72550 97.12/119.41 c current bound: 72550 97.91/120.38 c current bound: 72550 98.22/120.93 c current bound: 72550 98.77/121.48 c current bound: 72550 99.31/122.03 c current bound: 72550 99.87/122.58 c current bound: 72550 100.43/123.13 c current bound: 72550 100.97/123.68 c current bound: 72550 101.53/124.23 c current bound: 72550 102.08/124.78 c current bound: 72550 102.89/125.94 c current bound: 72550 103.18/126.49 c current bound: 72550 103.73/127.04 c current bound: 72550 104.28/127.59 c current bound: 72550 104.83/128.14 c current bound: 72550 105.38/128.69 c current bound: 72550 105.93/129.24 c current bound: 72550 106.48/129.79 c current bound: 72550 107.03/130.34 c current bound: 72550 107.59/130.89 c current bound: 72550 108.13/131.44 c current bound: 72550 108.69/131.98 c current bound: 72550 109.24/132.53 c current bound: 72550 109.78/133.08 c current bound: 72550 110.33/133.63 c current bound: 72550 110.89/134.18 c current bound: 72550 111.43/134.73 c current bound: 72550 112.23/135.84 c current bound: 72550 112.53/136.39 c current bound: 72550 113.09/136.95 c current bound: 72550 113.92/137.50 c current bound: 72550 114.20/138.05 c current bound: 72550 115.01/138.61 c current bound: 72550 115.31/139.16 c current bound: 72550 116.11/139.71 c current bound: 72550 116.41/140.27 c current bound: 72550 117.22/140.82 c current bound: 72550 117.52/141.37 c current bound: 72550 118.31/141.92 c current bound: 72550 118.61/142.47 c current bound: 72550 119.40/143.02 c current bound: 72550 119.72/143.57 c current bound: 72550 120.52/144.12 c current bound: 72550 120.80/144.67 c current bound: 72550 121.65/146.16 c current bound: 72550 121.93/146.71 c current bound: 72550 122.48/147.26 c current bound: 72550 123.03/147.81 c current bound: 72550 123.58/148.36 c current bound: 72550 124.13/148.91 c current bound: 72550 124.68/149.46 c current bound: 72550 125.23/150.01 c current bound: 72550 125.77/150.56 c current bound: 72550 126.33/151.11 c current bound: 72550 126.87/151.65 c current bound: 72550 127.42/152.20 c current bound: 72550 127.97/152.75 c current bound: 72550 128.52/153.30 c current bound: 72550 129.08/153.85 c current bound: 72550 129.64/154.41 c current bound: 72550 130.20/154.96 c current bound: 72550 130.73/155.51 c current bound: 72550 131.29/156.06 c current bound: 72550 131.84/156.61 c current bound: 72550 132.40/157.17 c current bound: 72550 132.95/157.73 c current bound: 72550 133.51/158.28 c current bound: 72550 134.06/158.82 c current bound: 72550 134.62/159.37 c current bound: 72550 135.16/159.93 c current bound: 72550 135.71/160.59 c current bound: 72550 136.26/161.15 c current bound: 72550 136.82/161.70 c current bound: 72550 137.36/162.25 c current bound: 72550 138.20/162.80 c current bound: 72550 138.47/163.35 c current bound: 72550 139.30/163.91 c current bound: 72550 139.58/164.45 c current bound: 72550 140.40/165.00 c current bound: 72550 140.69/165.65 c current bound: 72550 141.49/166.21 c current bound: 72550 141.78/166.75 c current bound: 72550 142.59/167.31 c current bound: 72550 142.89/167.86 c current bound: 72550 143.70/168.41 c current bound: 72550 143.99/168.96 c current bound: 72550 144.78/169.51 c current bound: 72550 145.07/170.06 c current bound: 72550 145.89/170.71 c current bound: 72550 146.18/171.26 c current bound: 72550 146.97/171.81 c current bound: 72550 147.28/172.36 c current bound: 72550 148.07/172.91 c current bound: 72550 148.37/173.46 c current bound: 72550 149.18/174.01 c current bound: 72550 149.48/174.57 c current bound: 72550 150.27/175.12 c current bound: 72550 150.60/175.76 c current bound: 72550 151.15/176.31 c current bound: 72550 151.69/176.86 c current bound: 72550 152.23/177.41 c current bound: 72550 152.79/177.96 c current bound: 72550 153.34/178.51 c current bound: 72550 153.90/179.06 c current bound: 72550 154.43/179.61 c current bound: 72550 154.99/180.16 c current bound: 72550 155.53/180.81 c current bound: 72550 156.09/181.36 c current bound: 72550 156.63/181.90 c current bound: 72550 157.19/182.45 c current bound: 72550 157.74/183.00 c current bound: 72550 158.29/183.55 c current bound: 72550 159.11/184.10 c current bound: 72550 159.38/184.65 c current bound: 72550 159.94/185.19 c current bound: 72550 160.48/185.86 c current bound: 72550 161.03/186.41 c current bound: 72550 161.59/186.96 c current bound: 72550 162.14/187.51 c current bound: 72550 162.69/188.06 c current bound: 72550 163.24/188.61 c current bound: 72550 163.78/189.16 c current bound: 72550 164.34/189.71 c current bound: 72550 164.89/190.26 c current bound: 72550 165.44/190.91 c current bound: 72550 166.20/191.46 c current bound: 72550 166.54/192.01 c current bound: 72550 167.30/192.56 c current bound: 72550 167.65/193.11 c current bound: 72550 168.40/193.66 c current bound: 72550 168.75/194.21 c current bound: 72550 169.52/194.76 c current bound: 72550 169.85/195.32 c current bound: 72550 170.66/195.97 c current bound: 72550 170.95/196.53 c current bound: 72550 171.70/197.09 c current bound: 72550 172.07/197.63 c current bound: 72550 172.80/198.18 c current bound: 72550 173.17/198.73 c current bound: 72550 173.89/199.29 c current bound: 72550 174.27/199.83 c current bound: 72550 175.00/200.39 c current bound: 72550 175.38/201.04 c current bound: 72550 175.91/201.59 c current bound: 72550 176.47/202.14 c current bound: 72550 177.02/202.69 c current bound: 72550 177.58/203.24 c current bound: 72550 178.13/203.79 c current bound: 72550 178.68/204.34 c current bound: 72550 179.23/204.89 c current bound: 72550 179.78/205.44 c current bound: 72550 180.33/206.09 c current bound: 72550 180.88/206.64 c current bound: 72550 181.43/207.19 c current bound: 72550 181.99/207.74 c current bound: 72550 182.54/208.29 c current bound: 72550 183.08/208.84 c current bound: 72550 183.63/209.39 c current bound: 72550 184.19/209.94 c current bound: 72550 184.73/210.50 c current bound: 72550 185.30/211.16 c current bound: 72550 185.83/211.71 c current bound: 72550 186.40/212.26 c current bound: 72550 186.94/212.82 c current bound: 72550 187.50/213.37 c current bound: 72550 188.05/213.92 c current bound: 72550 188.60/214.47 c current bound: 72550 189.16/215.02 c current bound: 72550 189.71/215.56 c current bound: 72550 190.53/216.21 c current bound: 72550 191.00/216.76 c current bound: 72550 191.35/217.31 c current bound: 72550 192.12/217.86 c current bound: 72550 192.46/218.40 c current bound: 72550 193.22/218.95 c current bound: 72550 193.54/219.51 c current bound: 72550 194.31/220.05 c current bound: 72550 194.65/220.62 c current bound: 72550 195.47/221.28 c current bound: 72550 195.78/221.83 c current bound: 72550 196.51/222.38 c current bound: 72550 196.86/222.93 c current bound: 72550 197.60/223.48 c current bound: 72550 197.97/224.03 c current bound: 72550 198.71/224.58 c current bound: 72550 199.10/225.13 c current bound: 72550 199.82/225.68 c current bound: 72550 200.19/226.34 c current bound: 72550 200.73/226.89 c current bound: 72550 201.28/227.44 c current bound: 72550 201.84/227.99 c current bound: 72550 202.39/228.54 c current bound: 72550 202.94/229.10 c current bound: 72550 203.50/229.64 c current bound: 72550 204.05/230.19 c current bound: 72550 204.60/230.74 c current bound: 72550 205.14/231.34 c current bound: 72550 205.70/231.89 c current bound: 72550 206.26/232.45 c current bound: 72550 206.82/233.00 c current bound: 72550 207.37/233.56 c current bound: 72550 207.91/234.11 c current bound: 72550 208.47/234.65 c current bound: 72550 209.02/235.20 c current bound: 72550 209.58/235.75 c current bound: 72550 210.39/236.40 c current bound: 72550 210.67/236.95 c current bound: 72550 211.22/237.49 c current bound: 72550 211.77/238.04 c current bound: 72550 212.32/238.60 c current bound: 72550 212.87/239.14 c current bound: 72550 213.41/239.70 c current bound: 72550 213.97/240.25 c current bound: 72550 214.53/240.80 c current bound: 72550 215.08/241.47 c current bound: 72550 215.88/242.02 c current bound: 72550 216.18/242.57 c current bound: 72550 216.97/243.12 c current bound: 72550 217.27/243.67 c current bound: 72550 218.08/244.21 c current bound: 72550 218.39/244.76 c current bound: 72550 219.17/245.31 c current bound: 72550 219.48/245.86 c current bound: 72550 220.30/246.51 c current bound: 72550 220.59/247.06 c current bound: 72550 221.38/247.61 c current bound: 72550 221.68/248.16 c current bound: 72550 222.47/248.72 c current bound: 72550 222.79/249.27 c current bound: 72550 223.57/249.82 c current bound: 72550 223.88/250.37 c current bound: 72550 224.68/250.92 c current bound: 72550 224.99/251.58 c current bound: 72550 225.77/252.13 c current bound: 72550 226.08/252.68 c current bound: 72550 226.86/253.22 c current bound: 72550 227.18/253.78 c current bound: 72550 227.97/254.33 c current bound: 72550 228.29/254.88 c current bound: 72550 229.06/255.44 c current bound: 72550 229.39/255.98 c current bound: 72550 230.19/256.65 c current bound: 72550 230.77/257.20 c current bound: 72550 231.05/257.76 c current bound: 72550 231.60/258.31 c current bound: 72550 232.17/258.86 c current bound: 72550 232.70/259.41 c current bound: 72550 233.25/259.97 c current bound: 72550 233.82/260.52 c current bound: 72550 234.37/261.07 c current bound: 72550 234.92/261.72 c current bound: 72550 235.47/262.28 c current bound: 72550 236.02/262.83 c current bound: 72550 236.57/263.38 c current bound: 72550 237.12/263.92 c current bound: 72550 237.68/264.47 c current bound: 72550 238.22/265.02 c current bound: 72550 238.78/265.57 c current bound: 72550 239.33/266.12 c current bound: 72550 239.87/266.79 c current bound: 72550 240.65/267.34 c current bound: 72550 240.97/267.88 c current bound: 72550 241.75/268.43 c current bound: 72550 242.07/268.98 c current bound: 72550 242.86/269.53 c current bound: 72550 243.17/270.08 c current bound: 72550 243.94/270.63 c current bound: 72550 244.28/271.18 c current bound: 72550 245.09/271.85 c current bound: 72550 245.66/272.40 c current bound: 72550 246.14/272.95 c current bound: 72550 246.75/273.50 c current bound: 72550 247.25/274.04 c current bound: 72550 247.58/274.60 c current bound: 72550 248.35/275.15 c current bound: 72550 248.69/275.71 c current bound: 72550 249.45/276.26 c current bound: 72550 249.79/276.94 c current bound: 72550 250.35/277.49 c current bound: 72550 250.90/278.04 c current bound: 72550 251.45/278.59 c current bound: 72550 252.00/279.15 c current bound: 72550 252.55/279.69 c current bound: 72550 253.10/280.25 c current bound: 72550 253.66/280.80 c current bound: 72550 254.21/281.35 c current bound: 72550 254.76/282.00 c current bound: 72550 255.30/282.55 c current bound: 72550 255.85/283.10 c current bound: 72550 256.40/283.65 c current bound: 72550 256.96/284.20 c current bound: 72550 257.51/284.75 c current bound: 72550 258.34/285.30 c current bound: 72550 258.61/285.85 c current bound: 72550 259.16/286.40 c current bound: 72550 259.71/287.05 c current bound: 72550 260.26/287.60 c current bound: 72550 260.82/288.16 c current bound: 72550 261.36/288.72 c current bound: 72550 261.92/289.27 c current bound: 72550 262.48/289.81 c current bound: 72550 263.03/290.36 c current bound: 72550 263.59/290.92 c current bound: 72550 264.14/291.46 c current bound: 72550 264.68/292.12 c current bound: 72550 265.42/292.67 c current bound: 72550 265.79/293.22 c current bound: 72550 266.52/293.77 c current bound: 72550 266.89/294.32 c current bound: 72550 267.63/294.87 c current bound: 72550 267.99/295.43 c current bound: 72550 268.73/295.98 c current bound: 72550 269.09/296.53 c current bound: 72550 269.90/297.21 c current bound: 72550 270.19/297.76 c current bound: 72550 270.98/298.31 c current bound: 72550 271.29/298.86 c current bound: 72550 272.08/299.41 c current bound: 72550 272.38/299.96 c current bound: 72550 273.19/300.51 c current bound: 72550 273.49/301.06 c current bound: 72550 274.29/301.61 c current bound: 72550 274.88/302.20 c current bound: 72550 275.36/302.75 c current bound: 72550 275.96/303.30 c current bound: 72550 276.46/303.84 c current bound: 72550 276.80/304.39 c current bound: 72550 277.57/304.95 c current bound: 72550 277.89/305.50 c current bound: 72550 278.66/306.06 c current bound: 72550 279.01/306.62 c current bound: 72550 279.83/307.27 c current bound: 72550 280.11/307.82 c current bound: 72550 280.67/308.36 c current bound: 72550 281.22/308.91 c current bound: 72550 281.77/309.46 c current bound: 72550 282.32/310.01 c current bound: 72550 282.87/310.56 c current bound: 72550 283.43/311.11 c current bound: 72550 283.97/311.66 c current bound: 72550 284.53/312.31 c current bound: 72550 285.08/312.87 c current bound: 72550 285.62/313.41 c current bound: 72550 286.17/313.97 c current bound: 72550 286.72/314.52 c current bound: 72550 287.27/315.07 c current bound: 72550 287.84/315.63 c current bound: 72550 288.39/316.18 c current bound: 72550 288.94/316.75 c current bound: 72550 289.51/317.30 c current bound: 72550 290.07/317.86 c current bound: 72550 290.62/318.41 c current bound: 72550 291.16/318.96 c current bound: 72550 291.71/319.51 c current bound: 72550 292.27/320.06 c current bound: 72550 292.82/320.62 c current bound: 72550 293.64/321.39 c current bound: 72550 294.19/322.38 c current bound: 72550 294.48/322.99 c current bound: 72550 295.30/324.10 c current bound: 72550 295.83/324.98 c current bound: 72550 296.11/325.53 c current bound: 72550 296.93/326.30 c current bound: 72550 297.47/327.03 c current bound: 72550 297.76/327.69 c current bound: 72550 298.30/328.24 c current bound: 72550 298.85/328.81 c current bound: 72550 299.66/330.90 c current bound: 72550 299.95/336.56 c current bound: 72550 301.60/338.14 c current bound: 72550 301.60/338.14 c current bound: 72550 301.87/338.52 c current bound: 72550 302.33/339.06 c current bound: 72550 302.68/339.61 c current bound: 72550 303.43/340.15 c current bound: 72550 304.05/340.70 c current bound: 72550 304.53/341.26 c current bound: 72550 304.89/341.80 c current bound: 72550 305.63/342.36 c current bound: 72550 305.97/342.90 c current bound: 72550 306.73/343.45 c current bound: 72550 307.08/343.99 c current bound: 72550 307.83/344.54 c current bound: 72550 308.17/345.08 c current bound: 72550 308.99/345.90 c current bound: 72550 309.26/346.45 c current bound: 72550 309.81/346.99 c current bound: 72550 310.36/347.54 c current bound: 72550 310.90/348.08 c current bound: 72550 311.44/348.62 c current bound: 72550 311.99/349.17 c current bound: 72550 312.54/349.71 c current bound: 72550 313.09/350.26 c current bound: 72550 313.63/350.80 c current bound: 72550 314.16/351.35 c current bound: 72550 314.71/351.89 c current bound: 72550 315.26/352.45 c current bound: 72550 315.82/352.99 c current bound: 72550 316.36/353.53 c current bound: 72550 316.90/354.09 c current bound: 72550 317.46/354.63 c current bound: 72550 318.01/355.17 c current bound: 72550 318.55/355.72 c current bound: 72550 319.09/356.26 c current bound: 72550 319.63/356.81 c current bound: 72550 320.18/357.36 c current bound: 72550 320.73/357.90 c current bound: 72550 321.28/358.45 c current bound: 72550 321.83/358.99 c current bound: 72550 322.38/359.54 c current bound: 72550 322.92/360.09 c current bound: 72550 323.47/360.63 c current bound: 72550 324.02/361.18 c current bound: 72550 324.57/361.73 c current bound: 72550 325.11/362.28 c current bound: 72550 325.67/362.83 c current bound: 72550 326.22/363.37 c current bound: 72550 326.76/363.92 c current bound: 72550 327.31/364.47 c current bound: 72550 327.85/365.03 c current bound: 72550 328.42/365.58 c current bound: 72550 328.97/366.13 c current bound: 72550 329.53/366.67 c current bound: 72550 330.07/367.23 c current bound: 72550 330.62/367.77 c current bound: 72550 331.17/368.32 c current bound: 72550 331.72/368.86 c current bound: 72550 332.27/369.41 c current bound: 72550 332.82/369.95 c current bound: 72550 333.36/370.50 c current bound: 72550 333.90/371.05 c current bound: 72550 334.73/371.60 c current bound: 72550 335.00/372.15 c current bound: 72550 335.83/372.70 c current bound: 72550 336.12/373.27 c current bound: 72550 336.67/373.82 c current bound: 72550 337.22/374.36 c current bound: 72550 337.78/374.91 c current bound: 72550 338.34/375.46 c current bound: 72550 338.89/376.02 c current bound: 72550 339.43/376.57 c current bound: 72550 339.98/377.12 c current bound: 72550 340.53/377.67 c current bound: 72550 341.09/378.22 c current bound: 72550 341.63/378.77 c current bound: 72550 342.18/379.32 c current bound: 72550 342.74/379.87 c current bound: 72550 343.28/380.42 c current bound: 72550 343.84/380.97 c current bound: 72550 344.38/381.53 c current bound: 72550 344.94/382.08 c current bound: 72550 345.49/382.63 c current bound: 72550 346.04/383.18 c current bound: 72550 346.59/383.73 c current bound: 72550 347.14/384.28 c current bound: 72550 347.69/384.83 c current bound: 72550 348.24/385.38 c current bound: 72550 348.79/385.93 c current bound: 72550 349.35/386.48 c current bound: 72550 349.89/387.03 c current bound: 72550 350.44/387.58 c current bound: 72550 350.99/388.13 c current bound: 72550 351.55/388.68 c current bound: 72550 352.10/389.23 c current bound: 72550 352.64/389.78 c current bound: 72550 353.20/390.45 c current bound: 72550 353.76/391.00 c current bound: 72550 354.31/391.55 c current bound: 72550 354.86/392.10 c current bound: 72550 355.42/392.65 c current bound: 72550 355.96/393.20 c current bound: 72550 356.52/393.75 c current bound: 72550 357.06/394.30 c current bound: 72550 357.62/394.86 c current bound: 72550 358.18/395.53 c current bound: 72550 358.92/396.08 c current bound: 72550 359.26/396.62 c current bound: 72550 360.00/397.17 c current bound: 72550 360.36/397.72 c current bound: 72550 361.11/398.27 c current bound: 72550 361.47/398.83 c current bound: 72550 362.20/399.38 c current bound: 72550 362.57/399.93 c current bound: 72550 363.39/400.58 c current bound: 72550 363.68/401.14 c current bound: 72550 364.40/401.68 c current bound: 72550 364.78/402.24 c current bound: 72550 365.50/402.79 c current bound: 72550 365.88/403.34 c current bound: 72550 366.62/403.89 c current bound: 72550 367.00/404.45 c current bound: 72550 367.82/405.00 c current bound: 72550 368.35/406.33 c current bound: 72550 368.65/406.88 c current bound: 72550 369.20/407.43 c current bound: 72550 369.75/407.98 c current bound: 72550 370.31/408.54 c current bound: 72550 370.87/409.09 c current bound: 72550 371.40/409.64 c current bound: 72550 371.95/410.19 c current bound: 72550 372.51/410.83 c current bound: 72550 373.05/411.38 c current bound: 72550 373.61/411.93 c current bound: 72550 374.16/412.48 c current bound: 72550 374.71/413.03 c current bound: 72550 375.25/413.58 c current bound: 72550 375.80/414.13 c current bound: 72550 376.36/414.68 c current bound: 72550 376.90/415.23 c current bound: 72550 377.71/415.88 c current bound: 72550 378.00/416.43 c current bound: 72550 378.74/416.98 c current bound: 72550 379.11/417.53 c current bound: 72550 379.84/418.09 c current bound: 72550 380.22/418.64 c current bound: 72550 380.95/419.19 c current bound: 72550 381.32/419.75 c current bound: 72550 382.16/420.30 c current bound: 72550 382.45/420.97 c current bound: 72550 383.23/421.51 c current bound: 72550 383.54/422.07 c current bound: 72550 384.33/422.62 c current bound: 72550 384.65/423.17 c current bound: 72550 385.44/423.72 c current bound: 72550 385.74/424.27 c current bound: 72550 386.53/424.82 c current bound: 72550 386.84/425.37 c current bound: 72550 387.66/426.03 c current bound: 72550 387.97/426.59 c current bound: 72550 388.52/427.15 c current bound: 72550 389.36/427.70 c current bound: 72550 389.63/428.24 c current bound: 72550 390.17/428.79 c current bound: 72550 390.73/429.35 c current bound: 72550 391.28/429.90 c current bound: 72550 391.84/430.45 c current bound: 72550 392.39/431.11 c current bound: 72550 392.95/431.67 c current bound: 72550 393.51/432.22 c current bound: 72550 394.05/432.77 c current bound: 72550 394.59/433.32 c current bound: 72550 395.15/433.87 c current bound: 72550 395.71/434.43 c current bound: 72550 396.26/434.98 c current bound: 72550 396.81/435.53 c current bound: 72550 397.65/436.20 c current bound: 72550 398.13/436.76 c current bound: 72550 398.49/437.31 c current bound: 72550 399.25/437.86 c current bound: 72550 399.59/438.41 c current bound: 72550 400.34/438.96 c current bound: 72550 400.69/439.51 c current bound: 72550 401.46/440.06 c current bound: 72550 401.80/440.61 c current bound: 72550 402.59/441.30 c current bound: 72550 402.89/441.85 c current bound: 72550 403.70/442.40 c current bound: 72550 404.00/442.97 c current bound: 72550 404.79/443.52 c current bound: 72550 405.10/444.07 c current bound: 72550 405.89/444.62 c current bound: 72550 406.22/445.17 c current bound: 72550 407.00/445.72 c current bound: 72550 407.31/446.37 c current bound: 72550 407.86/446.92 c current bound: 72550 408.40/447.47 c current bound: 72550 408.96/448.02 c current bound: 72550 409.51/448.57 c current bound: 72550 410.06/449.12 c current bound: 72550 410.60/449.67 c current bound: 72550 411.17/450.22 c current bound: 72550 411.70/450.77 c current bound: 72550 412.26/451.42 c current bound: 72550 412.80/451.97 c current bound: 72550 413.36/452.52 c current bound: 72550 413.91/453.06 c current bound: 72550 414.46/453.61 c current bound: 72550 415.01/454.16 c current bound: 72550 415.56/454.71 c current bound: 72550 416.11/455.26 c current bound: 72550 416.66/455.81 c current bound: 72550 417.22/456.46 c current bound: 72550 417.77/457.02 c current bound: 72550 418.31/457.57 c current bound: 72550 418.87/458.13 c current bound: 72550 419.42/458.68 c current bound: 72550 419.99/459.23 c current bound: 72550 420.52/459.78 c current bound: 72550 421.08/460.33 c current bound: 72550 421.63/460.88 c current bound: 72550 422.19/461.56 c current bound: 72550 423.00/462.11 c current bound: 72550 423.30/462.66 c current bound: 72550 424.09/463.21 c current bound: 72550 424.40/463.77 c current bound: 72550 425.20/464.31 c current bound: 72550 425.51/464.86 c current bound: 72550 426.31/465.42 c current bound: 72550 426.60/465.97 c current bound: 72550 427.42/466.62 c current bound: 72550 427.71/467.17 c current bound: 72550 428.49/467.73 c current bound: 72550 428.81/468.28 c current bound: 72550 429.60/468.84 c current bound: 72550 429.93/469.39 c current bound: 72550 430.70/469.94 c current bound: 72550 431.03/470.49 c current bound: 72550 431.81/471.04 c current bound: 72550 432.15/471.69 c current bound: 72550 432.68/472.24 c current bound: 72550 433.51/472.80 c current bound: 72550 433.79/473.35 c current bound: 72550 434.35/473.89 c current bound: 72550 434.89/474.44 c current bound: 72550 435.45/474.99 c current bound: 72550 436.00/475.56 c current bound: 72550 436.56/476.12 c current bound: 72550 437.12/476.77 c current bound: 72550 437.67/477.32 c current bound: 72550 438.21/477.88 c current bound: 72550 438.77/478.43 c current bound: 72550 439.32/478.99 c current bound: 72550 439.89/479.54 c current bound: 72550 440.44/480.09 c current bound: 72550 440.99/480.65 c current bound: 72550 441.54/481.20 c current bound: 72550 442.35/481.86 c current bound: 72550 442.65/482.41 c current bound: 72550 443.40/482.96 c current bound: 72550 443.75/483.51 c current bound: 72550 444.50/484.06 c current bound: 72550 444.85/484.61 c current bound: 72550 445.60/485.16 c current bound: 72550 445.95/485.71 c current bound: 72550 446.70/486.27 c current bound: 72550 447.06/486.93 c current bound: 72550 447.78/487.48 c current bound: 72550 448.17/488.04 c current bound: 72550 448.89/488.59 c current bound: 72550 449.28/489.15 c current bound: 72550 450.09/489.70 c current bound: 72550 450.38/490.25 c current bound: 72550 451.20/490.80 c current bound: 72550 451.49/491.36 c current bound: 72550 452.29/492.01 c current bound: 72550 452.59/492.55 c current bound: 72550 453.15/493.10 c current bound: 72550 453.70/493.65 c current bound: 72550 454.24/494.21 c current bound: 72550 454.78/494.76 c current bound: 72550 455.34/495.31 c current bound: 72550 455.89/495.86 c current bound: 72550 456.45/496.41 c current bound: 72550 456.99/497.06 c current bound: 72550 457.54/497.61 c current bound: 72550 458.09/498.17 c current bound: 72550 458.65/498.72 c current bound: 72550 459.21/499.27 c current bound: 72550 459.75/499.83 c current bound: 72550 460.32/500.38 c current bound: 72550 460.87/500.93 c current bound: 72550 461.72/501.50 c current bound: 72550 462.00/502.17 c current bound: 72550 462.79/502.72 c current bound: 72550 463.09/503.26 c current bound: 72550 463.90/503.82 c current bound: 72550 464.20/504.37 c current bound: 72550 465.01/504.92 c current bound: 72550 465.30/505.48 c current bound: 72550 466.09/506.03 c current bound: 72550 466.42/506.58 c current bound: 72550 467.25/507.22 c current bound: 72550 467.52/507.77 c current bound: 72550 468.31/508.32 c current bound: 72550 468.62/508.87 c current bound: 72550 469.41/509.42 c current bound: 72550 469.73/509.97 c current bound: 72550 470.52/510.53 c current bound: 72550 470.84/511.08 c current bound: 72550 471.62/511.63 c current bound: 72550 471.92/512.29 c current bound: 72550 472.69/512.84 c current bound: 72550 473.30/513.40 c current bound: 72550 473.80/513.95 c current bound: 72550 474.39/514.50 c current bound: 72550 474.88/515.05 c current bound: 72550 475.24/515.60 c current bound: 72550 476.00/516.16 c current bound: 72550 476.35/516.71 c current bound: 72550 477.15/517.37 c current bound: 72550 477.46/517.92 c current bound: 72550 477.99/518.47 c current bound: 72550 478.55/519.03 c current bound: 72550 479.12/519.59 c current bound: 72550 479.68/520.14 c current bound: 72550 480.24/520.69 c current bound: 72550 480.77/521.24 c current bound: 72550 481.32/521.79 c current bound: 72550 482.15/522.43 c current bound: 72550 482.43/522.98 c current bound: 72550 482.99/523.53 c current bound: 72550 483.53/524.08 c current bound: 72550 484.08/524.63 c current bound: 72550 484.64/525.18 c current bound: 72550 485.19/525.73 c current bound: 72550 485.75/526.28 c current bound: 72550 486.28/526.83 c current bound: 72550 486.84/527.49 c current bound: 72550 487.61/528.04 c current bound: 72550 487.93/528.59 c current bound: 72550 488.72/529.14 c current bound: 72550 489.05/529.69 c current bound: 72550 489.80/530.24 c current bound: 72550 490.13/530.79 c current bound: 72550 490.91/531.34 c current bound: 72550 491.25/531.89 c current bound: 72550 492.05/532.54 c current bound: 72550 492.34/533.09 c current bound: 72550 493.12/533.64 c current bound: 72550 493.44/534.19 c current bound: 72550 494.22/534.74 c current bound: 72550 494.54/535.29 c current bound: 72550 495.32/535.84 c current bound: 72550 495.93/536.40 c current bound: 72550 496.43/536.95 c current bound: 72550 496.76/537.60 c current bound: 72550 497.50/538.15 c current bound: 72550 497.86/538.70 c current bound: 72550 498.62/539.26 c current bound: 72550 498.97/539.81 c current bound: 72550 499.71/540.36 c current bound: 72550 500.07/540.91 c current bound: 72550 500.82/541.46 c current bound: 72550 501.17/542.01 c current bound: 72550 501.99/542.67 c current bound: 72550 502.26/543.22 c current bound: 72550 502.82/543.77 c current bound: 72550 503.37/544.32 c current bound: 72550 503.92/544.87 c current bound: 72550 504.48/545.42 c current bound: 72550 505.03/545.97 c current bound: 72550 505.59/546.52 c current bound: 72550 506.14/547.07 c current bound: 72550 506.67/547.70 c current bound: 72550 507.23/548.25 c current bound: 72550 507.79/548.81 c current bound: 72550 508.34/549.35 c current bound: 72550 508.90/549.90 c current bound: 72550 509.44/550.45 c current bound: 72550 509.99/551.01 c current bound: 72550 510.55/551.56 c current bound: 72550 511.10/552.11 c current bound: 72550 511.66/552.76 c current bound: 72550 512.46/553.31 c current bound: 72550 512.76/553.87 c current bound: 72550 513.56/554.43 c current bound: 72550 513.89/554.97 c current bound: 72550 514.67/555.54 c current bound: 72550 514.99/556.10 c current bound: 72550 515.76/556.65 c current bound: 72550 516.10/557.21 c current bound: 72550 516.90/557.86 c current bound: 72550 517.19/558.41 c current bound: 72550 517.95/558.97 c current bound: 72550 518.31/559.52 c current bound: 72550 519.07/560.07 c current bound: 72550 519.42/560.62 c current bound: 72550 520.15/561.17 c current bound: 72550 520.50/561.72 c current bound: 72550 521.25/562.28 c current bound: 72550 521.63/562.94 c current bound: 72550 522.17/563.49 c current bound: 72550 522.72/564.04 c current bound: 72550 523.27/564.59 c current bound: 72550 523.84/565.14 c current bound: 72550 524.38/565.69 c current bound: 72550 524.93/566.24 c current bound: 72550 525.48/566.79 c current bound: 72550 526.03/567.35 c current bound: 72550 526.59/568.01 c current bound: 72550 527.14/568.56 c current bound: 72550 527.69/569.12 c current bound: 72550 528.25/569.67 c current bound: 72550 528.81/570.23 c current bound: 72550 529.37/570.79 c current bound: 72550 529.92/571.34 c current bound: 72550 530.48/571.89 c current bound: 72550 531.02/572.44 c current bound: 72550 531.85/573.10 c current bound: 72550 532.13/573.65 c current bound: 72550 532.95/574.21 c current bound: 72550 533.24/574.76 c current bound: 72550 534.04/575.31 c current bound: 72550 534.34/575.86 c current bound: 72550 535.14/576.42 c current bound: 72550 535.46/576.97 c current bound: 72550 536.25/577.52 c current bound: 72550 536.54/578.18 c current bound: 72550 537.34/578.74 c current bound: 72550 537.66/579.29 c current bound: 72550 538.43/579.84 c current bound: 72550 538.77/580.39 c current bound: 72550 539.55/580.94 c current bound: 72550 539.86/581.49 c current bound: 72550 540.63/582.04 c current bound: 72550 540.97/582.59 c current bound: 72550 541.80/583.20 c current bound: 72550 542.07/583.75 c current bound: 72550 542.89/584.30 c current bound: 72550 543.17/584.85 c current bound: 72550 544.00/585.40 c current bound: 72550 544.28/585.95 c current bound: 72550 545.10/586.50 c current bound: 72550 545.38/587.05 c current bound: 72550 546.20/587.60 c current bound: 72550 546.47/588.25 c current bound: 72550 547.04/588.81 c current bound: 72550 547.60/589.36 c current bound: 72550 548.14/589.90 c current bound: 72550 548.69/590.45 c current bound: 72550 549.25/591.01 c current bound: 72550 549.81/591.56 c current bound: 72550 550.35/592.11 c current bound: 72550 550.91/592.66 c current bound: 72550 551.46/593.31 c current bound: 72550 552.02/593.86 c current bound: 72550 552.57/594.41 c current bound: 72550 553.11/594.96 c current bound: 72550 553.65/595.51 c current bound: 72550 554.20/596.06 c current bound: 72550 554.76/596.61 c current bound: 72550 555.32/597.16 c current bound: 72550 555.87/597.71 c current bound: 72550 556.42/598.37 c current bound: 72550 556.97/598.92 c current bound: 72550 557.52/599.47 c current bound: 72550 558.07/600.02 c current bound: 72550 558.63/600.57 c current bound: 72550 559.17/601.12 c current bound: 72550 559.72/601.67 c current bound: 72550 560.28/602.22 c current bound: 72550 560.83/602.77 c current bound: 72550 561.38/603.45 c current bound: 72550 562.20/604.00 c current bound: 72550 562.48/604.56 c current bound: 72550 563.30/605.11 c current bound: 72550 563.58/605.67 c current bound: 72550 564.39/606.22 c current bound: 72550 564.69/606.77 c current bound: 72550 565.48/607.32 c current bound: 72550 565.80/607.88 c current bound: 72550 566.61/608.55 c current bound: 72550 567.18/609.10 c current bound: 72550 567.66/609.65 c current bound: 72550 568.01/610.20 c current bound: 72550 568.77/610.75 c current bound: 72550 569.38/611.30 c current bound: 72550 569.87/611.85 c current bound: 72550 570.20/612.40 c current bound: 72550 570.97/612.96 c current bound: 72550 571.33/613.61 c current bound: 72550 571.88/614.17 c current bound: 72550 572.44/614.72 c current bound: 72550 572.97/615.28 c current bound: 72550 573.53/615.83 c current bound: 72550 574.10/616.39 c current bound: 72550 574.65/616.94 c current bound: 72550 575.48/617.50 c current bound: 72550 575.76/618.05 c current bound: 72550 576.31/618.71 c current bound: 72550 576.86/619.26 c current bound: 72550 577.42/619.81 c current bound: 72550 577.97/620.36 c current bound: 72550 578.53/620.91 c current bound: 72550 579.08/621.47 c current bound: 72550 579.61/622.02 c current bound: 72550 580.17/622.56 c current bound: 72550 580.73/623.11 c current bound: 72550 581.54/623.78 c current bound: 72550 581.84/624.33 c current bound: 72550 582.56/624.88 c current bound: 72550 582.93/625.43 c current bound: 72550 583.65/625.98 c current bound: 72550 584.03/626.53 c current bound: 72550 584.76/627.08 c current bound: 72550 585.14/627.64 c current bound: 72550 585.86/628.19 c current bound: 72550 586.24/628.84 c current bound: 72550 586.97/629.39 c current bound: 72550 587.33/629.94 c current bound: 72550 588.06/630.49 c current bound: 72550 588.45/631.04 c current bound: 72550 589.16/631.59 c current bound: 72550 589.55/632.15 c current bound: 72550 590.38/632.70 c current bound: 72550 590.67/633.25 c current bound: 72550 591.47/633.91 c current bound: 72550 591.76/634.46 c current bound: 72550 592.31/635.01 c current bound: 72550 592.86/635.56 c current bound: 72550 593.43/636.12 c current bound: 72550 593.98/636.67 c current bound: 72550 594.53/637.22 c current bound: 72550 595.08/637.77 c current bound: 72550 595.64/638.32 c current bound: 72550 596.19/638.98 c current bound: 72550 596.73/639.53 c current bound: 72550 597.29/640.08 c current bound: 72550 597.83/640.63 c current bound: 72550 598.39/641.18 c current bound: 72550 598.94/641.73 c current bound: 72550 599.49/642.28 c current bound: 72550 600.04/642.83 c current bound: 72550 600.58/643.38 c current bound: 72550 601.14/644.06 c current bound: 72550 601.95/644.61 c current bound: 72550 602.24/645.16 c current bound: 72550 603.05/645.71 c current bound: 72550 603.35/646.26 c current bound: 72550 604.15/646.81 c current bound: 72550 604.44/647.36 c current bound: 72550 605.26/647.91 c current bound: 72550 605.55/648.46 c current bound: 72550 606.35/649.13 c current bound: 72550 606.65/649.68 c current bound: 72550 607.43/650.23 c current bound: 72550 607.76/650.79 c current bound: 72550 608.54/651.35 c current bound: 72550 609.14/651.90 c current bound: 72550 609.63/652.45 c current bound: 72550 610.24/653.00 c current bound: 72550 610.71/653.55 c current bound: 72550 611.07/654.19 c current bound: 72550 611.83/654.74 c current bound: 72550 612.45/655.30 c current bound: 72550 612.94/655.85 c current bound: 72550 613.26/656.40 c current bound: 72550 614.02/656.96 c current bound: 72550 614.39/657.51 c current bound: 72550 615.13/658.06 c current bound: 72550 615.50/658.61 c current bound: 72550 616.28/659.28 c current bound: 72550 616.59/659.83 c current bound: 72550 617.14/660.38 c current bound: 72550 617.70/660.93 c current bound: 72550 618.26/661.48 c current bound: 72550 618.80/662.03 c current bound: 72550 619.35/662.60 c current bound: 72550 619.91/663.15 c current bound: 72550 620.46/663.70 c current bound: 72550 621.02/664.36 c current bound: 72550 621.57/664.91 c current bound: 72550 622.12/665.47 c current bound: 72550 622.67/666.02 c current bound: 72550 623.22/666.57 c current bound: 72550 623.79/667.13 c current bound: 72550 624.33/667.68 c current bound: 72550 624.89/668.23 c current bound: 72550 625.43/668.78 c current bound: 72550 625.99/669.43 c current bound: 72550 626.73/669.98 c current bound: 72550 627.10/670.53 c current bound: 72550 627.82/671.09 c current bound: 72550 628.21/671.64 c current bound: 72550 628.94/672.19 c current bound: 72550 629.30/672.74 c current bound: 72550 630.04/673.29 c current bound: 72550 630.40/673.84 c current bound: 72550 631.21/674.48 c current bound: 72550 631.51/675.04 c current bound: 72550 632.24/675.59 c current bound: 72550 632.62/676.15 c current bound: 72550 633.44/676.70 c current bound: 72550 633.72/677.25 c current bound: 72550 634.55/677.80 c current bound: 72550 634.84/678.35 c current bound: 72550 635.65/678.90 c current bound: 72550 635.92/679.56 c current bound: 72550 636.47/680.11 c current bound: 72550 637.03/680.66 c current bound: 72550 637.57/681.21 c current bound: 72550 638.13/681.77 c current bound: 72550 638.68/682.31 c current bound: 72550 639.23/682.87 c current bound: 72550 639.78/683.42 c current bound: 72550 640.34/683.97 c current bound: 72550 640.88/684.63 c current bound: 72550 641.44/685.18 c current bound: 72550 641.99/685.73 c current bound: 72550 642.54/686.29 c current bound: 72550 643.09/686.84 c current bound: 72550 643.65/687.39 c current bound: 72550 644.21/687.94 c current bound: 72550 644.74/688.49 c current bound: 72550 645.30/689.05 c current bound: 72550 646.11/689.72 c current bound: 72550 646.41/690.28 c current bound: 72550 647.19/690.83 c current bound: 72550 647.51/691.39 c current bound: 72550 648.29/691.96 c current bound: 72550 648.65/692.52 c current bound: 72550 649.40/693.07 c current bound: 72550 649.77/693.62 c current bound: 72550 650.50/694.18 c current bound: 72550 650.88/694.84 c current bound: 72550 651.59/695.39 c current bound: 72550 651.98/695.94 c current bound: 72550 652.69/696.49 c current bound: 72550 653.08/697.04 c current bound: 72550 653.80/697.59 c current bound: 72550 654.18/698.14 c current bound: 72550 655.00/698.71 c current bound: 72550 655.29/699.26 c current bound: 72550 656.10/699.92 c current bound: 72550 656.39/700.48 c current bound: 72550 656.95/701.03 c current bound: 72550 657.50/701.59 c current bound: 72550 658.05/702.14 c current bound: 72550 658.89/702.70 c current bound: 72550 659.17/703.25 c current bound: 72550 659.73/703.81 c current bound: 72550 660.29/704.36 c current bound: 72550 660.83/705.02 c current bound: 72550 661.38/705.57 c current bound: 72550 661.93/706.12 c current bound: 72550 662.50/706.67 c current bound: 72550 663.04/707.23 c current bound: 72550 663.60/707.78 c current bound: 72550 664.15/708.33 c current bound: 72550 664.71/708.88 c current bound: 72550 665.26/709.43 c current bound: 72550 665.82/710.10 c current bound: 72550 666.58/710.65 c current bound: 72550 666.91/711.20 c current bound: 72550 667.67/711.76 c current bound: 72550 668.01/712.31 c current bound: 72550 668.76/712.87 c current bound: 72550 669.12/713.42 c current bound: 72550 669.87/713.97 c current bound: 72550 670.22/714.52 c current bound: 72550 671.04/715.20 c current bound: 72550 671.34/715.76 c current bound: 72550 672.13/716.31 c current bound: 72550 672.44/716.86 c current bound: 72550 673.24/717.41 c current bound: 72550 673.53/717.96 c current bound: 72550 674.34/718.51 c current bound: 72550 674.63/719.06 c current bound: 72550 675.43/719.61 c current bound: 72550 675.73/720.24 c current bound: 72550 676.28/720.79 c current bound: 72550 676.83/721.34 c current bound: 72550 677.38/721.89 c current bound: 72550 677.94/722.45 c current bound: 72550 678.48/723.00 c current bound: 72550 679.03/723.55 c current bound: 72550 679.86/724.10 c current bound: 72550 680.13/724.65 c current bound: 72550 680.68/725.30 c current bound: 72550 681.23/725.86 c current bound: 72550 681.79/726.41 c current bound: 72550 682.34/726.98 c current bound: 72550 682.90/727.53 c current bound: 72550 683.45/728.08 c current bound: 72550 684.00/728.63 c current bound: 72550 684.56/729.18 c current bound: 72550 685.10/729.73 c current bound: 72550 685.65/730.40 c current bound: 72550 686.20/730.95 c current bound: 72550 687.04/731.50 c current bound: 72550 687.31/732.05 c current bound: 72550 688.13/732.60 c current bound: 72550 688.41/733.15 c current bound: 72550 689.23/733.71 c current bound: 72550 689.51/734.26 c current bound: 72550 690.60/734.81 c current bound: 72550 690.62/735.46 c current bound: 72550 691.44/736.01 c current bound: 72550 691.72/736.56 c current bound: 72550 692.52/737.11 c current bound: 72550 692.81/737.66 c current bound: 72550 693.62/738.21 c current bound: 72550 693.93/738.76 c current bound: 72550 694.72/739.31 c current bound: 72550 695.03/739.86 c current bound: 72550 695.84/740.53 c current bound: 72550 696.14/741.08 c current bound: 72550 696.91/741.63 c current bound: 72550 697.25/742.19 c current bound: 72550 698.02/742.74 c current bound: 72550 698.35/743.29 c current bound: 72550 699.13/743.84 c current bound: 72550 699.45/744.39 c current bound: 72550 700.21/744.95 c current bound: 72550 700.55/745.60 c current bound: 72550 701.12/746.15 c current bound: 72550 701.66/746.70 c current bound: 72550 702.22/747.26 c current bound: 72550 702.77/747.81 c current bound: 72550 703.32/748.36 c current bound: 72550 703.88/748.91 c current bound: 72550 704.43/749.46 c current bound: 72550 704.98/750.01 c current bound: 72550 705.53/750.65 c current bound: 72550 706.08/751.20 c current bound: 72550 706.64/751.75 c current bound: 72550 707.19/752.30 c current bound: 72550 707.73/752.85 c current bound: 72550 708.29/753.40 c current bound: 72550 708.83/753.95 c current bound: 72550 709.39/754.50 c current bound: 72550 709.92/755.05 c current bound: 72550 710.73/755.72 c current bound: 72550 711.04/756.27 c current bound: 72550 711.84/756.82 c current bound: 72550 712.14/757.37 c current bound: 72550 712.91/757.93 c current bound: 72550 713.24/758.48 c current bound: 72550 714.03/759.03 c current bound: 72550 714.35/759.58 c current bound: 72550 715.14/760.13 c current bound: 72550 715.44/760.81 c current bound: 72550 716.22/761.35 c current bound: 72550 716.55/761.91 c current bound: 72550 717.31/762.46 c current bound: 72550 717.66/763.01 c current bound: 72550 718.41/763.57 c current bound: 72550 718.77/764.12 c current bound: 72550 719.51/764.67 c current bound: 72550 719.87/765.22 c current bound: 72550 720.68/765.87 c current bound: 72550 720.97/766.43 c current bound: 72550 721.53/766.98 c current bound: 72550 722.08/767.53 c current bound: 72550 722.63/768.08 c current bound: 72550 723.19/768.63 c current bound: 72550 723.73/769.18 c current bound: 72550 724.29/769.74 c current bound: 72550 724.84/770.29 c current bound: 72550 725.39/770.94 c current bound: 72550 725.95/771.49 c current bound: 72550 726.50/772.04 c current bound: 72550 727.04/772.59 c current bound: 72550 727.59/773.14 c current bound: 72550 728.14/773.69 c current bound: 72550 728.70/774.24 c current bound: 72550 729.54/774.80 c current bound: 72550 729.81/775.35 c current bound: 72550 730.37/776.02 c current bound: 72550 730.91/776.57 c current bound: 72550 731.46/777.12 c current bound: 72550 732.01/777.68 c current bound: 72550 732.57/778.23 c current bound: 72550 733.13/778.78 c current bound: 72550 733.69/779.33 c current bound: 72550 734.23/779.88 c current bound: 72550 734.77/780.44 c current bound: 72550 735.60/781.08 c current bound: 72550 735.90/781.64 c current bound: 72550 736.63/782.19 c current bound: 72550 737.01/782.74 c current bound: 72550 737.72/783.29 c current bound: 72550 738.10/783.84 c current bound: 72550 738.83/784.39 c current bound: 72550 739.22/784.94 c current bound: 72550 739.93/785.49 c current bound: 72550 740.32/786.14 c current bound: 72550 741.04/786.69 c current bound: 72550 741.43/787.24 c current bound: 72550 742.15/787.79 c current bound: 72550 742.54/788.34 c current bound: 72550 743.25/788.89 c current bound: 72550 743.63/789.44 c current bound: 72550 744.36/789.99 c current bound: 72550 744.74/790.54 c current bound: 72550 745.57/791.21 c current bound: 72550 745.85/791.76 c current bound: 72550 746.39/792.32 c current bound: 72550 746.95/792.87 c current bound: 72550 747.51/793.42 c current bound: 72550 748.06/793.97 c current bound: 72550 748.61/794.52 c current bound: 72550 749.14/795.07 c current bound: 72550 749.70/795.62 c current bound: 72550 750.25/796.26 c current bound: 72550 750.80/796.82 c current bound: 72550 751.36/797.37 c current bound: 72550 751.92/797.92 c current bound: 72550 752.46/798.47 c current bound: 72550 753.01/799.02 c current bound: 72550 753.56/799.57 c current bound: 72550 754.11/800.12 c current bound: 72550 754.66/800.67 c current bound: 72550 755.22/801.34 c current bound: 72550 755.78/801.89 c current bound: 72550 756.31/802.44 c current bound: 72550 756.86/802.99 c current bound: 72550 757.41/803.54 c current bound: 72550 757.97/804.09 c current bound: 72550 758.52/804.64 c current bound: 72550 759.08/805.19 c current bound: 72550 759.62/805.74 c current bound: 72550 760.43/806.39 c current bound: 72550 760.72/806.94 c current bound: 72550 761.45/807.49 c current bound: 72550 761.82/808.04 c current bound: 72550 762.55/808.59 c current bound: 72550 762.93/809.14 c current bound: 72550 763.65/809.69 c current bound: 72550 764.03/810.25 c current bound: 72550 764.76/810.80 c current bound: 72550 765.13/811.45 c current bound: 72550 765.94/812.00 c current bound: 72550 766.24/812.55 c current bound: 72550 767.03/813.11 c current bound: 72550 767.34/813.66 c current bound: 72550 768.13/814.21 c current bound: 72550 768.44/814.76 c current bound: 72550 769.25/815.31 c current bound: 72550 769.53/815.86 c current bound: 72550 770.35/816.50 c current bound: 72550 770.64/817.05 c current bound: 72550 771.20/817.60 c current bound: 72550 771.74/818.15 c current bound: 72550 772.30/818.70 c current bound: 72550 772.83/819.26 c current bound: 72550 773.39/819.81 c current bound: 72550 773.94/820.36 c current bound: 72550 774.49/820.91 c current bound: 72550 775.04/821.57 c current bound: 72550 775.59/822.12 c current bound: 72550 776.15/822.68 c current bound: 72550 776.71/823.23 c current bound: 72550 777.26/823.78 c current bound: 72550 777.81/824.34 c current bound: 72550 778.37/824.89 c current bound: 72550 778.93/825.44 c current bound: 72550 779.48/825.99 c current bound: 72550 780.04/826.65 c current bound: 72550 780.58/827.20 c current bound: 72550 781.14/827.75 c current bound: 72550 781.69/828.30 c current bound: 72550 782.25/828.85 c current bound: 72550 783.06/829.40 c current bound: 72550 783.34/829.95 c current bound: 72550 784.15/830.50 c current bound: 72550 784.44/831.05 c current bound: 72550 785.25/831.71 c current bound: 72550 785.55/832.26 c current bound: 72550 786.35/832.81 c current bound: 72550 786.65/833.36 c current bound: 72550 787.44/833.91 c current bound: 72550 787.75/834.46 c current bound: 72550 788.55/835.01 c current bound: 72550 788.85/835.57 c current bound: 72550 789.65/836.12 c current bound: 72550 789.96/836.78 c current bound: 72550 790.74/837.33 c current bound: 72550 791.04/837.87 c current bound: 72550 791.83/838.43 c current bound: 72550 792.16/838.98 c current bound: 72550 792.94/839.53 c current bound: 72550 793.26/840.09 c current bound: 72550 794.03/840.64 c current bound: 72550 794.36/841.19 c current bound: 72550 795.17/841.86 c current bound: 72550 795.48/842.41 c current bound: 72550 796.02/842.96 c current bound: 72550 796.56/843.51 c current bound: 72550 797.11/844.06 c current bound: 72550 797.67/844.62 c current bound: 72550 798.23/845.17 c current bound: 72550 798.79/845.72 c current bound: 72550 799.33/846.27 c current bound: 72550 799.89/846.92 c current bound: 72550 800.44/847.47 c current bound: 72550 800.99/848.02 c current bound: 72550 801.55/848.57 c current bound: 72550 802.10/849.12 c current bound: 72550 802.63/849.68 c current bound: 72550 803.19/850.23 c current bound: 72550 803.74/850.77 c current bound: 72550 804.30/851.32 c current bound: 72550 804.85/851.97 c current bound: 72550 805.64/852.52 c current bound: 72550 805.95/853.08 c current bound: 72550 806.73/853.63 c current bound: 72550 807.06/854.19 c current bound: 72550 807.85/854.74 c current bound: 72550 808.16/855.29 c current bound: 72550 808.95/855.84 c current bound: 72550 809.28/856.39 c current bound: 72550 810.08/857.06 c current bound: 72550 810.37/857.61 c current bound: 72550 811.13/858.16 c current bound: 72550 811.48/858.71 c current bound: 72550 812.24/859.27 c current bound: 72550 812.59/859.82 c current bound: 72550 813.33/860.37 c current bound: 72550 813.70/860.93 c current bound: 72550 814.43/861.48 c current bound: 72550 814.80/862.13 c current bound: 72550 815.34/862.69 c current bound: 72550 815.90/863.24 c current bound: 72550 816.45/863.79 c current bound: 72550 817.01/864.34 c current bound: 72550 817.56/864.89 c current bound: 72550 818.11/865.44 c current bound: 72550 818.67/865.99 c current bound: 72550 819.21/866.54 c current bound: 72550 820.03/867.20 c current bound: 72550 820.31/867.75 c current bound: 72550 821.13/868.30 c current bound: 72550 821.41/868.87 c current bound: 72550 821.98/869.41 c current bound: 72550 822.54/869.96 c current bound: 72550 823.07/870.51 c current bound: 72550 823.63/871.06 c current bound: 72550 824.17/871.61 c current bound: 72550 825.01/872.20 c current bound: 72550 825.28/872.75 c current bound: 72550 825.83/873.31 c current bound: 72550 826.40/873.86 c current bound: 72550 826.95/874.41 c current bound: 72550 827.50/874.96 c current bound: 72550 828.04/875.51 c current bound: 72550 828.60/876.06 c current bound: 72550 829.15/876.61 c current bound: 72550 829.99/877.28 c current bound: 72550 830.52/877.83 c current bound: 72550 830.82/878.38 c current bound: 72550 831.59/878.93 c current bound: 72550 831.92/879.48 c current bound: 72550 832.71/880.03 c current bound: 72550 833.03/880.58 c current bound: 72550 833.81/881.13 c current bound: 72550 834.12/881.68 c current bound: 72550 834.90/882.23 c current bound: 72550 835.23/882.82 c current bound: 72550 835.98/883.37 c current bound: 72550 836.34/883.92 c current bound: 72550 837.09/884.47 c current bound: 72550 837.45/885.02 c current bound: 72550 838.21/885.57 c current bound: 72550 838.55/886.12 c current bound: 72550 839.31/886.67 c current bound: 72550 839.65/887.22 c current bound: 72550 840.41/887.87 c current bound: 72550 840.76/888.42 c current bound: 72550 841.51/888.97 c current bound: 72550 841.86/889.52 c current bound: 72550 842.60/890.08 c current bound: 72550 842.98/890.64 c current bound: 72550 843.70/891.19 c current bound: 72550 844.08/891.74 c current bound: 72550 844.80/892.29 c current bound: 72550 845.19/892.87 c current bound: 72550 845.98/893.42 c current bound: 72550 846.31/893.99 c current bound: 72550 847.07/894.54 c current bound: 72550 847.40/895.09 c current bound: 72550 848.17/895.64 c current bound: 72550 848.52/896.19 c current bound: 72550 849.28/896.74 c current bound: 72550 849.63/897.31 c current bound: 72550 850.46/897.90 c current bound: 72550 850.74/898.45 c current bound: 72550 851.29/899.01 c current bound: 72550 851.85/899.56 c current bound: 72550 852.41/900.12 c current bound: 72550 852.97/900.67 c current bound: 72550 853.51/901.22 c current bound: 72550 854.06/901.78 c current bound: 72550 854.62/902.33 c current bound: 72550 855.18/902.93 c current bound: 72550 855.73/903.49 c current bound: 72550 856.29/904.04 c current bound: 72550 857.11/904.60 c current bound: 72550 857.39/905.15 c current bound: 72550 857.94/905.70 c current bound: 72550 858.49/906.26 c current bound: 72550 859.06/906.82 c current bound: 72550 859.62/907.38 c current bound: 72550 860.17/907.99 c current bound: 72550 860.74/908.54 c current bound: 72550 861.29/909.09 c current bound: 72550 861.86/909.64 c current bound: 72550 862.41/910.19 c current bound: 72550 862.96/910.74 c current bound: 72550 863.50/911.29 c current bound: 72550 864.05/911.84 c current bound: 72550 864.88/912.40 c current bound: 72550 865.16/912.98 c current bound: 72550 865.71/913.54 c current bound: 72550 866.26/914.09 c current bound: 72550 866.83/914.64 c current bound: 72550 867.39/915.19 c current bound: 72550 867.93/915.75 c current bound: 72550 868.77/916.30 c current bound: 72550 869.04/916.86 c current bound: 72550 869.85/917.41 c current bound: 72550 870.15/917.99 c current bound: 72550 870.92/918.54 c current bound: 72550 871.25/919.09 c current bound: 72550 872.01/919.64 c current bound: 72550 872.35/920.19 c current bound: 72550 873.13/920.74 c current bound: 72550 873.46/921.29 c current bound: 72550 874.23/921.84 c current bound: 72550 874.55/922.40 c current bound: 72550 875.31/923.04 c current bound: 72550 875.66/923.59 c current bound: 72550 876.43/924.14 c current bound: 72550 876.77/924.69 c current bound: 72550 877.53/925.24 c current bound: 72550 877.86/925.80 c current bound: 72550 878.63/926.36 c current bound: 72550 878.97/926.91 c current bound: 72550 879.73/927.46 c current bound: 72550 880.09/928.05 c current bound: 72550 880.88/928.61 c current bound: 72550 881.20/929.16 c current bound: 72550 881.99/929.71 c current bound: 72550 882.29/930.27 c current bound: 72550 883.10/930.82 c current bound: 72550 883.40/931.37 c current bound: 72550 884.19/931.92 c current bound: 72550 884.51/932.47 c current bound: 72550 885.27/933.04 c current bound: 72550 885.89/933.60 c current bound: 72550 886.37/934.15 c current bound: 72550 886.72/934.71 c current bound: 72550 887.48/935.26 c current bound: 72550 887.84/935.81 c current bound: 72550 888.59/936.36 c current bound: 72550 888.94/936.91 c current bound: 72550 889.68/937.46 c current bound: 72550 890.03/938.04 c current bound: 72550 890.60/938.59 c current bound: 72550 891.15/939.14 c current bound: 72550 891.70/939.69 c current bound: 72550 892.25/940.25 c current bound: 72550 893.07/940.80 c current bound: 72550 893.35/941.35 c current bound: 72550 894.17/941.90 c current bound: 72550 894.45/942.45 c current bound: 72550 895.00/943.00 c current bound: 72550 895.56/943.55 c current bound: 72550 896.10/944.10 c current bound: 72550 896.66/944.66 c current bound: 72550 897.21/945.21 c current bound: 72550 897.75/945.76 c current bound: 72550 898.30/946.31 c current bound: 72550 898.86/946.86 c current bound: 72550 899.41/947.41 c current bound: 72550 899.95/947.96 c current bound: 72550 900.52/948.52 c current bound: 72550 901.06/949.07 c current bound: 72550 901.62/949.63 c current bound: 72550 902.17/950.18 c current bound: 72550 902.72/950.73 c current bound: 72550 903.28/951.28 c current bound: 72550 903.82/951.84 c current bound: 72550 904.38/952.39 c current bound: 72550 904.93/953.04 c current bound: 72550 905.48/953.59 c current bound: 72550 906.03/954.14 c current bound: 72550 906.59/954.69 c current bound: 72550 907.14/955.25 c current bound: 72550 907.69/955.79 c current bound: 72550 908.23/956.35 c current bound: 72550 909.06/956.90 c current bound: 72550 909.34/957.45 c current bound: 72550 909.90/958.10 c current bound: 72550 910.44/958.65 c current bound: 72550 910.99/959.20 c current bound: 72550 911.54/959.75 c current bound: 72550 912.37/960.30 c current bound: 72550 912.65/960.85 c current bound: 72550 913.46/961.40 c current bound: 72550 913.75/961.96 c current bound: 72550 914.56/962.51 c current bound: 72550 914.86/963.17 c current bound: 72550 915.68/963.72 c current bound: 72550 915.99/964.27 c current bound: 72550 916.76/964.82 c current bound: 72550 917.07/965.38 c current bound: 72550 917.87/965.93 c current bound: 72550 918.18/966.48 c current bound: 72550 918.97/967.03 c current bound: 72550 919.28/967.58 c current bound: 72550 920.11/968.20 c current bound: 72550 920.39/968.75 c current bound: 72550 921.20/969.31 c current bound: 72550 921.50/969.85 c current bound: 72550 922.30/970.41 c current bound: 72550 922.60/970.96 c current bound: 72550 923.41/971.52 c current bound: 72550 923.72/972.07 c current bound: 72550 924.52/972.62 c current bound: 72550 924.81/973.26 c current bound: 72550 925.37/973.81 c current bound: 72550 925.92/974.36 c current bound: 72550 926.47/974.91 c current bound: 72550 927.02/975.47 c current bound: 72550 927.57/976.02 c current bound: 72550 928.13/976.58 c current bound: 72550 928.68/977.13 c current bound: 72550 929.23/977.68 c current bound: 72550 929.80/978.32 c current bound: 72550 930.32/978.87 c current bound: 72550 930.87/979.43 c current bound: 72550 931.44/979.98 c current bound: 72550 931.99/980.53 c current bound: 72550 932.54/981.08 c current bound: 72550 933.09/981.64 c current bound: 72550 933.65/982.19 c current bound: 72550 934.20/982.74 c current bound: 72550 934.75/983.39 c current bound: 72550 935.29/983.94 c current bound: 72550 935.85/984.50 c current bound: 72550 936.40/985.05 c current bound: 72550 937.23/985.60 c current bound: 72550 937.52/986.16 c current bound: 72550 938.32/986.71 c current bound: 72550 938.61/987.26 c current bound: 72550 939.42/987.81 c current bound: 72550 939.72/988.47 c current bound: 72550 940.51/989.02 c current bound: 72550 940.81/989.59 c current bound: 72550 941.62/990.15 c current bound: 72550 941.94/990.70 c current bound: 72550 942.73/991.25 c current bound: 72550 943.05/991.81 c current bound: 72550 943.81/992.36 c current bound: 72550 944.16/992.91 c current bound: 72550 944.96/993.56 c current bound: 72550 945.26/994.11 c current bound: 72550 946.00/994.67 c current bound: 72550 946.36/995.22 c current bound: 72550 947.11/995.77 c current bound: 72550 947.47/996.32 c current bound: 72550 948.21/996.87 c current bound: 72550 948.56/997.42 c current bound: 72550 949.12/997.97 c current bound: 72550 949.66/998.61 c current bound: 72550 950.21/999.17 c current bound: 72550 950.78/999.72 c current bound: 72550 951.33/1000.27 c current bound: 72550 951.87/1000.82 c current bound: 72550 952.42/1001.37 c current bound: 72550 952.98/1001.93 c current bound: 72550 953.53/1002.48 c current bound: 72550 954.09/1003.03 c current bound: 72550 954.63/1003.69 c current bound: 72550 955.19/1004.24 c current bound: 72550 955.74/1004.79 c current bound: 72550 956.29/1005.34 c current bound: 72550 956.85/1005.89 c current bound: 72550 957.39/1006.44 c current bound: 72550 957.94/1006.99 c current bound: 72550 958.49/1007.54 c current bound: 72550 959.05/1008.09 c current bound: 72550 959.84/1008.77 c current bound: 72550 960.14/1009.32 c current bound: 72550 960.88/1009.87 c current bound: 72550 961.25/1010.42 c current bound: 72550 961.99/1010.97 c current bound: 72550 962.36/1011.52 c current bound: 72550 963.10/1012.08 c current bound: 72550 963.46/1012.63 c current bound: 72550 964.19/1013.18 c current bound: 72550 964.57/1013.85 c current bound: 72550 965.35/1014.40 c current bound: 72550 965.66/1014.95 c current bound: 72550 966.48/1015.50 c current bound: 72550 966.76/1016.07 c current bound: 72550 967.57/1016.62 c current bound: 72550 967.90/1017.19 c current bound: 72550 968.67/1017.74 c current bound: 72550 969.00/1018.29 c current bound: 72550 969.79/1018.95 c current bound: 72550 970.10/1019.50 c current bound: 72550 970.65/1020.05 c current bound: 72550 971.20/1020.61 c current bound: 72550 971.75/1021.16 c current bound: 72550 972.29/1021.71 c current bound: 72550 972.85/1022.26 c current bound: 72550 973.39/1022.82 c current bound: 72550 973.95/1023.37 c current bound: 72550 974.51/1024.02 c current bound: 72550 975.07/1024.57 c current bound: 72550 975.62/1025.12 c current bound: 72550 976.17/1025.67 c current bound: 72550 976.72/1026.22 c current bound: 72550 977.27/1026.77 c current bound: 72550 977.82/1027.32 c current bound: 72550 978.37/1027.87 c current bound: 72550 978.91/1028.42 c current bound: 72550 979.46/1029.07 c current bound: 72550 980.27/1029.62 c current bound: 72550 980.57/1030.17 c current bound: 72550 981.38/1030.72 c current bound: 72550 981.69/1031.29 c current bound: 72550 982.47/1031.84 c current bound: 72550 983.07/1032.40 c current bound: 72550 983.55/1032.95 c current bound: 72550 983.90/1033.50 c current bound: 72550 984.72/1034.16 c current bound: 72550 985.02/1034.71 c current bound: 72550 985.76/1035.26 c current bound: 72550 986.12/1035.81 c current bound: 72550 986.87/1036.36 c current bound: 72550 987.22/1036.92 c current bound: 72550 987.97/1037.47 c current bound: 72550 988.32/1038.02 c current bound: 72550 989.04/1038.58 c current bound: 72550 989.70/1039.22 c current bound: 72550 989.98/1039.77 c current bound: 72550 990.54/1040.32 c current bound: 72550 991.09/1040.87 c current bound: 72550 991.63/1041.42 c current bound: 72550 992.17/1041.98 c current bound: 72550 992.73/1042.53 c current bound: 72550 993.29/1043.08 c current bound: 72550 993.84/1043.64 c current bound: 72550 994.66/1044.30 c current bound: 72550 994.96/1044.86 c current bound: 72550 995.51/1045.42 c current bound: 72550 996.07/1045.98 c current bound: 72550 996.64/1046.54 c current bound: 72550 997.46/1047.10 c current bound: 72550 997.74/1047.65 c current bound: 72550 998.56/1048.20 c current bound: 72550 998.83/1048.75 c current bound: 72550 999.65/1049.41 c current bound: 72550 999.95/1049.96 c current bound: 72550 1000.78/1050.51 c current bound: 72550 1001.05/1051.08 c current bound: 72550 1001.85/1051.63 c current bound: 72550 1002.17/1052.19 c current bound: 72550 1002.96/1052.75 c current bound: 72550 1003.56/1053.30 c current bound: 72550 1004.05/1053.85 c current bound: 72550 1004.40/1054.51 c current bound: 72550 1005.15/1055.06 c current bound: 72550 1005.51/1055.63 c current bound: 72550 1006.25/1056.18 c current bound: 72550 1006.63/1056.74 c current bound: 72550 1007.36/1057.29 c current bound: 72550 1007.74/1057.84 c current bound: 72550 1008.47/1058.38 c current bound: 72550 1008.84/1058.94 c current bound: 72550 1009.65/1059.60 c current bound: 72550 1009.94/1060.15 c current bound: 72550 1010.50/1060.70 c current bound: 72550 1011.05/1061.26 c current bound: 72550 1011.60/1061.81 c current bound: 72550 1012.17/1062.37 c current bound: 72550 1012.71/1062.93 c current bound: 72550 1013.27/1063.48 c current bound: 72550 1013.82/1064.03 c current bound: 72550 1014.38/1064.67 c current bound: 72550 1014.93/1065.22 c current bound: 72550 1015.48/1065.77 c current bound: 72550 1016.03/1066.32 c current bound: 72550 1016.58/1066.87 c current bound: 72550 1017.13/1067.43 c current bound: 72550 1017.68/1067.99 c current bound: 72550 1018.24/1068.54 c current bound: 72550 1018.79/1069.09 c current bound: 72550 1019.35/1069.74 c current bound: 72550 1019.90/1070.30 c current bound: 72550 1020.46/1070.85 c current bound: 72550 1021.27/1071.40 c current bound: 72550 1021.55/1071.96 c current bound: 72550 1022.37/1072.52 c current bound: 72550 1022.68/1073.07 c current bound: 72550 1023.47/1073.63 c current bound: 72550 1023.79/1074.19 c current bound: 72550 1024.60/1074.84 c current bound: 72550 1024.89/1075.39 c current bound: 72550 1025.66/1075.95 c current bound: 72550 1026.01/1076.51 c current bound: 72550 1026.75/1077.07 c current bound: 72550 1027.11/1077.62 c current bound: 72550 1027.87/1078.17 c current bound: 72550 1028.22/1078.73 c current bound: 72550 1028.97/1079.27 c current bound: 72550 1029.33/1079.95 c current bound: 72550 1030.16/1080.50 c current bound: 72550 1030.43/1081.05 c current bound: 72550 1030.98/1081.60 c current bound: 72550 1031.54/1082.15 c current bound: 72550 1032.09/1082.71 c current bound: 72550 1032.66/1083.26 c current bound: 72550 1033.20/1083.81 c current bound: 72550 1033.75/1084.36 c current bound: 72550 1034.30/1085.03 c current bound: 72550 1034.86/1085.58 c current bound: 72550 1035.42/1086.14 c current bound: 72550 1035.96/1086.69 c current bound: 72550 1036.50/1087.24 c current bound: 72550 1037.33/1087.80 c current bound: 72550 1037.61/1088.35 c current bound: 72550 1038.18/1088.91 c current bound: 72550 1038.73/1089.47 c current bound: 72550 1039.54/1090.12 c current bound: 72550 1039.84/1090.68 c current bound: 72550 1040.63/1091.24 c current bound: 72550 1041.25/1091.80 c current bound: 72550 1041.73/1092.35 c current bound: 72550 1042.08/1092.90 c current bound: 72550 1042.84/1093.46 c current bound: 72550 1043.19/1094.01 c current bound: 72550 1043.95/1094.56 c current bound: 72550 1044.57/1095.21 c current bound: 72550 1045.04/1095.77 c current bound: 72550 1045.40/1096.32 c current bound: 72550 1046.15/1096.87 c current bound: 72550 1046.50/1097.42 c current bound: 72550 1047.25/1097.98 c current bound: 72550 1047.62/1098.53 c current bound: 72550 1048.34/1099.08 c current bound: 72550 1048.72/1099.63 c current bound: 72550 1049.53/1100.27 c current bound: 72550 1049.82/1100.82 c current bound: 72550 1050.38/1101.38 c current bound: 72550 1050.94/1101.94 c current bound: 72550 1051.78/1102.50 c current bound: 72550 1052.06/1103.05 c current bound: 72550 1052.60/1103.60 c current bound: 72550 1053.16/1104.16 c current bound: 72550 1053.72/1104.71 c current bound: 72550 1054.27/1105.36 c current bound: 72550 1054.82/1105.91 c current bound: 72550 1055.37/1106.47 c current bound: 72550 1055.92/1107.03 c current bound: 72550 1056.49/1107.58 c current bound: 72550 1057.04/1108.13 c current bound: 72550 1057.59/1108.68 c current bound: 72550 1058.14/1109.23 c current bound: 72550 1058.69/1109.78 c current bound: 72550 1059.24/1110.45 c current bound: 72550 1060.05/1111.01 c current bound: 72550 1060.34/1111.56 c current bound: 72550 1061.15/1112.11 c current bound: 72550 1061.71/1112.71 c current bound: 72550 1062.18/1113.26 c current bound: 72550 1062.55/1113.81 c current bound: 72550 1063.28/1114.36 c current bound: 72550 1063.64/1114.91 c current bound: 72550 1064.45/1115.57 c current bound: 72550 1064.75/1116.13 c current bound: 72550 1065.49/1116.68 c current bound: 72550 1065.86/1117.23 c current bound: 72550 1066.59/1117.78 c current bound: 72550 1066.96/1118.33 c current bound: 72550 1067.70/1118.88 c current bound: 72550 1068.05/1119.43 c current bound: 72550 1068.79/1119.98 c current bound: 72550 1069.16/1120.63 c current bound: 72550 1069.71/1121.18 c current bound: 72550 1070.26/1121.74 c current bound: 72550 1070.82/1122.29 c current bound: 72550 1071.37/1122.84 c current bound: 72550 1071.91/1123.39 c current bound: 72550 1072.47/1123.94 c current bound: 72550 1073.02/1124.49 c current bound: 72550 1073.57/1125.04 c current bound: 72550 1074.13/1125.69 c current bound: 72550 1074.67/1126.24 c current bound: 72550 1075.22/1126.79 c current bound: 72550 1075.77/1127.34 c current bound: 72550 1076.31/1127.89 c current bound: 72550 1076.86/1128.44 c current bound: 72550 1077.69/1129.00 c current bound: 72550 1077.97/1129.55 c current bound: 72550 1078.80/1130.10 c current bound: 72550 1079.07/1130.76 c current bound: 72550 1079.63/1131.31 c current bound: 72550 1080.17/1131.86 c current bound: 72550 1080.72/1132.41 c current bound: 72550 1081.28/1132.96 c current bound: 72550 1081.83/1133.51 c current bound: 72550 1082.38/1134.06 c current bound: 72550 1082.93/1134.61 c current bound: 72550 1083.47/1135.16 c current bound: 72550 1084.02/1135.82 c current bound: 72550 1084.78/1136.37 c current bound: 72550 1085.13/1136.91 c current bound: 72550 1085.89/1137.47 c current bound: 72550 1086.22/1138.02 c current bound: 72550 1086.96/1138.57 c current bound: 72550 1087.32/1139.12 c current bound: 72550 1088.07/1139.67 c current bound: 72550 1088.44/1140.22 c current bound: 72550 1089.23/1140.88 c current bound: 72550 1089.53/1141.43 c current bound: 72550 1090.26/1141.98 c current bound: 72550 1090.64/1142.53 c current bound: 72550 1091.38/1143.09 c current bound: 72550 1091.76/1143.64 c current bound: 72550 1092.47/1144.19 c current bound: 72550 1092.85/1144.74 c current bound: 72550 1093.68/1145.30 c current bound: 72550 1093.96/1145.94 c current bound: 72550 1094.79/1146.50 c current bound: 72550 1095.08/1147.06 c current bound: 72550 1095.63/1147.62 c current bound: 72550 1096.19/1148.17 c current bound: 72550 1096.75/1148.73 c current bound: 72550 1097.31/1149.29 c current bound: 72550 1097.86/1149.85 c current bound: 72550 1098.42/1150.41 c current bound: 72550 1098.98/1151.06 c current bound: 72550 1099.53/1151.61 c current bound: 72550 1100.07/1152.16 c current bound: 72550 1100.63/1152.71 c current bound: 72550 1101.18/1153.26 c current bound: 72550 1101.73/1153.82 c current bound: 72550 1102.29/1154.37 c current bound: 72550 1102.84/1154.92 c current bound: 72550 1103.40/1155.47 c current bound: 72550 1104.18/1156.12 c current bound: 72550 1104.48/1156.68 c current bound: 72550 1105.27/1157.24 c current bound: 72550 1105.88/1157.80 c current bound: 72550 1106.38/1158.35 c current bound: 72550 1106.71/1158.91 c current bound: 72550 1107.48/1159.46 c current bound: 72550 1107.82/1160.02 c current bound: 72550 1108.57/1160.59 c current bound: 72550 1109.23/1161.21 c current bound: 72550 1109.70/1161.77 c current bound: 72550 1110.06/1162.32 c current bound: 72550 1110.80/1162.87 c current bound: 72550 1111.18/1163.42 c current bound: 72550 1111.92/1163.98 c current bound: 72550 1112.26/1164.53 c current bound: 72550 1113.00/1165.08 c current bound: 72550 1113.38/1165.63 c current bound: 72550 1114.18/1166.29 c current bound: 72550 1114.49/1166.84 c current bound: 72550 1115.05/1167.39 c current bound: 72550 1115.57/1167.95 c current bound: 72550 1116.13/1168.50 c current bound: 72550 1116.69/1169.06 c current bound: 72550 1117.25/1169.61 c current bound: 72550 1117.79/1170.17 c current bound: 72550 1118.36/1170.73 c current bound: 72550 1118.91/1171.39 c current bound: 72550 1119.48/1171.96 c current bound: 72550 1120.03/1172.51 c current bound: 72550 1120.60/1173.06 c current bound: 72550 1121.14/1173.62 c current bound: 72550 1121.70/1174.17 c current bound: 72550 1122.25/1174.72 c current bound: 72550 1122.80/1175.27 c current bound: 72550 1123.36/1175.83 c current bound: 72550 1123.91/1176.48 c current bound: 72550 1124.69/1177.03 c current bound: 72550 1125.02/1177.59 c current bound: 72550 1125.79/1178.14 c current bound: 72550 1126.12/1178.69 c current bound: 72550 1126.89/1179.25 c current bound: 72550 1127.24/1179.80 c current bound: 72550 1128.00/1180.36 c current bound: 72550 1128.35/1180.91 c current bound: 72550 1129.15/1181.56 c current bound: 72550 1129.44/1182.11 c current bound: 72550 1130.27/1182.72 c current bound: 72550 1130.55/1183.27 c current bound: 72550 1131.35/1183.82 c current bound: 72550 1131.65/1184.37 c current bound: 72550 1132.44/1184.92 c current bound: 72550 1132.75/1185.47 c current bound: 72550 1133.54/1186.02 c current bound: 72550 1133.87/1186.67 c current bound: 72550 1134.42/1187.22 c current bound: 72550 1134.97/1187.77 c current bound: 72550 1135.51/1188.33 c current bound: 72550 1136.07/1188.89 c current bound: 72550 1136.63/1189.44 c current bound: 72550 1137.19/1190.00 c current bound: 72550 1137.74/1190.55 c current bound: 72550 1138.30/1191.11 c current bound: 72550 1138.84/1191.76 c current bound: 72550 1139.39/1192.31 c current bound: 72550 1139.94/1192.86 c current bound: 72550 1140.50/1193.41 c current bound: 72550 1141.05/1193.96 c current bound: 72550 1141.60/1194.51 c current bound: 72550 1142.16/1195.06 c current bound: 72550 1142.71/1195.62 c current bound: 72550 1143.26/1196.17 c current bound: 72550 1144.06/1196.81 c current bound: 72550 1144.35/1197.36 c current bound: 72550 1145.16/1197.91 c current bound: 72550 1145.47/1198.46 c current bound: 72550 1146.25/1199.01 c current bound: 72550 1146.56/1199.56 c current bound: 72550 1147.36/1200.11 c current bound: 72550 1147.66/1200.66 c current bound: 72550 1148.47/1201.22 c current bound: 72550 1148.77/1201.86 c current bound: 72550 1149.57/1202.41 c current bound: 72550 1149.87/1202.96 c current bound: 72550 1150.67/1203.52 c current bound: 72550 1150.99/1204.07 c current bound: 72550 1151.77/1204.62 c current bound: 72550 1152.08/1205.17 c current bound: 72550 1152.88/1205.72 c current bound: 72550 1153.19/1206.28 c current bound: 72550 1153.99/1206.92 c current bound: 72550 1154.29/1207.47 c current bound: 72550 1155.06/1208.02 c current bound: 72550 1155.39/1208.58 c current bound: 72550 1156.17/1209.13 c current bound: 72550 1156.49/1209.68 c current bound: 72550 1157.27/1210.23 c current bound: 72550 1157.61/1210.79 c current bound: 72550 1158.38/1211.34 c current bound: 72550 1158.72/1211.99 c current bound: 72550 1159.27/1212.54 c current bound: 72550 1160.09/1213.10 c current bound: 72550 1160.37/1213.65 c current bound: 72550 1161.20/1214.20 c current bound: 72550 1161.48/1214.75 c current bound: 72550 1162.29/1215.30 c current bound: 72550 1162.57/1215.86 c current bound: 72550 1163.14/1216.41 c current bound: 72550 1163.69/1217.07 c current bound: 72550 1164.24/1217.62 c current bound: 72550 1164.79/1218.17 c current bound: 72550 1165.35/1218.72 c current bound: 72550 1165.89/1219.27 c current bound: 72550 1166.43/1219.82 c current bound: 72550 1167.00/1220.37 c current bound: 72550 1167.55/1220.92 c current bound: 72550 1168.10/1221.47 c current bound: 72550 1168.89/1222.13 c current bound: 72550 1169.20/1222.68 c current bound: 72550 1169.98/1223.23 c current bound: 72550 1170.30/1223.78 c current bound: 72550 1171.09/1224.33 c current bound: 72550 1171.40/1224.88 c current bound: 72550 1172.19/1225.43 c current bound: 72550 1172.51/1225.98 c current bound: 72550 1173.29/1226.54 c current bound: 72550 1173.62/1227.19 c current bound: 72550 1174.40/1227.74 c current bound: 72550 1174.74/1228.29 c current bound: 72550 1175.52/1228.84 c current bound: 72550 1175.83/1229.39 c current bound: 72550 1176.60/1229.94 c current bound: 72550 1176.93/1230.49 c current bound: 72550 1177.71/1231.04 c current bound: 72550 1178.04/1231.59 c current bound: 72550 1178.83/1232.24 c current bound: 72550 1179.14/1232.79 c current bound: 72550 1179.92/1233.35 c current bound: 72550 1180.25/1233.90 c current bound: 72550 1181.00/1234.45 c current bound: 72550 1181.35/1235.00 c current bound: 72550 1182.10/1235.55 c current bound: 72550 1182.46/1236.10 c current bound: 72550 1183.21/1236.65 c current bound: 72550 1183.83/1237.30 c current bound: 72550 1184.10/1237.86 c current bound: 72550 1184.66/1238.41 c current bound: 72550 1185.21/1238.96 c current bound: 72550 1185.76/1239.51 c current bound: 72550 1186.30/1240.06 c current bound: 72550 1186.86/1240.61 c current bound: 72550 1187.41/1241.17 c current bound: 72550 1187.97/1241.73 c current bound: 72550 1188.52/1242.38 c current bound: 72550 1189.06/1242.93 c current bound: 72550 1189.62/1243.48 c current bound: 72550 1190.18/1244.03 c current bound: 72550 1190.74/1244.58 c current bound: 72550 1191.27/1245.13 c current bound: 72550 1191.82/1245.68 c current bound: 72550 1192.37/1246.24 c current bound: 72550 1192.94/1246.79 c current bound: 72550 1193.74/1247.44 c current bound: 72550 1194.04/1247.99 c current bound: 72550 1194.80/1248.54 c current bound: 72550 1195.13/1249.09 c current bound: 72550 1195.90/1249.64 c current bound: 72550 1196.24/1250.19 c current bound: 72550 1197.01/1250.74 c current bound: 72550 1197.34/1251.29 c current bound: 72550 1198.10/1251.84 c current bound: 72550 1198.44/1252.51 c current bound: 72550 1199.20/1253.06 c current bound: 72550 1199.54/1253.61 c current bound: 72550 1200.30/1254.17 c current bound: 72550 1200.67/1254.72 c current bound: 72550 1201.38/1255.27 c current bound: 72550 1201.75/1255.82 c current bound: 72550 1202.50/1256.37 c current bound: 72550 1202.87/1256.92 c current bound: 72550 1203.67/1257.59 c current bound: 72550 1203.97/1258.14 c current bound: 72550 1204.52/1258.69 c current bound: 72550 1205.08/1259.24 c current bound: 72550 1205.90/1259.80 c current bound: 72550 1206.17/1260.35 c current bound: 72550 1206.72/1260.90 c current bound: 72550 1207.28/1261.45 c current bound: 72550 1207.83/1262.01 c current bound: 72550 1208.38/1262.66 c current bound: 72550 1208.92/1263.21 c current bound: 72550 1209.48/1263.76 c current bound: 72550 1210.03/1264.31 c current bound: 72550 1210.58/1264.86 c current bound: 72550 1211.14/1265.41 c current bound: 72550 1211.68/1265.96 c current bound: 72550 1212.22/1266.52 c current bound: 72550 1212.78/1267.07 c current bound: 72550 1213.33/1267.70 c current bound: 72550 1213.89/1268.25 c current bound: 72550 1214.44/1268.80 c current bound: 72550 1214.99/1269.35 c current bound: 72550 1215.54/1269.90 c current bound: 72550 1216.08/1270.45 c current bound: 72550 1216.64/1271.00 c current bound: 72550 1217.19/1271.55 c current bound: 72550 1217.73/1272.10 c current bound: 72550 1218.55/1272.74 c current bound: 72550 1218.84/1273.29 c current bound: 72550 1219.61/1273.84 c current bound: 72550 1219.95/1274.39 c current bound: 72550 1220.69/1274.94 c current bound: 72550 1221.05/1275.49 c current bound: 72550 1221.82/1276.05 c current bound: 72550 1222.42/1276.60 c current bound: 72550 1222.91/1277.15 c current bound: 72550 1223.24/1277.81 c current bound: 72550 1224.00/1278.36 c current bound: 72550 1224.35/1278.92 c current bound: 72550 1225.11/1279.48 c current bound: 72550 1225.47/1280.03 c current bound: 72550 1226.19/1280.58 c current bound: 72550 1226.58/1281.13 c current bound: 72550 1227.31/1281.68 c current bound: 72550 1227.68/1282.24 c current bound: 72550 1228.50/1282.90 c current bound: 72550 1228.78/1283.45 c current bound: 72550 1229.33/1284.01 c current bound: 72550 1229.88/1284.56 c current bound: 72550 1230.43/1285.11 c current bound: 72550 1230.98/1285.66 c current bound: 72550 1231.54/1286.21 c current bound: 72550 1232.09/1286.76 c current bound: 72550 1232.63/1287.31 c current bound: 72550 1233.18/1287.93 c current bound: 72550 1233.75/1288.48 c current bound: 72550 1234.30/1289.03 c current bound: 72550 1234.84/1289.58 c current bound: 72550 1235.40/1290.13 c current bound: 72550 1235.94/1290.69 c current bound: 72550 1236.50/1291.24 c current bound: 72550 1237.04/1291.79 c current bound: 72550 1237.60/1292.34 c current bound: 72550 1238.15/1292.98 c current bound: 72550 1238.70/1293.53 c current bound: 72550 1239.25/1294.08 c current bound: 72550 1239.79/1294.63 c current bound: 72550 1240.34/1295.18 c current bound: 72550 1240.90/1295.73 c current bound: 72550 1241.46/1296.28 c current bound: 72550 1242.01/1296.84 c current bound: 72550 1242.55/1297.39 c current bound: 72550 1243.36/1298.05 c current bound: 72550 1243.93/1298.60 c current bound: 72550 1244.44/1299.15 c current bound: 72550 1245.05/1299.70 c current bound: 72550 1245.54/1300.25 c current bound: 72550 1246.13/1300.80 c current bound: 72550 1246.64/1301.35 c current bound: 72550 1247.25/1301.90 c current bound: 72550 1247.73/1302.45 c current bound: 72550 1248.07/1303.10 c current bound: 72550 1248.83/1303.65 c current bound: 72550 1249.18/1304.20 c current bound: 72550 1249.93/1304.76 c current bound: 72550 1250.29/1305.30 c current bound: 72550 1251.04/1305.86 c current bound: 72550 1251.39/1306.41 c current bound: 72550 1252.13/1306.96 c current bound: 72550 1252.49/1307.51 c current bound: 72550 1253.31/1308.14 c current bound: 72550 1253.60/1308.69 c current bound: 72550 1254.37/1309.24 c current bound: 72550 1254.70/1309.79 c current bound: 72550 1255.48/1310.34 c current bound: 72550 1255.80/1310.89 c current bound: 72550 1256.58/1311.44 c current bound: 72550 1256.91/1311.99 c current bound: 72550 1257.68/1312.55 c current bound: 72550 1258.30/1313.21 c current bound: 72550 1258.59/1313.77 c current bound: 72550 1259.13/1314.31 c current bound: 72550 1259.69/1314.87 c current bound: 72550 1260.24/1315.42 c current bound: 72550 1260.79/1315.98 c current bound: 72550 1261.34/1316.53 c current bound: 72550 1261.89/1317.08 c current bound: 72550 1262.45/1317.64 c current bound: 72550 1263.01/1318.28 c current bound: 72550 1263.56/1318.84 c current bound: 72550 1264.12/1319.39 c current bound: 72550 1264.67/1319.94 c current bound: 72550 1265.21/1320.49 c current bound: 72550 1265.77/1321.05 c current bound: 72550 1266.60/1321.60 c current bound: 72550 1266.88/1322.15 c current bound: 72550 1267.69/1322.72 c current bound: 72550 1268.23/1323.38 c current bound: 72550 1268.53/1323.94 c current bound: 72550 1269.24/1324.49 c current bound: 72550 1269.62/1325.04 c current bound: 72550 1270.34/1325.59 c current bound: 72550 1270.72/1326.14 c current bound: 72550 1271.44/1326.69 c current bound: 72550 1271.82/1327.24 c current bound: 72550 1272.55/1327.79 c current bound: 72550 1272.92/1328.44 c current bound: 72550 1273.65/1328.99 c current bound: 72550 1274.02/1329.54 c current bound: 72550 1274.76/1330.09 c current bound: 72550 1275.12/1330.65 c current bound: 72550 1275.95/1331.20 c current bound: 72550 1276.24/1331.75 c current bound: 72550 1277.07/1332.30 c current bound: 72550 1277.35/1332.85 c current bound: 72550 1278.14/1333.50 c current bound: 72550 1278.44/1334.05 c current bound: 72550 1278.99/1334.60 c current bound: 72550 1279.54/1335.16 c current bound: 72550 1280.09/1335.71 c current bound: 72550 1280.65/1336.26 c current bound: 72550 1281.19/1336.81 c current bound: 72550 1281.74/1337.37 c current bound: 72550 1282.29/1337.93 c current bound: 72550 1282.85/1338.58 c current bound: 72550 1283.40/1339.13 c current bound: 72550 1283.95/1339.68 c current bound: 72550 1284.49/1340.23 c current bound: 72550 1285.05/1340.78 c current bound: 72550 1285.60/1341.33 c current bound: 72550 1286.15/1341.88 c current bound: 72550 1286.70/1342.43 c current bound: 72550 1287.25/1342.99 c current bound: 72550 1287.80/1343.64 c current bound: 72550 1288.36/1344.19 c current bound: 72550 1288.91/1344.74 c current bound: 72550 1289.46/1345.30 c current bound: 72550 1290.01/1345.85 c current bound: 72550 1290.85/1346.40 c current bound: 72550 1291.12/1346.95 c current bound: 72550 1291.95/1347.50 c current bound: 72550 1292.22/1348.05 c current bound: 72550 1293.05/1348.70 c current bound: 72550 1293.32/1349.25 c current bound: 72550 1294.15/1349.81 c current bound: 72550 1294.43/1350.36 c current bound: 72550 1295.23/1350.91 c current bound: 72550 1295.53/1351.46 c current bound: 72550 1296.33/1352.01 c current bound: 72550 1296.63/1352.56 c current bound: 72550 1297.44/1353.11 c current bound: 72550 1297.72/1353.76 c current bound: 72550 1298.52/1354.31 c current bound: 72550 1298.84/1354.86 c current bound: 72550 1299.63/1355.42 c current bound: 72550 1299.95/1355.97 c current bound: 72550 1300.74/1356.52 c current bound: 72550 1301.04/1357.07 c current bound: 72550 1301.83/1357.62 c current bound: 72550 1302.15/1358.17 c current bound: 72550 1302.97/1358.83 c current bound: 72550 1303.26/1359.39 c current bound: 72550 1303.83/1359.95 c current bound: 72550 1304.38/1360.51 c current bound: 72550 1304.94/1361.06 c current bound: 72550 1305.50/1361.61 c current bound: 72550 1306.05/1362.16 c current bound: 72550 1306.60/1362.72 c current bound: 72550 1307.16/1363.27 c current bound: 72550 1307.71/1363.93 c current bound: 72550 1308.26/1364.48 c current bound: 72550 1308.81/1365.04 c current bound: 72550 1309.37/1365.59 c current bound: 72550 1309.92/1366.15 c current bound: 72550 1310.47/1366.70 c current bound: 72550 1311.03/1367.27 c current bound: 72550 1311.59/1367.82 c current bound: 72550 1312.15/1368.37 c current bound: 72550 1312.69/1369.04 c current bound: 72550 1313.41/1369.60 c current bound: 72550 1313.81/1370.15 c current bound: 72550 1314.64/1370.71 c current bound: 72550 1314.92/1371.27 c current bound: 72550 1315.72/1371.82 c current bound: 72550 1316.04/1372.37 c current bound: 72550 1316.84/1372.93 c current bound: 72550 1317.15/1373.49 c current bound: 72550 1317.96/1374.14 c current bound: 72550 1318.26/1374.69 c current bound: 72550 1319.01/1375.24 c current bound: 72550 1319.36/1375.80 c current bound: 72550 1320.13/1376.35 c current bound: 72550 1320.47/1376.91 c current bound: 72550 1321.23/1377.46 c current bound: 72550 1321.58/1378.02 c current bound: 72550 1322.32/1378.58 c current bound: 72550 1322.99/1379.20 c current bound: 72550 1323.27/1379.75 c current bound: 72550 1323.82/1380.31 c current bound: 72550 1324.38/1380.87 c current bound: 72550 1324.94/1381.42 c current bound: 72550 1325.48/1381.97 c current bound: 72550 1326.03/1382.52 c current bound: 72550 1326.57/1383.07 c current bound: 72550 1327.13/1383.63 c current bound: 72550 1327.69/1384.29 c current bound: 72550 1328.24/1384.85 c current bound: 72550 1328.80/1385.41 c current bound: 72550 1329.35/1385.97 c current bound: 72550 1329.91/1386.52 c current bound: 72550 1330.46/1387.07 c current bound: 72550 1331.02/1387.62 c current bound: 72550 1331.57/1388.18 c current bound: 72550 1332.13/1388.74 c current bound: 72550 1332.96/1389.40 c current bound: 72550 1333.24/1389.96 c current bound: 72550 1334.06/1390.52 c current bound: 72550 1334.37/1391.07 c current bound: 72550 1335.16/1391.62 c current bound: 72550 1335.47/1392.17 c current bound: 72550 1336.24/1392.72 c current bound: 72550 1336.57/1393.27 c current bound: 72550 1337.37/1393.82 c current bound: 72550 1337.67/1394.48 c current bound: 72550 1338.45/1395.04 c current bound: 72550 1338.79/1395.59 c current bound: 72550 1339.56/1396.14 c current bound: 72550 1339.90/1396.69 c current bound: 72550 1340.66/1397.24 c current bound: 72550 1341.26/1397.80 c current bound: 72550 1341.75/1398.35 c current bound: 72550 1342.11/1398.91 c current bound: 72550 1342.92/1399.57 c current bound: 72550 1343.21/1400.12 c current bound: 72550 1343.76/1400.68 c current bound: 72550 1344.32/1401.23 c current bound: 72550 1344.88/1401.79 c current bound: 72550 1345.43/1402.34 c current bound: 72550 1345.99/1402.91 c current bound: 72550 1346.55/1403.46 c current bound: 72550 1347.10/1404.02 c current bound: 72550 1347.65/1404.67 c current bound: 72550 1348.21/1405.23 c current bound: 72550 1348.77/1405.78 c current bound: 72550 1349.32/1406.33 c current bound: 72550 1349.88/1406.89 c current bound: 72550 1350.43/1407.45 c current bound: 72550 1351.26/1408.00 c current bound: 72550 1351.54/1408.56 c current bound: 72550 1352.36/1409.11 c current bound: 72550 1352.66/1409.77 c current bound: 72550 1353.46/1410.32 c current bound: 72550 1353.77/1410.87 c current bound: 72550 1354.56/1411.42 c current bound: 72550 1354.87/1411.97 c current bound: 72550 1355.66/1412.52 c current bound: 72550 1355.96/1413.07 c current bound: 72550 1356.76/1413.62 c current bound: 72550 1357.06/1414.17 c current bound: 72550 1357.86/1414.82 c current bound: 72550 1358.16/1415.37 c current bound: 72550 1358.95/1415.92 c current bound: 72550 1359.26/1416.47 c current bound: 72550 1360.05/1417.03 c current bound: 72550 1360.38/1417.58 c current bound: 72550 1361.15/1418.13 c current bound: 72550 1361.48/1418.68 c current bound: 72550 1362.26/1419.23 c current bound: 72550 1362.57/1419.88 c current bound: 72550 1363.13/1420.43 c current bound: 72550 1363.68/1420.99 c current bound: 72550 1364.23/1421.54 c current bound: 72550 1364.79/1422.09 c current bound: 72550 1365.34/1422.65 c current bound: 72550 1366.16/1423.20 c current bound: 72550 1366.44/1423.75 c current bound: 72550 1367.26/1424.30 c current bound: 72550 1367.55/1424.96 c current bound: 72550 1368.10/1425.51 c current bound: 72550 1368.65/1426.06 c current bound: 72550 1369.20/1426.61 c current bound: 72550 1369.75/1427.16 c current bound: 72550 1370.30/1427.72 c current bound: 72550 1370.86/1428.27 c current bound: 72550 1371.42/1428.82 c current bound: 72550 1371.96/1429.37 c current bound: 72550 1372.77/1430.03 c current bound: 72550 1373.07/1430.58 c current bound: 72550 1373.85/1431.13 c current bound: 72550 1374.18/1431.68 c current bound: 72550 1374.95/1432.23 c current bound: 72550 1375.28/1432.78 c current bound: 72550 1376.06/1433.34 c current bound: 72550 1376.40/1433.89 c current bound: 72550 1377.17/1434.44 c current bound: 72550 1377.50/1435.10 c current bound: 72550 1378.24/1435.65 c current bound: 72550 1378.60/1436.20 c current bound: 72550 1379.36/1436.75 c current bound: 72550 1379.70/1437.30 c current bound: 72550 1380.47/1437.85 c current bound: 72550 1380.81/1438.40 c current bound: 72550 1381.56/1438.95 c current bound: 72550 1381.91/1439.50 c current bound: 72550 1382.72/1440.16 c current bound: 72550 1383.02/1440.71 c current bound: 72550 1383.77/1441.26 c current bound: 72550 1384.11/1441.81 c current bound: 72550 1384.87/1442.36 c current bound: 72550 1385.21/1442.91 c current bound: 72550 1385.98/1443.46 c current bound: 72550 1386.33/1444.01 c current bound: 72550 1387.08/1444.56 c current bound: 72550 1387.70/1445.21 c current bound: 72550 1387.98/1445.77 c current bound: 72550 1388.54/1446.32 c current bound: 72550 1389.10/1446.87 c current bound: 72550 1389.66/1447.42 c current bound: 72550 1390.20/1447.97 c current bound: 72550 1390.75/1448.52 c current bound: 72550 1391.30/1449.07 c current bound: 72550 1391.85/1449.62 c current bound: 72550 1392.40/1450.27 c current bound: 72550 1392.94/1450.83 c current bound: 72550 1393.51/1451.38 c current bound: 72550 1394.06/1451.93 c current bound: 72550 1394.61/1452.48 c current bound: 72550 1395.16/1453.03 c current bound: 72550 1395.71/1453.58 c current bound: 72550 1396.27/1454.13 c current bound: 72550 1396.80/1454.68 c current bound: 72550 1397.62/1455.33 c current bound: 72550 1397.92/1455.88 c current bound: 72550 1398.68/1456.44 c current bound: 72550 1399.01/1456.99 c current bound: 72550 1399.79/1457.55 c current bound: 72550 1400.38/1458.10 c current bound: 72550 1400.86/1458.65 c current bound: 72550 1401.21/1459.20 c current bound: 72550 1401.98/1459.76 c current bound: 72550 1402.33/1460.43 c current bound: 72550 1403.06/1460.98 c current bound: 72550 1403.44/1461.53 c current bound: 72550 1404.15/1462.09 c current bound: 72550 1404.54/1462.64 c current bound: 72550 1405.26/1463.19 c current bound: 72550 1405.65/1463.74 c current bound: 72550 1406.47/1464.30 c current bound: 72550 1406.74/1464.85 c current bound: 72550 1407.54/1465.50 c current bound: 72550 1407.85/1466.05 c current bound: 72550 1408.40/1466.61 c current bound: 72550 1408.96/1467.16 c current bound: 72550 1409.51/1467.71 c current bound: 72550 1410.06/1468.26 c current bound: 72550 1410.62/1468.81 c current bound: 72550 1411.16/1469.36 c current bound: 72550 1411.71/1469.91 c current bound: 72550 1412.26/1470.56 c current bound: 72550 1412.81/1471.11 c current bound: 72550 1413.36/1471.67 c current bound: 72550 1413.92/1472.23 c current bound: 72550 1414.48/1472.78 c current bound: 72550 1415.03/1473.34 c current bound: 72550 1415.59/1473.89 c current bound: 72550 1416.14/1474.44 c current bound: 72550 1416.70/1474.99 c current bound: 72550 1417.26/1475.67 c current bound: 72550 1418.04/1476.22 c current bound: 72550 1418.36/1476.77 c current bound: 72550 1419.16/1477.32 c current bound: 72550 1419.47/1477.87 c current bound: 72550 1420.26/1478.42 c current bound: 72550 1420.57/1478.98 c current bound: 72550 1421.36/1479.53 c current bound: 72550 1421.69/1480.08 c current bound: 72550 1422.49/1480.73 c current bound: 72550 1422.79/1481.28 c current bound: 72550 1423.57/1481.83 c current bound: 72550 1423.89/1482.39 c current bound: 72550 1424.67/1482.94 c current bound: 72550 1425.00/1483.49 c current bound: 72550 1425.78/1484.04 c current bound: 72550 1426.10/1484.59 c current bound: 72550 1426.89/1485.14 c current bound: 72550 1427.20/1485.77 c current bound: 72550 1427.99/1486.32 c current bound: 72550 1428.31/1486.88 c current bound: 72550 1429.09/1487.43 c current bound: 72550 1429.42/1487.98 c current bound: 72550 1430.19/1488.53 c current bound: 72550 1430.51/1489.08 c current bound: 72550 1431.30/1489.63 c current bound: 72550 1431.62/1490.18 c current bound: 72550 1432.42/1490.82 c current bound: 72550 1432.72/1491.38 c current bound: 72550 1433.26/1491.93 c current bound: 72550 1433.82/1492.48 c current bound: 72550 1434.37/1493.03 c current bound: 72550 1434.92/1493.58 c current bound: 72550 1435.46/1494.14 c current bound: 72550 1436.02/1494.69 c current bound: 72550 1436.58/1495.24 c current bound: 72550 1437.12/1495.89 c current bound: 72550 1437.68/1496.44 c current bound: 72550 1438.23/1496.99 c current bound: 72550 1438.77/1497.54 c current bound: 72550 1439.32/1498.09 c current bound: 72550 1439.88/1498.64 c current bound: 72550 1440.43/1499.19 c current bound: 72550 1440.97/1499.74 c current bound: 72550 1441.52/1500.29 c current bound: 72550 1442.07/1500.96 c current bound: 72550 1442.89/1501.51 c current bound: 72550 1443.19/1502.06 c current bound: 72550 1443.98/1502.62 c current bound: 72550 1444.28/1503.17 c current bound: 72550 1445.08/1503.72 c current bound: 72550 1445.39/1504.27 c current bound: 72550 1446.19/1504.82 c current bound: 72550 1446.49/1505.37 c current bound: 72550 1447.31/1506.03 c current bound: 72550 1447.60/1506.58 c current bound: 72550 1448.37/1507.13 c current bound: 72550 1448.70/1507.68 c current bound: 72550 1449.48/1508.23 c current bound: 72550 1449.80/1508.80 c current bound: 72550 1450.59/1509.35 c current bound: 72550 1450.92/1509.90 c current bound: 72550 1451.69/1510.45 c current bound: 72550 1452.03/1511.10 c current bound: 72550 1452.79/1511.65 c current bound: 72550 1453.12/1512.20 c current bound: 72550 1453.87/1512.75 c current bound: 72550 1454.22/1513.30 c current bound: 72550 1454.97/1513.85 c current bound: 72550 1455.32/1514.40 c current bound: 72550 1456.09/1514.95 c current bound: 72550 1456.43/1515.50 c current bound: 72550 1457.23/1516.15 c current bound: 72550 1457.52/1516.71 c current bound: 72550 1458.08/1517.26 c current bound: 72550 1458.64/1517.82 c current bound: 72550 1459.18/1518.37 c current bound: 72550 1459.74/1518.92 c current bound: 72550 1460.28/1519.47 c current bound: 72550 1460.83/1520.02 c current bound: 72550 1461.39/1520.57 c current bound: 72550 1462.22/1521.21 c current bound: 72550 1462.49/1521.76 c current bound: 72550 1463.04/1522.31 c current bound: 72550 1463.60/1522.86 c current bound: 72550 1464.15/1523.41 c current bound: 72550 1464.70/1523.96 c current bound: 72550 1465.25/1524.51 c current bound: 72550 1465.80/1525.06 c current bound: 72550 1466.36/1525.61 c current bound: 72550 1466.90/1526.25 c current bound: 72550 1467.73/1526.80 c current bound: 72550 1468.02/1527.35 c current bound: 72550 1468.85/1527.90 c current bound: 72550 1469.11/1528.45 c current bound: 72550 1469.94/1529.00 c current bound: 72550 1470.22/1529.56 c current bound: 72550 1471.03/1530.11 c current bound: 72550 1471.34/1530.66 c current bound: 72550 1472.13/1531.31 c current bound: 72550 1472.44/1531.86 c current bound: 72550 1473.24/1532.41 c current bound: 72550 1473.54/1532.96 c current bound: 72550 1474.34/1533.51 c current bound: 72550 1474.64/1534.06 c current bound: 72550 1475.44/1534.61 c current bound: 72550 1475.73/1535.17 c current bound: 72550 1476.53/1535.72 c current bound: 72550 1476.84/1536.37 c current bound: 72550 1477.64/1536.92 c current bound: 72550 1477.95/1537.47 c current bound: 72550 1478.73/1538.02 c current bound: 72550 1479.05/1538.57 c current bound: 72550 1479.83/1539.12 c current bound: 72550 1480.16/1539.67 c current bound: 72550 1480.92/1540.22 c current bound: 72550 1481.24/1540.77 c current bound: 72550 1482.06/1541.44 c current bound: 72550 1482.36/1541.99 c current bound: 72550 1482.91/1542.54 c current bound: 72550 1483.47/1543.09 c current bound: 72550 1484.02/1543.65 c current bound: 72550 1484.57/1544.20 c current bound: 72550 1485.13/1544.75 c current bound: 72550 1485.67/1545.31 c current bound: 72550 1486.22/1545.86 c current bound: 72550 1486.78/1546.53 c current bound: 72550 1487.34/1547.08 c current bound: 72550 1487.88/1547.63 c current bound: 72550 1488.43/1548.19 c current bound: 72550 1488.98/1548.73 c current bound: 72550 1489.53/1549.29 c current bound: 72550 1490.09/1549.84 c current bound: 72550 1490.63/1550.39 c current bound: 72550 1491.18/1550.94 c current bound: 72550 1491.73/1551.58 c current bound: 72550 1492.51/1552.13 c current bound: 72550 1492.84/1552.68 c current bound: 72550 1493.63/1553.23 c current bound: 72550 1493.94/1553.79 c current bound: 72550 1494.72/1554.35 c current bound: 72550 1495.04/1554.89 c current bound: 72550 1495.82/1555.44 c current bound: 72550 1496.15/1555.99 c current bound: 72550 1496.95/1556.66 c current bound: 72550 1497.25/1557.21 c current bound: 72550 1498.00/1557.78 c current bound: 72550 1498.36/1558.33 c current bound: 72550 1499.11/1558.88 c current bound: 72550 1499.47/1559.43 c current bound: 72550 1500.20/1559.98 c current bound: 72550 1500.57/1560.53 c current bound: 72550 1501.30/1561.08 c current bound: 72550 1501.67/1561.73 c current bound: 72550 1502.23/1562.28 c current bound: 72550 1502.78/1562.83 c current bound: 72550 1503.32/1563.38 c current bound: 72550 1503.87/1563.94 c current bound: 72550 1504.42/1564.49 c current bound: 72550 1504.97/1565.04 c current bound: 72550 1505.53/1565.59 c current bound: 72550 1506.09/1566.14 c current bound: 72550 1506.63/1566.78 c current bound: 72550 1507.18/1567.33 c current bound: 72550 1507.73/1567.88 c current bound: 72550 1508.28/1568.44 c current bound: 72550 1508.84/1568.99 c current bound: 72550 1509.40/1569.55 c current bound: 72550 1509.95/1570.10 c current bound: 72550 1510.51/1570.65 c current bound: 72550 1511.06/1571.20 c current bound: 72550 1511.61/1571.85 c current bound: 72550 1512.44/1572.40 c current bound: 72550 1512.71/1572.95 c current bound: 72550 1513.53/1573.50 c current bound: 72550 1513.81/1574.05 c current bound: 72550 1514.37/1574.60 c current bound: 72550 1514.93/1575.16 c current bound: 72550 1515.49/1575.71 c current bound: 72550 1516.03/1576.26 c current bound: 72550 1516.57/1576.91 c current bound: 72550 1517.33/1577.47 c current bound: 72550 1517.69/1578.03 c current bound: 72550 1518.42/1578.58 c current bound: 72550 1518.78/1579.13 c current bound: 72550 1519.52/1579.68 c current bound: 72550 1519.88/1580.23 c current bound: 72550 1520.62/1580.78 c current bound: 72550 1520.99/1581.33 c current bound: 72550 1521.80/1581.97 c current bound: 72550 1522.08/1582.52 c current bound: 72550 1522.82/1583.07 c current bound: 72550 1523.18/1583.62 c current bound: 72550 1523.93/1584.17 c current bound: 72550 1524.29/1584.72 c current bound: 72550 1525.03/1585.27 c current bound: 72550 1525.38/1585.83 c current bound: 72550 1526.12/1586.38 c current bound: 72550 1526.49/1587.02 c current bound: 72550 1527.04/1587.58 c current bound: 72550 1527.60/1588.13 c current bound: 72550 1528.16/1588.68 c current bound: 72550 1528.70/1589.23 c current bound: 72550 1529.25/1589.78 c current bound: 72550 1529.81/1590.33 c current bound: 72550 1530.35/1590.88 c current bound: 72550 1530.92/1591.43 c current bound: 72550 1531.44/1592.08 c current bound: 72550 1531.99/1592.64 c current bound: 72550 1532.55/1593.18 c current bound: 72550 1533.10/1593.73 c current bound: 72550 1533.65/1594.29 c current bound: 72550 1534.19/1594.84 c current bound: 72550 1534.75/1595.39 c current bound: 72550 1535.30/1595.95 c current bound: 72550 1535.86/1596.51 c current bound: 72550 1536.41/1597.16 c current bound: 72550 1536.95/1597.71 c current bound: 72550 1537.51/1598.26 c current bound: 72550 1538.06/1598.81 c current bound: 72550 1538.61/1599.37 c current bound: 72550 1539.17/1599.92 c current bound: 72550 1539.73/1600.47 c current bound: 72550 1540.28/1601.02 c current bound: 72550 1540.83/1601.58 c current bound: 72550 1541.65/1602.20 c current bound: 72550 1542.15/1602.77 c current bound: 72550 1542.48/1603.32 c current bound: 72550 1543.23/1603.87 c current bound: 72550 1543.58/1604.42 c current bound: 72550 1544.33/1604.97 c current bound: 72550 1544.69/1605.52 c current bound: 72550 1545.43/1606.07 c current bound: 72550 1545.79/1606.62 c current bound: 72550 1546.59/1607.28 c current bound: 72550 1546.90/1607.83 c current bound: 72550 1547.63/1608.38 c current bound: 72550 1547.99/1608.93 c current bound: 72550 1548.72/1609.48 c current bound: 72550 1549.10/1610.04 c current bound: 72550 1549.83/1610.59 c current bound: 72550 1550.21/1611.15 c current bound: 72550 1551.03/1611.71 c current bound: 72550 1551.33/1612.37 c current bound: 72550 1551.89/1612.92 c current bound: 72550 1552.43/1613.47 c current bound: 72550 1552.97/1614.03 c current bound: 72550 1553.53/1614.57 c current bound: 72550 1554.08/1615.13 c current bound: 72550 1554.64/1615.68 c current bound: 72550 1555.20/1616.24 c current bound: 72550 1555.74/1616.79 c current bound: 72550 1556.30/1617.44 c current bound: 72550 1557.12/1618.00 c current bound: 72550 1557.41/1618.55 c current bound: 72550 1558.23/1619.10 c current bound: 72550 1558.50/1619.65 c current bound: 72550 1559.33/1620.20 c current bound: 72550 1559.61/1620.75 c current bound: 72550 1560.15/1621.30 c current bound: 72550 1560.69/1621.85 c current bound: 72550 1561.24/1622.50 c current bound: 72550 1561.80/1623.05 c current bound: 72550 1562.35/1623.60 c current bound: 72550 1562.89/1624.15 c current bound: 72550 1563.71/1624.70 c current bound: 72550 1563.99/1625.25 c current bound: 72550 1564.82/1625.81 c current bound: 72550 1565.10/1626.36 c current bound: 72550 1565.92/1626.91 c current bound: 72550 1566.20/1627.56 c current bound: 72550 1567.00/1628.12 c current bound: 72550 1567.31/1628.67 c current bound: 72550 1568.10/1629.22 c current bound: 72550 1568.42/1629.77 c current bound: 72550 1569.20/1630.32 c current bound: 72550 1569.51/1630.87 c current bound: 72550 1570.31/1631.42 c current bound: 72550 1570.62/1631.97 c current bound: 72550 1571.42/1632.63 c current bound: 72550 1571.73/1633.18 c current bound: 72550 1572.51/1633.73 c current bound: 72550 1572.83/1634.28 c current bound: 72550 1573.60/1634.83 c current bound: 72550 1573.93/1635.38 c current bound: 72550 1574.70/1635.93 c current bound: 72550 1575.03/1636.48 c current bound: 72550 1575.82/1637.03 c current bound: 72550 1576.14/1637.68 c current bound: 72550 1576.69/1638.24 c current bound: 72550 1577.24/1638.79 c current bound: 72550 1577.79/1639.34 c current bound: 72550 1578.35/1639.89 c current bound: 72550 1578.90/1640.44 c current bound: 72550 1579.44/1641.00 c current bound: 72550 1579.99/1641.55 c current bound: 72550 1580.55/1642.11 c current bound: 72550 1581.11/1642.77 c current bound: 72550 1581.67/1643.32 c current bound: 72550 1582.20/1643.88 c current bound: 72550 1582.76/1644.43 c current bound: 72550 1583.31/1644.98 c current bound: 72550 1583.87/1645.53 c current bound: 72550 1584.42/1646.08 c current bound: 72550 1584.97/1646.63 c current bound: 72550 1585.53/1647.18 c current bound: 72550 1586.32/1647.84 c current bound: 72550 1586.62/1648.39 c current bound: 72550 1587.40/1648.94 c current bound: 72550 1587.73/1649.49 c current bound: 72550 1588.50/1650.04 c current bound: 72550 1589.11/1650.60 c current bound: 72550 1589.61/1651.15 c current bound: 72550 1590.20/1651.70 c current bound: 72550 1590.70/1652.25 c current bound: 72550 1591.04/1652.89 c current bound: 72550 1591.82/1653.44 c current bound: 72550 1592.16/1653.99 c current bound: 72550 1592.93/1654.54 c current bound: 72550 1593.25/1655.09 c current bound: 72550 1594.03/1655.64 c current bound: 72550 1594.36/1656.20 c current bound: 72550 1595.13/1656.75 c current bound: 72550 1595.47/1657.30 c current bound: 72550 1596.29/1657.96 c current bound: 72550 1596.57/1658.51 c current bound: 72550 1597.32/1659.06 c current bound: 72550 1597.68/1659.61 c current bound: 72550 1598.42/1660.16 c current bound: 72550 1598.78/1660.71 c current bound: 72550 1599.53/1661.28 c current bound: 72550 1599.90/1661.83 c current bound: 72550 1600.45/1662.38 c current bound: 72550 1601.01/1663.04 c current bound: 72550 1601.56/1663.59 c current bound: 72550 1602.12/1664.14 c current bound: 72550 1602.67/1664.69 c current bound: 72550 1603.22/1665.25 c current bound: 72550 1604.03/1665.80 c current bound: 72550 1604.32/1666.35 c current bound: 72550 1604.87/1666.90 c current bound: 72550 1605.42/1667.46 c current bound: 72550 1605.98/1668.10 c current bound: 72550 1606.52/1668.66 c current bound: 72550 1607.08/1669.21 c current bound: 72550 1607.62/1669.76 c current bound: 72550 1608.18/1670.31 c current bound: 72550 1608.73/1670.86 c current bound: 72550 1609.29/1671.41 c current bound: 72550 1609.84/1671.96 c current bound: 72550 1610.38/1672.51 c current bound: 72550 1611.18/1673.13 c current bound: 72550 1611.49/1673.68 c current bound: 72550 1612.26/1674.23 c current bound: 72550 1612.59/1674.79 c current bound: 72550 1613.37/1675.34 c current bound: 72550 1613.71/1675.89 c current bound: 72550 1614.48/1676.44 c current bound: 72550 1614.79/1676.99 c current bound: 72550 1615.57/1677.54 c current bound: 72550 1615.90/1678.19 c current bound: 72550 1616.69/1678.74 c current bound: 72550 1617.02/1679.29 c current bound: 72550 1617.80/1679.84 c current bound: 72550 1618.12/1680.39 c current bound: 72550 1618.90/1680.95 c current bound: 72550 1619.24/1681.51 c current bound: 72550 1619.99/1682.06 c current bound: 72550 1620.34/1682.62 c current bound: 72550 1621.16/1683.29 c current bound: 72550 1621.45/1683.84 c current bound: 72550 1622.29/1684.40 c current bound: 72550 1622.57/1684.95 c current bound: 72550 1623.38/1685.50 c current bound: 72550 1623.66/1686.05 c current bound: 72550 1624.22/1686.61 c current bound: 72550 1624.77/1687.17 c current bound: 72550 1625.32/1687.72 c current bound: 72550 1625.89/1688.39 c current bound: 72550 1626.43/1688.94 c current bound: 72550 1626.99/1689.49 c current bound: 72550 1627.55/1690.05 c current bound: 72550 1628.37/1690.60 c current bound: 72550 1628.65/1691.15 c current bound: 72550 1629.20/1691.70 c current bound: 72550 1629.75/1692.25 c current bound: 72550 1630.31/1692.81 c current bound: 72550 1630.85/1693.45 c current bound: 72550 1631.68/1694.00 c current bound: 72550 1631.96/1694.55 c current bound: 72550 1632.78/1695.10 c current bound: 72550 1633.06/1695.66 c current bound: 72550 1633.88/1696.22 c current bound: 72550 1634.18/1696.77 c current bound: 72550 1634.98/1697.32 c current bound: 72550 1635.28/1697.89 c current bound: 72550 1636.10/1698.54 c current bound: 72550 1636.40/1699.09 c current bound: 72550 1637.17/1699.64 c current bound: 72550 1637.49/1700.19 c current bound: 72550 1638.27/1700.74 c current bound: 72550 1638.60/1701.30 c current bound: 72550 1639.37/1701.85 c current bound: 72550 1639.71/1702.40 c current bound: 72550 1640.48/1702.95 c current bound: 72550 1640.82/1703.61 c current bound: 72550 1641.57/1704.17 c current bound: 72550 1641.92/1704.72 c current bound: 72550 1642.66/1705.27 c current bound: 72550 1643.03/1705.84 c current bound: 72550 1643.61/1706.39 c current bound: 72550 1644.14/1706.94 c current bound: 72550 1644.97/1707.50 c current bound: 72550 1645.25/1708.05 c current bound: 72550 1645.80/1708.69 c current bound: 72550 1646.36/1709.24 c current bound: 72550 1646.91/1709.79 c current bound: 72550 1647.45/1710.35 c current bound: 72550 1648.27/1710.90 c current bound: 72550 1648.56/1711.45 c current bound: 72550 1649.10/1712.00 c current bound: 72550 1649.65/1712.55 c current bound: 72550 1650.21/1713.11 c current bound: 72550 1650.76/1713.76 c current bound: 72550 1651.31/1714.31 c current bound: 72550 1651.86/1714.86 c current bound: 72550 1652.41/1715.41 c current bound: 72550 1652.95/1715.96 c current bound: 72550 1653.50/1716.51 c current bound: 72550 1654.06/1717.06 c current bound: 72550 1654.60/1717.61 c current bound: 72550 1655.16/1718.17 c current bound: 72550 1655.72/1718.82 c current bound: 72550 1656.46/1719.37 c current bound: 72550 1656.83/1719.92 c current bound: 72550 1657.56/1720.47 c current bound: 72550 1657.92/1721.02 c current bound: 72550 1658.67/1721.57 c current bound: 72550 1659.03/1722.12 c current bound: 72550 1659.77/1722.67 c current bound: 72550 1660.13/1723.22 c current bound: 72550 1660.94/1723.89 c current bound: 72550 1661.22/1724.44 c current bound: 72550 1661.94/1724.99 c current bound: 72550 1662.33/1725.54 c current bound: 72550 1663.06/1726.09 c current bound: 72550 1663.44/1726.65 c current bound: 72550 1664.24/1727.20 c current bound: 72550 1664.54/1727.75 c current bound: 72550 1665.34/1728.30 c current bound: 72550 1665.64/1728.95 c current bound: 72550 1666.20/1729.51 c current bound: 72550 1666.76/1730.06 c current bound: 72550 1667.30/1730.61 c current bound: 72550 1667.84/1731.16 c current bound: 72550 1668.40/1731.72 c current bound: 72550 1668.95/1732.27 c current bound: 72550 1669.51/1732.82 c current bound: 72550 1670.05/1733.37 c current bound: 72550 1670.60/1734.01 c current bound: 72550 1671.16/1734.56 c current bound: 72550 1671.70/1735.11 c current bound: 72550 1672.26/1735.66 c current bound: 72550 1672.80/1736.21 c current bound: 72550 1673.36/1736.76 c current bound: 72550 1673.90/1737.31 c current bound: 72550 1674.45/1737.86 c current bound: 72550 1674.99/1738.42 c current bound: 72550 1675.55/1739.09 c current bound: 72550 1676.10/1739.64 c current bound: 72550 1676.65/1740.19 c current bound: 72550 1677.20/1740.74 c current bound: 72550 1677.76/1741.29 c current bound: 72550 1678.31/1741.84 c current bound: 72550 1678.86/1742.39 c current bound: 72550 1679.41/1742.94 c current bound: 72550 1679.95/1743.49 c current bound: 72550 1680.51/1744.14 c current bound: 72550 1681.23/1744.69 c current bound: 72550 1681.61/1745.24 c current bound: 72550 1682.33/1745.80 c current bound: 72550 1682.73/1746.34 c current bound: 72550 1683.44/1746.89 c current bound: 72550 1683.82/1747.45 c current bound: 72550 1684.53/1748.00 c current bound: 72550 1684.92/1748.55 c current bound: 72550 1685.75/1749.22 c current bound: 72550 1686.03/1749.77 c current bound: 72550 1686.82/1750.32 c current bound: 72550 1687.12/1750.87 c current bound: 72550 1687.91/1751.42 c current bound: 72550 1688.23/1751.97 c current bound: 72550 1689.02/1752.52 c current bound: 72550 1689.33/1753.07 c current bound: 72550 1690.10/1753.62 c current bound: 72550 1690.41/1754.27 c current bound: 72550 1690.97/1754.83 c current bound: 72550 1691.53/1755.38 c current bound: 72550 1692.07/1755.93 c current bound: 72550 1692.63/1756.48 c current bound: 72550 1693.17/1757.04 c current bound: 72550 1693.72/1757.59 c current bound: 72550 1694.28/1758.15 c current bound: 72550 1694.82/1758.70 c current bound: 72550 1695.39/1759.35 c current bound: 72550 1695.94/1759.90 c current bound: 72550 1696.48/1760.46 c current bound: 72550 1697.03/1761.01 c current bound: 72550 1697.58/1761.56 c current bound: 72550 1698.13/1762.11 c current bound: 72550 1698.69/1762.66 c current bound: 72550 1699.24/1763.21 c current bound: 72550 1699.79/1763.76 c current bound: 72550 1700.60/1764.41 c current bound: 72550 1700.89/1764.96 c current bound: 72550 1701.70/1765.51 c current bound: 72550 1701.99/1766.06 c current bound: 72550 1702.80/1766.61 c current bound: 72550 1703.10/1767.16 c current bound: 72550 1703.90/1767.71 c current bound: 72550 1704.20/1768.26 c current bound: 72550 1705.00/1768.81 c current bound: 72550 1705.29/1769.47 c current bound: 72550 1706.09/1770.02 c current bound: 72550 1706.39/1770.57 c current bound: 72550 1707.19/1771.12 c current bound: 72550 1707.50/1771.66 c current bound: 72550 1708.28/1772.21 c current bound: 72550 1708.58/1772.76 c current bound: 72550 1709.39/1773.31 c current bound: 72550 1709.69/1773.86 c current bound: 72550 1710.50/1774.50 c current bound: 72550 1710.79/1775.05 c current bound: 72550 1711.59/1775.60 c current bound: 72550 1711.89/1776.15 c current bound: 72550 1712.69/1776.70 c current bound: 72550 1713.00/1777.25 c current bound: 72550 1713.81/1777.80 c current bound: 72550 1714.11/1778.35 c current bound: 72550 1714.91/1778.91 c current bound: 72550 1715.20/1779.55 c current bound: 72550 1715.75/1780.10 c current bound: 72550 1716.29/1780.65 c current bound: 72550 1716.85/1781.21 c current bound: 72550 1717.40/1781.76 c current bound: 72550 1717.95/1782.31 c current bound: 72550 1718.50/1782.86 c current bound: 72550 1719.06/1783.41 c current bound: 72550 1719.60/1783.96 c current bound: 72550 1720.16/1784.61 c current bound: 72550 1720.71/1785.16 c current bound: 72550 1721.26/1785.72 c current bound: 72550 1721.81/1786.27 c current bound: 72550 1722.37/1786.83 c current bound: 72550 1722.93/1787.38 c current bound: 72550 1723.47/1787.93 c current bound: 72550 1724.02/1788.49 c current bound: 72550 1724.58/1789.04 c current bound: 72550 1725.14/1789.69 c current bound: 72550 1725.69/1790.24 c current bound: 72550 1726.24/1790.79 c current bound: 72550 1726.78/1791.34 c current bound: 72550 1727.34/1791.89 c current bound: 72550 1727.88/1792.44 c current bound: 72550 1728.72/1793.00 c current bound: 72550 1728.99/1793.56 c current bound: 72550 1729.80/1794.11 c current bound: 72550 1730.09/1794.75 c current bound: 72550 1730.80/1795.30 c current bound: 72550 1731.19/1795.85 c current bound: 72550 1731.91/1796.40 c current bound: 72550 1732.30/1796.95 c current bound: 72550 1733.13/1797.50 c current bound: 72550 1733.40/1798.06 c current bound: 72550 1734.22/1798.61 c current bound: 72550 1734.50/1799.16 c current bound: 72550 1735.32/1799.81 c current bound: 72550 1735.61/1800.36 c current bound: 72550 1736.41/1800.91 c current bound: 72550 1736.71/1801.47 c current bound: 72550 1737.52/1802.02 c current bound: 72550 1737.82/1802.57 c current bound: 72550 1738.62/1803.13 c current bound: 72550 1738.93/1803.68 c current bound: 72550 1739.70/1804.23 c current bound: 72550 1740.31/1804.90 c current bound: 72550 1740.58/1805.45 c current bound: 72550 1741.13/1806.01 c current bound: 72550 1741.69/1806.56 c current bound: 72550 1742.23/1807.12 c current bound: 72550 1742.80/1807.68 c current bound: 72550 1743.36/1808.24 c current bound: 72550 1743.92/1808.79 c current bound: 72550 1744.47/1809.34 c current bound: 72550 1745.02/1810.00 c current bound: 72550 1745.57/1810.55 c current bound: 72550 1746.40/1811.10 c current bound: 72550 1746.67/1811.66 c current bound: 72550 1747.24/1812.21 c current bound: 72550 1747.79/1812.76 c current bound: 72550 1748.35/1813.31 c current bound: 72550 1748.88/1813.86 c current bound: 72550 1749.45/1814.42 c current bound: 72550 1750.27/1815.07 c current bound: 72550 1750.56/1815.62 c current bound: 72550 1751.30/1816.18 c current bound: 72550 1751.67/1816.73 c current bound: 72550 1752.40/1817.28 c current bound: 72550 1752.77/1817.83 c current bound: 72550 1753.51/1818.39 c current bound: 72550 1753.87/1818.94 c current bound: 72550 1754.61/1819.50 c current bound: 72550 1754.98/1820.15 c current bound: 72550 1755.81/1820.70 c current bound: 72550 1756.09/1821.25 c current bound: 72550 1756.90/1821.80 c current bound: 72550 1757.18/1822.35 c current bound: 72550 1757.99/1822.91 c current bound: 72550 1758.30/1823.45 c current bound: 72550 1759.10/1824.01 c current bound: 72550 1759.41/1824.56 c current bound: 72550 1760.23/1825.20 c current bound: 72550 1760.51/1825.75 c current bound: 72550 1761.06/1826.31 c current bound: 72550 1761.62/1826.86 c current bound: 72550 1762.16/1827.41 c current bound: 72550 1762.70/1827.96 c current bound: 72550 1763.26/1828.51 c current bound: 72550 1763.81/1829.06 c current bound: 72550 1764.37/1829.62 c current bound: 72550 1764.92/1830.27 c current bound: 72550 1765.46/1830.83 c current bound: 72550 1766.03/1831.38 c current bound: 72550 1766.57/1831.93 c current bound: 72550 1767.12/1832.48 c current bound: 72550 1767.67/1833.04 c current bound: 72550 1768.22/1833.59 c current bound: 72550 1768.78/1834.14 c current bound: 72550 1769.32/1834.69 c current bound: 72550 1769.86/1835.34 c current bound: 72550 1770.42/1835.89 c current bound: 72550 1770.98/1836.45 c current bound: 72550 1771.54/1837.00 c current bound: 72550 1772.07/1837.56 c current bound: 72550 1772.90/1838.11 c current bound: 72550 1773.19/1838.67 c current bound: 72550 1774.00/1839.22 c current bound: 72550 1774.30/1839.77 c current bound: 72550 1775.10/1840.42 c current bound: 72550 1775.41/1840.97 c current bound: 72550 1776.20/1841.52 c current bound: 72550 1776.51/1842.07 c current bound: 72550 1777.30/1842.62 c current bound: 72550 1777.59/1843.17 c current bound: 72550 1778.40/1843.72 c current bound: 72550 1778.70/1844.27 c current bound: 72550 1779.50/1844.82 c current bound: 72550 1779.81/1845.47 c current bound: 72550 1780.60/1846.02 c current bound: 72550 1780.91/1846.57 c current bound: 72550 1781.69/1847.13 c current bound: 72550 1782.01/1847.68 c current bound: 72550 1782.80/1848.23 c current bound: 72550 1783.12/1848.78 c current bound: 72550 1783.89/1849.33 c current bound: 72550 1784.21/1849.88 c current bound: 72550 1785.01/1850.53 c current bound: 72550 1785.32/1851.08 c current bound: 72550 1785.87/1851.64 c current bound: 72550 1786.42/1852.19 c current bound: 72550 1786.97/1852.74 c current bound: 72550 1787.52/1853.30 c current bound: 72550 1788.09/1853.85 c current bound: 72550 1788.64/1854.40 c current bound: 72550 1789.19/1854.96 c current bound: 72550 1789.75/1855.60 c current bound: 72550 1790.30/1856.15 c current bound: 72550 1790.84/1856.71 c current bound: 72550 1791.39/1857.26 c current bound: 72550 1791.95/1857.81 c current bound: 72550 1792.50/1858.36 c current bound: 72550 1793.05/1858.91 c current bound: 72550 1793.60/1859.46 c current bound: 72550 1794.16/1860.01 c current bound: 72550 1794.70/1860.66 c current bound: 72550 1795.50/1861.21 c current bound: 72550 1795.80/1861.76 c current bound: 72550 1796.61/1862.31 c current bound: 72550 1796.91/1862.86 c current bound: 72550 1797.71/1863.41 c current bound: 72550 1798.01/1863.96 c current bound: 72550 1798.80/1864.51 c current bound: 72550 1799.10/1865.06 c current bound: 72550 1799.91/1865.65 HOME/npSolver-wbo-Itdqb.sh: line 18: 24657 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-3752778-1339213505/watcher-3752778-1339213505 -o /tmp/evaluation-result-3752778-1339213505/solver-3752778-1339213505 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752778-1339213505.wbo 1517387358 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.05 2.00 3/177 24656 /proc/meminfo: memFree=26110164/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [startup+0.105806 s] /proc/loadavg: 2.06 2.05 2.00 3/177 24656 /proc/meminfo: memFree=26110164/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.20025 s] /proc/loadavg: 2.06 2.05 2.00 3/177 24656 /proc/meminfo: memFree=26110164/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300239 s] /proc/loadavg: 2.06 2.05 2.00 3/177 24656 /proc/meminfo: memFree=26110164/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700185 s] /proc/loadavg: 2.06 2.05 2.00 3/177 24656 /proc/meminfo: memFree=26110164/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50023 s] /proc/loadavg: 2.05 2.05 2.00 3/181 24680 /proc/meminfo: memFree=25997648/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=1.35 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 8644 37887 0 0 28 5 66 36 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844793280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 1.35 Current children cumulated vsize (KiB) 32556 [startup+3.10031 s] /proc/loadavg: 2.05 2.05 2.00 3/181 24694 /proc/meminfo: memFree=25929584/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=3 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 14818 83831 0 0 51 8 155 86 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844793280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 32556 [startup+6.30024 s] /proc/loadavg: 2.05 2.05 2.00 3/181 24733 /proc/meminfo: memFree=25658664/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=5.94 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 25117 172040 0 0 90 13 330 161 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844792768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 5.94 Current children cumulated vsize (KiB) 32556 [startup+12.7003 s] /proc/loadavg: 2.04 2.05 2.00 3/182 24818 /proc/meminfo: memFree=24532384/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=12.36 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 49804 345131 0 0 184 25 700 327 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844793280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 32556 [startup+25.5003 s] /proc/loadavg: 2.56 2.16 2.03 2/180 24935 /proc/meminfo: memFree=19648696/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=21.22 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 82732 590161 0 0 310 41 1220 551 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844793280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 21.22 Current children cumulated vsize (KiB) 32556 [startup+51.1065 s] /proc/loadavg: 3.39 2.38 2.11 2/182 25052 /proc/meminfo: memFree=19635252/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=30.57 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) R 24656 24656 7736 0 -1 4202496 117602 856018 0 0 440 57 1766 794 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844795288 4583817 0 0 4096 0 0 0 0 17 7 0 0 0 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 30.57 Current children cumulated vsize (KiB) 32556 heavy processes: %CPU=21 pid=24816 uid=0 cmd= [startup+102.3 s] /proc/loadavg: 3.90 2.70 2.23 3/182 25737 /proc/meminfo: memFree=25616908/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=81.06 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 277411 2266305 0 0 1153 144 4708 2101 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844792768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 [pid=25735] ppid=24657 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/25735/stat : 25735 (cp2_post.sh) S 24657 24656 7736 0 -1 4202496 612 225 0 0 0 0 0 0 20 0 1 0 387486177 9367552 266 33554432000 4194304 5064252 140737059387584 140737059385872 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/25735/statm: 2287 266 225 213 0 72 0 [pid=25737] ppid=25735 vsize=10260 CPUtime=0.13 cores=1,3,5,7 /proc/25737/stat : 25737 (coprocessor) R 25735 24656 7736 0 -1 4202496 2088 0 0 0 9 4 0 0 20 0 1 0 387486178 10506240 1751 33554432000 4194304 6586260 140736575588864 140737059385896 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/25737/statm: 2565 1751 148 584 0 1977 0 Current children cumulated CPU time (s) 81.19 Current children cumulated vsize (KiB) 51964 heavy processes: ############ # WARNING: # current cumulated CPU time (102.89 s) is less than in the last sample (102.89 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (7.62939e-06 s) to the 'lost time'. [startup+125.8 s] /proc/loadavg: 3.47 2.69 2.24 2/184 26016 /proc/meminfo: memFree=24601896/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=102.63 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 297886 2867668 0 0 1459 179 5942 2683 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844792768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 84 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 [pid=26013] ppid=24657 vsize=9148 CPUtime=0.26 cores=1,3,5,7 /proc/26013/stat : 26013 (cp2_post.sh) S 24657 24656 7736 0 -1 4202496 636 3004 0 0 0 0 15 11 20 0 1 0 387488467 9367552 269 33554432000 4194304 5064252 140735956744384 140735956743296 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26013/statm: 2287 269 228 213 0 72 0 [pid=26016] ppid=26013 vsize=16692 CPUtime=0 cores=1,3,5,7 /proc/26016/stat : 26016 (mv) D 26013 24656 7736 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 387488494 17092608 184 33554432000 4194304 4296580 140736429945232 140736429943464 270707080535 0 0 4096 0 18446744071580543392 0 0 17 1 0 0 0 0 0 /proc/26016/statm: 4173 184 154 25 0 73 0 Current children cumulated CPU time (s) 102.89 Current children cumulated vsize (KiB) 58396 [startup+125.9 s] /proc/loadavg: 3.47 2.69 2.24 2/184 26016 /proc/meminfo: memFree=24601896/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=102.89 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 297982 2871574 0 0 1459 179 5957 2694 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844793856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 84 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 102.89 Current children cumulated vsize (KiB) 32556 # ############ [startup+162.3 s] /proc/loadavg: 2.99 2.66 2.25 3/179 26455 /proc/meminfo: memFree=20404656/32873648 swapFree=7376/7376 ################ # More data... # ################ /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 1498552 38225703 0 0 19330 2072 79312 35801 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844793280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 607 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 [pid=9690] ppid=24657 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9690/stat : 9690 (satsolver.sh) S 24657 24656 7736 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387618179 9367552 267 33554432000 4194304 5064252 140734547572672 140734547571584 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/9690/statm: 2287 267 226 213 0 72 0 [pid=9691] ppid=9690 vsize=48016 CPUtime=0.11 cores=1,3,5,7 /proc/9691/stat : 9691 (glucose) R 9690 24656 7736 0 -1 4202496 10276 0 0 0 10 1 0 0 20 0 1 0 387618179 49168384 10995 33554432000 4194304 5208918 140736988034368 140736988032312 4465902 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/9691/statm: 12004 10996 95 248 0 11753 0 Current children cumulated CPU time (s) 1365.26 Current children cumulated vsize (KiB) 89720 [startup+1482.3 s] /proc/loadavg: 1.14 1.04 1.34 2/174 10429 /proc/meminfo: memFree=26935784/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=1423.89 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 1554211 39878893 0 0 20157 2160 82736 37336 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844792768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 607 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 1423.89 Current children cumulated vsize (KiB) 32556 [startup+1542.31 s] /proc/loadavg: 0.97 1.01 1.31 2/175 11185 /proc/meminfo: memFree=26900968/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=1482.91 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 1610386 41536790 0 0 20993 2249 86188 38861 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844792768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 607 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 1482.91 Current children cumulated vsize (KiB) 32556 ############ # WARNING: # current cumulated CPU time (1503.32 s) is less than in the last sample (1503.32 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+1563.1 s] /proc/loadavg: 0.98 1.01 1.31 2/174 11444 /proc/meminfo: memFree=26899724/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=1503.14 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 1629802 42099536 0 0 21282 2280 87372 39380 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844793280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 607 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 [pid=11443] ppid=24657 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/11443/stat : 11443 (satsolver.sh) S 24657 24656 7736 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387632252 9367552 265 33554432000 4194304 5064252 140733799232384 140733799231296 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/11443/statm: 2287 265 226 213 0 72 0 [pid=11444] ppid=11443 vsize=49096 CPUtime=0.18 cores=1,3,5,7 /proc/11444/stat : 11444 (glucose) R 11443 24656 7736 0 -1 4202496 10902 0 0 0 16 2 0 0 20 0 1 0 387632252 50274304 11059 33554432000 4194304 5208918 140734930856640 140734930853160 4607488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/11444/statm: 12274 11059 104 248 0 12023 0 Current children cumulated CPU time (s) 1503.32 Current children cumulated vsize (KiB) 90800 [startup+1563.21 s] /proc/loadavg: 0.98 1.01 1.31 2/174 11444 /proc/meminfo: memFree=26899724/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=1503.32 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 1629811 42111041 0 0 21282 2280 87388 39382 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844792768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 607 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 1503.32 Current children cumulated vsize (KiB) 32556 # ############ [startup+1602.3 s] /proc/loadavg: 0.93 0.99 1.28 2/171 11925 /proc/meminfo: memFree=26948988/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=1541.74 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 1666552 43182182 0 0 21830 2337 89617 40390 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844793280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 607 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 32556 [startup+1662.3 s] /proc/loadavg: 0.91 0.97 1.26 2/174 12677 /proc/meminfo: memFree=26899268/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=1600.45 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 1722211 44830589 0 0 22660 2422 93033 41930 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844792768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 607 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 1600.45 Current children cumulated vsize (KiB) 32556 [startup+1722.3 s] /proc/loadavg: 0.93 0.96 1.24 2/174 13415 /proc/meminfo: memFree=26936072/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=1659.39 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 1778377 46481049 0 0 23498 2511 96452 43478 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844793280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 607 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 1659.39 Current children cumulated vsize (KiB) 32556 [startup+1782.3 s] /proc/loadavg: 0.94 0.95 1.21 2/174 14168 /proc/meminfo: memFree=26899016/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=1717.95 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 1834036 48132527 0 0 24327 2599 99879 44990 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844792768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 607 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 1717.95 Current children cumulated vsize (KiB) 32556 [startup+1842.3 s] /proc/loadavg: 0.91 0.94 1.19 2/174 14906 /proc/meminfo: memFree=26934492/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=1776.86 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 1890202 49780521 0 0 25164 2687 103326 46509 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844793280 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 607 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 Current children cumulated CPU time (s) 1776.86 Current children cumulated vsize (KiB) 32556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1865.6 s] /proc/loadavg: 1.14 0.99 1.20 3/174 15207 /proc/meminfo: memFree=26934964/32873648 swapFree=7376/7376 [pid=24656] ppid=24654 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/24656/stat : 24656 (npSolver-wbo-It) S 24654 24656 7736 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387475960 9367552 275 33554432000 4194304 5064252 140734041187472 140734041186384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24656/statm: 2287 275 233 213 0 72 0 [pid=24657] ppid=24656 vsize=23408 CPUtime=1799.66 cores=1,3,5,7 /proc/24657/stat : 24657 (npSolver-wbo) S 24656 24656 7736 0 -1 4202496 1911736 50428580 0 0 25485 2721 104659 47101 20 0 1 0 387475960 23969792 4903 33554432000 4194304 6006132 140734844801920 140734844792768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 607 0 0 /proc/24657/statm: 5852 4903 176 443 0 5405 0 [pid=15205] ppid=24657 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15205/stat : 15205 (cp2_post.sh) S 24657 24656 7736 0 -1 4202496 612 225 0 0 0 0 0 0 20 0 1 0 387662494 9367552 266 33554432000 4194304 5064252 140734758907936 140734758906224 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/15205/statm: 2287 266 225 213 0 72 0 [pid=15207] ppid=15205 vsize=10260 CPUtime=0.25 cores=1,3,5,7 /proc/15207/stat : 15207 (coprocessor) R 15205 24656 7736 0 -1 4202496 2598 0 0 0 14 11 0 0 20 0 1 0 387662495 10506240 1751 33554432000 4194304 6586260 140734419150160 140734758906248 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0 /proc/15207/statm: 2565 1751 148 584 0 1977 0 Current children cumulated CPU time (s) 1799.91 Current children cumulated vsize (KiB) 51964 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.170113 # lost CPU user time (s): 0.0701294 # lost CPU system time (s): 0.100008 Real time (s): 1865.65 CPU time (s): 1800.13 CPU user time (s): 1301.67 CPU system time (s): 498.458 CPU usage (%): 96.4879 Max. virtual memory (cumulated for all children) (KiB): 90804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1301.6 system time used= 498.358 maximum resident set size= 45592 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52344426 page faults= 0 swaps= 0 block input operations= 0 block output operations= 45145760 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 915863 involuntary context switches= 38784 runsolver used 3.56146 second user time and 10.2024 second system time The end
Begin job on node125 at 2012-06-09 05:45:05 IDJOB=3752778 IDBENCH=79636 IDSOLVER=2336 FILE ID=node125/3752778-1339213505 RUNJOBID= node125-1339206283-7753 PBS_JOBID= 14643891 Free space on /tmp= 68664 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/rover/normalized-rovers02ac_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752778-1339213505/watcher-3752778-1339213505 -o /tmp/evaluation-result-3752778-1339213505/solver-3752778-1339213505 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752778-1339213505.wbo 1517387358 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3f23aa3ca1a467f99a1444f18e90dfdd RANDOM SEED=1517387358 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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 : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 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: 32873648 kB MemFree: 26112104 kB Buffers: 780208 kB Cached: 4174096 kB SwapCached: 1248 kB Active: 5299332 kB Inactive: 494508 kB Active(anon): 828340 kB Inactive(anon): 7424 kB Active(file): 4470992 kB Inactive(file): 487084 kB Unevictable: 7376 kB Mlocked: 7376 kB SwapTotal: 67108856 kB SwapFree: 67102600 kB Dirty: 57772 kB Writeback: 0 kB AnonPages: 800716 kB Mapped: 12004 kB Shmem: 96 kB Slab: 818548 kB SReclaimable: 261128 kB SUnreclaim: 557420 kB KernelStack: 1512 kB PageTables: 5484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1052840 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 524288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 68704 MiB End job on node125 at 2012-06-09 06:16:11