Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.42 | 1799.52 |
Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-0-100-0.wbo |
MD5SUM | 17c8063899ee49ebb532fe8c9b769f44 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.035994 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1804 |
Total number of constraints | 4931 |
Number of soft constraints | 4931 |
Number of constraints which are clauses | 4707 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 224 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 9 |
Top cost | 248953 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 248952 |
Biggest number in a constraint | 19 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 64 |
Number of bits of the biggest sum of numbers | 7 |
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.06 c run usual solver 0.00/0.23 o 3768 0.00/0.23 c starting approximation 0.00/0.23 c factor = 2 0.00/0.23 c factor still to low - shrinking to 111.48 0.00/0.23 c approx number of clauses: 1e+06 0.00/0.23 c current bound: 1884 1.07/1.11 c current bound: 1884 1.69/1.99 c current bound: 1884 2.57/2.85 c current bound: 1884 3.43/3.72 c current bound: 1884 4.57/4.60 c current bound: 1884 5.36/5.47 c current bound: 1884 6.05/6.35 c current bound: 1884 6.92/7.21 c current bound: 1884 8.06/8.10 c current bound: 1884 8.67/8.97 c current bound: 1884 9.75/9.87 c current bound: 1884 10.46/10.77 c current bound: 1884 11.36/11.67 c current bound: 1884 12.27/12.58 c current bound: 1884 13.17/13.47 c current bound: 1884 14.26/14.37 c current bound: 1884 14.98/15.27 c current bound: 1884 15.85/16.14 c current bound: 1884 16.72/17.02 c current bound: 1884 17.87/17.90 c current bound: 1884 18.65/18.77 c current bound: 1884 19.35/19.65 c current bound: 1884 20.21/20.53 c current bound: 1884 21.09/21.41 c current bound: 1884 21.98/22.29 c current bound: 1884 23.05/23.18 c current bound: 1884 23.75/24.05 c current bound: 1884 24.62/24.93 c current bound: 1884 25.50/25.80 c current bound: 1884 26.38/26.68 c current bound: 1884 27.46/27.57 c current bound: 1884 28.15/28.44 c current bound: 1884 29.03/29.32 c current bound: 1884 30.17/30.20 c current bound: 1884 30.76/31.07 c current bound: 1884 31.84/31.95 c current bound: 1884 32.51/32.82 c current bound: 1884 33.66/33.70 c current bound: 1884 34.28/34.58 c current bound: 1884 35.15/35.46 c current bound: 1884 36.26/36.35 c current bound: 1884 36.93/37.22 c current bound: 1884 37.80/38.10 c current bound: 1884 38.67/38.98 c current bound: 1884 39.55/39.86 c current bound: 1884 40.65/40.73 c current bound: 1884 41.30/41.61 c current bound: 1884 42.18/42.48 c current bound: 1884 43.06/43.37 c current bound: 1884 43.95/44.25 c current bound: 1884 45.05/45.14 c current bound: 1884 45.71/46.01 c current bound: 1884 46.59/46.89 c current bound: 1884 47.47/47.77 c current bound: 1884 48.35/48.64 c current bound: 1884 49.44/49.51 c current bound: 1884 50.09/50.39 c current bound: 1884 50.96/51.28 c current bound: 1884 51.85/52.16 c current bound: 1884 52.73/53.04 c current bound: 1884 53.86/53.92 c current bound: 1884 54.50/54.80 c current bound: 1884 55.37/55.68 c current bound: 1884 56.25/56.56 c current bound: 1884 57.14/57.44 c current bound: 1884 58.26/58.32 c current bound: 1884 58.91/59.20 c current bound: 1884 59.77/60.07 c current bound: 1884 60.64/60.94 c current bound: 1884 61.51/61.83 c current bound: 1884 62.56/62.70 c current bound: 1884 63.28/63.58 c current bound: 1884 64.18/64.47 c current bound: 1884 65.04/65.34 c current bound: 1884 65.91/66.22 c current bound: 1884 66.95/67.10 c current bound: 1884 67.67/67.97 c current bound: 1884 68.57/68.88 c current bound: 1884 69.49/69.78 c current bound: 1884 70.38/70.68 c current bound: 1884 71.45/71.58 c current bound: 1884 72.18/72.48 c current bound: 1884 73.06/73.37 c current bound: 1884 73.96/74.25 c current bound: 1884 74.83/75.13 c current bound: 1884 75.96/76.00 c current bound: 1884 76.60/76.88 c current bound: 1884 77.46/77.75 c current bound: 1884 78.34/78.63 c current bound: 1884 79.48/79.50 c current bound: 1884 80.27/80.38 c current bound: 1884 80.98/81.26 c current bound: 1884 81.86/82.14 c current bound: 1884 82.72/83.01 c current bound: 1884 83.60/83.89 c current bound: 1884 84.68/84.77 c current bound: 1884 85.36/85.65 c current bound: 1884 86.24/86.52 c current bound: 1884 87.13/87.40 c current bound: 1884 88.00/88.28 c current bound: 1884 89.09/89.16 c current bound: 1884 89.77/90.03 c current bound: 1884 90.64/90.91 c current bound: 1884 91.50/91.79 c current bound: 1884 92.37/92.66 c current bound: 1884 93.47/93.54 c current bound: 1884 94.15/94.42 c current bound: 1884 95.02/95.29 c current bound: 1884 95.90/96.17 c current bound: 1884 96.78/97.06 c current bound: 1884 97.89/97.97 c current bound: 1884 98.58/98.84 c current bound: 1884 99.44/99.72 c current bound: 1884 100.32/100.59 c current bound: 1884 101.20/101.47 c current bound: 1884 102.29/102.35 c current bound: 1884 102.97/103.23 c current bound: 1884 103.85/104.11 c current bound: 1884 104.72/104.99 c current bound: 1884 105.61/105.87 c current bound: 1884 106.69/106.75 c current bound: 1884 107.36/107.62 c current bound: 1884 108.23/108.49 c current bound: 1884 109.11/109.37 c current bound: 1884 109.99/110.25 c current bound: 1884 111.08/111.13 c current bound: 1884 111.75/112.01 c current bound: 1884 112.62/112.88 c current bound: 1884 113.49/113.76 c current bound: 1884 114.37/114.64 c current bound: 1884 115.48/115.52 c current bound: 1884 116.13/116.39 c current bound: 1884 117.01/117.27 c current bound: 1884 117.89/118.15 c current bound: 1884 118.77/119.03 c current bound: 1884 119.92/119.90 c current bound: 1884 120.52/120.78 c current bound: 1884 121.40/121.66 c current bound: 1884 122.27/122.53 c current bound: 1884 123.15/123.41 c current bound: 1884 124.20/124.29 c current bound: 1884 124.90/125.17 c current bound: 1884 125.78/126.04 c current bound: 1884 126.66/126.92 c current bound: 1884 127.54/127.80 c current bound: 1884 128.61/128.68 c current bound: 1884 129.30/129.57 c current bound: 1884 130.18/130.45 c current bound: 1884 131.07/131.33 c current bound: 1884 131.95/132.20 c current bound: 1884 133.00/133.08 c current bound: 1884 133.70/133.96 c current bound: 1884 134.59/134.84 c current bound: 1884 135.46/135.71 c current bound: 1884 136.34/136.58 c current bound: 1884 137.42/137.47 c current bound: 1884 138.10/138.34 c current bound: 1884 138.98/139.22 c current bound: 1884 139.85/140.10 c current bound: 1884 140.74/140.98 c current bound: 1884 141.82/141.86 c current bound: 1884 142.50/142.74 c current bound: 1884 143.38/143.61 c current bound: 1884 144.25/144.49 c current bound: 1884 145.33/145.36 c current bound: 1884 146.21/146.24 c current bound: 1884 146.89/147.11 c current bound: 1884 147.75/147.99 c current bound: 1884 148.64/148.87 c current bound: 1884 149.73/149.74 c current bound: 1884 150.62/150.61 c current bound: 1884 151.26/151.49 c current bound: 1884 152.13/152.36 c current bound: 1884 153.01/153.24 c current bound: 1884 154.14/154.11 c current bound: 1884 154.77/154.99 c current bound: 1884 155.64/155.86 c current bound: 1884 156.52/156.74 c current bound: 1884 157.40/157.62 c current bound: 1884 158.54/158.51 c current bound: 1884 159.17/159.38 c current bound: 1884 160.05/160.26 c current bound: 1884 160.93/161.14 c current bound: 1884 161.81/162.01 c current bound: 1884 162.86/162.89 c current bound: 1884 163.54/163.76 c current bound: 1884 164.43/164.64 c current bound: 1884 165.33/165.54 c current bound: 1884 166.22/166.43 c current bound: 1884 167.35/167.30 c current bound: 1884 167.96/168.17 c current bound: 1884 168.83/169.05 c current bound: 1884 169.71/169.91 c current bound: 1884 170.59/170.79 c current bound: 1884 171.76/171.70 c current bound: 1884 172.36/172.57 c current bound: 1884 173.24/173.45 c current bound: 1884 174.10/174.32 c current bound: 1884 174.99/175.19 c current bound: 1884 176.05/176.06 c current bound: 1884 176.72/176.93 c current bound: 1884 177.59/177.81 c current bound: 1884 178.47/178.69 c current bound: 1884 179.35/179.57 c current bound: 1884 180.43/180.44 c current bound: 1884 181.10/181.31 c current bound: 1884 181.96/182.18 c current bound: 1884 182.84/183.06 c current bound: 1884 183.71/183.93 c current bound: 1884 184.85/184.82 c current bound: 1884 185.48/185.69 c current bound: 1884 186.37/186.59 c current bound: 1884 187.22/187.47 c current bound: 1884 188.12/188.35 c current bound: 1884 189.23/189.22 c current bound: 1884 190.13/190.10 c current bound: 1884 190.77/190.99 c current bound: 1884 191.64/191.88 c current bound: 1884 192.53/192.76 c current bound: 1884 193.63/193.63 c current bound: 1884 194.28/194.50 c current bound: 1884 195.18/195.41 c current bound: 1884 196.05/196.28 c current bound: 1884 196.92/197.15 c current bound: 1884 198.03/198.03 c current bound: 1884 198.93/198.90 c current bound: 1884 199.53/199.77 c current bound: 1884 200.42/200.65 c current bound: 1884 201.29/201.53 c current bound: 1884 202.43/202.40 c current bound: 1884 203.03/203.28 c current bound: 1884 203.94/204.18 c current bound: 1884 204.80/205.05 c current bound: 1884 205.69/205.92 c current bound: 1884 206.73/206.79 c current bound: 1884 207.42/207.67 c current bound: 1884 208.28/208.53 c current bound: 1884 209.18/209.42 c current bound: 1884 210.05/210.29 c current bound: 1884 211.10/211.16 c current bound: 1884 211.78/212.04 c current bound: 1884 212.69/212.94 c current bound: 1884 213.58/213.82 c current bound: 1884 214.72/214.70 c current bound: 1884 215.51/215.57 c current bound: 1884 216.20/216.45 c current bound: 1884 217.10/217.34 c current bound: 1884 217.97/218.21 c current bound: 1884 218.84/219.09 c current bound: 1884 219.92/219.96 c current bound: 1884 220.58/220.83 c current bound: 1884 221.47/221.73 c current bound: 1884 222.36/222.61 c current bound: 1884 223.23/223.48 c current bound: 1884 224.31/224.36 c current bound: 1884 224.98/225.23 c current bound: 1884 225.87/226.13 c current bound: 1884 226.77/227.02 c current bound: 1884 227.65/227.89 c current bound: 1884 228.70/228.77 c current bound: 1884 229.38/229.64 c current bound: 1884 230.24/230.51 c current bound: 1884 231.13/231.38 c current bound: 1884 232.20/232.26 c current bound: 1884 233.11/233.13 c current bound: 1884 233.75/234.01 c current bound: 1884 234.92/234.90 c current bound: 1884 235.52/235.78 c current bound: 1884 236.60/236.65 c current bound: 1884 237.52/237.52 c current bound: 1884 238.43/238.40 c current bound: 1884 239.02/239.27 c current bound: 1884 239.90/240.15 c current bound: 1884 241.00/241.02 c current bound: 1884 241.65/241.89 c current bound: 1884 242.52/242.76 c current bound: 1884 243.39/243.63 c current bound: 1884 244.26/244.51 c current bound: 1884 245.30/245.39 c current bound: 1884 246.01/246.26 c current bound: 1884 246.88/247.14 c current bound: 1884 247.77/248.03 c current bound: 1884 248.65/248.92 c current bound: 1884 249.69/249.79 c current bound: 1884 250.41/250.66 c current bound: 1884 251.27/251.54 c current bound: 1884 252.17/252.43 c current bound: 1884 253.06/253.32 c current bound: 1884 254.20/254.21 c current bound: 1884 254.81/255.08 c current bound: 1884 255.68/255.95 c current bound: 1884 256.55/256.82 c current bound: 1884 257.44/257.70 c current bound: 1884 258.49/258.58 c current bound: 1884 259.19/259.45 c current bound: 1884 260.05/260.32 c current bound: 1884 260.93/261.22 c current bound: 1884 261.82/262.09 c current bound: 1884 262.88/262.97 c current bound: 1884 263.57/263.84 c current bound: 1884 264.44/264.71 c current bound: 1884 265.31/265.58 c current bound: 1884 266.19/266.46 c current bound: 1884 267.28/267.33 c current bound: 1884 268.18/268.20 c current bound: 1884 268.78/269.06 c current bound: 1884 269.67/269.95 c current bound: 1884 270.54/270.82 c current bound: 1884 271.56/271.70 c current bound: 1884 272.30/272.58 c current bound: 1884 273.17/273.45 c current bound: 1884 274.05/274.34 c current bound: 1884 274.92/275.21 c current bound: 1884 275.97/276.09 c current bound: 1884 276.67/276.96 c current bound: 1884 277.57/277.85 c current bound: 1884 278.45/278.74 c current bound: 1884 279.32/279.62 c current bound: 1884 280.36/280.49 c current bound: 1884 281.08/281.37 c current bound: 1884 281.95/282.23 c current bound: 1884 282.83/283.12 c current bound: 1884 283.71/283.99 c current bound: 1884 284.78/284.87 c current bound: 1884 285.45/285.74 c current bound: 1884 286.34/286.64 c current bound: 1884 287.23/287.52 c current bound: 1884 288.38/288.40 c current bound: 1884 289.18/289.26 c current bound: 1884 289.84/290.14 c current bound: 1884 290.74/291.03 c current bound: 1884 291.64/291.92 c current bound: 1884 292.51/292.80 c current bound: 1884 293.58/293.70 c current bound: 1884 294.30/294.57 c current bound: 1884 295.15/295.44 c current bound: 1884 296.02/296.31 c current bound: 1884 296.89/297.18 c current bound: 1884 297.97/298.06 c current bound: 1884 298.64/298.93 c current bound: 1884 299.78/299.80 c current bound: 1884 300.39/300.68 c current bound: 1884 301.46/301.55 c current bound: 1884 302.37/302.44 c current bound: 1884 303.04/303.31 c current bound: 1884 303.92/304.20 c current bound: 1884 304.79/305.07 c current bound: 1884 305.87/305.95 c current bound: 1884 306.77/306.82 c current bound: 1884 307.41/307.70 c current bound: 1884 308.29/308.57 c current bound: 1884 309.16/309.45 c current bound: 1884 310.28/310.32 c current bound: 1884 310.91/311.18 c current bound: 1884 311.77/312.05 c current bound: 1884 312.65/312.95 c current bound: 1884 313.54/313.84 c current bound: 1884 314.66/314.71 c current bound: 1884 315.29/315.58 c current bound: 1884 316.16/316.46 c current bound: 1884 317.06/317.35 c current bound: 1884 317.94/318.23 c current bound: 1884 319.06/319.10 c current bound: 1884 319.68/319.97 c current bound: 1884 320.56/320.84 c current bound: 1884 321.44/321.73 c current bound: 1884 322.30/322.60 c current bound: 1884 323.46/323.51 c current bound: 1884 324.09/324.38 c current bound: 1884 324.96/325.25 c current bound: 1884 325.82/326.12 c current bound: 1884 326.97/327.00 c current bound: 1884 327.76/327.89 c current bound: 1884 328.46/328.76 c current bound: 1884 329.33/329.64 c current bound: 1884 330.24/330.54 c current bound: 1884 331.13/331.43 c current bound: 1884 332.25/332.30 c current bound: 1884 332.88/333.18 c current bound: 1884 333.75/334.06 c current bound: 1884 334.64/334.95 c current bound: 1884 335.51/335.82 c current bound: 1884 336.66/336.70 c current bound: 1884 337.28/337.57 c current bound: 1884 338.15/338.45 c current bound: 1884 339.03/339.34 c current bound: 1884 339.90/340.21 c current bound: 1884 340.95/341.08 c current bound: 1884 341.66/341.96 c current bound: 1884 342.52/342.84 c current bound: 1884 343.42/343.72 c current bound: 1884 344.30/344.60 c current bound: 1884 345.35/345.48 c current bound: 1884 346.05/346.36 c current bound: 1884 346.93/347.23 c current bound: 1884 347.82/348.13 c current bound: 1884 348.69/349.01 c current bound: 1884 349.73/349.89 c current bound: 1884 350.44/350.76 c current bound: 1884 351.32/351.63 c current bound: 1884 352.20/352.52 c current bound: 1884 353.35/353.40 c current bound: 1884 354.14/354.27 c current bound: 1884 354.83/355.14 c current bound: 1884 355.71/356.02 c current bound: 1884 356.58/356.89 c current bound: 1884 357.44/357.77 c current bound: 1884 358.54/358.64 c current bound: 1884 359.20/359.52 c current bound: 1884 360.07/360.39 c current bound: 1884 360.94/361.28 c current bound: 1884 361.84/362.16 c current bound: 1884 362.94/363.05 c current bound: 1884 363.60/363.92 c current bound: 1884 364.74/364.80 c current bound: 1884 365.37/365.69 c current bound: 1884 366.25/366.57 c current bound: 1884 367.34/367.47 c current bound: 1884 368.01/368.34 c current bound: 1884 368.89/369.22 c current bound: 1884 369.78/370.10 c current bound: 1884 370.66/370.98 c current bound: 1884 371.72/371.86 c current bound: 1884 372.40/372.73 c current bound: 1884 373.27/373.60 c current bound: 1884 374.17/374.49 c current bound: 1884 375.03/375.36 c current bound: 1884 376.15/376.23 c current bound: 1884 376.78/377.11 c current bound: 1884 377.64/377.97 c current bound: 1884 378.51/378.84 c current bound: 1884 379.40/379.72 c current bound: 1884 380.44/380.60 c current bound: 1884 381.13/381.47 c current bound: 1884 382.03/382.36 c current bound: 1884 382.90/383.23 c current bound: 1884 383.79/384.12 c current bound: 1884 384.81/384.99 c current bound: 1884 385.52/385.86 c current bound: 1884 386.42/386.76 c current bound: 1884 387.29/387.63 c current bound: 1884 388.16/388.51 c current bound: 1884 389.21/389.38 c current bound: 1884 389.91/390.26 c current bound: 1884 390.81/391.15 c current bound: 1884 391.68/392.03 c current bound: 1884 392.56/392.90 c current bound: 1884 393.61/393.78 c current bound: 1884 394.30/394.65 c current bound: 1884 395.18/395.52 c current bound: 1884 396.06/396.40 c current bound: 1884 396.93/397.28 c current bound: 1884 398.01/398.15 c current bound: 1884 398.67/399.02 c current bound: 1884 399.55/399.89 c current bound: 1884 400.41/400.76 c current bound: 1884 401.50/401.64 c current bound: 1884 402.39/402.51 c current bound: 1884 403.02/403.39 c current bound: 1884 403.92/404.28 c current bound: 1884 404.80/405.16 c current bound: 1884 405.89/406.03 c current bound: 1884 406.81/406.91 c current bound: 1884 407.42/407.78 c current bound: 1884 408.31/408.67 c current bound: 1884 409.17/409.54 c current bound: 1884 410.28/410.41 c current bound: 1884 410.92/411.29 c current bound: 1884 411.79/412.16 c current bound: 1884 412.67/413.05 c current bound: 1884 413.56/413.93 c current bound: 1884 414.69/414.80 c current bound: 1884 415.31/415.68 c current bound: 1884 416.19/416.55 c current bound: 1884 417.07/417.44 c current bound: 1884 417.95/418.32 c current bound: 1884 418.98/419.19 c current bound: 1884 419.71/420.07 c current bound: 1884 420.56/420.94 c current bound: 1884 421.44/421.82 c current bound: 1884 422.58/422.70 c current bound: 1884 423.39/423.57 c current bound: 1884 424.07/424.44 c current bound: 1884 424.94/425.31 c current bound: 1884 425.80/426.18 c current bound: 1884 426.69/427.06 c current bound: 1884 427.79/427.94 c current bound: 1884 428.44/428.81 c current bound: 1884 429.32/429.69 c current bound: 1884 430.20/430.57 c current bound: 1884 431.08/431.45 c current bound: 1884 432.19/432.32 c current bound: 1884 432.83/433.19 c current bound: 1884 433.73/434.09 c current bound: 1884 434.61/434.98 c current bound: 1884 435.49/435.85 c current bound: 1884 436.60/436.73 c current bound: 1884 437.23/437.60 c current bound: 1884 438.10/438.48 c current bound: 1884 438.98/439.35 c current bound: 1884 439.85/440.23 c current bound: 1884 440.89/441.10 c current bound: 1884 441.59/441.97 c current bound: 1884 442.50/442.88 c current bound: 1884 443.41/443.78 c current bound: 1884 444.31/444.68 c current bound: 1884 445.40/445.57 c current bound: 1884 446.11/446.47 c current bound: 1884 446.98/447.35 c current bound: 1884 447.86/448.22 c current bound: 1884 449.01/449.10 c current bound: 1884 449.80/449.98 c current bound: 1884 450.49/450.86 c current bound: 1884 451.38/451.73 c current bound: 1884 452.26/452.62 c current bound: 1884 453.39/453.50 c current bound: 1884 454.19/454.38 c current bound: 1884 454.89/455.25 c current bound: 1884 455.77/456.12 c current bound: 1884 456.64/457.02 c current bound: 1884 457.52/457.89 c current bound: 1884 458.61/458.76 c current bound: 1884 459.28/459.64 c current bound: 1884 460.15/460.51 c current bound: 1884 461.03/461.40 c current bound: 1884 461.92/462.27 c current bound: 1884 463.01/463.15 c current bound: 1884 463.65/464.02 c current bound: 1884 464.53/464.89 c current bound: 1884 465.41/465.76 c current bound: 1884 466.27/466.63 c current bound: 1884 467.41/467.51 c current bound: 1884 468.00/468.37 c current bound: 1884 468.89/469.24 c current bound: 1884 469.76/470.11 c current bound: 1884 470.61/470.99 c current bound: 1884 471.68/471.86 c current bound: 1884 472.37/472.74 c current bound: 1884 473.27/473.64 c current bound: 1884 474.14/474.51 c current bound: 1884 475.00/475.38 c current bound: 1884 476.07/476.26 c current bound: 1884 476.77/477.13 c current bound: 1884 477.66/478.03 c current bound: 1884 478.54/478.91 c current bound: 1884 479.40/479.79 c current bound: 1884 480.48/480.66 c current bound: 1884 481.17/481.54 c current bound: 1884 482.05/482.43 c current bound: 1884 482.93/483.32 c current bound: 1884 483.81/484.19 c current bound: 1884 484.88/485.06 c current bound: 1884 485.55/485.94 c current bound: 1884 486.42/486.80 c current bound: 1884 487.28/487.68 c current bound: 1884 488.37/488.55 c current bound: 1884 489.29/489.42 c current bound: 1884 489.91/490.30 c current bound: 1884 490.78/491.16 c current bound: 1884 491.65/492.04 c current bound: 1884 492.76/492.91 c current bound: 1884 493.40/493.78 c current bound: 1884 494.27/494.66 c current bound: 1884 495.16/495.55 c current bound: 1884 496.04/496.43 c current bound: 1884 497.17/497.30 c current bound: 1884 497.78/498.18 c current bound: 1884 498.66/499.05 c current bound: 1884 499.54/499.93 c current bound: 1884 500.67/500.80 c current bound: 1884 501.47/501.67 c current bound: 1884 502.16/502.54 c current bound: 1884 503.03/503.42 c current bound: 1884 503.91/504.31 c current bound: 1884 504.79/505.19 c current bound: 1884 505.87/506.06 c current bound: 1884 506.54/506.94 c current bound: 1884 507.43/507.82 c current bound: 1884 508.29/508.69 c current bound: 1884 509.19/509.57 c current bound: 1884 510.27/510.44 c current bound: 1884 510.92/511.32 c current bound: 1884 511.80/512.19 c current bound: 1884 512.70/513.09 c current bound: 1884 513.57/513.97 c current bound: 1884 514.65/514.87 c current bound: 1884 515.36/515.77 c current bound: 1884 516.24/516.64 c current bound: 1884 517.13/517.52 c current bound: 1884 517.99/518.39 c current bound: 1884 519.05/519.26 c current bound: 1884 519.74/520.14 c current bound: 1884 520.62/521.02 c current bound: 1884 521.49/521.89 c current bound: 1884 522.38/522.78 c current bound: 1884 523.45/523.65 c current bound: 1884 524.13/524.53 c current bound: 1884 525.01/525.41 c current bound: 1884 525.88/526.29 c current bound: 1884 526.78/527.18 c current bound: 1884 527.87/528.07 c current bound: 1884 528.55/528.95 c current bound: 1884 529.44/529.83 c current bound: 1884 530.31/530.71 c current bound: 1884 531.21/531.59 c current bound: 1884 532.28/532.47 c current bound: 1884 532.98/533.35 c current bound: 1884 533.85/534.23 c current bound: 1884 534.73/535.10 c current bound: 1884 535.62/535.98 c current bound: 1884 536.68/536.87 c current bound: 1884 537.37/537.75 c current bound: 1884 538.25/538.63 c current bound: 1884 539.13/539.52 c current bound: 1884 540.02/540.40 c current bound: 1884 541.19/541.30 c current bound: 1884 541.81/542.18 c current bound: 1884 542.68/543.06 c current bound: 1884 543.56/543.93 c current bound: 1884 544.44/544.81 c current bound: 1884 545.48/545.70 c current bound: 1884 546.21/546.58 c current bound: 1884 547.09/547.46 c current bound: 1884 547.98/548.34 c current bound: 1884 548.86/549.22 c current bound: 1884 549.99/550.10 c current bound: 1884 550.62/550.98 c current bound: 1884 551.49/551.86 c current bound: 1884 552.38/552.75 c current bound: 1884 553.26/553.63 c current bound: 1884 554.38/554.50 c current bound: 1884 555.31/555.40 c current bound: 1884 555.90/556.27 c current bound: 1884 556.79/557.17 c current bound: 1884 557.67/558.05 c current bound: 1884 558.79/558.91 c current bound: 1884 559.42/559.78 c current bound: 1884 560.27/560.65 c current bound: 1884 561.16/561.55 c current bound: 1884 562.07/562.45 c current bound: 1884 563.17/563.32 c current bound: 1884 563.82/564.19 c current bound: 1884 564.68/565.06 c current bound: 1884 565.56/565.95 c current bound: 1884 566.44/566.82 c current bound: 1884 567.48/567.69 c current bound: 1884 568.18/568.57 c current bound: 1884 569.04/569.43 c current bound: 1884 569.92/570.31 c current bound: 1884 570.79/571.18 c current bound: 1884 571.87/572.05 c current bound: 1884 572.53/572.92 c current bound: 1884 573.40/573.79 c current bound: 1884 574.27/574.66 c current bound: 1884 575.13/575.55 c current bound: 1884 576.27/576.42 c current bound: 1884 577.17/577.30 c current bound: 1884 577.78/578.18 c current bound: 1884 578.67/579.06 c current bound: 1884 579.55/579.94 c current bound: 1884 580.67/580.81 c current bound: 1884 581.27/581.68 c current bound: 1884 582.15/582.55 c current bound: 1884 583.04/583.44 c current bound: 1884 583.92/584.34 c current bound: 1884 585.08/585.21 c current bound: 1884 585.67/586.07 c current bound: 1884 586.56/586.97 c current bound: 1884 587.46/587.86 c current bound: 1884 588.33/588.74 c current bound: 1884 589.46/589.61 c current bound: 1884 590.36/590.50 c current bound: 1884 590.99/591.39 c current bound: 1884 592.16/592.30 c current bound: 1884 592.76/593.17 c current bound: 1884 593.86/594.04 c current bound: 1884 594.78/595.04 c current bound: 1884 595.40/595.92 c current bound: 1884 596.55/596.80 c current bound: 1884 597.16/597.69 c current bound: 1884 598.06/598.57 c current bound: 1884 599.15/599.45 c current bound: 1884 599.82/600.33 c current bound: 1884 600.70/601.21 c current bound: 1884 601.58/602.09 c current bound: 1884 602.45/602.97 c current bound: 1884 603.54/603.85 c current bound: 1884 604.22/604.74 c current bound: 1884 605.11/605.62 c current bound: 1884 606.26/606.50 c current bound: 1884 606.87/607.38 c current bound: 1884 607.95/608.27 c current bound: 1884 608.63/609.16 c current bound: 1884 609.53/610.04 c current bound: 1884 610.40/610.92 c current bound: 1884 611.29/611.79 c current bound: 1884 612.35/612.68 c current bound: 1884 613.06/613.56 c current bound: 1884 613.95/614.45 c current bound: 1884 614.83/615.34 c current bound: 1884 615.72/616.22 c current bound: 1884 616.86/617.11 c current bound: 1884 617.50/617.99 c current bound: 1884 618.38/618.88 c current bound: 1884 619.27/619.76 c current bound: 1884 620.15/620.64 c current bound: 1884 621.26/621.54 c current bound: 1884 621.93/622.41 c current bound: 1884 622.80/623.29 c current bound: 1884 623.67/624.17 c current bound: 1884 624.55/625.05 c current bound: 1884 625.67/625.94 c current bound: 1884 626.34/626.82 c current bound: 1884 627.48/627.70 c current bound: 1884 628.10/628.58 c current bound: 1884 628.97/629.46 c current bound: 1884 630.07/630.34 c current bound: 1884 630.73/631.22 c current bound: 1884 631.61/632.10 c current bound: 1884 632.49/632.98 c current bound: 1884 633.37/633.86 c current bound: 1884 634.47/634.76 c current bound: 1884 635.15/635.64 c current bound: 1884 636.04/636.52 c current bound: 1884 637.18/637.40 c current bound: 1884 637.80/638.28 c current bound: 1884 638.87/639.17 c current bound: 1884 639.56/640.06 c current bound: 1884 640.45/640.93 c current bound: 1884 641.33/641.81 c current bound: 1884 642.49/642.70 c current bound: 1884 643.27/643.59 c current bound: 1884 643.99/644.47 c current bound: 1884 644.85/645.35 c current bound: 1884 645.75/646.23 c current bound: 1884 646.63/647.11 c current bound: 1884 647.51/648.00 c current bound: 1884 648.41/648.88 c current bound: 1884 649.29/649.76 c current bound: 1884 650.16/650.64 c current bound: 1884 651.05/651.52 c current bound: 1884 652.19/652.40 c current bound: 1884 652.79/653.27 c current bound: 1884 653.67/654.15 c current bound: 1884 654.57/655.03 c current bound: 1884 655.46/655.91 c current bound: 1884 656.59/656.81 c current bound: 1884 657.22/657.69 c current bound: 1884 658.10/658.57 c current bound: 1884 658.98/659.44 c current bound: 1884 659.88/660.33 c current bound: 1884 661.00/661.21 c current bound: 1884 661.63/662.09 c current bound: 1884 662.51/662.97 c current bound: 1884 663.38/663.85 c current bound: 1884 664.27/664.73 c current bound: 1884 665.39/665.61 c current bound: 1884 666.03/666.49 c current bound: 1884 666.92/667.37 c current bound: 1884 667.81/668.25 c current bound: 1884 668.69/669.14 c current bound: 1884 669.81/670.04 c current bound: 1884 670.71/670.92 c current bound: 1884 671.36/671.80 c current bound: 1884 672.23/672.68 c current bound: 1884 673.12/673.57 c current bound: 1884 674.20/674.48 c current bound: 1884 675.11/675.38 c current bound: 1884 675.82/676.26 c current bound: 1884 676.70/677.14 c current bound: 1884 677.57/678.02 c current bound: 1884 678.71/678.90 c current bound: 1884 679.51/679.80 c current bound: 1884 680.24/680.68 c current bound: 1884 681.12/681.56 c current bound: 1884 681.99/682.44 c current bound: 1884 682.88/683.32 c current bound: 1884 683.92/684.20 c current bound: 1884 684.64/685.08 c current bound: 1884 685.52/685.96 c current bound: 1884 686.41/686.84 c current bound: 1884 687.29/687.72 c current bound: 1884 688.43/688.60 c current bound: 1884 689.05/689.48 c current bound: 1884 689.93/690.36 c current bound: 1884 690.82/691.24 c current bound: 1884 691.70/692.12 c current bound: 1884 692.82/693.01 c current bound: 1884 693.45/693.89 c current bound: 1884 694.34/694.77 c current bound: 1884 695.23/695.65 c current bound: 1884 696.11/696.53 c current bound: 1884 697.23/697.42 c current bound: 1884 697.87/698.29 c current bound: 1884 698.75/699.17 c current bound: 1884 699.64/700.05 c current bound: 1884 700.51/700.93 c current bound: 1884 701.64/701.82 c current bound: 1884 702.55/702.70 c current bound: 1884 703.16/703.57 c current bound: 1884 704.04/704.45 c current bound: 1884 704.91/705.33 c current bound: 1884 706.04/706.22 c current bound: 1884 706.95/707.10 c current bound: 1884 707.56/707.97 c current bound: 1884 708.45/708.85 c current bound: 1884 709.32/709.73 c current bound: 1884 710.45/710.64 c current bound: 1884 711.11/711.52 c current bound: 1884 711.99/712.40 c current bound: 1884 712.87/713.27 c current bound: 1884 713.77/714.16 c current bound: 1884 714.85/715.04 c current bound: 1884 715.52/715.92 c current bound: 1884 716.40/716.81 c current bound: 1884 717.29/717.68 c current bound: 1884 718.17/718.56 c current bound: 1884 719.27/719.44 c current bound: 1884 719.93/720.32 c current bound: 1884 720.81/721.21 c current bound: 1884 721.70/722.09 c current bound: 1884 722.59/722.96 c current bound: 1884 723.67/723.85 c current bound: 1884 724.34/724.73 c current bound: 1884 725.24/725.61 c current bound: 1884 726.12/726.49 c current bound: 1884 727.00/727.37 c current bound: 1884 728.09/728.26 c current bound: 1884 728.78/729.15 c current bound: 1884 729.65/730.03 c current bound: 1884 730.53/730.91 c current bound: 1884 731.42/731.79 c current bound: 1884 732.48/732.67 c current bound: 1884 733.18/733.55 c current bound: 1884 734.06/734.43 c current bound: 1884 734.94/735.30 c current bound: 1884 735.82/736.18 c current bound: 1884 736.89/737.08 c current bound: 1884 737.59/737.96 c current bound: 1884 738.48/738.84 c current bound: 1884 739.35/739.72 c current bound: 1884 740.24/740.60 c current bound: 1884 741.29/741.49 c current bound: 1884 742.01/742.40 c current bound: 1884 742.91/743.27 c current bound: 1884 743.79/744.16 c current bound: 1884 744.67/745.04 c current bound: 1884 745.79/745.92 c current bound: 1884 746.71/746.80 c current bound: 1884 747.32/747.68 c current bound: 1884 748.21/748.56 c current bound: 1884 749.08/749.44 c current bound: 1884 750.19/750.32 c current bound: 1884 751.11/751.20 c current bound: 1884 751.73/752.09 c current bound: 1884 752.62/752.97 c current bound: 1884 753.50/753.84 c current bound: 1884 754.60/754.73 c current bound: 1884 755.48/755.61 c current bound: 1884 756.14/756.49 c current bound: 1884 757.02/757.37 c current bound: 1884 757.93/758.27 c current bound: 1884 759.02/759.15 c current bound: 1884 759.91/760.05 c current bound: 1884 760.58/760.93 c current bound: 1884 761.47/761.81 c current bound: 1884 762.35/762.69 c current bound: 1884 763.22/763.57 c current bound: 1884 764.31/764.45 c current bound: 1884 764.99/765.33 c current bound: 1884 765.87/766.21 c current bound: 1884 766.76/767.09 c current bound: 1884 767.64/767.97 c current bound: 1884 768.72/768.85 c current bound: 1884 769.40/769.75 c current bound: 1884 770.29/770.62 c current bound: 1884 771.44/771.50 c current bound: 1884 772.05/772.38 c current bound: 1884 773.13/773.26 c current bound: 1884 773.80/774.14 c current bound: 1884 774.70/775.02 c current bound: 1884 775.57/775.90 c current bound: 1884 776.45/776.78 c current bound: 1884 777.53/777.66 c current bound: 1884 778.22/778.54 c current bound: 1884 779.11/779.42 c current bound: 1884 779.99/780.31 c current bound: 1884 780.88/781.19 c current bound: 1884 781.94/782.08 c current bound: 1884 782.65/782.95 c current bound: 1884 783.52/783.83 c current bound: 1884 784.41/784.72 c current bound: 1884 785.55/785.60 c current bound: 1884 786.35/786.48 c current bound: 1884 787.05/787.36 c current bound: 1884 787.93/788.23 c current bound: 1884 788.81/789.11 c current bound: 1884 789.69/789.99 c current bound: 1884 790.75/790.88 c current bound: 1884 791.45/791.76 c current bound: 1884 792.34/792.65 c current bound: 1884 793.22/793.53 c current bound: 1884 794.11/794.41 c current bound: 1884 795.15/795.29 c current bound: 1884 795.87/796.17 c current bound: 1884 796.75/797.05 c current bound: 1884 797.62/797.93 c current bound: 1884 798.51/798.81 c current bound: 1884 799.57/799.69 c current bound: 1884 800.29/800.58 c current bound: 1884 801.16/801.45 c current bound: 1884 802.05/802.33 c current bound: 1884 802.92/803.21 c current bound: 1884 803.97/804.10 c current bound: 1884 804.95/805.04 c current bound: 1884 805.56/805.92 c current bound: 1884 806.72/806.80 c current bound: 1884 807.33/807.68 c current bound: 1884 808.42/808.56 c current bound: 1884 809.13/809.47 c current bound: 1884 810.01/810.35 c current bound: 1884 810.89/811.22 c current bound: 1884 811.76/812.11 c current bound: 1884 812.91/813.00 c current bound: 1884 813.53/813.88 c current bound: 1884 814.41/814.76 c current bound: 1884 815.30/815.64 c current bound: 1884 816.18/816.52 c current bound: 1884 817.32/817.40 c current bound: 1884 817.95/818.29 c current bound: 1884 818.81/819.17 c current bound: 1884 819.70/820.05 c current bound: 1884 820.58/820.93 c current bound: 1884 821.70/821.81 c current bound: 1884 822.34/822.69 c current bound: 1884 823.24/823.56 c current bound: 1884 824.11/824.44 c current bound: 1884 824.99/825.32 c current bound: 1884 826.12/826.20 c current bound: 1884 826.75/827.08 c current bound: 1884 827.64/827.96 c current bound: 1884 828.51/828.84 c current bound: 1884 829.39/829.72 c current bound: 1884 830.52/830.61 c current bound: 1884 831.16/831.49 c current bound: 1884 832.03/832.37 c current bound: 1884 832.90/833.24 c current bound: 1884 833.79/834.11 c current bound: 1884 834.82/834.99 c current bound: 1884 835.55/835.87 c current bound: 1884 836.43/836.76 c current bound: 1884 837.31/837.64 c current bound: 1884 838.19/838.51 c current bound: 1884 839.34/839.40 c current bound: 1884 839.95/840.27 c current bound: 1884 840.83/841.15 c current bound: 1884 841.71/842.03 c current bound: 1884 842.59/842.92 c current bound: 1884 843.75/843.80 c current bound: 1884 844.36/844.68 c current bound: 1884 845.25/845.56 c current bound: 1884 846.13/846.44 c current bound: 1884 847.01/847.32 c current bound: 1884 848.13/848.20 c current bound: 1884 848.79/849.09 c current bound: 1884 849.67/849.97 c current bound: 1884 850.56/850.85 c current bound: 1884 851.45/851.73 c current bound: 1884 852.57/852.61 c current bound: 1884 853.22/853.50 c current bound: 1884 854.10/854.37 c current bound: 1884 854.99/855.26 c current bound: 1884 855.86/856.14 c current bound: 1884 856.98/857.03 c current bound: 1884 857.89/857.91 c current bound: 1884 858.79/858.80 c current bound: 1884 859.41/859.67 c current bound: 1884 860.29/860.55 c current bound: 1884 861.38/861.44 c current bound: 1884 862.30/862.32 c current bound: 1884 863.20/863.20 c current bound: 1884 863.81/864.07 c current bound: 1884 864.68/864.96 c current bound: 1884 865.79/865.84 c current bound: 1884 866.71/866.72 c current bound: 1884 867.35/867.60 c current bound: 1884 868.22/868.48 c current bound: 1884 869.10/869.36 c current bound: 1884 870.19/870.26 c current bound: 1884 871.10/871.14 c current bound: 1884 871.77/872.02 c current bound: 1884 872.91/872.90 c current bound: 1884 873.51/873.78 c current bound: 1884 874.60/874.65 c current bound: 1884 875.50/875.53 c current bound: 1884 876.15/876.40 c current bound: 1884 877.03/877.28 c current bound: 1884 877.90/878.16 c current bound: 1884 879.00/879.05 c current bound: 1884 879.89/879.93 c current bound: 1884 880.56/880.81 c current bound: 1884 881.43/881.69 c current bound: 1884 882.31/882.57 c current bound: 1884 883.41/883.46 c current bound: 1884 884.31/884.34 c current bound: 1884 884.97/885.22 c current bound: 1884 886.10/886.10 c current bound: 1884 886.72/886.98 c current bound: 1884 887.79/887.88 c current bound: 1884 888.70/888.77 c current bound: 1884 889.39/889.65 c current bound: 1884 890.27/890.53 c current bound: 1884 891.16/891.41 c current bound: 1884 892.03/892.29 c current bound: 1884 893.11/893.18 c current bound: 1884 893.82/894.07 c current bound: 1884 894.70/894.95 c current bound: 1884 895.59/895.83 c current bound: 1884 896.48/896.71 c current bound: 1884 897.53/897.59 c current bound: 1884 898.25/898.46 c current bound: 1884 899.12/899.34 c current bound: 1884 900.00/900.22 c current bound: 1884 900.89/901.10 c current bound: 1884 901.95/901.99 c current bound: 1884 902.66/902.87 c current bound: 1884 903.54/903.75 c current bound: 1884 904.42/904.63 c current bound: 1884 905.30/905.51 c current bound: 1884 906.46/906.40 c current bound: 1884 907.08/907.28 c current bound: 1884 907.94/908.16 c current bound: 1884 908.82/909.04 c current bound: 1884 910.00/910.05 c current bound: 1884 910.83/910.93 c current bound: 1884 911.75/911.81 c current bound: 1884 912.37/912.69 c current bound: 1884 913.27/913.57 c current bound: 1884 914.14/914.45 c current bound: 1884 915.24/915.35 c current bound: 1884 916.14/916.23 c current bound: 1884 916.80/917.11 c current bound: 1884 917.68/917.99 c current bound: 1884 918.57/918.87 c current bound: 1884 919.65/919.75 c current bound: 1884 920.55/920.64 c current bound: 1884 921.21/921.51 c current bound: 1884 922.10/922.39 c current bound: 1884 922.96/923.26 c current bound: 1884 924.04/924.15 c current bound: 1884 924.95/925.03 c current bound: 1884 925.62/925.91 c current bound: 1884 926.50/926.79 c current bound: 1884 927.38/927.67 c current bound: 1884 928.46/928.55 c current bound: 1884 929.36/929.44 c current bound: 1884 930.02/930.32 c current bound: 1884 930.90/931.19 c current bound: 1884 931.77/932.07 c current bound: 1884 932.86/932.96 c current bound: 1884 933.77/933.84 c current bound: 1884 934.44/934.72 c current bound: 1884 935.30/935.61 c current bound: 1884 936.19/936.49 c current bound: 1884 937.07/937.37 c current bound: 1884 938.18/938.25 c current bound: 1884 938.85/939.13 c current bound: 1884 939.73/940.01 c current bound: 1884 940.61/940.89 c current bound: 1884 941.48/941.77 c current bound: 1884 942.57/942.66 c current bound: 1884 943.25/943.54 c current bound: 1884 944.14/944.42 c current bound: 1884 945.02/945.30 c current bound: 1884 945.91/946.18 c current bound: 1884 946.99/947.07 c current bound: 1884 947.68/947.95 c current bound: 1884 948.57/948.83 c current bound: 1884 949.45/949.72 c current bound: 1884 950.59/950.60 c current bound: 1884 951.40/951.49 c current bound: 1884 952.12/952.37 c current bound: 1884 953.00/953.25 c current bound: 1884 953.87/954.13 c current bound: 1884 954.75/955.01 c current bound: 1884 955.80/955.89 c current bound: 1884 956.51/956.77 c current bound: 1884 957.40/957.65 c current bound: 1884 958.28/958.53 c current bound: 1884 959.15/959.41 c current bound: 1884 960.20/960.30 c current bound: 1884 960.93/961.18 c current bound: 1884 961.81/962.06 c current bound: 1884 962.69/962.94 c current bound: 1884 963.58/963.83 c current bound: 1884 964.47/964.71 c current bound: 1884 965.35/965.59 c current bound: 1884 966.23/966.47 c current bound: 1884 967.10/967.35 c current bound: 1884 967.99/968.22 c current bound: 1884 969.14/969.11 c current bound: 1884 969.76/969.99 c current bound: 1884 970.64/970.86 c current bound: 1884 971.52/971.74 c current bound: 1884 972.40/972.62 c current bound: 1884 973.55/973.51 c current bound: 1884 974.17/974.39 c current bound: 1884 975.04/975.27 c current bound: 1884 975.92/976.15 c current bound: 1884 976.80/977.03 c current bound: 1884 977.94/977.94 c current bound: 1884 978.60/978.81 c current bound: 1884 979.75/979.70 c current bound: 1884 980.36/980.57 c current bound: 1884 981.24/981.45 c current bound: 1884 982.34/982.34 c current bound: 1884 983.00/983.22 c current bound: 1884 983.88/984.09 c current bound: 1884 984.75/984.97 c current bound: 1884 985.65/985.86 c current bound: 1884 986.75/986.75 c current bound: 1884 987.42/987.63 c current bound: 1884 988.31/988.51 c current bound: 1884 989.19/989.39 c current bound: 1884 990.08/990.27 c current bound: 1884 991.17/991.17 c current bound: 1884 991.85/992.05 c current bound: 1884 992.74/992.93 c current bound: 1884 993.63/993.81 c current bound: 1884 994.51/994.69 c current bound: 1884 995.58/995.58 c current bound: 1884 996.28/996.49 c current bound: 1884 997.17/997.38 c current bound: 1884 998.05/998.26 c current bound: 1884 998.94/999.15 c current bound: 1884 1000.08/1000.04 c current bound: 1884 1000.97/1000.92 c current bound: 1884 1001.60/1001.81 c current bound: 1884 1002.49/1002.69 c current bound: 1884 1003.37/1003.58 c current bound: 1884 1004.46/1004.46 c current bound: 1884 1005.37/1005.33 c current bound: 1884 1006.01/1006.22 c current bound: 1884 1006.90/1007.12 c current bound: 1884 1007.80/1008.01 c current bound: 1884 1008.69/1008.89 c current bound: 1884 1009.77/1009.78 c current bound: 1884 1010.46/1010.66 c current bound: 1884 1011.34/1011.55 c current bound: 1884 1012.24/1012.44 c current bound: 1884 1013.12/1013.32 c current bound: 1884 1014.29/1014.22 c current bound: 1884 1014.91/1015.11 c current bound: 1884 1015.81/1016.02 c current bound: 1884 1016.71/1016.91 c current bound: 1884 1017.59/1017.79 c current bound: 1884 1018.67/1018.68 c current bound: 1884 1019.37/1019.56 c current bound: 1884 1020.25/1020.45 c current bound: 1884 1021.13/1021.34 c current bound: 1884 1022.03/1022.22 c current bound: 1884 1023.07/1023.09 c current bound: 1884 1023.78/1023.98 c current bound: 1884 1024.67/1024.87 c current bound: 1884 1025.55/1025.75 c current bound: 1884 1026.44/1026.64 c current bound: 1884 1027.58/1027.52 c current bound: 1884 1028.48/1028.40 c current bound: 1884 1029.09/1029.28 c current bound: 1884 1029.95/1030.18 c current bound: 1884 1030.87/1031.07 c current bound: 1884 1031.97/1031.95 c current bound: 1884 1032.87/1032.83 c current bound: 1884 1033.51/1033.71 c current bound: 1884 1034.39/1034.59 c current bound: 1884 1035.27/1035.48 c current bound: 1884 1036.38/1036.37 c current bound: 1884 1037.28/1037.25 c current bound: 1884 1037.95/1038.15 c current bound: 1884 1038.83/1039.04 c current bound: 1884 1039.72/1039.92 c current bound: 1884 1040.61/1040.80 c current bound: 1884 1041.67/1041.69 c current bound: 1884 1042.39/1042.57 c current bound: 1884 1043.27/1043.46 c current bound: 1884 1044.15/1044.35 c current bound: 1884 1045.03/1045.23 c current bound: 1884 1046.18/1046.12 c current bound: 1884 1046.81/1047.01 c current bound: 1884 1047.71/1047.92 c current bound: 1884 1048.61/1048.80 c current bound: 1884 1049.49/1049.69 c current bound: 1884 1050.59/1050.57 c current bound: 1884 1051.27/1051.46 c current bound: 1884 1052.16/1052.34 c current bound: 1884 1053.04/1053.23 c current bound: 1884 1053.92/1054.11 c current bound: 1884 1055.09/1055.02 c current bound: 1884 1055.99/1055.91 c current bound: 1884 1056.61/1056.79 c current bound: 1884 1057.50/1057.68 c current bound: 1884 1058.38/1058.56 c current bound: 1884 1059.49/1059.46 c current bound: 1884 1060.39/1060.35 c current bound: 1884 1061.05/1061.23 c current bound: 1884 1061.93/1062.11 c current bound: 1884 1063.10/1063.00 c current bound: 1884 1063.70/1063.87 c current bound: 1884 1064.81/1064.75 c current bound: 1884 1065.47/1065.64 c current bound: 1884 1066.35/1066.52 c current bound: 1884 1067.23/1067.40 c current bound: 1884 1068.11/1068.28 c current bound: 1884 1069.20/1069.17 c current bound: 1884 1069.87/1070.05 c current bound: 1884 1070.76/1070.94 c current bound: 1884 1071.65/1071.82 c current bound: 1884 1072.53/1072.71 c current bound: 1884 1073.61/1073.59 c current bound: 1884 1074.31/1074.48 c current bound: 1884 1075.18/1075.36 c current bound: 1884 1076.06/1076.25 c current bound: 1884 1076.97/1077.15 c current bound: 1884 1078.09/1078.03 c current bound: 1884 1078.74/1078.92 c current bound: 1884 1079.63/1079.80 c current bound: 1884 1080.50/1080.69 c current bound: 1884 1081.39/1081.58 c current bound: 1884 1082.50/1082.46 c current bound: 1884 1083.17/1083.35 c current bound: 1884 1084.07/1084.23 c current bound: 1884 1084.94/1085.12 c current bound: 1884 1086.10/1086.00 c current bound: 1884 1086.91/1086.88 c current bound: 1884 1087.60/1087.77 c current bound: 1884 1088.48/1088.66 c current bound: 1884 1089.37/1089.54 c current bound: 1884 1090.25/1090.41 c current bound: 1884 1091.40/1091.30 c current bound: 1884 1092.01/1092.16 c current bound: 1884 1092.87/1093.05 c current bound: 1884 1093.76/1093.94 c current bound: 1884 1094.66/1094.81 c current bound: 1884 1095.71/1095.69 c current bound: 1884 1096.41/1096.57 c current bound: 1884 1097.29/1097.46 c current bound: 1884 1098.17/1098.35 c current bound: 1884 1099.06/1099.22 c current bound: 1884 1100.19/1100.10 c current bound: 1884 1100.82/1100.99 c current bound: 1884 1101.70/1101.87 c current bound: 1884 1102.59/1102.76 c current bound: 1884 1103.47/1103.63 c current bound: 1884 1104.60/1104.51 c current bound: 1884 1105.23/1105.40 c current bound: 1884 1106.12/1106.27 c current bound: 1884 1107.00/1107.16 c current bound: 1884 1107.87/1108.04 c current bound: 1884 1109.01/1108.92 c current bound: 1884 1109.92/1109.81 c current bound: 1884 1110.82/1110.70 c current bound: 1884 1111.42/1111.58 c current bound: 1884 1112.31/1112.48 c current bound: 1884 1113.41/1113.36 c current bound: 1884 1114.32/1114.25 c current bound: 1884 1114.99/1115.13 c current bound: 1884 1115.86/1116.01 c current bound: 1884 1117.03/1116.90 c current bound: 1884 1117.64/1117.77 c current bound: 1884 1118.74/1118.66 c current bound: 1884 1119.40/1119.54 c current bound: 1884 1120.29/1120.43 c current bound: 1884 1121.18/1121.31 c current bound: 1884 1122.35/1122.20 c current bound: 1884 1123.25/1123.10 c current bound: 1884 1123.86/1123.99 c current bound: 1884 1124.75/1124.88 c current bound: 1884 1125.63/1125.77 c current bound: 1884 1126.52/1126.64 c current bound: 1884 1127.64/1127.52 c current bound: 1884 1128.27/1128.39 c current bound: 1884 1129.15/1129.28 c current bound: 1884 1130.04/1130.17 c current bound: 1884 1130.92/1131.05 c current bound: 1884 1132.05/1131.92 c current bound: 1884 1132.68/1132.82 c current bound: 1884 1133.58/1133.70 c current bound: 1884 1134.46/1134.59 c current bound: 1884 1135.36/1135.47 c current bound: 1884 1136.46/1136.36 c current bound: 1884 1137.12/1137.24 c current bound: 1884 1138.01/1138.14 c current bound: 1884 1138.90/1139.02 c current bound: 1884 1139.78/1139.91 c current bound: 1884 1140.87/1140.79 c current bound: 1884 1141.56/1141.67 c current bound: 1884 1142.43/1142.56 c current bound: 1884 1143.32/1143.44 c current bound: 1884 1144.21/1144.33 c current bound: 1884 1145.34/1145.21 c current bound: 1884 1145.97/1146.10 c current bound: 1884 1146.86/1146.98 c current bound: 1884 1147.73/1147.87 c current bound: 1884 1148.62/1148.75 c current bound: 1884 1149.74/1149.64 c current bound: 1884 1150.65/1150.53 c current bound: 1884 1151.28/1151.41 c current bound: 1884 1152.16/1152.29 c current bound: 1884 1153.05/1153.18 c current bound: 1884 1154.13/1154.07 c current bound: 1884 1155.11/1155.06 c current bound: 1884 1155.72/1155.95 c current bound: 1884 1156.61/1156.84 c current bound: 1884 1157.50/1157.73 c current bound: 1884 1158.39/1158.61 c current bound: 1884 1159.56/1159.50 c current bound: 1884 1160.16/1160.38 c current bound: 1884 1161.06/1161.27 c current bound: 1884 1161.94/1162.15 c current bound: 1884 1162.83/1163.04 c current bound: 1884 1163.94/1163.92 c current bound: 1884 1164.85/1164.82 c current bound: 1884 1165.50/1165.70 c current bound: 1884 1166.38/1166.59 c current bound: 1884 1167.28/1167.48 c current bound: 1884 1168.37/1168.35 c current bound: 1884 1169.27/1169.24 c current bound: 1884 1169.92/1170.11 c current bound: 1884 1170.81/1171.00 c current bound: 1884 1171.69/1171.87 c current bound: 1884 1172.77/1172.75 c current bound: 1884 1173.68/1173.63 c current bound: 1884 1174.34/1174.52 c current bound: 1884 1175.20/1175.40 c current bound: 1884 1176.10/1176.29 c current bound: 1884 1177.18/1177.18 c current bound: 1884 1178.09/1178.07 c current bound: 1884 1178.77/1178.95 c current bound: 1884 1179.65/1179.84 c current bound: 1884 1180.54/1180.72 c current bound: 1884 1181.43/1181.61 c current bound: 1884 1182.49/1182.49 c current bound: 1884 1183.20/1183.38 c current bound: 1884 1184.08/1184.27 c current bound: 1884 1184.97/1185.15 c current bound: 1884 1185.86/1186.04 c current bound: 1884 1187.00/1186.94 c current bound: 1884 1187.65/1187.82 c current bound: 1884 1188.54/1188.70 c current bound: 1884 1189.41/1189.59 c current bound: 1884 1190.31/1190.48 c current bound: 1884 1191.40/1191.37 c current bound: 1884 1192.08/1192.25 c current bound: 1884 1192.98/1193.14 c current bound: 1884 1193.85/1194.03 c current bound: 1884 1194.74/1194.89 c current bound: 1884 1195.81/1195.78 c current bound: 1884 1196.50/1196.67 c current bound: 1884 1197.38/1197.55 c current bound: 1884 1198.27/1198.45 c current bound: 1884 1199.17/1199.34 c current bound: 1884 1200.30/1200.23 c current bound: 1884 1201.21/1201.11 c current bound: 1884 1201.83/1202.00 c current bound: 1884 1202.73/1202.89 c current bound: 1884 1203.61/1203.78 c current bound: 1884 1204.71/1204.66 c current bound: 1884 1205.62/1205.55 c current bound: 1884 1206.27/1206.43 c current bound: 1884 1207.16/1207.32 c current bound: 1884 1208.04/1208.20 c current bound: 1884 1208.93/1209.09 c current bound: 1884 1210.01/1209.96 c current bound: 1884 1210.68/1210.86 c current bound: 1884 1211.57/1211.74 c current bound: 1884 1212.47/1212.61 c current bound: 1884 1213.62/1213.50 c current bound: 1884 1214.42/1214.38 c current bound: 1884 1215.11/1215.27 c current bound: 1884 1216.00/1216.15 c current bound: 1884 1216.89/1217.04 c current bound: 1884 1217.77/1217.93 c current bound: 1884 1218.93/1218.81 c current bound: 1884 1219.54/1219.69 c current bound: 1884 1220.43/1220.59 c current bound: 1884 1221.33/1221.49 c current bound: 1884 1222.22/1222.37 c current bound: 1884 1223.33/1223.27 c current bound: 1884 1224.00/1224.14 c current bound: 1884 1224.88/1225.07 c current bound: 1884 1225.76/1225.96 c current bound: 1884 1226.66/1226.84 c current bound: 1884 1227.77/1227.73 c current bound: 1884 1228.68/1228.61 c current bound: 1884 1229.59/1229.50 c current bound: 1884 1230.20/1230.38 c current bound: 1884 1231.09/1231.27 c current bound: 1884 1232.19/1232.16 c current bound: 1884 1233.09/1233.04 c current bound: 1884 1233.74/1233.93 c current bound: 1884 1234.63/1234.81 c current bound: 1884 1235.80/1235.70 c current bound: 1884 1236.59/1236.57 c current bound: 1884 1237.49/1237.45 c current bound: 1884 1238.15/1238.34 c current bound: 1884 1239.04/1239.23 c current bound: 1884 1239.92/1240.11 c current bound: 1884 1241.10/1241.00 c current bound: 1884 1241.89/1241.89 c current bound: 1884 1242.58/1242.78 c current bound: 1884 1243.48/1243.67 c current bound: 1884 1244.37/1244.55 c current bound: 1884 1245.25/1245.44 c current bound: 1884 1246.41/1246.33 c current bound: 1884 1247.03/1247.21 c current bound: 1884 1247.91/1248.10 c current bound: 1884 1248.80/1248.99 c current bound: 1884 1249.70/1249.86 c current bound: 1884 1250.81/1250.74 c current bound: 1884 1251.46/1251.63 c current bound: 1884 1252.60/1252.50 c current bound: 1884 1253.21/1253.38 c current bound: 1884 1254.09/1254.27 c current bound: 1884 1255.20/1255.16 c current bound: 1884 1255.86/1256.06 c current bound: 1884 1256.77/1256.94 c current bound: 1884 1257.66/1257.83 c current bound: 1884 1258.56/1258.72 c current bound: 1884 1259.61/1259.59 c current bound: 1884 1260.33/1260.49 c current bound: 1884 1261.22/1261.38 c current bound: 1884 1262.10/1262.25 c current bound: 1884 1262.99/1263.14 c current bound: 1884 1264.11/1264.02 c current bound: 1884 1264.75/1264.89 c current bound: 1884 1265.63/1265.78 c current bound: 1884 1266.52/1266.65 c current bound: 1884 1267.38/1267.54 c current bound: 1884 1268.52/1268.42 c current bound: 1884 1269.44/1269.30 c current bound: 1884 1270.32/1270.20 c current bound: 1884 1270.93/1271.08 c current bound: 1884 1271.82/1271.97 c current bound: 1884 1272.91/1272.86 c current bound: 1884 1273.84/1273.77 c current bound: 1884 1274.50/1274.65 c current bound: 1884 1275.39/1275.54 c current bound: 1884 1276.27/1276.42 c current bound: 1884 1277.16/1277.30 c current bound: 1884 1278.24/1278.19 c current bound: 1884 1278.93/1279.07 c current bound: 1884 1279.83/1279.96 c current bound: 1884 1280.71/1280.84 c current bound: 1884 1281.59/1281.73 c current bound: 1884 1282.75/1282.61 c current bound: 1884 1283.37/1283.48 c current bound: 1884 1284.24/1284.37 c current bound: 1884 1285.13/1285.26 c current bound: 1884 1286.01/1286.14 c current bound: 1884 1287.13/1287.03 c current bound: 1884 1287.78/1287.91 c current bound: 1884 1288.95/1288.80 c current bound: 1884 1289.56/1289.68 c current bound: 1884 1290.44/1290.57 c current bound: 1884 1291.53/1291.46 c current bound: 1884 1292.21/1292.34 c current bound: 1884 1293.09/1293.23 c current bound: 1884 1293.98/1294.10 c current bound: 1884 1295.15/1295.06 c current bound: 1884 1295.97/1295.94 c current bound: 1884 1296.88/1296.83 c current bound: 1884 1297.54/1297.72 c current bound: 1884 1298.41/1298.60 c current bound: 1884 1299.30/1299.49 c current bound: 1884 1300.20/1300.37 c current bound: 1884 1301.28/1301.26 c current bound: 1884 1301.96/1302.15 c current bound: 1884 1302.85/1303.03 c current bound: 1884 1303.74/1303.92 c current bound: 1884 1304.62/1304.81 c current bound: 1884 1305.68/1305.69 c current bound: 1884 1306.39/1306.59 c current bound: 1884 1307.30/1307.48 c current bound: 1884 1308.19/1308.35 c current bound: 1884 1309.06/1309.22 c current bound: 1884 1310.10/1310.10 c current bound: 1884 1310.83/1310.99 c current bound: 1884 1311.70/1311.88 c current bound: 1884 1312.59/1312.76 c current bound: 1884 1313.47/1313.66 c current bound: 1884 1314.61/1314.53 c current bound: 1884 1315.25/1315.41 c current bound: 1884 1316.14/1316.30 c current bound: 1884 1317.03/1317.19 c current bound: 1884 1317.91/1318.07 c current bound: 1884 1319.01/1318.97 c current bound: 1884 1319.70/1319.86 c current bound: 1884 1320.59/1320.75 c current bound: 1884 1321.47/1321.63 c current bound: 1884 1322.37/1322.51 c current bound: 1884 1323.44/1323.40 c current bound: 1884 1324.14/1324.28 c current bound: 1884 1325.02/1325.17 c current bound: 1884 1325.92/1326.05 c current bound: 1884 1326.80/1326.94 c current bound: 1884 1327.93/1327.82 c current bound: 1884 1328.84/1328.72 c current bound: 1884 1329.48/1329.60 c current bound: 1884 1330.36/1330.49 c current bound: 1884 1331.24/1331.38 c current bound: 1884 1332.33/1332.27 c current bound: 1884 1333.23/1333.16 c current bound: 1884 1333.90/1334.04 c current bound: 1884 1334.79/1334.91 c current bound: 1884 1335.65/1335.80 c current bound: 1884 1336.73/1336.68 c current bound: 1884 1337.65/1337.55 c current bound: 1884 1338.30/1338.44 c current bound: 1884 1339.18/1339.32 c current bound: 1884 1340.06/1340.21 c current bound: 1884 1341.26/1341.10 c current bound: 1884 1342.04/1341.98 c current bound: 1884 1342.73/1342.87 c current bound: 1884 1343.61/1343.73 c current bound: 1884 1344.49/1344.63 c current bound: 1884 1345.38/1345.49 c current bound: 1884 1346.44/1346.38 c current bound: 1884 1347.14/1347.26 c current bound: 1884 1348.02/1348.15 c current bound: 1884 1348.91/1349.03 c current bound: 1884 1349.80/1349.92 c current bound: 1884 1350.97/1350.81 c current bound: 1884 1351.57/1351.70 c current bound: 1884 1352.47/1352.59 c current bound: 1884 1353.35/1353.48 c current bound: 1884 1354.24/1354.36 c current bound: 1884 1355.37/1355.23 c current bound: 1884 1356.00/1356.11 c current bound: 1884 1356.90/1357.00 c current bound: 1884 1357.78/1357.87 c current bound: 1884 1358.64/1358.75 c current bound: 1884 1359.76/1359.64 c current bound: 1884 1360.40/1360.52 c current bound: 1884 1361.30/1361.41 c current bound: 1884 1362.17/1362.29 c current bound: 1884 1363.06/1363.18 c current bound: 1884 1364.15/1364.07 c current bound: 1884 1364.84/1364.95 c current bound: 1884 1365.73/1365.82 c current bound: 1884 1366.59/1366.69 c current bound: 1884 1367.46/1367.57 c current bound: 1884 1368.58/1368.45 c current bound: 1884 1369.24/1369.31 c current bound: 1884 1370.39/1370.20 c current bound: 1884 1370.98/1371.08 c current bound: 1884 1371.87/1371.97 c current bound: 1884 1372.98/1372.86 c current bound: 1884 1373.65/1373.74 c current bound: 1884 1374.54/1374.63 c current bound: 1884 1375.42/1375.51 c current bound: 1884 1376.30/1376.38 c current bound: 1884 1377.39/1377.27 c current bound: 1884 1378.07/1378.15 c current bound: 1884 1378.95/1379.06 c current bound: 1884 1379.86/1379.94 c current bound: 1884 1380.74/1380.83 c current bound: 1884 1381.88/1381.71 c current bound: 1884 1382.51/1382.60 c current bound: 1884 1383.39/1383.48 c current bound: 1884 1384.28/1384.35 c current bound: 1884 1385.16/1385.24 c current bound: 1884 1386.29/1386.11 c current bound: 1884 1387.19/1387.00 c current bound: 1884 1387.80/1387.89 c current bound: 1884 1388.69/1388.78 c current bound: 1884 1389.59/1389.66 c current bound: 1884 1390.67/1390.55 c current bound: 1884 1391.58/1391.44 c current bound: 1884 1392.25/1392.31 c current bound: 1884 1393.11/1393.17 c current bound: 1884 1393.98/1394.06 c current bound: 1884 1395.10/1394.94 c current bound: 1884 1396.00/1395.83 c current bound: 1884 1396.64/1396.70 c current bound: 1884 1397.51/1397.58 c current bound: 1884 1398.40/1398.47 c current bound: 1884 1399.51/1399.36 c current bound: 1884 1400.42/1400.24 c current bound: 1884 1401.06/1401.12 c current bound: 1884 1401.95/1402.01 c current bound: 1884 1402.83/1402.89 c current bound: 1884 1403.92/1403.78 c current bound: 1884 1404.81/1404.66 c current bound: 1884 1405.48/1405.55 c current bound: 1884 1406.37/1406.43 c current bound: 1884 1407.27/1407.32 c current bound: 1884 1408.15/1408.20 c current bound: 1884 1409.22/1409.09 c current bound: 1884 1409.92/1409.97 c current bound: 1884 1410.80/1410.86 c current bound: 1884 1411.69/1411.75 c current bound: 1884 1412.58/1412.63 c current bound: 1884 1413.72/1413.52 c current bound: 1884 1414.36/1414.41 c current bound: 1884 1415.26/1415.33 c current bound: 1884 1416.16/1416.22 c current bound: 1884 1417.32/1417.10 c current bound: 1884 1418.12/1417.98 c current bound: 1884 1418.82/1418.87 c current bound: 1884 1419.70/1419.76 c current bound: 1884 1420.59/1420.65 c current bound: 1884 1421.47/1421.54 c current bound: 1884 1422.60/1422.42 c current bound: 1884 1423.54/1423.31 c current bound: 1884 1424.14/1424.19 c current bound: 1884 1425.02/1425.08 c current bound: 1884 1425.90/1425.96 c current bound: 1884 1427.01/1426.83 c current bound: 1884 1427.92/1427.73 c current bound: 1884 1428.57/1428.62 c current bound: 1884 1429.45/1429.49 c current bound: 1884 1430.32/1430.37 c current bound: 1884 1431.44/1431.25 c current bound: 1884 1432.32/1432.14 c current bound: 1884 1432.96/1433.02 c current bound: 1884 1433.85/1433.90 c current bound: 1884 1434.75/1434.79 c current bound: 1884 1435.82/1435.65 c current bound: 1884 1436.74/1436.54 c current bound: 1884 1437.38/1437.42 c current bound: 1884 1438.26/1438.30 c current bound: 1884 1439.16/1439.19 c current bound: 1884 1440.24/1440.07 c current bound: 1884 1441.15/1440.94 c current bound: 1884 1441.80/1441.83 c current bound: 1884 1442.67/1442.72 c current bound: 1884 1443.86/1443.60 c current bound: 1884 1444.46/1444.47 c current bound: 1884 1445.55/1445.35 c current bound: 1884 1446.21/1446.23 c current bound: 1884 1447.37/1447.10 c current bound: 1884 1447.96/1447.98 c current bound: 1884 1449.05/1448.85 c current bound: 1884 1449.96/1449.74 c current bound: 1884 1450.62/1450.63 c current bound: 1884 1451.51/1451.51 c current bound: 1884 1452.41/1452.42 c current bound: 1884 1453.29/1453.31 c current bound: 1884 1454.37/1454.19 c current bound: 1884 1455.07/1455.07 c current bound: 1884 1455.95/1455.95 c current bound: 1884 1456.83/1456.84 c current bound: 1884 1457.73/1457.72 c current bound: 1884 1458.88/1458.61 c current bound: 1884 1459.50/1459.49 c current bound: 1884 1460.37/1460.38 c current bound: 1884 1461.27/1461.26 c current bound: 1884 1462.16/1462.13 c current bound: 1884 1463.30/1463.01 c current bound: 1884 1464.19/1463.90 c current bound: 1884 1464.80/1464.77 c current bound: 1884 1465.68/1465.65 c current bound: 1884 1466.56/1466.52 c current bound: 1884 1467.72/1467.41 c current bound: 1884 1468.31/1468.29 c current bound: 1884 1469.19/1469.17 c current bound: 1884 1470.09/1470.06 c current bound: 1884 1470.98/1470.94 c current bound: 1884 1472.12/1471.83 c current bound: 1884 1472.76/1472.72 c current bound: 1884 1473.65/1473.61 c current bound: 1884 1474.53/1474.48 c current bound: 1884 1475.41/1475.36 c current bound: 1884 1476.52/1476.24 c current bound: 1884 1477.16/1477.12 c current bound: 1884 1478.05/1478.02 c current bound: 1884 1478.95/1478.90 c current bound: 1884 1479.83/1479.79 c current bound: 1884 1480.94/1480.67 c current bound: 1884 1481.61/1481.56 c current bound: 1884 1482.49/1482.44 c current bound: 1884 1483.38/1483.31 c current bound: 1884 1484.25/1484.19 c current bound: 1884 1485.34/1485.08 c current bound: 1884 1486.01/1485.97 c current bound: 1884 1486.91/1486.85 c current bound: 1884 1487.80/1487.74 c current bound: 1884 1488.69/1488.60 c current bound: 1884 1489.74/1489.47 c current bound: 1884 1490.43/1490.37 c current bound: 1884 1491.32/1491.25 c current bound: 1884 1492.19/1492.13 c current bound: 1884 1493.35/1493.00 c current bound: 1884 1494.14/1493.88 c current bound: 1884 1494.85/1494.77 c current bound: 1884 1495.73/1495.65 c current bound: 1884 1496.62/1496.54 c current bound: 1884 1497.51/1497.42 c current bound: 1884 1498.66/1498.31 c current bound: 1884 1499.28/1499.19 c current bound: 1884 1500.16/1500.06 c current bound: 1884 1501.04/1500.94 c current bound: 1884 1501.92/1501.82 c current bound: 1884 1502.96/1502.69 c current bound: 1884 1503.67/1503.56 c current bound: 1884 1504.54/1504.45 c current bound: 1884 1505.42/1505.33 c current bound: 1884 1506.31/1506.21 c current bound: 1884 1507.47/1507.11 c current bound: 1884 1508.09/1507.98 c current bound: 1884 1508.96/1508.87 c current bound: 1884 1509.85/1509.75 c current bound: 1884 1510.74/1510.64 c current bound: 1884 1511.86/1511.52 c current bound: 1884 1512.79/1512.41 c current bound: 1884 1513.68/1513.30 c current bound: 1884 1514.27/1514.18 c current bound: 1884 1515.17/1515.05 c current bound: 1884 1516.28/1515.93 c current bound: 1884 1517.19/1516.82 c current bound: 1884 1518.10/1517.70 c current bound: 1884 1518.69/1518.59 c current bound: 1884 1519.58/1519.47 c current bound: 1884 1520.68/1520.37 c current bound: 1884 1521.59/1521.28 c current bound: 1884 1522.28/1522.17 c current bound: 1884 1523.17/1523.06 c current bound: 1884 1524.05/1523.92 c current bound: 1884 1524.93/1524.81 c current bound: 1884 1525.99/1525.70 c current bound: 1884 1526.70/1526.58 c current bound: 1884 1527.60/1527.48 c current bound: 1884 1528.48/1528.38 c current bound: 1884 1529.39/1529.27 c current bound: 1884 1530.51/1530.15 c current bound: 1884 1531.16/1531.04 c current bound: 1884 1532.06/1531.93 c current bound: 1884 1532.94/1532.82 c current bound: 1884 1533.83/1533.69 c current bound: 1884 1534.91/1534.57 c current bound: 1884 1535.59/1535.45 c current bound: 1884 1536.47/1536.34 c current bound: 1884 1537.36/1537.22 c current bound: 1884 1538.23/1538.11 c current bound: 1884 1539.30/1538.99 c current bound: 1884 1540.01/1539.88 c current bound: 1884 1540.89/1540.76 c current bound: 1884 1541.77/1541.65 c current bound: 1884 1542.67/1542.54 c current bound: 1884 1543.80/1543.42 c current bound: 1884 1544.70/1544.31 c current bound: 1884 1545.61/1545.20 c current bound: 1884 1546.21/1546.08 c current bound: 1884 1547.10/1546.97 c current bound: 1884 1548.21/1547.85 c current bound: 1884 1549.12/1548.74 c current bound: 1884 1549.75/1549.62 c current bound: 1884 1550.63/1550.51 c current bound: 1884 1551.82/1551.40 c current bound: 1884 1552.60/1552.27 c current bound: 1884 1553.51/1553.16 c current bound: 1884 1554.18/1554.04 c current bound: 1884 1555.06/1554.93 c current bound: 1884 1555.94/1555.81 c current bound: 1884 1557.13/1556.70 c current bound: 1884 1557.93/1557.58 c current bound: 1884 1558.61/1558.47 c current bound: 1884 1559.49/1559.35 c current bound: 1884 1560.38/1560.24 c current bound: 1884 1561.25/1561.12 c current bound: 1884 1562.32/1561.99 c current bound: 1884 1563.02/1562.88 c current bound: 1884 1563.90/1563.77 c current bound: 1884 1564.79/1564.63 c current bound: 1884 1565.67/1565.52 c current bound: 1884 1566.83/1566.41 c current bound: 1884 1567.44/1567.29 c current bound: 1884 1568.31/1568.18 c current bound: 1884 1569.21/1569.06 c current bound: 1884 1570.10/1569.95 c current bound: 1884 1571.23/1570.84 c current bound: 1884 1571.86/1571.72 c current bound: 1884 1572.75/1572.61 c current bound: 1884 1573.93/1573.50 c current bound: 1884 1574.53/1574.38 c current bound: 1884 1575.64/1575.27 c current bound: 1884 1576.31/1576.16 c current bound: 1884 1577.20/1577.05 c current bound: 1884 1578.09/1577.93 c current bound: 1884 1578.97/1578.80 c current bound: 1884 1580.03/1579.69 c current bound: 1884 1580.74/1580.58 c current bound: 1884 1581.62/1581.46 c current bound: 1884 1582.51/1582.35 c current bound: 1884 1583.40/1583.24 c current bound: 1884 1584.53/1584.13 c current bound: 1884 1585.44/1585.02 c current bound: 1884 1586.35/1585.90 c current bound: 1884 1586.94/1586.79 c current bound: 1884 1587.84/1587.65 c current bound: 1884 1588.94/1588.54 c current bound: 1884 1589.84/1589.43 c current bound: 1884 1590.49/1590.31 c current bound: 1884 1591.67/1591.20 c current bound: 1884 1592.26/1592.08 c current bound: 1884 1593.35/1592.97 c current bound: 1884 1594.26/1593.85 c current bound: 1884 1594.92/1594.72 c current bound: 1884 1595.79/1595.60 c current bound: 1884 1596.67/1596.49 c current bound: 1884 1597.75/1597.35 c current bound: 1884 1598.66/1598.24 c current bound: 1884 1599.31/1599.11 c current bound: 1884 1600.19/1600.02 c current bound: 1884 1601.08/1600.90 c current bound: 1884 1602.26/1601.80 c current bound: 1884 1603.05/1602.67 c current bound: 1884 1603.74/1603.54 c current bound: 1884 1604.64/1604.43 c current bound: 1884 1605.50/1605.32 c current bound: 1884 1606.39/1606.18 c current bound: 1884 1607.48/1607.05 c current bound: 1884 1608.15/1607.92 c current bound: 1884 1609.02/1608.80 c current bound: 1884 1609.90/1609.69 c current bound: 1884 1610.99/1610.58 c current bound: 1884 1611.89/1611.46 c current bound: 1884 1612.56/1612.35 c current bound: 1884 1613.44/1613.24 c current bound: 1884 1614.34/1614.12 c current bound: 1884 1615.22/1614.99 c current bound: 1884 1616.28/1615.87 c current bound: 1884 1616.97/1616.77 c current bound: 1884 1617.86/1617.64 c current bound: 1884 1618.74/1618.52 c current bound: 1884 1619.63/1619.41 c current bound: 1884 1620.69/1620.29 c current bound: 1884 1621.40/1621.18 c current bound: 1884 1622.29/1622.07 c current bound: 1884 1623.18/1622.93 c current bound: 1884 1624.04/1623.82 c current bound: 1884 1625.10/1624.70 c current bound: 1884 1625.81/1625.59 c current bound: 1884 1626.71/1626.48 c current bound: 1884 1627.59/1627.36 c current bound: 1884 1628.48/1628.25 c current bound: 1884 1629.60/1629.13 c current bound: 1884 1630.24/1630.02 c current bound: 1884 1631.12/1630.90 c current bound: 1884 1632.00/1631.79 c current bound: 1884 1632.88/1632.67 c current bound: 1884 1634.00/1633.58 c current bound: 1884 1634.69/1634.46 c current bound: 1884 1635.56/1635.34 c current bound: 1884 1636.46/1636.23 c current bound: 1884 1637.34/1637.13 c current bound: 1884 1638.50/1638.01 c current bound: 1884 1639.11/1638.90 c current bound: 1884 1640.01/1639.79 c current bound: 1884 1640.89/1640.67 c current bound: 1884 1641.77/1641.56 c current bound: 1884 1642.88/1642.45 c current bound: 1884 1643.80/1643.33 c current bound: 1884 1644.44/1644.21 c current bound: 1884 1645.33/1645.09 c current bound: 1884 1646.21/1645.96 c current bound: 1884 1647.31/1646.85 c current bound: 1884 1648.21/1647.73 c current bound: 1884 1648.84/1648.61 c current bound: 1884 1649.73/1649.48 c current bound: 1884 1650.60/1650.37 c current bound: 1884 1651.70/1651.25 c current bound: 1884 1652.61/1652.14 c current bound: 1884 1653.25/1653.02 c current bound: 1884 1654.14/1653.91 c current bound: 1884 1655.03/1654.79 c current bound: 1884 1656.11/1655.66 c current bound: 1884 1657.02/1656.54 c current bound: 1884 1657.67/1657.43 c current bound: 1884 1658.83/1658.30 c current bound: 1884 1659.43/1659.18 c current bound: 1884 1660.50/1660.07 c current bound: 1884 1661.43/1660.95 c current bound: 1884 1662.09/1661.82 c current bound: 1884 1662.97/1662.72 c current bound: 1884 1664.14/1663.60 c current bound: 1884 1664.93/1664.46 c current bound: 1884 1665.82/1665.35 c current bound: 1884 1666.49/1666.23 c current bound: 1884 1667.38/1667.11 c current bound: 1884 1668.25/1668.00 c current bound: 1884 1669.16/1668.87 c current bound: 1884 1670.23/1669.76 c current bound: 1884 1670.91/1670.63 c current bound: 1884 1672.06/1671.50 c current bound: 1884 1672.66/1672.39 c current bound: 1884 1673.74/1673.28 c current bound: 1884 1674.65/1674.16 c current bound: 1884 1675.32/1675.04 c current bound: 1884 1676.21/1675.94 c current bound: 1884 1677.12/1676.81 c current bound: 1884 1677.99/1677.70 c current bound: 1884 1679.07/1678.57 c current bound: 1884 1679.73/1679.46 c current bound: 1884 1680.63/1680.35 c current bound: 1884 1681.52/1681.21 c current bound: 1884 1682.38/1682.09 c current bound: 1884 1683.47/1682.98 c current bound: 1884 1684.14/1683.86 c current bound: 1884 1685.04/1684.75 c current bound: 1884 1685.93/1685.64 c current bound: 1884 1686.82/1686.51 c current bound: 1884 1687.86/1687.39 c current bound: 1884 1688.56/1688.28 c current bound: 1884 1689.45/1689.15 c current bound: 1884 1690.33/1690.03 c current bound: 1884 1691.20/1690.90 c current bound: 1884 1692.26/1691.79 c current bound: 1884 1692.96/1692.67 c current bound: 1884 1693.85/1693.56 c current bound: 1884 1694.73/1694.44 c current bound: 1884 1695.61/1695.33 c current bound: 1884 1696.68/1696.20 c current bound: 1884 1697.37/1697.08 c current bound: 1884 1698.25/1697.97 c current bound: 1884 1699.15/1698.85 c current bound: 1884 1700.03/1699.74 c current bound: 1884 1701.18/1700.61 c current bound: 1884 1701.79/1701.49 c current bound: 1884 1702.67/1702.38 c current bound: 1884 1703.55/1703.26 c current bound: 1884 1704.45/1704.13 c current bound: 1884 1705.58/1705.02 c current bound: 1884 1706.20/1705.89 c current bound: 1884 1707.07/1706.78 c current bound: 1884 1707.96/1707.66 c current bound: 1884 1708.85/1708.55 c current bound: 1884 1709.98/1709.43 c current bound: 1884 1710.61/1710.32 c current bound: 1884 1711.48/1711.21 c current bound: 1884 1712.39/1712.09 c current bound: 1884 1713.27/1712.99 c current bound: 1884 1714.36/1713.88 c current bound: 1884 1715.35/1714.83 c current bound: 1884 1715.94/1715.71 c current bound: 1884 1717.12/1716.60 c current bound: 1884 1717.72/1717.49 c current bound: 1884 1718.80/1718.38 c current bound: 1884 1719.71/1719.27 c current bound: 1884 1720.39/1720.15 c current bound: 1884 1721.26/1721.04 c current bound: 1884 1722.17/1721.95 c current bound: 1884 1723.07/1722.83 c current bound: 1884 1724.20/1723.72 c current bound: 1884 1725.12/1724.60 c current bound: 1884 1725.72/1725.48 c current bound: 1884 1726.60/1726.38 c current bound: 1884 1727.50/1727.27 c current bound: 1884 1728.61/1728.15 c current bound: 1884 1729.29/1729.05 c current bound: 1884 1730.18/1729.95 c current bound: 1884 1731.07/1730.84 c current bound: 1884 1731.97/1731.71 c current bound: 1884 1733.10/1732.61 c current bound: 1884 1734.01/1733.51 c current bound: 1884 1734.91/1734.40 c current bound: 1884 1735.52/1735.27 c current bound: 1884 1736.40/1736.16 c current bound: 1884 1737.51/1737.05 c current bound: 1884 1738.41/1737.95 c current bound: 1884 1739.08/1738.84 c current bound: 1884 1739.97/1739.73 c current bound: 1884 1740.85/1740.62 c current bound: 1884 1741.75/1741.52 c current bound: 1884 1742.91/1742.41 c current bound: 1884 1743.55/1743.30 c current bound: 1884 1744.43/1744.17 c current bound: 1884 1745.30/1745.07 c current bound: 1884 1746.21/1745.96 c current bound: 1884 1747.32/1746.85 c current bound: 1884 1747.97/1747.74 c current bound: 1884 1748.86/1748.63 c current bound: 1884 1749.78/1749.53 c current bound: 1884 1750.95/1750.63 c current bound: 1884 1751.56/1751.53 c current bound: 1884 1752.70/1752.42 c current bound: 1884 1753.61/1753.44 c current bound: 1884 1754.24/1754.32 c current bound: 1884 1755.38/1755.20 c current bound: 1884 1756.00/1756.09 c current bound: 1884 1756.88/1756.98 c current bound: 1884 1757.97/1757.88 c current bound: 1884 1758.67/1758.77 c current bound: 1884 1759.57/1759.66 c current bound: 1884 1760.46/1760.53 c current bound: 1884 1761.33/1761.42 c current bound: 1884 1762.48/1762.32 c current bound: 1884 1763.38/1763.21 c current bound: 1884 1764.01/1764.11 c current bound: 1884 1765.18/1765.00 c current bound: 1884 1765.79/1765.90 c current bound: 1884 1766.70/1766.79 c current bound: 1884 1767.78/1767.68 c current bound: 1884 1768.48/1768.58 c current bound: 1884 1769.37/1769.47 c current bound: 1884 1770.27/1770.37 c current bound: 1884 1771.16/1771.26 c current bound: 1884 1772.28/1772.15 c current bound: 1884 1772.96/1773.03 c current bound: 1884 1774.09/1773.90 c current bound: 1884 1774.71/1774.79 c current bound: 1884 1775.60/1775.69 c current bound: 1884 1776.69/1776.58 c current bound: 1884 1777.37/1777.47 c current bound: 1884 1778.27/1778.36 c current bound: 1884 1779.16/1779.26 c current bound: 1884 1780.05/1780.15 c current bound: 1884 1781.17/1781.04 c current bound: 1884 1782.07/1781.93 c current bound: 1884 1782.73/1782.83 c current bound: 1884 1783.63/1783.70 c current bound: 1884 1784.79/1784.60 c current bound: 1884 1785.40/1785.49 c current bound: 1884 1786.48/1786.39 c current bound: 1884 1787.18/1787.28 c current bound: 1884 1788.09/1788.16 c current bound: 1884 1788.96/1789.03 c current bound: 1884 1789.83/1789.93 c current bound: 1884 1791.00/1790.82 c current bound: 1884 1791.61/1791.70 c current bound: 1884 1792.53/1792.62 c current bound: 1884 1793.43/1793.51 c current bound: 1884 1794.59/1794.40 c current bound: 1884 1795.39/1795.27 c current bound: 1884 1796.09/1796.16 c current bound: 1884 1796.97/1797.05 c current bound: 1884 1797.84/1797.94 c current bound: 1884 1798.74/1798.81 c current bound: 1884 1799.70/1799.52 HOME/npSolver-wbo-Itdqb.sh: line 18: 7872 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-3752617-1339209893/watcher-3752617-1339209893 -o /tmp/evaluation-result-3752617-1339209893/solver-3752617-1339209893 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752617-1339209893.wbo 1854487426 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.95 1.99 1.96 3/179 7871 /proc/meminfo: memFree=29547012/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [startup+0.078563 s] /proc/loadavg: 1.95 1.99 1.96 3/179 7871 /proc/meminfo: memFree=29547012/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100169 s] /proc/loadavg: 1.95 1.99 1.96 3/179 7871 /proc/meminfo: memFree=29547012/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300252 s] /proc/loadavg: 1.95 1.99 1.96 3/179 7871 /proc/meminfo: memFree=29547012/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700112 s] /proc/loadavg: 1.95 1.99 1.96 3/179 7871 /proc/meminfo: memFree=29547012/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.5002 s] /proc/loadavg: 1.95 1.99 1.96 3/183 7888 /proc/meminfo: memFree=29511072/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=1.18 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 4937 23397 0 0 21 5 77 15 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 32304 [startup+3.1002 s] /proc/loadavg: 1.95 1.99 1.96 3/183 7899 /proc/meminfo: memFree=29508732/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=2.92 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 6935 55680 0 0 38 6 207 41 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 2.92 Current children cumulated vsize (KiB) 32304 [startup+6.30028 s] /proc/loadavg: 1.96 1.99 1.96 3/183 7923 /proc/meminfo: memFree=29510292/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=6.05 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 9941 113484 0 0 63 9 448 85 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 6.05 Current children cumulated vsize (KiB) 32304 [startup+12.7002 s] /proc/loadavg: 1.96 1.99 1.96 3/183 7976 /proc/meminfo: memFree=29475028/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=12.64 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 17924 227136 0 0 129 16 923 196 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 32304 [startup+25.5004 s] /proc/loadavg: 1.97 1.99 1.96 3/182 8081 /proc/meminfo: memFree=29473148/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=24.99 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 31910 450001 0 0 253 29 1826 391 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 [pid=8080] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8080/stat : 8080 (satsolver.sh) S 7872 7871 30805 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387120374 9367552 266 33554432000 4194304 5064252 140737273262048 140737273260960 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/8080/statm: 2287 266 226 213 0 72 0 [pid=8081] ppid=8080 vsize=50456 CPUtime=0.46 cores=0,2,4,6 /proc/8081/stat : 8081 (glucose) R 8080 7871 30805 0 -1 4202496 11235 0 0 0 44 2 0 0 20 0 1 0 387120374 51666944 11310 33554432000 4194304 5208918 140736208806912 140736208806312 4607488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/8081/statm: 12614 11310 105 248 0 12363 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 91908 [startup+51.1003 s] /proc/loadavg: 1.98 1.99 1.96 3/183 8285 /proc/meminfo: memFree=29514808/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=50.96 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 60890 922399 0 0 511 56 3722 807 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 50.96 Current children cumulated vsize (KiB) 32304 [startup+102.307 s] /proc/loadavg: 1.93 1.97 1.96 3/183 8694 /proc/meminfo: memFree=29505660/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=102.09 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 118832 1838743 0 0 1020 109 7445 1635 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 [pid=8692] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8692/stat : 8692 (cp2_post.sh) S 7872 7871 30805 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 387128080 9367552 265 33554432000 4194304 5064252 140734373416352 140734373414640 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8692/statm: 2287 265 225 213 0 72 0 [pid=8694] ppid=8692 vsize=10352 CPUtime=0.2 cores=0,2,4,6 /proc/8694/stat : 8694 (coprocessor) R 8692 7871 30805 0 -1 4202496 2122 0 0 0 12 8 0 0 20 0 1 0 387128080 10600448 1780 33554432000 4194304 6586260 140733694386640 140733694383208 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0 /proc/8694/statm: 2588 1780 148 584 0 2000 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 51804 [startup+162.3 s] /proc/loadavg: 1.97 1.97 1.96 3/183 9167 /proc/meminfo: memFree=29455792/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=162.18 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 187754 2920182 0 0 1636 174 11793 2615 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 32304 [startup+222.3 s] /proc/loadavg: 1.99 1.97 1.96 3/183 9650 /proc/meminfo: memFree=29442104/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=221.83 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 222471 3991950 0 0 2196 229 16193 3565 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 [pid=9649] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9649/stat : 9649 (satsolver.sh) S 7872 7871 30805 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387140053 9367552 267 33554432000 4194304 5064252 140733779244544 140733779243456 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9649/statm: 2287 267 226 213 0 72 0 [pid=9650] ppid=9649 vsize=50460 CPUtime=0.47 cores=0,2,4,6 /proc/9650/stat : 9650 (glucose) R 9649 7871 30805 0 -1 4202496 10854 0 0 0 45 2 0 0 20 0 1 0 387140053 51671040 11551 33554432000 4194304 5208918 140736289444352 140736289442760 4607488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/9650/statm: 12615 11551 105 248 0 12364 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 91912 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.96 3/183 10126 /proc/meminfo: memFree=29462516/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=282.28 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) R 7871 7871 30805 0 -1 4202496 256141 5077151 0 0 2762 285 20650 4531 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983121424 4537534 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 282.28 ################ # More data... # ################ /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 909575 26198227 0 0 14183 1410 106949 23887 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 [pid=19545] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19545/stat : 19545 (satsolver.sh) S 7872 7871 30805 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387264270 9367552 267 33554432000 4194304 5064252 140734625884416 140734625883328 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/19545/statm: 2287 267 226 213 0 72 0 [pid=19546] ppid=19545 vsize=48928 CPUtime=0.4 cores=0,2,4,6 /proc/19546/stat : 19546 (glucose) R 19545 7871 30805 0 -1 4202496 10865 0 0 0 38 2 0 0 20 0 1 0 387264270 50102272 10940 33554432000 4194304 5208918 140735071046336 140734625883352 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/19546/statm: 12232 10940 95 248 0 11981 0 Current children cumulated CPU time (s) 1464.69 Current children cumulated vsize (KiB) 90380 [startup+1464.5 s] /proc/loadavg: 1.93 2.00 1.99 3/183 19546 /proc/meminfo: memFree=29496212/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=1464.29 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) R 7871 7871 30805 0 -1 4202496 909575 26198227 0 0 14183 1410 106949 23887 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 0 0 0 17 2 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 1464.29 Current children cumulated vsize (KiB) 32304 # ############ [startup+1482.3 s] /proc/loadavg: 1.87 1.98 1.99 3/181 19684 /proc/meminfo: memFree=29502356/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=1482.49 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 919344 26524489 0 0 14348 1426 108288 24187 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 1482.49 Current children cumulated vsize (KiB) 32304 [startup+1542.3 s] /proc/loadavg: 1.95 1.98 1.99 3/184 20165 /proc/meminfo: memFree=29442536/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=1542.67 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 952528 27594810 0 0 14912 1482 112689 25184 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 1542.67 Current children cumulated vsize (KiB) 32304 [startup+1602.3 s] /proc/loadavg: 1.98 1.98 1.99 3/183 20635 /proc/meminfo: memFree=29436020/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=1602.35 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 985703 28656700 0 0 15473 1538 117039 26185 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 32304 [startup+1662.3 s] /proc/loadavg: 2.05 2.00 1.99 3/183 21118 /proc/meminfo: memFree=29441804/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=1662.46 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 1018887 29734287 0 0 16033 1594 121421 27198 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 [pid=21117] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/21117/stat : 21117 (satsolver.sh) S 7872 7871 30805 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387284063 9367552 266 33554432000 4194304 5064252 140735058746160 140735058745072 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/21117/statm: 2287 266 226 213 0 72 0 [pid=21118] ppid=21117 vsize=48928 CPUtime=0.38 cores=0,2,4,6 /proc/21118/stat : 21118 (glucose) R 21117 7871 30805 0 -1 4202496 10811 0 0 0 35 3 0 0 20 0 1 0 387284063 50102272 10940 33554432000 4194304 5208918 140737458727696 140737457677192 4211632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/21118/statm: 12232 10940 95 248 0 11981 0 Current children cumulated CPU time (s) 1662.84 Current children cumulated vsize (KiB) 90380 [startup+1722.3 s] /proc/loadavg: 1.94 1.98 1.99 3/181 21644 /proc/meminfo: memFree=28391780/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=1722.56 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 1052071 30807358 0 0 16594 1650 125819 28193 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 1722.56 Current children cumulated vsize (KiB) 32304 [startup+1782.3 s] /proc/loadavg: 2.03 2.01 1.99 3/183 22118 /proc/meminfo: memFree=27296840/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=1782.22 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 1084767 31866366 0 0 17147 1704 130207 29164 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 Current children cumulated CPU time (s) 1782.22 Current children cumulated vsize (KiB) 32304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.5 s] /proc/loadavg: 2.02 2.01 1.99 3/183 22258 /proc/meminfo: memFree=27297176/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=1799.61 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 1094048 32179892 0 0 17305 1719 131491 29446 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 [pid=22256] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22256/stat : 22256 (cp2_post.sh) S 7872 7871 30805 0 -1 4202496 613 225 0 0 0 0 0 0 20 0 1 0 387297812 9367552 266 33554432000 4194304 5064252 140736647817072 140736647815360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22256/statm: 2287 266 225 213 0 72 0 [pid=22258] ppid=22256 vsize=10352 CPUtime=0.09 cores=0,2,4,6 /proc/22258/stat : 22258 (coprocessor) R 22256 7871 30805 0 -1 4202496 2123 0 0 0 7 2 0 0 20 0 1 0 387297812 10600448 1780 33554432000 4194304 6586260 140733492499696 140736647815384 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 /proc/22258/statm: 2588 1780 148 584 0 2000 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (KiB) 51804 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1799.5 s] /proc/loadavg: 2.02 2.01 1.99 3/183 22258 /proc/meminfo: memFree=27297176/32873844 swapFree=7372/7372 [pid=7871] ppid=7869 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7871/stat : 7871 (npSolver-wbo-It) S 7869 7871 30805 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387117871 9367552 274 33554432000 4194304 5064252 140736902442672 140736902441584 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7871/statm: 2287 274 233 213 0 72 0 [pid=7872] ppid=7871 vsize=23156 CPUtime=1799.61 cores=0,2,4,6 /proc/7872/stat : 7872 (npSolver-wbo) S 7871 7871 30805 0 -1 4202496 1094048 32179892 0 0 17305 1719 131491 29446 20 0 1 0 387117871 23711744 5306 33554432000 4194304 6006132 140735983129488 140735983120336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/7872/statm: 5789 5306 176 443 0 5342 0 [pid=22256] ppid=7872 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22256/stat : 22256 (cp2_post.sh) S 7872 7871 30805 0 -1 4202496 613 225 0 0 0 0 0 0 20 0 1 0 387297812 9367552 266 33554432000 4194304 5064252 140736647817072 140736647815360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22256/statm: 2287 266 225 213 0 72 0 [pid=22258] ppid=22256 vsize=10352 CPUtime=0.09 cores=0,2,4,6 /proc/22258/stat : 22258 (coprocessor) R 22256 7871 30805 0 -1 4202496 2123 0 0 0 7 2 0 0 20 0 1 0 387297812 10600448 1780 33554432000 4194304 6586260 140733492499696 140736647815384 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 /proc/22258/statm: 2588 1780 148 584 0 2000 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (KiB) 51804 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7871 and gives # childrusage.ru_utime.tv_sec=1487 # childrusage.ru_utime.tv_usec=972793 # childrusage.ru_stime.tv_sec=311 # childrusage.ru_stime.tv_usec=664619 # CPU time returned by wait4() is 1799.64 # while last known CPU time is 1799.7 # # 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.720032 # lost CPU user time (s): 0.580017 # lost CPU system time (s): 0.139999 Real time (s): 1799.52 CPU time (s): 1800.42 CPU user time (s): 1488.61 CPU system time (s): 311.81 CPU usage (%): 100.05 Max. virtual memory (cumulated for all children) (KiB): 91916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1487.97 system time used= 311.665 maximum resident set size= 47504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33275429 page faults= 0 swaps= 0 block input operations= 0 block output operations= 30211192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 603396 involuntary context switches= 26723 runsolver used 3.3035 second user time and 7.8858 second system time The end
Begin job on node109 at 2012-06-09 04:44:53 IDJOB=3752617 IDBENCH=79335 IDSOLVER=2336 FILE ID=node109/3752617-1339209893 RUNJOBID= node109-1339204401-30821 PBS_JOBID= 14643852 Free space on /tmp= 70684 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl--soft-0-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752617-1339209893/watcher-3752617-1339209893 -o /tmp/evaluation-result-3752617-1339209893/solver-3752617-1339209893 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752617-1339209893.wbo 1854487426 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 17c8063899ee49ebb532fe8c9b769f44 RANDOM SEED=1854487426 node109.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.264 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.52 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.264 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.264 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.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 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.264 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.264 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.264 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29547540 kB Buffers: 1530712 kB Cached: 753416 kB SwapCached: 1336 kB Active: 2317672 kB Inactive: 41424 kB Active(anon): 69032 kB Inactive(anon): 6232 kB Active(file): 2248640 kB Inactive(file): 35192 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67102640 kB Dirty: 8260 kB Writeback: 0 kB AnonPages: 78976 kB Mapped: 10024 kB Shmem: 4 kB Slab: 827196 kB SReclaimable: 268668 kB SUnreclaim: 558528 kB KernelStack: 1496 kB PageTables: 4440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 197772 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 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= 70168 MiB End job on node109 at 2012-06-09 05:14:52