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 (45048 MiB free)
memory of node 1: 64465 MiB (62535 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499321-1751408425/watcher-4499321-1751408425 -o /tmp/evaluation-result-4499321-1751408425/solver-4499321-1751408425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751406746-52553 --watchdog 3760 HOME/opbsolver HOME/instance-4499321-1751408425.opb 3600 31000 HOME HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=53184, runsolver pid=53181
[startup+0.100063 s]*
/proc/loadavg: 4.12 4.11 3.75 5/268 53188
/proc/meminfo: memFree=110129868/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=56700 memory=45568 CPUtime=0.08 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 9140 0 0 0 7 1 0 0 20 0 1 0 56520005 58060800 11360 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 14175 11392 2496 2826 0 10787 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60892 KiB
Current children cumulated memory: 48512 KiB
[startup+0.205638 s]*
/proc/loadavg: 4.12 4.11 3.75 5/268 53188
/proc/meminfo: memFree=110115000/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=80592 memory=61328 CPUtime=0.18 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 12664 0 0 0 16 2 0 0 20 0 1 0 56520005 82526208 15332 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 20148 15332 2528 2826 0 16760 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 84784 KiB
Current children cumulated memory: 64272 KiB
[startup+0.305539 s]*
/proc/loadavg: 4.12 4.11 3.75 5/268 53188
/proc/meminfo: memFree=110111976/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=82616 memory=63760 CPUtime=0.28 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 13264 0 0 0 26 2 0 0 20 0 1 0 56520005 84598784 15940 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 20654 15940 2528 2826 0 17266 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 86808 KiB
Current children cumulated memory: 66704 KiB
[startup+0.700159 s]
/proc/loadavg: 4.12 4.11 3.75 5/268 53188
/proc/meminfo: memFree=110107944/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=85652 memory=67216 CPUtime=0.67 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 14114 0 0 0 65 2 0 0 20 0 1 0 56520005 87707648 16804 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 21413 16804 2528 2826 0 18025 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 89844 KiB
Current children cumulated memory: 70160 KiB
[startup+1.50021 s]
/proc/loadavg: 4.12 4.11 3.75 5/268 53188
/proc/meminfo: memFree=110096556/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=116364 memory=97660 CPUtime=1.46 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 22308 0 0 0 143 3 0 0 20 0 1 0 56520005 119156736 24415 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 29091 24415 2528 2826 0 25703 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 120556 KiB
Current children cumulated memory: 100604 KiB
[startup+3.10553 s]
/proc/loadavg: 4.12 4.11 3.75 5/268 53188
/proc/meminfo: memFree=110052296/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=121904 memory=103164 CPUtime=3.07 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 23704 0 0 0 303 4 0 0 20 0 1 0 56520005 124829696 25791 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 30476 25791 2528 2826 0 27088 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 126096 KiB
Current children cumulated memory: 106108 KiB
[startup+6.3002 s]
/proc/loadavg: 4.11 4.11 3.76 5/268 53188
/proc/meminfo: memFree=109978896/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=188972 memory=168080 CPUtime=6.25 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 43058 0 0 0 618 7 0 0 20 0 1 0 56520005 193507328 42020 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 47243 42020 2688 2826 0 43855 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 193164 KiB
Current children cumulated memory: 171024 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 3.76 5/268 53188
/proc/meminfo: memFree=110084076/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=210368 memory=190940 CPUtime=12.64 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 52088 0 0 0 1255 9 0 0 20 0 1 0 56520005 215416832 47735 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 52592 47735 2720 2826 0 49204 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 214560 KiB
Current children cumulated memory: 193884 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 3.77 5/268 53189
/proc/meminfo: memFree=110014164/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=218304 memory=199384 CPUtime=25.39 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 67564 0 0 0 2527 12 0 0 20 0 1 0 56520005 223543296 49846 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 54576 49846 2720 2826 0 51188 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 222496 KiB
Current children cumulated memory: 202328 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.11 3.77 5/268 53189
/proc/meminfo: memFree=110038728/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=224540 memory=204476 CPUtime=50.92 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 70974 0 0 0 5079 13 0 0 20 0 1 0 56520005 229928960 51119 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 56135 51119 2720 2826 0 52747 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 228732 KiB
Current children cumulated memory: 207420 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 3.79 5/268 53192
/proc/meminfo: memFree=110004212/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=246476 memory=225532 CPUtime=101.95 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 86826 0 0 0 10179 16 0 0 20 0 1 0 56520005 252391424 56383 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 61619 56383 2720 2826 0 58231 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 250668 KiB
Current children cumulated memory: 228476 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 3.82 5/269 53195
/proc/meminfo: memFree=110059868/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=264428 memory=244092 CPUtime=161.76 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 94534 0 0 0 16158 18 0 0 20 0 1 0 56520005 270774272 61023 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 66107 61023 2720 2826 0 62719 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 268620 KiB
Current children cumulated memory: 247036 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 3.84 5/269 53197
/proc/meminfo: memFree=111059616/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 263 236 0 0 0 0 0 0 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53188] ppid=53184 vsize=269944 memory=249980 CPUtime=221.58 cores=0,2
/proc/53188/stat : 53188 (pbcpreprocessor) R 53184 53184 52543 0 -1 4194304 96025 0 0 0 22139 19 0 0 20 0 1 0 56520005 276422656 62495 18446744073709551615 4198400 15773533 140723376641008 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41529344 140723376646468 140723376646622 140723376646622 140723376652229 0
/proc/53188/statm: 67486 62495 2720 2826 0 64098 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/53215/stat : 53215 (wmaxcdcl) R 53184 53184 52543 0 -1 4194304 243117 0 0 0 288661 473 0 0 20 0 1 0 56570206 628252672 142974 18446744073709551615 4198400 5932793 140729113931536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 17383424 140729113938267 140729113938412 140729113938412 140729113944012 0
/proc/53215/statm: 153382 142974 448 424 0 152837 0
Current children cumulated CPU time: 3391.76 s
Current children cumulated vsize: 617720 KiB
Current children cumulated memory: 574840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 53811
/proc/meminfo: memFree=126688064/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=500.42 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 410 121743 0 0 0 0 49948 94 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53215] ppid=53184 vsize=614996 memory=567060 CPUtime=2951.16 cores=0,2
/proc/53215/stat : 53215 (wmaxcdcl) R 53184 53184 52543 0 -1 4194304 244856 0 0 0 294641 475 0 0 20 0 1 0 56570206 629755904 141765 18446744073709551615 4198400 5932793 140729113931536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 17383424 140729113938267 140729113938412 140729113938412 140729113944012 0
/proc/53215/statm: 153749 141765 448 424 0 153204 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 619188 KiB
Current children cumulated memory: 570004 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 54041
/proc/meminfo: memFree=126608252/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=500.42 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 410 121743 0 0 0 0 49948 94 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53215] ppid=53184 vsize=616520 memory=570504 CPUtime=3010.98 cores=0,2
/proc/53215/stat : 53215 (wmaxcdcl) R 53184 53184 52543 0 -1 4194304 246601 0 0 0 300620 478 0 0 20 0 1 0 56570206 631316480 142626 18446744073709551615 4198400 5932793 140729113931536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 17383424 140729113938267 140729113938412 140729113938412 140729113944012 0
/proc/53215/statm: 154130 142626 448 424 0 153585 0
Current children cumulated CPU time: 3511.4 s
Current children cumulated vsize: 620712 KiB
Current children cumulated memory: 573448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 54043
/proc/meminfo: memFree=126725048/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=500.42 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 410 121743 0 0 0 0 49948 94 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53215] ppid=53184 vsize=620072 memory=569744 CPUtime=3070.81 cores=0,2
/proc/53215/stat : 53215 (wmaxcdcl) R 53184 53184 52543 0 -1 4194304 248855 0 0 0 306600 481 0 0 20 0 1 0 56570206 634953728 142436 18446744073709551615 4198400 5932793 140729113931536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 17383424 140729113938267 140729113938412 140729113938412 140729113944012 0
/proc/53215/statm: 155018 142436 448 424 0 154473 0
Current children cumulated CPU time: 3571.23 s
Current children cumulated vsize: 624264 KiB
Current children cumulated memory: 572688 KiB
[startup+3608.55 s]
# the end of solver process 53184 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.64 s, system=5.78408 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/270 54043
/proc/meminfo: memFree=126722452/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=500.42 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 410 121743 0 0 0 0 49948 94 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53215] ppid=53184 vsize=620284 memory=569872 CPUtime=3072.51 cores=0,2
/proc/53215/stat : 53215 (wmaxcdcl) R 53184 53184 52543 0 -1 4194304 248888 0 0 0 306770 481 0 0 20 0 1 0 56570206 635170816 142468 18446744073709551615 4198400 5932793 140729113931536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 17383424 140729113938267 140729113938412 140729113938412 140729113944012 0
/proc/53215/statm: 155071 142468 448 424 0 154526 0
Current children cumulated CPU time: 3572.93 s
Current children cumulated vsize: 624476 KiB
Current children cumulated memory: 572816 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 54043
/proc/meminfo: memFree=126730332/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=500.42 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 410 121743 0 0 0 0 49948 94 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53215] ppid=53184 vsize=620284 memory=580204 CPUtime=3085.27 cores=0,2
/proc/53215/stat : 53215 (wmaxcdcl) R 53184 53184 52543 0 -1 4194304 248893 0 0 0 308046 481 0 0 20 0 1 0 56570206 635170816 145051 18446744073709551615 4198400 5932793 140729113931536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 17383424 140729113938267 140729113938412 140729113938412 140729113944012 0
/proc/53215/statm: 155071 145051 448 424 0 154526 0
Current children cumulated CPU time: 3585.69 s
Current children cumulated vsize: 624476 KiB
Current children cumulated memory: 583148 KiB
[startup+3603.2 s]
/proc/loadavg: 4.14 4.12 4.09 4/264 54081
/proc/meminfo: memFree=126742144/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=500.42 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 410 121743 0 0 0 0 49948 94 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53215] ppid=53184 vsize=620284 memory=584300 CPUtime=3091.66 cores=0,2
/proc/53215/stat : 53215 (wmaxcdcl) R 53184 53184 52543 0 -1 4194304 248898 0 0 0 308684 482 0 0 20 0 1 0 56570206 635170816 146075 18446744073709551615 4198400 5932793 140729113931536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 17383424 140729113938267 140729113938412 140729113938412 140729113944012 0
/proc/53215/statm: 155071 146075 448 424 0 154526 0
Current children cumulated CPU time: 3592.08 s
Current children cumulated vsize: 624476 KiB
Current children cumulated memory: 587244 KiB
[startup+3606.4 s]
/proc/loadavg: 4.04 4.10 4.09 4/264 54081
/proc/meminfo: memFree=126759764/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=500.42 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 410 121743 0 0 0 0 49948 94 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53215] ppid=53184 vsize=670372 memory=585452 CPUtime=3094.85 cores=0,2
/proc/53215/stat : 53215 (wmaxcdcl) R 53184 53184 52543 0 -1 4194304 249193 0 0 0 309003 482 0 0 20 0 1 0 56570206 686460928 146363 18446744073709551615 4198400 5932793 140729113931536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 17383424 140729113938267 140729113938412 140729113938412 140729113944012 0
/proc/53215/statm: 167593 146363 448 424 0 167048 0
Current children cumulated CPU time: 3595.27 s
Current children cumulated vsize: 674564 KiB
Current children cumulated memory: 588396 KiB
[startup+3607.2 s]
/proc/loadavg: 4.04 4.10 4.09 4/264 54081
/proc/meminfo: memFree=126755164/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=500.42 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 410 121743 0 0 0 0 49948 94 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53215] ppid=53184 vsize=670372 memory=587552 CPUtime=3095.64 cores=0,2
/proc/53215/stat : 53215 (wmaxcdcl) R 53184 53184 52543 0 -1 4194304 249200 0 0 0 309082 482 0 0 20 0 1 0 56570206 686460928 146888 18446744073709551615 4198400 5932793 140729113931536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 17383424 140729113938267 140729113938412 140729113938412 140729113944012 0
/proc/53215/statm: 167593 146888 448 424 0 167048 0
Current children cumulated CPU time: 3596.06 s
Current children cumulated vsize: 674564 KiB
Current children cumulated memory: 590496 KiB
[startup+3608 s]*
/proc/loadavg: 4.04 4.10 4.09 4/264 54081
/proc/meminfo: memFree=126755164/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=500.42 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 410 121743 0 0 0 0 49948 94 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53215] ppid=53184 vsize=670372 memory=587552 CPUtime=3096.45 cores=0,2
/proc/53215/stat : 53215 (wmaxcdcl) R 53184 53184 52543 0 -1 4194304 249200 0 0 0 309163 482 0 0 20 0 1 0 56570206 686460928 146888 18446744073709551615 4198400 5932793 140729113931536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 17383424 140729113938267 140729113938412 140729113938412 140729113944012 0
/proc/53215/statm: 167593 146888 448 424 0 167048 0
Current children cumulated CPU time: 3596.87 s
Current children cumulated vsize: 674564 KiB
Current children cumulated memory: 590496 KiB
[startup+3608.4 s]
/proc/loadavg: 4.04 4.10 4.09 4/264 54081
/proc/meminfo: memFree=126755164/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=500.42 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 410 121743 0 0 0 0 49948 94 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53215] ppid=53184 vsize=670372 memory=587552 CPUtime=3096.84 cores=0,2
/proc/53215/stat : 53215 (wmaxcdcl) R 53184 53184 52543 0 -1 4194304 249200 0 0 0 309202 482 0 0 20 0 1 0 56570206 686460928 146888 18446744073709551615 4198400 5932793 140729113931536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 17383424 140729113938267 140729113938412 140729113938412 140729113944012 0
/proc/53215/statm: 167593 146888 448 424 0 167048 0
Current children cumulated CPU time: 3597.26 s
Current children cumulated vsize: 674564 KiB
Current children cumulated memory: 590496 KiB
[startup+3608.5 s]
/proc/loadavg: 4.04 4.10 4.09 4/264 54081
/proc/meminfo: memFree=126755164/131250000 swapFree=33007332/33010684
[pid=53184] ppid=53181 vsize=4192 memory=2944 CPUtime=500.42 cores=0,2
/proc/53184/stat : 53184 (opbsolver) S 53181 53184 52543 0 -1 4194304 410 121743 0 0 0 0 49948 94 20 0 1 0 56520003 4292608 736 18446744073709551615 94522991550464 94522992444997 140724922340800 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94522992684048 94522992731792 94523019853824 140724922345758 140724922345961 140724922345961 140724922351563 0
/proc/53184/statm: 1048 736 672 219 0 110 0
[pid=53215] ppid=53184 vsize=670372 memory=587552 CPUtime=3096.94 cores=0,2
/proc/53215/stat : 53215 (wmaxcdcl) R 53184 53184 52543 0 -1 4194304 249200 0 0 0 309212 482 0 0 20 0 1 0 56570206 686460928 146888 18446744073709551615 4198400 5932793 140729113931536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 17383424 140729113938267 140729113938412 140729113938412 140729113944012 0
/proc/53215/statm: 167593 146888 448 424 0 167048 0
Current children cumulated CPU time: 3597.36 s
Current children cumulated vsize: 674564 KiB
Current children cumulated memory: 590496 KiB
Child status: 0
Real time (s): 3608.55
CPU time (s): 3597.43
CPU user time (s): 3591.64
CPU system time (s): 5.78408
CPU usage (%): 99.6917
Max. virtual memory (cumulated for all children) (KiB): 873272
Max. memory (cumulated for all children) (KiB): 761752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.64
system time used= 5.78408
maximum resident set size= 769028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371697
page faults= 0
swaps= 0
block input operations= 0
block output operations= 44280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 577
involuntary context switches= 4695
# summary of solver processes directly reported to runsolver:
# pid: 53184
# total CPU time (s): 3597.43
# total CPU user time (s): 3591.64
# total CPU system time (s): 5.78408
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26693 second user time and 16.6984 second system time
The end
Begin job on nodeC019 at 2025-07-02 00:20:25
IDJOB=4499321
IDBENCH=148775
IDSOLVER=3374
FILE ID=nodeC019/4499321-1751408425
RUNJOBID= nodeC019-1751406746-52553
SLURM_JOB_ID= 9598300
Free space on /tmp= 430868 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499321-1751408425/watcher-4499321-1751408425 -o /tmp/evaluation-result-4499321-1751408425/solver-4499321-1751408425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751406746-52553 --watchdog 3760 HOME/opbsolver HOME/instance-4499321-1751408425.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1380765435
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 : 3577.875
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 : 3599.675
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 : 3599.674
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 : 3547.306
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.705
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.698
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 : 3700.000
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 : 3610.355
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: 110166724 kB
MemAvailable: 112136488 kB
Buffers: 904 kB
Cached: 2774168 kB
SwapCached: 440 kB
Active: 17799160 kB
Inactive: 2639328 kB
Active(anon): 17650816 kB
Inactive(anon): 27792 kB
Active(file): 148344 kB
Inactive(file): 2611536 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 21032 kB
Writeback: 8 kB
AnonPages: 17665216 kB
Mapped: 108580 kB
Shmem: 15192 kB
KReclaimable: 98248 kB
Slab: 184912 kB
SReclaimable: 98248 kB
SUnreclaim: 86664 kB
KernelStack: 4304 kB
PageTables: 38068 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 21540092 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4503552 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= 432792 MiB
End job on nodeC019 at 2025-07-02 01:20:34