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 | SAT (TO) | -8495 | 3600.09 | 3699.34 |
| Name | PB24/normalized-PB11/OPT-LIN/ heinz/normalized-opm2-z7-s2.opb |
| MD5SUM | d13cdfe545ae2728c47d5ad7db8600db |
| 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 | -10280 |
| Best CPU time to get the best result obtained on this benchmark | 345.088 |
| 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 | 2023 |
| Total number of constraints | 31798 |
| Number of constraints which are clauses | 31790 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2023 |
| Number of terms in the objective function | 1997 |
| Biggest coefficient in the objective function | 333 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 170608 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 735392 |
| Number of bits of the biggest number in a constraint | 20 |
| Biggest sum of numbers in a constraint | 5003866 |
| Number of bits of the biggest sum of numbers | 23 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.12 o -4493 0.09/0.13 o -4506 0.09/0.13 o -4536 0.09/0.14 o -4565 0.09/0.15 o -4615 0.09/0.15 o -4729 0.09/0.15 o -4733 0.09/0.16 o -4756 0.09/0.16 o -4839 0.09/0.17 o -4843 0.09/0.17 o -4875 0.19/0.22 o -4910 0.19/0.22 o -4976 0.19/0.22 o -4980 0.19/0.23 o -4983 0.19/0.23 o -4987 0.19/0.23 o -4992 0.19/0.23 o -5097 0.19/0.23 o -5100 0.19/0.25 o -5107 0.19/0.27 o -5126 0.19/0.29 o -5138 0.19/0.29 o -5144 0.19/0.29 o -5146 0.19/0.30 o -5153 0.30/0.34 o -5159 0.30/0.36 o -5163 0.30/0.36 o -5167 0.30/0.37 o -5243 0.40/0.41 o -5266 0.40/0.50 o -5301 0.49/0.51 o -5303 0.49/0.51 o -5304 0.49/0.52 o -5318 0.49/0.53 o -5360 0.49/0.54 o -5373 0.49/0.55 o -5374 0.49/0.55 o -5376 0.49/0.57 o -5379 0.49/0.57 o -5380 0.49/0.59 o -5420 0.49/0.60 o -5488 0.49/0.60 o -5489 0.59/0.62 o -5491 0.59/0.62 o -5492 0.59/0.63 o -5494 0.59/0.64 o -5513 0.59/0.64 o -5521 0.59/0.65 o -5531 0.59/0.65 o -5532 0.59/0.67 o -5573 0.59/0.67 o -5574 0.68/0.70 o -5621 0.78/0.84 o -5629 0.78/0.84 o -5671 0.78/0.85 o -5676 0.78/0.85 o -5682 0.78/0.85 o -5695 0.78/0.86 o -5744 0.78/0.86 o -5751 0.78/0.86 o -5762 0.78/0.87 o -5763 0.88/0.97 o -5773 0.88/0.97 o -5781 1.08/1.19 o -5817 1.18/1.26 o -5847 1.18/1.26 o -5871 1.18/1.26 o -5875 1.18/1.27 o -5876 1.28/1.37 o -5897 1.38/1.48 o -5901 1.58/1.65 o -5903 1.58/1.65 o -5932 1.58/1.65 o -5972 1.58/1.66 o -5989 1.58/1.66 o -5995 1.58/1.67 o -6042 1.58/1.67 o -6044 1.58/1.67 o -6045 1.58/1.68 o -6047 1.58/1.68 o -6049 1.58/1.69 o -6051 1.58/1.69 o -6057 1.68/1.70 o -6062 1.68/1.71 o -6068 1.68/1.72 o -6069 1.68/1.72 o -6076 1.68/1.73 o -6078 1.68/1.73 o -6080 1.68/1.73 o -6081 1.68/1.78 o -6117 1.78/1.82 o -6121 1.78/1.84 o -6162 3.67/3.76 o -6191 3.77/3.84 o -6200 3.77/3.84 o -6225 4.78/4.88 o -6229 4.98/5.06 o -6231 4.98/5.07 o -6232 5.08/5.12 o -6246 5.77/5.87 o -6267 6.46/6.53 o -6331 6.46/6.53 o -6402 6.46/6.53 o -6410 6.46/6.54 o -6419 6.46/6.55 o -6423 10.26/10.34 o -6427 12.56/12.69 o -6434 12.66/12.77 o -6472 12.66/12.79 o -6479 12.76/12.81 o -6483 12.86/12.91 o -6490 13.15/13.29 o -6493 13.35/13.43 o -6494 13.45/13.58 o -6512 13.75/13.81 o -6513 14.75/14.82 o -6531 14.95/15.06 o -6538 15.05/15.13 o -6551 15.05/15.14 o -6552 15.05/15.16 o -6561 23.33/23.44 o -6579 23.33/23.45 o -6619 23.33/23.45 o -6642 23.33/23.48 o -6643 23.33/23.49 o -6648 23.43/23.50 o -6649 23.43/23.55 o -6656 23.43/23.56 o -6661 23.63/23.73 o -6663 24.13/24.22 o -6664 24.13/24.24 o -6665 25.92/26.08 o -6667 26.92/27.09 o -6668 27.31/27.45 o -6677 31.02/31.15 o -6678 31.11/31.20 o -6681 31.11/31.21 o -6682 31.11/31.25 o -6687 34.50/35.26 o -6700 34.99/35.73 o -6701 36.98/37.72 o -6703 61.13/61.96 o -6708 61.13/61.97 o -6713 61.42/62.22 o -6715 61.92/62.76 o -6717 62.73/63.53 o -6719 64.95/68.52 o -6724 64.95/68.53 o -6736 73.33/76.91 o -6738 73.33/76.93 o -6743 73.33/76.99 o -6744 76.31/79.91 o -6746 78.11/81.73 o -6754 87.17/90.89 o -6755 95.06/98.87 o -6756 95.16/98.90 o -6762 95.16/98.91 o -6767 95.16/98.92 o -6770 95.16/98.92 o -6793 95.16/98.92 o -6794 95.16/98.92 o -6800 99.74/103.53 o -6805 106.33/110.17 o -6817 115.31/119.13 o -6823 115.31/119.14 o -6828 115.90/119.74 o -6839 116.40/120.28 o -6840 119.30/123.17 o -6842 123.81/127.95 o -6846 124.40/128.52 o -6848 124.80/128.92 o -6854 124.80/128.96 o -6870 124.80/129.00 o -6891 158.03/162.44 o -6898 158.93/163.34 o -6899 171.40/175.80 o -6900 171.40/175.88 o -6918 171.80/176.26 o -6919 173.39/177.83 o -6934 218.97/223.91 o -6935 222.07/227.06 o -6940 228.14/233.12 o -6941 228.14/233.14 o -6947 228.24/233.26 o -6951 254.18/259.24 o -6964 254.38/259.41 o -6966 254.38/259.42 o -6982 254.38/259.42 o -6987 255.37/260.42 o -6989 255.37/260.43 o -6991 255.37/260.46 o -6997 288.32/293.88 o -7007 288.32/293.89 o -7009 288.42/293.90 o -7041 289.01/294.56 o -7048 299.87/305.44 o -7053 299.87/305.46 o -7109 300.28/305.84 o -7111 300.48/306.08 o -7112 300.58/306.11 o -7124 302.27/307.89 o -7128 302.97/308.53 o -7134 303.87/309.45 o -7135 307.98/313.95 o -7136 321.26/327.26 o -7141 374.79/381.33 o -7151 374.89/381.42 o -7154 375.29/381.89 o -7156 377.29/383.82 o -7164 377.29/383.88 o -7170 379.98/386.53 o -7173 383.28/389.81 o -7177 398.37/405.15 o -7178 473.94/481.21 o -7179 475.33/482.66 o -7182 478.83/486.11 o -7188 552.24/560.47 o -7196 552.24/560.47 o -7200 552.24/560.48 o -7201 552.34/560.50 o -7211 553.74/561.99 o -7213 565.60/573.89 o -7215 586.68/595.16 o -7221 587.77/596.22 o -7223 588.37/596.88 o -7224 588.47/596.91 o -7225 596.95/605.47 o -7226 602.04/610.54 o -7232 629.56/638.33 o -7235 646.05/654.94 o -7281 646.15/655.01 o -7283 646.15/655.03 o -7289 648.94/657.87 o -7290 666.59/675.53 o -7292 672.83/682.33 o -7295 689.68/699.22 o -7299 700.15/709.77 o -7304 723.88/734.23 o -7305 723.88/734.24 o -7311 723.88/734.27 o -7336 723.88/734.28 o -7345 723.99/734.34 o -7348 782.86/794.12 o -7352 782.86/794.13 o -7370 813.61/825.87 o -7376 827.33/839.90 o -7380 904.18/917.30 o -7392 909.57/922.80 o -7395 921.42/935.32 o -7401 922.23/936.16 o -7408 929.41/943.31 o -7414 934.10/948.10 o -7415 1013.25/1027.70 o -7424 1014.94/1029.49 o -7425 1015.03/1029.50 o -7430 1028.40/1042.92 o -7433 1043.86/1058.77 o -7444 1044.06/1058.95 o -7455 1057.82/1072.72 o -7458 1065.11/1080.06 o -7472 1065.21/1080.11 o -7474 1065.30/1080.25 o -7477 1079.48/1094.48 o -7478 1094.04/1109.07 o -7484 1134.38/1150.24 o -7485 1161.29/1177.45 o -7486 1194.25/1210.60 o -7491 1208.30/1224.71 o -7493 1301.84/1319.04 o -7494 1303.03/1320.26 o -7497 1412.32/1430.25 o -7528 1412.32/1430.26 o -7533 1412.32/1430.26 o -7540 1412.32/1430.29 o -7557 1452.22/1470.41 o -7591 1452.22/1470.42 o -7595 1452.22/1470.42 o -7603 1452.52/1470.72 o -7606 1463.93/1482.57 o -7613 1473.21/1491.81 o -7637 1473.21/1491.83 o -7638 1473.30/1491.97 o -7650 1473.60/1492.23 o -7655 1473.70/1492.31 o -7671 1515.19/1534.23 o -7685 1515.19/1534.24 o -7689 1515.29/1534.32 o -7694 1531.24/1550.74 o -7695 1533.55/1553.05 o -7710 1533.55/1553.05 o -7718 1533.55/1553.06 o -7724 1533.55/1553.09 o -7729 1557.75/1577.61 o -7736 1557.75/1577.62 o -7738 1557.75/1577.63 o -7739 1557.75/1577.63 o -7742 1557.75/1577.64 o -7746 1557.75/1577.64 o -7747 1557.75/1577.65 o -7751 1557.75/1577.67 o -7756 1557.75/1577.68 o -7774 1557.75/1577.68 o -7784 1557.85/1577.70 o -7799 1558.45/1578.33 o -7803 1558.45/1578.35 o -7817 1586.07/1606.37 o -7824 1586.28/1606.52 o -7827 1586.48/1606.73 o -7831 1625.48/1645.85 o -7838 1625.48/1645.86 o -7839 1625.48/1645.87 o -7845 1669.14/1690.14 o -7852 1690.54/1711.85 o -7853 1690.54/1711.87 o -7854 1692.53/1713.89 o -7857 1698.91/1720.24 o -7863 1708.15/1730.14 o -7868 1708.15/1730.14 o -7874 1708.24/1730.30 o -7887 1714.43/1736.41 o -7891 1726.69/1748.70 o -7896 1851.17/1875.23 o -7898 1851.17/1875.23 o -7914 1851.17/1875.24 o -7917 1851.17/1875.25 o -7926 1851.17/1875.27 o -7934 1851.27/1875.36 o -7938 1851.47/1875.56 o -7948 1853.48/1877.55 o -7953 1857.16/1881.99 o -7958 1860.75/1885.55 o -7960 1860.75/1885.56 o -7963 1860.95/1885.70 o -7964 1860.95/1885.74 o -7968 1862.25/1887.10 o -7975 1863.14/1887.97 o -7976 1863.94/1888.76 o -7977 1864.14/1888.90 o -7978 1888.34/1913.94 o -7984 1888.34/1914.00 o -7989 1939.37/1966.85 o -8001 1939.47/1966.91 o -8002 1943.06/1970.57 o -8007 2045.40/2076.45 o -8010 2134.99/2167.81 o -8011 2134.99/2167.83 o -8015 2134.99/2167.86 o -8016 2135.29/2168.15 o -8028 2136.68/2169.52 o -8030 2153.73/2186.64 o -8036 2180.61/2213.96 o -8039 2180.81/2214.16 o -8041 2227.97/2262.66 o -8049 2230.67/2265.30 o -8056 2246.71/2281.96 o -8057 2266.26/2301.59 o -8060 2279.13/2315.33 o -8062 2294.89/2331.15 o -8063 2338.18/2375.51 o -8068 2356.24/2393.67 o -8092 2356.94/2394.32 o -8096 2357.94/2395.34 o -8102 2369.45/2409.48 o -8134 2369.45/2409.49 o -8139 2369.45/2409.49 o -8151 2369.55/2409.58 o -8164 2438.31/2479.12 o -8168 2458.17/2499.30 o -8174 2463.15/2504.35 o -8186 2463.15/2504.37 o -8187 2472.93/2514.18 o -8192 2473.03/2514.29 o -8193 2476.53/2517.77 o -8199 2476.62/2517.81 o -8203 2478.83/2520.07 o -8207 2478.83/2520.08 o -8210 2478.92/2520.16 o -8211 2480.31/2521.50 o -8217 2483.87/2525.88 o -8219 2483.98/2525.90 o -8224 2509.71/2551.78 o -8230 2531.68/2574.13 o -8231 2531.68/2574.16 o -8241 2535.07/2577.54 o -8251 2556.53/2603.63 o -8264 2570.11/2617.23 o -8269 2570.21/2617.30 o -8270 2588.18/2637.54 o -8271 2671.86/2733.32 o -8278 2671.86/2733.34 o -8281 2671.86/2733.37 o -8287 2671.86/2733.38 o -8293 2671.96/2733.40 o -8296 2698.19/2761.57 o -8297 2722.03/2786.91 o -8301 2722.14/2787.02 o -8302 2722.14/2787.10 o -8304 2722.73/2787.63 o -8309 2722.73/2787.69 o -8325 2722.83/2787.76 o -8327 2725.53/2790.45 o -8332 2726.32/2791.27 o -8334 2727.42/2792.34 o -8340 2727.42/2792.38 o -8348 2730.61/2795.55 o -8363 2746.08/2811.05 o -8368 2776.39/2842.97 o -8370 2804.82/2871.47 o -8371 2804.82/2871.49 o -8376 2906.65/2977.10 o -8384 2906.65/2977.11 o -8408 2980.86/3053.28 o -8410 2980.86/3053.28 o -8414 2980.96/3053.30 o -8415 2980.96/3053.32 o -8417 2992.80/3066.63 o -8433 3000.88/3074.74 o -8440 3047.22/3121.71 o -8442 3102.56/3177.41 o -8444 3156.13/3233.94 o -8448 3172.44/3252.24 o -8452 3172.53/3252.37 o -8455 3216.57/3298.62 o -8467 3330.68/3420.75 o -8476 3381.13/3475.24 o -8480 3428.55/3523.71 o -8495 3600.02/3698.60 c Program interrupted by user. 3600.02/3698.60 s SATISFIABLE 3600.02/3698.60 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
OK -8495
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 (6139 MiB free)
memory of node 1: 64473 MiB (48065 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440892-1721806951/watcher-4440892-1721806951 -o /tmp/evaluation-result-4440892-1721806951/solver-4440892-1721806951 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721801549-174652 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440892-1721806951 --seed=1556416438 HOME/instance-4440892-1721806951.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=179536, runsolver pid=179533
[startup+0.100929 s]*
/proc/loadavg: 4.14 4.16 4.12 5/262 179537
/proc/meminfo: memFree=55486856/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=32244 memory=12860 CPUtime=0.09 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 3338 0 0 0 9 0 0 0 20 0 1 0 17224151 33017856 3215 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 8061 3215 770 747 0 7124 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32244 KiB
Current children cumulated memory: 12860 KiB
[startup+0.205688 s]*
/proc/loadavg: 4.14 4.16 4.12 5/262 179537
/proc/meminfo: memFree=55479524/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=32244 memory=12860 CPUtime=0.19 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 3343 0 0 0 19 0 0 0 20 0 1 0 17224151 33017856 3215 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 8061 3215 770 747 0 7124 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32244 KiB
Current children cumulated memory: 12860 KiB
[startup+0.30522 s]*
/proc/loadavg: 4.14 4.16 4.12 5/262 179537
/proc/meminfo: memFree=55467380/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=32244 memory=14908 CPUtime=0.3 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 3344 0 0 0 29 1 0 0 20 0 1 0 17224151 33017856 3727 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 8061 3727 770 747 0 7124 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32244 KiB
Current children cumulated memory: 14908 KiB
[startup+0.700169 s]
/proc/loadavg: 4.14 4.16 4.12 5/262 179537
/proc/meminfo: memFree=55456824/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=33204 memory=18036 CPUtime=0.68 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 3576 0 0 0 67 1 0 0 20 0 1 0 17224151 34000896 4509 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 8301 4509 850 747 0 7364 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33204 KiB
Current children cumulated memory: 18036 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.16 4.12 5/262 179537
/proc/meminfo: memFree=55424760/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=35424 memory=26020 CPUtime=1.48 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 4055 0 0 0 147 1 0 0 20 0 1 0 17224151 36274176 6505 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 8856 6505 850 747 0 7919 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35424 KiB
Current children cumulated memory: 26020 KiB
[startup+3.10488 s]
/proc/loadavg: 4.13 4.16 4.12 5/262 179537
/proc/meminfo: memFree=55334124/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=51484 memory=35624 CPUtime=3.08 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 5103 0 0 0 305 3 0 0 20 0 1 0 17224151 52719616 8906 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 12871 8906 850 747 0 11934 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51484 KiB
Current children cumulated memory: 35624 KiB
[startup+6.30016 s]
/proc/loadavg: 4.13 4.16 4.12 5/262 179538
/proc/meminfo: memFree=55184704/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=54380 memory=48444 CPUtime=6.27 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 5812 0 0 0 623 4 0 0 20 0 1 0 17224151 55685120 12111 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 13595 12111 850 747 0 12658 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54380 KiB
Current children cumulated memory: 48444 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.15 4.12 5/262 179538
/proc/meminfo: memFree=54903068/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=85844 memory=72156 CPUtime=12.66 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 8090 0 0 0 1258 8 0 0 20 0 1 0 17224151 87904256 18039 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 21461 18039 850 747 0 20524 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 85844 KiB
Current children cumulated memory: 72156 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.16 4.12 5/262 179541
/proc/meminfo: memFree=54387080/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=135032 memory=103420 CPUtime=25.42 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 10777 0 0 0 2525 17 0 0 20 0 1 0 17224151 138272768 25855 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 33758 25855 850 747 0 32821 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 135032 KiB
Current children cumulated memory: 103420 KiB
[startup+51.1047 s]
/proc/loadavg: 4.17 4.16 4.13 5/262 179544
/proc/meminfo: memFree=53416580/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=218164 memory=142916 CPUtime=50.36 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 14655 0 0 0 5007 29 0 0 20 0 1 0 17224151 223399936 35729 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 60 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 54541 35729 850 747 0 53604 0
Current children cumulated CPU time: 50.36 s
Current children cumulated vsize: 218164 KiB
Current children cumulated memory: 142916 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/262 179553
/proc/meminfo: memFree=51062464/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=223896 memory=148348 CPUtime=98.54 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 16129 0 0 0 9804 50 0 0 20 0 1 0 17224151 229269504 37087 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 348 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 55974 37087 850 747 0 55037 0
Current children cumulated CPU time: 98.54 s
Current children cumulated vsize: 223896 KiB
Current children cumulated memory: 148348 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/262 179564
/proc/meminfo: memFree=49496740/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=226260 memory=154488 CPUtime=157.94 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 16858 0 0 0 15717 77 0 0 20 0 1 0 17224151 231690240 38622 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 395 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 56565 38622 850 747 0 55628 0
Current children cumulated CPU time: 157.94 s
Current children cumulated vsize: 226260 KiB
Current children cumulated memory: 154488 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/260 179577
/proc/meminfo: memFree=47339336/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=227988 memory=156280 CPUtime=217.36 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 17388 0 0 0 21633 103 0 0 20 0 1 0 17224151 233459712 39070 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 435 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 56997 39070 850 747 0 56060 0
Current children cumulated CPU time: 217.36 s
Current children cumulated vsize: 227988 KiB
Current children cumulated memory: 156280 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/260 179587
/proc/meminfo: memFree=46561292/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=230452 memory=159044 CPUtime=276.84 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 18057 0 0 0 27549 135 0 0 20 0 1 0 17224151 235982848 39761 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 471 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 57613 39761 850 747 0 56676 0
Current children cumulated CPU time: 276.84 s
Current children cumulated vsize: 230452 KiB
Current children cumulated memory: 159044 KiB
[startup+342.3 s]
/proc/loadavg: 4.43 4.24 4.15 5/260 179599
/proc/meminfo: memFree=45186108/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=239936 memory=168076 CPUtime=336.22 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 20371 0 0 0 33456 166 0 0 20 0 1 0 17224151 245694464 42019 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 518 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 59984 42019 850 747 0 59047 0
Current children cumulated CPU time: 336.22 s
Current children cumulated vsize: 239936 KiB
Current children cumulated memory: 168076 KiB
[startup+402.3 s]
/proc/loadavg: 4.44 4.26 4.16 5/260 179610
/proc/meminfo: memFree=44535592/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=250392 memory=194696 CPUtime=395.74 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 22994 0 0 0 39382 192 0 0 20 0 1 0 17224151 256401408 48674 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 549 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 62598 48674 850 747 0 61661 0
Current children cumulated CPU time: 395.74 s
Current children cumulated vsize: 250392 KiB
Current children cumulated memory: 194696 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 4.24 4.16 5/261 179621
/proc/meminfo: memFree=43962836/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=251224 memory=195916 CPUtime=455.24 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 23344 0 0 0 45305 219 0 0 20 0 1 0 17224151 257253376 48979 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 584 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 62806 48979 850 747 0 61869 0
################
# More data... #
################
Current children cumulated memory: 242224 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/261 181414
/proc/meminfo: memFree=72341028/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=285380 memory=242284 CPUtime=3028.2 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 33480 0 0 0 301299 1521 0 0 20 0 1 0 17224151 292229120 60571 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6622 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 71345 60571 850 747 0 70408 0
Current children cumulated CPU time: 3028.2 s
Current children cumulated vsize: 285380 KiB
Current children cumulated memory: 242284 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/262 181425
/proc/meminfo: memFree=71316580/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=285604 memory=242332 CPUtime=3087.51 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 33512 0 0 0 307189 1562 0 0 20 0 1 0 17224151 292458496 60583 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6675 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 71401 60583 850 747 0 70464 0
Current children cumulated CPU time: 3087.51 s
Current children cumulated vsize: 285604 KiB
Current children cumulated memory: 242332 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.17 4.18 5/259 181436
/proc/meminfo: memFree=70483660/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=286308 memory=243120 CPUtime=3144.57 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 33768 0 0 0 312869 1588 0 0 20 0 1 0 17224151 293179392 60780 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6954 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 71577 60780 850 747 0 70640 0
Current children cumulated CPU time: 3144.57 s
Current children cumulated vsize: 286308 KiB
Current children cumulated memory: 243120 KiB
[startup+3282.3 s]
/proc/loadavg: 4.32 4.20 4.19 5/258 181446
/proc/meminfo: memFree=69621160/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=286308 memory=243120 CPUtime=3200.31 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 33810 0 0 0 318416 1615 0 0 20 0 1 0 17224151 293179392 60780 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7365 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 71577 60780 850 747 0 70640 0
Current children cumulated CPU time: 3200.31 s
Current children cumulated vsize: 286308 KiB
Current children cumulated memory: 243120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.19 4.18 4/259 181458
/proc/meminfo: memFree=68771136/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=287044 memory=243756 CPUtime=3253.64 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 34011 0 0 0 323721 1643 0 0 20 0 1 0 17224151 293933056 60939 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8018 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 71761 60939 850 747 0 70824 0
Current children cumulated CPU time: 3253.64 s
Current children cumulated vsize: 287044 KiB
Current children cumulated memory: 243756 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/259 181470
/proc/meminfo: memFree=67950008/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=287492 memory=244112 CPUtime=3312.32 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 34200 0 0 0 329565 1667 0 0 20 0 1 0 17224151 294391808 61028 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8136 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 71873 61028 850 747 0 70936 0
Current children cumulated CPU time: 3312.32 s
Current children cumulated vsize: 287492 KiB
Current children cumulated memory: 244112 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.18 4/259 181481
/proc/meminfo: memFree=67102788/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=287492 memory=244376 CPUtime=3370.54 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) D 179533 179536 174639 0 -1 4194304 34232 0 0 0 335361 1693 0 0 20 0 1 0 17224151 294391808 61094 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8220 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 71873 61094 850 747 0 70936 0
Current children cumulated CPU time: 3370.54 s
Current children cumulated vsize: 287492 KiB
Current children cumulated memory: 244376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/260 181496
/proc/meminfo: memFree=66143036/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=289508 memory=245820 CPUtime=3427.85 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 34743 0 0 0 341060 1725 0 0 20 0 1 0 17224151 296456192 61455 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8552 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 72377 61455 850 747 0 71440 0
Current children cumulated CPU time: 3427.85 s
Current children cumulated vsize: 289508 KiB
Current children cumulated memory: 245820 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/260 181551
/proc/meminfo: memFree=74312112/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=289508 memory=246080 CPUtime=3486.72 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 34760 0 0 0 346924 1748 0 0 20 0 1 0 17224151 296456192 61520 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8651 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 72377 61520 850 747 0 71440 0
Current children cumulated CPU time: 3486.72 s
Current children cumulated vsize: 289508 KiB
Current children cumulated memory: 246080 KiB
[startup+3642.3 s]
/proc/loadavg: 4.23 4.19 4.18 5/260 181563
/proc/meminfo: memFree=72861212/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=289956 memory=246520 CPUtime=3544.89 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 34987 0 0 0 352713 1776 0 0 20 0 1 0 17224151 296914944 61630 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8817 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 72489 61630 850 747 0 71552 0
Current children cumulated CPU time: 3544.89 s
Current children cumulated vsize: 289956 KiB
Current children cumulated memory: 246520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3698.6 s]
/proc/loadavg: 4.16 4.17 4.18 5/259 181574
/proc/meminfo: memFree=71833180/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=289956 memory=246520 CPUtime=3600.02 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 34996 0 0 0 358200 1802 0 0 20 0 1 0 17224151 296914944 61630 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8919 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 72489 61630 850 747 0 71552 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 289956 KiB
Current children cumulated memory: 246520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3699.34 s]
# the end of solver process 179536 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3582.01 s, system=18.0772 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3698.8 s]
/proc/loadavg: 4.16 4.17 4.18 5/259 181574
/proc/meminfo: memFree=71833180/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=127972 memory=122900 CPUtime=3600.05 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) R 179533 179536 174639 0 -1 4194304 34997 0 0 0 358200 1805 0 0 20 0 1 0 17224151 131043328 30725 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8952 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 31993 30725 850 747 0 31056 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 127972 KiB
Current children cumulated memory: 122900 KiB
[startup+3699.2 s]
/proc/loadavg: 4.15 4.17 4.18 5/260 181575
/proc/meminfo: memFree=71943796/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=127972 memory=122900 CPUtime=3600.06 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) D 179533 179536 174639 0 -1 4194304 34997 0 0 0 358200 1806 0 0 20 0 1 0 17224151 131043328 30725 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 9028 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 31993 30725 850 747 0 31056 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 127972 KiB
Current children cumulated memory: 122900 KiB
[startup+3699.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/260 181575
/proc/meminfo: memFree=71943796/131524600 swapFree=131071996/131071996
[pid=179536] ppid=179533 vsize=127972 memory=122900 CPUtime=3600.07 cores=5,7
/proc/179536/stat : 179536 (Exact_veripb2_n) D 179533 179536 174639 0 -1 4194304 34997 0 0 0 358200 1807 0 0 20 0 1 0 17224151 131043328 30725 134679101440 4194304 7250417 140727477865600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 9047 0 0 7950792 8015128 25112576 140727477871414 140727477871703 140727477871703 140727477878718 0
/proc/179536/statm: 31993 30725 850 747 0 31056 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 127972 KiB
Current children cumulated memory: 122900 KiB
Child status: 10
Real time (s): 3699.34
CPU time (s): 3600.09
CPU user time (s): 3582.01
CPU system time (s): 18.0772
CPU usage (%): 97.3169
Max. virtual memory (cumulated for all children) (KiB): 309612
Max. memory (cumulated for all children) (KiB): 246520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.01
system time used= 18.0772
maximum resident set size= 246520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 54159648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4620
involuntary context switches= 4808
# summary of solver processes directly reported to runsolver:
# pid: 179536
# total CPU time (s): 3600.09
# total CPU user time (s): 3582.01
# total CPU system time (s): 18.0772
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24808 second user time and 15.404 second system time
The end
Begin job on nodeC025 at 2024-07-24 09:42:31 IDJOB=4440892 IDBENCH=155343 IDSOLVER=3080 FILE ID=nodeC025/4440892-1721806951 RUNJOBID= nodeC025-1721801549-174652 SLURM_JOB_ID= 7770691 Free space on /tmp= 890016 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z7-s2.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 102400 -w /tmp/evaluation-result-4440892-1721806951/watcher-4440892-1721806951 -o /tmp/evaluation-result-4440892-1721806951/solver-4440892-1721806951 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721801549-174652 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440892-1721806951 --seed=1556416438 HOME/instance-4440892-1721806951.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db RANDOM SEED=1556416438 nodeC025.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 : 3669.024 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.51 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 : 3679.134 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.49 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 : 3599.895 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.51 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 : 3600.087 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.49 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 : 3669.042 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.51 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 : 3662.006 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.49 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.056 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.51 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 : 3661.814 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.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 55506956 kB MemAvailable: 127833720 kB Buffers: 243652 kB Cached: 72753308 kB SwapCached: 0 kB Active: 2497452 kB Inactive: 72553396 kB Active(anon): 1528 kB Inactive(anon): 2106260 kB Active(file): 2495924 kB Inactive(file): 70447136 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 729260 kB Writeback: 0 kB AnonPages: 2053640 kB Mapped: 127304 kB Shmem: 54104 kB KReclaimable: 445112 kB Slab: 600228 kB SReclaimable: 445112 kB SUnreclaim: 155116 kB KernelStack: 4224 kB PageTables: 13552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2896332 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 22144 kB HardwareCorrupted: 0 kB AnonHugePages: 1392640 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: 377556 kB DirectMap2M: 39241728 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 889704 MiB End job on nodeC025 at 2024-07-24 10:44:11