Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | ? (TO) | -1 | -1 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_0.opb |
| MD5SUM | f03e27a6707ee21c77eefe2da14e6e64 |
| 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 | 4820075 |
| Best CPU time to get the best result obtained on this benchmark | 2649.26 |
| 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 | 179406144 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 130390723337 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 179406144 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 130390723337 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.30/0.53 o 308546475 41.69/151.46 o 308522547 41.79/151.52 o 308450667 41.99/151.71 o 263797603 41.99/151.74 o 263603665 42.09/151.83 o 263596459 42.29/152.00 o 263428505 42.39/152.15 o 185501449 42.69/152.40 o 173011699 42.69/152.45 o 172934949 42.69/152.49 o 172861979 42.98/152.74 o 169914433 43.29/153.04 o 169904257 43.29/153.08 o 169896625 43.39/153.12 o 169829987 43.39/153.17 o 169793287 45.17/154.94 o 169789969 45.17/154.97 o 169744889 45.37/155.14 o 169713211 46.86/156.66 o 169703727 47.16/156.92 o 169638297 47.46/157.26 o 169509127 48.06/157.84 o 169497987 48.16/157.94 o 169462391 49.26/159.00 o 169408113 49.36/159.17 o 169398629 50.45/160.26 o 169293137 53.04/162.82 o 169261187 53.04/162.88 o 169254621 53.14/162.95 o 169242947 55.53/165.31 o 169122377 55.53/165.39 o 169119059 57.43/167.22 o 169102005 57.43/167.28 o 169091885 57.52/167.34 o 169085319 57.62/167.43 o 169073645 61.10/170.93 o 168896259 61.21/171.01 o 168892941 72.91/342.52 o 168714415 105.73/424.61 o 168704931 106.62/425.53 o 168655685 106.72/425.64 o 168634127 112.58/434.98 o 168617671 119.46/441.82 o 116015385 119.56/441.91 o 115852871 120.16/442.54 o 115413629 120.46/442.84 o 115353725 120.96/443.31 o 115280741 122.35/444.73 o 115112939 123.84/446.28 o 115025347 124.65/447.01 o 114991275 124.75/447.11 o 114986399 124.84/447.22 o 114969011 124.94/447.31 o 114899907 125.04/447.42 o 112784761 125.14/447.52 o 112775071 125.24/447.60 o 112717563 126.93/449.30 o 112708939 128.93/451.32 o 112685897 129.63/452.06 o 112680579 129.82/452.29 o 112641297 133.51/455.98 o 112619259 135.00/457.42 o 112609571 135.20/457.60 o 112603445 136.00/458.42 o 112584155 136.10/458.52 o 112579547 136.40/458.84 o 112563489 136.50/458.96 o 112549083 139.37/462.62 o 112529835 234.35/610.14 o 112504335 234.35/610.16 o 112357923 234.35/610.18 o 112353519 234.44/610.20 o 112347083 235.35/611.18 o 112168883 235.44/611.20 o 112161003 235.44/611.22 o 112156599 235.44/611.26 o 112156289 236.04/611.88 o 111936855 236.43/612.21 o 111928215 236.93/612.70 o 111919085 237.43/613.28 o 111914715 237.53/613.32 o 111908279 237.63/613.46 o 111877909 237.63/613.49 o 111869509 237.73/613.57 o 111868693 237.83/613.61 o 111864677 237.83/613.65 o 111860379 238.03/613.84 o 111821097 238.12/613.97 o 111815779 240.01/615.83 o 111604825 240.01/615.87 o 111602469 240.11/615.91 o 111595795 240.11/615.94 o 111585939 241.32/617.11 o 111581923 242.37/625.55 o 111430635 244.07/627.25 o 111417221 244.96/628.16 o 111282437 245.56/628.74 o 111271475 245.66/628.80 o 111269119 245.76/628.92 o 111262445 247.15/630.35 o 111198905 247.65/630.85 o 111193019 248.15/631.37 o 111155597 251.44/634.60 o 111097335 255.52/638.75 o 111097333 255.72/638.95 o 111086597 255.83/639.02 o 111080711 255.83/639.08 o 111076741 260.21/643.48 o 111037459 262.49/645.76 o 111033271 266.58/649.82 o 110990431 266.68/650.00 o 110984545 274.35/657.66 o 110804657 274.65/657.99 o 110779123 278.52/669.61 o 110580849 281.92/673.02 o 110432613 283.81/674.99 o 110256683 287.39/678.54 o 110171921 287.69/678.86 o 110162231 291.48/682.68 o 110162209 292.58/683.77 o 110160001 302.36/700.90 o 110084685 303.46/702.10 o 110039695 303.57/702.12 o 109937325 303.57/702.15 o 109927635 303.57/702.19 o 109927613 311.83/710.45 o 109876907 312.63/711.26 o 109775507 330.76/731.26 o 109566147 330.86/731.34 o 109556457 337.84/738.35 o 109469017 341.33/741.83 o 109466337 344.12/744.68 o 109407719 356.46/758.75 o 109403349 356.96/759.26 o 109398031 357.26/759.56 o 109341473 357.46/759.70 o 109341451 365.14/767.47 o 109330585 367.03/769.35 o 109288819 367.93/770.23 o 109177729 422.57/827.27 o 109135825 429.56/834.24 o 108993225 430.46/835.17 o 108982519 534.75/1009.84 o 92053229 534.86/1009.96 o 91954237 534.86/1010.00 o 91699029 534.96/1010.03 o 91608831 534.96/1010.08 o 91583485 535.15/1010.27 o 91502355 535.25/1010.31 o 91444035 535.25/1010.34 o 91414839 536.55/1011.63 o 91324311 536.65/1011.70 o 91316559 536.85/1012.00 o 91273485 537.06/1012.14 o 91202451 537.25/1012.34 o 85549751 538.24/1013.31 o 85372925 538.54/1013.69 o 85369067 538.64/1013.76 o 85273371 538.74/1013.88 o 81513885 538.94/1014.07 o 81506773 539.32/1024.48 o 81456701 539.82/1024.95 o 81441957 540.12/1025.21 o 81363923 540.12/1025.27 o 81345523 540.63/1025.78 o 81311647 541.03/1026.16 o 81244423 541.72/1026.84 o 81236795 541.72/1026.87 o 81236045 541.82/1026.96 o 81172491 541.92/1027.06 o 81138953 542.52/1027.62 o 81138803 544.71/1029.83 o 81135417 544.71/1029.87 o 81122153 544.81/1029.93 o 81103753 545.91/1031.03 o 81086217 545.91/1031.07 o 81070937 546.01/1031.16 o 81064143 551.08/1036.28 o 80991439 551.29/1036.40 o 80987855 554.77/1039.94 o 78858741 560.48/1047.58 o 78789387 560.68/1047.77 o 78781219 560.78/1047.88 o 78774107 564.66/1051.78 o 78732155 564.86/1051.95 o 78718891 566.46/1053.59 o 78718427 574.43/1061.54 o 78713195 574.63/1061.70 o 78699931 582.40/1069.50 o 78623301 582.49/1069.65 o 78615133 601.56/1091.23 o 78431475 601.56/1091.27 o 78414941 601.66/1091.31 o 78407829 609.43/1099.12 o 78281509 619.55/1116.68 o 78220671 631.30/1128.45 o 78205447 653.70/1154.15 o 78188353 675.56/1179.16 o 77922127 675.75/1179.32 o 77913959 901.11/1506.84 o 77778769 948.01/1556.15 o 58352713 948.91/1557.09 o 58352187 949.10/1557.23 o 58207267 949.20/1557.35 o 58114219 949.70/1557.85 o 58028407 949.80/1557.97 o 58011877 949.90/1558.10 o 57979107 950.30/1558.41 o 57813149 950.39/1558.56 o 57796619 950.69/1558.88 o 57696419 951.00/1559.16 o 57674563 951.49/1559.66 o 57666811 952.09/1560.26 o 57607195 954.28/1562.44 o 57606301 957.07/1565.27 o 57605021 958.07/1566.23 o 57576771 958.56/1566.72 o 57570589 959.07/1567.23 o 54748013 961.96/1570.14 o 54722147 962.75/1570.98 o 54549965 964.05/1572.23 o 52400953 966.74/1575.00 o 52354351 967.14/1575.34 o 52263189 967.34/1575.55 o 52228069 967.64/1575.86 o 52188605 967.94/1576.19 o 52160789 969.13/1577.32 o 52143187 969.94/1585.83 o 52107125 970.15/1586.01 o 51971237 970.54/1586.48 o 51966739 972.64/1588.56 o 51966621 972.94/1588.82 o 51945507 973.04/1588.94 o 51924043 973.15/1589.07 o 51857071 975.03/1590.93 o 51853269 975.73/1591.60 o 51818149 975.83/1591.77 o 51800837 977.23/1593.15 o 51768595 989.39/1605.36 o 51746521 989.98/1605.99 o 51725787 992.47/1608.47 o 51685427 995.76/1611.78 o 51684931 995.96/1611.98 o 51680309 997.75/1613.76 o 51614635 997.85/1613.82 o 51612461 997.95/1622.54 o 51590387 999.54/1624.19 o 51574275 1003.02/1627.63 o 51519135 1003.12/1627.70 o 51500669 1003.12/1627.77 o 51498495 1003.32/1627.96 o 51497899 1017.07/1641.71 o 51465969 1017.17/1641.83 o 51462529 1017.27/1641.99 o 51454501 1017.57/1642.28 o 51380741 1017.77/1642.43 o 51352979 1019.56/1644.25 o 51334867 1021.10/1646.77 o 51331309 1028.48/1654.10 o 51307045 1028.57/1654.28 o 51297835 1028.87/1654.50 o 51291813 1030.16/1655.83 o 51289639 1033.21/1658.93 o 51289043 1041.67/1667.46 o 51128669 1134.29/1809.72 o 51108391 1135.29/1810.74 o 51090985 1136.39/1811.89 o 51074953 1139.17/1814.65 o 50982471 1139.37/1814.80 o 50954281 1147.74/1823.23 o 50939921 1148.73/1824.27 o 50925791 1158.79/1836.24 o 50773047 1158.89/1836.33 o 50763837 1159.49/1836.97 o 50696167 1159.98/1837.43 o 50693289 1168.67/1846.20 o 50689237 1182.38/1861.63 o 50665607 1182.48/1861.75 o 50662373 1206.44/1885.97 o 50583983 1206.64/1886.11 o 50576471 1206.73/1886.25 o 50555441 1238.55/1921.62 o 50426329 1238.55/1921.65 o 50418817 1238.55/1921.69 o 50401945 1238.85/1921.93 o 50342123 1240.73/1923.84 o 50223523 1246.08/1932.44 o 50169459 1246.58/1932.90 o 50164547 1251.82/1938.22 o 50109267 1257.56/1944.04 o 50060289 1257.66/1944.13 o 50031859 1257.76/1944.21 o 50030557 1277.03/1972.90 o 49980365 1277.13/1973.01 o 49980271 1289.12/1985.18 o 49923327 1333.66/2041.18 o 49901081 1333.75/2041.20 o 49889599 1333.85/2041.30 o 49786431 1333.85/2041.33 o 49772941 1334.35/2041.80 o 49768319 1334.45/2041.98 o 49748863 1341.98/2049.53 o 49727461 1343.27/2050.84 o 49688829 1343.36/2050.95 o 49687621 1343.46/2051.05 o 49687527 1348.22/2055.86 o 38289757 1348.31/2055.92 o 38280619 1348.52/2056.11 o 38235661 1348.52/2056.19 o 38111383 1348.71/2056.36 o 38045125 1348.81/2056.41 o 38023411 1349.01/2056.61 o 37870955 1349.01/2056.65 o 37851971 1349.41/2057.03 o 37758041 1349.50/2057.12 o 37642819 1350.39/2058.02 o 37586843 1351.68/2059.37 o 37341137 1351.78/2059.43 o 37288649 1352.38/2060.02 o 37230105 1354.11/2071.41 o 37210377 1354.51/2071.86 o 37100001 1354.62/2071.92 o 37036951 1354.62/2071.96 o 37011801 1356.10/2073.49 o 36902127 1359.27/2076.65 o 36880659 1360.85/2078.26 o 36831595 1360.95/2078.33 o 36811989 1361.15/2078.56 o 36811671 1361.35/2078.79 o 36802809 1361.54/2078.98 o 36788103 1364.22/2081.69 o 36781871 1364.82/2082.24 o 36675859 1365.40/2082.80 o 36456493 1372.03/2089.59 o 36414561 1374.02/2091.57 o 36402447 1376.45/2095.11 o 36399381 1376.94/2095.64 o 36223935 1377.04/2095.73 o 36223617 1382.09/2100.89 o 36140353 1382.19/2100.98 o 36031591 1382.29/2101.09 o 35992279 1387.83/2106.69 o 35875519 1387.93/2106.79 o 35823901 1388.03/2106.89 o 35803111 1388.42/2107.26 o 35783405 1390.81/2109.64 o 35570195 1415.93/2161.14 o 35537855 1416.02/2161.28 o 35480207 1416.02/2161.29 o 35471639 1416.12/2161.31 o 35450849 1417.02/2162.21 o 35342665 1417.52/2162.70 o 35334097 1418.72/2163.99 o 35304835 1418.82/2164.02 o 35263831 1420.21/2165.40 o 35050315 1420.21/2165.44 o 35039073 1420.21/2165.48 o 35032193 1421.21/2166.46 o 34917309 1421.31/2166.50 o 34905227 1425.29/2170.55 o 34778549 1425.29/2170.59 o 34767307 1427.68/2172.90 o 34641451 1427.79/2173.04 o 34635025 1428.88/2174.18 o 34447451 1428.98/2174.29 o 34431675 1433.96/2179.26 o 34380267 1436.06/2181.32 o 34324567 1436.06/2181.39 o 34317973 1438.24/2183.50 o 34315693 1439.15/2184.48 o 34199001 1439.24/2184.55 o 34192407 1441.43/2192.44 o 34012113 1442.72/2193.78 o 33877881 1450.11/2201.13 o 33699069 1459.07/2210.18 o 33689309 1461.96/2213.07 o 33620147 1462.06/2213.19 o 33618101 1465.24/2216.37 o 33499003 1465.44/2216.51 o 33449875 1465.54/2216.65 o 33435277 1469.62/2220.78 o 33361401 1469.82/2220.94 o 33359355 1481.30/2233.73 o 33308829 1506.84/2262.47 o 33307933 1507.14/2262.79 o 33260941 1516.31/2271.97 o 33244829 1754.16/2555.72 o 33227619 1754.16/2555.77 o 33209059 1770.97/2577.09 o 33045263 1771.07/2577.17 o 33008909 1777.85/2583.93 o 32998941 1782.54/2588.63 o 32959989 1782.73/2588.88 o 32957943 1785.72/2591.87 o 32956335 1786.32/2592.42 o 32954297 1786.52/2592.63 o 32944575 1786.62/2592.75 o 32942529 1791.17/2597.85 o 32902237 1797.35/2604.10 o 32900629 1798.84/2605.58 o 32891653 1804.72/2611.48 o 32847461 1806.21/2612.90 o 32846715 1806.32/2613.09 o 32842533 1808.70/2615.46 o 32834163 1808.91/2615.64 o 32833417 1825.71/2632.73 o 32814977 1825.91/2632.91 o 32800157 1844.84/2651.94 o 32780033 1848.53/2655.68 o 32779935 1851.41/2658.57 o 32304933 1851.89/2668.17 o 32265819 1852.28/2668.57 o 31884897 1852.78/2669.09 o 31853419 1853.57/2669.89 o 31405801 1854.18/2670.49 o 31396921 1855.37/2671.61 o 31391209 1856.97/2673.29 o 31385019 1857.17/2673.41 o 31376139 1857.96/2674.29 o 31337919 1858.36/2674.61 o 31325299 1858.66/2674.91 o 31321027 1858.76/2675.04 o 31297645 1858.86/2675.17 o 31288765 1859.66/2675.95 o 31279581 1859.76/2676.08 o 31278391 1860.15/2676.42 o 31248263 1860.25/2676.59 o 31239143 1860.55/2676.80 o 31238769 1863.84/2680.11 o 31230407 1864.03/2680.32 o 31221287 1865.93/2682.23 o 31161455 1866.03/2682.38 o 31155299 1875.29/2691.61 o 31147785 1875.29/2691.63 o 31123813 1875.80/2692.14 o 31053335 1875.80/2692.19 o 31052145 1876.29/2692.63 o 31043025 1877.89/2694.23 o 31016303 1877.89/2694.28 o 30979483 1878.38/2694.77 o 30976077 1878.79/2695.17 o 30960021 1878.98/2695.35 o 30866693 1878.98/2695.37 o 30857573 1879.08/2695.46 o 30851417 1879.48/2695.84 o 30846907 1880.38/2696.70 o 30771175 1880.38/2696.74 o 30771097 1880.38/2696.78 o 30747635 1880.48/2696.84 o 30741479 1881.97/2698.31 o 30618561 1881.97/2698.35 o 30617371 1881.97/2698.37 o 30608251 1883.27/2699.66 o 30575125 1883.48/2701.27 o 30511797 1883.57/2701.31 o 30509967 1883.57/2701.39 o 30509151 1888.06/2705.81 o 30499445 1888.06/2705.86 o 30497615 1890.36/2708.12 o 30442495 1895.83/2713.66 o 30331353 1895.94/2713.73 o 30329267 1898.43/2716.21 o 30230541 1987.98/2846.30 o 30201503 1990.68/2849.04 o 30124367 1990.68/2849.07 o 30120095 1990.68/2849.10 o 30117853 2005.08/2866.28 o 20283897 2005.18/2866.35 o 20253159 2005.28/2866.40 o 20238663 2005.28/2866.46 o 20167401 2005.48/2866.63 o 20165757 2005.68/2866.84 o 20000943 2005.78/2866.90 o 19948065 2005.88/2867.02 o 19938459 2005.88/2867.06 o 19932071 2006.27/2867.45 o 19930951 2006.37/2867.51 o 19907585 2007.17/2868.39 o 19893553 2007.27/2868.48 o 19892433 2007.87/2869.02 o 19880743 2008.67/2869.84 o 19874015 2008.77/2869.93 o 19869305 2009.27/2870.40 o 19819751 2009.27/2870.44 o 19755637 2009.47/2870.61 o 19729515 2009.47/2870.66 o 19724653 2010.26/2871.48 o 19723533 2011.66/2872.88 o 19678125 2011.86/2873.05 o 18747449 2011.96/2873.19 o 18742323 2012.96/2874.19 o 18737803 2013.05/2874.24 o 18736683 2014.65/2875.80 o 18727297 2014.75/2875.90 o 18726179 2015.44/2876.63 o 18724461 2017.44/2878.64 o 18548717 2017.44/2878.69 o 18525351 2017.54/2878.75 o 18524231 2017.94/2879.10 o 18514845 2018.63/2879.80 o 18445581 2018.63/2879.87 o 18444461 2019.63/2880.87 o 18438733 2019.73/2880.98 o 18410845 2020.32/2881.53 o 18404733 2020.42/2881.61 o 18403613 2022.31/2883.55 o 18345651 2022.41/2883.62 o 18322285 2022.92/2884.12 o 18253281 2023.01/2884.26 o 18249913 2024.50/2885.70 o 18147489 2024.91/2886.13 o 18063967 2024.91/2886.19 o 18014745 2026.20/2887.41 o 17974239 2026.20/2887.49 o 17926883 2030.21/2893.29 o 17925825 2032.70/2895.78 o 17835875 2032.90/2895.91 o 17831123 2034.69/2897.70 o 17826269 2036.19/2899.21 o 17822675 2036.19/2899.28 o 17805763 2036.69/2899.73 o 17800619 2039.38/2902.43 o 17727163 2039.57/2902.69 o 17723851 2040.38/2903.41 o 17617111 2040.48/2903.50 o 17601851 2040.48/2903.59 o 17594005 2041.27/2904.33 o 17564101 2046.05/2909.19 o 17499951 2046.14/2909.28 o 17490757 2046.24/2909.37 o 17486539 2046.45/2909.58 o 17460949 2047.54/2910.67 o 17452269 2054.41/2917.58 o 17398939 2054.51/2917.67 o 17389911 2054.82/2917.91 o 17376499 2054.92/2918.05 o 17368653 2057.65/2922.78 o 17350909 2058.74/2923.82 o 17348739 2064.82/2929.91 o 17226569 2064.92/2930.04 o 17218723 2065.02/2930.15 o 17218653 2065.13/2930.27 o 17200979 2073.89/2939.08 o 17135071 2073.99/2939.10 o 17113813 2073.99/2939.16 o 17097427 2078.07/2943.28 o 17069057 2078.17/2943.31 o 17056993 2078.37/2943.50 o 17056923 2079.16/2944.36 o 17042843 2086.27/2953.87 o 17017693 2086.77/2954.38 o 17007811 2087.16/2954.75 o 17007089 2087.26/2954.80 o 16999243 2087.26/2954.88 o 16999173 2092.05/2959.62 o 16900863 2189.42/3105.08 o 16879605 2189.52/3105.15 o 16862645 2189.61/3105.25 o 16849783 2189.61/3105.29 o 16843357 2189.71/3105.33 o 16834275 2189.71/3105.35 o 16799007 2189.71/3105.37 o 16789813 2190.01/3105.65 o 16785595 2190.11/3105.74 o 16783045 2191.41/3107.02 o 16725821 2191.41/3107.04 o 16722703 2191.41/3107.06 o 16703527 2191.41/3107.08 o 16694333 2191.51/3107.12 o 16690115 2194.31/3117.51 o 16614317 2194.31/3117.55 o 16605123 2197.10/3120.33 o 16497549 2200.48/3123.75 o 16387767 2207.26/3130.50 o 14266939 2207.36/3130.62 o 14192607 2208.06/3131.38 o 14104245 2208.16/3131.46 o 14103215 2208.26/3131.58 o 14078319 2208.45/3131.76 o 14067527 2208.76/3132.00 o 14058455 2208.86/3132.10 o 14052691 2208.95/3132.29 o 14050497 2209.06/3132.37 o 14039701 2209.26/3132.58 o 14038587 2209.36/3132.68 o 14026997 2209.76/3133.03 o 14015747 2209.95/3133.24 o 14007899 2210.05/3133.33 o 14000847 2211.25/3134.59 o 13994247 2211.75/3135.03 o 13987989 2212.14/3135.48 o 13979029 2214.91/3138.21 o 13969823 2216.30/3139.66 o 13933435 2216.50/3139.81 o 13932601 2219.57/3142.91 o 13909035 2220.76/3144.12 o 13892971 2220.85/3144.25 o 13886285 2220.95/3144.35 o 13874201 2223.14/3148.19 o 13871355 2223.33/3148.30 o 13860105 2224.13/3149.17 o 13829239 2224.23/3149.26 o 13826025 2226.72/3151.73 o 13801257 2226.82/3151.83 o 13793299 2226.92/3151.96 o 13782049 2228.22/3153.23 o 13780937 2228.32/3153.33 o 13774589 2228.42/3153.49 o 13768763 2231.00/3156.02 o 13722615 2231.11/3156.14 o 13720235 2231.20/3156.29 o 13719401 2232.11/3157.12 o 13713977 2235.59/3160.62 o 13690555 2235.69/3160.72 o 13683677 2235.89/3160.90 o 13678645 2236.39/3161.48 o 13677851 2238.77/3163.82 o 13665721 2239.47/3164.50 o 13658843 2239.67/3164.76 o 13653811 2246.65/3171.75 o 13647557 2246.75/3171.89 o 13640505 2249.94/3175.07 o 13584295 2250.14/3175.22 o 13577417 2250.23/3175.36 o 13572385 2252.72/3179.24 o 13516145 2252.92/3179.43 o 13513765 2253.02/3179.57 o 13506713 2273.34/3199.91 o 13491787 2273.34/3199.97 o 13490953 2274.14/3200.73 o 13485529 2278.12/3204.73 o 13456303 2278.12/3204.78 o 13449617 2278.22/3204.84 o 13444585 2278.43/3205.01 o 13443791 2281.81/3208.45 o 13434029 2281.81/3208.49 o 13432949 2281.91/3208.54 o 13426071 2282.01/3208.60 o 13421039 2290.61/3226.33 o 13366919 2297.77/3233.51 o 13299333 2306.89/3244.12 o 13289511 2306.99/3244.22 o 13282825 2316.76/3254.01 o 13267729 2352.67/3297.57 o 13266649 2352.67/3297.58 o 13265535 2352.87/3297.79 o 13264807 2353.08/3297.98 o 13262617 2353.68/3298.58 o 13261511 2361.55/3311.80 o 13256425 2361.55/3311.85 o 13255275 2361.65/3311.90 o 13248589 2361.75/3312.05 o 13229959 2362.64/3312.92 o 13228717 2362.94/3313.25 o 13182187 2366.13/3316.41 o 13178205 2366.92/3317.25 o 13175781 2367.22/3317.51 o 13161701 2367.22/3317.57 o 13137987 2367.32/3317.64 o 13133403 2389.99/3343.26 o 13127475 2390.19/3343.47 o 13111579 2391.38/3344.61 o 13109083 2417.50/3371.10 o 13107963 2466.53/3423.47 o 13107043 2466.63/3423.53 o 13090941 2477.86/3435.91 o 13087891 2478.16/3436.27 o 13061999 2478.26/3436.34 o 13057329 2478.37/3436.40 o 13055131 2479.86/3437.93 o 13041907 2479.97/3438.01 o 13037237 2482.35/3440.49 o 13018977 2486.33/3444.48 o 12982791 2486.43/3444.57 o 12979367 2490.32/3448.48 o 12979119 2493.01/3451.17 o 12979071 2519.30/3477.75 o 12972153 2560.17/3521.56 o 12937311 2560.17/3521.58 o 12933887 2571.40/3534.78 o 12929265 2578.37/3541.78 o 12927575 2585.35/3548.75 o 12923721 2597.74/3561.71 o 12920827 2599.23/3563.28 o 12892321 2602.03/3566.05 o 12892273 2621.35/3585.45 o 12886123
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 (58603 MiB free)
memory of node 1: 64473 MiB (58427 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4440930-1723986275/watcher-4440930-1723986275 -o /tmp/evaluation-result-4440930-1723986275/solver-4440930-1723986275 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1723986220-902170 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440930-1723986275 --seed=473888208 HOME/instance-4440930-1723986275.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 419430400 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
solver pid=902902, runsolver pid=902899
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 2.72 0.82 0.34 3/262 902903
/proc/meminfo: memFree=119838140/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=25224 memory=2476 CPUtime=0 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) D 902899 902902 902160 0 -1 1077936128 126 0 0 0 0 0 0 0 20 0 1 0 165229520 25829376 619 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.206017 s]*
/proc/loadavg: 2.82 0.87 0.36 4/262 902903
/proc/meminfo: memFree=119822648/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=37764 memory=15028 CPUtime=0 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 3441 0 0 0 0 0 0 0 20 0 1 0 165229520 38670336 3757 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 9441 3757 738 747 0 8504 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 15028 KiB
[startup+0.305747 s]*
/proc/loadavg: 2.82 0.87 0.36 4/262 902903
/proc/meminfo: memFree=119672964/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=61256 memory=39404 CPUtime=0.1 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 9183 0 0 0 9 1 0 0 20 0 1 0 165229520 62726144 9851 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 15314 9851 802 747 0 14377 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 39404 KiB
[startup+0.700214 s]
/proc/loadavg: 2.82 0.87 0.36 4/262 902903
/proc/meminfo: memFree=119755796/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=65724 memory=46604 CPUtime=0.48 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 11678 0 0 0 46 2 0 0 20 0 1 0 165229520 67301376 11651 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 16431 11651 850 747 0 15494 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 65724 KiB
Current children cumulated memory: 46604 KiB
[startup+1.5002 s]
/proc/loadavg: 2.82 0.87 0.36 4/262 902903
/proc/meminfo: memFree=119585724/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=229060 memory=162792 CPUtime=1.28 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 16939 0 0 0 117 11 0 0 20 0 1 0 165229520 234557440 40698 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 57265 40698 850 747 0 56328 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 229060 KiB
Current children cumulated memory: 162792 KiB
[startup+3.10577 s]
/proc/loadavg: 2.82 0.87 0.36 3/263 902904
/proc/meminfo: memFree=118591520/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=363604 memory=261952 CPUtime=2.88 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 20354 0 0 0 261 27 0 0 20 0 1 0 165229520 372330496 65488 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 90901 65488 850 747 0 89964 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 363604 KiB
Current children cumulated memory: 261952 KiB
[startup+6.30018 s]
/proc/loadavg: 2.91 0.92 0.38 3/263 902906
/proc/meminfo: memFree=117682620/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=495368 memory=372752 CPUtime=6.04 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 26570 0 0 0 560 44 0 0 20 0 1 0 165229520 507256832 93188 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 123842 93188 850 747 0 122905 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 495368 KiB
Current children cumulated memory: 372752 KiB
[startup+12.7002 s]
/proc/loadavg: 3.08 0.99 0.40 2/263 902906
/proc/meminfo: memFree=116581732/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=1154840 memory=659316 CPUtime=12.4 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 37603 0 0 0 1120 120 0 0 20 0 1 0 165229520 1182556160 164829 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 288710 164829 850 747 0 287773 0
Current children cumulated CPU time: 12.4 s
Current children cumulated vsize: 1154840 KiB
Current children cumulated memory: 659316 KiB
[startup+25.5002 s]
/proc/loadavg: 3.22 1.09 0.44 2/263 902909
/proc/meminfo: memFree=114766280/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=1436960 memory=907620 CPUtime=25.14 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 58257 0 0 0 2269 245 0 0 20 0 1 0 165229520 1471447040 226905 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 359240 226905 850 747 0 358303 0
Current children cumulated CPU time: 25.14 s
Current children cumulated vsize: 1436960 KiB
Current children cumulated memory: 907620 KiB
[startup+51.1052 s]
/proc/loadavg: 3.53 1.37 0.56 2/263 902912
/proc/meminfo: memFree=114275212/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=1489804 memory=949240 CPUtime=33.95 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) D 902899 902902 902160 0 -1 4194304 63790 0 0 0 3115 280 0 0 20 0 1 0 165229520 1525559296 237310 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 372451 237310 850 747 0 371514 0
Current children cumulated CPU time: 33.95 s
Current children cumulated vsize: 1489804 KiB
Current children cumulated memory: 949240 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 3.92 1.81 0.75 1/260 902920
/proc/meminfo: memFree=112646656/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=1489804 memory=949240 CPUtime=33.95 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) D 902899 902902 902160 0 -1 4194304 63790 0 0 0 3115 280 0 0 20 0 1 0 165229520 1525559296 237310 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 372451 237310 850 747 0 371514 0
Current children cumulated CPU time: 33.95 s
Current children cumulated vsize: 1489804 KiB
Current children cumulated memory: 949240 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 4.11 2.24 0.97 2/260 902933
/proc/meminfo: memFree=107890512/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=1570876 memory=1043368 CPUtime=52.54 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 76517 0 0 0 4919 335 0 0 20 0 1 0 165229520 1608577024 260842 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 10928 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 392719 260842 850 747 0 391782 0
Current children cumulated CPU time: 52.54 s
Current children cumulated vsize: 1570876 KiB
Current children cumulated memory: 1043368 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 4.08 2.58 1.17 1/261 902945
/proc/meminfo: memFree=106822472/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=1661352 memory=1099808 CPUtime=63.27 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) D 902899 902902 902160 0 -1 4194304 82134 0 0 0 5982 345 0 0 20 0 1 0 165229520 1701224448 274952 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 10928 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 415338 274952 850 747 0 414401 0
Current children cumulated CPU time: 63.27 s
Current children cumulated vsize: 1661352 KiB
Current children cumulated memory: 1099808 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 4.13 2.87 1.36 1/260 902956
/proc/meminfo: memFree=106840632/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=1661880 memory=1102648 CPUtime=64.06 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) D 902899 902902 902160 0 -1 4194304 82282 0 0 0 6060 346 0 0 20 0 1 0 165229520 1701765120 275662 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 20568 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 415470 275662 850 747 0 414533 0
Current children cumulated CPU time: 64.06 s
Current children cumulated vsize: 1661880 KiB
Current children cumulated memory: 1102648 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 4.10 3.09 1.53 5/259 902968
/proc/meminfo: memFree=104980776/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=1681204 memory=1137712 CPUtime=72.71 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 84984 0 0 0 6916 355 0 0 20 0 1 0 165229520 1721552896 284428 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 26899 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 420301 284428 850 747 0 419364 0
Current children cumulated CPU time: 72.71 s
Current children cumulated vsize: 1681204 KiB
Current children cumulated memory: 1137712 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 4.15 3.29 1.70 1/261 902982
/proc/meminfo: memFree=97472760/131524600 swapFree=131071996/131071996
[pid=902902] ppid=902899 vsize=1713884 memory=1201104 CPUtime=98.38 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) D 902899 902902 902160 0 -1 4194304 103163 0 0 0 9377 461 0 0 20 0 1 0 165229520 1755017216 300276 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 26899 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 428471 300276 850 747 0 427534 0
Current children cumulated CPU time: 98.38 s
Current children cumulated vsize: 1713884 KiB
Current children cumulated memory: 1201104 KiB
heavy processes:
################
# More data... #
################
Current children cumulated CPU time: 1913.26 s
Current children cumulated vsize: 2808816 KiB
Current children cumulated memory: 2267676 KiB
heavy processes:
[startup+2802.3 s]
/proc/loadavg: 3.14 3.25 3.46 3/258 904095
/proc/meminfo: memFree=22127340/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3005424 memory=2372200 CPUtime=1963.38 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) D 902899 902902 902160 0 -1 4194304 1823233 0 0 0 192524 3814 0 0 20 0 1 0 165229520 3077554176 593050 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 82115 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 751356 593050 850 747 0 750419 0
Current children cumulated CPU time: 1963.38 s
Current children cumulated vsize: 3005424 KiB
Current children cumulated memory: 2372200 KiB
heavy processes:
[startup+2862.3 s]
/proc/loadavg: 3.19 3.25 3.44 4/258 904107
/proc/meminfo: memFree=20147612/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3005424 memory=2372200 CPUtime=2001.2 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 1866040 0 0 0 196212 3908 0 0 20 0 1 0 165229520 3077554176 593050 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 85141 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 751356 593050 850 747 0 750419 0
Current children cumulated CPU time: 2001.2 s
Current children cumulated vsize: 3005424 KiB
Current children cumulated memory: 2372200 KiB
heavy processes:
[startup+2922.3 s]
/proc/loadavg: 3.12 3.22 3.42 4/258 904118
/proc/meminfo: memFree=19344688/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3005424 memory=2372200 CPUtime=2057.26 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 1866218 0 0 0 201790 3936 0 0 20 0 1 0 165229520 3077554176 593050 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 85512 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 751356 593050 850 747 0 750419 0
Current children cumulated CPU time: 2057.26 s
Current children cumulated vsize: 3005424 KiB
Current children cumulated memory: 2372200 KiB
heavy processes:
[startup+2982.3 s]
/proc/loadavg: 3.08 3.19 3.40 2/258 904128
/proc/meminfo: memFree=15976068/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3005424 memory=2372188 CPUtime=2112.27 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) D 902899 902902 902160 0 -1 4194304 1932202 0 0 0 207170 4057 0 0 20 0 1 0 165229520 3077554176 593047 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 85749 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 751356 593047 846 747 0 750419 0
Current children cumulated CPU time: 2112.27 s
Current children cumulated vsize: 3005424 KiB
Current children cumulated memory: 2372188 KiB
heavy processes:
[startup+3042.3 s]
/proc/loadavg: 3.17 3.19 3.38 4/258 904139
/proc/meminfo: memFree=12894864/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3005424 memory=2372188 CPUtime=2155.36 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 1983962 0 0 0 211325 4211 0 0 20 0 1 0 165229520 3077554176 593047 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 87659 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 751356 593047 846 747 0 750419 0
Current children cumulated CPU time: 2155.36 s
Current children cumulated vsize: 3005424 KiB
Current children cumulated memory: 2372188 KiB
heavy processes:
[startup+3102.3 s]
/proc/loadavg: 3.15 3.18 3.36 5/255 904537
/proc/meminfo: memFree=8389916/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3005424 memory=2372188 CPUtime=2186.72 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 2020025 0 0 0 214370 4302 0 0 20 0 1 0 165229520 3077554176 593047 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 90512 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 751356 593047 846 747 0 750419 0
Current children cumulated CPU time: 2186.72 s
Current children cumulated vsize: 3005424 KiB
Current children cumulated memory: 2372188 KiB
heavy processes:
[startup+3162.3 s]
/proc/loadavg: 3.16 3.18 3.35 3/255 904549
/proc/meminfo: memFree=4475300/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3005424 memory=2372188 CPUtime=2237.29 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 2020181 0 0 0 219395 4334 0 0 20 0 1 0 165229520 3077554176 593047 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 91433 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 751356 593047 846 747 0 750419 0
Current children cumulated CPU time: 2237.29 s
Current children cumulated vsize: 3005424 KiB
Current children cumulated memory: 2372188 KiB
heavy processes:
[startup+3222.3 s]
/proc/loadavg: 3.16 3.17 3.34 4/255 904560
/proc/meminfo: memFree=1209164/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3005424 memory=2372200 CPUtime=2286.62 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 2020439 0 0 0 224277 4385 0 0 20 0 1 0 165229520 3077554176 593050 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 92482 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 751356 593050 846 747 0 750419 0
Current children cumulated CPU time: 2286.62 s
Current children cumulated vsize: 3005424 KiB
Current children cumulated memory: 2372200 KiB
heavy processes:
[startup+3282.3 s]
/proc/loadavg: 3.31 3.20 3.34 3/256 904740
/proc/meminfo: memFree=549304/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3010332 memory=2377108 CPUtime=2337.52 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 2092407 0 0 0 229282 4470 0 0 20 0 1 0 165229520 3082579968 594277 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 93374 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 752583 594277 846 747 0 751646 0
Current children cumulated CPU time: 2337.52 s
Current children cumulated vsize: 3010332 KiB
Current children cumulated memory: 2377108 KiB
heavy processes:
[startup+3342.3 s]
/proc/loadavg: 3.17 3.18 3.32 4/256 904750
/proc/meminfo: memFree=650536/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3010332 memory=2377108 CPUtime=2389.09 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 2114590 0 0 0 234375 4534 0 0 20 0 1 0 165229520 3082579968 594277 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 94199 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 752583 594277 846 747 0 751646 0
Current children cumulated CPU time: 2389.09 s
Current children cumulated vsize: 3010332 KiB
Current children cumulated memory: 2377108 KiB
heavy processes:
[startup+3402.3 s]
/proc/loadavg: 3.11 3.16 3.30 3/256 904775
/proc/meminfo: memFree=525148/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3012024 memory=2378852 CPUtime=2445.5 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 2307689 0 0 0 239892 4658 0 0 20 0 1 0 165229520 3084312576 594713 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 94536 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 753006 594713 846 747 0 752069 0
Current children cumulated CPU time: 2445.5 s
Current children cumulated vsize: 3012024 KiB
Current children cumulated memory: 2378852 KiB
heavy processes:
[startup+3462.3 s]
/proc/loadavg: 3.14 3.16 3.29 4/257 904787
/proc/meminfo: memFree=510440/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3014596 memory=2381432 CPUtime=2503.95 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 2315888 0 0 0 245674 4721 0 0 20 0 1 0 165229520 3086946304 595358 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 94670 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 753649 595358 846 747 0 752712 0
Current children cumulated CPU time: 2503.95 s
Current children cumulated vsize: 3014596 KiB
Current children cumulated memory: 2381432 KiB
heavy processes:
[startup+3522.3 s]
/proc/loadavg: 3.65 3.27 3.32 4/257 904798
/proc/meminfo: memFree=619240/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3020348 memory=2387196 CPUtime=2560.97 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 2492473 0 0 0 251249 4848 0 0 20 0 1 0 165229520 3092836352 596799 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 94949 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 755087 596799 846 747 0 754150 0
Current children cumulated CPU time: 2560.97 s
Current children cumulated vsize: 3020348 KiB
Current children cumulated memory: 2387196 KiB
heavy processes:
[startup+3582.3 s]
/proc/loadavg: 3.46 3.30 3.32 4/256 904809
/proc/meminfo: memFree=678248/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3020348 memory=2387204 CPUtime=2618.25 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 2492644 0 0 0 256952 4873 0 0 20 0 1 0 165229520 3092836352 596801 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 95197 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 755087 596801 846 747 0 754150 0
Current children cumulated CPU time: 2618.25 s
Current children cumulated vsize: 3020348 KiB
Current children cumulated memory: 2387204 KiB
heavy processes:
[startup+3642.3 s]
/proc/loadavg: 3.43 3.32 3.33 4/256 904820
/proc/meminfo: memFree=605936/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3023348 memory=2390304 CPUtime=2673.41 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) R 902899 902902 902160 0 -1 4194304 2533174 0 0 0 262327 5014 0 0 20 0 1 0 165229520 3095908352 597576 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 2 0 0 95650 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 755837 597576 846 747 0 754900 0
Current children cumulated CPU time: 2673.41 s
Current children cumulated vsize: 3023348 KiB
Current children cumulated memory: 2390304 KiB
heavy processes:
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 3.22 3.28 3.31 1/253 904830
/proc/meminfo: memFree=615224/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3023348 memory=2390304 CPUtime=2679.08 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) D 902899 902902 902160 0 -1 4194304 2533186 0 0 0 262889 5019 0 0 20 0 1 0 165229520 3095908352 597576 134679101440 4194304 7250417 140721973887552 0 0 0 0 0 8404994 0 0 0 17 2 0 0 95650 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 755837 597576 846 747 0 754900 0
Current children cumulated CPU time: 2679.08 s
Current children cumulated vsize: 3023348 KiB
Current children cumulated memory: 2390304 KiB
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 3.20 3.27 3.31 1/253 904830
/proc/meminfo: memFree=615224/131524600 swapFree=131070960/131071996
[pid=902902] ppid=902899 vsize=3023348 memory=2390304 CPUtime=2679.08 cores=0,2
/proc/902902/stat : 902902 (Exact_veripb2_n) D 902899 902902 902160 0 -1 4194304 2533186 0 0 0 262889 5019 0 0 20 0 1 0 165229520 3095908352 597576 134679101440 4194304 7250417 140721973887552 0 0 256 0 0 8404994 0 0 0 17 2 0 0 95650 0 0 7950792 8015128 21139456 140721973891893 140721973892181 140721973892181 140721973899198 0
/proc/902902/statm: 755837 597576 846 747 0 754900 0
??? kill 902902 sig 9
??? end of watcher thread
watchdog killed runsolver after 3760 seconds.
Begin job on nodeC032 at 2024-08-18 15:04:35 IDJOB=4440930 IDBENCH=155608 IDSOLVER=3080 FILE ID=nodeC032/4440930-1723986275 RUNJOBID= nodeC032-1723986220-902170 SLURM_JOB_ID= 8268156 Free space on /tmp= 890060 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_0.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4440930-1723986275/watcher-4440930-1723986275 -o /tmp/evaluation-result-4440930-1723986275/solver-4440930-1723986275 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1723986220-902170 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440930-1723986275 --seed=473888208 HOME/instance-4440930-1723986275.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f03e27a6707ee21c77eefe2da14e6e64 RANDOM SEED=473888208 nodeC032.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 : 3629.405 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.77 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 : 3675.103 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.64 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 : 3626.897 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.77 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 : 3693.403 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.64 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 : 3629.773 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.77 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 : 3697.492 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.64 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 : 3600.090 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.77 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 : 3692.636 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.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 119839956 kB MemAvailable: 127693716 kB Buffers: 387508 kB Cached: 8301696 kB SwapCached: 0 kB Active: 801016 kB Inactive: 10055864 kB Active(anon): 1544 kB Inactive(anon): 2212124 kB Active(file): 799472 kB Inactive(file): 7843740 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 3414384 kB Writeback: 2555972 kB AnonPages: 2167768 kB Mapped: 120056 kB Shmem: 45908 kB KReclaimable: 100740 kB Slab: 406524 kB SReclaimable: 100740 kB SUnreclaim: 305784 kB KernelStack: 4188 kB PageTables: 13824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3059548 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 63808 kB HardwareCorrupted: 0 kB AnonHugePages: 1824768 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: 293588 kB DirectMap2M: 23597056 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890068 MiB End job on nodeC032 at 2024-08-18 16:07:19