0.00/0.01 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.01 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.02 c Starting SCIP solver (with time-limit = 1800s) ...
1795.23/1800.02 c SCIP timeout with lower and upper bounds: [344, 477]
1795.43/1800.24 o 3
3600.09/3609.60
3600.09/3609.60 v -x757 x694 -x589 x263 -x242 x57 -x39 x693 x591 -x487 -x264 -x247 x56 -x38 -x758 -x701 x590 -x486 -x440 -x267 -x246 x55 x40 -x759 x695 x595 -x488 -x445 -x265 -x53 x41 -x762 -x696 -x613 x594 x489 -x444 -x266 x249 -x54 -x48 -x760 -x697 -x612 -x592 x490 -x402 x250 x42 -x3 -x761 x614 -x593 -x497 x447 -x422 -x401 x253 -x199 -x172 -x43 -x2 -x735 x617 -x491 x448 -x421 -x407 -x386 -x251 -x177 -x44 x4 -x734 x616 -x492 -x451 -x423 x406 -x385 -x274 -x252 -x198 -x176 -x138 x5 -x621 -x493 -x449 x426 x408 -x387 -x367 -x279 -x202 -x156 -x137 -x19 x6 -x736 -x620 -x560 -x511 -x450 x425 x412 -x388 -x366 -x278 x179 -x155 -x139 -x88 -x18 -x13 -x738 -x651 -x618 -x516 x430 -x411 -x389 -x203 x180 -x157 -x142 -x87 -x24 x7 -x650 -x619 -x559 -x515 -x467 -x429 -x409 -x396 -x368 x281 -x183 -x158 x141 x89 -x67 -x23 -x8 -x739 -x563 -x427 -x410 -x390 -x370 x282 -x181 x159 x146 -x92 -x72 -x25 -x9 -x741 -x652 -x518 -x470 -x428 -x391 -x319 -x285 -x224 -x182 x166 x145 -x122 x91 -x71 -x29 -x742 x654 -x636 -x564 -x519 -x471 -x392 -x371 -x318 -x283 x160 -x143 x96 -x28 -x635 -x522 -x373 -x348 -x320 -x284 -x223 -x161 -x144 -x121 x95 x74 -x26 x655 -x520 -x374 -x352 x323 -x227 -x162 -x93 x75 -x27 -x657 -x637 -x521 x322 x125 -x94 x76 -x658 x640 x324 -x228 x126 -x77 -x754 x704 x65 -x756 x705 -x588 x268 -x241 x61 x755 -x700 x603 -x243 -x60 x51 x763 -x599 -x439 x248 x52 -x711 -x698 -x598 x500 x441 x245 -x47 -x715 x501 x446 x254 -x496 x443 -x45 -x730 x615 -x452 x403 -x171 -x729 -x629 -x494 x404 x200 x173 -x16 x625 -x424 x405 -x362 -x273 -x204 -x178 x17 -x737 -x624 x438 x416 -x399 -x361 -x275 x175 -x12 x740 -x646 -x510 -x434 -x400 x280 x184 -x140 -x20 -x744 -x645 -x561 -x512 -x466 -x433 -x395 -x369 x277 -x206 -x169 x154 -x21 -x10 -x743 -x565 -x517 x372 x286 -x207 -x170 -x150 x90 -x66 -x22 -x653 x514 -x472 -x393 x376 -x165 -x149 -x117 x104 -x68 -x33 x656 -x631 x523 -x375 x100 -x73 x660 -x630 -x567 -x347 -x225 -x163 x123 -x99 x70 -x659 -x568 x351 -x321 -x229 x78 -x638 -x475 -x332 x127 x639 x328 x702 -x600 -x106 x64 -x50 -x753 x602 x272 -x49 x771 -x499 x271 -x58 x767 -x498 x244 x766 x710 -x699 -x596 -x262 -x59 -x714 x442 x258 -x194 -x626 -x597 x460 -x303 x257 x193 -x46 -x15 -x628 x456 -x14 -x495 x455 -x435 -x419 -x398 x201 x731 -x555 -x437 -x420 -x397 x205 x174 x732 -x622 x554 -x462 -x415 -x209 x192 -x168 -x151 x733 -x363 x276 -x208 x188 -x167 -x153 -x748 -x623 x562 -x468 -x431 -x413 -x364 x294 x187 -x101 -x36 -x11 -x647 x566 x513 x365 -x290 -x219 -x103 -x37 -x686 -x648 -x570 x531 x473 -x432 -x394 x380 -x289 -x218 -x147 -x32 x649 -x569 x527 -x116 x69 x664 -x526 -x476 -x349 -x329 x226 -x164 -x148 -x118 -x97 x86 -x30 -x632 -x474 x353 -x331 -x230 x124 x82 -x633 x231 x120 -x98 -x81 x634 -x327 -x232 x128 x768 x703 -x601 -x334 -x105 -x62 x770 x269 -x259 -x261 x764 x712 -x457 -x300 x270 x716 -x627 -x459 -x765 -x418 -x302 x255 -x436 -x417 x195 x718 -x453 -x256 x196 x189 -x719 x197 x191 -x152 -x751 -x454 x291 -x213 -x35 -x752 x556 -x461 x293 -x102 -x34 -x747 -x682 x557 -x528 -x463 -x414 -x383 x185 x558 -x530 x469 -x384 -x344 -x745 -x685 x667 -x574 x465 -x379 x343 -x287 -x186 -x83 x668 x477 -x330 -x220 x85 -x663 -x535 -x524 -x377 x350 -x288 x221 -x31 -x539 x354 x222 x119 -x661 -x643 -x605 -x525 x355 x236 x136 -x79 x644 x609 -x356 -x325 x132 -x769 x333 x107 -x63 -x707 -x260 x706 -x458 x713 x299 x109 x717 x721 x304 x720 x190 -x750 x216 -x749 x292 x217 -x678 -x382 -x307 -x212 -x529 -x381 x681 -x666 x577 -x210 -x665 x578 x464 -x84 -x746 x687 -x573 x485 x481 x345 -x642 -x571 -x534 x480 -x378 x346 x239 -x133 -x641 -x538 x240 x135 -x690 -x662 -x604 x235 -x80 x608 -x326 x131 -x503 -x296 x110 x708 x108 x709 -x547 -x336 x301 x772 x725 x305 -x215 x214 -x674 x308 x306 x773 x677 -x774 -x576 x575 x683 x482 -x211 x484 x688 -x238 -x237 -x134 x691 -x572 x536 -x478 x359 x689 -x540 x360 x606 -x479 x233 x610 -x129 x111 -x502 x337 -x335 x295 x728 x546 x297 x724 x309 -x722 x673 -x583 x483 x684 -x533 -x680 x532 -x358 x692 -x357 x537 -x541 x607 -x234 x611 -x130 x338 x115 -x727 x504 -x114 -x726 x548 x298 x670 -x507 x317 x313 -x723 x675 -x582 x550 x312 x551 x679 x587 x543 x342 x542 x505 x341 -x112 x549 x508 x314 -x113 x506 x316 -x581 x553 x669 x552 x671 x584 -x310 x676 -x311 x586 x339 x544 x509 -x315 x545 x340 x775 x580 x579 x672 x585 x776 x1
3600.09/3609.60 s SATISFIABLE
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: 63931 MiB (60415 MiB free)
memory of node 1: 64510 MiB (60215 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438757-1721196688/watcher-4438757-1721196688 -o /tmp/evaluation-result-4438757-1721196688/solver-4438757-1721196688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721194642-888933 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438757-1721196688.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=890032, runsolver pid=890029
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.10 4.10 3.72 5/257 890033
/proc/meminfo: memFree=123502060/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=44572 memory=34816 CPUtime=0.09 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 6489 0 0 0 9 0 0 0 20 0 1 0 171833727 45641728 8704 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 11143 8704 2650 2726 0 7891 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44572 KiB
Current children cumulated memory: 34816 KiB
[startup+0.20565 s]*
/proc/loadavg: 4.10 4.10 3.72 5/257 890033
/proc/meminfo: memFree=123501724/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=44840 memory=35344 CPUtime=0.2 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 6566 0 0 0 20 0 0 0 20 0 1 0 171833727 45916160 8836 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 11210 8836 2650 2726 0 7958 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44840 KiB
Current children cumulated memory: 35344 KiB
[startup+0.305172 s]*
/proc/loadavg: 4.10 4.10 3.72 5/257 890033
/proc/meminfo: memFree=123484588/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=64840 memory=52892 CPUtime=0.3 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 11095 0 0 0 29 1 0 0 20 0 1 0 171833727 66396160 13223 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 16210 13223 2746 2726 0 12958 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64840 KiB
Current children cumulated memory: 52892 KiB
[startup+0.700198 s]
/proc/loadavg: 4.10 4.10 3.72 5/257 890033
/proc/meminfo: memFree=123483272/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=65460 memory=53420 CPUtime=0.69 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 11228 0 0 0 68 1 0 0 20 0 1 0 171833727 67031040 13355 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 16365 13355 2746 2726 0 13113 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65460 KiB
Current children cumulated memory: 53420 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.10 3.72 5/257 890033
/proc/meminfo: memFree=123483324/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=65460 memory=53420 CPUtime=1.48 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 11242 0 0 0 147 1 0 0 20 0 1 0 171833727 67031040 13355 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 16365 13355 2746 2726 0 13113 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65460 KiB
Current children cumulated memory: 53420 KiB
[startup+3.10542 s]
/proc/loadavg: 4.10 4.10 3.72 5/257 890035
/proc/meminfo: memFree=123430692/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=125356 memory=110000 CPUtime=3.09 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 25444 0 0 0 305 4 0 0 20 0 1 0 171833727 128364544 27500 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 31339 27500 2762 2726 0 28087 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125356 KiB
Current children cumulated memory: 110000 KiB
[startup+6.30017 s]
/proc/loadavg: 4.10 4.10 3.72 5/257 890035
/proc/meminfo: memFree=123375080/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=185152 memory=162272 CPUtime=6.28 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 38498 0 0 0 622 6 0 0 20 0 1 0 171833727 189595648 40568 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 46288 40568 2762 2726 0 43036 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 185152 KiB
Current children cumulated memory: 162272 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 3.73 5/257 890035
/proc/meminfo: memFree=123371936/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=190420 memory=164384 CPUtime=12.65 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 39084 0 0 0 1259 6 0 0 20 0 1 0 171833727 194990080 41096 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 47605 41096 2762 2726 0 44353 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 190420 KiB
Current children cumulated memory: 164384 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 3.74 5/257 890038
/proc/meminfo: memFree=123365428/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=196684 memory=170872 CPUtime=25.43 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 42355 0 0 0 2535 8 0 0 20 0 1 0 171833727 201404416 42718 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 49171 42718 2762 2726 0 45919 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 196684 KiB
Current children cumulated memory: 170872 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.10 3.74 5/257 890041
/proc/meminfo: memFree=123355628/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=209084 memory=180372 CPUtime=50.97 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 44753 0 0 0 5086 11 0 0 20 0 1 0 171833727 214102016 45093 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 52271 45093 2762 2726 0 49019 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 209084 KiB
Current children cumulated memory: 180372 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 3.77 5/257 890050
/proc/meminfo: memFree=123286960/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=291916 memory=248580 CPUtime=102.04 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 63998 0 0 0 10184 20 0 0 20 0 1 0 171833727 298921984 62145 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 72979 62145 2762 2726 0 69727 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 291916 KiB
Current children cumulated memory: 248580 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 3.79 5/257 890061
/proc/meminfo: memFree=123259520/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=329644 memory=275616 CPUtime=161.89 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 71436 0 0 0 16167 22 0 0 20 0 1 0 171833727 337555456 68904 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 82411 68904 2762 2726 0 79159 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 329644 KiB
Current children cumulated memory: 275616 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 3.81 5/254 890072
/proc/meminfo: memFree=123258000/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=341868 memory=276732 CPUtime=221.74 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 71744 0 0 0 22151 23 0 0 20 0 1 0 171833727 350072832 69183 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 85467 69183 2762 2726 0 82215 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 341868 KiB
Current children cumulated memory: 276732 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 3.83 5/255 890083
/proc/meminfo: memFree=123183924/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=351544 memory=275832 CPUtime=281.59 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 71764 0 0 0 28136 23 0 0 20 0 1 0 171833727 359981056 68958 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 87886 68958 2762 2726 0 84634 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 351544 KiB
Current children cumulated memory: 275832 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 3.85 5/255 890093
/proc/meminfo: memFree=122844108/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=366996 memory=289212 CPUtime=341.44 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 75642 0 0 0 34120 24 0 0 20 0 1 0 171833727 375803904 72303 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 91749 72303 2762 2726 0 88497 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 289212 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.10 3.87 5/255 890104
/proc/meminfo: memFree=122831740/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=372888 memory=290792 CPUtime=401.3 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 76032 0 0 0 40105 25 0 0 20 0 1 0 171833727 381837312 72698 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 93222 72698 2762 2726 0 89970 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 372888 KiB
Current children cumulated memory: 290792 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.11 3.89 5/255 890114
/proc/meminfo: memFree=122779712/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=388660 memory=302032 CPUtime=461.14 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 79229 0 0 0 46089 25 0 0 20 0 1 0 171833727 397987840 75508 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 97165 75508 2762 2726 0 93913 0
################
# More data... #
################
Current children cumulated memory: 388980 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/258 891942
/proc/meminfo: memFree=121968948/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=396576 memory=388980 CPUtime=2854.74 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 103426 0 0 0 285434 40 0 0 20 0 1 0 171833727 406093824 97245 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 99144 97245 2826 2726 0 95892 0
Current children cumulated CPU time: 2854.74 s
Current children cumulated vsize: 396576 KiB
Current children cumulated memory: 388980 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 891955
/proc/meminfo: memFree=121947384/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=396576 memory=388980 CPUtime=2914.59 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 103554 0 0 0 291419 40 0 0 20 0 1 0 171833727 406093824 97245 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 99144 97245 2826 2726 0 95892 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 396576 KiB
Current children cumulated memory: 388980 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 891977
/proc/meminfo: memFree=121873500/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=449768 memory=442068 CPUtime=2974.43 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 104177 0 0 0 297402 41 0 0 20 0 1 0 171833727 460562432 110517 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 112442 110517 2826 2726 0 109190 0
Current children cumulated CPU time: 2974.43 s
Current children cumulated vsize: 449768 KiB
Current children cumulated memory: 442068 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 891988
/proc/meminfo: memFree=121895508/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=396576 memory=388980 CPUtime=3034.27 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 104944 0 0 0 303385 42 0 0 20 0 1 0 171833727 406093824 97245 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 99144 97245 2826 2726 0 95892 0
Current children cumulated CPU time: 3034.27 s
Current children cumulated vsize: 396576 KiB
Current children cumulated memory: 388980 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/255 891999
/proc/meminfo: memFree=121873856/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=396576 memory=388980 CPUtime=3094.12 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 105082 0 0 0 309370 42 0 0 20 0 1 0 171833727 406093824 97245 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 99144 97245 2826 2726 0 95892 0
Current children cumulated CPU time: 3094.12 s
Current children cumulated vsize: 396576 KiB
Current children cumulated memory: 388980 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 892010
/proc/meminfo: memFree=121813196/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=457056 memory=449400 CPUtime=3153.96 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 106688 0 0 0 315351 45 0 0 20 0 1 0 171833727 468025344 112350 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 114264 112350 2826 2726 0 111012 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 457056 KiB
Current children cumulated memory: 449400 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 892021
/proc/meminfo: memFree=121825812/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=396576 memory=388980 CPUtime=3213.81 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 107616 0 0 0 321335 46 0 0 20 0 1 0 171833727 406093824 97245 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 99144 97245 2826 2726 0 95892 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 396576 KiB
Current children cumulated memory: 388980 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 892032
/proc/meminfo: memFree=121797524/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=396576 memory=388980 CPUtime=3273.64 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 108501 0 0 0 327318 46 0 0 20 0 1 0 171833727 406093824 97245 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 99144 97245 2826 2726 0 95892 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 396576 KiB
Current children cumulated memory: 388980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 892042
/proc/meminfo: memFree=121716456/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=396576 memory=388980 CPUtime=3333.49 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 109470 0 0 0 333301 48 0 0 20 0 1 0 171833727 406093824 97245 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 99144 97245 2826 2726 0 95892 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 396576 KiB
Current children cumulated memory: 388980 KiB
[startup+3402.3 s]
/proc/loadavg: 4.30 4.14 4.10 5/254 892053
/proc/meminfo: memFree=122331116/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=396576 memory=388980 CPUtime=3393.33 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 109581 0 0 0 339285 48 0 0 20 0 1 0 171833727 406093824 97245 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 99144 97245 2826 2726 0 95892 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 396576 KiB
Current children cumulated memory: 388980 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/254 892063
/proc/meminfo: memFree=122275548/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=396576 memory=388980 CPUtime=3453.18 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 109658 0 0 0 345270 48 0 0 20 0 1 0 171833727 406093824 97245 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 99144 97245 2826 2726 0 95892 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 396576 KiB
Current children cumulated memory: 388980 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/257 892078
/proc/meminfo: memFree=122248848/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=396576 memory=388980 CPUtime=3513.02 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 109752 0 0 0 351254 48 0 0 20 0 1 0 171833727 406093824 97245 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 99144 97245 2826 2726 0 95892 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 396576 KiB
Current children cumulated memory: 388980 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/257 892089
/proc/meminfo: memFree=122248164/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=396576 memory=388980 CPUtime=3572.86 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 109847 0 0 0 357238 48 0 0 20 0 1 0 171833727 406093824 97245 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 99144 97245 2826 2726 0 95892 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 396576 KiB
Current children cumulated memory: 388980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.10 4.13 4.10 5/257 892093
/proc/meminfo: memFree=122213500/131524600 swapFree=131071996/131071996
[pid=890032] ppid=890029 vsize=396576 memory=388980 CPUtime=3600.09 cores=1,3
/proc/890032/stat : 890032 (CASHWMaxSAT-Dis) R 890029 890032 888921 0 -1 4194304 109883 0 0 0 359961 48 0 0 20 0 1 0 171833727 406093824 97245 134679101440 4194304 15356333 140727610164528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 34705408 140727610172386 140727610172502 140727610172502 140727610179518 0
/proc/890032/statm: 99144 97245 2826 2726 0 95892 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 396576 KiB
Current children cumulated memory: 388980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 890032 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.62 s, system=0.483638 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.6
CPU time (s): 3600.1
CPU user time (s): 3599.62
CPU system time (s): 0.483638
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 509924
Max. memory (cumulated for all children) (KiB): 495588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.62
system time used= 0.483638
maximum resident set size= 495588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109884
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= 23
involuntary context switches= 1743
# summary of solver processes directly reported to runsolver:
# pid: 890032
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.62
# total CPU system time (s): 0.483638
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8532 second user time and 12.7029 second system time
The end
Begin job on nodeC024 at 2024-07-17 08:11:41
IDJOB=4438757
IDBENCH=146660
IDSOLVER=3074
FILE ID=nodeC024/4438757-1721196688
RUNJOBID= nodeC024-1721194642-888933
SLURM_JOB_ID= 7508885
Free space on /tmp= 890040 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438757-1721196688/watcher-4438757-1721196688 -o /tmp/evaluation-result-4438757-1721196688/solver-4438757-1721196688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721194642-888933 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438757-1721196688.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7cbd9242490819e58478720045b90b69
RANDOM SEED=1023848114
nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.667
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.706
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.973
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.054
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.758
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.096
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.897
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123526988 kB
MemAvailable: 128021508 kB
Buffers: 439708 kB
Cached: 4839564 kB
SwapCached: 0 kB
Active: 805792 kB
Inactive: 6478368 kB
Active(anon): 1564 kB
Inactive(anon): 2040712 kB
Active(file): 804228 kB
Inactive(file): 4437656 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14340 kB
Writeback: 0 kB
AnonPages: 2003028 kB
Mapped: 138764 kB
Shmem: 37720 kB
KReclaimable: 184564 kB
Slab: 301912 kB
SReclaimable: 184564 kB
SUnreclaim: 117348 kB
KernelStack: 4140 kB
PageTables: 12876 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2462620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1943552 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: 240340 kB
DirectMap2M: 23650304 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC024 at 2024-07-17 09:11:51