0.77/0.80 c Filename:instance-4502594-1751453756.opb, Cutoff_time:3600, memory_limit_gb:500000
0.77/0.80 c Scip time: 1800
0.77/0.80 c Use Presolve
0.77/0.80 c Parse finsih
0.77/0.80 c Start Presolve
0.77/0.80 c After Reduce Vars: 666 Clauses: 1728 Top clause weight: 18685 Hard Clauses: 1062
3600.01/3607.50 c Use LS-small
3600.01/3607.50 c Use postsolve
3600.01/3607.50 o 122
3600.01/3607.50 s SATISFIABLE
3600.01/3607.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792
3600.01/3607.50 c Use postsolve
3600.01/3607.50 c Done 75.72s
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: 63665 MiB (62805 MiB free)
memory of node 1: 64507 MiB (62904 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502594-1751453756/watcher-4502594-1751453756 -o /tmp/evaluation-result-4502594-1751453756/solver-4502594-1751453756 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751450146-69090 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4502594-1751453756.opb -t 3600 -s 29902924
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=69456, runsolver pid=69452
[startup+0.100061 s]*
/proc/loadavg: 4.08 4.14 4.11 3/258 69467
/proc/meminfo: memFree=128750560/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=31812 memory=22912 CPUtime=0.09 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 3212 0 0 0 9 0 0 0 20 0 1 0 61053510 32575488 5728 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 7953 5728 2816 2752 0 4606 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31812 KiB
Current children cumulated memory: 22912 KiB
[startup+0.204909 s]*
/proc/loadavg: 4.08 4.14 4.11 3/259 69471
/proc/meminfo: memFree=128750808/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=34476 memory=25344 CPUtime=0.19 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 3799 0 0 0 19 0 0 0 20 0 1 0 61053510 35303424 6336 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 8619 6336 2816 2752 0 5272 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34476 KiB
Current children cumulated memory: 25344 KiB
[startup+0.305117 s]*
/proc/loadavg: 4.08 4.14 4.11 4/257 69472
/proc/meminfo: memFree=128750104/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=37452 memory=28032 CPUtime=0.29 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 4494 0 0 0 29 0 0 0 20 0 1 0 61053510 38350848 7008 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 9363 7008 2816 2752 0 6016 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37452 KiB
Current children cumulated memory: 28032 KiB
[startup+0.700146 s]
/proc/loadavg: 4.08 4.14 4.11 4/262 69481
/proc/meminfo: memFree=128744244/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=53100 memory=41984 CPUtime=0.67 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 7989 0 0 0 66 1 0 0 20 0 1 0 61053510 54374400 10496 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 13275 10496 2816 2752 0 9928 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 41984 KiB
[startup+1.5001 s]
/proc/loadavg: 4.08 4.14 4.11 4/263 69482
/proc/meminfo: memFree=128706272/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=55932 memory=44952 CPUtime=1.47 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 9752 0 0 0 146 1 0 0 20 0 1 0 61053510 57274368 11238 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 13983 11238 2816 2752 0 10636 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 55932 KiB
Current children cumulated memory: 44952 KiB
[startup+3.10539 s]
/proc/loadavg: 4.16 4.15 4.11 5/266 69518
/proc/meminfo: memFree=128661816/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=73424 memory=62104 CPUtime=3.07 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 14042 0 0 0 305 2 0 0 20 0 1 0 61053510 75186176 15526 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 18356 15526 2816 2752 0 15009 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 73424 KiB
Current children cumulated memory: 62104 KiB
[startup+6.30016 s]
/proc/loadavg: 4.16 4.15 4.11 5/267 69520
/proc/meminfo: memFree=128633916/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=78140 memory=67120 CPUtime=6.26 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 15532 0 0 0 623 3 0 0 20 0 1 0 61053510 80015360 16780 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 19535 16780 2816 2752 0 16188 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 78140 KiB
Current children cumulated memory: 67120 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.17 4.12 5/264 69591
/proc/meminfo: memFree=129689276/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=107392 memory=96836 CPUtime=12.64 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 23295 0 0 0 1260 4 0 0 20 0 1 0 61053510 109969408 24209 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26848 24209 3168 2752 0 23501 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 107392 KiB
Current children cumulated memory: 96836 KiB
[startup+25.5001 s]
/proc/loadavg: 4.17 4.16 4.11 5/267 69610
/proc/meminfo: memFree=129508532/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=123732 memory=113092 CPUtime=25.38 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 27332 0 0 0 2534 4 0 0 20 0 1 0 61053510 126701568 28273 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 30933 28273 3168 2752 0 27586 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 123732 KiB
Current children cumulated memory: 113092 KiB
[startup+51.1054 s]
/proc/loadavg: 4.19 4.16 4.11 5/267 69610
/proc/meminfo: memFree=129445336/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=147592 memory=136388 CPUtime=50.91 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 32920 0 0 0 5085 6 0 0 20 0 1 0 61053510 151134208 34097 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 36898 34097 3168 2752 0 33551 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 147592 KiB
Current children cumulated memory: 136388 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/268 69613
/proc/meminfo: memFree=129413432/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=101.96 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36617 0 0 0 10189 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/268 69617
/proc/meminfo: memFree=129318060/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=161.84 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36620 0 0 0 16177 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/266 69619
/proc/meminfo: memFree=129232300/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=221.72 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36622 0 0 0 22165 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 69627
/proc/meminfo: memFree=129135912/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=281.6 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36623 0 0 0 28153 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 69640
/proc/meminfo: memFree=129096200/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=341.47 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36624 0 0 0 34140 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 69644
/proc/meminfo: memFree=129048056/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=401.35 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36624 0 0 0 40128 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 69646
/proc/meminfo: memFree=129035016/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=461.22 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36625 0 0 0 46115 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 461.22 s
################
# More data... #
################
Current children cumulated memory: 100624 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 69770
/proc/meminfo: memFree=128998332/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=2916.2 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36636 0 0 0 291613 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 2916.2 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 69772
/proc/meminfo: memFree=128999472/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=2976.08 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36636 0 0 0 297601 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 2976.08 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 69774
/proc/meminfo: memFree=129000016/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=3035.96 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36636 0 0 0 303589 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 3035.96 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+3102.3 s]
/proc/loadavg: 4.36 4.16 4.11 5/263 69776
/proc/meminfo: memFree=129000480/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=3095.84 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36637 0 0 0 309577 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 3095.84 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.17 4.12 5/264 69781
/proc/meminfo: memFree=129000616/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=3155.71 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36637 0 0 0 315564 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 3155.71 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 69784
/proc/meminfo: memFree=129001760/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=3215.59 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36637 0 0 0 321552 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 3215.59 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 69790
/proc/meminfo: memFree=129002216/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=3275.47 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36638 0 0 0 327540 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 3275.47 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/264 69793
/proc/meminfo: memFree=129003628/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=3335.35 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36638 0 0 0 333528 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 3335.35 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 69795
/proc/meminfo: memFree=129004508/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=3395.23 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36638 0 0 0 339516 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 3395.23 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 69797
/proc/meminfo: memFree=129005124/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=3455.1 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36638 0 0 0 345503 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 3455.1 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 69799
/proc/meminfo: memFree=129005732/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=3514.98 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36638 0 0 0 351491 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 3514.98 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 69802
/proc/meminfo: memFree=129006660/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=3574.86 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36639 0 0 0 357479 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 3574.86 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.5 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 69802
/proc/meminfo: memFree=129007164/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=3600.01 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36639 0 0 0 359994 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.5 s]
# the end of solver process 69456 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.95 s, system=0.074755 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.5 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 69802
/proc/meminfo: memFree=129007164/131250000 swapFree=33010416/33010684
[pid=69456] ppid=69452 vsize=106808 memory=100624 CPUtime=3600.01 cores=5,7
/proc/69456/stat : 69456 (NuPBO-DeepOptS+) R 69452 69456 69077 0 -1 4194304 36639 0 0 0 359994 7 0 0 20 0 1 0 61053510 109371392 25156 18446744073709551615 4198400 15468185 140736472256080 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42819584 140736472258968 140736472259076 140736472259076 140736472264678 0
/proc/69456/statm: 26702 25156 3168 2752 0 23355 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 106808 KiB
Current children cumulated memory: 100624 KiB
Child status: 10
Real time (s): 3607.5
CPU time (s): 3600.02
CPU user time (s): 3599.95
CPU system time (s): 0.074755
CPU usage (%): 99.7926
Max. virtual memory (cumulated for all children) (KiB): 163080
Max. memory (cumulated for all children) (KiB): 151236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.95
system time used= 0.074755
maximum resident set size= 151236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36668
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= 40
involuntary context switches= 992
# summary of solver processes directly reported to runsolver:
# pid: 69456
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.95
# total CPU system time (s): 0.074755
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.074 second user time and 11.512 second system time
The end
Begin job on nodeC018 at 2025-07-02 12:55:57
IDJOB=4502594
IDBENCH=155354
IDSOLVER=3343
FILE ID=nodeC018/4502594-1751453756
RUNJOBID= nodeC018-1751450146-69090
SLURM_JOB_ID= 9598432
Free space on /tmp= 432868 MiB
SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502594-1751453756/watcher-4502594-1751453756 -o /tmp/evaluation-result-4502594-1751453756/solver-4502594-1751453756 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751450146-69090 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4502594-1751453756.opb -t 3600 -s 29902924
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fe13d2dbd64f41a692445fbdcafba3bd
RANDOM SEED=29902924
nodeC018 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 : 1918.192
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.66
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 : 3599.835
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.66
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 : 2130.866
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.66
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 : 3601.002
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.66
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 : 2801.908
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.66
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 : 3601.074
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.66
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 : 2853.573
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.66
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 : 3599.825
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128727076 kB
MemAvailable: 128569072 kB
Buffers: 2128 kB
Cached: 608004 kB
SwapCached: 32 kB
Active: 1580648 kB
Inactive: 191176 kB
Active(anon): 1179448 kB
Inactive(anon): 288 kB
Active(file): 401200 kB
Inactive(file): 190888 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16488 kB
Writeback: 4 kB
AnonPages: 1164564 kB
Mapped: 115264 kB
Shmem: 18044 kB
KReclaimable: 177892 kB
Slab: 268304 kB
SReclaimable: 177892 kB
SUnreclaim: 90412 kB
KernelStack: 4176 kB
PageTables: 5184 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1458612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1101824 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432872 MiB
End job on nodeC018 at 2025-07-02 13:56:04