Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.32 | 1800.62 |
Name | /PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02ac_wcsp.wbo |
MD5SUM | 4b904f6ad53040fc0308c95ff970bc82 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2401 |
Best CPU time to get the best result obtained on this benchmark | 1.40379 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 423 |
Total number of constraints | 8096 |
Number of soft constraints | 7980 |
Number of constraints which are clauses | 7980 |
Number of constraints which are cardinality constraints (but not clauses) | 116 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 19 |
Top cost | 100447 |
Min constraint cost | 1 |
Max constraint cost | 100447 |
Sum of constraints costs | 787703441 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 20 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.07 c run usual solver 0.00/0.30 o 401794 0.00/0.30 c starting approximation 0.00/0.30 c factor = 2 0.00/0.30 c factor still to low - shrinking to 19237.9 0.00/0.30 c approx number of clauses: 1e+06 0.00/0.30 c current bound: 200897 1.05/1.13 c current bound: 200897 1.65/1.95 c current bound: 200897 2.48/2.78 c current bound: 200897 3.31/3.62 c current bound: 200897 4.36/4.44 c current bound: 200897 4.98/5.27 c current bound: 200897 5.82/6.12 c current bound: 200897 6.65/6.96 c current bound: 200897 7.64/7.79 c current bound: 200897 8.31/8.62 c current bound: 200897 9.16/9.48 c current bound: 200897 10.01/10.32 c current bound: 200897 11.04/11.15 c current bound: 200897 11.68/11.98 c current bound: 200897 12.51/12.80 c current bound: 200897 13.35/13.64 c current bound: 200897 14.17/14.49 c current bound: 200897 15.25/15.31 c current bound: 200897 15.85/16.14 c current bound: 200897 16.68/16.99 c current bound: 200897 17.52/17.82 c current bound: 200897 18.56/18.64 c current bound: 200897 19.17/19.47 c current bound: 200897 19.99/20.31 c current bound: 200897 20.83/21.13 c current bound: 200897 21.84/21.96 c current bound: 200897 22.48/22.78 c current bound: 200897 23.33/23.63 c current bound: 200897 24.16/24.47 c current bound: 200897 25.16/25.29 c current bound: 200897 25.82/26.12 c current bound: 200897 26.65/26.94 c current bound: 200897 27.47/27.77 c current bound: 200897 28.45/28.59 c current bound: 200897 29.11/29.42 c current bound: 200897 29.98/30.28 c current bound: 200897 30.83/31.12 c current bound: 200897 31.87/31.95 c current bound: 200897 32.49/32.79 c current bound: 200897 33.36/33.65 c current bound: 200897 34.21/34.51 c current bound: 200897 35.27/35.34 c current bound: 200897 35.88/36.17 c current bound: 200897 36.71/37.00 c current bound: 200897 37.56/37.86 c current bound: 200897 38.40/38.69 c current bound: 200897 39.46/39.52 c current bound: 200897 40.07/40.37 c current bound: 200897 40.93/41.23 c current bound: 200897 41.77/42.07 c current bound: 200897 42.76/42.90 c current bound: 200897 43.43/43.73 c current bound: 200897 44.26/44.56 c current bound: 200897 45.10/45.40 c current bound: 200897 46.16/46.23 c current bound: 200897 46.77/47.07 c current bound: 200897 47.61/47.92 c current bound: 200897 48.47/48.76 c current bound: 200897 49.46/49.59 c current bound: 200897 50.13/50.43 c current bound: 200897 50.95/51.26 c current bound: 200897 51.80/52.10 c current bound: 200897 52.86/52.93 c current bound: 200897 53.46/53.76 c current bound: 200897 54.28/54.59 c current bound: 200897 55.13/55.42 c current bound: 200897 56.15/56.25 c current bound: 200897 56.76/57.08 c current bound: 200897 57.60/57.91 c current bound: 200897 58.45/58.76 c current bound: 200897 59.55/59.60 c current bound: 200897 60.35/60.43 c current bound: 200897 60.94/61.26 c current bound: 200897 62.04/62.10 c current bound: 200897 62.61/62.94 c current bound: 200897 63.63/63.77 c current bound: 200897 64.55/64.60 c current bound: 200897 65.10/65.44 c current bound: 200897 65.95/66.28 c current bound: 200897 67.05/67.11 c current bound: 200897 67.63/67.96 c current bound: 200897 68.50/68.82 c current bound: 200897 69.34/69.66 c current bound: 200897 70.43/70.50 c current bound: 200897 71.00/71.33 c current bound: 200897 71.82/72.16 c current bound: 200897 72.67/73.01 c current bound: 200897 73.72/73.84 c current bound: 200897 74.34/74.67 c current bound: 200897 75.17/75.50 c current bound: 200897 76.02/76.35 c current bound: 200897 76.86/77.19 c current bound: 200897 77.93/78.02 c current bound: 200897 78.52/78.86 c current bound: 200897 79.37/79.71 c current bound: 200897 80.20/80.54 c current bound: 200897 81.23/81.38 c current bound: 200897 81.86/82.21 c current bound: 200897 82.69/83.04 c current bound: 200897 83.54/83.88 c current bound: 200897 84.62/84.71 c current bound: 200897 85.21/85.55 c current bound: 200897 86.06/86.40 c current bound: 200897 86.89/87.25 c current bound: 200897 87.91/88.08 c current bound: 200897 88.56/88.92 c current bound: 200897 89.40/89.75 c current bound: 200897 90.52/90.60 c current bound: 200897 91.30/91.43 c current bound: 200897 91.91/92.26 c current bound: 200897 92.74/93.09 c current bound: 200897 93.56/93.93 c current bound: 200897 94.59/94.76 c current bound: 200897 95.24/95.59 c current bound: 200897 96.07/96.42 c current bound: 200897 96.89/97.25 c current bound: 200897 97.74/98.08 c current bound: 200897 98.79/98.92 c current bound: 200897 99.38/99.75 c current bound: 200897 100.22/100.58 c current bound: 200897 101.05/101.42 c current bound: 200897 102.10/102.25 c current bound: 200897 102.73/103.08 c current bound: 200897 103.57/103.93 c current bound: 200897 104.41/104.77 c current bound: 200897 105.48/105.61 c current bound: 200897 106.07/106.44 c current bound: 200897 107.20/107.30 c current bound: 200897 107.78/108.14 c current bound: 200897 108.79/108.97 c current bound: 200897 109.42/109.80 c current bound: 200897 110.26/110.63 c current bound: 200897 111.10/111.48 c current bound: 200897 112.16/112.31 c current bound: 200897 112.77/113.14 c current bound: 200897 113.61/113.97 c current bound: 200897 114.45/114.82 c current bound: 200897 115.47/115.65 c current bound: 200897 116.10/116.49 c current bound: 200897 116.95/117.32 c current bound: 200897 117.80/118.17 c current bound: 200897 118.62/119.01 c current bound: 200897 119.68/119.84 c current bound: 200897 120.29/120.67 c current bound: 200897 121.15/121.52 c current bound: 200897 121.98/122.36 c current bound: 200897 122.98/123.20 c current bound: 200897 123.66/124.03 c current bound: 200897 124.49/124.86 c current bound: 200897 125.59/125.70 c current bound: 200897 126.37/126.53 c current bound: 200897 126.99/127.36 c current bound: 200897 127.84/128.22 c current bound: 200897 128.67/129.06 c current bound: 200897 129.67/129.89 c current bound: 200897 130.33/130.72 c current bound: 200897 131.16/131.55 c current bound: 200897 132.28/132.40 c current bound: 200897 133.06/133.23 c current bound: 200897 133.69/134.06 c current bound: 200897 134.78/134.90 c current bound: 200897 135.33/135.73 c current bound: 200897 136.35/136.56 c current bound: 200897 137.00/137.39 c current bound: 200897 137.84/138.22 c current bound: 200897 138.69/139.07 c current bound: 200897 139.52/139.91 c current bound: 200897 140.57/140.74 c current bound: 200897 141.18/141.57 c current bound: 200897 142.02/142.40 c current bound: 200897 142.84/143.24 c current bound: 200897 143.87/144.07 c current bound: 200897 144.77/144.90 c current bound: 200897 145.36/145.76 c current bound: 200897 146.47/146.60 c current bound: 200897 147.27/147.43 c current bound: 200897 147.86/148.26 c current bound: 200897 148.73/149.12 c current bound: 200897 149.58/149.96 c current bound: 200897 150.67/150.80 c current bound: 200897 151.24/151.63 c current bound: 200897 152.06/152.46 c current bound: 200897 153.17/153.30 c current bound: 200897 153.95/154.13 c current bound: 200897 154.57/154.96 c current bound: 200897 155.40/155.79 c current bound: 200897 156.24/156.64 c current bound: 200897 157.08/157.48 c current bound: 200897 158.16/158.31 c current bound: 200897 158.75/159.14 c current bound: 200897 159.87/160.00 c current bound: 200897 160.43/160.84 c current bound: 200897 161.45/161.67 c current bound: 200897 162.35/162.50 c current bound: 200897 162.94/163.35 c current bound: 200897 163.77/164.18 c current bound: 200897 164.84/165.01 c current bound: 200897 165.43/165.85 c current bound: 200897 166.25/166.68 c current bound: 200897 167.09/167.52 c current bound: 200897 168.15/168.35 c current bound: 200897 168.76/169.18 c current bound: 200897 169.61/170.03 c current bound: 200897 170.45/170.88 c current bound: 200897 171.52/171.71 c current bound: 200897 172.12/172.54 c current bound: 200897 172.96/173.37 c current bound: 200897 173.82/174.24 c current bound: 200897 174.67/175.08 c current bound: 200897 175.73/175.91 c current bound: 200897 176.33/176.75 c current bound: 200897 177.45/177.60 c current bound: 200897 178.02/178.43 c current bound: 200897 179.04/179.26 c current bound: 200897 179.68/180.09 c current bound: 200897 180.54/180.95 c current bound: 200897 181.38/181.78 c current bound: 200897 182.45/182.62 c current bound: 200897 183.04/183.45 c current bound: 200897 183.87/184.28 c current bound: 200897 184.71/185.13 c current bound: 200897 185.74/185.96 c current bound: 200897 186.38/186.79 c current bound: 200897 187.24/187.65 c current bound: 200897 188.07/188.49 c current bound: 200897 189.13/189.32 c current bound: 200897 189.74/190.15 c current bound: 200897 190.58/190.98 c current bound: 200897 191.41/191.81 c current bound: 200897 192.43/192.65 c current bound: 200897 193.06/193.48 c current bound: 200897 193.90/194.31 c current bound: 200897 194.75/195.14 c current bound: 200897 195.57/195.98 c current bound: 200897 196.65/196.81 c current bound: 200897 197.24/197.64 c current bound: 200897 198.07/198.48 c current bound: 200897 198.91/199.32 c current bound: 200897 199.95/200.15 c current bound: 200897 200.58/200.99 c current bound: 200897 201.42/201.84 c current bound: 200897 202.28/202.69 c current bound: 200897 203.35/203.52 c current bound: 200897 203.95/204.35 c current bound: 200897 204.80/205.21 c current bound: 200897 205.63/206.06 c current bound: 200897 206.64/206.89 c current bound: 200897 207.31/207.72 c current bound: 200897 208.14/208.56 c current bound: 200897 208.98/209.39 c current bound: 200897 210.03/210.23 c current bound: 200897 210.65/211.06 c current bound: 200897 211.47/211.89 c current bound: 200897 212.31/212.74 c current bound: 200897 213.16/213.58 c current bound: 200897 214.25/214.41 c current bound: 200897 214.82/215.24 c current bound: 200897 215.68/216.09 c current bound: 200897 216.52/216.93 c current bound: 200897 217.53/217.76 c current bound: 200897 218.44/218.60 c current bound: 200897 219.00/219.43 c current bound: 200897 219.84/220.26 c current bound: 200897 220.82/221.10 c current bound: 200897 221.50/221.93 c current bound: 200897 222.36/222.78 c current bound: 200897 223.20/223.63 c current bound: 200897 224.23/224.46 c current bound: 200897 224.87/225.29 c current bound: 200897 225.73/226.16 c current bound: 200897 226.57/227.02 c current bound: 200897 227.62/227.85 c current bound: 200897 228.26/228.69 c current bound: 200897 229.10/229.52 c current bound: 200897 229.94/230.35 c current bound: 200897 230.76/231.19 c current bound: 200897 231.83/232.02 c current bound: 200897 232.43/232.86 c current bound: 200897 233.27/233.70 c current bound: 200897 234.11/234.55 c current bound: 200897 235.13/235.38 c current bound: 200897 235.76/236.21 c current bound: 200897 236.61/237.04 c current bound: 200897 237.44/237.89 c current bound: 200897 238.52/238.72 c current bound: 200897 239.12/239.56 c current bound: 200897 239.95/240.39 c current bound: 200897 240.79/241.23 c current bound: 200897 241.81/242.06 c current bound: 200897 242.71/242.90 c current bound: 200897 243.31/243.76 c current bound: 200897 244.16/244.62 c current bound: 200897 245.20/245.48 c current bound: 200897 246.08/246.32 c current bound: 200897 246.66/247.15 c current bound: 200897 247.50/247.99 c current bound: 200897 248.35/248.83 c current bound: 200897 249.37/249.67 c current bound: 200897 250.02/250.50 c current bound: 200897 250.85/251.34 c current bound: 200897 251.70/252.18 c current bound: 200897 252.76/253.01 c current bound: 200897 253.35/253.84 c current bound: 200897 254.19/254.68 c current bound: 200897 255.03/255.53 c current bound: 200897 256.06/256.36 c current bound: 200897 256.70/257.19 c current bound: 200897 257.55/258.06 c current bound: 200897 258.40/258.90 c current bound: 200897 259.45/259.74 c current bound: 200897 260.06/260.57 c current bound: 200897 261.17/261.40 c current bound: 200897 261.74/262.23 c current bound: 200897 262.57/263.06 c current bound: 200897 263.40/263.90 c current bound: 200897 264.22/264.73 c current bound: 200897 265.08/265.58 c current bound: 200897 265.92/266.41 c current bound: 200897 266.96/267.25 c current bound: 200897 267.58/268.08 c current bound: 200897 268.43/268.92 c current bound: 200897 269.26/269.76 c current bound: 200897 270.25/270.60 c current bound: 200897 270.93/271.43 c current bound: 200897 271.76/272.27 c current bound: 200897 272.59/273.11 c current bound: 200897 273.65/273.95 c current bound: 200897 274.27/274.78 c current bound: 200897 275.12/275.64 c current bound: 200897 275.97/276.49 c current bound: 200897 277.04/277.32 c current bound: 200897 277.65/278.16 c current bound: 200897 278.75/279.00 c current bound: 200897 279.34/279.84 c current bound: 200897 280.17/280.68 c current bound: 200897 281.26/281.52 c current bound: 200897 281.85/282.37 c current bound: 200897 282.70/283.21 c current bound: 200897 283.54/284.05 c current bound: 200897 284.54/284.89 c current bound: 200897 285.22/285.73 c current bound: 200897 286.06/286.57 c current bound: 200897 286.91/287.41 c current bound: 200897 287.94/288.25 c current bound: 200897 288.59/289.11 c current bound: 200897 289.45/289.95 c current bound: 200897 290.28/290.79 c current bound: 200897 291.33/291.64 c current bound: 200897 291.97/292.48 c current bound: 200897 292.81/293.32 c current bound: 200897 293.65/294.17 c current bound: 200897 294.49/295.01 c current bound: 200897 295.55/295.85 c current bound: 200897 296.44/296.70 c current bound: 200897 297.01/297.54 c current bound: 200897 297.86/298.38 c current bound: 200897 298.95/299.22 c current bound: 200897 299.56/300.07 c current bound: 200897 300.41/300.91 c current bound: 200897 301.24/301.75 c current bound: 200897 302.35/302.61 c current bound: 200897 302.93/303.45 c current bound: 200897 303.77/304.29 c current bound: 200897 304.61/305.13 c current bound: 200897 305.46/305.99 c current bound: 200897 306.55/306.83 c current bound: 200897 307.15/307.67 c current bound: 200897 308.01/308.51 c current bound: 200897 308.84/309.35 c current bound: 200897 309.94/310.20 c current bound: 200897 310.52/311.04 c current bound: 200897 311.36/311.89 c current bound: 200897 312.22/312.73 c current bound: 200897 313.24/313.58 c current bound: 200897 313.93/314.44 c current bound: 200897 314.77/315.29 c current bound: 200897 315.64/316.15 c current bound: 200897 316.46/316.99 c current bound: 200897 317.53/317.83 c current bound: 200897 318.15/318.68 c current bound: 200897 319.00/319.52 c current bound: 200897 319.84/320.36 c current bound: 200897 320.84/321.20 c current bound: 200897 321.52/322.04 c current bound: 200897 322.36/322.89 c current bound: 200897 323.21/323.73 c current bound: 200897 324.24/324.57 c current bound: 200897 324.90/325.41 c current bound: 200897 325.74/326.25 c current bound: 200897 326.59/327.09 c current bound: 200897 327.65/327.94 c current bound: 200897 328.26/328.78 c current bound: 200897 329.11/329.62 c current bound: 200897 329.96/330.46 c current bound: 200897 330.79/331.30 c current bound: 200897 331.85/332.15 c current bound: 200897 332.47/332.99 c current bound: 200897 333.32/333.83 c current bound: 200897 334.16/334.67 c current bound: 200897 335.24/335.51 c current bound: 200897 335.84/336.36 c current bound: 200897 336.96/337.20 c current bound: 200897 337.53/338.04 c current bound: 200897 338.64/338.90 c current bound: 200897 339.23/339.75 c current bound: 200897 340.07/340.59 c current bound: 200897 340.92/341.43 c current bound: 200897 341.75/342.27 c current bound: 200897 342.84/343.12 c current bound: 200897 343.44/343.96 c current bound: 200897 344.56/344.80 c current bound: 200897 345.13/345.64 c current bound: 200897 346.17/346.49 c current bound: 200897 346.83/347.33 c current bound: 200897 347.68/348.17 c current bound: 200897 348.52/349.01 c current bound: 200897 349.57/349.86 c current bound: 200897 350.20/350.70 c current bound: 200897 351.06/351.55 c current bound: 200897 351.89/352.39 c current bound: 200897 352.97/353.23 c current bound: 200897 353.58/354.07 c current bound: 200897 354.43/354.91 c current bound: 200897 355.27/355.75 c current bound: 200897 356.37/356.60 c current bound: 200897 357.16/357.44 c current bound: 200897 357.80/358.29 c current bound: 200897 358.63/359.12 c current bound: 200897 359.48/359.96 c current bound: 200897 360.56/360.81 c current bound: 200897 361.17/361.66 c current bound: 200897 362.28/362.50 c current bound: 200897 362.85/363.34 c current bound: 200897 363.86/364.18 c current bound: 200897 364.53/365.02 c current bound: 200897 365.37/365.87 c current bound: 200897 366.22/366.71 c current bound: 200897 367.25/367.55 c current bound: 200897 367.90/368.39 c current bound: 200897 368.74/369.23 c current bound: 200897 369.59/370.07 c current bound: 200897 370.43/370.91 c current bound: 200897 371.47/371.76 c current bound: 200897 372.12/372.60 c current bound: 200897 372.95/373.44 c current bound: 200897 374.08/374.30 c current bound: 200897 374.89/375.14 c current bound: 200897 375.51/375.98 c current bound: 200897 376.34/376.83 c current bound: 200897 377.19/377.66 c current bound: 200897 378.27/378.52 c current bound: 200897 378.88/379.36 c current bound: 200897 379.72/380.20 c current bound: 200897 380.57/381.04 c current bound: 200897 381.41/381.89 c current bound: 200897 382.48/382.74 c current bound: 200897 383.10/383.58 c current bound: 200897 383.95/384.43 c current bound: 200897 384.80/385.27 c current bound: 200897 385.88/386.13 c current bound: 200897 386.50/386.97 c current bound: 200897 387.35/387.81 c current bound: 200897 388.19/388.66 c current bound: 200897 389.29/389.51 c current bound: 200897 389.87/390.35 c current bound: 200897 391.00/391.20 c current bound: 200897 391.56/392.04 c current bound: 200897 392.42/392.88 c current bound: 200897 393.49/393.73 c current bound: 200897 394.10/394.57 c current bound: 200897 394.94/395.41 c current bound: 200897 395.79/396.25 c current bound: 200897 396.79/397.10 c current bound: 200897 397.48/397.94 c current bound: 200897 398.32/398.78 c current bound: 200897 399.17/399.63 c current bound: 200897 400.19/400.48 c current bound: 200897 400.86/401.32 c current bound: 200897 401.70/402.17 c current bound: 200897 402.55/403.01 c current bound: 200897 403.58/403.87 c current bound: 200897 404.50/404.71 c current bound: 200897 405.09/405.55 c current bound: 200897 405.93/406.39 c current bound: 200897 406.76/407.24 c current bound: 200897 407.79/408.08 c current bound: 200897 408.45/408.92 c current bound: 200897 409.30/409.76 c current bound: 200897 410.13/410.60 c current bound: 200897 411.20/411.46 c current bound: 200897 411.83/412.32 c current bound: 200897 412.72/413.19 c current bound: 200897 413.57/414.05 c current bound: 200897 414.41/414.90 c current bound: 200897 415.50/415.76 c current bound: 200897 416.12/416.59 c current bound: 200897 416.96/417.44 c current bound: 200897 418.10/418.30 c current bound: 200897 418.89/419.15 c current bound: 200897 419.52/420.01 c current bound: 200897 420.37/420.86 c current bound: 200897 421.23/421.71 c current bound: 200897 422.28/422.58 c current bound: 200897 423.20/423.43 c current bound: 200897 423.81/424.29 c current bound: 200897 424.67/425.14 c current bound: 200897 425.52/425.97 c current bound: 200897 426.62/426.81 c current bound: 200897 427.18/427.66 c current bound: 200897 428.31/428.50 c current bound: 200897 428.88/429.35 c current bound: 200897 430.00/430.20 c current bound: 200897 430.58/431.06 c current bound: 200897 431.44/431.91 c current bound: 200897 432.30/432.77 c current bound: 200897 433.16/433.62 c current bound: 200897 434.21/434.48 c current bound: 200897 434.87/435.31 c current bound: 200897 435.70/436.17 c current bound: 200897 436.56/437.00 c current bound: 200897 437.61/437.86 c current bound: 200897 438.25/438.71 c current bound: 200897 439.11/439.57 c current bound: 200897 439.96/440.40 c current bound: 200897 441.02/441.24 c current bound: 200897 441.65/442.08 c current bound: 200897 442.48/442.93 c current bound: 200897 443.34/443.76 c current bound: 200897 444.18/444.62 c current bound: 200897 445.24/445.47 c current bound: 200897 445.88/446.33 c current bound: 200897 446.73/447.18 c current bound: 200897 447.59/448.03 c current bound: 200897 448.64/448.88 c current bound: 200897 449.30/449.74 c current bound: 200897 450.17/450.60 c current bound: 200897 451.01/451.46 c current bound: 200897 451.87/452.31 c current bound: 200897 452.93/453.17 c current bound: 200897 453.59/454.02 c current bound: 200897 454.44/454.87 c current bound: 200897 455.29/455.73 c current bound: 200897 456.34/456.59 c current bound: 200897 457.02/457.44 c current bound: 200897 457.86/458.28 c current bound: 200897 458.70/459.13 c current bound: 200897 459.54/459.97 c current bound: 200897 460.63/460.82 c current bound: 200897 461.28/461.71 c current bound: 200897 462.12/462.57 c current bound: 200897 463.25/463.40 c current bound: 200897 464.04/464.26 c current bound: 200897 464.68/465.11 c current bound: 200897 465.54/465.97 c current bound: 200897 466.39/466.82 c current bound: 200897 467.44/467.67 c current bound: 200897 468.34/468.52 c current bound: 200897 468.95/469.38 c current bound: 200897 469.79/470.23 c current bound: 200897 470.65/471.09 c current bound: 200897 471.74/471.94 c current bound: 200897 472.36/472.77 c current bound: 200897 473.19/473.61 c current bound: 200897 474.04/474.47 c current bound: 200897 475.15/475.32 c current bound: 200897 475.75/476.17 c current bound: 200897 476.60/477.03 c current bound: 200897 477.45/477.88 c current bound: 200897 478.32/478.74 c current bound: 200897 479.35/479.59 c current bound: 200897 480.02/480.44 c current bound: 200897 481.16/481.30 c current bound: 200897 481.72/482.15 c current bound: 200897 482.83/483.00 c current bound: 200897 483.43/483.84 c current bound: 200897 484.27/484.69 c current bound: 200897 485.12/485.54 c current bound: 200897 486.26/486.40 c current bound: 200897 487.05/487.25 c current bound: 200897 487.96/488.10 c current bound: 200897 488.53/488.95 c current bound: 200897 489.39/489.81 c current bound: 200897 490.47/490.66 c current bound: 200897 491.09/491.51 c current bound: 200897 491.97/492.39 c current bound: 200897 492.81/493.25 c current bound: 200897 493.96/494.10 c current bound: 200897 494.75/494.95 c current bound: 200897 495.38/495.80 c current bound: 200897 496.24/496.66 c current bound: 200897 497.10/497.51 c current bound: 200897 498.16/498.37 c current bound: 200897 498.79/499.22 c current bound: 200897 499.64/500.08 c current bound: 200897 500.50/500.93 c current bound: 200897 501.35/501.77 c current bound: 200897 502.45/502.62 c current bound: 200897 503.05/503.48 c current bound: 200897 503.91/504.33 c current bound: 200897 504.77/505.19 c current bound: 200897 505.85/506.04 c current bound: 200897 506.48/506.89 c current bound: 200897 507.33/507.75 c current bound: 200897 508.47/508.60 c current bound: 200897 509.25/509.45 c current bound: 200897 510.17/510.30 c current bound: 200897 510.74/511.16 c current bound: 200897 511.60/512.01 c current bound: 200897 512.46/512.87 c current bound: 200897 513.56/513.72 c current bound: 200897 514.15/514.57 c current bound: 200897 515.01/515.43 c current bound: 200897 515.86/516.28 c current bound: 200897 516.94/517.13 c current bound: 200897 517.57/517.99 c current bound: 200897 518.43/518.84 c current bound: 200897 519.56/519.70 c current bound: 200897 520.14/520.55 c current bound: 200897 521.27/521.40 c current bound: 200897 521.84/522.26 c current bound: 200897 522.69/523.11 c current bound: 200897 523.55/523.97 c current bound: 200897 524.66/524.82 c current bound: 200897 525.27/525.68 c current bound: 200897 526.12/526.52 c current bound: 200897 526.95/527.37 c current bound: 200897 527.81/528.23 c current bound: 200897 528.87/529.08 c current bound: 200897 529.52/529.94 c current bound: 200897 530.38/530.79 c current bound: 200897 531.23/531.65 c current bound: 200897 532.38/532.50 c current bound: 200897 532.93/533.35 c current bound: 200897 533.79/534.21 c current bound: 200897 534.64/535.06 c current bound: 200897 535.50/535.92 c current bound: 200897 536.56/536.77 c current bound: 200897 537.23/537.63 c current bound: 200897 538.08/538.49 c current bound: 200897 538.93/539.34 c current bound: 200897 540.06/540.21 c current bound: 200897 540.66/541.07 c current bound: 200897 541.52/541.92 c current bound: 200897 542.37/542.78 c current bound: 200897 543.23/543.63 c current bound: 200897 544.27/544.48 c current bound: 200897 544.94/545.33 c current bound: 200897 545.79/546.18 c current bound: 200897 546.63/547.04 c current bound: 200897 547.67/547.89 c current bound: 200897 548.33/548.74 c current bound: 200897 549.19/549.59 c current bound: 200897 550.03/550.45 c current bound: 200897 550.89/551.30 c current bound: 200897 551.97/552.16 c current bound: 200897 552.61/553.01 c current bound: 200897 553.46/553.87 c current bound: 200897 554.31/554.72 c current bound: 200897 555.36/555.57 c current bound: 200897 556.02/556.43 c current bound: 200897 556.88/557.28 c current bound: 200897 557.74/558.14 c current bound: 200897 558.88/559.00 c current bound: 200897 559.68/559.85 c current bound: 200897 560.32/560.71 c current bound: 200897 561.17/561.56 c current bound: 200897 562.02/562.42 c current bound: 200897 563.09/563.28 c current bound: 200897 563.72/564.14 c current bound: 200897 564.58/564.99 c current bound: 200897 565.44/565.84 c current bound: 200897 566.57/566.70 c current bound: 200897 567.38/567.55 c current bound: 200897 568.29/568.40 c current bound: 200897 568.84/569.25 c current bound: 200897 569.70/570.11 c current bound: 200897 570.79/570.96 c current bound: 200897 571.42/571.82 c current bound: 200897 572.27/572.67 c current bound: 200897 573.13/573.53 c current bound: 200897 574.18/574.38 c current bound: 200897 575.09/575.23 c current bound: 200897 575.70/576.06 c current bound: 200897 576.53/576.92 c current bound: 200897 577.40/577.78 c current bound: 200897 578.48/578.63 c current bound: 200897 579.10/579.47 c current bound: 200897 579.94/580.32 c current bound: 200897 580.79/581.18 c current bound: 200897 581.87/582.04 c current bound: 200897 582.48/582.87 c current bound: 200897 583.32/583.73 c current bound: 200897 584.18/584.58 c current bound: 200897 585.03/585.43 c current bound: 200897 586.08/586.29 c current bound: 200897 586.74/587.14 c current bound: 200897 587.88/588.00 c current bound: 200897 588.46/588.85 c current bound: 200897 589.58/589.70 c current bound: 200897 590.17/590.56 c current bound: 200897 591.02/591.41 c current bound: 200897 591.87/592.27 c current bound: 200897 592.72/593.12 c current bound: 200897 593.79/593.97 c current bound: 200897 594.43/594.83 c current bound: 200897 595.29/595.67 c current bound: 200897 596.13/596.51 c current bound: 200897 597.18/597.36 c current bound: 200897 597.82/598.21 c current bound: 200897 598.99/599.10 c current bound: 200897 599.56/599.95 c current bound: 200897 600.42/600.79 c current bound: 200897 601.48/601.64 c current bound: 200897 602.10/602.49 c current bound: 200897 602.96/603.35 c current bound: 200897 603.81/604.20 c current bound: 200897 604.88/605.05 c current bound: 200897 605.53/605.91 c current bound: 200897 606.42/606.79 c current bound: 200897 607.27/607.65 c current bound: 200897 608.41/608.50 c current bound: 200897 609.20/609.35 c current bound: 200897 609.82/610.21 c current bound: 200897 610.69/611.07 c current bound: 200897 611.55/611.92 c current bound: 200897 612.59/612.77 c current bound: 200897 613.25/613.63 c current bound: 200897 614.11/614.46 c current bound: 200897 614.95/615.32 c current bound: 200897 616.01/616.17 c current bound: 200897 616.92/617.02 c current bound: 200897 617.51/617.88 c current bound: 200897 618.36/618.73 c current bound: 200897 619.22/619.59 c current bound: 200897 620.30/620.44 c current bound: 200897 620.92/621.29 c current bound: 200897 621.77/622.14 c current bound: 200897 622.91/623.00 c current bound: 200897 623.72/623.85 c current bound: 200897 624.62/624.70 c current bound: 200897 625.19/625.56 c current bound: 200897 626.04/626.41 c current bound: 200897 626.89/627.26 c current bound: 200897 628.02/628.11 c current bound: 200897 628.60/628.97 c current bound: 200897 629.46/629.82 c current bound: 200897 630.31/630.68 c current bound: 200897 631.42/631.53 c current bound: 200897 632.03/632.39 c current bound: 200897 632.89/633.24 c current bound: 200897 634.03/634.10 c current bound: 200897 634.59/634.95 c current bound: 200897 635.73/635.80 c current bound: 200897 636.30/636.66 c current bound: 200897 637.17/637.51 c current bound: 200897 638.02/638.35 c current bound: 200897 639.11/639.20 c current bound: 200897 639.70/640.06 c current bound: 200897 640.56/640.91 c current bound: 200897 641.41/641.77 c current bound: 200897 642.27/642.63 c current bound: 200897 643.31/643.48 c current bound: 200897 643.97/644.33 c current bound: 200897 644.81/645.19 c current bound: 200897 645.68/646.04 c current bound: 200897 646.82/646.90 c current bound: 200897 647.38/647.75 c current bound: 200897 648.24/648.61 c current bound: 200897 649.10/649.48 c current bound: 200897 649.97/650.33 c current bound: 200897 651.00/651.18 c current bound: 200897 651.67/652.03 c current bound: 200897 652.53/652.89 c current bound: 200897 653.38/653.74 c current bound: 200897 654.41/654.59 c current bound: 200897 655.09/655.45 c current bound: 200897 655.94/656.31 c current bound: 200897 656.80/657.16 c current bound: 200897 657.65/658.01 c current bound: 200897 658.72/658.87 c current bound: 200897 659.37/659.73 c current bound: 200897 660.21/660.58 c current bound: 200897 661.07/661.43 c current bound: 200897 662.11/662.28 c current bound: 200897 662.77/663.14 c current bound: 200897 663.63/663.99 c current bound: 200897 664.49/664.85 c current bound: 200897 665.34/665.69 c current bound: 200897 666.43/666.55 c current bound: 200897 667.33/667.40 c current bound: 200897 667.89/668.25 c current bound: 200897 668.75/669.10 c current bound: 200897 669.81/669.96 c current bound: 200897 670.45/670.81 c current bound: 200897 671.33/671.69 c current bound: 200897 672.20/672.55 c current bound: 200897 673.33/673.40 c current bound: 200897 674.12/674.25 c current bound: 200897 674.75/675.11 c current bound: 200897 675.60/675.96 c current bound: 200897 676.46/676.81 c current bound: 200897 677.53/677.69 c current bound: 200897 678.19/678.54 c current bound: 200897 679.33/679.40 c current bound: 200897 679.89/680.25 c current bound: 200897 680.75/681.10 c current bound: 200897 681.83/681.95 c current bound: 200897 682.46/682.80 c current bound: 200897 683.31/683.66 c current bound: 200897 684.17/684.49 c current bound: 200897 685.23/685.36 c current bound: 200897 685.87/686.21 c current bound: 200897 686.76/687.10 c current bound: 200897 687.62/687.96 c current bound: 200897 688.47/688.81 c current bound: 200897 689.54/689.66 c current bound: 200897 690.16/690.51 c current bound: 200897 691.02/691.36 c current bound: 200897 691.87/692.21 c current bound: 200897 692.94/693.06 c current bound: 200897 693.57/693.91 c current bound: 200897 694.47/694.80 c current bound: 200897 695.32/695.66 c current bound: 200897 696.16/696.50 c current bound: 200897 697.24/697.36 c current bound: 200897 697.88/698.21 c current bound: 200897 698.71/699.04 c current bound: 200897 699.55/699.88 c current bound: 200897 700.64/700.72 c current bound: 200897 701.23/701.54 c current bound: 200897 702.06/702.37 c current bound: 200897 702.89/703.21 c current bound: 200897 703.94/704.07 c current bound: 200897 704.59/704.92 c current bound: 200897 705.43/705.75 c current bound: 200897 706.27/706.60 c current bound: 200897 707.34/707.45 c current bound: 200897 708.25/708.31 c current bound: 200897 708.81/709.16 c current bound: 200897 709.67/710.01 c current bound: 200897 710.52/710.86 c current bound: 200897 711.65/711.71 c current bound: 200897 712.22/712.56 c current bound: 200897 713.08/713.41 c current bound: 200897 713.93/714.26 c current bound: 200897 715.04/715.11 c current bound: 200897 715.63/715.97 c current bound: 200897 716.75/716.80 c current bound: 200897 717.31/717.63 c current bound: 200897 718.15/718.47 c current bound: 200897 719.25/719.33 c current bound: 200897 719.85/720.19 c current bound: 200897 720.71/721.04 c current bound: 200897 721.58/721.88 c current bound: 200897 722.66/722.74 c current bound: 200897 723.26/723.61 c current bound: 200897 724.16/724.49 c current bound: 200897 725.02/725.32 c current bound: 200897 726.04/726.18 c current bound: 200897 726.96/727.03 c current bound: 200897 727.56/727.86 c current bound: 200897 728.39/728.71 c current bound: 200897 729.24/729.56 c current bound: 200897 730.26/730.40 c current bound: 200897 730.92/731.25 c current bound: 200897 731.78/732.11 c current bound: 200897 732.64/732.97 c current bound: 200897 733.74/733.81 c current bound: 200897 734.34/734.66 c current bound: 200897 735.19/735.52 c current bound: 200897 736.04/736.37 c current bound: 200897 736.89/737.23 c current bound: 200897 737.94/738.08 c current bound: 200897 738.61/738.94 c current bound: 200897 739.76/739.80 c current bound: 200897 740.33/740.65 c current bound: 200897 741.44/741.51 c current bound: 200897 742.04/742.34 c current bound: 200897 743.16/743.20 c current bound: 200897 743.73/744.05 c current bound: 200897 744.59/744.91 c current bound: 200897 745.65/745.76 c current bound: 200897 746.56/746.60 c current bound: 200897 747.13/747.45 c current bound: 200897 747.99/748.32 c current bound: 200897 749.06/749.17 c current bound: 200897 749.72/750.03 c current bound: 200897 750.57/750.89 c current bound: 200897 751.42/751.72 c current bound: 200897 752.45/752.58 c current bound: 200897 753.36/753.41 c current bound: 200897 753.95/754.27 c current bound: 200897 754.82/755.13 c current bound: 200897 755.68/755.99 c current bound: 200897 756.76/756.86 c current bound: 200897 757.40/757.71 c current bound: 200897 758.28/758.59 c current bound: 200897 759.13/759.43 c current bound: 200897 760.16/760.28 c current bound: 200897 761.06/761.13 c current bound: 200897 761.66/761.98 c current bound: 200897 762.51/762.83 c current bound: 200897 763.35/763.67 c current bound: 200897 764.35/764.50 c current bound: 200897 765.02/765.35 c current bound: 200897 765.87/766.20 c current bound: 200897 766.73/767.05 c current bound: 200897 767.84/767.90 c current bound: 200897 768.43/768.75 c current bound: 200897 769.28/769.60 c current bound: 200897 770.13/770.46 c current bound: 200897 770.99/771.31 c current bound: 200897 772.06/772.16 c current bound: 200897 772.97/773.00 c current bound: 200897 773.56/773.85 c current bound: 200897 774.67/774.70 c current bound: 200897 775.47/775.53 c current bound: 200897 776.08/776.37 c current bound: 200897 776.94/777.23 c current bound: 200897 777.78/778.07 c current bound: 200897 778.86/778.91 c current bound: 200897 779.45/779.74 c current bound: 200897 780.28/780.57 c current bound: 200897 781.11/781.40 c current bound: 200897 782.17/782.24 c current bound: 200897 782.79/783.08 c current bound: 200897 783.62/783.91 c current bound: 200897 784.48/784.76 c current bound: 200897 785.31/785.60 c current bound: 200897 786.36/786.43 c current bound: 200897 786.98/787.26 c current bound: 200897 787.83/788.11 c current bound: 200897 788.66/788.95 c current bound: 200897 789.66/789.78 c current bound: 200897 790.33/790.60 c current bound: 200897 791.17/791.46 c current bound: 200897 792.27/792.30 c current bound: 200897 793.07/793.13 c current bound: 200897 793.68/793.97 c current bound: 200897 794.77/794.80 c current bound: 200897 795.35/795.64 c current bound: 200897 796.37/796.47 c current bound: 200897 797.02/797.31 c current bound: 200897 797.87/798.16 c current bound: 200897 798.73/799.01 c current bound: 200897 799.77/799.84 c current bound: 200897 800.38/800.67 c current bound: 200897 801.21/801.50 c current bound: 200897 802.06/802.35 c current bound: 200897 802.90/803.18 c current bound: 200897 803.98/804.01 c current bound: 200897 804.55/804.84 c current bound: 200897 805.40/805.69 c current bound: 200897 806.24/806.53 c current bound: 200897 807.27/807.37 c current bound: 200897 807.90/808.20 c current bound: 200897 808.77/809.05 c current bound: 200897 809.59/809.89 c current bound: 200897 810.67/810.72 c current bound: 200897 811.26/811.55 c current bound: 200897 812.12/812.41 c current bound: 200897 812.96/813.25 c current bound: 200897 813.98/814.08 c current bound: 200897 814.61/814.91 c current bound: 200897 815.45/815.74 c current bound: 200897 816.27/816.57 c current bound: 200897 817.35/817.40 c current bound: 200897 817.94/818.23 c current bound: 200897 818.78/819.07 c current bound: 200897 819.61/819.91 c current bound: 200897 820.64/820.74 c current bound: 200897 821.27/821.57 c current bound: 200897 822.37/822.40 c current bound: 200897 822.94/823.23 c current bound: 200897 823.77/824.07 c current bound: 200897 824.86/824.91 c current bound: 200897 825.46/825.75 c current bound: 200897 826.31/826.61 c current bound: 200897 827.15/827.45 c current bound: 200897 828.17/828.29 c current bound: 200897 828.83/829.13 c current bound: 200897 829.69/829.99 c current bound: 200897 830.55/830.84 c current bound: 200897 831.55/831.68 c current bound: 200897 832.23/832.53 c current bound: 200897 833.07/833.36 c current bound: 200897 833.91/834.20 c current bound: 200897 834.95/835.04 c current bound: 200897 835.57/835.88 c current bound: 200897 836.41/836.72 c current bound: 200897 837.25/837.55 c current bound: 200897 838.08/838.39 c current bound: 200897 839.14/839.22 c current bound: 200897 839.75/840.05 c current bound: 200897 840.60/840.91 c current bound: 200897 841.43/841.74 c current bound: 200897 842.44/842.57 c current bound: 200897 843.10/843.41 c current bound: 200897 843.95/844.26 c current bound: 200897 844.79/845.10 c current bound: 200897 845.86/845.94 c current bound: 200897 846.45/846.77 c current bound: 200897 847.31/847.64 c current bound: 200897 848.15/848.48 c current bound: 200897 849.23/849.31 c current bound: 200897 849.82/850.14 c current bound: 200897 850.65/850.97 c current bound: 200897 851.49/851.80 c current bound: 200897 852.53/852.64 c current bound: 200897 853.16/853.47 c current bound: 200897 854.25/854.30 c current bound: 200897 854.81/855.13 c current bound: 200897 855.65/855.96 c current bound: 200897 856.48/856.79 c current bound: 200897 857.30/857.62 c current bound: 200897 858.14/858.46 c current bound: 200897 859.25/859.30 c current bound: 200897 860.05/860.13 c current bound: 200897 860.64/860.96 c current bound: 200897 861.48/861.82 c current bound: 200897 862.34/862.65 c current bound: 200897 863.33/863.48 c current bound: 200897 863.99/864.32 c current bound: 200897 864.84/865.17 c current bound: 200897 865.69/866.01 c current bound: 200897 866.75/866.84 c current bound: 200897 867.35/867.68 c current bound: 200897 868.19/868.51 c current bound: 200897 869.02/869.34 c current bound: 200897 870.03/870.18 c current bound: 200897 870.69/871.01 c current bound: 200897 871.52/871.85 c current bound: 200897 872.38/872.70 c current bound: 200897 873.43/873.53 c current bound: 200897 874.04/874.36 c current bound: 200897 874.87/875.19 c current bound: 200897 875.70/876.02 c current bound: 200897 876.73/876.85 c current bound: 200897 877.37/877.68 c current bound: 200897 878.19/878.51 c current bound: 200897 879.02/879.35 c current bound: 200897 879.86/880.19 c current bound: 200897 880.93/881.02 c current bound: 200897 881.52/881.85 c current bound: 200897 882.38/882.70 c current bound: 200897 883.21/883.53 c current bound: 200897 884.22/884.37 c current bound: 200897 884.86/885.21 c current bound: 200897 885.71/886.04 c current bound: 200897 886.56/886.88 c current bound: 200897 887.63/887.72 c current bound: 200897 888.21/888.55 c current bound: 200897 889.08/889.41 c current bound: 200897 889.91/890.25 c current bound: 200897 890.92/891.08 c current bound: 200897 891.60/891.92 c current bound: 200897 892.43/892.75 c current bound: 200897 893.27/893.60 c current bound: 200897 894.33/894.44 c current bound: 200897 894.94/895.28 c current bound: 200897 895.77/896.11 c current bound: 200897 896.64/896.98 c current bound: 200897 897.48/897.82 c current bound: 200897 898.53/898.65 c current bound: 200897 899.16/899.48 c current bound: 200897 900.00/900.32 c current bound: 200897 900.83/901.15 c current bound: 200897 901.83/901.99 c current bound: 200897 902.49/902.82 c current bound: 200897 903.36/903.68 c current bound: 200897 904.20/904.53 c current bound: 200897 905.23/905.36 c current bound: 200897 905.87/906.20 c current bound: 200897 906.71/907.04 c current bound: 200897 907.55/907.89 c current bound: 200897 908.62/908.72 c current bound: 200897 909.23/909.56 c current bound: 200897 910.07/910.39 c current bound: 200897 910.92/911.24 c current bound: 200897 911.74/912.08 c current bound: 200897 912.82/912.92 c current bound: 200897 913.42/913.76 c current bound: 200897 914.26/914.61 c current bound: 200897 915.13/915.47 c current bound: 200897 916.22/916.31 c current bound: 200897 916.80/917.14 c current bound: 200897 917.66/918.00 c current bound: 200897 918.51/918.85 c current bound: 200897 919.50/919.69 c current bound: 200897 920.17/920.53 c current bound: 200897 921.02/921.36 c current bound: 200897 922.12/922.20 c current bound: 200897 922.91/923.03 c current bound: 200897 923.52/923.87 c current bound: 200897 924.36/924.70 c current bound: 200897 925.21/925.56 c current bound: 200897 926.05/926.39 c current bound: 200897 927.11/927.23 c current bound: 200897 927.73/928.07 c current bound: 200897 928.56/928.90 c current bound: 200897 929.40/929.74 c current bound: 200897 930.42/930.58 c current bound: 200897 931.08/931.42 c current bound: 200897 931.91/932.26 c current bound: 200897 932.74/933.09 c current bound: 200897 933.81/933.92 c current bound: 200897 934.42/934.76 c current bound: 200897 935.23/935.59 c current bound: 200897 936.08/936.42 c current bound: 200897 937.11/937.25 c current bound: 200897 937.73/938.08 c current bound: 200897 938.57/938.91 c current bound: 200897 939.39/939.74 c current bound: 200897 940.40/940.58 c current bound: 200897 941.05/941.41 c current bound: 200897 941.87/942.24 c current bound: 200897 942.72/943.08 c current bound: 200897 943.79/943.91 c current bound: 200897 944.39/944.74 c current bound: 200897 945.21/945.57 c current bound: 200897 946.06/946.42 c current bound: 200897 947.09/947.25 c current bound: 200897 947.73/948.09 c current bound: 200897 948.56/948.91 c current bound: 200897 949.39/949.76 c current bound: 200897 950.49/950.60 c current bound: 200897 951.30/951.42 c current bound: 200897 951.88/952.25 c current bound: 200897 952.72/953.10 c current bound: 200897 953.56/953.94 c current bound: 200897 954.59/954.77 c current bound: 200897 955.50/955.60 c current bound: 200897 956.07/956.45 c current bound: 200897 956.91/957.29 c current bound: 200897 957.97/958.12 c current bound: 200897 958.58/958.96 c current bound: 200897 959.44/959.81 c current bound: 200897 960.27/960.66 c current bound: 200897 961.27/961.48 c current bound: 200897 961.92/962.31 c current bound: 200897 962.76/963.14 c current bound: 200897 963.60/963.97 c current bound: 200897 964.69/964.80 c current bound: 200897 965.26/965.63 c current bound: 200897 966.08/966.46 c current bound: 200897 966.92/967.30 c current bound: 200897 967.97/968.13 c current bound: 200897 968.58/968.96 c current bound: 200897 969.41/969.79 c current bound: 200897 970.25/970.63 c current bound: 200897 971.09/971.46 c current bound: 200897 971.92/972.29 c current bound: 200897 972.76/973.13 c current bound: 200897 973.60/973.97 c current bound: 200897 974.44/974.81 c current bound: 200897 975.48/975.63 c current bound: 200897 976.09/976.47 c current bound: 200897 976.94/977.32 c current bound: 200897 977.77/978.15 c current bound: 200897 978.76/978.99 c current bound: 200897 979.43/979.82 c current bound: 200897 980.28/980.68 c current bound: 200897 981.13/981.51 c current bound: 200897 982.18/982.34 c current bound: 200897 982.79/983.18 c current bound: 200897 983.66/984.04 c current bound: 200897 984.51/984.89 c current bound: 200897 985.58/985.72 c current bound: 200897 986.17/986.55 c current bound: 200897 986.99/987.38 c current bound: 200897 987.84/988.22 c current bound: 200897 988.88/989.06 c current bound: 200897 989.51/989.89 c current bound: 200897 990.36/990.73 c current bound: 200897 991.21/991.58 c current bound: 200897 992.04/992.41 c current bound: 200897 993.08/993.25 c current bound: 200897 993.71/994.08 c current bound: 200897 994.54/994.92 c current bound: 200897 995.37/995.76 c current bound: 200897 996.38/996.59 c current bound: 200897 997.05/997.42 c current bound: 200897 997.89/998.28 c current bound: 200897 998.74/999.13 c current bound: 200897 999.77/999.96 c current bound: 200897 1000.68/1000.80 c current bound: 200897 1001.26/1001.63 c current bound: 200897 1002.11/1002.48 c current bound: 200897 1003.17/1003.31 c current bound: 200897 1003.76/1004.15 c current bound: 200897 1004.61/1004.99 c current bound: 200897 1005.45/1005.84 c current bound: 200897 1006.28/1006.68 c current bound: 200897 1007.36/1007.51 c current bound: 200897 1007.95/1008.34 c current bound: 200897 1008.78/1009.17 c current bound: 200897 1009.62/1010.01 c current bound: 200897 1010.66/1010.84 c current bound: 200897 1011.28/1011.67 c current bound: 200897 1012.11/1012.51 c current bound: 200897 1012.95/1013.34 c current bound: 200897 1013.96/1014.17 c current bound: 200897 1014.88/1015.00 c current bound: 200897 1015.47/1015.85 c current bound: 200897 1016.30/1016.69 c current bound: 200897 1017.36/1017.52 c current bound: 200897 1017.96/1018.36 c current bound: 200897 1018.79/1019.19 c current bound: 200897 1019.64/1020.04 c current bound: 200897 1020.65/1020.87 c current bound: 200897 1021.30/1021.70 c current bound: 200897 1022.12/1022.55 c current bound: 200897 1023.26/1023.40 c current bound: 200897 1024.05/1024.23 c current bound: 200897 1024.66/1025.08 c current bound: 200897 1025.50/1025.91 c current bound: 200897 1026.34/1026.75 c current bound: 200897 1027.16/1027.58 c current bound: 200897 1028.24/1028.41 c current bound: 200897 1028.84/1029.24 c current bound: 200897 1029.67/1030.08 c current bound: 200897 1030.50/1030.92 c current bound: 200897 1031.54/1031.75 c current bound: 200897 1032.17/1032.58 c current bound: 200897 1033.01/1033.43 c current bound: 200897 1033.84/1034.26 c current bound: 200897 1034.83/1035.09 c current bound: 200897 1035.50/1035.92 c current bound: 200897 1036.33/1036.75 c current bound: 200897 1037.16/1037.59 c current bound: 200897 1038.23/1038.42 c current bound: 200897 1038.82/1039.25 c current bound: 200897 1039.67/1040.10 c current bound: 200897 1040.52/1040.95 c current bound: 200897 1041.53/1041.78 c current bound: 200897 1042.19/1042.61 c current bound: 200897 1043.03/1043.48 c current bound: 200897 1043.90/1044.32 c current bound: 200897 1044.93/1045.15 c current bound: 200897 1045.57/1045.98 c current bound: 200897 1046.39/1046.81 c current bound: 200897 1047.23/1047.66 c current bound: 200897 1048.32/1048.50 c current bound: 200897 1049.12/1049.33 c current bound: 200897 1049.73/1050.16 c current bound: 200897 1050.57/1050.99 c current bound: 200897 1051.39/1051.83 c current bound: 200897 1052.42/1052.65 c current bound: 200897 1053.04/1053.48 c current bound: 200897 1053.88/1054.31 c current bound: 200897 1054.72/1055.15 c current bound: 200897 1055.72/1055.99 c current bound: 200897 1056.38/1056.82 c current bound: 200897 1057.22/1057.65 c current bound: 200897 1058.06/1058.49 c current bound: 200897 1059.12/1059.32 c current bound: 200897 1059.72/1060.15 c current bound: 200897 1060.54/1060.99 c current bound: 200897 1061.38/1061.83 c current bound: 200897 1062.42/1062.66 c current bound: 200897 1063.05/1063.49 c current bound: 200897 1063.90/1064.35 c current bound: 200897 1064.77/1065.23 c current bound: 200897 1065.81/1066.06 c current bound: 200897 1066.44/1066.89 c current bound: 200897 1067.28/1067.72 c current bound: 200897 1068.12/1068.57 c current bound: 200897 1068.96/1069.41 c current bound: 200897 1070.00/1070.24 c current bound: 200897 1070.63/1071.07 c current bound: 200897 1071.45/1071.91 c current bound: 200897 1072.29/1072.74 c current bound: 200897 1073.29/1073.58 c current bound: 200897 1073.95/1074.41 c current bound: 200897 1074.81/1075.26 c current bound: 200897 1075.65/1076.10 c current bound: 200897 1076.69/1076.94 c current bound: 200897 1077.31/1077.77 c current bound: 200897 1078.16/1078.62 c current bound: 200897 1079.00/1079.47 c current bound: 200897 1080.10/1080.30 c current bound: 200897 1080.67/1081.13 c current bound: 200897 1081.49/1081.96 c current bound: 200897 1082.33/1082.79 c current bound: 200897 1083.38/1083.62 c current bound: 200897 1083.99/1084.46 c current bound: 200897 1084.82/1085.29 c current bound: 200897 1085.66/1086.12 c current bound: 200897 1086.68/1086.95 c current bound: 200897 1087.32/1087.78 c current bound: 200897 1088.15/1088.61 c current bound: 200897 1088.99/1089.46 c current bound: 200897 1089.83/1090.30 c current bound: 200897 1090.89/1091.13 c current bound: 200897 1091.50/1091.97 c current bound: 200897 1092.34/1092.80 c current bound: 200897 1093.16/1093.64 c current bound: 200897 1094.19/1094.47 c current bound: 200897 1095.10/1095.30 c current bound: 200897 1095.68/1096.15 c current bound: 200897 1096.53/1096.99 c current bound: 200897 1097.60/1097.82 c current bound: 200897 1098.17/1098.65 c current bound: 200897 1099.04/1099.50 c current bound: 200897 1099.88/1100.34 c current bound: 200897 1100.90/1101.17 c current bound: 200897 1101.81/1102.00 c current bound: 200897 1102.37/1102.83 c current bound: 200897 1103.21/1103.67 c current bound: 200897 1104.28/1104.50 c current bound: 200897 1104.87/1105.34 c current bound: 200897 1105.71/1106.17 c current bound: 200897 1106.55/1107.02 c current bound: 200897 1107.58/1107.84 c current bound: 200897 1108.21/1108.67 c current bound: 200897 1109.04/1109.50 c current bound: 200897 1109.88/1110.35 c current bound: 200897 1110.72/1111.19 c current bound: 200897 1111.79/1112.02 c current bound: 200897 1112.38/1112.85 c current bound: 200897 1113.49/1113.70 c current bound: 200897 1114.05/1114.53 c current bound: 200897 1115.08/1115.36 c current bound: 200897 1115.72/1116.19 c current bound: 200897 1116.55/1117.02 c current bound: 200897 1117.39/1117.86 c current bound: 200897 1118.37/1118.69 c current bound: 200897 1119.05/1119.52 c current bound: 200897 1119.90/1120.38 c current bound: 200897 1120.73/1121.22 c current bound: 200897 1121.78/1122.04 c current bound: 200897 1122.41/1122.87 c current bound: 200897 1123.25/1123.73 c current bound: 200897 1124.09/1124.57 c current bound: 200897 1125.19/1125.40 c current bound: 200897 1125.75/1126.23 c current bound: 200897 1126.58/1127.06 c current bound: 200897 1127.43/1127.91 c current bound: 200897 1128.46/1128.74 c current bound: 200897 1129.09/1129.56 c current bound: 200897 1129.92/1130.41 c current bound: 200897 1130.75/1131.24 c current bound: 200897 1131.59/1132.07 c current bound: 200897 1132.69/1132.90 c current bound: 200897 1133.25/1133.73 c current bound: 200897 1134.10/1134.58 c current bound: 200897 1134.93/1135.41 c current bound: 200897 1135.98/1136.24 c current bound: 200897 1136.59/1137.07 c current bound: 200897 1137.44/1137.92 c current bound: 200897 1138.28/1138.76 c current bound: 200897 1139.27/1139.60 c current bound: 200897 1139.95/1140.43 c current bound: 200897 1140.79/1141.28 c current bound: 200897 1141.62/1142.12 c current bound: 200897 1142.67/1142.95 c current bound: 200897 1143.28/1143.78 c current bound: 200897 1144.14/1144.64 c current bound: 200897 1144.98/1145.48 c current bound: 200897 1146.07/1146.31 c current bound: 200897 1146.65/1147.14 c current bound: 200897 1147.49/1147.98 c current bound: 200897 1148.33/1148.81 c current bound: 200897 1149.36/1149.64 c current bound: 200897 1149.99/1150.47 c current bound: 200897 1151.08/1151.30 c current bound: 200897 1151.66/1152.14 c current bound: 200897 1152.50/1152.97 c current bound: 200897 1153.60/1153.80 c current bound: 200897 1154.16/1154.63 c current bound: 200897 1155.01/1155.47 c current bound: 200897 1155.83/1156.31 c current bound: 200897 1156.88/1157.14 c current bound: 200897 1157.49/1157.97 c current bound: 200897 1158.59/1158.80 c current bound: 200897 1159.16/1159.64 c current bound: 200897 1160.19/1160.47 c current bound: 200897 1160.83/1161.30 c current bound: 200897 1161.69/1162.16 c current bound: 200897 1162.53/1162.99 c current bound: 200897 1163.60/1163.82 c current bound: 200897 1164.18/1164.65 c current bound: 200897 1165.03/1165.51 c current bound: 200897 1165.87/1166.35 c current bound: 200897 1166.89/1167.18 c current bound: 200897 1167.54/1168.02 c current bound: 200897 1168.40/1168.88 c current bound: 200897 1169.25/1169.72 c current bound: 200897 1170.27/1170.55 c current bound: 200897 1170.90/1171.38 c current bound: 200897 1171.74/1172.21 c current bound: 200897 1172.57/1173.04 c current bound: 200897 1173.41/1173.87 c current bound: 200897 1174.49/1174.71 c current bound: 200897 1175.07/1175.54 c current bound: 200897 1176.19/1176.40 c current bound: 200897 1176.76/1177.24 c current bound: 200897 1177.77/1178.08 c current bound: 200897 1178.43/1178.91 c current bound: 200897 1179.30/1179.76 c current bound: 200897 1180.13/1180.61 c current bound: 200897 1181.18/1181.44 c current bound: 200897 1181.79/1182.27 c current bound: 200897 1182.65/1183.13 c current bound: 200897 1183.48/1183.96 c current bound: 200897 1184.48/1184.79 c current bound: 200897 1185.14/1185.62 c current bound: 200897 1185.97/1186.45 c current bound: 200897 1187.08/1187.30 c current bound: 200897 1187.87/1188.13 c current bound: 200897 1188.48/1188.96 c current bound: 200897 1189.31/1189.79 c current bound: 200897 1190.15/1190.66 c current bound: 200897 1191.00/1191.49 c current bound: 200897 1192.06/1192.32 c current bound: 200897 1192.66/1193.16 c current bound: 200897 1193.50/1193.99 c current bound: 200897 1194.34/1194.82 c current bound: 200897 1195.39/1195.65 c current bound: 200897 1196.00/1196.48 c current bound: 200897 1196.86/1197.34 c current bound: 200897 1197.68/1198.17 c current bound: 200897 1198.67/1199.00 c current bound: 200897 1199.34/1199.83 c current bound: 200897 1200.19/1200.69 c current bound: 200897 1201.01/1201.52 c current bound: 200897 1202.06/1202.35 c current bound: 200897 1202.70/1203.19 c current bound: 200897 1203.53/1204.02 c current bound: 200897 1204.38/1204.86 c current bound: 200897 1205.38/1205.69 c current bound: 200897 1206.04/1206.52 c current bound: 200897 1206.86/1207.35 c current bound: 200897 1207.72/1208.21 c current bound: 200897 1208.76/1209.04 c current bound: 200897 1209.38/1209.87 c current bound: 200897 1210.22/1210.70 c current bound: 200897 1211.07/1211.56 c current bound: 200897 1211.89/1212.39 c current bound: 200897 1212.96/1213.22 c current bound: 200897 1213.56/1214.05 c current bound: 200897 1214.39/1214.88 c current bound: 200897 1215.22/1215.73 c current bound: 200897 1216.28/1216.56 c current bound: 200897 1216.89/1217.39 c current bound: 200897 1217.73/1218.22 c current bound: 200897 1218.55/1219.05 c current bound: 200897 1219.56/1219.89 c current bound: 200897 1220.22/1220.73 c current bound: 200897 1221.06/1221.56 c current bound: 200897 1221.91/1222.40 c current bound: 200897 1222.97/1223.25 c current bound: 200897 1223.58/1224.08 c current bound: 200897 1224.42/1224.91 c current bound: 200897 1225.26/1225.75 c current bound: 200897 1226.26/1226.58 c current bound: 200897 1226.92/1227.41 c current bound: 200897 1227.75/1228.25 c current bound: 200897 1228.60/1229.09 c current bound: 200897 1229.64/1229.93 c current bound: 200897 1230.27/1230.76 c current bound: 200897 1231.37/1231.60 c current bound: 200897 1231.94/1232.44 c current bound: 200897 1232.78/1233.28 c current bound: 200897 1233.61/1234.11 c current bound: 200897 1234.45/1234.94 c current bound: 200897 1235.31/1235.79 c current bound: 200897 1236.13/1236.63 c current bound: 200897 1237.16/1237.46 c current bound: 200897 1237.80/1238.29 c current bound: 200897 1238.66/1239.15 c current bound: 200897 1239.52/1240.02 c current bound: 200897 1240.56/1240.88 c current bound: 200897 1241.24/1241.76 c current bound: 200897 1242.37/1242.60 c current bound: 200897 1242.93/1243.44 c current bound: 200897 1243.79/1244.28 c current bound: 200897 1244.86/1245.12 c current bound: 200897 1245.46/1245.97 c current bound: 200897 1246.30/1246.81 c current bound: 200897 1247.13/1247.64 c current bound: 200897 1248.14/1248.50 c current bound: 200897 1248.83/1249.34 c current bound: 200897 1249.67/1250.18 c current bound: 200897 1250.52/1251.02 c current bound: 200897 1251.55/1251.86 c current bound: 200897 1252.46/1252.70 c current bound: 200897 1253.03/1253.54 c current bound: 200897 1253.87/1254.38 c current bound: 200897 1254.95/1255.22 c current bound: 200897 1255.56/1256.06 c current bound: 200897 1256.66/1256.90 c current bound: 200897 1257.23/1257.73 c current bound: 200897 1258.08/1258.57 c current bound: 200897 1259.15/1259.41 c current bound: 200897 1259.77/1260.25 c current bound: 200897 1260.86/1261.10 c current bound: 200897 1261.45/1261.94 c current bound: 200897 1262.46/1262.79 c current bound: 200897 1263.15/1263.63 c current bound: 200897 1263.98/1264.48 c current bound: 200897 1264.84/1265.32 c current bound: 200897 1265.87/1266.18 c current bound: 200897 1266.54/1267.02 c current bound: 200897 1267.38/1267.86 c current bound: 200897 1268.48/1268.70 c current bound: 200897 1269.28/1269.54 c current bound: 200897 1269.90/1270.37 c current bound: 200897 1270.73/1271.21 c current bound: 200897 1271.58/1272.05 c current bound: 200897 1272.40/1272.89 c current bound: 200897 1273.47/1273.72 c current bound: 200897 1274.07/1274.57 c current bound: 200897 1274.92/1275.41 c current bound: 200897 1275.76/1276.25 c current bound: 200897 1276.88/1277.10 c current bound: 200897 1277.45/1277.94 c current bound: 200897 1278.31/1278.79 c current bound: 200897 1279.15/1279.63 c current bound: 200897 1280.16/1280.47 c current bound: 200897 1280.83/1281.31 c current bound: 200897 1281.67/1282.15 c current bound: 200897 1282.78/1283.00 c current bound: 200897 1283.57/1283.84 c current bound: 200897 1284.20/1284.68 c current bound: 200897 1285.04/1285.51 c current bound: 200897 1285.87/1286.35 c current bound: 200897 1286.71/1287.18 c current bound: 200897 1287.79/1288.02 c current bound: 200897 1288.39/1288.86 c current bound: 200897 1289.23/1289.69 c current bound: 200897 1290.06/1290.57 c current bound: 200897 1291.15/1291.41 c current bound: 200897 1291.74/1292.25 c current bound: 200897 1292.58/1293.08 c current bound: 200897 1293.42/1293.92 c current bound: 200897 1294.46/1294.76 c current bound: 200897 1295.11/1295.60 c current bound: 200897 1295.94/1296.44 c current bound: 200897 1296.78/1297.28 c current bound: 200897 1297.86/1298.14 c current bound: 200897 1298.47/1298.98 c current bound: 200897 1299.32/1299.82 c current bound: 200897 1300.15/1300.65 c current bound: 200897 1300.98/1301.49 c current bound: 200897 1302.05/1302.33 c current bound: 200897 1302.65/1303.17 c current bound: 200897 1303.51/1304.01 c current bound: 200897 1304.33/1304.84 c current bound: 200897 1305.36/1305.69 c current bound: 200897 1306.02/1306.53 c current bound: 200897 1306.86/1307.36 c current bound: 200897 1307.70/1308.20 c current bound: 200897 1308.75/1309.05 c current bound: 200897 1309.37/1309.89 c current bound: 200897 1310.22/1310.72 c current bound: 200897 1311.06/1311.56 c current bound: 200897 1312.16/1312.40 c current bound: 200897 1312.73/1313.23 c current bound: 200897 1313.57/1314.07 c current bound: 200897 1314.40/1314.91 c current bound: 200897 1315.45/1315.74 c current bound: 200897 1316.07/1316.58 c current bound: 200897 1316.92/1317.42 c current bound: 200897 1317.78/1318.29 c current bound: 200897 1318.62/1319.13 c current bound: 200897 1319.66/1319.97 c current bound: 200897 1320.31/1320.81 c current bound: 200897 1321.15/1321.64 c current bound: 200897 1321.98/1322.48 c current bound: 200897 1323.05/1323.32 c current bound: 200897 1323.66/1324.16 c current bound: 200897 1324.50/1325.01 c current bound: 200897 1325.36/1325.85 c current bound: 200897 1326.36/1326.69 c current bound: 200897 1327.03/1327.53 c current bound: 200897 1327.87/1328.37 c current bound: 200897 1328.71/1329.20 c current bound: 200897 1329.75/1330.06 c current bound: 200897 1330.39/1330.89 c current bound: 200897 1331.24/1331.73 c current bound: 200897 1332.07/1332.57 c current bound: 200897 1332.92/1333.41 c current bound: 200897 1333.97/1334.24 c current bound: 200897 1334.58/1335.08 c current bound: 200897 1335.43/1335.91 c current bound: 200897 1336.25/1336.75 c current bound: 200897 1337.26/1337.60 c current bound: 200897 1337.94/1338.43 c current bound: 200897 1339.07/1339.30 c current bound: 200897 1339.63/1340.13 c current bound: 200897 1340.67/1340.98 c current bound: 200897 1341.32/1341.82 c current bound: 200897 1342.17/1342.66 c current bound: 200897 1343.28/1343.50 c current bound: 200897 1344.06/1344.34 c current bound: 200897 1344.69/1345.18 c current bound: 200897 1345.53/1346.02 c current bound: 200897 1346.36/1346.85 c current bound: 200897 1347.20/1347.69 c current bound: 200897 1348.26/1348.53 c current bound: 200897 1348.88/1349.37 c current bound: 200897 1349.72/1350.21 c current bound: 200897 1350.56/1351.05 c current bound: 200897 1351.57/1351.89 c current bound: 200897 1352.25/1352.73 c current bound: 200897 1353.09/1353.57 c current bound: 200897 1353.93/1354.41 c current bound: 200897 1354.98/1355.26 c current bound: 200897 1355.61/1356.09 c current bound: 200897 1356.44/1356.93 c current bound: 200897 1357.29/1357.77 c current bound: 200897 1358.36/1358.62 c current bound: 200897 1358.97/1359.46 c current bound: 200897 1360.09/1360.30 c current bound: 200897 1360.66/1361.14 c current bound: 200897 1361.50/1361.99 c current bound: 200897 1362.57/1362.84 c current bound: 200897 1363.19/1363.67 c current bound: 200897 1364.03/1364.52 c current bound: 200897 1364.88/1365.36 c current bound: 200897 1365.99/1366.20 c current bound: 200897 1366.55/1367.04 c current bound: 200897 1367.40/1367.89 c current bound: 200897 1368.24/1368.74 c current bound: 200897 1369.27/1369.59 c current bound: 200897 1369.94/1370.42 c current bound: 200897 1370.79/1371.27 c current bound: 200897 1371.61/1372.10 c current bound: 200897 1372.69/1372.96 c current bound: 200897 1373.32/1373.80 c current bound: 200897 1374.17/1374.63 c current bound: 200897 1374.99/1375.48 c current bound: 200897 1375.84/1376.32 c current bound: 200897 1376.89/1377.17 c current bound: 200897 1377.53/1378.01 c current bound: 200897 1378.37/1378.84 c current bound: 200897 1379.20/1379.68 c current bound: 200897 1380.29/1380.51 c current bound: 200897 1380.87/1381.34 c current bound: 200897 1381.99/1382.20 c current bound: 200897 1382.57/1383.04 c current bound: 200897 1383.58/1383.88 c current bound: 200897 1384.24/1384.71 c current bound: 200897 1385.06/1385.54 c current bound: 200897 1385.90/1386.38 c current bound: 200897 1386.97/1387.21 c current bound: 200897 1387.59/1388.07 c current bound: 200897 1388.69/1388.90 c current bound: 200897 1389.26/1389.73 c current bound: 200897 1390.27/1390.56 c current bound: 200897 1390.92/1391.39 c current bound: 200897 1391.76/1392.23 c current bound: 200897 1392.62/1393.08 c current bound: 200897 1393.44/1393.92 c current bound: 200897 1394.49/1394.75 c current bound: 200897 1395.38/1395.60 c current bound: 200897 1395.95/1396.45 c current bound: 200897 1396.79/1397.28 c current bound: 200897 1397.86/1398.11 c current bound: 200897 1398.45/1398.94 c current bound: 200897 1399.30/1399.80 c current bound: 200897 1400.13/1400.63 c current bound: 200897 1401.17/1401.47 c current bound: 200897 1402.06/1402.30 c current bound: 200897 1402.62/1403.13 c current bound: 200897 1403.76/1404.00 c current bound: 200897 1404.55/1404.83 c current bound: 200897 1405.16/1405.65 c current bound: 200897 1406.26/1406.50 c current bound: 200897 1406.83/1407.34 c current bound: 200897 1407.67/1408.18 c current bound: 200897 1408.75/1409.03 c current bound: 200897 1409.36/1409.87 c current bound: 200897 1410.20/1410.71 c current bound: 200897 1411.04/1411.56 c current bound: 200897 1412.05/1412.39 c current bound: 200897 1412.71/1413.23 c current bound: 200897 1413.58/1414.08 c current bound: 200897 1414.41/1414.92 c current bound: 200897 1415.45/1415.76 c current bound: 200897 1416.07/1416.59 c current bound: 200897 1416.94/1417.45 c current bound: 200897 1417.78/1418.29 c current bound: 200897 1418.85/1419.12 c current bound: 200897 1419.44/1419.97 c current bound: 200897 1420.29/1420.80 c current bound: 200897 1421.15/1421.65 c current bound: 200897 1422.25/1422.50 c current bound: 200897 1423.05/1423.33 c current bound: 200897 1423.66/1424.17 c current bound: 200897 1424.52/1425.02 c current bound: 200897 1425.36/1425.86 c current bound: 200897 1426.34/1426.70 c current bound: 200897 1427.02/1427.54 c current bound: 200897 1428.15/1428.40 c current bound: 200897 1428.73/1429.23 c current bound: 200897 1429.74/1430.07 c current bound: 200897 1430.39/1430.90 c current bound: 200897 1431.25/1431.77 c current bound: 200897 1432.10/1432.63 c current bound: 200897 1433.13/1433.46 c current bound: 200897 1433.78/1434.29 c current bound: 200897 1434.61/1435.12 c current bound: 200897 1435.46/1435.97 c current bound: 200897 1436.30/1436.81 c current bound: 200897 1437.35/1437.65 c current bound: 200897 1437.96/1438.48 c current bound: 200897 1438.80/1439.31 c current bound: 200897 1439.63/1440.15 c current bound: 200897 1440.64/1440.98 c current bound: 200897 1441.29/1441.81 c current bound: 200897 1442.12/1442.64 c current bound: 200897 1442.95/1443.48 c current bound: 200897 1444.04/1444.31 c current bound: 200897 1444.62/1445.14 c current bound: 200897 1445.45/1445.97 c current bound: 200897 1446.29/1446.81 c current bound: 200897 1447.35/1447.64 c current bound: 200897 1447.94/1448.47 c current bound: 200897 1449.04/1449.30 c current bound: 200897 1449.63/1450.14 c current bound: 200897 1450.65/1450.99 c current bound: 200897 1451.29/1451.82 c current bound: 200897 1452.13/1452.65 c current bound: 200897 1452.95/1453.49 c current bound: 200897 1454.03/1454.32 c current bound: 200897 1454.62/1455.15 c current bound: 200897 1455.44/1455.98 c current bound: 200897 1456.28/1456.81 c current bound: 200897 1457.31/1457.64 c current bound: 200897 1457.92/1458.47 c current bound: 200897 1459.02/1459.30 c current bound: 200897 1459.60/1460.13 c current bound: 200897 1460.61/1460.96 c current bound: 200897 1461.24/1461.79 c current bound: 200897 1462.07/1462.62 c current bound: 200897 1462.92/1463.47 c current bound: 200897 1463.75/1464.30 c current bound: 200897 1464.80/1465.13 c current bound: 200897 1465.42/1465.96 c current bound: 200897 1466.26/1466.81 c current bound: 200897 1467.09/1467.65 c current bound: 200897 1468.10/1468.48 c current bound: 200897 1468.75/1469.31 c current bound: 200897 1469.61/1470.16 c current bound: 200897 1470.43/1471.00 c current bound: 200897 1471.49/1471.83 c current bound: 200897 1472.09/1472.67 c current bound: 200897 1472.96/1473.53 c current bound: 200897 1473.79/1474.36 c current bound: 200897 1474.80/1475.19 c current bound: 200897 1475.46/1476.02 c current bound: 200897 1476.28/1476.85 c current bound: 200897 1477.39/1477.70 c current bound: 200897 1478.18/1478.53 c current bound: 200897 1478.78/1479.36 c current bound: 200897 1479.63/1480.19 c current bound: 200897 1480.46/1481.03 c current bound: 200897 1481.48/1481.86 c current bound: 200897 1482.12/1482.69 c current bound: 200897 1482.96/1483.53 c current bound: 200897 1483.79/1484.36 c current bound: 200897 1484.89/1485.20 c current bound: 200897 1485.67/1486.04 c current bound: 200897 1486.29/1486.87 c current bound: 200897 1487.15/1487.72 c current bound: 200897 1487.98/1488.56 c current bound: 200897 1488.97/1489.39 c current bound: 200897 1489.64/1490.23 c current bound: 200897 1490.50/1491.08 c current bound: 200897 1491.33/1491.92 c current bound: 200897 1492.37/1492.75 c current bound: 200897 1493.01/1493.59 c current bound: 200897 1493.84/1494.42 c current bound: 200897 1494.67/1495.25 c current bound: 200897 1495.68/1496.09 c current bound: 200897 1496.34/1496.92 c current bound: 200897 1497.17/1497.76 c current bound: 200897 1498.01/1498.60 c current bound: 200897 1499.07/1499.43 c current bound: 200897 1499.67/1500.27 c current bound: 200897 1500.78/1501.10 c current bound: 200897 1501.34/1501.93 c current bound: 200897 1502.36/1502.77 c current bound: 200897 1503.01/1503.60 c current bound: 200897 1503.84/1504.43 c current bound: 200897 1504.69/1505.28 c current bound: 200897 1505.52/1506.11 c current bound: 200897 1506.56/1506.94 c current bound: 200897 1507.17/1507.77 c current bound: 200897 1508.27/1508.60 c current bound: 200897 1508.83/1509.43 c current bound: 200897 1509.87/1510.26 c current bound: 200897 1510.50/1511.09 c current bound: 200897 1511.35/1511.94 c current bound: 200897 1512.19/1512.78 c current bound: 200897 1513.25/1513.61 c current bound: 200897 1513.84/1514.45 c current bound: 200897 1514.69/1515.28 c current bound: 200897 1515.52/1516.12 c current bound: 200897 1516.55/1516.94 c current bound: 200897 1517.17/1517.77 c current bound: 200897 1518.01/1518.60 c current bound: 200897 1518.84/1519.43 c current bound: 200897 1519.87/1520.27 c current bound: 200897 1520.51/1521.09 c current bound: 200897 1521.34/1521.92 c current bound: 200897 1522.16/1522.77 c current bound: 200897 1523.26/1523.60 c current bound: 200897 1523.83/1524.43 c current bound: 200897 1524.67/1525.27 c current bound: 200897 1525.78/1526.10 c current bound: 200897 1526.55/1526.93 c current bound: 200897 1527.17/1527.76 c current bound: 200897 1528.00/1528.59 c current bound: 200897 1528.85/1529.44 c current bound: 200897 1529.68/1530.27 c current bound: 200897 1530.79/1531.11 c current bound: 200897 1531.37/1531.94 c current bound: 200897 1532.48/1532.80 c current bound: 200897 1533.04/1533.64 c current bound: 200897 1534.06/1534.47 c current bound: 200897 1534.73/1535.33 c current bound: 200897 1535.57/1536.17 c current bound: 200897 1536.40/1537.00 c current bound: 200897 1537.46/1537.84 c current bound: 200897 1538.07/1538.67 c current bound: 200897 1538.93/1539.53 c current bound: 200897 1539.78/1540.38 c current bound: 200897 1540.85/1541.21 c current bound: 200897 1541.44/1542.04 c current bound: 200897 1542.26/1542.89 c current bound: 200897 1543.13/1543.74 c current bound: 200897 1543.97/1544.57 c current bound: 200897 1545.06/1545.41 c current bound: 200897 1545.64/1546.24 c current bound: 200897 1546.46/1547.07 c current bound: 200897 1547.30/1547.91 c current bound: 200897 1548.35/1548.74 c current bound: 200897 1548.95/1549.57 c current bound: 200897 1549.79/1550.40 c current bound: 200897 1550.63/1551.24 c current bound: 200897 1551.65/1552.07 c current bound: 200897 1552.28/1552.89 c current bound: 200897 1553.10/1553.72 c current bound: 200897 1553.94/1554.56 c current bound: 200897 1554.94/1555.39 c current bound: 200897 1555.60/1556.22 c current bound: 200897 1556.46/1557.08 c current bound: 200897 1557.29/1557.91 c current bound: 200897 1558.33/1558.74 c current bound: 200897 1558.95/1559.58 c current bound: 200897 1559.78/1560.41 c current bound: 200897 1560.62/1561.25 c current bound: 200897 1561.63/1562.08 c current bound: 200897 1562.29/1562.92 c current bound: 200897 1563.14/1563.76 c current bound: 200897 1563.98/1564.60 c current bound: 200897 1565.03/1565.44 c current bound: 200897 1565.64/1566.27 c current bound: 200897 1566.51/1567.13 c current bound: 200897 1567.36/1567.98 c current bound: 200897 1568.19/1568.82 c current bound: 200897 1569.23/1569.65 c current bound: 200897 1569.85/1570.48 c current bound: 200897 1570.70/1571.33 c current bound: 200897 1571.53/1572.16 c current bound: 200897 1572.51/1573.00 c current bound: 200897 1573.19/1573.83 c current bound: 200897 1574.04/1574.68 c current bound: 200897 1574.89/1575.52 c current bound: 200897 1575.90/1576.35 c current bound: 200897 1576.53/1577.18 c current bound: 200897 1577.40/1578.04 c current bound: 200897 1578.24/1578.88 c current bound: 200897 1579.30/1579.71 c current bound: 200897 1579.90/1580.54 c current bound: 200897 1580.75/1581.38 c current bound: 200897 1581.59/1582.23 c current bound: 200897 1582.43/1583.07 c current bound: 200897 1583.53/1583.90 c current bound: 200897 1584.09/1584.73 c current bound: 200897 1584.94/1585.59 c current bound: 200897 1585.78/1586.42 c current bound: 200897 1586.81/1587.25 c current bound: 200897 1587.44/1588.08 c current bound: 200897 1588.26/1588.92 c current bound: 200897 1589.11/1589.76 c current bound: 200897 1590.12/1590.59 c current bound: 200897 1590.77/1591.42 c current bound: 200897 1591.60/1592.25 c current bound: 200897 1592.43/1593.09 c current bound: 200897 1593.50/1593.92 c current bound: 200897 1594.09/1594.75 c current bound: 200897 1594.95/1595.61 c current bound: 200897 1595.78/1596.44 c current bound: 200897 1596.81/1597.27 c current bound: 200897 1597.43/1598.11 c current bound: 200897 1598.28/1598.94 c current bound: 200897 1599.12/1599.79 c current bound: 200897 1600.20/1600.62 c current bound: 200897 1600.80/1601.45 c current bound: 200897 1601.62/1602.28 c current bound: 200897 1602.46/1603.13 c current bound: 200897 1603.30/1603.97 c current bound: 200897 1604.13/1604.80 c current bound: 200897 1604.97/1605.63 c current bound: 200897 1605.80/1606.46 c current bound: 200897 1606.64/1607.29 c current bound: 200897 1607.70/1608.12 c current bound: 200897 1608.28/1608.95 c current bound: 200897 1609.14/1609.80 c current bound: 200897 1609.97/1610.63 c current bound: 200897 1611.00/1611.46 c current bound: 200897 1611.63/1612.29 c current bound: 200897 1612.46/1613.13 c current bound: 200897 1613.30/1613.97 c current bound: 200897 1614.29/1614.80 c current bound: 200897 1614.96/1615.63 c current bound: 200897 1615.83/1616.48 c current bound: 200897 1616.65/1617.34 c current bound: 200897 1617.68/1618.17 c current bound: 200897 1618.60/1619.00 c current bound: 200897 1619.20/1619.86 c current bound: 200897 1620.05/1620.71 c current bound: 200897 1621.08/1621.55 c current bound: 200897 1621.71/1622.38 c current bound: 200897 1622.55/1623.21 c current bound: 200897 1623.35/1624.04 c current bound: 200897 1624.19/1624.87 c current bound: 200897 1625.28/1625.71 c current bound: 200897 1625.87/1626.54 c current bound: 200897 1626.70/1627.39 c current bound: 200897 1627.54/1628.22 c current bound: 200897 1628.57/1629.05 c current bound: 200897 1629.20/1629.88 c current bound: 200897 1630.04/1630.73 c current bound: 200897 1630.88/1631.58 c current bound: 200897 1631.97/1632.41 c current bound: 200897 1632.56/1633.24 c current bound: 200897 1633.37/1634.07 c current bound: 200897 1634.21/1634.91 c current bound: 200897 1635.27/1635.75 c current bound: 200897 1635.88/1636.58 c current bound: 200897 1636.71/1637.41 c current bound: 200897 1637.56/1638.26 c current bound: 200897 1638.56/1639.09 c current bound: 200897 1639.23/1639.92 c current bound: 200897 1640.07/1640.75 c current bound: 200897 1640.89/1641.59 c current bound: 200897 1641.97/1642.42 c current bound: 200897 1642.55/1643.25 c current bound: 200897 1643.39/1644.08 c current bound: 200897 1644.22/1644.92 c current bound: 200897 1645.25/1645.75 c current bound: 200897 1645.88/1646.59 c current bound: 200897 1646.73/1647.42 c current bound: 200897 1647.58/1648.27 c current bound: 200897 1648.40/1649.11 c current bound: 200897 1649.46/1649.94 c current bound: 200897 1650.07/1650.77 c current bound: 200897 1650.90/1651.60 c current bound: 200897 1651.73/1652.44 c current bound: 200897 1652.75/1653.27 c current bound: 200897 1653.39/1654.11 c current bound: 200897 1654.26/1654.97 c current bound: 200897 1655.11/1655.81 c current bound: 200897 1656.14/1656.65 c current bound: 200897 1656.76/1657.48 c current bound: 200897 1657.62/1658.35 c current bound: 200897 1658.75/1659.20 c current bound: 200897 1659.54/1660.03 c current bound: 200897 1660.15/1660.87 c current bound: 200897 1661.00/1661.70 c current bound: 200897 1661.84/1662.56 c current bound: 200897 1662.69/1663.39 c current bound: 200897 1663.75/1664.23 c current bound: 200897 1664.34/1665.05 c current bound: 200897 1665.18/1665.89 c current bound: 200897 1666.01/1666.73 c current bound: 200897 1667.05/1667.57 c current bound: 200897 1667.69/1668.43 c current bound: 200897 1668.54/1669.26 c current bound: 200897 1669.36/1670.09 c current bound: 200897 1670.43/1670.93 c current bound: 200897 1671.05/1671.76 c current bound: 200897 1671.90/1672.62 c current bound: 200897 1672.75/1673.45 c current bound: 200897 1673.73/1674.29 c current bound: 200897 1674.39/1675.12 c current bound: 200897 1675.23/1675.96 c current bound: 200897 1676.06/1676.79 c current bound: 200897 1677.13/1677.61 c current bound: 200897 1677.73/1678.46 c current bound: 200897 1678.58/1679.29 c current bound: 200897 1679.43/1680.14 c current bound: 200897 1680.25/1680.98 c current bound: 200897 1681.33/1681.81 c current bound: 200897 1681.92/1682.64 c current bound: 200897 1682.76/1683.49 c current bound: 200897 1683.61/1684.33 c current bound: 200897 1684.64/1685.18 c current bound: 200897 1685.27/1686.01 c current bound: 200897 1686.13/1686.88 c current bound: 200897 1686.98/1687.71 c current bound: 200897 1688.03/1688.54 c current bound: 200897 1688.64/1689.37 c current bound: 200897 1689.49/1690.23 c current bound: 200897 1690.33/1691.07 c current bound: 200897 1691.43/1691.90 c current bound: 200897 1691.99/1692.73 c current bound: 200897 1692.81/1693.56 c current bound: 200897 1693.64/1694.39 c current bound: 200897 1694.71/1695.22 c current bound: 200897 1695.52/1696.15 c current bound: 200897 1696.13/1696.98 c current bound: 200897 1696.98/1697.83 c current bound: 200897 1697.81/1698.67 c current bound: 200897 1698.92/1699.51 c current bound: 200897 1699.48/1700.33 c current bound: 200897 1700.33/1701.19 c current bound: 200897 1701.16/1702.02 c current bound: 200897 1702.20/1702.85 c current bound: 200897 1702.83/1703.69 c current bound: 200897 1703.68/1704.54 c current bound: 200897 1704.51/1705.37 c current bound: 200897 1705.60/1706.22 c current bound: 200897 1706.19/1707.06 c current bound: 200897 1707.03/1707.89 c current bound: 200897 1707.88/1708.74 c current bound: 200897 1708.71/1709.57 c current bound: 200897 1709.55/1710.40 c current bound: 200897 1710.37/1711.24 c current bound: 200897 1711.21/1712.08 c current bound: 200897 1712.05/1712.92 c current bound: 200897 1713.09/1713.75 c current bound: 200897 1713.73/1714.59 c current bound: 200897 1714.58/1715.44 c current bound: 200897 1715.42/1716.29 c current bound: 200897 1716.49/1717.12 c current bound: 200897 1717.08/1717.96 c current bound: 200897 1717.94/1718.82 c current bound: 200897 1718.80/1719.67 c current bound: 200897 1719.87/1720.51 c current bound: 200897 1720.45/1721.34 c current bound: 200897 1721.29/1722.18 c current bound: 200897 1722.14/1723.03 c current bound: 200897 1723.17/1723.86 c current bound: 200897 1723.81/1724.69 c current bound: 200897 1724.62/1725.52 c current bound: 200897 1725.48/1726.37 c current bound: 200897 1726.32/1727.20 c current bound: 200897 1727.38/1728.03 c current bound: 200897 1727.97/1728.86 c current bound: 200897 1728.82/1729.71 c current bound: 200897 1729.67/1730.55 c current bound: 200897 1730.67/1731.38 c current bound: 200897 1731.32/1732.20 c current bound: 200897 1732.15/1733.03 c current bound: 200897 1732.98/1733.87 c current bound: 200897 1734.08/1734.71 c current bound: 200897 1734.66/1735.54 c current bound: 200897 1735.79/1736.40 c current bound: 200897 1736.37/1737.24 c current bound: 200897 1737.37/1738.07 c current bound: 200897 1738.02/1738.91 c current bound: 200897 1738.89/1739.77 c current bound: 200897 1739.73/1740.61 c current bound: 200897 1740.77/1741.44 c current bound: 200897 1741.39/1742.27 c current bound: 200897 1742.49/1743.10 c current bound: 200897 1743.07/1743.94 c current bound: 200897 1743.90/1744.77 c current bound: 200897 1745.01/1745.63 c current bound: 200897 1745.56/1746.46 c current bound: 200897 1746.66/1747.30 c current bound: 200897 1747.23/1748.13 c current bound: 200897 1748.26/1748.96 c current bound: 200897 1748.89/1749.78 c current bound: 200897 1749.73/1750.63 c current bound: 200897 1750.55/1751.47 c current bound: 200897 1751.54/1752.29 c current bound: 200897 1752.21/1753.13 c current bound: 200897 1753.07/1753.98 c current bound: 200897 1753.91/1754.82 c current bound: 200897 1754.95/1755.65 c current bound: 200897 1755.57/1756.48 c current bound: 200897 1756.39/1757.31 c current bound: 200897 1757.23/1758.15 c current bound: 200897 1758.24/1758.98 c current bound: 200897 1758.89/1759.81 c current bound: 200897 1759.72/1760.64 c current bound: 200897 1760.57/1761.49 c current bound: 200897 1761.62/1762.32 c current bound: 200897 1762.22/1763.15 c current bound: 200897 1763.06/1763.98 c current bound: 200897 1763.91/1764.83 c current bound: 200897 1764.93/1765.66 c current bound: 200897 1765.56/1766.50 c current bound: 200897 1766.41/1767.33 c current bound: 200897 1767.25/1768.17 c current bound: 200897 1768.08/1769.00 c current bound: 200897 1769.13/1769.84 c current bound: 200897 1769.73/1770.67 c current bound: 200897 1770.58/1771.52 c current bound: 200897 1771.43/1772.36 c current bound: 200897 1772.43/1773.19 c current bound: 200897 1773.09/1774.04 c current bound: 200897 1774.22/1774.90 c current bound: 200897 1774.80/1775.74 c current bound: 200897 1775.82/1776.57 c current bound: 200897 1776.46/1777.40 c current bound: 200897 1777.32/1778.26 c current bound: 200897 1778.18/1779.11 c current bound: 200897 1779.21/1779.94 c current bound: 200897 1779.83/1780.78 c current bound: 200897 1780.67/1781.61 c current bound: 200897 1781.51/1782.45 c current bound: 200897 1782.33/1783.28 c current bound: 200897 1783.41/1784.12 c current bound: 200897 1784.02/1784.96 c current bound: 200897 1784.88/1785.82 c current bound: 200897 1785.71/1786.65 c current bound: 200897 1786.71/1787.49 c current bound: 200897 1787.38/1788.32 c current bound: 200897 1788.21/1789.16 c current bound: 200897 1789.05/1790.00 c current bound: 200897 1790.11/1790.85 c current bound: 200897 1790.73/1791.69 c current bound: 200897 1791.58/1792.53 c current bound: 200897 1792.42/1793.37 c current bound: 200897 1793.50/1794.21 c current bound: 200897 1794.09/1795.04 c current bound: 200897 1794.92/1795.87 c current bound: 200897 1795.76/1796.71 c current bound: 200897 1796.79/1797.54 c current bound: 200897 1797.41/1798.38 c current bound: 200897 1798.26/1799.21 c current bound: 200897 1799.11/1800.07 c current bound: 200897 1799.91/1800.61 ./satsolver.sh: line 5: 31328 Terminated ./glucose $1 > $2 2> /dev/null 1799.91/1800.61 c error: unexpected solver exit code 1799.91/1800.61 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3752858-1339212712/watcher-3752858-1339212712 -o /tmp/evaluation-result-3752858-1339212712/solver-3752858-1339212712 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752858-1339212712.wbo 849100308 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: 6.16 4.33 3.02 3/178 16236 /proc/meminfo: memFree=19166920/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [startup+0.0751421 s] /proc/loadavg: 6.16 4.33 3.02 3/178 16236 /proc/meminfo: memFree=19166920/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100317 s] /proc/loadavg: 6.16 4.33 3.02 3/178 16236 /proc/meminfo: memFree=19166920/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300238 s] /proc/loadavg: 6.16 4.33 3.02 3/178 16236 /proc/meminfo: memFree=19166920/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700161 s] /proc/loadavg: 6.16 4.33 3.02 3/178 16236 /proc/meminfo: memFree=19166920/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50021 s] /proc/loadavg: 6.16 4.33 3.02 3/182 16253 /proc/meminfo: memFree=18938872/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1.19 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 7904 23220 0 1 22 6 76 15 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 33608 [startup+3.10021 s] /proc/loadavg: 6.16 4.33 3.02 3/182 16264 /proc/meminfo: memFree=18690856/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=2.83 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 12448 54999 0 1 37 8 195 43 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 2.83 Current children cumulated vsize (KiB) 33608 [startup+6.30021 s] /proc/loadavg: 5.83 4.29 3.01 3/182 16292 /proc/meminfo: memFree=18079428/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=6.16 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 21536 116450 0 1 68 11 438 99 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 6.16 Current children cumulated vsize (KiB) 33608 [startup+12.7003 s] /proc/loadavg: 5.52 4.25 3.00 3/180 16346 /proc/meminfo: memFree=16965832/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=12.51 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 37448 238173 0 1 123 18 908 202 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 12.51 Current children cumulated vsize (KiB) 33608 [startup+25.5002 s] /proc/loadavg: 4.82 4.16 2.99 3/182 16456 /proc/meminfo: memFree=14423324/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=25.35 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 73792 480207 0 1 247 32 1833 423 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 33608 [startup+51.1003 s] /proc/loadavg: 3.86 3.98 2.97 3/179 16726 /proc/meminfo: memFree=30750292/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=50.95 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 141960 965995 0 1 481 59 3703 852 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 50.95 Current children cumulated vsize (KiB) 33608 [startup+102.307 s] /proc/loadavg: 2.80 3.68 2.91 3/181 17158 /proc/meminfo: memFree=30721552/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=102.21 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) R 16236 16236 13761 0 -1 4202496 282655 1941871 0 1 960 113 7421 1727 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859801296 5056689 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 33608 [startup+162.3 s] /proc/loadavg: 2.21 3.35 2.85 3/181 17655 /proc/meminfo: memFree=30721144/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=162.09 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 444136 3081565 0 1 1514 176 11792 2727 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 162.09 Current children cumulated vsize (KiB) 33608 [startup+222.3 s] /proc/loadavg: 2.08 3.10 2.79 4/181 18163 /proc/meminfo: memFree=30687496/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=221.86 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 607712 4210511 0 1 2072 243 16135 3736 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 [pid=18162] ppid=16237 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18162/stat : 18162 (satsolver.sh) S 16237 16236 13761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387419755 9367552 266 33554432000 4194304 5064252 140735654461296 140735654460208 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/18162/statm: 2287 266 226 213 0 72 0 [pid=18163] ppid=18162 vsize=48204 CPUtime=0.27 cores=0,2,4,6 /proc/18163/stat : 18163 (glucose) R 18162 16236 13761 0 -1 4202496 9822 0 0 0 25 2 0 0 20 0 1 0 387419755 49360896 11033 33554432000 4194304 5208918 140734928962864 140734928960808 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/18163/statm: 12051 11033 95 248 0 11800 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 90960 [startup+282.3 s] /proc/loadavg: 2.10 2.92 2.74 3/181 18657 /proc/meminfo: memFree=30720260/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=281.85 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 769032 5338908 0 1 2626 307 20513 4739 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 281.85 Current children cumulated vsize (KiB) 33608 [startup+342.3 s] /proc/loadavg: 2.07 2.75 2.70 3/181 19158 /proc/meminfo: memFree=30682324/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=342.04 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) R 16236 16236 13761 0 -1 4202496 931770 6464694 0 1 3228 374 24848 5754 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859801296 5056727 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 342.04 ################ # More data... # ################ /proc/meminfo: memFree=30681896/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1182.09 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) R 16236 16236 13761 0 -1 4202496 3192513 22232819 0 1 11012 1271 85918 20008 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859801296 5056727 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 33608 [startup+1242.3 s] /proc/loadavg: 1.99 2.00 2.23 3/179 26634 /proc/meminfo: memFree=30688192/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1241.61 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 3354560 23362725 0 1 11567 1336 90252 21006 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 1241.61 Current children cumulated vsize (KiB) 33608 [startup+1302.3 s] /proc/loadavg: 1.94 1.98 2.21 3/181 27136 /proc/meminfo: memFree=30673268/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1301.82 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 3515880 24500224 0 1 12166 1404 94605 22007 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 [pid=27134] ppid=16237 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27134/stat : 27134 (cp2_post.sh) S 16237 16236 13761 0 -1 4202496 611 226 0 0 0 0 0 0 20 0 1 0 387527759 9367552 266 33554432000 4194304 5064252 140735422355344 140735422353632 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27134/statm: 2287 266 225 213 0 72 0 [pid=27136] ppid=27134 vsize=10256 CPUtime=0.23 cores=0,2,4,6 /proc/27136/stat : 27136 (coprocessor) R 27134 16236 13761 0 -1 4202496 2079 0 0 0 14 9 0 0 20 0 1 0 387527759 10502144 1743 33554432000 4194304 6586260 140736745567024 140736745563592 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 /proc/27136/statm: 2564 1743 148 584 0 1976 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 53012 [startup+1362.3 s] /proc/loadavg: 1.98 1.98 2.19 3/181 27630 /proc/meminfo: memFree=30630776/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1361.86 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 3679456 25639608 0 1 12773 1473 98914 23026 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 33608 [startup+1422.31 s] /proc/loadavg: 2.15 2.04 2.19 3/181 28134 /proc/meminfo: memFree=30624828/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1421.97 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 3840776 26772880 0 1 13334 1538 103275 24050 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 33608 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.17 3/182 28635 /proc/meminfo: memFree=30658612/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1481.64 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 4004352 27896525 0 1 13893 1603 107611 25057 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 1481.64 Current children cumulated vsize (KiB) 33608 [startup+1542.3 s] /proc/loadavg: 2.03 2.01 2.16 3/179 29141 /proc/meminfo: memFree=30664972/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1541.79 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 4167936 29040456 0 1 14450 1670 112002 26057 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 33608 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.15 3/179 29640 /proc/meminfo: memFree=30660036/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1601.9 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) R 16236 16236 13761 0 -1 4202496 4330285 30181062 0 1 15002 1734 116372 27082 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859801296 5056727 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 33608 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.14 3/181 30146 /proc/meminfo: memFree=30610220/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1661.84 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 4432542 31324440 0 1 15560 1795 120753 28076 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 33608 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.13 3/180 30644 /proc/meminfo: memFree=30684520/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1721.65 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 4522534 32442873 0 1 16121 1854 125095 29095 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 33608 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.12 3/182 31174 /proc/meminfo: memFree=30631416/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1781.51 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 4611292 33567796 0 1 16673 1913 129463 30102 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (KiB) 33608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.00 2.00 2.11 3/182 31328 /proc/meminfo: memFree=30629952/32873852 swapFree=6860/6860 [pid=16236] ppid=16234 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16236/stat : 16236 (npSolver-wbo-It) S 16234 16236 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387397553 9367552 275 33554432000 4194304 5064252 140735510483904 140735510482816 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16236/statm: 2287 275 233 213 0 72 0 [pid=16237] ppid=16236 vsize=24460 CPUtime=1799.46 cores=0,2,4,6 /proc/16237/stat : 16237 (npSolver-wbo) S 16236 16236 13761 0 -1 4202496 4638784 33902763 0 1 16843 1931 130759 30413 20 0 1 0 387397553 25047040 5354 33554432000 4194304 6006132 140736859809360 140736859800720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/16237/statm: 6115 5354 176 443 0 5668 0 [pid=31327] ppid=16237 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31327/stat : 31327 (satsolver.sh) S 16237 16236 13761 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387577568 9367552 267 33554432000 4194304 5064252 140735499621344 140735499620256 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/31327/statm: 2287 267 226 213 0 72 0 [pid=31328] ppid=31327 vsize=49488 CPUtime=0.45 cores=0,2,4,6 /proc/31328/stat : 31328 (glucose) R 31327 16236 13761 0 -1 4202496 11347 0 0 0 43 2 0 0 20 0 1 0 387577568 50675712 11018 33554432000 4194304 5208918 140736874735152 140736874732984 4699121 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/31328/statm: 12372 11018 104 248 0 12121 0 Current children cumulated CPU time (s) 1799.91 Current children cumulated vsize (KiB) 92244 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.380035 # lost CPU user time (s): 0.360046 # lost CPU system time (s): 0.0200119 Real time (s): 1800.62 CPU time (s): 1800.32 CPU user time (s): 1476.83 CPU system time (s): 323.493 CPU usage (%): 99.9835 Max. virtual memory (cumulated for all children) (KiB): 92244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1476.47 system time used= 323.473 maximum resident set size= 45476 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38553885 page faults= 1 swaps= 0 block input operations= 232 block output operations= 29510576 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 598137 involuntary context switches= 30917 runsolver used 2.86856 second user time and 7.52086 second system time The end
Begin job on node128 at 2012-06-09 05:31:56 IDJOB=3752858 IDBENCH=79588 IDSOLVER=2336 FILE ID=node128/3752858-1339212712 RUNJOBID= node128-1339208516-14148 PBS_JOBID= 14643854 Free space on /tmp= 66632 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/zenotravel/normalized-zenotravel02ac_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752858-1339212712/watcher-3752858-1339212712 -o /tmp/evaluation-result-3752858-1339212712/solver-3752858-1339212712 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752858-1339212712.wbo 849100308 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4b904f6ad53040fc0308c95ff970bc82 RANDOM SEED=849100308 node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 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 : 5438.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 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 : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 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 : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 19174848 kB Buffers: 322416 kB Cached: 4406500 kB SwapCached: 1896 kB Active: 9578024 kB Inactive: 3096868 kB Active(anon): 7877932 kB Inactive(anon): 70492 kB Active(file): 1700092 kB Inactive(file): 3026376 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67100788 kB Dirty: 672452 kB Writeback: 0 kB AnonPages: 7829920 kB Mapped: 10476 kB Shmem: 0 kB Slab: 869916 kB SReclaimable: 311208 kB SUnreclaim: 558708 kB KernelStack: 1488 kB PageTables: 19984 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 8584892 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 5218304 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= 70704 MiB End job on node128 at 2012-06-09 06:01:57