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: 63665 MiB (56809 MiB free)
memory of node 1: 64507 MiB (63648 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523767-1751603378/watcher-4523767-1751603378 -o /tmp/evaluation-result-4523767-1751603378/solver-4523767-1751603378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751599765-94079 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4523767-1751603378.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
Current StackSize limit: 8192 KiB
solver pid=94509, runsolver pid=94502
[startup+0.100058 s]*
/proc/loadavg: 4.10 4.11 4.12 3/255 94520
/proc/meminfo: memFree=123348176/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=27184 memory=12544 CPUtime=0.09 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 2413 0 0 0 9 0 0 0 20 0 1 0 76015627 27836416 3136 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 6796 3136 864 2593 0 3689 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27184 KiB
Current children cumulated memory: 12544 KiB
[startup+0.20522 s]*
/proc/loadavg: 4.10 4.11 4.12 5/256 94527
/proc/meminfo: memFree=123336128/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=35296 memory=20608 CPUtime=0.18 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 4411 0 0 0 18 0 0 0 20 0 1 0 76015627 36143104 5152 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 8824 5152 864 2593 0 5717 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 20608 KiB
[startup+0.305308 s]*
/proc/loadavg: 4.10 4.11 4.12 5/261 94536
/proc/meminfo: memFree=123320468/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=43224 memory=28416 CPUtime=0.28 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 6360 0 0 0 27 1 0 0 20 0 1 0 76015627 44261376 7104 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 10806 7104 864 2593 0 7699 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 43224 KiB
Current children cumulated memory: 28416 KiB
[startup+0.700123 s]
/proc/loadavg: 4.10 4.11 4.12 5/261 94536
/proc/meminfo: memFree=123256576/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=74560 memory=56704 CPUtime=0.66 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 13463 0 0 0 64 2 0 0 20 0 1 0 76015627 76349440 14176 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 18640 14176 864 2593 0 15533 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 74560 KiB
Current children cumulated memory: 56704 KiB
[startup+1.50019 s]
/proc/loadavg: 4.09 4.10 4.12 5/264 94546
/proc/meminfo: memFree=123096500/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=231992 memory=199200 CPUtime=1.47 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 32713 0 0 0 139 8 0 0 20 0 1 0 76015627 237559808 49800 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 57998 49800 896 2593 0 54891 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 231992 KiB
Current children cumulated memory: 199200 KiB
[startup+3.10531 s]
/proc/loadavg: 4.09 4.10 4.12 5/264 94546
/proc/meminfo: memFree=122202628/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=333960 memory=309884 CPUtime=3.06 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 41069 0 0 0 295 11 0 0 20 0 1 0 76015627 341975040 77471 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 83490 77471 1152 2593 0 80383 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 333960 KiB
Current children cumulated memory: 309884 KiB
[startup+6.30018 s]
/proc/loadavg: 4.08 4.10 4.12 5/264 94546
/proc/meminfo: memFree=120612212/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=728384 memory=609564 CPUtime=6.25 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 65063 0 0 0 604 21 0 0 20 0 1 0 76015627 745865216 152391 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 182096 152391 1152 2593 0 178989 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 728384 KiB
Current children cumulated memory: 609564 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.11 5/264 94546
/proc/meminfo: memFree=119688444/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=1170152 memory=1058704 CPUtime=12.63 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 95442 0 0 0 1227 36 0 0 20 0 1 0 76015627 1198235648 264676 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 292538 264676 1152 2593 0 289431 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1170152 KiB
Current children cumulated memory: 1058704 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.12 5/264 94546
/proc/meminfo: memFree=112450012/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=4858112 memory=4443712 CPUtime=25.4 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 518296 0 0 0 2384 156 0 0 20 0 1 0 76015627 4974706688 1110928 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1214528 1110928 1216 2593 0 1211421 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4858112 KiB
Current children cumulated memory: 4443712 KiB
[startup+51.1053 s]
/proc/loadavg: 4.21 4.13 4.12 5/264 94547
/proc/meminfo: memFree=112133008/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=4883880 memory=4475412 CPUtime=50.92 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 523740 0 0 0 4934 158 0 0 20 0 1 0 76015627 5001093120 1118853 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1220970 1118853 1216 2593 0 1217863 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 4883880 KiB
Current children cumulated memory: 4475412 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.12 5/264 94550
/proc/meminfo: memFree=112017592/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=4901936 memory=4487456 CPUtime=101.96 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 527804 0 0 0 10032 164 0 0 20 0 1 0 76015627 5019582464 1121864 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1225484 1121864 1216 2593 0 1222377 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 4901936 KiB
Current children cumulated memory: 4487456 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/265 94553
/proc/meminfo: memFree=110022196/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=6346588 memory=5930388 CPUtime=161.77 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 536980 0 0 0 15955 222 0 0 20 0 1 0 76015627 6498906112 1482597 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1586647 1482597 1216 2593 0 1583540 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 6346588 KiB
Current children cumulated memory: 5930388 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/266 94560
/proc/meminfo: memFree=110885052/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=6257716 memory=5609824 CPUtime=221.59 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 552031 0 0 0 21867 292 0 0 20 0 1 0 76015627 6407901184 1402456 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1564429 1402456 1248 2593 0 1561322 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 6257716 KiB
Current children cumulated memory: 5609824 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/266 94562
/proc/meminfo: memFree=111358700/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5693916 memory=5069480 CPUtime=281.41 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 571128 0 0 0 27757 384 0 0 20 0 1 0 76015627 5830569984 1267370 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1423479 1267370 1248 2593 0 1420372 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 5693916 KiB
Current children cumulated memory: 5069480 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/265 94564
/proc/meminfo: memFree=111302920/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5732848 memory=5163880 CPUtime=341.22 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 581493 0 0 0 33691 431 0 0 20 0 1 0 76015627 5870436352 1290970 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1433212 1290970 1248 2593 0 1430105 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 5732848 KiB
Current children cumulated memory: 5163880 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/265 94567
/proc/meminfo: memFree=111331048/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=6438544 memory=5381016 CPUtime=401.02 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 600314 0 0 0 39593 509 0 0 20 0 1 0 76015627 6593069056 1344742 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1609636 1345254 1248 2593 0 1606529 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 6438544 KiB
Current children cumulated memory: 5381016 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/264 94569
/proc/meminfo: memFree=111067140/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5903100 memory=5336568 CPUtime=460.84 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 618464 0 0 0 45491 593 0 0 20 0 1 0 76015627 6044774400 1334142 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1475775 1334142 1248 2593 0 1472668 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
Current children cumulated memory: 5214672 KiB
[startup+2862.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 94744
/proc/meminfo: memFree=115676988/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5750020 memory=5214976 CPUtime=2853.23 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1095148 0 0 0 282775 2548 0 0 20 0 1 0 76015627 5888020480 1303744 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1437505 1303744 1248 2593 0 1434398 0
Current children cumulated CPU time: 2853.23 s
Current children cumulated vsize: 5750020 KiB
Current children cumulated memory: 5214976 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 94749
/proc/meminfo: memFree=115660492/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5750192 memory=5215148 CPUtime=2913.03 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1105596 0 0 0 288703 2600 0 0 20 0 1 0 76015627 5888196608 1303787 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1437548 1303787 1248 2593 0 1434441 0
Current children cumulated CPU time: 2913.03 s
Current children cumulated vsize: 5750192 KiB
Current children cumulated memory: 5215148 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 94751
/proc/meminfo: memFree=115678800/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5750736 memory=5215692 CPUtime=2972.82 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1108532 0 0 0 294666 2616 0 0 20 0 1 0 76015627 5888753664 1303923 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1437684 1303923 1248 2593 0 1434577 0
Current children cumulated CPU time: 2972.82 s
Current children cumulated vsize: 5750736 KiB
Current children cumulated memory: 5215692 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/264 94754
/proc/meminfo: memFree=115682164/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5745952 memory=5210944 CPUtime=3032.63 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1119021 0 0 0 300596 2667 0 0 20 0 1 0 76015627 5883854848 1302736 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1436488 1302736 1248 2593 0 1433381 0
Current children cumulated CPU time: 3032.63 s
Current children cumulated vsize: 5745952 KiB
Current children cumulated memory: 5210944 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 94756
/proc/meminfo: memFree=115670648/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5745952 memory=5210944 CPUtime=3092.44 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1120291 0 0 0 306577 2667 0 0 20 0 1 0 76015627 5883854848 1302736 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1436488 1302736 1248 2593 0 1433381 0
Current children cumulated CPU time: 3092.44 s
Current children cumulated vsize: 5745952 KiB
Current children cumulated memory: 5210944 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 94758
/proc/meminfo: memFree=114965460/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5741988 memory=5207468 CPUtime=3152.27 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1140032 0 0 0 312481 2746 0 0 20 0 1 0 76015627 5879795712 1301867 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1435497 1301867 1248 2593 0 1432390 0
Current children cumulated CPU time: 3152.27 s
Current children cumulated vsize: 5741988 KiB
Current children cumulated memory: 5207468 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 94765
/proc/meminfo: memFree=115619956/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5741988 memory=5207468 CPUtime=3212.1 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1141013 0 0 0 318464 2746 0 0 20 0 1 0 76015627 5879795712 1301867 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1435497 1301867 1248 2593 0 1432390 0
Current children cumulated CPU time: 3212.1 s
Current children cumulated vsize: 5741988 KiB
Current children cumulated memory: 5207468 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 94767
/proc/meminfo: memFree=115694524/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5743212 memory=5208808 CPUtime=3271.93 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1149639 0 0 0 324404 2789 0 0 20 0 1 0 76015627 5881049088 1302202 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1435803 1302202 1248 2593 0 1432696 0
Current children cumulated CPU time: 3271.93 s
Current children cumulated vsize: 5743212 KiB
Current children cumulated memory: 5208808 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 94769
/proc/meminfo: memFree=115524124/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5882280 memory=5351532 CPUtime=3331.75 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1177671 0 0 0 330355 2820 0 0 20 0 1 0 76015627 6023454720 1337883 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1470570 1337883 1248 2593 0 1467463 0
Current children cumulated CPU time: 3331.75 s
Current children cumulated vsize: 5882280 KiB
Current children cumulated memory: 5351532 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 94772
/proc/meminfo: memFree=115504984/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5882280 memory=5351532 CPUtime=3391.57 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1178611 0 0 0 336337 2820 0 0 20 0 1 0 76015627 6023454720 1337883 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1470570 1337883 1248 2593 0 1467463 0
Current children cumulated CPU time: 3391.57 s
Current children cumulated vsize: 5882280 KiB
Current children cumulated memory: 5351532 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 94774
/proc/meminfo: memFree=115387816/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5882728 memory=5351988 CPUtime=3451.41 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1183837 0 0 0 342293 2848 0 0 20 0 1 0 76015627 6023913472 1337997 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1470682 1337997 1248 2593 0 1467575 0
Current children cumulated CPU time: 3451.41 s
Current children cumulated vsize: 5882728 KiB
Current children cumulated memory: 5351988 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 94778
/proc/meminfo: memFree=115533840/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5883376 memory=5360436 CPUtime=3511.23 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1193779 0 0 0 348233 2890 0 0 20 0 1 0 76015627 6024577024 1340109 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1470844 1340109 1248 2593 0 1467737 0
Current children cumulated CPU time: 3511.23 s
Current children cumulated vsize: 5883376 KiB
Current children cumulated memory: 5360436 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/263 94780
/proc/meminfo: memFree=115525436/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=5883376 memory=5360436 CPUtime=3571.06 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1194777 0 0 0 354216 2890 0 0 20 0 1 0 76015627 6024577024 1340109 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1470844 1340109 1248 2593 0 1467737 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 5883376 KiB
Current children cumulated memory: 5360436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 94780
/proc/meminfo: memFree=115294864/131250000 swapFree=33010416/33010684
[pid=94509] ppid=94502 vsize=6053888 memory=5535044 CPUtime=3600.08 cores=5,7
/proc/94509/stat : 94509 (CASHWMaxSAT-Dis) R 94502 94509 94066 0 -1 4194304 1204761 0 0 0 357072 2936 0 0 20 0 1 0 76015627 6199181312 1383761 18446744073709551615 4198400 14817773 140730815032400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 22188032 140730815039850 140730815039965 140730815039965 140730815045567 0
/proc/94509/statm: 1513472 1383761 1248 2593 0 1510365 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 6053888 KiB
Current children cumulated memory: 5535044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.43 s]
# the end of solver process 94509 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.73 s, system=29.3921 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.43
CPU time (s): 3600.12
CPU user time (s): 3570.73
CPU system time (s): 29.3921
CPU usage (%): 99.6869
Max. virtual memory (cumulated for all children) (KiB): 7041172
Max. memory (cumulated for all children) (KiB): 6397428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.73
system time used= 29.3921
maximum resident set size= 6399348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1204761
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= 527
involuntary context switches= 2789
# summary of solver processes directly reported to runsolver:
# pid: 94509
# total CPU time (s): 3600.12
# total CPU user time (s): 3570.73
# total CPU system time (s): 29.3921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.14649 second user time and 18.1221 second system time
The end
Begin job on nodeC018 at 2025-07-04 06:29:38
IDJOB=4523767
IDBENCH=180374
IDSOLVER=3322
FILE ID=nodeC018/4523767-1751603378
RUNJOBID= nodeC018-1751599765-94079
SLURM_JOB_ID= 9598876
Free space on /tmp= 432524 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523767-1751603378/watcher-4523767-1751603378 -o /tmp/evaluation-result-4523767-1751603378/solver-4523767-1751603378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751599765-94079 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4523767-1751603378.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6cb38b401990639cbd6e40c3a4829a77
RANDOM SEED=2120135151
nodeC018 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.927
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.66
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.006
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.66
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 : 3600.143
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.66
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 : 3600.257
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.66
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 : 3601.130
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.944
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.66
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 : 3599.845
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.66
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 : 3600.040
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 123315912 kB
MemAvailable: 124047300 kB
Buffers: 2128 kB
Cached: 1495104 kB
SwapCached: 32 kB
Active: 6141204 kB
Inactive: 1020144 kB
Active(anon): 5681872 kB
Inactive(anon): 288 kB
Active(file): 459332 kB
Inactive(file): 1019856 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17264 kB
Writeback: 0 kB
AnonPages: 5665112 kB
Mapped: 109032 kB
Shmem: 18044 kB
KReclaimable: 182480 kB
Slab: 272752 kB
SReclaimable: 182480 kB
SUnreclaim: 90272 kB
KernelStack: 4256 kB
PageTables: 14264 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6417196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3454976 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432464 MiB
End job on nodeC018 at 2025-07-04 07:29:49