Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NuPBO-DeepOpt+ 2025-06-02 | SAT (TO) | -10280 | 3600.07 | 3609.81 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-opm2-z7-s2.opb |
| MD5SUM | cf5cf55a0ad097c03b301970f48ee2e9 |
| 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 | 75.897 |
| 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 |
2.66/2.77 c Filename:instance-4522359-1751600612.opb, Cutoff_time:3600, memory_limit_gb:500000 2.66/2.77 c Use Presolve 2.66/2.77 c Parse finsih 2.66/2.77 c Start Presolve 2.66/2.77 c After Reduce Vars: 1902 Clauses: 28721 Top clause weight: 154988 Hard Clauses: 26845 2.66/2.77 c Use LS-small 2.66/2.77 c Use postsolve 2.66/2.77 o 0 2.66/2.77 c Use postsolve 2.66/2.77 o -203 2.66/2.77 c Use postsolve 2.66/2.77 o -249 2.66/2.77 c Use postsolve 2.66/2.77 o -293 2.66/2.77 c Use postsolve 2.66/2.77 o -332 2.66/2.77 c Use postsolve 2.66/2.77 o -366 2.66/2.77 c Use postsolve 2.66/2.77 o -405 2.66/2.77 c Use postsolve 2.66/2.77 o -446 2.66/2.77 c Use postsolve 2.66/2.77 o -491 2.66/2.77 c Use postsolve 2.66/2.77 o -535 2.66/2.77 c Use postsolve 2.66/2.77 o -568 2.66/2.77 c Use postsolve 2.66/2.77 o -609 2.66/2.77 c Use postsolve 2.66/2.77 o -649 2.66/2.77 c Use postsolve 2.66/2.77 o -693 2.66/2.77 c Use postsolve 2.66/2.77 o -725 2.66/2.77 c Use postsolve 2.66/2.77 o -772 2.66/2.77 c Use postsolve 2.66/2.77 o -812 2.66/2.77 c Use postsolve 2.66/2.77 o -849 2.66/2.77 c Use postsolve 2.66/2.77 o -889 2.66/2.77 c Use postsolve 2.66/2.77 o -919 2.66/2.77 c Use postsolve 2.66/2.77 o -959 2.66/2.77 c Use postsolve 2.66/2.77 o -991 2.66/2.77 c Use postsolve 2.66/2.77 o -1025 2.66/2.77 c Use postsolve 2.66/2.77 o -1056 2.66/2.77 c Use postsolve 2.66/2.77 o -1093 2.66/2.77 c Use postsolve 2.66/2.77 o -1125 2.66/2.77 c Use postsolve 2.66/2.77 o -1165 2.66/2.77 c Use postsolve 2.66/2.77 o -1199 2.66/2.77 c Use postsolve 2.66/2.77 o -1227 2.66/2.77 c Use postsolve 2.66/2.77 o -1260 2.66/2.77 c Use postsolve 2.66/2.77 o -1290 2.66/2.77 c Use postsolve 2.66/2.77 o -1329 2.66/2.77 c Use postsolve 2.66/2.77 o -1360 2.66/2.77 c Use postsolve 2.66/2.77 o -1392 2.66/2.77 c Use postsolve 2.66/2.77 o -1427 2.66/2.77 c Use postsolve 2.66/2.77 o -1464 2.66/2.77 c Use postsolve 2.66/2.77 o -1494 2.66/2.77 c Use postsolve 2.66/2.77 o -1523 2.66/2.77 c Use postsolve 2.66/2.77 o -1554 2.66/2.77 c Use postsolve 2.66/2.77 o -1583 2.66/2.77 c Use postsolve 2.66/2.77 o -1630 2.66/2.77 c Use postsolve 2.66/2.77 o -1664 2.66/2.77 c Use postsolve 2.66/2.77 o -1693 2.66/2.77 c Use postsolve 2.66/2.77 o -1718 2.66/2.77 c Use postsolve 2.66/2.77 o -1746 2.66/2.77 c Use postsolve 2.66/2.77 o -1779 2.66/2.77 c Use postsolve 2.66/2.77 o -1809 2.66/2.77 c Use postsolve 2.66/2.77 o -1839 2.66/2.77 c Use postsolve 2.66/2.77 o -1863 2.66/2.77 c Use postsolve 2.66/2.77 o -1892 2.66/2.77 c Use postsolve 2.66/2.77 o -1918 2.66/2.77 c Use postsolve 2.66/2.77 o -1946 2.66/2.77 c Use postsolve 2.66/2.77 o -1982 2.66/2.77 c Use postsolve 2.66/2.77 o -2019 2.66/2.77 c Use postsolve 2.66/2.77 o -2044 2.66/2.77 c Use postsolve 2.66/2.77 o -2064 2.66/2.77 c Use postsolve 2.66/2.77 o -2089 2.66/2.77 c Use postsolve 2.66/2.77 o -2118 2.66/2.77 c Use postsolve 2.66/2.77 o -2159 2.66/2.77 c Use postsolve 2.66/2.77 o -2188 2.66/2.77 c Use postsolve 2.66/2.77 o -2216 2.66/2.77 c Use postsolve 2.66/2.77 o -2246 2.66/2.77 c Use postsolve 2.66/2.77 o -2271 2.66/2.77 c Use postsolve 2.66/2.77 o -2294 2.66/2.77 c Use postsolve 2.66/2.77 o -2318 2.66/2.77 c Use postsolve 2.66/2.77 o -2342 2.66/2.77 c Use postsolve 2.66/2.77 o -2366 2.66/2.77 c Use postsolve 2.66/2.77 o -2390 2.66/2.77 c Use postsolve 2.66/2.77 o -2416 2.66/2.77 c Use postsolve 2.66/2.77 o -2439 2.66/2.77 c Use postsolve 2.66/2.77 o -2477 2.66/2.77 c Use postsolve 2.66/2.77 o -2505 2.66/2.77 c Use postsolve 2.66/2.77 o -2528 2.66/2.77 c Use postsolve 2.66/2.77 o -2556 2.66/2.77 c Use postsolve 2.66/2.77 o -2579 2.66/2.77 c Use postsolve 2.66/2.77 o -2603 2.66/2.77 c Use postsolve 2.66/2.77 o -2623 2.66/2.77 c Use postsolve 2.66/2.77 o -2645 2.66/2.77 c Use postsolve 2.66/2.77 o -2663 2.66/2.77 c Use postsolve 2.66/2.77 o -2682 2.66/2.77 c Use postsolve 2.66/2.77 o -2707 2.66/2.77 c Use postsolve 2.66/2.77 o -2731 2.66/2.77 c Use postsolve 2.66/2.77 o -2752 2.66/2.77 c Use postsolve 2.66/2.77 o -2776 2.66/2.77 c Use postsolve 2.66/2.77 o -2797 2.66/2.77 c Use postsolve 2.66/2.77 o -2820 2.66/2.77 c Use postsolve 2.66/2.77 o -2840 2.66/2.77 c Use postsolve 2.66/2.77 o -2861 2.66/2.77 c Use postsolve 2.66/2.77 o -2879 2.66/2.77 c Use postsolve 2.66/2.77 o -2895 2.66/2.77 c Use postsolve 2.66/2.77 o -2916 2.66/2.77 c Use postsolve 2.66/2.77 o -2937 2.66/2.77 c Use postsolve 2.66/2.77 o -2955 2.66/2.77 c Use postsolve 2.66/2.77 o -2973 2.66/2.77 c Use postsolve 2.66/2.77 o -2991 2.66/2.77 c Use postsolve 2.66/2.77 o -3009 2.66/2.77 c Use postsolve 2.66/2.77 o -3027 2.66/2.77 c Use postsolve 2.66/2.77 o -3046 2.66/2.77 c Use postsolve 2.66/2.77 o -3062 2.66/2.77 c Use postsolve 2.66/2.77 o -3075 2.66/2.77 c Use postsolve 2.66/2.77 o -3090 2.66/2.77 c Use postsolve 2.66/2.77 o -3106 2.66/2.77 c Use postsolve 2.66/2.77 o -3120 2.66/2.77 c Use postsolve 2.66/2.77 o -3131 2.66/2.77 c Use postsolve 2.66/2.77 o -3148 2.66/2.77 c Use postsolve 2.66/2.77 o -3161 2.66/2.77 c Use postsolve 2.66/2.77 o -3175 2.66/2.77 c Use postsolve 2.66/2.77 o -3187 2.66/2.77 c Use postsolve 2.66/2.77 o -3200 2.66/2.77 c Use postsolve 2.66/2.77 o -3212 2.66/2.77 c Use postsolve 2.66/2.77 o -3230 2.66/2.77 c Use postsolve 2.66/2.77 o -3242 2.66/2.77 c Use postsolve 2.66/2.77 o -3254 2.66/2.77 c Use postsolve 2.66/2.77 o -3266 2.66/2.77 c Use postsolve 2.66/2.77 o -3276 2.66/2.77 c Use postsolve 2.66/2.77 o -3288 2.66/2.77 c Use postsolve 2.66/2.77 o -3297 2.66/2.77 c Use postsolve 2.66/2.77 o -3306 2.66/2.77 c Use postsolve 2.66/2.77 o -3315 2.66/2.77 c Use postsolve 2.66/2.77 o -3326 2.66/2.77 c Use postsolve 2.66/2.77 o -3337 2.66/2.77 c Use postsolve 2.66/2.77 o -3347 2.66/2.77 c Use postsolve 2.66/2.77 o -3356 2.66/2.77 c Use postsolve 2.66/2.77 o -3365 2.66/2.77 c Use postsolve 2.66/2.77 o -3436 2.66/2.77 c Use postsolve 2.66/2.77 o -3468 2.66/2.77 c Use postsolve 2.66/2.77 o -3509 2.66/2.77 c Use postsolve 2.66/2.77 o -3518 2.66/2.77 c Use postsolve 2.66/2.77 o -3526 2.66/2.77 c Use postsolve 2.66/2.77 o -3534 2.66/2.77 c Use postsolve 2.66/2.77 o -3543 2.66/2.77 c Use postsolve 2.66/2.77 o -3551 2.66/2.77 c Use postsolve 2.66/2.77 o -3559 2.66/2.77 c Use postsolve 2.66/2.77 o -3601 2.66/2.77 c Use postsolve 2.66/2.77 o -3608 2.66/2.77 c Use postsolve 2.66/2.77 o -3615 2.66/2.77 c Use postsolve 2.66/2.77 o -3623 2.66/2.77 c Use postsolve 2.66/2.77 o -3632 2.66/2.77 c Use postsolve 2.66/2.77 o -3638 2.66/2.77 c Use postsolve 2.66/2.77 o -3644 2.66/2.77 c Use postsolve 2.66/2.77 o -3717 2.66/2.77 c Use postsolve 2.66/2.77 o -3724 2.66/2.77 c Use postsolve 2.66/2.77 o -3729 2.66/2.77 c Use postsolve 2.66/2.77 o -3734 2.66/2.77 c Use postsolve 2.66/2.77 o -3739 2.66/2.77 c Use postsolve 2.66/2.77 o -3744 2.66/2.77 c Use postsolve 2.66/2.77 o -3749 2.66/2.77 c Use postsolve 2.66/2.77 o -3753 2.66/2.77 c Use postsolve 2.66/2.77 o -3786 2.66/2.77 c Use postsolve 2.66/2.77 o -3790 2.66/2.77 c Use postsolve 2.66/2.77 o -3794 2.66/2.77 c Use postsolve 2.66/2.77 o -3798 2.66/2.77 c Use postsolve 2.66/2.77 o -3802 2.66/2.77 c Use postsolve 2.66/2.77 o -3805 2.66/2.77 c Use postsolve 2.66/2.77 o -3808 2.66/2.77 c Use postsolve 2.66/2.77 o -3810 2.66/2.77 c Use postsolve 2.66/2.77 o -3854 2.66/2.77 c Use postsolve 2.66/2.77 o -3856 2.66/2.77 c Use postsolve 2.66/2.77 o -3858 2.66/2.77 c Use postsolve 2.66/2.77 o -3859 2.66/2.77 c Use postsolve 2.66/2.77 o -3860 2.66/2.77 c Use postsolve 2.66/2.77 o -3861 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -3924 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -9334 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -9375 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -9381 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -9992 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -10025 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -10132 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -10154 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -10155 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -10165 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -10233 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -10237 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -10240 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -10278 3600.05/3609.80 c Use postsolve 3600.05/3609.80 o -10280 3600.05/3609.80 s SATISFIABLE 3600.05/3609.80 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 3600.05/3609.80 c Use postsolve 3600.05/3609.80 c Done 37.07s
OK -10280
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63137 MiB free)
memory of node 1: 64465 MiB (63572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522359-1751600612/watcher-4522359-1751600612 -o /tmp/evaluation-result-4522359-1751600612/solver-4522359-1751600612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751597003-88593 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4522359-1751600612.opb -t 3600 -s 159105264 --no-s
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=88977, runsolver pid=88974
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.11 4.12 4.09 5/247 88982
/proc/meminfo: memFree=129751596/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=22100 memory=7224 CPUtime=0.1 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 1101 0 0 0 10 0 0 0 20 0 1 0 75739905 22630400 1806 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 5525 1806 1056 2752 0 2178 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22100 KiB
Current children cumulated memory: 7224 KiB
[startup+0.212463 s]*
/proc/loadavg: 4.11 4.12 4.09 5/247 88994
/proc/meminfo: memFree=129751404/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=23124 memory=7908 CPUtime=0.21 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 1541 0 0 0 20 1 0 0 20 0 1 0 75739905 23678976 1977 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 5781 1977 1056 2752 0 2434 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23124 KiB
Current children cumulated memory: 7908 KiB
[startup+0.312456 s]*
/proc/loadavg: 4.11 4.12 4.09 4/247 88998
/proc/meminfo: memFree=129745068/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=23124 memory=8548 CPUtime=0.3 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 1705 0 0 0 28 2 0 0 20 0 1 0 75739905 23678976 2137 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 5781 2137 1056 2752 0 2434 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 23124 KiB
Current children cumulated memory: 8548 KiB
[startup+0.700264 s]
/proc/loadavg: 4.11 4.12 4.09 5/248 88999
/proc/meminfo: memFree=129702512/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=38996 memory=24232 CPUtime=0.67 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 6204 0 0 0 63 4 0 0 20 0 1 0 75739905 39931904 6058 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 9749 6058 1152 2752 0 6402 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 38996 KiB
Current children cumulated memory: 24232 KiB
[startup+1.50032 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 89009
/proc/meminfo: memFree=129664556/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=60528 memory=45444 CPUtime=1.47 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 21641 0 0 0 140 7 0 0 20 0 1 0 75739905 61980672 11361 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 15132 11361 1152 2752 0 11785 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 60528 KiB
Current children cumulated memory: 45444 KiB
[startup+3.11216 s]
/proc/loadavg: 4.18 4.13 4.10 5/251 89009
/proc/meminfo: memFree=129510424/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41268 CPUtime=3.07 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 188548 0 0 0 279 28 0 0 20 0 1 0 75739905 57495552 10317 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10317 1152 2752 0 10690 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41268 KiB
[startup+6.30024 s]
/proc/loadavg: 4.18 4.13 4.10 5/251 89009
/proc/meminfo: memFree=129415652/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41288 CPUtime=6.25 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 192810 0 0 0 597 28 0 0 20 0 1 0 75739905 57495552 10322 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10322 1152 2752 0 10690 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41288 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.13 4.09 5/251 89009
/proc/meminfo: memFree=129068848/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41288 CPUtime=12.63 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 192810 0 0 0 1235 28 0 0 20 0 1 0 75739905 57495552 10322 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10322 1152 2752 0 10690 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41288 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.14 4.10 5/251 89009
/proc/meminfo: memFree=129116076/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41288 CPUtime=25.4 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 192810 0 0 0 2512 28 0 0 20 0 1 0 75739905 57495552 10322 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10322 1152 2752 0 10690 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41288 KiB
[startup+51.112 s]
/proc/loadavg: 4.14 4.13 4.09 5/251 89009
/proc/meminfo: memFree=129116076/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41320 CPUtime=50.94 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199188 0 0 0 5065 29 0 0 20 0 1 0 75739905 57495552 10330 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10330 1152 2752 0 10690 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41320 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 89013
/proc/meminfo: memFree=129115824/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41320 CPUtime=101.99 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199188 0 0 0 10170 29 0 0 20 0 1 0 75739905 57495552 10330 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10330 1152 2752 0 10690 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41320 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/252 89016
/proc/meminfo: memFree=129088544/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=161.83 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199227 0 0 0 16154 29 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/252 89022
/proc/meminfo: memFree=125657772/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=221.68 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199257 0 0 0 22139 29 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/251 89024
/proc/meminfo: memFree=105137384/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=281.52 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199272 0 0 0 28123 29 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 89026
/proc/meminfo: memFree=101388916/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=341.36 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199302 0 0 0 34107 29 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/250 89028
/proc/meminfo: memFree=101389420/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=401.2 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199302 0 0 0 40091 29 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/249 89031
/proc/meminfo: memFree=101389740/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=461.04 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199317 0 0 0 46075 29 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
Current children cumulated memory: 41448 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.33 4.25 5/250 89156
/proc/meminfo: memFree=101384776/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=2854.59 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199452 0 0 0 285428 31 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 2854.59 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.30 4.25 5/250 89158
/proc/meminfo: memFree=101384780/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=2914.44 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199452 0 0 0 291412 32 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.26 4.24 5/250 89160
/proc/meminfo: memFree=101388564/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=2974.28 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199452 0 0 0 297396 32 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 2974.28 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.24 4.23 5/250 89162
/proc/meminfo: memFree=101396264/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=3034.11 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199452 0 0 0 303379 32 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 3034.11 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.21 4.22 5/250 89166
/proc/meminfo: memFree=101398232/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=3093.94 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199452 0 0 0 309362 32 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 3093.94 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.18 4.21 5/249 89168
/proc/meminfo: memFree=101382404/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=3153.78 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199467 0 0 0 315346 32 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.20 4.21 5/250 89175
/proc/meminfo: memFree=101379704/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=3213.62 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199467 0 0 0 321330 32 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 3213.62 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.20 5/250 89177
/proc/meminfo: memFree=101390148/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=3273.46 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199467 0 0 0 327314 32 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.19 5/250 89179
/proc/meminfo: memFree=101391056/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=3333.29 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199467 0 0 0 333297 32 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.18 5/250 89181
/proc/meminfo: memFree=101392588/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=3393.12 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199467 0 0 0 339280 32 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/250 89183
/proc/meminfo: memFree=101392256/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=3452.96 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199482 0 0 0 345264 32 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.16 4.18 5/249 89185
/proc/meminfo: memFree=101389820/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=3512.8 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199482 0 0 0 351248 32 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/249 89187
/proc/meminfo: memFree=101392380/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=3572.64 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199482 0 0 0 357232 32 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.14 4.14 4.17 3/241 89204
/proc/meminfo: memFree=101476056/131382120 swapFree=33010416/33010684
[pid=88977] ppid=88974 vsize=56148 memory=41448 CPUtime=3600.05 cores=5,7
/proc/88977/stat : 88977 (NuPBO-DeepOpt+) R 88974 88977 88580 0 -1 4194304 199482 0 0 0 359971 34 0 0 20 0 1 0 75739905 57495552 10362 18446744073709551615 4198400 15468185 140729065053136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54001664 140729065060754 140729065060869 140729065060869 140729065066471 0
/proc/88977/statm: 14037 10362 1152 2752 0 10690 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 41448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 88977 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.72 s, system=0.348493 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.81
CPU time (s): 3600.07
CPU user time (s): 3599.72
CPU system time (s): 0.348493
CPU usage (%): 99.7302
Max. virtual memory (cumulated for all children) (KiB): 60528
Max. memory (cumulated for all children) (KiB): 45504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.72
system time used= 0.348493
maximum resident set size= 45672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200551
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 916
# summary of solver processes directly reported to runsolver:
# pid: 88977
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.72
# total CPU system time (s): 0.348493
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0115 second user time and 29.5529 second system time
The end
Begin job on nodeC003 at 2025-07-04 05:43:32 IDJOB=4522359 IDBENCH=178754 IDSOLVER=3342 FILE ID=nodeC003/4522359-1751600612 RUNJOBID= nodeC003-1751597003-88593 SLURM_JOB_ID= 9598864 Free space on /tmp= 431976 MiB SOLVER NAME= NuPBO-DeepOpt+ 2025-06-02 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-opm2-z7-s2.opb COMMAND LINE= ./NuPBO-DeepOpt+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522359-1751600612/watcher-4522359-1751600612 -o /tmp/evaluation-result-4522359-1751600612/solver-4522359-1751600612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751597003-88593 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4522359-1751600612.opb -t 3600 -s 159105264 --no-s TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= cf5cf55a0ad097c03b301970f48ee2e9 RANDOM SEED=159105264 nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.925 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 1197.176 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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.242 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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.458 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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.340 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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.104 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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.160 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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.166 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129755528 kB MemAvailable: 129928780 kB Buffers: 2736 kB Cached: 968912 kB SwapCached: 36 kB Active: 563160 kB Inactive: 476744 kB Active(anon): 78572 kB Inactive(anon): 7608 kB Active(file): 484588 kB Inactive(file): 469136 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 51324 kB Writeback: 12 kB AnonPages: 71012 kB Mapped: 103668 kB Shmem: 17924 kB KReclaimable: 118308 kB Slab: 204868 kB SReclaimable: 118308 kB SUnreclaim: 86560 kB KernelStack: 3888 kB PageTables: 2936 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 334288 kB VmallocTotal: 34359738367 kB VmallocUsed: 149320 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 431928 MiB End job on nodeC003 at 2025-07-04 06:43:42