0.40/0.42 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.40/0.42 c Do: 140737166736904 140737166736912
0.49/0.58 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.49/0.58 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.59/0.69 c Starting SCIP solver (with time-limit = 1800s) ...
1795.41/1800.69 c SCIP timeout with lower and upper bounds: [2216750, 9223372036854775807]
3600.01/3610.50 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 (58916 MiB free)
memory of node 1: 64465 MiB (61040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504962-1751458023/watcher-4504962-1751458023 -o /tmp/evaluation-result-4504962-1751458023/solver-4504962-1751458023 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751449125-65765 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4504962-1751458023.opb -total-t=3600 -no-par -v0
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
Current StackSize limit: 8192 KiB
solver pid=66716, runsolver pid=66713
[startup+0.100065 s]*
/proc/loadavg: 4.12 4.10 4.09 5/263 66717
/proc/meminfo: memFree=122833444/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=42184 memory=23424 CPUtime=0.1 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 5288 0 0 0 9 1 0 0 20 0 1 0 61479836 43196416 5856 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 10546 5856 736 2416 0 7648 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42184 KiB
Current children cumulated memory: 23424 KiB
[startup+0.205634 s]*
/proc/loadavg: 4.12 4.10 4.09 5/263 66717
/proc/meminfo: memFree=122817568/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=56924 memory=38016 CPUtime=0.2 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 8953 0 0 0 19 1 0 0 20 0 1 0 61479836 58290176 9504 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 14231 9504 736 2416 0 11333 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56924 KiB
Current children cumulated memory: 38016 KiB
[startup+0.305587 s]*
/proc/loadavg: 4.12 4.10 4.09 5/263 66717
/proc/meminfo: memFree=122812024/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=67396 memory=48088 CPUtime=0.3 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 12285 0 0 0 28 2 0 0 20 0 1 0 61479836 69013504 12022 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 16849 12022 768 2416 0 13951 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67396 KiB
Current children cumulated memory: 48088 KiB
[startup+0.700173 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 66717
/proc/meminfo: memFree=122780864/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=173620 memory=161288 CPUtime=0.69 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 38675 0 0 0 63 6 0 0 20 0 1 0 61479836 177786880 40322 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 43405 40322 2272 2416 0 40507 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 173620 KiB
Current children cumulated memory: 161288 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 66717
/proc/meminfo: memFree=122603720/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=342100 memory=327432 CPUtime=1.48 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 80159 0 0 0 137 11 0 0 20 0 1 0 61479836 350310400 81858 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 85525 81858 2336 2416 0 82627 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 342100 KiB
Current children cumulated memory: 327432 KiB
[startup+3.1055 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 66717
/proc/meminfo: memFree=122539208/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=342100 memory=327944 CPUtime=3.08 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 80228 0 0 0 297 11 0 0 20 0 1 0 61479836 350310400 81986 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 85525 81986 2400 2416 0 82627 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 342100 KiB
Current children cumulated memory: 327944 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 66717
/proc/meminfo: memFree=122539224/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=346472 memory=332296 CPUtime=6.27 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 81336 0 0 0 615 12 0 0 20 0 1 0 61479836 354787328 83074 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 86618 83074 2400 2416 0 83720 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 346472 KiB
Current children cumulated memory: 332296 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 66717
/proc/meminfo: memFree=122429796/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=436140 memory=418652 CPUtime=12.65 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 102709 0 0 0 1251 14 0 0 20 0 1 0 61479836 446607360 104663 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 109035 104663 2496 2416 0 106137 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 436140 KiB
Current children cumulated memory: 418652 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.10 4.09 5/263 66717
/proc/meminfo: memFree=122447324/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=440368 memory=422748 CPUtime=25.41 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 103747 0 0 0 2527 14 0 0 20 0 1 0 61479836 450936832 105687 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 110092 105687 2496 2416 0 107194 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 440368 KiB
Current children cumulated memory: 422748 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 66717
/proc/meminfo: memFree=122310332/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=613644 memory=517064 CPUtime=50.94 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 118729 0 0 0 5077 17 0 0 20 0 1 0 61479836 628371456 129266 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 153411 129266 2528 2416 0 150513 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 613644 KiB
Current children cumulated memory: 517064 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 66719
/proc/meminfo: memFree=122158440/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=617780 memory=521160 CPUtime=102.01 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 119744 0 0 0 10183 18 0 0 20 0 1 0 61479836 632606720 130290 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 154445 130290 2528 2416 0 151547 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 617780 KiB
Current children cumulated memory: 521160 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 66721
/proc/meminfo: memFree=122026324/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=713040 memory=617288 CPUtime=161.84 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 143837 0 0 0 16163 21 0 0 20 0 1 0 61479836 730152960 154322 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 178260 154322 2528 2416 0 175362 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 713040 KiB
Current children cumulated memory: 617288 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 66728
/proc/meminfo: memFree=122179988/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=753380 memory=655304 CPUtime=221.68 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 153327 0 0 0 22145 23 0 0 20 0 1 0 61479836 771461120 163826 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 188345 163826 2528 2416 0 185447 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 753380 KiB
Current children cumulated memory: 655304 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 66732
/proc/meminfo: memFree=122209700/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=755884 memory=657352 CPUtime=281.5 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 153846 0 0 0 28127 23 0 0 20 0 1 0 61479836 774025216 164338 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 188971 164338 2528 2416 0 186073 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 755884 KiB
Current children cumulated memory: 657352 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 66734
/proc/meminfo: memFree=122146732/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=755884 memory=657480 CPUtime=341.33 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 153905 0 0 0 34110 23 0 0 20 0 1 0 61479836 774025216 164370 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 188971 164370 2528 2416 0 186073 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 755884 KiB
Current children cumulated memory: 657480 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 66736
/proc/meminfo: memFree=122109160/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=1107364 memory=693536 CPUtime=401.16 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 161508 0 0 0 40091 25 0 0 20 0 1 0 61479836 1133940736 173384 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 276841 173384 2528 2416 0 273943 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 1107364 KiB
Current children cumulated memory: 693536 KiB
[startup+462.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/263 66738
/proc/meminfo: memFree=121897584/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=1213284 memory=736808 CPUtime=460.98 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 186252 0 0 0 46069 29 0 0 20 0 1 0 61479836 1242402816 184202 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 303321 184202 2528 2416 0 300423 0
################
# More data... #
################
Current children cumulated memory: 1343876 KiB
[startup+2922.3 s]
/proc/loadavg: 2.12 2.17 2.78 3/251 66911
/proc/meminfo: memFree=124098116/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1375876 CPUtime=2913.66 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 322754 0 0 0 291304 62 0 0 20 0 1 0 61479836 3194667008 343969 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 343969 2528 2416 0 777050 0
Current children cumulated CPU time: 2913.66 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1375876 KiB
[startup+2982.3 s]
/proc/loadavg: 2.10 2.16 2.74 3/251 66913
/proc/meminfo: memFree=124016496/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1418756 CPUtime=2973.48 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 322781 0 0 0 297285 63 0 0 20 0 1 0 61479836 3194667008 354689 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 354689 2528 2416 0 777050 0
Current children cumulated CPU time: 2973.48 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1418756 KiB
[startup+3042.3 s]
/proc/loadavg: 2.11 2.14 2.69 3/251 66915
/proc/meminfo: memFree=123990092/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1454852 CPUtime=3033.3 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 322781 0 0 0 303267 63 0 0 20 0 1 0 61479836 3194667008 363713 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 363713 2528 2416 0 777050 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1454852 KiB
[startup+3102.3 s]
/proc/loadavg: 2.09 2.13 2.65 3/251 66917
/proc/meminfo: memFree=123939932/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1485316 CPUtime=3093.12 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 322857 0 0 0 309249 63 0 0 20 0 1 0 61479836 3194667008 371329 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 371329 2528 2416 0 777050 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1485316 KiB
[startup+3162.3 s]
/proc/loadavg: 2.08 2.12 2.62 3/251 66919
/proc/meminfo: memFree=123918272/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1509508 CPUtime=3152.94 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 322859 0 0 0 315231 63 0 0 20 0 1 0 61479836 3194667008 377377 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 377377 2528 2416 0 777050 0
Current children cumulated CPU time: 3152.94 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1509508 KiB
[startup+3222.3 s]
/proc/loadavg: 1.91 2.08 2.57 2/245 66956
/proc/meminfo: memFree=126729744/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1547268 CPUtime=3212.76 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 322925 0 0 0 321213 63 0 0 20 0 1 0 61479836 3194667008 386817 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 386817 2528 2416 0 777050 0
Current children cumulated CPU time: 3212.76 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1547268 KiB
[startup+3282.3 s]
/proc/loadavg: 1.38 1.89 2.47 2/245 66971
/proc/meminfo: memFree=126681360/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1593860 CPUtime=3272.61 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 322957 0 0 0 327198 63 0 0 20 0 1 0 61479836 3194667008 398465 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 398465 2528 2416 0 777050 0
Current children cumulated CPU time: 3272.61 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1593860 KiB
[startup+3342.3 s]
/proc/loadavg: 1.26 1.76 2.39 2/245 66973
/proc/meminfo: memFree=126624332/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1628036 CPUtime=3332.46 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 322963 0 0 0 333183 63 0 0 20 0 1 0 61479836 3194667008 407009 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 407009 2528 2416 0 777050 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1628036 KiB
[startup+3402.3 s]
/proc/loadavg: 1.15 1.64 2.30 2/245 66975
/proc/meminfo: memFree=126589864/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1668612 CPUtime=3392.31 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 323046 0 0 0 339168 63 0 0 20 0 1 0 61479836 3194667008 417153 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 417153 2528 2416 0 777050 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1668612 KiB
[startup+3462.3 s]
/proc/loadavg: 1.06 1.52 2.22 2/245 66977
/proc/meminfo: memFree=126541772/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1715332 CPUtime=3452.17 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 323061 0 0 0 345154 63 0 0 20 0 1 0 61479836 3194667008 428833 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 428833 2528 2416 0 777050 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1715332 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.45 2.15 2/245 66979
/proc/meminfo: memFree=126507048/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1750788 CPUtime=3512.02 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 323098 0 0 0 351139 63 0 0 20 0 1 0 61479836 3194667008 437697 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 437697 2528 2416 0 777050 0
Current children cumulated CPU time: 3512.02 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1750788 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.38 2.08 2/245 66981
/proc/meminfo: memFree=126479012/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1779332 CPUtime=3571.88 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 323170 0 0 0 357124 64 0 0 20 0 1 0 61479836 3194667008 444833 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 444833 2528 2416 0 777050 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1779332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 1.14 1.37 2.06 2/245 66981
/proc/meminfo: memFree=126460748/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1799556 CPUtime=3600.01 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 323170 0 0 0 359937 64 0 0 20 0 1 0 61479836 3194667008 449889 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 449889 2528 2416 0 777050 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1799556 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.52 s]
# the end of solver process 66716 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.38 s, system=0.665072 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 1.14 1.37 2.06 2/245 66981
/proc/meminfo: memFree=126460748/131249988 swapFree=33010672/33010684
[pid=66716] ppid=66713 vsize=3119792 memory=1799556 CPUtime=3600.01 cores=1,3
/proc/66716/stat : 66716 (CASHWMaxSAT-Dis) R 66713 66716 65753 0 -1 4194304 323170 0 0 0 359937 64 0 0 20 0 1 0 61479836 3194667008 449889 18446744073709551615 4198400 14093885 140737166739264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 51531776 140737166748010 140737166748125 140737166748125 140737166753727 0
/proc/66716/statm: 779948 449889 2528 2416 0 777050 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3119792 KiB
Current children cumulated memory: 1799556 KiB
Child status: 0
Real time (s): 3610.52
CPU time (s): 3600.04
CPU user time (s): 3599.38
CPU system time (s): 0.665072
CPU usage (%): 99.7097
Max. virtual memory (cumulated for all children) (KiB): 3145756
Max. memory (cumulated for all children) (KiB): 1799556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.38
system time used= 0.665072
maximum resident set size= 1799556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323170
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= 54
involuntary context switches= 6028
# summary of solver processes directly reported to runsolver:
# pid: 66716
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.38
# total CPU system time (s): 0.665072
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.40994 second user time and 16.4815 second system time
The end
Begin job on nodeC020 at 2025-07-02 14:07:03
IDJOB=4504962
IDBENCH=155719
IDSOLVER=3323
FILE ID=nodeC020/4504962-1751458023
RUNJOBID= nodeC020-1751449125-65765
SLURM_JOB_ID= 9598430
Free space on /tmp= 431952 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_3_ic.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504962-1751458023/watcher-4504962-1751458023 -o /tmp/evaluation-result-4504962-1751458023/solver-4504962-1751458023 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751449125-65765 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4504962-1751458023.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9beff3f3155855feaa4c9645b72566dc
RANDOM SEED=493497650
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.873
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 : 3600.722
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 : 3592.545
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 : 3599.892
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.905
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.884
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 : 3588.832
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.080
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: 122835768 kB
MemAvailable: 124385368 kB
Buffers: 2128 kB
Cached: 2352632 kB
SwapCached: 8 kB
Active: 5859160 kB
Inactive: 1901604 kB
Active(anon): 5401540 kB
Inactive(anon): 22512 kB
Active(file): 457620 kB
Inactive(file): 1879092 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14048 kB
Writeback: 88 kB
AnonPages: 5405968 kB
Mapped: 121632 kB
Shmem: 18048 kB
KReclaimable: 104256 kB
Slab: 193988 kB
SReclaimable: 104256 kB
SUnreclaim: 89732 kB
KernelStack: 4272 kB
PageTables: 13892 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 6604532 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2510848 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= 432032 MiB
End job on nodeC020 at 2025-07-02 15:07:13