Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1800.04 | 1801.82 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo |
MD5SUM | b19b36a9eeef0aa91319f6277ed84276 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.334948 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1640 |
Total number of constraints | 81 |
Number of soft constraints | 21 |
Number of constraints which are clauses | 41 |
Number of constraints which are cardinality constraints (but not clauses) | 40 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 41 |
Top cost | 1107 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 1106 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 42 |
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.12 c run usual solver 1.56/1.69 o 523 1.56/1.69 c starting approximation 1.56/1.69 c factor = 2 1.56/1.69 c current bound: 261 2.27/2.36 c current bound: 261 2.93/3.02 c current bound: 261 3.57/3.69 c current bound: 261 4.27/4.35 c current bound: 261 4.93/5.03 c current bound: 261 5.65/5.70 c current bound: 261 5.66/6.37 c current bound: 261 6.92/7.03 c current bound: 261 7.54/7.70 c current bound: 261 7.65/8.36 c current bound: 261 8.90/9.03 c current bound: 261 8.99/9.69 c current bound: 261 10.30/10.40 c current bound: 261 10.92/11.06 c current bound: 261 11.58/11.73 c current bound: 261 12.30/12.40 c current bound: 261 12.31/13.07 c current bound: 261 13.57/13.73 c current bound: 261 14.31/14.40 c current bound: 261 14.89/15.05 c current bound: 261 15.57/15.72 c current bound: 261 15.63/16.39 c current bound: 261 16.90/17.05 c current bound: 261 17.55/17.71 c current bound: 261 17.63/18.37 c current bound: 261 18.87/19.04 c current bound: 261 18.95/19.70 c current bound: 261 19.60/20.37 c current bound: 261 20.88/21.04 c current bound: 261 21.55/21.70 c current bound: 261 22.19/22.37 c current bound: 261 22.90/23.04 c current bound: 261 23.55/23.71 c current bound: 261 24.19/24.38 c current bound: 261 24.88/25.04 c current bound: 261 25.61/25.80 c current bound: 261 26.21/26.46 c current bound: 261 26.88/27.13 c current bound: 261 27.62/27.80 c current bound: 261 27.62/28.47 c current bound: 261 28.89/29.14 c current bound: 261 29.56/29.81 c current bound: 261 29.62/30.47 c current bound: 261 30.88/31.13 c current bound: 261 31.61/31.81 c current bound: 261 31.62/32.47 c current bound: 261 32.87/33.14 c current bound: 261 33.55/33.80 c current bound: 261 34.20/34.46 c current bound: 261 34.89/35.13 c current bound: 261 35.59/35.80 c current bound: 261 36.26/36.50 c current bound: 261 36.26/37.17 c current bound: 261 37.53/37.84 c current bound: 261 38.19/38.51 c current bound: 261 38.26/39.18 c current bound: 261 39.52/39.83 c current bound: 261 40.19/40.51 c current bound: 261 40.84/41.17 c current bound: 261 41.52/41.83 c current bound: 261 42.25/42.50 c current bound: 261 42.85/43.16 c current bound: 261 43.52/43.83 c current bound: 261 44.14/44.49 c current bound: 261 44.83/45.15 c current bound: 261 45.51/45.82 c current bound: 261 46.14/46.48 c current bound: 261 46.84/47.14 c current bound: 261 47.49/47.80 c current bound: 261 48.15/48.47 c current bound: 261 48.82/49.13 c current bound: 261 49.51/49.80 c current bound: 261 49.57/50.47 c current bound: 261 50.82/51.13 c current bound: 261 51.46/51.79 c current bound: 261 52.14/52.44 c current bound: 261 52.81/53.10 c current bound: 261 52.87/53.77 c current bound: 261 54.12/54.43 c current bound: 261 54.74/55.09 c current bound: 261 55.45/55.74 c current bound: 261 56.16/56.40 c current bound: 261 56.17/57.07 c current bound: 261 57.43/57.75 c current bound: 261 58.10/58.42 c current bound: 261 58.16/59.09 c current bound: 261 59.43/59.76 c current bound: 261 60.13/60.42 c current bound: 261 60.17/61.09 c current bound: 261 61.43/61.75 c current bound: 261 62.09/62.41 c current bound: 261 62.76/63.11 c current bound: 261 63.39/63.78 c current bound: 261 64.09/64.45 c current bound: 261 64.76/65.11 c current bound: 261 64.82/65.78 c current bound: 261 66.08/66.45 c current bound: 261 66.74/67.11 c current bound: 261 66.81/67.77 c current bound: 261 68.07/68.44 c current bound: 261 68.75/69.10 c current bound: 261 69.40/69.76 c current bound: 261 70.06/70.42 c current bound: 261 70.13/71.08 c current bound: 261 71.38/71.75 c current bound: 261 72.06/72.41 c current bound: 261 72.69/73.08 c current bound: 261 73.39/73.74 c current bound: 261 74.04/74.41 c current bound: 261 74.69/75.07 c current bound: 261 75.38/75.73 c current bound: 261 76.10/76.40 c current bound: 261 76.71/77.07 c current bound: 261 77.38/77.74 c current bound: 261 78.11/78.40 c current bound: 261 78.70/79.06 c current bound: 261 79.38/79.73 c current bound: 261 80.00/80.39 c current bound: 261 80.71/81.06 c current bound: 261 81.38/81.73 c current bound: 261 81.45/82.40 c current bound: 261 82.12/83.07 c current bound: 261 83.40/83.74 c current bound: 261 84.06/84.44 c current bound: 261 84.73/85.11 c current bound: 261 85.37/85.77 c current bound: 261 86.04/86.43 c current bound: 261 86.78/87.10 c current bound: 261 86.78/87.76 c current bound: 261 88.05/88.43 c current bound: 261 88.66/89.09 c current bound: 261 89.38/89.76 c current bound: 261 90.04/90.42 c current bound: 261 90.10/91.09 c current bound: 261 91.37/91.75 c current bound: 261 92.03/92.42 c current bound: 261 92.10/93.09 c current bound: 261 93.36/93.75 c current bound: 261 94.02/94.41 c current bound: 261 94.66/95.08 c current bound: 261 95.36/95.74 c current bound: 261 96.02/96.40 c current bound: 261 96.67/97.07 c current bound: 261 97.34/97.72 c current bound: 261 97.95/98.39 c current bound: 261 98.67/99.06 c current bound: 261 99.34/99.73 c current bound: 261 100.08/100.46 c current bound: 261 100.70/101.13 c current bound: 261 100.75/101.80 c current bound: 261 102.00/102.46 c current bound: 261 102.68/103.12 c current bound: 261 103.30/103.79 c current bound: 261 104.01/104.45 c current bound: 261 104.71/105.10 c current bound: 261 105.29/105.77 c current bound: 261 105.98/106.44 c current bound: 261 106.65/107.11 c current bound: 261 107.31/107.77 c current bound: 261 107.99/108.44 c current bound: 261 108.66/109.11 c current bound: 261 108.74/109.78 c current bound: 261 110.00/110.44 c current bound: 261 110.66/111.11 c current bound: 261 110.73/111.78 c current bound: 261 112.00/112.44 c current bound: 261 112.65/113.10 c current bound: 261 113.31/113.77 c current bound: 261 113.98/114.43 c current bound: 261 114.06/115.09 c current bound: 261 115.32/115.75 c current bound: 261 115.98/116.42 c current bound: 261 116.61/117.08 c current bound: 261 117.31/117.75 c current bound: 261 117.98/118.42 c current bound: 261 118.60/119.08 c current bound: 261 119.31/119.75 c current bound: 261 119.97/120.42 c current bound: 261 120.69/121.13 c current bound: 261 121.30/121.80 c current bound: 261 121.97/122.46 c current bound: 261 122.66/123.13 c current bound: 261 122.69/123.79 c current bound: 261 123.96/124.45 c current bound: 261 124.61/125.12 c current bound: 261 125.26/125.78 c current bound: 261 125.97/126.50 c current bound: 261 126.02/127.17 c current bound: 261 127.29/127.83 c current bound: 261 127.37/128.50 c current bound: 261 128.61/129.16 c current bound: 261 129.29/129.83 c current bound: 261 129.36/130.49 c current bound: 261 130.61/131.16 c current bound: 261 131.29/131.83 c current bound: 261 132.03/132.50 c current bound: 261 132.62/133.17 c current bound: 261 133.30/133.84 c current bound: 261 134.02/134.50 c current bound: 261 134.02/135.16 c current bound: 261 135.29/135.83 c current bound: 261 135.91/136.49 c current bound: 261 136.63/137.15 c current bound: 261 137.28/137.81 c current bound: 261 137.34/138.48 c current bound: 261 138.61/139.14 c current bound: 261 139.26/139.80 c current bound: 261 139.34/140.46 c current bound: 261 140.58/141.12 c current bound: 261 140.65/141.78 c current bound: 261 141.90/142.44 c current bound: 261 142.57/143.10 c current bound: 261 142.63/143.77 c current bound: 261 143.89/144.43 c current bound: 261 143.96/145.08 c current bound: 261 145.21/145.74 c current bound: 261 145.87/146.41 c current bound: 261 145.94/147.08 c current bound: 261 147.21/147.74 c current bound: 261 147.92/148.41 c current bound: 261 147.93/149.07 c current bound: 261 149.19/149.74 c current bound: 261 149.86/150.40 c current bound: 261 150.52/151.07 c current bound: 261 151.22/151.73 c current bound: 261 151.26/152.39 c current bound: 261 152.52/153.05 c current bound: 261 153.18/153.72 c current bound: 261 153.81/154.39 c current bound: 261 154.52/155.05 c current bound: 261 155.18/155.72 c current bound: 261 155.81/156.39 c current bound: 261 156.51/157.05 c current bound: 261 157.19/157.72 c current bound: 261 157.90/158.43 c current bound: 261 157.91/159.09 c current bound: 261 159.17/159.76 c current bound: 261 159.84/160.42 c current bound: 261 160.47/161.08 c current bound: 261 161.16/161.75 c current bound: 261 161.84/162.42 c current bound: 261 162.47/163.09 c current bound: 261 163.17/163.74 c current bound: 261 163.83/164.41 c current bound: 261 164.47/165.08 c current bound: 261 165.16/165.74 c current bound: 261 165.83/166.40 c current bound: 261 165.90/167.07 c current bound: 261 167.16/167.74 c current bound: 261 167.88/168.40 c current bound: 261 168.47/169.05 c current bound: 261 169.15/169.72 c current bound: 261 169.20/170.38 c current bound: 261 170.47/171.05 c current bound: 261 171.14/171.72 c current bound: 261 171.21/172.37 c current bound: 261 172.46/173.04 c current bound: 261 173.21/173.71 c current bound: 261 173.21/174.36 c current bound: 261 174.46/175.03 c current bound: 261 175.19/175.70 c current bound: 261 175.78/176.37 c current bound: 261 176.49/177.03 c current bound: 261 177.18/177.70 c current bound: 261 177.77/178.36 c current bound: 261 178.45/179.03 c current bound: 261 179.07/179.69 c current bound: 261 179.78/180.35 c current bound: 261 180.44/181.02 c current bound: 261 181.07/181.68 c current bound: 261 181.76/182.34 c current bound: 261 182.49/183.00 c current bound: 261 183.10/183.66 c current bound: 261 183.76/184.33 c current bound: 261 184.39/184.99 c current bound: 261 185.08/185.65 c current bound: 261 185.74/186.31 c current bound: 261 186.38/186.97 c current bound: 261 187.06/187.64 c current bound: 261 187.68/188.29 c current bound: 261 188.37/188.95 c current bound: 261 189.04/189.61 c current bound: 261 189.68/190.28 c current bound: 261 190.38/190.95 c current bound: 261 191.04/191.61 c current bound: 261 191.10/192.28 c current bound: 261 192.36/192.95 c current bound: 261 193.02/193.61 c current bound: 261 193.10/194.27 c current bound: 261 194.36/194.94 c current bound: 261 194.43/195.59 c current bound: 261 195.67/196.26 c current bound: 261 196.35/196.93 c current bound: 261 197.07/197.60 c current bound: 261 197.67/198.27 c current bound: 261 198.35/198.94 c current bound: 261 199.02/199.60 c current bound: 261 199.67/200.27 c current bound: 261 200.36/200.93 c current bound: 261 200.97/201.59 c current bound: 261 201.68/202.26 c current bound: 261 202.34/202.93 c current bound: 261 203.08/203.60 c current bound: 261 203.09/204.27 c current bound: 261 204.35/204.94 c current bound: 261 204.43/205.60 c current bound: 261 205.08/206.27 c current bound: 261 206.36/206.93 c current bound: 261 206.43/207.60 c current bound: 261 207.69/208.26 c current bound: 261 208.38/208.93 c current bound: 261 209.08/209.60 c current bound: 261 209.67/210.26 c current bound: 261 210.34/210.92 c current bound: 261 210.98/211.58 c current bound: 261 211.68/212.25 c current bound: 261 212.34/212.91 c current bound: 261 212.98/213.58 c current bound: 261 213.67/214.25 c current bound: 261 214.35/214.92 c current bound: 261 214.98/215.58 c current bound: 261 215.67/216.24 c current bound: 261 216.34/216.91 c current bound: 261 216.40/217.57 c current bound: 261 217.67/218.24 c current bound: 261 218.39/218.91 c current bound: 261 218.40/219.57 c current bound: 261 219.67/220.24 c current bound: 261 220.33/220.90 c current bound: 261 220.99/221.56 c current bound: 261 221.65/222.23 c current bound: 261 221.73/222.89 c current bound: 261 222.99/223.56 c current bound: 261 223.66/224.23 c current bound: 261 224.29/224.89 c current bound: 261 224.99/225.55 c current bound: 261 225.66/226.22 c current bound: 261 226.28/226.88 c current bound: 261 226.98/227.54 c current bound: 261 227.64/228.20 c current bound: 261 228.32/228.86 c current bound: 261 228.96/229.52 c current bound: 261 229.58/230.19 c current bound: 261 230.29/230.85 c current bound: 261 230.95/231.52 c current bound: 261 231.61/232.18 c current bound: 261 232.28/232.83 c current bound: 261 233.01/233.50 c current bound: 261 233.61/234.16 c current bound: 261 234.26/234.82 c current bound: 261 234.90/235.49 c current bound: 261 235.60/236.15 c current bound: 261 236.26/236.82 c current bound: 261 236.33/237.49 c current bound: 261 237.59/238.14 c current bound: 261 238.25/238.81 c current bound: 261 238.32/239.47 c current bound: 261 239.59/240.14 c current bound: 261 240.31/240.80 c current bound: 261 240.32/241.47 c current bound: 261 241.57/242.14 c current bound: 261 242.24/242.81 c current bound: 261 242.91/243.51 c current bound: 261 243.55/244.17 c current bound: 261 244.23/244.84 c current bound: 261 244.89/245.51 c current bound: 261 244.98/246.17 c current bound: 261 246.23/246.83 c current bound: 261 246.97/247.50 c current bound: 261 246.97/248.17 c current bound: 261 248.24/248.84 c current bound: 261 248.91/249.51 c current bound: 261 249.54/250.18 c current bound: 261 250.25/250.85 c current bound: 261 250.91/251.51 c current bound: 261 251.55/252.18 c current bound: 261 252.24/252.84 c current bound: 261 252.98/253.63 c current bound: 261 253.58/254.30 c current bound: 261 253.66/254.97 c current bound: 261 254.90/255.63 c current bound: 261 255.54/256.30 c current bound: 261 255.65/256.96 c current bound: 261 256.91/257.63 c current bound: 261 256.97/258.29 c current bound: 261 258.23/258.96 c current bound: 261 258.91/259.63 c current bound: 261 258.97/260.28 c current bound: 261 260.23/260.95 c current bound: 261 260.89/261.62 c current bound: 261 261.52/262.28 c current bound: 261 262.21/262.94 c current bound: 261 262.88/263.60 c current bound: 261 263.52/264.27 c current bound: 261 264.19/264.93 c current bound: 261 264.93/265.60 c current bound: 261 265.54/266.26 c current bound: 261 266.21/266.93 c current bound: 261 266.95/267.60 c current bound: 261 267.54/268.26 c current bound: 261 268.20/268.92 c current bound: 261 268.92/269.62 c current bound: 261 268.93/270.28 c current bound: 261 270.19/270.94 c current bound: 261 270.91/271.60 c current bound: 261 271.51/272.26 c current bound: 261 272.16/272.92 c current bound: 261 272.25/273.58 c current bound: 261 273.48/274.23 c current bound: 261 273.55/274.89 c current bound: 261 274.81/275.55 c current bound: 261 275.46/276.22 c current bound: 261 275.54/276.87 c current bound: 261 276.79/277.53 c current bound: 261 276.84/278.20 c current bound: 261 278.10/278.86 c current bound: 261 278.78/279.52 c current bound: 261 278.85/280.18 c current bound: 261 280.10/280.85 c current bound: 261 280.80/281.52 c current bound: 261 280.84/282.18 c current bound: 261 282.10/282.85 c current bound: 261 282.76/283.52 c current bound: 261 283.39/284.18 c current bound: 261 284.11/284.85 c current bound: 261 284.76/285.55 c current bound: 261 285.42/286.21 c current bound: 261 285.48/286.86 c current bound: 261 286.76/287.53 c current bound: 261 287.37/288.20 c current bound: 261 288.08/288.86 c current bound: 261 288.74/289.53 c current bound: 261 289.48/290.20 c current bound: 261 290.07/290.86 c current bound: 261 290.76/291.53 c current bound: 261 291.42/292.20 c current bound: 261 292.06/292.87 c current bound: 261 292.77/293.54 c current bound: 261 293.44/294.21 c current bound: 261 294.09/294.87 c current bound: 261 294.77/295.54 c current bound: 261 295.50/296.20 c current bound: 261 295.50/296.86 c current bound: 261 296.77/297.53 c current bound: 261 297.39/298.19 c current bound: 261 298.10/298.86 c current bound: 261 298.77/299.53 c current bound: 261 298.84/300.20 c current bound: 261 300.10/300.86 c current bound: 261 300.76/301.58 c current bound: 261 301.43/302.26 c current bound: 261 302.10/302.92 c current bound: 261 302.73/303.58 c current bound: 261 303.43/304.25 c current bound: 261 304.10/304.92 c current bound: 261 304.17/305.58 c current bound: 261 305.44/306.24 c current bound: 261 306.10/306.91 c current bound: 261 306.17/307.58 c current bound: 261 307.43/308.25 c current bound: 261 308.09/308.91 c current bound: 261 308.73/309.58 c current bound: 261 309.41/310.24 c current bound: 261 310.08/310.91 c current bound: 261 310.72/311.57 c current bound: 261 311.42/312.24 c current bound: 261 312.07/312.91 c current bound: 261 312.72/313.57 c current bound: 261 313.40/314.23 c current bound: 261 314.01/314.90 c current bound: 261 314.73/315.55 c current bound: 261 315.38/316.22 c current bound: 261 316.02/316.88 c current bound: 261 316.72/317.55 c current bound: 261 317.38/318.21 c current bound: 261 317.45/318.88 c current bound: 261 318.72/319.55 c current bound: 261 319.38/320.22 c current bound: 261 319.45/320.87 c current bound: 261 320.70/321.53 c current bound: 261 320.77/322.20 c current bound: 261 321.43/322.87 c current bound: 261 322.69/323.53 c current bound: 261 322.76/324.19 c current bound: 261 324.00/324.86 c current bound: 261 324.72/325.53 c current bound: 261 325.43/326.20 c current bound: 261 326.03/326.86 c current bound: 261 326.69/327.53 c current bound: 261 327.42/328.24 c current bound: 261 328.10/328.90 c current bound: 261 328.11/329.57 c current bound: 261 329.36/330.23 c current bound: 261 330.10/330.90 c current bound: 261 330.68/331.56 c current bound: 261 331.34/332.22 c current bound: 261 331.42/332.89 c current bound: 261 332.69/333.56 c current bound: 261 333.34/334.22 c current bound: 261 333.98/334.89 c current bound: 261 334.69/335.56 c current bound: 261 335.35/336.23 c current bound: 261 336.09/336.90 c current bound: 261 336.10/337.57 c current bound: 261 337.36/338.24 c current bound: 261 338.03/338.91 c current bound: 261 338.11/339.56 c current bound: 261 339.35/340.22 c current bound: 261 339.43/340.89 c current bound: 261 340.68/341.55 c current bound: 261 341.34/342.22 c current bound: 261 341.42/342.89 c current bound: 261 342.70/343.56 c current bound: 261 343.41/344.22 c current bound: 261 343.42/344.88 c current bound: 261 344.69/345.55 c current bound: 261 345.34/346.21 c current bound: 261 345.99/346.88 c current bound: 261 346.69/347.55 c current bound: 261 347.35/348.21 c current bound: 261 347.99/348.88 c current bound: 261 348.69/349.58 c current bound: 261 349.35/350.25 c current bound: 261 350.02/350.91 c current bound: 261 350.08/351.58 c current bound: 261 351.37/352.25 c current bound: 261 352.03/352.91 c current bound: 261 352.66/353.58 c current bound: 261 353.36/354.25 c current bound: 261 354.02/354.91 c current bound: 261 354.66/355.58 c current bound: 261 355.35/356.24 c current bound: 261 356.02/356.91 c current bound: 261 356.66/357.57 c current bound: 261 357.35/358.23 c current bound: 261 357.96/358.89 c current bound: 261 358.67/359.55 c current bound: 261 359.33/360.21 c current bound: 261 359.99/360.87 c current bound: 261 360.66/361.54 c current bound: 261 361.33/362.20 c current bound: 261 361.39/362.87 c current bound: 261 362.64/363.52 c current bound: 261 363.27/364.18 c current bound: 261 363.96/364.85 c current bound: 261 364.63/365.51 c current bound: 261 364.70/366.18 c current bound: 261 365.97/366.84 c current bound: 261 366.63/367.51 c current bound: 261 366.70/368.17 c current bound: 261 367.95/368.83 c current bound: 261 368.69/369.51 c current bound: 261 368.69/370.17 c current bound: 261 369.94/370.83 c current bound: 261 370.01/371.49 c current bound: 261 371.26/372.16 c current bound: 261 371.95/372.82 c current bound: 261 372.00/373.48 c current bound: 261 373.25/374.15 c current bound: 261 373.93/374.82 c current bound: 261 374.55/375.48 c current bound: 261 375.27/376.20 c current bound: 261 375.32/376.86 c current bound: 261 376.58/377.53 c current bound: 261 376.66/378.20 c current bound: 261 377.91/378.86 c current bound: 261 378.57/379.52 c current bound: 261 378.63/380.18 c current bound: 261 379.90/380.85 c current bound: 261 380.56/381.55 c current bound: 261 381.23/382.22 c current bound: 261 381.85/382.89 c current bound: 261 382.56/383.56 c current bound: 261 383.23/384.22 c current bound: 261 383.29/384.89 c current bound: 261 384.56/385.55 c current bound: 261 385.23/386.21 c current bound: 261 385.28/386.88 c current bound: 261 386.54/387.55 c current bound: 261 387.27/388.21 c current bound: 261 387.28/388.87 c current bound: 261 388.56/389.54 c current bound: 261 389.28/390.20 c current bound: 261 389.86/390.87 c current bound: 261 390.55/391.54 c current bound: 261 391.21/392.20 c current bound: 261 391.85/392.87 c current bound: 261 392.54/393.53 c current bound: 261 393.16/394.19 c current bound: 261 393.87/394.86 c current bound: 261 394.53/395.53 c current bound: 261 395.15/396.19 c current bound: 261 395.86/396.86 c current bound: 261 396.53/397.51 c current bound: 261 397.16/398.17 c current bound: 261 397.86/398.84 c current bound: 261 398.52/399.51 c current bound: 261 398.59/400.17 c current bound: 261 399.85/400.84 c current bound: 261 400.58/401.50 c current bound: 261 400.58/402.16 c current bound: 261 401.83/402.82 c current bound: 261 401.90/403.47 c current bound: 261 403.16/404.14 c current bound: 261 403.89/404.80 c current bound: 261 403.90/405.47 c current bound: 261 405.15/406.13 c current bound: 261 405.21/406.79 c current bound: 261 406.46/407.44 c current bound: 261 407.12/408.11 c current bound: 261 407.19/408.77 c current bound: 261 408.44/409.43 c current bound: 261 408.52/410.09 c current bound: 261 409.76/410.75 c current bound: 261 410.43/411.42 c current bound: 261 410.50/412.08 c current bound: 261 411.76/412.75 c current bound: 261 412.44/413.43 c current bound: 261 413.04/414.09 c current bound: 261 413.77/414.76 c current bound: 261 414.42/415.43 c current bound: 261 415.17/416.10 c current bound: 261 415.17/416.77 c current bound: 261 416.43/417.43 c current bound: 261 417.07/418.09 c current bound: 261 417.76/418.75 c current bound: 261 418.42/419.41 c current bound: 261 418.49/420.08 c current bound: 261 419.74/420.75 c current bound: 261 420.41/421.42 c current bound: 261 420.48/422.09 c current bound: 261 421.76/422.75 c current bound: 261 422.45/423.42 c current bound: 261 422.50/424.08 c current bound: 261 423.75/424.75 c current bound: 261 424.41/425.41 c current bound: 261 425.04/426.07 c current bound: 261 425.75/426.74 c current bound: 261 426.40/427.41 c current bound: 261 427.03/428.07 c current bound: 261 427.72/428.74 c current bound: 261 428.39/429.40 c current bound: 261 429.07/430.06 c current bound: 261 429.72/430.73 c current bound: 261 430.45/431.40 c current bound: 261 431.05/432.06 c current bound: 261 431.72/432.72 c current bound: 261 432.36/433.39 c current bound: 261 433.05/434.05 c current bound: 261 433.70/434.76 c current bound: 261 434.37/435.42 c current bound: 261 435.00/436.08 c current bound: 261 435.70/436.75 c current bound: 261 436.37/437.42 c current bound: 261 436.99/438.09 c current bound: 261 437.71/438.76 c current bound: 261 438.37/439.43 c current bound: 261 439.00/440.09 c current bound: 261 439.70/440.76 c current bound: 261 440.36/441.42 c current bound: 261 440.43/442.09 c current bound: 261 441.10/442.76 c current bound: 261 442.36/443.43 c current bound: 261 442.44/444.09 c current bound: 261 443.68/444.76 c current bound: 261 444.40/445.43 c current bound: 261 444.44/446.09 c current bound: 261 445.70/446.75 c current bound: 261 446.36/447.41 c current bound: 261 446.99/448.06 c current bound: 261 447.70/448.72 c current bound: 261 447.73/449.38 c current bound: 261 449.00/450.05 c current bound: 261 449.65/450.72 c current bound: 261 450.30/451.37 c current bound: 261 450.99/452.04 c current bound: 261 451.04/452.69 c current bound: 261 452.29/453.35 c current bound: 261 452.95/454.01 c current bound: 261 453.59/454.67 c current bound: 261 454.29/455.33 c current bound: 261 454.34/455.98 c current bound: 261 455.59/456.65 c current bound: 261 456.25/457.31 c current bound: 261 456.88/457.97 c current bound: 261 457.60/458.64 c current bound: 261 458.25/459.31 c current bound: 261 458.88/459.97 c current bound: 261 459.57/460.63 c current bound: 261 460.29/461.34 c current bound: 261 460.84/462.00 c current bound: 261 460.96/462.67 c current bound: 261 462.24/463.34 c current bound: 261 462.90/464.01 c current bound: 261 463.53/464.68 c current bound: 261 464.24/465.35 c current bound: 261 464.91/466.01 c current bound: 261 465.54/466.68 c current bound: 261 466.24/467.34 c current bound: 261 466.90/468.01 c current bound: 261 467.54/468.68 c current bound: 261 468.23/469.35 c current bound: 261 468.89/470.01 c current bound: 261 468.98/470.67 c current bound: 261 470.23/471.33 c current bound: 261 470.96/472.00 c current bound: 261 470.96/472.67 c current bound: 261 472.24/473.34 c current bound: 261 472.96/474.00 c current bound: 261 472.96/474.67 c current bound: 261 474.23/475.33 c current bound: 261 474.90/476.01 c current bound: 261 475.56/476.67 c current bound: 261 476.26/477.33 c current bound: 261 476.30/477.99 c current bound: 261 477.57/478.66 c current bound: 261 478.23/479.33 c current bound: 261 478.85/479.99 c current bound: 261 479.56/480.66 c current bound: 261 480.23/481.33 c current bound: 261 480.85/481.99 c current bound: 261 481.57/482.66 c current bound: 261 482.23/483.32 c current bound: 261 482.86/483.99 c current bound: 261 483.55/484.65 c current bound: 261 484.22/485.32 c current bound: 261 484.29/485.98 c current bound: 261 485.55/486.65 c current bound: 261 486.23/487.34 c current bound: 261 486.88/488.00 c current bound: 261 487.52/488.66 c current bound: 261 488.20/489.32 c current bound: 261 488.84/489.99 c current bound: 261 489.54/490.65 c current bound: 261 490.19/491.31 c current bound: 261 490.83/491.97 c current bound: 261 491.52/492.63 c current bound: 261 492.25/493.30 c current bound: 261 492.84/493.96 c current bound: 261 493.51/494.62 c current bound: 261 494.13/495.29 c current bound: 261 494.83/495.95 c current bound: 261 495.50/496.60 c current bound: 261 496.14/497.27 c current bound: 261 496.83/497.93 c current bound: 261 497.56/498.60 c current bound: 261 497.56/499.27 c current bound: 261 498.82/499.93 c current bound: 261 499.45/500.59 c current bound: 261 500.14/501.25 c current bound: 261 500.81/501.92 c current bound: 261 500.87/502.58 c current bound: 261 502.13/503.24 c current bound: 261 502.78/503.90 c current bound: 261 502.86/504.57 c current bound: 261 504.12/505.24 c current bound: 261 504.84/505.91 c current bound: 261 504.86/506.57 c current bound: 261 506.13/507.23 c current bound: 261 506.85/507.90 c current bound: 261 507.45/508.57 c current bound: 261 508.15/509.24 c current bound: 261 508.79/509.90 c current bound: 261 509.44/510.57 c current bound: 261 510.11/511.23 c current bound: 261 510.85/511.90 c current bound: 261 511.45/512.56 c current bound: 261 512.12/513.23 c current bound: 261 512.85/513.90 c current bound: 261 512.85/514.57 c current bound: 261 514.13/515.23 c current bound: 261 514.74/515.90 c current bound: 261 514.87/516.57 c current bound: 261 516.11/517.23 c current bound: 261 516.19/517.89 c current bound: 261 517.44/518.55 c current bound: 261 518.10/519.22 c current bound: 261 518.17/519.88 c current bound: 261 519.44/520.55 c current bound: 261 520.11/521.22 c current bound: 261 520.74/521.87 c current bound: 261 521.43/522.54 c current bound: 261 522.10/523.21 c current bound: 261 522.74/523.87 c current bound: 261 523.42/524.53 c current bound: 261 524.03/525.19 c current bound: 261 524.74/525.85 c current bound: 261 525.40/526.51 c current bound: 261 526.04/527.18 c current bound: 261 526.72/527.84 c current bound: 261 527.44/528.50 c current bound: 261 528.05/529.16 c current bound: 261 528.71/529.82 c current bound: 261 529.35/530.49 c current bound: 261 530.05/531.15 c current bound: 261 530.70/531.81 c current bound: 261 531.35/532.47 c current bound: 261 532.03/533.14 c current bound: 261 532.70/533.80 c current bound: 261 532.76/534.47 c current bound: 261 534.03/535.15 c current bound: 261 534.70/535.81 c current bound: 261 534.76/536.48 c current bound: 261 536.02/537.14 c current bound: 261 536.08/537.80 c current bound: 261 536.75/538.46 c current bound: 261 538.01/539.13 c current bound: 261 538.08/539.79 c current bound: 261 539.33/540.44 c current bound: 261 539.40/541.10 c current bound: 261 540.06/541.76 c current bound: 261 541.33/542.43 c current bound: 261 542.05/543.10 c current bound: 261 542.65/543.76 c current bound: 261 543.35/544.43 c current bound: 261 543.38/545.09 c current bound: 261 544.05/545.76 c current bound: 261 545.31/546.41 c current bound: 261 545.94/547.07 c current bound: 261 546.66/547.74 c current bound: 261 547.30/548.40 c current bound: 261 547.94/549.07 c current bound: 261 548.64/549.74 c current bound: 261 549.30/550.41 c current bound: 261 549.97/551.06 c current bound: 261 550.62/551.73 c current bound: 261 551.35/552.40 c current bound: 261 551.36/553.07 c current bound: 261 552.64/553.74 c current bound: 261 553.31/554.41 c current bound: 261 553.37/555.08 c current bound: 261 554.64/555.74 c current bound: 261 555.37/556.40 c current bound: 261 555.96/557.05 c current bound: 261 556.60/557.71 c current bound: 261 556.68/558.38 c current bound: 261 557.93/559.04 c current bound: 261 558.66/559.70 c current bound: 261 559.25/560.37 c current bound: 261 559.93/561.03 c current bound: 261 560.66/561.70 c current bound: 261 561.25/562.35 c current bound: 261 561.93/563.02 c current bound: 261 562.55/563.68 c current bound: 261 563.25/564.35 c current bound: 261 563.91/565.02 c current bound: 261 564.55/565.68 c current bound: 261 565.23/566.33 c current bound: 261 565.96/567.00 c current bound: 261 566.57/567.67 c current bound: 261 567.23/568.33 c current bound: 261 567.90/569.01 c current bound: 261 567.99/569.67 c current bound: 261 569.24/570.34 c current bound: 261 569.97/571.00 c current bound: 261 570.56/571.66 c current bound: 261 571.23/572.32 c current bound: 261 571.30/572.99 c current bound: 261 572.55/573.65 c current bound: 261 573.22/574.32 c current bound: 261 573.30/574.99 c current bound: 261 574.56/575.65 c current bound: 261 575.26/576.32 c current bound: 261 575.31/576.98 c current bound: 261 576.56/577.69 c current bound: 261 577.22/578.36 c current bound: 261 577.88/579.02 c current bound: 261 578.53/579.68 c current bound: 261 579.20/580.34 c current bound: 261 579.92/581.00 c current bound: 261 579.93/581.66 c current bound: 261 581.19/582.32 c current bound: 261 581.82/582.98 c current bound: 261 582.51/583.65 c current bound: 261 583.18/584.31 c current bound: 261 583.24/584.97 c current bound: 261 584.51/585.63 c current bound: 261 585.12/586.29 c current bound: 261 585.82/586.95 c current bound: 261 586.48/587.62 c current bound: 261 586.55/588.29 c current bound: 261 587.81/588.95 c current bound: 261 588.49/589.62 c current bound: 261 588.55/590.28 c current bound: 261 589.82/590.95 c current bound: 261 590.48/591.62 c current bound: 261 591.11/592.29 c current bound: 261 591.82/592.95 c current bound: 261 592.48/593.68 c current bound: 261 593.16/594.35 c current bound: 261 593.88/595.01 c current bound: 261 593.90/595.68 c current bound: 261 595.16/596.35 c current bound: 261 595.83/597.01 c current bound: 261 596.47/597.68 c current bound: 261 597.17/598.35 c current bound: 261 597.83/599.01 c current bound: 261 598.47/599.68 c current bound: 261 599.16/600.34 c current bound: 261 599.82/601.01 c current bound: 261 600.48/601.67 c current bound: 261 601.15/602.34 c current bound: 261 601.84/603.01 c current bound: 261 601.90/603.68 c current bound: 261 603.16/604.33 c current bound: 261 603.79/605.00 c current bound: 261 604.49/605.66 c current bound: 261 605.15/606.33 c current bound: 261 605.23/606.99 c current bound: 261 606.48/607.65 c current bound: 261 607.15/608.32 c current bound: 261 607.21/608.98 c current bound: 261 608.47/609.69 c current bound: 261 609.12/610.35 c current bound: 261 609.78/611.01 c current bound: 261 610.43/611.68 c current bound: 261 611.11/612.34 c current bound: 261 611.80/613.01 c current bound: 261 611.85/613.68 c current bound: 261 613.11/614.34 c current bound: 261 613.79/615.01 c current bound: 261 613.84/615.67 c current bound: 261 615.11/616.34 c current bound: 261 615.84/617.00 c current bound: 261 615.85/617.67 c current bound: 261 617.11/618.33 c current bound: 261 617.76/619.00 c current bound: 261 618.42/619.67 c current bound: 261 619.12/620.33 c current bound: 261 619.83/621.00 c current bound: 261 620.41/621.67 c current bound: 261 621.11/622.33 c current bound: 261 621.84/623.00 c current bound: 261 622.44/623.66 c current bound: 261 623.09/624.32 c current bound: 261 623.72/624.98 c current bound: 261 624.41/625.64 c current bound: 261 625.09/626.31 c current bound: 261 625.73/626.97 c current bound: 261 626.39/627.63 c current bound: 261 627.13/628.30 c current bound: 261 627.13/628.96 c current bound: 261 628.40/629.62 c current bound: 261 629.12/630.34 c current bound: 261 629.72/631.00 c current bound: 261 630.37/631.66 c current bound: 261 631.03/632.32 c current bound: 261 631.65/632.98 c current bound: 261 632.35/633.64 c current bound: 261 633.07/634.30 c current bound: 261 633.66/634.96 c current bound: 261 634.31/635.67 c current bound: 261 634.97/636.34 c current bound: 261 635.64/637.00 c current bound: 261 635.71/637.67 c current bound: 261 636.98/638.33 c current bound: 261 637.05/639.00 c current bound: 261 637.72/639.67 c current bound: 261 638.98/640.33 c current bound: 261 639.64/641.00 c current bound: 261 640.29/641.67 c current bound: 261 640.99/642.34 c current bound: 261 641.64/643.00 c current bound: 261 642.29/643.66 c current bound: 261 642.98/644.33 c current bound: 261 643.70/645.00 c current bound: 261 644.31/645.66 c current bound: 261 644.96/646.31 c current bound: 261 645.58/646.98 c current bound: 261 646.29/647.65 c current bound: 261 646.95/648.31 c current bound: 261 647.60/648.97 c current bound: 261 648.28/649.64 c current bound: 261 648.95/650.31 c current bound: 261 649.03/650.97 c current bound: 261 650.28/651.64 c current bound: 261 651.01/652.30 c current bound: 261 651.01/652.97 c current bound: 261 652.28/653.64 c current bound: 261 652.94/654.30 c current bound: 261 653.59/654.97 c current bound: 261 654.27/655.63 c current bound: 261 654.93/656.44 c current bound: 261 655.62/657.11 c current bound: 261 656.26/657.78 c current bound: 261 656.95/658.44 c current bound: 261 657.61/659.11 c current bound: 261 657.69/659.77 c current bound: 261 658.94/660.44 c current bound: 261 659.62/661.11 c current bound: 261 659.68/661.77 c current bound: 261 660.93/662.43 c current bound: 261 661.66/663.10 c current bound: 261 662.25/663.76 c current bound: 261 662.93/664.43 c current bound: 261 663.00/665.09 c current bound: 261 664.27/665.76 c current bound: 261 664.93/666.42 c current bound: 261 665.55/667.09 c current bound: 261 666.25/667.75 c current bound: 261 666.91/668.41 c current bound: 261 667.55/669.07 c current bound: 261 668.24/669.73 c current bound: 261 668.96/670.40 c current bound: 261 669.57/671.07 c current bound: 261 670.23/671.73 c current bound: 261 670.85/672.39 c current bound: 261 671.56/673.05 c current bound: 261 672.24/673.72 c current bound: 261 672.87/674.38 c current bound: 261 673.57/675.04 c current bound: 261 674.28/675.70 c current bound: 261 674.28/676.36 c current bound: 261 675.56/677.03 c current bound: 261 676.27/677.70 c current bound: 261 676.28/678.36 c current bound: 261 677.54/679.03 c current bound: 261 677.62/679.70 c current bound: 261 678.27/680.37 c current bound: 261 679.56/681.04 c current bound: 261 680.23/681.71 c current bound: 261 680.90/682.48 c current bound: 261 681.55/683.14 c current bound: 261 682.26/683.80 c current bound: 261 682.86/684.45 c current bound: 261 683.52/685.12 c current bound: 261 684.15/685.78 c current bound: 261 684.84/686.44 c current bound: 261 685.51/687.11 c current bound: 261 686.15/687.77 c current bound: 261 686.84/688.44 c current bound: 261 687.52/689.11 c current bound: 261 688.16/689.77 c current bound: 261 688.85/690.44 c current bound: 261 689.52/691.11 c current bound: 261 689.59/691.78 c current bound: 261 690.85/692.44 c current bound: 261 691.52/693.10 c current bound: 261 692.18/693.76 c current bound: 261 692.84/694.42 c current bound: 261 692.91/695.09 c current bound: 261 694.17/695.75 c current bound: 261 694.84/696.43 c current bound: 261 695.57/697.10 c current bound: 261 696.18/697.76 c current bound: 261 696.86/698.42 c current bound: 261 696.91/699.09 c current bound: 261 698.16/699.75 c current bound: 261 698.83/700.41 c current bound: 261 699.46/701.07 c current bound: 261 700.18/701.74 c current bound: 261 700.82/702.41 c current bound: 261 701.47/703.07 c current bound: 261 702.16/703.75 c current bound: 261 702.82/704.42 c current bound: 261 703.45/705.09 c current bound: 261 704.15/705.75 c current bound: 261 704.81/706.41 c current bound: 261 704.88/707.08 c current bound: 261 706.14/707.74 c current bound: 261 706.80/708.41 c current bound: 261 706.88/709.07 c current bound: 261 708.14/709.74 c current bound: 261 708.86/710.40 c current bound: 261 709.46/711.06 c current bound: 261 710.12/711.71 c current bound: 261 710.18/712.37 c current bound: 261 711.44/713.04 c current bound: 261 712.11/713.71 c current bound: 261 712.75/714.37 c current bound: 261 713.44/715.03 c current bound: 261 714.17/715.70 c current bound: 261 714.17/716.36 c current bound: 261 715.43/717.02 c current bound: 261 716.06/717.68 c current bound: 261 716.75/718.34 c current bound: 261 717.42/719.00 c current bound: 261 718.12/719.73 c current bound: 261 718.13/720.40 c current bound: 261 718.80/721.07 c current bound: 261 720.06/721.74 c current bound: 261 720.13/722.39 c current bound: 261 721.38/723.05 c current bound: 261 722.09/723.72 c current bound: 261 722.11/724.38 c current bound: 261 723.38/725.04 c current bound: 261 724.04/725.71 c current bound: 261 724.68/726.38 c current bound: 261 725.38/727.04 c current bound: 261 726.04/727.71 c current bound: 261 726.67/728.37 c current bound: 261 727.37/729.04 c current bound: 261 728.03/729.71 c current bound: 261 728.69/730.37 c current bound: 261 729.36/731.04 c current bound: 261 729.97/731.69 c current bound: 261 730.69/732.36 c current bound: 261 731.35/733.02 c current bound: 261 731.98/733.70 c current bound: 261 732.09/734.36 c current bound: 261 733.35/735.03 c current bound: 261 733.43/735.69 c current bound: 261 734.68/736.36 c current bound: 261 735.35/737.02 c current bound: 261 735.41/737.68 c current bound: 261 736.67/738.34 c current bound: 261 737.34/739.01 c current bound: 261 737.98/739.67 c current bound: 261 738.67/740.33 c current bound: 261 738.73/740.99 c current bound: 261 739.99/741.66 c current bound: 261 740.64/742.31 c current bound: 261 741.29/742.98 c current bound: 261 741.97/743.65 c current bound: 261 742.65/744.32 c current bound: 261 743.27/744.99 c current bound: 261 743.99/745.65 c current bound: 261 744.66/746.32 c current bound: 261 745.29/746.98 c current bound: 261 745.98/747.65 c current bound: 261 746.65/748.31 c current bound: 261 746.71/748.98 c current bound: 261 747.98/749.64 c current bound: 261 748.64/750.31 c current bound: 261 748.71/750.97 c current bound: 261 749.96/751.63 c current bound: 261 750.04/752.30 c current bound: 261 750.69/752.96 c current bound: 261 751.98/753.63 c current bound: 261 752.70/754.30 c current bound: 261 753.28/754.96 c current bound: 261 753.99/755.63 c current bound: 261 754.03/756.30 c current bound: 261 755.28/756.96 c current bound: 261 755.97/757.62 c current bound: 261 756.59/758.28 c current bound: 261 757.31/758.95 c current bound: 261 757.95/759.60 c current bound: 261 758.59/760.26 c current bound: 261 759.27/760.92 c current bound: 261 759.89/761.58 c current bound: 261 760.60/762.25 c current bound: 261 761.26/762.92 c current bound: 261 761.89/763.58 c current bound: 261 762.59/764.25 c current bound: 261 763.24/764.91 c current bound: 261 763.90/765.58 c current bound: 261 764.58/766.25 c current bound: 261 765.26/767.01 c current bound: 261 765.33/767.68 c current bound: 261 766.59/768.35 c current bound: 261 767.24/769.01 c current bound: 261 767.32/769.68 c current bound: 261 768.58/770.34 c current bound: 261 769.31/771.00 c current bound: 261 769.90/771.66 c current bound: 261 770.56/772.36 c current bound: 261 771.23/773.03 c current bound: 261 771.85/773.69 c current bound: 261 772.56/774.35 c current bound: 261 773.20/775.01 c current bound: 261 773.84/775.67 c current bound: 261 774.54/776.34 c current bound: 261 775.20/777.01 c current bound: 261 775.85/777.68 c current bound: 261 776.53/778.33 c current bound: 261 777.19/779.00 c current bound: 261 777.86/779.66 c current bound: 261 778.52/780.33 c current bound: 261 779.16/780.99 c current bound: 261 779.85/781.66 c current bound: 261 780.52/782.33 c current bound: 261 781.26/783.00 c current bound: 261 781.85/783.67 c current bound: 261 782.54/784.34 c current bound: 261 783.20/785.00 c current bound: 261 783.85/785.67 c current bound: 261 784.53/786.33 c current bound: 261 785.15/786.99 c current bound: 261 785.86/787.66 c current bound: 261 786.52/788.32 c current bound: 261 787.14/788.99 c current bound: 261 787.83/789.64 c current bound: 261 788.49/790.30 c current bound: 261 789.15/790.97 c current bound: 261 789.83/791.64 c current bound: 261 790.50/792.30 c current bound: 261 790.57/792.97 c current bound: 261 791.83/793.69 c current bound: 261 792.48/794.35 c current bound: 261 793.15/795.02 c current bound: 261 793.77/795.68 c current bound: 261 794.49/796.34 c current bound: 261 795.14/797.00 c current bound: 261 795.79/797.67 c current bound: 261 796.47/798.34 c current bound: 261 797.07/798.99 c current bound: 261 797.79/799.66 c current bound: 261 798.46/800.32 c current bound: 261 799.09/800.98 c current bound: 261 799.78/801.64 c current bound: 261 800.44/802.30 c current bound: 261 801.08/802.97 c current bound: 261 801.77/803.63 c current bound: 261 802.38/804.29 c current bound: 261 803.08/804.95 c current bound: 261 803.75/805.61 c current bound: 261 804.40/806.26 c current bound: 261 805.07/806.93 c current bound: 261 805.68/807.59 c current bound: 261 806.39/808.26 c current bound: 261 807.05/808.92 c current bound: 261 807.68/809.58 c current bound: 261 808.38/810.25 c current bound: 261 809.05/810.91 c current bound: 261 809.12/811.58 c current bound: 261 810.39/812.25 c current bound: 261 811.06/812.92 c current bound: 261 811.13/813.58 c current bound: 261 812.38/814.24 c current bound: 261 813.04/814.91 c current bound: 261 813.68/815.57 c current bound: 261 814.37/816.24 c current bound: 261 815.04/816.91 c current bound: 261 815.67/817.57 c current bound: 261 816.37/818.23 c current bound: 261 817.03/818.90 c current bound: 261 817.69/819.57 c current bound: 261 818.37/820.23 c current bound: 261 819.08/820.90 c current bound: 261 819.69/821.56 c current bound: 261 820.35/822.22 c current bound: 261 820.99/822.88 c current bound: 261 821.67/823.55 c current bound: 261 822.33/824.21 c current bound: 261 822.41/824.88 c current bound: 261 823.66/825.54 c current bound: 261 824.38/826.20 c current bound: 261 824.98/826.86 c current bound: 261 825.65/827.52 c current bound: 261 825.71/828.18 c current bound: 261 826.97/828.85 c current bound: 261 827.64/829.52 c current bound: 261 827.71/830.19 c current bound: 261 828.99/830.85 c current bound: 261 829.67/831.52 c current bound: 261 829.72/832.19 c current bound: 261 831.00/832.86 c current bound: 261 831.67/833.53 c current bound: 261 832.40/834.20 c current bound: 261 833.00/834.86 c current bound: 261 833.66/835.53 c current bound: 261 834.32/836.25 c current bound: 261 834.99/836.91 c current bound: 261 835.63/837.57 c current bound: 261 836.32/838.24 c current bound: 261 836.99/838.90 c current bound: 261 837.62/839.57 c current bound: 261 838.32/840.24 c current bound: 261 838.98/840.90 c current bound: 261 839.64/841.56 c current bound: 261 840.30/842.22 c current bound: 261 840.93/842.88 c current bound: 261 841.61/843.54 c current bound: 261 842.28/844.21 c current bound: 261 842.92/844.87 c current bound: 261 843.62/845.54 c current bound: 261 844.23/846.19 c current bound: 261 844.94/846.86 c current bound: 261 845.60/847.52 c current bound: 261 846.24/848.18 c current bound: 261 846.93/848.85 c current bound: 261 847.59/849.51 c current bound: 261 847.66/850.17 c current bound: 261 848.91/850.83 c current bound: 261 849.58/851.51 c current bound: 261 849.64/852.18 c current bound: 261 850.91/852.85 c current bound: 261 851.63/853.51 c current bound: 261 851.65/854.18 c current bound: 261 852.92/854.85 c current bound: 261 853.58/855.51 c current bound: 261 854.21/856.17 c current bound: 261 854.91/856.83 c current bound: 261 855.62/857.50 c current bound: 261 856.23/858.16 c current bound: 261 856.90/858.82 c current bound: 261 857.52/859.49 c current bound: 261 858.22/860.16 c current bound: 261 858.90/860.83 c current bound: 261 859.51/861.49 c current bound: 261 860.28/862.20 c current bound: 261 860.86/862.87 c current bound: 261 861.55/863.53 c current bound: 261 862.27/864.20 c current bound: 261 862.86/864.86 c current bound: 261 863.54/865.53 c current bound: 261 864.16/866.19 c current bound: 261 864.88/866.86 c current bound: 261 865.52/867.51 c current bound: 261 866.17/868.17 c current bound: 261 866.85/868.84 c current bound: 261 867.53/869.51 c current bound: 261 868.17/870.18 c current bound: 261 868.85/870.85 c current bound: 261 869.52/871.51 c current bound: 261 869.60/872.17 c current bound: 261 870.86/872.84 c current bound: 261 871.52/873.51 c current bound: 261 871.60/874.17 c current bound: 261 872.85/874.84 c current bound: 261 873.59/875.51 c current bound: 261 873.59/876.17 c current bound: 261 874.85/876.83 c current bound: 261 875.52/877.50 c current bound: 261 876.17/878.17 c current bound: 261 876.89/878.84 c current bound: 261 877.53/879.51 c current bound: 261 878.18/880.18 c current bound: 261 878.87/880.84 c current bound: 261 879.52/881.50 c current bound: 261 880.19/882.16 c current bound: 261 880.84/882.83 c current bound: 261 881.47/883.49 c current bound: 261 882.18/884.16 c current bound: 261 882.86/884.82 c current bound: 261 883.48/885.48 c current bound: 261 884.18/886.15 c current bound: 261 884.84/886.82 c current bound: 261 884.91/887.48 c current bound: 261 886.18/888.14 c current bound: 261 886.83/888.81 c current bound: 261 886.91/889.48 c current bound: 261 888.16/890.14 c current bound: 261 888.88/890.80 c current bound: 261 889.47/891.45 c current bound: 261 890.13/892.11 c current bound: 261 890.21/892.77 c current bound: 261 891.46/893.43 c current bound: 261 892.18/894.13 c current bound: 261 892.73/894.79 c current bound: 261 893.45/895.45 c current bound: 261 894.12/896.12 c current bound: 261 894.74/896.79 c current bound: 261 895.45/897.45 c current bound: 261 896.11/898.12 c current bound: 261 896.75/898.78 c current bound: 261 897.44/899.45 c current bound: 261 898.11/900.11 c current bound: 261 898.19/900.78 c current bound: 261 899.43/901.44 c current bound: 261 900.06/902.09 c current bound: 261 900.15/902.76 c current bound: 261 901.42/903.42 c current bound: 261 901.49/904.08 c current bound: 261 902.76/904.75 c current bound: 261 903.40/905.41 c current bound: 261 903.47/906.08 c current bound: 261 904.73/906.74 c current bound: 261 905.46/907.41 c current bound: 261 905.46/908.07 c current bound: 261 906.74/908.74 c current bound: 261 907.41/909.41 c current bound: 261 908.04/910.07 c current bound: 261 908.75/910.74 c current bound: 261 909.45/911.40 c current bound: 261 910.05/912.06 c current bound: 261 910.72/912.73 c current bound: 261 911.46/913.40 c current bound: 261 912.05/914.05 c current bound: 261 912.72/914.72 c current bound: 261 913.38/915.43 c current bound: 261 914.12/916.10 c current bound: 261 914.72/916.76 c current bound: 261 915.39/917.43 c current bound: 261 915.45/918.09 c current bound: 261 916.72/918.75 c current bound: 261 917.38/919.42 c current bound: 261 918.00/920.09 c current bound: 261 918.72/920.75 c current bound: 261 919.38/921.43 c current bound: 261 920.01/922.09 c current bound: 261 920.11/922.76 c current bound: 261 921.39/923.43 c current bound: 261 922.01/924.09 c current bound: 261 922.70/924.75 c current bound: 261 923.36/925.42 c current bound: 261 923.44/926.10 c current bound: 261 924.10/926.77 c current bound: 261 925.37/927.44 c current bound: 261 926.04/928.11 c current bound: 261 926.69/928.77 c current bound: 261 927.38/929.44 c current bound: 261 928.03/930.10 c current bound: 261 928.69/930.76 c current bound: 261 929.35/931.42 c current bound: 261 929.99/932.09 c current bound: 261 930.70/932.75 c current bound: 261 931.35/933.41 c current bound: 261 931.99/934.07 c current bound: 261 932.68/934.74 c current bound: 261 933.34/935.41 c current bound: 261 933.99/936.07 c current bound: 261 934.67/936.73 c current bound: 261 935.28/937.39 c current bound: 261 935.98/938.06 c current bound: 261 936.67/938.72 c current bound: 261 937.29/939.38 c current bound: 261 937.99/940.04 c current bound: 261 938.65/940.70 c current bound: 261 938.72/941.36 c current bound: 261 939.96/942.02 c current bound: 261 940.59/942.68 c current bound: 261 941.27/943.34 c current bound: 261 941.94/944.00 c current bound: 261 942.01/944.67 c current bound: 261 943.27/945.34 c current bound: 261 943.90/946.00 c current bound: 261 944.00/946.67 c current bound: 261 945.27/947.35 c current bound: 261 945.93/948.01 c current bound: 261 946.58/948.68 c current bound: 261 947.26/949.34 c current bound: 261 947.98/950.00 c current bound: 261 948.57/950.67 c current bound: 261 949.25/951.33 c current bound: 261 949.92/952.00 c current bound: 261 950.56/952.67 c current bound: 261 951.24/953.33 c current bound: 261 951.86/953.99 c current bound: 261 952.57/954.66 c current bound: 261 953.24/955.32 c current bound: 261 953.87/955.98 c current bound: 261 954.55/956.64 c current bound: 261 955.22/957.31 c current bound: 261 955.29/957.97 c current bound: 261 956.55/958.64 c current bound: 261 957.20/959.30 c current bound: 261 957.29/959.97 c current bound: 261 958.55/960.64 c current bound: 261 959.34/961.31 c current bound: 261 959.29/961.97 c current bound: 261 960.55/962.69 c current bound: 261 961.21/963.36 c current bound: 261 961.89/964.03 c current bound: 261 962.50/964.70 c current bound: 261 962.63/965.37 c current bound: 261 963.89/966.04 c current bound: 261 964.56/966.71 c current bound: 261 965.20/967.37 c current bound: 261 965.89/968.04 c current bound: 261 966.54/968.70 c current bound: 261 967.21/969.36 c current bound: 261 967.87/970.03 c current bound: 261 968.55/970.70 c current bound: 261 969.21/971.36 c current bound: 261 969.88/972.03 c current bound: 261 970.61/972.70 c current bound: 261 970.61/973.36 c current bound: 261 971.88/974.03 c current bound: 261 972.50/974.69 c current bound: 261 973.20/975.36 c current bound: 261 973.87/976.02 c current bound: 261 973.94/976.69 c current bound: 261 975.21/977.36 c current bound: 261 975.86/978.01 c current bound: 261 976.58/978.70 c current bound: 261 977.19/979.36 c current bound: 261 977.88/980.02 c current bound: 261 977.92/980.69 c current bound: 261 979.19/981.35 c current bound: 261 979.84/982.01 c current bound: 261 980.48/982.68 c current bound: 261 981.18/983.34 c current bound: 261 981.84/984.00 c current bound: 261 982.49/984.66 c current bound: 261 983.15/985.32 c current bound: 261 983.78/985.99 c current bound: 261 984.48/986.64 c current bound: 261 985.15/987.30 c current bound: 261 985.78/987.97 c current bound: 261 986.47/988.63 c current bound: 261 987.08/989.29 c current bound: 261 987.79/989.96 c current bound: 261 988.47/990.63 c current bound: 261 989.19/991.30 c current bound: 261 989.21/991.97 c current bound: 261 990.46/992.63 c current bound: 261 991.08/993.29 c current bound: 261 991.77/993.95 c current bound: 261 992.45/994.63 c current bound: 261 992.51/995.29 c current bound: 261 993.75/995.94 c current bound: 261 994.43/996.61 c current bound: 261 994.49/997.27 c current bound: 261 995.75/997.94 c current bound: 261 996.42/998.60 c current bound: 261 997.07/999.27 c current bound: 261 997.75/999.94 c current bound: 261 998.42/1000.60 c current bound: 261 999.07/1001.27 c current bound: 261 999.73/1001.93 c current bound: 261 1000.36/1002.59 c current bound: 261 1001.07/1003.26 c current bound: 261 1001.74/1003.91 c current bound: 261 1002.38/1004.58 c current bound: 261 1003.07/1005.24 c current bound: 261 1003.73/1005.90 c current bound: 261 1004.38/1006.57 c current bound: 261 1005.05/1007.24 c current bound: 261 1005.72/1007.90 c current bound: 261 1005.80/1008.57 c current bound: 261 1007.06/1009.24 c current bound: 261 1007.73/1009.91 c current bound: 261 1007.80/1010.57 c current bound: 261 1009.06/1011.24 c current bound: 261 1009.12/1011.90 c current bound: 261 1009.79/1012.57 c current bound: 261 1011.05/1013.24 c current bound: 261 1011.72/1013.91 c current bound: 261 1012.37/1014.57 c current bound: 261 1013.10/1015.31 c current bound: 261 1013.13/1015.97 c current bound: 261 1014.38/1016.64 c current bound: 261 1015.11/1017.30 c current bound: 261 1015.69/1017.97 c current bound: 261 1016.39/1018.63 c current bound: 261 1017.11/1019.30 c current bound: 261 1017.71/1019.96 c current bound: 261 1018.37/1020.63 c current bound: 261 1019.10/1021.30 c current bound: 261 1019.71/1021.96 c current bound: 261 1020.37/1022.63 c current bound: 261 1020.99/1023.28 c current bound: 261 1021.69/1023.95 c current bound: 261 1022.34/1024.60 c current bound: 261 1022.99/1025.27 c current bound: 261 1023.67/1025.94 c current bound: 261 1024.40/1026.60 c current bound: 261 1024.98/1027.25 c current bound: 261 1025.66/1027.92 c current bound: 261 1026.30/1028.59 c current bound: 261 1026.99/1029.25 c current bound: 261 1027.66/1029.92 c current bound: 261 1027.72/1030.58 c current bound: 261 1028.99/1031.24 c current bound: 261 1029.64/1031.90 c current bound: 261 1029.72/1032.57 c current bound: 261 1030.97/1033.23 c current bound: 261 1031.03/1033.89 c current bound: 261 1032.30/1034.56 c current bound: 261 1032.96/1035.23 c current bound: 261 1033.70/1035.90 c current bound: 261 1034.36/1036.61 c current bound: 261 1034.95/1037.28 c current bound: 261 1035.63/1037.94 c current bound: 261 1036.34/1038.60 c current bound: 261 1036.35/1039.27 c current bound: 261 1037.61/1039.94 c current bound: 261 1038.35/1040.60 c current bound: 261 1038.35/1041.26 c current bound: 261 1039.62/1041.93 c current bound: 261 1040.29/1042.60 c current bound: 261 1040.94/1043.27 c current bound: 261 1041.62/1043.94 c current bound: 261 1042.29/1044.60 c current bound: 261 1042.92/1045.27 c current bound: 261 1043.61/1045.94 c current bound: 261 1044.34/1046.60 c current bound: 261 1044.94/1047.26 c current bound: 261 1045.61/1047.93 c current bound: 261 1046.28/1048.60 c current bound: 261 1046.35/1049.26 c current bound: 261 1047.61/1049.92 c current bound: 261 1048.25/1050.59 c current bound: 261 1048.94/1051.26 c current bound: 261 1049.61/1051.93 c current bound: 261 1050.35/1052.64 c current bound: 261 1050.95/1053.31 c current bound: 261 1051.59/1053.98 c current bound: 261 1052.28/1054.64 c current bound: 261 1052.95/1055.31 c current bound: 261 1053.59/1055.98 c current bound: 261 1054.29/1056.65 c current bound: 261 1054.96/1057.32 c current bound: 261 1055.03/1057.98 c current bound: 261 1056.28/1058.65 c current bound: 261 1056.96/1059.31 c current bound: 261 1057.02/1059.98 c current bound: 261 1058.29/1060.65 c current bound: 261 1058.94/1061.31 c current bound: 261 1059.58/1061.97 c current bound: 261 1060.28/1062.64 c current bound: 261 1060.35/1063.29 c current bound: 261 1061.61/1063.96 c current bound: 261 1062.26/1064.62 c current bound: 261 1062.89/1065.28 c current bound: 261 1063.58/1065.94 c current bound: 261 1064.25/1066.61 c current bound: 261 1064.89/1067.27 c current bound: 261 1065.58/1067.93 c current bound: 261 1066.30/1068.67 c current bound: 261 1066.92/1069.34 c current bound: 261 1067.57/1070.00 c current bound: 261 1068.23/1070.67 c current bound: 261 1068.92/1071.33 c current bound: 261 1068.98/1071.99 c current bound: 261 1070.23/1072.65 c current bound: 261 1070.89/1073.32 c current bound: 261 1071.51/1073.99 c current bound: 261 1072.22/1074.66 c current bound: 261 1072.88/1075.31 c current bound: 261 1073.51/1075.98 c current bound: 261 1074.21/1076.65 c current bound: 261 1074.87/1077.31 c current bound: 261 1075.53/1077.96 c current bound: 261 1076.19/1078.63 c current bound: 261 1076.83/1079.28 c current bound: 261 1077.52/1079.95 c current bound: 261 1078.18/1080.62 c current bound: 261 1078.83/1081.29 c current bound: 261 1079.51/1081.95 c current bound: 261 1080.19/1082.63 c current bound: 261 1080.26/1083.29 c current bound: 261 1081.51/1083.96 c current bound: 261 1082.18/1084.62 c current bound: 261 1082.24/1085.29 c current bound: 261 1083.54/1085.96 c current bound: 261 1084.19/1086.63 c current bound: 261 1084.92/1087.30 c current bound: 261 1085.52/1087.96 c current bound: 261 1086.19/1088.63 c current bound: 261 1086.82/1089.29 c current bound: 261 1087.53/1089.96 c current bound: 261 1088.19/1090.62 c current bound: 261 1088.81/1091.29 c current bound: 261 1089.50/1091.95 c current bound: 261 1090.18/1092.61 c current bound: 261 1090.25/1093.27 c current bound: 261 1091.51/1093.94 c current bound: 261 1092.17/1094.61 c current bound: 261 1092.24/1095.27 c current bound: 261 1093.50/1095.94 c current bound: 261 1094.24/1096.60 c current bound: 261 1094.24/1097.27 c current bound: 261 1095.49/1097.93 c current bound: 261 1096.23/1098.60 c current bound: 261 1096.81/1099.26 c current bound: 261 1097.53/1099.93 c current bound: 261 1097.56/1100.59 c current bound: 261 1098.83/1101.26 c current bound: 261 1099.51/1101.93 c current bound: 261 1100.24/1102.60 c current bound: 261 1100.84/1103.26 c current bound: 261 1101.50/1103.93 c current bound: 261 1102.13/1104.59 c current bound: 261 1102.82/1105.25 c current bound: 261 1103.49/1105.91 c current bound: 261 1104.12/1106.58 c current bound: 261 1104.81/1107.24 c current bound: 261 1105.41/1107.89 c current bound: 261 1106.14/1108.56 c current bound: 261 1106.80/1109.22 c current bound: 261 1107.43/1109.89 c current bound: 261 1108.13/1110.55 c current bound: 261 1108.79/1111.21 c current bound: 261 1108.86/1111.88 c current bound: 261 1110.13/1112.54 c current bound: 261 1110.85/1113.21 c current bound: 261 1110.85/1113.87 c current bound: 261 1112.12/1114.53 c current bound: 261 1112.18/1115.19 c current bound: 261 1113.44/1115.85 c current bound: 261 1114.09/1116.51 c current bound: 261 1114.16/1117.17 c current bound: 261 1115.42/1117.84 c current bound: 261 1116.14/1118.50 c current bound: 261 1116.73/1119.16 c current bound: 261 1117.41/1119.83 c current bound: 261 1117.48/1120.49 c current bound: 261 1118.74/1121.15 c current bound: 261 1119.41/1121.82 c current bound: 261 1120.04/1122.49 c current bound: 261 1120.75/1123.16 c current bound: 261 1121.40/1123.82 c current bound: 261 1122.04/1124.49 c current bound: 261 1122.74/1125.15 c current bound: 261 1123.41/1125.81 c current bound: 261 1124.04/1126.48 c current bound: 261 1124.73/1127.14 c current bound: 261 1125.39/1127.80 c current bound: 261 1125.47/1128.47 c current bound: 261 1126.72/1129.13 c current bound: 261 1127.40/1129.80 c current bound: 261 1127.47/1130.47 c current bound: 261 1128.73/1131.14 c current bound: 261 1128.80/1131.80 c current bound: 261 1129.46/1132.47 c current bound: 261 1130.72/1133.13 c current bound: 261 1130.79/1133.79 c current bound: 261 1132.05/1134.45 c current bound: 261 1132.76/1135.12 c current bound: 261 1132.79/1135.79 c current bound: 261 1134.05/1136.46 c current bound: 261 1134.71/1137.12 c current bound: 261 1135.38/1137.83 c current bound: 261 1136.00/1138.50 c current bound: 261 1136.13/1139.16 c current bound: 261 1137.39/1139.83 c current bound: 261 1138.13/1140.50 c current bound: 261 1138.71/1141.17 c current bound: 261 1139.40/1141.84 c current bound: 261 1140.06/1142.50 c current bound: 261 1140.80/1143.21 c current bound: 261 1140.80/1143.88 c current bound: 261 1142.05/1144.54 c current bound: 261 1142.72/1145.21 c current bound: 261 1142.79/1145.87 c current bound: 261 1144.06/1146.54 c current bound: 261 1144.76/1147.21 c current bound: 261 1144.79/1147.88 c current bound: 261 1146.07/1148.54 c current bound: 261 1146.74/1149.21 c current bound: 261 1147.39/1149.86 c current bound: 261 1148.09/1150.53 c current bound: 261 1148.79/1151.20 c current bound: 261 1149.38/1151.87 c current bound: 261 1150.06/1152.53 c current bound: 261 1150.68/1153.19 c current bound: 261 1151.39/1153.86 c current bound: 261 1152.06/1154.53 c current bound: 261 1152.66/1155.19 c current bound: 261 1153.37/1155.85 c current bound: 261 1154.03/1156.51 c current bound: 261 1154.68/1157.17 c current bound: 261 1155.37/1157.84 c current bound: 261 1156.08/1158.50 c current bound: 261 1156.10/1159.16 c current bound: 261 1157.35/1159.82 c current bound: 261 1157.99/1160.48 c current bound: 261 1158.68/1161.14 c current bound: 261 1159.34/1161.81 c current bound: 261 1159.41/1162.47 c current bound: 261 1160.67/1163.14 c current bound: 261 1161.40/1163.80 c current bound: 261 1161.40/1164.47 c current bound: 261 1162.67/1165.14 c current bound: 261 1163.39/1165.80 c current bound: 261 1163.98/1166.47 c current bound: 261 1164.66/1167.13 c current bound: 261 1165.40/1167.80 c current bound: 261 1166.00/1168.46 c current bound: 261 1166.67/1169.13 c current bound: 261 1167.29/1169.79 c current bound: 261 1168.00/1170.46 c current bound: 261 1168.67/1171.13 c current bound: 261 1169.28/1171.79 c current bound: 261 1170.00/1172.46 c current bound: 261 1170.66/1173.12 c current bound: 261 1171.29/1173.79 c current bound: 261 1171.98/1174.45 c current bound: 261 1172.66/1175.16 c current bound: 261 1173.35/1175.82 c current bound: 261 1173.39/1176.49 c current bound: 261 1174.65/1177.15 c current bound: 261 1175.32/1177.82 c current bound: 261 1175.95/1178.48 c current bound: 261 1176.66/1179.15 c current bound: 261 1177.30/1179.81 c current bound: 261 1177.95/1180.48 c current bound: 261 1178.64/1181.14 c current bound: 261 1179.30/1181.81 c current bound: 261 1179.96/1182.48 c current bound: 261 1180.64/1183.15 c current bound: 261 1181.31/1183.81 c current bound: 261 1181.38/1184.48 c current bound: 261 1182.64/1185.14 c current bound: 261 1183.37/1185.80 c current bound: 261 1183.37/1186.47 c current bound: 261 1184.64/1187.13 c current bound: 261 1185.37/1187.80 c current bound: 261 1185.95/1188.47 c current bound: 261 1186.64/1189.14 c current bound: 261 1187.36/1189.80 c current bound: 261 1187.94/1190.46 c current bound: 261 1188.64/1191.13 c current bound: 261 1189.24/1191.79 c current bound: 261 1189.95/1192.45 c current bound: 261 1190.62/1193.12 c current bound: 261 1191.25/1193.78 c current bound: 261 1191.95/1194.45 c current bound: 261 1192.62/1195.11 c current bound: 261 1193.26/1195.78 c current bound: 261 1193.95/1196.44 c current bound: 261 1194.63/1197.11 c current bound: 261 1194.70/1197.76 c current bound: 261 1195.95/1198.43 c current bound: 261 1196.57/1199.09 c current bound: 261 1197.27/1199.75 c current bound: 261 1197.93/1200.41 c current bound: 261 1197.99/1201.08 c current bound: 261 1199.25/1201.73 c current bound: 261 1199.86/1202.39 c current bound: 261 1199.98/1203.06 c current bound: 261 1201.23/1203.72 c current bound: 261 1201.30/1204.38 c current bound: 261 1202.56/1205.04 c current bound: 261 1203.22/1205.70 c current bound: 261 1203.29/1206.37 c current bound: 261 1204.54/1207.03 c current bound: 261 1204.61/1207.70 c current bound: 261 1205.27/1208.37 c current bound: 261 1206.55/1209.04 c current bound: 261 1207.22/1209.70 c current bound: 261 1207.86/1210.37 c current bound: 261 1208.56/1211.04 c current bound: 261 1209.27/1211.70 c current bound: 261 1209.87/1212.36 c current bound: 261 1210.55/1213.03 c current bound: 261 1211.28/1213.70 c current bound: 261 1211.88/1214.36 c current bound: 261 1212.54/1215.03 c current bound: 261 1213.28/1215.70 c current bound: 261 1213.29/1216.37 c current bound: 261 1214.57/1217.04 c current bound: 261 1215.22/1217.71 c current bound: 261 1215.30/1218.38 c current bound: 261 1216.55/1219.04 c current bound: 261 1217.23/1219.71 c current bound: 261 1217.87/1220.38 c current bound: 261 1218.56/1221.04 c current bound: 261 1219.22/1221.71 c current bound: 261 1219.87/1222.37 c current bound: 261 1220.55/1223.03 c current bound: 261 1221.28/1223.70 c current bound: 261 1221.88/1224.36 c current bound: 261 1222.55/1225.03 c current bound: 261 1223.19/1225.69 c current bound: 261 1223.88/1226.35 c current bound: 261 1224.55/1227.01 c current bound: 261 1225.26/1227.71 c current bound: 261 1225.27/1228.38 c current bound: 261 1226.52/1229.04 c current bound: 261 1227.25/1229.71 c current bound: 261 1227.26/1230.37 c current bound: 261 1228.51/1231.04 c current bound: 261 1229.25/1231.70 c current bound: 261 1229.83/1232.37 c current bound: 261 1230.54/1233.04 c current bound: 261 1231.18/1233.70 c current bound: 261 1231.83/1234.37 c current bound: 261 1232.52/1235.04 c current bound: 261 1233.12/1235.69 c current bound: 261 1233.84/1236.35 c current bound: 261 1234.49/1237.02 c current bound: 261 1235.13/1237.69 c current bound: 261 1235.83/1238.35 c current bound: 261 1236.51/1239.02 c current bound: 261 1237.14/1239.68 c current bound: 261 1237.84/1240.35 c current bound: 261 1238.50/1241.01 c current bound: 261 1238.57/1241.68 c current bound: 261 1239.83/1242.34 c current bound: 261 1240.49/1243.01 c current bound: 261 1240.57/1243.67 c current bound: 261 1241.81/1244.33 c current bound: 261 1242.54/1245.00 c current bound: 261 1243.12/1245.66 c current bound: 261 1243.82/1246.32 c current bound: 261 1243.88/1246.98 c current bound: 261 1245.14/1247.64 c current bound: 261 1245.80/1248.31 c current bound: 261 1246.45/1248.97 c current bound: 261 1247.12/1249.64 c current bound: 261 1247.80/1250.31 c current bound: 261 1248.44/1250.96 c current bound: 261 1249.12/1251.63 c current bound: 261 1249.86/1252.30 c current bound: 261 1250.45/1252.96 c current bound: 261 1251.13/1253.63 c current bound: 261 1251.75/1254.29 c current bound: 261 1252.45/1254.96 c current bound: 261 1253.11/1255.62 c current bound: 261 1253.76/1256.29 c current bound: 261 1254.44/1256.95 c current bound: 261 1255.10/1257.61 c current bound: 261 1255.18/1258.28 c current bound: 261 1256.44/1258.95 c current bound: 261 1257.12/1259.61 c current bound: 261 1257.18/1260.28 c current bound: 261 1258.45/1260.95 c current bound: 261 1259.15/1261.61 c current bound: 261 1259.18/1262.28 c current bound: 261 1260.44/1262.94 c current bound: 261 1261.10/1263.60 c current bound: 261 1261.75/1264.27 c current bound: 261 1262.45/1264.93 c current bound: 261 1262.49/1265.59 c current bound: 261 1263.75/1266.25 c current bound: 261 1264.42/1266.91 c current bound: 261 1265.05/1267.58 c current bound: 261 1265.75/1268.24 c current bound: 261 1266.40/1268.91 c current bound: 261 1267.04/1269.57 c current bound: 261 1267.73/1270.23 c current bound: 261 1268.34/1270.89 c current bound: 261 1269.06/1271.55 c current bound: 261 1269.72/1272.22 c current bound: 261 1270.34/1272.88 c current bound: 261 1271.06/1273.55 c current bound: 261 1271.72/1274.22 c current bound: 261 1272.36/1274.89 c current bound: 261 1273.06/1275.54 c current bound: 261 1273.72/1276.20 c current bound: 261 1273.78/1276.87 c current bound: 261 1275.04/1277.53 c current bound: 261 1275.66/1278.20 c current bound: 261 1276.37/1278.86 c current bound: 261 1277.03/1279.53 c current bound: 261 1277.77/1280.20 c current bound: 261 1278.36/1280.87 c current bound: 261 1279.05/1281.53 c current bound: 261 1279.79/1282.20 c current bound: 261 1280.38/1282.86 c current bound: 261 1281.04/1283.52 c current bound: 261 1281.67/1284.19 c current bound: 261 1282.38/1284.85 c current bound: 261 1283.05/1285.52 c current bound: 261 1283.68/1286.18 c current bound: 261 1284.37/1286.85 c current bound: 261 1285.04/1287.51 c current bound: 261 1285.67/1288.17 c current bound: 261 1286.37/1288.84 c current bound: 261 1287.09/1289.50 c current bound: 261 1287.09/1290.16 c current bound: 261 1288.36/1290.82 c current bound: 261 1289.07/1291.55 c current bound: 261 1289.67/1292.20 c current bound: 261 1290.30/1292.87 c current bound: 261 1291.02/1293.53 c current bound: 261 1291.06/1294.20 c current bound: 261 1292.32/1294.85 c current bound: 261 1292.99/1295.52 c current bound: 261 1293.63/1296.19 c current bound: 261 1294.32/1296.85 c current bound: 261 1294.97/1297.51 c current bound: 261 1295.62/1298.17 c current bound: 261 1296.30/1298.83 c current bound: 261 1296.92/1299.49 c current bound: 261 1297.62/1300.16 c current bound: 261 1298.29/1300.83 c current bound: 261 1298.91/1301.49 c current bound: 261 1299.62/1302.15 c current bound: 261 1300.28/1302.81 c current bound: 261 1300.94/1303.48 c current bound: 261 1301.61/1304.14 c current bound: 261 1302.28/1304.81 c current bound: 261 1302.35/1305.47 c current bound: 261 1303.62/1306.14 c current bound: 261 1304.34/1306.80 c current bound: 261 1305.00/1307.51 c current bound: 261 1305.57/1308.18 c current bound: 261 1306.27/1308.84 c current bound: 261 1306.94/1309.51 c current bound: 261 1307.58/1310.17 c current bound: 261 1308.27/1310.84 c current bound: 261 1308.93/1311.50 c current bound: 261 1309.01/1312.17 c current bound: 261 1310.26/1312.83 c current bound: 261 1310.98/1313.50 c current bound: 261 1311.00/1314.17 c current bound: 261 1312.26/1314.83 c current bound: 261 1312.33/1315.50 c current bound: 261 1312.99/1316.17 c current bound: 261 1314.26/1316.83 c current bound: 261 1314.34/1317.49 c current bound: 261 1315.59/1318.16 c current bound: 261 1316.28/1318.82 c current bound: 261 1316.32/1319.49 c current bound: 261 1317.59/1320.16 c current bound: 261 1318.26/1320.82 c current bound: 261 1318.89/1321.49 c current bound: 261 1319.60/1322.15 c current bound: 261 1320.24/1322.81 c current bound: 261 1320.89/1323.47 c current bound: 261 1321.57/1324.14 c current bound: 261 1322.23/1324.81 c current bound: 261 1322.88/1325.47 c current bound: 261 1323.57/1326.14 c current bound: 261 1324.19/1326.79 c current bound: 261 1324.89/1327.45 c current bound: 261 1325.56/1328.12 c current bound: 261 1326.19/1328.78 c current bound: 261 1326.88/1329.45 c current bound: 261 1327.53/1330.11 c current bound: 261 1327.61/1330.76 c current bound: 261 1328.87/1331.43 c current bound: 261 1329.49/1332.09 c current bound: 261 1330.19/1332.75 c current bound: 261 1330.85/1333.41 c current bound: 261 1330.92/1334.08 c current bound: 261 1332.19/1334.75 c current bound: 261 1332.84/1335.41 c current bound: 261 1332.91/1336.07 c current bound: 261 1334.17/1336.73 c current bound: 261 1334.89/1337.40 c current bound: 261 1335.47/1338.06 c current bound: 261 1336.16/1338.73 c current bound: 261 1336.88/1339.44 c current bound: 261 1337.49/1340.10 c current bound: 261 1337.54/1340.77 c current bound: 261 1338.83/1341.44 c current bound: 261 1339.54/1342.10 c current bound: 261 1339.55/1342.77 c current bound: 261 1340.82/1343.43 c current bound: 261 1341.54/1344.10 c current bound: 261 1341.56/1344.79 c current bound: 261 1342.82/1345.45 c current bound: 261 1343.49/1346.12 c current bound: 261 1344.11/1346.79 c current bound: 261 1344.83/1347.45 c current bound: 261 1345.47/1348.12 c current bound: 261 1346.11/1348.78 c current bound: 261 1346.82/1349.45 c current bound: 261 1347.47/1350.17 c current bound: 261 1348.13/1350.83 c current bound: 261 1348.85/1351.50 c current bound: 261 1349.44/1352.16 c current bound: 261 1350.12/1352.83 c current bound: 261 1350.79/1353.50 c current bound: 261 1351.46/1354.17 c current bound: 261 1352.13/1354.84 c current bound: 261 1352.75/1355.49 c current bound: 261 1353.46/1356.16 c current bound: 261 1354.13/1356.83 c current bound: 261 1354.75/1357.49 c current bound: 261 1355.47/1358.16 c current bound: 261 1356.13/1358.83 c current bound: 261 1356.20/1359.50 c current bound: 261 1356.86/1360.17 c current bound: 261 1358.13/1360.83 c current bound: 261 1358.86/1361.50 c current bound: 261 1359.44/1362.16 c current bound: 261 1360.15/1362.83 c current bound: 261 1360.85/1363.50 c current bound: 261 1361.44/1364.17 c current bound: 261 1362.12/1364.83 c current bound: 261 1362.75/1365.49 c current bound: 261 1363.46/1366.16 c current bound: 261 1364.11/1366.82 c current bound: 261 1364.74/1367.48 c current bound: 261 1365.45/1368.14 c current bound: 261 1366.17/1368.80 c current bound: 261 1366.77/1369.46 c current bound: 261 1367.43/1370.13 c current bound: 261 1368.05/1370.79 c current bound: 261 1368.76/1371.46 c current bound: 261 1369.43/1372.13 c current bound: 261 1370.07/1372.79 c current bound: 261 1370.75/1373.45 c current bound: 261 1371.41/1374.11 c current bound: 261 1371.48/1374.78 c current bound: 261 1372.75/1375.44 c current bound: 261 1373.42/1376.11 c current bound: 261 1373.48/1376.78 c current bound: 261 1374.75/1377.44 c current bound: 261 1375.40/1378.10 c current bound: 261 1376.06/1378.76 c current bound: 261 1376.73/1379.43 c current bound: 261 1376.79/1380.09 c current bound: 261 1378.06/1380.76 c current bound: 261 1378.72/1381.42 c current bound: 261 1379.35/1382.08 c current bound: 261 1380.04/1382.74 c current bound: 261 1380.71/1383.40 c current bound: 261 1381.35/1384.07 c current bound: 261 1382.03/1384.73 c current bound: 261 1382.76/1385.40 c current bound: 261 1383.37/1386.07 c current bound: 261 1384.03/1386.73 c current bound: 261 1384.70/1387.40 c current bound: 261 1385.34/1388.06 c current bound: 261 1386.01/1388.73 c current bound: 261 1386.64/1389.40 c current bound: 261 1386.75/1390.06 c current bound: 261 1388.03/1390.73 c current bound: 261 1388.74/1391.52 c current bound: 261 1388.76/1392.19 c current bound: 261 1390.03/1392.86 c current bound: 261 1390.70/1393.53 c current bound: 261 1391.33/1394.19 c current bound: 261 1392.01/1394.84 c current bound: 261 1392.69/1395.51 c current bound: 261 1393.32/1396.18 c current bound: 261 1394.02/1396.84 c current bound: 261 1394.68/1397.50 c current bound: 261 1395.35/1398.17 c current bound: 261 1396.01/1398.84 c current bound: 261 1396.74/1399.50 c current bound: 261 1397.35/1400.16 c current bound: 261 1398.03/1400.83 c current bound: 261 1398.76/1401.50 c current bound: 261 1398.77/1402.17 c current bound: 261 1400.03/1402.83 c current bound: 261 1400.76/1403.50 c current bound: 261 1400.76/1404.17 c current bound: 261 1402.03/1404.84 c current bound: 261 1402.75/1405.50 c current bound: 261 1403.33/1406.17 c current bound: 261 1404.04/1406.83 c current bound: 261 1404.75/1407.54 c current bound: 261 1405.35/1408.21 c current bound: 261 1405.41/1408.87 c current bound: 261 1406.69/1409.54 c current bound: 261 1407.35/1410.21 c current bound: 261 1407.43/1410.87 c current bound: 261 1408.68/1411.54 c current bound: 261 1409.36/1412.21 c current bound: 261 1410.00/1412.87 c current bound: 261 1410.68/1413.54 c current bound: 261 1411.34/1414.20 c current bound: 261 1411.99/1414.87 c current bound: 261 1412.69/1415.54 c current bound: 261 1413.41/1416.20 c current bound: 261 1414.01/1416.86 c current bound: 261 1414.67/1417.53 c current bound: 261 1415.29/1418.19 c current bound: 261 1415.99/1418.85 c current bound: 261 1416.67/1419.52 c current bound: 261 1417.30/1420.18 c current bound: 261 1418.01/1420.85 c current bound: 261 1418.66/1421.51 c current bound: 261 1418.73/1422.17 c current bound: 261 1419.99/1422.83 c current bound: 261 1420.72/1423.50 c current bound: 261 1420.72/1424.16 c current bound: 261 1421.97/1424.83 c current bound: 261 1422.06/1425.48 c current bound: 261 1423.29/1426.13 c current bound: 261 1424.02/1426.80 c current bound: 261 1424.02/1427.47 c current bound: 261 1425.29/1428.13 c current bound: 261 1425.36/1428.79 c current bound: 261 1426.62/1429.46 c current bound: 261 1427.30/1430.13 c current bound: 261 1427.36/1430.79 c current bound: 261 1428.62/1431.46 c current bound: 261 1429.32/1432.13 c current bound: 261 1429.35/1432.79 c current bound: 261 1430.62/1433.46 c current bound: 261 1431.29/1434.12 c current bound: 261 1431.91/1434.79 c current bound: 261 1432.63/1435.45 c current bound: 261 1433.29/1436.12 c current bound: 261 1433.92/1436.78 c current bound: 261 1434.62/1437.44 c current bound: 261 1435.28/1438.11 c current bound: 261 1435.91/1438.78 c current bound: 261 1436.62/1439.44 c current bound: 261 1437.27/1440.10 c current bound: 261 1437.34/1440.77 c current bound: 261 1438.60/1441.43 c current bound: 261 1439.23/1442.10 c current bound: 261 1439.34/1442.77 c current bound: 261 1440.60/1443.44 c current bound: 261 1441.28/1444.11 c current bound: 261 1441.92/1444.78 c current bound: 261 1442.62/1445.45 c current bound: 261 1443.28/1446.12 c current bound: 261 1444.03/1446.80 c current bound: 261 1444.03/1447.47 c current bound: 261 1445.29/1448.14 c current bound: 261 1446.03/1448.80 c current bound: 261 1446.63/1449.46 c current bound: 261 1447.31/1450.13 c current bound: 261 1448.04/1450.80 c current bound: 261 1448.05/1451.47 c current bound: 261 1449.30/1452.13 c current bound: 261 1449.98/1452.80 c current bound: 261 1450.62/1453.48 c current bound: 261 1451.33/1454.15 c current bound: 261 1452.00/1454.82 c current bound: 261 1452.62/1455.49 c current bound: 261 1453.34/1456.16 c current bound: 261 1454.01/1456.83 c current bound: 261 1454.64/1457.50 c current bound: 261 1454.75/1458.17 c current bound: 261 1456.02/1458.84 c current bound: 261 1456.69/1459.51 c current bound: 261 1457.33/1460.17 c current bound: 261 1458.02/1460.84 c current bound: 261 1458.68/1461.50 c current bound: 261 1458.76/1462.16 c current bound: 261 1460.00/1462.83 c current bound: 261 1460.63/1463.49 c current bound: 261 1461.33/1464.16 c current bound: 261 1462.01/1464.83 c current bound: 261 1462.63/1465.49 c current bound: 261 1463.34/1466.16 c current bound: 261 1464.01/1466.82 c current bound: 261 1464.63/1467.49 c current bound: 261 1465.33/1468.16 c current bound: 261 1466.01/1468.82 c current bound: 261 1466.06/1469.49 c current bound: 261 1467.34/1470.15 c current bound: 261 1468.00/1470.82 c current bound: 261 1468.07/1471.48 c current bound: 261 1469.32/1472.15 c current bound: 261 1470.04/1472.83 c current bound: 261 1470.07/1473.49 c current bound: 261 1471.34/1474.16 c current bound: 261 1472.00/1474.83 c current bound: 261 1472.74/1475.50 c current bound: 261 1473.34/1476.16 c current bound: 261 1474.00/1476.83 c current bound: 261 1474.68/1477.50 c current bound: 261 1474.75/1478.17 c current bound: 261 1476.02/1478.84 c current bound: 261 1476.75/1479.51 c current bound: 261 1476.76/1480.17 c current bound: 261 1478.01/1480.84 c current bound: 261 1478.69/1481.51 c current bound: 261 1479.32/1482.18 c current bound: 261 1480.03/1482.85 c current bound: 261 1480.69/1483.53 c current bound: 261 1481.33/1484.19 c current bound: 261 1481.44/1484.87 c current bound: 261 1482.71/1485.53 c current bound: 261 1483.44/1486.20 c current bound: 261 1483.44/1486.87 c current bound: 261 1484.72/1487.55 c current bound: 261 1485.43/1488.21 c current bound: 261 1485.46/1488.89 c current bound: 261 1486.73/1489.55 c current bound: 261 1487.39/1490.21 c current bound: 261 1488.02/1490.87 c current bound: 261 1488.72/1491.54 c current bound: 261 1489.37/1492.21 c current bound: 261 1490.02/1492.89 c current bound: 261 1490.72/1493.56 c current bound: 261 1491.37/1494.22 c current bound: 261 1492.01/1494.89 c current bound: 261 1492.72/1495.56 c current bound: 261 1493.39/1496.23 c current bound: 261 1494.07/1496.91 c current bound: 261 1494.71/1497.58 c current bound: 261 1495.41/1498.25 c current bound: 261 1496.07/1498.92 c current bound: 261 1496.71/1499.58 c current bound: 261 1497.40/1500.25 c current bound: 261 1498.09/1500.92 c current bound: 261 1498.72/1501.59 c current bound: 261 1498.83/1502.27 c current bound: 261 1500.10/1502.93 c current bound: 261 1500.17/1503.60 c current bound: 261 1500.82/1504.26 c current bound: 261 1502.09/1504.93 c current bound: 261 1502.82/1505.60 c current bound: 261 1503.41/1506.27 c current bound: 261 1504.11/1506.92 c current bound: 261 1504.16/1507.59 c current bound: 261 1505.43/1508.26 c current bound: 261 1506.08/1508.91 c current bound: 261 1506.75/1509.60 c current bound: 261 1507.40/1510.26 c current bound: 261 1508.06/1510.93 c current bound: 261 1508.68/1511.59 c current bound: 261 1509.39/1512.25 c current bound: 261 1510.06/1512.92 c current bound: 261 1510.69/1513.57 c current bound: 261 1511.38/1514.24 c current bound: 261 1512.05/1514.90 c current bound: 261 1512.70/1515.56 c current bound: 261 1513.37/1516.22 c current bound: 261 1513.99/1516.89 c current bound: 261 1514.71/1517.56 c current bound: 261 1515.37/1518.23 c current bound: 261 1515.44/1518.89 c current bound: 261 1516.70/1519.56 c current bound: 261 1517.37/1520.23 c current bound: 261 1518.11/1520.90 c current bound: 261 1518.69/1521.57 c current bound: 261 1519.37/1522.23 c current bound: 261 1519.99/1522.89 c current bound: 261 1520.69/1523.57 c current bound: 261 1521.36/1524.24 c current bound: 261 1522.04/1524.91 c current bound: 261 1522.11/1525.57 c current bound: 261 1523.37/1526.24 c current bound: 261 1524.04/1526.91 c current bound: 261 1524.11/1527.57 c current bound: 261 1525.38/1528.24 c current bound: 261 1526.10/1528.91 c current bound: 261 1526.11/1529.58 c current bound: 261 1527.37/1530.25 c current bound: 261 1528.05/1530.92 c current bound: 261 1528.69/1531.59 c current bound: 261 1529.40/1532.26 c current bound: 261 1530.05/1532.93 c current bound: 261 1530.70/1533.59 c current bound: 261 1530.80/1534.27 c current bound: 261 1532.07/1534.93 c current bound: 261 1532.68/1535.59 c current bound: 261 1532.80/1536.27 c current bound: 261 1534.07/1536.94 c current bound: 261 1534.73/1537.60 c current bound: 261 1535.39/1538.26 c current bound: 261 1536.05/1538.93 c current bound: 261 1536.78/1539.60 c current bound: 261 1537.38/1540.26 c current bound: 261 1538.04/1540.93 c current bound: 261 1538.68/1541.59 c current bound: 261 1539.37/1542.26 c current bound: 261 1540.05/1542.92 c current bound: 261 1540.68/1543.59 c current bound: 261 1540.80/1544.27 c current bound: 261 1542.06/1544.93 c current bound: 261 1542.69/1545.59 c current bound: 261 1543.39/1546.26 c current bound: 261 1544.06/1546.93 c current bound: 261 1544.13/1547.59 c current bound: 261 1544.80/1548.29 c current bound: 261 1546.09/1548.96 c current bound: 261 1546.76/1549.62 c current bound: 261 1547.37/1550.29 c current bound: 261 1548.09/1550.95 c current bound: 261 1548.75/1551.62 c current bound: 261 1549.37/1552.28 c current bound: 261 1550.08/1552.94 c current bound: 261 1550.75/1553.61 c current bound: 261 1551.40/1554.27 c current bound: 261 1552.07/1554.93 c current bound: 261 1552.80/1555.60 c current bound: 261 1552.81/1556.26 c current bound: 261 1554.06/1556.93 c current bound: 261 1554.70/1557.60 c current bound: 261 1554.80/1558.26 c current bound: 261 1556.06/1558.92 c current bound: 261 1556.12/1559.60 c current bound: 261 1557.40/1560.26 c current bound: 261 1558.07/1560.93 c current bound: 261 1558.74/1561.61 c current bound: 261 1559.39/1562.28 c current bound: 261 1560.07/1562.94 c current bound: 261 1560.75/1563.62 c current bound: 261 1561.39/1564.28 c current bound: 261 1562.08/1564.93 c current bound: 261 1562.74/1565.60 c current bound: 261 1562.82/1566.27 c current bound: 261 1564.07/1566.94 c current bound: 261 1564.81/1567.60 c current bound: 261 1564.81/1568.27 c current bound: 261 1566.08/1568.93 c current bound: 261 1566.80/1569.61 c current bound: 261 1566.81/1570.28 c current bound: 261 1568.08/1570.94 c current bound: 261 1568.74/1571.61 c current bound: 261 1569.39/1572.28 c current bound: 261 1570.08/1572.95 c current bound: 261 1570.74/1573.61 c current bound: 261 1571.38/1574.27 c current bound: 261 1572.07/1574.94 c current bound: 261 1572.74/1575.61 c current bound: 261 1573.39/1576.27 c current bound: 261 1574.07/1576.94 c current bound: 261 1574.74/1577.61 c current bound: 261 1574.81/1578.28 c current bound: 261 1576.08/1578.95 c current bound: 261 1576.75/1579.62 c current bound: 261 1576.82/1580.28 c current bound: 261 1578.09/1580.96 c current bound: 261 1578.75/1581.63 c current bound: 261 1579.39/1582.29 c current bound: 261 1580.10/1582.96 c current bound: 261 1580.76/1583.63 c current bound: 261 1581.50/1584.30 c current bound: 261 1582.11/1584.96 c current bound: 261 1582.77/1585.63 c current bound: 261 1583.50/1586.30 c current bound: 261 1584.10/1586.96 c current bound: 261 1584.77/1587.63 c current bound: 261 1584.82/1588.30 c current bound: 261 1585.51/1588.97 c current bound: 261 1586.77/1589.63 c current bound: 261 1587.49/1590.30 c current bound: 261 1588.09/1590.96 c current bound: 261 1588.79/1591.64 c current bound: 261 1589.44/1592.31 c current bound: 261 1590.09/1592.98 c current bound: 261 1590.78/1593.65 c current bound: 261 1591.45/1594.32 c current bound: 261 1592.19/1595.04 c current bound: 261 1592.19/1595.69 c current bound: 261 1593.44/1596.35 c current bound: 261 1594.11/1597.01 c current bound: 261 1594.75/1597.68 c current bound: 261 1595.43/1598.34 c current bound: 261 1596.10/1599.01 c current bound: 261 1596.73/1599.67 c current bound: 261 1597.42/1600.34 c current bound: 261 1598.14/1601.00 c current bound: 261 1598.73/1601.66 c current bound: 261 1599.42/1602.33 c current bound: 261 1600.04/1602.99 c current bound: 261 1600.74/1603.65 c current bound: 261 1601.41/1604.32 c current bound: 261 1602.04/1604.99 c current bound: 261 1602.74/1605.66 c current bound: 261 1603.42/1606.33 c current bound: 261 1603.49/1607.00 c current bound: 261 1604.79/1607.71 c current bound: 261 1605.43/1608.38 c current bound: 261 1606.13/1609.05 c current bound: 261 1606.81/1609.72 c current bound: 261 1607.45/1610.39 c current bound: 261 1608.15/1611.06 c current bound: 261 1608.82/1611.73 c current bound: 261 1608.90/1612.39 c current bound: 261 1610.15/1613.06 c current bound: 261 1610.83/1613.73 c current bound: 261 1610.89/1614.40 c current bound: 261 1612.16/1615.06 c current bound: 261 1612.83/1615.73 c current bound: 261 1613.49/1616.40 c current bound: 261 1614.15/1617.07 c current bound: 261 1614.83/1617.74 c current bound: 261 1615.52/1618.41 c current bound: 261 1615.57/1619.08 c current bound: 261 1616.84/1619.75 c current bound: 261 1617.51/1620.43 c current bound: 261 1617.59/1621.09 c current bound: 261 1618.85/1621.75 c current bound: 261 1619.55/1622.42 c current bound: 261 1619.58/1623.09 c current bound: 261 1620.86/1623.76 c current bound: 261 1621.51/1624.43 c current bound: 261 1622.14/1625.09 c current bound: 261 1622.83/1625.77 c current bound: 261 1623.50/1626.43 c current bound: 261 1624.12/1627.09 c current bound: 261 1624.83/1627.76 c current bound: 261 1625.50/1628.43 c current bound: 261 1626.13/1629.10 c current bound: 261 1626.24/1629.77 c current bound: 261 1627.51/1630.44 c current bound: 261 1628.17/1631.11 c current bound: 261 1628.83/1631.78 c current bound: 261 1629.52/1632.45 c current bound: 261 1630.18/1633.12 c current bound: 261 1630.81/1633.78 c current bound: 261 1631.51/1634.45 c current bound: 261 1632.18/1635.12 c current bound: 261 1632.81/1635.79 c current bound: 261 1633.53/1636.46 c current bound: 261 1634.19/1637.12 c current bound: 261 1634.24/1637.79 c current bound: 261 1635.52/1638.46 c current bound: 261 1636.17/1639.12 c current bound: 261 1636.25/1639.79 c current bound: 261 1637.51/1640.45 c current bound: 261 1638.23/1641.11 c current bound: 261 1638.24/1641.77 c current bound: 261 1639.50/1642.44 c current bound: 261 1640.23/1643.10 c current bound: 261 1640.83/1643.76 c current bound: 261 1641.52/1644.42 c current bound: 261 1642.22/1645.13 c current bound: 261 1642.78/1645.79 c current bound: 261 1643.49/1646.45 c current bound: 261 1644.15/1647.12 c current bound: 261 1644.80/1647.79 c current bound: 261 1645.48/1648.45 c current bound: 261 1646.15/1649.12 c current bound: 261 1646.22/1649.78 c current bound: 261 1647.50/1650.45 c current bound: 261 1648.16/1651.12 c current bound: 261 1648.23/1651.79 c current bound: 261 1649.50/1652.46 c current bound: 261 1650.17/1653.13 c current bound: 261 1650.90/1653.80 c current bound: 261 1651.49/1654.45 c current bound: 261 1652.16/1655.18 c current bound: 261 1652.82/1655.85 c current bound: 261 1653.52/1656.51 c current bound: 261 1653.56/1657.17 c current bound: 261 1654.81/1657.84 c current bound: 261 1655.48/1658.51 c current bound: 261 1656.12/1659.18 c current bound: 261 1656.83/1659.85 c current bound: 261 1657.50/1660.52 c current bound: 261 1658.24/1661.20 c current bound: 261 1658.83/1661.86 c current bound: 261 1659.50/1662.53 c current bound: 261 1660.13/1663.19 c current bound: 261 1660.82/1663.86 c current bound: 261 1661.49/1664.53 c current bound: 261 1662.23/1665.23 c current bound: 261 1662.84/1665.90 c current bound: 261 1663.49/1666.58 c current bound: 261 1664.20/1667.25 c current bound: 261 1664.85/1667.92 c current bound: 261 1664.94/1668.58 c current bound: 261 1666.20/1669.26 c current bound: 261 1666.88/1669.93 c current bound: 261 1667.61/1670.60 c current bound: 261 1668.20/1671.27 c current bound: 261 1668.89/1671.94 c current bound: 261 1669.56/1672.62 c current bound: 261 1670.20/1673.29 c current bound: 261 1670.90/1673.96 c current bound: 261 1671.58/1674.63 c current bound: 261 1672.21/1675.29 c current bound: 261 1672.90/1675.95 c current bound: 261 1673.56/1676.62 c current bound: 261 1673.63/1677.29 c current bound: 261 1674.89/1677.95 c current bound: 261 1675.57/1678.62 c current bound: 261 1675.64/1679.29 c current bound: 261 1676.90/1679.96 c current bound: 261 1677.57/1680.62 c current bound: 261 1678.31/1681.30 c current bound: 261 1678.90/1681.96 c current bound: 261 1679.56/1682.62 c current bound: 261 1680.19/1683.29 c current bound: 261 1680.90/1683.96 c current bound: 261 1681.56/1684.62 c current bound: 261 1682.23/1685.32 c current bound: 261 1682.30/1685.99 c current bound: 261 1683.57/1686.66 c current bound: 261 1684.26/1687.32 c current bound: 261 1684.30/1687.99 c current bound: 261 1685.56/1688.65 c current bound: 261 1686.22/1689.31 c current bound: 261 1686.85/1689.97 c current bound: 261 1687.57/1690.64 c current bound: 261 1688.28/1691.30 c current bound: 261 1688.87/1691.97 c current bound: 261 1689.55/1692.63 c current bound: 261 1690.16/1693.29 c current bound: 261 1690.87/1693.95 c current bound: 261 1691.54/1694.62 c current bound: 261 1692.17/1695.29 c current bound: 261 1692.88/1695.96 c current bound: 261 1693.53/1696.62 c current bound: 261 1694.17/1697.29 c current bound: 261 1694.87/1697.96 c current bound: 261 1695.54/1698.63 c current bound: 261 1695.61/1699.29 c current bound: 261 1696.87/1699.95 c current bound: 261 1697.54/1700.63 c current bound: 261 1698.29/1701.30 c current bound: 261 1698.87/1701.96 c current bound: 261 1699.53/1702.62 c current bound: 261 1700.17/1703.30 c current bound: 261 1700.87/1703.96 c current bound: 261 1701.54/1704.63 c current bound: 261 1702.23/1705.30 c current bound: 261 1702.30/1705.98 c current bound: 261 1703.56/1706.65 c current bound: 261 1704.23/1707.32 c current bound: 261 1704.30/1707.98 c current bound: 261 1705.57/1708.65 c current bound: 261 1706.27/1709.33 c current bound: 261 1706.98/1710.00 c current bound: 261 1707.57/1710.67 c current bound: 261 1708.26/1711.33 c current bound: 261 1708.92/1712.01 c current bound: 261 1709.58/1712.68 c current bound: 261 1710.26/1713.35 c current bound: 261 1710.93/1714.01 c current bound: 261 1711.00/1714.68 c current bound: 261 1712.27/1715.35 c current bound: 261 1712.95/1716.02 c current bound: 261 1713.02/1716.69 c current bound: 261 1714.29/1717.36 c current bound: 261 1714.96/1718.02 c current bound: 261 1715.58/1718.68 c current bound: 261 1716.27/1719.35 c current bound: 261 1716.94/1720.02 c current bound: 261 1717.57/1720.68 c current bound: 261 1718.28/1721.35 c current bound: 261 1718.95/1722.02 c current bound: 261 1719.59/1722.69 c current bound: 261 1720.28/1723.35 c current bound: 261 1720.94/1724.02 c current bound: 261 1721.03/1724.69 c current bound: 261 1722.28/1725.36 c current bound: 261 1722.96/1726.03 c current bound: 261 1723.70/1726.70 c current bound: 261 1724.30/1727.36 c current bound: 261 1724.99/1728.02 c current bound: 261 1725.03/1728.68 c current bound: 261 1726.28/1729.35 c current bound: 261 1726.94/1730.01 c current bound: 261 1727.66/1730.74 c current bound: 261 1728.26/1731.41 c current bound: 261 1728.33/1732.07 c current bound: 261 1729.58/1732.74 c current bound: 261 1730.25/1733.40 c current bound: 261 1730.90/1734.07 c current bound: 261 1731.59/1734.73 c current bound: 261 1731.66/1735.39 c current bound: 261 1732.92/1736.06 c current bound: 261 1733.59/1736.73 c current bound: 261 1734.33/1737.40 c current bound: 261 1734.92/1738.07 c current bound: 261 1735.58/1738.73 c current bound: 261 1736.33/1739.40 c current bound: 261 1736.92/1740.06 c current bound: 261 1737.59/1740.72 c current bound: 261 1738.22/1741.39 c current bound: 261 1738.93/1742.06 c current bound: 261 1739.58/1742.72 c current bound: 261 1739.65/1743.39 c current bound: 261 1740.91/1744.06 c current bound: 261 1741.58/1744.72 c current bound: 261 1741.65/1745.39 c current bound: 261 1742.91/1746.06 c current bound: 261 1743.62/1746.74 c current bound: 261 1744.26/1747.40 c current bound: 261 1744.92/1748.07 c current bound: 261 1745.60/1748.75 c current bound: 261 1746.27/1749.41 c current bound: 261 1746.91/1750.08 c current bound: 261 1747.60/1750.79 c current bound: 261 1748.27/1751.46 c current bound: 261 1748.94/1752.13 c current bound: 261 1749.68/1752.80 c current bound: 261 1750.28/1753.47 c current bound: 261 1750.96/1754.13 c current bound: 261 1751.63/1754.81 c current bound: 261 1751.70/1755.48 c current bound: 261 1752.98/1756.15 c current bound: 261 1753.64/1756.81 c current bound: 261 1753.71/1757.48 c current bound: 261 1754.97/1758.15 c current bound: 261 1755.69/1758.82 c current bound: 261 1755.71/1759.47 c current bound: 261 1756.96/1760.14 c current bound: 261 1757.63/1760.87 c current bound: 261 1758.31/1761.54 c current bound: 261 1759.04/1762.20 c current bound: 261 1759.05/1762.87 c current bound: 261 1760.32/1763.54 c current bound: 261 1760.98/1764.21 c current bound: 261 1761.62/1764.87 c current bound: 261 1762.31/1765.54 c current bound: 261 1762.99/1766.21 c current bound: 261 1763.64/1766.87 c current bound: 261 1764.32/1767.53 c current bound: 261 1765.05/1768.20 c current bound: 261 1765.64/1768.87 c current bound: 261 1766.33/1769.54 c current bound: 261 1766.99/1770.20 c current bound: 261 1767.65/1770.89 c current bound: 261 1767.72/1771.58 c current bound: 261 1769.00/1772.24 c current bound: 261 1769.66/1772.91 c current bound: 261 1770.29/1773.57 c current bound: 261 1771.00/1774.22 c current bound: 261 1771.04/1774.88 c current bound: 261 1772.29/1775.54 c current bound: 261 1772.96/1776.21 c current bound: 261 1773.59/1776.88 c current bound: 261 1774.32/1777.54 c current bound: 261 1774.95/1778.20 c current bound: 261 1775.61/1778.87 c current bound: 261 1776.28/1779.53 c current bound: 261 1776.90/1780.19 c current bound: 261 1777.68/1780.92 c current bound: 261 1777.69/1781.58 c current bound: 261 1778.93/1782.25 c current bound: 261 1779.60/1782.91 c current bound: 261 1780.23/1783.57 c current bound: 261 1780.92/1784.24 c current bound: 261 1781.59/1784.90 c current bound: 261 1782.25/1785.58 c current bound: 261 1782.94/1786.25 c current bound: 261 1783.60/1786.91 c current bound: 261 1784.26/1787.57 c current bound: 261 1784.93/1788.24 c current bound: 261 1785.59/1788.91 c current bound: 261 1785.66/1789.57 c current bound: 261 1786.92/1790.23 c current bound: 261 1787.59/1790.92 c current bound: 261 1787.67/1791.59 c current bound: 261 1788.92/1792.25 c current bound: 261 1789.64/1792.92 c current bound: 261 1789.67/1793.58 c current bound: 261 1790.94/1794.25 c current bound: 261 1791.60/1794.92 c current bound: 261 1792.23/1795.58 c current bound: 261 1792.95/1796.26 c current bound: 261 1793.60/1796.93 c current bound: 261 1794.25/1797.60 c current bound: 261 1794.36/1798.26 c current bound: 261 1795.62/1798.93 c current bound: 261 1796.25/1799.60 c current bound: 261 1796.95/1800.26 c current bound: 261 1797.62/1800.98 c current bound: 261 1798.27/1801.64 c current bound: 261 1798.50/1801.81 ./satsolver.sh: line 5: 31176 Terminated ./glucose $1 > $2 2> /dev/null 1798.50/1801.81 c error: unexpected solver exit code 1798.50/1801.81 s UNKNOWN
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-3715665-1338187055/watcher-3715665-1338187055 -o /tmp/evaluation-result-3715665-1338187055/solver-3715665-1338187055 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715665-1338187055.wbo 951727350 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22167 /proc/meminfo: memFree=27205652/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (runsolver) D 22165 22167 21579 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 284831306 12095488 51 33554432000 4194304 5436572 140733567165904 140733567162200 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0 /proc/22167/statm: 2953 51 31 304 0 2645 0 [startup+0.0208321 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22167 /proc/meminfo: memFree=27205652/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100152 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22167 /proc/meminfo: memFree=27205652/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.30017 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22167 /proc/meminfo: memFree=27205652/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700122 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22167 /proc/meminfo: memFree=27205652/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50016 s] /proc/loadavg: 2.00 2.00 2.00 3/183 22171 /proc/meminfo: memFree=27162416/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=6308 CPUtime=1.03 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 2468 9334 0 0 11 0 78 14 20 0 1 0 284831306 6459392 852 33554432000 4194304 5990268 140736776619968 140736776614208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22169/statm: 1577 852 157 439 0 1134 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 15456 [startup+3.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/183 22188 /proc/meminfo: memFree=27200588/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=3.01 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 3855 33558 0 0 13 4 262 22 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 17036 [startup+6.30014 s] /proc/loadavg: 2.00 2.00 2.00 3/183 22223 /proc/meminfo: memFree=27196908/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=5.66 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 5683 66401 0 0 15 4 515 32 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 5.66 Current children cumulated vsize (KiB) 17036 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/183 22300 /proc/meminfo: memFree=27195968/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=12.31 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 10253 151960 0 0 19 5 1152 55 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 12.31 Current children cumulated vsize (KiB) 17036 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/183 22454 /proc/meminfo: memFree=27195452/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=24.94 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 18936 308923 0 0 27 7 2359 101 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 [pid=22453] ppid=22169 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22453/stat : 22453 (satsolver.sh) S 22169 22167 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284833810 9367552 267 33554432000 4194304 5064252 140736845475984 140736845474896 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22453/statm: 2287 267 226 213 0 72 0 [pid=22454] ppid=22453 vsize=12336 CPUtime=0.44 cores=0,2,4,6 /proc/22454/stat : 22454 (glucose) R 22453 22167 21579 0 -1 4202496 2827 0 0 0 44 0 0 0 20 0 1 0 284833810 12632064 2522 33554432000 4194304 5208918 140736415991568 140736845474920 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/22454/statm: 3084 2522 96 248 0 2833 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 38520 [startup+51.1002 s] /proc/loadavg: 2.07 2.02 2.00 3/183 22748 /proc/meminfo: memFree=27195460/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=50.82 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 36311 630463 0 0 44 11 4838 189 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776610864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 50.82 Current children cumulated vsize (KiB) 17036 [startup+102.307 s] /proc/loadavg: 2.02 2.01 2.00 3/183 23343 /proc/meminfo: memFree=27195088/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=101.41 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 71491 1270007 0 0 79 18 9675 369 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 [pid=23342] ppid=22169 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/23342/stat : 23342 (satsolver.sh) S 22169 22167 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284841486 9367552 267 33554432000 4194304 5064252 140734946133568 140734946132480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/23342/statm: 2287 267 226 213 0 72 0 [pid=23343] ppid=23342 vsize=12332 CPUtime=0.49 cores=0,2,4,6 /proc/23343/stat : 23343 (glucose) R 23342 22167 21579 0 -1 4202496 2928 0 0 0 49 0 0 0 20 0 1 0 284841486 12627968 2573 33554432000 4194304 5208918 140734554016688 140734946132504 4229493 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/23343/statm: 3083 2573 96 248 0 2832 0 Current children cumulated CPU time (s) 101.9 Current children cumulated vsize (KiB) 38516 [startup+162.3 s] /proc/loadavg: 2.10 2.03 2.01 3/183 24032 /proc/meminfo: memFree=27193304/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=161.25 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 112621 2018410 0 0 120 26 15394 585 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 161.25 Current children cumulated vsize (KiB) 17036 [startup+222.3 s] /proc/loadavg: 2.11 2.04 2.01 3/183 24733 /proc/meminfo: memFree=27185752/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=221.73 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 154208 2776784 0 0 161 35 21179 798 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 221.73 Current children cumulated vsize (KiB) 17036 [startup+282.3 s] /proc/loadavg: 1.97 2.01 2.00 3/183 25429 /proc/meminfo: memFree=27196136/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=281.5 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 195338 3532698 0 0 200 44 26897 1009 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 281.5 Current children cumulated vsize (KiB) 17036 [startup+342.3 s] /proc/loadavg: 1.90 1.99 1.99 3/183 26126 /proc/meminfo: memFree=27194568/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 1.96 2.00 1.99 3/184 6281 /proc/meminfo: memFree=27190236/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=1419.39 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 977722 17829877 0 0 975 205 135762 4997 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 [pid=6280] ppid=22169 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/6280/stat : 6280 (satsolver.sh) S 22169 22167 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284973523 9367552 267 33554432000 4194304 5064252 140737076868064 140737076866976 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/6280/statm: 2287 267 226 213 0 72 0 [pid=6281] ppid=6280 vsize=14772 CPUtime=0.11 cores=0,2,4,6 /proc/6281/stat : 6281 (glucose) R 6280 22167 21579 0 -1 4202496 2535 0 0 0 11 0 0 0 20 0 1 0 284973523 15126528 2320 33554432000 4194304 5208918 140733311604320 140737076867000 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/6281/statm: 3693 2320 95 248 0 3442 0 Current children cumulated CPU time (s) 1419.5 Current children cumulated vsize (KiB) 40956 ############ # WARNING: # current cumulated CPU time (1458.76 s) is less than in the last sample (1459.24 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.47998 s) to the 'lost time'. [startup+1462 s] /proc/loadavg: 1.86 1.97 1.98 3/184 7803 /proc/meminfo: memFree=27272816/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=1458.76 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1004685 18328091 0 0 1001 212 139526 5137 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 [pid=7784] ppid=22169 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7784/stat : 7784 (satsolver.sh) S 22169 22167 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284977457 9367552 267 33554432000 4194304 5064252 140736160541008 140736160539920 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7784/statm: 2287 267 226 213 0 72 0 [pid=7785] ppid=7784 vsize=12336 CPUtime=0.48 cores=0,2,4,6 /proc/7785/stat : 7785 (glucose) R 7784 22167 21579 0 -1 4202496 2832 0 0 0 48 0 0 0 20 0 1 0 284977457 12632064 2558 33554432000 4194304 5208918 140736734608720 140736734606568 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/7785/statm: 3084 2558 96 248 0 2833 0 Current children cumulated CPU time (s) 1459.24 Current children cumulated vsize (KiB) 38520 [startup+1462.1 s] /proc/loadavg: 1.86 1.97 1.98 3/184 7803 /proc/meminfo: memFree=27272816/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=1458.76 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1004685 18328091 0 0 1001 212 139526 5137 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 1458.76 Current children cumulated vsize (KiB) 17036 # ############ [startup+1482.3 s] /proc/loadavg: 1.89 1.97 1.98 3/183 9171 /proc/meminfo: memFree=27273992/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=1479.42 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1018852 18587249 0 0 1015 214 141501 5212 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 1479.42 Current children cumulated vsize (KiB) 17036 [startup+1542.3 s] /proc/loadavg: 1.86 1.94 1.97 3/182 13320 /proc/meminfo: memFree=27276060/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=1539.46 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1059982 19336535 0 0 1055 223 147241 5427 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 1539.46 Current children cumulated vsize (KiB) 17036 [startup+1602.3 s] /proc/loadavg: 1.91 1.94 1.97 3/183 17405 /proc/meminfo: memFree=27270628/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=1599.42 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1100664 20082175 0 0 1095 233 152981 5633 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776610864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 1599.42 Current children cumulated vsize (KiB) 17036 [startup+1662.3 s] /proc/loadavg: 1.80 1.89 1.94 3/183 21564 /proc/meminfo: memFree=27274848/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=1658.91 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1141785 20829896 0 0 1137 242 158667 5845 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 [pid=21555] ppid=22169 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/21555/stat : 21555 (satsolver.sh) S 22169 22167 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284997492 9367552 267 33554432000 4194304 5064252 140733708241008 140733708239920 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/21555/statm: 2287 267 226 213 0 72 0 [pid=21556] ppid=21555 vsize=12200 CPUtime=0.42 cores=0,2,4,6 /proc/21556/stat : 21556 (glucose) R 21555 22167 21579 0 -1 4202496 3008 0 0 0 42 0 0 0 20 0 1 0 284997492 12492800 2494 33554432000 4194304 5208918 140734222803008 140733708239944 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/21556/statm: 3050 2494 96 248 0 2799 0 Current children cumulated CPU time (s) 1659.33 Current children cumulated vsize (KiB) 38384 [startup+1722.3 s] /proc/loadavg: 1.88 1.89 1.94 3/182 25667 /proc/meminfo: memFree=27266716/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=1719.02 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1182915 21585875 0 0 1177 252 164417 6056 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 1719.02 Current children cumulated vsize (KiB) 17036 [startup+1782.3 s] /proc/loadavg: 1.81 1.85 1.92 3/183 29812 /proc/meminfo: memFree=27269480/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=1779 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1224045 22330328 0 0 1220 260 170153 6267 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 Current children cumulated CPU time (s) 1779 Current children cumulated vsize (KiB) 17036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.81 s] /proc/loadavg: 1.70 1.83 1.91 3/183 31184 /proc/meminfo: memFree=27265036/32873660 swapFree=7120/7120 [pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22167/statm: 2287 274 233 213 0 72 0 [pid=22169] ppid=22167 vsize=7888 CPUtime=1798.35 cores=0,2,4,6 /proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1237298 22571000 0 0 1233 263 172002 6337 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22169/statm: 1972 1221 180 439 0 1529 0 [pid=31174] ppid=22169 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31174/stat : 31174 (satsolver.sh) S 22169 22167 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285011471 9367552 267 33554432000 4194304 5064252 140737008485424 140737008484336 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/31174/statm: 2287 267 226 213 0 72 0 [pid=31176] ppid=31174 vsize=14772 CPUtime=0.15 cores=0,2,4,6 /proc/31176/stat : 31176 (glucose) R 31174 22167 21579 0 -1 4202496 2339 0 0 0 15 0 0 0 20 0 1 0 285011471 15126528 2656 33554432000 4194304 5208918 140737046885936 140737008484360 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/31176/statm: 3693 2656 95 248 0 3442 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (KiB) 40956 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.50995 # lost CPU user time (s): 1.49994 # lost CPU system time (s): 0.00999832 Real time (s): 1801.82 CPU time (s): 1800.04 CPU user time (s): 1734.01 CPU system time (s): 66.028 CPU usage (%): 99.9016 Max. virtual memory (cumulated for all children) (KiB): 65804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1732.51 system time used= 66.018 maximum resident set size= 39264 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23811626 page faults= 0 swaps= 0 block input operations= 0 block output operations= 6470008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 220772 involuntary context switches= 29732 runsolver used 3.40448 second user time and 8.71068 second system time The end
Begin job on node117 at 2012-05-28 08:37:35 IDJOB=3715665 IDBENCH=78734 IDSOLVER=2297 FILE ID=node117/3715665-1338187055 RUNJOBID= node117-1338159294-21595 PBS_JOBID= 14624552 Free space on /tmp= 70028 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40--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-3715665-1338187055/watcher-3715665-1338187055 -o /tmp/evaluation-result-3715665-1338187055/solver-3715665-1338187055 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715665-1338187055.wbo 951727350 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b19b36a9eeef0aa91319f6277ed84276 RANDOM SEED=951727350 node117.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.148 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.29 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.148 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.148 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.148 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.95 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.148 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.148 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.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 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: 32873660 kB MemFree: 27205652 kB Buffers: 542552 kB Cached: 4109788 kB SwapCached: 0 kB Active: 2554488 kB Inactive: 2199524 kB Active(anon): 88388 kB Inactive(anon): 11352 kB Active(file): 2466100 kB Inactive(file): 2188172 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 12572 kB Writeback: 0 kB AnonPages: 102240 kB Mapped: 15412 kB Shmem: 200 kB Slab: 773732 kB SReclaimable: 217444 kB SUnreclaim: 556288 kB KernelStack: 1520 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545684 kB Committed_AS: 228408 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 40960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70032 MiB End job on node117 at 2012-05-28 09:07:37