Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | ? (TO) | 3602.07 | 3611.12 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_4.opb |
| MD5SUM | 21308a801a9cbe43fb5a50efc40ff8ff |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5141383 |
| Best CPU time to get the best result obtained on this benchmark | 66218.4 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 14620 |
| Total number of constraints | 21851 |
| Number of constraints which are clauses | 170 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 21675 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3570 |
| Number of terms in the objective function | 14365 |
| Biggest coefficient in the objective function | 169112377 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 146273936801 |
| Number of bits of the sum of numbers in the objective function | 38 |
| Biggest number in a constraint | 169112377 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 146273936801 |
| Number of bits of the biggest sum of numbers | 38 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.89/1.95 o 233912691 1.89/1.98 o 233715293 1.89/1.99 o 233502069 1.99/2.00 o 220700591 1.99/2.04 o 197665799 1.99/2.06 o 197549237 1.99/2.08 o 197462999 1.99/2.10 o 197447245 2.09/2.12 o 197354445 2.09/2.14 o 197315319 2.09/2.15 o 197304685 2.18/2.23 o 162919993 2.59/2.63 o 111809145 2.59/2.65 o 111397577 2.59/2.67 o 111282577 2.59/2.68 o 111250907 2.89/2.96 o 111237125 3.99/4.08 o 100894623 4.08/4.19 o 100859663 4.18/4.25 o 97330181 4.38/4.43 o 97326159 4.48/4.52 o 97322719 4.48/4.57 o 97271183 6.18/6.26 o 97144239 6.28/6.39 o 97133871 8.67/8.75 o 90492881 8.67/8.78 o 90484367 8.77/8.84 o 90405489 8.87/8.96 o 90324477 8.97/9.04 o 90319791 9.07/9.13 o 77037697 9.07/9.19 o 76896981 9.17/9.22 o 76791589 9.17/9.25 o 76763827 9.17/9.28 o 76758449 9.26/9.33 o 54620705 9.46/9.50 o 54412993 10.16/10.22 o 54396241 10.76/10.87 o 54322943 13.66/13.70 o 54264761 13.76/13.87 o 47783907 13.86/13.95 o 47763457 14.35/14.47 o 47746321 14.35/14.48 o 47615429 14.45/14.50 o 47614177 14.45/14.52 o 47579947 14.45/14.56 o 47518243 14.55/14.68 o 47501107 14.75/14.84 o 47236293 14.75/14.86 o 47222995 14.75/14.89 o 47215843 15.05/15.14 o 47212841 15.25/15.30 o 47208231 15.45/15.52 o 47094417 15.45/15.54 o 47073967 16.64/16.78 o 46958337 21.13/21.25 o 45846667 21.13/21.27 o 45741297 21.23/21.31 o 45670419 21.23/21.33 o 45623943 21.23/21.36 o 45607639 21.23/21.39 o 45563897 21.33/21.42 o 45554133 21.43/21.55 o 41463043 21.43/21.57 o 41356521 21.53/21.69 o 37503009 21.63/21.74 o 37501411 21.83/21.96 o 37376495 21.94/22.09 o 37372165 22.04/22.16 o 37316429 22.13/22.21 o 37220613 22.13/22.24 o 37203789 22.13/22.29 o 37193787 22.33/22.47 o 37182651 22.43/22.50 o 37162315 22.43/22.54 o 37160683 22.93/23.03 o 37135817 22.93/23.06 o 37106713 23.03/23.10 o 36992283 23.03/23.15 o 36982937 23.13/23.29 o 36814041 23.23/23.35 o 36788009 23.33/23.44 o 36736201 23.33/23.49 o 36725575 23.43/23.53 o 36720487 24.23/24.32 o 36707665 24.63/24.71 o 36700659 24.63/24.74 o 36693481 24.63/24.76 o 36692937 24.73/24.81 o 36658527 24.73/24.86 o 36519697 25.13/25.24 o 36503297 25.23/25.36 o 36496609 25.33/25.40 o 36490631 25.53/25.69 o 36440033 25.63/25.74 o 36433511 25.93/26.07 o 36429521 26.03/26.16 o 36417113 36.70/36.88 o 36403893 36.80/36.97 o 36390799 36.91/37.03 o 36389861 37.40/37.56 o 36381731 37.50/37.61 o 36380023 37.60/37.77 o 36373765 38.20/38.36 o 36372827 39.30/39.40 o 36356021 39.30/39.47 o 36343739 41.59/41.78 o 36335657 42.29/42.41 o 36249637 51.37/51.59 o 36243643 51.47/51.67 o 36241813 51.66/51.80 o 36241603 51.66/51.89 o 36235789 52.76/52.97 o 36228999 54.66/54.89 o 36228887 54.76/54.97 o 36227327 55.35/55.50 o 36224905 55.35/55.59 o 36222637 55.66/55.80 o 29635281 55.66/55.88 o 29568643 55.76/55.93 o 29492341 56.06/56.20 o 29487239 56.36/56.54 o 14127559 56.36/56.58 o 14051257 56.46/56.67 o 14011595 59.05/59.21 o 14010095 65.64/65.83 o 14005401 65.84/66.03 o 13992489 66.04/66.20 o 13985663 67.03/67.28 o 13981953 67.53/67.77 o 13977327 70.32/70.54 o 13972383 98.35/98.65 o 13968045 98.35/98.66 o 13913037 98.55/98.81 o 13619213 99.25/99.57 o 13611203 99.55/99.87 o 13610709 100.25/100.56 o 13607159 100.95/101.24 o 13605953 100.95/101.29 o 13602185 101.05/101.33 o 13598705 101.15/101.43 o 13595905 101.35/101.69 o 13592677 101.65/101.90 o 13588967 105.94/106.28 o 13588133 106.74/107.08 o 13586621 107.63/107.93 o 13579099 107.63/107.99 o 13577273 107.74/108.04 o 13576771 108.03/108.35 o 13573061 109.23/109.56 o 13572227 114.42/114.73 o 13571411 114.52/114.82 o 13569029 116.91/117.27 o 13559411 118.01/118.32 o 13523883 119.01/119.32 o 13523819 119.21/119.57 o 13522409 123.30/123.63 o 13521539 127.79/128.11 o 13509893 128.28/128.61 o 13506229 128.48/128.81 o 13499531 128.58/128.93 o 13484435 128.79/129.11 o 13477091 131.79/132.16 o 13469581 132.38/132.70 o 13467229 134.07/134.47 o 13453501 135.97/136.34 o 13453055 136.07/136.46 o 13451865 136.67/137.10 o 13434687 136.87/137.27 o 13434623 137.07/137.41 o 13433573 137.17/137.54 o 13427007 137.77/138.15 o 13424981 140.45/140.88 o 13422939 140.76/141.13 o 13416395 141.05/141.46 o 13404803 145.05/145.44 o 13401389 149.64/150.07 o 13399293 149.83/150.22 o 13394995 150.13/150.50 o 13394491 150.33/150.73 o 13393119 150.43/150.87 o 13392285 151.53/151.90 o 13392191 152.13/152.51 o 13362653 157.41/157.87 o 13362613 171.19/171.64 o 13342519 171.29/171.78 o 13328187 173.28/173.70 o 13325243 173.98/174.50 o 13304823 174.78/175.20 o 13300197 340.18/341.07 o 13299625 340.28/341.17 o 13281113 345.46/346.31 o 11082279 345.46/346.33 o 11071677 345.46/346.33 o 11027997 345.46/346.35 o 10954843 345.46/346.36 o 10941845 345.56/346.43 o 10698703 345.56/346.44 o 10695021 345.56/346.45 o 10684381 345.56/346.46 o 10669807 345.56/346.47 o 10638953 345.56/346.48 o 10636783 345.66/346.53 o 10635745 345.66/346.58 o 10612495 345.86/346.79 o 10600063 345.96/346.82 o 10589391 346.17/347.05 o 10571167 346.36/347.23 o 10555847 346.36/347.24 o 10545175 346.86/347.73 o 10539889 347.16/348.02 o 10535935 347.56/348.44 o 10500575 348.06/348.94 o 10477855 348.45/349.31 o 10446191 349.45/350.37 o 10409399 349.75/350.64 o 10352227 349.75/350.68 o 10349965 349.85/350.71 o 10348927 349.85/350.77 o 10329081 349.95/350.83 o 10301465 350.15/351.05 o 10296743 350.55/351.48 o 10282169 352.44/353.33 o 10269215 354.94/355.87 o 10154793 355.04/355.92 o 10150123 355.04/355.98 o 10145321 355.74/356.63 o 10121131 356.53/357.47 o 10118243 356.63/357.56 o 10100611 356.93/357.84 o 10012753 357.03/357.90 o 10011715 357.03/357.95 o 10006993 357.83/358.78 o 9995237 358.33/359.23 o 9990411 358.83/359.78 o 9978123 359.03/359.91 o 9977849 360.92/361.84 o 9969841 361.42/362.39 o 9969365 366.11/367.07 o 9960559 368.81/369.77 o 9950815 368.91/369.86 o 9950611 369.01/369.94 o 9941503 370.91/371.81 o 9939537 372.00/372.91 o 9935231 427.15/428.29 o 9906441 427.45/428.50 o 9902993 427.45/428.56 o 9886705 427.55/428.64 o 9881753 427.55/428.69 o 9849857 427.75/428.81 o 9844183 428.35/429.46 o 9840005 429.45/430.51 o 9837435 429.45/430.53 o 9836397 433.34/434.42 o 9833931 437.43/438.51 o 9831187 437.53/438.63 o 9829221 438.33/439.42 o 9818197 438.33/439.49 o 9816615 438.83/439.96 o 9815941 440.13/441.22 o 9803801 440.23/441.30 o 9774137 440.33/441.41 o 9772555 441.62/442.78 o 9772079 447.01/448.12 o 9743707 447.11/448.21 o 9736149 447.11/448.29 o 9729269 447.71/448.81 o 9722823 466.86/468.02 o 9719543 466.86/468.03 o 9695105 466.86/468.05 o 9676881 467.15/468.37 o 9675299 468.65/469.86 o 9674823 475.14/476.36 o 9667063 475.23/476.44 o 9661389 475.53/476.72 o 9660351 475.63/476.86 o 9657885 476.13/477.38 o 9653215 476.33/477.58 o 9650327 477.13/478.33 o 9641179 478.52/479.74 o 9640505 481.63/482.88 o 9616921 484.82/486.04 o 9616585 484.92/486.17 o 9608635 485.41/486.61 o 9604457 485.51/486.70 o 9603771 487.11/488.36 o 9601887 496.89/498.13 o 9599497 496.98/498.24 o 9589873 497.28/498.56 o 9586893 497.48/498.74 o 9580013 498.08/499.33 o 9578785 498.18/499.47 o 9572057 499.88/501.12 o 9518001 499.97/501.26 o 9514161 506.86/508.10 o 9510401 558.03/559.47 o 9503361 558.13/559.54 o 9502033 558.13/559.58 o 9498749 558.23/559.65 o 9481143 558.33/559.76 o 9464217 560.32/561.78 o 9462977 570.90/572.34 o 9441857 570.90/572.39 o 9438323 571.00/572.47 o 9436049 572.10/573.52 o 9435639 576.19/577.64 o 9434679 576.29/577.71 o 9433633 577.28/578.71 o 9431925 577.28/578.79 o 9431449 577.38/578.86 o 9430221 582.57/584.08 o 9409975 582.76/584.20 o 9409289 583.16/584.69 o 9405529 584.26/585.70 o 9401825 585.16/586.62 o 9397855 586.46/587.95 o 9393349 595.83/597.31 o 9390617 597.64/599.17 o 9389457 597.73/599.29 o 9387881 598.03/599.50 o 9376121 617.18/618.71 o 9324425 638.53/640.12 o 9315323 638.53/640.15 o 9308867 638.53/640.18 o 9299919 638.62/640.22 o 9299443 638.82/640.49 o 9295473 639.02/640.61 o 9294245 639.02/640.64 o 9293769 639.32/640.96 o 9293565 643.61/645.21 o 9271703 643.71/645.34 o 9269625 644.51/646.13 o 9265913 644.51/646.19 o 9264685 645.11/646.73 o 9260919 645.21/646.80 o 9256473 645.70/647.33 o 9246041 646.80/648.49 o 9223769 649.99/651.61 o 9217101 722.51/724.39 o 9215393 722.71/724.50 o 9213689 722.91/724.73 o 9185735 723.71/725.51 o 9168103 726.20/728.03 o 9154205 726.20/728.09 o 9130351 728.49/730.31 o 9122793 732.29/734.11 o 9122383 754.43/756.31 o 9121553 790.35/792.30 o 9119701 790.55/792.51 o 9109135 792.24/794.22 o 9103309 798.43/800.42 o 9091347 798.73/800.72 o 9083789 803.02/805.00 o 9080849 803.02/805.05 o 9077819 803.12/805.10 o 9037259 803.12/805.14 o 9036783 803.12/805.18 o 9033719 803.22/805.26 o 9025413 803.81/805.86 o 9021763 804.31/806.36 o 9020403 804.91/806.94 o 8985645 804.91/806.98 o 8974973 805.31/807.36 o 8952027 805.71/807.78 o 8950207 806.71/808.72 o 8943311 806.81/808.83 o 8939049 807.61/809.65 o 8929895 812.79/814.81 o 8926517 813.29/815.38 o 8912677 813.49/815.52 o 8909551 814.19/816.24 o 8889071 814.19/816.29 o 8885173 816.09/818.11 o 8862403 816.09/818.18 o 8858885 823.67/825.78 o 8854163 836.23/838.30 o 8844849 836.33/838.47 o 8843301 836.43/838.56 o 8843193 836.63/838.71 o 8825713 837.73/839.85 o 8780391 837.83/839.96 o 8780283 837.93/840.04 o 8777265 840.42/842.54 o 8737419 841.03/843.16 o 8735889 844.11/846.24 o 8716119 883.33/885.59 o 8706583 883.43/885.62 o 8705157 883.43/885.68 o 8693785 883.53/885.74 o 8684953 883.72/885.94 o 8683527 883.82/886.04 o 8660893 884.92/887.16 o 8649677 886.31/888.57 o 8640083 886.41/888.63 o 8638741 886.51/888.75 o 8637253 886.61/888.80 o 8637101 903.47/905.77 o 8634947 909.16/911.48 o 8632941 909.46/911.74 o 8631917 909.56/911.83 o 8595019 911.05/913.35 o 8580535 911.15/913.49 o 8580427 912.15/914.47 o 8561253 912.25/914.58 o 8554431 912.45/914.74 o 8546611 913.06/915.38 o 8542341 913.16/915.47 o 8541211 920.74/923.05 o 8535629 922.63/924.95 o 8531359 923.92/926.29 o 8529571 924.12/926.40 o 8526215 924.22/926.52 o 8507855 924.32/926.66 o 8507399 929.31/931.68 o 8506309 953.26/955.60 o 8495663 953.26/955.66 o 8491623 953.36/955.77 o 8491189 953.46/955.83 o 8480861 953.46/955.86 o 8465293 953.56/955.93 o 8463237 953.66/956.08 o 8457541 953.76/956.10 o 8457433 954.16/956.56 o 8456363 954.86/957.29 o 8453387 955.96/958.30 o 8409765 955.96/958.33 o 8406639 957.15/959.58 o 8406637 957.76/960.17 o 8395035 958.05/960.40 o 8386419 958.05/960.47 o 8384763 958.25/960.60 o 8383607 959.05/961.45 o 8382797 964.04/966.49 o 8378529 964.14/966.56 o 8376473 964.24/966.64 o 8370777 964.24/966.69 o 8370669 964.33/966.76 o 8369577 965.33/967.79 o 8368443 965.43/967.89 o 8367353 968.22/970.65 o 8361045 968.32/970.77 o 8361043 968.63/971.01 o 8344217 973.81/976.20 o 8339703 981.39/983.83 o 8327547 981.49/983.94 o 8327105 981.60/984.04 o 8325763 983.49/985.93 o 8323525 986.98/989.42 o 8320991 987.08/989.57 o 8312543 988.98/991.48 o 8306949 993.96/996.47 o 8305623 994.16/996.60 o 8304995 995.26/997.73 o 8284403 995.46/997.90 o 8283593 1004.14/1006.61 o 8275869 1012.53/1015.09 o 8271507 1012.92/1015.40 o 8268489 1013.12/1015.67 o 8268381 1013.92/1016.41 o 8267289 1016.92/1019.45 o 8266833 1017.12/1019.62 o 8231541 1017.22/1019.74 o 8229693 1017.32/1019.88 o 8207727 1017.81/1020.35 o 8196125 1018.41/1020.92 o 8194069 1020.31/1022.82 o 8191719 1027.09/1029.67 o 8190263 1027.29/1029.86 o 8186385 1027.39/1030.00 o 8180143 1027.59/1030.13 o 8179639 1028.68/1031.28 o 8170487 1028.88/1031.41 o 8168071 1028.98/1031.56 o 8161829 1030.48/1033.04 o 8136443 1032.07/1034.67 o 8130907 1041.56/1044.12 o 8123487 1042.15/1044.79 o 8121431 1053.92/1056.58 o 8120061 1054.02/1056.66 o 8118199 1054.02/1056.69 o 8116855 1054.12/1056.74 o 8075173 1054.12/1056.77 o 8065515 1054.22/1056.86 o 8060793 1054.43/1057.06 o 8053859 1054.53/1057.16 o 8032415 1054.53/1057.18 o 8028347 1054.62/1057.21 o 8024653 1054.72/1057.33 o 8022595 1054.72/1057.38 o 8019355 1054.82/1057.48 o 8007753 1054.92/1057.57 o 8005947 1055.12/1057.76 o 8002203 1055.12/1057.79 o 7994441 1055.22/1057.82 o 7993007 1055.52/1058.11 o 7940961 1055.52/1058.15 o 7934213 1055.52/1058.18 o 7933199 1056.02/1058.62 o 7888801 1056.02/1058.67 o 7874207 1056.12/1058.71 o 7852187 1056.12/1058.74 o 7846979 1056.52/1059.11 o 7844685 1057.52/1060.15 o 7809103 1057.61/1060.22 o 7790343 1088.35/1091.07 o 7788611 1088.45/1091.18 o 7784917 1088.64/1091.35 o 7781677 1088.94/1091.65 o 7772797 1089.14/1091.82 o 7770763 1089.35/1092.02 o 7762531 1089.54/1092.27 o 7757985 1091.44/1094.11 o 7755593 1106.20/1108.96 o 7741641 1106.41/1109.18 o 7727047 1106.50/1109.24 o 7712263 1106.60/1109.36 o 7707055 1107.41/1110.13 o 7706777 1108.30/1111.07 o 7706195 1109.49/1112.21 o 7702081 1109.49/1112.29 o 7698387 1110.09/1112.85 o 7689513 1117.08/1119.89 o 7687617 1118.17/1120.99 o 7684887 1118.47/1121.28 o 7679679 1118.97/1121.71 o 7640135 1118.97/1121.79 o 7635413 1119.07/1121.85 o 7634467 1119.47/1122.25 o 7622125 1119.57/1122.31 o 7617403 1119.57/1122.36 o 7616457 1119.67/1122.42 o 7610469 1119.77/1122.51 o 7605261 1123.36/1126.19 o 7604495 1123.46/1126.28 o 7599773 1123.56/1126.34 o 7598827 1123.66/1126.42 o 7592839 1123.76/1126.51 o 7576101 1125.55/1128.36 o 7521669 1185.71/1188.66 o 7501061 1185.71/1188.67 o 7501029 1185.81/1188.73 o 7481561 1187.70/1190.60 o 7480681 1187.70/1190.62 o 7449871 1187.70/1190.65 o 7445609 1190.69/1193.67 o 7443529 1190.89/1193.84 o 7442919 1191.20/1194.10 o 7431317 1192.89/1195.82 o 7416411 1213.55/1216.52 o 7358117 1214.15/1217.15 o 7357507 1215.64/1218.61 o 7351475 1216.54/1219.54 o 7351077 1218.14/1221.14 o 7346475 1219.83/1222.82 o 7326869 1221.22/1224.23 o 7324949 1227.02/1230.03 o 6927457 1227.12/1230.15 o 6908431 1227.31/1230.35 o 6905839 1228.02/1231.08 o 6899999 1243.07/1246.16 o 6893925 1243.17/1246.20 o 6892931 1243.37/1246.46 o 6890727 1244.07/1247.11 o 6888747 1244.27/1247.33 o 6884419 1244.27/1247.38 o 6883473 1245.16/1248.26 o 6883395 1246.16/1249.22 o 6873675 1246.96/1250.05 o 6861555 1247.06/1250.12 o 6860609 1251.96/1255.04 o 6858933 1252.06/1255.12 o 6856875 1252.25/1255.38 o 6855685 1252.96/1256.06 o 6850843 1256.54/1259.65 o 6849571 1256.64/1259.75 o 6848163 1256.84/1259.94 o 6847547 1257.14/1260.20 o 6845489 1259.24/1262.34 o 6842489 1259.34/1262.45 o 6841925 1259.44/1262.53 o 6840859 1259.54/1262.61 o 6830155 1259.54/1262.69 o 6825433 1262.03/1265.15 o 6824051 1265.32/1268.40 o 6824025 1305.33/1308.58 o 6822995 1305.33/1308.59 o 6820525 1305.43/1308.60 o 6820499 1305.43/1308.63 o 6809989 1305.43/1308.63 o 6808959 1305.53/1308.76 o 6805425 1305.93/1309.15 o 6802165 1339.64/1343.00 o 6802087 1341.34/1344.64 o 6798815 1343.53/1346.88 o 6798599 1348.03/1351.31 o 6796021 1351.21/1354.52 o 6795897 1351.31/1354.65 o 6794457 1351.51/1354.80 o 6793997 1351.72/1355.04 o 6793469 1351.91/1355.24 o 6793303 1352.11/1355.44 o 6792807 1364.29/1367.61 o 6792511 1373.37/1376.72 o 6791759 1375.37/1378.76 o 6789699 1376.46/1379.88 o 6774035 1381.75/1385.18 o 6767297 1381.85/1385.28 o 6766351 1382.15/1385.54 o 6765489 1383.94/1387.33 o 6764993 1385.34/1388.75 o 6764299 1389.33/1392.76 o 6763989 1389.63/1393.02 o 6763791 1389.73/1393.19 o 6759019 1391.12/1394.58 o 6757673 1392.82/1396.29 o 6757261 1396.51/1399.94 o 6752083 1399.61/1403.08 o 6751839 1399.81/1403.20 o 6749705 1399.91/1403.38 o 6749473 1400.31/1403.73 o 6749163 1401.01/1404.42 o 6728897 1526.92/1530.62 o 6728745 1527.02/1530.74 o 6726837 1537.59/1541.37 o 6726341 1545.57/1549.33 o 6723729 1545.67/1549.48 o 6716981 1557.14/1560.94 o 6712727 1557.35/1561.13 o 6710669 1560.64/1564.49 o 6708561 1561.13/1564.99 o 6702811 1561.63/1565.49 o 6701949 1561.83/1565.68 o 6698933 1565.72/1569.55 o 6695673 1570.91/1574.75 o 6693997 1571.11/1574.92 o 6691939 1571.61/1575.45 o 6691297 1571.81/1575.68 o 6688025 1578.79/1582.66 o 6687529 1580.79/1584.60 o 6680507 1582.29/1586.15 o 6678425 1586.97/1590.88 o 6677063 1587.87/1591.79 o 6675757 1590.07/1593.97 o 6666005 1623.48/1627.41 o 6664773 1642.44/1646.43 o 6664021 1688.62/1692.76 o 6649845 1688.62/1692.77 o 6645591 1691.62/1695.72 o 6645565 1692.82/1696.92 o 6644259 1700.00/1704.13 o 6642937 1700.10/1704.20 o 6641735 1700.20/1704.36 o 6638019 1702.39/1706.54 o 6636787 1711.57/1715.72 o 6636035 1747.48/1751.77 o 6631275 1831.70/1836.15 o 6630513 3134.78/3142.62 o 6629669 3134.78/3142.69 o 6624613 3135.29/3143.10 o 6624253 3136.08/3143.95 o 6604083 3136.18/3144.03 o 6601183 3137.38/3145.26 o 6594069 3137.48/3145.34 o 6587499 3137.57/3145.43 o 6587317 3137.67/3145.57 o 6582063 3137.87/3145.71 o 6581553 3138.57/3146.40 o 6581535 3139.37/3147.28 o 6574943 3139.97/3147.89 o 6570567 3140.07/3147.97 o 6570549 3140.37/3148.29 o 6564219 3140.57/3148.41 o 6560441 3140.67/3148.52 o 6558537 3141.56/3149.44 o 6551835 3141.66/3149.58 o 6550325 3141.76/3149.67 o 6546547 3142.17/3150.09 o 6546137 3143.56/3151.42 o 6541213 3145.75/3153.64 o 6535795 3145.95/3153.87 o 6535027 3147.54/3155.42 o 6526597 3147.64/3155.55 o 6525487 3151.04/3158.93 o 6524299 3154.14/3162.10 o 6521007 3156.43/3164.38 o 6520719 3208.39/3216.42 o 6518249 3208.49/3216.54 o 6517779 3211.08/3219.16 o 6508119 3211.08/3219.19 o 6505649 3212.67/3220.78 o 6501719 3213.17/3221.21 o 6495383 3217.16/3225.29 o 6494253 3218.96/3227.02 o 6494247 3220.35/3228.42 o 6492509 3222.54/3230.65 o 6477405 3223.05/3231.11 o 6476845 3226.73/3234.81 o 6473253 3227.74/3235.86 o 6472743 3228.04/3236.12 o 6472603 3228.54/3236.68 o 6472333 3230.53/3238.60 o 6458987 3235.41/3243.55 o 6458819 3235.71/3243.82 o 6458741 3235.81/3243.97 o 6458291 3236.01/3244.10 o 6457813 3236.11/3244.21 o 6453645 3236.21/3244.36 o 6445895 3236.41/3244.57 o 6445741 3239.20/3247.37 o 6444837 3240.00/3248.11 o 6444823 3240.60/3248.76 o 6444413 3241.09/3249.22 o 6443599 3241.39/3249.55 o 6437573 3242.59/3250.78 o 6435189 3242.89/3251.04 o 6434701 3244.29/3252.41 o 6434337 3244.39/3252.56 o 6432927 3245.28/3253.45 o 6429497 3249.77/3257.93 o 6428095 3261.04/3269.29 o 6421261 3261.74/3269.93 o 6420911 3265.93/3274.11 o 6418593 3266.62/3274.83 o 6416209 3266.93/3275.11 o 6415739 3267.12/3275.33 o 6405707 3269.61/3277.82 o 6404677 3271.01/3279.29 o 6400495 3454.62/3463.34 o 6396225 3454.72/3463.44 o 6395527 3454.72/3463.46 o 6394555 3455.63/3464.30 o 6394391 3459.32/3468.07 o 6393537 3461.11/3469.87 o 6393511
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63072 MiB free)
memory of node 1: 64473 MiB (63122 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433274-1721135598/watcher-4433274-1721135598 -o /tmp/evaluation-result-4433274-1721135598/solver-4433274-1721135598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721135610-854125 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1406668158 HOME/instance-4433274-1721135598.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=854170, runsolver pid=854167
[startup+0.100318 s]*
/proc/loadavg: 3.83 4.07 4.11 6/253 854177
/proc/meminfo: memFree=129130252/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=50868 memory=32072 CPUtime=0.1 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 7577 0 0 0 9 1 0 0 20 0 1 0 165726855 52088832 8018 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 12717 8018 916 1005 0 11480 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50868 KiB
Current children cumulated memory: 32072 KiB
[startup+0.204572 s]*
/proc/loadavg: 3.83 4.07 4.11 6/259 854188
/proc/meminfo: memFree=128992964/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=83960 memory=64608 CPUtime=0.2 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 16047 0 0 0 17 3 0 0 20 0 1 0 165726855 85975040 16152 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 20990 16152 1076 1005 0 19753 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83960 KiB
Current children cumulated memory: 64608 KiB
[startup+0.305976 s]*
/proc/loadavg: 3.83 4.07 4.11 5/259 854188
/proc/meminfo: memFree=128853888/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=87672 memory=66888 CPUtime=0.3 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 16651 0 0 0 27 3 0 0 20 0 1 0 165726855 89776128 16722 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 21918 16722 1076 1005 0 20681 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87672 KiB
Current children cumulated memory: 66888 KiB
[startup+0.700173 s]
/proc/loadavg: 3.83 4.07 4.11 6/259 854188
/proc/meminfo: memFree=128759856/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=89716 memory=69504 CPUtime=0.68 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 17301 0 0 0 65 3 0 0 20 0 1 0 165726855 91869184 17376 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 22429 17376 1076 1005 0 21192 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 89716 KiB
Current children cumulated memory: 69504 KiB
[startup+1.50018 s]
/proc/loadavg: 3.83 4.07 4.11 6/259 854188
/proc/meminfo: memFree=128675588/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=92996 memory=81504 CPUtime=1.49 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 18257 0 0 0 145 4 0 0 20 0 1 0 165726855 95227904 20376 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 23249 20376 1108 1005 0 22012 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 81504 KiB
[startup+3.10475 s]
/proc/loadavg: 3.84 4.07 4.11 6/259 854190
/proc/meminfo: memFree=128073232/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=113052 memory=100696 CPUtime=3.09 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 20720 0 0 0 304 5 0 0 20 0 1 0 165726855 115765248 25174 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 28263 25174 1124 1005 0 27026 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 113052 KiB
Current children cumulated memory: 100696 KiB
[startup+6.30018 s]
/proc/loadavg: 3.84 4.07 4.11 6/259 854190
/proc/meminfo: memFree=127339092/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=165304 memory=150512 CPUtime=6.28 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 28963 0 0 0 620 8 0 0 20 0 1 0 165726855 169271296 37628 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 41326 37628 1124 1005 0 40089 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 165304 KiB
Current children cumulated memory: 150512 KiB
[startup+12.7002 s]
/proc/loadavg: 3.94 4.09 4.12 6/259 854191
/proc/meminfo: memFree=127210936/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=313884 memory=248992 CPUtime=12.66 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 39340 0 0 0 1252 14 0 0 20 0 1 0 165726855 321417216 62248 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 78471 62248 1140 1005 0 77234 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 313884 KiB
Current children cumulated memory: 248992 KiB
[startup+25.5002 s]
/proc/loadavg: 3.95 4.08 4.12 6/259 854193
/proc/meminfo: memFree=126946872/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=319488 memory=253124 CPUtime=25.43 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 40507 0 0 0 2528 15 0 0 20 0 1 0 165726855 327155712 63281 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 79872 63281 1140 1005 0 78635 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 319488 KiB
Current children cumulated memory: 253124 KiB
[startup+51.1046 s]
/proc/loadavg: 3.97 4.07 4.11 6/259 854196
/proc/meminfo: memFree=126367136/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=501728 memory=399544 CPUtime=50.97 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 55326 0 0 0 5073 24 0 0 20 0 1 0 165726855 513769472 99886 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 125432 99886 1140 1005 0 124195 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 501728 KiB
Current children cumulated memory: 399544 KiB
[startup+102.3 s]
/proc/loadavg: 4.02 4.08 4.11 6/259 854206
/proc/meminfo: memFree=125031068/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=792896 memory=574828 CPUtime=102.04 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 74812 0 0 0 10166 38 0 0 20 0 1 0 165726855 811925504 143707 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 198224 143707 1140 1005 0 196987 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 792896 KiB
Current children cumulated memory: 574828 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.10 6/256 854217
/proc/meminfo: memFree=124337224/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=807356 memory=589704 CPUtime=161.91 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 78911 0 0 0 16145 46 0 0 20 0 1 0 165726855 826732544 147426 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 201839 147426 1140 1005 0 200602 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 807356 KiB
Current children cumulated memory: 589704 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.10 6/256 854227
/proc/meminfo: memFree=122478256/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=820528 memory=600236 CPUtime=221.76 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 81599 0 0 0 22127 49 0 0 20 0 1 0 165726855 840220672 150059 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 205132 150059 1140 1005 0 203895 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 820528 KiB
Current children cumulated memory: 600236 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.10 6/255 854237
/proc/meminfo: memFree=122306228/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=821624 memory=601512 CPUtime=281.62 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 82027 0 0 0 28108 54 0 0 20 0 1 0 165726855 841342976 150378 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 205406 150378 1140 1005 0 204169 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 821624 KiB
Current children cumulated memory: 601512 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.10 6/254 854248
/proc/meminfo: memFree=122257656/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=842420 memory=621256 CPUtime=341.47 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 87014 0 0 0 34084 63 0 0 20 0 1 0 165726855 862638080 155314 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 210605 155314 1140 1005 0 209368 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 842420 KiB
Current children cumulated memory: 621256 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.11 4.10 6/258 854264
/proc/meminfo: memFree=122211840/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=853624 memory=630152 CPUtime=401.32 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 89316 0 0 0 40068 64 0 0 20 0 1 0 165726855 874110976 157538 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 213406 157538 1140 1005 0 212169 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 853624 KiB
Current children cumulated memory: 630152 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/258 854274
/proc/meminfo: memFree=122185236/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=877448 memory=648028 CPUtime=461.17 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 93876 0 0 0 46050 67 0 0 20 0 1 0 165726855 898506752 162007 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 219362 162007 1140 1005 0 218125 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.13 6/255 855933
/proc/meminfo: memFree=116199308/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1173400 memory=995916 CPUtime=3154.43 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 167001 0 0 0 315188 255 0 0 20 0 1 0 165726855 1201561600 248979 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 293350 248979 1140 1005 0 292113 0
Current children cumulated CPU time: 3154.43 s
Current children cumulated vsize: 1173400 KiB
Current children cumulated memory: 995916 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.13 6/255 855943
/proc/meminfo: memFree=116197192/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1173876 memory=996380 CPUtime=3214.27 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 167458 0 0 0 321169 258 0 0 20 0 1 0 165726855 1202049024 249095 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 293469 249095 1140 1005 0 292232 0
Current children cumulated CPU time: 3214.27 s
Current children cumulated vsize: 1173876 KiB
Current children cumulated memory: 996380 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.13 6/255 855954
/proc/meminfo: memFree=116176136/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1182676 memory=1003204 CPUtime=3274.11 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 169580 0 0 0 327150 261 0 0 20 0 1 0 165726855 1211060224 250801 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 295669 250801 1140 1005 0 294432 0
Current children cumulated CPU time: 3274.11 s
Current children cumulated vsize: 1182676 KiB
Current children cumulated memory: 1003204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.13 6/255 855964
/proc/meminfo: memFree=116153796/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1206216 memory=1024300 CPUtime=3333.94 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 175298 0 0 0 333129 265 0 0 20 0 1 0 165726855 1235165184 256075 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 301554 256075 1140 1005 0 300317 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 1206216 KiB
Current children cumulated memory: 1024300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.12 6/258 855979
/proc/meminfo: memFree=116146156/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1206972 memory=1025416 CPUtime=3393.78 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 175877 0 0 0 339110 268 0 0 20 0 1 0 165726855 1235939328 256354 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 301743 256354 1140 1005 0 300506 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 1206972 KiB
Current children cumulated memory: 1025416 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.13 6/257 855990
/proc/meminfo: memFree=116139944/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1207920 memory=1026616 CPUtime=3453.63 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 176444 0 0 0 345093 270 0 0 20 0 1 0 165726855 1236910080 256654 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 301980 256654 1198 1005 0 300743 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 1207920 KiB
Current children cumulated memory: 1026616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.13 6/257 856000
/proc/meminfo: memFree=116127372/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1208464 memory=1027400 CPUtime=3513.47 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 176945 0 0 0 351071 276 0 0 20 0 1 0 165726855 1237467136 256850 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 302116 256850 1198 1005 0 300879 0
Current children cumulated CPU time: 3513.47 s
Current children cumulated vsize: 1208464 KiB
Current children cumulated memory: 1027400 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.12 6/258 856012
/proc/meminfo: memFree=116125276/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1210716 memory=1028988 CPUtime=3573.32 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 177685 0 0 0 357054 278 0 0 20 0 1 0 165726855 1239773184 257247 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 302679 257247 1198 1005 0 301442 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 1210716 KiB
Current children cumulated memory: 1028988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.1 s]
/proc/loadavg: 4.06 4.11 4.12 6/258 856016
/proc/meminfo: memFree=116123332/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1212232 memory=1030688 CPUtime=3600.05 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 178397 0 0 0 359725 280 0 0 20 0 1 0 165726855 1241325568 257672 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 303058 257672 1198 1005 0 301821 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1212232 KiB
Current children cumulated memory: 1030688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.12 s]
# the end of solver process 854170 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.23 s, system=2.84261 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.06 4.11 4.12 6/258 856016
/proc/meminfo: memFree=116123332/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1212656 memory=1031216 CPUtime=3600.55 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 178509 0 0 0 359774 281 0 0 20 0 1 0 165726855 1241759744 257804 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 303164 257804 1198 1005 0 301927 0
Current children cumulated CPU time: 3600.55 s
Current children cumulated vsize: 1212656 KiB
Current children cumulated memory: 1031216 KiB
[startup+3610.4 s]
/proc/loadavg: 4.06 4.11 4.12 6/256 856030
/proc/meminfo: memFree=121491616/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1213096 memory=1032268 CPUtime=3601.35 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 178735 0 0 0 359853 282 0 0 20 0 1 0 165726855 1242210304 258067 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 303274 258067 1198 1005 0 302037 0
Current children cumulated CPU time: 3601.35 s
Current children cumulated vsize: 1213096 KiB
Current children cumulated memory: 1032268 KiB
[startup+3610.8 s]
/proc/loadavg: 4.06 4.11 4.12 6/256 856030
/proc/meminfo: memFree=121491616/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1213096 memory=1032268 CPUtime=3601.74 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 178738 0 0 0 359892 282 0 0 20 0 1 0 165726855 1242210304 258067 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 303274 258067 1198 1005 0 302037 0
Current children cumulated CPU time: 3601.74 s
Current children cumulated vsize: 1213096 KiB
Current children cumulated memory: 1032268 KiB
[startup+3611 s]*
/proc/loadavg: 4.06 4.11 4.12 6/256 856076
/proc/meminfo: memFree=127266968/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1213592 memory=1032268 CPUtime=3601.94 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 178757 0 0 0 359912 282 0 0 20 0 1 0 165726855 1242718208 258067 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 303398 258067 1198 1005 0 302161 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 1213592 KiB
Current children cumulated memory: 1032268 KiB
[startup+3611.1 s]
/proc/loadavg: 4.06 4.11 4.12 6/256 856076
/proc/meminfo: memFree=127266968/131524600 swapFree=131071996/131071996
[pid=854170] ppid=854167 vsize=1213592 memory=1032268 CPUtime=3602.05 cores=4,6
/proc/854170/stat : 854170 (Exact) R 854167 854170 854114 0 -1 4194304 178758 0 0 0 359922 283 0 0 20 0 1 0 165726855 1242718208 258067 134679101440 4194304 8309489 140730128900736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 46051328 140730128909246 140730128909416 140730128909416 140730128916431 0
/proc/854170/statm: 303398 258067 1198 1005 0 302161 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 1213592 KiB
Current children cumulated memory: 1032268 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.12
CPU time (s): 3602.07
CPU user time (s): 3599.23
CPU system time (s): 2.84261
CPU usage (%): 99.7494
Max. virtual memory (cumulated for all children) (KiB): 1213592
Max. memory (cumulated for all children) (KiB): 1032268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.23
system time used= 2.84261
maximum resident set size= 1032384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178758
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52
involuntary context switches= 2884
# summary of solver processes directly reported to runsolver:
# pid: 854170
# total CPU time (s): 3602.07
# total CPU user time (s): 3599.23
# total CPU system time (s): 2.84261
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.37275 second user time and 13.9556 second system time
The end
Begin job on nodeC028 at 2024-07-16 15:13:31 IDJOB=4433274 IDBENCH=155628 IDSOLVER=3060 FILE ID=nodeC028/4433274-1721135598 RUNJOBID= nodeC028-1721135610-854125 SLURM_JOB_ID= 7505708 Free space on /tmp= 890060 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_4.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433274-1721135598/watcher-4433274-1721135598 -o /tmp/evaluation-result-4433274-1721135598/solver-4433274-1721135598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721135610-854125 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1406668158 HOME/instance-4433274-1721135598.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 21308a801a9cbe43fb5a50efc40ff8ff RANDOM SEED=1406668158 nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3560.356 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3425.079 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3630.563 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.714 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3584.012 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3658.652 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3607.785 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3619.745 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129238384 kB MemAvailable: 129753524 kB Buffers: 406520 kB Cached: 948476 kB SwapCached: 0 kB Active: 704608 kB Inactive: 997428 kB Active(anon): 1464 kB Inactive(anon): 383300 kB Active(file): 703144 kB Inactive(file): 614128 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 26112 kB Writeback: 0 kB AnonPages: 344316 kB Mapped: 104972 kB Shmem: 37720 kB KReclaimable: 75380 kB Slab: 178424 kB SReclaimable: 75380 kB SUnreclaim: 103044 kB KernelStack: 3988 kB PageTables: 9188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 695060 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61632 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 193236 kB DirectMap2M: 18454528 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 890004 MiB End job on nodeC028 at 2024-07-16 16:13:42