Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1726.03 | 1900.01 |
Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-33-100-0.wbo |
MD5SUM | 55bc063057ce6e5238203b79e8fa6b9b |
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 | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.032994 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3844 |
Total number of constraints | 11854 |
Number of soft constraints | 7954 |
Number of constraints which are clauses | 11610 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 244 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
Top cost | 399620 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 399619 |
Biggest number in a constraint | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 99 |
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 |
3.09/3.16 c run usual solver 9.36/9.44 o 255 9.36/9.44 c starting approximation 9.36/9.44 c factor = 2 9.36/9.44 c factor still to low - shrinking to 6.08481 9.36/9.44 c approx number of clauses: 1e+06 9.36/9.44 c current bound: 127 10.25/10.59 c current bound: 127 11.68/11.74 c current bound: 127 12.84/13.53 c current bound: 127 13.71/14.69 c current bound: 127 15.13/15.84 c current bound: 127 16.02/16.99 c current bound: 127 17.44/18.45 c current bound: 127 18.60/19.60 c current bound: 127 19.48/20.76 c current bound: 127 20.90/21.91 c current bound: 127 22.05/23.43 c current bound: 127 22.95/24.59 c current bound: 127 24.36/25.74 c current bound: 127 25.26/26.89 c current bound: 127 26.67/28.04 c current bound: 127 27.83/29.20 c current bound: 127 28.98/30.35 c current bound: 127 30.14/31.50 c current bound: 127 31.02/32.66 c current bound: 127 32.45/34.05 c current bound: 127 33.64/35.20 c current bound: 127 34.75/36.36 c current bound: 127 35.90/37.52 c current bound: 127 37.04/38.88 c current bound: 127 38.21/40.03 c current bound: 127 39.09/41.18 c current bound: 127 40.52/42.34 c current bound: 127 41.41/43.49 c current bound: 127 42.83/44.64 c current bound: 127 43.98/45.80 c current bound: 127 45.13/46.95 c current bound: 127 46.29/48.10 c current bound: 127 47.17/49.26 c current bound: 127 48.33/50.57 c current bound: 127 49.78/51.72 c current bound: 127 50.88/52.87 c current bound: 127 52.06/54.03 c current bound: 127 53.18/55.18 c current bound: 127 54.38/56.34 c current bound: 127 55.53/57.50 c current bound: 127 56.42/58.66 c current bound: 127 57.85/59.82 c current bound: 127 58.73/61.16 c current bound: 127 60.14/62.32 c current bound: 127 61.03/63.48 c current bound: 127 62.46/64.63 c current bound: 127 63.61/66.05 c current bound: 127 64.76/67.20 c current bound: 127 65.93/68.36 c current bound: 127 67.07/69.51 c current bound: 127 68.23/71.24 c current bound: 127 69.11/72.40 c current bound: 127 70.27/73.55 c current bound: 127 71.69/74.71 c current bound: 127 72.86/76.63 c current bound: 127 73.73/77.79 c current bound: 127 75.16/78.94 c current bound: 127 76.32/80.10 c current bound: 127 77.48/81.50 c current bound: 127 78.62/82.66 c current bound: 127 79.79/83.84 c current bound: 127 80.90/84.99 c current bound: 127 82.10/86.82 c current bound: 127 82.97/87.97 c current bound: 127 84.43/89.13 c current bound: 127 85.52/90.28 c current bound: 127 86.71/91.70 c current bound: 127 87.60/92.85 c current bound: 127 89.03/94.01 c current bound: 127 89.91/95.17 c current bound: 127 91.36/96.92 c current bound: 127 92.46/98.07 c current bound: 127 93.64/99.23 c current bound: 127 94.74/100.38 c current bound: 127 95.94/102.03 c current bound: 127 96.83/103.19 c current bound: 127 98.25/104.34 c current bound: 127 99.13/105.49 c current bound: 127 100.56/107.19 c current bound: 127 101.71/108.34 c current bound: 127 102.87/109.50 c current bound: 127 104.02/110.65 c current bound: 127 105.18/112.52 c current bound: 127 106.05/113.68 c current bound: 127 107.47/114.83 c current bound: 127 108.36/115.98 c current bound: 127 109.80/117.42 c current bound: 127 110.67/118.58 c current bound: 127 112.10/119.73 c current bound: 127 112.99/120.88 c current bound: 127 114.39/122.77 c current bound: 127 115.56/123.93 c current bound: 127 116.45/125.08 c current bound: 127 117.87/126.24 c current bound: 127 119.03/127.70 c current bound: 127 120.18/128.85 c current bound: 127 121.34/130.01 c current bound: 127 122.47/131.16 c current bound: 127 123.64/132.75 c current bound: 127 124.80/133.90 c current bound: 127 125.95/135.05 c current bound: 127 127.12/136.21 c current bound: 127 128.26/138.17 c current bound: 127 129.42/139.33 c current bound: 127 130.32/140.48 c current bound: 127 131.74/141.63 c current bound: 127 132.90/143.02 c current bound: 127 134.01/144.17 c current bound: 127 135.18/145.33 c current bound: 127 136.30/146.48 c current bound: 127 137.47/148.39 c current bound: 127 138.64/149.54 c current bound: 127 139.52/150.70 c current bound: 127 140.96/151.85 c current bound: 127 142.09/153.33 c current bound: 127 142.99/154.48 c current bound: 127 144.41/155.63 c current bound: 127 145.28/156.79 c current bound: 127 146.69/158.59 c current bound: 127 147.86/159.75 c current bound: 127 149.03/160.91 c current bound: 127 149.91/162.06 c current bound: 127 151.33/163.61 c current bound: 127 152.21/164.76 c current bound: 127 153.63/165.91 c current bound: 127 154.52/167.06 c current bound: 127 155.93/168.54 c current bound: 127 157.11/169.71 c current bound: 127 158.00/170.87 c current bound: 127 159.41/172.03 c current bound: 127 160.58/173.84 c current bound: 127 161.68/175.00 c current bound: 127 162.88/176.15 c current bound: 127 164.03/177.31 c current bound: 127 165.19/178.80 c current bound: 127 166.33/179.95 c current bound: 127 167.49/181.11 c current bound: 127 168.38/182.26 c current bound: 127 169.80/184.15 c current bound: 127 170.95/185.30 c current bound: 127 172.10/186.45 c current bound: 127 173.26/187.61 c current bound: 127 174.42/189.09 c current bound: 127 175.58/190.24 c current bound: 127 176.45/191.40 c current bound: 127 177.86/192.55 c current bound: 127 179.02/194.22 c current bound: 127 179.91/195.37 c current bound: 127 181.34/196.53 c current bound: 127 182.23/197.68 c current bound: 127 183.63/199.58 c current bound: 127 184.81/200.73 c current bound: 127 185.69/201.88 c current bound: 127 187.10/203.04 c current bound: 127 188.26/204.47 c current bound: 127 189.42/205.62 c current bound: 127 190.30/206.78 c current bound: 127 191.75/207.93 c current bound: 127 192.88/209.38 c current bound: 127 194.05/210.54 c current bound: 127 194.93/211.69 c current bound: 127 196.34/212.85 c current bound: 127 197.51/214.00 c current bound: 127 198.66/215.30 c current bound: 127 199.82/216.45 c current bound: 127 200.97/217.60 c current bound: 127 201.85/218.76 c current bound: 127 203.28/219.91 c current bound: 127 204.16/221.07 c current bound: 127 205.62/222.22 c current bound: 127 206.71/223.38 c current bound: 127 207.89/224.91 c current bound: 127 208.77/226.07 c current bound: 127 210.20/227.22 c current bound: 127 211.10/228.38 c current bound: 127 212.52/229.81 c current bound: 127 213.40/230.97 c current bound: 127 214.87/232.12 c current bound: 127 215.95/233.27 c current bound: 127 217.13/235.15 c current bound: 127 218.28/236.30 c current bound: 127 219.18/237.46 c current bound: 127 220.60/238.61 c current bound: 127 221.76/240.05 c current bound: 127 222.92/241.20 c current bound: 127 224.06/242.35 c current bound: 127 225.23/243.58 c current bound: 127 226.38/245.12 c current bound: 127 227.27/246.27 c current bound: 127 228.69/247.42 c current bound: 127 229.58/248.58 c current bound: 127 231.02/250.08 c current bound: 127 232.17/251.23 c current bound: 127 233.06/252.39 c current bound: 127 234.50/253.55 c current bound: 127 235.65/255.33 c current bound: 127 236.77/256.48 c current bound: 127 237.97/257.64 c current bound: 127 239.06/258.79 c current bound: 127 240.26/260.69 c current bound: 127 241.44/261.85 c current bound: 127 242.52/263.00 c current bound: 127 243.73/264.16 c current bound: 127 244.88/265.63 c current bound: 127 245.78/266.78 c current bound: 127 247.20/267.93 c current bound: 127 248.09/269.09 c current bound: 127 249.51/270.92 c current bound: 127 250.39/272.07 c current bound: 127 251.81/273.22 c current bound: 127 252.71/274.38 c current bound: 127 254.13/275.78 c current bound: 127 255.28/276.94 c current bound: 127 256.48/278.61 c current bound: 127 257.32/279.76 c current bound: 127 258.74/280.91 c current bound: 127 259.63/282.07 c current bound: 127 261.06/283.24 c current bound: 127 261.96/284.39 c current bound: 127 263.40/286.23 c current bound: 127 264.51/287.38 c current bound: 127 265.70/288.54 c current bound: 127 266.58/289.69 c current bound: 127 268.01/291.16 c current bound: 127 269.16/292.32 c current bound: 127 270.05/293.47 c current bound: 127 271.47/294.62 c current bound: 127 272.63/296.47 c current bound: 127 273.79/297.62 c current bound: 127 274.67/298.78 c current bound: 127 276.10/299.94 c current bound: 127 277.26/301.35 c current bound: 127 278.45/302.51 c current bound: 127 279.54/303.68 c current bound: 127 280.72/304.83 c current bound: 127 281.88/306.55 c current bound: 127 283.04/307.70 c current bound: 127 284.21/308.85 c current bound: 127 285.35/310.01 c current bound: 127 286.52/311.72 c current bound: 127 287.39/312.87 c current bound: 127 288.81/314.03 c current bound: 127 289.70/315.18 c current bound: 127 291.13/316.97 c current bound: 127 292.28/318.12 c current bound: 127 293.41/319.28 c current bound: 127 294.60/320.43 c current bound: 127 295.75/322.18 c current bound: 127 296.89/323.33 c current bound: 127 297.79/324.48 c current bound: 127 299.23/325.64 c current bound: 127 300.37/327.38 c current bound: 127 301.53/328.54 c current bound: 127 302.41/329.69 c current bound: 127 303.84/330.85 c current bound: 127 304.99/332.76 c current bound: 127 306.15/333.92 c current bound: 127 307.03/335.07 c current bound: 127 308.46/336.23 c current bound: 127 309.62/337.67 c current bound: 127 310.79/338.83 c current bound: 127 311.89/339.98 c current bound: 127 313.08/341.14 c current bound: 127 314.24/342.81 c current bound: 127 315.12/343.97 c current bound: 127 316.54/345.12 c current bound: 127 317.43/346.28 c current bound: 127 318.85/348.06 c current bound: 127 320.00/349.22 c current bound: 127 320.90/350.37 c current bound: 127 322.32/351.53 c current bound: 127 323.48/353.05 c current bound: 127 324.68/354.21 c current bound: 127 325.77/355.36 c current bound: 127 326.94/356.52 c current bound: 127 328.07/357.67 c current bound: 127 329.24/358.85 c current bound: 127 330.41/360.01 c current bound: 127 331.28/361.16 c current bound: 127 332.71/362.32 c current bound: 127 333.87/363.58 c current bound: 127 335.02/364.73 c current bound: 127 335.91/365.89 c current bound: 127 337.33/367.04 c current bound: 127 338.49/369.00 c current bound: 127 339.38/370.16 c current bound: 127 340.79/371.31 c current bound: 127 341.67/372.46 c current bound: 127 342.83/373.99 c current bound: 127 344.27/375.14 c current bound: 127 345.37/376.29 c current bound: 127 346.57/377.45 c current bound: 127 347.72/378.72 c current bound: 127 348.62/379.87 c current bound: 127 350.04/381.02 c current bound: 127 350.92/382.18 c current bound: 127 352.36/384.11 c current bound: 127 353.50/385.26 c current bound: 127 354.67/386.42 c current bound: 127 355.55/387.58 c current bound: 127 356.99/388.99 c current bound: 127 358.13/390.14 c current bound: 127 359.29/391.30 c current bound: 127 360.45/392.45 c current bound: 127 361.62/394.16 c current bound: 127 362.78/395.32 c current bound: 127 363.67/396.47 c current bound: 127 365.08/397.62 c current bound: 127 366.28/399.31 c current bound: 127 367.38/400.46 c current bound: 127 368.55/401.62 c current bound: 127 369.67/402.77 c current bound: 127 370.86/404.53 c current bound: 127 371.76/405.68 c current bound: 127 373.17/406.84 c current bound: 127 374.06/407.99 c current bound: 127 375.49/409.68 c current bound: 127 376.64/410.84 c current bound: 127 377.52/411.99 c current bound: 127 378.98/413.62 c current bound: 127 380.10/415.03 c current bound: 127 381.00/416.18 c current bound: 127 382.42/417.34 c current bound: 127 383.64/418.50 c current bound: 127 384.72/420.46 c current bound: 127 385.90/421.62 c current bound: 127 386.79/422.78 c current bound: 127 388.22/423.94 c current bound: 127 389.37/425.32 c current bound: 127 390.25/426.48 c current bound: 127 391.70/427.64 c current bound: 127 392.57/428.79 c current bound: 127 394.00/430.64 c current bound: 127 394.89/431.79 c current bound: 127 396.32/432.94 c current bound: 127 397.46/434.10 c current bound: 127 398.61/435.57 c current bound: 127 399.80/436.73 c current bound: 127 400.89/437.88 c current bound: 127 402.08/439.03 c current bound: 127 403.23/440.82 c current bound: 127 404.12/441.97 c current bound: 127 405.54/443.12 c current bound: 127 406.43/444.28 c current bound: 127 407.84/446.09 c current bound: 127 409.01/447.25 c current bound: 127 410.17/448.61 c current bound: 127 411.05/449.76 c current bound: 127 412.49/451.06 c current bound: 127 413.63/452.21 c current bound: 127 414.77/453.37 c current bound: 127 415.93/454.52 c current bound: 127 417.09/456.48 c current bound: 127 418.27/457.63 c current bound: 127 419.36/458.78 c current bound: 127 420.55/459.94 c current bound: 127 421.72/461.40 c current bound: 127 422.60/462.56 c current bound: 127 424.03/463.71 c current bound: 127 424.91/464.87 c current bound: 127 426.35/466.81 c current bound: 127 427.24/467.96 c current bound: 127 428.65/469.12 c current bound: 127 429.56/470.27 c current bound: 127 430.98/471.73 c current bound: 127 431.87/472.89 c current bound: 127 433.30/474.05 c current bound: 127 434.49/475.21 c current bound: 127 435.60/476.68 c current bound: 127 436.74/477.84 c current bound: 127 437.64/478.99 c current bound: 127 439.06/480.15 c current bound: 127 440.21/482.04 c current bound: 127 441.37/483.64 c current bound: 127 442.25/484.79 c current bound: 127 443.42/485.96 c current bound: 127 444.85/487.11 c current bound: 127 445.73/488.26 c current bound: 127 447.15/489.42 c current bound: 127 448.05/490.58 c current bound: 127 449.48/491.73 c current bound: 127 450.62/493.03 c current bound: 127 451.71/494.18 c current bound: 127 452.92/495.34 c current bound: 127 453.81/496.49 c current bound: 127 455.24/497.98 c current bound: 127 456.39/499.14 c current bound: 127 457.26/500.29 c current bound: 127 458.70/501.45 c current bound: 127 459.85/503.13 c current bound: 127 460.75/504.28 c current bound: 127 462.16/505.43 c current bound: 127 463.04/506.59 c current bound: 127 464.47/508.03 c current bound: 127 465.36/509.18 c current bound: 127 466.79/510.34 c current bound: 127 467.67/511.49 c current bound: 127 469.10/513.01 c current bound: 127 469.98/514.17 c current bound: 127 471.40/515.32 c current bound: 127 472.29/516.47 c current bound: 127 473.71/517.63 c current bound: 127 474.61/518.78 c current bound: 127 476.03/519.94 c current bound: 127 476.90/521.09 c current bound: 127 478.34/522.25 c current bound: 127 479.47/523.67 c current bound: 127 480.64/524.83 c current bound: 127 481.76/525.98 c current bound: 127 482.95/527.14 c current bound: 127 484.10/529.01 c current bound: 127 484.98/530.17 c current bound: 127 486.44/531.34 c current bound: 127 487.53/532.49 c current bound: 127 488.74/533.89 c current bound: 127 489.89/535.05 c current bound: 127 491.04/536.21 c current bound: 127 491.93/537.36 c current bound: 127 493.37/539.00 c current bound: 127 494.51/540.16 c current bound: 127 495.68/541.32 c current bound: 127 496.81/542.47 c current bound: 127 497.99/544.20 c current bound: 127 499.15/545.35 c current bound: 127 500.30/546.50 c current bound: 127 501.18/547.66 c current bound: 127 502.61/549.41 c current bound: 127 503.50/550.56 c current bound: 127 504.92/551.72 c current bound: 127 505.81/552.87 c current bound: 127 507.24/554.22 c current bound: 127 508.12/555.38 c current bound: 127 509.54/556.53 c current bound: 127 510.42/557.68 c current bound: 127 511.87/558.84 c current bound: 127 513.02/560.03 c current bound: 127 514.11/561.19 c current bound: 127 515.32/562.35 c current bound: 127 516.48/563.50 c current bound: 127 517.36/564.66 c current bound: 127 518.52/565.86 c current bound: 127 519.95/567.02 c current bound: 127 520.85/568.18 c current bound: 127 522.27/569.33 c current bound: 127 523.15/570.48 c current bound: 127 524.58/571.64 c current bound: 127 525.73/572.80 c current bound: 127 526.88/573.95 c current bound: 127 528.03/575.11 c current bound: 127 529.22/576.43 c current bound: 127 530.31/577.59 c current bound: 127 531.51/578.75 c current bound: 127 532.66/579.91 c current bound: 127 533.80/581.06 c current bound: 127 534.97/582.22 c current bound: 127 535.85/583.38 c current bound: 127 537.29/584.53 c current bound: 127 538.18/585.69 c current bound: 127 539.61/586.91 c current bound: 127 540.48/588.06 c current bound: 127 541.92/589.22 c current bound: 127 542.79/590.37 c current bound: 127 544.23/591.59 c current bound: 127 545.38/592.74 c current bound: 127 546.27/593.89 c current bound: 127 547.68/595.05 c current bound: 127 548.84/596.77 c current bound: 127 550.00/597.92 c current bound: 127 550.89/599.08 c current bound: 127 552.31/600.24 c current bound: 127 553.21/601.39 c current bound: 127 554.63/602.56 c current bound: 127 555.78/603.72 c current bound: 127 556.67/604.87 c current bound: 127 558.10/606.03 c current bound: 127 558.98/607.18 c current bound: 127 560.36/608.40 c current bound: 127 561.57/609.56 c current bound: 127 562.72/610.71 c current bound: 127 563.85/611.87 c current bound: 127 565.03/613.21 c current bound: 127 565.93/614.36 c current bound: 127 567.34/615.52 c current bound: 127 568.24/616.68 c current bound: 127 569.66/618.42 c current bound: 127 570.77/619.57 c current bound: 127 571.96/620.73 c current bound: 127 572.85/621.89 c current bound: 127 574.28/623.62 c current bound: 127 575.18/624.77 c current bound: 127 576.62/625.93 c current bound: 127 577.71/627.10 c current bound: 127 578.93/629.00 c current bound: 127 580.09/630.15 c current bound: 127 581.24/631.30 c current bound: 127 582.13/632.46 c current bound: 127 583.57/633.90 c current bound: 127 584.72/635.05 c current bound: 127 585.87/636.21 c current bound: 127 586.75/637.37 c current bound: 127 588.19/639.18 c current bound: 127 589.34/640.33 c current bound: 127 590.45/641.49 c current bound: 127 591.65/642.65 c current bound: 127 592.79/644.26 c current bound: 127 593.96/645.42 c current bound: 127 594.84/646.58 c current bound: 127 596.27/647.73 c current bound: 127 597.42/649.19 c current bound: 127 598.59/650.35 c current bound: 127 599.75/651.50 c current bound: 127 600.63/652.66 c current bound: 127 602.06/654.42 c current bound: 127 602.94/655.57 c current bound: 127 604.40/656.73 c current bound: 127 605.49/657.89 c current bound: 127 606.69/659.61 c current bound: 127 607.58/660.78 c current bound: 127 609.00/661.93 c current bound: 127 609.89/663.09 c current bound: 127 611.33/664.96 c current bound: 127 612.48/666.12 c current bound: 127 613.36/667.28 c current bound: 127 614.79/668.43 c current bound: 127 615.96/669.87 c current bound: 127 617.14/671.03 c current bound: 127 618.22/672.18 c current bound: 127 619.41/673.34 c current bound: 127 620.56/674.96 c current bound: 127 621.72/676.11 c current bound: 127 622.61/677.26 c current bound: 127 624.03/678.42 c current bound: 127 625.20/680.17 c current bound: 127 626.36/681.33 c current bound: 127 627.24/682.48 c current bound: 127 628.67/683.64 c current bound: 127 629.83/685.38 c current bound: 127 630.99/686.54 c current bound: 127 632.09/687.69 c current bound: 127 633.30/689.20 c current bound: 127 634.48/690.82 c current bound: 127 635.57/691.99 c current bound: 127 636.77/693.14 c current bound: 127 637.93/694.30 c current bound: 127 639.08/695.71 c current bound: 127 639.97/696.86 c current bound: 127 641.41/698.02 c current bound: 127 642.28/699.17 c current bound: 127 643.73/701.13 c current bound: 127 644.62/702.28 c current bound: 127 646.03/703.44 c current bound: 127 646.92/704.59 c current bound: 127 648.36/706.00 c current bound: 127 649.50/707.15 c current bound: 127 650.65/708.30 c current bound: 127 651.55/709.47 c current bound: 127 652.98/711.19 c current bound: 127 654.13/712.36 c current bound: 127 655.29/713.51 c current bound: 127 656.18/714.66 c current bound: 127 657.59/716.47 c current bound: 127 658.76/717.62 c current bound: 127 659.65/718.77 c current bound: 127 661.07/719.93 c current bound: 127 662.22/721.44 c current bound: 127 663.12/722.60 c current bound: 127 664.55/724.19 c current bound: 127 665.68/725.34 c current bound: 127 666.84/726.53 c current bound: 127 667.73/727.68 c current bound: 127 669.15/728.84 c current bound: 127 670.31/730.00 c current bound: 127 671.47/731.15 c current bound: 127 672.62/732.30 c current bound: 127 673.50/733.46 c current bound: 127 674.94/734.63 c current bound: 127 675.83/735.78 c current bound: 127 677.25/737.17 c current bound: 127 678.40/738.33 c current bound: 127 679.51/739.48 c current bound: 127 680.71/740.64 c current bound: 127 681.87/742.37 c current bound: 127 683.02/743.53 c current bound: 127 683.91/744.68 c current bound: 127 685.35/745.84 c current bound: 127 686.48/747.57 c current bound: 127 687.63/748.72 c current bound: 127 688.52/749.88 c current bound: 127 689.95/751.04 c current bound: 127 691.11/752.90 c current bound: 127 692.27/754.05 c current bound: 127 693.42/755.21 c current bound: 127 694.31/756.37 c current bound: 127 695.74/757.79 c current bound: 127 696.95/759.20 c current bound: 127 698.06/760.35 c current bound: 127 699.21/761.51 c current bound: 127 700.37/763.01 c current bound: 127 701.26/764.17 c current bound: 127 702.68/765.32 c current bound: 127 703.57/766.48 c current bound: 127 705.00/767.96 c current bound: 127 706.15/769.11 c current bound: 127 707.28/770.27 c current bound: 127 708.45/771.42 c current bound: 127 709.60/773.09 c current bound: 127 710.76/774.25 c current bound: 127 711.93/775.40 c current bound: 127 712.81/776.57 c current bound: 127 714.25/778.31 c current bound: 127 715.14/779.47 c current bound: 127 716.56/780.63 c current bound: 127 717.74/781.80 c current bound: 127 718.90/783.55 c current bound: 127 720.05/784.70 c current bound: 127 721.21/785.85 c current bound: 127 722.37/787.01 c current bound: 127 723.54/788.98 c current bound: 127 724.70/790.13 c current bound: 127 725.58/791.29 c current bound: 127 727.00/792.44 c current bound: 127 728.17/793.89 c current bound: 127 729.33/795.05 c current bound: 127 730.48/796.20 c current bound: 127 731.63/797.35 c current bound: 127 732.80/799.02 c current bound: 127 733.68/800.17 c current bound: 127 735.11/801.33 c current bound: 127 735.98/802.48 c current bound: 127 737.45/804.22 c current bound: 127 738.54/805.38 c current bound: 127 739.74/806.54 c current bound: 127 740.84/807.69 c current bound: 127 742.05/809.42 c current bound: 127 742.93/810.57 c current bound: 127 744.37/811.74 c current bound: 127 745.25/812.89 c current bound: 127 746.68/814.80 c current bound: 127 747.56/815.96 c current bound: 127 749.00/817.12 c current bound: 127 749.88/818.27 c current bound: 127 751.31/819.69 c current bound: 127 752.46/820.85 c current bound: 127 753.62/822.01 c current bound: 127 754.50/823.17 c current bound: 127 755.93/824.72 c current bound: 127 756.82/825.88 c current bound: 127 758.24/827.03 c current bound: 127 759.12/828.19 c current bound: 127 760.54/829.88 c current bound: 127 761.70/831.04 c current bound: 127 762.85/832.20 c current bound: 127 763.74/833.36 c current bound: 127 765.17/835.01 c current bound: 127 766.29/836.16 c current bound: 127 767.47/837.32 c current bound: 127 768.58/838.48 c current bound: 127 769.83/840.41 c current bound: 127 770.91/841.57 c current bound: 127 772.09/842.73 c current bound: 127 773.22/843.89 c current bound: 127 774.42/845.31 c current bound: 127 775.30/846.48 c current bound: 127 776.73/847.64 c current bound: 127 777.89/848.80 c current bound: 127 779.02/850.66 c current bound: 127 780.19/851.81 c current bound: 127 781.09/852.98 c current bound: 127 782.51/854.14 c current bound: 127 783.67/855.57 c current bound: 127 784.83/856.72 c current bound: 127 785.71/857.88 c current bound: 127 787.14/859.59 c current bound: 127 788.31/861.20 c current bound: 127 789.47/862.35 c current bound: 127 790.67/863.51 c current bound: 127 791.75/864.67 c current bound: 127 792.93/866.05 c current bound: 127 794.09/867.20 c current bound: 127 794.98/868.36 c current bound: 127 796.40/869.51 c current bound: 127 797.56/871.27 c current bound: 127 798.71/872.42 c current bound: 127 799.82/873.58 c current bound: 127 801.02/874.74 c current bound: 127 802.17/876.67 c current bound: 127 803.37/877.83 c current bound: 127 804.46/878.98 c current bound: 127 805.64/880.14 c current bound: 127 806.79/881.54 c current bound: 127 807.95/882.70 c current bound: 127 809.10/883.85 c current bound: 127 810.26/885.01 c current bound: 127 811.39/886.87 c current bound: 127 812.57/888.03 c current bound: 127 813.46/889.18 c current bound: 127 814.89/890.34 c current bound: 127 816.04/891.76 c current bound: 127 817.19/892.92 c current bound: 127 818.39/894.60 c current bound: 127 819.24/895.76 c current bound: 127 820.67/896.91 c current bound: 127 821.54/898.06 c current bound: 127 822.97/899.23 c current bound: 127 823.87/900.39 c current bound: 127 825.29/901.88 c current bound: 127 826.45/903.04 c current bound: 127 827.66/904.20 c current bound: 127 828.77/905.36 c current bound: 127 829.92/906.82 c current bound: 127 830.81/907.97 c current bound: 127 832.25/909.14 c current bound: 127 833.12/910.29 c current bound: 127 834.55/912.22 c current bound: 127 835.44/913.37 c current bound: 127 836.86/914.53 c current bound: 127 837.74/915.68 c current bound: 127 839.16/917.15 c current bound: 127 840.32/918.31 c current bound: 127 841.21/919.46 c current bound: 127 842.64/920.62 c current bound: 127 843.77/922.39 c current bound: 127 844.94/923.55 c current bound: 127 846.10/924.70 c current bound: 127 847.26/925.85 c current bound: 127 848.41/927.57 c current bound: 127 849.57/928.73 c current bound: 127 850.45/929.88 c current bound: 127 851.88/931.04 c current bound: 127 853.06/932.82 c current bound: 127 854.14/933.98 c current bound: 127 855.33/935.14 c current bound: 127 856.49/936.30 c current bound: 127 857.64/938.00 c current bound: 127 858.81/939.15 c current bound: 127 859.97/940.31 c current bound: 127 860.86/941.47 c current bound: 127 862.29/942.87 c current bound: 127 863.44/944.03 c current bound: 127 864.53/945.19 c current bound: 127 865.74/946.35 c current bound: 127 866.92/948.23 c current bound: 127 868.00/949.39 c current bound: 127 869.21/950.55 c current bound: 127 870.36/951.71 c current bound: 127 871.51/953.14 c current bound: 127 872.67/954.30 c current bound: 127 873.82/955.45 c current bound: 127 874.98/956.61 c current bound: 127 876.14/958.18 c current bound: 127 877.29/959.34 c current bound: 127 878.45/960.50 c current bound: 127 879.61/961.65 c current bound: 127 880.75/963.55 c current bound: 127 881.96/964.70 c current bound: 127 883.07/965.86 c current bound: 127 884.23/967.01 c current bound: 127 885.37/968.46 c current bound: 127 886.54/969.61 c current bound: 127 887.42/970.77 c current bound: 127 888.85/971.92 c current bound: 127 890.00/973.82 c current bound: 127 890.88/974.98 c current bound: 127 892.30/976.13 c current bound: 127 893.19/977.28 c current bound: 127 894.62/978.71 c current bound: 127 895.51/979.87 c current bound: 127 896.93/981.02 c current bound: 127 897.82/982.18 c current bound: 127 899.24/983.92 c current bound: 127 900.13/985.08 c current bound: 127 901.56/986.23 c current bound: 127 902.43/987.38 c current bound: 127 903.86/988.97 c current bound: 127 905.01/990.13 c current bound: 127 906.13/991.28 c current bound: 127 907.32/992.44 c current bound: 127 908.48/994.20 c current bound: 127 909.64/995.35 c current bound: 127 910.79/996.51 c current bound: 127 911.68/997.66 c current bound: 127 913.11/999.67 c current bound: 127 914.25/1000.83 c current bound: 127 915.14/1001.98 c current bound: 127 916.57/1003.14 c current bound: 127 917.72/1004.55 c current bound: 127 918.88/1005.70 c current bound: 127 919.76/1006.86 c current bound: 127 921.18/1008.01 c current bound: 127 922.34/1009.95 c current bound: 127 923.50/1011.11 c current bound: 127 924.63/1012.26 c current bound: 127 925.81/1013.43 c current bound: 127 926.96/1014.88 c current bound: 127 928.11/1016.04 c current bound: 127 929.00/1017.19 c current bound: 127 930.43/1018.34 c current bound: 127 931.58/1019.99 c current bound: 127 932.47/1021.16 c current bound: 127 933.92/1022.33 c current bound: 127 934.81/1023.49 c current bound: 127 936.24/1025.25 c current bound: 127 937.33/1026.40 c current bound: 127 938.54/1027.56 c current bound: 127 939.69/1028.72 c current bound: 127 940.86/1030.35 c current bound: 127 942.01/1031.51 c current bound: 127 942.89/1032.66 c current bound: 127 944.31/1033.82 c current bound: 127 945.45/1035.77 c current bound: 127 946.63/1036.92 c current bound: 127 947.52/1038.07 c current bound: 127 948.94/1039.22 c current bound: 127 950.10/1040.64 c current bound: 127 951.20/1041.80 c current bound: 127 952.40/1042.95 c current bound: 127 953.55/1044.11 c current bound: 127 954.71/1045.97 c current bound: 127 955.87/1047.12 c current bound: 127 956.74/1048.28 c current bound: 127 958.20/1049.43 c current bound: 127 959.33/1050.84 c current bound: 127 960.47/1052.00 c current bound: 127 961.36/1053.16 c current bound: 127 962.79/1054.31 c current bound: 127 963.94/1056.05 c current bound: 127 965.09/1057.21 c current bound: 127 966.25/1058.36 c current bound: 127 967.42/1059.52 c current bound: 127 968.56/1061.38 c current bound: 127 969.71/1062.54 c current bound: 127 970.60/1063.70 c current bound: 127 972.04/1065.25 c current bound: 127 973.18/1066.68 c current bound: 127 974.35/1067.84 c current bound: 127 975.51/1069.01 c current bound: 127 976.40/1070.16 c current bound: 127 977.81/1072.04 c current bound: 127 978.98/1073.20 c current bound: 127 980.14/1074.35 c current bound: 127 981.29/1075.51 c current bound: 127 982.45/1076.93 c current bound: 127 983.57/1078.09 c current bound: 127 984.76/1079.25 c current bound: 127 985.91/1080.40 c current bound: 127 987.07/1081.98 c current bound: 127 988.22/1083.15 c current bound: 127 989.38/1084.30 c current bound: 127 990.27/1085.46 c current bound: 127 991.69/1087.15 c current bound: 127 992.84/1088.31 c current bound: 127 993.73/1089.47 c current bound: 127 995.16/1090.62 c current bound: 127 996.33/1092.39 c current bound: 127 997.48/1093.55 c current bound: 127 998.64/1094.71 c current bound: 127 999.77/1095.86 c current bound: 127 1000.95/1097.73 c current bound: 127 1001.82/1098.89 c current bound: 127 1003.28/1100.23 c current bound: 127 1004.37/1101.39 c current bound: 127 1005.58/1102.81 c current bound: 127 1006.47/1103.97 c current bound: 127 1007.89/1105.13 c current bound: 127 1008.78/1106.28 c current bound: 127 1010.18/1108.06 c current bound: 127 1011.36/1109.22 c current bound: 127 1012.24/1110.38 c current bound: 127 1013.66/1111.53 c current bound: 127 1014.82/1113.30 c current bound: 127 1015.99/1114.45 c current bound: 127 1017.13/1115.61 c current bound: 127 1018.26/1116.78 c current bound: 127 1019.45/1118.53 c current bound: 127 1020.33/1119.69 c current bound: 127 1021.76/1120.85 c current bound: 127 1022.97/1122.01 c current bound: 127 1024.08/1123.94 c current bound: 127 1025.23/1125.10 c current bound: 127 1026.38/1126.25 c current bound: 127 1027.54/1127.42 c current bound: 127 1028.70/1128.84 c current bound: 127 1029.81/1129.99 c current bound: 127 1031.01/1131.15 c current bound: 127 1032.16/1132.31 c current bound: 127 1033.34/1134.17 c current bound: 127 1034.49/1135.33 c current bound: 127 1035.61/1136.48 c current bound: 127 1036.80/1137.64 c current bound: 127 1037.96/1139.04 c current bound: 127 1039.11/1140.20 c current bound: 127 1039.98/1141.36 c current bound: 127 1041.42/1142.52 c current bound: 127 1042.57/1144.26 c current bound: 127 1043.74/1145.42 c current bound: 127 1044.62/1146.58 c current bound: 127 1046.04/1147.74 c current bound: 127 1046.93/1149.47 c current bound: 127 1048.39/1150.63 c current bound: 127 1049.48/1151.78 c current bound: 127 1050.67/1152.94 c current bound: 127 1051.83/1154.65 c current bound: 127 1052.98/1155.81 c current bound: 127 1053.87/1156.97 c current bound: 127 1055.30/1158.13 c current bound: 127 1056.47/1160.04 c current bound: 127 1057.35/1161.19 c current bound: 127 1058.77/1162.35 c current bound: 127 1059.92/1163.50 c current bound: 127 1061.13/1164.90 c current bound: 127 1062.24/1166.06 c current bound: 127 1063.39/1167.21 c current bound: 127 1064.52/1168.37 c current bound: 127 1065.70/1170.19 c current bound: 127 1066.86/1171.34 c current bound: 127 1067.75/1172.49 c current bound: 127 1069.16/1173.65 c current bound: 127 1070.31/1175.11 c current bound: 127 1071.20/1176.26 c current bound: 127 1072.62/1177.42 c current bound: 127 1073.51/1178.57 c current bound: 127 1074.93/1180.09 c current bound: 127 1076.09/1181.25 c current bound: 127 1077.24/1182.40 c current bound: 127 1078.40/1183.55 c current bound: 127 1079.55/1185.49 c current bound: 127 1080.70/1186.65 c current bound: 127 1081.85/1187.80 c current bound: 127 1083.00/1188.96 c current bound: 127 1084.15/1190.45 c current bound: 127 1085.32/1191.62 c current bound: 127 1086.22/1192.78 c current bound: 127 1087.64/1193.93 c current bound: 127 1088.78/1195.55 c current bound: 127 1089.94/1196.70 c current bound: 127 1090.84/1197.87 c current bound: 127 1092.29/1199.03 c current bound: 127 1093.42/1200.46 c current bound: 127 1094.57/1201.62 c current bound: 127 1095.46/1202.78 c current bound: 127 1096.88/1203.93 c current bound: 127 1098.07/1205.71 c current bound: 127 1099.17/1206.87 c current bound: 127 1100.36/1208.03 c current bound: 127 1101.47/1209.19 c current bound: 127 1102.67/1210.68 c current bound: 127 1103.83/1211.83 c current bound: 127 1104.72/1212.99 c current bound: 127 1106.15/1214.14 c current bound: 127 1107.28/1215.87 c current bound: 127 1108.45/1217.02 c current bound: 127 1109.33/1218.18 c current bound: 127 1110.76/1219.33 c current bound: 127 1111.97/1221.21 c current bound: 127 1113.04/1222.37 c current bound: 127 1114.23/1223.53 c current bound: 127 1115.11/1224.68 c current bound: 127 1116.54/1226.10 c current bound: 127 1117.42/1227.29 c current bound: 127 1118.87/1228.44 c current bound: 127 1120.03/1229.60 c current bound: 127 1121.19/1231.15 c current bound: 127 1122.33/1232.31 c current bound: 127 1123.22/1233.46 c current bound: 127 1124.64/1234.62 c current bound: 127 1125.80/1236.37 c current bound: 127 1126.98/1237.53 c current bound: 127 1128.06/1238.68 c current bound: 127 1129.26/1239.84 c current bound: 127 1130.42/1241.49 c current bound: 127 1131.57/1242.66 c current bound: 127 1132.74/1243.83 c current bound: 127 1133.63/1244.98 c current bound: 127 1135.05/1246.91 c current bound: 127 1135.95/1248.07 c current bound: 127 1137.36/1249.22 c current bound: 127 1138.24/1250.38 c current bound: 127 1139.68/1251.80 c current bound: 127 1140.83/1252.96 c current bound: 127 1141.98/1254.11 c current bound: 127 1143.12/1255.28 c current bound: 127 1144.33/1257.24 c current bound: 127 1145.21/1258.39 c current bound: 127 1146.64/1259.55 c current bound: 127 1147.79/1260.70 c current bound: 127 1148.95/1262.18 c current bound: 127 1149.83/1263.36 c current bound: 127 1151.28/1264.52 c current bound: 127 1152.42/1266.05 c current bound: 127 1153.56/1267.49 c current bound: 127 1154.74/1268.64 c current bound: 127 1155.90/1269.80 c current bound: 127 1156.78/1270.96 c current bound: 127 1158.20/1272.77 c current bound: 127 1159.38/1273.92 c current bound: 127 1160.49/1275.08 c current bound: 127 1161.68/1276.23 c current bound: 127 1162.84/1277.78 c current bound: 127 1163.99/1278.93 c current bound: 127 1164.88/1280.09 c current bound: 127 1166.30/1281.25 c current bound: 127 1167.46/1282.91 c current bound: 127 1168.35/1284.07 c current bound: 127 1169.77/1285.23 c current bound: 127 1170.66/1286.39 c current bound: 127 1172.09/1287.82 c current bound: 127 1172.99/1288.98 c current bound: 127 1174.42/1290.13 c current bound: 127 1175.29/1291.29 c current bound: 127 1176.72/1293.20 c current bound: 127 1177.60/1294.36 c current bound: 127 1179.04/1295.51 c current bound: 127 1179.91/1296.67 c current bound: 127 1181.35/1298.08 c current bound: 127 1182.52/1299.23 c current bound: 127 1183.61/1300.39 c current bound: 127 1184.82/1301.54 c current bound: 127 1185.98/1303.25 c current bound: 127 1187.12/1304.41 c current bound: 127 1188.01/1305.57 c current bound: 127 1189.45/1306.73 c current bound: 127 1190.59/1308.58 c current bound: 127 1191.76/1309.74 c current bound: 127 1192.65/1310.89 c current bound: 127 1194.06/1312.05 c current bound: 127 1195.24/1313.49 c current bound: 127 1196.39/1314.64 c current bound: 127 1197.54/1315.80 c current bound: 127 1198.68/1316.96 c current bound: 127 1199.85/1318.85 c current bound: 127 1201.05/1320.01 c current bound: 127 1202.14/1321.16 c current bound: 127 1203.32/1322.32 c current bound: 127 1204.47/1323.78 c current bound: 127 1205.62/1324.94 c current bound: 127 1206.51/1326.09 c current bound: 127 1207.93/1327.25 c current bound: 127 1209.09/1328.87 c current bound: 127 1210.25/1330.03 c current bound: 127 1211.35/1331.19 c current bound: 127 1212.55/1332.34 c current bound: 127 1213.70/1333.93 c current bound: 127 1214.60/1335.08 c current bound: 127 1216.01/1336.24 c current bound: 127 1216.90/1337.39 c current bound: 127 1218.33/1338.87 c current bound: 127 1219.47/1340.02 c current bound: 127 1220.60/1341.18 c current bound: 127 1221.82/1342.35 c current bound: 127 1222.96/1344.00 c current bound: 127 1224.12/1345.15 c current bound: 127 1225.28/1346.30 c current bound: 127 1226.17/1347.48 c current bound: 127 1227.60/1348.92 c current bound: 127 1228.49/1350.07 c current bound: 127 1229.91/1351.23 c current bound: 127 1230.80/1352.38 c current bound: 127 1232.28/1354.11 c current bound: 127 1233.36/1355.27 c current bound: 127 1234.55/1356.44 c current bound: 127 1235.71/1357.60 c current bound: 127 1236.86/1359.34 c current bound: 127 1237.74/1360.49 c current bound: 127 1239.17/1361.65 c current bound: 127 1240.31/1362.80 c current bound: 127 1241.48/1364.55 c current bound: 127 1242.63/1365.71 c current bound: 127 1243.53/1366.86 c current bound: 127 1244.93/1368.01 c current bound: 127 1246.10/1369.93 c current bound: 127 1246.98/1371.08 c current bound: 127 1248.41/1372.23 c current bound: 127 1249.30/1373.39 c current bound: 127 1250.71/1374.82 c current bound: 127 1251.89/1376.00 c current bound: 127 1253.05/1377.15 c current bound: 127 1254.26/1378.31 c current bound: 127 1255.36/1380.17 c current bound: 127 1256.51/1381.32 c current bound: 127 1257.41/1382.48 c current bound: 127 1258.82/1383.63 c current bound: 127 1259.97/1385.11 c current bound: 127 1261.10/1386.27 c current bound: 127 1262.28/1387.42 c current bound: 127 1263.17/1388.58 c current bound: 127 1264.59/1390.12 c current bound: 127 1265.48/1391.27 c current bound: 127 1266.90/1392.43 c current bound: 127 1267.79/1393.58 c current bound: 127 1269.21/1395.53 c current bound: 127 1270.10/1396.68 c current bound: 127 1271.53/1397.84 c current bound: 127 1272.68/1399.00 c current bound: 127 1273.89/1400.42 c current bound: 127 1274.97/1401.57 c current bound: 127 1276.14/1402.73 c current bound: 127 1277.26/1403.88 c current bound: 127 1278.49/1405.82 c current bound: 127 1279.57/1406.98 c current bound: 127 1280.76/1408.13 c current bound: 127 1281.86/1409.29 c current bound: 127 1283.06/1410.79 c current bound: 127 1284.22/1411.95 c current bound: 127 1285.39/1413.11 c current bound: 127 1286.27/1414.27 c current bound: 127 1287.74/1415.73 c current bound: 127 1288.81/1416.89 c current bound: 127 1289.99/1418.04 c current bound: 127 1291.17/1419.20 c current bound: 127 1292.38/1421.21 c current bound: 127 1293.48/1422.36 c current bound: 127 1294.64/1423.52 c current bound: 127 1295.75/1424.68 c current bound: 127 1296.96/1426.06 c current bound: 127 1298.11/1427.21 c current bound: 127 1298.99/1428.37 c current bound: 127 1300.42/1429.52 c current bound: 127 1301.57/1431.35 c current bound: 127 1302.72/1432.51 c current bound: 127 1303.61/1433.66 c current bound: 127 1305.03/1434.82 c current bound: 127 1306.18/1436.26 c current bound: 127 1307.34/1437.41 c current bound: 127 1308.23/1438.57 c current bound: 127 1309.65/1439.72 c current bound: 127 1310.81/1441.65 c current bound: 127 1311.97/1442.81 c current bound: 127 1312.86/1443.97 c current bound: 127 1314.29/1445.12 c current bound: 127 1315.44/1446.56 c current bound: 127 1316.59/1447.72 c current bound: 127 1317.71/1448.88 c current bound: 127 1318.91/1450.04 c current bound: 127 1320.06/1451.75 c current bound: 127 1321.21/1452.90 c current bound: 127 1322.09/1454.06 c current bound: 127 1323.53/1455.21 c current bound: 127 1324.68/1457.10 c current bound: 127 1325.58/1458.26 c current bound: 127 1326.99/1459.41 c current bound: 127 1327.89/1460.57 c current bound: 127 1329.35/1462.01 c current bound: 127 1330.43/1463.17 c current bound: 127 1331.63/1464.33 c current bound: 127 1332.72/1465.49 c current bound: 127 1333.93/1467.17 c current bound: 127 1335.10/1468.33 c current bound: 127 1335.98/1469.48 c current bound: 127 1337.41/1470.63 c current bound: 127 1338.56/1472.44 c current bound: 127 1339.71/1473.60 c current bound: 127 1340.88/1474.75 c current bound: 127 1342.04/1476.38 c current bound: 127 1343.20/1477.54 c current bound: 127 1344.30/1478.69 c current bound: 127 1345.52/1479.85 c current bound: 127 1346.67/1481.00 c current bound: 127 1347.83/1482.49 c current bound: 127 1348.97/1483.64 c current bound: 127 1349.87/1484.79 c current bound: 127 1351.29/1485.95 c current bound: 127 1352.43/1487.74 c current bound: 127 1353.61/1488.91 c current bound: 127 1354.48/1490.06 c current bound: 127 1355.91/1491.22 c current bound: 127 1357.06/1492.96 c current bound: 127 1358.24/1494.12 c current bound: 127 1359.12/1495.27 c current bound: 127 1360.53/1496.42 c current bound: 127 1361.68/1497.89 c current bound: 127 1362.84/1499.04 c current bound: 127 1364.01/1500.20 c current bound: 127 1365.16/1501.35 c current bound: 127 1366.30/1503.16 c current bound: 127 1367.47/1504.32 c current bound: 127 1368.35/1505.47 c current bound: 127 1369.78/1506.63 c current bound: 127 1370.92/1508.15 c current bound: 127 1372.08/1509.31 c current bound: 127 1373.22/1510.47 c current bound: 127 1374.40/1511.62 c current bound: 127 1375.55/1513.15 c current bound: 127 1376.70/1514.30 c current bound: 127 1377.87/1515.45 c current bound: 127 1379.03/1516.61 c current bound: 127 1380.17/1518.50 c current bound: 127 1381.07/1519.66 c current bound: 127 1382.49/1520.82 c current bound: 127 1383.38/1521.98 c current bound: 127 1384.81/1523.39 c current bound: 127 1385.96/1524.55 c current bound: 127 1387.17/1525.70 c current bound: 127 1388.27/1526.86 c current bound: 127 1389.45/1528.79 c current bound: 127 1390.59/1529.94 c current bound: 127 1391.75/1531.10 c current bound: 127 1392.63/1532.26 c current bound: 127 1394.07/1533.71 c current bound: 127 1394.97/1534.87 c current bound: 127 1396.38/1536.02 c current bound: 127 1397.27/1537.18 c current bound: 127 1398.69/1538.73 c current bound: 127 1399.58/1539.88 c current bound: 127 1401.00/1541.04 c current bound: 127 1401.90/1542.19 c current bound: 127 1403.31/1544.03 c current bound: 127 1404.21/1545.19 c current bound: 127 1405.63/1546.34 c current bound: 127 1406.51/1547.49 c current bound: 127 1407.94/1548.92 c current bound: 127 1409.06/1550.08 c current bound: 127 1410.26/1551.24 c current bound: 127 1411.42/1552.41 c current bound: 127 1412.59/1554.15 c current bound: 127 1413.73/1555.30 c current bound: 127 1414.62/1556.46 c current bound: 127 1416.09/1557.62 c current bound: 127 1417.20/1559.31 c current bound: 127 1418.09/1560.47 c current bound: 127 1419.52/1561.62 c current bound: 127 1420.40/1562.78 c current bound: 127 1421.84/1564.49 c current bound: 127 1422.99/1565.65 c current bound: 127 1424.14/1566.80 c current bound: 127 1425.29/1567.95 c current bound: 127 1426.19/1569.69 c current bound: 127 1427.61/1570.85 c current bound: 127 1428.77/1572.01 c current bound: 127 1429.90/1573.17 c current bound: 127 1431.07/1574.94 c current bound: 127 1432.23/1576.10 c current bound: 127 1433.12/1577.26 c current bound: 127 1434.54/1578.41 c current bound: 127 1435.70/1580.21 c current bound: 127 1436.59/1581.37 c current bound: 127 1438.01/1582.52 c current bound: 127 1438.90/1583.68 c current bound: 127 1440.32/1585.20 c current bound: 127 1441.48/1586.36 c current bound: 127 1442.62/1587.52 c current bound: 127 1443.75/1588.67 c current bound: 127 1444.93/1590.30 c current bound: 127 1445.82/1591.46 c current bound: 127 1447.24/1592.61 c current bound: 127 1448.13/1593.77 c current bound: 127 1449.57/1595.14 c current bound: 127 1450.67/1596.29 c current bound: 127 1451.87/1597.46 c current bound: 127 1453.03/1598.61 c current bound: 127 1454.18/1600.18 c current bound: 127 1455.35/1601.33 c current bound: 127 1456.22/1602.48 c current bound: 127 1457.65/1603.64 c current bound: 127 1458.79/1605.52 c current bound: 127 1459.69/1606.67 c current bound: 127 1461.11/1607.82 c current bound: 127 1461.99/1608.98 c current bound: 127 1463.42/1610.40 c current bound: 127 1464.58/1611.55 c current bound: 127 1465.72/1612.71 c current bound: 127 1466.86/1613.87 c current bound: 127 1468.02/1615.68 c current bound: 127 1469.18/1616.83 c current bound: 127 1470.07/1617.99 c current bound: 127 1471.49/1619.14 c current bound: 127 1472.65/1620.65 c current bound: 127 1473.80/1621.80 c current bound: 127 1474.69/1622.96 c current bound: 127 1476.12/1624.12 c current bound: 127 1477.31/1625.82 c current bound: 127 1478.40/1626.98 c current bound: 127 1479.58/1628.13 c current bound: 127 1480.70/1629.29 c current bound: 127 1481.88/1631.18 c current bound: 127 1483.05/1632.34 c current bound: 127 1483.92/1633.49 c current bound: 127 1485.36/1634.65 c current bound: 127 1486.51/1636.12 c current bound: 127 1487.39/1637.29 c current bound: 127 1488.84/1638.45 c current bound: 127 1490.00/1639.61 c current bound: 127 1491.17/1641.25 c current bound: 127 1492.25/1642.40 c current bound: 127 1493.46/1643.56 c current bound: 127 1494.62/1644.72 c current bound: 127 1495.78/1646.36 c current bound: 127 1496.93/1647.51 c current bound: 127 1497.82/1648.67 c current bound: 127 1499.25/1649.83 c current bound: 127 1500.41/1651.54 c current bound: 127 1501.29/1652.69 c current bound: 127 1502.71/1653.85 c current bound: 127 1503.87/1655.00 c current bound: 127 1505.02/1656.57 c current bound: 127 1506.19/1657.72 c current bound: 127 1507.29/1658.88 c current bound: 127 1508.48/1660.04 c current bound: 127 1509.64/1661.63 c current bound: 127 1510.52/1662.79 c current bound: 127 1511.95/1663.95 c current bound: 127 1513.11/1665.10 c current bound: 127 1514.27/1666.65 c current bound: 127 1515.41/1667.81 c current bound: 127 1516.55/1668.96 c current bound: 127 1517.72/1670.12 c current bound: 127 1518.87/1671.53 c current bound: 127 1519.77/1672.69 c current bound: 127 1521.19/1673.85 c current bound: 127 1522.35/1675.00 c current bound: 127 1523.50/1676.75 c current bound: 127 1524.67/1677.91 c current bound: 127 1525.54/1679.06 c current bound: 127 1526.97/1680.21 c current bound: 127 1528.11/1681.78 c current bound: 127 1529.27/1682.94 c current bound: 127 1530.16/1684.09 c current bound: 127 1531.59/1685.25 c current bound: 127 1532.75/1687.05 c current bound: 127 1533.91/1688.21 c current bound: 127 1534.80/1689.36 c current bound: 127 1536.21/1690.52 c current bound: 127 1537.38/1692.21 c current bound: 127 1538.27/1693.37 c current bound: 127 1539.70/1694.53 c current bound: 127 1540.56/1695.68 c current bound: 127 1541.98/1697.59 c current bound: 127 1543.17/1698.75 c current bound: 127 1544.33/1699.92 c current bound: 127 1545.22/1701.07 c current bound: 127 1546.64/1702.73 c current bound: 127 1547.53/1703.89 c current bound: 127 1548.96/1705.05 c current bound: 127 1550.12/1706.21 c current bound: 127 1551.28/1707.69 c current bound: 127 1552.44/1708.84 c current bound: 127 1553.33/1709.99 c current bound: 127 1554.75/1711.15 c current bound: 127 1555.91/1712.88 c current bound: 127 1557.07/1714.03 c current bound: 127 1558.17/1715.19 c current bound: 127 1559.38/1716.34 c current bound: 127 1560.54/1718.14 c current bound: 127 1561.42/1719.30 c current bound: 127 1562.84/1720.46 c current bound: 127 1563.99/1721.61 c current bound: 127 1565.14/1723.26 c current bound: 127 1566.32/1724.42 c current bound: 127 1567.20/1725.57 c current bound: 127 1568.63/1726.73 c current bound: 127 1569.79/1728.32 c current bound: 127 1570.90/1729.48 c current bound: 127 1572.10/1730.64 c current bound: 127 1572.98/1731.79 c current bound: 127 1574.41/1733.38 c current bound: 127 1575.57/1734.54 c current bound: 127 1576.46/1735.69 c current bound: 127 1577.89/1736.85 c current bound: 127 1579.04/1738.42 c current bound: 127 1579.92/1739.58 c current bound: 127 1581.34/1740.73 c current bound: 127 1582.23/1741.89 c current bound: 127 1583.65/1743.25 c current bound: 127 1584.82/1744.42 c current bound: 127 1585.71/1745.57 c current bound: 127 1587.12/1746.73 c current bound: 127 1588.28/1748.53 c current bound: 127 1589.16/1749.69 c current bound: 127 1590.60/1750.84 c current bound: 127 1591.75/1752.00 c current bound: 127 1592.89/1753.49 c current bound: 127 1594.05/1754.65 c current bound: 127 1595.22/1755.81 c current bound: 127 1596.35/1756.97 c current bound: 127 1597.53/1758.60 c current bound: 127 1598.69/1759.75 c current bound: 127 1599.84/1760.91 c current bound: 127 1600.74/1762.06 c current bound: 127 1602.16/1763.99 c current bound: 127 1603.32/1765.15 c current bound: 127 1604.48/1766.30 c current bound: 127 1605.37/1767.46 c current bound: 127 1606.79/1769.02 c current bound: 127 1607.90/1770.18 c current bound: 127 1609.10/1771.33 c current bound: 127 1610.25/1772.51 c current bound: 127 1611.41/1774.16 c current bound: 127 1612.56/1775.32 c current bound: 127 1613.45/1776.48 c current bound: 127 1614.89/1777.64 c current bound: 127 1616.03/1779.23 c current bound: 127 1616.93/1780.38 c current bound: 127 1618.35/1781.54 c current bound: 127 1619.50/1782.70 c current bound: 127 1620.66/1784.16 c current bound: 127 1621.86/1785.32 c current bound: 127 1622.93/1786.48 c current bound: 127 1624.14/1787.64 c current bound: 127 1625.30/1789.53 c current bound: 127 1626.18/1790.69 c current bound: 127 1627.60/1791.85 c current bound: 127 1628.81/1793.00 c current bound: 127 1629.92/1794.62 c current bound: 127 1630.82/1795.78 c current bound: 127 1632.24/1796.94 c current bound: 127 1633.13/1798.10 c current bound: 127 1634.56/1799.70 c current bound: 127 1635.70/1800.86 c current bound: 127 1636.87/1802.02 c current bound: 127 1637.98/1803.17 c current bound: 127 1639.17/1804.75 c current bound: 127 1640.33/1805.91 c current bound: 127 1641.52/1807.61 c current bound: 127 1642.38/1808.77 c current bound: 127 1643.79/1810.14 c current bound: 127 1644.70/1811.30 c current bound: 127 1646.12/1812.45 c current bound: 127 1647.27/1813.61 c current bound: 127 1648.43/1815.38 c current bound: 127 1649.58/1816.53 c current bound: 127 1650.47/1817.69 c current bound: 127 1651.91/1818.85 c current bound: 127 1653.07/1820.64 c current bound: 127 1654.16/1821.79 c current bound: 127 1655.36/1822.95 c current bound: 127 1656.53/1824.12 c current bound: 127 1657.69/1825.84 c current bound: 127 1658.58/1826.99 c current bound: 127 1660.00/1828.15 c current bound: 127 1660.88/1829.30 c current bound: 127 1662.31/1830.76 c current bound: 127 1663.46/1831.92 c current bound: 127 1664.35/1833.07 c current bound: 127 1665.78/1834.23 c current bound: 127 1666.94/1836.00 c current bound: 127 1668.09/1837.15 c current bound: 127 1669.25/1838.31 c current bound: 127 1670.38/1839.47 c current bound: 127 1671.56/1841.16 c current bound: 127 1672.72/1842.66 c current bound: 127 1673.88/1843.82 c current bound: 127 1675.00/1844.97 c current bound: 127 1676.17/1846.52 c current bound: 127 1677.06/1847.68 c current bound: 127 1678.49/1848.83 c current bound: 127 1679.37/1849.99 c current bound: 127 1680.77/1851.59 c current bound: 127 1681.96/1852.74 c current bound: 127 1683.11/1853.90 c current bound: 127 1684.00/1855.06 c current bound: 127 1685.43/1856.60 c current bound: 127 1686.60/1857.75 c current bound: 127 1687.74/1858.91 c current bound: 127 1688.62/1860.06 c current bound: 127 1690.06/1861.62 c current bound: 127 1690.95/1862.78 c current bound: 127 1692.38/1863.94 c current bound: 127 1693.54/1865.10 c current bound: 127 1694.69/1866.65 c current bound: 127 1695.89/1867.81 c current bound: 127 1696.98/1868.97 c current bound: 127 1698.17/1870.13 c current bound: 127 1699.32/1871.67 c current bound: 127 1700.48/1872.82 c current bound: 127 1701.37/1873.98 c current bound: 127 1702.78/1875.13 c current bound: 127 1703.93/1876.67 c current bound: 127 1705.09/1877.83 c current bound: 127 1706.21/1878.98 c current bound: 127 1707.41/1880.14 c current bound: 127 1708.55/1881.77 c current bound: 127 1709.70/1882.92 c current bound: 127 1710.59/1884.08 c current bound: 127 1712.01/1885.23 c current bound: 127 1713.18/1886.66 c current bound: 127 1714.32/1887.82 c current bound: 127 1715.44/1888.97 c current bound: 127 1716.64/1890.13 c current bound: 127 1717.79/1891.71 c current bound: 127 1718.68/1892.86 c current bound: 127 1720.11/1894.02 c current bound: 127 1721.00/1895.17 c current bound: 127 1722.42/1897.05 c current bound: 127 1723.57/1898.21 c current bound: 127 1724.45/1899.36 c current bound: 127 1725.40/1900.01 c error: unexpected solver exit code 1725.40/1900.01 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715714-1338207754/watcher-3715714-1338207754 -o /tmp/evaluation-result-3715714-1338207754/solver-3715714-1338207754 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715714-1338207754.wbo 839638188 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.54 1.64 3/179 4931 /proc/meminfo: memFree=29099720/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [startup+0.0218979 s] /proc/loadavg: 1.93 1.54 1.64 3/179 4931 /proc/meminfo: memFree=29099720/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100263 s] /proc/loadavg: 1.93 1.54 1.64 3/179 4931 /proc/meminfo: memFree=29099720/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300252 s] /proc/loadavg: 1.93 1.54 1.64 3/179 4931 /proc/meminfo: memFree=29099720/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700271 s] /proc/loadavg: 1.93 1.54 1.64 3/179 4931 /proc/meminfo: memFree=29099720/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50031 s] /proc/loadavg: 1.93 1.54 1.64 3/181 4933 /proc/meminfo: memFree=29069956/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=133204 CPUtime=1.49 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) R 4931 4931 1843 0 -1 4202496 7694 0 0 0 144 5 0 0 20 0 1 0 286902731 136400896 18478 33554432000 4194304 5990268 140736007719200 140736007715080 4548724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/4932/statm: 33301 18478 140 439 0 32858 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 142352 [startup+3.10027 s] /proc/loadavg: 1.94 1.55 1.64 3/181 4933 /proc/meminfo: memFree=29024212/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=133204 CPUtime=3.09 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) R 4931 4931 1843 0 -1 4202496 7695 0 0 0 304 5 0 0 20 0 1 0 286902731 136400896 18990 33554432000 4194304 5990268 140736007719200 140736007715080 4569373 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/4932/statm: 33301 18990 140 439 0 32858 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 142352 [startup+6.30034 s] /proc/loadavg: 1.94 1.55 1.64 3/183 4935 /proc/meminfo: memFree=28902652/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=133512 CPUtime=3.16 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 8154 0 0 0 305 11 0 0 20 0 1 0 286902731 136716288 19044 33554432000 4194304 5990268 140736007719200 140736007712352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/4932/statm: 33378 19044 149 439 0 32935 0 [pid=4934] ppid=4932 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4934/stat : 4934 (cp2_pre.sh) S 4932 4931 1843 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 286903049 9367552 277 33554432000 4194304 5064252 140735327950368 140735327949072 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/4934/statm: 2287 277 234 213 0 72 0 [pid=4935] ppid=4934 vsize=82928 CPUtime=3.11 cores=1,3,5,7 /proc/4935/stat : 4935 (coprocessor) R 4934 4931 1843 0 -1 4202496 19718 0 0 0 307 4 0 0 20 0 1 0 286903049 84918272 20216 33554432000 4194304 6586260 140734196400192 140734196396216 4586999 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 /proc/4935/statm: 20732 20216 195 584 0 20144 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 234736 [startup+12.7003 s] /proc/loadavg: 2.02 1.58 1.65 3/183 4966 /proc/meminfo: memFree=28913256/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=12.56 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 14634 85524 0 0 343 75 773 65 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 160284 [startup+25.5003 s] /proc/loadavg: 2.02 1.59 1.65 3/183 5043 /proc/meminfo: memFree=28853748/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=24.1 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 35994 285834 0 0 420 84 1630 276 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 Current children cumulated CPU time (s) 24.1 Current children cumulated vsize (KiB) 160284 [startup+51.1003 s] /proc/loadavg: 2.01 1.62 1.66 3/181 5209 /proc/meminfo: memFree=28938664/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=48.73 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 82978 721086 0 0 589 105 3433 746 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 Current children cumulated CPU time (s) 48.73 Current children cumulated vsize (KiB) 160284 [startup+102.3 s] /proc/loadavg: 2.51 1.81 1.72 3/183 5526 /proc/meminfo: memFree=28902584/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=96.08 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 170554 1552049 0 0 904 145 6939 1620 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 [pid=5525] ppid=4932 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/5525/stat : 5525 (satsolver.sh) S 4932 4931 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286912943 9367552 267 33554432000 4194304 5064252 140735926558560 140735926557472 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/5525/statm: 2287 267 226 213 0 72 0 [pid=5526] ppid=5525 vsize=28464 CPUtime=0.17 cores=1,3,5,7 /proc/5526/stat : 5526 (glucose) R 5525 4931 1843 0 -1 4202496 4137 0 0 0 16 1 0 0 20 0 1 0 286912943 29147136 6048 33554432000 4194304 5208918 140735168565360 140735926557496 4221600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/5526/statm: 7116 6048 70 248 0 6865 0 Current children cumulated CPU time (s) 96.25 Current children cumulated vsize (KiB) 197896 [startup+162.3 s] /proc/loadavg: 2.18 1.84 1.73 3/183 5883 /proc/meminfo: memFree=28847064/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=150.32 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 270946 2502270 0 0 1266 191 10959 2616 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 30 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 Current children cumulated CPU time (s) 150.32 Current children cumulated vsize (KiB) 160284 [startup+222.307 s] /proc/loadavg: 2.00 1.85 1.74 3/182 6259 /proc/meminfo: memFree=28952968/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151140 CPUtime=205.73 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) R 4931 4931 1843 0 -1 4202496 373473 3475401 0 0 1635 237 15055 3646 20 0 1 0 286902731 154767360 23159 33554432000 4194304 5990268 140736007719200 140736007711184 5180875 0 0 4096 0 0 0 0 17 3 0 0 44 0 0 /proc/4932/statm: 37785 23159 175 439 0 37342 0 Current children cumulated CPU time (s) 205.73 Current children cumulated vsize (KiB) 160288 ############ # WARNING: # current cumulated CPU time (228.42 s) is less than in the last sample (228.42 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1.52588e-05 s) to the 'lost time'. [startup+247.1 s] /proc/loadavg: 2.07 1.88 1.75 3/184 6409 /proc/meminfo: memFree=28919852/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=227.69 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 414058 3861721 0 0 1782 255 16675 4057 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 44 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 ################ # More data... # ################ ############ # WARNING: # current cumulated CPU time (1460.1 s) is less than in the last sample (1460.73 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.629883 s) to the 'lost time'. [startup+1607.4 s] /proc/loadavg: 2.04 2.07 2.00 3/183 14654 /proc/meminfo: memFree=28855764/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=1460.1 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 2691034 25478413 0 0 9983 1274 107697 27056 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 88 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 [pid=14653] ppid=4932 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14653/stat : 14653 (satsolver.sh) S 4932 4931 1843 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287063407 9367552 267 33554432000 4194304 5064252 140733872894640 140733872893552 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/14653/statm: 2287 267 226 213 0 72 0 [pid=14654] ppid=14653 vsize=102732 CPUtime=0.63 cores=1,3,5,7 /proc/14654/stat : 14654 (glucose) R 14653 4931 1843 0 -1 4202496 14053 0 0 0 60 3 0 0 20 0 1 0 287063407 105197568 20374 33554432000 4194304 5208918 140734848649600 140734848647448 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/14654/statm: 25683 20374 95 248 0 25432 0 Current children cumulated CPU time (s) 1460.73 Current children cumulated vsize (KiB) 272164 [startup+1607.5 s] /proc/loadavg: 2.04 2.07 2.00 3/183 14654 /proc/meminfo: memFree=28855764/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=1460.1 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 2691034 25478413 0 0 9983 1274 107697 27056 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 88 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 [pid=14653] ppid=4932 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/14653/stat : 14653 (satsolver.sh) R 4932 4931 1843 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287063407 9367552 267 33554432000 4194304 5064252 140733872894640 140733872893552 219513775694 0 65536 4100 65538 0 0 0 17 1 0 0 0 0 0 /proc/14653/statm: 2287 267 226 213 0 72 0 Current children cumulated CPU time (s) 1460.1 Current children cumulated vsize (KiB) 169432 # ############ [startup+1662.3 s] /proc/loadavg: 2.10 2.07 2.01 3/184 15045 /proc/meminfo: memFree=28839456/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=1509.77 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 2782882 26349020 0 0 10314 1315 111375 27973 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 88 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 [pid=15044] ppid=4932 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15044/stat : 15044 (satsolver.sh) S 4932 4931 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287068903 9367552 267 33554432000 4194304 5064252 140736390907792 140736390906704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/15044/statm: 2287 267 226 213 0 72 0 [pid=15045] ppid=15044 vsize=102728 CPUtime=0.57 cores=1,3,5,7 /proc/15045/stat : 15045 (glucose) R 15044 4931 1843 0 -1 4202496 15546 0 0 0 54 3 0 0 20 0 1 0 287068903 105193472 20770 33554432000 4194304 5208918 140735746953152 140736390906728 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/15045/statm: 25682 20770 95 248 0 25431 0 Current children cumulated CPU time (s) 1510.34 Current children cumulated vsize (KiB) 272160 [startup+1722.3 s] /proc/loadavg: 2.34 2.16 2.04 3/183 15447 /proc/meminfo: memFree=28900076/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=1564.14 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 2883274 27302069 0 0 10677 1359 115393 28985 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 88 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 Current children cumulated CPU time (s) 1564.14 Current children cumulated vsize (KiB) 160284 [startup+1782.3 s] /proc/loadavg: 1.95 2.07 2.01 3/183 15857 /proc/meminfo: memFree=28845412/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=1618.49 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 2983666 28260957 0 0 11040 1403 119407 29999 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 88 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 [pid=15856] ppid=4932 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/15856/stat : 15856 (satsolver.sh) S 4932 4931 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287080894 9367552 267 33554432000 4194304 5064252 140736408426480 140736408425392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/15856/statm: 2287 267 226 213 0 72 0 [pid=15857] ppid=15856 vsize=102728 CPUtime=0.65 cores=1,3,5,7 /proc/15857/stat : 15857 (glucose) R 15856 4931 1843 0 -1 4202496 15045 0 0 0 62 3 0 0 20 0 1 0 287080894 105193472 20308 33554432000 4194304 5208918 140737453678464 140737453676312 4211888 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/15857/statm: 25682 20308 95 248 0 25431 0 Current children cumulated CPU time (s) 1619.14 Current children cumulated vsize (KiB) 272160 [startup+1842.3 s] /proc/loadavg: 1.87 2.02 2.00 4/184 16253 /proc/meminfo: memFree=28926144/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=1672.72 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 3082022 29213421 0 0 11394 1447 123438 30993 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007711184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 88 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 Current children cumulated CPU time (s) 1672.72 Current children cumulated vsize (KiB) 160284 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1900 s] /proc/loadavg: 2.10 2.05 2.01 3/183 16649 /proc/meminfo: memFree=28818784/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=1724.86 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 3180178 30123381 0 0 11750 1489 127268 31979 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 88 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 [pid=16648] ppid=4932 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/16648/stat : 16648 (satsolver.sh) S 4932 4931 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287092676 9367552 267 33554432000 4194304 5064252 140736219330352 140736219329264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/16648/statm: 2287 267 226 213 0 72 0 [pid=16649] ppid=16648 vsize=102732 CPUtime=0.54 cores=1,3,5,7 /proc/16649/stat : 16649 (glucose) R 16648 4931 1843 0 -1 4202496 15381 0 0 0 51 3 0 0 20 0 1 0 287092676 105197568 20599 33554432000 4194304 5208918 140734945651792 140734944601224 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/16649/statm: 25683 20599 95 248 0 25432 0 Current children cumulated CPU time (s) 1725.4 Current children cumulated vsize (KiB) 272164 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1900 s] /proc/loadavg: 2.10 2.05 2.01 3/183 16649 /proc/meminfo: memFree=28818784/32873648 swapFree=7116/7116 [pid=4931] ppid=4929 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4931/stat : 4931 (npSolver-wbo-It) S 4929 4931 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286902731 9367552 275 33554432000 4194304 5064252 140734504307264 140734504306176 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4931/statm: 2287 275 233 213 0 72 0 [pid=4932] ppid=4931 vsize=151136 CPUtime=1724.86 cores=1,3,5,7 /proc/4932/stat : 4932 (npSolver-wbo) S 4931 4931 1843 0 -1 4202496 3180178 30123381 0 0 11750 1489 127268 31979 20 0 1 0 286902731 154763264 23159 33554432000 4194304 5990268 140736007719200 140736007710608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 88 0 0 /proc/4932/statm: 37784 23159 175 439 0 37341 0 [pid=16648] ppid=4932 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/16648/stat : 16648 (satsolver.sh) S 4932 4931 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287092676 9367552 267 33554432000 4194304 5064252 140736219330352 140736219329264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/16648/statm: 2287 267 226 213 0 72 0 [pid=16649] ppid=16648 vsize=102732 CPUtime=0.54 cores=1,3,5,7 /proc/16649/stat : 16649 (glucose) R 16648 4931 1843 0 -1 4202496 15381 0 0 0 51 3 0 0 20 0 1 0 287092676 105197568 20599 33554432000 4194304 5208918 140734945651792 140734944601224 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/16649/statm: 25683 20599 95 248 0 25432 0 Current children cumulated CPU time (s) 1725.4 Current children cumulated vsize (KiB) 272164 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4931 and gives # childrusage.ru_utime.tv_sec=1390 # childrusage.ru_utime.tv_usec=185659 # childrusage.ru_stime.tv_sec=334 # childrusage.ru_stime.tv_usec=696118 # CPU time returned by wait4() is 1724.88 # while last known CPU time is 1725.4 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.630142 # lost CPU user time (s): 0.600174 # lost CPU system time (s): 0.030014 Real time (s): 1900.01 CPU time (s): 1726.03 CPU user time (s): 1391.29 CPU system time (s): 334.74 CPU usage (%): 90.843 Max. virtual memory (cumulated for all children) (KiB): 272440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1390.19 system time used= 334.696 maximum resident set size= 141048 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33304536 page faults= 0 swaps= 0 block input operations= 0 block output operations= 116295392 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 451984 involuntary context switches= 22326 runsolver used 3.78442 second user time and 11.2493 second system time The end
Begin job on node114 at 2012-05-28 14:22:34 IDJOB=3715714 IDBENCH=79071 IDSOLVER=2297 FILE ID=node114/3715714-1338207754 RUNJOBID= node114-1338194810-1860 PBS_JOBID= 14624601 Free space on /tmp= 71440 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j301_4-unsat--soft-33-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715714-1338207754/watcher-3715714-1338207754 -o /tmp/evaluation-result-3715714-1338207754/solver-3715714-1338207754 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715714-1338207754.wbo 839638188 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 55bc063057ce6e5238203b79e8fa6b9b RANDOM SEED=839638188 node114.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.242 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.48 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.242 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 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 : 5451.90 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.242 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.242 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 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.242 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.242 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29099992 kB Buffers: 683956 kB Cached: 2091788 kB SwapCached: 2108 kB Active: 1548168 kB Inactive: 1345172 kB Active(anon): 105856 kB Inactive(anon): 7892 kB Active(file): 1442312 kB Inactive(file): 1337280 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67103912 kB Dirty: 18952 kB Writeback: 0 kB AnonPages: 128836 kB Mapped: 15208 kB Shmem: 116 kB Slab: 742840 kB SReclaimable: 184680 kB SUnreclaim: 558160 kB KernelStack: 1520 kB PageTables: 4220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 249392 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71364 MiB End job on node114 at 2012-05-28 14:54:14