Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabP+Exact 2024-07-11 | SAT | -3559 | 3151.87 | 3161.75 |
| Name | PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_140_005.opb |
| MD5SUM | b2b4e88ed7bd22b4979581e55620e687 |
| 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 | -3559 |
| Best CPU time to get the best result obtained on this benchmark | 0.028756 |
| 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 | 825 |
| Total number of constraints | 83 |
| Number of constraints which are clauses | 7 |
| Number of constraints which are cardinality constraints (but not clauses) | 76 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 223 |
| Number of terms in the objective function | 825 |
| Biggest coefficient in the objective function | 240 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 95931 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 240 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 95931 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3151.80/3161.73 o -113 3151.80/3161.73 o -113 3151.80/3161.73 o -140 3151.80/3161.73 o -235 3151.80/3161.73 o -324 3151.80/3161.73 o -418 3151.80/3161.73 o -426 3151.80/3161.73 o -577 3151.80/3161.73 o -804 3151.80/3161.73 o -934 3151.80/3161.73 o -964 3151.80/3161.73 o -1048 3151.80/3161.73 o -1048 3151.80/3161.73 o -1074 3151.80/3161.73 o -1095 3151.80/3161.73 o -1095 3151.80/3161.73 o -1095 3151.80/3161.73 o -1107 3151.80/3161.73 o -1107 3151.80/3161.73 o -1158 3151.80/3161.73 o -1268 3151.80/3161.73 o -1268 3151.80/3161.73 o -1268 3151.80/3161.73 o -1269 3151.80/3161.73 o -1310 3151.80/3161.73 o -1323 3151.80/3161.73 o -1323 3151.80/3161.73 o -1323 3151.80/3161.73 o -1323 3151.80/3161.73 o -1386 3151.80/3161.73 o -1386 3151.80/3161.73 o -1386 3151.80/3161.73 o -1386 3151.80/3161.73 o -1397 3151.80/3161.73 o -1397 3151.80/3161.73 o -1397 3151.80/3161.73 o -1397 3151.80/3161.73 o -1397 3151.80/3161.73 o -1397 3151.80/3161.73 o -1397 3151.80/3161.73 o -1397 3151.80/3161.73 o -1397 3151.80/3161.73 o -1399 3151.80/3161.73 o -1399 3151.80/3161.73 o -1514 3151.80/3161.73 o -1514 3151.80/3161.73 o -1514 3151.80/3161.73 o -1514 3151.80/3161.73 o -1514 3151.80/3161.73 o -1555 3151.80/3161.73 o -1555 3151.80/3161.73 o -1555 3151.80/3161.73 o -1555 3151.80/3161.73 o -1608 3151.80/3161.73 o -1608 3151.80/3161.73 o -1608 3151.80/3161.73 o -1608 3151.80/3161.73 o -1608 3151.80/3161.73 o -1613 3151.80/3161.73 o -1613 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1729 3151.80/3161.73 o -1771 3151.80/3161.73 o -1771 3151.80/3161.73 o -1771 3151.80/3161.73 o -1771 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1779 3151.80/3161.73 o -1780 3151.80/3161.73 o -1780 3151.80/3161.73 o -1786 3151.80/3161.73 o -1786 3151.80/3161.73 o -1786 3151.80/3161.73 o -1820 3151.80/3161.73 o -1820 3151.80/3161.73 o -1820 3151.80/3161.73 o -1820 3151.80/3161.73 o -1850 3151.80/3161.73 o -1850 3151.80/3161.73 o -1850 3151.80/3161.73 o -1858 3151.80/3161.73 o -1858 3151.80/3161.73 o -1858 3151.80/3161.73 o -1905 3151.80/3161.73 o -1905 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1928 3151.80/3161.73 o -1970 3151.80/3161.73 o -1970 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -1981 3151.80/3161.73 o -2022 3151.80/3161.73 o -2022 3151.80/3161.73 o -2023 3151.80/3161.73 o -2023 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2030 3151.80/3161.73 o -2093 3151.80/3161.73 o -2093 3151.80/3161.73 o -2095 3151.80/3161.73 o -2103 3151.80/3161.73 o -2103 3151.80/3161.73 o -2103 3151.80/3161.73 o -2118 3151.80/3161.73 o -2118 3151.80/3161.73 o -2131 3151.80/3161.73 o -2135 3151.80/3161.73 o -2135 3151.80/3161.73 o -2172 3151.80/3161.73 o -2211 3151.80/3161.73 o -2211 3151.80/3161.73 o -2215 3151.80/3161.73 o -2215 3151.80/3161.73 o -2216 3151.80/3161.73 o -2216 3151.80/3161.73 o -2216 3151.80/3161.73 o -2216 3151.80/3161.73 o -2239 3151.80/3161.73 o -2329 3151.80/3161.73 o -2329 3151.80/3161.73 o -2329 3151.80/3161.73 o -2329 3151.80/3161.73 o -2329 3151.80/3161.73 o -2372 3151.80/3161.73 o -2372 3151.80/3161.73 o -2381 3151.80/3161.73 o -2403 3151.80/3161.73 o -2403 3151.80/3161.73 o -2403 3151.80/3161.73 o -2442 3151.80/3161.73 o -2483 3151.80/3161.73 o -2483 3151.80/3161.73 o -2490 3151.80/3161.73 o -2490 3151.80/3161.73 o -2490 3151.80/3161.73 o -2490 3151.80/3161.73 o -2490 3151.80/3161.73 o -2490 3151.80/3161.73 o -2490 3151.80/3161.73 o -2490 3151.80/3161.73 o -2490 3151.80/3161.73 o -2490 3151.80/3161.73 o -2490 3151.80/3161.73 o -2521 3151.80/3161.73 o -2547 3151.80/3161.73 o -2547 3151.80/3161.73 o -2600 3151.80/3161.73 o -2628 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2647 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2649 3151.80/3161.73 o -2666 3151.80/3161.73 o -2666 3151.80/3161.73 o -2676 3151.80/3161.73 o -2676 3151.80/3161.73 o -2677 3151.80/3161.73 o -2842 3151.80/3161.73 o -2858 3151.80/3161.73 o -2858 3151.80/3161.73 o -2858 3151.80/3161.73 o -2858 3151.80/3161.73 o -2858 3151.80/3161.73 o -2858 3151.80/3161.73 o -2858 3151.80/3161.73 o -2909 3151.80/3161.73 o -3025 3151.80/3161.73 o -3029 3151.80/3161.73 o -3037 3151.80/3161.73 o -3043 3151.80/3161.73 o -3043 3151.80/3161.73 o -3044 3151.80/3161.73 o -3057 3151.80/3161.73 o -3096 3151.80/3161.73 o -3096 3151.80/3161.73 o -3138 3151.80/3161.73 o -3164 3151.80/3161.73 o -3179 3151.80/3161.73 o -3187 3151.80/3161.73 o -3187 3151.80/3161.73 o -3316 3151.80/3161.73 o -3334 3151.80/3161.73 o -3344 3151.80/3161.73 o -3424 3151.80/3161.73 o -3459 3151.80/3161.73 o -3466 3151.80/3161.73 o -3476 3151.80/3161.73 o -3477 3151.80/3161.73 o -3478 3151.80/3161.73 o -3479 3151.80/3161.73 o -3480 3151.80/3161.73 o -3498 3151.80/3161.73 o -3501 3151.80/3161.73 o -3502 3151.80/3161.73 o -3552 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 o -3559 3151.80/3161.73 s SATISFIABLE 3151.80/3161.73 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
OK -3559
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: 64096 MiB (62778 MiB free)
memory of node 1: 64473 MiB (58178 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462300-1722998517/watcher-4462300-1722998517 -o /tmp/evaluation-result-4462300-1722998517/solver-4462300-1722998517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722998517-361990 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4462300-1722998517.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=362034, runsolver pid=362031
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 2.99 3.07 3.08 5/242 362042
/proc/meminfo: memFree=123847352/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 66221784 10170368 664 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 664 586 264 0 134 0
[pid=362037] ppid=362034 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/362037/stat : 362037 (timeout) S 362034 362037 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66221785 8867840 253 134679101440 94855605788672 94855605823688 140730145242480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94855607921104 94855607923236 94855628595200 140730145244195 140730145244317 140730145244317 140730145251303 0
/proc/362037/statm: 2165 253 229 9 0 87 0
[pid=362038] ppid=362037 vsize=20476 memory=8136 CPUtime=0.1 cores=0,2
/proc/362038/stat : 362038 (LS-MabP) R 362037 362037 359895 0 -1 4194304 523 0 0 0 10 0 0 0 20 0 1 0 66221785 20967424 2034 134679101440 4194304 15467897 140732380882288 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 35631104 140732380886071 140732380886180 140732380886180 140732380893166 0
/proc/362038/statm: 5119 2034 1153 2753 0 1772 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 11804 KiB
[startup+0.214252 s]*
/proc/loadavg: 2.99 3.07 3.08 6/246 362052
/proc/meminfo: memFree=123832968/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 66221784 10170368 664 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 664 586 264 0 134 0
[pid=362037] ppid=362034 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/362037/stat : 362037 (timeout) S 362034 362037 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66221785 8867840 253 134679101440 94855605788672 94855605823688 140730145242480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94855607921104 94855607923236 94855628595200 140730145244195 140730145244317 140730145244317 140730145251303 0
/proc/362037/statm: 2165 253 229 9 0 87 0
[pid=362038] ppid=362037 vsize=20476 memory=8136 CPUtime=0.2 cores=0,2
/proc/362038/stat : 362038 (LS-MabP) R 362037 362037 359895 0 -1 4194304 523 0 0 0 20 0 0 0 20 0 1 0 66221785 20967424 2034 134679101440 4194304 15467897 140732380882288 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 35631104 140732380886071 140732380886180 140732380886180 140732380893166 0
/proc/362038/statm: 5119 2034 1153 2753 0 1772 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 11804 KiB
[startup+0.313932 s]*
/proc/loadavg: 2.99 3.07 3.08 5/245 362054
/proc/meminfo: memFree=123818520/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 66221784 10170368 664 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 664 586 264 0 134 0
[pid=362037] ppid=362034 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/362037/stat : 362037 (timeout) S 362034 362037 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66221785 8867840 253 134679101440 94855605788672 94855605823688 140730145242480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94855607921104 94855607923236 94855628595200 140730145244195 140730145244317 140730145244317 140730145251303 0
/proc/362037/statm: 2165 253 229 9 0 87 0
[pid=362038] ppid=362037 vsize=20476 memory=8136 CPUtime=0.31 cores=0,2
/proc/362038/stat : 362038 (LS-MabP) R 362037 362037 359895 0 -1 4194304 523 0 0 0 29 2 0 0 20 0 1 0 66221785 20967424 2034 134679101440 4194304 15467897 140732380882288 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 35631104 140732380886071 140732380886180 140732380886180 140732380893166 0
/proc/362038/statm: 5119 2034 1153 2753 0 1772 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 11804 KiB
[startup+0.700413 s]
/proc/loadavg: 2.99 3.07 3.08 6/253 362067
/proc/meminfo: memFree=123800248/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 66221784 10170368 664 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 664 586 264 0 134 0
[pid=362037] ppid=362034 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/362037/stat : 362037 (timeout) S 362034 362037 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66221785 8867840 253 134679101440 94855605788672 94855605823688 140730145242480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94855607921104 94855607923236 94855628595200 140730145244195 140730145244317 140730145244317 140730145251303 0
/proc/362037/statm: 2165 253 229 9 0 87 0
[pid=362038] ppid=362037 vsize=20476 memory=8136 CPUtime=0.68 cores=0,2
/proc/362038/stat : 362038 (LS-MabP) R 362037 362037 359895 0 -1 4194304 523 0 0 0 62 6 0 0 20 0 1 0 66221785 20967424 2034 134679101440 4194304 15467897 140732380882288 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 35631104 140732380886071 140732380886180 140732380886180 140732380893166 0
/proc/362038/statm: 5119 2034 1153 2753 0 1772 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 11804 KiB
[startup+1.50052 s]
/proc/loadavg: 2.99 3.07 3.08 5/253 362067
/proc/meminfo: memFree=123787920/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 66221784 10170368 664 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 664 586 264 0 134 0
[pid=362037] ppid=362034 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/362037/stat : 362037 (timeout) S 362034 362037 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66221785 8867840 253 134679101440 94855605788672 94855605823688 140730145242480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94855607921104 94855607923236 94855628595200 140730145244195 140730145244317 140730145244317 140730145251303 0
/proc/362037/statm: 2165 253 229 9 0 87 0
[pid=362038] ppid=362037 vsize=20476 memory=8136 CPUtime=1.48 cores=0,2
/proc/362038/stat : 362038 (LS-MabP) R 362037 362037 359895 0 -1 4194304 523 0 0 0 134 14 0 0 20 0 1 0 66221785 20967424 2034 134679101440 4194304 15467897 140732380882288 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 35631104 140732380886071 140732380886180 140732380886180 140732380893166 0
/proc/362038/statm: 5119 2034 1153 2753 0 1772 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 11804 KiB
[startup+3.11358 s]
/proc/loadavg: 2.99 3.07 3.08 5/253 362067
/proc/meminfo: memFree=123668564/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 66221784 10170368 664 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 664 586 264 0 134 0
[pid=362037] ppid=362034 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/362037/stat : 362037 (timeout) S 362034 362037 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66221785 8867840 253 134679101440 94855605788672 94855605823688 140730145242480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94855607921104 94855607923236 94855628595200 140730145244195 140730145244317 140730145244317 140730145251303 0
/proc/362037/statm: 2165 253 229 9 0 87 0
[pid=362038] ppid=362037 vsize=20476 memory=8136 CPUtime=3.08 cores=0,2
/proc/362038/stat : 362038 (LS-MabP) R 362037 362037 359895 0 -1 4194304 524 0 0 0 278 30 0 0 20 0 1 0 66221785 20967424 2034 134679101440 4194304 15467897 140732380882288 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 35631104 140732380886071 140732380886180 140732380886180 140732380893166 0
/proc/362038/statm: 5119 2034 1153 2753 0 1772 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 11804 KiB
[startup+6.30039 s]
/proc/loadavg: 3.07 3.08 3.09 5/253 362067
/proc/meminfo: memFree=123610464/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 66221784 10170368 664 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 664 586 264 0 134 0
[pid=362037] ppid=362034 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/362037/stat : 362037 (timeout) S 362034 362037 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66221785 8867840 253 134679101440 94855605788672 94855605823688 140730145242480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94855607921104 94855607923236 94855628595200 140730145244195 140730145244317 140730145244317 140730145251303 0
/proc/362037/statm: 2165 253 229 9 0 87 0
[pid=362038] ppid=362037 vsize=20476 memory=8136 CPUtime=6.26 cores=0,2
/proc/362038/stat : 362038 (LS-MabP) R 362037 362037 359895 0 -1 4194304 524 0 0 0 561 65 0 0 20 0 1 0 66221785 20967424 2034 134679101440 4194304 15467897 140732380882288 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 35631104 140732380886071 140732380886180 140732380886180 140732380893166 0
/proc/362038/statm: 5119 2034 1153 2753 0 1772 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 11804 KiB
[startup+12.7005 s]
/proc/loadavg: 3.22 3.12 3.10 5/253 362068
/proc/meminfo: memFree=122954964/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 66221784 10170368 664 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 664 586 264 0 134 0
[pid=362037] ppid=362034 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/362037/stat : 362037 (timeout) S 362034 362037 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66221785 8867840 253 134679101440 94855605788672 94855605823688 140730145242480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94855607921104 94855607923236 94855628595200 140730145244195 140730145244317 140730145244317 140730145251303 0
/proc/362037/statm: 2165 253 229 9 0 87 0
[pid=362038] ppid=362037 vsize=20476 memory=8136 CPUtime=12.64 cores=0,2
/proc/362038/stat : 362038 (LS-MabP) R 362037 362037 359895 0 -1 4194304 524 0 0 0 1131 133 0 0 20 0 1 0 66221785 20967424 2034 134679101440 4194304 15467897 140732380882288 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 35631104 140732380886071 140732380886180 140732380886180 140732380893166 0
/proc/362038/statm: 5119 2034 1153 2753 0 1772 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 11804 KiB
[startup+25.5005 s]
/proc/loadavg: 3.39 3.16 3.11 5/253 362070
/proc/meminfo: memFree=121773604/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 66221784 10170368 664 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 664 586 264 0 134 0
[pid=362037] ppid=362034 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/362037/stat : 362037 (timeout) S 362034 362037 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66221785 8867840 253 134679101440 94855605788672 94855605823688 140730145242480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94855607921104 94855607923236 94855628595200 140730145244195 140730145244317 140730145244317 140730145251303 0
/proc/362037/statm: 2165 253 229 9 0 87 0
[pid=362038] ppid=362037 vsize=20476 memory=8136 CPUtime=25.41 cores=0,2
/proc/362038/stat : 362038 (LS-MabP) R 362037 362037 359895 0 -1 4194304 524 0 0 0 2262 279 0 0 20 0 1 0 66221785 20967424 2034 134679101440 4194304 15467897 140732380882288 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 35631104 140732380886071 140732380886180 140732380886180 140732380893166 0
/proc/362038/statm: 5119 2034 1153 2753 0 1772 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 11804 KiB
[startup+51.1133 s]
/proc/loadavg: 3.60 3.23 3.14 5/253 362074
/proc/meminfo: memFree=121772692/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 66221784 10170368 664 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 664 586 264 0 134 0
[pid=362037] ppid=362034 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/362037/stat : 362037 (timeout) S 362034 362037 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66221785 8867840 253 134679101440 94855605788672 94855605823688 140730145242480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94855607921104 94855607923236 94855628595200 140730145244195 140730145244317 140730145244317 140730145251303 0
/proc/362037/statm: 2165 253 229 9 0 87 0
[pid=362038] ppid=362037 vsize=20476 memory=8136 CPUtime=50.94 cores=0,2
/proc/362038/stat : 362038 (LS-MabP) R 362037 362037 359895 0 -1 4194304 524 0 0 0 4525 569 0 0 20 0 1 0 66221785 20967424 2034 134679101440 4194304 15467897 140732380882288 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 35631104 140732380886071 140732380886180 140732380886180 140732380893166 0
/proc/362038/statm: 5119 2034 1153 2753 0 1772 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 11804 KiB
[startup+102.3 s]
/proc/loadavg: 3.95 3.38 3.20 5/253 362083
/proc/meminfo: memFree=121771592/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 234 101 0 0 0 0 0 0 20 0 1 0 66221784 10170368 664 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
################
# More data... #
################
/proc/362966/statm: 35346 30676 820 745 0 34411 0
Current children cumulated CPU time: 3092.6 s
Current children cumulated vsize: 159976 KiB
Current children cumulated memory: 126384 KiB
[startup+3161.75 s]
# the end of solver process 362034 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2948.1 s, system=203.779 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3123.2 s]
/proc/loadavg: 4.67 4.39 4.25 5/251 363831
/proc/meminfo: memFree=106751096/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2700 CPUtime=1792.87 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 266 1049 0 0 0 0 158919 20368 20 0 1 0 66221784 10170368 675 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 675 586 264 0 134 0
[pid=362965] ppid=362034 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/362965/stat : 362965 (timeout) S 362034 362965 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66401586 8867840 245 134679101440 94313811431424 94313811466440 140727670753392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94313813563856 94313813565988 94313832366080 140727670760436 140727670760605 140727670760605 140727670767591 0
/proc/362965/statm: 2165 245 221 9 0 87 0
[pid=362966] ppid=362965 vsize=141640 memory=122968 CPUtime=1320.56 cores=0,2
/proc/362966/stat : 362966 (Exact) R 362965 362965 359895 0 -1 4194304 20240 0 0 0 132049 7 0 0 20 0 1 0 66401586 145039360 30742 134679101440 4194304 7243121 140722272080864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 17526784 140722272089104 140722272089254 140722272089254 140722272096240 0
/proc/362966/statm: 35410 30742 820 745 0 34475 0
Current children cumulated CPU time: 3113.43 s
Current children cumulated vsize: 160232 KiB
Current children cumulated memory: 126648 KiB
[startup+3148.8 s]
/proc/loadavg: 4.65 4.41 4.26 5/251 363835
/proc/meminfo: memFree=106657992/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2700 CPUtime=1792.87 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 266 1049 0 0 0 0 158919 20368 20 0 1 0 66221784 10170368 675 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 675 586 264 0 134 0
[pid=362965] ppid=362034 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/362965/stat : 362965 (timeout) S 362034 362965 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66401586 8867840 245 134679101440 94313811431424 94313811466440 140727670753392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94313813563856 94313813565988 94313832366080 140727670760436 140727670760605 140727670760605 140727670767591 0
/proc/362965/statm: 2165 245 221 9 0 87 0
[pid=362966] ppid=362965 vsize=141772 memory=123140 CPUtime=1346.07 cores=0,2
/proc/362966/stat : 362966 (Exact) R 362965 362965 359895 0 -1 4194304 20310 0 0 0 134600 7 0 0 20 0 1 0 66401586 145174528 30785 134679101440 4194304 7243121 140722272080864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 17526784 140722272089104 140722272089254 140722272089254 140722272096240 0
/proc/362966/statm: 35443 30785 820 745 0 34508 0
Current children cumulated CPU time: 3138.94 s
Current children cumulated vsize: 160364 KiB
Current children cumulated memory: 126820 KiB
[startup+3155.2 s]
/proc/loadavg: 4.68 4.42 4.26 5/251 363838
/proc/meminfo: memFree=106655548/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2700 CPUtime=1792.87 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 266 1049 0 0 0 0 158919 20368 20 0 1 0 66221784 10170368 675 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 675 586 264 0 134 0
[pid=362965] ppid=362034 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/362965/stat : 362965 (timeout) S 362034 362965 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66401586 8867840 245 134679101440 94313811431424 94313811466440 140727670753392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94313813563856 94313813565988 94313832366080 140727670760436 140727670760605 140727670760605 140727670767591 0
/proc/362965/statm: 2165 245 221 9 0 87 0
[pid=362966] ppid=362965 vsize=141772 memory=123140 CPUtime=1352.45 cores=0,2
/proc/362966/stat : 362966 (Exact) R 362965 362965 359895 0 -1 4194304 20310 0 0 0 135238 7 0 0 20 0 1 0 66401586 145174528 30785 134679101440 4194304 7243121 140722272080864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 17526784 140722272089104 140722272089254 140722272089254 140722272096240 0
/proc/362966/statm: 35443 30785 820 745 0 34508 0
Current children cumulated CPU time: 3145.32 s
Current children cumulated vsize: 160364 KiB
Current children cumulated memory: 126820 KiB
[startup+3158.4 s]
/proc/loadavg: 4.71 4.43 4.27 5/251 363838
/proc/meminfo: memFree=106650824/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2700 CPUtime=1792.87 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 266 1049 0 0 0 0 158919 20368 20 0 1 0 66221784 10170368 675 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 675 586 264 0 134 0
[pid=362965] ppid=362034 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/362965/stat : 362965 (timeout) S 362034 362965 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66401586 8867840 245 134679101440 94313811431424 94313811466440 140727670753392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94313813563856 94313813565988 94313832366080 140727670760436 140727670760605 140727670760605 140727670767591 0
/proc/362965/statm: 2165 245 221 9 0 87 0
[pid=362966] ppid=362965 vsize=142028 memory=123348 CPUtime=1355.64 cores=0,2
/proc/362966/stat : 362966 (Exact) R 362965 362965 359895 0 -1 4194304 20374 0 0 0 135557 7 0 0 20 0 1 0 66401586 145436672 30837 134679101440 4194304 7243121 140722272080864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 17526784 140722272089104 140722272089254 140722272089254 140722272096240 0
/proc/362966/statm: 35507 30837 820 745 0 34572 0
Current children cumulated CPU time: 3148.51 s
Current children cumulated vsize: 160620 KiB
Current children cumulated memory: 127028 KiB
[startup+3160 s]*
/proc/loadavg: 4.71 4.43 4.27 5/251 363838
/proc/meminfo: memFree=106650852/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2700 CPUtime=1792.87 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 266 1049 0 0 0 0 158919 20368 20 0 1 0 66221784 10170368 675 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 675 586 264 0 134 0
[pid=362965] ppid=362034 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/362965/stat : 362965 (timeout) S 362034 362965 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66401586 8867840 245 134679101440 94313811431424 94313811466440 140727670753392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94313813563856 94313813565988 94313832366080 140727670760436 140727670760605 140727670760605 140727670767591 0
/proc/362965/statm: 2165 245 221 9 0 87 0
[pid=362966] ppid=362965 vsize=142028 memory=123348 CPUtime=1357.25 cores=0,2
/proc/362966/stat : 362966 (Exact) R 362965 362965 359895 0 -1 4194304 20374 0 0 0 135718 7 0 0 20 0 1 0 66401586 145436672 30837 134679101440 4194304 7243121 140722272080864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 17526784 140722272089104 140722272089254 140722272089254 140722272096240 0
/proc/362966/statm: 35507 30837 820 745 0 34572 0
Current children cumulated CPU time: 3150.12 s
Current children cumulated vsize: 160620 KiB
Current children cumulated memory: 127028 KiB
[startup+3160.8 s]
/proc/loadavg: 4.71 4.43 4.27 5/251 363838
/proc/meminfo: memFree=106650852/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2700 CPUtime=1792.87 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 266 1049 0 0 0 0 158919 20368 20 0 1 0 66221784 10170368 675 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 675 586 264 0 134 0
[pid=362965] ppid=362034 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/362965/stat : 362965 (timeout) S 362034 362965 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66401586 8867840 245 134679101440 94313811431424 94313811466440 140727670753392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94313813563856 94313813565988 94313832366080 140727670760436 140727670760605 140727670760605 140727670767591 0
/proc/362965/statm: 2165 245 221 9 0 87 0
[pid=362966] ppid=362965 vsize=142028 memory=123348 CPUtime=1358.03 cores=0,2
/proc/362966/stat : 362966 (Exact) R 362965 362965 359895 0 -1 4194304 20374 0 0 0 135796 7 0 0 20 0 1 0 66401586 145436672 30837 134679101440 4194304 7243121 140722272080864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 17526784 140722272089104 140722272089254 140722272089254 140722272096240 0
/proc/362966/statm: 35507 30837 820 745 0 34572 0
Current children cumulated CPU time: 3150.9 s
Current children cumulated vsize: 160620 KiB
Current children cumulated memory: 127028 KiB
[startup+3161.2 s]
/proc/loadavg: 4.73 4.44 4.27 5/251 363839
/proc/meminfo: memFree=106650492/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2700 CPUtime=1792.87 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 266 1049 0 0 0 0 158919 20368 20 0 1 0 66221784 10170368 675 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 675 586 264 0 134 0
[pid=362965] ppid=362034 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/362965/stat : 362965 (timeout) S 362034 362965 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66401586 8867840 245 134679101440 94313811431424 94313811466440 140727670753392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94313813563856 94313813565988 94313832366080 140727670760436 140727670760605 140727670760605 140727670767591 0
/proc/362965/statm: 2165 245 221 9 0 87 0
[pid=362966] ppid=362965 vsize=142028 memory=123348 CPUtime=1358.43 cores=0,2
/proc/362966/stat : 362966 (Exact) R 362965 362965 359895 0 -1 4194304 20374 0 0 0 135836 7 0 0 20 0 1 0 66401586 145436672 30837 134679101440 4194304 7243121 140722272080864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 17526784 140722272089104 140722272089254 140722272089254 140722272096240 0
/proc/362966/statm: 35507 30837 820 745 0 34572 0
Current children cumulated CPU time: 3151.3 s
Current children cumulated vsize: 160620 KiB
Current children cumulated memory: 127028 KiB
[startup+3161.6 s]
/proc/loadavg: 4.73 4.44 4.27 5/251 363839
/proc/meminfo: memFree=106650492/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2700 CPUtime=1792.87 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 266 1049 0 0 0 0 158919 20368 20 0 1 0 66221784 10170368 675 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 675 586 264 0 134 0
[pid=362965] ppid=362034 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/362965/stat : 362965 (timeout) S 362034 362965 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66401586 8867840 245 134679101440 94313811431424 94313811466440 140727670753392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94313813563856 94313813565988 94313832366080 140727670760436 140727670760605 140727670760605 140727670767591 0
/proc/362965/statm: 2165 245 221 9 0 87 0
[pid=362966] ppid=362965 vsize=142028 memory=123348 CPUtime=1358.83 cores=0,2
/proc/362966/stat : 362966 (Exact) R 362965 362965 359895 0 -1 4194304 20374 0 0 0 135876 7 0 0 20 0 1 0 66401586 145436672 30837 134679101440 4194304 7243121 140722272080864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 17526784 140722272089104 140722272089254 140722272089254 140722272096240 0
/proc/362966/statm: 35507 30837 820 745 0 34572 0
Current children cumulated CPU time: 3151.7 s
Current children cumulated vsize: 160620 KiB
Current children cumulated memory: 127028 KiB
[startup+3161.7 s]
/proc/loadavg: 4.73 4.44 4.27 5/251 363839
/proc/meminfo: memFree=106650492/131655788 swapFree=131071472/131071996
[pid=362034] ppid=362031 vsize=9932 memory=2700 CPUtime=1792.87 cores=0,2
/proc/362034/stat : 362034 (Hybrid-LSMabP+E) S 362031 362034 359895 0 -1 4194304 266 1049 0 0 0 0 158919 20368 20 0 1 0 66221784 10170368 675 134679101440 93873436483584 93873437562904 140732908902384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93873439661360 93873439708548 93873469960192 140732908905450 140732908905595 140732908905595 140732908912610 0
/proc/362034/statm: 2483 675 586 264 0 134 0
[pid=362965] ppid=362034 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/362965/stat : 362965 (timeout) S 362034 362965 359895 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66401586 8867840 245 134679101440 94313811431424 94313811466440 140727670753392 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94313813563856 94313813565988 94313832366080 140727670760436 140727670760605 140727670760605 140727670767591 0
/proc/362965/statm: 2165 245 221 9 0 87 0
[pid=362966] ppid=362965 vsize=142028 memory=123348 CPUtime=1358.93 cores=0,2
/proc/362966/stat : 362966 (Exact) R 362965 362965 359895 0 -1 4194304 20374 0 0 0 135886 7 0 0 20 0 1 0 66401586 145436672 30837 134679101440 4194304 7243121 140722272080864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 17526784 140722272089104 140722272089254 140722272089254 140722272096240 0
/proc/362966/statm: 35507 30837 820 745 0 34572 0
Current children cumulated CPU time: 3151.8 s
Current children cumulated vsize: 160620 KiB
Current children cumulated memory: 127028 KiB
Child status: 0
Real time (s): 3161.75
CPU time (s): 3151.87
CPU user time (s): 2948.1
CPU system time (s): 203.779
CPU usage (%): 99.6876
Max. virtual memory (cumulated for all children) (KiB): 160620
Max. memory (cumulated for all children) (KiB): 127028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2948.1
system time used= 203.779
maximum resident set size= 123348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 19162
# summary of solver processes directly reported to runsolver:
# pid: 362034
# total CPU time (s): 3151.87
# total CPU user time (s): 2948.1
# total CPU system time (s): 203.779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9877 second user time and 35.4904 second system time
The end
Begin job on nodeC012 at 2024-08-07 04:41:57 IDJOB=4462300 IDBENCH=178882 IDSOLVER=3071 FILE ID=nodeC012/4462300-1722998517 RUNJOBID= nodeC012-1722998517-361990 SLURM_JOB_ID= 8259128 Free space on /tmp= 723784 MiB SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_140_005.opb COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462300-1722998517/watcher-4462300-1722998517 -o /tmp/evaluation-result-4462300-1722998517/solver-4462300-1722998517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722998517-361990 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4462300-1722998517.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b2b4e88ed7bd22b4979581e55620e687 RANDOM SEED=43316575 nodeC012.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 : 0xb00001f cpu MHz : 3492.086 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 invpcid_single pti 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 : 6983.70 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 : 2893.202 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 invpcid_single pti 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 : 6983.37 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.206 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 invpcid_single pti 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 : 6983.70 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.206 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 invpcid_single pti 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 : 6983.37 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.236 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 invpcid_single pti 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 : 6983.70 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.206 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 invpcid_single pti 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 : 6983.37 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.207 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 invpcid_single pti 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 : 6983.70 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.273 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 invpcid_single pti 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 : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123868128 kB MemAvailable: 129973272 kB Buffers: 366760 kB Cached: 6577100 kB SwapCached: 48 kB Active: 683912 kB Inactive: 6614112 kB Active(anon): 1356 kB Inactive(anon): 390504 kB Active(file): 682556 kB Inactive(file): 6223608 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 64856 kB Writeback: 0 kB AnonPages: 353540 kB Mapped: 98108 kB Shmem: 37632 kB KReclaimable: 78360 kB Slab: 165488 kB SReclaimable: 78360 kB SUnreclaim: 87128 kB KernelStack: 3760 kB PageTables: 9860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 766784 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 25376 kB HardwareCorrupted: 0 kB AnonHugePages: 225280 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: 269128 kB DirectMap2M: 24801280 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 723688 MiB End job on nodeC012 at 2024-08-07 05:34:39