Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1782.34 | 1900.01 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo |
MD5SUM | ed627c94e924dd829be1b38440fce2ad |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 26.273 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 911 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 45526 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45525 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.02 c run usual solver 0.00/0.15 o 414 0.00/0.15 c starting approximation 0.00/0.15 c factor = 2 0.00/0.15 c current bound: 207 1.70/1.88 c current bound: 207 3.32/3.50 c current bound: 207 5.03/5.23 c current bound: 207 6.74/6.80 c current bound: 207 8.32/8.53 c current bound: 207 9.92/10.12 c current bound: 207 11.44/11.66 c current bound: 207 13.11/13.24 c current bound: 207 14.53/14.75 c current bound: 207 16.14/16.36 c current bound: 207 17.88/18.11 c current bound: 207 19.72/19.83 c current bound: 207 21.25/21.48 c current bound: 207 23.01/23.13 c current bound: 207 24.46/24.70 c current bound: 207 26.33/26.53 c current bound: 207 27.88/28.22 c current bound: 207 29.63/29.98 c current bound: 207 31.36/31.72 c current bound: 207 33.11/33.47 c current bound: 207 34.62/34.99 c current bound: 207 36.33/36.70 c current bound: 207 38.17/38.45 c current bound: 207 39.99/40.20 c current bound: 207 41.49/41.88 c current bound: 207 43.23/43.62 c current bound: 207 44.86/45.15 c current bound: 207 46.37/46.79 c current bound: 207 48.10/48.54 c current bound: 207 49.65/50.07 c current bound: 207 51.31/51.62 c current bound: 207 52.83/53.27 c current bound: 207 54.38/54.81 c current bound: 207 56.08/56.53 c current bound: 207 57.62/58.07 c current bound: 207 59.32/59.77 c current bound: 207 61.18/61.51 c current bound: 207 62.57/63.02 c current bound: 207 64.29/64.75 c current bound: 207 65.85/66.32 c current bound: 207 67.56/68.02 c current bound: 207 69.07/69.54 c current bound: 207 70.81/71.29 c current bound: 207 72.58/72.90 c current bound: 207 74.02/74.49 c current bound: 207 75.61/76.09 c current bound: 207 77.28/77.77 c current bound: 207 78.98/79.45 c current bound: 207 80.88/81.20 c current bound: 207 82.25/82.73 c current bound: 207 83.96/84.44 c current bound: 207 85.70/86.19 c current bound: 207 87.27/87.75 c current bound: 207 88.89/89.38 c current bound: 207 90.48/90.96 c current bound: 207 91.99/92.48 c current bound: 207 93.60/94.09 c current bound: 207 95.34/95.82 c current bound: 207 97.05/97.55 c current bound: 207 98.65/99.14 c current bound: 207 100.37/100.86 c current bound: 207 101.92/102.49 c current bound: 207 103.65/104.23 c current bound: 207 105.35/105.92 c current bound: 207 106.97/107.61 c current bound: 207 108.58/109.23 c current bound: 207 110.41/110.90 c current bound: 207 111.97/112.63 c current bound: 207 113.51/114.17 c current bound: 207 115.14/115.81 c current bound: 207 116.85/117.53 c current bound: 207 118.60/119.27 c current bound: 207 120.38/120.99 c current bound: 207 121.86/122.53 c current bound: 207 123.42/124.08 c current bound: 207 125.08/125.60 c current bound: 207 126.42/127.10 c current bound: 207 128.07/128.67 c current bound: 207 129.71/130.38 c current bound: 207 131.43/132.10 c current bound: 207 132.97/133.65 c current bound: 207 134.73/135.39 c current bound: 207 136.43/137.12 c current bound: 207 137.98/138.65 c current bound: 207 139.54/140.20 c current bound: 207 141.25/141.84 c current bound: 207 142.90/143.59 c current bound: 207 144.58/145.19 c current bound: 207 146.09/146.78 c current bound: 207 147.67/148.36 c current bound: 207 149.47/150.00 c current bound: 207 150.89/151.57 c current bound: 207 152.46/153.14 c current bound: 207 154.17/154.86 c current bound: 207 155.82/156.58 c current bound: 207 157.42/158.18 c current bound: 207 159.11/159.87 c current bound: 207 160.66/161.40 c current bound: 207 162.33/163.09 c current bound: 207 163.85/164.61 c current bound: 207 165.41/166.16 c current bound: 207 167.15/167.91 c current bound: 207 168.76/169.52 c current bound: 207 170.29/171.05 c current bound: 207 172.00/172.69 c current bound: 207 173.69/174.46 c current bound: 207 175.42/176.19 c current bound: 207 176.96/177.72 c current bound: 207 178.66/179.43 c current bound: 207 180.34/181.12 c current bound: 207 181.98/182.75 c current bound: 207 183.47/184.26 c current bound: 207 185.03/185.80 c current bound: 207 186.53/187.30 c current bound: 207 188.11/188.89 c current bound: 207 189.79/190.56 c current bound: 207 191.49/192.26 c current bound: 207 193.05/193.89 c current bound: 207 194.66/195.51 c current bound: 207 196.40/197.25 c current bound: 207 198.12/198.98 c current bound: 207 199.79/200.64 c current bound: 207 201.60/202.37 c current bound: 207 203.10/204.03 c current bound: 207 204.81/205.69 c current bound: 207 206.28/207.22 c current bound: 207 208.11/208.90 c current bound: 207 209.55/210.50 c current bound: 207 211.11/212.06 c current bound: 207 212.72/213.66 c current bound: 207 214.45/215.39 c current bound: 207 216.16/217.11 c current bound: 207 217.70/218.64 c current bound: 207 219.42/220.36 c current bound: 207 221.14/222.08 c current bound: 207 222.80/223.74 c current bound: 207 224.32/225.29 c current bound: 207 225.89/226.86 c current bound: 207 227.40/228.37 c current bound: 207 229.14/230.11 c current bound: 207 230.86/231.85 c current bound: 207 232.49/233.45 c current bound: 207 234.01/234.98 c current bound: 207 235.69/236.66 c current bound: 207 237.43/238.42 c current bound: 207 239.07/240.05 c current bound: 207 240.79/241.81 c current bound: 207 242.50/243.51 c current bound: 207 244.02/245.04 c current bound: 207 245.71/246.73 c current bound: 207 247.25/248.28 c current bound: 207 248.88/249.91 c current bound: 207 250.46/251.49 c current bound: 207 252.19/253.22 c current bound: 207 253.75/254.77 c current bound: 207 255.47/256.50 c current bound: 207 257.23/258.25 c current bound: 207 259.03/259.90 c current bound: 207 260.58/261.60 c current bound: 207 262.11/263.21 c current bound: 207 263.65/264.75 c current bound: 207 265.19/266.29 c current bound: 207 266.72/267.81 c current bound: 207 268.55/269.51 c current bound: 207 270.06/271.15 c current bound: 207 271.78/272.86 c current bound: 207 273.34/274.45 c current bound: 207 275.04/276.02 c current bound: 207 276.42/277.54 c current bound: 207 278.15/279.27 c current bound: 207 279.71/280.82 c current bound: 207 281.26/282.38 c current bound: 207 283.13/284.10 c current bound: 207 284.71/285.83 c current bound: 207 286.30/287.41 c current bound: 207 288.03/289.14 c current bound: 207 289.55/290.75 c current bound: 207 291.11/292.31 c current bound: 207 292.65/293.85 c current bound: 207 294.20/295.40 c current bound: 207 295.95/297.14 c current bound: 207 297.67/298.85 c current bound: 207 299.56/300.60 c current bound: 207 301.13/302.32 c current bound: 207 302.85/304.03 c current bound: 207 304.39/305.59 c current bound: 207 306.08/307.36 c current bound: 207 307.85/309.01 c current bound: 207 309.24/310.53 c current bound: 207 310.97/312.26 c current bound: 207 312.48/313.78 c current bound: 207 314.02/315.32 c current bound: 207 315.78/317.08 c current bound: 207 317.53/318.82 c current bound: 207 319.26/320.55 c current bound: 207 320.80/322.08 c current bound: 207 322.38/323.70 c current bound: 207 324.04/325.37 c current bound: 207 325.74/327.06 c current bound: 207 327.28/328.60 c current bound: 207 329.01/330.32 c current bound: 207 330.71/332.03 c current bound: 207 332.28/333.61 c current bound: 207 334.03/335.35 c current bound: 207 335.77/337.09 c current bound: 207 337.31/338.62 c current bound: 207 339.02/340.35 c current bound: 207 340.81/342.07 c current bound: 207 342.42/343.74 c current bound: 207 344.10/345.38 c current bound: 207 345.69/347.11 c current bound: 207 347.42/348.72 c current bound: 207 349.03/350.40 c current bound: 207 350.51/351.93 c current bound: 207 352.22/353.60 c current bound: 207 353.64/355.18 c current bound: 207 355.29/356.82 c current bound: 207 356.81/358.33 c current bound: 207 358.46/360.01 c current bound: 207 360.02/361.56 c current bound: 207 361.56/363.09 c current bound: 207 363.30/364.84 c current bound: 207 364.92/366.46 c current bound: 207 366.63/368.19 c current bound: 207 368.26/369.80 c current bound: 207 369.79/371.34 c current bound: 207 371.54/373.19 c current bound: 207 373.20/374.85 c current bound: 207 374.72/376.38 c current bound: 207 376.44/378.18 c current bound: 207 378.06/379.79 c current bound: 207 379.80/381.53 c current bound: 207 381.52/383.25 c current bound: 207 383.08/384.81 c current bound: 207 384.70/386.43 c current bound: 207 386.44/388.17 c current bound: 207 388.15/389.88 c current bound: 207 389.77/391.50 c current bound: 207 391.67/393.30 c current bound: 207 393.26/394.94 c current bound: 207 394.69/396.48 c current bound: 207 396.24/398.03 c current bound: 207 397.78/399.56 c current bound: 207 399.37/401.17 c current bound: 207 401.09/402.88 c current bound: 207 402.60/404.41 c current bound: 207 404.27/406.08 c current bound: 207 405.81/407.62 c current bound: 207 407.44/409.17 c current bound: 207 408.89/410.70 c current bound: 207 410.55/412.36 c current bound: 207 412.45/414.10 c current bound: 207 413.89/415.69 c current bound: 207 415.54/417.34 c current bound: 207 417.11/418.92 c current bound: 207 418.84/420.77 c current bound: 207 420.52/422.32 c current bound: 207 421.97/423.91 c current bound: 207 423.67/425.59 c current bound: 207 425.20/427.13 c current bound: 207 426.84/428.76 c current bound: 207 428.50/430.41 c current bound: 207 430.20/432.14 c current bound: 207 431.86/433.79 c current bound: 207 433.72/435.52 c current bound: 207 435.33/437.25 c current bound: 207 437.13/438.91 c current bound: 207 438.57/440.49 c current bound: 207 440.11/442.02 c current bound: 207 441.74/443.67 c current bound: 207 443.31/445.25 c current bound: 207 444.91/446.84 c current bound: 207 446.47/448.41 c current bound: 207 448.12/449.92 c current bound: 207 449.56/451.48 c current bound: 207 451.10/453.03 c current bound: 207 452.84/454.77 c current bound: 207 454.41/456.35 c current bound: 207 456.13/458.05 c current bound: 207 457.82/459.73 c current bound: 207 459.28/461.34 c current bound: 207 460.87/462.92 c current bound: 207 462.42/464.46 c current bound: 207 464.31/466.20 c current bound: 207 465.69/467.73 c current bound: 207 467.44/469.47 c current bound: 207 468.96/471.01 c current bound: 207 470.53/472.59 c current bound: 207 472.21/474.26 c current bound: 207 473.71/475.77 c current bound: 207 475.23/477.28 c current bound: 207 476.96/479.02 c current bound: 207 478.67/480.69 c current bound: 207 480.31/482.38 c current bound: 207 482.08/484.01 c current bound: 207 483.55/485.61 c current bound: 207 485.38/487.33 c current bound: 207 486.86/488.91 c current bound: 207 488.60/490.66 c current bound: 207 490.21/492.38 c current bound: 207 491.88/493.92 c current bound: 207 493.49/495.66 c current bound: 207 495.18/497.37 c current bound: 207 496.86/499.06 c current bound: 207 498.61/500.79 c current bound: 207 500.22/502.54 c current bound: 207 501.75/504.06 c current bound: 207 503.47/505.78 c current bound: 207 505.10/507.52 c current bound: 207 506.73/509.16 c current bound: 207 508.36/510.79 c current bound: 207 510.22/512.64 c current bound: 207 511.82/514.37 c current bound: 207 513.70/516.10 c current bound: 207 515.27/517.82 c current bound: 207 516.88/519.43 c current bound: 207 518.48/521.03 c current bound: 207 520.20/522.78 c current bound: 207 521.85/524.42 c current bound: 207 523.59/526.16 c current bound: 207 525.12/527.69 c current bound: 207 526.87/529.43 c current bound: 207 528.60/531.16 c current bound: 207 530.21/532.77 c current bound: 207 531.72/534.28 c current bound: 207 533.26/535.82 c current bound: 207 534.86/537.43 c current bound: 207 536.48/538.96 c current bound: 207 538.11/540.68 c current bound: 207 539.87/542.42 c current bound: 207 541.61/544.16 c current bound: 207 543.34/545.90 c current bound: 207 545.08/547.64 c current bound: 207 546.69/549.26 c current bound: 207 548.23/550.90 c current bound: 207 549.78/552.44 c current bound: 207 551.40/554.07 c current bound: 207 552.91/555.58 c current bound: 207 554.66/557.32 c current bound: 207 556.29/558.96 c current bound: 207 557.87/560.53 c current bound: 207 559.50/562.28 c current bound: 207 561.11/563.88 c current bound: 207 562.78/565.42 c current bound: 207 564.37/567.16 c current bound: 207 565.96/568.76 c current bound: 207 567.68/570.47 c current bound: 207 569.36/572.04 c current bound: 207 570.84/573.63 c current bound: 207 572.55/575.26 c current bound: 207 574.17/576.96 c current bound: 207 575.85/578.54 c current bound: 207 577.29/580.09 c current bound: 207 579.14/581.82 c current bound: 207 580.58/583.38 c current bound: 207 582.26/585.06 c current bound: 207 583.86/586.67 c current bound: 207 585.59/588.39 c current bound: 207 587.10/590.01 c current bound: 207 588.93/591.75 c current bound: 207 590.57/593.47 c current bound: 207 592.31/595.21 c current bound: 207 593.87/596.78 c current bound: 207 595.53/598.35 c current bound: 207 597.16/600.16 c current bound: 207 598.84/601.73 c current bound: 207 600.25/603.26 c current bound: 207 601.85/604.85 c current bound: 207 603.41/606.41 c current bound: 207 604.94/607.96 c current bound: 207 606.68/609.68 c current bound: 207 608.20/611.21 c current bound: 207 609.78/612.78 c current bound: 207 611.51/614.51 c current bound: 207 613.23/616.23 c current bound: 207 614.77/617.77 c current bound: 207 616.34/619.28 c current bound: 207 617.84/620.85 c current bound: 207 619.38/622.37 c current bound: 207 620.98/623.98 c current bound: 207 622.60/625.59 c current bound: 207 624.30/627.30 c current bound: 207 625.83/628.83 c current bound: 207 627.39/630.38 c current bound: 207 628.98/631.97 c current bound: 207 630.71/633.70 c current bound: 207 632.32/635.32 c current bound: 207 633.95/636.83 c current bound: 207 635.51/638.51 c current bound: 207 637.34/640.22 c current bound: 207 638.92/641.92 c current bound: 207 640.55/643.47 c current bound: 207 642.10/645.10 c current bound: 207 643.85/646.71 c current bound: 207 645.42/648.42 c current bound: 207 647.20/650.16 c current bound: 207 648.57/651.67 c current bound: 207 650.34/653.34 c current bound: 207 651.80/654.90 c current bound: 207 653.63/656.62 c current bound: 207 655.05/658.15 c current bound: 207 656.77/659.88 c current bound: 207 658.51/661.62 c current bound: 207 660.26/663.36 c current bound: 207 661.78/664.89 c current bound: 207 663.35/666.46 c current bound: 207 665.01/668.14 c current bound: 207 666.57/669.70 c current bound: 207 668.12/671.24 c current bound: 207 669.81/672.93 c current bound: 207 671.32/674.45 c current bound: 207 672.93/676.05 c current bound: 207 674.54/677.58 c current bound: 207 676.22/679.34 c current bound: 207 677.82/680.88 c current bound: 207 679.48/682.60 c current bound: 207 681.18/684.32 c current bound: 207 682.88/686.01 c current bound: 207 684.42/687.55 c current bound: 207 686.32/689.40 c current bound: 207 687.69/690.92 c current bound: 207 689.22/692.46 c current bound: 207 690.95/694.18 c current bound: 207 692.68/695.91 c current bound: 207 694.39/697.63 c current bound: 207 696.12/699.35 c current bound: 207 697.76/700.98 c current bound: 207 699.29/702.52 c current bound: 207 700.88/704.11 c current bound: 207 702.50/705.72 c current bound: 207 704.22/707.45 c current bound: 207 705.74/708.96 c current bound: 207 707.46/710.69 c current bound: 207 709.20/712.43 c current bound: 207 710.81/713.95 c current bound: 207 712.47/715.69 c current bound: 207 714.07/717.39 c current bound: 207 715.58/718.91 c current bound: 207 717.30/720.63 c current bound: 207 718.98/722.41 c current bound: 207 720.71/724.13 c current bound: 207 722.39/725.81 c current bound: 207 724.12/727.54 c current bound: 207 725.92/729.25 c current bound: 207 727.58/730.99 c current bound: 207 729.30/732.73 c current bound: 207 730.88/734.29 c current bound: 207 732.60/736.03 c current bound: 207 734.34/737.75 c current bound: 207 735.94/739.37 c current bound: 207 737.47/740.88 c current bound: 207 739.16/742.65 c current bound: 207 740.71/744.19 c current bound: 207 742.36/745.74 c current bound: 207 743.88/747.36 c current bound: 207 745.40/748.88 c current bound: 207 747.14/750.62 c current bound: 207 748.96/752.32 c current bound: 207 750.50/753.98 c current bound: 207 752.03/755.51 c current bound: 207 753.56/757.04 c current bound: 207 755.07/758.55 c current bound: 207 756.69/760.16 c current bound: 207 758.40/761.87 c current bound: 207 760.12/763.60 c current bound: 207 761.86/765.34 c current bound: 207 763.41/766.88 c current bound: 207 765.11/768.58 c current bound: 207 766.86/770.32 c current bound: 207 768.38/771.85 c current bound: 207 770.04/773.51 c current bound: 207 771.76/775.31 c current bound: 207 773.48/777.03 c current bound: 207 775.30/778.76 c current bound: 207 776.89/780.43 c current bound: 207 778.61/782.16 c current bound: 207 780.34/783.88 c current bound: 207 782.05/785.60 c current bound: 207 783.58/787.13 c current bound: 207 785.30/788.72 c current bound: 207 786.83/790.39 c current bound: 207 788.51/792.07 c current bound: 207 790.04/793.60 c current bound: 207 791.78/795.29 c current bound: 207 793.26/796.83 c current bound: 207 794.81/798.38 c current bound: 207 796.59/800.00 c current bound: 207 798.01/801.58 c current bound: 207 799.65/803.21 c current bound: 207 801.18/804.74 c current bound: 207 802.92/806.48 c current bound: 207 804.44/808.01 c current bound: 207 806.08/809.58 c current bound: 207 807.59/811.15 c current bound: 207 809.15/812.71 c current bound: 207 810.82/814.39 c current bound: 207 812.68/816.13 c current bound: 207 814.31/817.88 c current bound: 207 816.03/819.59 c current bound: 207 817.55/821.12 c current bound: 207 819.31/822.86 c current bound: 207 820.88/824.51 c current bound: 207 822.51/826.06 c current bound: 207 823.97/827.60 c current bound: 207 825.52/829.16 c current bound: 207 827.42/830.90 c current bound: 207 828.80/832.44 c current bound: 207 830.53/834.16 c current bound: 207 832.04/835.68 c current bound: 207 833.66/837.30 c current bound: 207 835.36/839.02 c current bound: 207 837.08/840.78 c current bound: 207 838.81/842.50 c current bound: 207 840.35/844.05 c current bound: 207 842.22/845.91 c current bound: 207 843.70/847.52 c current bound: 207 845.42/849.20 c current bound: 207 846.89/850.72 c current bound: 207 848.72/852.45 c current bound: 207 850.14/853.97 c current bound: 207 851.76/855.59 c current bound: 207 853.50/857.33 c current bound: 207 855.03/858.86 c current bound: 207 856.60/860.44 c current bound: 207 858.25/862.09 c current bound: 207 859.83/863.66 c current bound: 207 861.48/865.32 c current bound: 207 863.12/866.83 c current bound: 207 864.50/868.34 c current bound: 207 866.08/869.93 c current bound: 207 867.60/871.44 c current bound: 207 869.19/873.02 c current bound: 207 870.74/874.57 c current bound: 207 872.46/876.29 c current bound: 207 874.12/877.80 c current bound: 207 875.49/879.32 c current bound: 207 877.31/881.05 c current bound: 207 878.77/882.60 c current bound: 207 880.29/884.13 c current bound: 207 881.82/885.66 c current bound: 207 883.35/887.19 c current bound: 207 885.10/888.82 c current bound: 207 886.70/890.55 c current bound: 207 888.43/892.27 c current bound: 207 889.97/893.81 c current bound: 207 891.61/895.35 c current bound: 207 893.25/897.08 c current bound: 207 894.90/898.64 c current bound: 207 896.50/900.34 c current bound: 207 898.21/901.91 c current bound: 207 899.65/903.48 c current bound: 207 901.20/905.04 c current bound: 207 902.93/906.60 c current bound: 207 904.49/908.43 c current bound: 207 906.04/909.98 c current bound: 207 907.61/911.55 c current bound: 207 909.31/913.10 c current bound: 207 910.84/914.77 c current bound: 207 912.55/916.49 c current bound: 207 914.07/918.02 c current bound: 207 915.89/919.80 c current bound: 207 917.44/921.50 c current bound: 207 919.09/923.14 c current bound: 207 920.72/924.86 c current bound: 207 922.45/926.59 c current bound: 207 924.11/928.24 c current bound: 207 925.65/929.77 c current bound: 207 927.23/931.38 c current bound: 207 928.75/932.89 c current bound: 207 930.28/934.42 c current bound: 207 932.00/936.08 c current bound: 207 933.48/937.62 c current bound: 207 935.03/939.19 c current bound: 207 936.58/940.73 c current bound: 207 938.23/942.38 c current bound: 207 939.82/943.98 c current bound: 207 941.55/945.70 c current bound: 207 943.28/947.44 c current bound: 207 944.88/949.05 c current bound: 207 946.63/950.79 c current bound: 207 948.23/952.42 c current bound: 207 949.77/953.96 c current bound: 207 951.42/955.61 c current bound: 207 952.96/957.15 c current bound: 207 954.67/958.87 c current bound: 207 956.21/960.39 c current bound: 207 957.88/962.08 c current bound: 207 959.78/963.90 c current bound: 207 961.17/965.43 c current bound: 207 962.84/967.12 c current bound: 207 964.35/968.62 c current bound: 207 966.01/970.27 c current bound: 207 967.50/971.78 c current bound: 207 969.04/973.33 c current bound: 207 970.77/975.04 c current bound: 207 972.32/976.61 c current bound: 207 973.87/978.16 c current bound: 207 975.56/979.84 c current bound: 207 977.26/981.40 c current bound: 207 978.66/982.95 c current bound: 207 980.25/984.48 c current bound: 207 981.80/986.08 c current bound: 207 983.55/987.74 c current bound: 207 984.98/989.28 c current bound: 207 986.63/990.92 c current bound: 207 988.18/992.47 c current bound: 207 989.70/993.99 c current bound: 207 991.43/995.72 c current bound: 207 993.18/997.47 c current bound: 207 994.72/999.01 c current bound: 207 996.39/1000.69 c current bound: 207 998.12/1002.43 c current bound: 207 999.80/1004.10 c current bound: 207 1001.46/1005.75 c current bound: 207 1003.10/1007.47 c current bound: 207 1004.64/1009.02 c current bound: 207 1006.37/1010.74 c current bound: 207 1008.10/1012.49 c current bound: 207 1009.63/1014.03 c current bound: 207 1011.39/1015.77 c current bound: 207 1013.05/1017.45 c current bound: 207 1014.66/1019.07 c current bound: 207 1016.54/1020.80 c current bound: 207 1018.13/1022.54 c current bound: 207 1019.67/1024.09 c current bound: 207 1021.21/1025.62 c current bound: 207 1022.74/1027.16 c current bound: 207 1024.35/1028.76 c current bound: 207 1025.96/1030.38 c current bound: 207 1027.69/1032.11 c current bound: 207 1029.28/1033.77 c current bound: 207 1030.85/1035.36 c current bound: 207 1032.56/1037.08 c current bound: 207 1034.09/1038.59 c current bound: 207 1035.61/1040.12 c current bound: 207 1037.33/1041.73 c current bound: 207 1038.95/1043.46 c current bound: 207 1040.70/1045.21 c current bound: 207 1042.25/1046.76 c current bound: 207 1043.93/1048.38 c current bound: 207 1045.43/1049.94 c current bound: 207 1046.97/1051.48 c current bound: 207 1048.71/1053.22 c current bound: 207 1050.26/1054.77 c current bound: 207 1051.78/1056.29 c current bound: 207 1053.51/1058.01 c current bound: 207 1055.23/1059.74 c current bound: 207 1056.80/1061.32 c current bound: 207 1058.53/1063.05 c current bound: 207 1060.10/1064.61 c current bound: 207 1061.73/1066.36 c current bound: 207 1063.24/1067.88 c current bound: 207 1064.99/1069.63 c current bound: 207 1066.66/1071.40 c current bound: 207 1068.40/1073.13 c current bound: 207 1070.20/1074.83 c current bound: 207 1071.77/1076.52 c current bound: 207 1073.53/1078.26 c current bound: 207 1075.05/1079.79 c current bound: 207 1076.79/1081.40 c current bound: 207 1078.30/1083.07 c current bound: 207 1079.97/1084.62 c current bound: 207 1081.59/1086.35 c current bound: 207 1083.29/1088.08 c current bound: 207 1085.03/1089.80 c current bound: 207 1086.66/1091.34 c current bound: 207 1088.08/1092.87 c current bound: 207 1089.85/1094.59 c current bound: 207 1091.54/1096.34 c current bound: 207 1093.28/1098.07 c current bound: 207 1095.02/1099.81 c current bound: 207 1096.55/1101.35 c current bound: 207 1098.05/1102.86 c current bound: 207 1099.81/1104.62 c current bound: 207 1101.54/1106.35 c current bound: 207 1103.08/1107.89 c current bound: 207 1104.79/1109.63 c current bound: 207 1106.37/1111.18 c current bound: 207 1107.96/1112.78 c current bound: 207 1109.67/1114.51 c current bound: 207 1111.32/1116.14 c current bound: 207 1112.91/1117.68 c current bound: 207 1114.52/1119.20 c current bound: 207 1116.21/1120.93 c current bound: 207 1117.84/1122.67 c current bound: 207 1119.56/1124.39 c current bound: 207 1121.23/1126.07 c current bound: 207 1122.92/1127.76 c current bound: 207 1124.63/1129.48 c current bound: 207 1126.50/1131.20 c current bound: 207 1127.96/1132.81 c current bound: 207 1129.54/1134.48 c current bound: 207 1131.09/1136.04 c current bound: 207 1132.67/1137.61 c current bound: 207 1134.23/1139.18 c current bound: 207 1135.95/1140.90 c current bound: 207 1137.71/1142.67 c current bound: 207 1139.23/1144.18 c current bound: 207 1140.75/1145.70 c current bound: 207 1142.59/1147.44 c current bound: 207 1144.03/1148.98 c current bound: 207 1145.56/1150.51 c current bound: 207 1147.30/1152.26 c current bound: 207 1149.18/1154.00 c current bound: 207 1150.76/1155.73 c current bound: 207 1152.36/1157.25 c current bound: 207 1154.00/1158.95 c current bound: 207 1155.79/1160.73 c current bound: 207 1157.38/1162.30 c current bound: 207 1158.98/1164.05 c current bound: 207 1160.51/1165.59 c current bound: 207 1162.15/1167.15 c current bound: 207 1163.60/1168.69 c current bound: 207 1165.18/1170.27 c current bound: 207 1167.06/1172.00 c current bound: 207 1168.74/1173.71 c current bound: 207 1170.36/1175.45 c current bound: 207 1172.01/1177.05 c current bound: 207 1173.39/1178.58 c current bound: 207 1175.13/1180.30 c current bound: 207 1176.84/1182.13 c current bound: 207 1178.49/1183.78 c current bound: 207 1180.37/1185.50 c current bound: 207 1181.84/1187.13 c current bound: 207 1183.44/1188.72 c current bound: 207 1185.15/1190.35 c current bound: 207 1186.60/1191.88 c current bound: 207 1188.36/1193.53 c current bound: 207 1189.95/1195.23 c current bound: 207 1191.68/1196.96 c current bound: 207 1193.42/1198.69 c current bound: 207 1195.06/1200.34 c current bound: 207 1196.75/1202.02 c current bound: 207 1198.29/1203.66 c current bound: 207 1199.96/1205.33 c current bound: 207 1201.64/1207.01 c current bound: 207 1203.17/1208.55 c current bound: 207 1204.85/1210.14 c current bound: 207 1206.46/1211.70 c current bound: 207 1208.14/1213.44 c current bound: 207 1209.79/1215.18 c current bound: 207 1211.50/1216.90 c current bound: 207 1213.05/1218.45 c current bound: 207 1214.76/1220.17 c current bound: 207 1216.27/1221.67 c current bound: 207 1218.05/1223.30 c current bound: 207 1219.54/1224.94 c current bound: 207 1221.24/1226.51 c current bound: 207 1222.80/1228.20 c current bound: 207 1224.36/1229.77 c current bound: 207 1225.92/1231.33 c current bound: 207 1227.55/1232.96 c current bound: 207 1229.15/1234.57 c current bound: 207 1230.88/1236.28 c current bound: 207 1232.51/1237.92 c current bound: 207 1234.22/1239.64 c current bound: 207 1235.81/1241.22 c current bound: 207 1237.42/1242.92 c current bound: 207 1238.95/1244.46 c current bound: 207 1240.50/1246.00 c current bound: 207 1242.13/1247.62 c current bound: 207 1243.63/1249.14 c current bound: 207 1245.15/1250.67 c current bound: 207 1246.81/1252.31 c current bound: 207 1248.36/1253.86 c current bound: 207 1250.25/1255.60 c current bound: 207 1251.61/1257.11 c current bound: 207 1253.35/1258.86 c current bound: 207 1254.94/1260.45 c current bound: 207 1256.64/1262.14 c current bound: 207 1258.38/1263.89 c current bound: 207 1259.91/1265.42 c current bound: 207 1261.64/1267.14 c current bound: 207 1263.20/1268.87 c current bound: 207 1265.07/1270.61 c current bound: 207 1266.46/1272.13 c current bound: 207 1267.97/1273.64 c current bound: 207 1269.72/1275.38 c current bound: 207 1271.25/1276.92 c current bound: 207 1272.98/1278.66 c current bound: 207 1274.57/1280.34 c current bound: 207 1276.09/1281.88 c current bound: 207 1277.69/1283.48 c current bound: 207 1279.43/1285.22 c current bound: 207 1280.98/1286.77 c current bound: 207 1282.64/1288.44 c current bound: 207 1284.17/1289.97 c current bound: 207 1285.84/1291.52 c current bound: 207 1287.45/1293.24 c current bound: 207 1289.03/1294.80 c current bound: 207 1290.69/1296.48 c current bound: 207 1292.35/1298.03 c current bound: 207 1293.75/1299.55 c current bound: 207 1295.30/1301.09 c current bound: 207 1296.92/1302.72 c current bound: 207 1298.52/1304.30 c current bound: 207 1300.24/1306.04 c current bound: 207 1301.97/1307.76 c current bound: 207 1303.68/1309.48 c current bound: 207 1305.35/1311.00 c current bound: 207 1306.73/1312.53 c current bound: 207 1308.27/1314.07 c current bound: 207 1309.80/1315.59 c current bound: 207 1311.38/1317.17 c current bound: 207 1313.27/1318.90 c current bound: 207 1314.68/1320.49 c current bound: 207 1316.54/1322.22 c current bound: 207 1318.16/1323.97 c current bound: 207 1319.81/1325.54 c current bound: 207 1321.31/1327.14 c current bound: 207 1323.12/1328.90 c current bound: 207 1324.50/1330.45 c current bound: 207 1326.03/1331.97 c current bound: 207 1327.90/1333.70 c current bound: 207 1329.34/1335.29 c current bound: 207 1331.03/1336.99 c current bound: 207 1332.62/1338.59 c current bound: 207 1334.32/1340.29 c current bound: 207 1335.93/1341.88 c current bound: 207 1337.64/1343.60 c current bound: 207 1339.14/1345.23 c current bound: 207 1340.65/1346.74 c current bound: 207 1342.21/1348.28 c current bound: 207 1343.97/1349.90 c current bound: 207 1345.65/1351.60 c current bound: 207 1347.14/1353.14 c current bound: 207 1348.58/1354.68 c current bound: 207 1350.43/1356.42 c current bound: 207 1351.84/1357.95 c current bound: 207 1353.43/1359.54 c current bound: 207 1355.07/1361.19 c current bound: 207 1356.76/1362.87 c current bound: 207 1358.40/1364.52 c current bound: 207 1360.22/1366.22 c current bound: 207 1361.82/1367.95 c current bound: 207 1363.54/1369.68 c current bound: 207 1365.19/1371.33 c current bound: 207 1366.90/1372.99 c current bound: 207 1368.28/1374.51 c current bound: 207 1369.83/1376.06 c current bound: 207 1371.35/1377.61 c current bound: 207 1373.04/1379.28 c current bound: 207 1374.61/1380.87 c current bound: 207 1376.31/1382.56 c current bound: 207 1378.03/1384.28 c current bound: 207 1379.88/1386.04 c current bound: 207 1381.38/1387.65 c current bound: 207 1383.17/1389.38 c current bound: 207 1384.84/1391.10 c current bound: 207 1386.55/1392.83 c current bound: 207 1388.05/1394.42 c current bound: 207 1389.78/1396.03 c current bound: 207 1391.39/1397.77 c current bound: 207 1393.01/1399.49 c current bound: 207 1394.62/1401.12 c current bound: 207 1396.17/1402.67 c current bound: 207 1397.95/1404.30 c current bound: 207 1399.43/1405.86 c current bound: 207 1400.90/1407.41 c current bound: 207 1402.39/1408.93 c current bound: 207 1404.14/1410.67 c current bound: 207 1405.68/1412.24 c current bound: 207 1407.21/1413.76 c current bound: 207 1408.93/1415.49 c current bound: 207 1410.60/1417.16 c current bound: 207 1412.24/1418.82 c current bound: 207 1413.99/1420.56 c current bound: 207 1415.53/1422.13 c current bound: 207 1417.10/1423.69 c current bound: 207 1418.81/1425.42 c current bound: 207 1420.55/1427.15 c current bound: 207 1422.27/1428.88 c current bound: 207 1423.94/1430.54 c current bound: 207 1425.82/1432.32 c current bound: 207 1427.33/1433.97 c current bound: 207 1429.00/1435.54 c current bound: 207 1430.65/1437.38 c current bound: 207 1432.22/1438.96 c current bound: 207 1433.76/1440.50 c current bound: 207 1435.50/1442.16 c current bound: 207 1437.04/1443.79 c current bound: 207 1438.89/1445.53 c current bound: 207 1440.30/1447.07 c current bound: 207 1442.01/1448.76 c current bound: 207 1443.61/1450.50 c current bound: 207 1445.33/1452.23 c current bound: 207 1446.95/1453.86 c current bound: 207 1448.54/1455.40 c current bound: 207 1450.14/1457.04 c current bound: 207 1451.68/1458.60 c current bound: 207 1453.43/1460.34 c current bound: 207 1455.13/1462.07 c current bound: 207 1456.88/1463.81 c current bound: 207 1458.62/1465.55 c current bound: 207 1460.14/1467.09 c current bound: 207 1461.74/1468.68 c current bound: 207 1463.48/1470.51 c current bound: 207 1465.23/1472.24 c current bound: 207 1466.95/1473.96 c current bound: 207 1468.69/1475.70 c current bound: 207 1470.52/1477.42 c current bound: 207 1471.96/1478.99 c current bound: 207 1473.70/1480.66 c current bound: 207 1475.30/1482.42 c current bound: 207 1477.04/1484.00 c current bound: 207 1478.42/1485.54 c current bound: 207 1480.06/1487.19 c current bound: 207 1481.79/1488.91 c current bound: 207 1483.31/1490.45 c current bound: 207 1484.94/1492.08 c current bound: 207 1486.81/1493.81 c current bound: 207 1488.22/1495.35 c current bound: 207 1489.76/1496.88 c current bound: 207 1491.36/1498.50 c current bound: 207 1493.06/1500.20 c current bound: 207 1494.68/1501.82 c current bound: 207 1496.38/1503.52 c current bound: 207 1497.93/1505.08 c current bound: 207 1499.45/1506.59 c current bound: 207 1501.10/1508.25 c current bound: 207 1502.81/1509.96 c current bound: 207 1504.48/1511.62 c current bound: 207 1506.20/1513.35 c current bound: 207 1507.73/1514.88 c current bound: 207 1509.47/1516.61 c current bound: 207 1511.06/1518.21 c current bound: 207 1512.68/1519.93 c current bound: 207 1514.41/1521.65 c current bound: 207 1515.96/1523.21 c current bound: 207 1517.53/1524.78 c current bound: 207 1519.21/1526.47 c current bound: 207 1520.84/1528.10 c current bound: 207 1522.39/1529.65 c current bound: 207 1523.94/1531.20 c current bound: 207 1525.49/1532.77 c current bound: 207 1527.29/1534.40 c current bound: 207 1528.79/1536.09 c current bound: 207 1530.43/1537.73 c current bound: 207 1531.96/1539.26 c current bound: 207 1533.55/1540.85 c current bound: 207 1535.07/1542.36 c current bound: 207 1536.59/1543.89 c current bound: 207 1538.15/1545.43 c current bound: 207 1539.85/1547.15 c current bound: 207 1541.42/1548.72 c current bound: 207 1543.08/1550.38 c current bound: 207 1544.61/1551.91 c current bound: 207 1546.19/1553.49 c current bound: 207 1547.89/1555.19 c current bound: 207 1549.47/1556.76 c current bound: 207 1551.00/1558.47 c current bound: 207 1552.74/1560.21 c current bound: 207 1554.41/1561.88 c current bound: 207 1556.06/1563.53 c current bound: 207 1557.59/1565.05 c current bound: 207 1559.18/1566.65 c current bound: 207 1560.90/1568.47 c current bound: 207 1562.61/1570.16 c current bound: 207 1564.14/1571.71 c current bound: 207 1565.67/1573.24 c current bound: 207 1567.35/1574.91 c current bound: 207 1569.09/1576.65 c current bound: 207 1570.81/1578.37 c current bound: 207 1572.37/1579.93 c current bound: 207 1573.88/1581.45 c current bound: 207 1575.63/1583.19 c current bound: 207 1577.34/1584.91 c current bound: 207 1579.01/1586.57 c current bound: 207 1580.53/1588.11 c current bound: 207 1582.18/1589.61 c current bound: 207 1583.60/1591.17 c current bound: 207 1585.21/1592.75 c current bound: 207 1586.92/1594.45 c current bound: 207 1588.66/1596.16 c current bound: 207 1590.64/1597.94 c current bound: 207 1592.30/1599.73 c current bound: 207 1594.12/1601.52 c current bound: 207 1595.87/1603.11 c current bound: 207 1597.39/1604.73 c current bound: 207 1599.15/1606.47 c current bound: 207 1600.95/1608.06 c current bound: 207 1602.55/1609.80 c current bound: 207 1604.37/1611.60 c current bound: 207 1606.05/1613.25 c current bound: 207 1607.68/1614.84 c current bound: 207 1609.48/1616.62 c current bound: 207 1611.29/1618.41 c current bound: 207 1613.04/1619.98 c current bound: 207 1614.52/1621.58 c current bound: 207 1616.53/1623.40 c current bound: 207 1618.14/1625.15 c current bound: 207 1619.86/1626.86 c current bound: 207 1621.63/1628.58 c current bound: 207 1623.22/1630.14 c current bound: 207 1624.82/1631.73 c current bound: 207 1626.43/1633.30 c current bound: 207 1628.28/1635.12 c current bound: 207 1629.88/1636.69 c current bound: 207 1631.54/1638.33 c current bound: 207 1633.18/1639.96 c current bound: 207 1634.80/1641.55 c current bound: 207 1636.78/1643.34 c current bound: 207 1638.31/1645.01 c current bound: 207 1639.98/1646.64 c current bound: 207 1641.65/1648.29 c current bound: 207 1643.25/1649.88 c current bound: 207 1645.08/1651.67 c current bound: 207 1646.89/1653.44 c current bound: 207 1648.62/1655.01 c current bound: 207 1650.08/1656.57 c current bound: 207 1651.67/1658.14 c current bound: 207 1653.46/1659.72 c current bound: 207 1654.99/1661.39 c current bound: 207 1656.65/1663.02 c current bound: 207 1658.24/1664.62 c current bound: 207 1659.80/1666.16 c current bound: 207 1661.48/1667.80 c current bound: 207 1663.27/1669.56 c current bound: 207 1664.90/1671.16 c current bound: 207 1666.73/1672.97 c current bound: 207 1668.48/1674.54 c current bound: 207 1670.12/1676.28 c current bound: 207 1671.73/1677.87 c current bound: 207 1673.32/1679.45 c current bound: 207 1675.15/1681.26 c current bound: 207 1676.82/1682.91 c current bound: 207 1678.72/1684.62 c current bound: 207 1680.15/1686.18 c current bound: 207 1681.95/1687.96 c current bound: 207 1683.58/1689.55 c current bound: 207 1685.21/1691.16 c current bound: 207 1687.14/1692.92 c current bound: 207 1688.78/1694.69 c current bound: 207 1690.36/1696.24 c current bound: 207 1692.07/1697.92 c current bound: 207 1693.69/1699.50 c current bound: 207 1695.26/1701.06 c current bound: 207 1696.83/1702.59 c current bound: 207 1698.39/1704.11 c current bound: 207 1700.15/1705.85 c current bound: 207 1701.91/1707.59 c current bound: 207 1703.59/1709.13 c current bound: 207 1705.09/1710.72 c current bound: 207 1706.88/1712.31 c current bound: 207 1708.34/1713.92 c current bound: 207 1710.11/1715.65 c current bound: 207 1711.73/1717.26 c current bound: 207 1713.28/1718.78 c current bound: 207 1715.00/1720.46 c current bound: 207 1716.70/1722.06 c current bound: 207 1718.32/1723.74 c current bound: 207 1719.91/1725.29 c current bound: 207 1721.52/1726.88 c current bound: 207 1723.29/1728.64 c current bound: 207 1725.05/1730.36 c current bound: 207 1726.82/1732.10 c current bound: 207 1728.58/1733.85 c current bound: 207 1730.24/1735.47 c current bound: 207 1732.04/1737.12 c current bound: 207 1733.72/1738.85 c current bound: 207 1735.25/1740.44 c current bound: 207 1737.17/1742.35 c current bound: 207 1738.72/1744.03 c current bound: 207 1740.35/1745.63 c current bound: 207 1742.05/1747.32 c current bound: 207 1743.65/1748.88 c current bound: 207 1745.42/1750.63 c current bound: 207 1747.17/1752.20 c current bound: 207 1748.64/1753.81 c current bound: 207 1750.43/1755.55 c current bound: 207 1751.98/1757.08 c current bound: 207 1753.89/1759.24 c current bound: 207 1755.29/1760.77 c current bound: 207 1756.86/1762.31 c current bound: 207 1758.80/1766.43 c current bound: 207 1760.38/1768.16 c current bound: 207 1762.13/1769.70 c current bound: 207 1763.73/1771.44 c current bound: 207 1765.55/1773.17 c current bound: 207 1767.06/1774.72 c current bound: 207 1768.73/1776.35 c current bound: 207 1770.50/1778.09 c current bound: 207 1772.30/1889.90 c current bound: 207 1773.79/1891.63 c current bound: 207 1775.45/1893.29 c current bound: 207 1776.99/1894.83 c current bound: 207 1778.49/1896.33 c current bound: 207 1780.01/1897.85 c current bound: 207 1781.53/1899.37 c current bound: 207 1782.30/1900.00 ./satsolver.sh: line 5: 4969 Terminated ./glucose $1 > $2 2> /dev/null 1782.30/1900.01 c error: unexpected solver exit code 1782.30/1900.01 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715621-1338198991/watcher-3715621-1338198991 -o /tmp/evaluation-result-3715621-1338198991/solver-3715621-1338198991 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715621-1338198991.wbo 2139058291 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.98 1.99 1.99 3/177 26431 /proc/meminfo: memFree=29746292/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [startup+0.088596 s] /proc/loadavg: 1.98 1.99 1.99 3/177 26431 /proc/meminfo: memFree=29746292/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100291 s] /proc/loadavg: 1.98 1.99 1.99 3/177 26431 /proc/meminfo: memFree=29746292/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300281 s] /proc/loadavg: 1.98 1.99 1.99 3/177 26431 /proc/meminfo: memFree=29746292/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.70022 s] /proc/loadavg: 1.98 1.99 1.99 3/177 26431 /proc/meminfo: memFree=29746292/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50034 s] /proc/loadavg: 1.98 1.99 1.99 3/181 26445 /proc/meminfo: memFree=29712032/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=7364 CPUtime=0.18 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 2936 6632 0 0 7 1 8 2 20 0 1 0 286024559 7540736 1481 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/26432/statm: 1841 1481 175 439 0 1398 0 [pid=26444] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26444/stat : 26444 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286024580 9367552 266 33554432000 4194304 5064252 140733312089728 140733312088640 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26444/statm: 2287 266 226 213 0 72 0 [pid=26445] ppid=26444 vsize=30840 CPUtime=1.28 cores=1,3,5,7 /proc/26445/stat : 26445 (glucose) R 26444 26431 20162 0 -1 4202496 6053 0 0 0 127 1 0 0 20 0 1 0 286024580 31580160 6383 33554432000 4194304 5208918 140733932370992 140733932368840 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26445/statm: 7710 6383 95 248 0 7459 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 56500 [startup+3.10034 s] /proc/loadavg: 1.98 1.99 1.99 3/181 26459 /proc/meminfo: memFree=29708992/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=1.91 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 4598 16904 0 0 11 2 167 11 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 [pid=26458] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26458/stat : 26458 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286024753 9367552 267 33554432000 4194304 5064252 140736549885440 140736549884352 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26458/statm: 2287 267 226 213 0 72 0 [pid=26459] ppid=26458 vsize=30840 CPUtime=1.15 cores=1,3,5,7 /proc/26459/stat : 26459 (glucose) R 26458 26431 20162 0 -1 4202496 6059 0 0 0 114 1 0 0 20 0 1 0 286024753 31580160 6377 33554432000 4194304 5208918 140736802097968 140736802095816 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/26459/statm: 7710 6377 95 248 0 7459 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 60468 [startup+6.30034 s] /proc/loadavg: 1.98 1.99 1.99 3/181 26480 /proc/meminfo: memFree=29711544/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=5.24 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 7920 38480 0 0 19 4 474 27 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 [pid=26475] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26475/stat : 26475 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286025088 9367552 266 33554432000 4194304 5064252 140737386049088 140737386048000 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/26475/statm: 2287 266 226 213 0 72 0 [pid=26476] ppid=26475 vsize=30840 CPUtime=0.99 cores=1,3,5,7 /proc/26476/stat : 26476 (glucose) R 26475 26431 20162 0 -1 4202496 6068 0 0 0 98 1 0 0 20 0 1 0 286025088 31580160 6356 33554432000 4194304 5208918 140737466065344 140737466063192 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/26476/statm: 7710 6356 95 248 0 7459 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 60468 [startup+12.7003 s] /proc/loadavg: 1.98 1.99 1.99 3/181 26515 /proc/meminfo: memFree=29708072/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=11.65 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 14564 80193 0 0 36 8 1060 61 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 [pid=26514] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26514/stat : 26514 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286025731 9367552 266 33554432000 4194304 5064252 140735893955120 140735893954032 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/26514/statm: 2287 266 226 213 0 72 0 [pid=26515] ppid=26514 vsize=30840 CPUtime=0.97 cores=1,3,5,7 /proc/26515/stat : 26515 (glucose) R 26514 26431 20162 0 -1 4202496 6043 0 0 0 96 1 0 0 20 0 1 0 286025731 31580160 6348 33554432000 4194304 5208918 140736684368144 140736684366552 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/26515/statm: 7710 6348 95 248 0 7459 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 60468 [startup+25.5003 s] /proc/loadavg: 2.07 2.00 2.00 3/181 26599 /proc/meminfo: memFree=29707816/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=24.68 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 27852 165034 0 0 71 15 2250 132 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 [pid=26598] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26598/stat : 26598 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286027035 9367552 266 33554432000 4194304 5064252 140736776081824 140736776080736 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/26598/statm: 2287 266 226 213 0 72 0 [pid=26599] ppid=26598 vsize=30840 CPUtime=0.72 cores=1,3,5,7 /proc/26599/stat : 26599 (glucose) R 26598 26431 20162 0 -1 4202496 5978 0 0 0 71 1 0 0 20 0 1 0 286027035 31580160 6308 33554432000 4194304 5208918 140734247624432 140734247622840 4211577 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/26599/statm: 7710 6308 95 248 0 7459 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 60468 [startup+51.1003 s] /proc/loadavg: 2.04 2.00 2.00 3/178 26751 /proc/meminfo: memFree=29740424/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=49.85 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 52767 320819 0 0 137 27 4559 262 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 [pid=26745] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26745/stat : 26745 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286029572 9367552 266 33554432000 4194304 5064252 140733652437888 140733652436800 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/26745/statm: 2287 266 226 213 0 72 0 [pid=26746] ppid=26745 vsize=30844 CPUtime=0.96 cores=1,3,5,7 /proc/26746/stat : 26746 (glucose) R 26745 26431 20162 0 -1 4202496 6050 0 0 0 95 1 0 0 20 0 1 0 286029572 31584256 6351 33554432000 4194304 5208918 140733277777952 140733277775800 4211584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/26746/statm: 7711 6351 95 248 0 7460 0 Current children cumulated CPU time (s) 50.81 Current children cumulated vsize (KiB) 60472 [startup+102.307 s] /proc/loadavg: 2.02 2.00 2.00 3/181 27062 /proc/meminfo: memFree=29704744/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=101.92 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 104266 654486 0 0 272 52 9329 539 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724772720 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 Current children cumulated CPU time (s) 101.92 Current children cumulated vsize (KiB) 20480 [startup+162.3 s] /proc/loadavg: 1.95 1.98 1.99 3/181 27433 /proc/meminfo: memFree=29707940/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=160.85 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 165715 1033609 0 0 433 84 14707 861 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 [pid=27432] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/27432/stat : 27432 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286040705 9367552 267 33554432000 4194304 5064252 140735955139216 140735955138128 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/27432/statm: 2287 267 226 213 0 72 0 [pid=27433] ppid=27432 vsize=30844 CPUtime=0.84 cores=1,3,5,7 /proc/27433/stat : 27433 (glucose) R 27432 26431 20162 0 -1 4202496 5989 0 0 0 83 1 0 0 20 0 1 0 286040705 31584256 6316 33554432000 4194304 5208918 140735993122896 140735993121304 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/27433/statm: 7711 6316 95 248 0 7460 0 Current children cumulated CPU time (s) 161.69 ################ # More data... # ################ /proc/1998/statm: 2287 267 226 213 0 72 0 [pid=1999] ppid=1998 vsize=30844 CPUtime=1.14 cores=1,3,5,7 /proc/1999/stat : 1999 (glucose) R 1998 26431 20162 0 -1 4202496 6053 0 0 0 113 1 0 0 20 0 1 0 286154674 31584256 6373 33554432000 4194304 5208918 140735023112608 140735023110456 4211584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1999/statm: 7711 6373 95 248 0 7460 0 Current children cumulated CPU time (s) 1296.64 Current children cumulated vsize (KiB) 60472 [startup+1362.3 s] /proc/loadavg: 1.98 2.00 2.00 3/181 2363 /proc/meminfo: memFree=29703408/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=1355.28 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1383138 8690775 0 0 3638 691 124035 7164 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 33 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 [pid=2362] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/2362/stat : 2362 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286160684 9367552 266 33554432000 4194304 5064252 140733541680032 140733541678944 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/2362/statm: 2287 266 226 213 0 72 0 [pid=2363] ppid=2362 vsize=30840 CPUtime=1.04 cores=1,3,5,7 /proc/2363/stat : 2363 (glucose) R 2362 26431 20162 0 -1 4202496 6021 0 0 0 103 1 0 0 20 0 1 0 286160684 31580160 6347 33554432000 4194304 5208918 140734834380032 140734834377880 4211901 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/2363/statm: 7710 6347 95 248 0 7459 0 Current children cumulated CPU time (s) 1356.32 Current children cumulated vsize (KiB) 60468 [startup+1422.3 s] /proc/loadavg: 1.99 2.00 2.00 3/182 2737 /proc/meminfo: memFree=29708448/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=1415.75 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1444595 9078037 0 0 3800 722 129564 7489 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 35 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 [pid=2732] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/2732/stat : 2732 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286166778 9367552 267 33554432000 4194304 5064252 140736712155024 140736712153936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/2732/statm: 2287 267 226 213 0 72 0 [pid=2733] ppid=2732 vsize=30708 CPUtime=0.1 cores=1,3,5,7 /proc/2733/stat : 2733 (glucose) R 2732 26431 20162 0 -1 4202496 5887 0 0 0 9 1 0 0 20 0 1 0 286166778 31444992 6180 33554432000 4194304 5208918 140737319076144 140737319074552 4231508 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/2733/statm: 7677 6180 95 248 0 7426 0 Current children cumulated CPU time (s) 1415.85 Current children cumulated vsize (KiB) 60336 [startup+1482.3 s] /proc/loadavg: 1.99 2.00 2.00 3/181 3087 /proc/meminfo: memFree=29705084/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=1475.3 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1502738 9454795 0 0 3953 751 135025 7801 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724772720 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 35 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 Current children cumulated CPU time (s) 1475.3 Current children cumulated vsize (KiB) 20480 [startup+1542.31 s] /proc/loadavg: 1.94 1.98 1.99 3/181 3451 /proc/meminfo: memFree=29701780/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=1535.07 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1564195 9841100 0 0 4115 782 140489 8121 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724772720 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 40 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 Current children cumulated CPU time (s) 1535.07 Current children cumulated vsize (KiB) 20480 [startup+1602.43 s] /proc/loadavg: 1.87 1.95 1.98 4/182 3791 /proc/meminfo: memFree=29722876/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=1594.35 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1625644 10220798 0 0 4275 815 145895 8450 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 40 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 Current children cumulated CPU time (s) 1594.35 Current children cumulated vsize (KiB) 20480 [startup+1662.43 s] /proc/loadavg: 1.48 1.84 1.94 4/181 4166 /proc/meminfo: memFree=29701556/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=1655.22 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1685440 10597422 0 0 4434 852 151368 8868 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 40 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 Current children cumulated CPU time (s) 1655.22 Current children cumulated vsize (KiB) 20480 [startup+1723.59 s] /proc/loadavg: 1.28 1.74 1.90 3/181 4540 /proc/meminfo: memFree=29720952/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=1716.83 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1746897 10982321 0 0 4595 891 156917 9280 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 40 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 Current children cumulated CPU time (s) 1716.83 Current children cumulated vsize (KiB) 20480 [startup+1889.89 s] /proc/loadavg: 0.82 1.53 1.81 4/180 4855 /proc/meminfo: memFree=29228800/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=1772.13 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1800057 11325177 0 0 4735 925 161924 9629 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724772720 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 40 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 Current children cumulated CPU time (s) 1772.13 Current children cumulated vsize (KiB) 20480 [startup+1889.9 s] /proc/loadavg: 0.82 1.53 1.81 4/180 4855 /proc/meminfo: memFree=29228800/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=1772.3 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) R 26431 26431 20162 0 -1 4202496 1800093 11327816 0 0 4735 925 161933 9637 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724772720 5043280 0 0 4096 0 0 0 0 17 1 0 0 40 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 Current children cumulated CPU time (s) 1772.3 Current children cumulated vsize (KiB) 20480 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1900 s] /proc/loadavg: 4.09 2.66 2.20 3/181 4969 /proc/meminfo: memFree=29176620/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=1781.74 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1811676 11391594 0 0 4765 931 162792 9686 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 40 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 [pid=4968] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4968/stat : 4968 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286214502 9367552 266 33554432000 4194304 5064252 140736253537136 140736253536048 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/4968/statm: 2287 266 226 213 0 72 0 [pid=4969] ppid=4968 vsize=30712 CPUtime=0.56 cores=1,3,5,7 /proc/4969/stat : 4969 (glucose) R 4968 26431 20162 0 -1 4202496 5547 0 0 0 55 1 0 0 20 0 1 0 286214502 31449088 6394 33554432000 4194304 5208918 140733645828064 140733645826472 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/4969/statm: 7678 6394 95 248 0 7427 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 60340 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1900 s] /proc/loadavg: 4.09 2.66 2.20 3/181 4969 /proc/meminfo: memFree=29176620/32873852 swapFree=7624/7624 [pid=26431] ppid=26429 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/26431/stat : 26431 (npSolver-wbo-It) S 26429 26431 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286024559 9367552 275 33554432000 4194304 5064252 140735090832304 140735090831216 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/26431/statm: 2287 275 233 213 0 72 0 [pid=26432] ppid=26431 vsize=11332 CPUtime=1781.74 cores=1,3,5,7 /proc/26432/stat : 26432 (npSolver-wbo) S 26431 26431 20162 0 -1 4202496 1811676 11391594 0 0 4765 931 162792 9686 20 0 1 0 286024559 11603968 2395 33554432000 4194304 5990268 140736724781824 140736724773232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 40 0 0 /proc/26432/statm: 2833 2395 176 439 0 2390 0 [pid=4968] ppid=26432 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4968/stat : 4968 (satsolver.sh) S 26432 26431 20162 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286214502 9367552 266 33554432000 4194304 5064252 140736253537136 140736253536048 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/4968/statm: 2287 266 226 213 0 72 0 [pid=4969] ppid=4968 vsize=30712 CPUtime=0.56 cores=1,3,5,7 /proc/4969/stat : 4969 (glucose) R 4968 26431 20162 0 -1 4202496 5547 0 0 0 55 1 0 0 20 0 1 0 286214502 31449088 6394 33554432000 4194304 5208918 140733645828064 140733645826472 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/4969/statm: 7678 6394 95 248 0 7427 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 60340 Child status: 0 Real time (s): 1900.01 CPU time (s): 1782.34 CPU user time (s): 1676.14 CPU system time (s): 106.201 CPU usage (%): 93.8067 Max. virtual memory (cumulated for all children) (KiB): 62280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1676.14 system time used= 106.201 maximum resident set size= 29812 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13209804 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8196552 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 157581 involuntary context switches= 15485 runsolver used 3.89441 second user time and 8.64069 second system time The end
Begin job on node131 at 2012-05-28 11:56:31 IDJOB=3715621 IDBENCH=78980 IDSOLVER=2297 FILE ID=node131/3715621-1338198991 RUNJOBID= node131-1338189901-20180 PBS_JOBID= 14624570 Free space on /tmp= 71720 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715621-1338198991/watcher-3715621-1338198991 -o /tmp/evaluation-result-3715621-1338198991/solver-3715621-1338198991 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715621-1338198991.wbo 2139058291 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ed627c94e924dd829be1b38440fce2ad RANDOM SEED=2139058291 node131.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.805 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 : 5333.61 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.805 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.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 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.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 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.92 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.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 29746548 kB Buffers: 379912 kB Cached: 1874488 kB SwapCached: 2172 kB Active: 648092 kB Inactive: 1644532 kB Active(anon): 39368 kB Inactive(anon): 816 kB Active(file): 608724 kB Inactive(file): 1643716 kB Unevictable: 7624 kB Mlocked: 7624 kB SwapTotal: 67108856 kB SwapFree: 67099044 kB Dirty: 11132 kB Writeback: 0 kB AnonPages: 59164 kB Mapped: 15256 kB Shmem: 0 kB Slab: 695132 kB SReclaimable: 136984 kB SUnreclaim: 558148 kB KernelStack: 1504 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 163536 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71528 MiB End job on node131 at 2012-05-28 12:28:11