Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound | ? (TO) | 1800.06 | 1805.22 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo |
MD5SUM | 540e5098c207f1245411172896d943a2 |
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 | 172 |
Best CPU time to get the best result obtained on this benchmark | 0.046992 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
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.06 o 3399 0.00/0.06 c starting approximation 0.00/0.06 c factor = 2 0.00/0.06 c factor still to low - shrinking to 10.5029 0.00/0.06 c approx number of clauses: 1e+06 0.00/0.06 c current bound: 1699 2.16/2.27 c current bound: 1699 4.37/4.49 c current bound: 1699 6.65/6.71 c current bound: 1699 8.87/8.90 c current bound: 1699 11.05/11.10 c current bound: 1699 13.25/13.32 c current bound: 1699 15.26/15.52 c current bound: 1699 17.64/17.71 c current bound: 1699 19.64/20.02 c current bound: 1699 21.85/22.22 c current bound: 1699 24.03/24.41 c current bound: 1699 26.22/26.61 c current bound: 1699 28.44/28.82 c current bound: 1699 30.65/31.02 c current bound: 1699 32.84/33.25 c current bound: 1699 35.04/35.45 c current bound: 1699 37.20/37.61 c current bound: 1699 39.39/39.81 c current bound: 1699 41.81/42.00 c current bound: 1699 44.01/44.20 c current bound: 1699 45.98/46.39 c current bound: 1699 48.18/48.59 c current bound: 1699 50.39/50.79 c current bound: 1699 52.58/52.99 c current bound: 1699 54.77/55.18 c current bound: 1699 56.95/57.36 c current bound: 1699 59.15/59.55 c current bound: 1699 61.34/61.75 c current bound: 1699 63.54/63.97 c current bound: 1699 65.78/66.18 c current bound: 1699 67.97/68.37 c current bound: 1699 70.15/70.56 c current bound: 1699 72.36/72.75 c current bound: 1699 74.55/74.95 c current bound: 1699 76.74/77.14 c current bound: 1699 78.93/79.33 c current bound: 1699 81.12/81.53 c current bound: 1699 83.34/83.73 c current bound: 1699 85.52/85.92 c current bound: 1699 87.73/88.12 c current bound: 1699 90.11/90.33 c current bound: 1699 92.13/92.52 c current bound: 1699 94.33/94.72 c current bound: 1699 96.71/96.93 c current bound: 1699 98.81/99.32 c current bound: 1699 101.00/101.51 c current bound: 1699 103.20/103.71 c current bound: 1699 105.41/105.91 c current bound: 1699 107.81/108.10 c current bound: 1699 109.80/110.29 c current bound: 1699 111.98/112.48 c current bound: 1699 114.18/114.69 c current bound: 1699 116.38/116.88 c current bound: 1699 118.57/119.07 c current bound: 1699 120.76/121.26 c current bound: 1699 122.96/123.45 c current bound: 1699 125.15/125.66 c current bound: 1699 127.33/127.82 c current bound: 1699 129.52/130.02 c current bound: 1699 131.71/132.22 c current bound: 1699 133.91/134.41 c current bound: 1699 136.12/136.61 c current bound: 1699 138.30/138.81 c current bound: 1699 140.72/141.00 c current bound: 1699 142.69/143.19 c current bound: 1699 145.13/145.40 c current bound: 1699 147.07/147.57 c current bound: 1699 149.26/149.76 c current bound: 1699 151.47/151.97 c current bound: 1699 153.67/154.17 c current bound: 1699 155.86/156.36 c current bound: 1699 158.04/158.56 c current bound: 1699 160.25/160.75 c current bound: 1699 162.44/162.94 c current bound: 1699 164.64/165.14 c current bound: 1699 166.81/167.35 c current bound: 1699 169.00/169.54 c current bound: 1699 171.20/171.74 c current bound: 1699 173.39/173.94 c current bound: 1699 175.59/176.14 c current bound: 1699 177.86/178.41 c current bound: 1699 180.14/180.68 c current bound: 1699 182.32/182.87 c current bound: 1699 184.62/185.17 c current bound: 1699 186.89/187.45 c current bound: 1699 189.18/189.75 c current bound: 1699 191.50/192.05 c current bound: 1699 193.79/194.36 c current bound: 1699 196.10/196.67 c current bound: 1699 198.41/198.98 c current bound: 1699 200.82/201.27 c current bound: 1699 203.14/203.51 c current bound: 1699 205.32/205.76 c current bound: 1699 207.60/208.01 c current bound: 1699 209.63/210.24 c current bound: 1699 211.90/212.52 c current bound: 1699 214.09/214.71 c current bound: 1699 216.41/217.03 c current bound: 1699 218.69/219.32 c current bound: 1699 220.99/221.62 c current bound: 1699 223.19/223.81 c current bound: 1699 225.44/226.33 c current bound: 1699 227.77/228.65 c current bound: 1699 229.97/230.86 c current bound: 1699 232.42/233.11 c current bound: 1699 234.62/235.31 c current bound: 1699 236.81/237.54 c current bound: 1699 239.14/239.81 c current bound: 1699 241.20/242.00 c current bound: 1699 243.50/244.24 c current bound: 1699 245.70/246.56 c current bound: 1699 247.74/248.84 c current bound: 1699 250.03/251.11 c current bound: 1699 252.22/253.30 c current bound: 1699 254.73/255.60 c current bound: 1699 256.77/257.87 c current bound: 1699 259.08/260.17 c current bound: 1699 261.25/262.36 c current bound: 1699 263.58/264.69 c current bound: 1699 265.88/267.00 c current bound: 1699 268.16/269.29 c current bound: 1699 270.69/271.61 c current bound: 1699 272.86/273.89 c current bound: 1699 275.16/276.15 c current bound: 1699 277.44/278.42 c current bound: 1699 279.53/280.69 c current bound: 1699 281.80/282.96 c current bound: 1699 284.07/285.24 c current bound: 1699 286.36/287.54 c current bound: 1699 288.64/289.84 c current bound: 1699 291.15/292.24 c current bound: 1699 293.24/294.55 c current bound: 1699 295.71/296.80 c current bound: 1699 297.67/298.98 c current bound: 1699 299.84/301.17 c current bound: 1699 302.03/303.36 c current bound: 1699 304.22/305.55 c current bound: 1699 306.52/307.84 c current bound: 1699 308.71/310.03 c current bound: 1699 310.96/312.29 c current bound: 1699 313.34/314.54 c current bound: 1699 315.55/316.79 c current bound: 1699 317.84/319.05 c current bound: 1699 320.13/321.32 c current bound: 1699 322.19/323.57 c current bound: 1699 324.45/325.83 c current bound: 1699 326.69/328.08 c current bound: 1699 328.98/330.35 c current bound: 1699 331.23/332.61 c current bound: 1699 333.56/334.97 c current bound: 1699 336.11/337.30 c current bound: 1699 338.22/339.63 c current bound: 1699 340.51/341.92 c current bound: 1699 342.70/344.11 c current bound: 1699 344.94/346.33 c current bound: 1699 347.12/348.53 c current bound: 1699 349.32/350.72 c current bound: 1699 351.81/353.10 c current bound: 1699 353.90/355.29 c current bound: 1699 356.10/357.48 c current bound: 1699 358.31/359.67 c current bound: 1699 360.51/361.88 c current bound: 1699 362.70/364.08 c current bound: 1699 364.88/366.28 c current bound: 1699 367.10/368.47 c current bound: 1699 369.29/370.68 c current bound: 1699 371.48/372.86 c current bound: 1699 373.70/375.07 c current bound: 1699 375.89/377.25 c current bound: 1699 378.09/379.44 c current bound: 1699 380.29/381.65 c current bound: 1699 382.49/383.85 c current bound: 1699 384.69/386.05 c current bound: 1699 386.99/388.34 c current bound: 1699 389.17/390.55 c current bound: 1699 391.37/392.75 c current bound: 1699 393.58/394.94 c current bound: 1699 395.77/397.15 c current bound: 1699 397.97/399.36 c current bound: 1699 400.17/401.57 c current bound: 1699 402.36/403.79 c current bound: 1699 404.43/406.05 c current bound: 1699 406.63/408.24 c current bound: 1699 408.82/410.43 c current bound: 1699 411.02/412.63 c current bound: 1699 413.21/414.82 c current bound: 1699 415.59/417.01 c current bound: 1699 417.79/419.29 c current bound: 1699 419.78/421.48 c current bound: 1699 421.99/423.69 c current bound: 1699 424.19/425.88 c current bound: 1699 426.35/428.06 c current bound: 1699 428.56/430.26 c current bound: 1699 430.76/432.45 c current bound: 1699 433.03/434.73 c current bound: 1699 435.20/436.92 c current bound: 1699 437.43/439.11 c current bound: 1699 439.62/441.32 c current bound: 1699 441.81/443.51 c current bound: 1699 444.03/445.70 c current bound: 1699 446.20/447.88 c current bound: 1699 448.38/450.08 c current bound: 1699 450.58/452.27 c current bound: 1699 452.78/454.46 c current bound: 1699 454.96/456.66 c current bound: 1699 457.16/458.86 c current bound: 1699 459.37/461.06 c current bound: 1699 461.57/463.26 c current bound: 1699 463.79/465.48 c current bound: 1699 465.97/467.67 c current bound: 1699 468.17/469.96 c current bound: 1699 470.38/472.18 c current bound: 1699 472.57/474.37 c current bound: 1699 474.78/476.57 c current bound: 1699 476.98/478.77 c current bound: 1699 479.18/480.96 c current bound: 1699 481.37/483.16 c current bound: 1699 483.56/485.35 c current bound: 1699 485.75/487.54 c current bound: 1699 487.95/489.74 c current bound: 1699 490.14/491.94 c current bound: 1699 492.34/494.13 c current bound: 1699 494.55/496.33 c current bound: 1699 496.75/498.53 c current bound: 1699 498.95/500.73 c current bound: 1699 501.15/502.94 c current bound: 1699 503.36/505.14 c current bound: 1699 505.56/507.34 c current bound: 1699 507.76/509.54 c current bound: 1699 509.96/511.74 c current bound: 1699 512.16/513.93 c current bound: 1699 514.35/516.14 c current bound: 1699 516.56/518.33 c current bound: 1699 518.75/520.64 c current bound: 1699 520.95/522.84 c current bound: 1699 523.23/525.12 c current bound: 1699 525.42/527.31 c current bound: 1699 527.62/529.50 c current bound: 1699 530.03/531.70 c current bound: 1699 532.00/533.89 c current bound: 1699 534.19/536.08 c current bound: 1699 536.41/538.28 c current bound: 1699 538.60/540.47 c current bound: 1699 540.80/542.67 c current bound: 1699 542.99/544.87 c current bound: 1699 545.18/547.06 c current bound: 1699 547.39/549.26 c current bound: 1699 549.58/551.45 c current bound: 1699 551.77/553.65 c current bound: 1699 553.97/555.84 c current bound: 1699 556.16/558.03 c current bound: 1699 558.35/560.22 c current bound: 1699 560.56/562.41 c current bound: 1699 563.06/564.70 c current bound: 1699 565.12/566.99 c current bound: 1699 567.44/569.29 c current bound: 1699 569.74/571.61 c current bound: 1699 572.05/573.92 c current bound: 1699 574.24/576.11 c current bound: 1699 576.49/578.37 c current bound: 1699 578.78/580.66 c current bound: 1699 581.23/582.91 c current bound: 1699 583.42/585.17 c current bound: 1699 585.73/587.42 c current bound: 1699 587.92/589.69 c current bound: 1699 590.06/591.95 c current bound: 1699 592.32/594.28 c current bound: 1699 594.61/596.56 c current bound: 1699 596.87/598.88 c current bound: 1699 599.17/601.17 c current bound: 1699 601.36/603.36 c current bound: 1699 603.66/605.67 c current bound: 1699 605.95/607.95 c current bound: 1699 608.15/610.15 c current bound: 1699 610.46/612.46 c current bound: 1699 612.79/614.79 c current bound: 1699 615.25/617.13 c current bound: 1699 617.41/619.39 c current bound: 1699 619.55/621.67 c current bound: 1699 621.75/623.86 c current bound: 1699 623.94/626.05 c current bound: 1699 626.12/628.22 c current bound: 1699 628.48/630.41 c current bound: 1699 630.57/632.69 c current bound: 1699 632.83/634.96 c current bound: 1699 635.11/637.35 c current bound: 1699 637.41/639.65 c current bound: 1699 639.67/641.91 c current bound: 1699 641.98/644.23 c current bound: 1699 644.29/646.54 c current bound: 1699 646.57/648.82 c current bound: 1699 648.89/651.14 c current bound: 1699 651.13/653.39 c current bound: 1699 653.55/655.66 c current bound: 1699 655.75/657.84 c current bound: 1699 657.94/660.03 c current bound: 1699 660.15/662.28 c current bound: 1699 662.44/664.52 c current bound: 1699 664.64/666.77 c current bound: 1699 666.83/668.97 c current bound: 1699 668.96/671.24 c current bound: 1699 671.20/673.49 c current bound: 1699 673.47/675.76 c current bound: 1699 675.72/678.02 c current bound: 1699 678.00/680.31 c current bound: 1699 680.19/682.49 c current bound: 1699 682.45/684.76 c current bound: 1699 684.75/687.05 c current bound: 1699 687.12/689.44 c current bound: 1699 689.44/691.76 c current bound: 1699 691.75/694.07 c current bound: 1699 694.19/696.31 c current bound: 1699 696.39/698.56 c current bound: 1699 698.68/700.83 c current bound: 1699 700.99/703.10 c current bound: 1699 703.04/705.41 c current bound: 1699 705.38/707.74 c current bound: 1699 707.64/710.02 c current bound: 1699 709.94/712.30 c current bound: 1699 712.45/714.60 c current bound: 1699 714.54/716.90 c current bound: 1699 716.84/719.22 c current bound: 1699 719.16/721.54 c current bound: 1699 721.41/723.79 c current bound: 1699 723.85/726.01 c current bound: 1699 725.80/728.18 c current bound: 1699 727.99/730.37 c current bound: 1699 730.43/732.62 c current bound: 1699 732.63/734.89 c current bound: 1699 734.92/737.14 c current bound: 1699 737.21/739.40 c current bound: 1699 739.27/741.67 c current bound: 1699 741.55/743.94 c current bound: 1699 743.83/746.23 c current bound: 1699 746.12/748.52 c current bound: 1699 748.39/750.80 c current bound: 1699 750.68/753.10 c current bound: 1699 753.22/755.40 c current bound: 1699 755.29/757.71 c current bound: 1699 757.61/760.03 c current bound: 1699 759.87/762.28 c current bound: 1699 762.29/764.51 c current bound: 1699 764.48/766.77 c current bound: 1699 766.77/769.04 c current bound: 1699 768.90/771.36 c current bound: 1699 771.18/773.64 c current bound: 1699 773.45/775.92 c current bound: 1699 775.62/778.09 c current bound: 1699 777.91/780.38 c current bound: 1699 780.20/782.66 c current bound: 1699 782.48/784.96 c current bound: 1699 784.81/787.30 c current bound: 1699 787.13/789.62 c current bound: 1699 789.45/791.94 c current bound: 1699 791.71/794.19 c current bound: 1699 794.12/796.46 c current bound: 1699 796.42/798.71 c current bound: 1699 798.61/800.91 c current bound: 1699 800.82/803.17 c current bound: 1699 802.95/805.44 c current bound: 1699 805.20/807.70 c current bound: 1699 807.47/809.98 c current bound: 1699 809.76/812.26 c current bound: 1699 812.05/814.55 c current bound: 1699 814.32/816.84 c current bound: 1699 816.62/819.13 c current bound: 1699 818.92/821.44 c current bound: 1699 821.11/823.62 c current bound: 1699 823.40/825.91 c current bound: 1699 825.69/828.21 c current bound: 1699 828.19/830.54 c current bound: 1699 830.38/832.73 c current bound: 1699 832.59/834.99 c current bound: 1699 834.85/837.26 c current bound: 1699 836.97/839.53 c current bound: 1699 839.25/841.80 c current bound: 1699 841.49/844.06 c current bound: 1699 843.94/846.30 c current bound: 1699 846.03/848.59 c current bound: 1699 848.30/850.87 c current bound: 1699 850.60/853.17 c current bound: 1699 852.89/855.55 c current bound: 1699 855.22/857.87 c current bound: 1699 857.75/860.21 c current bound: 1699 859.95/862.46 c current bound: 1699 862.26/864.73 c current bound: 1699 864.55/867.00 c current bound: 1699 866.60/869.26 c current bound: 1699 868.87/871.53 c current bound: 1699 871.14/873.79 c current bound: 1699 873.40/876.08 c current bound: 1699 875.70/878.37 c current bound: 1699 877.97/880.64 c current bound: 1699 880.24/882.92 c current bound: 1699 882.55/885.23 c current bound: 1699 884.85/887.54 c current bound: 1699 887.10/889.79 c current bound: 1699 889.63/892.13 c current bound: 1699 891.80/894.39 c current bound: 1699 894.11/896.65 c current bound: 1699 896.41/898.91 c current bound: 1699 898.70/901.22 c current bound: 1699 900.74/903.49 c current bound: 1699 903.01/905.74 c current bound: 1699 905.26/908.01 c current bound: 1699 907.55/910.30 c current bound: 1699 909.81/912.57 c current bound: 1699 912.00/914.75 c current bound: 1699 914.30/917.06 c current bound: 1699 916.49/919.25 c current bound: 1699 918.82/921.57 c current bound: 1699 921.11/923.88 c current bound: 1699 923.65/926.22 c current bound: 1699 925.85/928.46 c current bound: 1699 928.15/930.71 c current bound: 1699 930.34/932.98 c current bound: 1699 932.46/935.24 c current bound: 1699 934.73/937.51 c current bound: 1699 937.23/939.80 c current bound: 1699 939.30/942.08 c current bound: 1699 941.57/944.36 c current bound: 1699 943.88/946.66 c current bound: 1699 946.17/948.99 c current bound: 1699 948.48/951.30 c current bound: 1699 950.66/953.49 c current bound: 1699 952.95/955.78 c current bound: 1699 955.27/958.10 c current bound: 1699 957.66/960.36 c current bound: 1699 959.85/962.55 c current bound: 1699 962.15/964.83 c current bound: 1699 964.36/967.01 c current bound: 1699 966.61/969.32 c current bound: 1699 968.73/971.63 c current bound: 1699 971.01/973.91 c current bound: 1699 973.29/976.19 c current bound: 1699 975.81/978.50 c current bound: 1699 978.01/980.70 c current bound: 1699 980.09/983.01 c current bound: 1699 982.41/985.32 c current bound: 1699 984.72/987.65 c current bound: 1699 987.05/989.97 c current bound: 1699 989.48/992.23 c current bound: 1699 991.68/994.49 c current bound: 1699 993.97/996.75 c current bound: 1699 996.28/999.01 c current bound: 1699 998.34/1001.28 c current bound: 1699 1000.53/1003.48 c current bound: 1699 1002.80/1005.75 c current bound: 1699 1005.09/1008.04 c current bound: 1699 1007.36/1010.32 c current bound: 1699 1009.67/1012.62 c current bound: 1699 1011.98/1014.92 c current bound: 1699 1014.27/1017.22 c current bound: 1699 1016.57/1019.53 c current bound: 1699 1018.87/1021.81 c current bound: 1699 1021.04/1024.01 c current bound: 1699 1023.55/1026.34 c current bound: 1699 1025.86/1028.61 c current bound: 1699 1028.04/1030.88 c current bound: 1699 1030.16/1033.13 c current bound: 1699 1032.35/1035.37 c current bound: 1699 1034.62/1037.63 c current bound: 1699 1037.08/1039.90 c current bound: 1699 1039.15/1042.18 c current bound: 1699 1041.45/1044.48 c current bound: 1699 1043.74/1046.78 c current bound: 1699 1046.04/1049.09 c current bound: 1699 1048.34/1051.39 c current bound: 1699 1050.67/1053.73 c current bound: 1699 1052.91/1055.98 c current bound: 1699 1055.35/1058.20 c current bound: 1699 1057.53/1060.45 c current bound: 1699 1059.85/1062.71 c current bound: 1699 1062.03/1064.97 c current bound: 1699 1064.14/1067.23 c current bound: 1699 1066.41/1069.50 c current bound: 1699 1068.69/1071.78 c current bound: 1699 1070.97/1074.06 c current bound: 1699 1073.24/1076.34 c current bound: 1699 1075.52/1078.62 c current bound: 1699 1077.71/1080.81 c current bound: 1699 1080.01/1083.11 c current bound: 1699 1082.29/1085.41 c current bound: 1699 1084.63/1087.73 c current bound: 1699 1086.94/1090.04 c current bound: 1699 1089.18/1092.30 c current bound: 1699 1091.60/1094.55 c current bound: 1699 1093.90/1096.80 c current bound: 1699 1096.08/1099.07 c current bound: 1699 1098.21/1101.35 c current bound: 1699 1100.48/1103.62 c current bound: 1699 1102.75/1105.90 c current bound: 1699 1105.03/1108.19 c current bound: 1699 1107.34/1110.49 c current bound: 1699 1109.60/1112.75 c current bound: 1699 1111.90/1115.06 c current bound: 1699 1114.20/1117.37 c current bound: 1699 1116.48/1119.69 c current bound: 1699 1118.69/1121.88 c current bound: 1699 1120.86/1124.08 c current bound: 1699 1123.20/1126.41 c current bound: 1699 1125.60/1128.67 c current bound: 1699 1127.89/1130.92 c current bound: 1699 1130.09/1133.19 c current bound: 1699 1132.21/1135.44 c current bound: 1699 1134.49/1137.71 c current bound: 1699 1136.76/1139.99 c current bound: 1699 1139.02/1142.26 c current bound: 1699 1141.29/1144.53 c current bound: 1699 1143.57/1146.82 c current bound: 1699 1145.91/1149.15 c current bound: 1699 1148.20/1151.45 c current bound: 1699 1150.51/1153.77 c current bound: 1699 1152.83/1156.09 c current bound: 1699 1155.26/1158.34 c current bound: 1699 1157.45/1160.60 c current bound: 1699 1159.73/1162.87 c current bound: 1699 1162.08/1165.24 c current bound: 1699 1164.15/1167.51 c current bound: 1699 1166.39/1169.77 c current bound: 1699 1168.67/1172.05 c current bound: 1699 1170.86/1174.24 c current bound: 1699 1173.16/1176.54 c current bound: 1699 1175.45/1178.85 c current bound: 1699 1177.64/1181.03 c current bound: 1699 1179.82/1183.22 c current bound: 1699 1182.12/1185.52 c current bound: 1699 1184.41/1187.80 c current bound: 1699 1186.71/1190.11 c current bound: 1699 1189.11/1192.30 c current bound: 1699 1191.40/1194.63 c current bound: 1699 1193.59/1196.90 c current bound: 1699 1195.91/1199.16 c current bound: 1699 1197.99/1201.42 c current bound: 1699 1200.26/1203.69 c current bound: 1699 1202.51/1205.93 c current bound: 1699 1204.76/1208.18 c current bound: 1699 1207.02/1210.47 c current bound: 1699 1209.33/1212.79 c current bound: 1699 1211.63/1215.07 c current bound: 1699 1213.92/1217.36 c current bound: 1699 1216.22/1219.66 c current bound: 1699 1218.52/1221.97 c current bound: 1699 1220.77/1224.24 c current bound: 1699 1223.02/1226.48 c current bound: 1699 1225.20/1228.66 c current bound: 1699 1227.65/1230.91 c current bound: 1699 1229.82/1233.19 c current bound: 1699 1232.13/1235.43 c current bound: 1699 1234.32/1237.68 c current bound: 1699 1236.46/1239.96 c current bound: 1699 1238.72/1242.23 c current bound: 1699 1240.97/1244.47 c current bound: 1699 1243.24/1246.76 c current bound: 1699 1245.51/1249.02 c current bound: 1699 1247.80/1251.42 c current bound: 1699 1249.99/1253.62 c current bound: 1699 1252.17/1255.80 c current bound: 1699 1254.46/1258.09 c current bound: 1699 1256.77/1260.41 c current bound: 1699 1259.10/1262.73 c current bound: 1699 1261.33/1264.98 c current bound: 1699 1263.75/1267.25 c current bound: 1699 1265.96/1269.50 c current bound: 1699 1268.26/1271.79 c current bound: 1699 1270.36/1274.06 c current bound: 1699 1272.55/1276.24 c current bound: 1699 1275.02/1278.50 c current bound: 1699 1277.07/1280.77 c current bound: 1699 1279.31/1283.01 c current bound: 1699 1281.64/1285.34 c current bound: 1699 1283.92/1287.62 c current bound: 1699 1286.10/1289.82 c current bound: 1699 1288.36/1292.08 c current bound: 1699 1290.66/1294.37 c current bound: 1699 1293.20/1296.70 c current bound: 1699 1295.29/1299.01 c current bound: 1699 1297.79/1301.31 c current bound: 1699 1299.99/1303.57 c current bound: 1699 1302.29/1305.82 c current bound: 1699 1304.49/1308.06 c current bound: 1699 1306.58/1310.34 c current bound: 1699 1308.88/1312.64 c current bound: 1699 1311.10/1314.84 c current bound: 1699 1313.37/1317.11 c current bound: 1699 1315.65/1319.41 c current bound: 1699 1317.92/1321.68 c current bound: 1699 1320.21/1323.98 c current bound: 1699 1322.55/1326.31 c current bound: 1699 1324.86/1328.63 c current bound: 1699 1327.17/1330.95 c current bound: 1699 1329.63/1333.21 c current bound: 1699 1331.84/1335.46 c current bound: 1699 1334.13/1337.72 c current bound: 1699 1336.33/1339.98 c current bound: 1699 1338.53/1342.17 c current bound: 1699 1340.64/1344.43 c current bound: 1699 1342.92/1346.71 c current bound: 1699 1345.19/1348.98 c current bound: 1699 1347.36/1351.16 c current bound: 1699 1349.64/1353.43 c current bound: 1699 1351.96/1355.76 c current bound: 1699 1354.25/1358.05 c current bound: 1699 1356.54/1360.35 c current bound: 1699 1358.86/1362.66 c current bound: 1699 1361.17/1364.97 c current bound: 1699 1363.71/1367.30 c current bound: 1699 1365.90/1369.55 c current bound: 1699 1368.21/1371.81 c current bound: 1699 1370.38/1374.08 c current bound: 1699 1372.53/1376.35 c current bound: 1699 1374.83/1378.68 c current bound: 1699 1377.02/1380.87 c current bound: 1699 1379.30/1383.15 c current bound: 1699 1381.49/1385.39 c current bound: 1699 1383.76/1387.67 c current bound: 1699 1386.06/1389.98 c current bound: 1699 1388.35/1392.28 c current bound: 1699 1390.67/1394.59 c current bound: 1699 1392.97/1396.90 c current bound: 1699 1395.14/1399.09 c current bound: 1699 1397.65/1401.49 c current bound: 1699 1399.98/1403.76 c current bound: 1699 1402.18/1405.94 c current bound: 1699 1404.36/1408.12 c current bound: 1699 1406.58/1410.31 c current bound: 1699 1408.76/1412.57 c current bound: 1699 1410.96/1414.74 c current bound: 1699 1413.26/1417.00 c current bound: 1699 1415.30/1419.29 c current bound: 1699 1417.60/1421.57 c current bound: 1699 1419.89/1424.13 c current bound: 1699 1422.08/1426.32 c current bound: 1699 1424.22/1428.49 c current bound: 1699 1426.54/1430.79 c current bound: 1699 1428.84/1433.11 c current bound: 1699 1431.26/1435.30 c current bound: 1699 1433.34/1437.61 c current bound: 1699 1435.63/1439.90 c current bound: 1699 1438.04/1442.17 c current bound: 1699 1440.34/1444.43 c current bound: 1699 1442.54/1446.68 c current bound: 1699 1444.67/1448.95 c current bound: 1699 1446.95/1451.23 c current bound: 1699 1449.22/1453.51 c current bound: 1699 1451.51/1455.79 c current bound: 1699 1453.79/1458.08 c current bound: 1699 1456.08/1460.37 c current bound: 1699 1458.27/1462.58 c current bound: 1699 1460.58/1464.89 c current bound: 1699 1463.11/1467.20 c current bound: 1699 1465.42/1469.65 c current bound: 1699 1467.68/1471.91 c current bound: 1699 1469.88/1474.17 c current bound: 1699 1471.98/1476.43 c current bound: 1699 1474.22/1478.67 c current bound: 1699 1476.50/1480.96 c current bound: 1699 1478.76/1483.23 c current bound: 1699 1481.06/1485.52 c current bound: 1699 1483.32/1487.82 c current bound: 1699 1485.61/1490.08 c current bound: 1699 1487.90/1492.37 c current bound: 1699 1490.20/1494.68 c current bound: 1699 1492.74/1497.00 c current bound: 1699 1495.01/1499.32 c current bound: 1699 1497.22/1501.51 c current bound: 1699 1499.42/1503.76 c current bound: 1699 1501.73/1506.00 c current bound: 1699 1503.91/1508.23 c current bound: 1699 1506.12/1510.49 c current bound: 1699 1508.26/1512.76 c current bound: 1699 1510.56/1515.06 c current bound: 1699 1512.80/1517.33 c current bound: 1699 1515.00/1519.53 c current bound: 1699 1517.50/1521.80 c current bound: 1699 1519.54/1524.08 c current bound: 1699 1521.73/1526.26 c current bound: 1699 1523.90/1528.45 c current bound: 1699 1526.19/1530.74 c current bound: 1699 1528.49/1533.04 c current bound: 1699 1530.80/1535.35 c current bound: 1699 1533.07/1537.63 c current bound: 1699 1535.39/1539.94 c current bound: 1699 1537.65/1542.20 c current bound: 1699 1540.05/1544.45 c current bound: 1699 1542.36/1546.71 c current bound: 1699 1544.55/1548.93 c current bound: 1699 1546.86/1551.20 c current bound: 1699 1548.90/1553.46 c current bound: 1699 1551.17/1555.73 c current bound: 1699 1553.45/1558.03 c current bound: 1699 1555.70/1560.30 c current bound: 1699 1558.00/1562.60 c current bound: 1699 1560.25/1564.86 c current bound: 1699 1562.55/1567.15 c current bound: 1699 1564.85/1569.48 c current bound: 1699 1567.19/1571.81 c current bound: 1699 1569.59/1574.00 c current bound: 1699 1571.83/1576.40 c current bound: 1699 1574.03/1578.66 c current bound: 1699 1576.15/1580.93 c current bound: 1699 1578.42/1583.20 c current bound: 1699 1580.68/1585.48 c current bound: 1699 1582.96/1587.74 c current bound: 1699 1585.24/1590.03 c current bound: 1699 1587.55/1592.34 c current bound: 1699 1589.84/1594.64 c current bound: 1699 1592.19/1596.99 c current bound: 1699 1594.50/1599.30 c current bound: 1699 1597.06/1601.73 c current bound: 1699 1599.31/1604.00 c current bound: 1699 1601.36/1606.26 c current bound: 1699 1603.60/1608.51 c current bound: 1699 1605.87/1610.79 c current bound: 1699 1608.16/1613.08 c current bound: 1699 1610.45/1615.37 c current bound: 1699 1612.74/1617.66 c current bound: 1699 1615.04/1619.97 c current bound: 1699 1617.32/1622.25 c current bound: 1699 1619.65/1624.59 c current bound: 1699 1621.83/1626.77 c current bound: 1699 1624.12/1629.06 c current bound: 1699 1626.57/1631.31 c current bound: 1699 1628.76/1633.56 c current bound: 1699 1631.06/1635.83 c current bound: 1699 1633.25/1638.04 c current bound: 1699 1635.54/1640.30 c current bound: 1699 1637.62/1642.57 c current bound: 1699 1639.89/1644.84 c current bound: 1699 1642.08/1647.04 c current bound: 1699 1644.36/1649.32 c current bound: 1699 1646.66/1651.62 c current bound: 1699 1649.16/1653.90 c current bound: 1699 1651.23/1656.22 c current bound: 1699 1653.42/1658.39 c current bound: 1699 1655.79/1660.77 c current bound: 1699 1658.55/1663.34 c current bound: 1699 1660.78/1665.76 c current bound: 1699 1663.24/1668.22 c current bound: 1699 1665.77/1670.75 c current bound: 1699 1668.37/1673.36 c current bound: 1699 1670.83/1675.81 c current bound: 1699 1673.31/1678.30 c current bound: 1699 1676.01/1680.87 c current bound: 1699 1678.22/1683.07 c current bound: 1699 1680.41/1685.27 c current bound: 1699 1682.60/1687.46 c current bound: 1699 1684.85/1689.87 c current bound: 1699 1687.33/1692.35 c current bound: 1699 1689.85/1694.86 c current bound: 1699 1692.58/1697.42 c current bound: 1699 1694.82/1699.85 c current bound: 1699 1697.31/1702.33 c current bound: 1699 1699.83/1704.87 c current bound: 1699 1702.03/1707.09 c current bound: 1699 1704.66/1709.71 c current bound: 1699 1706.84/1711.92 c current bound: 1699 1709.32/1714.38 c current bound: 1699 1711.52/1716.57 c current bound: 1699 1714.03/1719.09 c current bound: 1699 1716.75/1721.65 c current bound: 1699 1718.96/1723.84 c current bound: 1699 1721.20/1726.27 c current bound: 1699 1723.67/1728.74 c current bound: 1699 1726.18/1731.25 c current bound: 1699 1728.78/1733.85 c current bound: 1699 1731.44/1736.30 c current bound: 1699 1733.70/1738.79 c current bound: 1699 1735.91/1740.99 c current bound: 1699 1738.63/1743.56 c current bound: 1699 1740.87/1745.96 c current bound: 1699 1743.05/1748.14 c current bound: 1699 1745.24/1750.35 c current bound: 1699 1747.69/1752.87 c current bound: 1699 1750.20/1755.38 c current bound: 1699 1752.40/1757.57 c current bound: 1699 1755.12/1760.11 c current bound: 1699 1757.34/1762.30 c current bound: 1699 1759.52/1764.70 c current bound: 1699 1761.98/1767.19 c current bound: 1699 1764.53/1769.73 c current bound: 1699 1766.72/1771.93 c current bound: 1699 1768.90/1774.13 c current bound: 1699 1771.50/1776.73 c current bound: 1699 1773.71/1778.92 c current bound: 1699 1776.15/1781.39 c current bound: 1699 1778.89/1783.90 c current bound: 1699 1780.98/1786.22 c current bound: 1699 1783.16/1788.40 c current bound: 1699 1785.35/1790.60 c current bound: 1699 1788.17/1793.20 c current bound: 1699 1790.26/1795.39 c current bound: 1699 1792.78/1797.91 c current bound: 1699 1795.07/1800.42 c current bound: 1699 1797.40/1802.77 c current bound: 1699 1799.60/1804.96 c current bound: 1699 1800.06/1805.21 c error: unexpected solver exit code 1800.06/1805.21 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-3715810-1338242389/watcher-3715810-1338242389 -o /tmp/evaluation-result-3715810-1338242389/solver-3715810-1338242389 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715810-1338242389.wbo 681798563 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.04 2.06 1.97 3/175 8344 /proc/meminfo: memFree=25423632/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [startup+0.0185849 s] /proc/loadavg: 2.04 2.06 1.97 3/175 8344 /proc/meminfo: memFree=25423632/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100205 s] /proc/loadavg: 2.04 2.06 1.97 3/175 8344 /proc/meminfo: memFree=25423632/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300277 s] /proc/loadavg: 2.04 2.06 1.97 3/175 8344 /proc/meminfo: memFree=25423632/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700263 s] /proc/loadavg: 2.04 2.06 1.97 3/175 8344 /proc/meminfo: memFree=25423632/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50041 s] /proc/loadavg: 2.04 2.06 1.97 3/181 8370 /proc/meminfo: memFree=25355792/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=11412 CPUtime=0.14 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 3509 5113 0 0 9 2 2 1 20 0 1 0 290367508 11685888 1999 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8345/statm: 2853 1999 176 439 0 2410 0 [pid=8359] ppid=8345 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8359/stat : 8359 (satsolver.sh) S 8345 8344 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290367523 9367552 266 33554432000 4194304 5064252 140735078448688 140735078447600 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/8359/statm: 2287 266 226 213 0 72 0 [pid=8360] ppid=8359 vsize=47440 CPUtime=1.33 cores=0,2,4,6 /proc/8360/stat : 8360 (glucose) R 8359 8344 1905 0 -1 4202496 10176 0 0 0 132 1 0 0 20 0 1 0 290367523 48578560 10335 33554432000 4194304 5208918 140736522649472 140736522647880 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/8360/statm: 11860 10335 95 248 0 11609 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 77148 [startup+3.10031 s] /proc/loadavg: 2.04 2.06 1.97 3/181 8387 /proc/meminfo: memFree=25388072/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=2.34 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 5423 20357 0 0 18 3 205 8 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 28748 heavy processes: [startup+6.30041 s] /proc/loadavg: 2.04 2.06 1.97 3/181 8437 /proc/meminfo: memFree=25313380/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=4.56 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 7336 34904 0 0 26 4 406 20 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 [pid=8427] ppid=8345 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8427/stat : 8427 (satsolver.sh) S 8345 8344 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290367966 9367552 267 33554432000 4194304 5064252 140734323499184 140734323498096 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/8427/statm: 2287 267 226 213 0 72 0 [pid=8428] ppid=8427 vsize=47440 CPUtime=1.7 cores=0,2,4,6 /proc/8428/stat : 8428 (glucose) R 8427 8344 1905 0 -1 4202496 9815 0 0 0 169 1 0 0 20 0 1 0 290367967 48578560 10534 33554432000 4194304 5208918 140735912818288 140735912816136 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/8428/statm: 11860 10534 95 248 0 11609 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 85336 [startup+12.7004 s] /proc/loadavg: 1.95 2.04 1.96 3/182 8545 /proc/meminfo: memFree=25352908/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=11.17 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 13075 79015 0 0 52 8 1007 50 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 [pid=8531] ppid=8345 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8531/stat : 8531 (satsolver.sh) S 8345 8344 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290368628 9367552 267 33554432000 4194304 5064252 140736867864976 140736867863888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/8531/statm: 2287 267 226 213 0 72 0 [pid=8532] ppid=8531 vsize=47440 CPUtime=1.48 cores=0,2,4,6 /proc/8532/stat : 8532 (glucose) R 8531 8344 1905 0 -1 4202496 10189 0 0 0 147 1 0 0 20 0 1 0 290368628 48578560 10348 33554432000 4194304 5208918 140734495615632 140734495613480 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/8532/statm: 11860 10348 95 248 0 11609 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 85336 [startup+25.5004 s] /proc/loadavg: 1.96 2.04 1.96 3/182 8748 /proc/meminfo: memFree=25314644/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=24.36 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 24553 167741 0 0 101 16 2209 110 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 [pid=8740] ppid=8345 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8740/stat : 8740 (satsolver.sh) S 8345 8344 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290369959 9367552 267 33554432000 4194304 5064252 140734121912272 140734121911184 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/8740/statm: 2287 267 226 213 0 72 0 [pid=8741] ppid=8740 vsize=47436 CPUtime=0.97 cores=0,2,4,6 /proc/8741/stat : 8741 (glucose) R 8740 8344 1905 0 -1 4202496 10143 0 0 0 95 2 0 0 20 0 1 0 290369959 48574464 10302 33554432000 4194304 5208918 140736959425280 140736959423688 4211712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/8741/statm: 11859 10302 95 248 0 11608 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 85332 [startup+51.1003 s] /proc/loadavg: 1.90 2.01 1.95 3/182 9140 /proc/meminfo: memFree=25330376/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=50.71 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 47509 343675 0 0 200 32 4615 224 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 28748 [startup+102.306 s] /proc/loadavg: 1.91 2.00 1.95 3/182 9971 /proc/meminfo: memFree=25346376/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=101.32 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 91508 683784 0 0 391 62 9231 448 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 [pid=9963] ppid=8345 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9963/stat : 9963 (satsolver.sh) S 8345 8344 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290377669 9367552 267 33554432000 4194304 5064252 140737312023008 140737312021920 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/9963/statm: 2287 267 226 213 0 72 0 [pid=9964] ppid=9963 vsize=47308 CPUtime=0.68 cores=0,2,4,6 /proc/9964/stat : 9964 (glucose) R 9963 8344 1905 0 -1 4202496 9565 0 0 0 67 1 0 0 20 0 1 0 290377669 48443392 10281 33554432000 4194304 5208918 140736546293152 140736545242792 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9964/statm: 11827 10281 95 248 0 11576 0 Current children cumulated CPU time (s) 102 Current children cumulated vsize (KiB) 85204 [startup+162.3 s] /proc/loadavg: 1.97 2.00 1.95 3/179 10898 /proc/meminfo: memFree=25365280/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=160.57 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 143159 1083398 0 0 616 97 14641 703 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 [pid=10888] ppid=8345 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10888/stat : 10888 (satsolver.sh) S 8345 8344 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290383592 9367552 267 33554432000 4194304 5064252 140735425427136 140735425426048 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/10888/statm: 2287 267 226 213 0 72 0 [pid=10889] ppid=10888 vsize=47436 CPUtime=1.44 cores=0,2,4,6 /proc/10889/stat : 10889 (glucose) R 10888 8344 1905 0 -1 4202496 9989 0 0 0 143 1 0 0 20 0 1 0 290383593 48574464 10672 33554432000 4194304 5208918 140737260846032 140737260844440 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10889/statm: 11859 10672 95 248 0 11608 0 Current children cumulated CPU time (s) 162.01 Current children cumulated vsize (KiB) 85332 [startup+222.3 s] /proc/loadavg: 2.10 2.04 1.97 3/181 11831 /proc/meminfo: memFree=25312684/32873844 swapFree=7112/7112 ################ # More data... # ################ /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=1417.92 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 1210613 9317449 0 0 4908 800 130098 5986 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 62 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 [pid=30447] ppid=8345 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30447/stat : 30447 (satsolver.sh) S 8345 8344 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290509673 9367552 266 33554432000 4194304 5064252 140733837488448 140733837487360 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/30447/statm: 2287 266 226 213 0 72 0 [pid=30448] ppid=30447 vsize=47308 CPUtime=0.63 cores=0,2,4,6 /proc/30448/stat : 30448 (glucose) R 30447 8344 1905 0 -1 4202496 9568 0 0 0 62 1 0 0 20 0 1 0 290509673 48443392 10278 33554432000 4194304 5208918 140735920534544 140735920532952 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/30448/statm: 11827 10278 95 248 0 11576 0 Current children cumulated CPU time (s) 1418.55 Current children cumulated vsize (KiB) 85204 [startup+1482.3 s] /proc/loadavg: 1.90 1.96 1.94 3/179 31377 /proc/meminfo: memFree=25353376/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=1476.81 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 1260351 9702561 0 0 5103 833 135514 6231 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 62 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 [pid=31367] ppid=8345 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/31367/stat : 31367 (satsolver.sh) S 8345 8344 1905 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 290515612 9367552 266 33554432000 4194304 5064252 140733594095648 140733594094560 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/31367/statm: 2287 266 226 213 0 72 0 [pid=31368] ppid=31367 vsize=47436 CPUtime=1.23 cores=0,2,4,6 /proc/31368/stat : 31368 (glucose) R 31367 8344 1905 0 -1 4202496 9770 0 0 0 122 1 0 0 20 0 1 0 290515612 48574464 10495 33554432000 4194304 5208918 140734380480784 140734380479192 4211656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/31368/statm: 11859 10495 95 248 0 11608 0 Current children cumulated CPU time (s) 1478.04 Current children cumulated vsize (KiB) 85332 [startup+1542.31 s] /proc/loadavg: 1.97 1.97 1.94 3/179 32314 /proc/meminfo: memFree=25347592/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=1537.96 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 1312002 10098655 0 0 5308 865 141142 6481 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 64 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 Current children cumulated CPU time (s) 1537.96 Current children cumulated vsize (KiB) 28748 [startup+1602.3 s] /proc/loadavg: 2.13 2.03 1.97 3/181 772 /proc/meminfo: memFree=25339972/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=1597.14 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 1361740 10481359 0 0 5503 898 146586 6727 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 67 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 Current children cumulated CPU time (s) 1597.14 Current children cumulated vsize (KiB) 28748 [startup+1662.3 s] /proc/loadavg: 1.97 2.01 1.96 3/180 3156 /proc/meminfo: memFree=25369796/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=1656.11 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 1411478 10865350 0 0 5700 930 152003 6978 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 67 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 [pid=2324] ppid=8345 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/2324/stat : 2324 (satsolver.sh) S 8345 8344 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290533593 9367552 267 33554432000 4194304 5064252 140735567532128 140735567531040 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/2324/statm: 2287 267 226 213 0 72 0 [pid=2327] ppid=2324 vsize=47436 CPUtime=1.43 cores=0,2,4,6 /proc/2327/stat : 2327 (glucose) R 2324 8344 1905 0 -1 4202496 9901 0 0 0 142 1 0 0 20 0 1 0 290533593 48574464 10608 33554432000 4194304 5208918 140733792999824 140733792998232 4211656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/2327/statm: 11859 10608 95 248 0 11608 0 Current children cumulated CPU time (s) 1657.54 Current children cumulated vsize (KiB) 85332 [startup+1722.3 s] /proc/loadavg: 1.35 1.82 1.90 3/179 10111 /proc/meminfo: memFree=25403664/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=1716.9 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 1459303 11235201 0 0 5889 962 157622 7217 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 67 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 Current children cumulated CPU time (s) 1716.9 Current children cumulated vsize (KiB) 28748 [startup+1782.3 s] /proc/loadavg: 1.13 1.67 1.84 3/180 17833 /proc/meminfo: memFree=25369092/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=1776.48 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 1507128 11602988 0 0 6078 995 163118 7457 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 67 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 [pid=17491] ppid=8345 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/17491/stat : 17491 (satsolver.sh) S 8345 8344 1905 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290545656 9367552 267 33554432000 4194304 5064252 140733251724304 140733251723216 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/17491/statm: 2287 267 226 213 0 72 0 [pid=17493] ppid=17491 vsize=47308 CPUtime=0.8 cores=0,2,4,6 /proc/17493/stat : 17493 (glucose) R 17491 8344 1905 0 -1 4202496 10127 0 0 0 79 1 0 0 20 0 1 0 290545656 48443392 10285 33554432000 4194304 5208918 140736357238768 140736357237176 4211635 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/17493/statm: 11827 10285 95 248 0 11576 0 Current children cumulated CPU time (s) 1777.28 Current children cumulated vsize (KiB) 85204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1805.21 s] /proc/loadavg: 1.09 1.62 1.82 3/181 746 /proc/meminfo: memFree=25369900/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=1799.92 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 1526258 11749312 0 0 6154 1008 165277 7553 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 67 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 [pid=649] ppid=8345 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/649/stat : 649 (satsolver.sh) S 8345 8344 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290548013 9367552 267 33554432000 4194304 5064252 140737465557120 140737465556032 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/649/statm: 2287 267 226 213 0 72 0 [pid=652] ppid=649 vsize=47304 CPUtime=0.14 cores=0,2,4,6 /proc/652/stat : 652 (glucose) R 649 8344 1905 0 -1 4202496 9534 0 0 0 12 2 0 0 20 0 1 0 290548013 48439296 10245 33554432000 4194304 5208918 140733311320880 140733310270376 4211656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/652/statm: 11826 10245 95 248 0 11575 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 85200 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1805.21 s] /proc/loadavg: 1.09 1.62 1.82 3/181 746 /proc/meminfo: memFree=25369900/32873844 swapFree=7112/7112 [pid=8344] ppid=8342 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8344/stat : 8344 (npSolver-wbo-It) S 8342 8344 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290367507 9367552 274 33554432000 4194304 5064252 140735674045280 140735674044192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8344/statm: 2287 274 233 213 0 72 0 [pid=8345] ppid=8344 vsize=19600 CPUtime=1799.92 cores=0,2,4,6 /proc/8345/stat : 8345 (npSolver-wbo) S 8344 8344 1905 0 -1 4202496 1526258 11749312 0 0 6154 1008 165277 7553 20 0 1 0 290367508 20070400 4145 33554432000 4194304 5990268 140737109190240 140737109181648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 67 0 0 /proc/8345/statm: 4900 4145 177 439 0 4457 0 [pid=649] ppid=8345 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/649/stat : 649 (satsolver.sh) S 8345 8344 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290548013 9367552 267 33554432000 4194304 5064252 140737465557120 140737465556032 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/649/statm: 2287 267 226 213 0 72 0 [pid=652] ppid=649 vsize=47304 CPUtime=0.14 cores=0,2,4,6 /proc/652/stat : 652 (glucose) R 649 8344 1905 0 -1 4202496 9534 0 0 0 12 2 0 0 20 0 1 0 290548013 48439296 10245 33554432000 4194304 5208918 140733311320880 140733310270376 4211656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/652/statm: 11826 10245 95 248 0 11575 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 85200 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8344 and gives # childrusage.ru_utime.tv_sec=1714 # childrusage.ru_utime.tv_usec=318383 # childrusage.ru_stime.tv_sec=85 # childrusage.ru_stime.tv_usec=615984 # CPU time returned by wait4() is 1799.93 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.00012207 # lost CPU user time (s): 0.00012207 # lost CPU system time (s): 0 Real time (s): 1805.22 CPU time (s): 1800.06 CPU user time (s): 1714.43 CPU system time (s): 85.63 CPU usage (%): 99.7143 Max. virtual memory (cumulated for all children) (KiB): 85684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1714.32 system time used= 85.616 maximum resident set size= 43548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13276546 page faults= 0 swaps= 0 block input operations= 0 block output operations= 10728928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 226444 involuntary context switches= 14609 runsolver used 4.02639 second user time and 9.96748 second system time The end
Begin job on node104 at 2012-05-28 23:59:49 IDJOB=3715810 IDBENCH=79406 IDSOLVER=2297 FILE ID=node104/3715810-1338242389 RUNJOBID= node104-1338229623-1921 PBS_JOBID= 14624647 Free space on /tmp= 66880 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh11_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715810-1338242389/watcher-3715810-1338242389 -o /tmp/evaluation-result-3715810-1338242389/solver-3715810-1338242389 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715810-1338242389.wbo 681798563 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 540e5098c207f1245411172896d943a2 RANDOM SEED=681798563 node104.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.266 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.53 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.266 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.266 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.266 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.92 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.266 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.266 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.266 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.266 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 25431032 kB Buffers: 482332 kB Cached: 5961616 kB SwapCached: 1084 kB Active: 5565388 kB Inactive: 902260 kB Active(anon): 13616 kB Inactive(anon): 9936 kB Active(file): 5551772 kB Inactive(file): 892324 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67106720 kB Dirty: 8640 kB Writeback: 0 kB AnonPages: 42656 kB Mapped: 14824 kB Shmem: 196 kB Slab: 836512 kB SReclaimable: 277304 kB SUnreclaim: 559208 kB KernelStack: 1520 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 125972 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 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= 66872 MiB End job on node104 at 2012-05-29 00:29:55