0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4525759-1751624809.wbo>
0.09/0.18 c original problem has 49520 variables (49520 bin, 0 int, 0 impl, 0 cont) and 98495 constraints
0.09/0.18 c problem read in 0.18
0.69/0.71 c presolving:
0.78/0.84 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 49240 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 49254 clqs
2.18/2.22 c (2.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
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 (59778 MiB free)
memory of node 1: 64465 MiB (60673 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525759-1751624809/watcher-4525759-1751624809 -o /tmp/evaluation-result-4525759-1751624809/solver-4525759-1751624809 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751624435-89176 --watchdog 3760 pbscip -f HOME/instance-4525759-1751624809.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=89460, runsolver pid=89457
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.42 3.34 2.26 5/268 89461
/proc/meminfo: memFree=123342788/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=86676 memory=59008 CPUtime=0.09 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 11861 0 0 0 7 2 0 0 20 0 1 0 78158463 88756224 14752 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 21669 14752 3232 3530 0 13120 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86676 KiB
Current children cumulated memory: 59008 KiB
[startup+0.205651 s]*
/proc/loadavg: 4.42 3.34 2.26 5/268 89461
/proc/meminfo: memFree=123343152/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=147928 memory=120568 CPUtime=0.19 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 27397 0 0 0 15 4 0 0 20 0 1 0 78158463 151478272 30142 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 36982 30142 3520 3530 0 28433 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 147928 KiB
Current children cumulated memory: 120568 KiB
[startup+0.30581 s]*
/proc/loadavg: 4.42 3.34 2.26 5/268 89461
/proc/meminfo: memFree=123351232/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=213060 memory=185592 CPUtime=0.29 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 43646 0 0 0 23 6 0 0 20 0 1 0 78158463 218173440 46398 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 53265 46398 3552 3530 0 44716 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 213060 KiB
Current children cumulated memory: 185592 KiB
[startup+0.700181 s]
/proc/loadavg: 4.42 3.34 2.26 5/268 89461
/proc/meminfo: memFree=123350476/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=390572 memory=356932 CPUtime=0.69 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 88984 0 0 0 56 13 0 0 20 0 1 0 78158463 399945728 89233 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 97643 89233 3584 3530 0 89094 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 390572 KiB
Current children cumulated memory: 356932 KiB
[startup+1.50016 s]
/proc/loadavg: 4.42 3.34 2.26 5/268 89461
/proc/meminfo: memFree=123350476/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=419464 memory=384452 CPUtime=1.48 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 95879 0 0 0 134 14 0 0 20 0 1 0 78158463 429531136 96113 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 104866 96113 3648 3530 0 96317 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 419464 KiB
Current children cumulated memory: 384452 KiB
[startup+3.10535 s]
/proc/loadavg: 4.39 3.35 2.27 5/267 89461
/proc/meminfo: memFree=123264500/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=803148 memory=596844 CPUtime=3.08 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 125660 0 0 0 286 22 0 0 20 0 1 0 78158463 822423552 149211 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 200787 149211 3680 3530 0 192238 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 803148 KiB
Current children cumulated memory: 596844 KiB
[startup+6.30015 s]
/proc/loadavg: 4.39 3.35 2.27 5/267 89461
/proc/meminfo: memFree=123079784/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1011648 memory=809996 CPUtime=6.27 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 178464 0 0 0 595 32 0 0 20 0 1 0 78158463 1035927552 202499 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 252912 202499 3680 3530 0 244363 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1011648 KiB
Current children cumulated memory: 809996 KiB
[startup+12.7002 s]
/proc/loadavg: 4.33 3.37 2.29 5/267 89461
/proc/meminfo: memFree=123047592/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1086484 memory=887052 CPUtime=12.65 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 197705 0 0 0 1231 34 0 0 20 0 1 0 78158463 1112559616 221763 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 271621 221763 3680 3530 0 263072 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1086484 KiB
Current children cumulated memory: 887052 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 3.39 2.31 5/268 89463
/proc/meminfo: memFree=123063424/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1169032 memory=971788 CPUtime=25.43 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 218898 0 0 0 2505 38 0 0 20 0 1 0 78158463 1197088768 242947 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 292258 242947 3680 3530 0 283709 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1169032 KiB
Current children cumulated memory: 971788 KiB
[startup+51.1054 s]
/proc/loadavg: 4.26 3.46 2.36 5/268 89463
/proc/meminfo: memFree=123253448/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202208 memory=1004940 CPUtime=50.99 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227192 0 0 0 5060 39 0 0 20 0 1 0 78158463 1231060992 251235 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300552 251235 3680 3530 0 292003 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 1202208 KiB
Current children cumulated memory: 1004940 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.55 2.46 5/268 89469
/proc/meminfo: memFree=123471604/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202216 memory=1004940 CPUtime=102.08 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227196 0 0 0 10169 39 0 0 20 0 1 0 78158463 1231069184 251235 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300554 251235 3680 3530 0 292005 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 1202216 KiB
Current children cumulated memory: 1004940 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.65 2.56 5/268 89471
/proc/meminfo: memFree=123461880/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202220 memory=1004940 CPUtime=161.96 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227206 0 0 0 16157 39 0 0 20 0 1 0 78158463 1231073280 251235 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300555 251235 3680 3530 0 292006 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 1202220 KiB
Current children cumulated memory: 1004940 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.75 2.66 5/267 89473
/proc/meminfo: memFree=123473840/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202224 memory=1004940 CPUtime=221.84 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227208 0 0 0 22145 39 0 0 20 0 1 0 78158463 1231077376 251235 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300556 251235 3680 3530 0 292007 0
Current children cumulated CPU time: 221.84 s
Current children cumulated vsize: 1202224 KiB
Current children cumulated memory: 1004940 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.81 2.76 5/264 89475
/proc/meminfo: memFree=123487640/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202228 memory=1004940 CPUtime=281.72 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227212 0 0 0 28133 39 0 0 20 0 1 0 78158463 1231081472 251235 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300557 251235 3680 3530 0 292008 0
Current children cumulated CPU time: 281.72 s
Current children cumulated vsize: 1202228 KiB
Current children cumulated memory: 1004940 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.86 2.84 5/263 89477
/proc/meminfo: memFree=123465192/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202232 memory=1004940 CPUtime=341.6 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227213 0 0 0 34121 39 0 0 20 0 1 0 78158463 1231085568 251235 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300558 251235 3680 3530 0 292009 0
Current children cumulated CPU time: 341.6 s
Current children cumulated vsize: 1202232 KiB
Current children cumulated memory: 1004940 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.91 2.92 5/263 89479
/proc/meminfo: memFree=123467016/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202236 memory=1004940 CPUtime=401.49 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227224 0 0 0 40109 40 0 0 20 0 1 0 78158463 1231089664 251235 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300559 251235 3680 3530 0 292010 0
Current children cumulated CPU time: 401.49 s
Current children cumulated vsize: 1202236 KiB
Current children cumulated memory: 1004940 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.94 3.00 5/262 89481
/proc/meminfo: memFree=123466712/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202236 memory=1004940 CPUtime=461.37 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227224 0 0 0 46097 40 0 0 20 0 1 0 78158463 1231089664 251235 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300559 251235 3680 3530 0 292010 0
################
# More data... #
################
Current children cumulated memory: 1024652 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/262 89607
/proc/meminfo: memFree=123394560/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202300 memory=1024652 CPUtime=2916.52 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227279 0 0 0 291612 40 0 0 20 0 1 0 78158463 1231155200 256163 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300575 256163 3680 3530 0 292026 0
Current children cumulated CPU time: 2916.52 s
Current children cumulated vsize: 1202300 KiB
Current children cumulated memory: 1024652 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.13 4.05 5/264 89613
/proc/meminfo: memFree=123395140/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202300 memory=1024652 CPUtime=2976.4 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227279 0 0 0 297600 40 0 0 20 0 1 0 78158463 1231155200 256163 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300575 256163 3680 3530 0 292026 0
Current children cumulated CPU time: 2976.4 s
Current children cumulated vsize: 1202300 KiB
Current children cumulated memory: 1024652 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/263 89615
/proc/meminfo: memFree=123394460/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202300 memory=1024652 CPUtime=3036.28 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227279 0 0 0 303588 40 0 0 20 0 1 0 78158463 1231155200 256163 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300575 256163 3680 3530 0 292026 0
Current children cumulated CPU time: 3036.28 s
Current children cumulated vsize: 1202300 KiB
Current children cumulated memory: 1024652 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.14 4.06 5/264 89622
/proc/meminfo: memFree=123397100/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202304 memory=1025676 CPUtime=3096.16 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227280 0 0 0 309576 40 0 0 20 0 1 0 78158463 1231159296 256419 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300576 256419 3680 3530 0 292027 0
Current children cumulated CPU time: 3096.16 s
Current children cumulated vsize: 1202304 KiB
Current children cumulated memory: 1025676 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.06 5/264 89624
/proc/meminfo: memFree=123394036/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202304 memory=1028108 CPUtime=3156.05 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227280 0 0 0 315565 40 0 0 20 0 1 0 78158463 1231159296 257027 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300576 257027 3680 3530 0 292027 0
Current children cumulated CPU time: 3156.05 s
Current children cumulated vsize: 1202304 KiB
Current children cumulated memory: 1028108 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.06 5/264 89626
/proc/meminfo: memFree=123390648/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202304 memory=1028748 CPUtime=3215.93 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227349 0 0 0 321553 40 0 0 20 0 1 0 78158463 1231159296 257187 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300576 257187 3680 3530 0 292027 0
Current children cumulated CPU time: 3215.93 s
Current children cumulated vsize: 1202304 KiB
Current children cumulated memory: 1028748 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/265 89943
/proc/meminfo: memFree=125844392/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202304 memory=1029260 CPUtime=3275.77 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227350 0 0 0 327537 40 0 0 20 0 1 0 78158463 1231159296 257315 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300576 257315 3680 3530 0 292027 0
Current children cumulated CPU time: 3275.77 s
Current children cumulated vsize: 1202304 KiB
Current children cumulated memory: 1029260 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/265 89990
/proc/meminfo: memFree=126039164/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202308 memory=1029260 CPUtime=3335.59 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227351 0 0 0 333519 40 0 0 20 0 1 0 78158463 1231163392 257315 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300577 257315 3680 3530 0 292028 0
Current children cumulated CPU time: 3335.59 s
Current children cumulated vsize: 1202308 KiB
Current children cumulated memory: 1029260 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/265 90261
/proc/meminfo: memFree=125315116/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202308 memory=1029260 CPUtime=3395.42 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227352 0 0 0 339502 40 0 0 20 0 1 0 78158463 1231163392 257315 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300577 257315 3680 3530 0 292028 0
Current children cumulated CPU time: 3395.42 s
Current children cumulated vsize: 1202308 KiB
Current children cumulated memory: 1029260 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/264 90532
/proc/meminfo: memFree=124216096/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202308 memory=1029260 CPUtime=3455.24 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227353 0 0 0 345484 40 0 0 20 0 1 0 78158463 1231163392 257315 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300577 257315 3680 3530 0 292028 0
Current children cumulated CPU time: 3455.24 s
Current children cumulated vsize: 1202308 KiB
Current children cumulated memory: 1029260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/264 90534
/proc/meminfo: memFree=123836968/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202308 memory=1029260 CPUtime=3515.06 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227353 0 0 0 351466 40 0 0 20 0 1 0 78158463 1231163392 257315 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300577 257315 3680 3530 0 292028 0
Current children cumulated CPU time: 3515.06 s
Current children cumulated vsize: 1202308 KiB
Current children cumulated memory: 1029260 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.07 5/262 90538
/proc/meminfo: memFree=123542784/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202308 memory=1029260 CPUtime=3574.89 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227354 0 0 0 357449 40 0 0 20 0 1 0 78158463 1231163392 257315 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300577 257315 3680 3530 0 292028 0
Current children cumulated CPU time: 3574.89 s
Current children cumulated vsize: 1202308 KiB
Current children cumulated memory: 1029260 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.5 s]
/proc/loadavg: 4.04 4.09 4.07 5/262 90538
/proc/meminfo: memFree=123446896/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202312 memory=1029260 CPUtime=3600.02 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227355 0 0 0 359962 40 0 0 20 0 1 0 78158463 1231167488 257315 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300578 257315 3680 3530 0 292029 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1202312 KiB
Current children cumulated memory: 1029260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.51 s]
# the end of solver process 89460 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.62 s, system=0.413017 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.5 s]
/proc/loadavg: 4.04 4.09 4.07 5/262 90538
/proc/meminfo: memFree=123446896/131249988 swapFree=33010160/33010684
[pid=89460] ppid=89457 vsize=1202312 memory=1029260 CPUtime=3600.02 cores=1,3
/proc/89460/stat : 89460 (pbscip) R 89457 89460 89164 0 -1 4194304 227355 0 0 0 359962 40 0 0 20 0 1 0 78158463 1231167488 257315 18446744073709551615 4235264 18693293 140725642730992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57012224 140725642738055 140725642738154 140725642738154 140725642743758 0
/proc/89460/statm: 300578 257315 3680 3530 0 292029 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1202312 KiB
Current children cumulated memory: 1029260 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3607.51
CPU time (s): 3600.04
CPU user time (s): 3599.62
CPU system time (s): 0.413017
CPU usage (%): 99.7929
Max. virtual memory (cumulated for all children) (KiB): 1202312
Max. memory (cumulated for all children) (KiB): 1029260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.62
system time used= 0.413017
maximum resident set size= 1029260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227355
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= 81
involuntary context switches= 4589
# summary of solver processes directly reported to runsolver:
# pid: 89460
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.62
# total CPU system time (s): 0.413017
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71047 second user time and 14.4638 second system time
The end
Begin job on nodeC020 at 2025-07-04 12:26:49
IDJOB=4525759
IDBENCH=143886
IDSOLVER=3382
FILE ID=nodeC020/4525759-1751624809
RUNJOBID= nodeC020-1751624435-89176
SLURM_JOB_ID= 9598948
Free space on /tmp= 431500 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub1-20_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525759-1751624809/watcher-4525759-1751624809 -o /tmp/evaluation-result-4525759-1751624809/solver-4525759-1751624809 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751624435-89176 --watchdog 3760 pbscip -f HOME/instance-4525759-1751624809.wbo -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 249b0b6133e523d403961c26ec3d3249
RANDOM SEED=665210831
nodeC020 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.894
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.79
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.915
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.79
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 : 3605.461
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.79
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 : 3603.845
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.79
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.892
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.79
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.933
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.79
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 : 3634.078
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.79
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 : 3601.185
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 123342812 kB
MemAvailable: 124001608 kB
Buffers: 2128 kB
Cached: 1450168 kB
SwapCached: 8 kB
Active: 5209648 kB
Inactive: 884752 kB
Active(anon): 4635580 kB
Inactive(anon): 24568 kB
Active(file): 574068 kB
Inactive(file): 860184 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19972 kB
Writeback: 44 kB
AnonPages: 4642476 kB
Mapped: 135432 kB
Shmem: 18044 kB
KReclaimable: 127564 kB
Slab: 219964 kB
SReclaimable: 127564 kB
SUnreclaim: 92400 kB
KernelStack: 4288 kB
PageTables: 12384 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 5279580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1032192 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431476 MiB
End job on nodeC020 at 2025-07-04 13:26:57