Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.11 | 1828.02 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh04_wcsp.wbo |
MD5SUM | 54ef51abb9454409d6f66c5b853cdf79 |
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 | 95 |
Best CPU time to get the best result obtained on this benchmark | 0.013997 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.02 c run usual solver 0.00/0.05 o 11227 0.00/0.05 c starting approximation 0.00/0.05 c factor = 2 0.00/0.05 c factor still to low - shrinking to 57.2577 0.00/0.05 c approx number of clauses: 1e+06 0.00/0.05 c current bound: 5613 0.97/1.05 c current bound: 5613 1.74/2.04 c current bound: 5613 2.75/3.03 c current bound: 5613 4.00/4.14 c current bound: 5613 4.72/5.14 c current bound: 5613 5.72/6.14 c current bound: 5613 6.72/7.14 c current bound: 5613 7.72/8.13 c current bound: 5613 8.71/9.13 c current bound: 5613 9.70/10.12 c current bound: 5613 10.93/11.11 c current bound: 5613 11.94/12.11 c current bound: 5613 13.21/13.11 c current bound: 5613 13.68/14.09 c current bound: 5613 14.68/15.08 c current bound: 5613 15.67/16.07 c current bound: 5613 16.66/17.07 c current bound: 5613 17.66/18.06 c current bound: 5613 18.63/19.05 c current bound: 5613 19.62/20.04 c current bound: 5613 20.84/21.04 c current bound: 5613 21.85/22.03 c current bound: 5613 22.83/23.02 c current bound: 5613 23.59/24.02 c current bound: 5613 24.59/25.02 c current bound: 5613 25.59/26.01 c current bound: 5613 26.86/27.00 c current bound: 5613 27.58/27.99 c current bound: 5613 28.57/28.98 c current bound: 5613 29.57/29.98 c current bound: 5613 30.55/30.97 c current bound: 5613 31.75/31.96 c current bound: 5613 32.74/32.95 c current bound: 5613 33.53/33.97 c current bound: 5613 34.51/34.96 c current bound: 5613 35.51/35.96 c current bound: 5613 36.52/36.95 c current bound: 5613 37.51/37.94 c current bound: 5613 38.51/39.16 c current bound: 5613 39.50/40.15 c current bound: 5613 40.49/41.14 c current bound: 5613 41.48/42.13 c current bound: 5613 42.48/43.12 c current bound: 5613 43.71/44.11 c current bound: 5613 44.73/45.11 c current bound: 5613 45.45/46.10 c current bound: 5613 46.43/47.09 c current bound: 5613 47.43/48.08 c current bound: 5613 48.42/49.08 c current bound: 5613 49.42/50.07 c current bound: 5613 50.42/51.06 c current bound: 5613 51.43/52.06 c current bound: 5613 52.42/53.05 c current bound: 5613 53.67/54.16 c current bound: 5613 54.60/55.14 c current bound: 5613 55.60/56.15 c current bound: 5613 56.62/57.14 c current bound: 5613 57.38/58.12 c current bound: 5613 58.36/59.13 c current bound: 5613 59.36/60.12 c current bound: 5613 60.34/61.11 c current bound: 5613 61.34/62.10 c current bound: 5613 62.32/63.09 c current bound: 5613 63.32/64.21 c current bound: 5613 64.32/65.21 c current bound: 5613 65.58/66.20 c current bound: 5613 66.47/67.19 c current bound: 5613 67.48/68.18 c current bound: 5613 68.54/69.43 c current bound: 5613 69.52/70.42 c current bound: 5613 70.51/71.41 c current bound: 5613 71.27/72.40 c current bound: 5613 72.26/73.39 c current bound: 5613 73.25/74.39 c current bound: 5613 74.24/75.38 c current bound: 5613 75.24/76.38 c current bound: 5613 76.22/77.37 c current bound: 5613 77.23/78.36 c current bound: 5613 78.48/79.42 c current bound: 5613 79.44/80.41 c current bound: 5613 80.47/81.40 c current bound: 5613 81.19/82.40 c current bound: 5613 82.19/83.38 c current bound: 5613 83.16/84.51 c current bound: 5613 84.15/85.50 c current bound: 5613 85.15/86.49 c current bound: 5613 86.14/87.48 c current bound: 5613 87.12/88.47 c current bound: 5613 88.10/89.80 c current bound: 5613 89.10/90.80 c current bound: 5613 90.38/91.80 c current bound: 5613 91.09/92.78 c current bound: 5613 92.08/93.77 c current bound: 5613 93.26/94.76 c current bound: 5613 94.27/95.76 c current bound: 5613 95.29/96.75 c current bound: 5613 96.07/97.74 c current bound: 5613 97.06/98.73 c current bound: 5613 98.05/99.72 c current bound: 5613 99.05/100.71 c current bound: 5613 100.03/101.70 c current bound: 5613 101.29/102.70 c current bound: 5613 102.02/103.69 c current bound: 5613 103.01/104.68 c current bound: 5613 104.20/105.67 c current bound: 5613 105.20/106.66 c current bound: 5613 105.99/107.67 c current bound: 5613 107.01/108.66 c current bound: 5613 108.00/109.69 c current bound: 5613 108.99/110.68 c current bound: 5613 109.97/111.66 c current bound: 5613 110.97/112.65 c current bound: 5613 111.95/113.64 c current bound: 5613 112.94/114.80 c current bound: 5613 113.93/115.79 c current bound: 5613 114.93/116.78 c current bound: 5613 116.12/117.77 c current bound: 5613 117.11/118.76 c current bound: 5613 118.16/119.96 c current bound: 5613 119.10/120.96 c current bound: 5613 119.89/121.95 c current bound: 5613 120.89/122.94 c current bound: 5613 121.87/123.94 c current bound: 5613 122.88/124.93 c current bound: 5613 123.87/125.92 c current bound: 5613 124.85/126.91 c current bound: 5613 126.12/127.90 c current bound: 5613 126.83/128.89 c current bound: 5613 128.01/129.88 c current bound: 5613 129.01/130.87 c current bound: 5613 129.82/131.87 c current bound: 5613 130.82/132.86 c current bound: 5613 131.81/133.85 c current bound: 5613 133.06/134.97 c current bound: 5613 133.78/135.96 c current bound: 5613 134.78/136.95 c current bound: 5613 135.77/137.94 c current bound: 5613 136.77/138.94 c current bound: 5613 137.77/139.93 c current bound: 5613 138.99/140.93 c current bound: 5613 140.00/141.93 c current bound: 5613 141.00/142.92 c current bound: 5613 141.75/143.91 c current bound: 5613 142.74/145.03 c current bound: 5613 143.74/146.02 c current bound: 5613 144.74/147.02 c current bound: 5613 145.73/148.01 c current bound: 5613 146.99/149.00 c current bound: 5613 147.71/150.09 c current bound: 5613 148.70/151.08 c current bound: 5613 149.71/152.08 c current bound: 5613 150.70/153.07 c current bound: 5613 151.89/154.06 c current bound: 5613 152.94/155.18 c current bound: 5613 153.87/156.17 c current bound: 5613 154.66/157.16 c current bound: 5613 155.66/158.15 c current bound: 5613 156.66/159.14 c current bound: 5613 157.92/160.23 c current bound: 5613 158.64/161.23 c current bound: 5613 159.64/162.21 c current bound: 5613 160.62/163.22 c current bound: 5613 161.62/164.21 c current bound: 5613 162.63/165.25 c current bound: 5613 163.85/166.24 c current bound: 5613 164.84/167.23 c current bound: 5613 165.85/168.22 c current bound: 5613 166.60/169.21 c current bound: 5613 167.59/170.24 c current bound: 5613 168.58/171.23 c current bound: 5613 169.57/172.22 c current bound: 5613 170.56/173.22 c current bound: 5613 171.57/174.21 c current bound: 5613 172.56/175.37 c current bound: 5613 173.55/176.35 c current bound: 5613 174.55/177.35 c current bound: 5613 175.75/178.34 c current bound: 5613 176.75/179.34 c current bound: 5613 177.77/180.41 c current bound: 5613 178.78/181.41 c current bound: 5613 179.51/182.39 c current bound: 5613 180.49/183.39 c current bound: 5613 181.50/184.39 c current bound: 5613 182.49/185.49 c current bound: 5613 183.50/186.49 c current bound: 5613 184.50/187.48 c current bound: 5613 185.49/188.47 c current bound: 5613 186.48/189.47 c current bound: 5613 187.74/190.57 c current bound: 5613 188.67/191.56 c current bound: 5613 189.68/192.55 c current bound: 5613 190.68/193.55 c current bound: 5613 191.47/194.54 c current bound: 5613 192.46/195.54 c current bound: 5613 193.45/196.53 c current bound: 5613 194.44/197.53 c current bound: 5613 195.43/198.52 c current bound: 5613 196.44/199.51 c current bound: 5613 197.70/200.66 c current bound: 5613 198.43/201.66 c current bound: 5613 199.42/202.66 c current bound: 5613 200.63/203.65 c current bound: 5613 201.63/204.64 c current bound: 5613 202.68/205.80 c current bound: 5613 203.57/206.79 c current bound: 5613 204.40/207.78 c current bound: 5613 205.39/208.78 c current bound: 5613 206.39/209.78 c current bound: 5613 207.39/210.77 c current bound: 5613 208.38/211.76 c current bound: 5613 209.37/212.76 c current bound: 5613 210.36/213.75 c current bound: 5613 211.35/214.74 c current bound: 5613 212.63/215.85 c current bound: 5613 213.57/216.84 c current bound: 5613 214.58/217.84 c current bound: 5613 215.57/218.83 c current bound: 5613 216.33/219.82 c current bound: 5613 217.59/220.91 c current bound: 5613 218.32/221.90 c current bound: 5613 219.58/222.90 c current bound: 5613 220.30/223.89 c current bound: 5613 221.30/224.87 c current bound: 5613 222.29/225.96 c current bound: 5613 223.29/226.96 c current bound: 5613 224.28/227.95 c current bound: 5613 225.48/228.94 c current bound: 5613 226.48/229.93 c current bound: 5613 227.50/230.94 c current bound: 5613 228.26/231.93 c current bound: 5613 229.25/232.92 c current bound: 5613 230.25/233.92 c current bound: 5613 231.23/234.90 c current bound: 5613 232.22/235.95 c current bound: 5613 233.22/236.94 c current bound: 5613 234.21/237.93 c current bound: 5613 235.20/238.93 c current bound: 5613 236.44/239.92 c current bound: 5613 237.45/240.98 c current bound: 5613 238.39/241.97 c current bound: 5613 239.20/242.97 c current bound: 5613 240.18/243.96 c current bound: 5613 241.17/244.95 c current bound: 5613 242.45/246.11 c current bound: 5613 243.18/247.10 c current bound: 5613 244.16/248.09 c current bound: 5613 245.16/249.09 c current bound: 5613 246.17/250.08 c current bound: 5613 247.15/251.08 c current bound: 5613 248.34/252.06 c current bound: 5613 249.34/253.06 c current bound: 5613 250.33/254.06 c current bound: 5613 251.13/255.05 c current bound: 5613 252.40/256.10 c current bound: 5613 253.12/257.09 c current bound: 5613 254.11/258.08 c current bound: 5613 255.11/259.07 c current bound: 5613 256.10/260.06 c current bound: 5613 257.37/261.15 c current bound: 5613 258.09/262.14 c current bound: 5613 259.10/263.13 c current bound: 5613 260.32/264.12 c current bound: 5613 261.32/265.12 c current bound: 5613 262.32/266.26 c current bound: 5613 263.27/267.25 c current bound: 5613 264.05/268.25 c current bound: 5613 265.04/269.24 c current bound: 5613 266.03/270.23 c current bound: 5613 267.03/271.25 c current bound: 5613 268.03/272.24 c current bound: 5613 269.02/273.23 c current bound: 5613 270.01/274.22 c current bound: 5613 271.00/275.23 c current bound: 5613 272.28/276.37 c current bound: 5613 273.20/277.36 c current bound: 5613 274.20/278.34 c current bound: 5613 275.21/279.34 c current bound: 5613 275.97/280.33 c current bound: 5613 276.97/281.32 c current bound: 5613 277.96/282.31 c current bound: 5613 278.95/283.29 c current bound: 5613 279.94/284.29 c current bound: 5613 280.95/285.28 c current bound: 5613 281.93/286.44 c current bound: 5613 282.94/287.43 c current bound: 5613 283.92/288.43 c current bound: 5613 285.15/289.43 c current bound: 5613 286.16/290.42 c current bound: 5613 287.15/291.49 c current bound: 5613 287.90/292.49 c current bound: 5613 288.89/293.48 c current bound: 5613 289.89/294.47 c current bound: 5613 290.89/295.46 c current bound: 5613 292.16/296.60 c current bound: 5613 292.88/297.59 c current bound: 5613 293.87/298.58 c current bound: 5613 294.87/299.58 c current bound: 5613 295.86/300.57 c current bound: 5613 297.06/301.59 c current bound: 5613 298.03/302.59 c current bound: 5613 299.04/303.58 c current bound: 5613 299.85/304.57 c current bound: 5613 300.84/305.56 c current bound: 5613 302.11/306.72 c current bound: 5613 302.82/307.71 c current bound: 5613 303.82/308.71 c current bound: 5613 304.83/309.70 c current bound: 5613 306.09/310.70 c current bound: 5613 306.82/311.87 c current bound: 5613 307.81/312.87 c current bound: 5613 308.79/313.86 c current bound: 5613 309.79/314.85 c current bound: 5613 311.00/315.84 c current bound: 5613 312.01/316.84 c current bound: 5613 312.99/317.83 c current bound: 5613 313.76/318.82 c current bound: 5613 314.76/319.83 c current bound: 5613 315.76/320.81 c current bound: 5613 316.75/321.87 c current bound: 5613 317.74/322.86 c current bound: 5613 318.72/323.85 c current bound: 5613 319.73/324.85 c current bound: 5613 320.72/325.84 c current bound: 5613 321.99/326.92 c current bound: 5613 322.96/327.91 c current bound: 5613 323.86/328.90 c current bound: 5613 324.71/329.89 c current bound: 5613 325.69/330.88 c current bound: 5613 326.95/332.04 c current bound: 5613 327.67/333.03 c current bound: 5613 328.66/334.02 c current bound: 5613 329.66/335.01 c current bound: 5613 330.64/336.01 c current bound: 5613 331.65/337.01 c current bound: 5613 332.66/338.00 c current bound: 5613 333.65/338.99 c current bound: 5613 334.81/339.98 c current bound: 5613 335.81/340.97 c current bound: 5613 336.88/342.12 c current bound: 5613 337.86/343.11 c current bound: 5613 338.61/344.11 c current bound: 5613 339.88/345.10 c current bound: 5613 340.88/346.10 c current bound: 5613 341.60/347.11 c current bound: 5613 342.60/348.11 c current bound: 5613 343.58/349.10 c current bound: 5613 344.57/350.10 c current bound: 5613 345.57/351.09 c current bound: 5613 346.83/352.14 c current bound: 5613 347.79/353.13 c current bound: 5613 348.79/354.13 c current bound: 5613 349.55/355.12 c current bound: 5613 350.54/356.11 c current bound: 5613 351.54/357.35 c current bound: 5613 352.52/358.35 c current bound: 5613 353.52/359.34 c current bound: 5613 354.52/360.34 c current bound: 5613 355.53/361.34 c current bound: 5613 356.53/362.34 c current bound: 5613 357.53/363.34 c current bound: 5613 358.53/364.33 c current bound: 5613 359.74/365.32 c current bound: 5613 360.75/366.32 c current bound: 5613 361.75/367.38 c current bound: 5613 362.49/368.37 c current bound: 5613 363.49/369.36 c current bound: 5613 364.48/370.36 c current bound: 5613 365.47/371.35 c current bound: 5613 366.46/372.45 c current bound: 5613 367.47/373.45 c current bound: 5613 368.46/374.45 c current bound: 5613 369.45/375.45 c current bound: 5613 370.45/376.45 c current bound: 5613 371.71/377.55 c current bound: 5613 372.64/378.54 c current bound: 5613 373.66/379.53 c current bound: 5613 374.66/380.53 c current bound: 5613 375.42/381.53 c current bound: 5613 376.69/382.62 c current bound: 5613 377.42/383.61 c current bound: 5613 378.42/384.60 c current bound: 5613 379.67/385.60 c current bound: 5613 380.40/386.60 c current bound: 5613 381.40/387.60 c current bound: 5613 382.66/388.60 c current bound: 5613 383.38/389.59 c current bound: 5613 384.56/390.58 c current bound: 5613 385.56/391.57 c current bound: 5613 386.62/392.74 c current bound: 5613 387.58/393.74 c current bound: 5613 388.34/394.73 c current bound: 5613 389.33/395.72 c current bound: 5613 390.33/396.72 c current bound: 5613 391.32/397.71 c current bound: 5613 392.31/398.70 c current bound: 5613 393.30/399.70 c current bound: 5613 394.56/400.70 c current bound: 5613 395.28/401.68 c current bound: 5613 396.53/402.78 c current bound: 5613 397.45/403.78 c current bound: 5613 398.45/404.77 c current bound: 5613 399.25/405.76 c current bound: 5613 400.24/406.75 c current bound: 5613 401.23/407.79 c current bound: 5613 402.22/408.79 c current bound: 5613 403.22/409.78 c current bound: 5613 404.22/410.79 c current bound: 5613 405.21/411.78 c current bound: 5613 406.47/412.90 c current bound: 5613 407.46/413.90 c current bound: 5613 408.19/414.89 c current bound: 5613 409.36/415.88 c current bound: 5613 410.36/416.87 c current bound: 5613 411.44/418.13 c current bound: 5613 412.40/419.12 c current bound: 5613 413.41/420.11 c current bound: 5613 414.15/421.10 c current bound: 5613 415.41/422.10 c current bound: 5613 416.13/423.10 c current bound: 5613 417.39/424.10 c current bound: 5613 418.11/425.09 c current bound: 5613 419.11/426.09 c current bound: 5613 420.12/427.08 c current bound: 5613 421.10/428.08 c current bound: 5613 422.30/429.07 c current bound: 5613 423.29/430.06 c current bound: 5613 424.06/431.04 c current bound: 5613 425.05/432.03 c current bound: 5613 426.05/433.02 c current bound: 5613 427.04/434.02 c current bound: 5613 428.04/435.01 c current bound: 5613 429.03/436.01 c current bound: 5613 430.01/436.99 c current bound: 5613 431.01/438.06 c current bound: 5613 432.20/439.06 c current bound: 5613 433.20/440.05 c current bound: 5613 434.21/441.04 c current bound: 5613 434.97/442.03 c current bound: 5613 435.97/443.13 c current bound: 5613 436.96/444.12 c current bound: 5613 437.96/445.12 c current bound: 5613 438.96/446.12 c current bound: 5613 439.94/447.11 c current bound: 5613 440.96/448.17 c current bound: 5613 441.94/449.16 c current bound: 5613 442.93/450.16 c current bound: 5613 444.14/451.14 c current bound: 5613 445.14/452.14 c current bound: 5613 446.15/453.22 c current bound: 5613 447.14/454.21 c current bound: 5613 447.88/455.20 c current bound: 5613 448.87/456.20 c current bound: 5613 449.86/457.19 c current bound: 5613 450.86/458.42 c current bound: 5613 451.85/459.42 c current bound: 5613 452.85/460.41 c current bound: 5613 453.84/461.40 c current bound: 5613 455.11/462.40 c current bound: 5613 456.10/463.40 c current bound: 5613 456.83/464.39 c current bound: 5613 457.99/465.39 c current bound: 5613 459.00/466.39 c current bound: 5613 459.83/467.38 c current bound: 5613 460.81/468.37 c current bound: 5613 461.79/469.37 c current bound: 5613 462.79/470.36 c current bound: 5613 463.79/471.36 c current bound: 5613 464.77/472.35 c current bound: 5613 465.77/473.34 c current bound: 5613 466.76/474.34 c current bound: 5613 467.98/475.33 c current bound: 5613 468.99/476.32 c current bound: 5613 469.99/477.32 c current bound: 5613 470.73/478.31 c current bound: 5613 471.73/479.30 c current bound: 5613 472.98/480.30 c current bound: 5613 473.70/481.29 c current bound: 5613 474.70/482.28 c current bound: 5613 475.69/483.39 c current bound: 5613 476.68/484.38 c current bound: 5613 477.68/485.38 c current bound: 5613 478.67/486.37 c current bound: 5613 479.85/487.37 c current bound: 5613 480.92/488.47 c current bound: 5613 481.84/489.46 c current bound: 5613 482.64/490.45 c current bound: 5613 483.64/491.44 c current bound: 5613 484.62/492.43 c current bound: 5613 485.61/493.52 c current bound: 5613 486.60/494.53 c current bound: 5613 487.63/495.54 c current bound: 5613 488.62/496.53 c current bound: 5613 489.62/497.52 c current bound: 5613 490.61/498.54 c current bound: 5613 491.82/499.54 c current bound: 5613 492.84/500.53 c current bound: 5613 493.84/501.52 c current bound: 5613 494.59/502.52 c current bound: 5613 495.58/503.63 c current bound: 5613 496.57/504.62 c current bound: 5613 497.57/505.62 c current bound: 5613 498.56/506.62 c current bound: 5613 499.56/507.61 c current bound: 5613 500.56/508.68 c current bound: 5613 501.56/509.67 c current bound: 5613 502.55/510.66 c current bound: 5613 503.74/511.65 c current bound: 5613 504.74/512.65 c current bound: 5613 505.79/513.72 c current bound: 5613 506.75/514.71 c current bound: 5613 507.50/515.71 c current bound: 5613 508.50/516.71 c current bound: 5613 509.50/517.70 c current bound: 5613 510.50/518.73 c current bound: 5613 511.47/519.72 c current bound: 5613 512.46/520.72 c current bound: 5613 513.47/521.71 c current bound: 5613 514.46/522.71 c current bound: 5613 515.71/523.93 c current bound: 5613 516.45/524.92 c current bound: 5613 517.68/525.92 c current bound: 5613 518.71/526.91 c current bound: 5613 519.43/527.90 c current bound: 5613 520.42/528.90 c current bound: 5613 521.44/529.90 c current bound: 5613 522.44/530.90 c current bound: 5613 523.43/531.89 c current bound: 5613 524.44/532.89 c current bound: 5613 525.44/534.03 c current bound: 5613 526.43/535.03 c current bound: 5613 527.42/536.02 c current bound: 5613 528.42/537.01 c current bound: 5613 529.67/538.00 c current bound: 5613 530.64/539.02 c current bound: 5613 531.63/540.01 c current bound: 5613 532.38/541.00 c current bound: 5613 533.38/542.00 c current bound: 5613 534.38/543.00 c current bound: 5613 535.65/544.02 c current bound: 5613 536.38/545.01 c current bound: 5613 537.37/546.01 c current bound: 5613 538.62/547.00 c current bound: 5613 539.35/547.99 c current bound: 5613 540.59/549.15 c current bound: 5613 541.54/550.14 c current bound: 5613 542.56/551.13 c current bound: 5613 543.56/552.12 c current bound: 5613 544.32/553.11 c current bound: 5613 545.31/554.13 c current bound: 5613 546.30/555.13 c current bound: 5613 547.30/556.12 c current bound: 5613 548.30/557.12 c current bound: 5613 549.29/558.12 c current bound: 5613 550.29/559.27 c current bound: 5613 551.30/560.26 c current bound: 5613 552.29/561.26 c current bound: 5613 553.49/562.25 c current bound: 5613 554.50/563.24 c current bound: 5613 555.49/564.26 c current bound: 5613 556.26/565.26 c current bound: 5613 557.26/566.25 c current bound: 5613 558.25/567.24 c current bound: 5613 559.25/568.23 c current bound: 5613 560.23/569.35 c current bound: 5613 561.23/570.34 c current bound: 5613 562.23/571.34 c current bound: 5613 563.21/572.33 c current bound: 5613 564.21/573.32 c current bound: 5613 565.46/574.33 c current bound: 5613 566.44/575.32 c current bound: 5613 567.45/576.31 c current bound: 5613 568.19/577.30 c current bound: 5613 569.17/578.29 c current bound: 5613 570.17/579.38 c current bound: 5613 571.17/580.38 c current bound: 5613 572.17/581.38 c current bound: 5613 573.17/582.37 c current bound: 5613 574.16/583.36 c current bound: 5613 575.15/584.38 c current bound: 5613 576.15/585.37 c current bound: 5613 577.35/586.37 c current bound: 5613 578.35/587.36 c current bound: 5613 579.14/588.35 c current bound: 5613 580.12/589.34 c current bound: 5613 581.12/590.44 c current bound: 5613 582.11/591.44 c current bound: 5613 583.11/592.44 c current bound: 5613 584.11/593.43 c current bound: 5613 585.38/594.53 c current bound: 5613 586.09/595.53 c current bound: 5613 587.09/596.52 c current bound: 5613 588.08/597.51 c current bound: 5613 589.23/598.49 c current bound: 5613 590.33/599.60 c current bound: 5613 591.23/600.59 c current bound: 5613 592.05/601.58 c current bound: 5613 593.04/602.57 c current bound: 5613 594.03/603.56 c current bound: 5613 595.29/604.68 c current bound: 5613 596.02/605.67 c current bound: 5613 597.00/606.66 c current bound: 5613 598.00/607.65 c current bound: 5613 599.00/608.64 c current bound: 5613 599.99/609.64 c current bound: 5613 601.21/610.63 c current bound: 5613 602.22/611.62 c current bound: 5613 603.24/612.61 c current bound: 5613 603.99/613.61 c current bound: 5613 604.98/614.60 c current bound: 5613 606.25/615.60 c current bound: 5613 606.98/616.59 c current bound: 5613 607.95/617.58 c current bound: 5613 608.95/618.58 c current bound: 5613 609.95/619.57 c current bound: 5613 610.94/620.66 c current bound: 5613 612.13/621.65 c current bound: 5613 613.16/622.64 c current bound: 5613 614.16/623.63 c current bound: 5613 614.92/624.62 c current bound: 5613 615.91/625.63 c current bound: 5613 616.91/626.62 c current bound: 5613 617.89/627.61 c current bound: 5613 618.88/628.60 c current bound: 5613 619.88/629.59 c current bound: 5613 620.87/630.58 c current bound: 5613 622.04/631.56 c current bound: 5613 623.05/632.55 c current bound: 5613 624.04/633.54 c current bound: 5613 624.82/634.53 c current bound: 5613 625.81/635.52 c current bound: 5613 626.81/636.51 c current bound: 5613 627.80/637.51 c current bound: 5613 628.81/638.50 c current bound: 5613 630.07/639.50 c current bound: 5613 630.81/640.50 c current bound: 5613 631.79/641.49 c current bound: 5613 632.96/642.48 c current bound: 5613 633.97/643.47 c current bound: 5613 634.77/644.46 c current bound: 5613 635.77/645.45 c current bound: 5613 636.76/646.44 c current bound: 5613 637.75/647.43 c current bound: 5613 638.74/648.42 c current bound: 5613 639.74/649.42 c current bound: 5613 640.74/650.42 c current bound: 5613 641.74/651.41 c current bound: 5613 643.01/652.40 c current bound: 5613 643.89/653.39 c current bound: 5613 644.71/654.38 c current bound: 5613 645.70/655.37 c current bound: 5613 646.69/656.36 c current bound: 5613 647.68/657.35 c current bound: 5613 648.67/658.34 c current bound: 5613 649.67/659.34 c current bound: 5613 650.68/660.33 c current bound: 5613 651.68/661.33 c current bound: 5613 652.91/662.32 c current bound: 5613 653.92/663.30 c current bound: 5613 654.64/664.29 c current bound: 5613 655.89/665.43 c current bound: 5613 656.62/666.42 c current bound: 5613 657.63/667.41 c current bound: 5613 658.88/668.40 c current bound: 5613 659.60/669.39 c current bound: 5613 660.60/670.39 c current bound: 5613 661.60/671.39 c current bound: 5613 662.59/672.38 c current bound: 5613 663.58/673.37 c current bound: 5613 664.78/674.36 c current bound: 5613 665.84/675.41 c current bound: 5613 666.57/676.40 c current bound: 5613 667.83/677.40 c current bound: 5613 668.55/678.38 c current bound: 5613 669.54/679.38 c current bound: 5613 670.79/680.52 c current bound: 5613 671.53/681.51 c current bound: 5613 672.53/682.50 c current bound: 5613 673.52/683.49 c current bound: 5613 674.52/684.49 c current bound: 5613 675.51/685.54 c current bound: 5613 676.73/686.53 c current bound: 5613 677.73/687.52 c current bound: 5613 678.72/688.51 c current bound: 5613 679.46/689.50 c current bound: 5613 680.46/690.65 c current bound: 5613 681.45/691.64 c current bound: 5613 682.44/692.63 c current bound: 5613 683.42/693.63 c current bound: 5613 684.43/694.62 c current bound: 5613 685.43/695.63 c current bound: 5613 686.41/696.62 c current bound: 5613 687.41/697.61 c current bound: 5613 688.66/698.60 c current bound: 5613 689.56/699.59 c current bound: 5613 690.66/700.72 c current bound: 5613 691.63/701.72 c current bound: 5613 692.39/702.71 c current bound: 5613 693.38/703.70 c current bound: 5613 694.64/704.70 c current bound: 5613 695.64/705.80 c current bound: 5613 696.64/706.80 c current bound: 5613 697.36/707.79 c current bound: 5613 698.36/708.79 c current bound: 5613 699.35/709.78 c current bound: 5613 700.34/710.78 c current bound: 5613 701.52/711.77 c current bound: 5613 702.52/712.76 c current bound: 5613 703.33/713.75 c current bound: 5613 704.31/714.75 c current bound: 5613 705.60/715.86 c current bound: 5613 706.32/716.86 c current bound: 5613 707.31/717.85 c current bound: 5613 708.31/718.84 c current bound: 5613 709.31/719.84 c current bound: 5613 710.30/720.98 c current bound: 5613 711.30/721.97 c current bound: 5613 712.29/722.96 c current bound: 5613 713.49/723.96 c current bound: 5613 714.49/724.94 c current bound: 5613 715.54/726.01 c current bound: 5613 716.28/727.00 c current bound: 5613 717.27/727.99 c current bound: 5613 718.27/728.99 c current bound: 5613 719.26/729.98 c current bound: 5613 720.53/731.08 c current bound: 5613 721.25/732.07 c current bound: 5613 722.25/733.07 c current bound: 5613 723.24/734.06 c current bound: 5613 724.24/735.05 c current bound: 5613 725.44/736.04 c current bound: 5613 726.46/737.03 c current bound: 5613 727.46/738.03 c current bound: 5613 728.21/739.02 c current bound: 5613 729.21/740.02 c current bound: 5613 730.20/741.03 c current bound: 5613 731.23/742.04 c current bound: 5613 732.22/743.03 c current bound: 5613 733.22/744.02 c current bound: 5613 734.21/745.01 c current bound: 5613 735.19/746.06 c current bound: 5613 736.39/747.06 c current bound: 5613 737.40/748.04 c current bound: 5613 738.40/749.04 c current bound: 5613 739.18/750.03 c current bound: 5613 740.16/751.11 c current bound: 5613 741.42/752.10 c current bound: 5613 742.15/753.09 c current bound: 5613 743.13/754.08 c current bound: 5613 744.12/755.07 c current bound: 5613 745.38/756.15 c current bound: 5613 746.12/757.14 c current bound: 5613 747.11/758.14 c current bound: 5613 748.34/759.13 c current bound: 5613 749.35/760.12 c current bound: 5613 750.34/761.38 c current bound: 5613 751.27/762.37 c current bound: 5613 752.26/763.36 c current bound: 5613 753.06/764.35 c current bound: 5613 754.06/765.34 c current bound: 5613 755.05/766.34 c current bound: 5613 756.04/767.33 c current bound: 5613 757.03/768.34 c current bound: 5613 758.04/769.33 c current bound: 5613 759.05/770.33 c current bound: 5613 760.04/771.32 c current bound: 5613 761.27/772.32 c current bound: 5613 762.30/773.30 c current bound: 5613 763.02/774.29 c current bound: 5613 764.00/775.28 c current bound: 5613 765.00/776.43 c current bound: 5613 766.00/777.42 c current bound: 5613 766.99/778.41 c current bound: 5613 768.25/779.40 c current bound: 5613 768.96/780.39 c current bound: 5613 769.95/781.38 c current bound: 5613 770.93/782.37 c current bound: 5613 772.13/783.36 c current bound: 5613 773.15/784.35 c current bound: 5613 774.14/785.34 c current bound: 5613 774.92/786.33 c current bound: 5613 775.91/787.32 c current bound: 5613 776.88/788.31 c current bound: 5613 778.14/789.30 c current bound: 5613 778.86/790.29 c current bound: 5613 779.86/791.44 c current bound: 5613 780.85/792.43 c current bound: 5613 781.85/793.42 c current bound: 5613 782.84/794.41 c current bound: 5613 784.10/795.40 c current bound: 5613 785.11/796.48 c current bound: 5613 786.01/797.47 c current bound: 5613 786.80/798.45 c current bound: 5613 787.79/799.44 c current bound: 5613 788.79/800.44 c current bound: 5613 789.78/801.51 c current bound: 5613 791.05/802.50 c current bound: 5613 791.76/803.48 c current bound: 5613 792.75/804.48 c current bound: 5613 793.74/805.47 c current bound: 5613 794.99/806.57 c current bound: 5613 795.93/807.56 c current bound: 5613 796.92/808.55 c current bound: 5613 797.93/809.54 c current bound: 5613 798.70/810.53 c current bound: 5613 799.68/811.57 c current bound: 5613 800.68/812.56 c current bound: 5613 801.67/813.55 c current bound: 5613 802.67/814.56 c current bound: 5613 803.67/815.55 c current bound: 5613 804.65/816.62 c current bound: 5613 805.64/817.61 c current bound: 5613 806.62/818.59 c current bound: 5613 807.80/819.59 c current bound: 5613 808.80/820.58 c current bound: 5613 809.84/821.64 c current bound: 5613 810.58/822.63 c current bound: 5613 811.57/823.62 c current bound: 5613 812.58/824.62 c current bound: 5613 813.58/825.61 c current bound: 5613 814.57/826.67 c current bound: 5613 815.55/827.66 c current bound: 5613 816.55/828.65 c current bound: 5613 817.54/829.64 c current bound: 5613 818.75/830.63 c current bound: 5613 819.76/831.72 c current bound: 5613 820.76/832.72 c current bound: 5613 821.75/833.71 c current bound: 5613 822.49/834.70 c current bound: 5613 823.48/835.69 c current bound: 5613 824.47/836.76 c current bound: 5613 825.46/837.76 c current bound: 5613 826.45/838.75 c current bound: 5613 827.46/839.74 c current bound: 5613 828.45/840.73 c current bound: 5613 829.71/841.83 c current bound: 5613 830.44/842.83 c current bound: 5613 831.66/843.82 c current bound: 5613 832.67/844.81 c current bound: 5613 833.69/845.80 c current bound: 5613 834.66/847.02 c current bound: 5613 835.63/848.01 c current bound: 5613 836.38/849.01 c current bound: 5613 837.39/849.99 c current bound: 5613 838.38/850.99 c current bound: 5613 839.37/851.98 c current bound: 5613 840.36/852.96 c current bound: 5613 841.35/853.96 c current bound: 5613 842.34/854.95 c current bound: 5613 843.55/855.94 c current bound: 5613 844.55/856.96 c current bound: 5613 845.53/857.96 c current bound: 5613 846.32/858.95 c current bound: 5613 847.32/859.94 c current bound: 5613 848.31/860.94 c current bound: 5613 849.30/862.06 c current bound: 5613 850.29/863.05 c current bound: 5613 851.28/864.05 c current bound: 5613 852.27/865.03 c current bound: 5613 853.27/866.02 c current bound: 5613 854.54/867.11 c current bound: 5613 855.26/868.12 c current bound: 5613 856.51/869.10 c current bound: 5613 857.43/870.09 c current bound: 5613 858.26/871.09 c current bound: 5613 859.51/872.32 c current bound: 5613 860.49/873.31 c current bound: 5613 861.23/874.30 c current bound: 5613 862.23/875.29 c current bound: 5613 863.21/876.29 c current bound: 5613 864.21/877.27 c current bound: 5613 865.21/878.27 c current bound: 5613 866.20/879.26 c current bound: 5613 867.20/880.25 c current bound: 5613 868.40/881.24 c current bound: 5613 869.41/882.23 c current bound: 5613 870.42/883.22 c current bound: 5613 871.16/884.21 c current bound: 5613 872.17/885.20 c current bound: 5613 873.15/886.19 c current bound: 5613 874.14/887.31 c current bound: 5613 875.13/888.30 c current bound: 5613 876.12/889.29 c current bound: 5613 877.11/890.28 c current bound: 5613 878.11/891.28 c current bound: 5613 879.10/892.29 c current bound: 5613 880.30/893.29 c current bound: 5613 881.29/894.28 c current bound: 5613 882.10/895.27 c current bound: 5613 883.08/896.26 c current bound: 5613 884.35/897.35 c current bound: 5613 885.07/898.34 c current bound: 5613 886.06/899.33 c current bound: 5613 887.05/900.32 c current bound: 5613 888.06/901.30 c current bound: 5613 889.04/902.56 c current bound: 5613 890.04/903.55 c current bound: 5613 891.03/904.54 c current bound: 5613 892.02/905.53 c current bound: 5613 893.22/906.52 c current bound: 5613 894.24/907.51 c current bound: 5613 894.97/908.49 c current bound: 5613 895.97/909.48 c current bound: 5613 896.96/910.47 c current bound: 5613 897.96/911.46 c current bound: 5613 898.94/912.45 c current bound: 5613 899.94/913.45 c current bound: 5613 900.92/914.43 c current bound: 5613 901.91/915.42 c current bound: 5613 903.14/916.42 c current bound: 5613 904.15/917.43 c current bound: 5613 905.12/918.42 c current bound: 5613 905.88/919.41 c current bound: 5613 906.86/920.40 c current bound: 5613 907.86/921.39 c current bound: 5613 908.84/922.56 c current bound: 5613 909.85/923.55 c current bound: 5613 910.84/924.54 c current bound: 5613 911.84/925.53 c current bound: 5613 912.82/926.52 c current bound: 5613 913.83/927.64 c current bound: 5613 914.80/928.63 c current bound: 5613 916.04/929.62 c current bound: 5613 917.03/930.61 c current bound: 5613 917.77/931.60 c current bound: 5613 918.76/932.63 c current bound: 5613 919.76/933.62 c current bound: 5613 920.76/934.61 c current bound: 5613 921.74/935.60 c current bound: 5613 923.02/936.60 c current bound: 5613 923.73/937.69 c current bound: 5613 924.73/938.68 c current bound: 5613 925.72/939.67 c current bound: 5613 926.70/940.67 c current bound: 5613 927.90/941.66 c current bound: 5613 928.96/942.74 c current bound: 5613 929.91/943.73 c current bound: 5613 930.68/944.72 c current bound: 5613 931.67/945.72 c current bound: 5613 932.66/946.70 c current bound: 5613 933.92/947.82 c current bound: 5613 934.66/948.81 c current bound: 5613 935.90/949.80 c current bound: 5613 936.62/950.79 c current bound: 5613 937.62/951.77 c current bound: 5613 938.87/952.83 c current bound: 5613 939.84/953.82 c current bound: 5613 940.75/954.80 c current bound: 5613 941.58/955.80 c current bound: 5613 942.57/956.78 c current bound: 5613 943.55/957.89 c current bound: 5613 944.55/958.88 c current bound: 5613 945.55/959.87 c current bound: 5613 946.53/960.86 c current bound: 5613 947.52/961.86 c current bound: 5613 948.79/962.93 c current bound: 5613 949.51/963.93 c current bound: 5613 950.50/964.92 c current bound: 5613 951.74/965.91 c current bound: 5613 952.76/966.91 c current bound: 5613 953.75/968.05 c current bound: 5613 954.70/969.04 c current bound: 5613 955.46/970.03 c current bound: 5613 956.46/971.02 c current bound: 5613 957.45/972.01 c current bound: 5613 958.45/973.04 c current bound: 5613 959.44/974.03 c current bound: 5613 960.43/975.02 c current bound: 5613 961.41/976.02 c current bound: 5613 962.42/977.01 c current bound: 5613 963.66/978.12 c current bound: 5613 964.65/979.11 c current bound: 5613 965.55/980.10 c current bound: 5613 966.38/981.09 c current bound: 5613 967.37/982.08 c current bound: 5613 968.63/983.13 c current bound: 5613 969.35/984.14 c current bound: 5613 970.37/985.13 c current bound: 5613 971.37/986.12 c current bound: 5613 972.35/987.10 c current bound: 5613 973.33/988.12 c current bound: 5613 974.32/989.11 c current bound: 5613 975.57/990.10 c current bound: 5613 976.47/991.10 c current bound: 5613 977.30/992.09 c current bound: 5613 978.55/993.22 c current bound: 5613 979.29/994.22 c current bound: 5613 980.28/995.21 c current bound: 5613 981.26/996.21 c current bound: 5613 982.27/997.20 c current bound: 5613 983.53/998.23 c current bound: 5613 984.24/999.22 c current bound: 5613 985.23/1000.21 c current bound: 5613 986.49/1001.20 c current bound: 5613 987.38/1002.19 c current bound: 5613 988.47/1003.22 c current bound: 5613 989.45/1004.21 c current bound: 5613 990.46/1005.20 c current bound: 5613 991.19/1006.19 c current bound: 5613 992.18/1007.18 c current bound: 5613 993.16/1008.29 c current bound: 5613 994.16/1009.28 c current bound: 5613 995.16/1010.27 c current bound: 5613 996.15/1011.26 c current bound: 5613 997.15/1012.25 c current bound: 5613 998.41/1013.40 c current bound: 5613 999.14/1014.39 c current bound: 5613 1000.31/1015.38 c current bound: 5613 1001.33/1016.37 c current bound: 5613 1002.13/1017.36 c current bound: 5613 1003.12/1018.36 c current bound: 5613 1004.10/1019.35 c current bound: 5613 1005.09/1020.34 c current bound: 5613 1006.09/1021.33 c current bound: 5613 1007.09/1022.33 c current bound: 5613 1008.35/1023.44 c current bound: 5613 1009.07/1024.43 c current bound: 5613 1010.08/1025.42 c current bound: 5613 1011.31/1026.41 c current bound: 5613 1012.33/1027.40 c current bound: 5613 1013.29/1028.58 c current bound: 5613 1014.23/1029.57 c current bound: 5613 1015.03/1030.56 c current bound: 5613 1016.02/1031.56 c current bound: 5613 1017.03/1032.55 c current bound: 5613 1018.02/1033.54 c current bound: 5613 1019.02/1034.53 c current bound: 5613 1020.02/1035.53 c current bound: 5613 1021.00/1036.52 c current bound: 5613 1021.99/1037.51 c current bound: 5613 1023.27/1038.60 c current bound: 5613 1024.25/1039.61 c current bound: 5613 1025.15/1040.60 c current bound: 5613 1025.99/1041.59 c current bound: 5613 1026.99/1042.59 c current bound: 5613 1027.99/1043.72 c current bound: 5613 1029.00/1044.71 c current bound: 5613 1030.00/1045.70 c current bound: 5613 1030.98/1046.69 c current bound: 5613 1031.98/1047.68 c current bound: 5613 1032.96/1048.78 c current bound: 5613 1033.95/1049.77 c current bound: 5613 1034.93/1050.77 c current bound: 5613 1036.14/1051.75 c current bound: 5613 1037.15/1052.75 c current bound: 5613 1038.19/1053.88 c current bound: 5613 1039.13/1054.87 c current bound: 5613 1039.91/1055.87 c current bound: 5613 1040.91/1056.86 c current bound: 5613 1041.92/1057.85 c current bound: 5613 1042.91/1058.92 c current bound: 5613 1043.91/1059.91 c current bound: 5613 1045.16/1060.90 c current bound: 5613 1045.87/1061.91 c current bound: 5613 1046.90/1062.90 c current bound: 5613 1048.16/1064.00 c current bound: 5613 1048.87/1064.99 c current bound: 5613 1050.05/1065.99 c current bound: 5613 1051.04/1066.98 c current bound: 5613 1051.85/1067.97 c current bound: 5613 1053.10/1069.13 c current bound: 5613 1053.85/1070.12 c current bound: 5613 1054.83/1071.11 c current bound: 5613 1055.83/1072.11 c current bound: 5613 1056.82/1073.09 c current bound: 5613 1057.81/1074.09 c current bound: 5613 1058.82/1075.09 c current bound: 5613 1059.80/1076.08 c current bound: 5613 1060.80/1077.07 c current bound: 5613 1061.98/1078.06 c current bound: 5613 1063.06/1079.14 c current bound: 5613 1064.01/1080.14 c current bound: 5613 1064.79/1081.14 c current bound: 5613 1065.78/1082.13 c current bound: 5613 1066.76/1083.12 c current bound: 5613 1067.75/1084.15 c current bound: 5613 1068.76/1085.15 c current bound: 5613 1069.77/1086.15 c current bound: 5613 1070.78/1087.15 c current bound: 5613 1071.78/1088.14 c current bound: 5613 1073.01/1089.23 c current bound: 5613 1073.99/1090.23 c current bound: 5613 1075.00/1091.22 c current bound: 5613 1076.02/1092.20 c current bound: 5613 1077.00/1093.20 c current bound: 5613 1077.99/1094.26 c current bound: 5613 1078.72/1095.25 c current bound: 5613 1079.71/1096.24 c current bound: 5613 1080.70/1097.23 c current bound: 5613 1081.70/1098.22 c current bound: 5613 1082.96/1099.33 c current bound: 5613 1083.67/1100.33 c current bound: 5613 1084.68/1101.33 c current bound: 5613 1085.91/1102.34 c current bound: 5613 1086.91/1103.33 c current bound: 5613 1087.95/1104.41 c current bound: 5613 1088.95/1105.41 c current bound: 5613 1089.96/1106.40 c current bound: 5613 1090.68/1107.39 c current bound: 5613 1091.67/1108.38 c current bound: 5613 1092.66/1109.39 c current bound: 5613 1093.67/1110.38 c current bound: 5613 1094.66/1111.37 c current bound: 5613 1095.65/1112.36 c current bound: 5613 1096.84/1113.35 c current bound: 5613 1097.91/1114.46 c current bound: 5613 1098.83/1115.45 c current bound: 5613 1099.84/1116.44 c current bound: 5613 1100.61/1117.43 c current bound: 5613 1101.61/1118.45 c current bound: 5613 1102.62/1119.57 c current bound: 5613 1103.62/1120.56 c current bound: 5613 1104.61/1121.55 c current bound: 5613 1105.61/1122.55 c current bound: 5613 1106.60/1123.54 c current bound: 5613 1107.88/1124.63 c current bound: 5613 1108.61/1125.63 c current bound: 5613 1109.60/1126.62 c current bound: 5613 1110.84/1127.61 c current bound: 5613 1111.75/1128.60 c current bound: 5613 1112.86/1129.66 c current bound: 5613 1113.57/1130.65 c current bound: 5613 1114.56/1131.64 c current bound: 5613 1115.55/1132.63 c current bound: 5613 1116.54/1133.62 c current bound: 5613 1117.81/1134.74 c current bound: 5613 1118.54/1135.73 c current bound: 5613 1119.53/1136.74 c current bound: 5613 1120.54/1137.73 c current bound: 5613 1121.53/1138.72 c current bound: 5613 1122.74/1139.77 c current bound: 5613 1123.69/1140.79 c current bound: 5613 1124.70/1141.78 c current bound: 5613 1125.52/1142.77 c current bound: 5613 1126.50/1143.76 c current bound: 5613 1127.50/1144.88 c current bound: 5613 1128.49/1145.87 c current bound: 5613 1129.48/1146.87 c current bound: 5613 1130.47/1147.86 c current bound: 5613 1131.46/1148.85 c current bound: 5613 1132.46/1149.88 c current bound: 5613 1133.46/1150.87 c current bound: 5613 1134.65/1151.86 c current bound: 5613 1135.65/1152.87 c current bound: 5613 1136.65/1153.86 c current bound: 5613 1137.43/1154.85 c current bound: 5613 1138.43/1155.84 c current bound: 5613 1139.42/1156.84 c current bound: 5613 1140.43/1157.83 c current bound: 5613 1141.41/1158.82 c current bound: 5613 1142.67/1159.94 c current bound: 5613 1143.39/1160.94 c current bound: 5613 1144.40/1161.94 c current bound: 5613 1145.39/1162.93 c current bound: 5613 1146.63/1163.92 c current bound: 5613 1147.63/1165.09 c current bound: 5613 1148.55/1166.08 c current bound: 5613 1149.56/1167.07 c current bound: 5613 1150.34/1168.06 c current bound: 5613 1151.35/1169.05 c current bound: 5613 1152.34/1170.09 c current bound: 5613 1153.33/1171.08 c current bound: 5613 1154.32/1172.07 c current bound: 5613 1155.31/1173.07 c current bound: 5613 1156.30/1174.06 c current bound: 5613 1157.57/1175.15 c current bound: 5613 1158.29/1176.14 c current bound: 5613 1159.53/1177.15 c current bound: 5613 1160.52/1178.13 c current bound: 5613 1161.52/1179.12 c current bound: 5613 1162.54/1180.44 c current bound: 5613 1163.50/1181.43 c current bound: 5613 1164.51/1182.42 c current bound: 5613 1165.26/1183.41 c current bound: 5613 1166.25/1184.41 c current bound: 5613 1167.24/1185.40 c current bound: 5613 1168.24/1186.39 c current bound: 5613 1169.23/1187.38 c current bound: 5613 1170.23/1188.38 c current bound: 5613 1171.22/1189.37 c current bound: 5613 1172.46/1190.53 c current bound: 5613 1173.21/1191.52 c current bound: 5613 1174.44/1192.52 c current bound: 5613 1175.45/1193.52 c current bound: 5613 1176.46/1194.51 c current bound: 5613 1177.45/1195.57 c current bound: 5613 1178.18/1196.57 c current bound: 5613 1179.17/1197.56 c current bound: 5613 1180.15/1198.54 c current bound: 5613 1181.14/1199.54 c current bound: 5613 1182.13/1200.54 c current bound: 5613 1183.13/1201.53 c current bound: 5613 1184.13/1202.54 c current bound: 5613 1185.37/1203.53 c current bound: 5613 1186.38/1204.52 c current bound: 5613 1187.38/1205.60 c current bound: 5613 1188.11/1206.59 c current bound: 5613 1189.09/1207.59 c current bound: 5613 1190.08/1208.58 c current bound: 5613 1191.07/1209.56 c current bound: 5613 1192.07/1210.71 c current bound: 5613 1193.06/1211.70 c current bound: 5613 1194.32/1212.70 c current bound: 5613 1195.05/1213.69 c current bound: 5613 1196.03/1214.68 c current bound: 5613 1197.29/1215.73 c current bound: 5613 1198.24/1216.72 c current bound: 5613 1199.24/1217.72 c current bound: 5613 1200.26/1218.71 c current bound: 5613 1200.99/1219.70 c current bound: 5613 1201.99/1220.81 c current bound: 5613 1203.01/1221.80 c current bound: 5613 1203.99/1222.80 c current bound: 5613 1205.01/1223.80 c current bound: 5613 1206.26/1224.80 c current bound: 5613 1206.98/1225.82 c current bound: 5613 1207.98/1226.82 c current bound: 5613 1208.99/1227.82 c current bound: 5613 1210.22/1228.81 c current bound: 5613 1211.14/1229.80 c current bound: 5613 1212.23/1230.91 c current bound: 5613 1212.96/1231.90 c current bound: 5613 1213.95/1232.89 c current bound: 5613 1214.93/1233.88 c current bound: 5613 1215.92/1234.87 c current bound: 5613 1216.93/1236.08 c current bound: 5613 1217.92/1237.08 c current bound: 5613 1218.92/1238.07 c current bound: 5613 1219.92/1239.07 c current bound: 5613 1220.91/1240.07 c current bound: 5613 1221.90/1241.06 c current bound: 5613 1223.10/1242.05 c current bound: 5613 1224.10/1243.04 c current bound: 5613 1225.10/1244.04 c current bound: 5613 1225.87/1245.03 c current bound: 5613 1226.86/1246.13 c current bound: 5613 1227.86/1247.12 c current bound: 5613 1228.85/1248.12 c current bound: 5613 1229.86/1249.12 c current bound: 5613 1230.85/1250.12 c current bound: 5613 1231.85/1251.14 c current bound: 5613 1232.84/1252.13 c current bound: 5613 1233.84/1253.13 c current bound: 5613 1235.06/1254.12 c current bound: 5613 1236.10/1255.11 c current bound: 5613 1237.07/1256.21 c current bound: 5613 1237.81/1257.20 c current bound: 5613 1238.81/1258.19 c current bound: 5613 1239.80/1259.18 c current bound: 5613 1240.80/1260.18 c current bound: 5613 1242.07/1261.31 c current bound: 5613 1242.79/1262.31 c current bound: 5613 1243.79/1263.30 c current bound: 5613 1244.78/1264.30 c current bound: 5613 1246.04/1265.30 c current bound: 5613 1246.77/1266.44 c current bound: 5613 1247.76/1267.44 c current bound: 5613 1248.99/1268.43 c current bound: 5613 1249.98/1269.42 c current bound: 5613 1250.98/1270.41 c current bound: 5613 1251.73/1271.48 c current bound: 5613 1252.73/1272.47 c current bound: 5613 1253.73/1273.47 c current bound: 5613 1254.72/1274.46 c current bound: 5613 1255.72/1275.46 c current bound: 5613 1256.71/1276.74 c current bound: 5613 1257.71/1277.74 c current bound: 5613 1258.69/1278.73 c current bound: 5613 1259.68/1279.72 c current bound: 5613 1260.67/1280.72 c current bound: 5613 1261.67/1281.71 c current bound: 5613 1262.91/1282.70 c current bound: 5613 1263.81/1283.70 c current bound: 5613 1264.64/1284.69 c current bound: 5613 1265.64/1285.68 c current bound: 5613 1266.63/1286.79 c current bound: 5613 1267.65/1287.79 c current bound: 5613 1268.64/1288.78 c current bound: 5613 1269.62/1289.77 c current bound: 5613 1270.62/1290.77 c current bound: 5613 1271.88/1291.90 c current bound: 5613 1272.88/1292.90 c current bound: 5613 1273.60/1293.89 c current bound: 5613 1274.61/1294.89 c current bound: 5613 1275.79/1295.88 c current bound: 5613 1276.83/1297.02 c current bound: 5613 1277.83/1298.01 c current bound: 5613 1278.56/1299.00 c current bound: 5613 1279.56/1300.00 c current bound: 5613 1280.56/1300.99 c current bound: 5613 1281.83/1302.00 c current bound: 5613 1282.81/1303.00 c current bound: 5613 1283.54/1303.99 c current bound: 5613 1284.55/1304.99 c current bound: 5613 1285.54/1305.99 c current bound: 5613 1286.79/1307.10 c current bound: 5613 1287.51/1308.09 c current bound: 5613 1288.77/1309.11 c current bound: 5613 1289.81/1310.11 c current bound: 5613 1290.81/1311.10 c current bound: 5613 1291.80/1312.13 c current bound: 5613 1292.53/1313.12 c current bound: 5613 1293.52/1314.11 c current bound: 5613 1294.52/1315.11 c current bound: 5613 1295.50/1316.10 c current bound: 5613 1296.50/1317.26 c current bound: 5613 1297.49/1318.26 c current bound: 5613 1298.50/1319.25 c current bound: 5613 1299.50/1320.25 c current bound: 5613 1300.70/1321.24 c current bound: 5613 1301.70/1322.23 c current bound: 5613 1302.70/1323.22 c current bound: 5613 1303.47/1324.21 c current bound: 5613 1304.46/1325.21 c current bound: 5613 1305.73/1326.20 c current bound: 5613 1306.72/1327.25 c current bound: 5613 1307.43/1328.24 c current bound: 5613 1308.42/1329.24 c current bound: 5613 1309.41/1330.23 c current bound: 5613 1310.40/1331.22 c current bound: 5613 1311.64/1332.32 c current bound: 5613 1312.64/1333.31 c current bound: 5613 1313.65/1334.31 c current bound: 5613 1314.39/1335.30 c current bound: 5613 1315.39/1336.29 c current bound: 5613 1316.38/1337.38 c current bound: 5613 1317.37/1338.37 c current bound: 5613 1318.37/1339.37 c current bound: 5613 1319.36/1340.37 c current bound: 5613 1320.35/1341.37 c current bound: 5613 1321.37/1342.48 c current bound: 5613 1322.36/1343.47 c current bound: 5613 1323.35/1344.47 c current bound: 5613 1324.53/1345.46 c current bound: 5613 1325.54/1346.46 c current bound: 5613 1326.60/1347.56 c current bound: 5613 1327.54/1348.55 c current bound: 5613 1328.32/1349.54 c current bound: 5613 1329.31/1350.53 c current bound: 5613 1330.30/1351.52 c current bound: 5613 1331.29/1352.62 c current bound: 5613 1332.29/1353.61 c current bound: 5613 1333.29/1354.61 c current bound: 5613 1334.28/1355.60 c current bound: 5613 1335.54/1356.60 c current bound: 5613 1336.54/1357.72 c current bound: 5613 1337.25/1358.71 c current bound: 5613 1338.50/1359.71 c current bound: 5613 1339.40/1360.69 c current bound: 5613 1340.23/1361.68 c current bound: 5613 1341.47/1362.84 c current bound: 5613 1342.23/1363.84 c current bound: 5613 1343.22/1364.83 c current bound: 5613 1344.20/1365.82 c current bound: 5613 1345.20/1366.82 c current bound: 5613 1346.20/1367.91 c current bound: 5613 1347.18/1368.91 c current bound: 5613 1348.18/1369.92 c current bound: 5613 1349.19/1370.91 c current bound: 5613 1350.19/1371.91 c current bound: 5613 1351.45/1372.90 c current bound: 5613 1352.36/1373.89 c current bound: 5613 1353.18/1374.88 c current bound: 5613 1354.18/1375.88 c current bound: 5613 1355.16/1376.88 c current bound: 5613 1356.17/1377.98 c current bound: 5613 1357.17/1378.97 c current bound: 5613 1358.14/1379.96 c current bound: 5613 1359.14/1380.96 c current bound: 5613 1360.14/1381.95 c current bound: 5613 1361.42/1383.11 c current bound: 5613 1362.14/1384.11 c current bound: 5613 1363.13/1385.12 c current bound: 5613 1364.37/1386.11 c current bound: 5613 1365.28/1387.10 c current bound: 5613 1366.37/1388.10 c current bound: 5613 1367.38/1389.10 c current bound: 5613 1368.10/1390.09 c current bound: 5613 1369.10/1391.09 c current bound: 5613 1370.10/1392.09 c current bound: 5613 1371.08/1393.08 c current bound: 5613 1372.07/1394.13 c current bound: 5613 1373.07/1395.12 c current bound: 5613 1374.06/1396.12 c current bound: 5613 1375.30/1397.11 c current bound: 5613 1376.31/1398.11 c current bound: 5613 1377.30/1399.12 c current bound: 5613 1378.05/1400.11 c current bound: 5613 1379.05/1401.10 c current bound: 5613 1380.05/1402.09 c current bound: 5613 1381.04/1403.09 c current bound: 5613 1382.03/1404.12 c current bound: 5613 1383.02/1405.12 c current bound: 5613 1384.03/1406.11 c current bound: 5613 1385.02/1407.11 c current bound: 5613 1386.28/1408.10 c current bound: 5613 1387.24/1409.14 c current bound: 5613 1388.22/1410.13 c current bound: 5613 1388.98/1411.12 c current bound: 5613 1389.97/1412.11 c current bound: 5613 1390.97/1413.11 c current bound: 5613 1391.96/1414.16 c current bound: 5613 1392.95/1415.15 c current bound: 5613 1393.94/1416.15 c current bound: 5613 1394.94/1417.14 c current bound: 5613 1395.93/1418.14 c current bound: 5613 1396.91/1419.20 c current bound: 5613 1398.09/1420.19 c current bound: 5613 1399.10/1421.18 c current bound: 5613 1399.92/1422.17 c current bound: 5613 1400.91/1423.16 c current bound: 5613 1401.90/1424.18 c current bound: 5613 1402.89/1425.17 c current bound: 5613 1403.88/1426.16 c current bound: 5613 1404.87/1427.15 c current bound: 5613 1405.86/1428.15 c current bound: 5613 1406.85/1429.14 c current bound: 5613 1408.08/1430.13 c current bound: 5613 1409.08/1431.12 c current bound: 5613 1410.08/1432.11 c current bound: 5613 1410.83/1433.10 c current bound: 5613 1411.81/1434.09 c current bound: 5613 1413.08/1435.10 c current bound: 5613 1413.80/1436.09 c current bound: 5613 1414.80/1437.08 c current bound: 5613 1415.79/1438.07 c current bound: 5613 1416.78/1439.07 c current bound: 5613 1417.97/1440.08 c current bound: 5613 1418.97/1441.07 c current bound: 5613 1419.99/1442.06 c current bound: 5613 1420.78/1443.06 c current bound: 5613 1421.78/1444.05 c current bound: 5613 1422.76/1445.05 c current bound: 5613 1423.77/1446.04 c current bound: 5613 1424.75/1447.04 c current bound: 5613 1425.75/1448.03 c current bound: 5613 1426.74/1449.02 c current bound: 5613 1427.72/1450.02 c current bound: 5613 1428.97/1451.01 c current bound: 5613 1429.88/1452.00 c current bound: 5613 1430.71/1452.99 c current bound: 5613 1431.71/1453.98 c current bound: 5613 1432.71/1454.97 c current bound: 5613 1433.70/1455.97 c current bound: 5613 1434.68/1456.95 c current bound: 5613 1435.67/1457.96 c current bound: 5613 1436.68/1458.96 c current bound: 5613 1437.69/1459.95 c current bound: 5613 1438.89/1460.94 c current bound: 5613 1439.91/1461.93 c current bound: 5613 1440.90/1462.92 c current bound: 5613 1441.91/1464.05 c current bound: 5613 1442.64/1465.04 c current bound: 5613 1443.64/1466.05 c current bound: 5613 1444.64/1467.03 c current bound: 5613 1445.63/1468.03 c current bound: 5613 1446.61/1469.06 c current bound: 5613 1447.62/1470.09 c current bound: 5613 1448.61/1471.08 c current bound: 5613 1449.60/1472.07 c current bound: 5613 1450.79/1473.07 c current bound: 5613 1451.87/1474.16 c current bound: 5613 1452.79/1475.16 c current bound: 5613 1453.80/1476.15 c current bound: 5613 1454.59/1477.14 c current bound: 5613 1455.58/1478.14 c current bound: 5613 1456.56/1479.28 c current bound: 5613 1457.55/1480.27 c current bound: 5613 1458.56/1481.26 c current bound: 5613 1459.55/1482.26 c current bound: 5613 1460.55/1483.25 c current bound: 5613 1461.55/1484.27 c current bound: 5613 1462.54/1485.26 c current bound: 5613 1463.73/1486.26 c current bound: 5613 1464.72/1487.27 c current bound: 5613 1465.73/1488.26 c current bound: 5613 1466.53/1489.29 c current bound: 5613 1467.54/1490.28 c current bound: 5613 1468.54/1491.27 c current bound: 5613 1469.53/1492.26 c current bound: 5613 1470.54/1493.27 c current bound: 5613 1471.54/1494.38 c current bound: 5613 1472.53/1495.37 c current bound: 5613 1473.54/1496.36 c current bound: 5613 1474.52/1497.35 c current bound: 5613 1475.72/1498.35 c current bound: 5613 1476.77/1499.41 c current bound: 5613 1477.75/1500.40 c current bound: 5613 1478.48/1501.40 c current bound: 5613 1479.48/1502.39 c current bound: 5613 1480.48/1503.39 c current bound: 5613 1481.48/1504.51 c current bound: 5613 1482.48/1505.51 c current bound: 5613 1483.47/1506.49 c current bound: 5613 1484.45/1507.48 c current bound: 5613 1485.44/1508.47 c current bound: 5613 1486.44/1509.58 c current bound: 5613 1487.42/1510.57 c current bound: 5613 1488.61/1511.56 c current bound: 5613 1489.60/1512.56 c current bound: 5613 1490.59/1513.55 c current bound: 5613 1491.67/1514.67 c current bound: 5613 1492.39/1515.66 c current bound: 5613 1493.38/1516.65 c current bound: 5613 1494.37/1517.64 c current bound: 5613 1495.35/1518.63 c current bound: 5613 1496.34/1519.72 c current bound: 5613 1497.35/1520.72 c current bound: 5613 1498.34/1521.70 c current bound: 5613 1499.60/1522.70 c current bound: 5613 1500.32/1523.69 c current bound: 5613 1501.59/1524.73 c current bound: 5613 1502.53/1525.73 c current bound: 5613 1503.53/1526.72 c current bound: 5613 1504.29/1527.72 c current bound: 5613 1505.28/1528.70 c current bound: 5613 1506.28/1529.80 c current bound: 5613 1507.27/1530.79 c current bound: 5613 1508.27/1531.78 c current bound: 5613 1509.26/1532.77 c current bound: 5613 1510.24/1533.77 c current bound: 5613 1511.53/1534.83 c current bound: 5613 1512.24/1535.82 c current bound: 5613 1513.47/1536.81 c current bound: 5613 1514.48/1537.80 c current bound: 5613 1515.19/1538.79 c current bound: 5613 1516.45/1540.07 c current bound: 5613 1517.38/1541.07 c current bound: 5613 1518.16/1542.06 c current bound: 5613 1519.15/1543.05 c current bound: 5613 1520.16/1544.05 c current bound: 5613 1521.15/1545.04 c current bound: 5613 1522.14/1546.05 c current bound: 5613 1523.14/1547.04 c current bound: 5613 1524.14/1548.03 c current bound: 5613 1525.13/1549.02 c current bound: 5613 1526.37/1550.08 c current bound: 5613 1527.31/1551.08 c current bound: 5613 1528.30/1552.07 c current bound: 5613 1529.10/1553.06 c current bound: 5613 1530.09/1554.05 c current bound: 5613 1531.09/1555.14 c current bound: 5613 1532.08/1556.13 c current bound: 5613 1533.07/1557.13 c current bound: 5613 1534.06/1558.12 c current bound: 5613 1535.06/1559.11 c current bound: 5613 1536.05/1560.17 c current bound: 5613 1537.05/1561.16 c current bound: 5613 1538.24/1562.16 c current bound: 5613 1539.22/1563.15 c current bound: 5613 1540.24/1564.15 c current bound: 5613 1541.26/1565.24 c current bound: 5613 1542.00/1566.23 c current bound: 5613 1542.98/1567.22 c current bound: 5613 1543.97/1568.21 c current bound: 5613 1544.98/1569.20 c current bound: 5613 1545.96/1570.32 c current bound: 5613 1546.96/1571.31 c current bound: 5613 1547.94/1572.30 c current bound: 5613 1549.22/1573.30 c current bound: 5613 1549.94/1574.29 c current bound: 5613 1551.17/1575.36 c current bound: 5613 1552.11/1576.35 c current bound: 5613 1553.11/1577.35 c current bound: 5613 1553.89/1578.34 c current bound: 5613 1554.89/1579.33 c current bound: 5613 1555.88/1580.37 c current bound: 5613 1556.88/1581.36 c current bound: 5613 1557.88/1582.36 c current bound: 5613 1558.88/1583.35 c current bound: 5613 1559.86/1584.34 c current bound: 5613 1560.86/1585.37 c current bound: 5613 1562.03/1586.36 c current bound: 5613 1563.05/1587.35 c current bound: 5613 1564.04/1588.35 c current bound: 5613 1564.83/1589.34 c current bound: 5613 1565.81/1590.46 c current bound: 5613 1566.81/1591.46 c current bound: 5613 1567.81/1592.45 c current bound: 5613 1568.79/1593.44 c current bound: 5613 1569.79/1594.43 c current bound: 5613 1570.79/1595.59 c current bound: 5613 1571.79/1596.58 c current bound: 5613 1572.78/1597.57 c current bound: 5613 1573.77/1598.56 c current bound: 5613 1574.95/1599.56 c current bound: 5613 1576.00/1600.62 c current bound: 5613 1576.99/1601.62 c current bound: 5613 1577.98/1602.61 c current bound: 5613 1578.73/1603.60 c current bound: 5613 1579.99/1604.60 c current bound: 5613 1580.72/1605.73 c current bound: 5613 1581.71/1606.73 c current bound: 5613 1582.69/1607.72 c current bound: 5613 1583.68/1608.71 c current bound: 5613 1584.93/1609.70 c current bound: 5613 1585.66/1610.71 c current bound: 5613 1586.65/1611.70 c current bound: 5613 1587.89/1612.70 c current bound: 5613 1588.79/1613.70 c current bound: 5613 1589.62/1614.68 c current bound: 5613 1590.87/1615.82 c current bound: 5613 1591.61/1616.81 c current bound: 5613 1592.60/1617.80 c current bound: 5613 1593.57/1618.79 c current bound: 5613 1594.56/1619.78 c current bound: 5613 1595.56/1620.89 c current bound: 5613 1596.56/1621.87 c current bound: 5613 1597.55/1622.87 c current bound: 5613 1598.55/1623.86 c current bound: 5613 1599.73/1624.85 c current bound: 5613 1600.74/1625.88 c current bound: 5613 1601.71/1626.87 c current bound: 5613 1602.51/1627.86 c current bound: 5613 1603.51/1628.85 c current bound: 5613 1604.49/1629.84 c current bound: 5613 1605.76/1630.94 c current bound: 5613 1606.48/1631.94 c current bound: 5613 1607.49/1632.93 c current bound: 5613 1608.49/1633.93 c current bound: 5613 1609.48/1634.92 c current bound: 5613 1610.47/1636.03 c current bound: 5613 1611.46/1637.02 c current bound: 5613 1612.69/1638.01 c current bound: 5613 1613.69/1639.01 c current bound: 5613 1614.69/1640.03 c current bound: 5613 1615.72/1641.15 c current bound: 5613 1616.44/1642.14 c current bound: 5613 1617.45/1643.13 c current bound: 5613 1618.44/1644.12 c current bound: 5613 1619.45/1645.14 c current bound: 5613 1620.70/1646.27 c current bound: 5613 1621.44/1647.27 c current bound: 5613 1622.42/1648.26 c current bound: 5613 1623.40/1649.26 c current bound: 5613 1624.40/1650.24 c current bound: 5613 1625.65/1651.37 c current bound: 5613 1626.57/1652.36 c current bound: 5613 1627.58/1653.35 c current bound: 5613 1628.58/1654.34 c current bound: 5613 1629.35/1655.33 c current bound: 5613 1630.34/1656.46 c current bound: 5613 1631.33/1657.45 c current bound: 5613 1632.32/1658.44 c current bound: 5613 1633.32/1659.43 c current bound: 5613 1634.31/1660.42 c current bound: 5613 1635.31/1661.46 c current bound: 5613 1636.30/1662.45 c current bound: 5613 1637.30/1663.45 c current bound: 5613 1638.51/1664.44 c current bound: 5613 1639.50/1665.44 c current bound: 5613 1640.50/1666.49 c current bound: 5613 1641.28/1667.48 c current bound: 5613 1642.27/1668.47 c current bound: 5613 1643.26/1669.46 c current bound: 5613 1644.25/1670.45 c current bound: 5613 1645.25/1671.55 c current bound: 5613 1646.24/1672.55 c current bound: 5613 1647.23/1673.54 c current bound: 5613 1648.24/1674.53 c current bound: 5613 1649.24/1675.53 c current bound: 5613 1650.47/1676.58 c current bound: 5613 1651.40/1677.58 c current bound: 5613 1652.39/1678.58 c current bound: 5613 1653.20/1679.57 c current bound: 5613 1654.18/1680.56 c current bound: 5613 1655.18/1681.67 c current bound: 5613 1656.17/1682.67 c current bound: 5613 1657.16/1683.66 c current bound: 5613 1658.16/1684.65 c current bound: 5613 1659.15/1685.64 c current bound: 5613 1660.42/1686.70 c current bound: 5613 1661.41/1687.70 c current bound: 5613 1662.13/1688.69 c current bound: 5613 1663.31/1689.68 c current bound: 5613 1664.31/1690.68 c current bound: 5613 1665.38/1691.82 c current bound: 5613 1666.36/1692.81 c current bound: 5613 1667.10/1693.80 c current bound: 5613 1668.09/1694.79 c current bound: 5613 1669.08/1695.78 c current bound: 5613 1670.34/1696.84 c current bound: 5613 1671.06/1697.83 c current bound: 5613 1672.06/1698.83 c current bound: 5613 1673.03/1699.81 c current bound: 5613 1674.03/1700.81 c current bound: 5613 1675.29/1701.92 c current bound: 5613 1676.25/1702.92 c current bound: 5613 1677.26/1703.92 c current bound: 5613 1678.27/1704.91 c current bound: 5613 1679.01/1705.90 c current bound: 5613 1680.01/1707.09 c current bound: 5613 1681.01/1708.08 c current bound: 5613 1682.00/1709.07 c current bound: 5613 1682.98/1710.06 c current bound: 5613 1683.98/1711.06 c current bound: 5613 1684.98/1712.05 c current bound: 5613 1685.98/1713.04 c current bound: 5613 1686.97/1714.03 c current bound: 5613 1688.23/1715.12 c current bound: 5613 1689.19/1716.11 c current bound: 5613 1690.20/1717.11 c current bound: 5613 1690.95/1718.10 c current bound: 5613 1692.21/1719.10 c current bound: 5613 1692.94/1720.09 c current bound: 5613 1693.93/1721.08 c current bound: 5613 1694.93/1722.07 c current bound: 5613 1695.92/1723.06 c current bound: 5613 1696.92/1724.06 c current bound: 5613 1697.91/1725.05 c current bound: 5613 1699.12/1726.04 c current bound: 5613 1700.18/1727.18 c current bound: 5613 1701.10/1728.17 c current bound: 5613 1702.08/1729.17 c current bound: 5613 1702.90/1730.18 c current bound: 5613 1703.90/1731.17 c current bound: 5613 1704.89/1732.17 c current bound: 5613 1705.89/1733.16 c current bound: 5613 1706.88/1734.15 c current bound: 5613 1707.89/1735.14 c current bound: 5613 1708.88/1736.14 c current bound: 5613 1710.17/1737.24 c current bound: 5613 1710.89/1738.23 c current bound: 5613 1712.12/1739.23 c current bound: 5613 1713.11/1740.22 c current bound: 5613 1714.13/1741.21 c current bound: 5613 1715.11/1742.38 c current bound: 5613 1715.86/1743.37 c current bound: 5613 1716.85/1744.36 c current bound: 5613 1717.85/1745.35 c current bound: 5613 1718.84/1746.34 c current bound: 5613 1719.84/1747.39 c current bound: 5613 1720.84/1748.38 c current bound: 5613 1721.83/1749.37 c current bound: 5613 1722.82/1750.38 c current bound: 5613 1723.81/1751.37 c current bound: 5613 1725.10/1752.40 c current bound: 5613 1725.99/1753.39 c current bound: 5613 1726.82/1754.38 c current bound: 5613 1727.81/1755.37 c current bound: 5613 1728.80/1756.36 c current bound: 5613 1729.79/1757.54 c current bound: 5613 1730.80/1758.54 c current bound: 5613 1731.79/1759.53 c current bound: 5613 1732.78/1760.53 c current bound: 5613 1733.78/1761.52 c current bound: 5613 1734.76/1762.53 c current bound: 5613 1735.76/1763.52 c current bound: 5613 1736.99/1764.52 c current bound: 5613 1738.01/1765.51 c current bound: 5613 1738.75/1766.50 c current bound: 5613 1739.73/1767.56 c current bound: 5613 1740.73/1768.55 c current bound: 5613 1741.71/1769.54 c current bound: 5613 1742.70/1770.54 c current bound: 5613 1743.70/1771.53 c current bound: 5613 1744.70/1772.68 c current bound: 5613 1745.69/1773.67 c current bound: 5613 1746.67/1774.67 c current bound: 5613 1747.67/1775.66 c current bound: 5613 1748.89/1776.65 c current bound: 5613 1749.97/1777.75 c current bound: 5613 1750.91/1778.75 c current bound: 5613 1751.89/1779.74 c current bound: 5613 1752.66/1780.73 c current bound: 5613 1753.64/1781.72 c current bound: 5613 1754.66/1782.88 c current bound: 5613 1755.65/1783.87 c current bound: 5613 1756.64/1784.86 c current bound: 5613 1757.63/1785.86 c current bound: 5613 1758.63/1786.85 c current bound: 5613 1759.62/1787.89 c current bound: 5613 1760.61/1788.88 c current bound: 5613 1761.60/1789.88 c current bound: 5613 1762.79/1790.87 c current bound: 5613 1763.80/1791.86 c current bound: 5613 1764.58/1792.86 c current bound: 5613 1765.57/1793.85 c current bound: 5613 1766.57/1794.84 c current bound: 5613 1767.56/1795.84 c current bound: 5613 1768.56/1796.83 c current bound: 5613 1769.81/1797.94 c current bound: 5613 1770.55/1798.94 c current bound: 5613 1771.54/1799.93 c current bound: 5613 1772.53/1800.92 c current bound: 5613 1773.76/1801.91 c current bound: 5613 1774.77/1803.08 c current bound: 5613 1775.70/1804.07 c current bound: 5613 1776.70/1805.07 c current bound: 5613 1777.51/1806.07 c current bound: 5613 1778.50/1807.06 c current bound: 5613 1779.76/1808.11 c current bound: 5613 1780.49/1809.10 c current bound: 5613 1781.76/1810.10 c current bound: 5613 1782.48/1811.09 c current bound: 5613 1783.48/1812.08 c current bound: 5613 1784.47/1813.18 c current bound: 5613 1785.46/1814.17 c current bound: 5613 1786.65/1815.16 c current bound: 5613 1787.65/1816.15 c current bound: 5613 1788.66/1817.14 c current bound: 5613 1789.70/1818.27 c current bound: 5613 1790.43/1819.26 c current bound: 5613 1791.43/1820.25 c current bound: 5613 1792.43/1821.24 c current bound: 5613 1793.43/1822.23 c current bound: 5613 1794.42/1823.26 c current bound: 5613 1795.40/1824.25 c current bound: 5613 1796.40/1825.24 c current bound: 5613 1797.39/1826.23 c current bound: 5613 1798.62/1827.23 c current bound: 5613 1799.42/1828.01 HOME/npSolver-wbo-Itdqb.sh: line 18: 32625 Terminated ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3753107-1339210016/watcher-3753107-1339210016 -o /tmp/evaluation-result-3753107-1339210016/solver-3753107-1339210016 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753107-1339210016.wbo 507332614 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.11 3/174 32624 /proc/meminfo: memFree=29637616/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [startup+0.08382 s] /proc/loadavg: 1.00 1.00 1.11 3/174 32624 /proc/meminfo: memFree=29637616/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100277 s] /proc/loadavg: 1.00 1.00 1.11 3/174 32624 /proc/meminfo: memFree=29637616/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300314 s] /proc/loadavg: 1.00 1.00 1.11 3/174 32624 /proc/meminfo: memFree=29637616/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700192 s] /proc/loadavg: 1.00 1.00 1.11 3/174 32624 /proc/meminfo: memFree=29637616/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50028 s] /proc/loadavg: 1.00 1.00 1.11 3/184 32669 /proc/meminfo: memFree=29576412/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=1.12 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 3081 20118 0 0 17 3 78 14 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 29020 [startup+3.10026 s] /proc/loadavg: 1.00 1.00 1.11 3/181 32689 /proc/meminfo: memFree=29552528/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=3.08 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) R 32624 32624 30487 0 -1 4202496 4711 49567 0 0 32 4 229 43 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763696 4583924 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 29020 [startup+6.30035 s] /proc/loadavg: 1.08 1.02 1.11 3/183 32747 /proc/meminfo: memFree=29505916/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=6.1 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 7161 93870 0 0 59 7 456 88 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 Current children cumulated CPU time (s) 6.1 Current children cumulated vsize (KiB) 29020 [startup+12.7003 s] /proc/loadavg: 1.15 1.03 1.12 3/183 407 /proc/meminfo: memFree=29538032/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=12.06 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 12057 184289 0 0 108 13 907 178 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 Current children cumulated CPU time (s) 12.06 Current children cumulated vsize (KiB) 29020 ############ # WARNING: # current cumulated CPU time (13.05 s) is less than in the last sample (13.21 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.16 s) to the 'lost time'. [startup+13.1001 s] /proc/loadavg: 1.15 1.03 1.12 3/183 428 /proc/meminfo: memFree=29549708/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=12.96 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 12117 198759 0 0 108 13 983 192 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763696 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 [pid=422] ppid=32625 vsize=9148 CPUtime=0.25 cores=1,3,5,7 /proc/422/stat : 422 (cp2_post.sh) R 32625 32624 30487 0 -1 4202496 616 2439 0 0 0 0 15 10 20 0 1 0 387131351 9367552 266 33554432000 4194304 5064252 140735788011072 140735788009360 270118239925 0 0 4100 65536 0 0 0 17 3 0 0 0 0 0 /proc/422/statm: 2287 267 227 213 0 72 0 Current children cumulated CPU time (s) 13.21 Current children cumulated vsize (KiB) 38168 [startup+13.2072 s] /proc/loadavg: 1.15 1.03 1.12 3/183 428 /proc/meminfo: memFree=29549708/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=13.05 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 12873 199273 0 0 116 14 983 192 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 Current children cumulated CPU time (s) 13.05 Current children cumulated vsize (KiB) 29020 # ############ [startup+25.5004 s] /proc/loadavg: 1.34 1.08 1.13 3/183 655 /proc/meminfo: memFree=29540680/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=24.96 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 22665 380499 0 0 215 25 1890 366 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 [pid=654] ppid=32625 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/654/stat : 654 (satsolver.sh) S 32625 32624 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387132579 9367552 267 33554432000 4194304 5064252 140736107095792 140736107094704 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/654/statm: 2287 267 226 213 0 72 0 [pid=655] ppid=654 vsize=48560 CPUtime=0.38 cores=1,3,5,7 /proc/655/stat : 655 (glucose) R 654 32624 30487 0 -1 4202496 10487 0 0 0 36 2 0 0 20 0 1 0 387132579 49725440 10612 33554432000 4194304 5208918 140735631658432 140736107094728 4211641 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/655/statm: 12140 10612 95 248 0 11889 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 86728 [startup+51.1003 s] /proc/loadavg: 1.50 1.14 1.15 3/183 1127 /proc/meminfo: memFree=29530488/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=50.73 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) R 32624 32624 30487 0 -1 4202496 43875 768951 0 0 422 48 3853 750 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763696 4535958 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 Current children cumulated CPU time (s) 50.73 Current children cumulated vsize (KiB) 29020 [startup+102.307 s] /proc/loadavg: 1.78 1.27 1.19 3/181 2114 /proc/meminfo: memFree=29548880/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=100.38 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 72417 1519504 0 0 832 94 7633 1479 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 [pid=2108] ppid=32625 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/2108/stat : 2108 (satsolver.sh) S 32625 32624 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387140247 9367552 267 33554432000 4194304 5064252 140734783134096 140734783133008 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/2108/statm: 2287 267 226 213 0 72 0 [pid=2109] ppid=2108 vsize=48564 CPUtime=0.5 cores=1,3,5,7 /proc/2109/stat : 2109 (glucose) R 2108 32624 30487 0 -1 4202496 10439 0 0 0 48 2 0 0 20 0 1 0 387140247 49729536 10620 33554432000 4194304 5208918 140733418620224 140733418618632 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2109/statm: 12141 10620 95 248 0 11890 0 Current children cumulated CPU time (s) 100.88 Current children cumulated vsize (KiB) 86732 [startup+162.3 s] /proc/loadavg: 1.92 1.40 1.24 3/183 3208 /proc/meminfo: memFree=29518224/32873844 swapFree=7384/7384 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 1.96 1.94 1.75 3/183 27631 /proc/meminfo: memFree=29522424/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=1459.87 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) R 32624 32624 30487 0 -1 4202496 489651 22032611 0 0 11957 1299 111095 21636 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763696 4619104 0 0 4096 0 0 0 0 17 1 0 0 47 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 Current children cumulated CPU time (s) 1459.87 Current children cumulated vsize (KiB) 29020 ############ # WARNING: # current cumulated CPU time (1509.62 s) is less than in the last sample (1510.15 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.530029 s) to the 'lost time'. [startup+1533.41 s] /proc/loadavg: 1.98 1.94 1.76 3/183 28597 /proc/meminfo: memFree=29523488/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=1509.62 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 504907 22782181 0 0 12371 1346 114878 22367 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 47 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 [pid=28589] ppid=32625 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28589/stat : 28589 (satsolver.sh) S 32625 32624 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387283355 9367552 267 33554432000 4194304 5064252 140734806181552 140734806180464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/28589/statm: 2287 267 226 213 0 72 0 [pid=28590] ppid=28589 vsize=48564 CPUtime=0.53 cores=1,3,5,7 /proc/28590/stat : 28590 (glucose) R 28589 32624 30487 0 -1 4202496 10494 0 0 0 51 2 0 0 20 0 1 0 387283355 49729536 10620 33554432000 4194304 5208918 140737476963360 140737476961768 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/28590/statm: 12141 10620 95 248 0 11890 0 Current children cumulated CPU time (s) 1510.15 Current children cumulated vsize (KiB) 86732 [startup+1533.5 s] /proc/loadavg: 1.98 1.94 1.76 3/183 28597 /proc/meminfo: memFree=29523488/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=1509.62 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 504907 22782181 0 0 12371 1346 114878 22367 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 47 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 [pid=28589] ppid=32625 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/28589/stat : 28589 (satsolver.sh) R 32625 32624 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387283355 9367552 267 33554432000 4194304 5064252 140734806181552 140734806180464 270118053454 0 65536 4100 65538 0 0 0 17 1 0 0 0 0 0 /proc/28589/statm: 2287 267 226 213 0 72 0 Current children cumulated CPU time (s) 1509.62 Current children cumulated vsize (KiB) 38168 # ############ [startup+1542.3 s] /proc/loadavg: 1.98 1.95 1.76 3/181 28763 /proc/meminfo: memFree=29570052/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=1518.53 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 507652 22918049 0 0 12445 1353 115557 22498 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 47 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 Current children cumulated CPU time (s) 1518.53 Current children cumulated vsize (KiB) 29020 [startup+1602.3 s] /proc/loadavg: 1.79 1.90 1.76 3/183 29881 /proc/meminfo: memFree=29556420/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=1577.1 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 525647 23803819 0 0 12929 1406 120012 23363 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 47 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 Current children cumulated CPU time (s) 1577.1 Current children cumulated vsize (KiB) 29020 [startup+1662.3 s] /proc/loadavg: 1.92 1.92 1.77 3/183 31016 /proc/meminfo: memFree=29522000/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=1636.3 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 543653 24697045 0 0 13414 1459 124541 24216 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515762608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 47 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 Current children cumulated CPU time (s) 1636.3 Current children cumulated vsize (KiB) 29020 [startup+1722.3 s] /proc/loadavg: 1.97 1.93 1.78 3/183 32126 /proc/meminfo: memFree=29501072/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=1695.28 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 561942 25585149 0 0 13904 1513 129017 25094 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 47 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 Current children cumulated CPU time (s) 1695.28 Current children cumulated vsize (KiB) 29020 [startup+1782.3 s] /proc/loadavg: 1.99 1.94 1.79 3/183 803 /proc/meminfo: memFree=29491692/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=1754.01 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 579937 26471820 0 0 14383 1566 133466 25986 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 47 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 [pid=802] ppid=32625 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/802/stat : 802 (satsolver.sh) S 32625 32624 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387308249 9367552 267 33554432000 4194304 5064252 140734122424720 140734122423632 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/802/statm: 2287 267 226 213 0 72 0 [pid=803] ppid=802 vsize=48560 CPUtime=0.47 cores=1,3,5,7 /proc/803/stat : 803 (glucose) R 802 32624 30487 0 -1 4202496 10437 0 0 0 45 2 0 0 20 0 1 0 387308249 49725440 10617 33554432000 4194304 5208918 140737366538784 140737366537192 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/803/statm: 12140 10617 95 248 0 11889 0 Current children cumulated CPU time (s) 1754.48 Current children cumulated vsize (KiB) 86728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1828 s] /proc/loadavg: 1.99 1.95 1.80 3/183 1699 /proc/meminfo: memFree=29556228/32873844 swapFree=7384/7384 [pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/32624/statm: 2287 275 233 213 0 72 0 [pid=32625] ppid=32624 vsize=19872 CPUtime=1799.38 cores=1,3,5,7 /proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 593673 27160373 0 0 14749 1606 136920 26663 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515762608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 47 0 0 /proc/32625/statm: 4968 4655 176 443 0 4521 0 [pid=1697] ppid=32625 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1697/stat : 1697 (cp2_post.sh) S 32625 32624 30487 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 387312863 9367552 266 33554432000 4194304 5064252 140735256289152 140735256287440 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/1697/statm: 2287 266 225 213 0 72 0 [pid=1699] ppid=1697 vsize=11296 CPUtime=0.04 cores=1,3,5,7 /proc/1699/stat : 1699 (coprocessor) R 1697 32624 30487 0 -1 4202496 2550 0 0 0 4 0 0 0 20 0 1 0 387312863 11567104 1982 33554432000 4194304 6586260 140733324226048 140735256287464 4814712 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 /proc/1699/statm: 2824 1984 148 584 0 2236 0 Current children cumulated CPU time (s) 1799.42 Current children cumulated vsize (KiB) 49464 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 32624 and gives # childrusage.ru_utime.tv_sec=1516 # childrusage.ru_utime.tv_usec=706425 # childrusage.ru_stime.tv_sec=282 # childrusage.ru_stime.tv_usec=712021 # CPU time returned by wait4() is 1799.42 # while last known CPU time is 1799.42 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.690029 # lost CPU user time (s): 0.580009 # lost CPU system time (s): 0.110004 Real time (s): 1828.02 CPU time (s): 1800.11 CPU user time (s): 1517.31 CPU system time (s): 282.8 CPU usage (%): 98.4734 Max. virtual memory (cumulated for all children) (KiB): 87456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1516.71 system time used= 282.712 maximum resident set size= 44684 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27755438 page faults= 0 swaps= 0 block input operations= 0 block output operations= 25122424 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 525857 involuntary context switches= 24444 runsolver used 5.50816 second user time and 14.3878 second system time The end
Begin job on node106 at 2012-06-09 04:46:56 IDJOB=3753107 IDBENCH=79393 IDSOLVER=2336 FILE ID=node106/3753107-1339210016 RUNJOBID= node106-1339210016-32602 PBS_JOBID= 14643856 Free space on /tmp= 71044 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh04_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753107-1339210016/watcher-3753107-1339210016 -o /tmp/evaluation-result-3753107-1339210016/solver-3753107-1339210016 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753107-1339210016.wbo 507332614 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54ef51abb9454409d6f66c5b853cdf79 RANDOM SEED=507332614 node106.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.065 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.13 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.065 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.065 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.065 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.92 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.065 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.065 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.065 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.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29638684 kB Buffers: 454272 kB Cached: 1834264 kB SwapCached: 2376 kB Active: 553952 kB Inactive: 1739508 kB Active(anon): 1992 kB Inactive(anon): 5560 kB Active(file): 551960 kB Inactive(file): 1733948 kB Unevictable: 7384 kB Mlocked: 7384 kB SwapTotal: 67108856 kB SwapFree: 67100756 kB Dirty: 17092 kB Writeback: 24 kB AnonPages: 10276 kB Mapped: 8148 kB Shmem: 0 kB Slab: 801408 kB SReclaimable: 243260 kB SUnreclaim: 558148 kB KernelStack: 1400 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104348 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71016 MiB End job on node106 at 2012-06-09 05:17:24