0.00/0.00 c Filename:instance-4427876-1722769581.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Use Presolve
0.00/0.01 c Parse finsih
0.00/0.02 c Start Presolve
0.00/0.06 c After Reduce Vars: 775 Clauses: 1641 Top clause weight: 1654 Hard Clauses: 866
3.28/3.31 c Use LS-small
3.28/3.31 c Use postsolve
3.28/3.31 o 0
3557.89/3564.01 s SATISFIABLE
3557.89/3564.01 c Use postsolve
3557.89/3564.01 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
3557.89/3564.01 c Done 3.28s
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62935 MiB free)
memory of node 1: 64473 MiB (63536 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427876-1722769581/watcher-4427876-1722769581 -o /tmp/evaluation-result-4427876-1722769581/solver-4427876-1722769581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722769581-232681 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427876-1722769581.opb -t 3558 -s 17552991
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=232735, runsolver pid=232728
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 0.09 0.08 0.12 6/241 232746
/proc/meminfo: memFree=129484164/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=28556 memory=21440 CPUtime=0.1 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 2403 0 0 0 10 0 0 0 20 0 1 0 43328748 29241344 5360 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 7139 5360 2721 2753 0 3792 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28556 KiB
Current children cumulated memory: 21440 KiB
[startup+0.214069 s]*
/proc/loadavg: 0.09 0.08 0.12 6/241 232746
/proc/meminfo: memFree=129476988/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=29368 memory=22288 CPUtime=0.21 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 2605 0 0 0 21 0 0 0 20 0 1 0 43328748 30072832 5572 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 7342 5572 2737 2753 0 3995 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29368 KiB
Current children cumulated memory: 22288 KiB
[startup+0.313297 s]*
/proc/loadavg: 0.09 0.08 0.12 6/241 232746
/proc/meminfo: memFree=129475856/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=29540 memory=22552 CPUtime=0.31 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 2625 0 0 0 31 0 0 0 20 0 1 0 43328748 30248960 5638 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 7385 5638 2737 2753 0 4038 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29540 KiB
Current children cumulated memory: 22552 KiB
[startup+0.700257 s]
/proc/loadavg: 0.09 0.08 0.12 6/241 232746
/proc/meminfo: memFree=129460912/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=35508 memory=28408 CPUtime=0.68 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 4027 0 0 0 67 1 0 0 20 0 1 0 43328748 36360192 7102 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 8877 7102 2833 2753 0 5530 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35508 KiB
Current children cumulated memory: 28408 KiB
[startup+1.50031 s]
/proc/loadavg: 0.09 0.08 0.12 7/241 232746
/proc/meminfo: memFree=129444596/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=71368 memory=63964 CPUtime=1.48 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 13828 0 0 0 145 3 0 0 20 0 1 0 43328748 73080832 15991 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 17842 15991 2833 2753 0 14495 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71368 KiB
Current children cumulated memory: 63964 KiB
[startup+3.11279 s]
/proc/loadavg: 0.09 0.08 0.12 6/241 232746
/proc/meminfo: memFree=129181324/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=147056 memory=137200 CPUtime=3.09 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34514 0 0 0 302 7 0 0 20 0 1 0 43328748 150585344 34300 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 36764 34300 2833 2753 0 33417 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 147056 KiB
Current children cumulated memory: 137200 KiB
[startup+6.30025 s]
/proc/loadavg: 0.40 0.15 0.14 6/241 232746
/proc/meminfo: memFree=129292284/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=51880 CPUtime=6.27 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34526 0 0 0 569 58 0 0 20 0 1 0 43328748 59133952 12970 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 12970 2833 2753 0 11090 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 51880 KiB
[startup+12.7003 s]
/proc/loadavg: 0.69 0.21 0.16 6/241 232747
/proc/meminfo: memFree=129289156/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=51880 CPUtime=12.65 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34526 0 0 0 1101 164 0 0 20 0 1 0 43328748 59133952 12970 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 12970 2833 2753 0 11090 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 51880 KiB
[startup+25.5003 s]
/proc/loadavg: 1.42 0.40 0.22 6/241 232749
/proc/meminfo: memFree=129218512/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=51880 CPUtime=25.42 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34526 0 0 0 2152 390 0 0 20 0 1 0 43328748 59133952 12970 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 12970 2833 2753 0 11090 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 51880 KiB
[startup+51.1124 s]
/proc/loadavg: 2.36 0.70 0.33 6/239 232753
/proc/meminfo: memFree=129194336/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=51880 CPUtime=50.97 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34526 0 0 0 4263 834 0 0 20 0 1 0 43328748 59133952 12970 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 12970 2833 2753 0 11090 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 51880 KiB
[startup+102.3 s]
/proc/loadavg: 3.34 1.23 0.53 6/239 232762
/proc/meminfo: memFree=129240744/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=51880 CPUtime=102.04 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34526 0 0 0 8485 1719 0 0 20 0 1 0 43328748 59133952 12970 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 12970 2833 2753 0 11090 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 51880 KiB
[startup+162.3 s]
/proc/loadavg: 3.80 1.75 0.76 6/239 232772
/proc/meminfo: memFree=129239884/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=51880 CPUtime=161.91 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34526 0 0 0 13446 2745 0 0 20 0 1 0 43328748 59133952 12970 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 12970 2833 2753 0 11090 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 51880 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.20 0.97 6/239 232783
/proc/meminfo: memFree=129237104/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52552 CPUtime=221.81 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34535 0 0 0 18396 3785 0 0 20 0 1 0 43328748 59133952 13138 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13138 2833 2753 0 11090 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52552 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.54 1.17 6/241 232797
/proc/meminfo: memFree=129231640/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52552 CPUtime=281.71 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34537 0 0 0 23325 4846 0 0 20 0 1 0 43328748 59133952 13138 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13138 2833 2753 0 11090 0
Current children cumulated CPU time: 281.71 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52552 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 2.84 1.36 6/240 232807
/proc/meminfo: memFree=129228264/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52552 CPUtime=341.61 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34539 0 0 0 28271 5890 0 0 20 0 1 0 43328748 59133952 13138 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13138 2833 2753 0 11090 0
Current children cumulated CPU time: 341.61 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52552 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.08 1.54 6/240 232818
/proc/meminfo: memFree=129227928/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52552 CPUtime=401.51 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34540 0 0 0 33221 6930 0 0 20 0 1 0 43328748 59133952 13138 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13138 2833 2753 0 11090 0
Current children cumulated CPU time: 401.51 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52552 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.29 1.71 6/240 232828
/proc/meminfo: memFree=129227492/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52552 CPUtime=461.41 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34541 0 0 0 38166 7975 0 0 20 0 1 0 43328748 59133952 13138 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
################
# More data... #
################
/proc/loadavg: 4.14 4.12 4.02 6/241 234495
/proc/meminfo: memFree=129314712/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3216.85 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34587 0 0 0 265637 56048 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3216.85 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.02 6/242 234520
/proc/meminfo: memFree=129314020/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3276.75 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34588 0 0 0 270590 57085 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3276.75 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.02 6/242 234530
/proc/meminfo: memFree=129313924/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3336.66 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34589 0 0 0 275524 58142 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3336.66 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.02 6/241 234541
/proc/meminfo: memFree=129313756/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3396.55 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34590 0 0 0 280475 59180 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3396.55 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.02 6/240 234551
/proc/meminfo: memFree=129313484/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3456.45 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34591 0 0 0 285415 60230 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3456.45 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.02 6/240 234561
/proc/meminfo: memFree=129313268/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3516.36 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34592 0 0 0 290378 61258 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3516.36 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3564.01 s]
# the end of solver process 232735 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2938.34 s, system=619.669 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.10 4.10 4.02 6/239 234562
/proc/meminfo: memFree=129313208/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3526.84 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34592 0 0 0 291241 61443 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3526.84 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3545.6 s]
/proc/loadavg: 4.08 4.09 4.02 6/239 234565
/proc/meminfo: memFree=129313092/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3539.62 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34592 0 0 0 292303 61659 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3539.62 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3552 s]*
/proc/loadavg: 4.07 4.09 4.02 6/238 234566
/proc/meminfo: memFree=129313128/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3546.02 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34592 0 0 0 292839 61763 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3546.02 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3558.4 s]
/proc/loadavg: 4.07 4.09 4.02 6/238 234566
/proc/meminfo: memFree=129313196/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3552.4 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34593 0 0 0 293367 61873 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3552.4 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3561.6 s]
/proc/loadavg: 4.14 4.10 4.02 6/238 234568
/proc/meminfo: memFree=129313140/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3555.59 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34593 0 0 0 293634 61925 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3555.59 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3563.2 s]
/proc/loadavg: 4.14 4.10 4.02 6/238 234568
/proc/meminfo: memFree=129313132/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3557.19 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34593 0 0 0 293768 61951 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3557.19 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3563.6 s]
/proc/loadavg: 4.14 4.10 4.02 6/238 234568
/proc/meminfo: memFree=129313132/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3557.59 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34593 0 0 0 293799 61960 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3557.59 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3563.8 s]
/proc/loadavg: 4.14 4.10 4.02 6/238 234568
/proc/meminfo: memFree=129313132/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3557.79 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34593 0 0 0 293816 61963 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3557.79 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
[startup+3563.9 s]
/proc/loadavg: 4.14 4.10 4.02 6/238 234568
/proc/meminfo: memFree=129313132/131655788 swapFree=131071216/131071996
[pid=232735] ppid=232728 vsize=57748 memory=52600 CPUtime=3557.89 cores=4,6
/proc/232735/stat : 232735 (LS-MabSP) R 232728 232735 232670 0 -1 4194304 34593 0 0 0 293825 61964 0 0 20 0 1 0 43328748 59133952 13150 134679101440 4194304 15467897 140731114707664 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25059328 140731114714148 140731114714249 140731114714249 140731114721261 0
/proc/232735/statm: 14437 13150 2833 2753 0 11090 0
Current children cumulated CPU time: 3557.89 s
Current children cumulated vsize: 57748 KiB
Current children cumulated memory: 52600 KiB
Child status: 0
Real time (s): 3564.01
CPU time (s): 3558.01
CPU user time (s): 2938.34
CPU system time (s): 619.669
CPU usage (%): 99.8316
Max. virtual memory (cumulated for all children) (KiB): 147056
Max. memory (cumulated for all children) (KiB): 137200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2938.34
system time used= 619.669
maximum resident set size= 137200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34602
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= 3
involuntary context switches= 1044
# summary of solver processes directly reported to runsolver:
# pid: 232735
# total CPU time (s): 3558.01
# total CPU user time (s): 2938.34
# total CPU system time (s): 619.669
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2274 second user time and 28.3922 second system time
The end
Begin job on nodeC007 at 2024-08-04 13:06:21
IDJOB=4427876
IDBENCH=146660
IDSOLVER=3047
FILE ID=nodeC007/4427876-1722769581
RUNJOBID= nodeC007-1722769581-232681
SLURM_JOB_ID= 8257545
Free space on /tmp= 723768 MiB
SOLVER NAME= LS-MabSP 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= ./LS-MabSP -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427876-1722769581/watcher-4427876-1722769581 -o /tmp/evaluation-result-4427876-1722769581/solver-4427876-1722769581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722769581-232681 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427876-1722769581.opb -t 3558 -s 17552991
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7cbd9242490819e58478720045b90b69
RANDOM SEED=17552991
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.187
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
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.186
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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.190
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
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.195
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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.186
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
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.187
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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.405
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
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.202
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129514288 kB
MemAvailable: 130097100 kB
Buffers: 284136 kB
Cached: 1150484 kB
SwapCached: 100 kB
Active: 490032 kB
Inactive: 1199028 kB
Active(anon): 1372 kB
Inactive(anon): 290560 kB
Active(file): 488660 kB
Inactive(file): 908468 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 65088 kB
Writeback: 0 kB
AnonPages: 254624 kB
Mapped: 102700 kB
Shmem: 37460 kB
KReclaimable: 51764 kB
Slab: 135304 kB
SReclaimable: 51764 kB
SUnreclaim: 83540 kB
KernelStack: 3536 kB
PageTables: 9332 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 554904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17600 kB
HardwareCorrupted: 0 kB
AnonHugePages: 147456 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: 297800 kB
DirectMap2M: 19529728 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC007 at 2024-08-04 14:05:46