0.00/0.01 c Presolving by SCIP...
0.00/0.02 c Encoding OPB into MaxSAT...
0.00/0.02 c This is the PBCProcessor based on SCIP solver.
0.00/0.03 c Solving by WMaxCDCL...
3.35/3.49 c Rebuilding OPB solution...
3.35/3.49 c This is the PBCProcessor based on SCIP solver.
3.35/3.49 o -5301516
3.35/3.49 s OPTIMUM FOUND
3.35/3.49 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
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: 63708 MiB (62709 MiB free)
memory of node 1: 64465 MiB (63736 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512311-1751273771/watcher-4512311-1751273771 -o /tmp/evaluation-result-4512311-1751273771/solver-4512311-1751273771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751268232-34885 --watchdog 3760 HOME/opbsolver HOME/instance-4512311-1751273771.opb 3600 31000 HOME HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=35992, runsolver pid=35989
[startup+0.100063 s]*
/proc/loadavg: 3.14 3.16 3.11 4/262 36001
/proc/meminfo: memFree=129473088/131250000 swapFree=33010684/33010684
[pid=35992] ppid=35989 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/35992/stat : 35992 (opbsolver) S 35989 35992 34866 0 -1 4194304 408 1170 0 0 0 0 0 1 20 0 1 0 43054568 4292608 736 18446744073709551615 94253945487360 94253946381893 140721596071296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94253946620944 94253946668688 94253957328896 140721596078366 140721596078569 140721596078569 140721596084171 0
/proc/35992/statm: 1048 736 672 219 0 110 0
[pid=36001] ppid=35992 vsize=19600 memory=13696 CPUtime=0.05 cores=1,3
/proc/36001/stat : 36001 (wmaxcdcl) R 35992 35992 34866 0 -1 4194304 3118 0 0 0 5 0 0 0 20 0 1 0 43054573 20070400 3424 18446744073709551615 4198400 5932793 140736287846816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 30654464 140736287852891 140736287853036 140736287853036 140736287858636 0
/proc/36001/statm: 4900 3424 448 424 0 4355 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 23792 KiB
Current children cumulated memory: 16640 KiB
[startup+0.205518 s]*
/proc/loadavg: 3.14 3.16 3.11 4/262 36001
/proc/meminfo: memFree=129465440/131250000 swapFree=33010684/33010684
[pid=35992] ppid=35989 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/35992/stat : 35992 (opbsolver) S 35989 35992 34866 0 -1 4194304 408 1170 0 0 0 0 0 1 20 0 1 0 43054568 4292608 736 18446744073709551615 94253945487360 94253946381893 140721596071296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94253946620944 94253946668688 94253957328896 140721596078366 140721596078569 140721596078569 140721596084171 0
/proc/35992/statm: 1048 736 672 219 0 110 0
[pid=36001] ppid=35992 vsize=35852 memory=26660 CPUtime=0.16 cores=1,3
/proc/36001/stat : 36001 (wmaxcdcl) R 35992 35992 34866 0 -1 4194304 4860 0 0 0 15 1 0 0 20 0 1 0 43054573 36712448 6665 18446744073709551615 4198400 5932793 140736287846816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 30654464 140736287852891 140736287853036 140736287853036 140736287858636 0
/proc/36001/statm: 8963 6665 448 424 0 8418 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 40044 KiB
Current children cumulated memory: 29604 KiB
[startup+0.305364 s]*
/proc/loadavg: 3.14 3.16 3.11 5/262 36001
/proc/meminfo: memFree=129465440/131250000 swapFree=33010684/33010684
[pid=35992] ppid=35989 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/35992/stat : 35992 (opbsolver) S 35989 35992 34866 0 -1 4194304 408 1170 0 0 0 0 0 1 20 0 1 0 43054568 4292608 736 18446744073709551615 94253945487360 94253946381893 140721596071296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94253946620944 94253946668688 94253957328896 140721596078366 140721596078569 140721596078569 140721596084171 0
/proc/35992/statm: 1048 736 672 219 0 110 0
[pid=36001] ppid=35992 vsize=38572 memory=30276 CPUtime=0.26 cores=1,3
/proc/36001/stat : 36001 (wmaxcdcl) R 35992 35992 34866 0 -1 4194304 5258 0 0 0 25 1 0 0 20 0 1 0 43054573 39497728 7569 18446744073709551615 4198400 5932793 140736287846816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 30654464 140736287852891 140736287853036 140736287853036 140736287858636 0
/proc/36001/statm: 9643 7569 448 424 0 9098 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 42764 KiB
Current children cumulated memory: 33220 KiB
[startup+0.700125 s]
/proc/loadavg: 3.13 3.16 3.11 4/262 36001
/proc/meminfo: memFree=129465440/131250000 swapFree=33010684/33010684
[pid=35992] ppid=35989 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/35992/stat : 35992 (opbsolver) S 35989 35992 34866 0 -1 4194304 408 1170 0 0 0 0 0 1 20 0 1 0 43054568 4292608 736 18446744073709551615 94253945487360 94253946381893 140721596071296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94253946620944 94253946668688 94253957328896 140721596078366 140721596078569 140721596078569 140721596084171 0
/proc/35992/statm: 1048 736 672 219 0 110 0
[pid=36001] ppid=35992 vsize=38572 memory=30532 CPUtime=0.65 cores=1,3
/proc/36001/stat : 36001 (wmaxcdcl) R 35992 35992 34866 0 -1 4194304 5320 0 0 0 64 1 0 0 20 0 1 0 43054573 39497728 7633 18446744073709551615 4198400 5932793 140736287846816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 30654464 140736287852891 140736287853036 140736287853036 140736287858636 0
/proc/36001/statm: 9643 7633 448 424 0 9098 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 42764 KiB
Current children cumulated memory: 33476 KiB
[startup+1.50019 s]
/proc/loadavg: 3.13 3.16 3.11 4/262 36001
/proc/meminfo: memFree=129465440/131250000 swapFree=33010684/33010684
[pid=35992] ppid=35989 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/35992/stat : 35992 (opbsolver) S 35989 35992 34866 0 -1 4194304 408 1170 0 0 0 0 0 1 20 0 1 0 43054568 4292608 736 18446744073709551615 94253945487360 94253946381893 140721596071296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94253946620944 94253946668688 94253957328896 140721596078366 140721596078569 140721596078569 140721596084171 0
/proc/35992/statm: 1048 736 672 219 0 110 0
[pid=36001] ppid=35992 vsize=43452 memory=33524 CPUtime=1.45 cores=1,3
/proc/36001/stat : 36001 (wmaxcdcl) R 35992 35992 34866 0 -1 4194304 5559 0 0 0 144 1 0 0 20 0 1 0 43054573 44494848 8381 18446744073709551615 4198400 5932793 140736287846816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 30654464 140736287852891 140736287853036 140736287853036 140736287858636 0
/proc/36001/statm: 10863 8381 448 424 0 10318 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 47644 KiB
Current children cumulated memory: 36468 KiB
[startup+3.10523 s]
/proc/loadavg: 3.13 3.16 3.11 4/262 36001
/proc/meminfo: memFree=129464936/131250000 swapFree=33010684/33010684
[pid=35992] ppid=35989 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/35992/stat : 35992 (opbsolver) S 35989 35992 34866 0 -1 4194304 408 1170 0 0 0 0 0 1 20 0 1 0 43054568 4292608 736 18446744073709551615 94253945487360 94253946381893 140721596071296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94253946620944 94253946668688 94253957328896 140721596078366 140721596078569 140721596078569 140721596084171 0
/proc/35992/statm: 1048 736 672 219 0 110 0
[pid=36001] ppid=35992 vsize=43452 memory=34036 CPUtime=3.05 cores=1,3
/proc/36001/stat : 36001 (wmaxcdcl) R 35992 35992 34866 0 -1 4194304 5705 0 0 0 304 1 0 0 20 0 1 0 43054573 44494848 8509 18446744073709551615 4198400 5932793 140736287846816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 30654464 140736287852891 140736287853036 140736287853036 140736287858636 0
/proc/36001/statm: 10863 8509 448 424 0 10318 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 47644 KiB
Current children cumulated memory: 36980 KiB
[startup+3.50557 s]
# the end of solver process 35992 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3.44071 s, system=0.028805 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20019 s]
/proc/loadavg: 3.13 3.16 3.11 4/262 36001
/proc/meminfo: memFree=129464936/131250000 swapFree=33010684/33010684
[pid=35992] ppid=35989 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/35992/stat : 35992 (opbsolver) S 35989 35992 34866 0 -1 4194304 408 1170 0 0 0 0 0 1 20 0 1 0 43054568 4292608 736 18446744073709551615 94253945487360 94253946381893 140721596071296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94253946620944 94253946668688 94253957328896 140721596078366 140721596078569 140721596078569 140721596084171 0
/proc/35992/statm: 1048 736 672 219 0 110 0
[pid=36001] ppid=35992 vsize=43452 memory=34036 CPUtime=3.14 cores=1,3
/proc/36001/stat : 36001 (wmaxcdcl) R 35992 35992 34866 0 -1 4194304 5710 0 0 0 313 1 0 0 20 0 1 0 43054573 44494848 8509 18446744073709551615 4198400 5932793 140736287846816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 30654464 140736287852891 140736287853036 140736287853036 140736287858636 0
/proc/36001/statm: 10863 8509 448 424 0 10318 0
Current children cumulated CPU time: 3.15 s
Current children cumulated vsize: 47644 KiB
Current children cumulated memory: 36980 KiB
[startup+3.40011 s]
/proc/loadavg: 3.13 3.16 3.11 4/262 36001
/proc/meminfo: memFree=129464936/131250000 swapFree=33010684/33010684
[pid=35992] ppid=35989 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/35992/stat : 35992 (opbsolver) S 35989 35992 34866 0 -1 4194304 408 1170 0 0 0 0 0 1 20 0 1 0 43054568 4292608 736 18446744073709551615 94253945487360 94253946381893 140721596071296 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94253946620944 94253946668688 94253957328896 140721596078366 140721596078569 140721596078569 140721596084171 0
/proc/35992/statm: 1048 736 672 219 0 110 0
[pid=36001] ppid=35992 vsize=43452 memory=34164 CPUtime=3.34 cores=1,3
/proc/36001/stat : 36001 (wmaxcdcl) R 35992 35992 34866 0 -1 4194304 5730 0 0 0 333 1 0 0 20 0 1 0 43054573 44494848 8541 18446744073709551615 4198400 5932793 140736287846816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 6359800 6411760 30654464 140736287852891 140736287853036 140736287853036 140736287858636 0
/proc/36001/statm: 10863 8541 448 424 0 10318 0
Current children cumulated CPU time: 3.35 s
Current children cumulated vsize: 47644 KiB
Current children cumulated memory: 37108 KiB
[startup+3.50013 s]
/proc/loadavg: 3.13 3.16 3.11 4/262 36001
/proc/meminfo: memFree=129464936/131250000 swapFree=33010684/33010684
[pid=35992] ppid=35989 vsize=4192 memory=2944 CPUtime=3.45 cores=1,3
/proc/35992/stat : 35992 (opbsolver) D 35989 35992 34866 0 -1 4456448 446 7143 0 0 0 0 343 2 20 0 1 0 43054568 4292608 736 18446744073709551615 94253945487360 94253946381893 140721596071296 0 0 0 0 4 65536 1 0 0 17 3 0 0 0 0 0 94253946620944 94253946668688 94253957328896 140721596078366 140721596078569 140721596078569 140721596084171 0
/proc/35992/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 3.5056
CPU time (s): 3.46951
CPU user time (s): 3.44071
CPU system time (s): 0.028805
CPU usage (%): 98.9707
Max. virtual memory (cumulated for all children) (KiB): 47644
Max. memory (cumulated for all children) (KiB): 37108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.44071
system time used= 0.028805
maximum resident set size= 34164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 473
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 35992
# total CPU time (s): 3.46951
# total CPU user time (s): 3.44071
# total CPU system time (s): 0.028805
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012836 second user time and 0.045083 second system time
The end
Begin job on nodeC019 at 2025-06-30 10:56:11
IDJOB=4512311
IDBENCH=160615
IDSOLVER=3374
FILE ID=nodeC019/4512311-1751273771
RUNJOBID= nodeC019-1751268232-34885
SLURM_JOB_ID= 9594186
Free space on /tmp= 433004 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0344-0344.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512311-1751273771/watcher-4512311-1751273771 -o /tmp/evaluation-result-4512311-1751273771/solver-4512311-1751273771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751268232-34885 --watchdog 3760 HOME/opbsolver HOME/instance-4512311-1751273771.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b00a1f0a29adc01e4225355c4efe31e0
RANDOM SEED=774654925
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.571
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3595.980
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3755.799
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.664
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3599.486
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.673
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3580.516
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3605.212
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129480996 kB
MemAvailable: 129477052 kB
Buffers: 3280 kB
Cached: 804292 kB
SwapCached: 0 kB
Active: 607856 kB
Inactive: 547416 kB
Active(anon): 365764 kB
Inactive(anon): 0 kB
Active(file): 242092 kB
Inactive(file): 547416 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 20616 kB
Writeback: 20 kB
AnonPages: 350776 kB
Mapped: 106684 kB
Shmem: 18064 kB
KReclaimable: 91576 kB
Slab: 176732 kB
SReclaimable: 91576 kB
SUnreclaim: 85156 kB
KernelStack: 4176 kB
PageTables: 3576 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 671764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 256000 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC019 at 2025-06-30 10:56:14