Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.06 | 1826.12 |
Name | /PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1502_wcsp.wbo |
MD5SUM | 5d88a80efe7697cc210830a3f6a69d8c |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 28042 |
Best CPU time to get the best result obtained on this benchmark | 43.4224 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 622 |
Total number of constraints | 743 |
Number of soft constraints | 534 |
Number of constraints which are clauses | 534 |
Number of constraints which are cardinality constraints (but not clauses) | 209 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 4 |
Top cost | 89201 |
Min constraint cost | 1 |
Max constraint cost | 89201 |
Sum of constraints costs | 29079525 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 5 |
Number of bits of the biggest sum of numbers | 3 |
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.01 c run usual solver 0.00/0.04 o 4549251 0.00/0.04 c starting approximation 0.00/0.04 c factor = 2 0.00/0.04 c factor still to low - shrinking to 14575.8 0.00/0.04 c approx number of clauses: 1e+06 0.00/0.04 c current bound: 2274625 1.17/1.24 c current bound: 2274625 2.37/2.44 c current bound: 2274625 3.55/3.64 c current bound: 2274625 4.55/4.83 c current bound: 2274625 5.75/6.03 c current bound: 2274625 6.93/7.22 c current bound: 2274625 8.13/8.41 c current bound: 2274625 9.32/9.61 c current bound: 2274625 10.51/10.90 c current bound: 2274625 11.70/12.09 c current bound: 2274625 12.91/13.28 c current bound: 2274625 14.27/14.48 c current bound: 2274625 15.46/15.68 c current bound: 2274625 16.48/16.86 c current bound: 2274625 17.67/18.04 c current bound: 2274625 18.87/19.23 c current bound: 2274625 20.05/20.42 c current bound: 2274625 21.24/21.72 c current bound: 2274625 22.43/22.91 c current bound: 2274625 23.63/24.10 c current bound: 2274625 24.81/25.29 c current bound: 2274625 26.01/26.48 c current bound: 2274625 27.37/27.67 c current bound: 2274625 28.57/28.86 c current bound: 2274625 29.58/30.05 c current bound: 2274625 30.77/31.24 c current bound: 2274625 31.95/32.43 c current bound: 2274625 33.14/33.61 c current bound: 2274625 34.33/34.80 c current bound: 2274625 35.53/35.99 c current bound: 2274625 36.71/37.32 c current bound: 2274625 37.89/38.50 c current bound: 2274625 39.06/39.69 c current bound: 2274625 40.43/40.86 c current bound: 2274625 41.62/42.06 c current bound: 2274625 42.63/43.25 c current bound: 2274625 43.82/44.44 c current bound: 2274625 45.01/45.63 c current bound: 2274625 46.20/46.81 c current bound: 2274625 47.39/48.14 c current bound: 2274625 48.57/49.33 c current bound: 2274625 49.76/50.52 c current bound: 2274625 50.96/51.71 c current bound: 2274625 52.39/52.91 c current bound: 2274625 53.57/54.11 c current bound: 2274625 54.68/55.29 c current bound: 2274625 55.71/56.48 c current bound: 2274625 56.91/57.68 c current bound: 2274625 58.11/58.87 c current bound: 2274625 59.31/60.06 c current bound: 2274625 60.49/61.25 c current bound: 2274625 61.68/62.44 c current bound: 2274625 62.86/63.75 c current bound: 2274625 64.04/64.94 c current bound: 2274625 65.44/66.13 c current bound: 2274625 66.66/67.33 c current bound: 2274625 67.85/68.53 c current bound: 2274625 68.82/69.76 c current bound: 2274625 70.03/70.95 c current bound: 2274625 71.22/72.14 c current bound: 2274625 72.42/73.33 c current bound: 2274625 73.60/74.55 c current bound: 2274625 74.80/75.74 c current bound: 2274625 75.98/76.93 c current bound: 2274625 77.16/78.11 c current bound: 2274625 78.58/79.47 c current bound: 2274625 79.56/80.66 c current bound: 2274625 80.74/81.85 c current bound: 2274625 81.91/83.03 c current bound: 2274625 83.11/84.22 c current bound: 2274625 84.31/85.43 c current bound: 2274625 85.49/86.62 c current bound: 2274625 86.67/87.81 c current bound: 2274625 87.87/89.00 c current bound: 2274625 89.06/90.19 c current bound: 2274625 90.25/91.38 c current bound: 2274625 91.60/92.57 c current bound: 2274625 92.81/93.76 c current bound: 2274625 93.81/95.09 c current bound: 2274625 95.00/96.27 c current bound: 2274625 96.19/97.48 c current bound: 2274625 97.38/98.67 c current bound: 2274625 98.58/99.86 c current bound: 2274625 99.78/101.08 c current bound: 2274625 100.96/102.27 c current bound: 2274625 102.16/103.46 c current bound: 2274625 103.54/104.65 c current bound: 2274625 104.73/105.85 c current bound: 2274625 105.92/107.05 c current bound: 2274625 106.92/108.23 c current bound: 2274625 108.12/109.43 c current bound: 2274625 109.31/110.76 c current bound: 2274625 110.51/111.95 c current bound: 2274625 111.68/113.14 c current bound: 2274625 112.89/114.33 c current bound: 2274625 114.06/115.51 c current bound: 2274625 115.49/116.71 c current bound: 2274625 116.59/117.90 c current bound: 2274625 117.78/119.09 c current bound: 2274625 118.83/120.28 c current bound: 2274625 120.02/121.74 c current bound: 2274625 121.22/122.93 c current bound: 2274625 122.41/124.13 c current bound: 2274625 123.59/125.31 c current bound: 2274625 124.77/126.60 c current bound: 2274625 126.12/127.79 c current bound: 2274625 127.31/128.99 c current bound: 2274625 128.35/130.18 c current bound: 2274625 129.55/131.37 c current bound: 2274625 130.74/132.56 c current bound: 2274625 131.93/133.75 c current bound: 2274625 133.12/134.94 c current bound: 2274625 134.31/136.13 c current bound: 2274625 135.49/137.43 c current bound: 2274625 136.68/138.62 c current bound: 2274625 138.09/139.82 c current bound: 2274625 139.31/141.01 c current bound: 2274625 140.50/142.20 c current bound: 2274625 141.45/143.39 c current bound: 2274625 142.63/144.57 c current bound: 2274625 143.82/145.78 c current bound: 2274625 145.04/146.98 c current bound: 2274625 146.48/148.44 c current bound: 2274625 147.41/149.63 c current bound: 2274625 148.83/150.83 c current bound: 2274625 150.03/152.03 c current bound: 2274625 151.24/153.35 c current bound: 2274625 152.20/154.55 c current bound: 2274625 153.39/155.74 c current bound: 2274625 154.59/156.92 c current bound: 2274625 155.78/158.12 c current bound: 2274625 156.96/159.30 c current bound: 2274625 158.14/160.49 c current bound: 2274625 159.33/161.68 c current bound: 2274625 160.53/162.87 c current bound: 2274625 161.93/164.18 c current bound: 2274625 162.89/165.37 c current bound: 2274625 164.07/166.55 c current bound: 2274625 165.25/167.73 c current bound: 2274625 166.44/168.91 c current bound: 2274625 167.62/170.10 c current bound: 2274625 168.81/171.29 c current bound: 2274625 170.00/172.48 c current bound: 2274625 171.20/173.67 c current bound: 2274625 172.39/174.99 c current bound: 2274625 173.73/176.18 c current bound: 2274625 174.93/177.38 c current bound: 2274625 175.96/178.56 c current bound: 2274625 177.15/179.76 c current bound: 2274625 178.36/180.96 c current bound: 2274625 179.55/182.16 c current bound: 2274625 180.75/183.35 c current bound: 2274625 181.94/184.54 c current bound: 2274625 183.13/185.85 c current bound: 2274625 184.32/187.04 c current bound: 2274625 185.72/188.23 c current bound: 2274625 186.91/189.42 c current bound: 2274625 188.11/190.62 c current bound: 2274625 189.10/191.81 c current bound: 2274625 190.29/193.00 c current bound: 2274625 191.49/194.19 c current bound: 2274625 192.68/195.39 c current bound: 2274625 193.86/196.83 c current bound: 2274625 195.04/198.02 c current bound: 2274625 196.47/199.21 c current bound: 2274625 197.67/200.41 c current bound: 2274625 198.86/201.75 c current bound: 2274625 199.81/202.94 c current bound: 2274625 200.99/204.11 c current bound: 2274625 202.41/205.30 c current bound: 2274625 203.34/206.48 c current bound: 2274625 204.53/207.66 c current bound: 2274625 205.72/208.85 c current bound: 2274625 206.91/210.03 c current bound: 2274625 208.09/211.21 c current bound: 2274625 209.53/212.70 c current bound: 2274625 210.48/213.89 c current bound: 2274625 211.66/215.08 c current bound: 2274625 212.86/216.27 c current bound: 2274625 214.05/217.57 c current bound: 2274625 215.23/218.75 c current bound: 2274625 216.42/219.94 c current bound: 2274625 217.62/221.14 c current bound: 2274625 219.01/222.33 c current bound: 2274625 220.21/223.53 c current bound: 2274625 221.40/224.72 c current bound: 2274625 222.39/225.92 c current bound: 2274625 223.59/227.11 c current bound: 2274625 224.78/228.49 c current bound: 2274625 225.96/229.68 c current bound: 2274625 227.15/230.87 c current bound: 2274625 228.35/232.06 c current bound: 2274625 229.54/233.26 c current bound: 2274625 230.89/234.58 c current bound: 2274625 231.93/235.78 c current bound: 2274625 233.14/236.97 c current bound: 2274625 234.33/238.17 c current bound: 2274625 235.52/239.36 c current bound: 2274625 236.71/240.57 c current bound: 2274625 237.93/241.76 c current bound: 2274625 239.12/242.95 c current bound: 2274625 240.31/244.29 c current bound: 2274625 241.66/245.48 c current bound: 2274625 242.87/246.68 c current bound: 2274625 243.90/247.87 c current bound: 2274625 245.07/249.05 c current bound: 2274625 246.26/250.31 c current bound: 2274625 247.70/251.50 c current bound: 2274625 248.64/252.68 c current bound: 2274625 249.82/253.86 c current bound: 2274625 251.25/255.13 c current bound: 2274625 252.19/256.32 c current bound: 2274625 253.63/257.52 c current bound: 2274625 254.82/258.72 c current bound: 2274625 256.02/259.91 c current bound: 2274625 256.98/261.10 c current bound: 2274625 258.17/262.29 c current bound: 2274625 259.36/263.49 c current bound: 2274625 260.56/264.68 c current bound: 2274625 261.74/266.04 c current bound: 2274625 262.94/267.25 c current bound: 2274625 264.15/268.45 c current bound: 2274625 265.55/269.64 c current bound: 2274625 266.75/270.84 c current bound: 2274625 267.95/272.02 c current bound: 2274625 268.92/273.21 c current bound: 2274625 270.11/274.40 c current bound: 2274625 271.31/275.60 c current bound: 2274625 272.77/276.80 c current bound: 2274625 273.71/277.99 c current bound: 2274625 274.89/279.19 c current bound: 2274625 276.09/280.39 c current bound: 2274625 277.55/281.70 c current bound: 2274625 278.63/282.90 c current bound: 2274625 279.84/284.09 c current bound: 2274625 280.88/285.28 c current bound: 2274625 282.06/286.47 c current bound: 2274625 283.25/287.65 c current bound: 2274625 284.44/288.85 c current bound: 2274625 285.64/290.04 c current bound: 2274625 286.83/291.24 c current bound: 2274625 288.04/292.70 c current bound: 2274625 289.37/293.89 c current bound: 2274625 290.58/295.07 c current bound: 2274625 291.59/296.25 c current bound: 2274625 293.02/297.60 c current bound: 2274625 294.21/298.80 c current bound: 2274625 295.13/299.98 c current bound: 2274625 296.33/301.18 c current bound: 2274625 297.54/302.37 c current bound: 2274625 298.72/303.57 c current bound: 2274625 299.92/304.77 c current bound: 2274625 301.30/305.96 c current bound: 2274625 302.50/307.16 c current bound: 2274625 303.51/308.35 c current bound: 2274625 304.69/309.54 c current bound: 2274625 305.89/310.74 c current bound: 2274625 307.09/311.93 c current bound: 2274625 308.28/313.14 c current bound: 2274625 309.49/314.34 c current bound: 2274625 310.68/315.53 c current bound: 2274625 311.87/316.73 c current bound: 2274625 313.08/317.93 c current bound: 2274625 314.48/319.11 c current bound: 2274625 315.59/320.30 c current bound: 2274625 316.78/321.49 c current bound: 2274625 317.82/322.68 c current bound: 2274625 319.01/324.02 c current bound: 2274625 320.20/325.21 c current bound: 2274625 321.39/326.40 c current bound: 2274625 322.59/327.59 c current bound: 2274625 323.77/328.78 c current bound: 2274625 324.96/329.98 c current bound: 2274625 326.15/331.17 c current bound: 2274625 327.51/332.36 c current bound: 2274625 328.71/333.55 c current bound: 2274625 329.89/334.75 c current bound: 2274625 330.90/335.93 c current bound: 2274625 332.09/337.12 c current bound: 2274625 333.51/338.30 c current bound: 2274625 334.70/339.73 c current bound: 2274625 335.64/340.92 c current bound: 2274625 336.83/342.11 c current bound: 2274625 338.25/343.31 c current bound: 2274625 339.44/344.64 c current bound: 2274625 340.41/345.83 c current bound: 2274625 341.60/347.02 c current bound: 2274625 342.79/348.21 c current bound: 2274625 343.98/349.40 c current bound: 2274625 345.17/350.59 c current bound: 2274625 346.36/351.79 c current bound: 2274625 347.55/352.98 c current bound: 2274625 348.75/354.18 c current bound: 2274625 350.17/355.62 c current bound: 2274625 351.12/356.80 c current bound: 2274625 352.57/358.00 c current bound: 2274625 353.51/359.19 c current bound: 2274625 354.69/360.48 c current bound: 2274625 355.88/361.66 c current bound: 2274625 357.07/362.85 c current bound: 2274625 358.26/364.05 c current bound: 2274625 359.47/365.24 c current bound: 2274625 360.85/366.43 c current bound: 2274625 362.05/367.63 c current bound: 2274625 363.25/368.82 c current bound: 2274625 364.23/370.01 c current bound: 2274625 365.68/371.40 c current bound: 2274625 366.61/372.58 c current bound: 2274625 367.80/373.78 c current bound: 2274625 368.98/374.97 c current bound: 2274625 370.16/376.14 c current bound: 2274625 371.34/377.33 c current bound: 2274625 372.74/378.51 c current bound: 2274625 373.86/379.70 c current bound: 2274625 375.05/380.88 c current bound: 2274625 376.08/382.06 c current bound: 2274625 377.28/383.26 c current bound: 2274625 378.46/384.45 c current bound: 2274625 379.65/385.64 c current bound: 2274625 381.09/387.10 c current bound: 2274625 382.28/388.30 c current bound: 2274625 383.23/389.49 c current bound: 2274625 384.58/390.69 c current bound: 2274625 385.87/392.05 c current bound: 2274625 386.83/393.25 c current bound: 2274625 388.03/394.47 c current bound: 2274625 389.23/395.66 c current bound: 2274625 390.43/396.85 c current bound: 2274625 391.62/398.08 c current bound: 2274625 392.83/399.28 c current bound: 2274625 394.01/400.47 c current bound: 2274625 395.40/401.66 c current bound: 2274625 396.59/402.86 c current bound: 2274625 397.61/404.05 c current bound: 2274625 398.80/405.25 c current bound: 2274625 399.99/406.45 c current bound: 2274625 401.19/407.64 c current bound: 2274625 402.38/408.84 c current bound: 2274625 403.58/410.03 c current bound: 2274625 404.78/411.22 c current bound: 2274625 406.23/412.67 c current bound: 2274625 407.36/413.86 c current bound: 2274625 408.37/415.05 c current bound: 2274625 409.55/416.24 c current bound: 2274625 411.01/417.59 c current bound: 2274625 411.95/418.78 c current bound: 2274625 413.14/419.97 c current bound: 2274625 414.33/421.16 c current bound: 2274625 415.52/422.35 c current bound: 2274625 416.72/423.56 c current bound: 2274625 418.09/424.72 c current bound: 2274625 419.29/425.92 c current bound: 2274625 420.49/427.12 c current bound: 2274625 421.46/428.31 c current bound: 2274625 422.64/429.50 c current bound: 2274625 423.85/430.69 c current bound: 2274625 425.05/431.89 c current bound: 2274625 426.23/433.23 c current bound: 2274625 427.43/434.43 c current bound: 2274625 428.62/435.63 c current bound: 2274625 430.05/436.82 c current bound: 2274625 431.25/438.02 c current bound: 2274625 432.41/439.25 c current bound: 2274625 433.42/440.44 c current bound: 2274625 434.62/441.64 c current bound: 2274625 435.81/442.84 c current bound: 2274625 437.01/444.02 c current bound: 2274625 438.19/445.22 c current bound: 2274625 439.39/446.41 c current bound: 2274625 440.59/447.61 c current bound: 2274625 442.02/448.93 c current bound: 2274625 443.20/450.13 c current bound: 2274625 444.40/451.33 c current bound: 2274625 445.39/452.52 c current bound: 2274625 446.58/453.72 c current bound: 2274625 447.76/454.94 c current bound: 2274625 448.96/456.13 c current bound: 2274625 450.15/457.32 c current bound: 2274625 451.35/458.51 c current bound: 2274625 452.55/459.71 c current bound: 2274625 453.98/460.90 c current bound: 2274625 454.92/462.09 c current bound: 2274625 456.29/463.28 c current bound: 2274625 457.55/464.60 c current bound: 2274625 458.49/465.79 c current bound: 2274625 459.68/466.97 c current bound: 2274625 460.86/468.16 c current bound: 2274625 462.06/469.36 c current bound: 2274625 463.26/470.55 c current bound: 2274625 464.44/471.75 c current bound: 2274625 465.64/472.94 c current bound: 2274625 466.84/474.14 c current bound: 2274625 468.27/475.47 c current bound: 2274625 469.22/476.66 c current bound: 2274625 470.43/477.86 c current bound: 2274625 471.61/479.05 c current bound: 2274625 472.82/480.25 c current bound: 2274625 474.02/481.45 c current bound: 2274625 475.20/482.64 c current bound: 2274625 476.39/483.83 c current bound: 2274625 477.58/485.02 c current bound: 2274625 478.77/486.21 c current bound: 2274625 479.95/487.39 c current bound: 2274625 481.30/488.58 c current bound: 2274625 482.51/489.78 c current bound: 2274625 483.52/491.10 c current bound: 2274625 484.70/492.29 c current bound: 2274625 485.89/493.49 c current bound: 2274625 487.09/494.68 c current bound: 2274625 488.29/495.87 c current bound: 2274625 489.49/497.07 c current bound: 2274625 490.69/498.26 c current bound: 2274625 491.88/499.45 c current bound: 2274625 493.27/500.65 c current bound: 2274625 494.46/501.84 c current bound: 2274625 495.65/503.03 c current bound: 2274625 496.63/504.22 c current bound: 2274625 497.82/505.41 c current bound: 2274625 499.01/506.73 c current bound: 2274625 500.20/507.91 c current bound: 2274625 501.37/509.09 c current bound: 2274625 502.57/510.28 c current bound: 2274625 503.76/511.46 c current bound: 2274625 504.95/512.65 c current bound: 2274625 506.34/513.84 c current bound: 2274625 507.54/515.04 c current bound: 2274625 508.72/516.23 c current bound: 2274625 509.71/517.65 c current bound: 2274625 510.91/518.85 c current bound: 2274625 512.11/520.04 c current bound: 2274625 513.29/521.23 c current bound: 2274625 514.48/522.42 c current bound: 2274625 515.67/523.62 c current bound: 2274625 517.10/524.82 c current bound: 2274625 518.30/526.01 c current bound: 2274625 519.49/527.21 c current bound: 2274625 520.46/528.40 c current bound: 2274625 521.91/529.60 c current bound: 2274625 522.84/530.79 c current bound: 2274625 524.05/531.99 c current bound: 2274625 525.50/533.41 c current bound: 2274625 526.44/534.61 c current bound: 2274625 527.88/535.81 c current bound: 2274625 529.09/537.01 c current bound: 2274625 530.30/538.32 c current bound: 2274625 531.24/539.52 c current bound: 2274625 532.45/540.71 c current bound: 2274625 533.64/541.92 c current bound: 2274625 534.85/543.11 c current bound: 2274625 536.05/544.33 c current bound: 2274625 537.23/545.51 c current bound: 2274625 538.40/546.69 c current bound: 2274625 539.59/547.88 c current bound: 2274625 540.96/549.07 c current bound: 2274625 542.14/550.26 c current bound: 2274625 543.35/551.44 c current bound: 2274625 544.34/552.63 c current bound: 2274625 545.53/553.93 c current bound: 2274625 546.70/555.12 c current bound: 2274625 547.90/556.32 c current bound: 2274625 549.09/557.50 c current bound: 2274625 550.29/558.69 c current bound: 2274625 551.48/559.89 c current bound: 2274625 552.67/561.08 c current bound: 2274625 554.04/562.27 c current bound: 2274625 555.23/563.46 c current bound: 2274625 556.50/564.90 c current bound: 2274625 557.43/566.09 c current bound: 2274625 558.63/567.27 c current bound: 2274625 559.81/568.47 c current bound: 2274625 561.25/569.78 c current bound: 2274625 562.20/570.97 c current bound: 2274625 563.57/572.17 c current bound: 2274625 564.77/573.36 c current bound: 2274625 565.79/574.56 c current bound: 2274625 566.98/575.76 c current bound: 2274625 568.19/576.95 c current bound: 2274625 569.39/578.14 c current bound: 2274625 570.57/579.33 c current bound: 2274625 571.75/580.77 c current bound: 2274625 572.94/581.96 c current bound: 2274625 574.31/583.15 c current bound: 2274625 575.51/584.35 c current bound: 2274625 576.74/585.70 c current bound: 2274625 577.68/586.88 c current bound: 2274625 578.88/588.06 c current bound: 2274625 580.07/589.24 c current bound: 2274625 581.24/590.43 c current bound: 2274625 582.44/591.62 c current bound: 2274625 583.87/592.80 c current bound: 2274625 584.80/593.99 c current bound: 2274625 586.00/595.18 c current bound: 2274625 587.42/596.47 c current bound: 2274625 588.38/597.66 c current bound: 2274625 589.57/598.85 c current bound: 2274625 590.77/600.05 c current bound: 2274625 591.96/601.24 c current bound: 2274625 593.14/602.43 c current bound: 2274625 594.33/603.62 c current bound: 2274625 595.52/604.80 c current bound: 2274625 596.95/606.00 c current bound: 2274625 598.15/607.41 c current bound: 2274625 599.32/608.60 c current bound: 2274625 600.28/609.79 c current bound: 2274625 601.47/610.99 c current bound: 2274625 602.67/612.18 c current bound: 2274625 603.86/613.38 c current bound: 2274625 605.05/614.57 c current bound: 2274625 606.23/615.77 c current bound: 2274625 607.44/616.96 c current bound: 2274625 608.64/618.16 c current bound: 2274625 609.84/619.37 c current bound: 2274625 611.22/620.56 c current bound: 2274625 612.41/621.75 c current bound: 2274625 613.66/623.19 c current bound: 2274625 614.60/624.38 c current bound: 2274625 615.79/625.56 c current bound: 2274625 616.98/626.75 c current bound: 2274625 618.18/628.09 c current bound: 2274625 619.38/629.27 c current bound: 2274625 620.74/630.46 c current bound: 2274625 621.94/631.65 c current bound: 2274625 623.14/632.84 c current bound: 2274625 624.12/634.02 c current bound: 2274625 625.30/635.21 c current bound: 2274625 626.75/636.40 c current bound: 2274625 627.69/637.59 c current bound: 2274625 628.86/638.93 c current bound: 2274625 630.06/640.12 c current bound: 2274625 631.24/641.31 c current bound: 2274625 632.68/642.51 c current bound: 2274625 633.79/643.70 c current bound: 2274625 635.04/644.93 c current bound: 2274625 636.02/646.12 c current bound: 2274625 637.21/647.31 c current bound: 2274625 638.65/648.50 c current bound: 2274625 639.58/649.68 c current bound: 2274625 640.78/650.87 c current bound: 2274625 641.97/652.07 c current bound: 2274625 643.16/653.26 c current bound: 2274625 644.59/654.70 c current bound: 2274625 645.68/655.89 c current bound: 2274625 646.73/657.08 c current bound: 2274625 647.93/658.27 c current bound: 2274625 649.12/659.60 c current bound: 2274625 650.31/660.79 c current bound: 2274625 651.49/661.97 c current bound: 2274625 652.68/663.17 c current bound: 2274625 653.87/664.36 c current bound: 2274625 655.06/665.55 c current bound: 2274625 656.47/666.74 c current bound: 2274625 657.66/667.94 c current bound: 2274625 658.85/669.14 c current bound: 2274625 659.85/670.47 c current bound: 2274625 661.03/671.65 c current bound: 2274625 662.22/672.84 c current bound: 2274625 663.41/674.03 c current bound: 2274625 664.58/675.21 c current bound: 2274625 665.78/676.40 c current bound: 2274625 666.97/677.59 c current bound: 2274625 668.15/678.78 c current bound: 2274625 669.51/679.97 c current bound: 2274625 670.78/681.26 c current bound: 2274625 671.72/682.45 c current bound: 2274625 672.91/683.64 c current bound: 2274625 674.10/684.83 c current bound: 2274625 675.30/686.02 c current bound: 2274625 676.49/687.21 c current bound: 2274625 677.68/688.40 c current bound: 2274625 678.88/689.59 c current bound: 2274625 680.07/690.79 c current bound: 2274625 681.50/692.11 c current bound: 2274625 682.67/693.30 c current bound: 2274625 683.63/694.49 c current bound: 2274625 684.83/695.68 c current bound: 2274625 686.02/696.87 c current bound: 2274625 687.21/698.06 c current bound: 2274625 688.41/699.25 c current bound: 2274625 689.60/700.45 c current bound: 2274625 690.80/701.65 c current bound: 2274625 692.24/703.08 c current bound: 2274625 693.34/704.27 c current bound: 2274625 694.37/705.46 c current bound: 2274625 695.56/706.65 c current bound: 2274625 696.75/707.98 c current bound: 2274625 697.92/709.16 c current bound: 2274625 699.11/710.35 c current bound: 2274625 700.31/711.54 c current bound: 2274625 701.49/712.73 c current bound: 2274625 702.68/713.92 c current bound: 2274625 704.11/715.11 c current bound: 2274625 705.21/716.30 c current bound: 2274625 706.40/717.49 c current bound: 2274625 707.44/718.78 c current bound: 2274625 708.61/719.96 c current bound: 2274625 709.79/721.14 c current bound: 2274625 710.99/722.33 c current bound: 2274625 712.17/723.51 c current bound: 2274625 713.37/724.73 c current bound: 2274625 714.56/725.92 c current bound: 2274625 715.76/727.12 c current bound: 2274625 717.18/728.31 c current bound: 2274625 718.38/729.61 c current bound: 2274625 719.33/730.79 c current bound: 2274625 720.52/731.98 c current bound: 2274625 721.70/733.17 c current bound: 2274625 722.90/734.36 c current bound: 2274625 724.10/735.56 c current bound: 2274625 725.29/736.75 c current bound: 2274625 726.48/737.94 c current bound: 2274625 727.67/739.13 c current bound: 2274625 729.12/740.50 c current bound: 2274625 730.31/741.70 c current bound: 2274625 731.24/742.89 c current bound: 2274625 732.43/744.08 c current bound: 2274625 733.62/745.27 c current bound: 2274625 734.81/746.47 c current bound: 2274625 736.02/747.66 c current bound: 2274625 737.23/748.86 c current bound: 2274625 738.42/750.05 c current bound: 2274625 739.62/751.24 c current bound: 2274625 740.78/752.43 c current bound: 2274625 742.21/753.62 c current bound: 2274625 743.40/754.81 c current bound: 2274625 744.63/756.15 c current bound: 2274625 745.57/757.35 c current bound: 2274625 746.76/758.53 c current bound: 2274625 747.96/759.72 c current bound: 2274625 749.14/760.91 c current bound: 2274625 750.59/762.10 c current bound: 2274625 751.51/763.28 c current bound: 2274625 752.72/764.49 c current bound: 2274625 753.91/765.68 c current bound: 2274625 755.34/767.12 c current bound: 2274625 756.29/768.31 c current bound: 2274625 757.49/769.51 c current bound: 2274625 758.69/770.71 c current bound: 2274625 759.88/772.05 c current bound: 2274625 761.09/773.24 c current bound: 2274625 762.27/774.43 c current bound: 2274625 763.69/775.63 c current bound: 2274625 764.89/776.82 c current bound: 2274625 766.04/778.05 c current bound: 2274625 767.05/779.24 c current bound: 2274625 768.24/780.44 c current bound: 2274625 769.45/781.64 c current bound: 2274625 770.65/782.84 c current bound: 2274625 771.85/784.03 c current bound: 2274625 773.04/785.22 c current bound: 2274625 774.23/786.42 c current bound: 2274625 775.69/787.75 c current bound: 2274625 776.83/788.94 c current bound: 2274625 778.02/790.14 c current bound: 2274625 779.00/791.34 c current bound: 2274625 780.21/792.53 c current bound: 2274625 781.41/793.74 c current bound: 2274625 782.60/794.94 c current bound: 2274625 783.80/796.13 c current bound: 2274625 785.00/797.33 c current bound: 2274625 786.19/798.53 c current bound: 2274625 787.39/799.72 c current bound: 2274625 788.82/800.92 c current bound: 2274625 790.03/802.11 c current bound: 2274625 791.20/803.35 c current bound: 2274625 792.16/804.54 c current bound: 2274625 793.35/805.72 c current bound: 2274625 794.54/806.91 c current bound: 2274625 795.72/808.10 c current bound: 2274625 796.92/809.37 c current bound: 2274625 798.11/810.57 c current bound: 2274625 799.31/811.76 c current bound: 2274625 800.50/812.97 c current bound: 2274625 801.89/814.16 c current bound: 2274625 803.10/815.35 c current bound: 2274625 804.29/816.55 c current bound: 2274625 805.29/817.74 c current bound: 2274625 806.48/818.94 c current bound: 2274625 807.67/820.12 c current bound: 2274625 808.88/821.32 c current bound: 2274625 810.06/822.52 c current bound: 2274625 811.27/823.71 c current bound: 2274625 812.72/825.14 c current bound: 2274625 813.85/826.34 c current bound: 2274625 815.04/827.53 c current bound: 2274625 816.03/828.72 c current bound: 2274625 817.48/830.12 c current bound: 2274625 818.41/831.31 c current bound: 2274625 819.85/832.50 c current bound: 2274625 820.79/833.69 c current bound: 2274625 821.99/834.88 c current bound: 2274625 823.18/836.08 c current bound: 2274625 824.55/837.28 c current bound: 2274625 825.75/838.48 c current bound: 2274625 826.77/839.68 c current bound: 2274625 827.97/840.86 c current bound: 2274625 829.16/842.04 c current bound: 2274625 830.34/843.23 c current bound: 2274625 831.53/844.41 c current bound: 2274625 832.70/845.76 c current bound: 2274625 833.89/846.93 c current bound: 2274625 835.06/848.10 c current bound: 2274625 836.24/849.28 c current bound: 2274625 837.61/850.47 c current bound: 2274625 838.81/851.66 c current bound: 2274625 839.99/852.85 c current bound: 2274625 841.00/854.04 c current bound: 2274625 842.18/855.23 c current bound: 2274625 843.38/856.66 c current bound: 2274625 844.58/857.85 c current bound: 2274625 845.76/859.05 c current bound: 2274625 846.97/860.25 c current bound: 2274625 848.40/861.57 c current bound: 2274625 849.37/862.76 c current bound: 2274625 850.56/863.96 c current bound: 2274625 851.76/865.15 c current bound: 2274625 852.94/866.34 c current bound: 2274625 854.13/867.53 c current bound: 2274625 855.33/868.73 c current bound: 2274625 856.53/869.93 c current bound: 2274625 857.73/871.13 c current bound: 2274625 859.18/872.60 c current bound: 2274625 860.37/873.80 c current bound: 2274625 861.31/874.99 c current bound: 2274625 862.50/876.18 c current bound: 2274625 863.96/877.54 c current bound: 2274625 864.90/878.74 c current bound: 2274625 866.11/879.94 c current bound: 2274625 867.31/881.13 c current bound: 2274625 868.71/882.32 c current bound: 2274625 869.91/883.52 c current bound: 2274625 871.09/884.70 c current bound: 2274625 872.07/885.90 c current bound: 2274625 873.26/887.09 c current bound: 2274625 874.45/888.28 c current bound: 2274625 875.64/889.46 c current bound: 2274625 876.83/890.64 c current bound: 2274625 878.01/891.83 c current bound: 2274625 879.46/893.13 c current bound: 2274625 880.39/894.33 c current bound: 2274625 881.82/895.52 c current bound: 2274625 883.00/896.71 c current bound: 2274625 884.21/897.90 c current bound: 2274625 885.14/899.08 c current bound: 2274625 886.33/900.28 c current bound: 2274625 887.53/901.47 c current bound: 2274625 888.73/902.67 c current bound: 2274625 889.92/904.13 c current bound: 2274625 891.12/905.34 c current bound: 2274625 892.53/906.53 c current bound: 2274625 893.73/907.79 c current bound: 2274625 894.70/909.16 c current bound: 2274625 895.90/910.35 c current bound: 2274625 897.09/911.54 c current bound: 2274625 898.29/912.73 c current bound: 2274625 899.48/913.93 c current bound: 2274625 900.68/915.15 c current bound: 2274625 901.88/916.35 c current bound: 2274625 903.27/917.54 c current bound: 2274625 904.47/918.74 c current bound: 2274625 905.67/919.94 c current bound: 2274625 906.66/921.13 c current bound: 2274625 907.86/922.33 c current bound: 2274625 909.05/923.52 c current bound: 2274625 910.52/924.87 c current bound: 2274625 911.44/926.07 c current bound: 2274625 912.63/927.26 c current bound: 2274625 913.83/928.45 c current bound: 2274625 915.23/929.63 c current bound: 2274625 916.40/930.85 c current bound: 2274625 917.59/932.04 c current bound: 2274625 918.58/933.22 c current bound: 2274625 919.79/934.41 c current bound: 2274625 920.97/935.60 c current bound: 2274625 922.15/936.78 c current bound: 2274625 923.33/937.98 c current bound: 2274625 924.53/939.17 c current bound: 2274625 925.72/940.48 c current bound: 2274625 926.92/941.68 c current bound: 2274625 928.30/942.88 c current bound: 2274625 929.48/944.07 c current bound: 2274625 930.50/945.26 c current bound: 2274625 931.70/946.46 c current bound: 2274625 932.90/947.66 c current bound: 2274625 934.09/948.85 c current bound: 2274625 935.29/950.05 c current bound: 2274625 936.48/951.35 c current bound: 2274625 937.67/952.55 c current bound: 2274625 938.87/953.74 c current bound: 2274625 940.27/954.95 c current bound: 2274625 941.47/956.15 c current bound: 2274625 942.68/957.35 c current bound: 2274625 943.67/958.54 c current bound: 2274625 944.88/959.74 c current bound: 2274625 946.06/960.93 c current bound: 2274625 947.26/962.12 c current bound: 2274625 948.45/963.31 c current bound: 2274625 949.63/964.50 c current bound: 2274625 950.83/965.70 c current bound: 2274625 952.28/967.02 c current bound: 2274625 953.46/968.22 c current bound: 2274625 954.64/969.41 c current bound: 2274625 955.61/970.59 c current bound: 2274625 956.80/971.78 c current bound: 2274625 957.99/973.00 c current bound: 2274625 959.19/974.19 c current bound: 2274625 960.37/975.38 c current bound: 2274625 961.57/976.57 c current bound: 2274625 962.75/977.76 c current bound: 2274625 963.95/978.95 c current bound: 2274625 965.14/980.15 c current bound: 2274625 966.55/981.34 c current bound: 2274625 967.78/982.69 c current bound: 2274625 968.72/983.89 c current bound: 2274625 969.92/985.09 c current bound: 2274625 971.13/986.28 c current bound: 2274625 972.32/987.48 c current bound: 2274625 973.51/988.69 c current bound: 2274625 974.71/989.89 c current bound: 2274625 975.89/991.08 c current bound: 2274625 977.09/992.27 c current bound: 2274625 978.46/993.47 c current bound: 2274625 979.67/994.67 c current bound: 2274625 980.70/995.87 c current bound: 2274625 981.88/997.06 c current bound: 2274625 983.07/998.40 c current bound: 2274625 984.27/999.59 c current bound: 2274625 985.46/1000.79 c current bound: 2274625 986.65/1001.98 c current bound: 2274625 987.85/1003.18 c current bound: 2274625 989.31/1004.40 c current bound: 2274625 990.40/1005.60 c current bound: 2274625 991.71/1006.80 c current bound: 2274625 992.64/1007.99 c current bound: 2274625 993.84/1009.18 c current bound: 2274625 995.03/1010.38 c current bound: 2274625 996.22/1011.57 c current bound: 2274625 997.42/1012.76 c current bound: 2274625 998.61/1014.11 c current bound: 2274625 999.80/1015.30 c current bound: 2274625 1000.99/1016.50 c current bound: 2274625 1002.33/1017.69 c current bound: 2274625 1003.55/1018.86 c current bound: 2274625 1004.75/1020.04 c current bound: 2274625 1005.74/1021.24 c current bound: 2274625 1006.94/1022.43 c current bound: 2274625 1008.14/1023.63 c current bound: 2274625 1009.58/1024.96 c current bound: 2274625 1010.53/1026.16 c current bound: 2274625 1011.70/1027.36 c current bound: 2274625 1012.91/1028.55 c current bound: 2274625 1014.29/1029.73 c current bound: 2274625 1015.49/1030.93 c current bound: 2274625 1016.70/1032.13 c current bound: 2274625 1017.69/1033.32 c current bound: 2274625 1018.87/1034.53 c current bound: 2274625 1020.08/1035.73 c current bound: 2274625 1021.28/1036.93 c current bound: 2274625 1022.47/1038.12 c current bound: 2274625 1023.67/1039.32 c current bound: 2274625 1024.86/1040.66 c current bound: 2274625 1026.25/1041.86 c current bound: 2274625 1027.46/1043.05 c current bound: 2274625 1028.64/1044.25 c current bound: 2274625 1029.66/1045.45 c current bound: 2274625 1030.85/1046.66 c current bound: 2274625 1032.05/1047.86 c current bound: 2274625 1033.25/1049.05 c current bound: 2274625 1034.44/1050.24 c current bound: 2274625 1035.64/1051.43 c current bound: 2274625 1036.81/1052.62 c current bound: 2274625 1038.02/1053.81 c current bound: 2274625 1039.43/1055.02 c current bound: 2274625 1040.63/1056.32 c current bound: 2274625 1041.59/1057.51 c current bound: 2274625 1043.03/1058.70 c current bound: 2274625 1043.98/1059.89 c current bound: 2274625 1045.17/1061.07 c current bound: 2274625 1046.35/1062.26 c current bound: 2274625 1047.53/1063.45 c current bound: 2274625 1048.73/1064.64 c current bound: 2274625 1049.92/1065.84 c current bound: 2274625 1051.37/1067.28 c current bound: 2274625 1052.31/1068.46 c current bound: 2274625 1053.50/1069.65 c current bound: 2274625 1054.70/1070.85 c current bound: 2274625 1055.87/1072.04 c current bound: 2274625 1057.07/1073.23 c current bound: 2274625 1058.28/1074.43 c current bound: 2274625 1059.47/1075.62 c current bound: 2274625 1060.67/1076.82 c current bound: 2274625 1061.88/1078.01 c current bound: 2274625 1063.30/1079.23 c current bound: 2274625 1064.50/1080.42 c current bound: 2274625 1065.70/1081.61 c current bound: 2274625 1066.91/1083.00 c current bound: 2274625 1067.86/1084.19 c current bound: 2274625 1069.05/1085.40 c current bound: 2274625 1070.25/1086.59 c current bound: 2274625 1071.44/1087.79 c current bound: 2274625 1072.64/1088.98 c current bound: 2274625 1073.84/1090.18 c current bound: 2274625 1075.20/1091.37 c current bound: 2274625 1076.40/1092.58 c current bound: 2274625 1077.44/1093.78 c current bound: 2274625 1078.63/1094.98 c current bound: 2274625 1079.83/1096.17 c current bound: 2274625 1081.02/1097.37 c current bound: 2274625 1082.23/1098.73 c current bound: 2274625 1083.42/1099.91 c current bound: 2274625 1084.60/1101.09 c current bound: 2274625 1085.80/1102.29 c current bound: 2274625 1087.15/1103.47 c current bound: 2274625 1088.35/1104.66 c current bound: 2274625 1089.55/1105.85 c current bound: 2274625 1090.55/1107.03 c current bound: 2274625 1091.73/1108.22 c current bound: 2274625 1092.93/1109.57 c current bound: 2274625 1094.13/1110.76 c current bound: 2274625 1095.33/1111.96 c current bound: 2274625 1096.52/1113.16 c current bound: 2274625 1097.72/1114.35 c current bound: 2274625 1099.12/1115.55 c current bound: 2274625 1100.32/1116.74 c current bound: 2274625 1101.53/1117.93 c current bound: 2274625 1102.50/1119.13 c current bound: 2274625 1103.70/1120.32 c current bound: 2274625 1104.90/1121.51 c current bound: 2274625 1106.08/1122.71 c current bound: 2274625 1107.28/1123.90 c current bound: 2274625 1108.73/1125.36 c current bound: 2274625 1109.87/1126.55 c current bound: 2274625 1111.07/1127.74 c current bound: 2274625 1112.25/1128.93 c current bound: 2274625 1113.24/1130.25 c current bound: 2274625 1114.43/1131.45 c current bound: 2274625 1115.63/1132.64 c current bound: 2274625 1116.83/1133.84 c current bound: 2274625 1118.04/1135.04 c current bound: 2274625 1119.23/1136.26 c current bound: 2274625 1120.43/1137.45 c current bound: 2274625 1121.82/1138.64 c current bound: 2274625 1123.01/1139.83 c current bound: 2274625 1124.21/1141.04 c current bound: 2274625 1125.20/1142.23 c current bound: 2274625 1126.40/1143.43 c current bound: 2274625 1127.60/1144.62 c current bound: 2274625 1129.04/1145.97 c current bound: 2274625 1129.96/1147.15 c current bound: 2274625 1131.16/1148.34 c current bound: 2274625 1132.34/1149.53 c current bound: 2274625 1133.75/1150.73 c current bound: 2274625 1134.96/1151.93 c current bound: 2274625 1136.15/1153.13 c current bound: 2274625 1137.13/1154.32 c current bound: 2274625 1138.33/1155.52 c current bound: 2274625 1139.54/1156.72 c current bound: 2274625 1140.74/1157.91 c current bound: 2274625 1142.17/1159.10 c current bound: 2274625 1143.12/1160.29 c current bound: 2274625 1144.31/1161.62 c current bound: 2274625 1145.74/1162.82 c current bound: 2274625 1146.94/1164.01 c current bound: 2274625 1148.14/1165.21 c current bound: 2274625 1149.11/1166.41 c current bound: 2274625 1150.31/1167.63 c current bound: 2274625 1151.49/1168.82 c current bound: 2274625 1152.69/1170.02 c current bound: 2274625 1153.89/1171.21 c current bound: 2274625 1155.09/1172.41 c current bound: 2274625 1156.28/1173.61 c current bound: 2274625 1157.48/1174.81 c current bound: 2274625 1158.94/1176.00 c current bound: 2274625 1160.03/1177.19 c current bound: 2274625 1161.23/1178.39 c current bound: 2274625 1162.26/1179.58 c current bound: 2274625 1163.45/1180.77 c current bound: 2274625 1164.90/1182.22 c current bound: 2274625 1165.83/1183.41 c current bound: 2274625 1167.04/1184.61 c current bound: 2274625 1168.23/1185.80 c current bound: 2274625 1169.66/1187.14 c current bound: 2274625 1170.83/1188.33 c current bound: 2274625 1171.80/1189.52 c current bound: 2274625 1172.98/1190.71 c current bound: 2274625 1174.42/1191.90 c current bound: 2274625 1175.36/1193.09 c current bound: 2274625 1176.57/1194.29 c current bound: 2274625 1177.75/1195.48 c current bound: 2274625 1178.95/1196.67 c current bound: 2274625 1180.38/1198.15 c current bound: 2274625 1181.52/1199.34 c current bound: 2274625 1182.52/1200.53 c current bound: 2274625 1183.73/1201.73 c current bound: 2274625 1184.92/1203.04 c current bound: 2274625 1186.11/1204.24 c current bound: 2274625 1187.30/1205.43 c current bound: 2274625 1188.51/1206.62 c current bound: 2274625 1189.70/1207.82 c current bound: 2274625 1191.11/1209.01 c current bound: 2274625 1192.33/1210.21 c current bound: 2274625 1193.54/1211.40 c current bound: 2274625 1194.48/1212.59 c current bound: 2274625 1195.67/1213.92 c current bound: 2274625 1196.87/1215.12 c current bound: 2274625 1198.06/1216.32 c current bound: 2274625 1199.26/1217.52 c current bound: 2274625 1200.47/1218.72 c current bound: 2274625 1201.66/1219.91 c current bound: 2274625 1203.10/1221.11 c current bound: 2274625 1204.29/1222.31 c current bound: 2274625 1205.48/1223.51 c current bound: 2274625 1206.45/1224.71 c current bound: 2274625 1207.65/1225.90 c current bound: 2274625 1208.84/1227.09 c current bound: 2274625 1210.03/1228.28 c current bound: 2274625 1211.23/1229.65 c current bound: 2274625 1212.41/1230.83 c current bound: 2274625 1213.60/1232.02 c current bound: 2274625 1214.79/1233.20 c current bound: 2274625 1216.12/1234.39 c current bound: 2274625 1217.32/1235.59 c current bound: 2274625 1218.36/1236.79 c current bound: 2274625 1219.56/1237.98 c current bound: 2274625 1220.75/1239.16 c current bound: 2274625 1221.93/1240.35 c current bound: 2274625 1223.13/1241.55 c current bound: 2274625 1224.31/1242.74 c current bound: 2274625 1225.51/1243.93 c current bound: 2274625 1226.70/1245.27 c current bound: 2274625 1228.08/1246.46 c current bound: 2274625 1229.29/1247.65 c current bound: 2274625 1230.47/1248.85 c current bound: 2274625 1231.48/1250.05 c current bound: 2274625 1232.68/1251.28 c current bound: 2274625 1233.87/1252.47 c current bound: 2274625 1235.07/1253.66 c current bound: 2274625 1236.25/1254.84 c current bound: 2274625 1237.44/1256.03 c current bound: 2274625 1238.62/1257.22 c current bound: 2274625 1239.83/1258.42 c current bound: 2274625 1241.24/1259.62 c current bound: 2274625 1242.48/1260.91 c current bound: 2274625 1243.40/1262.10 c current bound: 2274625 1244.61/1263.30 c current bound: 2274625 1245.80/1264.50 c current bound: 2274625 1247.00/1265.69 c current bound: 2274625 1248.19/1266.88 c current bound: 2274625 1249.38/1268.07 c current bound: 2274625 1250.57/1269.27 c current bound: 2274625 1251.76/1270.46 c current bound: 2274625 1253.22/1271.90 c current bound: 2274625 1254.17/1273.09 c current bound: 2274625 1255.34/1274.28 c current bound: 2274625 1256.55/1275.47 c current bound: 2274625 1257.72/1276.65 c current bound: 2274625 1258.92/1277.84 c current bound: 2274625 1260.11/1279.03 c current bound: 2274625 1261.29/1280.21 c current bound: 2274625 1262.71/1281.40 c current bound: 2274625 1263.66/1282.59 c current bound: 2274625 1264.85/1283.78 c current bound: 2274625 1266.21/1284.97 c current bound: 2274625 1267.41/1286.17 c current bound: 2274625 1268.43/1287.51 c current bound: 2274625 1269.61/1288.70 c current bound: 2274625 1270.81/1289.89 c current bound: 2274625 1272.00/1291.09 c current bound: 2274625 1273.18/1292.27 c current bound: 2274625 1274.38/1293.46 c current bound: 2274625 1275.56/1294.66 c current bound: 2274625 1276.76/1295.84 c current bound: 2274625 1278.14/1297.03 c current bound: 2274625 1279.37/1298.23 c current bound: 2274625 1280.54/1299.42 c current bound: 2274625 1281.52/1300.61 c current bound: 2274625 1282.69/1301.79 c current bound: 2274625 1283.89/1303.12 c current bound: 2274625 1285.08/1304.32 c current bound: 2274625 1286.28/1305.51 c current bound: 2274625 1287.46/1306.71 c current bound: 2274625 1288.65/1307.89 c current bound: 2274625 1290.06/1309.11 c current bound: 2274625 1291.26/1310.31 c current bound: 2274625 1292.46/1311.50 c current bound: 2274625 1293.42/1312.69 c current bound: 2274625 1294.60/1313.88 c current bound: 2274625 1295.80/1315.07 c current bound: 2274625 1296.97/1316.26 c current bound: 2274625 1298.16/1317.45 c current bound: 2274625 1299.34/1318.78 c current bound: 2274625 1300.53/1319.97 c current bound: 2274625 1301.73/1321.16 c current bound: 2274625 1303.10/1322.36 c current bound: 2274625 1304.30/1323.55 c current bound: 2274625 1305.31/1324.77 c current bound: 2274625 1306.49/1325.97 c current bound: 2274625 1307.68/1327.15 c current bound: 2274625 1308.88/1328.34 c current bound: 2274625 1310.07/1329.53 c current bound: 2274625 1311.26/1330.73 c current bound: 2274625 1312.45/1331.91 c current bound: 2274625 1313.64/1333.10 c current bound: 2274625 1315.06/1334.41 c current bound: 2274625 1316.16/1335.60 c current bound: 2274625 1317.36/1336.79 c current bound: 2274625 1318.39/1337.98 c current bound: 2274625 1319.59/1339.17 c current bound: 2274625 1320.78/1340.36 c current bound: 2274625 1321.98/1341.56 c current bound: 2274625 1323.17/1342.75 c current bound: 2274625 1324.36/1343.94 c current bound: 2274625 1325.53/1345.28 c current bound: 2274625 1326.71/1346.47 c current bound: 2274625 1328.09/1347.66 c current bound: 2274625 1329.29/1348.86 c current bound: 2274625 1330.28/1350.05 c current bound: 2274625 1331.48/1351.25 c current bound: 2274625 1332.67/1352.44 c current bound: 2274625 1333.86/1353.63 c current bound: 2274625 1335.06/1354.82 c current bound: 2274625 1336.25/1356.01 c current bound: 2274625 1337.69/1357.20 c current bound: 2274625 1338.62/1358.39 c current bound: 2274625 1339.83/1359.58 c current bound: 2274625 1341.25/1360.89 c current bound: 2274625 1342.36/1362.07 c current bound: 2274625 1343.55/1363.25 c current bound: 2274625 1344.54/1364.43 c current bound: 2274625 1345.74/1365.62 c current bound: 2274625 1346.93/1366.82 c current bound: 2274625 1348.13/1368.01 c current bound: 2274625 1349.32/1369.20 c current bound: 2274625 1350.77/1370.40 c current bound: 2274625 1351.97/1371.84 c current bound: 2274625 1353.10/1373.04 c current bound: 2274625 1354.30/1374.23 c current bound: 2274625 1355.29/1375.43 c current bound: 2274625 1356.74/1376.76 c current bound: 2274625 1357.69/1377.95 c current bound: 2274625 1358.87/1379.14 c current bound: 2274625 1360.07/1380.33 c current bound: 2274625 1361.27/1381.53 c current bound: 2274625 1362.46/1382.73 c current bound: 2274625 1363.89/1383.92 c current bound: 2274625 1365.08/1385.13 c current bound: 2274625 1366.28/1386.32 c current bound: 2274625 1367.24/1387.87 c current bound: 2274625 1368.45/1389.07 c current bound: 2274625 1369.63/1390.26 c current bound: 2274625 1370.84/1391.45 c current bound: 2274625 1372.30/1392.79 c current bound: 2274625 1373.40/1393.98 c current bound: 2274625 1374.43/1395.18 c current bound: 2274625 1375.62/1396.37 c current bound: 2274625 1376.82/1397.56 c current bound: 2274625 1378.00/1398.77 c current bound: 2274625 1379.20/1399.97 c current bound: 2274625 1380.39/1401.16 c current bound: 2274625 1381.60/1402.35 c current bound: 2274625 1382.79/1403.55 c current bound: 2274625 1383.99/1404.74 c current bound: 2274625 1385.39/1405.94 c current bound: 2274625 1386.59/1407.12 c current bound: 2274625 1387.80/1408.45 c current bound: 2274625 1388.75/1409.65 c current bound: 2274625 1389.96/1410.85 c current bound: 2274625 1391.14/1412.04 c current bound: 2274625 1392.33/1413.24 c current bound: 2274625 1393.53/1414.46 c current bound: 2274625 1394.73/1415.65 c current bound: 2274625 1395.92/1416.85 c current bound: 2274625 1397.32/1418.05 c current bound: 2274625 1398.53/1419.23 c current bound: 2274625 1399.72/1420.43 c current bound: 2274625 1400.70/1421.62 c current bound: 2274625 1401.89/1422.81 c current bound: 2274625 1403.34/1424.14 c current bound: 2274625 1404.28/1425.33 c current bound: 2274625 1405.47/1426.53 c current bound: 2274625 1406.68/1427.72 c current bound: 2274625 1407.87/1428.92 c current bound: 2274625 1409.31/1430.12 c current bound: 2274625 1410.49/1431.31 c current bound: 2274625 1411.70/1432.51 c current bound: 2274625 1412.64/1433.69 c current bound: 2274625 1413.83/1435.03 c current bound: 2274625 1415.02/1436.22 c current bound: 2274625 1416.20/1437.42 c current bound: 2274625 1417.40/1438.60 c current bound: 2274625 1418.59/1439.79 c current bound: 2274625 1419.78/1440.98 c current bound: 2274625 1420.95/1442.18 c current bound: 2274625 1422.34/1443.37 c current bound: 2274625 1423.54/1444.56 c current bound: 2274625 1424.55/1445.75 c current bound: 2274625 1425.72/1446.93 c current bound: 2274625 1426.91/1448.10 c current bound: 2274625 1428.09/1449.29 c current bound: 2274625 1429.52/1450.59 c current bound: 2274625 1430.47/1451.79 c current bound: 2274625 1431.65/1452.97 c current bound: 2274625 1432.85/1454.17 c current bound: 2274625 1434.06/1455.39 c current bound: 2274625 1435.43/1456.58 c current bound: 2274625 1436.62/1457.78 c current bound: 2274625 1437.63/1458.97 c current bound: 2274625 1438.83/1460.18 c current bound: 2274625 1440.05/1461.36 c current bound: 2274625 1441.23/1462.56 c current bound: 2274625 1442.43/1463.76 c current bound: 2274625 1443.62/1464.95 c current bound: 2274625 1444.82/1466.32 c current bound: 2274625 1446.25/1467.52 c current bound: 2274625 1447.45/1468.71 c current bound: 2274625 1448.64/1469.90 c current bound: 2274625 1449.85/1471.10 c current bound: 2274625 1450.80/1472.33 c current bound: 2274625 1452.00/1473.52 c current bound: 2274625 1453.20/1474.71 c current bound: 2274625 1454.40/1475.91 c current bound: 2274625 1455.59/1477.09 c current bound: 2274625 1456.78/1478.29 c current bound: 2274625 1457.97/1479.48 c current bound: 2274625 1459.15/1480.67 c current bound: 2274625 1460.60/1482.00 c current bound: 2274625 1461.53/1483.18 c current bound: 2274625 1462.73/1484.37 c current bound: 2274625 1463.93/1485.56 c current bound: 2274625 1465.11/1486.75 c current bound: 2274625 1466.30/1487.94 c current bound: 2274625 1467.49/1489.13 c current bound: 2274625 1468.66/1490.31 c current bound: 2274625 1470.10/1491.50 c current bound: 2274625 1471.29/1492.82 c current bound: 2274625 1472.46/1494.02 c current bound: 2274625 1473.66/1495.22 c current bound: 2274625 1474.62/1496.41 c current bound: 2274625 1475.83/1497.60 c current bound: 2274625 1477.02/1498.80 c current bound: 2274625 1478.47/1500.00 c current bound: 2274625 1479.40/1501.19 c current bound: 2274625 1480.60/1502.39 c current bound: 2274625 1481.80/1503.58 c current bound: 2274625 1483.00/1504.78 c current bound: 2274625 1484.18/1505.98 c current bound: 2274625 1485.55/1507.17 c current bound: 2274625 1486.83/1508.50 c current bound: 2274625 1487.77/1509.70 c current bound: 2274625 1488.98/1510.89 c current bound: 2274625 1490.16/1512.08 c current bound: 2274625 1491.35/1513.27 c current bound: 2274625 1492.55/1514.47 c current bound: 2274625 1493.74/1515.67 c current bound: 2274625 1494.95/1516.86 c current bound: 2274625 1496.14/1518.05 c current bound: 2274625 1497.54/1519.23 c current bound: 2274625 1498.74/1520.43 c current bound: 2274625 1499.93/1521.62 c current bound: 2274625 1500.90/1522.81 c current bound: 2274625 1502.35/1524.15 c current bound: 2274625 1503.27/1525.32 c current bound: 2274625 1504.45/1526.51 c current bound: 2274625 1505.90/1527.70 c current bound: 2274625 1506.84/1528.88 c current bound: 2274625 1508.02/1530.06 c current bound: 2274625 1509.21/1531.24 c current bound: 2274625 1510.60/1532.43 c current bound: 2274625 1511.81/1533.62 c current bound: 2274625 1513.03/1534.94 c current bound: 2274625 1513.97/1536.14 c current bound: 2274625 1515.14/1537.32 c current bound: 2274625 1516.34/1538.52 c current bound: 2274625 1517.54/1539.71 c current bound: 2274625 1518.73/1540.91 c current bound: 2274625 1519.94/1542.11 c current bound: 2274625 1521.14/1543.31 c current bound: 2274625 1522.60/1544.50 c current bound: 2274625 1523.76/1545.96 c current bound: 2274625 1524.71/1547.16 c current bound: 2274625 1525.91/1548.35 c current bound: 2274625 1527.10/1549.55 c current bound: 2274625 1528.31/1550.98 c current bound: 2274625 1529.50/1552.17 c current bound: 2274625 1530.89/1553.36 c current bound: 2274625 1532.08/1554.56 c current bound: 2274625 1533.09/1555.93 c current bound: 2274625 1534.26/1557.13 c current bound: 2274625 1535.47/1558.33 c current bound: 2274625 1536.67/1559.52 c current bound: 2274625 1537.87/1560.72 c current bound: 2274625 1539.07/1561.94 c current bound: 2274625 1540.27/1563.13 c current bound: 2274625 1541.68/1564.32 c current bound: 2274625 1542.90/1565.50 c current bound: 2274625 1544.08/1566.70 c current bound: 2274625 1545.04/1567.89 c current bound: 2274625 1546.22/1569.08 c current bound: 2274625 1547.42/1570.28 c current bound: 2274625 1548.61/1571.61 c current bound: 2274625 1549.79/1572.79 c current bound: 2274625 1550.99/1573.98 c current bound: 2274625 1552.18/1575.17 c current bound: 2274625 1553.36/1576.36 c current bound: 2274625 1554.74/1577.57 c current bound: 2274625 1555.94/1578.77 c current bound: 2274625 1556.96/1579.96 c current bound: 2274625 1558.14/1581.16 c current bound: 2274625 1559.59/1582.50 c current bound: 2274625 1560.53/1583.69 c current bound: 2274625 1561.73/1584.89 c current bound: 2274625 1562.93/1586.08 c current bound: 2274625 1564.12/1587.28 c current bound: 2274625 1565.32/1588.48 c current bound: 2274625 1566.68/1589.68 c current bound: 2274625 1567.89/1590.87 c current bound: 2274625 1568.91/1592.07 c current bound: 2274625 1570.10/1593.25 c current bound: 2274625 1571.29/1594.44 c current bound: 2274625 1572.48/1595.63 c current bound: 2274625 1573.67/1596.82 c current bound: 2274625 1575.11/1598.14 c current bound: 2274625 1576.06/1599.34 c current bound: 2274625 1577.25/1600.54 c current bound: 2274625 1578.66/1601.73 c current bound: 2274625 1579.87/1602.92 c current bound: 2274625 1581.05/1604.12 c current bound: 2274625 1582.04/1605.32 c current bound: 2274625 1583.23/1606.51 c current bound: 2274625 1584.43/1607.71 c current bound: 2274625 1585.63/1608.98 c current bound: 2274625 1586.81/1610.17 c current bound: 2274625 1588.01/1611.36 c current bound: 2274625 1589.19/1612.54 c current bound: 2274625 1590.38/1613.73 c current bound: 2274625 1591.78/1614.92 c current bound: 2274625 1592.98/1616.11 c current bound: 2274625 1594.08/1617.29 c current bound: 2274625 1595.11/1618.48 c current bound: 2274625 1596.30/1619.97 c current bound: 2274625 1597.51/1621.16 c current bound: 2274625 1598.69/1622.35 c current bound: 2274625 1599.89/1623.55 c current bound: 2274625 1601.31/1625.00 c current bound: 2274625 1602.53/1626.20 c current bound: 2274625 1603.48/1627.40 c current bound: 2274625 1604.68/1628.60 c current bound: 2274625 1605.89/1629.89 c current bound: 2274625 1607.08/1631.09 c current bound: 2274625 1608.28/1632.29 c current bound: 2274625 1609.47/1633.48 c current bound: 2274625 1610.67/1634.68 c current bound: 2274625 1612.04/1635.88 c current bound: 2274625 1613.26/1637.08 c current bound: 2274625 1614.25/1638.27 c current bound: 2274625 1615.46/1639.47 c current bound: 2274625 1616.65/1640.89 c current bound: 2274625 1617.85/1642.09 c current bound: 2274625 1619.05/1643.34 c current bound: 2274625 1620.24/1644.53 c current bound: 2274625 1621.68/1645.86 c current bound: 2274625 1622.65/1647.05 c current bound: 2274625 1623.83/1648.24 c current bound: 2274625 1625.02/1649.44 c current bound: 2274625 1626.21/1650.63 c current bound: 2274625 1627.41/1651.82 c current bound: 2274625 1628.61/1653.02 c current bound: 2274625 1629.80/1654.21 c current bound: 2274625 1630.99/1655.40 c current bound: 2274625 1632.43/1656.77 c current bound: 2274625 1633.56/1657.95 c current bound: 2274625 1634.75/1659.13 c current bound: 2274625 1635.73/1660.31 c current bound: 2274625 1637.16/1661.50 c current bound: 2274625 1638.10/1662.70 c current bound: 2274625 1639.30/1663.90 c current bound: 2274625 1640.49/1665.09 c current bound: 2274625 1641.68/1666.29 c current bound: 2274625 1642.87/1667.49 c current bound: 2274625 1644.08/1668.69 c current bound: 2274625 1645.27/1669.89 c current bound: 2274625 1646.64/1671.08 c current bound: 2274625 1647.91/1672.42 c current bound: 2274625 1648.86/1673.60 c current bound: 2274625 1650.31/1674.80 c current bound: 2274625 1651.51/1676.00 c current bound: 2274625 1652.45/1677.19 c current bound: 2274625 1653.62/1678.40 c current bound: 2274625 1655.08/1679.60 c current bound: 2274625 1656.02/1680.79 c current bound: 2274625 1657.20/1681.98 c current bound: 2274625 1658.59/1683.17 c current bound: 2274625 1659.77/1684.36 c current bound: 2274625 1660.80/1685.56 c current bound: 2274625 1661.99/1686.75 c current bound: 2274625 1663.44/1688.10 c current bound: 2274625 1664.37/1689.29 c current bound: 2274625 1665.57/1690.49 c current bound: 2274625 1666.77/1691.69 c current bound: 2274625 1667.96/1692.89 c current bound: 2274625 1669.40/1694.11 c current bound: 2274625 1670.62/1695.30 c current bound: 2274625 1671.71/1696.49 c current bound: 2274625 1672.76/1697.68 c current bound: 2274625 1673.93/1698.86 c current bound: 2274625 1675.13/1700.05 c current bound: 2274625 1676.31/1701.24 c current bound: 2274625 1677.50/1702.42 c current bound: 2274625 1678.69/1703.77 c current bound: 2274625 1679.88/1704.96 c current bound: 2274625 1681.08/1706.15 c current bound: 2274625 1682.47/1707.35 c current bound: 2274625 1683.67/1708.54 c current bound: 2274625 1684.66/1709.77 c current bound: 2274625 1685.86/1710.96 c current bound: 2274625 1687.05/1712.15 c current bound: 2274625 1688.25/1713.35 c current bound: 2274625 1689.45/1714.54 c current bound: 2274625 1690.64/1715.75 c current bound: 2274625 1691.84/1716.95 c current bound: 2274625 1693.04/1718.14 c current bound: 2274625 1694.48/1719.46 c current bound: 2274625 1695.63/1720.66 c current bound: 2274625 1696.63/1721.85 c current bound: 2274625 1697.82/1723.04 c current bound: 2274625 1699.01/1724.24 c current bound: 2274625 1700.22/1725.44 c current bound: 2274625 1701.41/1726.63 c current bound: 2274625 1702.60/1727.83 c current bound: 2274625 1703.81/1729.03 c current bound: 2274625 1705.00/1730.34 c current bound: 2274625 1706.40/1731.54 c current bound: 2274625 1707.60/1732.74 c current bound: 2274625 1708.80/1733.93 c current bound: 2274625 1709.80/1735.14 c current bound: 2274625 1711.00/1736.34 c current bound: 2274625 1712.19/1737.53 c current bound: 2274625 1713.39/1738.72 c current bound: 2274625 1714.57/1739.91 c current bound: 2274625 1715.76/1741.10 c current bound: 2274625 1716.95/1742.29 c current bound: 2274625 1718.14/1743.48 c current bound: 2274625 1719.33/1744.66 c current bound: 2274625 1720.78/1746.00 c current bound: 2274625 1721.71/1747.18 c current bound: 2274625 1722.90/1748.38 c current bound: 2274625 1724.09/1749.57 c current bound: 2274625 1725.29/1750.76 c current bound: 2274625 1726.48/1751.98 c current bound: 2274625 1727.67/1753.17 c current bound: 2274625 1728.86/1754.36 c current bound: 2274625 1730.02/1755.52 c current bound: 2274625 1731.21/1756.71 c current bound: 2274625 1732.63/1757.91 c current bound: 2274625 1733.72/1759.10 c current bound: 2274625 1734.93/1760.29 c current bound: 2274625 1735.97/1761.63 c current bound: 2274625 1737.15/1762.83 c current bound: 2274625 1738.35/1764.03 c current bound: 2274625 1739.54/1765.22 c current bound: 2274625 1740.75/1766.42 c current bound: 2274625 1741.94/1767.62 c current bound: 2274625 1743.14/1768.81 c current bound: 2274625 1744.32/1770.00 c current bound: 2274625 1745.66/1771.19 c current bound: 2274625 1746.87/1772.38 c current bound: 2274625 1747.90/1773.57 c current bound: 2274625 1749.09/1774.76 c current bound: 2274625 1750.29/1775.96 c current bound: 2274625 1751.49/1777.27 c current bound: 2274625 1752.66/1778.46 c current bound: 2274625 1753.86/1779.65 c current bound: 2274625 1755.05/1780.84 c current bound: 2274625 1756.23/1782.03 c current bound: 2274625 1757.66/1783.22 c current bound: 2274625 1758.84/1784.41 c current bound: 2274625 1760.04/1785.60 c current bound: 2274625 1761.00/1786.79 c current bound: 2274625 1762.18/1787.98 c current bound: 2274625 1763.37/1789.16 c current bound: 2274625 1764.55/1790.35 c current bound: 2274625 1765.75/1791.54 c current bound: 2274625 1766.93/1792.73 c current bound: 2274625 1768.12/1793.92 c current bound: 2274625 1769.33/1795.12 c current bound: 2274625 1770.52/1796.31 c current bound: 2274625 1771.93/1797.73 c current bound: 2274625 1772.88/1798.91 c current bound: 2274625 1774.32/1800.10 c current bound: 2274625 1775.26/1801.29 c current bound: 2274625 1776.45/1802.48 c current bound: 2274625 1777.64/1803.68 c current bound: 2274625 1778.84/1804.88 c current bound: 2274625 1780.03/1806.07 c current bound: 2274625 1781.23/1807.26 c current bound: 2274625 1782.43/1808.46 c current bound: 2274625 1783.82/1809.66 c current bound: 2274625 1785.01/1810.85 c current bound: 2274625 1786.20/1812.05 c current bound: 2274625 1787.22/1813.38 c current bound: 2274625 1788.41/1814.57 c current bound: 2274625 1789.45/1815.63 c current bound: 2274625 1790.64/1816.82 c current bound: 2274625 1791.84/1818.05 c current bound: 2274625 1793.03/1819.24 c current bound: 2274625 1794.22/1820.43 c current bound: 2274625 1795.41/1821.62 c current bound: 2274625 1796.85/1822.82 c current bound: 2274625 1798.06/1824.13 c current bound: 2274625 1798.97/1825.32 c current bound: 2274625 1800.02/1826.11 ./satsolver.sh: line 5: 19278 Terminated ./glucose $1 > $2 2> /dev/null 1800.02/1826.11 c error: unexpected solver exit code 1800.02/1826.11 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3752814-1339213359/watcher-3752814-1339213359 -o /tmp/evaluation-result-3752814-1339213359/solver-3752814-1339213359 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752814-1339213359.wbo 257991316 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 2/179 7046 /proc/meminfo: memFree=28900696/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [startup+0.104901 s] /proc/loadavg: 2.00 2.00 2.00 2/179 7046 /proc/meminfo: memFree=28900696/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.200364 s] /proc/loadavg: 2.00 2.00 2.00 2/179 7046 /proc/meminfo: memFree=28900696/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300284 s] /proc/loadavg: 2.00 2.00 2.00 2/179 7046 /proc/meminfo: memFree=28900696/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700304 s] /proc/loadavg: 2.00 2.00 2.00 2/179 7046 /proc/meminfo: memFree=28900696/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7063 /proc/meminfo: memFree=28870668/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=1.31 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 5858 20265 0 0 16 3 99 13 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 28848 [startup+3.10034 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7070 /proc/meminfo: memFree=28870544/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=2.51 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 8099 35618 0 0 24 4 195 28 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 Current children cumulated CPU time (s) 2.51 Current children cumulated vsize (KiB) 28848 [startup+6.30022 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7088 /proc/meminfo: memFree=28834552/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=6.08 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 14822 81387 0 0 47 7 486 68 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 Current children cumulated CPU time (s) 6.08 Current children cumulated vsize (KiB) 28848 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 7130 /proc/meminfo: memFree=28870224/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=12.05 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 26027 158175 0 0 86 11 974 134 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 [pid=7129] ppid=7047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7129/stat : 7129 (satsolver.sh) S 7047 7046 3376 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387463087 9367552 267 33554432000 4194304 5064252 140737421742352 140737421741264 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/7129/statm: 2287 267 226 213 0 72 0 [pid=7130] ppid=7129 vsize=50136 CPUtime=0.5 cores=0,2,4,6 /proc/7130/stat : 7130 (glucose) R 7129 7046 3376 0 -1 4202496 10301 0 0 0 49 1 0 0 20 0 1 0 387463087 51339264 10994 33554432000 4194304 5208918 140734377316720 140734376266408 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/7130/statm: 12534 10994 95 248 0 12283 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 88132 [startup+25.5068 s] /proc/loadavg: 2.07 2.02 2.00 3/183 7266 /proc/meminfo: memFree=31208972/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=25.16 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 50678 326241 0 0 173 21 2045 277 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 [pid=7265] ppid=7047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7265/stat : 7265 (satsolver.sh) S 7047 7046 3376 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387464407 9367552 266 33554432000 4194304 5064252 140735430632128 140735430631040 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/7265/statm: 2287 266 226 213 0 72 0 [pid=7266] ppid=7265 vsize=48948 CPUtime=0.11 cores=0,2,4,6 /proc/7266/stat : 7266 (glucose) R 7265 7046 3376 0 -1 4202496 10047 0 0 0 10 1 0 0 20 0 1 0 387464407 50122752 10740 33554432000 4194304 5208918 140734823371264 140735430631064 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/7266/statm: 12237 10741 95 248 0 11986 0 Current children cumulated CPU time (s) 25.27 Current children cumulated vsize (KiB) 86944 [startup+51.1004 s] /proc/loadavg: 2.05 2.01 2.00 3/183 7434 /proc/meminfo: memFree=31177148/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=50.11 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 97739 643612 0 0 335 41 4084 551 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 [pid=7433] ppid=7047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7433/stat : 7433 (satsolver.sh) S 7047 7046 3376 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387466929 9367552 267 33554432000 4194304 5064252 140735120324848 140735120323760 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/7433/statm: 2287 267 226 213 0 72 0 [pid=7434] ppid=7433 vsize=50136 CPUtime=0.47 cores=0,2,4,6 /proc/7434/stat : 7434 (glucose) R 7433 7046 3376 0 -1 4202496 10276 0 0 0 46 1 0 0 20 0 1 0 387466930 51339264 10969 33554432000 4194304 5208918 140733357542128 140733357540072 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/7434/statm: 12534 10969 95 248 0 12283 0 Current children cumulated CPU time (s) 50.58 Current children cumulated vsize (KiB) 88132 [startup+102.3 s] /proc/loadavg: 2.13 2.04 2.01 3/183 7770 /proc/meminfo: memFree=31173576/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=101.24 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) R 7046 7046 3376 0 -1 4202496 192948 1293829 0 0 665 79 8258 1122 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886720 5056727 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 Current children cumulated CPU time (s) 101.24 Current children cumulated vsize (KiB) 28848 [startup+162.3 s] /proc/loadavg: 2.08 2.05 2.01 3/183 8176 /proc/meminfo: memFree=31200240/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=159.68 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 303911 2035936 0 0 1054 125 13008 1781 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 [pid=8175] ppid=7047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8175/stat : 8175 (satsolver.sh) S 7047 7046 3376 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387478045 9367552 266 33554432000 4194304 5064252 140735488003056 140735488001968 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/8175/statm: 2287 266 226 213 0 72 0 [pid=8176] ppid=8175 vsize=50140 CPUtime=0.52 cores=0,2,4,6 /proc/8176/stat : 8176 (glucose) R 8175 7046 3376 0 -1 4202496 10385 0 0 0 51 1 0 0 20 0 1 0 387478045 51343360 11078 33554432000 4194304 5208918 140736478306800 140736478304744 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/8176/statm: 12535 11078 95 248 0 12284 0 Current children cumulated CPU time (s) 160.2 Current children cumulated vsize (KiB) 88136 [startup+222.3 s] /proc/loadavg: 2.08 2.05 2.01 3/183 8572 /proc/meminfo: memFree=31206836/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=218.81 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 413726 2794578 0 0 1434 171 17845 2431 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707885632 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 [pid=8570] ppid=7047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8570/stat : 8570 (cp2_post.sh) S 7047 7046 3376 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 387484077 9367552 265 33554432000 4194304 5064252 140733347548464 140733347546752 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8570/statm: 2287 265 225 213 0 72 0 [pid=8572] ppid=8570 vsize=10300 CPUtime=0.2 cores=0,2,4,6 /proc/8572/stat : 8572 (coprocessor) R 8570 7046 3376 0 -1 4202496 2515 0 0 0 12 8 0 0 20 0 1 0 387484077 10547200 1701 33554432000 4194304 6586260 140736458839216 140736458836136 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 /proc/8572/statm: 2575 1701 148 584 0 1987 0 Current children cumulated CPU time (s) 219.01 ################ # More data... # ################ /proc/15383/statm: 2287 267 226 213 0 72 0 [pid=15384] ppid=15383 vsize=51064 CPUtime=0.66 cores=0,2,4,6 /proc/15384/stat : 15384 (glucose) R 15383 7046 3376 0 -1 4202496 10138 0 0 0 64 2 0 0 20 0 1 0 387586032 52289536 10829 33554432000 4194304 5208918 140735523792768 140735523790712 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/15384/statm: 12766 10829 101 248 0 12515 0 Current children cumulated CPU time (s) 1224.11 Current children cumulated vsize (KiB) 89060 [startup+1302.3 s] /proc/loadavg: 2.01 2.04 2.00 3/183 15776 /proc/meminfo: memFree=31163724/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=1283.04 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 2414933 16342536 0 0 8265 994 104749 14296 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 42 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 Current children cumulated CPU time (s) 1283.04 Current children cumulated vsize (KiB) 28848 [startup+1362.3 s] /proc/loadavg: 1.97 2.01 1.99 3/183 16185 /proc/meminfo: memFree=31205084/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=1342.52 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 2526983 17105681 0 0 8653 1040 109589 14970 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 Current children cumulated CPU time (s) 1342.52 Current children cumulated vsize (KiB) 28848 [startup+1422.3 s] /proc/loadavg: 1.98 2.01 1.99 3/183 16574 /proc/meminfo: memFree=31166524/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=1401.04 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 2636792 17852948 0 0 9025 1086 114366 15627 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 50 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 Current children cumulated CPU time (s) 1401.04 Current children cumulated vsize (KiB) 28848 [startup+1482.3 s] /proc/loadavg: 2.09 2.02 2.00 3/183 16977 /proc/meminfo: memFree=31199648/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=1460.69 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 2748842 18611110 0 0 9402 1134 119239 16294 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 53 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 Current children cumulated CPU time (s) 1460.69 Current children cumulated vsize (KiB) 28848 [startup+1542.3 s] /proc/loadavg: 2.03 2.02 2.00 3/183 17387 /proc/meminfo: memFree=31170516/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=1520.29 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 2860892 19368568 0 0 9783 1180 124102 16964 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 53 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 [pid=17386] ppid=7047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17386/stat : 17386 (satsolver.sh) S 7047 7046 3376 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387616088 9367552 267 33554432000 4194304 5064252 140736422143296 140736422142208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/17386/statm: 2287 267 226 213 0 72 0 [pid=17387] ppid=17386 vsize=47760 CPUtime=0.09 cores=0,2,4,6 /proc/17387/stat : 17387 (glucose) R 17386 7046 3376 0 -1 4202496 9656 0 0 0 8 1 0 0 20 0 1 0 387616089 48906240 10348 33554432000 4194304 5208918 140735195241360 140735194191048 4229228 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/17387/statm: 11940 10348 95 248 0 11689 0 Current children cumulated CPU time (s) 1520.38 Current children cumulated vsize (KiB) 85756 [startup+1602.3 s] /proc/loadavg: 2.06 2.03 2.00 3/183 17775 /proc/meminfo: memFree=31200768/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=1578.8 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 2970701 20112234 0 0 10155 1224 128885 17616 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 56 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 Current children cumulated CPU time (s) 1578.8 Current children cumulated vsize (KiB) 28848 [startup+1662.31 s] /proc/loadavg: 2.02 2.02 2.00 3/184 18174 /proc/meminfo: memFree=31164224/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=1637.24 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 3080510 20856974 0 0 10527 1269 133661 18267 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 56 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 [pid=18173] ppid=7047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18173/stat : 18173 (satsolver.sh) S 7047 7046 3376 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387628027 9367552 267 33554432000 4194304 5064252 140733855582480 140733855581392 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18173/statm: 2287 267 226 213 0 72 0 [pid=18174] ppid=18173 vsize=51064 CPUtime=0.69 cores=0,2,4,6 /proc/18174/stat : 18174 (glucose) R 18173 7046 3376 0 -1 4202496 10145 0 0 0 68 1 0 0 20 0 1 0 387628027 52289536 10832 33554432000 4194304 5208918 140733913157264 140733913155208 4229039 0 0 4096 0 0 0 0 17 4 0 0 1 0 0 /proc/18174/statm: 12766 10832 101 248 0 12515 0 Current children cumulated CPU time (s) 1637.93 Current children cumulated vsize (KiB) 89060 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/182 18574 /proc/meminfo: memFree=31227912/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=1696.97 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 3192560 21613956 0 0 10906 1316 138541 18934 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 61 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 Current children cumulated CPU time (s) 1696.97 Current children cumulated vsize (KiB) 28848 [startup+1782.3 s] /proc/loadavg: 2.05 2.03 2.00 3/181 18978 /proc/meminfo: memFree=31213068/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=1756.58 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 3304610 22376921 0 0 11293 1362 143404 19599 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 62 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 Current children cumulated CPU time (s) 1756.58 Current children cumulated vsize (KiB) 28848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1826.1 s] /proc/loadavg: 1.80 1.97 1.98 2/174 19278 /proc/meminfo: memFree=31244916/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=1799.33 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 3385286 22924952 0 0 11570 1395 146886 20082 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 62 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 [pid=19277] ppid=7047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19277/stat : 19277 (satsolver.sh) S 7047 7046 3376 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387644409 9367552 266 33554432000 4194304 5064252 140734342369552 140734342368464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/19277/statm: 2287 266 226 213 0 72 0 [pid=19278] ppid=19277 vsize=51064 CPUtime=0.69 cores=0,2,4,6 /proc/19278/stat : 19278 (glucose) R 19277 7046 3376 0 -1 4202496 10404 0 0 0 68 1 0 0 20 0 1 0 387644409 52289536 11097 33554432000 4194304 5208918 140735980554544 140735980552376 4211871 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/19278/statm: 12766 11097 101 248 0 12515 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 89060 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1826.1 s] /proc/loadavg: 1.80 1.97 1.98 2/174 19278 /proc/meminfo: memFree=31244916/32873648 swapFree=7376/7376 [pid=7046] ppid=7044 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7046/stat : 7046 (npSolver-wbo-It) S 7044 7046 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387461868 9367552 274 33554432000 4194304 5064252 140735150120096 140735150119008 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7046/statm: 2287 274 233 213 0 72 0 [pid=7047] ppid=7046 vsize=19700 CPUtime=1799.33 cores=0,2,4,6 /proc/7047/stat : 7047 (npSolver-wbo) S 7046 7046 3376 0 -1 4202496 3385286 22924952 0 0 11570 1395 146886 20082 20 0 1 0 387461868 20172800 4009 33554432000 4194304 6006132 140736707894784 140736707886144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 62 0 0 /proc/7047/statm: 4925 4009 176 443 0 4478 0 [pid=19277] ppid=7047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/19277/stat : 19277 (satsolver.sh) S 7047 7046 3376 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387644409 9367552 266 33554432000 4194304 5064252 140734342369552 140734342368464 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/19277/statm: 2287 266 226 213 0 72 0 [pid=19278] ppid=19277 vsize=51064 CPUtime=0.69 cores=0,2,4,6 /proc/19278/stat : 19278 (glucose) R 19277 7046 3376 0 -1 4202496 10404 0 0 0 68 1 0 0 20 0 1 0 387644409 52289536 11097 33554432000 4194304 5208918 140735980554544 140735980552376 4211871 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/19278/statm: 12766 11097 101 248 0 12515 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 89060 Child status: 0 Real time (s): 1826.12 CPU time (s): 1800.06 CPU user time (s): 1585.26 CPU system time (s): 214.802 CPU usage (%): 98.573 Max. virtual memory (cumulated for all children) (KiB): 89064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1585.26 system time used= 214.802 maximum resident set size= 45016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26321631 page faults= 0 swaps= 0 block input operations= 0 block output operations= 19712680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 388183 involuntary context switches= 19892 runsolver used 5.56315 second user time and 13.8959 second system time The end
Begin job on node120 at 2012-06-09 05:42:39 IDJOB=3752814 IDBENCH=79604 IDSOLVER=2336 FILE ID=node120/3752814-1339213359 RUNJOBID= node120-1339204315-3392 PBS_JOBID= 14643849 Free space on /tmp= 70300 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-1502_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752814-1339213359/watcher-3752814-1339213359 -o /tmp/evaluation-result-3752814-1339213359/solver-3752814-1339213359 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752814-1339213359.wbo 257991316 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5d88a80efe7697cc210830a3f6a69d8c RANDOM SEED=257991316 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28900704 kB Buffers: 423968 kB Cached: 853368 kB SwapCached: 5856 kB Active: 2832648 kB Inactive: 316916 kB Active(anon): 1856336 kB Inactive(anon): 10444 kB Active(file): 976312 kB Inactive(file): 306472 kB Unevictable: 7376 kB Mlocked: 7376 kB SwapTotal: 67108856 kB SwapFree: 67096152 kB Dirty: 8548 kB Writeback: 0 kB AnonPages: 1814688 kB Mapped: 9912 kB Shmem: 0 kB Slab: 681164 kB SReclaimable: 125308 kB SUnreclaim: 555856 kB KernelStack: 1520 kB PageTables: 8032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 2582944 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 1177600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70832 MiB End job on node120 at 2012-06-09 06:13:05