Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.12 | 1812.92 |
Name | /PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01bc_wcsp.wbo |
MD5SUM | 673b76ee48b71431b264d23912de8dfb |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 7560 |
Best CPU time to get the best result obtained on this benchmark | 1.40779 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 490 |
Total number of constraints | 3171 |
Number of soft constraints | 3007 |
Number of constraints which are clauses | 3007 |
Number of constraints which are cardinality constraints (but not clauses) | 164 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 4 |
Top cost | 64011 |
Min constraint cost | 1 |
Max constraint cost | 64011 |
Sum of constraints costs | 180251281 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 5 |
Number of bits of the biggest sum of numbers | 3 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.03 c run usual solver 0.00/0.10 o 512109 0.00/0.10 c starting approximation 0.00/0.10 c factor = 2 0.00/0.10 c factor still to low - shrinking to 9239.47 0.00/0.10 c approx number of clauses: 1e+06 0.00/0.10 c current bound: 256054 2.17/2.47 c current bound: 256054 4.55/5.08 c current bound: 256054 6.95/7.48 c current bound: 256054 9.60/10.01 c current bound: 256054 11.72/12.39 c current bound: 256054 14.10/14.77 c current bound: 256054 16.48/17.16 c current bound: 256054 18.79/19.48 c current bound: 256054 21.47/22.01 c current bound: 256054 23.74/24.32 c current bound: 256054 25.87/26.68 c current bound: 256054 28.25/29.06 c current bound: 256054 30.63/31.45 c current bound: 256054 33.02/33.89 c current bound: 256054 35.33/36.19 c current bound: 256054 37.90/38.54 c current bound: 256054 40.29/40.90 c current bound: 256054 42.39/43.27 c current bound: 256054 44.72/45.73 c current bound: 256054 47.12/48.12 c current bound: 256054 49.74/50.52 c current bound: 256054 52.10/52.94 c current bound: 256054 54.24/55.31 c current bound: 256054 56.53/57.60 c current bound: 256054 58.91/59.99 c current bound: 256054 61.30/62.51 c current bound: 256054 63.96/64.91 c current bound: 256054 66.07/67.28 c current bound: 256054 68.44/69.65 c current bound: 256054 70.81/72.02 c current bound: 256054 73.19/74.56 c current bound: 256054 75.49/76.85 c current bound: 256054 78.09/79.21 c current bound: 256054 80.21/81.58 c current bound: 256054 82.55/83.93 c current bound: 256054 85.19/86.41 c current bound: 256054 87.31/88.80 c current bound: 256054 89.98/91.20 c current bound: 256054 92.25/93.57 c current bound: 256054 94.42/95.93 c current bound: 256054 96.80/98.30 c current bound: 256054 99.18/100.69 c current bound: 256054 101.56/103.16 c current bound: 256054 104.15/105.53 c current bound: 256054 106.54/107.90 c current bound: 256054 108.65/110.27 c current bound: 256054 111.03/112.65 c current bound: 256054 113.40/115.14 c current bound: 256054 115.80/117.54 c current bound: 256054 118.30/119.90 c current bound: 256054 120.51/122.27 c current bound: 256054 122.87/124.63 c current bound: 256054 125.25/127.14 c current bound: 256054 127.56/129.44 c current bound: 256054 129.96/131.85 c current bound: 256054 132.56/134.21 c current bound: 256054 134.68/136.57 c current bound: 256054 137.03/138.98 c current bound: 256054 139.40/141.35 c current bound: 256054 141.78/143.74 c current bound: 256054 144.18/146.13 c current bound: 256054 146.70/148.44 c current bound: 256054 148.99/150.72 c current bound: 256054 151.12/153.08 c current bound: 256054 153.47/155.45 c current bound: 256054 155.85/157.93 c current bound: 256054 158.19/160.28 c current bound: 256054 160.60/162.69 c current bound: 256054 163.17/165.04 c current bound: 256054 165.31/167.41 c current bound: 256054 167.65/169.75 c current bound: 256054 170.03/172.13 c current bound: 256054 172.60/174.50 c current bound: 256054 174.64/176.81 c current bound: 256054 176.97/179.13 c current bound: 256054 179.49/181.44 c current bound: 256054 181.79/183.75 c current bound: 256054 183.93/186.11 c current bound: 256054 186.25/188.41 c current bound: 256054 188.57/190.73 c current bound: 256054 190.88/193.07 c current bound: 256054 193.19/195.39 c current bound: 256054 195.51/197.72 c current bound: 256054 197.84/200.04 c current bound: 256054 200.37/202.34 c current bound: 256054 202.67/204.66 c current bound: 256054 204.97/206.97 c current bound: 256054 207.37/209.30 c current bound: 256054 209.42/211.60 c current bound: 256054 212.00/214.07 c current bound: 256054 214.04/216.39 c current bound: 256054 216.35/218.71 c current bound: 256054 218.92/221.04 c current bound: 256054 221.22/223.36 c current bound: 256054 223.60/225.81 c current bound: 256054 225.64/228.12 c current bound: 256054 227.96/230.44 c current bound: 256054 230.28/232.76 c current bound: 256054 232.59/235.08 c current bound: 256054 235.19/237.40 c current bound: 256054 237.59/239.80 c current bound: 256054 239.88/242.12 c current bound: 256054 241.95/244.45 c current bound: 256054 244.25/246.77 c current bound: 256054 246.87/249.45 c current bound: 256054 248.90/251.77 c current bound: 256054 251.42/254.09 c current bound: 256054 253.82/256.41 c current bound: 256054 255.86/258.73 c current bound: 256054 258.18/261.06 c current bound: 256054 260.51/263.38 c current bound: 256054 263.10/265.70 c current bound: 256054 265.14/268.02 c current bound: 256054 267.47/270.34 c current bound: 256054 269.80/272.68 c current bound: 256054 272.29/275.00 c current bound: 256054 274.69/277.31 c current bound: 256054 276.76/279.65 c current bound: 256054 279.08/281.96 c current bound: 256054 281.39/284.29 c current bound: 256054 283.98/286.60 c current bound: 256054 286.02/288.92 c current bound: 256054 288.34/291.24 c current bound: 256054 290.94/293.80 c current bound: 256054 292.97/296.12 c current bound: 256054 295.30/298.57 c current bound: 256054 297.63/300.87 c current bound: 256054 300.20/303.20 c current bound: 256054 302.24/305.51 c current bound: 256054 304.57/307.84 c current bound: 256054 307.11/310.16 c current bound: 256054 309.41/312.47 c current bound: 256054 311.53/314.78 c current bound: 256054 313.83/317.08 c current bound: 256054 316.13/319.39 c current bound: 256054 318.70/321.70 c current bound: 256054 320.75/324.03 c current bound: 256054 323.07/326.35 c current bound: 256054 325.39/328.67 c current bound: 256054 327.70/330.99 c current bound: 256054 330.30/333.31 c current bound: 256054 332.58/335.63 c current bound: 256054 334.66/337.95 c current bound: 256054 336.98/340.26 c current bound: 256054 339.29/342.57 c current bound: 256054 341.60/344.88 c current bound: 256054 343.91/347.18 c current bound: 256054 346.22/349.49 c current bound: 256054 348.51/351.79 c current bound: 256054 351.09/354.11 c current bound: 256054 353.36/356.44 c current bound: 256054 355.66/358.76 c current bound: 256054 357.77/361.07 c current bound: 256054 360.37/363.40 c current bound: 256054 362.40/365.71 c current bound: 256054 364.74/368.02 c current bound: 256054 367.04/370.34 c current bound: 256054 369.36/372.65 c current bound: 256054 371.67/374.98 c current bound: 256054 374.25/377.36 c current bound: 256054 376.30/379.67 c current bound: 256054 378.60/381.98 c current bound: 256054 380.91/384.28 c current bound: 256054 383.21/386.59 c current bound: 256054 385.79/388.90 c current bound: 256054 387.83/391.22 c current bound: 256054 390.14/393.53 c current bound: 256054 392.44/395.83 c current bound: 256054 394.96/398.14 c current bound: 256054 397.26/400.46 c current bound: 256054 399.38/402.79 c current bound: 256054 401.96/405.10 c current bound: 256054 404.00/407.41 c current bound: 256054 406.31/409.72 c current bound: 256054 408.62/412.02 c current bound: 256054 410.92/414.34 c current bound: 256054 413.22/416.64 c current bound: 256054 415.54/418.95 c current bound: 256054 418.04/421.26 c current bound: 256054 420.32/423.58 c current bound: 256054 422.48/425.89 c current bound: 256054 424.78/428.76 c current bound: 256054 427.09/431.07 c current bound: 256054 429.66/434.03 c current bound: 256054 431.69/436.33 c current bound: 256054 434.00/438.74 c current bound: 256054 436.52/441.04 c current bound: 256054 438.81/443.36 c current bound: 256054 440.93/445.67 c current bound: 256054 443.23/447.98 c current bound: 256054 445.63/450.51 c current bound: 256054 447.94/452.81 c current bound: 256054 450.24/455.12 c current bound: 256054 452.55/457.43 c current bound: 256054 455.08/459.79 c current bound: 256054 457.46/462.11 c current bound: 256054 459.54/464.42 c current bound: 256054 461.85/466.73 c current bound: 256054 464.14/469.04 c current bound: 256054 466.46/471.45 c current bound: 256054 468.77/473.76 c current bound: 256054 471.08/476.07 c current bound: 256054 473.38/478.38 c current bound: 256054 475.86/480.69 c current bound: 256054 478.24/483.01 c current bound: 256054 480.37/485.37 c current bound: 256054 482.75/487.75 c current bound: 256054 485.15/490.15 c current bound: 256054 487.55/492.57 c current bound: 256054 489.86/494.88 c current bound: 256054 492.43/497.24 c current bound: 256054 494.60/499.63 c current bound: 256054 497.01/502.16 c current bound: 256054 499.42/504.59 c current bound: 256054 502.09/507.01 c current bound: 256054 504.36/509.39 c current bound: 256054 506.50/511.69 c current bound: 256054 508.81/514.02 c current bound: 256054 511.18/516.38 c current bound: 256054 513.56/518.82 c current bound: 256054 516.20/521.20 c current bound: 256054 518.50/523.59 c current bound: 256054 520.88/525.94 c current bound: 256054 523.30/528.30 c current bound: 256054 525.40/530.77 c current bound: 256054 527.76/533.15 c current bound: 256054 530.15/535.54 c current bound: 256054 532.66/537.88 c current bound: 256054 534.95/540.35 c current bound: 256054 537.31/542.83 c current bound: 256054 539.66/545.18 c current bound: 256054 541.95/547.48 c current bound: 256054 544.63/549.96 c current bound: 256054 547.00/552.38 c current bound: 256054 549.39/554.85 c current bound: 256054 551.50/557.22 c current bound: 256054 553.94/559.66 c current bound: 256054 556.52/562.07 c current bound: 256054 558.90/564.42 c current bound: 256054 560.97/566.72 c current bound: 256054 563.28/569.02 c current bound: 256054 565.58/571.34 c current bound: 256054 567.95/573.72 c current bound: 256054 570.57/576.10 c current bound: 256054 572.69/578.48 c current bound: 256054 575.26/580.83 c current bound: 256054 577.40/583.34 c current bound: 256054 579.76/585.71 c current bound: 256054 582.13/588.09 c current bound: 256054 584.62/590.59 c current bound: 256054 587.19/592.94 c current bound: 256054 589.31/595.43 c current bound: 256054 591.94/597.80 c current bound: 256054 594.14/600.28 c current bound: 256054 596.72/602.60 c current bound: 256054 599.01/604.92 c current bound: 256054 601.31/607.27 c current bound: 256054 603.50/609.66 c current bound: 256054 605.87/612.17 c current bound: 256054 608.25/614.55 c current bound: 256054 610.63/616.93 c current bound: 256054 613.15/619.29 c current bound: 256054 615.54/621.64 c current bound: 256054 617.67/623.99 c current bound: 256054 620.03/626.35 c current bound: 256054 622.39/628.84 c current bound: 256054 624.77/631.23 c current bound: 256054 627.30/633.57 c current bound: 256054 629.69/635.91 c current bound: 256054 631.81/638.27 c current bound: 256054 634.17/640.73 c current bound: 256054 636.52/643.10 c current bound: 256054 638.88/645.46 c current bound: 256054 641.47/647.86 c current bound: 256054 643.71/650.31 c current bound: 256054 646.33/652.80 c current bound: 256054 648.44/655.18 c current bound: 256054 650.73/657.49 c current bound: 256054 653.11/659.86 c current bound: 256054 655.69/662.21 c current bound: 256054 657.80/664.68 c current bound: 256054 660.18/667.05 c current bound: 256054 662.57/669.45 c current bound: 256054 664.95/671.83 c current bound: 256054 667.58/674.21 c current bound: 256054 669.92/676.68 c current bound: 256054 672.02/679.04 c current bound: 256054 674.38/681.40 c current bound: 256054 676.76/683.78 c current bound: 256054 679.15/686.16 c current bound: 256054 681.78/688.67 c current bound: 256054 684.12/691.00 c current bound: 256054 686.21/693.36 c current bound: 256054 688.58/695.74 c current bound: 256054 690.95/698.11 c current bound: 256054 693.74/700.76 c current bound: 256054 695.83/703.11 c current bound: 256054 698.18/705.47 c current bound: 256054 700.54/707.83 c current bound: 256054 703.07/710.35 c current bound: 256054 705.70/712.85 c current bound: 256054 708.07/715.20 c current bound: 256054 710.15/717.55 c current bound: 256054 712.61/720.01 c current bound: 256054 714.97/722.39 c current bound: 256054 717.61/724.90 c current bound: 256054 719.91/727.25 c current bound: 256054 722.10/729.65 c current bound: 256054 724.46/732.03 c current bound: 256054 726.84/734.40 c current bound: 256054 729.15/736.82 c current bound: 256054 731.69/739.18 c current bound: 256054 734.08/741.53 c current bound: 256054 736.21/743.89 c current bound: 256054 738.57/746.25 c current bound: 256054 740.94/748.75 c current bound: 256054 743.31/751.14 c current bound: 256054 745.83/753.48 c current bound: 256054 748.13/755.79 c current bound: 256054 750.32/758.14 c current bound: 256054 752.73/760.67 c current bound: 256054 755.10/763.05 c current bound: 256054 757.47/765.42 c current bound: 256054 760.10/767.81 c current bound: 256054 762.49/770.25 c current bound: 256054 764.92/772.74 c current bound: 256054 767.03/775.12 c current bound: 256054 769.65/777.50 c current bound: 256054 772.03/779.96 c current bound: 256054 774.42/782.30 c current bound: 256054 776.54/784.78 c current bound: 256054 778.90/787.16 c current bound: 256054 781.32/789.58 c current bound: 256054 783.70/791.97 c current bound: 256054 786.29/794.32 c current bound: 256054 788.40/796.67 c current bound: 256054 790.70/798.97 c current bound: 256054 793.05/801.34 c current bound: 256054 795.42/803.73 c current bound: 256054 797.81/806.11 c current bound: 256054 800.18/808.49 c current bound: 256054 802.74/810.84 c current bound: 256054 805.13/813.31 c current bound: 256054 807.22/815.67 c current bound: 256054 809.58/818.04 c current bound: 256054 812.10/820.57 c current bound: 256054 814.69/822.92 c current bound: 256054 817.06/825.42 c current bound: 256054 819.16/827.78 c current bound: 256054 821.55/830.18 c current bound: 256054 823.94/832.58 c current bound: 256054 826.52/834.97 c current bound: 256054 828.89/837.32 c current bound: 256054 831.07/839.72 c current bound: 256054 833.70/842.25 c current bound: 256054 835.81/844.64 c current bound: 256054 838.42/847.02 c current bound: 256054 840.80/849.40 c current bound: 256054 842.89/851.75 c current bound: 256054 845.25/854.11 c current bound: 256054 847.61/856.49 c current bound: 256054 849.99/858.97 c current bound: 256054 852.57/861.35 c current bound: 256054 854.96/863.70 c current bound: 256054 857.08/866.06 c current bound: 256054 859.44/868.43 c current bound: 256054 861.77/870.85 c current bound: 256054 864.15/873.23 c current bound: 256054 866.76/875.62 c current bound: 256054 869.07/877.97 c current bound: 256054 871.33/880.44 c current bound: 256054 873.70/882.91 c current bound: 256054 876.05/885.26 c current bound: 256054 878.43/887.65 c current bound: 256054 881.03/890.08 c current bound: 256054 883.21/892.43 c current bound: 256054 885.56/894.91 c current bound: 256054 887.93/897.28 c current bound: 256054 890.60/899.70 c current bound: 256054 892.89/902.10 c current bound: 256054 895.28/904.46 c current bound: 256054 897.45/906.82 c current bound: 256054 899.81/909.18 c current bound: 256054 902.17/911.66 c current bound: 256054 904.54/914.04 c current bound: 256054 907.07/916.38 c current bound: 256054 909.45/918.73 c current bound: 256054 911.59/921.08 c current bound: 256054 913.94/923.57 c current bound: 256054 916.31/925.94 c current bound: 256054 918.69/928.32 c current bound: 256054 921.32/930.78 c current bound: 256054 923.48/933.13 c current bound: 256054 925.80/935.45 c current bound: 256054 928.17/937.83 c current bound: 256054 930.66/940.32 c current bound: 256054 933.04/942.70 c current bound: 256054 935.58/945.05 c current bound: 256054 937.99/947.56 c current bound: 256054 940.17/950.01 c current bound: 256054 942.54/952.38 c current bound: 256054 944.93/954.78 c current bound: 256054 947.51/957.14 c current bound: 256054 949.65/959.51 c current bound: 256054 952.02/961.88 c current bound: 256054 954.38/964.38 c current bound: 256054 956.77/966.76 c current bound: 256054 959.36/969.15 c current bound: 256054 961.75/971.51 c current bound: 256054 963.87/973.87 c current bound: 256054 966.23/976.23 c current bound: 256054 968.53/978.53 c current bound: 256054 970.91/980.91 c current bound: 256054 973.27/983.30 c current bound: 256054 975.82/985.69 c current bound: 256054 978.22/988.04 c current bound: 256054 980.50/990.54 c current bound: 256054 982.86/993.01 c current bound: 256054 985.23/995.38 c current bound: 256054 987.80/997.80 c current bound: 256054 990.01/1000.18 c current bound: 256054 992.37/1002.54 c current bound: 256054 994.73/1005.02 c current bound: 256054 997.38/1007.44 c current bound: 256054 999.45/1009.79 c current bound: 256054 1002.02/1012.11 c current bound: 256054 1004.32/1014.42 c current bound: 256054 1006.38/1016.74 c current bound: 256054 1008.70/1019.06 c current bound: 256054 1011.00/1021.37 c current bound: 256054 1013.32/1023.69 c current bound: 256054 1015.64/1026.00 c current bound: 256054 1017.95/1028.32 c current bound: 256054 1020.27/1030.63 c current bound: 256054 1022.78/1032.94 c current bound: 256054 1025.08/1035.26 c current bound: 256054 1027.20/1037.56 c current bound: 256054 1029.83/1040.04 c current bound: 256054 1031.87/1042.37 c current bound: 256054 1034.18/1044.67 c current bound: 256054 1036.49/1046.99 c current bound: 256054 1039.08/1049.30 c current bound: 256054 1041.38/1051.62 c current bound: 256054 1043.66/1053.93 c current bound: 256054 1045.95/1056.25 c current bound: 256054 1048.05/1058.57 c current bound: 256054 1050.36/1060.88 c current bound: 256054 1052.68/1063.19 c current bound: 256054 1055.00/1065.52 c current bound: 256054 1057.31/1067.84 c current bound: 256054 1059.71/1070.23 c current bound: 256054 1062.25/1072.54 c current bound: 256054 1064.54/1074.86 c current bound: 256054 1066.65/1077.18 c current bound: 256054 1069.25/1079.50 c current bound: 256054 1071.28/1081.81 c current bound: 256054 1073.59/1084.11 c current bound: 256054 1075.87/1086.41 c current bound: 256054 1078.20/1088.75 c current bound: 256054 1080.92/1091.22 c current bound: 256054 1083.23/1093.54 c current bound: 256054 1085.50/1095.85 c current bound: 256054 1087.61/1098.17 c current bound: 256054 1090.02/1100.59 c current bound: 256054 1092.60/1102.90 c current bound: 256054 1094.65/1105.20 c current bound: 256054 1096.95/1107.52 c current bound: 256054 1099.32/1109.88 c current bound: 256054 1101.88/1112.21 c current bound: 256054 1104.17/1114.52 c current bound: 256054 1106.25/1116.84 c current bound: 256054 1108.56/1119.15 c current bound: 256054 1110.88/1121.47 c current bound: 256054 1113.19/1123.79 c current bound: 256054 1115.79/1126.10 c current bound: 256054 1117.81/1128.41 c current bound: 256054 1120.12/1130.73 c current bound: 256054 1122.68/1133.05 c current bound: 256054 1124.97/1135.37 c current bound: 256054 1127.08/1137.68 c current bound: 256054 1129.46/1140.06 c current bound: 256054 1131.77/1142.38 c current bound: 256054 1134.09/1144.69 c current bound: 256054 1136.39/1147.02 c current bound: 256054 1138.70/1149.33 c current bound: 256054 1141.02/1151.65 c current bound: 256054 1143.55/1153.96 c current bound: 256054 1145.86/1156.28 c current bound: 256054 1147.96/1158.61 c current bound: 256054 1150.27/1160.92 c current bound: 256054 1152.60/1163.23 c current bound: 256054 1154.90/1165.55 c current bound: 256054 1157.22/1167.86 c current bound: 256054 1159.61/1170.27 c current bound: 256054 1161.93/1172.58 c current bound: 256054 1164.42/1174.88 c current bound: 256054 1166.84/1177.20 c current bound: 256054 1168.86/1179.52 c current bound: 256054 1171.19/1181.85 c current bound: 256054 1173.49/1184.16 c current bound: 256054 1175.81/1186.48 c current bound: 256054 1178.13/1188.79 c current bound: 256054 1180.90/1191.45 c current bound: 256054 1183.14/1193.76 c current bound: 256054 1185.25/1196.08 c current bound: 256054 1187.57/1198.39 c current bound: 256054 1190.00/1200.83 c current bound: 256054 1192.59/1203.27 c current bound: 256054 1194.64/1205.59 c current bound: 256054 1197.21/1207.91 c current bound: 256054 1199.35/1210.31 c current bound: 256054 1201.67/1212.63 c current bound: 256054 1203.99/1214.95 c current bound: 256054 1206.30/1217.27 c current bound: 256054 1208.63/1219.61 c current bound: 256054 1210.94/1221.92 c current bound: 256054 1213.25/1224.24 c current bound: 256054 1215.78/1226.55 c current bound: 256054 1218.07/1228.89 c current bound: 256054 1220.40/1231.40 c current bound: 256054 1222.72/1233.72 c current bound: 256054 1225.04/1236.03 c current bound: 256054 1227.36/1238.35 c current bound: 256054 1230.06/1240.82 c current bound: 256054 1232.37/1243.13 c current bound: 256054 1234.66/1245.46 c current bound: 256054 1236.75/1247.78 c current bound: 256054 1239.42/1250.25 c current bound: 256054 1241.46/1252.57 c current bound: 256054 1243.78/1254.88 c current bound: 256054 1246.09/1257.20 c current bound: 256054 1248.66/1259.52 c current bound: 256054 1250.96/1261.83 c current bound: 256054 1253.25/1264.16 c current bound: 256054 1255.35/1266.47 c current bound: 256054 1257.65/1268.78 c current bound: 256054 1260.18/1271.29 c current bound: 256054 1262.77/1273.81 c current bound: 256054 1265.06/1276.12 c current bound: 256054 1267.36/1278.44 c current bound: 256054 1269.58/1280.89 c current bound: 256054 1271.89/1283.20 c current bound: 256054 1274.22/1285.52 c current bound: 256054 1276.51/1287.84 c current bound: 256054 1278.90/1290.25 c current bound: 256054 1281.44/1292.56 c current bound: 256054 1283.74/1294.89 c current bound: 256054 1285.87/1297.20 c current bound: 256054 1288.20/1299.54 c current bound: 256054 1290.50/1301.85 c current bound: 256054 1292.81/1304.16 c current bound: 256054 1295.13/1306.48 c current bound: 256054 1297.44/1308.79 c current bound: 256054 1300.11/1311.27 c current bound: 256054 1302.50/1313.71 c current bound: 256054 1304.53/1316.03 c current bound: 256054 1306.85/1318.34 c current bound: 256054 1309.29/1320.78 c current bound: 256054 1311.89/1323.10 c current bound: 256054 1313.92/1325.41 c current bound: 256054 1316.46/1327.73 c current bound: 256054 1318.85/1330.11 c current bound: 256054 1320.94/1332.43 c current bound: 256054 1323.25/1334.74 c current bound: 256054 1325.55/1337.05 c current bound: 256054 1327.86/1339.38 c current bound: 256054 1330.18/1341.71 c current bound: 256054 1332.50/1344.02 c current bound: 256054 1334.83/1346.34 c current bound: 256054 1337.36/1348.66 c current bound: 256054 1339.64/1350.98 c current bound: 256054 1342.05/1353.30 c current bound: 256054 1344.09/1355.61 c current bound: 256054 1346.40/1357.92 c current bound: 256054 1348.80/1360.48 c current bound: 256054 1351.39/1362.80 c current bound: 256054 1353.67/1365.11 c current bound: 256054 1355.99/1367.42 c current bound: 256054 1358.27/1369.76 c current bound: 256054 1360.37/1372.08 c current bound: 256054 1362.68/1374.39 c current bound: 256054 1365.02/1376.71 c current bound: 256054 1367.33/1379.03 c current bound: 256054 1369.85/1381.55 c current bound: 256054 1372.43/1383.99 c current bound: 256054 1374.47/1386.31 c current bound: 256054 1376.79/1388.62 c current bound: 256054 1379.27/1391.11 c current bound: 256054 1381.59/1393.42 c current bound: 256054 1383.91/1395.74 c current bound: 256054 1386.23/1398.06 c current bound: 256054 1388.82/1400.47 c current bound: 256054 1390.94/1402.76 c current bound: 256054 1393.24/1405.07 c current bound: 256054 1395.56/1407.39 c current bound: 256054 1397.89/1409.74 c current bound: 256054 1400.20/1412.05 c current bound: 256054 1402.51/1414.36 c current bound: 256054 1404.82/1416.68 c current bound: 256054 1407.14/1418.99 c current bound: 256054 1409.64/1421.51 c current bound: 256054 1411.94/1423.82 c current bound: 256054 1414.26/1426.13 c current bound: 256054 1416.57/1428.44 c current bound: 256054 1419.00/1430.98 c current bound: 256054 1421.30/1433.29 c current bound: 256054 1423.90/1435.60 c current bound: 256054 1426.17/1437.92 c current bound: 256054 1428.32/1440.32 c current bound: 256054 1430.64/1442.76 c current bound: 256054 1432.96/1445.07 c current bound: 256054 1435.27/1447.39 c current bound: 256054 1437.61/1449.73 c current bound: 256054 1440.17/1452.05 c current bound: 256054 1442.46/1454.36 c current bound: 256054 1444.57/1456.71 c current bound: 256054 1446.90/1459.03 c current bound: 256054 1449.41/1461.56 c current bound: 256054 1451.73/1463.86 c current bound: 256054 1454.04/1466.17 c current bound: 256054 1456.35/1468.50 c current bound: 256054 1459.01/1470.93 c current bound: 256054 1461.09/1473.25 c current bound: 256054 1463.41/1475.56 c current bound: 256054 1465.73/1477.86 c current bound: 256054 1468.09/1480.25 c current bound: 256054 1470.41/1482.57 c current bound: 256054 1472.73/1484.88 c current bound: 256054 1475.04/1487.20 c current bound: 256054 1477.61/1489.51 c current bound: 256054 1479.90/1491.85 c current bound: 256054 1481.99/1494.15 c current bound: 256054 1484.28/1496.45 c current bound: 256054 1486.60/1498.75 c current bound: 256054 1488.90/1501.06 c current bound: 256054 1491.21/1503.37 c current bound: 256054 1493.52/1505.68 c current bound: 256054 1495.83/1507.98 c current bound: 256054 1498.38/1510.36 c current bound: 256054 1500.78/1512.81 c current bound: 256054 1502.83/1515.12 c current bound: 256054 1505.14/1517.43 c current bound: 256054 1507.46/1519.76 c current bound: 256054 1509.76/1522.06 c current bound: 256054 1512.07/1524.37 c current bound: 256054 1514.37/1526.71 c current bound: 256054 1516.94/1529.07 c current bound: 256054 1519.28/1531.61 c current bound: 256054 1521.59/1533.92 c current bound: 256054 1523.91/1536.23 c current bound: 256054 1526.21/1538.57 c current bound: 256054 1528.68/1541.04 c current bound: 256054 1531.22/1543.35 c current bound: 256054 1533.51/1545.66 c current bound: 256054 1535.80/1547.97 c current bound: 256054 1538.00/1550.36 c current bound: 256054 1540.32/1552.80 c current bound: 256054 1542.64/1555.12 c current bound: 256054 1544.95/1557.43 c current bound: 256054 1547.28/1559.76 c current bound: 256054 1549.79/1562.07 c current bound: 256054 1552.08/1564.38 c current bound: 256054 1554.21/1566.71 c current bound: 256054 1556.53/1569.02 c current bound: 256054 1559.03/1571.52 c current bound: 256054 1561.34/1573.85 c current bound: 256054 1563.68/1576.17 c current bound: 256054 1565.99/1578.50 c current bound: 256054 1568.65/1580.95 c current bound: 256054 1570.76/1583.27 c current bound: 256054 1573.07/1585.58 c current bound: 256054 1575.38/1587.89 c current bound: 256054 1577.76/1590.29 c current bound: 256054 1580.34/1592.60 c current bound: 256054 1582.38/1594.91 c current bound: 256054 1584.93/1597.27 c current bound: 256054 1587.24/1599.58 c current bound: 256054 1589.35/1601.89 c current bound: 256054 1591.66/1604.21 c current bound: 256054 1593.98/1606.52 c current bound: 256054 1596.31/1608.85 c current bound: 256054 1598.62/1611.16 c current bound: 256054 1600.93/1613.47 c current bound: 256054 1603.23/1615.78 c current bound: 256054 1605.55/1618.08 c current bound: 256054 1608.10/1620.47 c current bound: 256054 1610.49/1622.90 c current bound: 256054 1612.53/1625.21 c current bound: 256054 1614.84/1627.52 c current bound: 256054 1617.15/1629.84 c current bound: 256054 1619.47/1632.15 c current bound: 256054 1621.77/1634.45 c current bound: 256054 1624.08/1636.78 c current bound: 256054 1626.57/1639.09 c current bound: 256054 1628.90/1641.59 c current bound: 256054 1631.48/1643.90 c current bound: 256054 1633.51/1646.20 c current bound: 256054 1635.83/1648.54 c current bound: 256054 1638.26/1650.98 c current bound: 256054 1640.57/1653.30 c current bound: 256054 1643.14/1655.61 c current bound: 256054 1645.44/1657.92 c current bound: 256054 1647.57/1660.31 c current bound: 256054 1649.89/1662.62 c current bound: 256054 1652.21/1664.94 c current bound: 256054 1654.51/1667.26 c current bound: 256054 1656.84/1669.57 c current bound: 256054 1659.43/1671.90 c current bound: 256054 1661.73/1674.22 c current bound: 256054 1664.03/1676.53 c current bound: 256054 1666.32/1678.84 c current bound: 256054 1668.42/1681.16 c current bound: 256054 1670.73/1683.48 c current bound: 256054 1673.33/1685.80 c current bound: 256054 1675.37/1688.11 c current bound: 256054 1678.03/1690.50 c current bound: 256054 1680.35/1692.93 c current bound: 256054 1682.60/1695.25 c current bound: 256054 1684.89/1697.57 c current bound: 256054 1687.03/1699.90 c current bound: 256054 1689.34/1702.22 c current bound: 256054 1691.65/1704.53 c current bound: 256054 1693.96/1706.85 c current bound: 256054 1696.27/1709.16 c current bound: 256054 1698.97/1711.66 c current bound: 256054 1701.28/1713.98 c current bound: 256054 1703.40/1716.29 c current bound: 256054 1705.71/1718.61 c current bound: 256054 1708.14/1721.05 c current bound: 256054 1710.46/1723.36 c current bound: 256054 1712.78/1725.67 c current bound: 256054 1715.08/1727.98 c current bound: 256054 1717.66/1730.36 c current bound: 256054 1720.05/1732.79 c current bound: 256054 1722.37/1735.10 c current bound: 256054 1724.40/1737.41 c current bound: 256054 1726.72/1739.72 c current bound: 256054 1729.02/1742.04 c current bound: 256054 1731.34/1744.35 c current bound: 256054 1733.66/1746.68 c current bound: 256054 1735.96/1748.99 c current bound: 256054 1738.48/1751.49 c current bound: 256054 1740.79/1753.81 c current bound: 256054 1743.11/1756.13 c current bound: 256054 1745.42/1758.46 c current bound: 256054 1747.84/1760.88 c current bound: 256054 1750.44/1763.20 c current bound: 256054 1752.73/1765.51 c current bound: 256054 1755.03/1767.83 c current bound: 256054 1757.41/1770.20 c current bound: 256054 1759.45/1772.51 c current bound: 256054 1761.78/1774.83 c current bound: 256054 1764.09/1777.15 c current bound: 256054 1766.41/1779.46 c current bound: 256054 1768.73/1781.79 c current bound: 256054 1771.04/1784.11 c current bound: 256054 1773.62/1786.42 c current bound: 256054 1775.91/1788.73 c current bound: 256054 1778.22/1791.04 c current bound: 256054 1780.30/1793.35 c current bound: 256054 1782.61/1795.66 c current bound: 256054 1784.90/1797.97 c current bound: 256054 1787.28/1800.34 c current bound: 256054 1789.57/1802.64 c current bound: 256054 1791.88/1804.98 c current bound: 256054 1794.20/1807.30 c current bound: 256054 1796.77/1809.61 c current bound: 256054 1799.06/1811.91 c current bound: 256054 1800.08/1812.91 ./satsolver.sh: line 5: 3969 Terminated ./glucose $1 > $2 2> /dev/null 1800.08/1812.91 c error: unexpected solver exit code 1800.08/1812.91 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-3752747-1339213500/watcher-3752747-1339213500 -o /tmp/evaluation-result-3752747-1339213500/solver-3752747-1339213500 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752747-1339213500.wbo 197088482 HOME HOME running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 2/179 29734 /proc/meminfo: memFree=30459344/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [startup+0.065608 s] /proc/loadavg: 2.00 2.01 2.00 2/179 29734 /proc/meminfo: memFree=30459344/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100213 s] /proc/loadavg: 2.00 2.01 2.00 2/179 29734 /proc/meminfo: memFree=30459344/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300144 s] /proc/loadavg: 2.00 2.01 2.00 2/179 29734 /proc/meminfo: memFree=30459344/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700159 s] /proc/loadavg: 2.00 2.01 2.00 2/179 29734 /proc/meminfo: memFree=30459344/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.5003 s] /proc/loadavg: 2.00 2.01 2.00 3/183 29796 /proc/meminfo: memFree=30830504/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=0.17 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 4692 5723 0 0 11 2 3 1 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 [pid=29747] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29747/stat : 29747 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387477375 9367552 267 33554432000 4194304 5064252 140733344790592 140733344789504 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/29747/statm: 2287 267 226 213 0 72 0 [pid=29748] ppid=29747 vsize=51360 CPUtime=1.29 cores=0,2,4,6 /proc/29748/stat : 29748 (glucose) R 29747 29734 9019 0 -1 4202496 11088 0 0 0 128 1 0 0 20 0 1 0 387477375 52592640 11750 33554432000 4194304 5208918 140735020648304 140735020646152 4213234 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/29748/statm: 12840 11750 95 248 0 12589 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 91056 [startup+3.10021 s] /proc/loadavg: 2.00 2.01 2.00 3/183 29800 /proc/meminfo: memFree=30766832/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=2.54 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 6985 21845 0 0 19 3 217 15 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 Current children cumulated CPU time (s) 2.54 Current children cumulated vsize (KiB) 30548 [startup+6.30037 s] /proc/loadavg: 2.00 2.01 2.00 3/183 29814 /proc/meminfo: memFree=30766940/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=4.91 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 9278 38218 0 0 27 4 431 29 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 [pid=29813] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29813/stat : 29813 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387477872 9367552 267 33554432000 4194304 5064252 140735098882624 140735098881536 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/29813/statm: 2287 267 226 213 0 72 0 [pid=29814] ppid=29813 vsize=51356 CPUtime=1.12 cores=0,2,4,6 /proc/29814/stat : 29814 (glucose) R 29813 29734 9019 0 -1 4202496 10766 0 0 0 111 1 0 0 20 0 1 0 387477873 52588544 11443 33554432000 4194304 5208918 140734769071696 140734769069544 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/29814/statm: 12839 11443 95 248 0 12588 0 Current children cumulated CPU time (s) 6.03 Current children cumulated vsize (KiB) 91052 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.00 3/183 29828 /proc/meminfo: memFree=30764892/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=12.07 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 16157 85902 0 0 50 6 1080 71 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 Current children cumulated CPU time (s) 12.07 Current children cumulated vsize (KiB) 30548 [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.00 3/183 29877 /proc/meminfo: memFree=30636848/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=23.87 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 27622 165777 0 0 90 11 2143 143 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 [pid=29876] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29876/stat : 29876 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387479797 9367552 266 33554432000 4194304 5064252 140734808673872 140734808672784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/29876/statm: 2287 266 226 213 0 72 0 [pid=29877] ppid=29876 vsize=51352 CPUtime=1.08 cores=0,2,4,6 /proc/29877/stat : 29877 (glucose) R 29876 29734 9019 0 -1 4202496 11289 0 0 0 106 2 0 0 20 0 1 0 387479797 52584448 11442 33554432000 4194304 5208918 140733697932064 140733697929912 4212757 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/29877/statm: 12838 11442 95 248 0 12587 0 Current children cumulated CPU time (s) 24.95 Current children cumulated vsize (KiB) 91048 [startup+51.1002 s] /proc/loadavg: 2.00 2.01 2.00 3/183 29950 /proc/meminfo: memFree=30666636/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=49.87 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 52845 339786 0 0 178 21 4488 300 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 5 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 Current children cumulated CPU time (s) 49.87 Current children cumulated vsize (KiB) 30548 [startup+102.307 s] /proc/loadavg: 2.04 2.02 2.00 3/183 30102 /proc/meminfo: memFree=30603676/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=99.52 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 100998 673337 0 0 345 40 8969 598 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 5 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 [pid=30101] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30101/stat : 30101 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387487433 9367552 267 33554432000 4194304 5064252 140734976554640 140734976553552 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/30101/statm: 2287 267 226 213 0 72 0 [pid=30102] ppid=30101 vsize=51360 CPUtime=1.51 cores=0,2,4,6 /proc/30102/stat : 30102 (glucose) R 30101 29734 9019 0 -1 4202496 11333 0 0 0 149 2 0 0 20 0 1 0 387487434 52592640 11468 33554432000 4194304 5208918 140736719938656 140736719936504 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/30102/statm: 12840 11468 95 248 0 12589 0 Current children cumulated CPU time (s) 101.03 Current children cumulated vsize (KiB) 91056 [startup+162.3 s] /proc/loadavg: 2.08 2.03 2.00 3/183 30277 /proc/meminfo: memFree=30575832/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=158.55 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 158323 1068801 0 0 543 64 14292 956 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 5 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 [pid=30276] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/30276/stat : 30276 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387493393 9367552 267 33554432000 4194304 5064252 140733566772832 140733566771744 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/30276/statm: 2287 267 226 213 0 72 0 [pid=30277] ppid=30276 vsize=51360 CPUtime=1.91 cores=0,2,4,6 /proc/30277/stat : 30277 (glucose) R 30276 29734 9019 0 -1 4202496 11365 0 0 0 189 2 0 0 20 0 1 0 387493393 52592640 11490 33554432000 4194304 5208918 140736711550720 140736711548568 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/30277/statm: 12840 11490 95 248 0 12589 0 Current children cumulated CPU time (s) 160.46 Current children cumulated vsize (KiB) 91056 [startup+222.3 s] /proc/loadavg: 2.08 2.04 2.00 3/183 30466 /proc/meminfo: memFree=30655092/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=219.05 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 217941 1480843 0 0 756 89 19718 1342 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 6 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 [pid=30465] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ Current children cumulated CPU time (s) 1410.69 Current children cumulated vsize (KiB) 90920 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.31 2/174 2971 /proc/meminfo: memFree=30837464/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=1470.41 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1440117 9965352 0 0 5042 596 132382 9021 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 70 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 Current children cumulated CPU time (s) 1470.41 Current children cumulated vsize (KiB) 30548 [startup+1542.31 s] /proc/loadavg: 0.96 1.00 1.28 2/175 3156 /proc/meminfo: memFree=30837484/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=1529.06 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1499728 10373155 0 0 5257 622 137639 9388 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 74 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 [pid=3155] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3155/stat : 3155 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387631468 9367552 267 33554432000 4194304 5064252 140734758582368 140734758581280 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3155/statm: 2287 267 226 213 0 72 0 [pid=3156] ppid=3155 vsize=51356 CPUtime=1.17 cores=0,2,4,6 /proc/3156/stat : 3156 (glucose) R 3155 29734 9019 0 -1 4202496 11327 0 0 0 116 1 0 0 20 0 1 0 387631469 52588544 11448 33554432000 4194304 5208918 140734119920160 140734119918008 4205128 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/3156/statm: 12839 11448 95 248 0 12588 0 Current children cumulated CPU time (s) 1530.23 Current children cumulated vsize (KiB) 91052 [startup+1602.3 s] /proc/loadavg: 0.98 1.00 1.26 2/174 3331 /proc/meminfo: memFree=30836952/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=1589.71 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1559346 10788996 0 0 5464 646 143089 9772 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 78 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 Current children cumulated CPU time (s) 1589.71 Current children cumulated vsize (KiB) 30548 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.25 2/174 3514 /proc/meminfo: memFree=30836464/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=1647.95 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1616671 11187110 0 0 5671 670 148324 10130 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 83 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 [pid=3513] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3513/stat : 3513 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387643395 9367552 267 33554432000 4194304 5064252 140733940552768 140733940551680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3513/statm: 2287 267 226 213 0 72 0 [pid=3514] ppid=3513 vsize=51628 CPUtime=1.89 cores=0,2,4,6 /proc/3514/stat : 3514 (glucose) R 3513 29734 9019 0 -1 4202496 11136 0 0 0 187 2 0 0 20 0 1 0 387643396 52867072 11800 33554432000 4194304 5208918 140733908145824 140733908143672 4607488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/3514/statm: 12907 11800 105 248 0 12656 0 Current children cumulated CPU time (s) 1649.84 Current children cumulated vsize (KiB) 91324 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.23 2/174 3696 /proc/meminfo: memFree=30836588/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=1708.51 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1676289 11601547 0 0 5877 695 153770 10509 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 88 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 [pid=3695] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3695/stat : 3695 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387649469 9367552 267 33554432000 4194304 5064252 140737077507024 140737077505936 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3695/statm: 2287 267 226 213 0 72 0 [pid=3696] ppid=3695 vsize=51352 CPUtime=1.15 cores=0,2,4,6 /proc/3696/stat : 3696 (glucose) R 3695 29734 9019 0 -1 4202496 10988 0 0 0 114 1 0 0 20 0 1 0 387649470 52584448 11665 33554432000 4194304 5208918 140736269308272 140736269306120 4212703 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/3696/statm: 12838 11665 95 248 0 12587 0 Current children cumulated CPU time (s) 1709.66 Current children cumulated vsize (KiB) 91048 [startup+1782.3 s] /proc/loadavg: 1.11 1.03 1.22 2/174 3878 /proc/meminfo: memFree=30841320/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=1769.1 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1735907 12017319 0 0 6084 719 159211 10896 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 93 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 [pid=3877] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3877/stat : 3877 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387655544 9367552 267 33554432000 4194304 5064252 140736683657056 140736683655968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3877/statm: 2287 267 226 213 0 72 0 [pid=3878] ppid=3877 vsize=51224 CPUtime=0.4 cores=0,2,4,6 /proc/3878/stat : 3878 (glucose) R 3877 29734 9019 0 -1 4202496 11061 0 0 0 39 1 0 0 20 0 1 0 387655544 52453376 11690 33554432000 4194304 5208918 140734670763664 140734670761608 4213121 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/3878/statm: 12806 11690 95 248 0 12555 0 Current children cumulated CPU time (s) 1769.5 Current children cumulated vsize (KiB) 90920 ############ # WARNING: # current cumulated CPU time (1791.88 s) is less than in the last sample (1791.88 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.00012207 s) to the 'lost time'. [startup+1804.7 s] /proc/loadavg: 1.08 1.03 1.22 2/174 3941 /proc/meminfo: memFree=30837004/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=1789.94 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1756544 12159559 0 0 6159 727 161082 11026 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 [pid=3940] ppid=29735 vsize=0 CPUtime=1.94 cores=0,2,4,6 /proc/3940/stat : 3940 (satsolver.sh) Z 29735 29734 9019 0 -1 4202508 606 11399 0 0 0 0 192 2 20 0 1 0 387657631 0 0 33554432000 0 0 0 0 0 0 0 4100 65536 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/3940/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1791.88 Current children cumulated vsize (KiB) 30548 [startup+1804.8 s] /proc/loadavg: 1.08 1.03 1.22 2/174 3941 /proc/meminfo: memFree=30837004/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=1791.88 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1756551 12171564 0 0 6159 727 161274 11028 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 Current children cumulated CPU time (s) 1791.88 Current children cumulated vsize (KiB) 30548 # ############ Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1812.91 s] /proc/loadavg: 1.07 1.03 1.21 2/174 3969 /proc/meminfo: memFree=30838604/32873648 swapFree=7124/7124 [pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/29734/statm: 2287 275 233 213 0 72 0 [pid=29735] ppid=29734 vsize=21400 CPUtime=1799.19 cores=0,2,4,6 /proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1765716 12222044 0 0 6190 732 161912 11085 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0 /proc/29735/statm: 5350 4844 176 443 0 4903 0 [pid=3968] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/3968/stat : 3968 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387658556 9367552 266 33554432000 4194304 5064252 140735372118912 140735372117824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/3968/statm: 2287 266 226 213 0 72 0 [pid=3969] ppid=3968 vsize=51360 CPUtime=0.89 cores=0,2,4,6 /proc/3969/stat : 3969 (glucose) R 3968 29734 9019 0 -1 4202496 10946 0 0 0 87 2 0 0 20 0 1 0 387658556 52592640 11630 33554432000 4194304 5208918 140733675345776 140733675343720 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/3969/statm: 12840 11630 95 248 0 12589 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 91056 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.00012207 # lost CPU user time (s): 0.00012207 # lost CPU system time (s): -7.62939e-06 Real time (s): 1812.92 CPU time (s): 1800.12 CPU user time (s): 1681.92 CPU system time (s): 118.205 CPU usage (%): 99.2943 Max. virtual memory (cumulated for all children) (KiB): 91324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1681.92 system time used= 118.205 maximum resident set size= 47412 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13999695 page faults= 0 swaps= 0 block input operations= 0 block output operations= 10592136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 204679 involuntary context switches= 12896 runsolver used 5.35019 second user time and 13.451 second system time The end
Begin job on node114 at 2012-06-09 05:45:00 IDJOB=3752747 IDBENCH=79632 IDSOLVER=2336 FILE ID=node114/3752747-1339213500 RUNJOBID= node114-1339204496-9035 PBS_JOBID= 14643855 Free space on /tmp= 70648 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/logistics/normalized-logistics01bc_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752747-1339213500/watcher-3752747-1339213500 -o /tmp/evaluation-result-3752747-1339213500/solver-3752747-1339213500 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752747-1339213500.wbo 197088482 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 673b76ee48b71431b264d23912de8dfb RANDOM SEED=197088482 node114.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.242 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.48 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.242 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.242 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 : 5451.90 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.242 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 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.242 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.242 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.242 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 30459692 kB Buffers: 545900 kB Cached: 503932 kB SwapCached: 2464 kB Active: 1059128 kB Inactive: 392396 kB Active(anon): 399544 kB Inactive(anon): 4632 kB Active(file): 659584 kB Inactive(file): 387764 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67099604 kB Dirty: 8584 kB Writeback: 0 kB AnonPages: 390248 kB Mapped: 10316 kB Shmem: 0 kB Slab: 821828 kB SReclaimable: 265740 kB SUnreclaim: 556088 kB KernelStack: 1520 kB PageTables: 4952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 553324 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 329728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70692 MiB End job on node114 at 2012-06-09 06:15:13