0.00/0.00 c Filename:instance-4449712-1722827509.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
1774.24/1779.30 c Use LS-small
1774.24/1779.32 o 18
3557.90/3565.99 s SATISFIABLE
3557.90/3565.99 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
3557.90/3565.99 c Done 1774.27s
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 (62822 MiB free)
memory of node 1: 64473 MiB (63232 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449712-1722827509/watcher-4449712-1722827509 -o /tmp/evaluation-result-4449712-1722827509/solver-4449712-1722827509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722827509-272800 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4449712-1722827509.opb -t 3558 -s 485706070
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
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=272860, runsolver pid=272857
[startup+0.101497 s]*
/proc/loadavg: 3.48 3.99 4.05 5/259 272861
/proc/meminfo: memFree=129029744/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=56068 memory=37324 CPUtime=0.09 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 7465 0 0 0 8 1 0 0 20 0 1 0 49352869 57413632 9331 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 14017 9331 2077 2403 0 11127 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56068 KiB
Current children cumulated memory: 37324 KiB
[startup+0.205379 s]*
/proc/loadavg: 3.48 3.99 4.05 5/259 272861
/proc/meminfo: memFree=128914620/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=130228 memory=111056 CPUtime=0.19 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 26117 0 0 0 15 4 0 0 20 0 1 0 49352869 133353472 27764 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 32557 27764 2237 2403 0 29667 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 130228 KiB
Current children cumulated memory: 111056 KiB
[startup+0.305675 s]*
/proc/loadavg: 3.48 3.99 4.05 5/259 272861
/proc/meminfo: memFree=128831052/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=154124 memory=133796 CPUtime=0.3 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 31705 0 0 0 25 5 0 0 20 0 1 0 49352869 157822976 33449 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 38531 33449 2317 2403 0 35641 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 154124 KiB
Current children cumulated memory: 133796 KiB
[startup+0.700232 s]
/proc/loadavg: 3.48 3.99 4.05 5/259 272861
/proc/meminfo: memFree=128680836/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=249352 memory=218076 CPUtime=0.68 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 50814 0 0 0 60 8 0 0 20 0 1 0 49352869 255336448 54519 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 62338 54519 2365 2403 0 59448 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 249352 KiB
Current children cumulated memory: 218076 KiB
[startup+1.50018 s]
/proc/loadavg: 3.48 3.99 4.05 5/259 272863
/proc/meminfo: memFree=128436600/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=360560 memory=324596 CPUtime=1.49 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 74572 0 0 0 137 12 0 0 20 0 1 0 49352869 369213440 81149 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 90140 81149 2445 2403 0 87250 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 360560 KiB
Current children cumulated memory: 324596 KiB
[startup+3.10532 s]
/proc/loadavg: 3.48 3.99 4.05 5/259 272863
/proc/meminfo: memFree=128123776/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=361128 memory=325124 CPUtime=3.08 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 74717 0 0 0 296 12 0 0 20 0 1 0 49352869 369795072 81281 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 90282 81281 2445 2403 0 87392 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 361128 KiB
Current children cumulated memory: 325124 KiB
[startup+6.30016 s]
/proc/loadavg: 3.52 3.99 4.05 5/259 272863
/proc/meminfo: memFree=128106788/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=392124 memory=337144 CPUtime=6.27 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 77700 0 0 0 614 13 0 0 20 0 1 0 49352869 401534976 84286 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 98031 84286 2461 2403 0 95141 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 392124 KiB
Current children cumulated memory: 337144 KiB
[startup+12.7002 s]
/proc/loadavg: 3.64 4.00 4.06 5/259 272864
/proc/meminfo: memFree=128050868/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=476572 memory=374924 CPUtime=12.66 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 87923 0 0 0 1251 15 0 0 20 0 1 0 49352869 488009728 93731 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 119143 93731 2461 2403 0 116253 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 476572 KiB
Current children cumulated memory: 374924 KiB
[startup+25.5002 s]
/proc/loadavg: 3.70 4.00 4.06 5/259 272866
/proc/meminfo: memFree=127897940/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=577748 memory=460652 CPUtime=25.43 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 109389 0 0 0 2524 19 0 0 20 0 1 0 49352869 591613952 115163 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 144437 115163 2461 2403 0 141547 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 577748 KiB
Current children cumulated memory: 460652 KiB
[startup+51.1055 s]
/proc/loadavg: 3.97 4.03 4.06 5/259 272870
/proc/meminfo: memFree=127668056/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=586868 memory=472832 CPUtime=50.95 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 122739 0 0 0 5074 21 0 0 20 0 1 0 49352869 600952832 118208 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 146717 118208 2461 2403 0 143827 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 586868 KiB
Current children cumulated memory: 472832 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.10 4.09 5/259 272879
/proc/meminfo: memFree=127558100/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=631388 memory=504400 CPUtime=102.01 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 142096 0 0 0 10176 25 0 0 20 0 1 0 49352869 646541312 126100 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 157847 126100 2461 2403 0 154957 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 631388 KiB
Current children cumulated memory: 504400 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.13 4.10 5/259 272890
/proc/meminfo: memFree=127494820/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=718448 memory=522464 CPUtime=161.86 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 147173 0 0 0 16160 26 0 0 20 0 1 0 49352869 735690752 130616 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 179612 130616 2461 2403 0 176722 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 718448 KiB
Current children cumulated memory: 522464 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/259 272900
/proc/meminfo: memFree=127415136/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=748716 memory=552384 CPUtime=221.68 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 154181 0 0 0 22141 27 0 0 20 0 1 0 49352869 766685184 138096 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 187179 138096 2461 2403 0 184289 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 748716 KiB
Current children cumulated memory: 552384 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/257 272911
/proc/meminfo: memFree=127288104/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=779072 memory=563900 CPUtime=281.53 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 161561 0 0 0 28124 29 0 0 20 0 1 0 49352869 797769728 140975 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 194768 140975 2461 2403 0 191878 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 779072 KiB
Current children cumulated memory: 563900 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 272924
/proc/meminfo: memFree=127196748/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=807532 memory=591356 CPUtime=341.36 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 166421 0 0 0 34106 30 0 0 20 0 1 0 49352869 826912768 147839 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 201883 147839 2461 2403 0 198993 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 807532 KiB
Current children cumulated memory: 591356 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 272936
/proc/meminfo: memFree=127090196/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=803612 memory=586148 CPUtime=401.2 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 169966 0 0 0 40089 31 0 0 20 0 1 0 49352869 822898688 146537 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 200903 146537 2461 2403 0 198013 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 803612 KiB
Current children cumulated memory: 586148 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 272946
/proc/meminfo: memFree=126978020/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=810424 memory=586312 CPUtime=461.05 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 175355 0 0 0 46073 32 0 0 20 0 1 0 49352869 829874176 146578 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
################
# More data... #
################
/proc/loadavg: 4.08 4.09 4.09 5/258 274653
/proc/meminfo: memFree=126957244/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3214.87 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291300 0 0 0 319219 2268 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3214.87 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 274664
/proc/meminfo: memFree=126956464/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3274.77 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291320 0 0 0 325118 2359 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3274.77 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/255 274676
/proc/meminfo: memFree=126955924/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3334.68 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291339 0 0 0 331022 2446 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3334.68 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/255 274687
/proc/meminfo: memFree=126955088/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3394.57 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291359 0 0 0 336923 2534 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3394.57 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/256 274698
/proc/meminfo: memFree=126954324/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3454.47 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291378 0 0 0 342820 2627 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3454.47 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 274712
/proc/meminfo: memFree=126953500/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3514.38 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291398 0 0 0 348719 2719 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3514.38 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3566 s]
# the end of solver process 272860 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3530.18 s, system=27.8295 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.09 5/258 274714
/proc/meminfo: memFree=126953520/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3524.86 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291403 0 0 0 349751 2735 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3524.86 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3545.6 s]
/proc/loadavg: 4.16 4.11 4.09 5/258 274716
/proc/meminfo: memFree=126953388/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3537.63 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291404 0 0 0 351010 2753 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3537.63 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3558.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 274719
/proc/meminfo: memFree=126953376/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3550.41 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291411 0 0 0 352270 2771 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3550.41 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3561.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 274720
/proc/meminfo: memFree=126953332/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3553.61 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291411 0 0 0 352585 2776 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3553.61 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3563.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 274720
/proc/meminfo: memFree=126953304/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3555.21 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291411 0 0 0 352743 2778 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3555.21 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3564.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 274720
/proc/meminfo: memFree=126953268/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3556.81 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291411 0 0 0 352900 2781 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3556.81 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3565.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 274720
/proc/meminfo: memFree=126953300/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3557.6 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291411 0 0 0 352978 2782 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3557.6 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3565.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 274720
/proc/meminfo: memFree=126953300/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3557.8 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291411 0 0 0 352998 2782 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3557.8 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
[startup+3565.9 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 274720
/proc/meminfo: memFree=126953300/131524600 swapFree=131071996/131071996
[pid=272860] ppid=272857 vsize=785192 memory=615644 CPUtime=3557.9 cores=1,3
/proc/272860/stat : 272860 (LS-MabS) R 272857 272860 272788 0 -1 4194304 291411 0 0 0 353008 2782 0 0 20 0 1 0 49352869 804036608 153911 134679101440 4194304 14036057 140725706378320 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 44126208 140725706380321 140725706380422 140725706380422 140725706387438 0
/proc/272860/statm: 196298 153911 2492 2403 0 193408 0
Current children cumulated CPU time: 3557.9 s
Current children cumulated vsize: 785192 KiB
Current children cumulated memory: 615644 KiB
Child status: 0
Real time (s): 3566
CPU time (s): 3558.01
CPU user time (s): 3530.18
CPU system time (s): 27.8295
CPU usage (%): 99.7761
Max. virtual memory (cumulated for all children) (KiB): 1153880
Max. memory (cumulated for all children) (KiB): 913324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3530.18
system time used= 27.8295
maximum resident set size= 913324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291416
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= 55
involuntary context switches= 1471
# summary of solver processes directly reported to runsolver:
# pid: 272860
# total CPU time (s): 3558.01
# total CPU user time (s): 3530.18
# total CPU system time (s): 27.8295
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21924 second user time and 14.3631 second system time
The end
Begin job on nodeC032 at 2024-08-05 05:11:49
IDJOB=4449712
IDBENCH=176097
IDSOLVER=3048
FILE ID=nodeC032/4449712-1722827509
RUNJOBID= nodeC032-1722827509-272800
SLURM_JOB_ID= 8258626
Free space on /tmp= 890040 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=20-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-4449712-1722827509/watcher-4449712-1722827509 -o /tmp/evaluation-result-4449712-1722827509/solver-4449712-1722827509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722827509-272800 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4449712-1722827509.opb -t 3558 -s 485706070
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=485706070
nodeC032.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 : 3646.401
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
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 : 3663.530
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 : 7005.64
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 : 3624.078
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
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.565
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 : 7005.64
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 : 3643.740
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
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 : 3664.568
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 : 7005.64
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 : 3629.507
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
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 : 3623.894
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 : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129100796 kB
MemAvailable: 129795276 kB
Buffers: 305768 kB
Cached: 1226996 kB
SwapCached: 0 kB
Active: 530768 kB
Inactive: 1376056 kB
Active(anon): 1428 kB
Inactive(anon): 402152 kB
Active(file): 529340 kB
Inactive(file): 973904 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58956 kB
Writeback: 64 kB
AnonPages: 373880 kB
Mapped: 98700 kB
Shmem: 29524 kB
KReclaimable: 62120 kB
Slab: 152936 kB
SReclaimable: 62120 kB
SUnreclaim: 90816 kB
KernelStack: 3892 kB
PageTables: 10700 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 706476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 25280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 253952 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: 283348 kB
DirectMap2M: 21510144 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC032 at 2024-08-05 06:11:15