0.00/0.00 c Filename:instance-4428491-1722823933.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
1772.85/1779.14 c Use LS-small
1772.85/1779.14 o -270
3557.92/3568.37 s SATISFIABLE
3557.92/3568.37 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
3557.92/3568.37 c Done 1772.88s
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63299 MiB free)
memory of node 1: 64473 MiB (62895 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428491-1722823933/watcher-4428491-1722823933 -o /tmp/evaluation-result-4428491-1722823933/solver-4428491-1722823933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722816792-264072 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428491-1722823933.opb -t 3558 -s 749523034
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=268171, runsolver pid=268168
[startup+0.100637 s]*
/proc/loadavg: 4.15 4.13 4.09 5/253 268172
/proc/meminfo: memFree=129209768/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=32416 memory=23304 CPUtime=0.09 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 3706 0 0 0 9 0 0 0 20 0 1 0 48995203 33193984 5826 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 8104 5826 2349 2403 0 5214 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32416 KiB
Current children cumulated memory: 23304 KiB
[startup+0.205455 s]*
/proc/loadavg: 4.15 4.13 4.09 5/253 268172
/proc/meminfo: memFree=129194544/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=50004 memory=40604 CPUtime=0.2 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 8039 0 0 0 19 1 0 0 20 0 1 0 48995203 51204096 10151 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 12501 10151 2445 2403 0 9611 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50004 KiB
Current children cumulated memory: 40604 KiB
[startup+0.30542 s]*
/proc/loadavg: 4.15 4.13 4.09 5/253 268172
/proc/meminfo: memFree=129193924/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=49092 memory=38780 CPUtime=0.3 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 8569 0 0 0 29 1 0 0 20 0 1 0 48995203 50270208 9695 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 12273 9695 2445 2403 0 9383 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49092 KiB
Current children cumulated memory: 38780 KiB
[startup+0.700165 s]
/proc/loadavg: 4.15 4.13 4.09 5/253 268172
/proc/meminfo: memFree=129192460/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=51828 memory=42000 CPUtime=0.69 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 9372 0 0 0 68 1 0 0 20 0 1 0 48995203 53071872 10500 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 12957 10500 2461 2403 0 10067 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51828 KiB
Current children cumulated memory: 42000 KiB
[startup+1.50019 s]
/proc/loadavg: 4.14 4.13 4.09 5/253 268172
/proc/meminfo: memFree=129184036/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=65364 memory=52032 CPUtime=1.48 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 11906 0 0 0 147 1 0 0 20 0 1 0 48995203 66932736 13008 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 16341 13008 2461 2403 0 13451 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65364 KiB
Current children cumulated memory: 52032 KiB
[startup+3.10458 s]
/proc/loadavg: 4.14 4.13 4.09 5/253 268172
/proc/meminfo: memFree=129175688/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=70972 memory=56516 CPUtime=3.08 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 13033 0 0 0 307 1 0 0 20 0 1 0 48995203 72675328 14129 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 17743 14129 2461 2403 0 14853 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 70972 KiB
Current children cumulated memory: 56516 KiB
[startup+6.30014 s]
/proc/loadavg: 4.13 4.12 4.09 5/253 268174
/proc/meminfo: memFree=129175624/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=70972 memory=56516 CPUtime=6.27 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 13033 0 0 0 626 1 0 0 20 0 1 0 48995203 72675328 14129 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 17743 14129 2461 2403 0 14853 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70972 KiB
Current children cumulated memory: 56516 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/253 268174
/proc/meminfo: memFree=129171172/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=76688 memory=62308 CPUtime=12.64 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 14407 0 0 0 1263 1 0 0 20 0 1 0 48995203 78528512 15577 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 19172 15577 2461 2403 0 16282 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 76688 KiB
Current children cumulated memory: 62308 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.13 4.10 5/253 268177
/proc/meminfo: memFree=129134460/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=129376 memory=97888 CPUtime=25.39 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 22973 0 0 0 2537 2 0 0 20 0 1 0 48995203 132481024 24472 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 32344 24472 2461 2403 0 29454 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 129376 KiB
Current children cumulated memory: 97888 KiB
[startup+51.1053 s]
/proc/loadavg: 4.16 4.14 4.10 5/253 268180
/proc/meminfo: memFree=129097624/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=181716 memory=133996 CPUtime=50.91 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 29873 0 0 0 5087 4 0 0 20 0 1 0 48995203 186077184 33499 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 45429 33499 2461 2403 0 42539 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 181716 KiB
Current children cumulated memory: 133996 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.16 4.10 5/253 268188
/proc/meminfo: memFree=129015232/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=237580 memory=215712 CPUtime=101.93 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 40534 0 0 0 10186 7 0 0 20 0 1 0 48995203 243281920 53928 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 59395 53928 2461 2403 0 56505 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 237580 KiB
Current children cumulated memory: 215712 KiB
[startup+162.3 s]
/proc/loadavg: 4.37 4.19 4.12 5/254 268200
/proc/meminfo: memFree=128949476/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=293896 memory=280804 CPUtime=161.71 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 51608 0 0 0 16163 8 0 0 20 0 1 0 48995203 300949504 70201 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 73474 70201 2461 2403 0 70584 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 293896 KiB
Current children cumulated memory: 280804 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/252 268211
/proc/meminfo: memFree=128915912/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=330324 memory=313772 CPUtime=221.51 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 58639 0 0 0 22141 10 0 0 20 0 1 0 48995203 338251776 78443 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 82581 78443 2461 2403 0 79691 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 330324 KiB
Current children cumulated memory: 313772 KiB
[startup+282.3 s]
/proc/loadavg: 4.24 4.20 4.12 5/252 268221
/proc/meminfo: memFree=128893752/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=352872 memory=335624 CPUtime=281.31 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 62649 0 0 0 28120 11 0 0 20 0 1 0 48995203 361340928 83906 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 88218 83906 2461 2403 0 85328 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 352872 KiB
Current children cumulated memory: 335624 KiB
[startup+342.3 s]
/proc/loadavg: 4.48 4.26 4.14 5/252 268233
/proc/meminfo: memFree=128868604/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=384132 memory=360284 CPUtime=341.1 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 67334 0 0 0 34098 12 0 0 20 0 1 0 48995203 393351168 90071 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 96033 90071 2461 2403 0 93143 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 384132 KiB
Current children cumulated memory: 360284 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.22 4.14 5/252 268243
/proc/meminfo: memFree=128839304/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=418224 memory=388964 CPUtime=400.88 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 71558 0 0 0 40076 12 0 0 20 0 1 0 48995203 428261376 97241 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 104556 97241 2461 2403 0 101666 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 418224 KiB
Current children cumulated memory: 388964 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.21 4.14 5/251 268253
/proc/meminfo: memFree=128814392/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=427404 memory=413556 CPUtime=460.67 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 74387 0 0 0 46054 13 0 0 20 0 1 0 48995203 437661696 103389 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
################
# More data... #
################
/proc/loadavg: 4.16 4.15 4.10 5/251 269940
/proc/meminfo: memFree=128695580/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3212.72 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 306746 14526 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3212.72 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/251 269950
/proc/meminfo: memFree=128695164/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3272.58 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 312139 15119 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/252 269964
/proc/meminfo: memFree=128694800/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3332.44 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 317522 15722 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/252 269974
/proc/meminfo: memFree=128694624/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3392.31 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 322900 16331 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/252 269984
/proc/meminfo: memFree=128694348/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3452.17 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 328300 16917 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 269998
/proc/meminfo: memFree=128693760/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3512.03 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 333702 17501 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3568.37 s]
# the end of solver process 268171 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3378.34 s, system=179.668 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 270000
/proc/meminfo: memFree=128693736/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3522.51 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 334644 17607 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3522.51 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3545.6 s]
/proc/loadavg: 4.17 4.14 4.10 5/254 270005
/proc/meminfo: memFree=128693580/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3535.27 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 335792 17735 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3535.27 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3558.4 s]
/proc/loadavg: 4.05 4.12 4.09 2/233 270099
/proc/meminfo: memFree=128749352/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3548.05 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 336944 17861 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3548.05 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3564.8 s]
/proc/loadavg: 3.81 4.07 4.07 2/233 270099
/proc/meminfo: memFree=128749352/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3554.43 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 337517 17926 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3554.43 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3566.4 s]
/proc/loadavg: 3.81 4.07 4.07 2/233 270101
/proc/meminfo: memFree=128749360/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3556.03 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 337660 17943 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3556.03 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3567.2 s]
/proc/loadavg: 3.58 4.01 4.05 2/233 270101
/proc/meminfo: memFree=128749388/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3556.83 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 337730 17953 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3556.83 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3568 s]*
/proc/loadavg: 3.58 4.01 4.05 2/233 270101
/proc/meminfo: memFree=128749388/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3557.63 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 337800 17963 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3557.63 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3568.2 s]
/proc/loadavg: 3.58 4.01 4.05 2/233 270101
/proc/meminfo: memFree=128749388/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3557.82 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 337818 17964 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3557.82 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
[startup+3568.3 s]
/proc/loadavg: 3.58 4.01 4.05 2/233 270101
/proc/meminfo: memFree=128749388/131524600 swapFree=131071996/131071996
[pid=268171] ppid=268168 vsize=523684 memory=516468 CPUtime=3557.92 cores=0,2
/proc/268171/stat : 268171 (LS-MabS) R 268168 268171 264062 0 -1 4194304 138093 0 0 0 337827 17965 0 0 20 0 1 0 48995203 536252416 129117 134679101440 4194304 14036057 140722058491344 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 31637504 140722058499109 140722058499210 140722058499210 140722058506222 0
/proc/268171/statm: 130921 129117 2476 2403 0 128031 0
Current children cumulated CPU time: 3557.92 s
Current children cumulated vsize: 523684 KiB
Current children cumulated memory: 516468 KiB
Child status: 0
Real time (s): 3568.37
CPU time (s): 3558.01
CPU user time (s): 3378.34
CPU system time (s): 179.668
CPU usage (%): 99.7095
Max. virtual memory (cumulated for all children) (KiB): 892400
Max. memory (cumulated for all children) (KiB): 866376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3378.34
system time used= 179.668
maximum resident set size= 866376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138101
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= 135
involuntary context switches= 25119
# summary of solver processes directly reported to runsolver:
# pid: 268171
# total CPU time (s): 3558.01
# total CPU user time (s): 3378.34
# total CPU system time (s): 179.668
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.1555 second user time and 12.9987 second system time
The end
Begin job on nodeC030 at 2024-08-05 04:12:13
IDJOB=4428491
IDBENCH=158491
IDSOLVER=3048
FILE ID=nodeC030/4428491-1722823933
RUNJOBID= nodeC030-1722816792-264072
SLURM_JOB_ID= 8258594
Free space on /tmp= 890044 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428491-1722823933/watcher-4428491-1722823933 -o /tmp/evaluation-result-4428491-1722823933/solver-4428491-1722823933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722816792-264072 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428491-1722823933.opb -t 3558 -s 749523034
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f
RANDOM SEED=749523034
nodeC030.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 : 3663.031
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 : 7000.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 : 3684.737
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 : 7006.48
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 : 3660.399
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 : 7000.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 : 3600.790
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 : 7006.48
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 : 3677.891
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 : 7000.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 : 3684.756
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 : 7006.48
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 : 3628.939
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 : 7000.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 : 3600.362
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 : 7006.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129224304 kB
MemAvailable: 129870476 kB
Buffers: 302304 kB
Cached: 1190212 kB
SwapCached: 0 kB
Active: 501760 kB
Inactive: 1282908 kB
Active(anon): 1556 kB
Inactive(anon): 328388 kB
Active(file): 500204 kB
Inactive(file): 954520 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 52556 kB
Writeback: 0 kB
AnonPages: 292288 kB
Mapped: 128464 kB
Shmem: 37712 kB
KReclaimable: 62540 kB
Slab: 152624 kB
SReclaimable: 62540 kB
SUnreclaim: 90084 kB
KernelStack: 4064 kB
PageTables: 9840 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 596708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 23808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 165888 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: 299732 kB
DirectMap2M: 21493760 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC030 at 2024-08-05 05:11:41