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-4525705-1751624435.wbo>
0.18/0.29 c original problem has 73172 variables (73172 bin, 0 int, 0 impl, 0 cont) and 145487 constraints
0.18/0.29 c problem read in 0.28
0.97/1.09 c presolving:
1.28/1.30 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 72732 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 72754 clqs
3.47/3.57 c (3.6s) 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 (62819 MiB free)
memory of node 1: 64465 MiB (63462 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525705-1751624435/watcher-4525705-1751624435 -o /tmp/evaluation-result-4525705-1751624435/solver-4525705-1751624435 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751624435-89174 --watchdog 3760 pbscip -f HOME/instance-4525705-1751624435.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=89212, runsolver pid=89205
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.36 1.16 1.30 4/263 89227
/proc/meminfo: memFree=129187920/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=81880 memory=53504 CPUtime=0.08 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 10473 0 0 0 7 1 0 0 20 0 1 0 78121125 83845120 13376 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 20470 13376 3232 3530 0 11921 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 81880 KiB
Current children cumulated memory: 53504 KiB
[startup+0.206032 s]*
/proc/loadavg: 1.36 1.16 1.30 5/265 89233
/proc/meminfo: memFree=129019632/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=124200 memory=96512 CPUtime=0.18 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 21246 0 0 0 15 3 0 0 20 0 1 0 78121125 127180800 24128 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 31050 24128 3232 3530 0 22501 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 124200 KiB
Current children cumulated memory: 96512 KiB
[startup+0.305415 s]*
/proc/loadavg: 1.36 1.16 1.30 5/265 89233
/proc/meminfo: memFree=128863140/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=169840 memory=142208 CPUtime=0.28 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 33289 0 0 0 23 5 0 0 20 0 1 0 78121125 173916160 35552 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 42460 35552 3520 3530 0 33911 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 169840 KiB
Current children cumulated memory: 142208 KiB
[startup+0.700186 s]
/proc/loadavg: 1.36 1.16 1.30 5/265 89233
/proc/meminfo: memFree=128440536/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=390960 memory=360064 CPUtime=0.68 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 87701 0 0 0 55 13 0 0 20 0 1 0 78121125 400343040 90016 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 97740 90016 3584 3530 0 89191 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 390960 KiB
Current children cumulated memory: 360064 KiB
[startup+1.50019 s]
/proc/loadavg: 1.36 1.16 1.30 5/265 89233
/proc/meminfo: memFree=127613000/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=595092 memory=557696 CPUtime=1.47 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 137089 0 0 0 127 20 0 0 20 0 1 0 78121125 609374208 139424 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 148773 139424 3616 3530 0 140224 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 595092 KiB
Current children cumulated memory: 557696 KiB
[startup+3.10552 s]
/proc/loadavg: 1.36 1.16 1.30 5/265 89233
/proc/meminfo: memFree=125765300/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=596272 memory=563456 CPUtime=3.07 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 138650 0 0 0 286 21 0 0 20 0 1 0 78121125 610582528 140864 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 149068 140864 3648 3530 0 140519 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 596272 KiB
Current children cumulated memory: 563456 KiB
[startup+6.30019 s]
/proc/loadavg: 1.57 1.21 1.31 5/265 89233
/proc/meminfo: memFree=122309928/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1131740 memory=1004424 CPUtime=6.26 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 207778 0 0 0 590 36 0 0 20 0 1 0 78121125 1158901760 251106 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 282935 251106 3680 3530 0 274386 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1131740 KiB
Current children cumulated memory: 1004424 KiB
[startup+12.7002 s]
/proc/loadavg: 1.76 1.25 1.33 5/266 89234
/proc/meminfo: memFree=118674944/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1476300 memory=1357136 CPUtime=12.64 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 294926 0 0 0 1213 51 0 0 20 0 1 0 78121125 1511731200 339284 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 369075 339284 3680 3530 0 360526 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1476300 KiB
Current children cumulated memory: 1357136 KiB
[startup+25.5002 s]
/proc/loadavg: 2.19 1.36 1.36 5/266 89235
/proc/meminfo: memFree=115709836/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1598268 memory=1482240 CPUtime=25.4 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 325694 0 0 0 2484 56 0 0 20 0 1 0 78121125 1636626432 370560 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 399567 370560 3680 3530 0 391018 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1598268 KiB
Current children cumulated memory: 1482240 KiB
[startup+51.1054 s]
/proc/loadavg: 2.90 1.62 1.45 5/266 89235
/proc/meminfo: memFree=112535308/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1611952 memory=1495936 CPUtime=50.94 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329116 0 0 0 5038 56 0 0 20 0 1 0 78121125 1650638848 373984 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 402988 373984 3680 3530 0 394439 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1611952 KiB
Current children cumulated memory: 1495936 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.02 1.59 5/266 89290
/proc/meminfo: memFree=110923812/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1611956 memory=1496064 CPUtime=102 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329128 0 0 0 10144 56 0 0 20 0 1 0 78121125 1650642944 374016 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 402989 374016 3680 3530 0 394440 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1611956 KiB
Current children cumulated memory: 1496064 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.41 1.76 5/264 89292
/proc/meminfo: memFree=101704968/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1611960 memory=1496576 CPUtime=161.84 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329133 0 0 0 16128 56 0 0 20 0 1 0 78121125 1650647040 374144 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 402990 374144 3680 3530 0 394441 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1611960 KiB
Current children cumulated memory: 1496576 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.72 1.90 5/266 89348
/proc/meminfo: memFree=103784956/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1611964 memory=1497728 CPUtime=221.69 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329134 0 0 0 22113 56 0 0 20 0 1 0 78121125 1650651136 374432 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 402991 374432 3680 3530 0 394442 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1611964 KiB
Current children cumulated memory: 1497728 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.97 2.04 5/266 89350
/proc/meminfo: memFree=99560100/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1611968 memory=1497728 CPUtime=281.55 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329148 0 0 0 28099 56 0 0 20 0 1 0 78121125 1650655232 374432 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 402992 374432 3680 3530 0 394443 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1611968 KiB
Current children cumulated memory: 1497728 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.18 2.17 5/267 89407
/proc/meminfo: memFree=119283412/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1611972 memory=1497984 CPUtime=341.41 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329149 0 0 0 34085 56 0 0 20 0 1 0 78121125 1650659328 374496 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 402993 374496 3680 3530 0 394444 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 1611972 KiB
Current children cumulated memory: 1497984 KiB
[startup+402.3 s]
/proc/loadavg: 4.26 3.40 2.32 5/268 89463
/proc/meminfo: memFree=123083608/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1611972 memory=1500672 CPUtime=401.28 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329153 0 0 0 40072 56 0 0 20 0 1 0 78121125 1650659328 375168 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 402993 375168 3680 3530 0 394444 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 1611972 KiB
Current children cumulated memory: 1500672 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.53 2.43 5/268 89469
/proc/meminfo: memFree=123468652/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1611976 memory=1507584 CPUtime=461.16 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329159 0 0 0 46060 56 0 0 20 0 1 0 78121125 1650663424 376896 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 402994 376896 3680 3530 0 394445 0
Current children cumulated CPU time: 461.16 s
################
# More data... #
################
Current children cumulated memory: 1513600 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.02 5/264 89595
/proc/meminfo: memFree=123425732/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612028 memory=1513600 CPUtime=2915.71 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329555 0 0 0 291515 56 0 0 20 0 1 0 78121125 1650716672 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403007 378400 3680 3530 0 394458 0
Current children cumulated CPU time: 2915.71 s
Current children cumulated vsize: 1612028 KiB
Current children cumulated memory: 1513600 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.02 5/264 89597
/proc/meminfo: memFree=123421048/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612028 memory=1513600 CPUtime=2975.56 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329556 0 0 0 297500 56 0 0 20 0 1 0 78121125 1650716672 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403007 378400 3680 3530 0 394458 0
Current children cumulated CPU time: 2975.56 s
Current children cumulated vsize: 1612028 KiB
Current children cumulated memory: 1513600 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.03 5/263 89599
/proc/meminfo: memFree=123412668/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612028 memory=1513600 CPUtime=3035.4 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329556 0 0 0 303484 56 0 0 20 0 1 0 78121125 1650716672 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403007 378400 3680 3530 0 394458 0
Current children cumulated CPU time: 3035.4 s
Current children cumulated vsize: 1612028 KiB
Current children cumulated memory: 1513600 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.03 5/263 89601
/proc/meminfo: memFree=123400808/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612028 memory=1513600 CPUtime=3095.24 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329557 0 0 0 309468 56 0 0 20 0 1 0 78121125 1650716672 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403007 378400 3680 3530 0 394458 0
Current children cumulated CPU time: 3095.24 s
Current children cumulated vsize: 1612028 KiB
Current children cumulated memory: 1513600 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/262 89603
/proc/meminfo: memFree=123392484/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612028 memory=1513600 CPUtime=3155.08 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329557 0 0 0 315452 56 0 0 20 0 1 0 78121125 1650716672 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403007 378400 3680 3530 0 394458 0
Current children cumulated CPU time: 3155.08 s
Current children cumulated vsize: 1612028 KiB
Current children cumulated memory: 1513600 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/262 89605
/proc/meminfo: memFree=123393460/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612032 memory=1513600 CPUtime=3214.92 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329642 0 0 0 321436 56 0 0 20 0 1 0 78121125 1650720768 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403008 378400 3680 3530 0 394459 0
Current children cumulated CPU time: 3214.92 s
Current children cumulated vsize: 1612032 KiB
Current children cumulated memory: 1513600 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/262 89607
/proc/meminfo: memFree=123392256/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612032 memory=1513600 CPUtime=3274.76 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329642 0 0 0 327420 56 0 0 20 0 1 0 78121125 1650720768 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403008 378400 3680 3530 0 394459 0
Current children cumulated CPU time: 3274.76 s
Current children cumulated vsize: 1612032 KiB
Current children cumulated memory: 1513600 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.14 4.05 5/263 89612
/proc/meminfo: memFree=123392416/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612032 memory=1513600 CPUtime=3334.6 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329643 0 0 0 333404 56 0 0 20 0 1 0 78121125 1650720768 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403008 378400 3680 3530 0 394459 0
Current children cumulated CPU time: 3334.6 s
Current children cumulated vsize: 1612032 KiB
Current children cumulated memory: 1513600 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/263 89615
/proc/meminfo: memFree=123395568/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612032 memory=1513600 CPUtime=3394.44 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329644 0 0 0 339388 56 0 0 20 0 1 0 78121125 1650720768 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403008 378400 3680 3530 0 394459 0
Current children cumulated CPU time: 3394.44 s
Current children cumulated vsize: 1612032 KiB
Current children cumulated memory: 1513600 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/264 89622
/proc/meminfo: memFree=123396832/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612032 memory=1513600 CPUtime=3454.29 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329644 0 0 0 345372 57 0 0 20 0 1 0 78121125 1650720768 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403008 378400 3680 3530 0 394459 0
Current children cumulated CPU time: 3454.29 s
Current children cumulated vsize: 1612032 KiB
Current children cumulated memory: 1513600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.06 5/264 89624
/proc/meminfo: memFree=123398056/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612036 memory=1513600 CPUtime=3514.13 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329646 0 0 0 351356 57 0 0 20 0 1 0 78121125 1650724864 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403009 378400 3680 3530 0 394460 0
Current children cumulated CPU time: 3514.13 s
Current children cumulated vsize: 1612036 KiB
Current children cumulated memory: 1513600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.06 5/264 89625
/proc/meminfo: memFree=123388296/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612036 memory=1513600 CPUtime=3573.97 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329646 0 0 0 357340 57 0 0 20 0 1 0 78121125 1650724864 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403009 378400 3680 3530 0 394460 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 1612036 KiB
Current children cumulated memory: 1513600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 4.13 4.13 4.06 5/260 89634
/proc/meminfo: memFree=125020300/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612036 memory=1513600 CPUtime=3600.09 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329646 0 0 0 359952 57 0 0 20 0 1 0 78121125 1650724864 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403009 378400 3680 3530 0 394460 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1612036 KiB
Current children cumulated memory: 1513600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.51 s]
# the end of solver process 89212 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.52 s, system=0.586774 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.5 s]
/proc/loadavg: 4.13 4.13 4.06 5/260 89634
/proc/meminfo: memFree=125020300/131249988 swapFree=33010160/33010684
[pid=89212] ppid=89205 vsize=1612036 memory=1513600 CPUtime=3600.09 cores=0,2
/proc/89212/stat : 89212 (pbscip) R 89205 89212 89164 0 -1 4194304 329646 0 0 0 359952 57 0 0 20 0 1 0 78121125 1650724864 378400 18446744073709551615 4235264 18693293 140726052419248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52703232 140726052424071 140726052424170 140726052424170 140726052429774 0
/proc/89212/statm: 403009 378400 3680 3530 0 394460 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1612036 KiB
Current children cumulated memory: 1513600 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3608.51
CPU time (s): 3600.11
CPU user time (s): 3599.52
CPU system time (s): 0.586774
CPU usage (%): 99.7672
Max. virtual memory (cumulated for all children) (KiB): 1612036
Max. memory (cumulated for all children) (KiB): 1513600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.52
system time used= 0.586774
maximum resident set size= 1513600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329646
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= 128
involuntary context switches= 4669
# summary of solver processes directly reported to runsolver:
# pid: 89212
# total CPU time (s): 3600.11
# total CPU user time (s): 3599.52
# total CPU system time (s): 0.586774
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58405 second user time and 14.0555 second system time
The end
Begin job on nodeC020 at 2025-07-04 12:20:36
IDJOB=4525705
IDBENCH=143879
IDSOLVER=3382
FILE ID=nodeC020/4525705-1751624435
RUNJOBID= nodeC020-1751624435-89174
SLURM_JOB_ID= 9598948
Free space on /tmp= 431768 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub4-20_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525705-1751624435/watcher-4525705-1751624435 -o /tmp/evaluation-result-4525705-1751624435/solver-4525705-1751624435 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751624435-89174 --watchdog 3760 pbscip -f HOME/instance-4525705-1751624435.wbo -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c20fa776bae7355b4d4e94acf2d6929f
RANDOM SEED=561293965
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.887
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.910
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 : 3599.183
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 : 3608.073
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.896
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 : 3600.028
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 : 3571.992
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 : 3599.894
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 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: 129334772 kB
MemAvailable: 129768660 kB
Buffers: 2128 kB
Cached: 1225416 kB
SwapCached: 8 kB
Active: 652316 kB
Inactive: 660016 kB
Active(anon): 78264 kB
Inactive(anon): 24568 kB
Active(file): 574052 kB
Inactive(file): 635448 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 80132 kB
Writeback: 0 kB
AnonPages: 87756 kB
Mapped: 103904 kB
Shmem: 18044 kB
KReclaimable: 127256 kB
Slab: 219476 kB
SReclaimable: 127256 kB
SUnreclaim: 92220 kB
KernelStack: 4084 kB
PageTables: 2584 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 350600 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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= 431484 MiB
End job on nodeC020 at 2025-07-04 13:20:44