Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_proof 2025-06-02 | SAT (TO) | 90601892837425 | 3600.09 | 3630.74 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3a.opb |
| MD5SUM | 66c9959016382e41dad7850ad64939ee |
| 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 | 89951132262400 |
| Best CPU time to get the best result obtained on this benchmark | 7467.88 |
| 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 | 2219 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 22 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 129 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 191 |
| Number of terms in the objective function | 1716 |
| Biggest coefficient in the objective function | 5134096531456000 |
| Number of bits for the biggest coefficient in the objective function | 53 |
| Sum of the numbers in the objective function | 216401520151185266 |
| Number of bits of the sum of numbers in the objective function | 58 |
| Biggest number in a constraint | 5134096531456000 |
| Number of bits of the biggest number in a constraint | 53 |
| Biggest sum of numbers in a constraint | 216401520151185266 |
| Number of bits of the biggest sum of numbers | 58 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
359.00/360.07 o 1746320960380130 359.11/360.11 o 221881073664000 359.11/360.11 o 218350565457920 359.11/360.12 o 192594673664000 360.67/361.78 o 192561509171210 365.14/366.29 o 192421262868335 373.81/374.95 o 192107280329600 393.83/395.06 o 191704402518130 400.69/402.00 o 191291600194000 402.09/403.31 o 190526006353920 404.38/405.68 o 190490024178670 409.78/411.08 o 190481611905950 422.22/423.56 o 190352401970900 434.06/435.40 o 190286905881180 447.29/448.74 o 190286902711500 458.04/459.59 o 189620326594935 469.25/471.09 o 189451185941600 469.74/471.53 o 188443609944060 478.40/480.33 o 187553817579500 521.59/523.79 o 187007744000000 525.18/527.30 o 187007018804000 525.57/527.73 o 186786045952000 527.77/530.01 o 185590910470900 529.16/531.32 o 185223704042800 532.66/534.88 o 185219707704920 542.10/544.32 o 185149956185200 546.80/549.03 o 185149955653000 563.94/566.21 o 184798100303050 565.22/567.59 o 184580321499300 567.22/569.58 o 184310669130880 567.52/569.88 o 184190578138000 589.13/591.54 o 182239417430770 590.64/593.07 o 181953657228500 603.86/606.30 o 181920247676200 609.24/611.77 o 180607746772060 614.13/616.65 o 180607713190400 623.19/625.73 o 180310673525350 628.48/631.02 o 179877764751250 633.24/635.83 o 179867247130000 633.45/636.09 o 179832234329785 634.03/636.63 o 177909588724475 635.44/638.02 o 177501064150700 646.88/649.55 o 177337392813200 650.77/653.43 o 177335677952000 675.46/678.24 o 177070067200000 723.46/726.40 o 176537518814720 726.75/729.72 o 176463985798085 727.06/730.01 o 175309442595500 735.70/738.72 o 175269314982400 738.80/741.86 o 175264807765750 753.35/756.46 o 175064168640720 754.96/758.05 o 174091862596455 778.87/782.02 o 173412915174325 787.03/790.28 o 173412878891600 847.12/850.53 o 173353096192000 850.80/854.27 o 173353095017125 860.96/864.46 o 173353094743125 863.45/866.95 o 172798842317910 924.89/928.70 o 172792549657300 925.69/929.50 o 172484698660310 928.89/932.79 o 172400963594600 937.66/941.55 o 172316954372525 955.00/958.93 o 172313818157550 958.88/962.88 o 172286826966125 966.86/970.83 o 172257262911800 972.64/976.66 o 172256334513550 986.58/990.65 o 171298895545160 989.77/993.81 o 168311069243360 1020.83/1025.17 o 168043969120400 1050.50/1055.00 o 168042689482300 1054.19/1058.65 o 167828364026775 1059.17/1063.62 o 167108582855780 1066.65/1071.19 o 166884934392625 1085.58/1090.16 o 166680792619550 1115.24/1119.98 o 166255784200660 1124.79/1129.58 o 166255695192060 1143.33/1148.14 o 166234961420000 1250.07/1255.45 o 166088568982320 1252.34/1257.78 o 165751121227950 1256.43/1261.88 o 165703137969600 1264.39/1269.89 o 165675036718150 1277.64/1283.19 o 165560601702400 1279.73/1285.23 o 164274177922860 1306.24/1311.83 o 164272670044900 1318.79/1324.48 o 163815259541760 1340.03/1345.79 o 163808621169125 1351.28/1357.05 o 163677884188150 1355.15/1360.92 o 163438419230500 1360.35/1366.14 o 163438419174300 1380.44/1386.38 o 163257665318750 1383.83/1389.76 o 163257650878475 1385.52/1391.47 o 162213034668300 1391.70/1397.60 o 160816241170580 1398.68/1404.63 o 160459579673000 1482.90/1489.22 o 159168600325600 1485.90/1492.28 o 158805739526100 1490.28/1496.68 o 158511431126000 1514.47/1520.93 o 158460740051275 1521.56/1528.09 o 158460294079250 1530.42/1536.91 o 158069259065390 1537.17/1543.79 o 157479224133070 1540.27/1546.85 o 157479221764250 1576.32/1583.10 o 155731916679700 1579.51/1586.22 o 143447757577500 1586.88/1593.63 o 143390835315950 1591.16/1597.99 o 143376873831500 1592.06/1598.85 o 143306632492700 1598.82/1605.65 o 143066138827520 1600.12/1606.95 o 143066072122160 1600.12/1607.00 o 141821389543800 1600.23/1607.05 o 140136971266800 1600.33/1607.14 o 139730255412550 1600.33/1607.17 o 131074697985410 1600.42/1607.23 o 130986333016300 1600.42/1607.29 o 130613687718320 1600.52/1607.33 o 130457603747200 1600.52/1607.35 o 129627510508700 1600.52/1607.37 o 125624330764500 1600.62/1607.42 o 124878433201600 1600.62/1607.45 o 113913567311600 1600.62/1607.47 o 113823341190600 1601.12/1607.97 o 113823227079110 1601.12/1607.98 o 113644778518600 1601.12/1607.99 o 113632135667600 1601.41/1608.21 o 113438638276000 1601.51/1608.32 o 113397401433000 1601.61/1608.46 o 113185502522600 1601.61/1608.49 o 113167486611700 1601.81/1608.69 o 113159158501600 1601.91/1608.77 o 113143772620100 1602.01/1608.82 o 113139976798950 1602.10/1609.00 o 112638163138560 1602.32/1609.19 o 112608867868550 1602.41/1609.28 o 112607902053000 1602.51/1609.35 o 112538243686400 1602.60/1609.40 o 112515571404800 1602.81/1609.67 o 112515570762400 1603.10/1610.00 o 112515172204300 1603.31/1610.14 o 112515108665100 1605.00/1611.89 o 112514232992810 1605.10/1611.97 o 112505400730900 1605.39/1612.27 o 112505400417000 1605.49/1612.30 o 112503587520400 1605.60/1612.43 o 112499553467400 1605.60/1612.45 o 112492432740800 1605.80/1612.61 o 112492369946200 1606.10/1612.93 o 112492360573000 1606.31/1613.16 o 112485229568000 1606.69/1613.52 o 112485229363600 1606.99/1613.85 o 112485226852400 1607.20/1614.03 o 112485173682850 1607.30/1614.12 o 112485149888500 1607.30/1614.19 o 112484825425400 1607.39/1614.26 o 112484811365600 1607.89/1614.73 o 112484612006250 1608.20/1615.09 o 112484569691800 1608.79/1615.63 o 112484566129400 1609.08/1615.93 o 112484562910100 1609.19/1616.11 o 112484536389200 1609.38/1616.27 o 112484536268750 1609.58/1616.47 o 112484536111800 1609.68/1616.58 o 112484535900100 1609.78/1616.67 o 112484535425600 1609.88/1616.78 o 112484534403600 1610.30/1617.12 o 112310518381120 1610.38/1617.25 o 111604114001000 1611.07/1617.93 o 111603610709800 1611.29/1618.17 o 111603610673300 1611.37/1618.25 o 111603609790000 1611.57/1618.42 o 111603609713350 1611.98/1618.83 o 111001435345000 1625.92/1632.89 o 111001435314500 1633.09/1640.07 o 111001435202100 1641.35/1648.38 o 110890739692800 1642.84/1649.85 o 110890739447400 1643.24/1650.26 o 110763666342660 1644.05/1651.02 o 110763665385000 1645.93/1653.01 o 110638820222860 1646.82/1653.81 o 109803344728250 1658.99/1666.07 o 109797059381550 1667.14/1674.24 o 109673469721000 1667.24/1674.37 o 109627483738800 1669.53/1676.69 o 109627482473100 1690.09/1697.37 o 109624683808520 1691.28/1698.58 o 109375353966400 1692.08/1699.37 o 109349552334550 1692.79/1700.04 o 108960667910460 1698.62/1705.94 o 108738331904000 1699.91/1707.24 o 108738302193000 1700.22/1707.56 o 108521086514600 1700.61/1707.95 o 108377694092000 1713.58/1720.94 o 108377680022000 1718.26/1725.65 o 107627743703000 1720.45/1727.82 o 107270376364000 1728.53/1735.97 o 106365668180310 1743.48/1750.92 o 106198323378300 1769.16/1776.70 o 106198314167100 1784.29/1791.94 o 106198305553100 1784.99/1792.67 o 105541199894300 1791.56/1799.28 o 105459999863410 1796.25/1803.93 o 105338621625260 1810.79/1818.56 o 105338567807000 1831.33/1839.13 o 105338492673150 1833.22/1841.10 o 105095382074335 1836.08/1843.95 o 105084738028720 1842.66/1850.57 o 104853295152350 1858.42/1866.35 o 104853262073575 1870.67/1878.63 o 104848755954800 1870.87/1878.88 o 104684849535000 1874.27/1882.20 o 104671644979700 1883.83/1891.85 o 104501656513110 1883.93/1891.99 o 103669908327000 1884.23/1892.21 o 103666445833300 1884.64/1892.60 o 103358376287800 1886.43/1894.46 o 103358375841750 1889.03/1897.11 o 103357953244750 1892.89/1900.96 o 103357936547500 1903.45/1911.59 o 102427218400300 1925.48/1933.62 o 102427218285000 1942.57/1950.88 o 102381264820000 1944.16/1952.47 o 101960711400250 1947.45/1955.79 o 101960709776000 1951.94/1960.21 o 101284114317725 1983.63/1992.08 o 101264937932800 2024.46/2033.23 o 101136070223250 2037.23/2046.07 o 101075206526500 2039.20/2048.08 o 101075190593500 2041.19/2050.05 o 100955203960320 2049.77/2059.95 o 100953542235770 2055.45/2065.69 o 100743004305200 2078.17/2088.46 o 100743004273100 2080.77/2091.04 o 100739115833200 2081.46/2091.79 o 100590616649000 2084.76/2095.10 o 100585475076500 2085.35/2095.69 o 99992187834000 2093.13/2103.46 o 99992010306375 2102.20/2112.57 o 99992007067000 2118.85/2129.29 o 99992006939250 2168.27/2178.84 o 99991567388000 2168.48/2179.07 o 99987116307900 2169.85/2180.43 o 99501169083000 2189.20/2199.85 o 99492904440600 2189.41/2200.05 o 99479992251560 2191.29/2201.90 o 99479992111500 2222.79/2233.57 o 99479992023900 2233.23/2244.05 o 99468256054800 2235.22/2246.02 o 99467792745700 2236.22/2247.02 o 99294556511400 2277.97/2289.78 o 98944863772650 2356.22/2368.97 o 98944863611300 2358.72/2371.45 o 98944112730400 2382.35/2395.13 o 98943650563000 2397.56/2410.47 o 98943650544750 2402.45/2415.30 o 98929874572400 2413.01/2425.94 o 98747664776600 2417.61/2430.57 o 98696561871200 2428.32/2441.32 o 98696546344100 2438.11/2451.14 o 98684885696400 2445.86/2458.90 o 98589235475400 2543.27/2556.76 o 98558740422975 2560.37/2573.94 o 98558740196250 2580.00/2593.67 o 97971497642100 2650.46/2664.59 o 97971402323850 2681.07/2696.00 o 97971399635950 2695.40/2710.34 o 97728293720875 2702.27/2717.34 o 97728292017400 2724.63/2739.94 o 97727125852275 2726.22/2741.55 o 97726458272000 2729.91/2745.28 o 97700675392875 2730.82/2746.12 o 97161134257560 2743.42/2759.04 o 97161080343875 2744.41/2760.06 o 97147963337050 2748.20/2763.86 o 96529274708700 2762.15/2777.87 o 96529216981375 2765.46/2781.19 o 96449071360700 2791.14/2807.14 o 96239338691700 2791.32/2807.39 o 95692143323275 2829.69/2846.14 o 95624965351750 2842.33/2858.88 o 95599616646350 2860.62/2877.31 o 95394543726125 2866.48/2883.39 o 95394543283400 2877.87/2894.85 o 95384181836025 2920.01/2937.32 o 95384181638600 2964.43/2982.36 o 95384174470325 2981.02/2999.09 o 95341235287075 2983.20/3001.23 o 95041849281050 2987.59/3005.60 o 94338273392500 3017.00/3035.18 o 93429323321950 3020.57/3038.76 o 93412609804375 3031.40/3049.64 o 93412476112175 3048.00/3066.63 o 93412474451425 3058.23/3077.14 o 93412474150300 3060.72/3079.61 o 93408040634000 3068.68/3087.67 o 93408020933125 3087.14/3106.11 o 93258699716000 3088.61/3107.64 o 93207826286100 3131.28/3150.66 o 93207823634375 3142.15/3161.56 o 93152302978850 3148.51/3167.96 o 93079708720150 3164.70/3184.41 o 93079598384300 3175.16/3194.96 o 93079597902500 3214.10/3234.52 o 92964172142100 3232.40/3253.01 o 92663052495575 3238.75/3259.44 o 91650476143300 3246.83/3267.65 o 91650475785600 3266.21/3287.29 o 91450638942600 3270.91/3292.00 o 91450321502100 3285.88/3307.25 o 91377386922875 3297.36/3318.74 o 91377380026200 3301.44/3322.82 o 91377377020425 3319.18/3340.85 o 91377373135000 3321.78/3343.45 o 91373650448900 3322.67/3344.39 o 91373649740800 3323.67/3345.34 o 91188286272000 3333.84/3355.55 o 91101104702525 3341.61/3363.31 o 90811843122325 3358.41/3380.46 o 90811841901400 3378.65/3401.02 o 90769994764550 3407.64/3430.41 o 90769992797200 3416.23/3439.07 o 90769990203875 3417.62/3440.46 o 90769989388100 3421.22/3444.04 o 90769662287875 3424.40/3447.26 o 90769662048800 3432.28/3455.14 o 90769659356925 3434.17/3457.08 o 90769659300350 3438.72/3461.72 o 90769581721425 3442.42/3465.44 o 90769553525175 3444.31/3467.37 o 90769277767675 3446.21/3469.28 o 90767415260275 3450.80/3473.80 o 90764985931600 3455.69/3478.79 o 90764948904175 3467.19/3490.44 o 90764948395000 3471.37/3494.63 o 90764947847500 3471.67/3494.97 o 90764242698525 3480.45/3503.77 o 90764242517850 3503.15/3529.04 o 90764164123150 3506.33/3532.28 o 90764163978975 3514.91/3540.89 o 90764160434825 3520.21/3546.14 o 90764157379775 3525.49/3551.45 o 90764157321375 3528.57/3554.51 o 90764157018425 3572.22/3598.51 o 90764155189775 3573.73/3600.05 o 90764147327675 3575.90/3602.25 o 90764147176200 3576.60/3602.91 o 90764147132400 3577.71/3604.07 o 90764146219900 3580.00/3606.40 o 90764145891400 3581.10/3607.54 o 90764144898600 3584.88/3611.31 o 90601893724375 3592.26/3618.78 o 90601892837425 3600.04/3626.50 c Program interrupted by user. 3600.04/3626.50 s SATISFIABLE 3600.04/3626.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 x14 x15 -x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 x44 -x45 x46 x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 x73 x74 x75 x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 -x165 x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 x343 -x344 x345 x346 x347 x348 x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 x497 x498 x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 x524 x525 x526 x527 x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 x556 x557 x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 x583 -x584 x585 x586 x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 x707 x708 -x709 x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 -x734 x735 x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 -x764 x765 x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 -x794 x795 x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 x822 x823 x824 x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 x875 x876 x877 x878 x879 x880 x881 x882 x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 x904 x905 x906 x907 x908 x909 x910 x911 x912 x913 -x914 -x915 x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 x1001 x1002 x1003 -x1004 x1005 -x1006 x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 x1035 -x1036 x1037 x1038 -x1039 x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 x1058 x1059 x1060 x1061 x1062 x1063 -x1064 x1065 -x1066 x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 x1082 x1083 x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 x1172 x1173 -x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 -x1183 -x1184 x1185 -x1186 x1187 x1188 -x1189 x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 -x1204 x1205 x1206 x1207 x1208 x1209 x1210 x1211 x1212 -x1213 -x1214 x1215 -x1216 x1217 x1218 -x1219 x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 x1232 x1233 -x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 x1242 -x1243 -x1244 x1245 -x1246 x1247 x1248 -x1249 x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 x1275 -x1276 x1277 -x1278 x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 -x1303 x1304 x1305 x1306 x1307 x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 x1335 x1336 x1337 x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 x1365 x1366 x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 x1522 x1523 x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 x1543 x1544 x1545 x1546 x1547 x1548 x1549 x1550 x1551 x1552 x1553 x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 x1661 x1662 x1663 x1664 x1665 x1666 x1667 x1668 x1669 x1670 x1671 x1672 -x1673 x1674 -x1675 x1676 -x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 x1691 x1692 x1693 x1694 x1695 x1696 x1697 x1698 x1699 x1700 x1701 x1702 x1703 x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 x1884 x1885 x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219
OK 90601892837425
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: 63837 MiB (62382 MiB free)
memory of node 1: 64465 MiB (61855 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486034-1751318336/watcher-4486034-1751318336 -o /tmp/evaluation-result-4486034-1751318336/solver-4486034-1751318336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751317975-45295 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4486034-1751318336 --seed=1898544025 HOME/instance-4486034-1751318336.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45497, runsolver pid=45490
[startup+0.100068 s]*
/proc/loadavg: 4.13 3.21 2.43 6/251 45503
/proc/meminfo: memFree=127198236/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=0.09 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 9 0 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+0.213347 s]*
/proc/loadavg: 4.13 3.21 2.43 6/251 45503
/proc/meminfo: memFree=127190172/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=0.19 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 19 0 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+0.312488 s]*
/proc/loadavg: 4.13 3.21 2.43 6/251 45503
/proc/meminfo: memFree=127190172/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=0.29 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 29 0 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+0.700235 s]
/proc/loadavg: 4.13 3.21 2.43 6/251 45503
/proc/meminfo: memFree=127190284/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=0.66 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 66 0 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+1.50026 s]
/proc/loadavg: 4.13 3.21 2.43 6/251 45503
/proc/meminfo: memFree=127174156/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=1.46 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 146 0 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+3.1126 s]
/proc/loadavg: 4.13 3.21 2.43 6/251 45503
/proc/meminfo: memFree=127137920/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=3.07 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 307 0 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+6.30025 s]
/proc/loadavg: 4.12 3.22 2.44 6/251 45503
/proc/meminfo: memFree=127081632/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=6.25 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 625 0 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 3.24 2.45 6/251 45503
/proc/meminfo: memFree=126988132/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=12.63 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 1263 0 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 3.28 2.47 6/252 45505
/proc/meminfo: memFree=126813744/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=25.39 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 2538 1 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+51.113 s]
/proc/loadavg: 4.43 3.42 2.54 6/255 45508
/proc/meminfo: memFree=126249892/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=50.93 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 5091 2 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 3.52 2.62 5/262 45527
/proc/meminfo: memFree=125024264/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=101.98 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 10194 4 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 3.63 2.72 6/259 45534
/proc/meminfo: memFree=123745484/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=161.83 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 16176 7 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.73 2.81 6/259 45536
/proc/meminfo: memFree=122242932/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=221.67 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 22158 9 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.80 2.89 6/259 45538
/proc/meminfo: memFree=120738088/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=281.49 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 28136 13 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.85 2.97 6/260 45541
/proc/meminfo: memFree=119197288/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=32200 memory=8704 CPUtime=341.33 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 1318 0 0 0 34117 16 0 0 20 0 1 0 47513038 32972800 2176 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 8050 2176 1024 1201 0 6528 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 32200 KiB
Current children cumulated memory: 8704 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.89 3.04 6/259 45635
/proc/meminfo: memFree=116695596/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=107016 memory=85708 CPUtime=401.1 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 17483 0 0 0 40029 81 0 0 20 0 1 0 47513038 109584384 21427 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 26754 21427 1248 1201 0 25232 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 107016 KiB
Current children cumulated memory: 85708 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.95 3.12 6/257 45637
/proc/meminfo: memFree=114118472/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=112596 memory=91212 CPUtime=460.82 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 18865 0 0 0 45902 180 0 0 20 0 1 0 47513038 115298304 22803 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 28149 22803 1248 1201 0 26627 0
Current children cumulated CPU time: 460.82 s
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.16 4.25 4.18 5/257 45921
/proc/meminfo: memFree=4065772/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=229692 memory=222064 CPUtime=3142.94 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 44896 0 0 0 311006 3288 0 0 20 0 1 0 47513038 235204608 55516 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 57423 55516 1280 1201 0 55901 0
Current children cumulated CPU time: 3142.94 s
Current children cumulated vsize: 229692 KiB
Current children cumulated memory: 222064 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.23 4.18 5/258 45924
/proc/meminfo: memFree=1675364/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=229884 memory=222832 CPUtime=3202.22 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 44946 0 0 0 316879 3343 0 0 20 0 1 0 47513038 235401216 55708 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 57471 55708 1280 1201 0 55949 0
Current children cumulated CPU time: 3202.22 s
Current children cumulated vsize: 229884 KiB
Current children cumulated memory: 222832 KiB
[startup+3282.3 s]
/proc/loadavg: 4.42 4.27 4.19 5/253 45952
/proc/meminfo: memFree=45645896/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=230404 memory=224112 CPUtime=3261.33 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 45095 0 0 0 322705 3428 0 0 20 0 1 0 47513038 235933696 56028 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 57601 56028 1280 1201 0 56079 0
Current children cumulated CPU time: 3261.33 s
Current children cumulated vsize: 230404 KiB
Current children cumulated memory: 224112 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.25 4.19 5/258 45972
/proc/meminfo: memFree=65723952/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=233380 memory=226288 CPUtime=3320.67 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 45673 0 0 0 328588 3479 0 0 20 0 1 0 47513038 238981120 56572 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 58345 56572 1280 1201 0 56823 0
Current children cumulated CPU time: 3320.67 s
Current children cumulated vsize: 233380 KiB
Current children cumulated memory: 226288 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.23 4.18 5/257 45974
/proc/meminfo: memFree=64769164/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=233592 memory=226544 CPUtime=3379.94 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 45926 0 0 0 334461 3533 0 0 20 0 1 0 47513038 239198208 56636 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 58398 56636 1280 1201 0 56876 0
Current children cumulated CPU time: 3379.94 s
Current children cumulated vsize: 233592 KiB
Current children cumulated memory: 226544 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/256 45976
/proc/meminfo: memFree=63712264/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=236672 memory=229360 CPUtime=3439.32 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 46634 0 0 0 340364 3568 0 0 20 0 1 0 47513038 242352128 57340 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 59168 57340 1280 1201 0 57646 0
Current children cumulated CPU time: 3439.32 s
Current children cumulated vsize: 236672 KiB
Current children cumulated memory: 229360 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.18 4.17 5/254 45978
/proc/meminfo: memFree=63082248/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=244864 memory=235248 CPUtime=3496.47 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 48118 0 0 0 346055 3592 0 0 20 0 1 0 47513038 250740736 58812 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 61216 58812 1280 1201 0 59694 0
Current children cumulated CPU time: 3496.47 s
Current children cumulated vsize: 244864 KiB
Current children cumulated memory: 235248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.21 4.18 5/255 45980
/proc/meminfo: memFree=61791936/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=245764 memory=236144 CPUtime=3556.07 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 48351 0 0 0 351984 3623 0 0 20 0 1 0 47513038 251662336 59036 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 61441 59036 1280 1201 0 59919 0
Current children cumulated CPU time: 3556.07 s
Current children cumulated vsize: 245764 KiB
Current children cumulated memory: 236144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3626.5 s]
/proc/loadavg: 4.18 4.19 4.18 5/255 45982
/proc/meminfo: memFree=61074920/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=245764 memory=236272 CPUtime=3600.04 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) R 45490 45497 45282 0 -1 4194304 48380 0 0 0 356349 3655 0 0 20 0 1 0 47513038 251662336 59068 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 61441 59068 1280 1201 0 59919 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 245764 KiB
Current children cumulated memory: 236272 KiB
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: 4.18 4.19 4.18 4/255 45982
/proc/meminfo: memFree=61137040/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=140604 memory=135372 CPUtime=3600.07 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) D 45490 45497 45282 0 -1 4194304 48380 0 0 0 356350 3657 0 0 20 0 1 0 47513038 143978496 33843 18446744073709551615 4198400 9115581 140722025074704 0 0 256 0 0 8404994 1 0 0 17 7 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 9
/proc/45497/statm: 35151 33843 1280 1201 0 33629 0
??? kill 45497 sig 9
??? end of watcher thread
[startup+3630.74 s]
# the end of solver process 45497 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3563.5 s, system=36.5855 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3627.2 s]
/proc/loadavg: 4.18 4.19 4.18 4/255 45982
/proc/meminfo: memFree=61161440/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=140604 memory=135372 CPUtime=3600.07 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) D 45490 45497 45282 0 -1 4194304 48380 0 0 0 356350 3657 0 0 20 0 1 0 47513038 143978496 33843 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 35151 33843 1280 1201 0 33629 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 140604 KiB
Current children cumulated memory: 135372 KiB
[startup+3628 s]*
/proc/loadavg: 4.18 4.19 4.18 4/255 45982
/proc/meminfo: memFree=61153164/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=140604 memory=135372 CPUtime=3600.07 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) D 45490 45497 45282 0 -1 4194304 48380 0 0 0 356350 3657 0 0 20 0 1 0 47513038 143978496 33843 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 35151 33843 1280 1201 0 33629 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 140604 KiB
Current children cumulated memory: 135372 KiB
[startup+3628.4 s]
/proc/loadavg: 4.18 4.19 4.18 4/255 45982
/proc/meminfo: memFree=61153164/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=140604 memory=135372 CPUtime=3600.07 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) D 45490 45497 45282 0 -1 4194304 48380 0 0 0 356350 3657 0 0 20 0 1 0 47513038 143978496 33843 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 35151 33843 1280 1201 0 33629 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 140604 KiB
Current children cumulated memory: 135372 KiB
[startup+3628.5 s]
/proc/loadavg: 4.18 4.19 4.18 4/255 45982
/proc/meminfo: memFree=61153164/131382112 swapFree=33010684/33010684
[pid=45497] ppid=45490 vsize=140604 memory=135372 CPUtime=3600.07 cores=5,7
/proc/45497/stat : 45497 (Exact_proof) D 45490 45497 45282 0 -1 4194304 48380 0 0 0 356350 3657 0 0 20 0 1 0 47513038 143978496 33843 18446744073709551615 4198400 9115581 140722025074704 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 10325008 10415428 25837568 140722025076936 140722025077223 140722025077223 140722025082825 0
/proc/45497/statm: 35151 33843 1280 1201 0 33629 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 140604 KiB
Current children cumulated memory: 135372 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3630.74
CPU time (s): 3600.09
CPU user time (s): 3563.5
CPU system time (s): 36.5855
CPU usage (%): 99.1558
Max. virtual memory (cumulated for all children) (KiB): 245764
Max. memory (cumulated for all children) (KiB): 236272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.5
system time used= 36.5855
maximum resident set size= 236272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48380
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71586744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4885
involuntary context switches= 10559
# summary of solver processes directly reported to runsolver:
# pid: 45497
# total CPU time (s): 3600.09
# total CPU user time (s): 3563.5
# total CPU system time (s): 36.5855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0592 second user time and 35.6293 second system time
The end
Begin job on nodeC005 at 2025-06-30 23:18:57 IDJOB=4486034 IDBENCH=146930 IDSOLVER=3325 FILE ID=nodeC005/4486034-1751318336 RUNJOBID= nodeC005-1751317975-45295 SLURM_JOB_ID= 9594342 Free space on /tmp= 430684 MiB SOLVER NAME= Exact_proof 2025-06-02 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb COMMAND LINE= HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486034-1751318336/watcher-4486034-1751318336 -o /tmp/evaluation-result-4486034-1751318336/solver-4486034-1751318336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751317975-45295 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4486034-1751318336 --seed=1898544025 HOME/instance-4486034-1751318336.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 66c9959016382e41dad7850ad64939ee RANDOM SEED=1898544025 nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 0xb00001f cpu MHz : 1197.227 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 3591.697 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1197.212 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1197.367 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1197.244 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1197.155 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1197.074 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 0xb00001f cpu MHz : 1197.241 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 127221620 kB MemAvailable: 129910704 kB Buffers: 3280 kB Cached: 3490668 kB SwapCached: 0 kB Active: 404804 kB Inactive: 3191296 kB Active(anon): 120168 kB Inactive(anon): 0 kB Active(file): 284636 kB Inactive(file): 3191296 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 51412 kB Writeback: 20 kB AnonPages: 104780 kB Mapped: 108808 kB Shmem: 17960 kB KReclaimable: 105556 kB Slab: 190348 kB SReclaimable: 105556 kB SUnreclaim: 84792 kB KernelStack: 3952 kB PageTables: 3036 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 416496 kB VmallocTotal: 34359738367 kB VmallocUsed: 149288 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430664 MiB End job on nodeC005 at 2025-07-01 00:19:27