0.00/0.00 c Filename:instance-4449852-1722827517.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
1773.88/1779.51 c Use LS-small
1773.88/1779.52 o 17
3557.96/3567.33 s SATISFIABLE
3557.96/3567.33 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
3557.96/3567.33 c Done 1773.9s
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 (62853 MiB free)
memory of node 1: 64473 MiB (58341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449852-1722827517/watcher-4449852-1722827517 -o /tmp/evaluation-result-4449852-1722827517/solver-4449852-1722827517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722827517-269723 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4449852-1722827517.opb -t 3558 -s 1270932681
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
Current StackSize limit: 8192 KiB
solver pid=269784, runsolver pid=269781
[startup+0.100524 s]*
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=124044732/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=32256 memory=9384 CPUtime=0.1 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 1726 0 0 0 10 0 0 0 20 0 1 0 49121858 33030144 2346 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 8064 2346 749 2403 0 5174 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32256 KiB
Current children cumulated memory: 9384 KiB
[startup+0.213126 s]*
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123990712/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=42956 memory=26244 CPUtime=0.21 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 4711 0 0 0 20 1 0 0 20 0 1 0 49121858 43986944 6561 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 10739 6561 2077 2403 0 7849 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42956 KiB
Current children cumulated memory: 26244 KiB
[startup+0.313595 s]*
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123941340/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=67404 memory=50088 CPUtime=0.31 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 10709 0 0 0 28 3 0 0 20 0 1 0 49121858 69021696 12522 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 16851 12522 2077 2403 0 13961 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67404 KiB
Current children cumulated memory: 50088 KiB
[startup+0.700378 s]
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123808140/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=130284 memory=111576 CPUtime=0.69 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 25980 0 0 0 59 10 0 0 20 0 1 0 49121858 133410816 27894 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 32571 27894 2317 2403 0 29681 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 130284 KiB
Current children cumulated memory: 111576 KiB
[startup+1.50038 s]
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123733364/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=249940 memory=216504 CPUtime=1.48 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 43333 0 0 0 132 16 0 0 20 0 1 0 49121858 255938560 54126 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 62485 54126 2365 2403 0 59595 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 249940 KiB
Current children cumulated memory: 216504 KiB
[startup+3.11224 s]
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123511392/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=316928 memory=278772 CPUtime=3.09 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 61719 0 0 0 289 20 0 0 20 0 1 0 49121858 324534272 69693 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 79232 69693 2445 2403 0 76342 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 316928 KiB
Current children cumulated memory: 278772 KiB
[startup+6.30027 s]
/proc/loadavg: 3.64 4.04 4.14 5/245 269786
/proc/meminfo: memFree=123445808/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=316928 memory=278772 CPUtime=6.27 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 61719 0 0 0 607 20 0 0 20 0 1 0 49121858 324534272 69693 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 79232 69693 2445 2403 0 76342 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 316928 KiB
Current children cumulated memory: 278772 KiB
[startup+12.7003 s]
/proc/loadavg: 3.67 4.04 4.14 5/245 269788
/proc/meminfo: memFree=123387116/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=397484 memory=317868 CPUtime=12.65 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 72642 0 0 0 1242 23 0 0 20 0 1 0 49121858 407023616 79467 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 99371 79467 2461 2403 0 96481 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 397484 KiB
Current children cumulated memory: 317868 KiB
[startup+25.5003 s]
/proc/loadavg: 3.74 4.04 4.13 5/245 269790
/proc/meminfo: memFree=123227620/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=497644 memory=395728 CPUtime=25.41 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 92117 0 0 0 2515 26 0 0 20 0 1 0 49121858 509587456 98932 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 124411 98932 2461 2403 0 121521 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 497644 KiB
Current children cumulated memory: 395728 KiB
[startup+51.1134 s]
/proc/loadavg: 3.90 4.05 4.14 5/245 269795
/proc/meminfo: memFree=123098428/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=547220 memory=435312 CPUtime=50.95 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 102056 0 0 0 5067 28 0 0 20 0 1 0 49121858 560353280 108828 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 136805 108828 2461 2403 0 133915 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 547220 KiB
Current children cumulated memory: 435312 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.06 4.13 5/245 269804
/proc/meminfo: memFree=122921888/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=568836 memory=458440 CPUtime=101.99 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 119463 0 0 0 10168 31 0 0 20 0 1 0 49121858 582488064 114610 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 142209 114610 2461 2403 0 139319 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 568836 KiB
Current children cumulated memory: 458440 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.06 4.13 5/245 269815
/proc/meminfo: memFree=122779136/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=574616 memory=467124 CPUtime=161.81 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 120681 0 0 0 16149 32 0 0 20 0 1 0 49121858 588406784 116781 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 143654 116781 2461 2403 0 140764 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 574616 KiB
Current children cumulated memory: 467124 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.09 4.13 5/245 269826
/proc/meminfo: memFree=122606156/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=574616 memory=479276 CPUtime=221.62 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 120739 0 0 0 22130 32 0 0 20 0 1 0 49121858 588406784 119819 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 143654 119819 2461 2403 0 140764 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 574616 KiB
Current children cumulated memory: 479276 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.13 5/242 269837
/proc/meminfo: memFree=122427932/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=607776 memory=516664 CPUtime=281.44 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 130841 0 0 0 28110 34 0 0 20 0 1 0 49121858 622362624 129166 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 151944 129166 2461 2403 0 149054 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 607776 KiB
Current children cumulated memory: 516664 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.10 4.13 5/241 269848
/proc/meminfo: memFree=122289684/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=655060 memory=550024 CPUtime=341.26 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 135661 0 0 0 34091 35 0 0 20 0 1 0 49121858 670781440 137506 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 163765 137506 2461 2403 0 160875 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 655060 KiB
Current children cumulated memory: 550024 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/241 269860
/proc/meminfo: memFree=122134580/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=675144 memory=577960 CPUtime=401.09 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 137778 0 0 0 40073 36 0 0 20 0 1 0 49121858 691347456 144490 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 168786 144490 2461 2403 0 165896 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 675144 KiB
Current children cumulated memory: 577960 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/241 269871
/proc/meminfo: memFree=121981484/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=735852 memory=606436 CPUtime=460.92 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 145877 0 0 0 46055 37 0 0 20 0 1 0 49121858 753512448 151609 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
################
# More data... #
################
/proc/loadavg: 4.17 4.14 4.17 5/244 271571
/proc/meminfo: memFree=121651548/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3213.67 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311455 0 0 0 318820 2547 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/241 271581
/proc/meminfo: memFree=121650932/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3273.55 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311468 0 0 0 324701 2654 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/241 271592
/proc/meminfo: memFree=121650184/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3333.42 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311482 0 0 0 330585 2757 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/241 271603
/proc/meminfo: memFree=121649632/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3393.31 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311495 0 0 0 336473 2858 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/241 271614
/proc/meminfo: memFree=121648920/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3453.18 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311509 0 0 0 342364 2954 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 271629
/proc/meminfo: memFree=121648116/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3513.06 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311522 0 0 0 348250 3056 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3567.34 s]
# the end of solver process 269784 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3526.65 s, system=31.3575 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.14 4.14 4.17 5/244 271630
/proc/meminfo: memFree=121647980/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3523.53 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311527 0 0 0 349280 3073 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3523.53 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3545.6 s]
/proc/loadavg: 4.12 4.13 4.16 5/244 271633
/proc/meminfo: memFree=121647896/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3536.3 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311530 0 0 0 350534 3096 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3536.3 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3558.4 s]
/proc/loadavg: 4.09 4.12 4.16 5/244 271635
/proc/meminfo: memFree=121647824/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3549.08 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311531 0 0 0 351788 3120 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3549.08 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3561.6 s]
/proc/loadavg: 4.09 4.12 4.16 5/244 271637
/proc/meminfo: memFree=121647620/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3552.27 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311531 0 0 0 352102 3125 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3552.27 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3564.8 s]
/proc/loadavg: 4.09 4.12 4.16 5/244 271637
/proc/meminfo: memFree=121647724/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3555.47 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311536 0 0 0 352417 3130 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3555.47 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3566.4 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 271637
/proc/meminfo: memFree=121647700/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3557.06 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311536 0 0 0 352573 3133 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3557.06 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3566.8 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 271637
/proc/meminfo: memFree=121647700/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3557.46 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311536 0 0 0 352612 3134 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3557.46 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3567.2 s]
/proc/loadavg: 4.08 4.12 4.16 4/242 271637
/proc/meminfo: memFree=122006804/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3557.86 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311536 0 0 0 352652 3134 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3557.86 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
[startup+3567.3 s]
/proc/loadavg: 4.08 4.12 4.16 4/242 271637
/proc/meminfo: memFree=122006804/131655788 swapFree=131071472/131071996
[pid=269784] ppid=269781 vsize=695668 memory=600840 CPUtime=3557.96 cores=4,6
/proc/269784/stat : 269784 (LS-MabS) R 269781 269784 269712 0 -1 4194304 311536 0 0 0 352661 3135 0 0 20 0 1 0 49121858 712364032 150210 134679101440 4194304 14036057 140730877296272 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 37912576 140730877297696 140730877297798 140730877297798 140730877304814 0
/proc/269784/statm: 173917 150210 2492 2403 0 171027 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 695668 KiB
Current children cumulated memory: 600840 KiB
Child status: 0
Real time (s): 3567.34
CPU time (s): 3558.01
CPU user time (s): 3526.65
CPU system time (s): 31.3575
CPU usage (%): 99.7385
Max. virtual memory (cumulated for all children) (KiB): 1131928
Max. memory (cumulated for all children) (KiB): 972408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3526.65
system time used= 31.3575
maximum resident set size= 972936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311542
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= 77
involuntary context switches= 2250
# summary of solver processes directly reported to runsolver:
# pid: 269784
# total CPU time (s): 3558.01
# total CPU user time (s): 3526.65
# total CPU system time (s): 31.3575
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6558 second user time and 31.2156 second system time
The end
Begin job on nodeC012 at 2024-08-05 05:11:57
IDJOB=4449852
IDBENCH=176150
IDSOLVER=3048
FILE ID=nodeC012/4449852-1722827517
RUNJOBID= nodeC012-1722827517-269723
SLURM_JOB_ID= 8258630
Free space on /tmp= 723748 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=19-t=2.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-4449852-1722827517/watcher-4449852-1722827517 -o /tmp/evaluation-result-4449852-1722827517/solver-4449852-1722827517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722827517-269723 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4449852-1722827517.opb -t 3558 -s 1270932681
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9b7954cd6dc14b590c17dd19cf5c91cb
RANDOM SEED=1270932681
nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.248
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.207
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.206
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.242
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.205
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.208
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.305
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.218
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124116160 kB
MemAvailable: 129996448 kB
Buffers: 315096 kB
Cached: 6397056 kB
SwapCached: 48 kB
Active: 537948 kB
Inactive: 6526220 kB
Active(anon): 1356 kB
Inactive(anon): 379816 kB
Active(file): 536592 kB
Inactive(file): 6146404 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 55012 kB
Writeback: 0 kB
AnonPages: 351268 kB
Mapped: 96772 kB
Shmem: 29440 kB
KReclaimable: 74980 kB
Slab: 159112 kB
SReclaimable: 74980 kB
SUnreclaim: 84132 kB
KernelStack: 3944 kB
PageTables: 9140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 781312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20096 kB
HardwareCorrupted: 0 kB
AnonHugePages: 223232 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 269128 kB
DirectMap2M: 24801280 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC012 at 2024-08-05 06:11:25