Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1800.39 | 1811.62 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo |
MD5SUM | d7a0ad39836c923faf2776c1a468a22d |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.730888 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 2750 |
Total number of constraints | 105 |
Number of soft constraints | 35 |
Number of constraints which are clauses | 55 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 50 |
Maximum length of a constraint | 55 |
Top cost | 1904 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 1903 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 56 |
Number of bits of the biggest sum of numbers | 6 |
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.16 c run usual solver 1.88/1.97 o 1122 1.88/1.97 c starting approximation 1.88/1.97 c factor = 2 1.88/1.97 c current bound: 561 2.54/2.66 c current bound: 561 3.23/3.34 c current bound: 561 3.92/4.02 c current bound: 561 4.68/4.70 c current bound: 561 4.69/5.39 c current bound: 561 5.95/6.07 c current bound: 561 6.64/6.75 c current bound: 561 7.32/7.53 c current bound: 561 8.00/8.22 c current bound: 561 8.77/8.90 c current bound: 561 9.37/9.58 c current bound: 561 10.06/10.27 c current bound: 561 10.76/10.94 c current bound: 561 11.41/11.62 c current bound: 561 12.09/12.30 c current bound: 561 12.19/12.99 c current bound: 561 13.47/13.68 c current bound: 561 14.15/14.36 c current bound: 561 14.83/15.05 c current bound: 561 15.51/15.73 c current bound: 561 16.25/16.42 c current bound: 561 16.96/17.10 c current bound: 561 17.57/17.79 c current bound: 561 18.25/18.47 c current bound: 561 18.93/19.16 c current bound: 561 19.61/19.84 c current bound: 561 20.29/20.52 c current bound: 561 20.96/21.19 c current bound: 561 21.65/21.88 c current bound: 561 22.33/22.56 c current bound: 561 23.01/23.24 c current bound: 561 23.78/24.21 c current bound: 561 23.80/24.89 c current bound: 561 25.08/25.59 c current bound: 561 25.77/26.28 c current bound: 561 26.46/26.97 c current bound: 561 27.15/27.67 c current bound: 561 27.84/28.36 c current bound: 561 28.54/29.06 c current bound: 561 29.22/29.74 c current bound: 561 29.92/30.44 c current bound: 561 30.61/31.13 c current bound: 561 31.37/31.82 c current bound: 561 31.99/32.51 c current bound: 561 32.64/33.19 c current bound: 561 33.35/33.87 c current bound: 561 34.03/34.55 c current bound: 561 34.72/35.24 c current bound: 561 35.41/35.93 c current bound: 561 36.09/36.61 c current bound: 561 36.18/37.30 c current bound: 561 37.45/37.98 c current bound: 561 38.13/38.66 c current bound: 561 38.82/39.34 c current bound: 561 39.57/40.14 c current bound: 561 40.17/40.82 c current bound: 561 40.95/41.50 c current bound: 561 41.53/42.19 c current bound: 561 42.23/42.86 c current bound: 561 42.88/43.54 c current bound: 561 43.56/44.22 c current bound: 561 44.32/45.05 c current bound: 561 44.95/45.73 c current bound: 561 45.63/46.42 c current bound: 561 46.32/47.11 c current bound: 561 46.98/47.79 c current bound: 561 47.68/48.48 c current bound: 561 48.38/49.16 c current bound: 561 49.05/49.84 c current bound: 561 49.80/50.53 c current bound: 561 50.43/51.22 c current bound: 561 51.12/51.91 c current bound: 561 51.22/52.59 c current bound: 561 52.48/53.26 c current bound: 561 53.16/53.95 c current bound: 561 53.83/54.62 c current bound: 561 54.51/55.39 c current bound: 561 55.20/56.08 c current bound: 561 55.87/56.76 c current bound: 561 56.57/57.45 c current bound: 561 57.26/58.14 c current bound: 561 57.94/58.82 c current bound: 561 58.61/59.49 c current bound: 561 59.28/60.17 c current bound: 561 59.95/60.85 c current bound: 561 60.69/61.54 c current bound: 561 61.32/62.22 c current bound: 561 62.09/62.90 c current bound: 561 62.67/63.58 c current bound: 561 63.37/64.26 c current bound: 561 64.04/64.94 c current bound: 561 64.72/65.62 c current bound: 561 65.48/66.30 c current bound: 561 65.51/66.99 c current bound: 561 66.77/67.68 c current bound: 561 67.45/68.35 c current bound: 561 68.13/69.03 c current bound: 561 68.80/69.71 c current bound: 561 69.47/70.40 c current bound: 561 70.19/71.08 c current bound: 561 70.86/71.76 c current bound: 561 71.55/72.45 c current bound: 561 72.23/73.13 c current bound: 561 72.92/73.82 c current bound: 561 73.69/74.50 c current bound: 561 74.28/75.18 c current bound: 561 74.97/75.86 c current bound: 561 75.72/76.61 c current bound: 561 76.31/77.29 c current bound: 561 77.01/77.98 c current bound: 561 77.68/78.66 c current bound: 561 78.37/79.34 c current bound: 561 79.05/80.01 c current bound: 561 79.83/80.70 c current bound: 561 80.42/81.39 c current bound: 561 81.19/82.14 c current bound: 561 81.79/82.83 c current bound: 561 82.56/83.51 c current bound: 561 82.56/84.19 c current bound: 561 83.81/84.87 c current bound: 561 84.50/85.55 c current bound: 561 85.19/86.23 c current bound: 561 85.88/86.92 c current bound: 561 86.65/87.60 c current bound: 561 87.24/88.28 c current bound: 561 87.92/88.97 c current bound: 561 88.61/89.64 c current bound: 561 89.28/90.33 c current bound: 561 90.04/91.00 c current bound: 561 90.64/91.68 c current bound: 561 91.40/92.43 c current bound: 561 92.00/93.11 c current bound: 561 92.78/93.80 c current bound: 561 93.38/94.48 c current bound: 561 94.03/95.15 c current bound: 561 94.71/95.83 c current bound: 561 95.39/96.51 c current bound: 561 96.18/97.20 c current bound: 561 96.77/97.89 c current bound: 561 97.44/98.56 c current bound: 561 98.12/99.24 c current bound: 561 98.80/99.92 c current bound: 561 99.49/100.61 c current bound: 561 100.26/101.30 c current bound: 561 100.86/101.98 c current bound: 561 101.54/102.65 c current bound: 561 102.26/103.34 c current bound: 561 102.89/104.02 c current bound: 561 103.55/104.69 c current bound: 561 104.25/105.38 c current bound: 561 104.94/106.06 c current bound: 561 105.61/106.74 c current bound: 561 106.28/107.41 c current bound: 561 107.05/108.10 c current bound: 561 107.65/108.79 c current bound: 561 108.33/109.48 c current bound: 561 109.02/110.15 c current bound: 561 109.70/110.83 c current bound: 561 110.36/111.51 c current bound: 561 111.05/112.19 c current bound: 561 111.73/112.87 c current bound: 561 112.41/113.71 c current bound: 561 113.08/114.40 c current bound: 561 113.77/115.08 c current bound: 561 114.45/115.76 c current bound: 561 115.14/116.45 c current bound: 561 115.83/117.13 c current bound: 561 116.51/117.81 c current bound: 561 116.60/118.49 c current bound: 561 117.87/119.17 c current bound: 561 118.57/119.87 c current bound: 561 119.23/120.54 c current bound: 561 119.89/121.22 c current bound: 561 120.67/121.90 c current bound: 561 121.25/122.58 c current bound: 561 121.94/123.26 c current bound: 561 122.61/123.94 c current bound: 561 123.30/124.63 c current bound: 561 124.07/125.31 c current bound: 561 124.08/125.99 c current bound: 561 125.34/126.67 c current bound: 561 126.01/127.34 c current bound: 561 126.69/128.02 c current bound: 561 127.35/128.70 c current bound: 561 128.15/129.43 c current bound: 561 128.73/130.11 c current bound: 561 128.82/130.79 c current bound: 561 130.11/131.48 c current bound: 561 130.77/132.15 c current bound: 561 131.44/132.83 c current bound: 561 132.14/133.52 c current bound: 561 132.79/134.20 c current bound: 561 133.58/134.96 c current bound: 561 134.19/135.64 c current bound: 561 134.91/136.33 c current bound: 561 135.56/137.02 c current bound: 561 136.21/137.69 c current bound: 561 136.90/138.37 c current bound: 561 137.59/139.05 c current bound: 561 138.28/139.73 c current bound: 561 138.96/140.41 c current bound: 561 139.62/141.09 c current bound: 561 140.31/141.77 c current bound: 561 141.00/142.46 c current bound: 561 141.67/143.13 c current bound: 561 142.34/143.81 c current bound: 561 143.12/144.50 c current bound: 561 143.80/145.24 c current bound: 561 144.39/145.92 c current bound: 561 145.07/146.61 c current bound: 561 145.18/147.29 c current bound: 561 146.47/147.98 c current bound: 561 147.15/148.67 c current bound: 561 147.83/149.35 c current bound: 561 148.51/150.04 c current bound: 561 149.20/150.72 c current bound: 561 149.89/151.41 c current bound: 561 149.98/152.09 c current bound: 561 151.23/152.77 c current bound: 561 151.92/153.44 c current bound: 561 152.59/154.13 c current bound: 561 153.28/154.81 c current bound: 561 153.93/155.50 c current bound: 561 154.63/156.18 c current bound: 561 155.33/156.87 c current bound: 561 156.02/157.56 c current bound: 561 156.69/158.24 c current bound: 561 157.38/158.93 c current bound: 561 158.06/159.61 c current bound: 561 158.85/160.30 c current bound: 561 159.43/160.99 c current bound: 561 160.16/161.69 c current bound: 561 160.84/162.38 c current bound: 561 161.54/163.07 c current bound: 561 162.23/163.77 c current bound: 561 162.93/164.46 c current bound: 561 163.62/165.15 c current bound: 561 164.30/165.84 c current bound: 561 164.99/166.59 c current bound: 561 165.68/167.28 c current bound: 561 166.39/167.97 c current bound: 561 167.06/168.65 c current bound: 561 167.79/169.33 c current bound: 561 168.42/170.02 c current bound: 561 169.11/170.71 c current bound: 561 169.81/171.40 c current bound: 561 170.59/172.16 c current bound: 561 171.19/172.85 c current bound: 561 171.87/173.54 c current bound: 561 172.57/174.24 c current bound: 561 173.26/174.92 c current bound: 561 173.35/175.59 c current bound: 561 174.62/176.28 c current bound: 561 175.30/176.97 c current bound: 561 175.98/177.65 c current bound: 561 176.68/178.34 c current bound: 561 177.37/179.04 c current bound: 561 178.07/179.72 c current bound: 561 178.77/180.42 c current bound: 561 179.45/181.10 c current bound: 561 180.11/181.78 c current bound: 561 180.80/182.45 c current bound: 561 181.47/183.13 c current bound: 561 182.16/183.82 c current bound: 561 182.92/184.50 c current bound: 561 183.51/185.18 c current bound: 561 184.21/185.87 c current bound: 561 184.89/186.56 c current bound: 561 185.58/187.25 c current bound: 561 186.26/187.93 c current bound: 561 186.95/188.61 c current bound: 561 187.61/189.29 c current bound: 561 188.29/189.97 c current bound: 561 188.99/190.65 c current bound: 561 189.71/191.33 c current bound: 561 190.34/192.01 c current bound: 561 191.11/192.70 c current bound: 561 191.72/193.38 c current bound: 561 192.40/194.07 c current bound: 561 193.07/194.74 c current bound: 561 193.76/195.43 c current bound: 561 194.43/196.11 c current bound: 561 195.23/196.80 c current bound: 561 195.80/197.48 c current bound: 561 196.48/198.16 c current bound: 561 197.17/198.85 c current bound: 561 197.84/199.53 c current bound: 561 198.53/200.22 c current bound: 561 199.31/200.90 c current bound: 561 199.91/201.58 c current bound: 561 200.59/202.27 c current bound: 561 201.28/202.95 c current bound: 561 201.95/203.64 c current bound: 561 202.65/204.32 c current bound: 561 203.33/205.01 c current bound: 561 204.00/205.69 c current bound: 561 204.67/206.36 c current bound: 561 205.34/207.04 c current bound: 561 206.04/207.76 c current bound: 561 206.72/208.45 c current bound: 561 207.40/209.14 c current bound: 561 208.07/209.81 c current bound: 561 208.75/210.49 c current bound: 561 209.44/211.18 c current bound: 561 210.11/211.85 c current bound: 561 210.79/212.54 c current bound: 561 211.47/213.28 c current bound: 561 212.16/213.96 c current bound: 561 212.84/214.64 c current bound: 561 213.51/215.32 c current bound: 561 214.16/215.99 c current bound: 561 214.88/216.67 c current bound: 561 215.54/217.34 c current bound: 561 216.24/218.03 c current bound: 561 216.92/218.72 c current bound: 561 217.60/219.40 c current bound: 561 218.28/220.08 c current bound: 561 218.96/220.76 c current bound: 561 219.64/221.44 c current bound: 561 220.38/222.13 c current bound: 561 221.01/222.81 c current bound: 561 221.78/223.50 c current bound: 561 222.38/224.18 c current bound: 561 223.05/224.86 c current bound: 561 223.73/225.54 c current bound: 561 224.41/226.22 c current bound: 561 225.10/226.91 c current bound: 561 225.78/227.58 c current bound: 561 226.46/228.27 c current bound: 561 227.14/228.95 c current bound: 561 227.82/229.64 c current bound: 561 228.52/230.32 c current bound: 561 229.21/231.01 c current bound: 561 229.98/231.70 c current bound: 561 230.57/232.39 c current bound: 561 231.26/233.07 c current bound: 561 231.95/233.75 c current bound: 561 232.64/234.44 c current bound: 561 233.31/235.11 c current bound: 561 233.97/235.79 c current bound: 561 234.66/236.48 c current bound: 561 235.36/237.17 c current bound: 561 236.04/237.85 c current bound: 561 236.73/238.54 c current bound: 561 237.39/239.22 c current bound: 561 238.17/239.90 c current bound: 561 238.19/240.59 c current bound: 561 239.45/241.27 c current bound: 561 240.15/241.96 c current bound: 561 240.81/242.63 c current bound: 561 241.48/243.31 c current bound: 561 242.26/244.00 c current bound: 561 242.84/244.67 c current bound: 561 243.52/245.35 c current bound: 561 244.22/246.03 c current bound: 561 244.90/246.72 c current bound: 561 245.66/247.40 c current bound: 561 246.26/248.09 c current bound: 561 246.94/248.76 c current bound: 561 247.62/249.44 c current bound: 561 248.30/250.13 c current bound: 561 249.06/250.81 c current bound: 561 249.08/251.49 c current bound: 561 250.34/252.17 c current bound: 561 251.02/252.85 c current bound: 561 251.70/253.53 c current bound: 561 252.38/254.21 c current bound: 561 253.14/254.97 c current bound: 561 253.74/255.66 c current bound: 561 254.44/256.34 c current bound: 561 255.12/257.03 c current bound: 561 255.88/257.70 c current bound: 561 256.47/258.39 c current bound: 561 257.15/259.07 c current bound: 561 257.83/259.75 c current bound: 561 258.53/260.47 c current bound: 561 259.22/261.16 c current bound: 561 259.91/261.85 c current bound: 561 260.59/262.53 c current bound: 561 261.27/263.21 c current bound: 561 261.94/263.89 c current bound: 561 262.63/264.57 c current bound: 561 263.30/265.24 c current bound: 561 263.98/265.92 c current bound: 561 264.66/266.61 c current bound: 561 265.34/267.29 c current bound: 561 266.03/267.97 c current bound: 561 266.71/268.66 c current bound: 561 267.40/269.35 c current bound: 561 268.08/270.03 c current bound: 561 268.77/270.72 c current bound: 561 269.53/271.40 c current bound: 561 270.13/272.07 c current bound: 561 270.82/272.76 c current bound: 561 271.49/273.44 c current bound: 561 272.17/274.13 c current bound: 561 272.86/274.81 c current bound: 561 273.52/275.49 c current bound: 561 274.22/276.18 c current bound: 561 274.91/276.86 c current bound: 561 275.60/277.55 c current bound: 561 276.31/278.24 c current bound: 561 276.97/278.93 c current bound: 561 277.66/279.62 c current bound: 561 277.77/280.29 c current bound: 561 279.03/280.98 c current bound: 561 279.69/281.65 c current bound: 561 280.38/282.34 c current bound: 561 281.06/283.01 c current bound: 561 281.15/283.69 c current bound: 561 282.41/284.37 c current bound: 561 283.08/285.04 c current bound: 561 283.77/285.72 c current bound: 561 284.53/286.46 c current bound: 561 285.13/287.14 c current bound: 561 285.79/287.82 c current bound: 561 286.48/288.51 c current bound: 561 286.60/289.19 c current bound: 561 287.86/289.88 c current bound: 561 288.54/290.57 c current bound: 561 289.23/291.25 c current bound: 561 289.90/291.93 c current bound: 561 290.60/292.61 c current bound: 561 291.37/293.30 c current bound: 561 291.96/293.98 c current bound: 561 292.65/294.67 c current bound: 561 293.32/295.35 c current bound: 561 294.00/296.02 c current bound: 561 294.76/296.76 c current bound: 561 295.35/297.44 c current bound: 561 296.04/298.12 c current bound: 561 296.80/298.80 c current bound: 561 297.39/299.48 c current bound: 561 298.06/300.15 c current bound: 561 298.74/300.83 c current bound: 561 299.41/301.51 c current bound: 561 300.20/302.22 c current bound: 561 300.88/302.90 c current bound: 561 301.48/303.59 c current bound: 561 302.16/304.27 c current bound: 561 302.83/304.95 c current bound: 561 303.52/305.63 c current bound: 561 304.19/306.31 c current bound: 561 304.88/306.99 c current bound: 561 305.57/307.67 c current bound: 561 306.24/308.35 c current bound: 561 306.95/309.03 c current bound: 561 307.60/309.71 c current bound: 561 308.36/310.40 c current bound: 561 308.96/311.07 c current bound: 561 309.64/311.76 c current bound: 561 310.32/312.44 c current bound: 561 311.00/313.13 c current bound: 561 311.70/313.81 c current bound: 561 311.79/314.50 c current bound: 561 313.06/315.18 c current bound: 561 313.75/315.87 c current bound: 561 314.43/316.55 c current bound: 561 315.11/317.24 c current bound: 561 315.79/317.91 c current bound: 561 316.46/318.59 c current bound: 561 317.15/319.27 c current bound: 561 317.83/319.96 c current bound: 561 318.51/320.64 c current bound: 561 319.19/321.32 c current bound: 561 319.88/322.01 c current bound: 561 320.56/322.68 c current bound: 561 321.24/323.37 c current bound: 561 321.91/324.06 c current bound: 561 322.61/324.74 c current bound: 561 323.29/325.43 c current bound: 561 323.97/326.11 c current bound: 561 324.65/326.79 c current bound: 561 325.33/327.47 c current bound: 561 326.10/328.21 c current bound: 561 326.68/328.90 c current bound: 561 327.37/329.58 c current bound: 561 328.05/330.26 c current bound: 561 328.73/330.94 c current bound: 561 329.42/331.63 c current bound: 561 330.11/332.31 c current bound: 561 330.87/333.00 c current bound: 561 331.47/333.68 c current bound: 561 332.16/334.37 c current bound: 561 332.83/335.06 c current bound: 561 333.53/335.74 c current bound: 561 334.21/336.43 c current bound: 561 334.97/337.10 c current bound: 561 335.56/337.79 c current bound: 561 336.25/338.47 c current bound: 561 336.95/339.16 c current bound: 561 337.66/339.85 c current bound: 561 338.31/340.53 c current bound: 561 339.00/341.22 c current bound: 561 339.68/341.91 c current bound: 561 340.35/342.59 c current bound: 561 341.06/343.28 c current bound: 561 341.74/343.96 c current bound: 561 342.43/344.65 c current bound: 561 343.16/345.33 c current bound: 561 343.79/346.01 c current bound: 561 344.56/346.70 c current bound: 561 345.15/347.38 c current bound: 561 345.83/348.06 c current bound: 561 346.51/348.78 c current bound: 561 347.20/349.46 c current bound: 561 347.88/350.15 c current bound: 561 348.60/350.84 c current bound: 561 349.23/351.51 c current bound: 561 350.02/352.20 c current bound: 561 350.60/352.88 c current bound: 561 351.27/353.55 c current bound: 561 351.96/354.24 c current bound: 561 352.65/354.92 c current bound: 561 353.41/355.60 c current bound: 561 353.99/356.27 c current bound: 561 354.67/356.96 c current bound: 561 355.34/357.63 c current bound: 561 356.04/358.32 c current bound: 561 356.72/359.06 c current bound: 561 357.41/359.75 c current bound: 561 358.09/360.43 c current bound: 561 358.77/361.11 c current bound: 561 358.86/361.80 c current bound: 561 360.13/362.48 c current bound: 561 360.82/363.17 c current bound: 561 361.50/363.85 c current bound: 561 362.18/364.54 c current bound: 561 362.88/365.22 c current bound: 561 363.56/365.91 c current bound: 561 364.23/366.59 c current bound: 561 364.92/367.27 c current bound: 561 365.60/367.96 c current bound: 561 366.30/368.65 c current bound: 561 366.97/369.32 c current bound: 561 367.65/370.01 c current bound: 561 368.33/370.70 c current bound: 561 369.03/371.37 c current bound: 561 369.71/372.06 c current bound: 561 370.39/372.75 c current bound: 561 371.07/373.43 c current bound: 561 371.76/374.12 c current bound: 561 372.53/374.85 c current bound: 561 373.13/375.54 c current bound: 561 373.82/376.23 c current bound: 561 374.50/376.91 c current bound: 561 375.29/377.60 c current bound: 561 375.88/378.28 c current bound: 561 376.55/378.97 c current bound: 561 377.23/379.65 c current bound: 561 377.93/380.33 c current bound: 561 378.61/381.02 c current bound: 561 379.28/381.70 c current bound: 561 379.96/382.38 c current bound: 561 380.66/383.07 c current bound: 561 381.32/383.74 c current bound: 561 382.01/384.43 c current bound: 561 382.70/385.17 c current bound: 561 383.39/385.85 c current bound: 561 384.08/386.54 c current bound: 561 384.75/387.22 c current bound: 561 385.45/387.91 c current bound: 561 386.22/388.60 c current bound: 561 386.82/389.28 c current bound: 561 387.50/389.96 c current bound: 561 388.17/390.64 c current bound: 561 388.85/391.31 c current bound: 561 389.62/392.00 c current bound: 561 390.21/392.68 c current bound: 561 390.90/393.36 c current bound: 561 391.56/394.03 c current bound: 561 392.25/394.72 c current bound: 561 393.02/395.40 c current bound: 561 393.62/396.09 c current bound: 561 394.31/396.78 c current bound: 561 394.99/397.46 c current bound: 561 395.70/398.15 c current bound: 561 396.36/398.83 c current bound: 561 397.05/399.52 c current bound: 561 397.81/400.20 c current bound: 561 398.39/400.89 c current bound: 561 399.10/401.57 c current bound: 561 399.79/402.25 c current bound: 561 400.46/402.94 c current bound: 561 401.19/403.62 c current bound: 561 401.81/404.30 c current bound: 561 402.49/404.98 c current bound: 561 403.18/405.66 c current bound: 561 403.86/406.35 c current bound: 561 404.54/407.04 c current bound: 561 405.23/407.73 c current bound: 561 405.90/408.40 c current bound: 561 406.59/409.08 c current bound: 561 407.26/409.76 c current bound: 561 407.94/410.43 c current bound: 561 408.62/411.15 c current bound: 561 409.29/411.84 c current bound: 561 409.97/412.52 c current bound: 561 410.73/413.20 c current bound: 561 411.33/413.88 c current bound: 561 412.02/414.57 c current bound: 561 412.70/415.25 c current bound: 561 413.39/415.94 c current bound: 561 414.07/416.62 c current bound: 561 414.75/417.31 c current bound: 561 415.43/417.99 c current bound: 561 416.10/418.66 c current bound: 561 416.79/419.34 c current bound: 561 417.46/420.02 c current bound: 561 418.24/420.70 c current bound: 561 418.84/421.39 c current bound: 561 419.52/422.06 c current bound: 561 420.20/422.75 c current bound: 561 420.91/423.43 c current bound: 561 421.55/424.11 c current bound: 561 422.23/424.79 c current bound: 561 422.91/425.46 c current bound: 561 423.57/426.13 c current bound: 561 424.26/426.82 c current bound: 561 424.95/427.50 c current bound: 561 425.61/428.19 c current bound: 561 426.31/428.87 c current bound: 561 426.99/429.56 c current bound: 561 427.66/430.23 c current bound: 561 428.34/430.91 c current bound: 561 429.12/431.60 c current bound: 561 429.70/432.29 c current bound: 561 430.40/432.97 c current bound: 561 431.08/433.66 c current bound: 561 431.75/434.34 c current bound: 561 432.43/435.02 c current bound: 561 433.20/435.70 c current bound: 561 433.80/436.39 c current bound: 561 434.57/437.13 c current bound: 561 435.24/437.81 c current bound: 561 435.94/438.50 c current bound: 561 436.55/439.18 c current bound: 561 437.22/439.87 c current bound: 561 437.89/440.54 c current bound: 561 438.57/441.22 c current bound: 561 439.35/441.90 c current bound: 561 439.95/442.59 c current bound: 561 440.64/443.26 c current bound: 561 441.31/443.95 c current bound: 561 441.97/444.62 c current bound: 561 442.66/445.31 c current bound: 561 443.34/445.98 c current bound: 561 444.02/446.66 c current bound: 561 444.78/447.43 c current bound: 561 445.37/448.11 c current bound: 561 446.05/448.79 c current bound: 561 446.73/449.47 c current bound: 561 447.40/450.15 c current bound: 561 448.09/450.83 c current bound: 561 448.77/451.52 c current bound: 561 449.55/452.20 c current bound: 561 450.13/452.87 c current bound: 561 450.81/453.56 c current bound: 561 451.53/454.24 c current bound: 561 452.17/454.92 c current bound: 561 452.84/455.59 c current bound: 561 453.53/456.27 c current bound: 561 454.21/456.96 c current bound: 561 454.90/457.64 c current bound: 561 455.58/458.33 c current bound: 561 456.34/459.00 c current bound: 561 456.94/459.69 c current bound: 561 457.61/460.37 c current bound: 561 458.31/461.05 c current bound: 561 458.98/461.73 c current bound: 561 459.67/462.41 c current bound: 561 460.43/463.16 c current bound: 561 461.03/463.84 c current bound: 561 461.72/464.52 c current bound: 561 462.48/465.20 c current bound: 561 463.07/465.88 c current bound: 561 463.75/466.57 c current bound: 561 464.42/467.24 c current bound: 561 465.11/467.92 c current bound: 561 465.87/468.60 c current bound: 561 465.88/469.29 c current bound: 561 467.14/469.96 c current bound: 561 467.82/470.64 c current bound: 561 468.48/471.32 c current bound: 561 469.17/471.99 c current bound: 561 469.85/472.67 c current bound: 561 470.63/473.44 c current bound: 561 471.21/474.11 c current bound: 561 471.99/474.80 c current bound: 561 472.58/475.48 c current bound: 561 473.27/476.17 c current bound: 561 473.95/476.85 c current bound: 561 474.64/477.53 c current bound: 561 475.31/478.22 c current bound: 561 476.01/478.90 c current bound: 561 476.69/479.59 c current bound: 561 477.36/480.28 c current bound: 561 478.05/480.96 c current bound: 561 478.74/481.64 c current bound: 561 479.43/482.33 c current bound: 561 480.11/483.02 c current bound: 561 480.87/483.70 c current bound: 561 481.46/484.38 c current bound: 561 482.17/485.07 c current bound: 561 482.83/485.75 c current bound: 561 483.52/486.44 c current bound: 561 484.18/487.11 c current bound: 561 484.95/487.80 c current bound: 561 485.56/488.48 c current bound: 561 486.34/489.24 c current bound: 561 486.93/489.93 c current bound: 561 487.58/490.60 c current bound: 561 488.29/491.28 c current bound: 561 488.96/491.96 c current bound: 561 489.65/492.65 c current bound: 561 490.33/493.33 c current bound: 561 491.09/494.00 c current bound: 561 491.69/494.68 c current bound: 561 492.37/495.36 c current bound: 561 493.08/496.05 c current bound: 561 493.72/496.73 c current bound: 561 494.40/497.41 c current bound: 561 495.19/498.10 c current bound: 561 495.77/498.78 c current bound: 561 496.55/499.53 c current bound: 561 497.13/500.21 c current bound: 561 497.80/500.89 c current bound: 561 498.52/501.58 c current bound: 561 499.18/502.26 c current bound: 561 499.86/502.93 c current bound: 561 500.54/503.62 c current bound: 561 501.30/504.30 c current bound: 561 501.98/505.04 c current bound: 561 502.57/505.72 c current bound: 561 503.26/506.41 c current bound: 561 503.93/507.09 c current bound: 561 504.61/507.77 c current bound: 561 505.30/508.45 c current bound: 561 505.97/509.13 c current bound: 561 506.65/509.81 c current bound: 561 507.33/510.49 c current bound: 561 508.01/511.16 c current bound: 561 508.69/511.85 c current bound: 561 509.42/512.53 c current bound: 561 510.05/513.22 c current bound: 561 510.82/513.90 c current bound: 561 510.84/514.59 c current bound: 561 512.11/515.27 c current bound: 561 512.79/515.96 c current bound: 561 513.46/516.63 c current bound: 561 514.15/517.31 c current bound: 561 514.24/518.00 c current bound: 561 515.50/518.68 c current bound: 561 516.19/519.36 c current bound: 561 516.86/520.04 c current bound: 561 517.56/520.73 c current bound: 561 518.33/521.41 c current bound: 561 518.34/522.09 c current bound: 561 519.61/522.77 c current bound: 561 520.29/523.46 c current bound: 561 520.97/524.14 c current bound: 561 521.66/524.83 c current bound: 561 522.34/525.50 c current bound: 561 523.01/526.19 c current bound: 561 523.71/526.87 c current bound: 561 524.39/527.55 c current bound: 561 525.07/528.24 c current bound: 561 525.75/528.92 c current bound: 561 526.52/529.60 c current bound: 561 527.13/530.29 c current bound: 561 527.90/531.04 c current bound: 561 528.50/531.73 c current bound: 561 529.26/532.41 c current bound: 561 529.85/533.08 c current bound: 561 530.54/533.76 c current bound: 561 531.22/534.44 c current bound: 561 531.90/535.13 c current bound: 561 532.58/535.81 c current bound: 561 532.67/536.50 c current bound: 561 533.94/537.18 c current bound: 561 534.64/537.87 c current bound: 561 535.32/538.55 c current bound: 561 536.00/539.23 c current bound: 561 536.68/539.91 c current bound: 561 537.34/540.59 c current bound: 561 538.13/541.32 c current bound: 561 538.73/542.00 c current bound: 561 539.38/542.69 c current bound: 561 540.10/543.37 c current bound: 561 540.77/544.06 c current bound: 561 541.45/544.74 c current bound: 561 542.14/545.43 c current bound: 561 542.81/546.11 c current bound: 561 543.50/546.79 c current bound: 561 544.19/547.47 c current bound: 561 544.88/548.16 c current bound: 561 545.59/548.85 c current bound: 561 546.23/549.53 c current bound: 561 546.91/550.20 c current bound: 561 547.59/550.88 c current bound: 561 548.27/551.57 c current bound: 561 548.96/552.26 c current bound: 561 549.64/552.94 c current bound: 561 550.31/553.62 c current bound: 561 550.40/554.30 c current bound: 561 551.68/554.97 c current bound: 561 552.35/555.66 c current bound: 561 553.03/556.33 c current bound: 561 553.71/557.08 c current bound: 561 554.38/557.75 c current bound: 561 555.08/558.43 c current bound: 561 555.74/559.11 c current bound: 561 555.84/559.79 c current bound: 561 557.11/560.47 c current bound: 561 557.80/561.16 c current bound: 561 558.49/561.84 c current bound: 561 559.17/562.53 c current bound: 561 559.86/563.21 c current bound: 561 560.63/563.90 c current bound: 561 561.23/564.58 c current bound: 561 561.91/565.26 c current bound: 561 562.58/565.94 c current bound: 561 563.26/566.62 c current bound: 561 563.95/567.37 c current bound: 561 564.64/568.06 c current bound: 561 565.32/568.75 c current bound: 561 566.00/569.43 c current bound: 561 566.68/570.11 c current bound: 561 566.78/570.79 c current bound: 561 568.04/571.48 c current bound: 561 568.73/572.16 c current bound: 561 569.41/572.84 c current bound: 561 570.09/573.52 c current bound: 561 570.85/574.21 c current bound: 561 571.44/574.88 c current bound: 561 572.13/575.57 c current bound: 561 572.82/576.26 c current bound: 561 573.49/576.94 c current bound: 561 574.17/577.62 c current bound: 561 574.87/578.31 c current bound: 561 575.54/578.99 c current bound: 561 576.24/579.67 c current bound: 561 576.91/580.36 c current bound: 561 577.59/581.04 c current bound: 561 578.28/581.73 c current bound: 561 578.95/582.41 c current bound: 561 579.73/583.17 c current bound: 561 580.31/583.85 c current bound: 561 580.99/584.54 c current bound: 561 581.67/585.21 c current bound: 561 582.44/585.90 c current bound: 561 583.04/586.58 c current bound: 561 583.73/587.26 c current bound: 561 584.42/587.95 c current bound: 561 585.08/588.62 c current bound: 561 585.78/589.31 c current bound: 561 586.44/589.99 c current bound: 561 587.14/590.68 c current bound: 561 587.83/591.37 c current bound: 561 588.50/592.04 c current bound: 561 589.17/592.71 c current bound: 561 589.84/593.42 c current bound: 561 590.52/594.09 c current bound: 561 591.20/594.76 c current bound: 561 591.86/595.44 c current bound: 561 592.61/596.13 c current bound: 561 593.24/596.81 c current bound: 561 594.01/597.50 c current bound: 561 594.60/598.17 c current bound: 561 595.29/598.85 c current bound: 561 595.96/599.54 c current bound: 561 596.65/600.22 c current bound: 561 597.40/600.90 c current bound: 561 598.00/601.58 c current bound: 561 598.68/602.26 c current bound: 561 599.36/602.94 c current bound: 561 600.04/603.68 c current bound: 561 600.72/604.36 c current bound: 561 601.40/605.04 c current bound: 561 602.09/605.73 c current bound: 561 602.76/606.41 c current bound: 561 602.86/607.09 c current bound: 561 604.13/607.77 c current bound: 561 604.82/608.46 c current bound: 561 605.48/609.14 c current bound: 561 606.17/609.82 c current bound: 561 606.82/610.50 c current bound: 561 607.53/611.17 c current bound: 561 608.21/611.86 c current bound: 561 608.90/612.54 c current bound: 561 609.58/613.22 c current bound: 561 610.26/613.96 c current bound: 561 610.95/614.64 c current bound: 561 611.60/615.31 c current bound: 561 612.29/615.99 c current bound: 561 612.98/616.68 c current bound: 561 613.66/617.37 c current bound: 561 614.34/618.04 c current bound: 561 615.02/618.73 c current bound: 561 615.71/619.41 c current bound: 561 616.49/620.10 c current bound: 561 617.09/620.79 c current bound: 561 617.78/621.47 c current bound: 561 618.44/622.15 c current bound: 561 619.14/622.84 c current bound: 561 619.81/623.52 c current bound: 561 620.51/624.20 c current bound: 561 621.18/624.89 c current bound: 561 621.87/625.56 c current bound: 561 622.55/626.25 c current bound: 561 623.28/626.93 c current bound: 561 623.90/627.61 c current bound: 561 624.56/628.28 c current bound: 561 625.25/628.95 c current bound: 561 625.93/629.68 c current bound: 561 626.61/630.36 c current bound: 561 627.28/631.04 c current bound: 561 627.97/631.73 c current bound: 561 628.06/632.40 c current bound: 561 629.31/633.07 c current bound: 561 630.00/633.76 c current bound: 561 630.68/634.43 c current bound: 561 631.36/635.11 c current bound: 561 632.02/635.80 c current bound: 561 632.71/636.47 c current bound: 561 633.39/637.16 c current bound: 561 634.07/637.83 c current bound: 561 634.75/638.52 c current bound: 561 635.42/639.19 c current bound: 561 636.19/639.92 c current bound: 561 636.79/640.61 c current bound: 561 637.46/641.29 c current bound: 561 638.15/641.97 c current bound: 561 638.82/642.65 c current bound: 561 639.50/643.33 c current bound: 561 640.19/644.01 c current bound: 561 640.95/644.70 c current bound: 561 641.52/645.36 c current bound: 561 642.20/646.04 c current bound: 561 642.95/646.72 c current bound: 561 643.57/647.41 c current bound: 561 644.25/648.09 c current bound: 561 644.94/648.78 c current bound: 561 645.64/649.47 c current bound: 561 646.41/650.24 c current bound: 561 646.99/650.91 c current bound: 561 647.78/651.60 c current bound: 561 648.36/652.28 c current bound: 561 649.03/652.96 c current bound: 561 649.72/653.64 c current bound: 561 650.41/654.32 c current bound: 561 651.10/655.01 c current bound: 561 651.77/655.69 c current bound: 561 652.46/656.38 c current bound: 561 653.15/657.06 c current bound: 561 653.87/657.74 c current bound: 561 654.50/658.42 c current bound: 561 655.26/659.10 c current bound: 561 655.86/659.78 c current bound: 561 656.54/660.47 c current bound: 561 657.23/661.15 c current bound: 561 657.90/661.82 c current bound: 561 658.59/662.51 c current bound: 561 658.68/663.20 c current bound: 561 659.95/663.88 c current bound: 561 660.64/664.56 c current bound: 561 661.31/665.24 c current bound: 561 662.00/665.93 c current bound: 561 662.68/666.61 c current bound: 561 662.78/667.29 c current bound: 561 664.04/667.97 c current bound: 561 664.72/668.65 c current bound: 561 665.40/669.33 c current bound: 561 666.08/670.02 c current bound: 561 666.77/670.77 c current bound: 561 667.44/671.45 c current bound: 561 668.13/672.14 c current bound: 561 668.81/672.82 c current bound: 561 669.49/673.50 c current bound: 561 669.59/674.19 c current bound: 561 670.87/674.87 c current bound: 561 671.55/675.56 c current bound: 561 672.32/676.30 c current bound: 561 672.93/676.99 c current bound: 561 673.62/677.66 c current bound: 561 674.30/678.35 c current bound: 561 674.98/679.04 c current bound: 561 675.74/679.72 c current bound: 561 676.35/680.41 c current bound: 561 677.12/681.10 c current bound: 561 677.72/681.78 c current bound: 561 678.40/682.46 c current bound: 561 679.08/683.15 c current bound: 561 679.76/683.82 c current bound: 561 680.52/684.50 c current bound: 561 681.11/685.18 c current bound: 561 681.78/685.85 c current bound: 561 682.46/686.53 c current bound: 561 683.22/687.20 c current bound: 561 683.80/687.87 c current bound: 561 684.50/688.56 c current bound: 561 685.17/689.24 c current bound: 561 685.84/689.92 c current bound: 561 686.54/690.60 c current bound: 561 687.20/691.29 c current bound: 561 687.98/692.04 c current bound: 561 688.59/692.73 c current bound: 561 689.33/693.40 c current bound: 561 689.95/694.09 c current bound: 561 690.63/694.77 c current bound: 561 691.32/695.46 c current bound: 561 691.98/696.14 c current bound: 561 692.67/696.82 c current bound: 561 693.43/697.50 c current bound: 561 694.03/698.18 c current bound: 561 694.71/698.86 c current bound: 561 695.44/699.54 c current bound: 561 696.08/700.22 c current bound: 561 696.84/700.90 c current bound: 561 697.44/701.57 c current bound: 561 698.20/702.31 c current bound: 561 698.79/702.98 c current bound: 561 699.47/703.66 c current bound: 561 700.15/704.35 c current bound: 561 700.87/705.03 c current bound: 561 701.51/705.70 c current bound: 561 702.17/706.39 c current bound: 561 702.87/707.07 c current bound: 561 703.56/707.76 c current bound: 561 704.25/708.45 c current bound: 561 704.92/709.12 c current bound: 561 705.70/709.80 c current bound: 561 706.27/710.47 c current bound: 561 706.97/711.16 c current bound: 561 707.63/711.84 c current bound: 561 708.33/712.52 c current bound: 561 709.01/713.21 c current bound: 561 709.70/713.89 c current bound: 561 710.37/714.57 c current bound: 561 711.04/715.24 c current bound: 561 711.74/715.92 c current bound: 561 712.49/716.60 c current bound: 561 713.09/717.29 c current bound: 561 713.86/718.02 c current bound: 561 714.43/718.69 c current bound: 561 715.14/719.37 c current bound: 561 715.81/720.05 c current bound: 561 716.50/720.74 c current bound: 561 717.18/721.43 c current bound: 561 717.87/722.11 c current bound: 561 718.55/722.79 c current bound: 561 719.24/723.47 c current bound: 561 719.91/724.16 c current bound: 561 720.64/724.84 c current bound: 561 721.28/725.53 c current bound: 561 721.95/726.20 c current bound: 561 722.64/726.89 c current bound: 561 723.32/727.57 c current bound: 561 724.01/728.26 c current bound: 561 724.69/728.94 c current bound: 561 725.36/729.62 c current bound: 561 725.46/730.30 c current bound: 561 726.82/731.01 c current bound: 561 727.51/731.70 c current bound: 561 728.11/732.38 c current bound: 561 728.78/733.06 c current bound: 561 729.55/733.81 c current bound: 561 729.57/734.49 c current bound: 561 730.83/735.18 c current bound: 561 731.53/735.86 c current bound: 561 732.20/736.54 c current bound: 561 732.88/737.22 c current bound: 561 733.56/737.90 c current bound: 561 734.22/738.59 c current bound: 561 734.92/739.27 c current bound: 561 735.60/739.95 c current bound: 561 736.28/740.63 c current bound: 561 737.03/741.31 c current bound: 561 737.63/741.98 c current bound: 561 738.32/742.67 c current bound: 561 739.00/743.36 c current bound: 561 739.69/744.04 c current bound: 561 740.37/744.73 c current bound: 561 741.06/745.42 c current bound: 561 741.75/746.10 c current bound: 561 742.43/746.78 c current bound: 561 743.12/747.47 c current bound: 561 743.80/748.16 c current bound: 561 744.48/748.84 c current bound: 561 745.17/749.53 c current bound: 561 745.86/750.22 c current bound: 561 746.63/750.90 c current bound: 561 747.22/751.58 c current bound: 561 747.90/752.26 c current bound: 561 748.60/752.95 c current bound: 561 749.28/753.64 c current bound: 561 749.96/754.32 c current bound: 561 750.64/755.07 c current bound: 561 751.31/755.74 c current bound: 561 751.99/756.41 c current bound: 561 752.65/757.09 c current bound: 561 753.34/757.77 c current bound: 561 754.02/758.45 c current bound: 561 754.71/759.14 c current bound: 561 755.39/759.82 c current bound: 561 756.07/760.50 c current bound: 561 756.76/761.19 c current bound: 561 757.46/761.88 c current bound: 561 758.13/762.55 c current bound: 561 758.79/763.23 c current bound: 561 759.48/763.92 c current bound: 561 760.26/764.60 c current bound: 561 760.85/765.29 c current bound: 561 761.63/766.01 c current bound: 561 762.20/766.70 c current bound: 561 762.90/767.38 c current bound: 561 763.58/768.07 c current bound: 561 764.27/768.75 c current bound: 561 764.96/769.43 c current bound: 561 765.65/770.11 c current bound: 561 766.40/770.85 c current bound: 561 766.99/771.53 c current bound: 561 767.68/772.21 c current bound: 561 768.45/772.90 c current bound: 561 769.06/773.59 c current bound: 561 769.75/774.26 c current bound: 561 770.43/774.95 c current bound: 561 771.10/775.63 c current bound: 561 771.77/776.35 c current bound: 561 772.46/777.04 c current bound: 561 773.14/777.72 c current bound: 561 773.92/778.40 c current bound: 561 774.50/779.08 c current bound: 561 775.18/779.75 c current bound: 561 775.86/780.43 c current bound: 561 776.52/781.10 c current bound: 561 776.62/781.79 c current bound: 561 777.90/782.48 c current bound: 561 778.59/783.16 c current bound: 561 779.26/783.85 c current bound: 561 779.95/784.54 c current bound: 561 780.62/785.21 c current bound: 561 781.29/785.89 c current bound: 561 781.99/786.62 c current bound: 561 782.67/787.30 c current bound: 561 783.34/787.98 c current bound: 561 784.04/788.67 c current bound: 561 784.73/789.35 c current bound: 561 785.41/790.03 c current bound: 561 786.08/790.71 c current bound: 561 786.85/791.40 c current bound: 561 787.53/792.14 c current bound: 561 788.14/792.82 c current bound: 561 788.82/793.51 c current bound: 561 789.50/794.19 c current bound: 561 790.19/794.88 c current bound: 561 790.87/795.56 c current bound: 561 791.55/796.24 c current bound: 561 792.23/796.91 c current bound: 561 793.00/797.60 c current bound: 561 793.60/798.29 c current bound: 561 794.27/798.97 c current bound: 561 794.98/799.64 c current bound: 561 795.62/800.32 c current bound: 561 796.39/801.00 c current bound: 561 796.40/801.69 c current bound: 561 797.68/802.38 c current bound: 561 798.36/803.07 c current bound: 561 799.05/803.75 c current bound: 561 799.75/804.44 c current bound: 561 800.48/805.13 c current bound: 561 801.12/805.83 c current bound: 561 801.81/806.52 c current bound: 561 802.50/807.21 c current bound: 561 803.27/807.96 c current bound: 561 803.88/808.64 c current bound: 561 804.57/809.33 c current bound: 561 805.25/810.01 c current bound: 561 805.91/810.70 c current bound: 561 806.04/811.39 c current bound: 561 807.31/812.08 c current bound: 561 808.00/812.77 c current bound: 561 808.69/813.46 c current bound: 561 809.39/814.16 c current bound: 561 810.08/814.85 c current bound: 561 810.77/815.54 c current bound: 561 811.47/816.23 c current bound: 561 812.16/816.92 c current bound: 561 812.84/817.60 c current bound: 561 812.94/818.30 c current bound: 561 814.31/819.03 c current bound: 561 814.90/819.72 c current bound: 561 815.58/820.41 c current bound: 561 816.37/821.10 c current bound: 561 816.96/821.79 c current bound: 561 817.64/822.47 c current bound: 561 818.32/823.16 c current bound: 561 819.04/823.85 c current bound: 561 819.68/824.53 c current bound: 561 820.36/825.21 c current bound: 561 820.46/825.89 c current bound: 561 821.71/826.58 c current bound: 561 822.40/827.27 c current bound: 561 823.08/827.94 c current bound: 561 823.77/828.64 c current bound: 561 824.51/829.39 c current bound: 561 825.13/830.08 c current bound: 561 825.81/830.77 c current bound: 561 826.50/831.45 c current bound: 561 827.18/832.14 c current bound: 561 827.86/832.83 c current bound: 561 828.61/833.50 c current bound: 561 829.20/834.19 c current bound: 561 829.90/834.88 c current bound: 561 830.59/835.57 c current bound: 561 831.26/836.25 c current bound: 561 831.94/836.93 c current bound: 561 832.62/837.62 c current bound: 561 833.31/838.31 c current bound: 561 833.41/839.00 c current bound: 561 834.67/839.69 c current bound: 561 835.38/840.37 c current bound: 561 836.04/841.06 c current bound: 561 836.74/841.75 c current bound: 561 837.41/842.43 c current bound: 561 838.09/843.12 c current bound: 561 838.78/843.81 c current bound: 561 839.55/844.50 c current bound: 561 840.15/845.18 c current bound: 561 840.84/845.87 c current bound: 561 841.51/846.56 c current bound: 561 842.20/847.25 c current bound: 561 842.88/847.94 c current bound: 561 843.55/848.61 c current bound: 561 844.32/849.30 c current bound: 561 844.92/849.98 c current bound: 561 845.69/850.71 c current bound: 561 846.26/851.39 c current bound: 561 846.94/852.07 c current bound: 561 847.64/852.76 c current bound: 561 848.31/853.44 c current bound: 561 849.00/854.13 c current bound: 561 849.67/854.81 c current bound: 561 850.33/855.48 c current bound: 561 851.11/856.24 c current bound: 561 851.70/856.93 c current bound: 561 852.38/857.62 c current bound: 561 853.14/858.30 c current bound: 561 853.73/858.98 c current bound: 561 854.41/859.66 c current bound: 561 855.09/860.35 c current bound: 561 855.78/861.04 c current bound: 561 856.56/861.80 c current bound: 561 857.15/862.49 c current bound: 561 857.82/863.17 c current bound: 561 858.51/863.86 c current bound: 561 859.24/864.54 c current bound: 561 859.86/865.22 c current bound: 561 860.55/865.91 c current bound: 561 860.64/866.59 c current bound: 561 861.90/867.27 c current bound: 561 862.59/867.96 c current bound: 561 863.28/868.65 c current bound: 561 863.96/869.34 c current bound: 561 864.69/870.03 c current bound: 561 865.32/870.72 c current bound: 561 866.02/871.41 c current bound: 561 866.79/872.16 c current bound: 561 867.40/872.86 c current bound: 561 868.08/873.54 c current bound: 561 868.75/874.23 c current bound: 561 869.43/874.91 c current bound: 561 870.11/875.57 c current bound: 561 870.77/876.25 c current bound: 561 871.45/876.94 c current bound: 561 872.13/877.62 c current bound: 561 872.81/878.32 c current bound: 561 873.51/879.01 c current bound: 561 873.60/879.69 c current bound: 561 874.87/880.38 c current bound: 561 875.56/881.07 c current bound: 561 876.23/881.76 c current bound: 561 876.92/882.45 c current bound: 561 877.61/883.13 c current bound: 561 878.29/883.82 c current bound: 561 879.05/884.50 c current bound: 561 879.06/885.19 c current bound: 561 880.33/885.89 c current bound: 561 881.03/886.57 c current bound: 561 881.69/887.26 c current bound: 561 882.48/888.01 c current bound: 561 882.48/888.70 c current bound: 561 883.74/889.37 c current bound: 561 884.42/890.06 c current bound: 561 885.11/890.74 c current bound: 561 885.79/891.43 c current bound: 561 886.47/892.11 c current bound: 561 887.23/892.80 c current bound: 561 887.83/893.48 c current bound: 561 888.51/894.17 c current bound: 561 889.20/894.86 c current bound: 561 889.88/895.55 c current bound: 561 890.55/896.23 c current bound: 561 891.31/896.90 c current bound: 561 891.92/897.58 c current bound: 561 892.59/898.26 c current bound: 561 893.26/898.94 c current bound: 561 893.94/899.62 c current bound: 561 894.62/900.32 c current bound: 561 895.39/901.00 c current bound: 561 895.41/901.69 c current bound: 561 896.68/902.38 c current bound: 561 897.38/903.06 c current bound: 561 898.12/903.83 c current bound: 561 898.72/904.52 c current bound: 561 898.82/905.20 c current bound: 561 900.07/905.87 c current bound: 561 900.76/906.57 c current bound: 561 901.44/907.24 c current bound: 561 902.11/907.93 c current bound: 561 902.79/908.61 c current bound: 561 903.56/909.35 c current bound: 561 904.16/910.05 c current bound: 561 904.88/910.72 c current bound: 561 905.52/911.41 c current bound: 561 906.17/912.09 c current bound: 561 906.88/912.78 c current bound: 561 907.57/913.47 c current bound: 561 908.25/914.16 c current bound: 561 908.94/914.86 c current bound: 561 909.64/915.55 c current bound: 561 910.35/916.24 c current bound: 561 911.00/916.92 c current bound: 561 911.68/917.61 c current bound: 561 911.77/918.29 c current bound: 561 913.05/918.99 c current bound: 561 913.73/919.68 c current bound: 561 914.41/920.37 c current bound: 561 915.10/921.06 c current bound: 561 915.82/921.75 c current bound: 561 916.47/922.44 c current bound: 561 917.16/923.13 c current bound: 561 917.91/923.80 c current bound: 561 918.51/924.49 c current bound: 561 919.28/925.23 c current bound: 561 919.88/925.91 c current bound: 561 920.56/926.60 c current bound: 561 921.24/927.29 c current bound: 561 921.94/927.97 c current bound: 561 922.62/928.66 c current bound: 561 923.30/929.35 c current bound: 561 923.97/930.02 c current bound: 561 924.72/930.70 c current bound: 561 924.73/931.39 c current bound: 561 926.00/932.07 c current bound: 561 926.72/932.76 c current bound: 561 927.37/933.44 c current bound: 561 928.03/934.11 c current bound: 561 928.81/934.80 c current bound: 561 929.41/935.49 c current bound: 561 930.09/936.17 c current bound: 561 930.75/936.84 c current bound: 561 931.43/937.53 c current bound: 561 932.19/938.21 c current bound: 561 932.89/938.90 c current bound: 561 933.47/939.59 c current bound: 561 934.15/940.27 c current bound: 561 934.84/940.96 c current bound: 561 935.53/941.65 c current bound: 561 936.21/942.34 c current bound: 561 936.91/943.03 c current bound: 561 937.66/943.71 c current bound: 561 937.67/944.39 c current bound: 561 938.94/945.09 c current bound: 561 939.63/945.78 c current bound: 561 940.32/946.48 c current bound: 561 941.01/947.17 c current bound: 561 941.68/947.84 c current bound: 561 942.36/948.53 c current bound: 561 943.09/949.22 c current bound: 561 943.13/949.89 c current bound: 561 944.40/950.59 c current bound: 561 945.07/951.27 c current bound: 561 945.76/951.96 c current bound: 561 946.45/952.65 c current bound: 561 947.12/953.33 c current bound: 561 947.81/954.02 c current bound: 561 948.64/954.71 c current bound: 561 949.17/955.39 c current bound: 561 949.84/956.06 c current bound: 561 950.59/956.82 c current bound: 561 951.20/957.52 c current bound: 561 951.89/958.21 c current bound: 561 951.99/958.89 c current bound: 561 953.25/959.57 c current bound: 561 953.94/960.25 c current bound: 561 954.60/960.94 c current bound: 561 955.29/961.63 c current bound: 561 955.96/962.33 c current bound: 561 956.65/963.01 c current bound: 561 957.42/963.70 c current bound: 561 957.43/964.39 c current bound: 561 958.70/965.08 c current bound: 561 959.39/965.76 c current bound: 561 960.05/966.45 c current bound: 561 960.74/967.13 c current bound: 561 961.42/967.82 c current bound: 561 962.18/968.50 c current bound: 561 962.78/969.19 c current bound: 561 963.47/969.88 c current bound: 561 964.14/970.56 c current bound: 561 964.86/971.25 c current bound: 561 965.59/972.09 c current bound: 561 966.18/972.79 c current bound: 561 966.88/973.48 c current bound: 561 967.56/974.16 c current bound: 561 968.24/974.86 c current bound: 561 968.93/975.55 c current bound: 561 969.62/976.24 c current bound: 561 970.29/976.99 c current bound: 561 970.98/977.68 c current bound: 561 971.66/978.36 c current bound: 561 972.34/979.05 c current bound: 561 973.01/979.73 c current bound: 561 973.69/980.41 c current bound: 561 973.80/981.09 c current bound: 561 975.06/981.77 c current bound: 561 975.73/982.45 c current bound: 561 976.41/983.14 c current bound: 561 977.11/983.84 c current bound: 561 977.78/984.52 c current bound: 561 978.54/985.20 c current bound: 561 979.14/985.88 c current bound: 561 979.82/986.57 c current bound: 561 980.50/987.26 c current bound: 561 981.19/987.95 c current bound: 561 981.87/988.64 c current bound: 561 982.57/989.33 c current bound: 561 983.32/990.01 c current bound: 561 984.00/990.70 c current bound: 561 984.60/991.39 c current bound: 561 985.26/992.06 c current bound: 561 985.96/992.75 c current bound: 561 986.62/993.43 c current bound: 561 987.31/994.11 c current bound: 561 988.08/994.80 c current bound: 561 988.66/995.47 c current bound: 561 989.34/996.16 c current bound: 561 990.03/996.85 c current bound: 561 990.71/997.53 c current bound: 561 991.39/998.22 c current bound: 561 992.09/998.91 c current bound: 561 992.18/999.59 c current bound: 561 993.45/1000.28 c current bound: 561 994.14/1000.97 c current bound: 561 994.81/1001.66 c current bound: 561 995.49/1002.33 c current bound: 561 996.17/1003.07 c current bound: 561 996.85/1003.76 c current bound: 561 997.52/1004.44 c current bound: 561 998.20/1005.12 c current bound: 561 998.97/1005.80 c current bound: 561 999.57/1006.49 c current bound: 561 1000.25/1007.17 c current bound: 561 1000.92/1007.85 c current bound: 561 1001.60/1008.54 c current bound: 561 1002.27/1009.23 c current bound: 561 1002.94/1009.91 c current bound: 561 1003.63/1010.58 c current bound: 561 1004.31/1011.27 c current bound: 561 1005.01/1011.95 c current bound: 561 1005.66/1012.63 c current bound: 561 1006.34/1013.31 c current bound: 561 1007.11/1014.00 c current bound: 561 1007.80/1014.70 c current bound: 561 1008.40/1015.39 c current bound: 561 1009.07/1016.07 c current bound: 561 1009.76/1016.75 c current bound: 561 1010.49/1017.43 c current bound: 561 1011.12/1018.12 c current bound: 561 1011.87/1018.85 c current bound: 561 1012.47/1019.54 c current bound: 561 1013.14/1020.21 c current bound: 561 1013.91/1020.90 c current bound: 561 1014.51/1021.58 c current bound: 561 1015.19/1022.27 c current bound: 561 1015.89/1022.95 c current bound: 561 1016.54/1023.62 c current bound: 561 1017.32/1024.40 c current bound: 561 1017.32/1025.09 c current bound: 561 1018.59/1025.78 c current bound: 561 1019.27/1026.46 c current bound: 561 1019.96/1027.15 c current bound: 561 1020.64/1027.83 c current bound: 561 1021.40/1028.51 c current bound: 561 1021.40/1029.19 c current bound: 561 1022.65/1029.89 c current bound: 561 1023.36/1030.57 c current bound: 561 1024.06/1031.27 c current bound: 561 1024.73/1031.96 c current bound: 561 1025.42/1032.65 c current bound: 561 1026.12/1033.34 c current bound: 561 1026.80/1034.03 c current bound: 561 1027.48/1034.72 c current bound: 561 1028.13/1035.39 c current bound: 561 1028.82/1036.07 c current bound: 561 1029.51/1036.76 c current bound: 561 1030.20/1037.44 c current bound: 561 1030.87/1038.13 c current bound: 561 1031.55/1038.82 c current bound: 561 1032.31/1039.50 c current bound: 561 1033.00/1040.24 c current bound: 561 1033.60/1040.93 c current bound: 561 1034.35/1041.61 c current bound: 561 1035.04/1042.30 c current bound: 561 1035.63/1042.99 c current bound: 561 1036.33/1043.68 c current bound: 561 1037.02/1044.37 c current bound: 561 1037.69/1045.05 c current bound: 561 1038.35/1045.72 c current bound: 561 1039.03/1046.41 c current bound: 561 1039.13/1047.09 c current bound: 561 1040.39/1047.77 c current bound: 561 1041.06/1048.45 c current bound: 561 1041.75/1049.14 c current bound: 561 1042.42/1049.82 c current bound: 561 1043.09/1050.50 c current bound: 561 1043.78/1051.19 c current bound: 561 1044.47/1051.88 c current bound: 561 1045.16/1052.56 c current bound: 561 1045.83/1053.25 c current bound: 561 1046.52/1053.94 c current bound: 561 1047.19/1054.62 c current bound: 561 1047.87/1055.31 c current bound: 561 1048.53/1056.00 c current bound: 561 1049.24/1056.68 c current bound: 561 1049.92/1057.37 c current bound: 561 1050.59/1058.05 c current bound: 561 1051.27/1058.73 c current bound: 561 1051.95/1059.42 c current bound: 561 1052.63/1060.11 c current bound: 561 1053.29/1060.80 c current bound: 561 1053.99/1061.48 c current bound: 561 1054.68/1062.17 c current bound: 561 1055.36/1062.85 c current bound: 561 1056.04/1063.54 c current bound: 561 1056.74/1064.23 c current bound: 561 1057.42/1064.92 c current bound: 561 1058.10/1065.61 c current bound: 561 1058.76/1066.29 c current bound: 561 1059.55/1067.04 c current bound: 561 1060.14/1067.72 c current bound: 561 1060.90/1068.40 c current bound: 561 1060.91/1069.09 c current bound: 561 1062.16/1069.77 c current bound: 561 1062.84/1070.45 c current bound: 561 1063.51/1071.13 c current bound: 561 1064.19/1071.81 c current bound: 561 1064.87/1072.49 c current bound: 561 1065.53/1073.16 c current bound: 561 1066.22/1073.86 c current bound: 561 1066.90/1074.54 c current bound: 561 1067.60/1075.23 c current bound: 561 1068.29/1075.93 c current bound: 561 1068.97/1076.62 c current bound: 561 1069.74/1077.36 c current bound: 561 1070.33/1078.04 c current bound: 561 1070.99/1078.72 c current bound: 561 1071.66/1079.39 c current bound: 561 1072.35/1080.08 c current bound: 561 1073.04/1080.77 c current bound: 561 1073.72/1081.46 c current bound: 561 1074.40/1082.15 c current bound: 561 1075.10/1082.84 c current bound: 561 1075.79/1083.53 c current bound: 561 1076.46/1084.22 c current bound: 561 1077.15/1084.91 c current bound: 561 1077.24/1085.60 c current bound: 561 1078.52/1086.28 c current bound: 561 1079.20/1086.98 c current bound: 561 1079.89/1087.66 c current bound: 561 1080.58/1088.36 c current bound: 561 1081.26/1089.04 c current bound: 561 1081.92/1089.71 c current bound: 561 1082.60/1090.40 c current bound: 561 1082.71/1091.09 c current bound: 561 1083.96/1091.77 c current bound: 561 1084.65/1092.46 c current bound: 561 1085.41/1093.22 c current bound: 561 1086.00/1093.90 c current bound: 561 1086.69/1094.59 c current bound: 561 1087.37/1095.28 c current bound: 561 1088.05/1095.96 c current bound: 561 1088.75/1096.64 c current bound: 561 1089.40/1097.33 c current bound: 561 1090.08/1098.02 c current bound: 561 1090.84/1098.70 c current bound: 561 1091.44/1099.38 c current bound: 561 1092.12/1100.07 c current bound: 561 1092.81/1100.76 c current bound: 561 1093.48/1101.44 c current bound: 561 1094.21/1102.11 c current bound: 561 1094.84/1102.80 c current bound: 561 1095.51/1103.48 c current bound: 561 1096.17/1104.16 c current bound: 561 1096.86/1104.84 c current bound: 561 1097.52/1105.51 c current bound: 561 1098.30/1106.20 c current bound: 561 1098.90/1106.88 c current bound: 561 1099.58/1107.56 c current bound: 561 1100.26/1108.29 c current bound: 561 1100.94/1108.98 c current bound: 561 1101.62/1109.67 c current bound: 561 1102.29/1110.35 c current bound: 561 1102.96/1111.03 c current bound: 561 1103.73/1111.70 c current bound: 561 1104.32/1112.38 c current bound: 561 1104.99/1113.06 c current bound: 561 1105.68/1113.75 c current bound: 561 1106.36/1114.44 c current bound: 561 1107.04/1115.13 c current bound: 561 1107.73/1115.83 c current bound: 561 1108.50/1116.51 c current bound: 561 1109.08/1117.18 c current bound: 561 1109.76/1117.86 c current bound: 561 1110.43/1118.54 c current bound: 561 1111.12/1119.23 c current bound: 561 1111.81/1119.92 c current bound: 561 1112.56/1120.60 c current bound: 561 1113.16/1121.29 c current bound: 561 1113.85/1121.97 c current bound: 561 1114.51/1122.65 c current bound: 561 1115.20/1123.34 c current bound: 561 1115.87/1124.08 c current bound: 561 1116.56/1124.77 c current bound: 561 1117.22/1125.45 c current bound: 561 1117.89/1126.12 c current bound: 561 1118.58/1126.81 c current bound: 561 1119.25/1127.48 c current bound: 561 1119.92/1128.16 c current bound: 561 1120.61/1128.85 c current bound: 561 1121.29/1129.54 c current bound: 561 1121.96/1130.22 c current bound: 561 1122.75/1130.90 c current bound: 561 1123.32/1131.59 c current bound: 561 1124.01/1132.28 c current bound: 561 1124.71/1132.97 c current bound: 561 1125.38/1133.65 c current bound: 561 1126.06/1134.34 c current bound: 561 1126.74/1135.02 c current bound: 561 1127.43/1135.72 c current bound: 561 1127.52/1136.39 c current bound: 561 1128.79/1137.08 c current bound: 561 1129.48/1137.78 c current bound: 561 1130.19/1138.46 c current bound: 561 1130.84/1139.14 c current bound: 561 1131.52/1139.89 c current bound: 561 1132.21/1140.57 c current bound: 561 1132.90/1141.26 c current bound: 561 1133.57/1141.94 c current bound: 561 1134.25/1142.63 c current bound: 561 1134.94/1143.32 c current bound: 561 1135.70/1144.00 c current bound: 561 1135.71/1144.69 c current bound: 561 1136.99/1145.38 c current bound: 561 1137.67/1146.07 c current bound: 561 1138.34/1146.74 c current bound: 561 1139.01/1147.42 c current bound: 561 1139.10/1148.09 c current bound: 561 1140.35/1148.79 c current bound: 561 1141.05/1149.48 c current bound: 561 1141.73/1150.16 c current bound: 561 1142.50/1150.95 c current bound: 561 1143.13/1151.64 c current bound: 561 1143.77/1152.32 c current bound: 561 1144.46/1153.01 c current bound: 561 1145.13/1153.69 c current bound: 561 1145.81/1154.37 c current bound: 561 1146.50/1155.06 c current bound: 561 1147.28/1155.94 c current bound: 561 1147.86/1156.62 c current bound: 561 1148.54/1157.31 c current bound: 561 1148.64/1157.99 c current bound: 561 1149.91/1158.69 c current bound: 561 1150.61/1159.36 c current bound: 561 1151.27/1160.05 c current bound: 561 1152.05/1160.94 c current bound: 561 1152.64/1161.63 c current bound: 561 1153.32/1162.31 c current bound: 561 1154.02/1163.01 c current bound: 561 1154.69/1163.68 c current bound: 561 1155.37/1164.38 c current bound: 561 1156.05/1165.07 c current bound: 561 1156.75/1165.89 c current bound: 561 1157.42/1166.57 c current bound: 561 1158.10/1167.25 c current bound: 561 1158.76/1167.93 c current bound: 561 1159.44/1168.61 c current bound: 561 1160.10/1169.30 c current bound: 561 1160.80/1169.97 c current bound: 561 1161.48/1170.66 c current bound: 561 1162.17/1171.35 c current bound: 561 1162.84/1172.03 c current bound: 561 1163.54/1172.72 c current bound: 561 1164.22/1173.41 c current bound: 561 1164.86/1174.09 c current bound: 561 1165.58/1174.78 c current bound: 561 1166.24/1175.45 c current bound: 561 1166.94/1176.26 c current bound: 561 1167.64/1176.95 c current bound: 561 1168.30/1177.63 c current bound: 561 1168.98/1178.32 c current bound: 561 1169.74/1179.00 c current bound: 561 1170.34/1179.68 c current bound: 561 1171.03/1180.37 c current bound: 561 1171.69/1181.05 c current bound: 561 1172.38/1181.74 c current bound: 561 1173.10/1182.42 c current bound: 561 1173.82/1183.10 c current bound: 561 1174.40/1183.79 c current bound: 561 1175.09/1184.47 c current bound: 561 1175.78/1185.16 c current bound: 561 1176.47/1185.85 c current bound: 561 1177.14/1186.53 c current bound: 561 1177.82/1187.21 c current bound: 561 1177.92/1187.89 c current bound: 561 1179.17/1188.57 c current bound: 561 1179.85/1189.26 c current bound: 561 1180.53/1189.94 c current bound: 561 1181.21/1190.62 c current bound: 561 1181.99/1191.30 c current bound: 561 1182.67/1192.03 c current bound: 561 1183.27/1192.72 c current bound: 561 1184.03/1193.41 c current bound: 561 1184.04/1194.09 c current bound: 561 1185.32/1194.78 c current bound: 561 1185.99/1195.45 c current bound: 561 1186.68/1196.15 c current bound: 561 1187.35/1196.84 c current bound: 561 1188.03/1197.53 c current bound: 561 1188.74/1198.23 c current bound: 561 1189.48/1198.91 c current bound: 561 1190.19/1199.60 c current bound: 561 1190.76/1200.29 c current bound: 561 1191.47/1200.97 c current bound: 561 1192.14/1201.65 c current bound: 561 1192.82/1202.34 c current bound: 561 1193.50/1203.03 c current bound: 561 1194.19/1203.72 c current bound: 561 1194.95/1204.41 c current bound: 561 1195.66/1205.10 c current bound: 561 1196.24/1205.78 c current bound: 561 1196.92/1206.46 c current bound: 561 1197.59/1207.15 c current bound: 561 1198.28/1207.84 c current bound: 561 1198.95/1208.52 c current bound: 561 1199.73/1209.20 c current bound: 561 1200.32/1209.89 c current bound: 561 1201.00/1210.57 c current bound: 561 1201.70/1211.26 c current bound: 561 1202.37/1211.94 c current bound: 561 1203.05/1212.63 c current bound: 561 1203.73/1213.32 c current bound: 561 1204.41/1214.01 c current bound: 561 1205.09/1214.69 c current bound: 561 1205.78/1215.37 c current bound: 561 1206.46/1216.06 c current bound: 561 1207.13/1216.75 c current bound: 561 1207.82/1217.43 c current bound: 561 1208.51/1218.19 c current bound: 561 1209.20/1218.87 c current bound: 561 1209.88/1219.56 c current bound: 561 1210.55/1220.24 c current bound: 561 1211.30/1220.91 c current bound: 561 1212.00/1221.60 c current bound: 561 1212.58/1222.29 c current bound: 561 1213.27/1222.98 c current bound: 561 1213.96/1223.66 c current bound: 561 1214.64/1224.35 c current bound: 561 1215.32/1225.04 c current bound: 561 1216.00/1225.72 c current bound: 561 1216.09/1226.40 c current bound: 561 1217.34/1227.08 c current bound: 561 1218.04/1227.77 c current bound: 561 1218.72/1228.45 c current bound: 561 1219.40/1229.15 c current bound: 561 1220.09/1229.84 c current bound: 561 1220.76/1230.52 c current bound: 561 1221.44/1231.21 c current bound: 561 1222.12/1231.89 c current bound: 561 1222.80/1232.57 c current bound: 561 1223.49/1233.26 c current bound: 561 1224.16/1233.98 c current bound: 561 1224.85/1234.67 c current bound: 561 1225.54/1235.36 c current bound: 561 1226.22/1236.05 c current bound: 561 1226.91/1236.74 c current bound: 561 1227.64/1237.42 c current bound: 561 1228.27/1238.11 c current bound: 561 1229.04/1238.80 c current bound: 561 1229.06/1239.49 c current bound: 561 1230.33/1240.18 c current bound: 561 1231.01/1240.87 c current bound: 561 1231.69/1241.56 c current bound: 561 1232.38/1242.24 c current bound: 561 1233.11/1242.93 c current bound: 561 1233.74/1243.62 c current bound: 561 1234.50/1244.30 c current bound: 561 1234.51/1244.99 c current bound: 561 1235.78/1245.69 c current bound: 561 1236.49/1246.37 c current bound: 561 1237.17/1247.06 c current bound: 561 1237.83/1247.74 c current bound: 561 1238.57/1248.43 c current bound: 561 1239.19/1249.11 c current bound: 561 1239.87/1249.79 c current bound: 561 1240.55/1250.47 c current bound: 561 1241.22/1251.16 c current bound: 561 1241.91/1251.85 c current bound: 561 1242.59/1252.53 c current bound: 561 1243.28/1253.21 c current bound: 561 1243.37/1253.90 c current bound: 561 1244.05/1254.59 c current bound: 561 1245.32/1255.28 c current bound: 561 1245.99/1255.97 c current bound: 561 1246.70/1256.65 c current bound: 561 1247.38/1257.34 c current bound: 561 1248.07/1258.03 c current bound: 561 1248.76/1258.71 c current bound: 561 1248.85/1259.40 c current bound: 561 1250.19/1260.12 c current bound: 561 1250.79/1260.80 c current bound: 561 1250.89/1261.49 c current bound: 561 1252.16/1262.17 c current bound: 561 1252.84/1262.86 c current bound: 561 1253.53/1263.54 c current bound: 561 1254.21/1264.22 c current bound: 561 1254.97/1264.91 c current bound: 561 1254.98/1265.59 c current bound: 561 1256.25/1266.27 c current bound: 561 1256.93/1266.95 c current bound: 561 1257.62/1267.63 c current bound: 561 1258.30/1268.32 c current bound: 561 1258.99/1269.01 c current bound: 561 1259.66/1269.69 c current bound: 561 1260.36/1270.37 c current bound: 561 1261.05/1271.06 c current bound: 561 1261.72/1271.74 c current bound: 561 1262.40/1272.41 c current bound: 561 1263.19/1273.10 c current bound: 561 1263.77/1273.77 c current bound: 561 1264.44/1274.45 c current bound: 561 1265.12/1275.13 c current bound: 561 1265.81/1275.82 c current bound: 561 1266.48/1276.51 c current bound: 561 1267.19/1277.19 c current bound: 561 1267.88/1277.88 c current bound: 561 1268.57/1278.56 c current bound: 561 1269.28/1279.25 c current bound: 561 1269.94/1279.94 c current bound: 561 1270.62/1280.62 c current bound: 561 1271.30/1281.31 c current bound: 561 1272.09/1282.00 c current bound: 561 1272.69/1282.68 c current bound: 561 1273.35/1283.35 c current bound: 561 1274.04/1284.04 c current bound: 561 1274.77/1284.73 c current bound: 561 1275.40/1285.40 c current bound: 561 1276.17/1286.14 c current bound: 561 1276.77/1286.82 c current bound: 561 1277.46/1287.51 c current bound: 561 1278.13/1288.19 c current bound: 561 1278.82/1288.87 c current bound: 561 1279.51/1289.56 c current bound: 561 1280.23/1290.24 c current bound: 561 1280.87/1290.92 c current bound: 561 1281.64/1291.60 c current bound: 561 1282.23/1292.29 c current bound: 561 1282.91/1292.97 c current bound: 561 1283.60/1293.66 c current bound: 561 1284.28/1294.33 c current bound: 561 1284.95/1295.01 c current bound: 561 1285.06/1295.69 c current bound: 561 1286.32/1296.38 c current bound: 561 1286.99/1297.06 c current bound: 561 1287.67/1297.73 c current bound: 561 1288.36/1298.42 c current bound: 561 1289.01/1299.10 c current bound: 561 1289.71/1299.77 c current bound: 561 1290.40/1300.45 c current bound: 561 1291.07/1301.13 c current bound: 561 1291.76/1301.90 c current bound: 561 1292.43/1302.58 c current bound: 561 1293.11/1303.26 c current bound: 561 1293.80/1303.94 c current bound: 561 1294.49/1304.62 c current bound: 561 1295.17/1305.31 c current bound: 561 1295.83/1305.99 c current bound: 561 1296.54/1306.67 c current bound: 561 1297.22/1307.36 c current bound: 561 1297.90/1308.04 c current bound: 561 1298.58/1308.73 c current bound: 561 1299.27/1309.41 c current bound: 561 1299.93/1310.10 c current bound: 561 1300.64/1310.78 c current bound: 561 1301.33/1311.47 c current bound: 561 1302.00/1312.20 c current bound: 561 1302.69/1312.89 c current bound: 561 1303.39/1313.58 c current bound: 561 1304.07/1314.26 c current bound: 561 1304.76/1314.95 c current bound: 561 1305.45/1315.64 c current bound: 561 1306.13/1316.32 c current bound: 561 1306.82/1317.01 c current bound: 561 1306.93/1317.70 c current bound: 561 1308.20/1318.39 c current bound: 561 1308.89/1319.07 c current bound: 561 1309.56/1319.75 c current bound: 561 1310.25/1320.43 c current bound: 561 1311.01/1321.11 c current bound: 561 1311.60/1321.78 c current bound: 561 1312.28/1322.46 c current bound: 561 1312.96/1323.15 c current bound: 561 1313.64/1323.82 c current bound: 561 1314.41/1324.50 c current bound: 561 1314.42/1325.19 c current bound: 561 1315.69/1325.87 c current bound: 561 1316.40/1326.55 c current bound: 561 1317.05/1327.23 c current bound: 561 1317.74/1327.92 c current bound: 561 1318.51/1328.60 c current bound: 561 1319.10/1329.27 c current bound: 561 1319.77/1329.95 c current bound: 561 1320.46/1330.64 c current bound: 561 1321.13/1331.31 c current bound: 561 1321.23/1332.00 c current bound: 561 1322.49/1332.68 c current bound: 561 1323.19/1333.36 c current bound: 561 1323.87/1334.06 c current bound: 561 1324.56/1334.74 c current bound: 561 1325.24/1335.42 c current bound: 561 1325.92/1336.10 c current bound: 561 1326.60/1336.78 c current bound: 561 1327.29/1337.48 c current bound: 561 1327.97/1338.16 c current bound: 561 1328.66/1338.85 c current bound: 561 1329.34/1339.53 c current bound: 561 1330.02/1340.22 c current bound: 561 1330.68/1340.90 c current bound: 561 1330.82/1341.59 c current bound: 561 1332.09/1342.27 c current bound: 561 1332.77/1342.96 c current bound: 561 1333.46/1343.64 c current bound: 561 1334.14/1344.33 c current bound: 561 1334.82/1345.02 c current bound: 561 1335.59/1345.70 c current bound: 561 1336.19/1346.37 c current bound: 561 1336.87/1347.06 c current bound: 561 1337.54/1347.74 c current bound: 561 1338.24/1348.42 c current bound: 561 1338.92/1349.11 c current bound: 561 1339.60/1349.78 c current bound: 561 1340.28/1350.47 c current bound: 561 1340.97/1351.16 c current bound: 561 1341.69/1351.84 c current bound: 561 1342.33/1352.52 c current bound: 561 1343.10/1353.20 c current bound: 561 1343.70/1353.88 c current bound: 561 1344.38/1354.56 c current bound: 561 1345.07/1355.25 c current bound: 561 1345.75/1355.93 c current bound: 561 1346.42/1356.61 c current bound: 561 1346.52/1357.29 c current bound: 561 1347.79/1357.98 c current bound: 561 1348.48/1358.66 c current bound: 561 1349.26/1359.40 c current bound: 561 1349.84/1360.07 c current bound: 561 1350.52/1360.75 c current bound: 561 1351.22/1361.44 c current bound: 561 1351.89/1362.12 c current bound: 561 1351.99/1362.79 c current bound: 561 1353.25/1363.48 c current bound: 561 1353.93/1364.17 c current bound: 561 1354.62/1364.86 c current bound: 561 1355.32/1365.54 c current bound: 561 1356.00/1366.23 c current bound: 561 1356.68/1366.91 c current bound: 561 1357.45/1367.60 c current bound: 561 1358.04/1368.28 c current bound: 561 1358.74/1368.96 c current bound: 561 1359.41/1369.67 c current bound: 561 1360.09/1370.35 c current bound: 561 1360.78/1371.04 c current bound: 561 1361.46/1371.72 c current bound: 561 1362.24/1372.40 c current bound: 561 1362.82/1373.07 c current bound: 561 1363.50/1373.75 c current bound: 561 1364.18/1374.44 c current bound: 561 1364.85/1375.11 c current bound: 561 1365.54/1375.79 c current bound: 561 1366.21/1376.46 c current bound: 561 1366.93/1377.14 c current bound: 561 1367.57/1377.82 c current bound: 561 1368.21/1378.50 c current bound: 561 1368.92/1379.18 c current bound: 561 1369.70/1379.91 c current bound: 561 1370.38/1380.60 c current bound: 561 1370.97/1381.27 c current bound: 561 1371.66/1381.96 c current bound: 561 1372.36/1382.63 c current bound: 561 1373.02/1383.32 c current bound: 561 1373.67/1383.99 c current bound: 561 1374.38/1384.68 c current bound: 561 1375.06/1385.37 c current bound: 561 1375.75/1386.06 c current bound: 561 1376.43/1386.75 c current bound: 561 1377.13/1387.44 c current bound: 561 1377.87/1388.12 c current bound: 561 1378.59/1388.80 c current bound: 561 1379.16/1389.48 c current bound: 561 1379.96/1390.22 c current bound: 561 1380.54/1390.91 c current bound: 561 1381.22/1391.59 c current bound: 561 1381.90/1392.28 c current bound: 561 1382.57/1392.95 c current bound: 561 1383.32/1393.64 c current bound: 561 1383.95/1394.32 c current bound: 561 1384.72/1395.00 c current bound: 561 1385.32/1395.68 c current bound: 561 1386.00/1396.37 c current bound: 561 1386.69/1397.06 c current bound: 561 1387.38/1397.74 c current bound: 561 1388.07/1398.43 c current bound: 561 1388.82/1399.12 c current bound: 561 1389.45/1399.81 c current bound: 561 1390.13/1400.49 c current bound: 561 1390.81/1401.17 c current bound: 561 1391.50/1401.86 c current bound: 561 1392.18/1402.54 c current bound: 561 1392.85/1403.22 c current bound: 561 1393.55/1403.90 c current bound: 561 1393.65/1404.59 c current bound: 561 1394.92/1405.28 c current bound: 561 1395.69/1406.03 c current bound: 561 1396.30/1406.72 c current bound: 561 1396.98/1407.41 c current bound: 561 1397.67/1408.10 c current bound: 561 1398.36/1408.78 c current bound: 561 1399.04/1409.47 c current bound: 561 1399.75/1410.15 c current bound: 561 1400.41/1410.83 c current bound: 561 1401.10/1411.52 c current bound: 561 1401.79/1412.21 c current bound: 561 1402.56/1412.90 c current bound: 561 1403.17/1413.58 c current bound: 561 1403.85/1414.26 c current bound: 561 1404.53/1414.94 c current bound: 561 1405.27/1415.63 c current bound: 561 1405.90/1416.31 c current bound: 561 1406.67/1417.05 c current bound: 561 1407.27/1417.73 c current bound: 561 1407.95/1418.41 c current bound: 561 1408.71/1419.10 c current bound: 561 1409.32/1419.78 c current bound: 561 1410.00/1420.47 c current bound: 561 1410.71/1421.16 c current bound: 561 1411.38/1421.85 c current bound: 561 1412.07/1422.53 c current bound: 561 1412.74/1423.21 c current bound: 561 1413.53/1423.90 c current bound: 561 1414.12/1424.59 c current bound: 561 1414.81/1425.27 c current bound: 561 1415.50/1425.96 c current bound: 561 1416.22/1426.64 c current bound: 561 1416.87/1427.39 c current bound: 561 1417.56/1428.08 c current bound: 561 1418.25/1428.77 c current bound: 561 1418.93/1429.45 c current bound: 561 1419.63/1430.14 c current bound: 561 1420.32/1430.83 c current bound: 561 1420.99/1431.51 c current bound: 561 1421.67/1432.20 c current bound: 561 1422.37/1432.89 c current bound: 561 1423.06/1433.57 c current bound: 561 1423.74/1434.25 c current bound: 561 1424.43/1434.94 c current bound: 561 1425.11/1435.62 c current bound: 561 1425.21/1436.29 c current bound: 561 1426.47/1436.98 c current bound: 561 1427.17/1437.65 c current bound: 561 1427.83/1438.35 c current bound: 561 1428.51/1439.02 c current bound: 561 1429.28/1439.70 c current bound: 561 1429.87/1440.38 c current bound: 561 1430.54/1441.06 c current bound: 561 1431.23/1441.74 c current bound: 561 1431.91/1442.42 c current bound: 561 1432.67/1443.18 c current bound: 561 1433.28/1443.86 c current bound: 561 1433.97/1444.55 c current bound: 561 1434.66/1445.24 c current bound: 561 1435.34/1445.92 c current bound: 561 1436.10/1446.60 c current bound: 561 1436.70/1447.27 c current bound: 561 1437.40/1447.97 c current bound: 561 1438.10/1448.65 c current bound: 561 1438.76/1449.33 c current bound: 561 1439.43/1450.01 c current bound: 561 1440.20/1450.70 c current bound: 561 1440.80/1451.38 c current bound: 561 1441.48/1452.06 c current bound: 561 1442.16/1452.74 c current bound: 561 1442.85/1453.42 c current bound: 561 1443.63/1454.21 c current bound: 561 1443.63/1454.89 c current bound: 561 1444.89/1455.57 c current bound: 561 1445.57/1456.25 c current bound: 561 1446.26/1456.94 c current bound: 561 1446.94/1457.63 c current bound: 561 1447.71/1458.30 c current bound: 561 1448.30/1458.98 c current bound: 561 1449.01/1459.66 c current bound: 561 1449.66/1460.34 c current bound: 561 1450.35/1461.03 c current bound: 561 1451.04/1461.72 c current bound: 561 1451.82/1462.40 c current bound: 561 1452.41/1463.08 c current bound: 561 1453.10/1463.77 c current bound: 561 1453.78/1464.45 c current bound: 561 1454.51/1465.13 c current bound: 561 1455.21/1465.80 c current bound: 561 1455.81/1466.48 c current bound: 561 1456.49/1467.16 c current bound: 561 1457.18/1467.84 c current bound: 561 1457.87/1468.53 c current bound: 561 1458.56/1469.22 c current bound: 561 1459.24/1469.98 c current bound: 561 1459.95/1470.66 c current bound: 561 1460.60/1471.33 c current bound: 561 1461.28/1472.02 c current bound: 561 1462.05/1472.70 c current bound: 561 1462.65/1473.39 c current bound: 561 1463.34/1474.08 c current bound: 561 1464.02/1474.76 c current bound: 561 1464.71/1475.45 c current bound: 561 1465.44/1476.14 c current bound: 561 1466.09/1476.82 c current bound: 561 1466.87/1477.50 c current bound: 561 1466.87/1478.19 c current bound: 561 1468.14/1478.87 c current bound: 561 1468.83/1479.55 c current bound: 561 1469.50/1480.23 c current bound: 561 1470.18/1480.91 c current bound: 561 1470.29/1481.60 c current bound: 561 1471.55/1482.29 c current bound: 561 1472.26/1482.97 c current bound: 561 1472.94/1483.66 c current bound: 561 1473.63/1484.35 c current bound: 561 1474.30/1485.03 c current bound: 561 1475.07/1485.70 c current bound: 561 1475.66/1486.39 c current bound: 561 1476.36/1487.07 c current bound: 561 1477.03/1487.75 c current bound: 561 1477.72/1488.44 c current bound: 561 1478.41/1489.12 c current bound: 561 1479.09/1489.81 c current bound: 561 1479.75/1490.50 c current bound: 561 1480.46/1491.18 c current bound: 561 1481.16/1491.87 c current bound: 561 1481.83/1492.55 c current bound: 561 1482.52/1493.24 c current bound: 561 1483.22/1493.93 c current bound: 561 1483.89/1494.60 c current bound: 561 1484.56/1495.29 c current bound: 561 1485.35/1496.02 c current bound: 561 1485.94/1496.71 c current bound: 561 1486.62/1497.39 c current bound: 561 1487.31/1498.09 c current bound: 561 1488.01/1498.78 c current bound: 561 1488.69/1499.46 c current bound: 561 1489.39/1500.15 c current bound: 561 1490.06/1500.84 c current bound: 561 1490.76/1501.52 c current bound: 561 1491.53/1502.20 c current bound: 561 1492.13/1502.89 c current bound: 561 1492.81/1503.57 c current bound: 561 1493.50/1504.26 c current bound: 561 1494.17/1504.94 c current bound: 561 1494.85/1505.61 c current bound: 561 1495.61/1506.30 c current bound: 561 1496.23/1506.99 c current bound: 561 1496.91/1507.68 c current bound: 561 1497.59/1508.36 c current bound: 561 1498.27/1509.04 c current bound: 561 1498.96/1509.73 c current bound: 561 1499.66/1510.42 c current bound: 561 1500.42/1511.10 c current bound: 561 1501.01/1511.78 c current bound: 561 1501.70/1512.47 c current bound: 561 1502.38/1513.16 c current bound: 561 1503.08/1513.84 c current bound: 561 1503.78/1514.53 c current bound: 561 1504.45/1515.22 c current bound: 561 1505.13/1515.91 c current bound: 561 1505.81/1516.58 c current bound: 561 1506.59/1517.32 c current bound: 561 1507.16/1518.00 c current bound: 561 1507.28/1518.69 c current bound: 561 1508.55/1519.38 c current bound: 561 1509.25/1520.06 c current bound: 561 1509.93/1520.74 c current bound: 561 1510.61/1521.43 c current bound: 561 1511.29/1522.11 c current bound: 561 1512.07/1522.80 c current bound: 561 1512.67/1523.47 c current bound: 561 1513.33/1524.15 c current bound: 561 1514.01/1524.83 c current bound: 561 1514.70/1525.52 c current bound: 561 1515.39/1526.21 c current bound: 561 1516.07/1526.89 c current bound: 561 1516.76/1527.58 c current bound: 561 1517.44/1528.27 c current bound: 561 1518.16/1528.95 c current bound: 561 1518.81/1529.64 c current bound: 561 1519.52/1530.33 c current bound: 561 1520.20/1531.01 c current bound: 561 1520.86/1531.69 c current bound: 561 1521.56/1532.38 c current bound: 561 1522.33/1533.15 c current bound: 561 1522.93/1533.83 c current bound: 561 1523.61/1534.52 c current bound: 561 1524.30/1535.21 c current bound: 561 1524.98/1535.89 c current bound: 561 1525.66/1536.56 c current bound: 561 1526.35/1537.25 c current bound: 561 1527.02/1537.93 c current bound: 561 1527.71/1538.61 c current bound: 561 1528.47/1539.30 c current bound: 561 1529.09/1539.99 c current bound: 561 1529.77/1540.67 c current bound: 561 1530.46/1541.36 c current bound: 561 1531.14/1542.05 c current bound: 561 1531.84/1542.73 c current bound: 561 1532.53/1543.42 c current bound: 561 1533.21/1544.11 c current bound: 561 1533.86/1544.79 c current bound: 561 1534.57/1545.48 c current bound: 561 1535.25/1546.17 c current bound: 561 1535.95/1546.85 c current bound: 561 1536.63/1547.53 c current bound: 561 1537.30/1548.21 c current bound: 561 1538.09/1548.96 c current bound: 561 1538.67/1549.64 c current bound: 561 1539.36/1550.32 c current bound: 561 1540.06/1551.02 c current bound: 561 1540.74/1551.71 c current bound: 561 1541.42/1552.38 c current bound: 561 1542.11/1553.07 c current bound: 561 1542.78/1553.75 c current bound: 561 1543.46/1554.43 c current bound: 561 1544.16/1555.12 c current bound: 561 1544.93/1555.80 c current bound: 561 1545.52/1556.49 c current bound: 561 1546.21/1557.17 c current bound: 561 1546.91/1557.86 c current bound: 561 1547.60/1558.55 c current bound: 561 1548.29/1559.24 c current bound: 561 1548.98/1559.93 c current bound: 561 1549.67/1560.63 c current bound: 561 1550.37/1561.32 c current bound: 561 1551.04/1562.00 c current bound: 561 1551.17/1562.70 c current bound: 561 1552.44/1563.38 c current bound: 561 1553.12/1564.06 c current bound: 561 1553.89/1564.82 c current bound: 561 1554.49/1565.51 c current bound: 561 1555.28/1566.20 c current bound: 561 1555.97/1566.90 c current bound: 561 1556.57/1567.59 c current bound: 561 1557.27/1568.28 c current bound: 561 1557.96/1568.98 c current bound: 561 1558.72/1569.78 c current bound: 561 1559.34/1570.46 c current bound: 561 1560.02/1571.16 c current bound: 561 1560.73/1571.84 c current bound: 561 1561.40/1572.53 c current bound: 561 1562.09/1573.23 c current bound: 561 1562.77/1573.91 c current bound: 561 1563.56/1574.60 c current bound: 561 1564.15/1575.28 c current bound: 561 1564.83/1575.96 c current bound: 561 1565.53/1576.66 c current bound: 561 1566.26/1577.34 c current bound: 561 1566.89/1578.03 c current bound: 561 1567.59/1578.72 c current bound: 561 1568.28/1579.41 c current bound: 561 1569.06/1580.16 c current bound: 561 1569.66/1580.85 c current bound: 561 1570.35/1581.54 c current bound: 561 1571.05/1582.24 c current bound: 561 1571.74/1582.92 c current bound: 561 1572.42/1583.61 c current bound: 561 1573.21/1584.30 c current bound: 561 1573.80/1584.99 c current bound: 561 1574.50/1585.78 c current bound: 561 1575.19/1586.47 c current bound: 561 1575.87/1587.16 c current bound: 561 1576.55/1587.84 c current bound: 561 1577.24/1588.53 c current bound: 561 1577.93/1589.21 c current bound: 561 1578.59/1589.89 c current bound: 561 1579.29/1590.58 c current bound: 561 1579.95/1591.26 c current bound: 561 1580.65/1591.94 c current bound: 561 1581.32/1592.62 c current bound: 561 1582.09/1593.30 c current bound: 561 1582.67/1593.98 c current bound: 561 1583.37/1594.66 c current bound: 561 1584.06/1595.35 c current bound: 561 1584.78/1596.03 c current bound: 561 1585.41/1596.71 c current bound: 561 1586.08/1597.38 c current bound: 561 1586.75/1598.06 c current bound: 561 1587.44/1598.74 c current bound: 561 1588.14/1599.43 c current bound: 561 1588.81/1600.11 c current bound: 561 1589.47/1600.79 c current bound: 561 1590.17/1601.48 c current bound: 561 1590.86/1602.16 c current bound: 561 1591.54/1602.83 c current bound: 561 1592.22/1603.52 c current bound: 561 1592.86/1604.19 c current bound: 561 1593.56/1604.87 c current bound: 561 1594.24/1605.55 c current bound: 561 1594.92/1606.23 c current bound: 561 1595.62/1606.92 c current bound: 561 1596.38/1607.60 c current bound: 561 1596.97/1608.28 c current bound: 561 1597.65/1608.96 c current bound: 561 1598.33/1609.64 c current bound: 561 1599.07/1610.33 c current bound: 561 1599.70/1611.01 c current bound: 561 1600.46/1611.70 c current bound: 561 1601.05/1612.37 c current bound: 561 1601.73/1613.06 c current bound: 561 1602.41/1613.74 c current bound: 561 1603.09/1614.42 c current bound: 561 1603.86/1615.10 c current bound: 561 1604.45/1615.77 c current bound: 561 1605.12/1616.46 c current bound: 561 1605.81/1617.14 c current bound: 561 1606.50/1617.82 c current bound: 561 1607.26/1618.50 c current bound: 561 1607.85/1619.18 c current bound: 561 1608.53/1619.87 c current bound: 561 1609.21/1620.54 c current bound: 561 1609.90/1621.29 c current bound: 561 1610.57/1621.97 c current bound: 561 1611.25/1622.65 c current bound: 561 1611.95/1623.33 c current bound: 561 1612.62/1624.01 c current bound: 561 1613.30/1624.69 c current bound: 561 1613.98/1625.38 c current bound: 561 1614.66/1626.06 c current bound: 561 1615.34/1626.74 c current bound: 561 1616.02/1627.43 c current bound: 561 1616.71/1628.11 c current bound: 561 1617.39/1628.78 c current bound: 561 1618.05/1629.45 c current bound: 561 1618.77/1630.15 c current bound: 561 1619.43/1630.83 c current bound: 561 1620.11/1631.52 c current bound: 561 1620.80/1632.21 c current bound: 561 1621.47/1632.89 c current bound: 561 1622.16/1633.57 c current bound: 561 1622.85/1634.26 c current bound: 561 1623.53/1634.95 c current bound: 561 1624.27/1635.63 c current bound: 561 1624.92/1636.32 c current bound: 561 1625.68/1637.00 c current bound: 561 1626.28/1637.68 c current bound: 561 1626.96/1638.37 c current bound: 561 1627.65/1639.05 c current bound: 561 1628.33/1639.73 c current bound: 561 1629.00/1640.41 c current bound: 561 1629.10/1641.10 c current bound: 561 1630.37/1641.78 c current bound: 561 1631.04/1642.46 c current bound: 561 1631.74/1643.15 c current bound: 561 1632.41/1643.82 c current bound: 561 1633.17/1644.50 c current bound: 561 1633.77/1645.19 c current bound: 561 1634.43/1645.86 c current bound: 561 1635.11/1646.55 c current bound: 561 1635.79/1647.23 c current bound: 561 1636.51/1647.92 c current bound: 561 1636.60/1648.59 c current bound: 561 1637.86/1649.27 c current bound: 561 1638.56/1649.95 c current bound: 561 1639.22/1650.64 c current bound: 561 1639.90/1651.31 c current bound: 561 1640.66/1652.00 c current bound: 561 1641.27/1652.68 c current bound: 561 1641.95/1653.37 c current bound: 561 1642.63/1654.04 c current bound: 561 1643.30/1654.72 c current bound: 561 1643.40/1655.40 c current bound: 561 1644.66/1656.08 c current bound: 561 1645.33/1656.76 c current bound: 561 1646.03/1657.45 c current bound: 561 1646.71/1658.18 c current bound: 561 1647.39/1658.87 c current bound: 561 1648.06/1659.55 c current bound: 561 1648.73/1660.22 c current bound: 561 1648.84/1660.89 c current bound: 561 1650.09/1661.57 c current bound: 561 1650.78/1662.26 c current bound: 561 1651.45/1662.93 c current bound: 561 1652.14/1663.62 c current bound: 561 1652.81/1664.29 c current bound: 561 1653.49/1664.97 c current bound: 561 1654.16/1665.64 c current bound: 561 1654.84/1666.32 c current bound: 561 1655.60/1667.00 c current bound: 561 1656.19/1667.67 c current bound: 561 1656.97/1668.41 c current bound: 561 1657.65/1669.10 c current bound: 561 1658.25/1669.79 c current bound: 561 1658.93/1670.47 c current bound: 561 1659.62/1671.16 c current bound: 561 1660.31/1671.85 c current bound: 561 1660.99/1672.53 c current bound: 561 1661.67/1673.21 c current bound: 561 1662.45/1673.90 c current bound: 561 1663.05/1674.58 c current bound: 561 1663.74/1675.27 c current bound: 561 1664.41/1675.95 c current bound: 561 1665.08/1676.63 c current bound: 561 1665.84/1677.30 c current bound: 561 1666.45/1677.98 c current bound: 561 1667.12/1678.67 c current bound: 561 1667.80/1679.35 c current bound: 561 1668.48/1680.03 c current bound: 561 1669.23/1680.72 c current bound: 561 1669.94/1681.40 c current bound: 561 1670.52/1682.08 c current bound: 561 1671.19/1682.75 c current bound: 561 1671.87/1683.43 c current bound: 561 1672.64/1684.17 c current bound: 561 1673.24/1684.86 c current bound: 561 1673.91/1685.54 c current bound: 561 1674.66/1686.23 c current bound: 561 1675.29/1686.91 c current bound: 561 1675.95/1687.59 c current bound: 561 1676.66/1688.27 c current bound: 561 1677.33/1688.95 c current bound: 561 1678.01/1689.63 c current bound: 561 1678.68/1690.31 c current bound: 561 1679.35/1690.99 c current bound: 561 1680.04/1691.67 c current bound: 561 1680.74/1692.35 c current bound: 561 1681.41/1693.04 c current bound: 561 1682.10/1693.72 c current bound: 561 1682.86/1694.40 c current bound: 561 1683.46/1695.09 c current bound: 561 1684.14/1695.77 c current bound: 561 1684.83/1696.45 c current bound: 561 1685.50/1697.14 c current bound: 561 1686.18/1697.82 c current bound: 561 1686.96/1698.50 c current bound: 561 1687.55/1699.19 c current bound: 561 1688.33/1699.93 c current bound: 561 1688.92/1700.62 c current bound: 561 1689.03/1701.29 c current bound: 561 1690.29/1701.98 c current bound: 561 1690.97/1702.66 c current bound: 561 1691.66/1703.35 c current bound: 561 1692.34/1704.03 c current bound: 561 1693.02/1704.71 c current bound: 561 1693.80/1705.42 c current bound: 561 1694.48/1706.10 c current bound: 561 1694.49/1706.79 c current bound: 561 1695.77/1707.47 c current bound: 561 1696.46/1708.16 c current bound: 561 1697.14/1708.84 c current bound: 561 1697.81/1709.53 c current bound: 561 1698.50/1710.21 c current bound: 561 1699.27/1710.96 c current bound: 561 1699.88/1711.64 c current bound: 561 1700.56/1712.33 c current bound: 561 1701.31/1713.00 c current bound: 561 1701.91/1713.68 c current bound: 561 1702.58/1714.36 c current bound: 561 1703.26/1715.04 c current bound: 561 1703.96/1715.73 c current bound: 561 1704.65/1716.42 c current bound: 561 1705.30/1717.10 c current bound: 561 1706.00/1717.77 c current bound: 561 1706.68/1718.46 c current bound: 561 1707.36/1719.14 c current bound: 561 1708.06/1719.83 c current bound: 561 1708.75/1720.51 c current bound: 561 1709.50/1721.26 c current bound: 561 1710.09/1721.93 c current bound: 561 1710.76/1722.61 c current bound: 561 1711.43/1723.29 c current bound: 561 1712.12/1723.96 c current bound: 561 1712.81/1724.64 c current bound: 561 1713.47/1725.32 c current bound: 561 1714.13/1725.97 c current bound: 561 1714.81/1726.66 c current bound: 561 1715.50/1727.33 c current bound: 561 1716.24/1728.00 c current bound: 561 1716.84/1728.69 c current bound: 561 1717.53/1729.37 c current bound: 561 1718.21/1730.05 c current bound: 561 1718.89/1730.74 c current bound: 561 1719.58/1731.43 c current bound: 561 1720.26/1732.11 c current bound: 561 1720.91/1732.79 c current bound: 561 1721.63/1733.48 c current bound: 561 1722.31/1734.16 c current bound: 561 1722.99/1734.84 c current bound: 561 1723.68/1735.52 c current bound: 561 1724.37/1736.21 c current bound: 561 1725.13/1736.95 c current bound: 561 1725.72/1737.63 c current bound: 561 1726.41/1738.32 c current bound: 561 1726.49/1739.00 c current bound: 561 1727.76/1739.67 c current bound: 561 1728.44/1740.36 c current bound: 561 1729.13/1741.04 c current bound: 561 1729.80/1741.71 c current bound: 561 1730.46/1742.40 c current bound: 561 1731.17/1743.08 c current bound: 561 1731.85/1743.77 c current bound: 561 1732.52/1744.44 c current bound: 561 1733.21/1745.13 c current bound: 561 1733.89/1745.81 c current bound: 561 1734.00/1746.49 c current bound: 561 1735.26/1747.18 c current bound: 561 1735.96/1747.87 c current bound: 561 1736.64/1748.56 c current bound: 561 1737.32/1749.24 c current bound: 561 1738.00/1749.92 c current bound: 561 1738.76/1750.60 c current bound: 561 1739.36/1751.28 c current bound: 561 1740.05/1751.97 c current bound: 561 1740.74/1752.65 c current bound: 561 1741.46/1753.34 c current bound: 561 1742.09/1754.02 c current bound: 561 1742.85/1754.70 c current bound: 561 1743.45/1755.38 c current bound: 561 1744.12/1756.06 c current bound: 561 1744.82/1756.75 c current bound: 561 1745.50/1757.43 c current bound: 561 1746.17/1758.16 c current bound: 561 1746.90/1758.84 c current bound: 561 1747.54/1759.53 c current bound: 561 1748.31/1760.20 c current bound: 561 1748.90/1760.88 c current bound: 561 1749.58/1761.57 c current bound: 561 1750.25/1762.25 c current bound: 561 1750.95/1762.93 c current bound: 561 1751.63/1763.62 c current bound: 561 1751.73/1764.30 c current bound: 561 1752.99/1764.97 c current bound: 561 1753.66/1765.64 c current bound: 561 1754.34/1766.32 c current bound: 561 1755.10/1767.00 c current bound: 561 1755.70/1767.69 c current bound: 561 1756.39/1768.37 c current bound: 561 1757.08/1769.06 c current bound: 561 1757.75/1769.73 c current bound: 561 1758.43/1770.42 c current bound: 561 1759.10/1771.09 c current bound: 561 1759.77/1771.77 c current bound: 561 1760.46/1772.45 c current bound: 561 1761.20/1773.14 c current bound: 561 1761.84/1773.88 c current bound: 561 1762.53/1774.57 c current bound: 561 1763.21/1775.26 c current bound: 561 1763.90/1775.94 c current bound: 561 1764.58/1776.62 c current bound: 561 1765.27/1777.30 c current bound: 561 1765.93/1777.98 c current bound: 561 1766.64/1778.66 c current bound: 561 1767.31/1779.35 c current bound: 561 1768.00/1780.04 c current bound: 561 1768.67/1780.71 c current bound: 561 1769.44/1781.40 c current bound: 561 1770.04/1782.08 c current bound: 561 1770.72/1782.76 c current bound: 561 1771.40/1783.45 c current bound: 561 1772.14/1784.12 c current bound: 561 1772.84/1784.80 c current bound: 561 1773.45/1785.48 c current bound: 561 1774.13/1786.17 c current bound: 561 1774.82/1786.85 c current bound: 561 1775.49/1787.52 c current bound: 561 1775.58/1788.19 c current bound: 561 1776.84/1788.88 c current bound: 561 1777.63/1789.62 c current bound: 561 1778.21/1790.31 c current bound: 561 1778.88/1790.98 c current bound: 561 1779.58/1791.67 c current bound: 561 1780.25/1792.35 c current bound: 561 1780.94/1793.04 c current bound: 561 1781.62/1793.73 c current bound: 561 1782.31/1794.41 c current bound: 561 1783.08/1795.17 c current bound: 561 1783.67/1795.84 c current bound: 561 1784.35/1796.53 c current bound: 561 1785.03/1797.21 c current bound: 561 1785.81/1797.90 c current bound: 561 1786.41/1798.59 c current bound: 561 1787.09/1799.27 c current bound: 561 1787.77/1799.95 c current bound: 561 1788.50/1800.63 c current bound: 561 1789.13/1801.31 c current bound: 561 1789.80/1801.99 c current bound: 561 1790.47/1802.66 c current bound: 561 1791.15/1803.35 c current bound: 561 1791.85/1804.03 c current bound: 561 1792.51/1804.70 c current bound: 561 1793.30/1805.42 c current bound: 561 1793.30/1806.10 c current bound: 561 1794.58/1806.79 c current bound: 561 1795.26/1807.47 c current bound: 561 1795.95/1808.16 c current bound: 561 1796.63/1808.85 c current bound: 561 1797.31/1809.52 c current bound: 561 1798.09/1810.20 c current bound: 561 1798.77/1810.94 c current bound: 561 1799.43/1811.62 HOME/npSolver-wbo-Itdqb.sh: line 18: 31165 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-3715670-1338181922/watcher-3715670-1338181922 -o /tmp/evaluation-result-3715670-1338181922/solver-3715670-1338181922 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715670-1338181922.wbo 1257284574 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.08 2.01 1.93 3/179 31164 /proc/meminfo: memFree=28910344/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [startup+0.0864679 s] /proc/loadavg: 2.08 2.01 1.93 3/179 31164 /proc/meminfo: memFree=28910344/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100324 s] /proc/loadavg: 2.08 2.01 1.93 3/179 31164 /proc/meminfo: memFree=28910344/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300264 s] /proc/loadavg: 2.08 2.01 1.93 3/179 31164 /proc/meminfo: memFree=28910344/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700236 s] /proc/loadavg: 2.08 2.01 1.93 3/179 31164 /proc/meminfo: memFree=28910344/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50043 s] /proc/loadavg: 2.08 2.01 1.93 3/183 31168 /proc/meminfo: memFree=28865348/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=6364 CPUtime=0.15 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 2941 0 0 0 15 0 0 0 20 0 1 0 284317243 6516736 1103 33554432000 4194304 5990268 140736962626128 140736962619280 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/31165/statm: 1591 1103 156 439 0 1148 0 [pid=31167] ppid=31165 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31167/stat : 31167 (cp2_pre.sh) S 31165 31164 18846 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284317260 9367552 277 33554432000 4194304 5064252 140734066674256 140734066672960 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31167/statm: 2287 277 234 213 0 72 0 [pid=31168] ppid=31167 vsize=50760 CPUtime=1.32 cores=1,3,5,7 /proc/31168/stat : 31168 (coprocessor) R 31167 31164 18846 0 -1 4202496 10539 0 0 0 123 9 0 0 20 0 1 0 284317260 51978240 11677 33554432000 4194304 6586260 140735095855776 140735095851032 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 /proc/31168/statm: 12690 11677 197 584 0 12102 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 75420 [startup+3.10023 s] /proc/loadavg: 2.08 2.01 1.93 3/183 31178 /proc/meminfo: memFree=28883456/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=2.66 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 4306 30257 0 0 19 8 218 21 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 Current children cumulated CPU time (s) 2.66 Current children cumulated vsize (KiB) 18048 [startup+6.30035 s] /proc/loadavg: 2.08 2.01 1.93 3/181 31218 /proc/meminfo: memFree=28908660/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=6.06 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 7771 81484 0 0 24 9 534 39 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 Current children cumulated CPU time (s) 6.06 Current children cumulated vsize (KiB) 18048 [startup+12.7002 s] /proc/loadavg: 2.07 2.01 1.93 3/183 31283 /proc/meminfo: memFree=28883960/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=12.19 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 14008 173051 0 0 33 10 1102 74 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 Current children cumulated CPU time (s) 12.19 Current children cumulated vsize (KiB) 18048 [startup+25.5004 s] /proc/loadavg: 2.06 2.01 1.93 3/183 31465 /proc/meminfo: memFree=28666164/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=25.08 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 26491 358107 0 0 52 14 2298 144 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 Current children cumulated CPU time (s) 25.08 Current children cumulated vsize (KiB) 18048 [startup+51.1004 s] /proc/loadavg: 2.12 2.02 1.93 3/183 31779 /proc/meminfo: memFree=28774676/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=49.85 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 52123 723966 0 0 90 21 4589 285 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 Current children cumulated CPU time (s) 49.85 Current children cumulated vsize (KiB) 18048 [startup+102.307 s] /proc/loadavg: 1.98 2.00 1.93 3/183 32490 /proc/meminfo: memFree=28768856/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=100.95 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 104098 1477561 0 0 168 35 9326 566 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 [pid=32489] ppid=31165 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32489/stat : 32489 (satsolver.sh) S 31165 31164 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284327442 9367552 267 33554432000 4194304 5064252 140737391875872 140737391874784 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/32489/statm: 2287 267 226 213 0 72 0 [pid=32490] ppid=32489 vsize=20364 CPUtime=0.3 cores=1,3,5,7 /proc/32490/stat : 32490 (glucose) R 32489 31164 18846 0 -1 4202496 3879 0 0 0 30 0 0 0 20 0 1 0 284327442 20852736 4151 33554432000 4194304 5208918 140733424238176 140733424236024 4229199 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/32490/statm: 5091 4151 103 248 0 4840 0 Current children cumulated CPU time (s) 101.25 Current children cumulated vsize (KiB) 47560 ############ # WARNING: # current cumulated CPU time (149.98 s) is less than in the last sample (150.44 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.460007 s) to the 'lost time'. [startup+151.9 s] /proc/loadavg: 1.99 2.00 1.93 3/181 715 /proc/meminfo: memFree=28840468/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=149.98 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 153994 2198945 0 0 243 48 13875 832 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 [pid=712] ppid=31165 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/712/stat : 712 (satsolver.sh) S 31165 31164 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284332385 9367552 267 33554432000 4194304 5064252 140733229638944 140733229637856 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/712/statm: 2287 267 226 213 0 72 0 [pid=713] ppid=712 vsize=17808 CPUtime=0.46 cores=1,3,5,7 /proc/713/stat : 713 (glucose) R 712 31164 18846 0 -1 4202496 4423 0 0 0 46 0 0 0 20 0 1 0 284332385 18235392 3972 33554432000 4194304 5208918 140736890155952 140733229637880 4228924 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/713/statm: 4452 3972 104 248 0 4201 0 Current children cumulated CPU time (s) 150.44 Current children cumulated vsize (KiB) 45004 [startup+152 s] /proc/loadavg: 1.99 2.00 1.93 3/181 715 /proc/meminfo: memFree=28840468/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=149.98 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 153994 2198945 0 0 243 48 13875 832 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 [pid=712] ppid=31165 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/712/stat : 712 (satsolver.sh) S 31165 31164 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284332385 9367552 267 33554432000 4194304 5064252 140733229638944 140733229637856 227141117518 0 65536 4100 65538 18446744071579302022 0 0 17 1 0 0 0 0 0 /proc/712/statm: 2287 267 226 213 0 72 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (KiB) 27196 # ################ # More data... # ################ /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=1291.85 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 1314769 19052839 0 0 1971 377 119677 7160 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 [pid=16578] ppid=31165 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/16578/stat : 16578 (satsolver.sh) S 31165 31164 18846 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284447434 9367552 267 33554432000 4194304 5064252 140736768778944 140736768777856 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/16578/statm: 2287 267 226 213 0 72 0 [pid=16579] ppid=16578 vsize=20516 CPUtime=0.38 cores=1,3,5,7 /proc/16579/stat : 16579 (glucose) R 16578 31164 18846 0 -1 4202496 4110 0 0 0 38 0 0 0 20 0 1 0 284447434 21008384 4357 33554432000 4194304 5208918 140736587408704 140736587406552 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/16579/statm: 5129 4357 103 248 0 4878 0 Current children cumulated CPU time (s) 1292.23 Current children cumulated vsize (KiB) 47712 [startup+1362.3 s] /proc/loadavg: 2.00 2.06 2.00 3/183 17398 /proc/meminfo: memFree=28765360/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=1351.99 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 1375753 19940185 0 0 2062 394 125241 7502 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 Current children cumulated CPU time (s) 1351.99 Current children cumulated vsize (KiB) 18048 [startup+1422.31 s] /proc/loadavg: 2.01 2.05 2.00 3/181 18229 /proc/meminfo: memFree=28833776/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=1411.49 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 1436044 20819199 0 0 2151 411 130754 7833 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 [pid=18226] ppid=31165 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/18226/stat : 18226 (satsolver.sh) S 31165 31164 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284459429 9367552 267 33554432000 4194304 5064252 140733920090416 140733920089328 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/18226/statm: 2287 267 226 213 0 72 0 [pid=18227] ppid=18226 vsize=17804 CPUtime=0.43 cores=1,3,5,7 /proc/18227/stat : 18227 (glucose) R 18226 31164 18846 0 -1 4202496 4499 0 0 0 42 1 0 0 20 0 1 0 284459429 18231296 3959 33554432000 4194304 5208918 140737043423312 140737043421272 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/18227/statm: 4451 3959 104 248 0 4200 0 Current children cumulated CPU time (s) 1411.92 Current children cumulated vsize (KiB) 45000 [startup+1482.3 s] /proc/loadavg: 1.95 2.02 1.99 3/182 19054 /proc/meminfo: memFree=28780824/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=1471.68 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) R 31164 31164 18846 0 -1 4202496 1497027 21711981 0 0 2243 428 136326 8171 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962618112 4904865 0 65536 4102 0 0 0 0 17 3 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 Current children cumulated CPU time (s) 1471.68 Current children cumulated vsize (KiB) 18048 [startup+1542.3 s] /proc/loadavg: 1.90 1.99 1.98 3/183 19890 /proc/meminfo: memFree=28765992/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=1531.25 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 1557319 22586103 0 0 2332 445 141844 8504 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 [pid=19889] ppid=31165 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/19889/stat : 19889 (satsolver.sh) S 31165 31164 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284471449 9367552 267 33554432000 4194304 5064252 140735510022848 140735510021760 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/19889/statm: 2287 267 226 213 0 72 0 [pid=19890] ppid=19889 vsize=20364 CPUtime=0.23 cores=1,3,5,7 /proc/19890/stat : 19890 (glucose) R 19889 31164 18846 0 -1 4202496 4213 0 0 0 22 1 0 0 20 0 1 0 284471449 20852736 4447 33554432000 4194304 5208918 140737177561696 140737177559656 4229010 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/19890/statm: 5091 4447 103 248 0 4840 0 Current children cumulated CPU time (s) 1531.48 Current children cumulated vsize (KiB) 47560 [startup+1602.3 s] /proc/loadavg: 1.81 1.94 1.97 3/183 20702 /proc/meminfo: memFree=28771852/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=1590.95 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 1617610 23457824 0 0 2421 462 147379 8833 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 11 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 Current children cumulated CPU time (s) 1590.95 Current children cumulated vsize (KiB) 18048 [startup+1662.3 s] /proc/loadavg: 2.02 1.98 1.98 3/183 21535 /proc/meminfo: memFree=28764624/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=1650.87 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 1678594 24336267 0 0 2514 479 152930 9164 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 11 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 Current children cumulated CPU time (s) 1650.87 Current children cumulated vsize (KiB) 18048 [startup+1722.3 s] /proc/loadavg: 2.01 1.98 1.98 3/184 22357 /proc/meminfo: memFree=28761064/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=1710.18 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 1738885 25210929 0 0 2605 494 158429 9490 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 11 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 Current children cumulated CPU time (s) 1710.18 Current children cumulated vsize (KiB) 18048 [startup+1782.3 s] /proc/loadavg: 2.03 1.99 1.98 3/183 23191 /proc/meminfo: memFree=28764108/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=1770.14 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 1799869 26094139 0 0 2698 510 163980 9826 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617536 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 11 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 Current children cumulated CPU time (s) 1770.14 Current children cumulated vsize (KiB) 18048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1811.6 s] /proc/loadavg: 2.02 1.99 1.98 3/184 23603 /proc/meminfo: memFree=28793408/32873844 swapFree=7116/7116 [pid=31164] ppid=31162 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31164/stat : 31164 (npSolver-wbo-It) S 31162 31164 18846 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284317243 9367552 274 33554432000 4194304 5064252 140736792678112 140736792677024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/31164/statm: 2287 274 233 213 0 72 0 [pid=31165] ppid=31164 vsize=8900 CPUtime=1799.37 cores=1,3,5,7 /proc/31165/stat : 31165 (npSolver-wbo) S 31164 31164 18846 0 -1 4202496 1828984 26524950 0 0 2742 519 166690 9986 20 0 1 0 284317243 9113600 1633 33554432000 4194304 5990268 140736962626128 140736962617024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 11 0 0 /proc/31165/statm: 2225 1633 180 439 0 1782 0 [pid=23601] ppid=31165 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/23601/stat : 23601 (cp2_post.sh) S 31165 31164 18846 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 284498397 9367552 266 33554432000 4194304 5064252 140736803630864 140736803629152 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/23601/statm: 2287 266 225 213 0 72 0 [pid=23603] ppid=23601 vsize=15872 CPUtime=0.06 cores=1,3,5,7 /proc/23603/stat : 23603 (coprocessor) R 23601 31164 18846 0 -1 4202496 3173 0 0 0 5 1 0 0 20 0 1 0 284498397 16252928 3298 33554432000 4194304 6586260 140735219622976 140735219619544 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0 /proc/23603/statm: 3968 3298 148 584 0 3380 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (KiB) 43068 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 31164 and gives # childrusage.ru_utime.tv_sec=1694 # childrusage.ru_utime.tv_usec=329422 # childrusage.ru_stime.tv_sec=105 # childrusage.ru_stime.tv_usec=66027 # CPU time returned by wait4() is 1799.4 # while last known CPU time is 1799.43 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.959946 # lost CPU user time (s): 0.949936 # lost CPU system time (s): 0.0100021 Real time (s): 1811.62 CPU time (s): 1800.39 CPU user time (s): 1695.32 CPU system time (s): 105.07 CPU usage (%): 99.3799 Max. virtual memory (cumulated for all children) (KiB): 75424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1694.33 system time used= 105.066 maximum resident set size= 48992 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28355482 page faults= 0 swaps= 0 block input operations= 0 block output operations= 12068560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 324661 involuntary context switches= 33595 runsolver used 6.77197 second user time and 13.9159 second system time The end
Begin job on node138 at 2012-05-28 07:12:02 IDJOB=3715670 IDBENCH=78709 IDSOLVER=2297 FILE ID=node138/3715670-1338181922 RUNJOBID= node138-1338160170-18863 PBS_JOBID= 14624560 Free space on /tmp= 71484 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715670-1338181922/watcher-3715670-1338181922 -o /tmp/evaluation-result-3715670-1338181922/solver-3715670-1338181922 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715670-1338181922.wbo 1257284574 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d7a0ad39836c923faf2776c1a468a22d RANDOM SEED=1257284574 node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 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 : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28910344 kB Buffers: 595900 kB Cached: 2441324 kB SwapCached: 208 kB Active: 1122476 kB Inactive: 1947996 kB Active(anon): 18332 kB Inactive(anon): 11368 kB Active(file): 1104144 kB Inactive(file): 1936628 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108648 kB Dirty: 8696 kB Writeback: 0 kB AnonPages: 48212 kB Mapped: 15756 kB Shmem: 200 kB Slab: 753692 kB SReclaimable: 195120 kB SUnreclaim: 558572 kB KernelStack: 1520 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 142932 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71452 MiB End job on node138 at 2012-05-28 07:42:13