Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.7 | 1803.91 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo |
MD5SUM | 877b894215c8e906897b9f5c7b76fab3 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 3.80542 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 10500 |
Total number of constraints | 205 |
Number of soft constraints | 74 |
Number of constraints which are clauses | 105 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 105 |
Top cost | 3754 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 3753 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 106 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.07 c run usual solver 0.00/0.67 o 757 0.00/0.67 c starting approximation 0.00/0.67 c factor = 2 0.00/0.67 c current bound: 378 1.33/1.41 c current bound: 378 2.07/2.19 c current bound: 378 2.19/2.98 c current bound: 378 3.68/3.77 c current bound: 378 4.47/4.56 c current bound: 378 4.55/5.29 c current bound: 378 5.98/6.08 c current bound: 378 6.76/6.83 c current bound: 378 6.84/7.60 c current bound: 378 7.61/8.37 c current bound: 378 9.08/9.16 c current bound: 378 9.90/9.94 c current bound: 378 10.62/10.72 c current bound: 378 11.33/11.49 c current bound: 378 12.16/12.25 c current bound: 378 12.94/13.03 c current bound: 378 13.72/13.82 c current bound: 378 14.43/14.55 c current bound: 378 14.54/15.30 c current bound: 378 15.93/16.02 c current bound: 378 16.73/16.82 c current bound: 378 17.44/17.59 c current bound: 378 17.57/18.37 c current bound: 378 19.06/19.16 c current bound: 378 19.89/20.12 c current bound: 378 20.56/20.88 c current bound: 378 21.37/21.64 c current bound: 378 22.16/22.43 c current bound: 378 22.88/23.16 c current bound: 378 23.63/23.91 c current bound: 378 24.38/24.69 c current bound: 378 25.18/25.47 c current bound: 378 25.95/26.25 c current bound: 378 26.64/26.99 c current bound: 378 27.45/27.74 c current bound: 378 28.26/28.52 c current bound: 378 28.30/29.26 c current bound: 378 29.71/30.00 c current bound: 378 30.56/30.81 c current bound: 378 30.57/31.58 c current bound: 378 32.01/32.32 c current bound: 378 32.79/33.11 c current bound: 378 32.87/33.85 c current bound: 378 34.34/34.65 c current bound: 378 35.13/35.44 c current bound: 378 35.93/36.26 c current bound: 378 36.67/37.00 c current bound: 378 37.42/37.79 c current bound: 378 38.21/38.54 c current bound: 378 39.01/39.33 c current bound: 378 39.71/40.10 c current bound: 378 40.52/40.84 c current bound: 378 41.32/41.64 c current bound: 378 42.11/42.43 c current bound: 378 42.82/43.16 c current bound: 378 42.91/43.90 c current bound: 378 43.65/44.68 c current bound: 378 45.12/45.45 c current bound: 378 45.93/46.25 c current bound: 378 46.72/47.05 c current bound: 378 47.50/47.85 c current bound: 378 48.27/48.61 c current bound: 378 48.35/49.39 c current bound: 378 49.79/50.12 c current bound: 378 50.60/50.92 c current bound: 378 51.32/51.66 c current bound: 378 52.10/52.44 c current bound: 378 52.90/53.23 c current bound: 378 53.73/54.00 c current bound: 378 53.75/54.79 c current bound: 378 55.21/55.54 c current bound: 378 56.00/56.33 c current bound: 378 56.07/57.08 c current bound: 378 57.52/57.88 c current bound: 378 58.27/58.62 c current bound: 378 59.06/59.41 c current bound: 378 59.13/60.16 c current bound: 378 60.59/60.95 c current bound: 378 61.37/61.73 c current bound: 378 62.16/62.50 c current bound: 378 62.99/63.31 c current bound: 378 63.76/64.13 c current bound: 378 64.58/64.95 c current bound: 378 64.64/65.78 c current bound: 378 66.25/66.62 c current bound: 378 66.96/67.39 c current bound: 378 67.78/68.17 c current bound: 378 68.53/68.91 c current bound: 378 69.27/69.69 c current bound: 378 70.07/70.48 c current bound: 378 70.18/71.26 c current bound: 378 71.63/72.01 c current bound: 378 72.38/72.74 c current bound: 378 72.45/73.49 c current bound: 378 73.88/74.25 c current bound: 378 74.57/74.99 c current bound: 378 75.38/75.75 c current bound: 378 76.08/76.48 c current bound: 378 76.86/77.28 c current bound: 378 77.69/78.06 c current bound: 378 78.50/78.85 c current bound: 378 79.18/79.59 c current bound: 378 79.99/80.30 c current bound: 378 80.01/81.08 c current bound: 378 81.48/81.86 c current bound: 378 82.18/82.59 c current bound: 378 82.96/83.32 c current bound: 378 83.67/84.06 c current bound: 378 84.48/84.89 c current bound: 378 85.18/85.64 c current bound: 378 85.96/86.42 c current bound: 378 86.75/87.21 c current bound: 378 87.49/87.95 c current bound: 378 87.56/88.69 c current bound: 378 88.98/89.47 c current bound: 378 89.79/90.27 c current bound: 378 90.53/91.01 c current bound: 378 91.24/91.79 c current bound: 378 92.06/92.58 c current bound: 378 92.16/93.37 c current bound: 378 93.67/94.15 c current bound: 378 94.36/94.89 c current bound: 378 95.16/95.67 c current bound: 378 95.96/96.45 c current bound: 378 96.66/97.18 c current bound: 378 97.46/97.98 c current bound: 378 97.57/98.76 c current bound: 378 99.03/99.51 c current bound: 378 99.76/100.26 c current bound: 378 100.56/101.04 c current bound: 378 101.25/101.77 c current bound: 378 102.07/102.55 c current bound: 378 102.15/103.29 c current bound: 378 103.57/104.03 c current bound: 378 104.35/104.81 c current bound: 378 105.14/105.61 c current bound: 378 105.98/106.40 c current bound: 378 106.67/107.18 c current bound: 378 107.47/107.97 c current bound: 378 108.24/108.71 c current bound: 378 108.98/109.44 c current bound: 378 109.77/110.24 c current bound: 378 110.57/111.02 c current bound: 378 111.34/111.84 c current bound: 378 112.05/112.58 c current bound: 378 112.85/113.37 c current bound: 378 112.96/114.16 c current bound: 378 114.42/114.91 c current bound: 378 115.16/115.65 c current bound: 378 115.95/116.43 c current bound: 378 116.78/117.30 c current bound: 378 117.47/118.09 c current bound: 378 118.29/118.88 c current bound: 378 119.05/119.62 c current bound: 378 119.78/120.37 c current bound: 378 120.54/121.10 c current bound: 378 120.62/121.89 c current bound: 378 122.07/122.66 c current bound: 378 122.89/123.44 c current bound: 378 123.69/124.24 c current bound: 378 124.46/125.01 c current bound: 378 125.18/125.80 c current bound: 378 125.98/126.56 c current bound: 378 126.08/127.28 c current bound: 378 127.49/128.08 c current bound: 378 128.29/128.86 c current bound: 378 129.10/129.60 c current bound: 378 129.79/130.36 c current bound: 378 130.59/131.14 c current bound: 378 131.40/131.95 c current bound: 378 132.16/132.72 c current bound: 378 132.96/133.51 c current bound: 378 133.70/134.29 c current bound: 378 134.48/135.02 c current bound: 378 135.27/135.81 c current bound: 378 136.00/136.55 c current bound: 378 136.78/137.33 c current bound: 378 137.58/138.14 c current bound: 378 138.39/138.94 c current bound: 378 139.10/139.67 c current bound: 378 139.86/140.41 c current bound: 378 140.65/141.21 c current bound: 378 141.39/141.94 c current bound: 378 142.18/142.73 c current bound: 378 142.89/143.48 c current bound: 378 143.68/144.28 c current bound: 378 143.78/145.07 c current bound: 378 145.25/145.82 c current bound: 378 145.97/146.55 c current bound: 378 146.07/147.30 c current bound: 378 147.55/148.11 c current bound: 378 148.34/148.91 c current bound: 378 149.08/149.69 c current bound: 378 149.87/150.43 c current bound: 378 150.59/151.16 c current bound: 378 151.38/151.95 c current bound: 378 152.17/152.73 c current bound: 378 152.88/153.47 c current bound: 378 153.68/154.26 c current bound: 378 154.50/155.09 c current bound: 378 154.56/155.87 c current bound: 378 156.05/156.64 c current bound: 378 156.85/157.43 c current bound: 378 157.63/158.22 c current bound: 378 158.34/158.99 c current bound: 378 159.15/159.73 c current bound: 378 159.21/160.48 c current bound: 378 160.65/161.25 c current bound: 378 161.45/162.00 c current bound: 378 162.16/162.79 c current bound: 378 162.94/163.53 c current bound: 378 163.75/164.33 c current bound: 378 164.46/165.10 c current bound: 378 164.59/165.89 c current bound: 378 166.05/166.66 c current bound: 378 166.88/167.40 c current bound: 378 166.89/168.19 c current bound: 378 168.35/168.93 c current bound: 378 169.06/169.66 c current bound: 378 169.85/170.44 c current bound: 378 170.64/171.23 c current bound: 378 171.36/171.97 c current bound: 378 172.15/172.76 c current bound: 378 172.97/173.50 c current bound: 378 173.66/174.29 c current bound: 378 174.47/175.05 c current bound: 378 175.25/175.83 c current bound: 378 176.05/176.63 c current bound: 378 176.83/177.41 c current bound: 378 177.57/178.20 c current bound: 378 177.69/178.97 c current bound: 378 179.06/179.69 c current bound: 378 179.88/180.46 c current bound: 378 180.66/181.23 c current bound: 378 181.51/182.10 c current bound: 378 182.18/182.84 c current bound: 378 183.00/183.62 c current bound: 378 183.75/184.41 c current bound: 378 184.50/185.14 c current bound: 378 185.19/185.89 c current bound: 378 185.32/186.68 c current bound: 378 186.75/187.40 c current bound: 378 187.49/188.14 c current bound: 378 187.57/188.88 c current bound: 378 188.99/189.64 c current bound: 378 189.77/190.42 c current bound: 378 190.60/191.20 c current bound: 378 191.29/192.00 c current bound: 378 192.09/192.76 c current bound: 378 192.87/193.53 c current bound: 378 193.64/194.31 c current bound: 378 194.38/195.04 c current bound: 378 195.17/195.83 c current bound: 378 195.24/196.57 c current bound: 378 196.68/197.37 c current bound: 378 197.48/198.10 c current bound: 378 197.51/198.89 c current bound: 378 198.98/199.66 c current bound: 378 199.68/200.39 c current bound: 378 200.48/201.14 c current bound: 378 201.17/201.88 c current bound: 378 201.96/202.62 c current bound: 378 202.78/203.40 c current bound: 378 202.81/204.19 c current bound: 378 204.27/204.98 c current bound: 378 205.10/205.75 c current bound: 378 205.88/206.53 c current bound: 378 206.66/207.32 c current bound: 378 207.38/208.09 c current bound: 378 207.51/208.88 c current bound: 378 208.95/209.61 c current bound: 378 209.68/210.39 c current bound: 378 210.48/211.16 c current bound: 378 211.27/211.92 c current bound: 378 211.98/212.67 c current bound: 378 212.75/213.41 c current bound: 378 213.58/214.22 c current bound: 378 214.25/214.96 c current bound: 378 215.03/215.71 c current bound: 378 215.87/216.50 c current bound: 378 216.56/217.28 c current bound: 378 217.36/218.07 c current bound: 378 218.19/218.85 c current bound: 378 218.94/219.62 c current bound: 378 219.65/220.36 c current bound: 378 220.43/221.11 c current bound: 378 220.51/221.89 c current bound: 378 221.96/222.68 c current bound: 378 222.77/223.46 c current bound: 378 222.86/224.19 c current bound: 378 224.25/224.98 c current bound: 378 225.07/225.74 c current bound: 378 225.14/226.50 c current bound: 378 225.89/227.28 c current bound: 378 227.36/228.08 c current bound: 378 228.18/228.85 c current bound: 378 228.97/229.64 c current bound: 378 229.76/230.43 c current bound: 378 230.55/231.22 c current bound: 378 231.38/232.00 c current bound: 378 232.07/232.74 c current bound: 378 232.85/233.52 c current bound: 378 233.57/234.30 c current bound: 378 234.44/235.12 c current bound: 378 235.25/235.92 c current bound: 378 236.04/236.71 c current bound: 378 236.12/237.45 c current bound: 378 237.54/238.21 c current bound: 378 238.28/238.95 c current bound: 378 238.34/239.69 c current bound: 378 239.10/240.47 c current bound: 378 240.65/241.30 c current bound: 378 241.35/242.06 c current bound: 378 241.43/242.78 c current bound: 378 242.80/243.51 c current bound: 378 243.53/244.29 c current bound: 378 243.65/245.07 c current bound: 378 245.13/245.85 c current bound: 378 245.94/246.64 c current bound: 378 246.01/247.38 c current bound: 378 247.43/248.16 c current bound: 378 248.24/248.94 c current bound: 378 249.02/249.73 c current bound: 378 249.82/250.51 c current bound: 378 250.54/251.29 c current bound: 378 251.33/252.03 c current bound: 378 252.11/252.82 c current bound: 378 252.95/253.60 c current bound: 378 253.63/254.38 c current bound: 378 254.45/255.17 c current bound: 378 254.55/255.96 c current bound: 378 256.05/256.75 c current bound: 378 256.84/257.54 c current bound: 378 257.64/258.33 c current bound: 378 258.34/259.06 c current bound: 378 259.05/259.78 c current bound: 378 259.17/260.56 c current bound: 378 260.56/261.29 c current bound: 378 261.34/262.04 c current bound: 378 261.43/262.78 c current bound: 378 262.17/263.56 c current bound: 378 263.62/264.30 c current bound: 378 264.36/265.09 c current bound: 378 264.49/265.86 c current bound: 378 265.95/266.64 c current bound: 378 266.65/267.37 c current bound: 378 267.47/268.15 c current bound: 378 268.14/268.89 c current bound: 378 268.95/269.66 c current bound: 378 269.74/270.44 c current bound: 378 270.53/271.22 c current bound: 378 271.24/271.97 c current bound: 378 272.06/272.71 c current bound: 378 272.07/273.48 c current bound: 378 273.53/274.22 c current bound: 378 274.24/274.96 c current bound: 378 275.06/275.74 c current bound: 378 275.84/276.53 c current bound: 378 276.61/277.30 c current bound: 378 276.68/278.07 c current bound: 378 278.14/278.86 c current bound: 378 278.95/279.66 c current bound: 378 279.04/280.38 c current bound: 378 279.76/281.16 c current bound: 378 281.25/281.95 c current bound: 378 282.03/282.73 c current bound: 378 282.86/283.50 c current bound: 378 283.55/284.24 c current bound: 378 284.25/284.98 c current bound: 378 285.02/285.71 c current bound: 378 285.74/286.43 c current bound: 378 286.55/287.29 c current bound: 378 287.35/288.03 c current bound: 378 288.05/288.77 c current bound: 378 288.85/289.55 c current bound: 378 288.94/290.29 c current bound: 378 289.68/291.08 c current bound: 378 291.15/291.86 c current bound: 378 291.96/292.65 c current bound: 378 292.72/293.41 c current bound: 378 293.52/294.20 c current bound: 378 294.36/295.01 c current bound: 378 294.37/295.79 c current bound: 378 295.82/296.52 c current bound: 378 296.59/297.31 c current bound: 378 297.34/298.04 c current bound: 378 297.40/298.77 c current bound: 378 298.83/299.53 c current bound: 378 299.61/300.31 c current bound: 378 300.40/301.10 c current bound: 378 301.11/301.82 c current bound: 378 301.90/302.61 c current bound: 378 301.96/303.39 c current bound: 378 303.43/304.14 c current bound: 378 304.22/304.93 c current bound: 378 305.05/305.71 c current bound: 378 305.06/306.48 c current bound: 378 306.53/307.27 c current bound: 378 307.35/308.05 c current bound: 378 308.15/308.80 c current bound: 378 308.83/309.57 c current bound: 378 309.65/310.35 c current bound: 378 310.44/311.10 c current bound: 378 311.13/311.84 c current bound: 378 311.83/312.57 c current bound: 378 311.93/313.36 c current bound: 378 313.44/314.15 c current bound: 378 314.23/314.93 c current bound: 378 314.94/315.66 c current bound: 378 315.02/316.39 c current bound: 378 316.44/317.16 c current bound: 378 317.25/317.95 c current bound: 378 318.02/318.72 c current bound: 378 318.74/319.45 c current bound: 378 319.54/320.23 c current bound: 378 320.33/321.02 c current bound: 378 321.10/321.80 c current bound: 378 321.80/322.57 c current bound: 378 322.61/323.35 c current bound: 378 322.68/324.09 c current bound: 378 324.10/324.87 c current bound: 378 324.81/325.59 c current bound: 378 325.61/326.34 c current bound: 378 326.30/327.07 c current bound: 378 327.11/327.84 c current bound: 378 327.89/328.62 c current bound: 378 328.67/329.41 c current bound: 378 329.47/330.21 c current bound: 378 330.22/330.95 c current bound: 378 330.97/331.71 c current bound: 378 331.70/332.44 c current bound: 378 332.51/333.27 c current bound: 378 332.61/334.06 c current bound: 378 334.12/334.86 c current bound: 378 334.86/335.60 c current bound: 378 335.60/336.34 c current bound: 378 336.38/337.13 c current bound: 378 337.19/337.96 c current bound: 378 337.98/338.70 c current bound: 378 337.99/339.48 c current bound: 378 339.58/340.30 c current bound: 378 340.33/341.10 c current bound: 378 341.17/341.90 c current bound: 378 341.86/342.65 c current bound: 378 342.65/343.43 c current bound: 378 342.73/344.18 c current bound: 378 344.16/344.98 c current bound: 378 344.96/345.77 c current bound: 378 345.76/346.55 c current bound: 378 346.53/347.31 c current bound: 378 347.26/348.07 c current bound: 378 348.07/348.89 c current bound: 378 348.82/349.63 c current bound: 378 349.56/350.38 c current bound: 378 350.35/351.16 c current bound: 378 351.15/351.95 c current bound: 378 351.93/352.74 c current bound: 378 352.64/353.47 c current bound: 378 353.42/354.22 c current bound: 378 354.20/355.00 c current bound: 378 354.93/355.78 c current bound: 378 355.75/356.55 c current bound: 378 356.55/357.30 c current bound: 378 357.24/358.05 c current bound: 378 357.93/358.79 c current bound: 378 358.06/359.56 c current bound: 378 359.49/360.31 c current bound: 378 360.24/361.09 c current bound: 378 361.03/361.84 c current bound: 378 361.11/362.58 c current bound: 378 362.50/363.32 c current bound: 378 363.24/364.05 c current bound: 378 363.30/364.79 c current bound: 378 364.72/365.53 c current bound: 378 365.50/366.31 c current bound: 378 366.29/367.11 c current bound: 378 367.03/367.86 c current bound: 378 367.84/368.60 c current bound: 378 368.52/369.34 c current bound: 378 369.31/370.17 c current bound: 378 370.07/370.94 c current bound: 378 370.89/371.73 c current bound: 378 371.65/372.51 c current bound: 378 372.39/373.24 c current bound: 378 373.16/374.02 c current bound: 378 373.99/374.80 c current bound: 378 374.68/375.59 c current bound: 378 375.47/376.33 c current bound: 378 375.55/377.08 c current bound: 378 376.98/377.87 c current bound: 378 377.75/378.61 c current bound: 378 378.58/379.41 c current bound: 378 378.62/380.19 c current bound: 378 380.08/380.98 c current bound: 378 380.88/381.74 c current bound: 378 381.66/382.53 c current bound: 378 382.44/383.31 c current bound: 378 383.18/384.05 c current bound: 378 383.25/384.79 c current bound: 378 384.66/385.53 c current bound: 378 385.37/386.28 c current bound: 378 385.48/387.06 c current bound: 378 386.87/387.79 c current bound: 378 387.66/388.59 c current bound: 378 388.48/389.38 c current bound: 378 389.23/390.11 c current bound: 378 389.98/390.85 c current bound: 378 390.79/391.66 c current bound: 378 391.57/392.45 c current bound: 378 392.35/393.21 c current bound: 378 393.18/394.00 c current bound: 378 393.20/394.79 c current bound: 378 393.99/395.59 c current bound: 378 395.53/396.40 c current bound: 378 396.27/397.18 c current bound: 378 396.35/397.97 c current bound: 378 397.84/398.70 c current bound: 378 398.64/399.55 c current bound: 378 399.42/400.33 c current bound: 378 399.49/401.08 c current bound: 378 400.92/401.87 c current bound: 378 401.70/402.62 c current bound: 378 402.43/403.35 c current bound: 378 403.19/404.11 c current bound: 378 403.97/404.90 c current bound: 378 404.83/405.70 c current bound: 378 405.52/406.44 c current bound: 378 406.22/407.19 c current bound: 378 406.33/408.00 c current bound: 378 407.13/408.79 c current bound: 378 408.61/409.56 c current bound: 378 409.41/410.35 c current bound: 378 410.18/411.13 c current bound: 378 410.98/411.92 c current bound: 378 411.76/412.70 c current bound: 378 411.83/413.49 c current bound: 378 412.62/414.29 c current bound: 378 414.10/415.03 c current bound: 378 414.81/415.79 c current bound: 378 414.92/416.57 c current bound: 378 416.41/417.35 c current bound: 378 417.21/418.15 c current bound: 378 418.02/418.91 c current bound: 378 418.70/419.66 c current bound: 378 419.38/420.39 c current bound: 378 419.51/421.18 c current bound: 378 420.99/421.97 c current bound: 378 421.81/422.75 c current bound: 378 422.60/423.50 c current bound: 378 423.28/424.25 c current bound: 378 423.98/424.98 c current bound: 378 424.79/425.77 c current bound: 378 425.58/426.55 c current bound: 378 426.28/427.29 c current bound: 378 427.08/428.07 c current bound: 378 427.86/428.82 c current bound: 378 428.64/429.61 c current bound: 378 429.37/430.39 c current bound: 378 430.18/431.13 c current bound: 378 430.24/431.88 c current bound: 378 431.64/432.61 c current bound: 378 432.49/433.40 c current bound: 378 432.50/434.19 c current bound: 378 433.97/434.99 c current bound: 378 434.77/435.77 c current bound: 378 434.86/436.56 c current bound: 378 436.35/437.35 c current bound: 378 437.05/438.09 c current bound: 378 437.85/438.83 c current bound: 378 438.61/439.60 c current bound: 378 439.35/440.34 c current bound: 378 440.12/441.12 c current bound: 378 440.19/441.89 c current bound: 378 441.65/442.65 c current bound: 378 442.45/443.40 c current bound: 378 442.47/444.18 c current bound: 378 443.94/444.96 c current bound: 378 444.76/445.70 c current bound: 378 444.77/446.49 c current bound: 378 446.22/447.23 c current bound: 378 446.93/447.97 c current bound: 378 447.74/448.71 c current bound: 378 448.49/449.50 c current bound: 378 449.22/450.29 c current bound: 378 450.04/451.08 c current bound: 378 450.14/451.87 c current bound: 378 451.62/452.63 c current bound: 378 452.41/453.42 c current bound: 378 452.49/454.16 c current bound: 378 453.94/454.95 c current bound: 378 454.74/455.75 c current bound: 378 455.53/456.54 c current bound: 378 456.32/457.33 c current bound: 378 457.03/458.07 c current bound: 378 457.85/458.86 c current bound: 378 458.64/459.65 c current bound: 378 459.32/460.39 c current bound: 378 460.12/461.19 c current bound: 378 460.94/461.94 c current bound: 378 461.72/462.73 c current bound: 378 462.43/463.48 c current bound: 378 463.24/464.25 c current bound: 378 464.01/465.02 c current bound: 378 464.79/465.81 c current bound: 378 465.64/466.60 c current bound: 378 465.66/467.39 c current bound: 378 467.21/468.22 c current bound: 378 467.93/468.96 c current bound: 378 468.74/469.75 c current bound: 378 469.49/470.51 c current bound: 378 470.22/471.29 c current bound: 378 471.02/472.08 c current bound: 378 471.14/472.88 c current bound: 378 472.61/473.62 c current bound: 378 473.33/474.36 c current bound: 378 474.15/475.15 c current bound: 378 474.21/475.89 c current bound: 378 475.63/476.66 c current bound: 378 476.40/477.41 c current bound: 378 477.25/478.20 c current bound: 378 477.93/478.97 c current bound: 378 478.72/479.73 c current bound: 378 478.80/480.49 c current bound: 378 480.22/481.29 c current bound: 378 481.02/482.03 c current bound: 378 481.84/482.85 c current bound: 378 482.62/483.63 c current bound: 378 483.41/484.43 c current bound: 378 484.20/485.23 c current bound: 378 485.01/486.02 c current bound: 378 485.78/486.81 c current bound: 378 486.53/487.55 c current bound: 378 487.32/488.38 c current bound: 378 488.05/489.12 c current bound: 378 488.77/489.87 c current bound: 378 489.54/490.61 c current bound: 378 489.62/491.40 c current bound: 378 491.07/492.19 c current bound: 378 491.87/492.96 c current bound: 378 492.64/493.71 c current bound: 378 493.37/494.47 c current bound: 378 494.17/495.26 c current bound: 378 494.98/496.03 c current bound: 378 495.73/496.80 c current bound: 378 496.47/497.59 c current bound: 378 497.26/498.33 c current bound: 378 498.07/499.22 c current bound: 378 498.72/499.98 c current bound: 378 499.53/500.74 c current bound: 378 500.34/501.53 c current bound: 378 500.39/502.27 c current bound: 378 501.84/503.05 c current bound: 378 502.61/503.83 c current bound: 378 503.40/504.62 c current bound: 378 504.15/505.35 c current bound: 378 504.93/506.17 c current bound: 378 505.70/506.91 c current bound: 378 506.43/507.69 c current bound: 378 507.22/508.47 c current bound: 378 508.05/509.20 c current bound: 378 508.07/510.00 c current bound: 378 509.52/510.73 c current bound: 378 510.23/511.47 c current bound: 378 511.01/512.22 c current bound: 378 511.73/512.95 c current bound: 378 512.54/513.75 c current bound: 378 513.32/514.54 c current bound: 378 514.12/515.35 c current bound: 378 514.92/516.10 c current bound: 378 514.94/516.88 c current bound: 378 516.38/517.62 c current bound: 378 517.19/518.42 c current bound: 378 517.90/519.17 c current bound: 378 518.73/519.95 c current bound: 378 519.49/520.73 c current bound: 378 520.28/521.53 c current bound: 378 520.36/522.26 c current bound: 378 521.79/523.03 c current bound: 378 522.58/523.82 c current bound: 378 523.40/524.61 c current bound: 378 524.12/525.35 c current bound: 378 524.90/526.17 c current bound: 378 525.69/526.96 c current bound: 378 526.44/527.71 c current bound: 378 527.17/528.47 c current bound: 378 527.95/529.22 c current bound: 378 528.74/530.02 c current bound: 378 529.59/530.80 c current bound: 378 530.27/531.59 c current bound: 378 531.07/532.34 c current bound: 378 531.13/533.09 c current bound: 378 532.55/533.84 c current bound: 378 533.36/534.63 c current bound: 378 533.42/535.37 c current bound: 378 534.84/536.12 c current bound: 378 535.63/536.91 c current bound: 378 536.43/537.71 c current bound: 378 537.16/538.49 c current bound: 378 537.93/539.22 c current bound: 378 538.01/539.97 c current bound: 378 539.46/540.74 c current bound: 378 540.25/541.53 c current bound: 378 541.05/542.36 c current bound: 378 541.82/543.14 c current bound: 378 542.62/543.93 c current bound: 378 543.43/544.73 c current bound: 378 544.24/545.52 c current bound: 378 545.00/546.30 c current bound: 378 545.85/547.10 c current bound: 378 546.55/547.86 c current bound: 378 547.32/548.64 c current bound: 378 548.03/549.39 c current bound: 378 548.83/550.19 c current bound: 378 549.64/550.95 c current bound: 378 550.42/551.74 c current bound: 378 551.21/552.53 c current bound: 378 552.06/553.30 c current bound: 378 552.83/554.12 c current bound: 378 553.62/554.96 c current bound: 378 554.44/555.74 c current bound: 378 555.24/556.52 c current bound: 378 556.01/557.31 c current bound: 378 556.82/558.12 c current bound: 378 557.64/558.94 c current bound: 378 558.42/559.72 c current bound: 378 559.23/560.55 c current bound: 378 560.05/561.36 c current bound: 378 560.84/562.17 c current bound: 378 560.95/563.00 c current bound: 378 562.44/563.78 c current bound: 378 563.25/564.58 c current bound: 378 564.06/565.37 c current bound: 378 564.85/566.15 c current bound: 378 565.64/566.95 c current bound: 378 566.44/567.73 c current bound: 378 567.21/568.52 c current bound: 378 568.01/569.31 c current bound: 378 568.73/570.07 c current bound: 378 569.54/570.87 c current bound: 378 569.64/571.65 c current bound: 378 571.02/572.39 c current bound: 378 571.84/573.15 c current bound: 378 572.62/573.93 c current bound: 378 573.34/574.65 c current bound: 378 574.13/575.44 c current bound: 378 574.23/576.18 c current bound: 378 575.62/576.92 c current bound: 378 576.40/577.70 c current bound: 378 576.47/578.46 c current bound: 378 577.95/579.25 c current bound: 378 578.63/579.99 c current bound: 378 579.44/580.78 c current bound: 378 580.21/581.52 c current bound: 378 580.99/582.31 c current bound: 378 581.73/583.09 c current bound: 378 581.86/583.89 c current bound: 378 583.33/584.67 c current bound: 378 584.12/585.43 c current bound: 378 584.94/586.23 c current bound: 378 584.98/586.96 c current bound: 378 586.40/587.71 c current bound: 378 587.14/588.50 c current bound: 378 587.94/589.25 c current bound: 378 588.73/590.00 c current bound: 378 589.43/590.77 c current bound: 378 590.25/591.55 c current bound: 378 591.05/592.30 c current bound: 378 591.73/593.07 c current bound: 378 591.83/593.86 c current bound: 378 593.33/594.67 c current bound: 378 594.14/595.45 c current bound: 378 594.83/596.19 c current bound: 378 595.62/596.95 c current bound: 378 596.41/597.73 c current bound: 378 597.21/598.52 c current bound: 378 597.28/599.26 c current bound: 378 598.62/599.99 c current bound: 378 599.41/600.74 c current bound: 378 600.20/601.52 c current bound: 378 600.99/602.33 c current bound: 378 601.79/603.13 c current bound: 378 602.57/603.92 c current bound: 378 603.36/604.70 c current bound: 378 604.09/605.44 c current bound: 378 604.86/606.21 c current bound: 378 605.66/607.01 c current bound: 378 606.41/607.75 c current bound: 378 607.14/608.50 c current bound: 378 607.89/609.24 c current bound: 378 608.60/609.98 c current bound: 378 609.37/610.73 c current bound: 378 610.21/611.50 c current bound: 378 610.22/612.29 c current bound: 378 611.67/613.08 c current bound: 378 612.52/613.87 c current bound: 378 613.30/614.65 c current bound: 378 614.08/615.43 c current bound: 378 614.80/616.18 c current bound: 378 615.57/616.91 c current bound: 378 616.30/617.65 c current bound: 378 616.99/618.38 c current bound: 378 617.10/619.17 c current bound: 378 618.60/619.96 c current bound: 378 619.30/620.69 c current bound: 378 620.11/621.45 c current bound: 378 620.86/622.22 c current bound: 378 621.65/623.00 c current bound: 378 622.38/623.73 c current bound: 378 622.45/624.48 c current bound: 378 623.89/625.26 c current bound: 378 624.66/626.00 c current bound: 378 624.73/626.79 c current bound: 378 626.17/627.53 c current bound: 378 626.89/628.28 c current bound: 378 627.67/629.01 c current bound: 378 628.45/629.81 c current bound: 378 629.29/630.60 c current bound: 378 630.00/631.37 c current bound: 378 630.80/632.10 c current bound: 378 631.50/632.85 c current bound: 378 632.29/633.64 c current bound: 378 632.35/634.38 c current bound: 378 633.80/635.17 c current bound: 378 634.56/635.91 c current bound: 378 634.63/636.69 c current bound: 378 636.09/637.49 c current bound: 378 636.89/638.28 c current bound: 378 637.70/639.06 c current bound: 378 638.49/639.80 c current bound: 378 639.16/640.53 c current bound: 378 639.95/641.31 c current bound: 378 640.74/642.10 c current bound: 378 641.47/642.88 c current bound: 378 642.25/643.62 c current bound: 378 643.10/644.40 c current bound: 378 643.88/645.22 c current bound: 378 644.62/646.01 c current bound: 378 645.36/646.79 c current bound: 378 646.14/647.53 c current bound: 378 646.92/648.32 c current bound: 378 647.71/649.11 c current bound: 378 648.51/649.90 c current bound: 378 649.26/650.65 c current bound: 378 650.02/651.41 c current bound: 378 650.08/652.20 c current bound: 378 650.88/652.99 c current bound: 378 652.35/653.76 c current bound: 378 653.15/654.55 c current bound: 378 653.97/655.30 c current bound: 378 654.66/656.05 c current bound: 378 655.44/656.84 c current bound: 378 656.22/657.62 c current bound: 378 657.00/658.41 c current bound: 378 657.74/659.19 c current bound: 378 658.55/659.92 c current bound: 378 659.30/660.71 c current bound: 378 660.04/661.44 c current bound: 378 660.87/662.20 c current bound: 378 660.88/662.96 c current bound: 378 662.35/663.75 c current bound: 378 663.13/664.52 c current bound: 378 663.90/665.30 c current bound: 378 664.63/666.07 c current bound: 378 665.45/666.86 c current bound: 378 666.25/667.61 c current bound: 378 666.26/668.37 c current bound: 378 667.72/669.14 c current bound: 378 668.42/669.88 c current bound: 378 668.54/670.66 c current bound: 378 670.00/671.41 c current bound: 378 670.79/672.21 c current bound: 378 671.59/673.00 c current bound: 378 672.33/673.78 c current bound: 378 673.11/674.53 c current bound: 378 673.19/675.27 c current bound: 378 674.65/676.06 c current bound: 378 675.40/676.82 c current bound: 378 676.19/677.61 c current bound: 378 676.26/678.39 c current bound: 378 677.72/679.19 c current bound: 378 678.52/679.97 c current bound: 378 678.63/680.76 c current bound: 378 680.10/681.52 c current bound: 378 680.83/682.27 c current bound: 378 681.63/683.05 c current bound: 378 682.42/683.84 c current bound: 378 683.19/684.60 c current bound: 378 683.94/685.39 c current bound: 378 684.71/686.13 c current bound: 378 685.50/686.92 c current bound: 378 686.28/687.70 c current bound: 378 687.02/688.44 c current bound: 378 687.79/689.21 c current bound: 378 688.53/689.97 c current bound: 378 689.33/690.75 c current bound: 378 689.41/691.49 c current bound: 378 690.82/692.29 c current bound: 378 691.64/693.06 c current bound: 378 692.43/693.85 c current bound: 378 693.21/694.63 c current bound: 378 693.91/695.39 c current bound: 378 694.71/696.13 c current bound: 378 695.42/696.86 c current bound: 378 696.22/697.64 c current bound: 378 697.02/698.43 c current bound: 378 697.80/699.22 c current bound: 378 698.59/700.01 c current bound: 378 699.43/700.80 c current bound: 378 699.46/701.58 c current bound: 378 700.94/702.35 c current bound: 378 701.73/703.15 c current bound: 378 702.53/703.94 c current bound: 378 702.59/704.68 c current bound: 378 704.02/705.47 c current bound: 378 704.81/706.23 c current bound: 378 705.62/707.03 c current bound: 378 706.32/707.77 c current bound: 378 707.12/708.57 c current bound: 378 707.88/709.30 c current bound: 378 708.61/710.07 c current bound: 378 709.38/710.86 c current bound: 378 710.20/711.69 c current bound: 378 710.98/712.45 c current bound: 378 711.78/713.24 c current bound: 378 712.49/713.99 c current bound: 378 713.26/714.73 c current bound: 378 713.98/715.48 c current bound: 378 714.79/716.27 c current bound: 378 715.58/717.04 c current bound: 378 716.27/717.79 c current bound: 378 717.08/718.57 c current bound: 378 717.89/719.35 c current bound: 378 718.67/720.13 c current bound: 378 719.47/720.94 c current bound: 378 720.17/721.67 c current bound: 378 720.97/722.43 c current bound: 378 721.68/723.17 c current bound: 378 722.48/723.95 c current bound: 378 722.55/724.80 c current bound: 378 723.40/725.59 c current bound: 378 724.86/726.39 c current bound: 378 725.68/727.17 c current bound: 378 726.48/727.95 c current bound: 378 727.27/728.74 c current bound: 378 728.04/729.51 c current bound: 378 728.89/730.30 c current bound: 378 728.91/731.09 c current bound: 378 730.48/731.90 c current bound: 378 731.16/732.64 c current bound: 378 731.23/733.38 c current bound: 378 732.66/734.19 c current bound: 378 733.45/734.98 c current bound: 378 734.24/735.71 c current bound: 378 735.04/736.52 c current bound: 378 735.84/737.32 c current bound: 378 736.62/738.11 c current bound: 378 736.70/738.85 c current bound: 378 738.13/739.62 c current bound: 378 738.94/740.41 c current bound: 378 739.72/741.21 c current bound: 378 740.57/742.00 c current bound: 378 741.26/742.74 c current bound: 378 742.07/743.54 c current bound: 378 742.13/744.27 c current bound: 378 743.54/745.01 c current bound: 378 744.26/745.80 c current bound: 378 744.39/746.59 c current bound: 378 745.83/747.32 c current bound: 378 746.64/748.12 c current bound: 378 746.66/748.89 c current bound: 378 748.09/749.69 c current bound: 378 748.91/750.46 c current bound: 378 749.72/751.25 c current bound: 378 750.51/752.03 c current bound: 378 751.27/752.81 c current bound: 378 752.02/753.59 c current bound: 378 752.15/754.37 c current bound: 378 753.59/755.11 c current bound: 378 754.31/755.88 c current bound: 378 754.43/756.67 c current bound: 378 755.90/757.41 c current bound: 378 756.63/758.15 c current bound: 378 757.42/758.91 c current bound: 378 758.17/759.71 c current bound: 378 759.02/760.50 c current bound: 378 759.72/761.28 c current bound: 378 759.82/762.06 c current bound: 378 761.31/762.85 c current bound: 378 762.11/763.63 c current bound: 378 762.17/764.39 c current bound: 378 763.57/765.11 c current bound: 378 764.29/765.88 c current bound: 378 765.11/766.65 c current bound: 378 765.89/767.44 c current bound: 378 766.68/768.22 c current bound: 378 767.46/769.00 c current bound: 378 768.28/769.80 c current bound: 378 768.97/770.58 c current bound: 378 769.78/771.35 c current bound: 378 770.58/772.13 c current bound: 378 770.64/772.87 c current bound: 378 772.05/773.62 c current bound: 378 772.86/774.41 c current bound: 378 772.92/775.17 c current bound: 378 774.33/775.91 c current bound: 378 775.13/776.70 c current bound: 378 775.85/777.44 c current bound: 378 776.62/778.21 c current bound: 378 777.47/779.00 c current bound: 378 777.49/779.79 c current bound: 378 778.28/780.57 c current bound: 378 779.77/781.34 c current bound: 378 780.47/782.08 c current bound: 378 780.59/782.87 c current bound: 378 782.06/783.63 c current bound: 378 782.86/784.42 c current bound: 378 782.93/785.16 c current bound: 378 784.34/785.92 c current bound: 378 785.07/786.69 c current bound: 378 785.19/787.47 c current bound: 378 786.69/788.25 c current bound: 378 787.47/789.03 c current bound: 378 788.26/789.82 c current bound: 378 789.09/790.60 c current bound: 378 789.78/791.34 c current bound: 378 790.56/792.11 c current bound: 378 790.63/792.85 c current bound: 378 791.98/793.58 c current bound: 378 792.77/794.33 c current bound: 378 793.60/795.10 c current bound: 378 794.29/795.87 c current bound: 378 795.09/796.60 c current bound: 378 795.12/797.39 c current bound: 378 795.90/798.16 c current bound: 378 797.37/798.91 c current bound: 378 798.11/799.64 c current bound: 378 798.86/800.41 c current bound: 378 799.71/801.20 c current bound: 378 800.49/802.00 c current bound: 378 801.25/802.81 c current bound: 378 801.97/803.58 c current bound: 378 802.78/804.36 c current bound: 378 803.59/805.14 c current bound: 378 803.65/805.87 c current bound: 378 805.09/806.65 c current bound: 378 805.78/807.39 c current bound: 378 805.89/808.18 c current bound: 378 807.49/809.00 c current bound: 378 808.18/809.77 c current bound: 378 808.98/810.54 c current bound: 378 809.77/811.32 c current bound: 378 810.47/812.08 c current bound: 378 811.28/812.84 c current bound: 378 811.33/813.57 c current bound: 378 812.77/814.36 c current bound: 378 813.54/815.12 c current bound: 378 813.62/815.87 c current bound: 378 815.04/816.60 c current bound: 378 815.78/817.38 c current bound: 378 815.88/818.17 c current bound: 378 817.34/818.91 c current bound: 378 818.14/819.71 c current bound: 378 818.21/820.49 c current bound: 378 819.67/821.23 c current bound: 378 820.44/822.01 c current bound: 378 821.18/822.75 c current bound: 378 821.25/823.48 c current bound: 378 822.65/824.21 c current bound: 378 823.37/824.99 c current bound: 378 823.48/825.77 c current bound: 378 824.95/826.52 c current bound: 378 825.68/827.25 c current bound: 378 825.76/827.99 c current bound: 378 827.27/828.80 c current bound: 378 827.95/829.53 c current bound: 378 828.74/830.32 c current bound: 378 829.54/831.11 c current bound: 378 830.26/831.86 c current bound: 378 831.08/832.65 c current bound: 378 831.86/833.44 c current bound: 378 832.65/834.21 c current bound: 378 833.34/834.98 c current bound: 378 833.45/835.76 c current bound: 378 834.93/836.53 c current bound: 378 835.71/837.32 c current bound: 378 836.56/838.10 c current bound: 378 837.24/838.85 c current bound: 378 838.04/839.64 c current bound: 378 838.81/840.42 c current bound: 378 838.90/841.15 c current bound: 378 840.24/841.89 c current bound: 378 841.04/842.67 c current bound: 378 841.81/843.42 c current bound: 378 842.60/844.20 c current bound: 378 843.34/844.99 c current bound: 378 843.41/845.78 c current bound: 378 844.87/846.52 c current bound: 378 845.59/847.26 c current bound: 378 846.41/848.05 c current bound: 378 846.48/848.79 c current bound: 378 847.90/849.57 c current bound: 378 848.71/850.37 c current bound: 378 849.50/851.10 c current bound: 378 850.21/851.87 c current bound: 378 850.99/852.67 c current bound: 378 851.77/853.41 c current bound: 378 852.60/854.20 c current bound: 378 853.31/854.94 c current bound: 378 853.38/855.69 c current bound: 378 854.12/856.48 c current bound: 378 855.60/857.27 c current bound: 378 856.42/858.06 c current bound: 378 856.50/858.85 c current bound: 378 858.01/859.60 c current bound: 378 858.71/860.37 c current bound: 378 859.50/861.15 c current bound: 378 860.19/861.89 c current bound: 378 860.96/862.61 c current bound: 378 861.03/863.35 c current bound: 378 862.49/864.14 c current bound: 378 863.19/864.89 c current bound: 378 864.00/865.69 c current bound: 378 864.11/866.47 c current bound: 378 865.57/867.21 c current bound: 378 866.36/868.01 c current bound: 378 866.43/868.75 c current bound: 378 867.80/869.49 c current bound: 378 868.57/870.22 c current bound: 378 868.65/870.98 c current bound: 378 870.07/871.73 c current bound: 378 870.85/872.50 c current bound: 378 870.91/873.27 c current bound: 378 872.39/874.00 c current bound: 378 873.08/874.78 c current bound: 378 873.88/875.52 c current bound: 378 873.92/876.27 c current bound: 378 875.37/877.06 c current bound: 378 876.17/877.83 c current bound: 378 876.25/878.58 c current bound: 378 877.66/879.31 c current bound: 378 878.38/880.08 c current bound: 378 878.49/880.87 c current bound: 378 879.98/881.66 c current bound: 378 880.80/882.44 c current bound: 378 881.58/883.23 c current bound: 378 882.37/884.02 c current bound: 378 883.16/884.81 c current bound: 378 883.90/885.59 c current bound: 378 884.68/886.33 c current bound: 378 885.37/887.07 c current bound: 378 886.17/887.87 c current bound: 378 886.24/888.66 c current bound: 378 887.64/889.39 c current bound: 378 888.45/890.15 c current bound: 378 888.54/890.89 c current bound: 378 889.27/891.67 c current bound: 378 890.71/892.40 c current bound: 378 891.55/893.22 c current bound: 378 892.29/894.01 c current bound: 378 893.13/894.80 c current bound: 378 893.83/895.54 c current bound: 378 893.90/896.27 c current bound: 378 895.29/897.00 c current bound: 378 896.02/897.79 c current bound: 378 896.81/898.52 c current bound: 378 897.53/899.26 c current bound: 378 898.30/900.01 c current bound: 378 899.14/900.81 c current bound: 378 899.18/901.57 c current bound: 378 900.64/902.34 c current bound: 378 901.41/903.12 c current bound: 378 902.20/903.92 c current bound: 378 902.85/904.69 c current bound: 378 903.67/905.46 c current bound: 378 903.76/906.25 c current bound: 378 905.25/907.03 c current bound: 378 905.96/907.76 c current bound: 378 906.79/908.55 c current bound: 378 907.56/909.36 c current bound: 378 908.36/910.14 c current bound: 378 909.13/910.93 c current bound: 378 909.93/911.71 c current bound: 378 910.65/912.47 c current bound: 378 911.47/913.25 c current bound: 378 911.53/913.98 c current bound: 378 912.27/914.76 c current bound: 378 913.75/915.55 c current bound: 378 914.55/916.33 c current bound: 378 915.31/917.10 c current bound: 378 916.04/917.83 c current bound: 378 916.76/918.59 c current bound: 378 916.88/919.38 c current bound: 378 918.35/920.15 c current bound: 378 919.02/920.88 c current bound: 378 919.14/921.67 c current bound: 378 920.61/922.42 c current bound: 378 921.41/923.21 c current bound: 378 922.14/923.98 c current bound: 378 922.93/924.72 c current bound: 378 923.70/925.50 c current bound: 378 924.44/926.27 c current bound: 378 925.24/927.03 c current bound: 378 926.04/927.83 c current bound: 378 926.82/928.61 c current bound: 378 926.90/929.39 c current bound: 378 928.33/930.13 c current bound: 378 929.04/930.88 c current bound: 378 929.85/931.65 c current bound: 378 930.63/932.41 c current bound: 378 931.35/933.19 c current bound: 378 932.13/933.92 c current bound: 378 932.93/934.72 c current bound: 378 933.72/935.52 c current bound: 378 934.46/936.25 c current bound: 378 935.24/937.03 c current bound: 378 936.02/937.81 c current bound: 378 936.76/938.55 c current bound: 378 937.55/939.32 c current bound: 378 937.59/940.09 c current bound: 378 939.04/940.88 c current bound: 378 939.88/941.65 c current bound: 378 940.63/942.42 c current bound: 378 941.35/943.17 c current bound: 378 942.16/943.95 c current bound: 378 942.23/944.68 c current bound: 378 943.63/945.42 c current bound: 378 944.43/946.21 c current bound: 378 944.49/946.98 c current bound: 378 945.23/947.77 c current bound: 378 946.72/948.58 c current bound: 378 947.53/949.34 c current bound: 378 948.32/950.14 c current bound: 378 949.14/950.90 c current bound: 378 949.84/951.68 c current bound: 378 949.95/952.46 c current bound: 378 951.44/953.25 c current bound: 378 952.23/954.04 c current bound: 378 953.01/954.82 c current bound: 378 953.08/955.55 c current bound: 378 954.53/956.34 c current bound: 378 955.32/957.17 c current bound: 378 956.14/957.95 c current bound: 378 956.94/958.74 c current bound: 378 957.71/959.52 c current bound: 378 958.44/960.26 c current bound: 378 959.22/961.02 c current bound: 378 959.95/961.77 c current bound: 378 960.75/962.55 c current bound: 378 961.53/963.34 c current bound: 378 962.24/964.08 c current bound: 378 963.03/964.82 c current bound: 378 963.82/965.62 c current bound: 378 964.53/966.36 c current bound: 378 965.32/967.13 c current bound: 378 966.04/967.85 c current bound: 378 966.84/968.66 c current bound: 378 967.61/969.42 c current bound: 378 968.35/970.18 c current bound: 378 969.10/970.91 c current bound: 378 969.83/971.66 c current bound: 378 970.64/972.44 c current bound: 378 970.71/973.18 c current bound: 378 972.13/973.99 c current bound: 378 972.88/974.72 c current bound: 378 972.96/975.46 c current bound: 378 974.41/976.23 c current bound: 378 975.21/977.05 c current bound: 378 975.29/977.79 c current bound: 378 976.03/978.56 c current bound: 378 977.51/979.38 c current bound: 378 978.31/980.16 c current bound: 378 978.37/980.89 c current bound: 378 979.75/981.62 c current bound: 378 980.48/982.39 c current bound: 378 981.28/983.14 c current bound: 378 982.07/983.93 c current bound: 378 982.77/984.67 c current bound: 378 983.57/985.45 c current bound: 378 984.37/986.23 c current bound: 378 985.08/986.97 c current bound: 378 985.89/987.70 c current bound: 378 985.91/988.48 c current bound: 378 987.38/989.28 c current bound: 378 988.15/990.03 c current bound: 378 988.22/990.78 c current bound: 378 989.66/991.56 c current bound: 378 990.46/992.35 c current bound: 378 991.24/993.12 c current bound: 378 991.96/993.87 c current bound: 378 992.76/994.65 c current bound: 378 993.55/995.41 c current bound: 378 993.59/996.19 c current bound: 378 995.05/996.93 c current bound: 378 995.84/997.72 c current bound: 378 996.62/998.51 c current bound: 378 997.43/999.30 c current bound: 378 998.21/1000.10 c current bound: 378 999.06/1000.91 c current bound: 378 999.08/1001.65 c current bound: 378 1000.54/1002.45 c current bound: 378 1001.34/1003.25 c current bound: 378 1001.41/1003.98 c current bound: 378 1002.90/1004.80 c current bound: 378 1003.69/1005.60 c current bound: 378 1004.44/1006.34 c current bound: 378 1005.12/1007.09 c current bound: 378 1005.92/1007.89 c current bound: 378 1006.72/1008.63 c current bound: 378 1006.79/1009.38 c current bound: 378 1008.22/1010.19 c current bound: 378 1009.02/1010.97 c current bound: 378 1009.81/1011.74 c current bound: 378 1010.61/1012.57 c current bound: 378 1011.41/1013.34 c current bound: 378 1011.48/1014.10 c current bound: 378 1012.23/1014.89 c current bound: 378 1013.76/1015.70 c current bound: 378 1014.50/1016.48 c current bound: 378 1014.60/1017.26 c current bound: 378 1016.11/1018.04 c current bound: 378 1016.89/1018.83 c current bound: 378 1016.96/1019.56 c current bound: 378 1018.39/1020.33 c current bound: 378 1019.09/1021.06 c current bound: 378 1019.92/1021.85 c current bound: 378 1020.70/1022.60 c current bound: 378 1021.40/1023.40 c current bound: 378 1022.20/1024.19 c current bound: 378 1022.98/1024.94 c current bound: 378 1023.76/1025.72 c current bound: 378 1024.50/1026.46 c current bound: 378 1025.31/1027.25 c current bound: 378 1026.10/1028.04 c current bound: 378 1026.82/1028.82 c current bound: 378 1027.66/1029.61 c current bound: 378 1027.68/1030.39 c current bound: 378 1029.13/1031.17 c current bound: 378 1029.91/1031.91 c current bound: 378 1030.72/1032.70 c current bound: 378 1031.44/1033.43 c current bound: 378 1032.22/1034.22 c current bound: 378 1033.05/1035.00 c current bound: 378 1033.08/1035.79 c current bound: 378 1034.55/1036.57 c current bound: 378 1035.31/1037.31 c current bound: 378 1036.03/1038.04 c current bound: 378 1036.83/1038.83 c current bound: 378 1037.62/1039.62 c current bound: 378 1038.42/1040.42 c current bound: 378 1039.14/1041.19 c current bound: 378 1039.94/1041.99 c current bound: 378 1040.75/1042.72 c current bound: 378 1041.45/1043.45 c current bound: 378 1042.25/1044.22 c current bound: 378 1042.92/1044.99 c current bound: 378 1043.04/1045.77 c current bound: 378 1044.51/1046.56 c current bound: 378 1045.32/1047.35 c current bound: 378 1045.39/1048.09 c current bound: 378 1046.79/1048.82 c current bound: 378 1047.59/1049.62 c current bound: 378 1048.32/1050.35 c current bound: 378 1049.13/1051.15 c current bound: 378 1049.91/1051.94 c current bound: 378 1050.62/1052.67 c current bound: 378 1051.37/1053.41 c current bound: 378 1052.10/1054.19 c current bound: 378 1052.92/1054.98 c current bound: 378 1053.71/1055.75 c current bound: 378 1054.49/1056.53 c current bound: 378 1055.29/1057.33 c current bound: 378 1055.37/1058.08 c current bound: 378 1056.78/1058.82 c current bound: 378 1057.50/1059.57 c current bound: 378 1058.32/1060.40 c current bound: 378 1058.39/1061.18 c current bound: 378 1059.87/1061.95 c current bound: 378 1060.65/1062.74 c current bound: 378 1061.44/1063.53 c current bound: 378 1062.23/1064.32 c current bound: 378 1063.02/1065.11 c current bound: 378 1063.76/1065.90 c current bound: 378 1064.55/1066.64 c current bound: 378 1065.32/1067.42 c current bound: 378 1066.06/1068.16 c current bound: 378 1066.14/1068.89 c current bound: 378 1067.54/1069.64 c current bound: 378 1068.31/1070.41 c current bound: 378 1068.39/1071.19 c current bound: 378 1069.85/1071.98 c current bound: 378 1070.65/1072.76 c current bound: 378 1071.45/1073.54 c current bound: 378 1072.24/1074.33 c current bound: 378 1073.02/1075.11 c current bound: 378 1073.81/1075.90 c current bound: 378 1074.67/1076.70 c current bound: 378 1075.35/1077.48 c current bound: 378 1076.13/1078.22 c current bound: 378 1076.19/1078.97 c current bound: 378 1077.62/1079.72 c current bound: 378 1078.36/1080.46 c current bound: 378 1079.15/1081.21 c current bound: 378 1079.97/1082.00 c current bound: 378 1080.64/1082.72 c current bound: 378 1081.44/1083.52 c current bound: 378 1082.24/1084.32 c current bound: 378 1083.02/1085.11 c current bound: 378 1083.76/1085.90 c current bound: 378 1084.55/1086.64 c current bound: 378 1085.34/1087.43 c current bound: 378 1086.14/1088.22 c current bound: 378 1086.86/1088.98 c current bound: 378 1086.96/1089.77 c current bound: 378 1088.45/1090.56 c current bound: 378 1089.22/1091.31 c current bound: 378 1089.97/1092.05 c current bound: 378 1090.76/1092.85 c current bound: 378 1091.56/1093.60 c current bound: 378 1092.26/1094.34 c current bound: 378 1093.04/1095.13 c current bound: 378 1093.82/1095.91 c current bound: 378 1094.55/1096.70 c current bound: 378 1095.41/1097.50 c current bound: 378 1096.15/1098.27 c current bound: 378 1096.88/1099.01 c current bound: 378 1097.73/1099.80 c current bound: 378 1098.42/1100.57 c current bound: 378 1099.21/1101.36 c current bound: 378 1100.02/1102.16 c current bound: 378 1100.81/1102.94 c current bound: 378 1101.52/1103.68 c current bound: 378 1102.32/1104.44 c current bound: 378 1102.38/1105.19 c current bound: 378 1103.81/1105.93 c current bound: 378 1104.52/1106.68 c current bound: 378 1104.62/1107.46 c current bound: 378 1106.11/1108.24 c current bound: 378 1106.90/1109.02 c current bound: 378 1107.73/1109.82 c current bound: 378 1108.47/1110.60 c current bound: 378 1109.23/1111.35 c current bound: 378 1109.98/1112.11 c current bound: 378 1110.82/1112.90 c current bound: 378 1111.51/1113.70 c current bound: 378 1112.32/1114.49 c current bound: 378 1112.43/1115.26 c current bound: 378 1113.88/1116.01 c current bound: 378 1114.62/1116.79 c current bound: 378 1115.41/1117.53 c current bound: 378 1116.19/1118.33 c current bound: 378 1116.99/1119.12 c current bound: 378 1117.77/1119.91 c current bound: 378 1117.85/1120.67 c current bound: 378 1119.31/1121.43 c current bound: 378 1120.08/1122.21 c current bound: 378 1120.81/1122.95 c current bound: 378 1121.60/1123.74 c current bound: 378 1122.40/1124.53 c current bound: 378 1123.18/1125.33 c current bound: 378 1123.25/1126.07 c current bound: 378 1124.67/1126.82 c current bound: 378 1125.39/1127.58 c current bound: 378 1126.19/1128.35 c current bound: 378 1126.99/1129.15 c current bound: 378 1127.77/1129.93 c current bound: 378 1127.85/1130.66 c current bound: 378 1129.19/1131.39 c current bound: 378 1129.98/1132.18 c current bound: 378 1130.79/1132.98 c current bound: 378 1130.90/1133.76 c current bound: 378 1132.39/1134.54 c current bound: 378 1133.17/1135.33 c current bound: 378 1133.24/1136.09 c current bound: 378 1134.66/1136.83 c current bound: 378 1135.38/1137.57 c current bound: 378 1136.16/1138.32 c current bound: 378 1136.96/1139.12 c current bound: 378 1137.75/1139.92 c current bound: 378 1138.54/1140.71 c current bound: 378 1138.61/1141.46 c current bound: 378 1140.08/1142.25 c current bound: 378 1140.89/1143.00 c current bound: 378 1140.91/1143.76 c current bound: 378 1142.38/1144.55 c current bound: 378 1143.17/1145.33 c current bound: 378 1143.98/1146.12 c current bound: 378 1144.74/1146.91 c current bound: 378 1145.53/1147.71 c current bound: 378 1146.27/1148.44 c current bound: 378 1147.06/1149.22 c current bound: 378 1147.85/1150.01 c current bound: 378 1148.63/1150.81 c current bound: 378 1149.48/1151.61 c current bound: 378 1149.50/1152.39 c current bound: 378 1150.96/1153.19 c current bound: 378 1151.73/1153.92 c current bound: 378 1152.52/1154.71 c current bound: 378 1153.27/1155.49 c current bound: 378 1154.06/1156.27 c current bound: 378 1154.83/1157.00 c current bound: 378 1155.56/1157.79 c current bound: 378 1156.34/1158.53 c current bound: 378 1156.42/1159.28 c current bound: 378 1157.86/1160.06 c current bound: 378 1158.62/1160.81 c current bound: 378 1159.36/1161.54 c current bound: 378 1159.43/1162.29 c current bound: 378 1160.95/1163.11 c current bound: 378 1161.69/1163.90 c current bound: 378 1161.77/1164.68 c current bound: 378 1163.23/1165.48 c current bound: 378 1164.03/1166.28 c current bound: 378 1164.85/1167.05 c current bound: 378 1164.92/1167.79 c current bound: 378 1166.33/1168.56 c current bound: 378 1167.14/1169.34 c current bound: 378 1167.21/1170.08 c current bound: 378 1168.61/1170.82 c current bound: 378 1169.39/1171.61 c current bound: 378 1169.47/1172.39 c current bound: 378 1170.94/1173.14 c current bound: 378 1171.72/1173.94 c current bound: 378 1172.52/1174.74 c current bound: 378 1172.58/1175.47 c current bound: 378 1174.03/1176.25 c current bound: 378 1174.73/1176.99 c current bound: 378 1174.84/1177.77 c current bound: 378 1176.31/1178.53 c current bound: 378 1177.08/1179.33 c current bound: 378 1177.16/1180.07 c current bound: 378 1178.59/1180.86 c current bound: 378 1179.40/1181.65 c current bound: 378 1179.48/1182.38 c current bound: 378 1180.88/1183.13 c current bound: 378 1181.68/1183.93 c current bound: 378 1182.47/1184.72 c current bound: 378 1182.53/1185.49 c current bound: 378 1184.00/1186.28 c current bound: 378 1184.79/1187.06 c current bound: 378 1185.54/1187.80 c current bound: 378 1186.29/1188.58 c current bound: 378 1187.10/1189.35 c current bound: 378 1187.89/1190.13 c current bound: 378 1187.94/1190.86 c current bound: 378 1189.35/1191.61 c current bound: 378 1190.15/1192.41 c current bound: 378 1190.95/1193.21 c current bound: 378 1191.75/1194.00 c current bound: 378 1192.49/1194.78 c current bound: 378 1193.27/1195.53 c current bound: 378 1193.97/1196.29 c current bound: 378 1194.78/1197.07 c current bound: 378 1195.59/1197.87 c current bound: 378 1196.38/1198.65 c current bound: 378 1197.16/1199.43 c current bound: 378 1197.95/1200.22 c current bound: 378 1198.69/1200.95 c current bound: 378 1199.44/1201.71 c current bound: 378 1200.29/1202.50 c current bound: 378 1200.96/1203.23 c current bound: 378 1201.79/1204.00 c current bound: 378 1202.58/1204.80 c current bound: 378 1203.28/1205.59 c current bound: 378 1204.07/1206.33 c current bound: 378 1204.85/1207.11 c current bound: 378 1205.59/1207.85 c current bound: 378 1205.65/1208.59 c current bound: 378 1207.07/1209.36 c current bound: 378 1207.77/1210.10 c current bound: 378 1208.55/1210.82 c current bound: 378 1209.27/1211.56 c current bound: 378 1210.08/1212.34 c current bound: 378 1210.88/1213.14 c current bound: 378 1211.64/1213.91 c current bound: 378 1212.37/1214.66 c current bound: 378 1213.18/1215.44 c current bound: 378 1213.25/1216.19 c current bound: 378 1214.78/1217.01 c current bound: 378 1215.57/1217.80 c current bound: 378 1215.58/1218.58 c current bound: 378 1217.05/1219.37 c current bound: 378 1217.86/1220.15 c current bound: 378 1218.65/1220.93 c current bound: 378 1219.43/1221.72 c current bound: 378 1220.16/1222.45 c current bound: 378 1220.94/1223.24 c current bound: 378 1221.02/1223.98 c current bound: 378 1222.46/1224.76 c current bound: 378 1223.26/1225.55 c current bound: 378 1223.34/1226.29 c current bound: 378 1224.76/1227.07 c current bound: 378 1225.52/1227.84 c current bound: 378 1226.33/1228.62 c current bound: 378 1226.38/1229.38 c current bound: 378 1227.81/1230.12 c current bound: 378 1228.55/1230.85 c current bound: 378 1228.61/1231.58 c current bound: 378 1230.02/1232.37 c current bound: 378 1230.81/1233.13 c current bound: 378 1231.58/1233.90 c current bound: 378 1232.31/1234.64 c current bound: 378 1233.01/1235.38 c current bound: 378 1233.83/1236.16 c current bound: 378 1234.53/1236.89 c current bound: 378 1235.32/1237.68 c current bound: 378 1236.12/1238.43 c current bound: 378 1236.81/1239.17 c current bound: 378 1237.63/1239.96 c current bound: 378 1238.42/1240.74 c current bound: 378 1239.19/1241.52 c current bound: 378 1240.02/1242.30 c current bound: 378 1240.73/1243.05 c current bound: 378 1241.51/1243.89 c current bound: 378 1242.25/1244.64 c current bound: 378 1242.96/1245.37 c current bound: 378 1243.77/1246.15 c current bound: 378 1244.57/1246.90 c current bound: 378 1245.27/1247.68 c current bound: 378 1246.06/1248.47 c current bound: 378 1246.95/1249.34 c current bound: 378 1247.68/1250.16 c current bound: 378 1248.61/1251.00 c current bound: 378 1249.39/1251.83 c current bound: 378 1250.17/1252.62 c current bound: 378 1250.99/1253.43 c current bound: 378 1251.81/1254.27 c current bound: 378 1252.58/1255.09 c current bound: 378 1253.46/1255.93 c current bound: 378 1254.25/1256.71 c current bound: 378 1254.99/1257.49 c current bound: 378 1255.10/1258.28 c current bound: 378 1256.54/1259.01 c current bound: 378 1257.28/1259.78 c current bound: 378 1258.08/1260.57 c current bound: 378 1258.18/1261.36 c current bound: 378 1259.68/1262.15 c current bound: 378 1260.46/1262.93 c current bound: 378 1261.24/1263.70 c current bound: 378 1262.09/1264.50 c current bound: 378 1262.78/1265.29 c current bound: 378 1263.56/1266.04 c current bound: 378 1264.35/1266.84 c current bound: 378 1265.15/1267.63 c current bound: 378 1265.93/1268.42 c current bound: 378 1266.78/1269.20 c current bound: 378 1267.47/1269.95 c current bound: 378 1268.16/1270.68 c current bound: 378 1268.27/1271.47 c current bound: 378 1269.72/1272.20 c current bound: 378 1270.57/1273.00 c current bound: 378 1271.25/1273.79 c current bound: 378 1271.38/1274.57 c current bound: 378 1272.86/1275.39 c current bound: 378 1273.72/1276.21 c current bound: 378 1274.40/1276.94 c current bound: 378 1275.19/1277.72 c current bound: 378 1275.90/1278.47 c current bound: 378 1276.71/1279.24 c current bound: 378 1277.48/1280.02 c current bound: 378 1278.26/1280.82 c current bound: 378 1279.07/1281.61 c current bound: 378 1279.87/1282.40 c current bound: 378 1280.60/1283.14 c current bound: 378 1281.39/1283.93 c current bound: 378 1281.45/1284.68 c current bound: 378 1282.90/1285.47 c current bound: 378 1283.71/1286.26 c current bound: 378 1284.51/1287.05 c current bound: 378 1285.29/1287.84 c current bound: 378 1286.10/1288.64 c current bound: 378 1286.80/1289.36 c current bound: 378 1287.62/1290.16 c current bound: 378 1288.30/1290.88 c current bound: 378 1289.09/1291.62 c current bound: 378 1289.15/1292.39 c current bound: 378 1290.58/1293.14 c current bound: 378 1291.37/1293.94 c current bound: 378 1292.09/1294.68 c current bound: 378 1292.20/1295.47 c current bound: 378 1293.68/1296.25 c current bound: 378 1294.44/1297.01 c current bound: 378 1294.52/1297.79 c current bound: 378 1295.97/1298.52 c current bound: 378 1296.75/1299.31 c current bound: 378 1297.49/1300.04 c current bound: 378 1298.27/1300.83 c current bound: 378 1299.06/1301.62 c current bound: 378 1299.80/1302.35 c current bound: 378 1300.57/1303.12 c current bound: 378 1301.35/1303.91 c current bound: 378 1302.21/1304.70 c current bound: 378 1302.22/1305.48 c current bound: 378 1303.69/1306.27 c current bound: 378 1304.45/1307.00 c current bound: 378 1305.30/1307.81 c current bound: 378 1306.05/1308.60 c current bound: 378 1306.78/1309.38 c current bound: 378 1307.60/1310.16 c current bound: 378 1308.36/1310.92 c current bound: 378 1309.17/1311.72 c current bound: 378 1309.94/1312.50 c current bound: 378 1310.79/1313.31 c current bound: 378 1311.60/1314.11 c current bound: 378 1312.27/1314.89 c current bound: 378 1313.05/1315.64 c current bound: 378 1313.84/1316.42 c current bound: 378 1314.62/1317.20 c current bound: 378 1315.36/1317.99 c current bound: 378 1316.16/1318.73 c current bound: 378 1316.96/1319.53 c current bound: 378 1317.67/1320.28 c current bound: 378 1318.47/1321.09 c current bound: 378 1319.26/1321.84 c current bound: 378 1320.04/1322.63 c current bound: 378 1320.77/1323.36 c current bound: 378 1321.53/1324.11 c current bound: 378 1322.26/1324.86 c current bound: 378 1323.07/1325.65 c current bound: 378 1323.14/1326.39 c current bound: 378 1324.56/1327.19 c current bound: 378 1325.35/1327.93 c current bound: 378 1326.16/1328.72 c current bound: 378 1326.21/1329.47 c current bound: 378 1327.66/1330.27 c current bound: 378 1328.42/1331.01 c current bound: 378 1328.51/1331.79 c current bound: 378 1329.95/1332.53 c current bound: 378 1330.72/1333.32 c current bound: 378 1331.47/1334.05 c current bound: 378 1332.24/1334.86 c current bound: 378 1333.06/1335.65 c current bound: 378 1333.85/1336.44 c current bound: 378 1334.65/1337.23 c current bound: 378 1335.44/1338.02 c current bound: 378 1336.22/1338.82 c current bound: 378 1336.96/1339.55 c current bound: 378 1337.76/1340.35 c current bound: 378 1338.45/1341.09 c current bound: 378 1338.57/1341.88 c current bound: 378 1340.02/1342.61 c current bound: 378 1340.76/1343.36 c current bound: 378 1340.85/1344.09 c current bound: 378 1341.58/1344.87 c current bound: 378 1343.06/1345.65 c current bound: 378 1343.75/1346.40 c current bound: 378 1343.88/1347.18 c current bound: 378 1345.34/1347.96 c current bound: 378 1346.14/1348.76 c current bound: 378 1346.94/1349.53 c current bound: 378 1347.72/1350.32 c current bound: 378 1348.45/1351.07 c current bound: 378 1349.25/1351.84 c current bound: 378 1350.03/1352.62 c current bound: 378 1350.76/1353.35 c current bound: 378 1351.54/1354.14 c current bound: 378 1351.62/1354.88 c current bound: 378 1353.06/1355.65 c current bound: 378 1353.84/1356.44 c current bound: 378 1354.65/1357.22 c current bound: 378 1355.31/1357.96 c current bound: 378 1356.06/1358.70 c current bound: 378 1356.15/1359.48 c current bound: 378 1357.61/1360.24 c current bound: 378 1358.30/1360.99 c current bound: 378 1359.12/1361.79 c current bound: 378 1359.88/1362.52 c current bound: 378 1360.69/1363.32 c current bound: 378 1361.43/1364.06 c current bound: 378 1362.19/1364.84 c current bound: 378 1362.98/1365.63 c current bound: 378 1363.78/1366.42 c current bound: 378 1364.62/1367.21 c current bound: 378 1364.65/1367.99 c current bound: 378 1366.10/1368.78 c current bound: 378 1366.92/1369.56 c current bound: 378 1367.69/1370.34 c current bound: 378 1368.47/1371.12 c current bound: 378 1369.22/1371.85 c current bound: 378 1370.00/1372.64 c current bound: 378 1370.78/1373.42 c current bound: 378 1371.50/1374.15 c current bound: 378 1371.59/1374.88 c current bound: 378 1373.07/1375.71 c current bound: 378 1373.80/1376.44 c current bound: 378 1374.59/1377.23 c current bound: 378 1375.37/1378.01 c current bound: 378 1376.22/1378.81 c current bound: 378 1376.99/1379.60 c current bound: 378 1377.67/1380.34 c current bound: 378 1378.38/1381.07 c current bound: 378 1379.18/1381.86 c current bound: 378 1379.98/1382.63 c current bound: 378 1380.75/1383.42 c current bound: 378 1381.56/1384.27 c current bound: 378 1382.33/1385.06 c current bound: 378 1383.12/1385.85 c current bound: 378 1383.92/1386.63 c current bound: 378 1384.63/1387.37 c current bound: 378 1385.44/1388.18 c current bound: 378 1386.20/1388.91 c current bound: 378 1386.93/1389.65 c current bound: 378 1387.64/1390.39 c current bound: 378 1387.76/1391.18 c current bound: 378 1389.22/1391.92 c current bound: 378 1390.00/1392.70 c current bound: 378 1390.07/1393.49 c current bound: 378 1391.54/1394.24 c current bound: 378 1392.23/1394.98 c current bound: 378 1392.35/1395.76 c current bound: 378 1393.85/1396.50 c current bound: 378 1394.53/1397.26 c current bound: 378 1395.35/1398.01 c current bound: 378 1395.37/1398.79 c current bound: 378 1396.82/1399.53 c current bound: 378 1397.62/1400.34 c current bound: 378 1398.41/1401.14 c current bound: 378 1399.19/1401.92 c current bound: 378 1399.91/1402.66 c current bound: 378 1400.72/1403.45 c current bound: 378 1401.41/1404.19 c current bound: 378 1402.20/1404.93 c current bound: 378 1403.01/1405.72 c current bound: 378 1403.07/1406.49 c current bound: 378 1404.50/1407.24 c current bound: 378 1405.30/1408.03 c current bound: 378 1406.09/1408.82 c current bound: 378 1406.81/1409.57 c current bound: 378 1407.62/1410.36 c current bound: 378 1407.69/1411.08 c current bound: 378 1409.10/1411.87 c current bound: 378 1409.81/1412.59 c current bound: 378 1409.93/1413.38 c current bound: 378 1410.71/1414.17 c current bound: 378 1412.21/1414.95 c current bound: 378 1413.02/1415.75 c current bound: 378 1413.09/1416.48 c current bound: 378 1414.51/1417.29 c current bound: 378 1415.30/1418.03 c current bound: 378 1416.08/1418.81 c current bound: 378 1416.87/1419.60 c current bound: 378 1417.62/1420.38 c current bound: 378 1418.42/1421.15 c current bound: 378 1419.20/1421.95 c current bound: 378 1420.01/1422.76 c current bound: 378 1420.81/1423.55 c current bound: 378 1421.59/1424.33 c current bound: 378 1422.38/1425.13 c current bound: 378 1423.18/1425.92 c current bound: 378 1423.91/1426.66 c current bound: 378 1424.66/1427.41 c current bound: 378 1425.39/1428.19 c current bound: 378 1426.19/1428.98 c current bound: 378 1426.32/1429.76 c current bound: 378 1427.81/1430.50 c current bound: 378 1428.49/1431.26 c current bound: 378 1429.26/1432.01 c current bound: 378 1430.06/1432.80 c current bound: 378 1430.79/1433.59 c current bound: 378 1431.60/1434.33 c current bound: 378 1432.36/1435.12 c current bound: 378 1433.21/1435.90 c current bound: 378 1433.88/1436.63 c current bound: 378 1433.96/1437.36 c current bound: 378 1435.39/1438.15 c current bound: 378 1436.19/1438.94 c current bound: 378 1436.26/1439.69 c current bound: 378 1437.67/1440.42 c current bound: 378 1438.46/1441.22 c current bound: 378 1438.54/1442.00 c current bound: 378 1439.32/1442.79 c current bound: 378 1440.78/1443.54 c current bound: 378 1441.56/1444.32 c current bound: 378 1441.64/1445.06 c current bound: 378 1443.09/1445.86 c current bound: 378 1443.87/1446.63 c current bound: 378 1444.66/1447.43 c current bound: 378 1445.46/1448.22 c current bound: 378 1446.25/1449.04 c current bound: 378 1446.95/1449.79 c current bound: 378 1447.75/1450.53 c current bound: 378 1448.53/1451.32 c current bound: 378 1449.27/1452.08 c current bound: 378 1449.36/1452.88 c current bound: 378 1450.81/1453.61 c current bound: 378 1451.57/1454.35 c current bound: 378 1452.31/1455.10 c current bound: 378 1453.04/1455.89 c current bound: 378 1453.82/1456.62 c current bound: 378 1453.91/1457.36 c current bound: 378 1455.31/1458.10 c current bound: 378 1456.05/1458.88 c current bound: 378 1456.84/1459.68 c current bound: 378 1457.66/1460.45 c current bound: 378 1458.40/1461.21 c current bound: 378 1459.13/1461.93 c current bound: 378 1459.22/1462.69 c current bound: 378 1460.64/1463.48 c current bound: 378 1461.44/1464.26 c current bound: 378 1462.21/1465.01 c current bound: 378 1463.00/1465.80 c current bound: 378 1463.73/1466.57 c current bound: 378 1464.55/1467.34 c current bound: 378 1464.61/1468.08 c current bound: 378 1466.02/1468.83 c current bound: 378 1466.75/1469.58 c current bound: 378 1466.84/1470.39 c current bound: 378 1468.30/1471.13 c current bound: 378 1469.03/1471.87 c current bound: 378 1469.79/1472.62 c current bound: 378 1470.59/1473.43 c current bound: 378 1471.39/1474.21 c current bound: 378 1472.12/1474.94 c current bound: 378 1472.82/1475.68 c current bound: 378 1473.61/1476.46 c current bound: 378 1473.71/1477.19 c current bound: 378 1475.19/1478.02 c current bound: 378 1475.93/1478.76 c current bound: 378 1476.72/1479.54 c current bound: 378 1476.79/1480.28 c current bound: 378 1478.21/1481.07 c current bound: 378 1479.01/1481.88 c current bound: 378 1479.13/1482.66 c current bound: 378 1480.59/1483.41 c current bound: 378 1481.32/1484.15 c current bound: 378 1482.13/1484.92 c current bound: 378 1482.88/1485.70 c current bound: 378 1483.63/1486.46 c current bound: 378 1484.33/1487.20 c current bound: 378 1485.12/1487.94 c current bound: 378 1485.82/1488.69 c current bound: 378 1486.62/1489.47 c current bound: 378 1487.38/1490.20 c current bound: 378 1488.12/1490.98 c current bound: 378 1488.89/1491.75 c current bound: 378 1488.96/1492.49 c current bound: 378 1490.38/1493.24 c current bound: 378 1491.17/1494.03 c current bound: 378 1491.99/1494.82 c current bound: 378 1492.74/1495.61 c current bound: 378 1493.47/1496.40 c current bound: 378 1494.38/1497.25 c current bound: 378 1494.39/1497.98 c current bound: 378 1495.81/1498.78 c current bound: 378 1496.63/1499.55 c current bound: 378 1496.70/1500.28 c current bound: 378 1498.10/1501.02 c current bound: 378 1498.82/1501.75 c current bound: 378 1499.68/1502.61 c current bound: 378 1500.41/1503.34 c current bound: 378 1501.11/1504.08 c current bound: 378 1501.93/1504.87 c current bound: 378 1502.71/1505.63 c current bound: 378 1503.50/1506.42 c current bound: 378 1504.32/1507.20 c current bound: 378 1505.03/1507.96 c current bound: 378 1505.80/1508.73 c current bound: 378 1506.50/1509.47 c current bound: 378 1507.30/1510.27 c current bound: 378 1507.40/1511.07 c current bound: 378 1508.91/1511.85 c current bound: 378 1509.69/1512.64 c current bound: 378 1510.46/1513.41 c current bound: 378 1511.20/1514.19 c current bound: 378 1511.99/1514.93 c current bound: 378 1512.05/1515.68 c current bound: 378 1512.79/1516.46 c current bound: 378 1514.28/1517.25 c current bound: 378 1515.08/1518.03 c current bound: 378 1515.14/1518.79 c current bound: 378 1516.56/1519.58 c current bound: 378 1517.34/1520.33 c current bound: 378 1517.41/1521.07 c current bound: 378 1518.82/1521.81 c current bound: 378 1519.56/1522.55 c current bound: 378 1520.32/1523.30 c current bound: 378 1521.17/1524.10 c current bound: 378 1521.92/1524.90 c current bound: 378 1522.67/1525.69 c current bound: 378 1522.79/1526.46 c current bound: 378 1524.27/1527.26 c current bound: 378 1525.08/1528.05 c current bound: 378 1525.85/1528.83 c current bound: 378 1526.57/1529.57 c current bound: 378 1527.34/1530.32 c current bound: 378 1527.41/1531.06 c current bound: 378 1528.83/1531.80 c current bound: 378 1529.55/1532.57 c current bound: 378 1530.38/1533.36 c current bound: 378 1531.16/1534.13 c current bound: 378 1531.95/1534.91 c current bound: 378 1532.70/1535.70 c current bound: 378 1532.77/1536.47 c current bound: 378 1534.22/1537.25 c current bound: 378 1535.03/1538.04 c current bound: 378 1535.10/1538.77 c current bound: 378 1536.54/1539.56 c current bound: 378 1537.33/1540.35 c current bound: 378 1538.03/1541.09 c current bound: 378 1538.82/1541.84 c current bound: 378 1539.52/1542.59 c current bound: 378 1540.34/1543.35 c current bound: 378 1541.10/1544.10 c current bound: 378 1541.83/1544.88 c current bound: 378 1542.60/1545.62 c current bound: 378 1542.68/1546.35 c current bound: 378 1544.12/1547.13 c current bound: 378 1544.83/1547.87 c current bound: 378 1544.94/1548.65 c current bound: 378 1546.42/1549.42 c current bound: 378 1547.20/1550.21 c current bound: 378 1548.06/1551.01 c current bound: 378 1548.07/1551.77 c current bound: 378 1549.54/1552.54 c current bound: 378 1550.34/1553.34 c current bound: 378 1550.42/1554.08 c current bound: 378 1551.84/1554.87 c current bound: 378 1552.64/1555.65 c current bound: 378 1553.45/1556.43 c current bound: 378 1554.21/1557.22 c current bound: 378 1555.01/1558.01 c current bound: 378 1555.75/1558.75 c current bound: 378 1555.81/1559.48 c current bound: 378 1557.24/1560.26 c current bound: 378 1558.04/1561.04 c current bound: 378 1558.83/1561.82 c current bound: 378 1559.62/1562.61 c current bound: 378 1560.34/1563.35 c current bound: 378 1561.15/1564.13 c current bound: 378 1561.91/1564.92 c current bound: 378 1562.71/1565.71 c current bound: 378 1563.44/1566.46 c current bound: 378 1564.20/1567.23 c current bound: 378 1565.00/1568.02 c current bound: 378 1565.72/1568.79 c current bound: 378 1566.49/1569.52 c current bound: 378 1567.32/1570.30 c current bound: 378 1568.00/1571.08 c current bound: 378 1568.80/1571.81 c current bound: 378 1568.85/1572.59 c current bound: 378 1570.31/1573.37 c current bound: 378 1571.10/1574.13 c current bound: 378 1571.88/1574.91 c current bound: 378 1572.73/1575.70 c current bound: 378 1573.42/1576.47 c current bound: 378 1573.52/1577.25 c current bound: 378 1575.01/1578.07 c current bound: 378 1575.77/1578.81 c current bound: 378 1576.49/1579.56 c current bound: 378 1577.29/1580.34 c current bound: 378 1578.07/1581.12 c current bound: 378 1578.80/1581.85 c current bound: 378 1579.58/1582.62 c current bound: 378 1580.39/1583.43 c current bound: 378 1581.19/1584.22 c current bound: 378 1581.99/1585.02 c current bound: 378 1582.79/1585.80 c current bound: 378 1583.50/1586.57 c current bound: 378 1584.31/1587.36 c current bound: 378 1584.38/1588.09 c current bound: 378 1585.79/1588.89 c current bound: 378 1586.57/1589.62 c current bound: 378 1586.64/1590.36 c current bound: 378 1588.04/1591.10 c current bound: 378 1588.78/1591.89 c current bound: 378 1588.90/1592.67 c current bound: 378 1590.40/1593.44 c current bound: 378 1591.17/1594.25 c current bound: 378 1591.96/1595.04 c current bound: 378 1592.76/1595.82 c current bound: 378 1593.46/1596.59 c current bound: 378 1594.28/1597.37 c current bound: 378 1594.38/1598.17 c current bound: 378 1595.88/1598.96 c current bound: 378 1596.64/1599.71 c current bound: 378 1597.39/1600.49 c current bound: 378 1598.16/1601.22 c current bound: 378 1598.88/1601.96 c current bound: 378 1599.70/1602.75 c current bound: 378 1600.48/1603.52 c current bound: 378 1601.26/1604.31 c current bound: 378 1602.06/1605.12 c current bound: 378 1602.87/1605.92 c current bound: 378 1602.94/1606.69 c current bound: 378 1604.38/1607.48 c current bound: 378 1605.20/1608.27 c current bound: 378 1605.29/1609.07 c current bound: 378 1606.78/1609.86 c current bound: 378 1607.59/1610.60 c current bound: 378 1607.61/1611.39 c current bound: 378 1608.40/1612.16 c current bound: 378 1609.88/1612.94 c current bound: 378 1610.66/1613.72 c current bound: 378 1610.73/1614.47 c current bound: 378 1612.19/1615.26 c current bound: 378 1612.95/1616.04 c current bound: 378 1613.02/1616.78 c current bound: 378 1614.44/1617.52 c current bound: 378 1615.17/1618.25 c current bound: 378 1615.95/1619.04 c current bound: 378 1616.75/1619.83 c current bound: 378 1617.54/1620.63 c current bound: 378 1618.25/1621.37 c current bound: 378 1619.02/1622.10 c current bound: 378 1619.82/1622.91 c current bound: 378 1620.56/1623.64 c current bound: 378 1621.35/1624.43 c current bound: 378 1622.06/1625.17 c current bound: 378 1622.84/1625.92 c current bound: 378 1623.64/1626.72 c current bound: 378 1624.42/1627.50 c current bound: 378 1625.17/1628.28 c current bound: 378 1625.97/1629.04 c current bound: 378 1626.03/1629.77 c current bound: 378 1627.48/1630.50 c current bound: 378 1628.17/1631.28 c current bound: 378 1628.28/1632.06 c current bound: 378 1629.76/1632.84 c current bound: 378 1630.48/1633.58 c current bound: 378 1631.25/1634.32 c current bound: 378 1632.03/1635.10 c current bound: 378 1632.77/1635.84 c current bound: 378 1633.56/1636.62 c current bound: 378 1634.38/1637.40 c current bound: 378 1635.20/1638.20 c current bound: 378 1635.89/1638.94 c current bound: 378 1636.65/1639.71 c current bound: 378 1637.38/1640.49 c current bound: 378 1638.20/1641.27 c current bound: 378 1638.98/1642.04 c current bound: 378 1639.70/1642.78 c current bound: 378 1640.49/1643.55 c current bound: 378 1640.58/1644.28 c current bound: 378 1641.99/1645.08 c current bound: 378 1642.77/1645.82 c current bound: 378 1642.85/1646.55 c current bound: 378 1644.30/1647.34 c current bound: 378 1645.09/1648.15 c current bound: 378 1645.93/1649.00 c current bound: 378 1646.01/1649.76 c current bound: 378 1647.48/1650.54 c current bound: 378 1648.28/1651.33 c current bound: 378 1649.07/1652.11 c current bound: 378 1649.12/1652.85 c current bound: 378 1650.48/1653.59 c current bound: 378 1651.28/1654.32 c current bound: 378 1652.04/1655.11 c current bound: 378 1652.78/1655.84 c current bound: 378 1653.55/1656.62 c current bound: 378 1654.35/1657.40 c current bound: 378 1655.07/1658.17 c current bound: 378 1655.97/1659.02 c current bound: 378 1656.73/1659.81 c current bound: 378 1656.77/1660.59 c current bound: 378 1658.24/1661.37 c current bound: 378 1659.06/1662.16 c current bound: 378 1659.81/1662.90 c current bound: 378 1660.61/1663.70 c current bound: 378 1661.34/1664.46 c current bound: 378 1662.15/1665.24 c current bound: 378 1662.94/1666.03 c current bound: 378 1663.64/1666.78 c current bound: 378 1664.47/1667.56 c current bound: 378 1665.26/1668.35 c current bound: 378 1665.96/1669.08 c current bound: 378 1666.75/1669.85 c current bound: 378 1667.55/1670.63 c current bound: 378 1668.34/1671.42 c current bound: 378 1669.05/1672.18 c current bound: 378 1669.86/1672.95 c current bound: 378 1670.65/1673.73 c current bound: 378 1671.45/1674.51 c current bound: 378 1672.17/1675.28 c current bound: 378 1672.24/1676.06 c current bound: 378 1673.70/1676.80 c current bound: 378 1674.45/1677.55 c current bound: 378 1675.20/1678.30 c current bound: 378 1675.93/1679.09 c current bound: 378 1676.74/1679.86 c current bound: 378 1677.54/1680.64 c current bound: 378 1678.33/1681.43 c current bound: 378 1679.03/1682.18 c current bound: 378 1679.85/1682.95 c current bound: 378 1679.91/1683.75 c current bound: 378 1681.34/1684.49 c current bound: 378 1682.14/1685.29 c current bound: 378 1682.91/1686.01 c current bound: 378 1683.65/1686.75 c current bound: 378 1684.41/1687.50 c current bound: 378 1684.48/1688.29 c current bound: 378 1685.95/1689.08 c current bound: 378 1686.73/1689.82 c current bound: 378 1687.55/1690.61 c current bound: 378 1688.36/1691.40 c current bound: 378 1689.03/1692.19 c current bound: 378 1689.85/1692.96 c current bound: 378 1689.94/1693.75 c current bound: 378 1691.45/1694.53 c current bound: 378 1692.23/1695.32 c current bound: 378 1692.30/1696.08 c current bound: 378 1693.73/1696.85 c current bound: 378 1694.51/1697.62 c current bound: 378 1695.23/1698.36 c current bound: 378 1695.32/1699.16 c current bound: 378 1696.81/1699.91 c current bound: 378 1697.54/1700.67 c current bound: 378 1698.31/1701.42 c current bound: 378 1699.04/1702.17 c current bound: 378 1699.79/1702.91 c current bound: 378 1700.52/1703.63 c current bound: 378 1701.30/1704.42 c current bound: 378 1702.10/1705.21 c current bound: 378 1702.17/1706.00 c current bound: 378 1702.96/1706.79 c current bound: 378 1704.42/1707.56 c current bound: 378 1705.24/1708.35 c current bound: 378 1706.02/1709.14 c current bound: 378 1706.83/1709.93 c current bound: 378 1707.53/1710.68 c current bound: 378 1707.64/1711.45 c current bound: 378 1709.12/1712.24 c current bound: 378 1709.91/1713.02 c current bound: 378 1710.64/1713.75 c current bound: 378 1711.42/1714.54 c current bound: 378 1712.13/1715.28 c current bound: 378 1712.94/1716.06 c current bound: 378 1713.73/1716.84 c current bound: 378 1714.43/1717.58 c current bound: 378 1715.22/1718.37 c current bound: 378 1716.00/1719.11 c current bound: 378 1716.74/1719.84 c current bound: 378 1717.42/1720.58 c current bound: 378 1717.54/1721.37 c current bound: 378 1718.99/1722.11 c current bound: 378 1719.73/1722.84 c current bound: 378 1720.54/1723.62 c current bound: 378 1721.24/1724.35 c current bound: 378 1722.02/1725.13 c current bound: 378 1722.80/1725.91 c current bound: 378 1723.54/1726.65 c current bound: 378 1724.34/1727.44 c current bound: 378 1725.13/1728.22 c current bound: 378 1725.92/1729.04 c current bound: 378 1726.61/1729.77 c current bound: 378 1727.39/1730.52 c current bound: 378 1727.47/1731.25 c current bound: 378 1728.92/1732.05 c current bound: 378 1729.62/1732.78 c current bound: 378 1730.43/1733.55 c current bound: 378 1730.51/1734.29 c current bound: 378 1731.92/1735.06 c current bound: 378 1732.70/1735.82 c current bound: 378 1733.44/1736.55 c current bound: 378 1734.22/1737.33 c current bound: 378 1734.99/1738.11 c current bound: 378 1735.05/1738.89 c current bound: 378 1736.52/1739.68 c current bound: 378 1737.32/1740.48 c current bound: 378 1738.14/1741.26 c current bound: 378 1738.87/1742.00 c current bound: 378 1739.62/1742.75 c current bound: 378 1740.43/1743.55 c current bound: 378 1741.22/1744.33 c current bound: 378 1742.00/1745.11 c current bound: 378 1742.69/1745.83 c current bound: 378 1742.76/1746.58 c current bound: 378 1744.19/1747.38 c current bound: 378 1744.98/1748.16 c current bound: 378 1745.80/1748.91 c current bound: 378 1745.83/1749.68 c current bound: 378 1747.25/1750.42 c current bound: 378 1748.07/1751.22 c current bound: 378 1748.14/1751.99 c current bound: 378 1749.58/1752.77 c current bound: 378 1750.37/1753.56 c current bound: 378 1751.15/1754.31 c current bound: 378 1751.88/1755.05 c current bound: 378 1752.68/1755.86 c current bound: 378 1753.45/1756.65 c current bound: 378 1754.27/1757.45 c current bound: 378 1755.03/1758.22 c current bound: 378 1755.84/1759.03 c current bound: 378 1755.92/1759.78 c current bound: 378 1757.33/1760.51 c current bound: 378 1758.16/1761.33 c current bound: 378 1758.91/1762.13 c current bound: 378 1759.69/1762.92 c current bound: 378 1760.48/1763.71 c current bound: 378 1761.22/1764.45 c current bound: 378 1762.01/1765.24 c current bound: 378 1762.81/1766.03 c current bound: 378 1763.52/1766.77 c current bound: 378 1763.61/1767.56 c current bound: 378 1765.12/1768.35 c current bound: 378 1765.92/1769.10 c current bound: 378 1766.62/1769.84 c current bound: 378 1766.69/1770.69 c current bound: 378 1768.20/1771.42 c current bound: 378 1768.98/1772.24 c current bound: 378 1769.05/1772.99 c current bound: 378 1770.47/1773.77 c current bound: 378 1771.25/1774.51 c current bound: 378 1771.32/1775.30 c current bound: 378 1772.78/1776.04 c current bound: 378 1773.55/1776.83 c current bound: 378 1774.35/1777.62 c current bound: 378 1774.42/1778.46 c current bound: 378 1775.98/1779.25 c current bound: 378 1776.79/1780.05 c current bound: 378 1777.58/1780.84 c current bound: 378 1777.64/1781.56 c current bound: 378 1779.08/1782.36 c current bound: 378 1779.87/1783.14 c current bound: 378 1780.65/1783.93 c current bound: 378 1781.45/1784.72 c current bound: 378 1782.18/1785.47 c current bound: 378 1782.95/1786.22 c current bound: 378 1783.74/1787.02 c current bound: 378 1784.46/1787.77 c current bound: 378 1785.27/1788.58 c current bound: 378 1785.38/1789.36 c current bound: 378 1786.87/1790.15 c current bound: 378 1787.64/1790.93 c current bound: 378 1787.73/1791.66 c current bound: 378 1789.16/1792.44 c current bound: 378 1789.96/1793.23 c current bound: 378 1790.02/1793.96 c current bound: 378 1791.35/1794.70 c current bound: 378 1792.17/1795.45 c current bound: 378 1792.97/1796.23 c current bound: 378 1793.02/1796.96 c current bound: 378 1794.47/1797.75 c current bound: 378 1795.25/1798.53 c current bound: 378 1795.31/1799.27 c current bound: 378 1796.72/1800.01 c current bound: 378 1797.46/1800.80 c current bound: 378 1797.58/1801.58 c current bound: 378 1799.05/1802.38 c current bound: 378 1799.84/1803.13 c current bound: 378 1800.66/1803.91 c current bound: 378 1800.69/1803.91 HOME/npSolver-wbo-Itdqb.sh: line 18: 16431 Terminated ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3752958-1339193672/watcher-3752958-1339193672 -o /tmp/evaluation-result-3752958-1339193672/solver-3752958-1339193672 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752958-1339193672.wbo 1589654936 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16430 /proc/meminfo: memFree=31333008/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [startup+0.0712941 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16430 /proc/meminfo: memFree=31333008/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.1002 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16430 /proc/meminfo: memFree=31333008/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300137 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16430 /proc/meminfo: memFree=31333008/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700256 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16430 /proc/meminfo: memFree=31333008/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50029 s] /proc/loadavg: 2.07 2.02 2.00 3/183 16444 /proc/meminfo: memFree=31306472/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1.41 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 3987 15612 0 0 10 5 120 6 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 17244 [startup+3.10028 s] /proc/loadavg: 2.07 2.02 2.00 3/183 16451 /proc/meminfo: memFree=31303572/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=2.99 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 5769 29550 0 0 13 6 267 13 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 17244 [startup+6.3003 s] /proc/loadavg: 2.06 2.02 2.00 3/183 16500 /proc/meminfo: memFree=31311804/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=6.08 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 9333 55699 0 0 19 6 557 26 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 6.08 Current children cumulated vsize (KiB) 17244 [startup+12.7003 s] /proc/loadavg: 2.06 2.02 2.00 3/183 16570 /proc/meminfo: memFree=31303912/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=12.23 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 16461 110659 0 0 31 8 1131 53 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 12.23 Current children cumulated vsize (KiB) 17244 [startup+25.5003 s] /proc/loadavg: 1.96 2.00 2.00 3/183 16762 /proc/meminfo: memFree=31303776/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=25.24 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 31608 226358 0 0 56 12 2346 110 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 25.24 Current children cumulated vsize (KiB) 17244 [startup+51.1003 s] /proc/loadavg: 1.97 2.00 2.00 3/183 16993 /proc/meminfo: memFree=31260640/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=50.66 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 61011 450431 0 0 104 20 4722 220 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 50.66 Current children cumulated vsize (KiB) 17244 [startup+102.307 s] /proc/loadavg: 2.03 2.01 2.00 3/183 17476 /proc/meminfo: memFree=31260012/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=101.38 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 119817 898878 0 0 200 35 9457 446 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 [pid=17475] ppid=16431 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17475/stat : 17475 (satsolver.sh) S 16431 16430 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385503518 9367552 266 33554432000 4194304 5064252 140734171799568 140734171798480 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/17475/statm: 2287 266 226 213 0 72 0 [pid=17476] ppid=17475 vsize=15180 CPUtime=0.5 cores=0,2,4,6 /proc/17476/stat : 17476 (glucose) R 17475 16430 10289 0 -1 4202496 3156 0 0 0 50 0 0 0 20 0 1 0 385503518 15544320 3346 33554432000 4194304 5208918 140733555906064 140734171798504 4212508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/17476/statm: 3795 3346 95 248 0 3544 0 Current children cumulated CPU time (s) 101.88 Current children cumulated vsize (KiB) 41572 [startup+162.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 18029 /proc/meminfo: memFree=31261104/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=161.49 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 189315 1435541 0 0 316 52 15070 711 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 161.49 Current children cumulated vsize (KiB) 17244 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 18597 /proc/meminfo: memFree=31265368/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=221.29 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 258813 1963993 0 0 431 70 20657 971 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 [pid=18596] ppid=16431 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18596/stat : 18596 (satsolver.sh) S 16431 16430 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385515530 9367552 266 33554432000 4194304 5064252 140735474164432 140735474163344 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/18596/statm: 2287 266 226 213 0 72 0 [pid=18597] ppid=18596 vsize=15184 CPUtime=0.37 cores=0,2,4,6 /proc/18597/stat : 18597 (glucose) R 18596 16430 10289 0 -1 4202496 3181 0 0 0 37 0 0 0 20 0 1 0 385515530 15548416 3371 33554432000 4194304 5208918 140736486020848 140735474163368 4211521 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/18597/statm: 3796 3371 95 248 0 3545 0 Current children cumulated CPU time (s) 221.66 Current children cumulated vsize (KiB) 41576 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 19150 /proc/meminfo: memFree=31294664/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=281.32 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 328311 2499266 0 0 546 89 26262 1235 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 281.32 Current children cumulated vsize (KiB) 17244 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 19720 /proc/meminfo: memFree=31295984/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/meminfo: memFree=31255740/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1240.02 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 1437769 11004583 0 0 2185 343 115954 5520 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 1240.02 Current children cumulated vsize (KiB) 17244 [startup+1302.3 s] /proc/loadavg: 1.98 1.94 1.96 3/184 28649 /proc/meminfo: memFree=31262852/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1299.8 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 1506221 11529529 0 0 2281 358 121554 5787 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393990624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 [pid=28647] ppid=16431 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28647/stat : 28647 (cp2_post.sh) S 16431 16430 10289 0 -1 4202496 612 0 0 0 0 0 0 0 20 0 1 0 385623568 9367552 266 33554432000 4194304 5064252 140736075835424 140736075833712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/28647/statm: 2287 266 225 213 0 72 0 [pid=28648] ppid=28647 vsize=4004 CPUtime=0 cores=0,2,4,6 /proc/28648/stat : 28648 (cat) R 28647 16430 10289 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 385623568 4100096 121 33554432000 4194304 4236627 140735204701008 140735204700104 251032061408 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28648/statm: 1001 121 96 11 0 67 0 [pid=28649] ppid=28647 vsize=6396 CPUtime=0 cores=0,2,4,6 /proc/28649/stat : 28649 (coprocessor) R 28647 16430 10289 0 -1 4202496 703 0 0 0 0 0 0 0 20 0 1 0 385623568 6549504 1093 33554432000 4194304 6586260 140737441333424 140736075833736 5732400 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 /proc/28649/statm: 1599 1094 145 584 0 1011 0 Current children cumulated CPU time (s) 1299.8 Current children cumulated vsize (KiB) 36792 [startup+1362.3 s] /proc/loadavg: 1.99 1.95 1.96 3/183 29199 /proc/meminfo: memFree=31253880/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1359.21 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 1575711 12057358 0 0 2378 373 127111 6059 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 1359.21 Current children cumulated vsize (KiB) 17244 [startup+1422.31 s] /proc/loadavg: 1.99 1.95 1.96 3/183 29767 /proc/meminfo: memFree=31255968/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1419.28 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 1645209 12591838 0 0 2477 389 132731 6331 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 [pid=29766] ppid=16431 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29766/stat : 29766 (satsolver.sh) S 16431 16430 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385635535 9367552 266 33554432000 4194304 5064252 140737225567104 140737225566016 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 2287 266 226 213 0 72 0 [pid=29767] ppid=29766 vsize=15176 CPUtime=0.33 cores=0,2,4,6 /proc/29767/stat : 29767 (glucose) R 29766 16430 10289 0 -1 4202496 2991 0 0 0 33 0 0 0 20 0 1 0 385635535 15540224 3195 33554432000 4194304 5208918 140734446199664 140734446198072 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/29767/statm: 3794 3195 95 248 0 3543 0 Current children cumulated CPU time (s) 1419.61 Current children cumulated vsize (KiB) 41568 [startup+1482.3 s] /proc/loadavg: 1.99 1.96 1.96 3/183 30320 /proc/meminfo: memFree=31254504/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1479.13 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 1714707 13122540 0 0 2575 404 138340 6594 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 1479.13 Current children cumulated vsize (KiB) 17244 [startup+1542.3 s] /proc/loadavg: 1.99 1.96 1.96 3/184 30890 /proc/meminfo: memFree=31293692/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1538.89 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 1784205 13655763 0 0 2678 419 143929 6863 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 [pid=30889] ppid=16431 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30889/stat : 30889 (satsolver.sh) S 16431 16430 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385647525 9367552 267 33554432000 4194304 5064252 140736851540576 140736851539488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/30889/statm: 2287 267 226 213 0 72 0 [pid=30890] ppid=30889 vsize=15180 CPUtime=0.43 cores=0,2,4,6 /proc/30890/stat : 30890 (glucose) R 30889 16430 10289 0 -1 4202496 2956 0 0 0 43 0 0 0 20 0 1 0 385647525 15544320 3259 33554432000 4194304 5208918 140734683474096 140736851539512 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/30890/statm: 3795 3259 95 248 0 3544 0 Current children cumulated CPU time (s) 1539.32 Current children cumulated vsize (KiB) 41572 [startup+1602.3 s] /proc/loadavg: 1.99 1.97 1.96 3/183 31443 /proc/meminfo: memFree=31287228/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1598.99 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 1853703 14191028 0 0 2793 438 149545 7123 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 1598.99 Current children cumulated vsize (KiB) 17244 [startup+1662.3 s] /proc/loadavg: 1.99 1.97 1.96 3/183 32003 /proc/meminfo: memFree=31293844/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1659.13 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 1923201 14722282 0 0 2908 456 155165 7384 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 1659.13 Current children cumulated vsize (KiB) 17244 [startup+1722.3 s] /proc/loadavg: 1.99 1.97 1.96 3/183 32564 /proc/meminfo: memFree=31300768/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1719.06 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 1992699 15254699 0 0 3023 473 160765 7645 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 1719.06 Current children cumulated vsize (KiB) 17244 [startup+1782.3 s] /proc/loadavg: 2.01 1.97 1.96 3/183 665 /proc/meminfo: memFree=31297892/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1779.08 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) S 16430 16430 10289 0 -1 4202496 2061314 15783327 0 0 3126 488 166383 7911 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393990624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 1779.08 Current children cumulated vsize (KiB) 17244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1803.9 s] /proc/loadavg: 2.01 1.97 1.96 3/183 866 /proc/meminfo: memFree=31264008/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1800.69 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) R 16430 16430 10289 0 -1 4202496 2086496 15976506 0 0 3162 494 168403 8010 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991712 5056727 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (KiB) 17244 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1803.9 s] /proc/loadavg: 2.01 1.97 1.96 3/183 866 /proc/meminfo: memFree=31264008/32873844 swapFree=7380/7380 [pid=16430] ppid=16428 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16430/stat : 16430 (npSolver-wbo-It) S 16428 16430 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385493339 9367552 275 33554432000 4194304 5064252 140737268230800 140737268229712 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/16430/statm: 2287 275 233 213 0 72 0 [pid=16431] ppid=16430 vsize=8096 CPUtime=1800.69 cores=0,2,4,6 /proc/16431/stat : 16431 (npSolver-wbo) R 16430 16430 10289 0 -1 4202496 2086496 15976506 0 0 3162 494 168403 8010 20 0 1 0 385493339 8290304 1530 33554432000 4194304 6006132 140735393999776 140735393991712 5056727 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16431/statm: 2024 1530 176 443 0 1577 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (KiB) 17244 Child status: 0 Real time (s): 1803.91 CPU time (s): 1800.7 CPU user time (s): 1715.66 CPU system time (s): 85.0471 CPU usage (%): 99.8221 Max. virtual memory (cumulated for all children) (KiB): 44692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1715.66 system time used= 85.0471 maximum resident set size= 31020 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18063397 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8275672 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 151492 involuntary context switches= 26855 runsolver used 2.94855 second user time and 7.32789 second system time The end
Begin job on node118 at 2012-06-09 00:14:32 IDJOB=3752958 IDBENCH=78710 IDSOLVER=2336 FILE ID=node118/3752958-1339193672 RUNJOBID= node118-1339184624-11432 PBS_JOBID= 14643819 Free space on /tmp= 70788 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752958-1339193672/watcher-3752958-1339193672 -o /tmp/evaluation-result-3752958-1339193672/solver-3752958-1339193672 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752958-1339193672.wbo 1589654936 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 877b894215c8e906897b9f5c7b76fab3 RANDOM SEED=1589654936 node118.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.212 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.42 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.212 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 : 5438.55 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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.212 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.212 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 : 5320.68 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.212 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.212 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31333652 kB Buffers: 309640 kB Cached: 328924 kB SwapCached: 6500 kB Active: 336996 kB Inactive: 322656 kB Active(anon): 13908 kB Inactive(anon): 6640 kB Active(file): 323088 kB Inactive(file): 316016 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108856 kB SwapFree: 67095476 kB Dirty: 8568 kB Writeback: 0 kB AnonPages: 97564 kB Mapped: 10220 kB Shmem: 0 kB Slab: 740796 kB SReclaimable: 180760 kB SUnreclaim: 560036 kB KernelStack: 1520 kB PageTables: 3884 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 139028 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 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= 70776 MiB End job on node118 at 2012-06-09 00:44:36