Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.15 | 1799.21 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo |
MD5SUM | ed627c94e924dd829be1b38440fce2ad |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 26.273 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 911 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 45526 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45525 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
Number of bits of the biggest sum of numbers | 10 |
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.04 c run usual solver 0.00/0.16 o 1088 0.00/0.16 c starting approximation 0.00/0.16 c factor = 2 0.00/0.16 c factor still to low - shrinking to 5.94701 0.00/0.16 c approx number of clauses: 1e+06 0.00/0.16 c current bound: 544 1.14/1.26 c current bound: 544 2.25/2.33 c current bound: 544 3.34/3.42 c current bound: 544 4.44/4.51 c current bound: 544 5.44/5.58 c current bound: 544 6.55/6.66 c current bound: 544 7.66/7.73 c current bound: 544 8.74/8.81 c current bound: 544 9.58/9.90 c current bound: 544 10.68/10.99 c current bound: 544 11.75/12.06 c current bound: 544 12.82/13.14 c current bound: 544 13.92/14.23 c current bound: 544 14.99/15.31 c current bound: 544 16.07/16.38 c current bound: 544 17.14/17.45 c current bound: 544 18.24/18.54 c current bound: 544 19.32/19.63 c current bound: 544 20.42/20.73 c current bound: 544 21.51/21.82 c current bound: 544 22.86/22.90 c current bound: 544 23.68/23.97 c current bound: 544 24.75/25.04 c current bound: 544 25.82/26.13 c current bound: 544 26.91/27.20 c current bound: 544 27.99/28.28 c current bound: 544 29.06/29.36 c current bound: 544 30.14/30.44 c current bound: 544 31.21/31.51 c current bound: 544 32.29/32.59 c current bound: 544 33.37/33.67 c current bound: 544 34.46/34.75 c current bound: 544 35.54/35.84 c current bound: 544 36.64/36.93 c current bound: 544 37.71/38.00 c current bound: 544 38.79/39.08 c current bound: 544 39.86/40.15 c current bound: 544 40.96/41.25 c current bound: 544 42.05/42.34 c current bound: 544 43.13/43.42 c current bound: 544 44.22/44.51 c current bound: 544 45.29/45.58 c current bound: 544 46.37/46.67 c current bound: 544 47.46/47.75 c current bound: 544 48.54/48.83 c current bound: 544 49.62/49.91 c current bound: 544 50.71/50.98 c current bound: 544 51.77/52.06 c current bound: 544 52.86/53.14 c current bound: 544 53.95/54.23 c current bound: 544 55.02/55.30 c current bound: 544 56.37/56.40 c current bound: 544 57.20/57.48 c current bound: 544 58.48/58.55 c current bound: 544 59.56/59.63 c current bound: 544 60.66/60.71 c current bound: 544 61.78/61.81 c current bound: 544 62.78/62.89 c current bound: 544 63.88/63.96 c current bound: 544 64.98/65.05 c current bound: 544 66.09/66.13 c current bound: 544 67.20/67.22 c current bound: 544 68.18/68.29 c current bound: 544 69.28/69.39 c current bound: 544 70.38/70.48 c current bound: 544 71.48/71.55 c current bound: 544 72.58/72.63 c current bound: 544 73.69/73.70 c current bound: 544 74.51/74.79 c current bound: 544 75.60/75.87 c current bound: 544 76.66/76.94 c current bound: 544 77.74/78.03 c current bound: 544 78.83/79.10 c current bound: 544 79.90/80.18 c current bound: 544 80.98/81.27 c current bound: 544 82.08/82.36 c current bound: 544 83.15/83.43 c current bound: 544 84.25/84.52 c current bound: 544 85.32/85.60 c current bound: 544 86.40/86.67 c current bound: 544 87.48/87.75 c current bound: 544 88.56/88.83 c current bound: 544 89.66/89.93 c current bound: 544 90.75/91.02 c current bound: 544 91.84/92.12 c current bound: 544 92.91/93.19 c current bound: 544 94.00/94.28 c current bound: 544 95.10/95.36 c current bound: 544 96.20/96.47 c current bound: 544 97.28/97.55 c current bound: 544 98.35/98.63 c current bound: 544 99.44/99.71 c current bound: 544 100.51/100.78 c current bound: 544 101.58/101.86 c current bound: 544 102.66/102.93 c current bound: 544 103.72/104.01 c current bound: 544 105.09/105.10 c current bound: 544 105.89/106.17 c current bound: 544 106.99/107.26 c current bound: 544 108.06/108.34 c current bound: 544 109.14/109.41 c current bound: 544 110.23/110.49 c current bound: 544 111.32/111.58 c current bound: 544 112.39/112.65 c current bound: 544 113.47/113.73 c current bound: 544 114.57/114.83 c current bound: 544 115.90/115.90 c current bound: 544 116.71/116.98 c current bound: 544 117.80/118.05 c current bound: 544 118.86/119.11 c current bound: 544 119.92/120.18 c current bound: 544 121.20/121.25 c current bound: 544 122.32/122.33 c current bound: 544 123.41/123.40 c current bound: 544 124.40/124.48 c current bound: 544 125.53/125.54 c current bound: 544 126.62/126.63 c current bound: 544 127.73/127.71 c current bound: 544 128.72/128.80 c current bound: 544 129.81/129.86 c current bound: 544 130.91/130.95 c current bound: 544 132.03/132.04 c current bound: 544 133.13/133.11 c current bound: 544 133.94/134.17 c current bound: 544 135.01/135.24 c current bound: 544 136.08/136.31 c current bound: 544 137.17/137.39 c current bound: 544 138.23/138.45 c current bound: 544 139.31/139.54 c current bound: 544 140.41/140.63 c current bound: 544 141.49/141.70 c current bound: 544 142.57/142.77 c current bound: 544 143.64/143.85 c current bound: 544 144.71/144.91 c current bound: 544 145.78/145.99 c current bound: 544 146.85/147.06 c current bound: 544 147.93/148.14 c current bound: 544 149.01/149.22 c current bound: 544 150.09/150.29 c current bound: 544 151.16/151.36 c current bound: 544 152.24/152.44 c current bound: 544 153.31/153.51 c current bound: 544 154.66/154.60 c current bound: 544 155.47/155.67 c current bound: 544 156.52/156.73 c current bound: 544 157.60/157.81 c current bound: 544 158.67/158.87 c current bound: 544 159.74/159.94 c current bound: 544 160.83/161.03 c current bound: 544 161.91/162.11 c current bound: 544 162.98/163.18 c current bound: 544 164.05/164.25 c current bound: 544 165.14/165.33 c current bound: 544 166.21/166.40 c current bound: 544 167.28/167.47 c current bound: 544 168.56/168.54 c current bound: 544 169.66/169.62 c current bound: 544 170.66/170.68 c current bound: 544 171.77/171.75 c current bound: 544 172.87/172.83 c current bound: 544 173.88/173.89 c current bound: 544 175.07/175.06 c current bound: 544 176.10/176.14 c current bound: 544 177.20/177.21 c current bound: 544 178.20/178.29 c current bound: 544 179.31/179.36 c current bound: 544 180.41/180.43 c current bound: 544 181.26/181.50 c current bound: 544 182.35/182.58 c current bound: 544 183.41/183.65 c current bound: 544 184.49/184.73 c current bound: 544 185.58/185.82 c current bound: 544 186.66/186.89 c current bound: 544 187.73/187.97 c current bound: 544 188.80/189.04 c current bound: 544 189.89/190.12 c current bound: 544 190.97/191.20 c current bound: 544 192.06/192.27 c current bound: 544 193.12/193.34 c current bound: 544 194.22/194.42 c current bound: 544 195.57/195.50 c current bound: 544 196.36/196.56 c current bound: 544 197.47/197.65 c current bound: 544 198.54/198.72 c current bound: 544 199.62/199.80 c current bound: 544 200.71/200.89 c current bound: 544 201.79/201.96 c current bound: 544 202.86/203.04 c current bound: 544 203.94/204.12 c current bound: 544 205.04/205.21 c current bound: 544 206.13/206.29 c current bound: 544 207.20/207.35 c current bound: 544 208.27/208.42 c current bound: 544 209.34/209.49 c current bound: 544 210.41/210.55 c current bound: 544 211.50/211.63 c current bound: 544 212.61/212.74 c current bound: 544 213.69/213.83 c current bound: 544 214.77/214.89 c current bound: 544 215.83/215.95 c current bound: 544 216.93/217.04 c current bound: 544 217.99/218.11 c current bound: 544 219.06/219.18 c current bound: 544 220.36/220.25 c current bound: 544 221.46/221.32 c current bound: 544 222.47/222.39 c current bound: 544 223.56/223.46 c current bound: 544 224.68/224.52 c current bound: 544 225.68/225.59 c current bound: 544 226.77/226.66 c current bound: 544 227.88/227.73 c current bound: 544 228.71/228.79 c current bound: 544 229.78/229.86 c current bound: 544 230.86/230.94 c current bound: 544 231.95/232.02 c current bound: 544 233.29/233.10 c current bound: 544 234.12/234.19 c current bound: 544 235.19/235.27 c current bound: 544 236.26/236.34 c current bound: 544 237.34/237.43 c current bound: 544 238.41/238.49 c current bound: 544 239.49/239.58 c current bound: 544 240.57/240.65 c current bound: 544 241.64/241.71 c current bound: 544 242.71/242.79 c current bound: 544 243.79/243.86 c current bound: 544 244.86/244.93 c current bound: 544 245.94/246.02 c current bound: 544 247.02/247.08 c current bound: 544 248.10/248.16 c current bound: 544 249.19/249.26 c current bound: 544 250.26/250.33 c current bound: 544 251.34/251.41 c current bound: 544 252.41/252.48 c current bound: 544 253.49/253.56 c current bound: 544 254.57/254.63 c current bound: 544 255.64/255.71 c current bound: 544 256.72/256.78 c current bound: 544 257.80/257.86 c current bound: 544 258.86/258.93 c current bound: 544 259.94/260.01 c current bound: 544 261.03/261.09 c current bound: 544 262.11/262.17 c current bound: 544 263.19/263.24 c current bound: 544 264.27/264.33 c current bound: 544 265.62/265.40 c current bound: 544 266.60/266.44 c current bound: 544 267.69/267.50 c current bound: 544 268.69/268.58 c current bound: 544 269.78/269.65 c current bound: 544 270.88/270.72 c current bound: 544 271.98/271.81 c current bound: 544 272.96/272.89 c current bound: 544 274.07/273.97 c current bound: 544 275.17/275.04 c current bound: 544 275.98/276.09 c current bound: 544 277.06/277.16 c current bound: 544 278.14/278.23 c current bound: 544 279.22/279.32 c current bound: 544 280.28/280.38 c current bound: 544 281.38/281.53 c current bound: 544 282.45/282.61 c current bound: 544 283.54/283.69 c current bound: 544 284.61/284.75 c current bound: 544 285.69/285.82 c current bound: 544 286.76/286.89 c current bound: 544 287.81/287.95 c current bound: 544 288.88/289.02 c current bound: 544 289.95/290.09 c current bound: 544 291.02/291.16 c current bound: 544 292.09/292.22 c current bound: 544 293.18/293.31 c current bound: 544 294.24/294.38 c current bound: 544 295.33/295.46 c current bound: 544 296.40/296.54 c current bound: 544 297.47/297.60 c current bound: 544 298.56/298.68 c current bound: 544 299.61/299.75 c current bound: 544 300.70/300.82 c current bound: 544 301.76/301.88 c current bound: 544 302.83/302.95 c current bound: 544 303.90/304.02 c current bound: 544 304.98/305.09 c current bound: 544 306.03/306.16 c current bound: 544 307.11/307.23 c current bound: 544 308.46/308.30 c current bound: 544 309.26/309.37 c current bound: 544 310.54/310.44 c current bound: 544 311.64/311.52 c current bound: 544 312.64/312.58 c current bound: 544 313.73/313.65 c current bound: 544 314.84/314.73 c current bound: 544 315.97/315.81 c current bound: 544 316.95/316.89 c current bound: 544 318.05/317.97 c current bound: 544 319.15/319.05 c current bound: 544 320.25/320.12 c current bound: 544 321.07/321.18 c current bound: 544 322.14/322.25 c current bound: 544 323.21/323.32 c current bound: 544 324.27/324.38 c current bound: 544 325.35/325.46 c current bound: 544 326.43/326.53 c current bound: 544 327.48/327.59 c current bound: 544 328.55/328.66 c current bound: 544 329.63/329.73 c current bound: 544 330.71/330.82 c current bound: 544 331.79/331.88 c current bound: 544 332.86/332.95 c current bound: 544 333.93/334.03 c current bound: 544 335.01/335.10 c current bound: 544 336.08/336.17 c current bound: 544 337.14/337.24 c current bound: 544 338.22/338.31 c current bound: 544 339.29/339.39 c current bound: 544 340.37/340.46 c current bound: 544 341.44/341.52 c current bound: 544 342.51/342.59 c current bound: 544 343.58/343.67 c current bound: 544 344.66/344.75 c current bound: 544 345.73/345.81 c current bound: 544 346.80/346.88 c current bound: 544 347.87/347.95 c current bound: 544 348.93/349.02 c current bound: 544 350.28/350.12 c current bound: 544 351.10/351.20 c current bound: 544 352.18/352.28 c current bound: 544 353.45/353.36 c current bound: 544 354.55/354.42 c current bound: 544 355.65/355.51 c current bound: 544 356.65/356.58 c current bound: 544 357.75/357.66 c current bound: 544 358.85/358.72 c current bound: 544 359.84/359.80 c current bound: 544 360.95/360.87 c current bound: 544 362.05/361.94 c current bound: 544 363.14/363.02 c current bound: 544 363.98/364.08 c current bound: 544 365.05/365.16 c current bound: 544 366.12/366.23 c current bound: 544 367.47/367.30 c current bound: 544 368.28/368.39 c current bound: 544 369.36/369.47 c current bound: 544 370.43/370.54 c current bound: 544 371.52/371.62 c current bound: 544 372.58/372.69 c current bound: 544 373.65/373.77 c current bound: 544 374.73/374.84 c current bound: 544 375.81/375.92 c current bound: 544 376.89/377.00 c current bound: 544 377.98/378.08 c current bound: 544 379.04/379.15 c current bound: 544 380.12/380.23 c current bound: 544 381.22/381.32 c current bound: 544 382.29/382.38 c current bound: 544 383.36/383.45 c current bound: 544 384.44/384.54 c current bound: 544 385.50/385.60 c current bound: 544 386.58/386.67 c current bound: 544 387.66/387.75 c current bound: 544 388.74/388.83 c current bound: 544 389.80/389.89 c current bound: 544 390.87/390.97 c current bound: 544 391.96/392.05 c current bound: 544 393.04/393.12 c current bound: 544 394.11/394.19 c current bound: 544 395.18/395.27 c current bound: 544 396.27/396.35 c current bound: 544 397.35/397.44 c current bound: 544 398.44/398.52 c current bound: 544 399.51/399.60 c current bound: 544 400.60/400.68 c current bound: 544 401.69/401.77 c current bound: 544 402.98/402.84 c current bound: 544 404.08/403.90 c current bound: 544 405.08/404.98 c current bound: 544 406.20/406.07 c current bound: 544 407.28/407.14 c current bound: 544 408.37/408.23 c current bound: 544 409.47/409.31 c current bound: 544 410.47/410.38 c current bound: 544 411.58/411.46 c current bound: 544 412.68/412.55 c current bound: 544 413.78/413.62 c current bound: 544 415.16/414.71 c current bound: 544 415.71/415.79 c current bound: 544 416.80/416.87 c current bound: 544 417.89/417.96 c current bound: 544 418.95/419.02 c current bound: 544 420.30/420.10 c current bound: 544 421.09/421.16 c current bound: 544 422.17/422.24 c current bound: 544 423.24/423.31 c current bound: 544 424.32/424.39 c current bound: 544 425.38/425.45 c current bound: 544 426.47/426.53 c current bound: 544 427.55/427.60 c current bound: 544 428.63/428.68 c current bound: 544 429.68/429.75 c current bound: 544 430.76/430.82 c current bound: 544 431.85/431.90 c current bound: 544 432.93/432.99 c current bound: 544 434.01/434.06 c current bound: 544 435.08/435.13 c current bound: 544 436.16/436.21 c current bound: 544 437.23/437.28 c current bound: 544 438.32/438.37 c current bound: 544 439.41/439.46 c current bound: 544 440.48/440.53 c current bound: 544 441.56/441.60 c current bound: 544 442.64/442.67 c current bound: 544 443.70/443.75 c current bound: 544 444.78/444.81 c current bound: 544 445.85/445.89 c current bound: 544 446.93/446.96 c current bound: 544 448.01/448.04 c current bound: 544 449.10/449.12 c current bound: 544 450.17/450.19 c current bound: 544 451.43/451.26 c current bound: 544 452.52/452.35 c current bound: 544 453.62/453.42 c current bound: 544 454.73/454.50 c current bound: 544 455.73/455.57 c current bound: 544 456.83/456.65 c current bound: 544 457.93/457.71 c current bound: 544 458.93/458.80 c current bound: 544 460.01/459.88 c current bound: 544 461.13/460.96 c current bound: 544 462.22/462.04 c current bound: 544 463.33/463.11 c current bound: 544 464.14/464.18 c current bound: 544 465.22/465.24 c current bound: 544 466.28/466.31 c current bound: 544 467.35/467.38 c current bound: 544 468.47/468.48 c current bound: 544 469.54/469.56 c current bound: 544 470.62/470.63 c current bound: 544 471.69/471.70 c current bound: 544 472.77/472.79 c current bound: 544 473.84/473.86 c current bound: 544 474.93/474.94 c current bound: 544 475.99/476.01 c current bound: 544 477.12/477.12 c current bound: 544 478.19/478.19 c current bound: 544 479.26/479.26 c current bound: 544 480.33/480.33 c current bound: 544 481.41/481.41 c current bound: 544 482.48/482.48 c current bound: 544 483.56/483.57 c current bound: 544 484.64/484.65 c current bound: 544 485.73/485.72 c current bound: 544 486.78/486.79 c current bound: 544 487.87/487.87 c current bound: 544 488.94/488.94 c current bound: 544 490.29/490.11 c current bound: 544 491.08/491.17 c current bound: 544 492.16/492.25 c current bound: 544 493.24/493.31 c current bound: 544 494.29/494.38 c current bound: 544 495.38/495.46 c current bound: 544 496.45/496.52 c current bound: 544 497.52/497.59 c current bound: 544 498.59/498.68 c current bound: 544 499.67/499.75 c current bound: 544 500.76/500.83 c current bound: 544 501.84/501.91 c current bound: 544 503.20/503.00 c current bound: 544 504.01/504.07 c current bound: 544 505.28/505.15 c current bound: 544 506.40/506.21 c current bound: 544 507.39/507.29 c current bound: 544 508.50/508.36 c current bound: 544 509.60/509.45 c current bound: 544 510.70/510.52 c current bound: 544 511.70/511.58 c current bound: 544 512.79/512.66 c current bound: 544 513.89/513.74 c current bound: 544 515.00/514.81 c current bound: 544 515.82/515.89 c current bound: 544 516.89/516.95 c current bound: 544 517.96/518.02 c current bound: 544 519.03/519.09 c current bound: 544 520.12/520.18 c current bound: 544 521.19/521.25 c current bound: 544 522.25/522.32 c current bound: 544 523.35/523.39 c current bound: 544 524.40/524.45 c current bound: 544 525.47/525.52 c current bound: 544 526.56/526.60 c current bound: 544 527.63/527.68 c current bound: 544 528.71/528.75 c current bound: 544 529.77/529.82 c current bound: 544 530.86/530.90 c current bound: 544 531.93/531.98 c current bound: 544 533.01/533.05 c current bound: 544 534.08/534.12 c current bound: 544 535.15/535.19 c current bound: 544 536.22/536.26 c current bound: 544 537.30/537.32 c current bound: 544 538.64/538.40 c current bound: 544 539.44/539.47 c current bound: 544 540.50/540.53 c current bound: 544 541.56/541.60 c current bound: 544 542.66/542.69 c current bound: 544 543.72/543.76 c current bound: 544 544.81/544.84 c current bound: 544 545.87/545.91 c current bound: 544 546.96/546.99 c current bound: 544 548.23/548.07 c current bound: 544 549.33/549.14 c current bound: 544 550.43/550.23 c current bound: 544 551.53/551.30 c current bound: 544 552.53/552.37 c current bound: 544 553.63/553.46 c current bound: 544 554.72/554.52 c current bound: 544 555.72/555.60 c current bound: 544 556.82/556.67 c current bound: 544 557.92/557.75 c current bound: 544 559.01/558.83 c current bound: 544 559.84/559.89 c current bound: 544 560.94/560.96 c current bound: 544 562.00/562.03 c current bound: 544 563.09/563.12 c current bound: 544 564.16/564.19 c current bound: 544 565.25/565.27 c current bound: 544 566.32/566.34 c current bound: 544 567.40/567.42 c current bound: 544 568.74/568.50 c current bound: 544 569.54/569.56 c current bound: 544 570.62/570.64 c current bound: 544 571.69/571.72 c current bound: 544 572.77/572.78 c current bound: 544 573.83/573.85 c current bound: 544 574.90/574.93 c current bound: 544 575.99/576.00 c current bound: 544 577.06/577.07 c current bound: 544 578.12/578.14 c current bound: 544 579.21/579.21 c current bound: 544 580.28/580.28 c current bound: 544 581.35/581.35 c current bound: 544 582.41/582.42 c current bound: 544 583.49/583.49 c current bound: 544 584.56/584.57 c current bound: 544 585.68/585.69 c current bound: 544 586.74/586.75 c current bound: 544 587.80/587.81 c current bound: 544 588.87/588.89 c current bound: 544 589.95/589.97 c current bound: 544 591.03/591.04 c current bound: 544 592.10/592.11 c current bound: 544 593.16/593.19 c current bound: 544 594.25/594.27 c current bound: 544 595.52/595.34 c current bound: 544 596.63/596.42 c current bound: 544 597.64/597.49 c current bound: 544 598.73/598.57 c current bound: 544 599.83/599.63 c current bound: 544 600.82/600.70 c current bound: 544 601.94/601.78 c current bound: 544 603.03/602.86 c current bound: 544 604.12/603.94 c current bound: 544 604.96/605.00 c current bound: 544 606.02/606.06 c current bound: 544 607.11/607.15 c current bound: 544 608.18/608.21 c current bound: 544 609.25/609.28 c current bound: 544 610.32/610.36 c current bound: 544 611.38/611.42 c current bound: 544 612.46/612.50 c current bound: 544 613.53/613.57 c current bound: 544 614.59/614.63 c current bound: 544 615.67/615.71 c current bound: 544 616.74/616.78 c current bound: 544 617.81/617.85 c current bound: 544 618.88/618.92 c current bound: 544 619.94/619.98 c current bound: 544 621.03/621.06 c current bound: 544 622.08/622.12 c current bound: 544 623.43/623.20 c current bound: 544 624.24/624.27 c current bound: 544 625.32/625.35 c current bound: 544 626.39/626.43 c current bound: 544 627.48/627.52 c current bound: 544 628.56/628.60 c current bound: 544 629.63/629.67 c current bound: 544 630.70/630.75 c current bound: 544 631.79/631.82 c current bound: 544 632.85/632.89 c current bound: 544 633.90/633.95 c current bound: 544 634.98/635.03 c current bound: 544 636.06/636.10 c current bound: 544 637.13/637.17 c current bound: 544 638.41/638.24 c current bound: 544 639.52/639.31 c current bound: 544 640.52/640.38 c current bound: 544 641.62/641.44 c current bound: 544 642.71/642.52 c current bound: 544 643.81/643.60 c current bound: 544 644.80/644.67 c current bound: 544 645.90/645.73 c current bound: 544 646.75/646.80 c current bound: 544 647.82/647.87 c current bound: 544 648.90/648.95 c current bound: 544 649.98/650.02 c current bound: 544 651.05/651.10 c current bound: 544 652.11/652.16 c current bound: 544 653.17/653.22 c current bound: 544 654.23/654.29 c current bound: 544 655.31/655.36 c current bound: 544 656.37/656.43 c current bound: 544 657.46/657.51 c current bound: 544 658.53/658.58 c current bound: 544 659.62/659.68 c current bound: 544 660.68/660.75 c current bound: 544 661.75/661.81 c current bound: 544 662.83/662.89 c current bound: 544 663.92/663.97 c current bound: 544 665.25/665.17 c current bound: 544 666.06/666.24 c current bound: 544 667.14/667.32 c current bound: 544 668.49/668.40 c current bound: 544 669.28/669.47 c current bound: 544 670.37/670.55 c current bound: 544 671.43/671.61 c current bound: 544 672.52/672.70 c current bound: 544 673.59/673.77 c current bound: 544 674.65/674.83 c current bound: 544 675.73/675.91 c current bound: 544 676.80/676.98 c current bound: 544 677.86/678.05 c current bound: 544 678.93/679.11 c current bound: 544 679.99/680.17 c current bound: 544 681.06/681.24 c current bound: 544 682.13/682.31 c current bound: 544 683.21/683.37 c current bound: 544 684.46/684.46 c current bound: 544 685.58/685.53 c current bound: 544 686.57/686.59 c current bound: 544 687.67/687.67 c current bound: 544 688.76/688.74 c current bound: 544 689.87/689.83 c current bound: 544 690.98/690.91 c current bound: 544 691.98/691.98 c current bound: 544 693.07/693.06 c current bound: 544 694.17/694.14 c current bound: 544 695.29/695.20 c current bound: 544 696.09/696.29 c current bound: 544 697.16/697.35 c current bound: 544 698.23/698.43 c current bound: 544 699.31/699.52 c current bound: 544 700.39/700.59 c current bound: 544 701.48/701.66 c current bound: 544 702.55/702.75 c current bound: 544 703.63/703.81 c current bound: 544 704.70/704.88 c current bound: 544 705.76/705.95 c current bound: 544 706.84/707.02 c current bound: 544 707.91/708.09 c current bound: 544 708.97/709.16 c current bound: 544 710.04/710.23 c current bound: 544 711.12/711.31 c current bound: 544 712.19/712.39 c current bound: 544 713.28/713.46 c current bound: 544 714.34/714.52 c current bound: 544 715.41/715.59 c current bound: 544 716.50/716.69 c current bound: 544 717.58/717.76 c current bound: 544 718.65/718.84 c current bound: 544 719.73/719.91 c current bound: 544 720.82/720.99 c current bound: 544 721.90/722.07 c current bound: 544 722.98/723.14 c current bound: 544 724.05/724.22 c current bound: 544 725.13/725.29 c current bound: 544 726.20/726.36 c current bound: 544 727.29/727.45 c current bound: 544 728.37/728.52 c current bound: 544 729.43/729.59 c current bound: 544 730.68/730.67 c current bound: 544 731.79/731.74 c current bound: 544 732.88/732.83 c current bound: 544 733.98/733.90 c current bound: 544 734.99/734.98 c current bound: 544 736.08/736.05 c current bound: 544 737.18/737.13 c current bound: 544 738.29/738.20 c current bound: 544 739.28/739.27 c current bound: 544 740.37/740.36 c current bound: 544 741.48/741.43 c current bound: 544 742.58/742.51 c current bound: 544 743.40/743.58 c current bound: 544 744.46/744.65 c current bound: 544 745.55/745.72 c current bound: 544 746.63/746.80 c current bound: 544 747.70/747.87 c current bound: 544 748.78/748.94 c current bound: 544 749.85/750.02 c current bound: 544 750.92/751.09 c current bound: 544 752.00/752.17 c current bound: 544 753.07/753.23 c current bound: 544 754.40/754.30 c current bound: 544 755.21/755.37 c current bound: 544 756.28/756.44 c current bound: 544 757.37/757.52 c current bound: 544 758.45/758.60 c current bound: 544 759.51/759.68 c current bound: 544 760.58/760.76 c current bound: 544 761.68/761.84 c current bound: 544 762.76/762.91 c current bound: 544 763.83/763.98 c current bound: 544 764.90/765.06 c current bound: 544 766.01/766.16 c current bound: 544 767.07/767.23 c current bound: 544 768.16/768.31 c current bound: 544 769.23/769.38 c current bound: 544 770.32/770.46 c current bound: 544 771.38/771.53 c current bound: 544 772.46/772.60 c current bound: 544 773.52/773.67 c current bound: 544 774.62/774.75 c current bound: 544 775.68/775.83 c current bound: 544 776.76/776.91 c current bound: 544 777.84/777.99 c current bound: 544 779.10/779.07 c current bound: 544 780.20/780.16 c current bound: 544 781.29/781.23 c current bound: 544 782.39/782.34 c current bound: 544 783.51/783.40 c current bound: 544 784.50/784.49 c current bound: 544 785.60/785.58 c current bound: 544 786.71/786.66 c current bound: 544 787.81/787.74 c current bound: 544 788.91/788.81 c current bound: 544 789.89/789.87 c current bound: 544 791.01/790.96 c current bound: 544 792.10/792.05 c current bound: 544 793.20/793.13 c current bound: 544 794.03/794.19 c current bound: 544 795.10/795.26 c current bound: 544 796.17/796.33 c current bound: 544 797.26/797.41 c current bound: 544 798.33/798.48 c current bound: 544 799.40/799.54 c current bound: 544 800.48/800.62 c current bound: 544 801.56/801.70 c current bound: 544 802.62/802.77 c current bound: 544 803.73/803.86 c current bound: 544 804.80/804.93 c current bound: 544 805.87/806.00 c current bound: 544 806.95/807.07 c current bound: 544 808.01/808.14 c current bound: 544 809.08/809.21 c current bound: 544 810.16/810.28 c current bound: 544 811.23/811.36 c current bound: 544 812.32/812.44 c current bound: 544 813.41/813.52 c current bound: 544 814.47/814.59 c current bound: 544 815.54/815.66 c current bound: 544 816.62/816.74 c current bound: 544 817.69/817.82 c current bound: 544 818.78/818.89 c current bound: 544 819.85/819.96 c current bound: 544 820.92/821.04 c current bound: 544 821.99/822.10 c current bound: 544 823.06/823.18 c current bound: 544 824.15/824.26 c current bound: 544 825.22/825.34 c current bound: 544 826.29/826.40 c current bound: 544 827.36/827.47 c current bound: 544 828.66/828.54 c current bound: 544 829.76/829.61 c current bound: 544 830.77/830.69 c current bound: 544 831.86/831.77 c current bound: 544 832.97/832.84 c current bound: 544 834.08/833.93 c current bound: 544 835.08/834.99 c current bound: 544 836.17/836.08 c current bound: 544 837.27/837.17 c current bound: 544 838.37/838.25 c current bound: 544 839.47/839.32 c current bound: 544 840.57/840.41 c current bound: 544 841.41/841.49 c current bound: 544 842.49/842.58 c current bound: 544 843.56/843.64 c current bound: 544 844.64/844.71 c current bound: 544 845.73/845.80 c current bound: 544 846.80/846.88 c current bound: 544 847.86/847.95 c current bound: 544 848.94/849.02 c current bound: 544 850.02/850.09 c current bound: 544 851.09/851.16 c current bound: 544 852.17/852.24 c current bound: 544 853.25/853.31 c current bound: 544 854.60/854.40 c current bound: 544 855.40/855.47 c current bound: 544 856.48/856.55 c current bound: 544 857.57/857.63 c current bound: 544 858.64/858.72 c current bound: 544 859.73/859.79 c current bound: 544 860.80/860.86 c current bound: 544 861.87/861.93 c current bound: 544 862.96/863.01 c current bound: 544 864.04/864.09 c current bound: 544 865.11/865.16 c current bound: 544 866.19/866.24 c current bound: 544 867.25/867.30 c current bound: 544 868.33/868.38 c current bound: 544 869.42/869.46 c current bound: 544 870.49/870.54 c current bound: 544 871.57/871.62 c current bound: 544 872.92/872.70 c current bound: 544 873.73/873.78 c current bound: 544 874.80/874.85 c current bound: 544 875.88/875.92 c current bound: 544 876.96/877.00 c current bound: 544 878.21/878.07 c current bound: 544 879.30/879.15 c current bound: 544 880.41/880.22 c current bound: 544 881.42/881.29 c current bound: 544 882.53/882.37 c current bound: 544 883.62/883.43 c current bound: 544 884.73/884.52 c current bound: 544 885.73/885.59 c current bound: 544 886.83/886.66 c current bound: 544 887.94/887.73 c current bound: 544 888.77/888.79 c current bound: 544 889.84/889.86 c current bound: 544 890.90/890.93 c current bound: 544 891.98/892.01 c current bound: 544 893.07/893.09 c current bound: 544 894.15/894.16 c current bound: 544 895.22/895.24 c current bound: 544 896.28/896.30 c current bound: 544 897.37/897.39 c current bound: 544 898.45/898.46 c current bound: 544 899.53/899.55 c current bound: 544 900.59/900.61 c current bound: 544 901.68/901.69 c current bound: 544 902.76/902.78 c current bound: 544 903.84/903.85 c current bound: 544 904.93/904.94 c current bound: 544 906.00/906.01 c current bound: 544 907.07/907.08 c current bound: 544 908.14/908.16 c current bound: 544 909.21/909.23 c current bound: 544 910.30/910.31 c current bound: 544 911.66/911.40 c current bound: 544 912.47/912.49 c current bound: 544 913.55/913.56 c current bound: 544 914.62/914.63 c current bound: 544 915.97/915.70 c current bound: 544 916.79/916.78 c current bound: 544 917.87/917.86 c current bound: 544 918.95/918.93 c current bound: 544 920.01/920.01 c current bound: 544 921.10/921.08 c current bound: 544 922.17/922.15 c current bound: 544 923.25/923.23 c current bound: 544 924.33/924.32 c current bound: 544 925.39/925.39 c current bound: 544 926.48/926.48 c current bound: 544 927.77/927.56 c current bound: 544 928.85/928.65 c current bound: 544 929.95/929.74 c current bound: 544 931.05/930.82 c current bound: 544 932.17/931.90 c current bound: 544 933.16/932.98 c current bound: 544 934.25/934.06 c current bound: 544 935.36/935.14 c current bound: 544 936.47/936.22 c current bound: 544 937.56/937.31 c current bound: 544 938.56/938.39 c current bound: 544 939.67/939.47 c current bound: 544 940.76/940.54 c current bound: 544 941.87/941.61 c current bound: 544 942.68/942.68 c current bound: 544 943.77/943.76 c current bound: 544 944.84/944.83 c current bound: 544 945.92/945.91 c current bound: 544 947.01/947.00 c current bound: 544 948.39/948.10 c current bound: 544 949.19/949.17 c current bound: 544 950.27/950.24 c current bound: 544 951.33/951.32 c current bound: 544 952.40/952.38 c current bound: 544 953.49/953.46 c current bound: 544 954.56/954.54 c current bound: 544 955.63/955.60 c current bound: 544 956.72/956.68 c current bound: 544 957.79/957.77 c current bound: 544 958.88/958.85 c current bound: 544 959.95/959.92 c current bound: 544 961.02/960.99 c current bound: 544 962.11/962.07 c current bound: 544 963.18/963.14 c current bound: 544 964.24/964.21 c current bound: 544 965.32/965.29 c current bound: 544 966.40/966.36 c current bound: 544 967.48/967.44 c current bound: 544 968.56/968.51 c current bound: 544 969.65/969.59 c current bound: 544 970.72/970.67 c current bound: 544 971.81/971.76 c current bound: 544 972.87/972.85 c current bound: 544 973.98/973.94 c current bound: 544 975.07/975.02 c current bound: 544 976.15/976.10 c current bound: 544 977.23/977.20 c current bound: 544 978.33/978.28 c current bound: 544 979.40/979.35 c current bound: 544 980.48/980.43 c current bound: 544 981.57/981.52 c current bound: 544 982.65/982.59 c current bound: 544 983.73/983.68 c current bound: 544 984.82/984.77 c current bound: 544 986.12/985.84 c current bound: 544 987.22/986.92 c current bound: 544 988.32/988.01 c current bound: 544 989.33/989.08 c current bound: 544 990.42/990.17 c current bound: 544 991.52/991.25 c current bound: 544 992.63/992.33 c current bound: 544 993.73/993.41 c current bound: 544 994.72/994.48 c current bound: 544 995.81/995.56 c current bound: 544 996.92/996.65 c current bound: 544 998.02/997.72 c current bound: 544 999.12/998.81 c current bound: 544 999.95/999.89 c current bound: 544 1001.02/1000.97 c current bound: 544 1002.11/1002.04 c current bound: 544 1003.18/1003.11 c current bound: 544 1004.25/1004.18 c current bound: 544 1005.33/1005.26 c current bound: 544 1006.42/1006.34 c current bound: 544 1007.48/1007.40 c current bound: 544 1008.55/1008.49 c current bound: 544 1009.64/1009.55 c current bound: 544 1010.72/1010.63 c current bound: 544 1011.79/1011.71 c current bound: 544 1012.86/1012.78 c current bound: 544 1013.93/1013.85 c current bound: 544 1015.02/1014.93 c current bound: 544 1016.10/1016.02 c current bound: 544 1017.45/1017.10 c current bound: 544 1018.24/1018.17 c current bound: 544 1019.32/1019.24 c current bound: 544 1020.41/1020.32 c current bound: 544 1021.48/1021.39 c current bound: 544 1022.54/1022.46 c current bound: 544 1023.61/1023.53 c current bound: 544 1024.70/1024.61 c current bound: 544 1025.77/1025.68 c current bound: 544 1026.85/1026.75 c current bound: 544 1027.93/1027.84 c current bound: 544 1029.01/1028.92 c current bound: 544 1030.09/1029.99 c current bound: 544 1031.16/1031.06 c current bound: 544 1032.24/1032.14 c current bound: 544 1033.32/1033.21 c current bound: 544 1034.40/1034.30 c current bound: 544 1035.47/1035.37 c current bound: 544 1036.76/1036.43 c current bound: 544 1037.86/1037.51 c current bound: 544 1038.96/1038.61 c current bound: 544 1039.96/1039.69 c current bound: 544 1041.07/1040.77 c current bound: 544 1042.17/1041.84 c current bound: 544 1043.26/1042.92 c current bound: 544 1044.38/1044.00 c current bound: 544 1045.37/1045.07 c current bound: 544 1046.48/1046.15 c current bound: 544 1047.56/1047.22 c current bound: 544 1048.65/1048.31 c current bound: 544 1049.49/1049.39 c current bound: 544 1050.57/1050.46 c current bound: 544 1051.64/1051.54 c current bound: 544 1052.74/1052.63 c current bound: 544 1053.83/1053.73 c current bound: 544 1054.91/1054.80 c current bound: 544 1055.99/1055.90 c current bound: 544 1057.09/1056.98 c current bound: 544 1058.17/1058.06 c current bound: 544 1059.24/1059.14 c current bound: 544 1060.33/1060.22 c current bound: 544 1061.68/1061.30 c current bound: 544 1062.47/1062.36 c current bound: 544 1063.54/1063.43 c current bound: 544 1064.62/1064.50 c current bound: 544 1065.69/1065.58 c current bound: 544 1066.76/1066.64 c current bound: 544 1067.84/1067.73 c current bound: 544 1069.18/1068.80 c current bound: 544 1069.99/1069.88 c current bound: 544 1071.08/1070.96 c current bound: 544 1072.15/1072.03 c current bound: 544 1073.49/1073.10 c current bound: 544 1074.30/1074.17 c current bound: 544 1075.37/1075.24 c current bound: 544 1076.43/1076.32 c current bound: 544 1077.51/1077.39 c current bound: 544 1078.59/1078.47 c current bound: 544 1079.66/1079.54 c current bound: 544 1080.74/1080.62 c current bound: 544 1081.82/1081.69 c current bound: 544 1082.90/1082.77 c current bound: 544 1083.98/1083.84 c current bound: 544 1085.05/1084.92 c current bound: 544 1086.14/1086.00 c current bound: 544 1087.21/1087.08 c current bound: 544 1088.32/1088.17 c current bound: 544 1089.60/1089.24 c current bound: 544 1090.70/1090.31 c current bound: 544 1091.71/1091.38 c current bound: 544 1092.82/1092.45 c current bound: 544 1093.92/1093.52 c current bound: 544 1094.92/1094.59 c current bound: 544 1096.02/1095.66 c current bound: 544 1097.11/1096.72 c current bound: 544 1098.23/1097.80 c current bound: 544 1099.03/1098.87 c current bound: 544 1100.10/1099.94 c current bound: 544 1101.19/1101.04 c current bound: 544 1102.28/1102.12 c current bound: 544 1103.36/1103.19 c current bound: 544 1104.45/1104.28 c current bound: 544 1105.51/1105.35 c current bound: 544 1106.58/1106.43 c current bound: 544 1107.66/1107.50 c current bound: 544 1108.73/1108.57 c current bound: 544 1109.80/1109.63 c current bound: 544 1110.88/1110.71 c current bound: 544 1111.96/1111.79 c current bound: 544 1113.04/1112.87 c current bound: 544 1114.11/1113.94 c current bound: 544 1115.18/1115.01 c current bound: 544 1116.26/1116.09 c current bound: 544 1117.37/1117.18 c current bound: 544 1118.47/1118.28 c current bound: 544 1119.54/1119.36 c current bound: 544 1120.62/1120.44 c current bound: 544 1121.74/1121.55 c current bound: 544 1122.82/1122.63 c current bound: 544 1123.91/1123.73 c current bound: 544 1125.00/1124.81 c current bound: 544 1126.09/1125.90 c current bound: 544 1127.16/1126.98 c current bound: 544 1128.24/1128.06 c current bound: 544 1129.32/1129.14 c current bound: 544 1130.39/1130.22 c current bound: 544 1131.47/1131.29 c current bound: 544 1132.55/1132.37 c current bound: 544 1133.62/1133.45 c current bound: 544 1134.69/1134.52 c current bound: 544 1136.04/1135.60 c current bound: 544 1136.85/1136.67 c current bound: 544 1137.93/1137.75 c current bound: 544 1139.02/1138.84 c current bound: 544 1140.12/1139.93 c current bound: 544 1141.19/1141.01 c current bound: 544 1142.27/1142.08 c current bound: 544 1143.54/1143.15 c current bound: 544 1144.64/1144.22 c current bound: 544 1145.73/1145.30 c current bound: 544 1146.73/1146.38 c current bound: 544 1147.85/1147.47 c current bound: 544 1148.95/1148.56 c current bound: 544 1150.04/1149.63 c current bound: 544 1151.14/1150.71 c current bound: 544 1152.15/1151.79 c current bound: 544 1153.24/1152.88 c current bound: 544 1154.35/1153.97 c current bound: 544 1155.51/1155.11 c current bound: 544 1156.58/1156.24 c current bound: 544 1157.68/1157.31 c current bound: 544 1158.68/1158.40 c current bound: 544 1159.78/1159.50 c current bound: 544 1160.89/1160.58 c current bound: 544 1161.97/1161.66 c current bound: 544 1163.08/1162.73 c current bound: 544 1164.18/1163.81 c current bound: 544 1165.28/1164.90 c current bound: 544 1166.11/1166.00 c current bound: 544 1167.19/1167.09 c current bound: 544 1168.29/1168.17 c current bound: 544 1169.36/1169.24 c current bound: 544 1170.42/1170.32 c current bound: 544 1171.51/1171.39 c current bound: 544 1172.59/1172.48 c current bound: 544 1173.69/1173.56 c current bound: 544 1174.76/1174.64 c current bound: 544 1175.83/1175.72 c current bound: 544 1176.91/1176.79 c current bound: 544 1177.99/1177.88 c current bound: 544 1179.07/1178.95 c current bound: 544 1180.15/1180.03 c current bound: 544 1181.23/1181.10 c current bound: 544 1182.30/1182.17 c current bound: 544 1183.38/1183.24 c current bound: 544 1184.44/1184.32 c current bound: 544 1185.53/1185.39 c current bound: 544 1186.61/1186.47 c current bound: 544 1187.68/1187.54 c current bound: 544 1188.75/1188.61 c current bound: 544 1189.82/1189.68 c current bound: 544 1190.92/1190.76 c current bound: 544 1191.99/1191.84 c current bound: 544 1193.06/1192.91 c current bound: 544 1194.14/1194.00 c current bound: 544 1195.24/1195.08 c current bound: 544 1196.31/1196.15 c current bound: 544 1197.38/1197.22 c current bound: 544 1198.72/1198.30 c current bound: 544 1199.52/1199.37 c current bound: 544 1200.62/1200.46 c current bound: 544 1201.69/1201.53 c current bound: 544 1202.77/1202.61 c current bound: 544 1203.85/1203.69 c current bound: 544 1204.94/1204.77 c current bound: 544 1206.22/1205.84 c current bound: 544 1207.31/1206.92 c current bound: 544 1208.34/1207.99 c current bound: 544 1209.44/1209.07 c current bound: 544 1210.53/1210.15 c current bound: 544 1211.64/1211.22 c current bound: 544 1212.74/1212.31 c current bound: 544 1213.73/1213.39 c current bound: 544 1214.83/1214.47 c current bound: 544 1215.93/1215.56 c current bound: 544 1217.02/1216.64 c current bound: 544 1218.13/1217.72 c current bound: 544 1218.95/1218.79 c current bound: 544 1220.03/1219.86 c current bound: 544 1221.10/1220.94 c current bound: 544 1222.17/1222.00 c current bound: 544 1223.27/1223.11 c current bound: 544 1224.36/1224.18 c current bound: 544 1225.43/1225.27 c current bound: 544 1226.49/1226.32 c current bound: 544 1227.84/1227.40 c current bound: 544 1228.65/1228.48 c current bound: 544 1229.73/1229.54 c current bound: 544 1230.81/1230.62 c current bound: 544 1231.88/1231.69 c current bound: 544 1232.95/1232.76 c current bound: 544 1234.02/1233.83 c current bound: 544 1235.10/1234.91 c current bound: 544 1236.19/1235.99 c current bound: 544 1237.25/1237.06 c current bound: 544 1238.33/1238.14 c current bound: 544 1239.40/1239.20 c current bound: 544 1240.48/1240.28 c current bound: 544 1241.55/1241.35 c current bound: 544 1242.61/1242.42 c current bound: 544 1243.68/1243.49 c current bound: 544 1244.77/1244.57 c current bound: 544 1245.86/1245.65 c current bound: 544 1246.92/1246.72 c current bound: 544 1248.00/1247.80 c current bound: 544 1249.07/1248.87 c current bound: 544 1250.14/1249.95 c current bound: 544 1251.22/1251.02 c current bound: 544 1252.28/1252.08 c current bound: 544 1253.56/1253.15 c current bound: 544 1254.66/1254.22 c current bound: 544 1255.75/1255.30 c current bound: 544 1256.78/1256.37 c current bound: 544 1257.87/1257.45 c current bound: 544 1258.97/1258.54 c current bound: 544 1260.06/1259.66 c current bound: 544 1261.17/1260.73 c current bound: 544 1262.26/1261.82 c current bound: 544 1263.27/1262.89 c current bound: 544 1264.36/1263.97 c current bound: 544 1265.46/1265.04 c current bound: 544 1266.56/1266.14 c current bound: 544 1267.66/1267.22 c current bound: 544 1268.78/1268.31 c current bound: 544 1269.58/1269.37 c current bound: 544 1270.64/1270.44 c current bound: 544 1271.73/1271.52 c current bound: 544 1272.80/1272.59 c current bound: 544 1273.88/1273.68 c current bound: 544 1274.96/1274.76 c current bound: 544 1276.05/1275.84 c current bound: 544 1277.12/1276.91 c current bound: 544 1278.18/1277.97 c current bound: 544 1279.24/1279.04 c current bound: 544 1280.33/1280.11 c current bound: 544 1281.41/1281.19 c current bound: 544 1282.47/1282.25 c current bound: 544 1283.54/1283.32 c current bound: 544 1284.61/1284.39 c current bound: 544 1285.69/1285.47 c current bound: 544 1286.77/1286.54 c current bound: 544 1287.83/1287.61 c current bound: 544 1288.91/1288.69 c current bound: 544 1289.98/1289.76 c current bound: 544 1291.07/1290.84 c current bound: 544 1292.14/1291.91 c current bound: 544 1293.22/1292.99 c current bound: 544 1294.28/1294.07 c current bound: 544 1295.36/1295.16 c current bound: 544 1296.43/1296.23 c current bound: 544 1297.77/1297.30 c current bound: 544 1298.59/1298.38 c current bound: 544 1299.67/1299.46 c current bound: 544 1300.73/1300.53 c current bound: 544 1301.81/1301.61 c current bound: 544 1302.89/1302.68 c current bound: 544 1304.16/1303.77 c current bound: 544 1305.26/1304.84 c current bound: 544 1306.37/1305.91 c current bound: 544 1307.37/1306.98 c current bound: 544 1308.45/1308.06 c current bound: 544 1309.56/1309.14 c current bound: 544 1310.65/1310.23 c current bound: 544 1311.75/1311.31 c current bound: 544 1312.76/1312.40 c current bound: 544 1313.85/1313.47 c current bound: 544 1314.95/1314.54 c current bound: 544 1316.06/1315.62 c current bound: 544 1316.88/1316.69 c current bound: 544 1317.96/1317.77 c current bound: 544 1319.03/1318.83 c current bound: 544 1320.10/1319.90 c current bound: 544 1321.17/1320.97 c current bound: 544 1322.24/1322.04 c current bound: 544 1323.33/1323.12 c current bound: 544 1324.40/1324.19 c current bound: 544 1325.48/1325.28 c current bound: 544 1326.55/1326.35 c current bound: 544 1327.62/1327.42 c current bound: 544 1328.69/1328.49 c current bound: 544 1329.78/1329.57 c current bound: 544 1330.85/1330.64 c current bound: 544 1331.91/1331.71 c current bound: 544 1332.99/1332.78 c current bound: 544 1334.06/1333.85 c current bound: 544 1335.13/1334.93 c current bound: 544 1336.22/1336.00 c current bound: 544 1337.29/1337.09 c current bound: 544 1338.36/1338.15 c current bound: 544 1339.46/1339.25 c current bound: 544 1340.55/1340.33 c current bound: 544 1341.61/1341.41 c current bound: 544 1342.70/1342.48 c current bound: 544 1343.78/1343.56 c current bound: 544 1344.87/1344.65 c current bound: 544 1345.95/1345.73 c current bound: 544 1347.03/1346.80 c current bound: 544 1348.10/1347.88 c current bound: 544 1349.19/1348.96 c current bound: 544 1350.27/1350.04 c current bound: 544 1351.34/1351.11 c current bound: 544 1352.43/1352.19 c current bound: 544 1353.51/1353.28 c current bound: 544 1354.79/1354.34 c current bound: 544 1355.89/1355.42 c current bound: 544 1356.90/1356.49 c current bound: 544 1358.00/1357.56 c current bound: 544 1359.10/1358.63 c current bound: 544 1360.20/1359.71 c current bound: 544 1361.20/1360.77 c current bound: 544 1362.30/1361.85 c current bound: 544 1363.39/1362.91 c current bound: 544 1364.21/1363.98 c current bound: 544 1365.29/1365.05 c current bound: 544 1366.37/1366.14 c current bound: 544 1367.44/1367.21 c current bound: 544 1368.53/1368.29 c current bound: 544 1369.61/1369.37 c current bound: 544 1370.69/1370.45 c current bound: 544 1371.78/1371.54 c current bound: 544 1372.87/1372.63 c current bound: 544 1374.21/1373.70 c current bound: 544 1375.00/1374.76 c current bound: 544 1376.07/1375.83 c current bound: 544 1377.16/1376.90 c current bound: 544 1378.23/1377.99 c current bound: 544 1379.30/1379.06 c current bound: 544 1380.37/1380.12 c current bound: 544 1381.72/1381.20 c current bound: 544 1382.54/1382.29 c current bound: 544 1383.62/1383.37 c current bound: 544 1384.72/1384.46 c current bound: 544 1385.81/1385.55 c current bound: 544 1386.90/1386.63 c current bound: 544 1387.96/1387.69 c current bound: 544 1389.03/1388.76 c current bound: 544 1390.10/1389.83 c current bound: 544 1391.18/1390.91 c current bound: 544 1392.54/1392.00 c current bound: 544 1393.36/1393.09 c current bound: 544 1394.44/1394.17 c current bound: 544 1395.52/1395.25 c current bound: 544 1396.61/1396.34 c current bound: 544 1397.69/1397.40 c current bound: 544 1398.77/1398.47 c current bound: 544 1399.83/1399.54 c current bound: 544 1400.91/1400.61 c current bound: 544 1401.98/1401.69 c current bound: 544 1403.08/1402.77 c current bound: 544 1404.36/1403.84 c current bound: 544 1405.46/1404.92 c current bound: 544 1406.55/1406.00 c current bound: 544 1407.56/1407.09 c current bound: 544 1408.67/1408.16 c current bound: 544 1409.76/1409.24 c current bound: 544 1410.84/1410.31 c current bound: 544 1411.95/1411.43 c current bound: 544 1412.96/1412.50 c current bound: 544 1414.06/1413.58 c current bound: 544 1415.15/1414.68 c current bound: 544 1416.24/1415.76 c current bound: 544 1417.36/1416.85 c current bound: 544 1418.46/1417.92 c current bound: 544 1419.55/1419.01 c current bound: 544 1420.38/1420.09 c current bound: 544 1421.48/1421.18 c current bound: 544 1422.56/1422.25 c current bound: 544 1423.65/1423.35 c current bound: 544 1424.73/1424.43 c current bound: 544 1425.81/1425.51 c current bound: 544 1426.89/1426.59 c current bound: 544 1428.03/1427.73 c current bound: 544 1429.11/1428.81 c current bound: 544 1430.18/1429.87 c current bound: 544 1431.25/1430.95 c current bound: 544 1432.33/1432.02 c current bound: 544 1433.67/1433.10 c current bound: 544 1434.48/1434.18 c current bound: 544 1435.55/1435.25 c current bound: 544 1436.63/1436.33 c current bound: 544 1437.71/1437.41 c current bound: 544 1438.79/1438.48 c current bound: 544 1439.86/1439.56 c current bound: 544 1440.93/1440.64 c current bound: 544 1442.01/1441.71 c current bound: 544 1443.08/1442.79 c current bound: 544 1444.17/1443.87 c current bound: 544 1445.24/1444.95 c current bound: 544 1446.33/1446.03 c current bound: 544 1447.41/1447.11 c current bound: 544 1448.49/1448.18 c current bound: 544 1449.58/1449.27 c current bound: 544 1450.67/1450.35 c current bound: 544 1451.74/1451.43 c current bound: 544 1452.82/1452.51 c current bound: 544 1453.89/1453.59 c current bound: 544 1454.98/1454.68 c current bound: 544 1456.07/1455.76 c current bound: 544 1457.14/1456.83 c current bound: 544 1458.22/1457.90 c current bound: 544 1459.29/1458.98 c current bound: 544 1460.38/1460.07 c current bound: 544 1461.46/1461.14 c current bound: 544 1462.53/1462.21 c current bound: 544 1463.62/1463.30 c current bound: 544 1464.70/1464.39 c current bound: 544 1465.79/1465.47 c current bound: 544 1467.06/1466.55 c current bound: 544 1468.16/1467.62 c current bound: 544 1469.16/1468.70 c current bound: 544 1470.26/1469.77 c current bound: 544 1471.37/1470.86 c current bound: 544 1472.47/1471.93 c current bound: 544 1473.58/1473.01 c current bound: 544 1474.57/1474.09 c current bound: 544 1475.68/1475.17 c current bound: 544 1476.77/1476.26 c current bound: 544 1477.88/1477.34 c current bound: 544 1478.97/1478.45 c current bound: 544 1480.07/1479.53 c current bound: 544 1481.17/1480.61 c current bound: 544 1482.00/1481.68 c current bound: 544 1483.08/1482.76 c current bound: 544 1484.17/1483.86 c current bound: 544 1485.26/1484.94 c current bound: 544 1486.35/1486.03 c current bound: 544 1487.43/1487.11 c current bound: 544 1488.53/1488.21 c current bound: 544 1489.59/1489.28 c current bound: 544 1490.68/1490.36 c current bound: 544 1491.77/1491.43 c current bound: 544 1492.82/1492.52 c current bound: 544 1493.92/1493.59 c current bound: 544 1494.99/1494.67 c current bound: 544 1496.08/1495.75 c current bound: 544 1497.15/1496.82 c current bound: 544 1498.23/1497.91 c current bound: 544 1499.32/1499.00 c current bound: 544 1500.67/1500.17 c current bound: 544 1501.49/1501.26 c current bound: 544 1502.56/1502.33 c current bound: 544 1503.65/1503.42 c current bound: 544 1504.75/1504.51 c current bound: 544 1505.84/1505.60 c current bound: 544 1506.92/1506.68 c current bound: 544 1507.99/1507.75 c current bound: 544 1509.07/1508.84 c current bound: 544 1510.14/1509.91 c current bound: 544 1511.49/1511.00 c current bound: 544 1512.29/1512.07 c current bound: 544 1513.38/1513.15 c current bound: 544 1514.48/1514.23 c current bound: 544 1515.55/1515.31 c current bound: 544 1516.90/1516.40 c current bound: 544 1517.70/1517.47 c current bound: 544 1518.79/1518.55 c current bound: 544 1519.88/1519.64 c current bound: 544 1520.96/1520.72 c current bound: 544 1522.03/1521.79 c current bound: 544 1523.10/1522.88 c current bound: 544 1524.19/1523.95 c current bound: 544 1525.26/1525.02 c current bound: 544 1526.34/1526.10 c current bound: 544 1527.41/1527.16 c current bound: 544 1528.49/1528.25 c current bound: 544 1529.58/1529.33 c current bound: 544 1530.67/1530.41 c current bound: 544 1531.73/1531.49 c current bound: 544 1533.01/1532.55 c current bound: 544 1534.11/1533.62 c current bound: 544 1535.13/1534.69 c current bound: 544 1536.22/1535.78 c current bound: 544 1537.33/1536.86 c current bound: 544 1538.43/1537.95 c current bound: 544 1539.54/1539.02 c current bound: 544 1540.65/1540.10 c current bound: 544 1541.63/1541.19 c current bound: 544 1542.75/1542.26 c current bound: 544 1543.84/1543.34 c current bound: 544 1544.93/1544.42 c current bound: 544 1546.06/1545.51 c current bound: 544 1546.87/1546.59 c current bound: 544 1547.95/1547.66 c current bound: 544 1549.03/1548.74 c current bound: 544 1550.10/1549.82 c current bound: 544 1551.19/1550.91 c current bound: 544 1552.28/1551.99 c current bound: 544 1553.36/1553.06 c current bound: 544 1554.43/1554.13 c current bound: 544 1555.51/1555.21 c current bound: 544 1556.59/1556.29 c current bound: 544 1557.66/1557.36 c current bound: 544 1558.73/1558.44 c current bound: 544 1559.82/1559.54 c current bound: 544 1560.90/1560.60 c current bound: 544 1561.98/1561.68 c current bound: 544 1563.06/1562.76 c current bound: 544 1564.12/1563.84 c current bound: 544 1565.21/1564.90 c current bound: 544 1566.28/1565.99 c current bound: 544 1567.36/1567.06 c current bound: 544 1568.45/1568.15 c current bound: 544 1569.53/1569.23 c current bound: 544 1570.58/1570.29 c current bound: 544 1571.66/1571.36 c current bound: 544 1572.76/1572.43 c current bound: 544 1574.09/1573.50 c current bound: 544 1574.89/1574.57 c current bound: 544 1575.96/1575.63 c current bound: 544 1577.02/1576.71 c current bound: 544 1578.11/1577.79 c current bound: 544 1579.18/1578.87 c current bound: 544 1580.25/1579.94 c current bound: 544 1581.34/1581.03 c current bound: 544 1582.41/1582.10 c current bound: 544 1583.51/1583.19 c current bound: 544 1584.79/1584.25 c current bound: 544 1585.88/1585.33 c current bound: 544 1586.98/1586.41 c current bound: 544 1588.00/1587.47 c current bound: 544 1589.10/1588.55 c current bound: 544 1590.21/1589.62 c current bound: 544 1591.20/1590.69 c current bound: 544 1592.30/1591.77 c current bound: 544 1593.40/1592.86 c current bound: 544 1594.51/1593.93 c current bound: 544 1595.61/1595.01 c current bound: 544 1596.44/1596.08 c current bound: 544 1597.52/1597.16 c current bound: 544 1598.60/1598.24 c current bound: 544 1599.67/1599.31 c current bound: 544 1600.75/1600.39 c current bound: 544 1601.85/1601.48 c current bound: 544 1602.93/1602.57 c current bound: 544 1604.01/1603.65 c current bound: 544 1605.09/1604.73 c current bound: 544 1606.19/1605.83 c current bound: 544 1607.54/1606.90 c current bound: 544 1608.34/1607.97 c current bound: 544 1609.41/1609.04 c current bound: 544 1610.49/1610.11 c current bound: 544 1611.57/1611.19 c current bound: 544 1612.65/1612.28 c current bound: 544 1613.72/1613.34 c current bound: 544 1614.79/1614.41 c current bound: 544 1615.86/1615.49 c current bound: 544 1617.24/1616.60 c current bound: 544 1618.04/1617.67 c current bound: 544 1619.14/1618.75 c current bound: 544 1620.22/1619.82 c current bound: 544 1621.57/1620.90 c current bound: 544 1622.37/1621.98 c current bound: 544 1623.44/1623.04 c current bound: 544 1624.52/1624.12 c current bound: 544 1625.60/1625.19 c current bound: 544 1626.69/1626.28 c current bound: 544 1627.78/1627.37 c current bound: 544 1628.86/1628.45 c current bound: 544 1629.95/1629.54 c current bound: 544 1631.03/1630.62 c current bound: 544 1632.09/1631.69 c current bound: 544 1633.20/1632.80 c current bound: 544 1634.28/1633.88 c current bound: 544 1635.37/1634.96 c current bound: 544 1636.44/1636.03 c current bound: 544 1637.51/1637.10 c current bound: 544 1638.59/1638.18 c current bound: 544 1639.67/1639.27 c current bound: 544 1640.96/1640.35 c current bound: 544 1642.05/1641.42 c current bound: 544 1643.06/1642.49 c current bound: 544 1644.17/1643.56 c current bound: 544 1645.27/1644.64 c current bound: 544 1646.38/1645.71 c current bound: 544 1647.38/1646.80 c current bound: 544 1648.48/1647.88 c current bound: 544 1649.57/1648.95 c current bound: 544 1650.68/1650.04 c current bound: 544 1651.78/1651.13 c current bound: 544 1652.63/1652.20 c current bound: 544 1653.71/1653.29 c current bound: 544 1654.77/1654.36 c current bound: 544 1655.86/1655.43 c current bound: 544 1656.94/1656.51 c current bound: 544 1658.03/1657.60 c current bound: 544 1659.11/1658.70 c current bound: 544 1660.21/1659.78 c current bound: 544 1661.29/1660.86 c current bound: 544 1662.36/1661.93 c current bound: 544 1663.44/1663.01 c current bound: 544 1664.51/1664.09 c current bound: 544 1665.58/1665.16 c current bound: 544 1666.67/1666.24 c current bound: 544 1667.74/1667.34 c current bound: 544 1668.84/1668.43 c current bound: 544 1669.94/1669.52 c current bound: 544 1671.01/1670.59 c current bound: 544 1672.10/1671.68 c current bound: 544 1673.16/1672.75 c current bound: 544 1674.25/1673.82 c current bound: 544 1675.32/1674.90 c current bound: 544 1676.69/1676.00 c current bound: 544 1677.50/1677.07 c current bound: 544 1678.56/1678.14 c current bound: 544 1679.65/1679.22 c current bound: 544 1680.76/1680.33 c current bound: 544 1681.85/1681.40 c current bound: 544 1682.93/1682.49 c current bound: 544 1684.02/1683.58 c current bound: 544 1685.10/1684.66 c current bound: 544 1686.17/1685.74 c current bound: 544 1687.26/1686.83 c current bound: 544 1688.34/1687.92 c current bound: 544 1689.43/1689.00 c current bound: 544 1690.51/1690.08 c current bound: 544 1691.60/1691.16 c current bound: 544 1692.67/1692.24 c current bound: 544 1693.75/1693.32 c current bound: 544 1694.83/1694.40 c current bound: 544 1695.91/1695.48 c current bound: 544 1696.99/1696.56 c current bound: 544 1698.10/1697.65 c current bound: 544 1699.17/1698.73 c current bound: 544 1700.25/1699.82 c current bound: 544 1701.32/1700.89 c current bound: 544 1702.40/1701.97 c current bound: 544 1703.69/1703.06 c current bound: 544 1704.79/1704.14 c current bound: 544 1705.89/1705.22 c current bound: 544 1707.00/1706.30 c current bound: 544 1708.00/1707.38 c current bound: 544 1709.10/1708.47 c current bound: 544 1710.19/1709.56 c current bound: 544 1711.28/1710.63 c current bound: 544 1712.41/1711.71 c current bound: 544 1713.41/1712.79 c current bound: 544 1714.51/1713.87 c current bound: 544 1715.61/1714.96 c current bound: 544 1716.70/1716.03 c current bound: 544 1717.81/1717.12 c current bound: 544 1718.90/1718.21 c current bound: 544 1719.74/1719.28 c current bound: 544 1720.83/1720.37 c current bound: 544 1721.91/1721.45 c current bound: 544 1723.00/1722.53 c current bound: 544 1724.06/1723.62 c current bound: 544 1725.16/1724.71 c current bound: 544 1726.23/1725.77 c current bound: 544 1727.30/1726.86 c current bound: 544 1728.42/1727.96 c current bound: 544 1729.49/1729.04 c current bound: 544 1730.56/1730.12 c current bound: 544 1731.93/1731.20 c current bound: 544 1732.72/1732.28 c current bound: 544 1733.82/1733.36 c current bound: 544 1734.90/1734.44 c current bound: 544 1735.97/1735.51 c current bound: 544 1737.04/1736.59 c current bound: 544 1738.14/1737.68 c current bound: 544 1739.20/1738.75 c current bound: 544 1740.29/1739.82 c current bound: 544 1741.62/1740.90 c current bound: 544 1742.44/1741.99 c current bound: 544 1743.53/1743.08 c current bound: 544 1744.61/1744.15 c current bound: 544 1745.69/1745.23 c current bound: 544 1746.77/1746.32 c current bound: 544 1747.84/1747.39 c current bound: 544 1748.91/1748.47 c current bound: 544 1750.00/1749.56 c current bound: 544 1751.10/1750.65 c current bound: 544 1752.17/1751.72 c current bound: 544 1753.24/1752.79 c current bound: 544 1754.32/1753.88 c current bound: 544 1755.39/1754.95 c current bound: 544 1756.48/1756.03 c current bound: 544 1757.56/1757.10 c current bound: 544 1758.63/1758.18 c current bound: 544 1759.71/1759.27 c current bound: 544 1760.79/1760.34 c current bound: 544 1761.87/1761.41 c current bound: 544 1762.94/1762.50 c current bound: 544 1764.21/1763.56 c current bound: 544 1765.30/1764.64 c current bound: 544 1766.42/1765.71 c current bound: 544 1767.40/1766.79 c current bound: 544 1768.51/1767.88 c current bound: 544 1769.62/1768.96 c current bound: 544 1770.73/1770.04 c current bound: 544 1771.82/1771.12 c current bound: 544 1772.82/1772.20 c current bound: 544 1773.91/1773.27 c current bound: 544 1775.02/1774.39 c current bound: 544 1776.13/1775.47 c current bound: 544 1777.23/1776.55 c current bound: 544 1778.32/1777.61 c current bound: 544 1779.44/1778.70 c current bound: 544 1780.25/1779.78 c current bound: 544 1781.32/1780.86 c current bound: 544 1782.40/1781.93 c current bound: 544 1783.75/1783.00 c current bound: 544 1784.56/1784.07 c current bound: 544 1785.63/1785.15 c current bound: 544 1786.72/1786.24 c current bound: 544 1787.79/1787.31 c current bound: 544 1788.86/1788.38 c current bound: 544 1789.95/1789.46 c current bound: 544 1791.02/1790.54 c current bound: 544 1792.10/1791.62 c current bound: 544 1793.46/1792.70 c current bound: 544 1794.27/1793.79 c current bound: 544 1795.35/1794.86 c current bound: 544 1796.44/1795.95 c current bound: 544 1797.51/1797.04 c current bound: 544 1798.59/1798.11 c current bound: 544 1799.66/1799.18 c current bound: 544 1799.97/1799.20 HOME/npSolver-wbo-Itdqb.sh: line 18: 30849 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-3752923-1339204401/watcher-3752923-1339204401 -o /tmp/evaluation-result-3752923-1339204401/solver-3752923-1339204401 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752923-1339204401.wbo 925237825 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: 4.68 3.54 2.79 3/177 30848 /proc/meminfo: memFree=29639656/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [startup+0.018199 s] /proc/loadavg: 4.68 3.54 2.79 3/177 30848 /proc/meminfo: memFree=29639656/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100361 s] /proc/loadavg: 4.68 3.54 2.79 3/177 30848 /proc/meminfo: memFree=29639656/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300303 s] /proc/loadavg: 4.68 3.54 2.79 3/177 30848 /proc/meminfo: memFree=29639656/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700248 s] /proc/loadavg: 4.68 3.54 2.79 3/177 30848 /proc/meminfo: memFree=29639656/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50038 s] /proc/loadavg: 4.54 3.53 2.79 3/185 30879 /proc/meminfo: memFree=29539320/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=1.3 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 6620 21331 0 1 19 4 92 15 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 29804 [startup+3.10038 s] /proc/loadavg: 4.54 3.53 2.79 3/185 30886 /proc/meminfo: memFree=29539800/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=2.39 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 8754 37367 0 1 27 6 177 29 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 2.39 Current children cumulated vsize (KiB) 29804 heavy processes: [startup+6.30033 s] /proc/loadavg: 4.54 3.53 2.79 3/185 30907 /proc/meminfo: memFree=29539708/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=5.65 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 15156 85464 0 1 52 9 432 72 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 5.65 Current children cumulated vsize (KiB) 29804 [startup+12.7003 s] /proc/loadavg: 4.15 3.48 2.79 3/183 30951 /proc/meminfo: memFree=29555064/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=12.1 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 27960 179439 0 1 101 15 938 156 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 12.1 Current children cumulated vsize (KiB) 29804 [startup+25.5004 s] /proc/loadavg: 3.82 3.43 2.78 3/185 31037 /proc/meminfo: memFree=29505832/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=25.1 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 53568 369284 0 1 199 28 1947 336 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 [pid=31036] ppid=30849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31036/stat : 31036 (satsolver.sh) S 30849 30848 30805 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386571209 9367552 265 33554432000 4194304 5064252 140737386714016 140737386712928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31036/statm: 2287 265 226 213 0 72 0 [pid=31037] ppid=31036 vsize=48600 CPUtime=0.34 cores=1,3,5,7 /proc/31037/stat : 31037 (glucose) R 31036 30848 30805 0 -1 4202496 10923 0 0 0 33 1 0 0 20 0 1 0 386571209 49766400 10708 33554432000 4194304 5208918 140736340961344 140737386712952 4211871 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/31037/statm: 12150 10708 95 248 0 11899 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 87552 [startup+51.1004 s] /proc/loadavg: 3.20 3.32 2.76 3/185 31199 /proc/meminfo: memFree=29500292/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=51.06 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 104784 752845 0 1 395 54 3981 676 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 29804 [startup+102.3 s] /proc/loadavg: 2.48 3.09 2.71 3/184 31535 /proc/meminfo: memFree=29481288/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=101.94 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 205082 1492730 0 1 780 105 7980 1329 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 [pid=31534] ppid=30849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/31534/stat : 31534 (satsolver.sh) S 30849 30848 30805 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386578890 9367552 266 33554432000 4194304 5064252 140736296930640 140736296929552 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/31534/statm: 2287 266 226 213 0 72 0 [pid=31535] ppid=31534 vsize=48604 CPUtime=0.34 cores=1,3,5,7 /proc/31535/stat : 31535 (glucose) R 31534 30848 30805 0 -1 4202496 10875 0 0 0 32 2 0 0 20 0 1 0 386578890 49770496 10708 33554432000 4194304 5208918 140734189810176 140736296929576 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/31535/statm: 12151 10708 95 248 0 11900 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 87556 [startup+162.3 s] /proc/loadavg: 2.17 2.89 2.66 3/184 31927 /proc/meminfo: memFree=29498520/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=162.28 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 324586 2378112 0 1 1240 163 12695 2130 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 29804 [startup+222.307 s] /proc/loadavg: 2.06 2.73 2.62 3/184 32322 /proc/meminfo: memFree=29507476/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=222.3 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 441963 3260962 0 1 1693 223 17384 2930 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 [pid=32320] ppid=30849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/32320/stat : 32320 (cp2_post.sh) S 30849 30848 30805 0 -1 4202496 611 224 0 0 0 0 0 0 20 0 1 0 386590908 9367552 266 33554432000 4194304 5064252 140735715808224 140735715806512 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/32320/statm: 2287 266 225 213 0 72 0 [pid=32322] ppid=32320 vsize=10148 CPUtime=0.17 cores=1,3,5,7 /proc/32322/stat : 32322 (coprocessor) R 32320 30848 30805 0 -1 4202496 2561 0 0 0 11 6 0 0 20 0 1 0 386590908 10391552 1707 33554432000 4194304 6586260 140733853844352 140735715806536 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0 /proc/32322/statm: 2537 1707 148 584 0 1949 0 Current children cumulated CPU time (s) 222.47 Current children cumulated vsize (KiB) 49100 [startup+282.3 s] /proc/loadavg: 2.11 2.61 2.58 3/189 32767 /proc/meminfo: memFree=29543432/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=281.75 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 561460 4132156 0 1 2155 283 21995 3742 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 ################ # More data... # ################ Current children cumulated CPU time (s) 1362.44 Current children cumulated vsize (KiB) 29804 [startup+1422.3 s] /proc/loadavg: 1.96 2.02 2.16 4/181 8018 /proc/meminfo: memFree=29561488/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=1422.88 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) R 30848 30848 30805 0 -1 4202496 1905263 20814396 0 1 10882 1353 110775 19278 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652233152 5056727 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 1422.88 Current children cumulated vsize (KiB) 29804 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.15 4/181 8403 /proc/meminfo: memFree=29545004/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=1482.35 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 1966904 21686016 0 1 11336 1408 115437 20054 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 29804 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.14 4/183 8800 /proc/meminfo: memFree=29547004/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=1542.85 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) R 30848 30848 30805 0 -1 4202496 2028659 22569716 0 1 11790 1463 120173 20859 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652233152 4535977 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 1542.85 Current children cumulated vsize (KiB) 29804 ############ # WARNING: # current cumulated CPU time (1574.89 s) is less than in the last sample (1574.89 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.000244141 s) to the 'lost time'. [startup+1574.3 s] /proc/loadavg: 2.00 2.02 2.13 4/183 9008 /proc/meminfo: memFree=29507280/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=1574.19 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 2061424 23031195 0 1 12031 1493 122609 21286 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 [pid=9007] ppid=30849 vsize=0 CPUtime=0.7 cores=1,3,5,7 /proc/9007/stat : 9007 (satsolver.sh) R 30849 30848 30805 0 -1 4202500 605 11242 0 0 0 0 68 2 20 0 1 0 386726054 0 0 33554432000 0 0 0 0 0 0 0 4100 65536 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9007/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1574.89 Current children cumulated vsize (KiB) 29804 [startup+1574.4 s] /proc/loadavg: 2.00 2.02 2.13 4/183 9008 /proc/meminfo: memFree=29507280/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=1574.89 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 2061431 23043042 0 1 12031 1493 122677 21288 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 1574.89 Current children cumulated vsize (KiB) 29804 # ############ [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.13 4/184 9193 /proc/meminfo: memFree=29530168/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=1602.93 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 2090343 23451228 0 1 12244 1519 124859 21671 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 1602.93 Current children cumulated vsize (KiB) 29804 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.12 4/183 9592 /proc/meminfo: memFree=29518988/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=1662.73 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 2152608 24319596 0 1 12703 1574 129514 22482 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 [pid=9591] ppid=30849 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/9591/stat : 9591 (satsolver.sh) S 30849 30848 30805 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386734898 9367552 266 33554432000 4194304 5064252 140735287434704 140735287433616 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/9591/statm: 2287 266 226 213 0 72 0 [pid=9592] ppid=9591 vsize=48604 CPUtime=0.26 cores=1,3,5,7 /proc/9592/stat : 9592 (glucose) R 9591 30848 30805 0 -1 4202496 10547 0 0 0 24 2 0 0 20 0 1 0 386734898 49770496 10984 33554432000 4194304 5208918 140737272493168 140735287433640 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/9592/statm: 12151 10984 95 248 0 11900 0 Current children cumulated CPU time (s) 1662.99 Current children cumulated vsize (KiB) 87556 [startup+1722.3 s] /proc/loadavg: 2.05 2.02 2.11 4/181 9975 /proc/meminfo: memFree=29543064/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=1723 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 2213775 25201662 0 1 13154 1629 134236 23281 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 1723 Current children cumulated vsize (KiB) 29804 [startup+1782.3 s] /proc/loadavg: 2.02 2.01 2.10 4/181 10374 /proc/meminfo: memFree=29557800/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=1782.76 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 2276040 26064756 0 1 13611 1685 138896 24084 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 1782.76 Current children cumulated vsize (KiB) 29804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.2 s] /proc/loadavg: 2.01 2.01 2.10 3/181 10486 /proc/meminfo: memFree=29554452/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=1799.97 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) R 30848 30848 30805 0 -1 4202496 2293314 26318797 0 1 13736 1700 140236 24325 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652233152 4619227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 1799.97 Current children cumulated vsize (KiB) 29804 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1799.2 s] /proc/loadavg: 2.01 2.01 2.10 3/181 10486 /proc/meminfo: memFree=29554452/32873844 swapFree=7372/7372 [pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/30848/statm: 2287 274 233 213 0 72 0 [pid=30849] ppid=30848 vsize=20656 CPUtime=1799.97 cores=1,3,5,7 /proc/30849/stat : 30849 (npSolver-wbo) R 30848 30848 30805 0 -1 4202496 2293314 26318797 0 1 13736 1700 140236 24325 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652233152 4619227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/30849/statm: 5164 4601 176 443 0 4717 0 Current children cumulated CPU time (s) 1799.97 Current children cumulated vsize (KiB) 29804 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.170227 # lost CPU user time (s): 0.0700989 # lost CPU system time (s): 0.0999985 Real time (s): 1799.21 CPU time (s): 1800.15 CPU user time (s): 1539.8 CPU system time (s): 260.356 CPU usage (%): 100.053 Max. virtual memory (cumulated for all children) (KiB): 89228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1539.73 system time used= 260.256 maximum resident set size= 46396 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28612485 page faults= 1 swaps= 0 block input operations= 48 block output operations= 23648224 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 470407 involuntary context switches= 22208 runsolver used 3.22151 second user time and 8.58569 second system time The end
Begin job on node109 at 2012-06-09 03:13:21 IDJOB=3752923 IDBENCH=78980 IDSOLVER=2336 FILE ID=node109/3752923-1339204401 RUNJOBID= node109-1339204401-30822 PBS_JOBID= 14643852 Free space on /tmp= 70480 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797--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-3752923-1339204401/watcher-3752923-1339204401 -o /tmp/evaluation-result-3752923-1339204401/solver-3752923-1339204401 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752923-1339204401.wbo 925237825 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ed627c94e924dd829be1b38440fce2ad RANDOM SEED=925237825 node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29640300 kB Buffers: 1479520 kB Cached: 778016 kB SwapCached: 1336 kB Active: 2252912 kB Inactive: 10880 kB Active(anon): 1412 kB Inactive(anon): 6952 kB Active(file): 2251500 kB Inactive(file): 3928 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67102640 kB Dirty: 20104 kB Writeback: 0 kB AnonPages: 11832 kB Mapped: 8308 kB Shmem: 4 kB Slab: 825860 kB SReclaimable: 265796 kB SUnreclaim: 560064 kB KernelStack: 1392 kB PageTables: 4292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104600 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70676 MiB End job on node109 at 2012-06-09 03:43:20