Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.19 | 1802.83 |
Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-33-100-0.wbo |
MD5SUM | c0c0bebc7e31a6df8b165cc7ff9f27e8 |
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 | 6 |
Best CPU time to get the best result obtained on this benchmark | 0.065989 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 7564 |
Total number of constraints | 23412 |
Number of soft constraints | 15681 |
Number of constraints which are clauses | 23168 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 244 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50 |
Top cost | 793815 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 793814 |
Biggest number in a constraint | 44 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 333 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.00/1.08 c run usual solver 7.07/7.17 o 321 7.07/7.17 c starting approximation 7.07/7.17 c factor = 2 7.07/7.17 c factor still to low - shrinking to 30.2016 7.07/7.17 c approx number of clauses: 1e+06 7.07/7.17 c current bound: 160 8.76/8.86 c current bound: 160 10.09/10.54 c current bound: 160 12.16/12.21 c current bound: 160 13.43/13.89 c current bound: 160 15.44/15.55 c current bound: 160 17.16/17.21 c current bound: 160 18.73/18.88 c current bound: 160 20.10/20.56 c current bound: 160 22.16/22.22 c current bound: 160 23.85/23.90 c current bound: 160 25.55/25.61 c current bound: 160 26.84/27.29 c current bound: 160 28.49/28.95 c current bound: 160 30.19/30.64 c current bound: 160 32.24/32.30 c current bound: 160 33.54/33.99 c current bound: 160 35.19/35.66 c current bound: 160 37.25/37.35 c current bound: 160 38.96/39.02 c current bound: 160 40.64/40.71 c current bound: 160 41.93/42.39 c current bound: 160 43.96/44.08 c current bound: 160 45.30/45.76 c current bound: 160 47.32/47.46 c current bound: 160 49.04/49.12 c current bound: 160 50.73/50.82 c current bound: 160 52.43/52.51 c current bound: 160 54.03/54.17 c current bound: 160 55.36/55.85 c current bound: 160 57.05/57.55 c current bound: 160 59.12/59.23 c current bound: 160 60.80/60.90 c current bound: 160 62.09/62.60 c current bound: 160 63.77/64.28 c current bound: 160 65.80/65.96 c current bound: 160 67.13/67.63 c current bound: 160 69.22/69.33 c current bound: 160 70.49/70.99 c current bound: 160 72.50/72.66 c current bound: 160 73.82/74.35 c current bound: 160 75.87/76.06 c current bound: 160 77.59/77.72 c current bound: 160 79.19/79.39 c current bound: 160 80.55/81.07 c current bound: 160 82.58/82.79 c current bound: 160 84.38/84.51 c current bound: 160 85.65/86.17 c current bound: 160 87.34/87.88 c current bound: 160 88.99/89.55 c current bound: 160 91.07/91.24 c current bound: 160 92.77/92.91 c current bound: 160 94.45/94.61 c current bound: 160 95.72/96.28 c current bound: 160 97.86/98.02 c current bound: 160 99.12/99.69 c current bound: 160 101.25/101.42 c current bound: 160 102.94/103.10 c current bound: 160 104.53/104.77 c current bound: 160 105.89/106.45 c current bound: 160 107.58/108.16 c current bound: 160 109.27/109.85 c current bound: 160 111.34/111.51 c current bound: 160 112.60/113.19 c current bound: 160 114.27/114.86 c current bound: 160 116.34/116.55 c current bound: 160 118.04/118.22 c current bound: 160 119.73/119.91 c current bound: 160 121.01/121.59 c current bound: 160 123.02/123.29 c current bound: 160 124.40/124.97 c current bound: 160 126.42/126.68 c current bound: 160 127.76/128.34 c current bound: 160 129.81/130.05 c current bound: 160 131.54/131.73 c current bound: 160 133.22/133.43 c current bound: 160 134.51/135.09 c current bound: 160 136.16/136.76 c current bound: 160 138.20/138.43 c current bound: 160 139.90/140.10 c current bound: 160 141.15/141.77 c current bound: 160 143.20/143.43 c current bound: 160 144.91/145.13 c current bound: 160 146.59/146.80 c current bound: 160 148.18/148.50 c current bound: 160 150.00/150.21 c current bound: 160 151.69/151.91 c current bound: 160 152.96/153.57 c current bound: 160 154.98/155.28 c current bound: 160 156.34/156.96 c current bound: 160 158.37/158.66 c current bound: 160 160.09/160.32 c current bound: 160 161.67/161.98 c current bound: 160 163.04/163.67 c current bound: 160 165.09/165.33 c current bound: 160 166.78/167.02 c current bound: 160 168.06/168.69 c current bound: 160 169.75/170.38 c current bound: 160 171.42/172.04 c current bound: 160 173.49/173.73 c current bound: 160 175.17/175.40 c current bound: 160 176.77/177.09 c current bound: 160 178.13/178.76 c current bound: 160 180.16/180.46 c current bound: 160 181.50/182.14 c current bound: 160 183.56/183.83 c current bound: 160 185.27/185.51 c current bound: 160 186.96/187.22 c current bound: 160 188.22/188.89 c current bound: 160 190.24/190.56 c current bound: 160 191.95/192.22 c current bound: 160 193.65/193.93 c current bound: 160 195.34/195.61 c current bound: 160 196.61/197.28 c current bound: 160 198.31/198.97 c current bound: 160 199.97/200.64 c current bound: 160 202.05/202.33 c current bound: 160 203.33/204.00 c current bound: 160 205.33/205.69 c current bound: 160 206.68/207.36 c current bound: 160 208.72/209.06 c current bound: 160 210.43/210.73 c current bound: 160 212.13/212.42 c current bound: 160 213.80/214.10 c current bound: 160 215.50/215.80 c current bound: 160 216.78/217.48 c current bound: 160 218.80/219.18 c current bound: 160 220.15/220.86 c current bound: 160 221.86/222.56 c current bound: 160 223.53/224.26 c current bound: 160 225.61/225.93 c current bound: 160 227.31/227.62 c current bound: 160 228.59/229.29 c current bound: 160 230.59/231.00 c current bound: 160 231.95/232.68 c current bound: 160 233.99/234.37 c current bound: 160 235.32/236.05 c current bound: 160 237.38/237.75 c current bound: 160 239.08/239.42 c current bound: 160 240.78/241.12 c current bound: 160 242.48/242.80 c current bound: 160 244.19/244.52 c current bound: 160 245.44/246.19 c current bound: 160 247.15/247.89 c current bound: 160 248.84/249.58 c current bound: 160 250.52/251.26 c current bound: 160 252.57/252.97 c current bound: 160 254.28/254.71 c current bound: 160 255.98/256.41 c current bound: 160 257.25/258.09 c current bound: 160 259.26/259.78 c current bound: 160 260.60/261.46 c current bound: 160 262.67/263.17 c current bound: 160 264.02/264.86 c current bound: 160 265.74/266.57 c current bound: 160 267.42/268.27 c current bound: 160 269.09/269.97 c current bound: 160 271.15/271.63 c current bound: 160 272.84/273.31 c current bound: 160 274.43/275.00 c current bound: 160 275.80/276.67 c current bound: 160 277.83/278.34 c current bound: 160 279.53/280.01 c current bound: 160 281.12/281.67 c current bound: 160 282.47/283.35 c current bound: 160 284.50/285.04 c current bound: 160 286.21/286.71 c current bound: 160 287.80/288.38 c current bound: 160 289.14/290.04 c current bound: 160 291.21/291.71 c current bound: 160 292.48/293.39 c current bound: 160 294.50/295.07 c current bound: 160 295.85/296.76 c current bound: 160 297.57/298.47 c current bound: 160 299.27/300.18 c current bound: 160 300.94/301.85 c current bound: 160 303.01/303.52 c current bound: 160 304.27/305.18 c current bound: 160 306.30/306.86 c current bound: 160 307.99/308.53 c current bound: 160 309.69/310.20 c current bound: 160 310.94/311.87 c current bound: 160 313.00/313.55 c current bound: 160 314.70/315.22 c current bound: 160 316.37/316.90 c current bound: 160 317.64/318.57 c current bound: 160 319.67/320.24 c current bound: 160 321.38/321.91 c current bound: 160 322.98/323.59 c current bound: 160 324.33/325.25 c current bound: 160 326.38/326.93 c current bound: 160 328.07/328.61 c current bound: 160 329.68/330.28 c current bound: 160 331.03/331.97 c current bound: 160 332.71/333.65 c current bound: 160 334.81/335.34 c current bound: 160 336.50/337.02 c current bound: 160 338.20/338.71 c current bound: 160 339.88/340.43 c current bound: 160 341.56/342.11 c current bound: 160 343.24/343.80 c current bound: 160 344.84/345.49 c current bound: 160 346.20/347.17 c current bound: 160 348.25/348.85 c current bound: 160 349.57/350.55 c current bound: 160 351.67/352.23 c current bound: 160 352.95/353.94 c current bound: 160 355.06/355.61 c current bound: 160 356.33/357.29 c current bound: 160 358.02/358.98 c current bound: 160 359.73/360.68 c current bound: 160 361.40/362.36 c current bound: 160 363.49/364.04 c current bound: 160 365.18/365.73 c current bound: 160 366.88/367.41 c current bound: 160 368.56/369.10 c current bound: 160 370.17/370.78 c current bound: 160 371.50/372.46 c current bound: 160 373.57/374.15 c current bound: 160 375.28/375.83 c current bound: 160 376.97/377.51 c current bound: 160 378.25/379.19 c current bound: 160 380.27/380.87 c current bound: 160 381.63/382.56 c current bound: 160 383.33/384.27 c current bound: 160 385.02/385.96 c current bound: 160 386.68/387.64 c current bound: 160 388.78/389.31 c current bound: 160 390.04/390.98 c current bound: 160 392.05/392.67 c current bound: 160 393.40/394.35 c current bound: 160 395.47/396.04 c current bound: 160 397.16/397.71 c current bound: 160 398.86/399.41 c current bound: 160 400.13/401.08 c current bound: 160 402.15/402.79 c current bound: 160 403.53/404.49 c current bound: 160 405.52/406.18 c current bound: 160 406.91/407.89 c current bound: 160 409.02/409.60 c current bound: 160 410.31/411.29 c current bound: 160 411.98/412.96 c current bound: 160 414.03/414.65 c current bound: 160 415.73/416.31 c current bound: 160 417.41/418.01 c current bound: 160 419.09/419.82 c current bound: 160 420.78/421.54 c current bound: 160 422.46/423.21 c current bound: 160 424.04/424.87 c current bound: 160 425.41/426.56 c current bound: 160 427.46/428.22 c current bound: 160 428.74/429.89 c current bound: 160 430.84/431.60 c current bound: 160 432.13/433.29 c current bound: 160 433.80/434.96 c current bound: 160 435.84/436.66 c current bound: 160 437.54/438.33 c current bound: 160 439.25/440.02 c current bound: 160 440.92/441.70 c current bound: 160 442.62/443.40 c current bound: 160 443.90/445.08 c current bound: 160 445.90/446.78 c current bound: 160 447.29/448.48 c current bound: 160 449.30/450.19 c current bound: 160 450.67/451.87 c current bound: 160 452.70/453.53 c current bound: 160 454.39/455.21 c current bound: 160 455.66/456.88 c current bound: 160 457.36/458.58 c current bound: 160 459.04/460.26 c current bound: 160 461.10/461.95 c current bound: 160 462.79/463.63 c current bound: 160 464.49/465.32 c current bound: 160 466.16/467.00 c current bound: 160 467.77/468.66 c current bound: 160 469.11/470.35 c current bound: 160 471.16/472.05 c current bound: 160 472.49/473.74 c current bound: 160 474.55/475.40 c current bound: 160 475.84/477.08 c current bound: 160 477.84/478.79 c current bound: 160 479.21/480.47 c current bound: 160 481.26/482.13 c current bound: 160 482.97/483.82 c current bound: 160 484.23/485.49 c current bound: 160 485.92/487.18 c current bound: 160 487.58/488.85 c current bound: 160 489.63/490.56 c current bound: 160 491.33/492.23 c current bound: 160 493.03/493.94 c current bound: 160 494.73/495.61 c current bound: 160 496.42/497.31 c current bound: 160 497.69/498.99 c current bound: 160 499.79/500.70 c current bound: 160 501.08/502.38 c current bound: 160 503.10/504.05 c current bound: 160 504.81/505.73 c current bound: 160 506.13/507.48 c current bound: 160 507.83/509.16 c current bound: 160 509.53/510.87 c current bound: 160 511.58/512.54 c current bound: 160 513.27/514.21 c current bound: 160 514.96/515.90 c current bound: 160 516.23/517.58 c current bound: 160 518.25/519.28 c current bound: 160 519.58/520.94 c current bound: 160 521.66/522.61 c current bound: 160 522.92/524.27 c current bound: 160 524.95/525.93 c current bound: 160 526.67/527.62 c current bound: 160 528.36/529.31 c current bound: 160 530.03/531.00 c current bound: 160 531.74/532.71 c current bound: 160 533.44/534.40 c current bound: 160 534.71/536.06 c current bound: 160 536.39/537.75 c current bound: 160 538.45/539.42 c current bound: 160 540.14/541.11 c current bound: 160 541.41/542.78 c current bound: 160 543.43/544.48 c current bound: 160 544.77/546.15 c current bound: 160 546.85/547.84 c current bound: 160 548.53/549.52 c current bound: 160 550.24/551.22 c current bound: 160 551.93/552.90 c current bound: 160 553.61/554.60 c current bound: 160 554.90/556.28 c current bound: 160 556.91/557.99 c current bound: 160 558.67/559.85 c current bound: 160 560.34/561.52 c current bound: 160 562.03/563.21 c current bound: 160 563.30/564.89 c current bound: 160 565.32/566.55 c current bound: 160 567.04/568.22 c current bound: 160 568.62/569.89 c current bound: 160 569.98/571.57 c current bound: 160 572.01/573.26 c current bound: 160 573.72/574.93 c current bound: 160 575.30/576.59 c current bound: 160 576.68/578.28 c current bound: 160 578.71/579.94 c current bound: 160 580.42/581.62 c current bound: 160 582.13/583.33 c current bound: 160 583.81/585.02 c current bound: 160 585.09/586.69 c current bound: 160 586.77/588.38 c current bound: 160 588.47/590.08 c current bound: 160 590.50/591.77 c current bound: 160 591.81/593.44 c current bound: 160 593.91/595.13 c current bound: 160 595.59/596.80 c current bound: 160 597.28/598.50 c current bound: 160 598.55/600.18 c current bound: 160 600.58/601.84 c current bound: 160 602.27/603.52 c current bound: 160 603.97/605.23 c current bound: 160 605.68/606.91 c current bound: 160 607.37/608.62 c current bound: 160 609.07/610.32 c current bound: 160 610.75/612.01 c current bound: 160 612.47/613.73 c current bound: 160 614.17/615.41 c current bound: 160 615.77/617.10 c current bound: 160 617.13/618.77 c current bound: 160 619.17/620.46 c current bound: 160 620.48/622.14 c current bound: 160 622.58/623.83 c current bound: 160 624.28/625.51 c current bound: 160 625.95/627.20 c current bound: 160 627.23/628.88 c current bound: 160 629.28/630.55 c current bound: 160 630.99/632.23 c current bound: 160 632.68/633.91 c current bound: 160 634.37/635.60 c current bound: 160 636.09/637.34 c current bound: 160 637.80/639.02 c current bound: 160 639.48/640.70 c current bound: 160 641.08/642.38 c current bound: 160 642.43/644.06 c current bound: 160 644.50/645.75 c current bound: 160 645.79/647.44 c current bound: 160 647.91/649.13 c current bound: 160 649.60/650.81 c current bound: 160 651.29/652.50 c current bound: 160 652.57/654.19 c current bound: 160 654.61/655.87 c current bound: 160 655.93/657.55 c current bound: 160 658.01/659.22 c current bound: 160 659.30/660.89 c current bound: 160 660.96/662.56 c current bound: 160 662.65/664.24 c current bound: 160 664.72/665.91 c current bound: 160 665.98/667.58 c current bound: 160 667.64/669.24 c current bound: 160 669.73/670.93 c current bound: 160 671.41/672.60 c current bound: 160 673.09/674.37 c current bound: 160 674.72/676.03 c current bound: 160 676.43/677.73 c current bound: 160 677.69/679.39 c current bound: 160 679.70/681.05 c current bound: 160 681.42/682.73 c current bound: 160 683.11/684.43 c current bound: 160 684.37/686.09 c current bound: 160 686.40/687.79 c current bound: 160 687.75/689.45 c current bound: 160 689.45/691.18 c current bound: 160 691.13/692.84 c current bound: 160 693.19/694.50 c current bound: 160 694.45/696.17 c current bound: 160 696.51/697.83 c current bound: 160 697.78/699.49 c current bound: 160 699.44/701.16 c current bound: 160 701.49/702.86 c current bound: 160 703.18/704.53 c current bound: 160 704.87/706.26 c current bound: 160 706.21/707.94 c current bound: 160 708.28/709.64 c current bound: 160 709.97/711.32 c current bound: 160 711.68/713.02 c current bound: 160 712.94/714.69 c current bound: 160 715.05/716.40 c current bound: 160 716.34/718.08 c current bound: 160 718.06/719.79 c current bound: 160 719.75/721.48 c current bound: 160 721.41/723.15 c current bound: 160 723.46/724.83 c current bound: 160 725.15/726.50 c current bound: 160 726.74/728.17 c current bound: 160 728.46/729.83 c current bound: 160 730.16/731.53 c current bound: 160 731.84/733.21 c current bound: 160 733.43/734.87 c current bound: 160 734.77/736.54 c current bound: 160 736.84/738.21 c current bound: 160 738.09/739.87 c current bound: 160 740.11/741.54 c current bound: 160 741.83/743.22 c current bound: 160 743.42/744.88 c current bound: 160 744.77/746.56 c current bound: 160 746.83/748.22 c current bound: 160 748.10/749.89 c current bound: 160 750.11/751.55 c current bound: 160 751.46/753.26 c current bound: 160 753.51/754.92 c current bound: 160 755.19/756.60 c current bound: 160 756.46/758.27 c current bound: 160 758.52/759.94 c current bound: 160 760.19/761.60 c current bound: 160 761.49/763.29 c current bound: 160 763.15/764.96 c current bound: 160 765.21/766.63 c current bound: 160 766.49/768.29 c current bound: 160 768.51/769.96 c current bound: 160 770.20/771.63 c current bound: 160 771.89/773.31 c current bound: 160 773.15/774.98 c current bound: 160 775.19/776.66 c current bound: 160 776.90/778.32 c current bound: 160 778.58/780.00 c current bound: 160 779.84/781.68 c current bound: 160 781.88/783.36 c current bound: 160 783.60/785.03 c current bound: 160 785.28/786.71 c current bound: 160 786.56/788.38 c current bound: 160 788.58/790.08 c current bound: 160 789.92/791.75 c current bound: 160 791.98/793.41 c current bound: 160 793.24/795.09 c current bound: 160 794.90/796.76 c current bound: 160 796.97/798.43 c current bound: 160 798.64/800.10 c current bound: 160 799.93/801.78 c current bound: 160 801.60/803.44 c current bound: 160 803.67/805.13 c current bound: 160 805.35/806.80 c current bound: 160 806.96/808.47 c current bound: 160 808.29/810.14 c current bound: 160 810.36/811.82 c current bound: 160 811.61/813.48 c current bound: 160 813.65/815.15 c current bound: 160 815.35/816.82 c current bound: 160 817.04/818.50 c current bound: 160 818.31/820.17 c current bound: 160 820.35/821.83 c current bound: 160 822.04/823.50 c current bound: 160 823.64/825.18 c current bound: 160 824.98/826.84 c current bound: 160 827.06/828.51 c current bound: 160 828.32/830.19 c current bound: 160 830.34/831.88 c current bound: 160 831.66/833.56 c current bound: 160 833.74/835.22 c current bound: 160 835.42/836.90 c current bound: 160 836.69/838.56 c current bound: 160 838.37/840.25 c current bound: 160 840.45/841.93 c current bound: 160 842.14/843.61 c current bound: 160 843.80/845.30 c current bound: 160 845.41/847.00 c current bound: 160 846.76/848.67 c current bound: 160 848.81/850.37 c current bound: 160 850.15/852.04 c current bound: 160 852.21/853.75 c current bound: 160 853.53/855.44 c current bound: 160 855.59/857.15 c current bound: 160 857.32/858.81 c current bound: 160 858.90/860.48 c current bound: 160 860.25/862.16 c current bound: 160 861.96/863.87 c current bound: 160 864.00/865.53 c current bound: 160 865.69/867.20 c current bound: 160 866.97/868.89 c current bound: 160 868.64/870.56 c current bound: 160 870.69/872.25 c current bound: 160 872.39/873.93 c current bound: 160 874.10/875.62 c current bound: 160 875.78/877.30 c current bound: 160 877.38/878.96 c current bound: 160 879.09/880.63 c current bound: 160 880.77/882.30 c current bound: 160 882.03/883.97 c current bound: 160 884.08/885.63 c current bound: 160 885.76/887.30 c current bound: 160 887.37/889.00 c current bound: 160 888.73/890.68 c current bound: 160 890.75/892.38 c current bound: 160 892.11/894.07 c current bound: 160 893.83/895.77 c current bound: 160 895.51/897.46 c current bound: 160 897.57/899.13 c current bound: 160 899.26/900.83 c current bound: 160 900.94/902.50 c current bound: 160 902.55/904.20 c current bound: 160 903.90/905.87 c current bound: 160 905.94/907.56 c current bound: 160 907.27/909.25 c current bound: 160 909.32/910.94 c current bound: 160 911.03/912.62 c current bound: 160 912.74/914.32 c current bound: 160 914.43/916.00 c current bound: 160 916.13/917.73 c current bound: 160 917.84/919.42 c current bound: 160 919.10/921.08 c current bound: 160 920.78/922.77 c current bound: 160 922.45/924.44 c current bound: 160 924.53/926.10 c current bound: 160 925.79/927.78 c current bound: 160 927.83/929.47 c current bound: 160 929.16/931.14 c current bound: 160 931.24/932.84 c current bound: 160 932.92/934.51 c current bound: 160 934.60/936.21 c current bound: 160 935.88/937.88 c current bound: 160 937.91/939.58 c current bound: 160 939.25/941.25 c current bound: 160 941.32/942.91 c current bound: 160 942.58/944.57 c current bound: 160 944.62/946.27 c current bound: 160 945.96/947.96 c current bound: 160 948.01/949.62 c current bound: 160 949.70/951.31 c current bound: 160 950.98/952.98 c current bound: 160 952.67/954.67 c current bound: 160 954.33/956.34 c current bound: 160 956.41/958.03 c current bound: 160 958.09/959.70 c current bound: 160 959.69/961.39 c current bound: 160 961.05/963.07 c current bound: 160 963.09/964.77 c current bound: 160 964.79/966.43 c current bound: 160 966.49/968.13 c current bound: 160 968.19/969.81 c current bound: 160 969.78/971.47 c current bound: 160 971.13/973.15 c current bound: 160 973.17/974.86 c current bound: 160 974.88/976.52 c current bound: 160 976.57/978.22 c current bound: 160 978.28/979.92 c current bound: 160 979.55/981.59 c current bound: 160 981.20/983.26 c current bound: 160 983.27/984.92 c current bound: 160 984.53/986.58 c current bound: 160 986.19/988.26 c current bound: 160 988.25/989.95 c current bound: 160 989.95/991.62 c current bound: 160 991.53/993.28 c current bound: 160 992.87/994.95 c current bound: 160 994.94/996.61 c current bound: 160 996.21/998.29 c current bound: 160 998.23/999.95 c current bound: 160 999.92/1001.62 c current bound: 160 1001.52/1003.28 c current bound: 160 1002.85/1004.94 c current bound: 160 1004.91/1006.61 c current bound: 160 1006.18/1008.28 c current bound: 160 1008.19/1009.99 c current bound: 160 1009.56/1011.68 c current bound: 160 1011.58/1013.38 c current bound: 160 1012.95/1015.06 c current bound: 160 1014.65/1016.78 c current bound: 160 1016.34/1018.47 c current bound: 160 1018.01/1020.14 c current bound: 160 1020.08/1021.83 c current bound: 160 1021.77/1023.50 c current bound: 160 1023.37/1025.20 c current bound: 160 1024.73/1026.87 c current bound: 160 1026.78/1028.54 c current bound: 160 1028.47/1030.22 c current bound: 160 1030.16/1031.91 c current bound: 160 1031.44/1033.59 c current bound: 160 1033.57/1035.30 c current bound: 160 1035.25/1037.00 c current bound: 160 1036.95/1038.71 c current bound: 160 1038.24/1040.39 c current bound: 160 1039.90/1042.05 c current bound: 160 1041.58/1043.74 c current bound: 160 1043.64/1045.41 c current bound: 160 1044.94/1047.10 c current bound: 160 1046.59/1048.77 c current bound: 160 1048.64/1050.46 c current bound: 160 1050.34/1052.13 c current bound: 160 1052.05/1053.82 c current bound: 160 1053.72/1055.50 c current bound: 160 1055.42/1057.21 c current bound: 160 1056.70/1058.89 c current bound: 160 1058.70/1060.57 c current bound: 160 1060.06/1062.24 c current bound: 160 1062.11/1063.95 c current bound: 160 1063.43/1065.63 c current bound: 160 1065.15/1067.34 c current bound: 160 1067.23/1069.03 c current bound: 160 1068.91/1070.70 c current bound: 160 1070.19/1072.39 c current bound: 160 1071.85/1074.06 c current bound: 160 1073.90/1075.75 c current bound: 160 1075.21/1077.43 c current bound: 160 1077.31/1079.13 c current bound: 160 1078.99/1080.80 c current bound: 160 1080.59/1082.46 c current bound: 160 1081.93/1084.14 c current bound: 160 1084.00/1085.80 c current bound: 160 1085.25/1087.47 c current bound: 160 1087.27/1089.17 c current bound: 160 1088.65/1090.86 c current bound: 160 1090.67/1092.57 c current bound: 160 1092.03/1094.26 c current bound: 160 1093.73/1095.97 c current bound: 160 1095.80/1097.73 c current bound: 160 1097.06/1099.39 c current bound: 160 1099.07/1101.06 c current bound: 160 1100.39/1102.74 c current bound: 160 1102.38/1104.40 c current bound: 160 1103.73/1106.06 c current bound: 160 1105.78/1107.73 c current bound: 160 1107.46/1109.41 c current bound: 160 1109.07/1111.07 c current bound: 160 1110.78/1112.73 c current bound: 160 1112.46/1114.40 c current bound: 160 1113.73/1116.08 c current bound: 160 1115.76/1117.74 c current bound: 160 1117.48/1119.43 c current bound: 160 1119.18/1121.13 c current bound: 160 1120.85/1122.80 c current bound: 160 1122.56/1124.51 c current bound: 160 1123.84/1126.19 c current bound: 160 1125.50/1127.85 c current bound: 160 1127.19/1129.54 c current bound: 160 1129.25/1131.21 c current bound: 160 1130.96/1132.90 c current bound: 160 1132.21/1134.57 c current bound: 160 1134.25/1136.27 c current bound: 160 1135.57/1137.94 c current bound: 160 1137.66/1139.64 c current bound: 160 1139.34/1141.31 c current bound: 160 1141.05/1143.01 c current bound: 160 1142.32/1144.69 c current bound: 160 1144.33/1146.36 c current bound: 160 1145.66/1148.05 c current bound: 160 1147.71/1149.71 c current bound: 160 1149.01/1151.39 c current bound: 160 1151.01/1153.10 c current bound: 160 1152.39/1154.78 c current bound: 160 1154.05/1156.45 c current bound: 160 1156.11/1158.11 c current bound: 160 1157.38/1159.77 c current bound: 160 1159.03/1161.43 c current bound: 160 1160.68/1163.10 c current bound: 160 1162.34/1164.77 c current bound: 160 1164.40/1166.43 c current bound: 160 1166.10/1168.12 c current bound: 160 1167.77/1169.80 c current bound: 160 1169.49/1171.51 c current bound: 160 1170.76/1173.18 c current bound: 160 1172.79/1174.88 c current bound: 160 1174.13/1176.56 c current bound: 160 1176.17/1178.28 c current bound: 160 1177.52/1179.96 c current bound: 160 1179.58/1181.62 c current bound: 160 1181.25/1183.30 c current bound: 160 1182.96/1185.01 c current bound: 160 1184.25/1186.69 c current bound: 160 1186.36/1188.40 c current bound: 160 1187.64/1190.09 c current bound: 160 1189.31/1191.76 c current bound: 160 1191.36/1193.47 c current bound: 160 1192.68/1195.14 c current bound: 160 1194.76/1196.84 c current bound: 160 1196.45/1198.51 c current bound: 160 1198.13/1200.20 c current bound: 160 1199.43/1201.90 c current bound: 160 1201.43/1203.56 c current bound: 160 1203.15/1205.22 c current bound: 160 1204.85/1206.92 c current bound: 160 1206.54/1208.61 c current bound: 160 1208.24/1210.32 c current bound: 160 1209.92/1212.00 c current bound: 160 1211.61/1213.71 c current bound: 160 1213.33/1215.40 c current bound: 160 1214.58/1217.09 c current bound: 160 1216.61/1218.79 c current bound: 160 1217.96/1220.47 c current bound: 160 1220.01/1222.16 c current bound: 160 1221.33/1223.84 c current bound: 160 1223.40/1225.54 c current bound: 160 1225.09/1227.22 c current bound: 160 1226.80/1228.92 c current bound: 160 1228.06/1230.58 c current bound: 160 1230.09/1232.28 c current bound: 160 1231.45/1233.97 c current bound: 160 1233.15/1235.67 c current bound: 160 1234.84/1237.36 c current bound: 160 1236.90/1239.03 c current bound: 160 1238.60/1240.71 c current bound: 160 1239.87/1242.39 c current bound: 160 1241.89/1244.08 c current bound: 160 1243.23/1245.76 c current bound: 160 1245.28/1247.47 c current bound: 160 1246.64/1249.18 c current bound: 160 1248.66/1250.88 c current bound: 160 1250.06/1252.59 c current bound: 160 1252.17/1254.30 c current bound: 160 1253.89/1256.01 c current bound: 160 1255.15/1257.68 c current bound: 160 1256.81/1259.34 c current bound: 160 1258.49/1261.04 c current bound: 160 1260.59/1262.72 c current bound: 160 1261.86/1264.39 c current bound: 160 1263.88/1266.06 c current bound: 160 1265.58/1267.73 c current bound: 160 1267.27/1269.40 c current bound: 160 1268.54/1271.07 c current bound: 160 1270.59/1272.75 c current bound: 160 1272.28/1274.41 c current bound: 160 1273.89/1276.08 c current bound: 160 1275.23/1277.75 c current bound: 160 1277.27/1279.44 c current bound: 160 1278.98/1281.11 c current bound: 160 1280.58/1282.79 c current bound: 160 1281.92/1284.45 c current bound: 160 1283.99/1286.13 c current bound: 160 1285.69/1287.80 c current bound: 160 1287.28/1289.47 c current bound: 160 1288.62/1291.14 c current bound: 160 1290.69/1292.81 c current bound: 160 1291.97/1294.49 c current bound: 160 1293.64/1296.17 c current bound: 160 1295.32/1297.86 c current bound: 160 1297.01/1299.55 c current bound: 160 1299.11/1301.21 c current bound: 160 1300.36/1302.89 c current bound: 160 1302.40/1304.57 c current bound: 160 1303.72/1306.25 c current bound: 160 1305.82/1307.94 c current bound: 160 1307.51/1309.61 c current bound: 160 1309.20/1311.30 c current bound: 160 1310.47/1312.99 c current bound: 160 1312.51/1314.67 c current bound: 160 1313.84/1316.35 c current bound: 160 1315.90/1318.04 c current bound: 160 1317.64/1319.72 c current bound: 160 1319.31/1321.41 c current bound: 160 1321.02/1323.10 c current bound: 160 1322.28/1324.77 c current bound: 160 1323.96/1326.44 c current bound: 160 1326.03/1328.11 c current bound: 160 1327.30/1329.78 c current bound: 160 1328.97/1331.45 c current bound: 160 1331.04/1333.12 c current bound: 160 1332.32/1334.79 c current bound: 160 1334.33/1336.50 c current bound: 160 1336.14/1338.21 c current bound: 160 1337.83/1339.92 c current bound: 160 1339.54/1341.63 c current bound: 160 1341.24/1343.33 c current bound: 160 1342.92/1345.00 c current bound: 160 1344.53/1346.67 c current bound: 160 1346.25/1348.33 c current bound: 160 1347.96/1350.11 c current bound: 160 1349.22/1351.79 c current bound: 160 1350.91/1353.45 c current bound: 160 1352.96/1355.12 c current bound: 160 1354.23/1356.79 c current bound: 160 1356.25/1358.46 c current bound: 160 1357.96/1360.12 c current bound: 160 1359.55/1361.80 c current bound: 160 1360.92/1363.48 c current bound: 160 1362.95/1365.16 c current bound: 160 1364.27/1366.88 c current bound: 160 1366.39/1368.71 c current bound: 160 1367.66/1370.38 c current bound: 160 1369.32/1372.07 c current bound: 160 1371.00/1373.75 c current bound: 160 1373.10/1375.43 c current bound: 160 1374.79/1377.11 c current bound: 160 1376.05/1378.79 c current bound: 160 1378.09/1380.47 c current bound: 160 1379.41/1382.16 c current bound: 160 1381.50/1383.83 c current bound: 160 1383.19/1385.52 c current bound: 160 1384.87/1387.20 c current bound: 160 1386.13/1388.87 c current bound: 160 1388.16/1390.58 c current bound: 160 1389.62/1392.35 c current bound: 160 1391.34/1394.05 c current bound: 160 1393.03/1395.75 c current bound: 160 1395.10/1397.44 c current bound: 160 1396.78/1399.12 c current bound: 160 1398.48/1400.80 c current bound: 160 1400.09/1402.48 c current bound: 160 1401.41/1404.16 c current bound: 160 1403.50/1405.83 c current bound: 160 1405.19/1407.52 c current bound: 160 1406.87/1409.20 c current bound: 160 1408.15/1410.88 c current bound: 160 1410.17/1412.59 c current bound: 160 1411.57/1414.29 c current bound: 160 1413.58/1415.99 c current bound: 160 1414.98/1417.69 c current bound: 160 1417.09/1419.40 c current bound: 160 1418.79/1421.10 c current bound: 160 1420.49/1422.81 c current bound: 160 1422.08/1424.49 c current bound: 160 1423.44/1426.16 c current bound: 160 1425.49/1427.82 c current bound: 160 1426.78/1429.49 c current bound: 160 1428.85/1431.21 c current bound: 160 1430.12/1432.88 c current bound: 160 1432.13/1434.55 c current bound: 160 1433.48/1436.24 c current bound: 160 1435.56/1437.92 c current bound: 160 1436.83/1439.59 c current bound: 160 1438.83/1441.27 c current bound: 160 1440.18/1442.94 c current bound: 160 1442.24/1444.65 c current bound: 160 1443.96/1446.32 c current bound: 160 1445.23/1447.98 c current bound: 160 1446.88/1449.65 c current bound: 160 1448.96/1451.32 c current bound: 160 1450.23/1452.99 c current bound: 160 1451.89/1454.65 c current bound: 160 1453.94/1456.34 c current bound: 160 1455.64/1458.01 c current bound: 160 1457.24/1459.68 c current bound: 160 1458.58/1461.35 c current bound: 160 1460.65/1463.02 c current bound: 160 1461.92/1464.68 c current bound: 160 1463.93/1466.35 c current bound: 160 1465.65/1468.03 c current bound: 160 1467.32/1469.70 c current bound: 160 1468.58/1471.36 c current bound: 160 1470.64/1473.03 c current bound: 160 1472.34/1474.70 c current bound: 160 1473.94/1476.38 c current bound: 160 1475.28/1478.07 c current bound: 160 1477.42/1479.80 c current bound: 160 1478.68/1481.47 c current bound: 160 1480.73/1483.13 c current bound: 160 1482.42/1484.80 c current bound: 160 1483.68/1486.47 c current bound: 160 1485.35/1488.14 c current bound: 160 1487.42/1489.80 c current bound: 160 1488.69/1491.47 c current bound: 160 1490.35/1493.14 c current bound: 160 1492.44/1494.81 c current bound: 160 1493.70/1496.48 c current bound: 160 1495.72/1498.15 c current bound: 160 1497.44/1499.82 c current bound: 160 1499.02/1501.50 c current bound: 160 1500.37/1503.17 c current bound: 160 1502.43/1504.84 c current bound: 160 1504.12/1506.51 c current bound: 160 1505.70/1508.18 c current bound: 160 1507.07/1509.85 c current bound: 160 1509.13/1511.53 c current bound: 160 1510.80/1513.20 c current bound: 160 1512.40/1514.89 c current bound: 160 1513.76/1516.56 c current bound: 160 1515.83/1518.23 c current bound: 160 1517.51/1519.90 c current bound: 160 1519.10/1521.58 c current bound: 160 1520.45/1523.25 c current bound: 160 1522.52/1524.92 c current bound: 160 1523.80/1526.59 c current bound: 160 1525.47/1528.27 c current bound: 160 1527.53/1529.93 c current bound: 160 1529.20/1531.60 c current bound: 160 1530.48/1533.27 c current bound: 160 1532.15/1534.94 c current bound: 160 1534.23/1536.63 c current bound: 160 1535.49/1538.29 c current bound: 160 1537.51/1539.96 c current bound: 160 1539.23/1541.63 c current bound: 160 1540.92/1543.31 c current bound: 160 1542.61/1545.00 c current bound: 160 1544.32/1546.71 c current bound: 160 1546.03/1548.41 c current bound: 160 1547.74/1550.13 c current bound: 160 1549.43/1551.81 c current bound: 160 1551.01/1553.48 c current bound: 160 1552.37/1555.17 c current bound: 160 1554.09/1556.89 c current bound: 160 1555.77/1558.58 c current bound: 160 1557.47/1560.26 c current bound: 160 1559.53/1561.96 c current bound: 160 1560.84/1563.64 c current bound: 160 1562.94/1565.32 c current bound: 160 1564.62/1567.01 c current bound: 160 1566.23/1568.69 c current bound: 160 1567.58/1570.38 c current bound: 160 1569.64/1572.06 c current bound: 160 1571.34/1573.74 c current bound: 160 1573.03/1575.42 c current bound: 160 1574.71/1577.10 c current bound: 160 1576.32/1578.78 c current bound: 160 1577.66/1580.46 c current bound: 160 1579.35/1582.14 c current bound: 160 1581.43/1583.82 c current bound: 160 1583.11/1585.50 c current bound: 160 1584.38/1587.18 c current bound: 160 1586.06/1588.87 c current bound: 160 1588.12/1590.55 c current bound: 160 1589.84/1592.23 c current bound: 160 1591.53/1593.91 c current bound: 160 1592.79/1595.59 c current bound: 160 1594.83/1597.27 c current bound: 160 1596.16/1598.95 c current bound: 160 1598.23/1600.64 c current bound: 160 1599.92/1602.37 c current bound: 160 1601.56/1604.06 c current bound: 160 1602.88/1605.74 c current bound: 160 1604.97/1607.42 c current bound: 160 1606.24/1609.09 c current bound: 160 1607.91/1610.75 c current bound: 160 1609.97/1612.43 c current bound: 160 1611.66/1614.10 c current bound: 160 1612.93/1615.77 c current bound: 160 1614.60/1617.44 c current bound: 160 1616.68/1619.11 c current bound: 160 1617.95/1620.78 c current bound: 160 1619.97/1622.45 c current bound: 160 1621.69/1624.11 c current bound: 160 1623.27/1625.78 c current bound: 160 1624.62/1627.45 c current bound: 160 1626.69/1629.12 c current bound: 160 1627.96/1630.79 c current bound: 160 1629.95/1632.49 c current bound: 160 1631.33/1634.16 c current bound: 160 1633.38/1635.84 c current bound: 160 1635.09/1637.51 c current bound: 160 1636.67/1639.18 c current bound: 160 1638.03/1640.85 c current bound: 160 1640.06/1642.54 c current bound: 160 1641.77/1644.21 c current bound: 160 1643.37/1645.88 c current bound: 160 1644.71/1647.55 c current bound: 160 1646.77/1649.22 c current bound: 160 1648.47/1650.91 c current bound: 160 1649.75/1652.58 c current bound: 160 1651.42/1654.25 c current bound: 160 1653.07/1655.94 c current bound: 160 1655.20/1657.63 c current bound: 160 1656.86/1659.30 c current bound: 160 1658.47/1660.98 c current bound: 160 1659.80/1662.64 c current bound: 160 1661.88/1664.32 c current bound: 160 1663.14/1665.99 c current bound: 160 1665.16/1667.67 c current bound: 160 1666.50/1669.34 c current bound: 160 1668.58/1671.02 c current bound: 160 1669.86/1672.69 c current bound: 160 1671.86/1674.37 c current bound: 160 1673.20/1676.04 c current bound: 160 1675.27/1677.72 c current bound: 160 1676.96/1679.40 c current bound: 160 1678.56/1681.09 c current bound: 160 1679.92/1682.77 c current bound: 160 1681.60/1684.44 c current bound: 160 1683.67/1686.12 c current bound: 160 1684.94/1687.78 c current bound: 160 1686.62/1689.45 c current bound: 160 1688.69/1691.12 c current bound: 160 1689.96/1692.79 c current bound: 160 1691.62/1694.45 c current bound: 160 1693.69/1696.12 c current bound: 160 1694.97/1697.79 c current bound: 160 1696.98/1699.46 c current bound: 160 1698.31/1701.14 c current bound: 160 1700.37/1702.81 c current bound: 160 1701.65/1704.48 c current bound: 160 1703.68/1706.15 c current bound: 160 1705.39/1707.83 c current bound: 160 1707.08/1709.50 c current bound: 160 1708.37/1711.19 c current bound: 160 1710.37/1712.87 c current bound: 160 1711.73/1714.54 c current bound: 160 1713.79/1716.21 c current bound: 160 1715.05/1717.88 c current bound: 160 1717.07/1719.56 c current bound: 160 1718.79/1721.23 c current bound: 160 1720.47/1722.90 c current bound: 160 1721.75/1724.57 c current bound: 160 1723.41/1726.24 c current bound: 160 1725.49/1727.91 c current bound: 160 1726.76/1729.58 c current bound: 160 1728.42/1731.25 c current bound: 160 1730.48/1732.93 c current bound: 160 1731.76/1734.60 c current bound: 160 1733.43/1736.27 c current bound: 160 1735.49/1737.93 c current bound: 160 1737.18/1739.60 c current bound: 160 1738.78/1741.27 c current bound: 160 1740.10/1742.95 c current bound: 160 1742.18/1744.62 c current bound: 160 1743.47/1746.29 c current bound: 160 1745.48/1747.97 c current bound: 160 1746.80/1749.64 c current bound: 160 1748.88/1751.32 c current bound: 160 1750.14/1752.98 c current bound: 160 1752.16/1754.66 c current bound: 160 1753.49/1756.34 c current bound: 160 1755.57/1758.02 c current bound: 160 1756.85/1759.69 c current bound: 160 1758.85/1761.36 c current bound: 160 1760.19/1763.04 c current bound: 160 1762.25/1764.71 c current bound: 160 1763.53/1766.39 c current bound: 160 1765.59/1768.22 c current bound: 160 1767.18/1769.89 c current bound: 160 1768.54/1771.55 c current bound: 160 1770.61/1773.23 c current bound: 160 1771.87/1774.89 c current bound: 160 1773.88/1776.56 c current bound: 160 1775.21/1778.24 c current bound: 160 1777.29/1779.91 c current bound: 160 1778.56/1781.57 c current bound: 160 1780.56/1783.24 c current bound: 160 1781.93/1784.95 c current bound: 160 1783.99/1786.63 c current bound: 160 1785.69/1788.31 c current bound: 160 1787.28/1789.98 c current bound: 160 1788.63/1791.65 c current bound: 160 1790.68/1793.33 c current bound: 160 1792.37/1795.00 c current bound: 160 1793.64/1796.67 c current bound: 160 1795.32/1798.35 c current bound: 160 1797.38/1800.01 c current bound: 160 1798.66/1801.68 c current bound: 160 1800.19/1802.82 c error: unexpected solver exit code 1800.19/1802.82 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-3753025-1339206191/watcher-3753025-1339206191 -o /tmp/evaluation-result-3753025-1339206191/solver-3753025-1339206191 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753025-1339206191.wbo 1959255887 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.28 2.06 2.02 3/182 8971 /proc/meminfo: memFree=30588132/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [startup+0.058811 s] /proc/loadavg: 2.28 2.06 2.02 3/182 8971 /proc/meminfo: memFree=30588132/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100274 s] /proc/loadavg: 2.28 2.06 2.02 3/182 8971 /proc/meminfo: memFree=30588132/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300201 s] /proc/loadavg: 2.28 2.06 2.02 3/182 8971 /proc/meminfo: memFree=30588132/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700201 s] /proc/loadavg: 2.28 2.06 2.02 3/182 8971 /proc/meminfo: memFree=30588132/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.5002 s] /proc/loadavg: 2.28 2.06 2.02 3/184 8973 /proc/meminfo: memFree=30533744/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67332 CPUtime=1.12 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 8234 0 0 0 106 6 0 0 20 0 1 0 30586196 68947968 13446 33554432000 4194304 6006132 140733457894832 140733457887936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8972/statm: 16833 13446 158 443 0 16386 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 76480 [startup+3.10032 s] /proc/loadavg: 2.28 2.06 2.02 3/186 8975 /proc/meminfo: memFree=30376188/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67332 CPUtime=1.12 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 8234 0 0 0 106 6 0 0 20 0 1 0 30586196 68947968 13446 33554432000 4194304 6006132 140733457894832 140733457887936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8972/statm: 16833 13446 158 443 0 16386 0 [pid=8974] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8974/stat : 8974 (cp2_pre.sh) S 8972 8971 8611 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 30586309 9367552 277 33554432000 4194304 5064252 140736986985936 140736986984640 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/8974/statm: 2287 277 234 213 0 72 0 [pid=8975] ppid=8974 vsize=160900 CPUtime=1.95 cores=0,2,4,6 /proc/8975/stat : 8975 (coprocessor) R 8974 8971 8611 0 -1 4202496 28865 0 0 0 190 5 0 0 20 0 1 0 30586310 164761600 39288 33554432000 4194304 6586260 140736305332576 140736305327944 5599216 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0 /proc/8975/statm: 40225 39288 192 584 0 39637 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 246528 [startup+6.30024 s] /proc/loadavg: 2.26 2.06 2.02 3/186 8975 /proc/meminfo: memFree=30366168/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67332 CPUtime=6.2 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 8249 45258 0 0 106 6 495 13 20 0 1 0 30586196 68947968 13447 33554432000 4194304 6006132 140733457894832 140733457888512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8972/statm: 16833 13447 159 443 0 16386 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 76480 [startup+12.7002 s] /proc/loadavg: 2.24 2.06 2.02 3/186 9002 /proc/meminfo: memFree=30490872/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=12.27 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 25215 135252 0 0 161 75 917 74 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 Current children cumulated CPU time (s) 12.27 Current children cumulated vsize (KiB) 76484 [startup+25.5004 s] /proc/loadavg: 2.18 2.06 2.02 3/187 9058 /proc/meminfo: memFree=30498548/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=25.15 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 55427 355922 0 0 234 84 1983 214 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457885680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 [pid=9056] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9056/stat : 9056 (cp2_post.sh) S 8972 8971 8611 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 30588715 9367552 266 33554432000 4194304 5064252 140736825498960 140736825497248 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/9056/statm: 2287 266 225 213 0 72 0 [pid=9058] ppid=9056 vsize=15488 CPUtime=0.29 cores=0,2,4,6 /proc/9058/stat : 9058 (coprocessor) R 9056 8971 8611 0 -1 4202496 4105 0 0 0 20 9 0 0 20 0 1 0 30588716 15859712 2989 33554432000 4194304 6586260 140736044065600 140736825497272 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0 /proc/9058/statm: 3872 2989 149 584 0 3284 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 101120 [startup+51.1002 s] /proc/loadavg: 2.12 2.05 2.02 3/187 9163 /proc/meminfo: memFree=30491672/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=50.86 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 124460 789722 0 0 398 104 4074 510 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 Current children cumulated CPU time (s) 50.86 Current children cumulated vsize (KiB) 76484 [startup+102.307 s] /proc/loadavg: 2.01 2.03 2.01 3/185 9384 /proc/meminfo: memFree=30407244/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=101.37 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 253910 1647863 0 0 703 145 8177 1112 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 [pid=9383] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9383/stat : 9383 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30596348 9367552 266 33554432000 4194304 5064252 140734661743440 140734661742352 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9383/statm: 2287 266 226 213 0 72 0 [pid=9384] ppid=9383 vsize=106288 CPUtime=0.77 cores=0,2,4,6 /proc/9384/stat : 9384 (glucose) R 9383 8971 8611 0 -1 4202496 21578 0 0 0 73 4 0 0 20 0 1 0 30596348 108838912 24414 33554432000 4194304 5208918 140735227774368 140735227772312 4211625 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/9384/statm: 26572 24414 95 248 0 26321 0 Current children cumulated CPU time (s) 102.14 Current children cumulated vsize (KiB) 191920 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.00 3/186 9632 /proc/meminfo: memFree=30493508/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=161.88 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 409250 2674440 0 0 1073 190 13112 1813 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 Current children cumulated CPU time (s) 161.88 Current children cumulated vsize (KiB) 76484 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.00 3/185 9888 /proc/meminfo: memFree=30403032/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=221.86 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 560282 3697817 0 0 1431 237 18019 2499 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457885680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 Current children cumulated CPU time (s) 221.86 Current children cumulated vsize (KiB) 76484 [startup+282.3 s] /proc/loadavg: 2.23 2.08 2.02 3/185 10144 /proc/meminfo: memFree=30489068/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=281.3 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 715615 4704592 0 0 1800 283 22825 3222 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 Current children cumulated CPU time (s) 281.3 ################ # More data... # ################ /proc/14506/statm: 26570 24948 95 248 0 26319 0 Current children cumulated CPU time (s) 1300.2 Current children cumulated vsize (KiB) 191912 [startup+1362.3 s] /proc/loadavg: 2.37 2.12 2.04 3/185 14761 /proc/meminfo: memFree=30482424/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=1359.77 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 3485845 23002622 0 0 8435 1134 110427 15981 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 Current children cumulated CPU time (s) 1359.77 Current children cumulated vsize (KiB) 76484 [startup+1422.31 s] /proc/loadavg: 2.13 2.10 2.03 3/185 15010 /proc/meminfo: memFree=30394556/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=1418.9 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 3636870 23997266 0 0 8795 1180 115228 16687 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 [pid=15009] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15009/stat : 15009 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30728317 9367552 267 33554432000 4194304 5064252 140734280808432 140734280807344 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/15009/statm: 2287 267 226 213 0 72 0 [pid=15010] ppid=15009 vsize=107196 CPUtime=1.09 cores=0,2,4,6 /proc/15010/stat : 15010 (glucose) R 15009 8971 8611 0 -1 4202496 21126 0 0 0 104 5 0 0 20 0 1 0 30728317 109768704 25572 33554432000 4194304 5208918 140736030731744 140736030728264 4607488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/15010/statm: 26799 25572 105 248 0 26548 0 Current children cumulated CPU time (s) 1419.99 Current children cumulated vsize (KiB) 192828 [startup+1482.3 s] /proc/loadavg: 2.02 2.06 2.02 3/185 15270 /proc/meminfo: memFree=30474540/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=1479.2 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 3792210 25024672 0 0 9186 1231 120126 17377 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 [pid=15269] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15269/stat : 15269 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30734353 9367552 266 33554432000 4194304 5064252 140735275586448 140735275585360 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/15269/statm: 2287 266 226 213 0 72 0 [pid=15270] ppid=15269 vsize=106284 CPUtime=0.71 cores=0,2,4,6 /proc/15270/stat : 15270 (glucose) R 15269 8971 8611 0 -1 4202496 21644 0 0 0 68 3 0 0 20 0 1 0 30734353 108834816 24975 33554432000 4194304 5208918 140735396190784 140735395140280 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/15270/statm: 26571 24975 95 248 0 26320 0 Current children cumulated CPU time (s) 1479.91 Current children cumulated vsize (KiB) 191916 [startup+1542.3 s] /proc/loadavg: 1.94 2.03 2.01 3/185 15529 /proc/meminfo: memFree=30394516/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=1539.37 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 3947550 26055295 0 0 9578 1280 125006 18073 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 [pid=15528] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/15528/stat : 15528 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30740370 9367552 267 33554432000 4194304 5064252 140735525917136 140735525916048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/15528/statm: 2287 267 226 213 0 72 0 [pid=15529] ppid=15528 vsize=106148 CPUtime=0.55 cores=0,2,4,6 /proc/15529/stat : 15529 (glucose) R 15528 8971 8611 0 -1 4202496 20789 0 0 0 51 4 0 0 20 0 1 0 30740370 108695552 25235 33554432000 4194304 5208918 140734088872400 140735525916072 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/15529/statm: 26537 25235 95 248 0 26286 0 Current children cumulated CPU time (s) 1539.92 Current children cumulated vsize (KiB) 191780 [startup+1602.3 s] /proc/loadavg: 1.98 2.03 2.01 3/185 15781 /proc/meminfo: memFree=30397520/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=1599.92 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 4099947 27076918 0 0 9939 1325 129935 18793 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886768 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 Current children cumulated CPU time (s) 1599.92 Current children cumulated vsize (KiB) 76484 [startup+1662.3 s] /proc/loadavg: 1.99 2.02 2.00 3/186 16036 /proc/meminfo: memFree=30396064/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=1659.8 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 4253922 28097341 0 0 10324 1376 134804 19476 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457885680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 Current children cumulated CPU time (s) 1659.8 Current children cumulated vsize (KiB) 76484 [startup+1722.3 s] /proc/loadavg: 1.84 1.98 1.99 3/185 16295 /proc/meminfo: memFree=30461156/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=1718.92 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 4409255 29100709 0 0 10716 1425 139581 20170 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 [pid=16294] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16294/stat : 16294 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30758330 9367552 266 33554432000 4194304 5064252 140733617667216 140733617666128 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/16294/statm: 2287 266 226 213 0 72 0 [pid=16295] ppid=16294 vsize=106284 CPUtime=0.95 cores=0,2,4,6 /proc/16295/stat : 16295 (glucose) R 16294 8971 8611 0 -1 4202496 21288 0 0 0 92 3 0 0 20 0 1 0 30758330 108834816 24616 33554432000 4194304 5208918 140736959890464 140736959888424 4211572 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16295/statm: 26571 24616 95 248 0 26320 0 Current children cumulated CPU time (s) 1719.87 Current children cumulated vsize (KiB) 191916 [startup+1782.3 s] /proc/loadavg: 1.90 1.97 1.98 3/184 16554 /proc/meminfo: memFree=30405976/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=1779.06 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 4564595 30129884 0 0 11108 1474 144442 20882 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 [pid=16553] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16553/stat : 16553 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30764364 9367552 267 33554432000 4194304 5064252 140736651402528 140736651401440 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/16553/statm: 2287 267 226 213 0 72 0 [pid=16554] ppid=16553 vsize=106148 CPUtime=0.61 cores=0,2,4,6 /proc/16554/stat : 16554 (glucose) R 16553 8971 8611 0 -1 4202496 21688 0 0 0 58 3 0 0 20 0 1 0 30764364 108695552 24511 33554432000 4194304 5208918 140733851579280 140733850528680 4211918 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16554/statm: 26537 24511 95 248 0 26286 0 Current children cumulated CPU time (s) 1779.67 Current children cumulated vsize (KiB) 191780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1802.8 s] /proc/loadavg: 1.93 1.97 1.98 3/185 16684 /proc/meminfo: memFree=30476808/32873844 swapFree=7124/7124 [pid=8971] ppid=8969 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8971/stat : 8971 (npSolver-wbo-It) S 8969 8971 8611 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 30586196 9367552 274 33554432000 4194304 5064252 140737201040112 140737201039024 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8971/statm: 2287 274 233 213 0 72 0 [pid=8972] ppid=8971 vsize=67336 CPUtime=1799.18 cores=0,2,4,6 /proc/8972/stat : 8972 (npSolver-wbo) S 8971 8971 8611 0 -1 4202496 4616375 30472652 0 0 11238 1492 146073 21115 20 0 1 0 30586196 68952064 13466 33554432000 4194304 6006132 140733457894832 140733457886192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8972/statm: 16834 13466 177 443 0 16387 0 [pid=16683] ppid=8972 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/16683/stat : 16683 (satsolver.sh) S 8972 8971 8611 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30766375 9367552 267 33554432000 4194304 5064252 140736223938656 140736223937568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/16683/statm: 2287 267 226 213 0 72 0 [pid=16684] ppid=16683 vsize=107196 CPUtime=1.01 cores=0,2,4,6 /proc/16684/stat : 16684 (glucose) R 16683 8971 8611 0 -1 4202496 21536 0 0 0 98 3 0 0 20 0 1 0 30766375 109768704 24832 33554432000 4194304 5208918 140733818887488 140733818885432 4234202 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/16684/statm: 26799 24832 103 248 0 26548 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 192828 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8971 and gives # childrusage.ru_utime.tv_sec=1573 # childrusage.ru_utime.tv_usec=126848 # childrusage.ru_stime.tv_sec=226 # childrusage.ru_stime.tv_usec=80630 # CPU time returned by wait4() is 1799.21 # while last known CPU time is 1800.19 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1802.83 CPU time (s): 1800.19 CPU user time (s): 1574.09 CPU system time (s): 226.1 CPU usage (%): 99.8535 Max. virtual memory (cumulated for all children) (KiB): 246928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1573.13 system time used= 226.081 maximum resident set size= 163664 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35090002 page faults= 0 swaps= 0 block input operations= 0 block output operations= 45247208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 805431 involuntary context switches= 19046 runsolver used 3.9104 second user time and 10.2044 second system time The end
Begin job on node134 at 2012-06-09 03:43:11 IDJOB=3753025 IDBENCH=79088 IDSOLVER=2336 FILE ID=node134/3753025-1339206191 RUNJOBID= node134-1339204370-8627 PBS_JOBID= 14643850 Free space on /tmp= 71124 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j6010_2-unsat--soft-33-100-0.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753025-1339206191/watcher-3753025-1339206191 -o /tmp/evaluation-result-3753025-1339206191/solver-3753025-1339206191 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753025-1339206191.wbo 1959255887 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c0c0bebc7e31a6df8b165cc7ff9f27e8 RANDOM SEED=1959255887 node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.091 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.091 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.091 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.091 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.091 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.091 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.091 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.091 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30588396 kB Buffers: 370740 kB Cached: 963184 kB SwapCached: 0 kB Active: 610872 kB Inactive: 844396 kB Active(anon): 108284 kB Inactive(anon): 11184 kB Active(file): 502588 kB Inactive(file): 833212 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 31460 kB Writeback: 0 kB AnonPages: 236832 kB Mapped: 15188 kB Shmem: 212 kB Slab: 690332 kB SReclaimable: 131304 kB SUnreclaim: 559028 kB KernelStack: 1536 kB PageTables: 4448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 239448 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 133120 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= 71104 MiB End job on node134 at 2012-06-09 04:13:14