0.29/0.40 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.29/0.40 c Do: 140724202515064 140724202515072
0.49/0.54 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.49/0.54 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.59/0.65 c Starting SCIP solver (with time-limit = 1800s) ...
1795.69/1800.65 c SCIP timeout with lower and upper bounds: [2213426, 9223372036854775807]
3600.02/3609.80 s UNKNOWN
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 (56194 MiB free)
memory of node 1: 64465 MiB (54869 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505100-1751459716/watcher-4505100-1751459716 -o /tmp/evaluation-result-4505100-1751459716/solver-4505100-1751459716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751452487-64167 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4505100-1751459716.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=64973, runsolver pid=64970
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 64974
/proc/meminfo: memFree=113680920/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=42968 memory=24064 CPUtime=0.1 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 5451 0 0 0 9 1 0 0 20 0 1 0 61650268 43999232 6016 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 10742 6016 736 2416 0 7844 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 24064 KiB
[startup+0.205567 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 64974
/proc/meminfo: memFree=113643236/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=58744 memory=39936 CPUtime=0.2 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 9410 0 0 0 18 2 0 0 20 0 1 0 61650268 60153856 9984 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 14686 9984 736 2416 0 11788 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58744 KiB
Current children cumulated memory: 39936 KiB
[startup+0.305502 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 64974
/proc/meminfo: memFree=113611232/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=70668 memory=50840 CPUtime=0.29 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 12947 0 0 0 27 2 0 0 20 0 1 0 61650268 72364032 12710 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 17667 12710 768 2416 0 14769 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 70668 KiB
Current children cumulated memory: 50840 KiB
[startup+0.700186 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 64974
/proc/meminfo: memFree=113522840/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=198508 memory=185600 CPUtime=0.69 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 44737 0 0 0 61 8 0 0 20 0 1 0 61650268 203272192 46400 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 49627 46400 2272 2416 0 46729 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 198508 KiB
Current children cumulated memory: 185600 KiB
[startup+1.50018 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 64974
/proc/meminfo: memFree=113261956/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=342312 memory=327808 CPUtime=1.49 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 80238 0 0 0 135 14 0 0 20 0 1 0 61650268 350527488 81952 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 85578 81952 2336 2416 0 82680 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 342312 KiB
Current children cumulated memory: 327808 KiB
[startup+3.10546 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 64974
/proc/meminfo: memFree=112607740/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=342312 memory=328320 CPUtime=3.09 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 80309 0 0 0 295 14 0 0 20 0 1 0 61650268 350527488 82080 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 85578 82080 2400 2416 0 82680 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 342312 KiB
Current children cumulated memory: 328320 KiB
[startup+6.30017 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 64974
/proc/meminfo: memFree=112726896/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=347148 memory=331776 CPUtime=6.27 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 81184 0 0 0 613 14 0 0 20 0 1 0 61650268 355479552 82944 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 86787 82944 2400 2416 0 83889 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 347148 KiB
Current children cumulated memory: 331776 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 64976
/proc/meminfo: memFree=112561132/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=437008 memory=419932 CPUtime=12.66 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 102009 0 0 0 1248 18 0 0 20 0 1 0 61650268 447496192 104983 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 109252 104983 2496 2416 0 106354 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 437008 KiB
Current children cumulated memory: 419932 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 64976
/proc/meminfo: memFree=112596000/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=439400 memory=421980 CPUtime=25.42 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 102523 0 0 0 2524 18 0 0 20 0 1 0 61650268 449945600 105495 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 109850 105495 2496 2416 0 106952 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 439400 KiB
Current children cumulated memory: 421980 KiB
[startup+51.1055 s]
/proc/loadavg: 4.48 4.19 4.12 5/265 64976
/proc/meminfo: memFree=112437024/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=601000 memory=523756 CPUtime=50.96 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 119373 0 0 0 5073 23 0 0 20 0 1 0 61650268 615424000 130939 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 150250 130939 2528 2416 0 147352 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 601000 KiB
Current children cumulated memory: 523756 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.17 4.12 5/265 65023
/proc/meminfo: memFree=107899996/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=604772 memory=527980 CPUtime=102 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 120454 0 0 0 10174 26 0 0 20 0 1 0 61650268 619286528 131995 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 151193 131995 2528 2416 0 148295 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 604772 KiB
Current children cumulated memory: 527980 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/265 65025
/proc/meminfo: memFree=102536308/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=753320 memory=674668 CPUtime=161.84 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 157153 0 0 0 16153 31 0 0 20 0 1 0 61650268 771399680 168667 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 188330 168667 2528 2416 0 185432 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 753320 KiB
Current children cumulated memory: 674668 KiB
[startup+222.3 s]
/proc/loadavg: 4.33 4.19 4.12 5/265 65032
/proc/meminfo: memFree=102377764/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=753320 memory=676076 CPUtime=221.66 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 157534 0 0 0 22135 31 0 0 20 0 1 0 61650268 771399680 169019 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 188330 169019 2528 2416 0 185432 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 753320 KiB
Current children cumulated memory: 676076 KiB
[startup+282.3 s]
/proc/loadavg: 4.34 4.23 4.14 5/265 65034
/proc/meminfo: memFree=102849976/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=918732 memory=768660 CPUtime=281.49 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 179678 0 0 0 28114 35 0 0 20 0 1 0 61650268 940781568 192165 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 229683 192165 2528 2416 0 226785 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 768660 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.20 4.14 5/265 65081
/proc/meminfo: memFree=97502648/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=1046604 memory=773872 CPUtime=341.31 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 179968 0 0 0 34096 35 0 0 20 0 1 0 61650268 1071722496 193468 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 261651 193468 2528 2416 0 258753 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 1046604 KiB
Current children cumulated memory: 773872 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/265 65083
/proc/meminfo: memFree=93708544/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=1141004 memory=776072 CPUtime=401.15 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 180030 0 0 0 40080 35 0 0 20 0 1 0 61650268 1168388096 194018 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 285251 194018 2528 2416 0 282353 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 1141004 KiB
Current children cumulated memory: 776072 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/265 65085
/proc/meminfo: memFree=94190136/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=1365476 memory=803064 CPUtime=460.97 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 185755 0 0 0 46061 36 0 0 20 0 1 0 61650268 1398247424 200766 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 341369 200766 2528 2416 0 338471 0
Current children cumulated CPU time: 460.97 s
################
# More data... #
################
Current children cumulated memory: 2210232 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/264 65222
/proc/meminfo: memFree=92385812/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=2854.55 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 334260 0 0 0 285375 80 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 2854.55 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/264 65224
/proc/meminfo: memFree=92320664/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=2914.4 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 334351 0 0 0 291359 81 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 2914.4 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 65229
/proc/meminfo: memFree=92293996/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=2974.23 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 334412 0 0 0 297342 81 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 2974.23 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 65231
/proc/meminfo: memFree=92417180/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=3034.07 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 334526 0 0 0 303325 82 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 65235
/proc/meminfo: memFree=92378452/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=3093.91 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 334591 0 0 0 309308 83 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 3093.91 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 65238
/proc/meminfo: memFree=92580640/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=3153.75 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 334657 0 0 0 315291 84 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 3153.75 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 65240
/proc/meminfo: memFree=92548820/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=3213.58 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 334753 0 0 0 321274 84 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 65247
/proc/meminfo: memFree=92525224/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=3273.42 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 334818 0 0 0 327257 85 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 65249
/proc/meminfo: memFree=92515020/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=3333.26 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 334914 0 0 0 333241 85 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 3333.26 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 65251
/proc/meminfo: memFree=92503424/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=3393.09 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 334988 0 0 0 339224 85 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 3393.09 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 65253
/proc/meminfo: memFree=92479228/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=3452.93 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 335079 0 0 0 345207 86 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 65256
/proc/meminfo: memFree=92349732/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=3512.76 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 335158 0 0 0 351190 86 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 65260
/proc/meminfo: memFree=92318760/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=3572.6 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 335258 0 0 0 357173 87 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 65261
/proc/meminfo: memFree=92316488/131249996 swapFree=33010160/33010684
[pid=64973] ppid=64970 vsize=3047684 memory=2210232 CPUtime=3600.02 cores=4,6
/proc/64973/stat : 64973 (CASHWMaxSAT-Dis) R 64970 64973 64156 0 -1 4194304 335258 0 0 0 359915 87 0 0 20 0 1 0 61650268 3120828416 552558 18446744073709551615 4198400 14093885 140724202517424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26083328 140724202522986 140724202523101 140724202523101 140724202528703 0
/proc/64973/statm: 761921 552558 2528 2416 0 759023 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3047684 KiB
Current children cumulated memory: 2210232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 64973 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.16 s, system=0.883737 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.81
CPU time (s): 3600.04
CPU user time (s): 3599.16
CPU system time (s): 0.883737
CPU usage (%): 99.7295
Max. virtual memory (cumulated for all children) (KiB): 3073672
Max. memory (cumulated for all children) (KiB): 2210232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.16
system time used= 0.883737
maximum resident set size= 2210232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335258
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= 71
involuntary context switches= 2917
# summary of solver processes directly reported to runsolver:
# pid: 64973
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.16
# total CPU system time (s): 0.883737
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98815 second user time and 16.0128 second system time
The end
Begin job on nodeC032 at 2025-07-02 14:35:16
IDJOB=4505100
IDBENCH=155741
IDSOLVER=3323
FILE ID=nodeC032/4505100-1751459716
RUNJOBID= nodeC032-1751452487-64167
SLURM_JOB_ID= 9598437
Free space on /tmp= 432036 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_8_ic.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505100-1751459716/watcher-4505100-1751459716 -o /tmp/evaluation-result-4505100-1751459716/solver-4505100-1751459716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751452487-64167 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4505100-1751459716.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a4e6307a32e39171940a0b0a520e3b91
RANDOM SEED=216948591
nodeC032 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.812
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.69
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.851
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.69
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 : 3705.850
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.69
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 : 3609.599
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.69
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.839
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.69
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.842
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.69
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 : 3598.818
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.69
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 : 3700.000
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 113736860 kB
MemAvailable: 128381696 kB
Buffers: 2728 kB
Cached: 15324804 kB
SwapCached: 20 kB
Active: 1694852 kB
Inactive: 14957632 kB
Active(anon): 1339736 kB
Inactive(anon): 3268 kB
Active(file): 355116 kB
Inactive(file): 14954364 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 52312 kB
Writeback: 0 kB
AnonPages: 1327208 kB
Mapped: 118812 kB
Shmem: 18048 kB
KReclaimable: 349192 kB
Slab: 442568 kB
SReclaimable: 349192 kB
SUnreclaim: 93376 kB
KernelStack: 4292 kB
PageTables: 5648 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1892196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 761856 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431840 MiB
End job on nodeC032 at 2025-07-02 15:35:26