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: 63837 MiB (53428 MiB free)
memory of node 1: 64465 MiB (47683 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543854-1753228601/watcher-4543854-1753228601 -o /tmp/evaluation-result-4543854-1753228601/solver-4543854-1753228601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753224989-162025 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4543854-1753228601.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=162429, runsolver pid=162421
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 4.17 4.13 4.10 6/253 162443
/proc/meminfo: memFree=103521848/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=28836 memory=10112 CPUtime=0.1 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 1900 0 0 0 10 0 0 0 20 0 1 0 238538792 29528064 2528 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 7209 2528 736 2416 0 4311 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28836 KiB
Current children cumulated memory: 10112 KiB
[startup+0.214047 s]*
/proc/loadavg: 4.17 4.13 4.10 6/253 162443
/proc/meminfo: memFree=103501688/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=37796 memory=20768 CPUtime=0.21 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 4339 0 0 0 20 1 0 0 20 0 1 0 238538792 38703104 5192 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 9449 5192 768 2416 0 6551 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 20768 KiB
[startup+0.3141 s]*
/proc/loadavg: 4.17 4.13 4.10 7/253 162443
/proc/meminfo: memFree=103486316/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=39140 memory=21992 CPUtime=0.32 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 4997 0 0 0 30 2 0 0 20 0 1 0 238538792 40079360 5498 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 9785 5498 768 2416 0 6887 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 39140 KiB
Current children cumulated memory: 21992 KiB
[startup+0.700353 s]
/proc/loadavg: 4.17 4.13 4.10 7/253 162443
/proc/meminfo: memFree=103458852/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=41672 memory=26376 CPUtime=0.69 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 6196 0 0 0 66 3 0 0 20 0 1 0 238538792 42672128 6594 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 10418 6594 768 2416 0 7520 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41672 KiB
Current children cumulated memory: 26376 KiB
[startup+1.50033 s]
/proc/loadavg: 4.17 4.13 4.10 6/253 162443
/proc/meminfo: memFree=103404684/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=53272 memory=34568 CPUtime=1.48 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 7230 0 0 0 145 3 0 0 20 0 1 0 238538792 54550528 8642 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 13318 8642 768 2416 0 10420 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53272 KiB
Current children cumulated memory: 34568 KiB
[startup+3.11293 s]
/proc/loadavg: 4.17 4.13 4.10 6/253 162443
/proc/meminfo: memFree=103120448/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=66712 memory=40896 CPUtime=3.09 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 8952 0 0 0 305 4 0 0 20 0 1 0 238538792 68313088 10224 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 16678 10224 800 2416 0 13780 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 66712 KiB
Current children cumulated memory: 40896 KiB
[startup+6.3003 s]
/proc/loadavg: 4.16 4.13 4.09 6/253 162443
/proc/meminfo: memFree=102985612/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=86636 memory=71744 CPUtime=6.27 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 10992 0 0 0 620 7 0 0 20 0 1 0 238538792 88715264 17936 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 21659 17936 800 2416 0 18761 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 86636 KiB
Current children cumulated memory: 71744 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.09 6/253 162443
/proc/meminfo: memFree=102960008/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=86636 memory=71752 CPUtime=12.65 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 14055 0 0 0 1254 11 0 0 20 0 1 0 238538792 88715264 17938 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 21659 17938 800 2416 0 18761 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 86636 KiB
Current children cumulated memory: 71752 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.12 4.09 6/253 162443
/proc/meminfo: memFree=102902136/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=167012 memory=135456 CPUtime=25.41 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 19222 0 0 0 2524 17 0 0 20 0 1 0 238538792 171020288 33864 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 41753 33864 800 2416 0 38855 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 167012 KiB
Current children cumulated memory: 135456 KiB
[startup+51.1129 s]
/proc/loadavg: 4.15 4.12 4.09 6/253 162444
/proc/meminfo: memFree=102879208/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=117692 memory=102780 CPUtime=50.96 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 27958 0 0 0 5064 32 0 0 20 0 1 0 238538792 120516608 25695 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 29423 25695 800 2416 0 26525 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 117692 KiB
Current children cumulated memory: 102780 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/253 162445
/proc/meminfo: memFree=102810880/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=167012 memory=133504 CPUtime=102.01 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 47421 0 0 0 10136 65 0 0 20 0 1 0 238538792 171020288 33376 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 41753 33376 800 2416 0 38855 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 167012 KiB
Current children cumulated memory: 133504 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/252 162447
/proc/meminfo: memFree=102722736/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=148152 memory=133488 CPUtime=161.84 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 63167 0 0 0 16089 95 0 0 20 0 1 0 238538792 151707648 33372 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 37038 33372 800 2416 0 34140 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 148152 KiB
Current children cumulated memory: 133488 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/252 162449
/proc/meminfo: memFree=102680432/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=216148 memory=184840 CPUtime=221.68 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 79406 0 0 0 22043 125 0 0 20 0 1 0 238538792 221335552 46210 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 54037 46210 800 2416 0 51139 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 216148 KiB
Current children cumulated memory: 184840 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/252 162466
/proc/meminfo: memFree=102611204/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=230636 memory=207520 CPUtime=281.52 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 95696 0 0 0 27997 155 0 0 20 0 1 0 238538792 236171264 51880 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 57659 51880 800 2416 0 54761 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 230636 KiB
Current children cumulated memory: 207520 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/249 162470
/proc/meminfo: memFree=102547692/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=199992 memory=185328 CPUtime=341.36 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 111325 0 0 0 33950 186 0 0 20 0 1 0 238538792 204791808 46332 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 49998 46332 800 2416 0 47100 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 199992 KiB
Current children cumulated memory: 185328 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 4.15 4.10 6/249 162472
/proc/meminfo: memFree=102570792/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=199992 memory=185328 CPUtime=401.2 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 128566 0 0 0 39904 216 0 0 20 0 1 0 238538792 204791808 46332 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 49998 46332 800 2416 0 47100 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 199992 KiB
Current children cumulated memory: 185328 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.10 6/250 162479
/proc/meminfo: memFree=102421280/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=249312 memory=230292 CPUtime=461.04 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 140785 0 0 0 45865 239 0 0 20 0 1 0 238538792 255295488 57573 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 62328 57573 800 2416 0 59430 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
Current children cumulated memory: 294460 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/250 162592
/proc/meminfo: memFree=101988020/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=358444 memory=327136 CPUtime=2854.34 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 711003 0 0 0 284110 1324 0 0 20 0 1 0 238538792 367046656 81784 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 89611 81784 800 2416 0 86713 0
Current children cumulated CPU time: 2854.34 s
Current children cumulated vsize: 358444 KiB
Current children cumulated memory: 327136 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/250 162595
/proc/meminfo: memFree=101964124/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=358444 memory=333280 CPUtime=2914.16 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 725351 0 0 0 290069 1347 0 0 20 0 1 0 238538792 367046656 83320 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 89611 83320 800 2416 0 86713 0
Current children cumulated CPU time: 2914.16 s
Current children cumulated vsize: 358444 KiB
Current children cumulated memory: 333280 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.09 6/250 162597
/proc/meminfo: memFree=101910476/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=389088 memory=361868 CPUtime=2973.97 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 739859 0 0 0 296022 1375 0 0 20 0 1 0 238538792 398426112 90467 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 97272 90467 800 2416 0 94374 0
Current children cumulated CPU time: 2973.97 s
Current children cumulated vsize: 389088 KiB
Current children cumulated memory: 361868 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/250 162599
/proc/meminfo: memFree=101899160/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=389088 memory=365964 CPUtime=3033.78 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 753031 0 0 0 301972 1406 0 0 20 0 1 0 238538792 398426112 91491 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 97272 91491 800 2416 0 94374 0
Current children cumulated CPU time: 3033.78 s
Current children cumulated vsize: 389088 KiB
Current children cumulated memory: 365964 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.13 4.10 6/250 162601
/proc/meminfo: memFree=101880584/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=389088 memory=363916 CPUtime=3093.59 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 765626 0 0 0 307921 1438 0 0 20 0 1 0 238538792 398426112 90979 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 97272 90979 800 2416 0 94374 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 389088 KiB
Current children cumulated memory: 363916 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/250 162603
/proc/meminfo: memFree=101935804/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=339768 memory=325096 CPUtime=3153.4 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 777611 0 0 0 313881 1459 0 0 20 0 1 0 238538792 347922432 81274 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 84942 81274 800 2416 0 82044 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 339768 KiB
Current children cumulated memory: 325096 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/250 162605
/proc/meminfo: memFree=101924752/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=339768 memory=325096 CPUtime=3213.22 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 789783 0 0 0 319837 1485 0 0 20 0 1 0 238538792 347922432 81274 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 84942 81274 800 2416 0 82044 0
Current children cumulated CPU time: 3213.22 s
Current children cumulated vsize: 339768 KiB
Current children cumulated memory: 325096 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/250 162607
/proc/meminfo: memFree=101897580/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=389088 memory=365964 CPUtime=3273.03 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 803351 0 0 0 325790 1513 0 0 20 0 1 0 238538792 398426112 91491 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 97272 91491 800 2416 0 94374 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 389088 KiB
Current children cumulated memory: 365964 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/249 162611
/proc/meminfo: memFree=101929512/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=389088 memory=357772 CPUtime=3332.85 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 815706 0 0 0 331746 1539 0 0 20 0 1 0 238538792 398426112 89443 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 97272 89443 800 2416 0 94374 0
Current children cumulated CPU time: 3332.85 s
Current children cumulated vsize: 389088 KiB
Current children cumulated memory: 357772 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/249 162613
/proc/meminfo: memFree=101732272/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=389088 memory=372108 CPUtime=3392.66 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 825065 0 0 0 337706 1560 0 0 20 0 1 0 238538792 398426112 93027 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 97272 93027 800 2416 0 94374 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 389088 KiB
Current children cumulated memory: 372108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/250 162620
/proc/meminfo: memFree=101766968/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=419908 memory=380568 CPUtime=3452.46 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 839241 0 0 0 343648 1598 0 0 20 0 1 0 238538792 429985792 95142 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 104977 95142 800 2416 0 102079 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 419908 KiB
Current children cumulated memory: 380568 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/250 162622
/proc/meminfo: memFree=101832420/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=389088 memory=361868 CPUtime=3512.26 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 852740 0 0 0 349591 1635 0 0 20 0 1 0 238538792 398426112 90467 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 97272 90467 800 2416 0 94374 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 389088 KiB
Current children cumulated memory: 361868 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/250 162624
/proc/meminfo: memFree=101870560/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=389088 memory=372108 CPUtime=3572.07 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 865089 0 0 0 355540 1667 0 0 20 0 1 0 238538792 398426112 93027 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 97272 93027 800 2416 0 94374 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 389088 KiB
Current children cumulated memory: 372108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.01 4.09 4.08 3/241 162650
/proc/meminfo: memFree=103174688/131382120 swapFree=33010160/33010684
[pid=162429] ppid=162421 vsize=389088 memory=365964 CPUtime=3600.07 cores=5,7
/proc/162429/stat : 162429 (CASHWMaxSAT-Dis) R 162421 162429 162012 0 -1 4194304 871263 0 0 0 358328 1679 0 0 20 0 1 0 238538792 398426112 91491 18446744073709551615 4198400 14093885 140723991449760 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24657920 140723991452008 140723991452123 140723991452123 140723991457727 0
/proc/162429/statm: 97272 91491 800 2416 0 94374 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 389088 KiB
Current children cumulated memory: 365964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 162429 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.29 s, system=16.7949 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.4
CPU time (s): 3600.08
CPU user time (s): 3583.29
CPU system time (s): 16.7949
CPU usage (%): 99.7141
Max. virtual memory (cumulated for all children) (KiB): 476244
Max. memory (cumulated for all children) (KiB): 431676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.29
system time used= 16.7949
maximum resident set size= 446012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 871263
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= 21
involuntary context switches= 3920
# summary of solver processes directly reported to runsolver:
# pid: 162429
# total CPU time (s): 3600.08
# total CPU user time (s): 3583.29
# total CPU system time (s): 16.7949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2357 second user time and 33.0563 second system time
The end
Begin job on nodeC003 at 2025-07-23 01:56:41
IDJOB=4543854
IDBENCH=174711
IDSOLVER=3323
FILE ID=nodeC003/4543854-1753228601
RUNJOBID= nodeC003-1753224989-162025
SLURM_JOB_ID= 9687837
Free space on /tmp= 432264 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_06_048.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543854-1753228601/watcher-4543854-1753228601 -o /tmp/evaluation-result-4543854-1753228601/solver-4543854-1753228601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753224989-162025 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4543854-1753228601.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 811cfd97c10a3de621f587d4e9818911
RANDOM SEED=153692009
nodeC003 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 : 0xb00001f
cpu MHz : 1197.290
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.025
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.164
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.306
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.539
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1198.347
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.171
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.161
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 103555360 kB
MemAvailable: 129881744 kB
Buffers: 2736 kB
Cached: 27087024 kB
SwapCached: 36 kB
Active: 1176936 kB
Inactive: 25981608 kB
Active(anon): 87392 kB
Inactive(anon): 7604 kB
Active(file): 1089544 kB
Inactive(file): 25974004 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 43884 kB
Writeback: 0 kB
AnonPages: 71956 kB
Mapped: 107408 kB
Shmem: 26116 kB
KReclaimable: 204924 kB
Slab: 296128 kB
SReclaimable: 204924 kB
SUnreclaim: 91204 kB
KernelStack: 3888 kB
PageTables: 2884 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 341532 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432208 MiB
End job on nodeC003 at 2025-07-23 02:56:52