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 (62318 MiB free)
memory of node 1: 64465 MiB (63765 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510054-1751193829/watcher-4510054-1751193829 -o /tmp/evaluation-result-4510054-1751193829/solver-4510054-1751193829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751193826-31851 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510054-1751193829.opb
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=31952, runsolver pid=31949
[startup+0.100056 s]*
/proc/loadavg: 0.84 1.02 1.50 5/267 31953
/proc/meminfo: memFree=129106004/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=84792 memory=12416 CPUtime=0.08 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 858 0 0 0 5 3 0 0 20 0 1 0 35061617 86827008 3104 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 21198 3104 2528 595 0 5865 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 84792 KiB
Current children cumulated memory: 12416 KiB
[startup+0.205268 s]*
/proc/loadavg: 0.84 1.02 1.50 5/267 31953
/proc/meminfo: memFree=129106004/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=84792 memory=12416 CPUtime=0.19 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 858 0 0 0 13 6 0 0 20 0 1 0 35061617 86827008 3104 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 21198 3104 2528 595 0 5865 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84792 KiB
Current children cumulated memory: 12416 KiB
[startup+0.304408 s]*
/proc/loadavg: 0.84 1.02 1.50 5/267 31953
/proc/meminfo: memFree=129106004/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=84792 memory=12416 CPUtime=0.29 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 858 0 0 0 20 9 0 0 20 0 1 0 35061617 86827008 3104 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 21198 3104 2528 595 0 5865 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84792 KiB
Current children cumulated memory: 12416 KiB
[startup+0.700096 s]
/proc/loadavg: 0.84 1.02 1.50 5/267 31953
/proc/meminfo: memFree=129106004/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=84792 memory=12416 CPUtime=0.68 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 858 0 0 0 48 20 0 0 20 0 1 0 35061617 86827008 3104 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 21198 3104 2528 595 0 5865 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84792 KiB
Current children cumulated memory: 12416 KiB
[startup+1.50009 s]
/proc/loadavg: 0.84 1.02 1.50 5/267 31953
/proc/meminfo: memFree=129106328/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=84792 memory=12416 CPUtime=1.47 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 858 0 0 0 102 45 0 0 20 0 1 0 35061617 86827008 3104 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 21198 3104 2528 595 0 5865 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 84792 KiB
Current children cumulated memory: 12416 KiB
[startup+3.10441 s]
/proc/loadavg: 0.84 1.02 1.50 5/267 31953
/proc/meminfo: memFree=129100568/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=84792 memory=12416 CPUtime=3.08 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 858 0 0 0 208 100 0 0 20 0 1 0 35061617 86827008 3104 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 21198 3104 2528 595 0 5865 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84792 KiB
Current children cumulated memory: 12416 KiB
[startup+6.3001 s]
/proc/loadavg: 1.10 1.07 1.51 5/267 31953
/proc/meminfo: memFree=129096476/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=87148 memory=17584 CPUtime=6.26 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 2109 0 0 0 505 121 0 0 20 0 1 0 35061617 89239552 4396 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 21787 4396 2560 595 0 6454 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 87148 KiB
Current children cumulated memory: 17584 KiB
[startup+12.7001 s]
/proc/loadavg: 1.33 1.12 1.52 5/267 31953
/proc/meminfo: memFree=129091940/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=87680 memory=18252 CPUtime=12.65 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 2868 0 0 0 1011 254 0 0 20 0 1 0 35061617 89784320 4563 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 21920 4563 2560 595 0 6587 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 87680 KiB
Current children cumulated memory: 18252 KiB
[startup+25.5001 s]
/proc/loadavg: 1.99 1.28 1.57 5/267 31953
/proc/meminfo: memFree=129077064/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=89348 memory=21908 CPUtime=25.43 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 5350 0 0 0 2150 393 0 0 20 0 1 0 35061617 91492352 5477 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 22337 5477 2560 595 0 7004 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 89348 KiB
Current children cumulated memory: 21908 KiB
[startup+51.1044 s]
/proc/loadavg: 2.68 1.50 1.63 5/268 31955
/proc/meminfo: memFree=129065112/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=91172 memory=23816 CPUtime=50.97 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 9396 0 0 0 4426 671 0 0 20 0 1 0 35061617 93360128 5954 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 22793 5954 2560 595 0 7460 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 91172 KiB
Current children cumulated memory: 23816 KiB
[startup+102.3 s]
/proc/loadavg: 3.47 1.90 1.77 5/268 31961
/proc/meminfo: memFree=129062500/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=92676 memory=27292 CPUtime=102.05 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 16094 0 0 0 8956 1249 0 0 20 0 1 0 35061617 94900224 6823 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 23169 6823 2560 595 0 7836 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 92676 KiB
Current children cumulated memory: 27292 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.32 1.92 5/267 31967
/proc/meminfo: memFree=129058892/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=93964 memory=28676 CPUtime=161.92 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 23095 0 0 0 14234 1958 0 0 20 0 1 0 35061617 96219136 7169 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 23491 7169 2560 595 0 8158 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 93964 KiB
Current children cumulated memory: 28676 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.64 2.06 5/266 31969
/proc/meminfo: memFree=129055084/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=95404 memory=30020 CPUtime=221.78 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 31080 0 0 0 19692 2486 0 0 20 0 1 0 35061617 97693696 7505 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 23851 7505 2560 595 0 8518 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 95404 KiB
Current children cumulated memory: 30020 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.92 2.19 5/266 31971
/proc/meminfo: memFree=129051196/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=95788 memory=30404 CPUtime=281.65 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 38542 0 0 0 24926 3239 0 0 20 0 1 0 35061617 98086912 7601 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 23947 7601 2560 595 0 8614 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 95788 KiB
Current children cumulated memory: 30404 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.14 2.31 5/265 31973
/proc/meminfo: memFree=129048340/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=96684 memory=31300 CPUtime=341.51 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 45516 0 0 0 30220 3931 0 0 20 0 1 0 35061617 99004416 7825 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 24171 7825 2560 595 0 8838 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 96684 KiB
Current children cumulated memory: 31300 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.33 2.43 5/262 31975
/proc/meminfo: memFree=129047244/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=96940 memory=31556 CPUtime=401.38 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 53079 0 0 0 35640 4498 0 0 20 0 1 0 35061617 99266560 7889 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 24235 7889 2560 595 0 8902 0
Current children cumulated CPU time: 401.38 s
Current children cumulated vsize: 96940 KiB
Current children cumulated memory: 31556 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.48 2.54 5/262 31977
/proc/meminfo: memFree=129044560/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=97740 memory=32356 CPUtime=461.24 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 61791 0 0 0 41316 4808 0 0 20 0 1 0 35061617 100085760 8089 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 24435 8089 2560 595 0 9102 0
################
# More data... #
################
Current children cumulated memory: 40716 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.02 5/264 32107
/proc/meminfo: memFree=129038504/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104500 memory=41124 CPUtime=2914.98 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 376692 0 0 0 265580 25918 0 0 20 0 1 0 35061617 107008000 10281 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26125 10281 2560 595 0 10792 0
Current children cumulated CPU time: 2914.98 s
Current children cumulated vsize: 104500 KiB
Current children cumulated memory: 41124 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/263 32109
/proc/meminfo: memFree=129038224/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104308 memory=40996 CPUtime=2974.85 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 385554 0 0 0 271001 26484 0 0 20 0 1 0 35061617 106811392 10249 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26077 10249 2560 595 0 10744 0
Current children cumulated CPU time: 2974.85 s
Current children cumulated vsize: 104308 KiB
Current children cumulated memory: 40996 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.13 4.03 5/264 32112
/proc/meminfo: memFree=129038156/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104308 memory=40996 CPUtime=3034.72 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 398603 0 0 0 276340 27132 0 0 20 0 1 0 35061617 106811392 10249 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26077 10249 2560 595 0 10744 0
Current children cumulated CPU time: 3034.72 s
Current children cumulated vsize: 104308 KiB
Current children cumulated memory: 40996 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/264 32115
/proc/meminfo: memFree=129042548/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104308 memory=40996 CPUtime=3094.59 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 410727 0 0 0 281567 27892 0 0 20 0 1 0 35061617 106811392 10249 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26077 10249 2560 595 0 10744 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 104308 KiB
Current children cumulated memory: 40996 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/264 32122
/proc/meminfo: memFree=129042572/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104308 memory=40996 CPUtime=3154.45 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 425684 0 0 0 287116 28329 0 0 20 0 1 0 35061617 106811392 10249 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26077 10249 2560 595 0 10744 0
Current children cumulated CPU time: 3154.45 s
Current children cumulated vsize: 104308 KiB
Current children cumulated memory: 40996 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/264 32124
/proc/meminfo: memFree=129042448/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104308 memory=40996 CPUtime=3214.31 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 438524 0 0 0 292394 29037 0 0 20 0 1 0 35061617 106811392 10249 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26077 10249 2560 595 0 10744 0
Current children cumulated CPU time: 3214.31 s
Current children cumulated vsize: 104308 KiB
Current children cumulated memory: 40996 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/264 32126
/proc/meminfo: memFree=129041916/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104308 memory=40996 CPUtime=3274.17 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 451257 0 0 0 297693 29724 0 0 20 0 1 0 35061617 106811392 10249 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26077 10249 2560 595 0 10744 0
Current children cumulated CPU time: 3274.17 s
Current children cumulated vsize: 104308 KiB
Current children cumulated memory: 40996 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/263 32128
/proc/meminfo: memFree=129041628/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104308 memory=40996 CPUtime=3334.04 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 464846 0 0 0 303103 30301 0 0 20 0 1 0 35061617 106811392 10249 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26077 10249 2560 595 0 10744 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 104308 KiB
Current children cumulated memory: 40996 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.05 5/264 32131
/proc/meminfo: memFree=129042312/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104308 memory=40996 CPUtime=3393.9 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 479719 0 0 0 308768 30622 0 0 20 0 1 0 35061617 106811392 10249 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26077 10249 2560 595 0 10744 0
Current children cumulated CPU time: 3393.9 s
Current children cumulated vsize: 104308 KiB
Current children cumulated memory: 40996 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/263 32133
/proc/meminfo: memFree=129041500/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104308 memory=40996 CPUtime=3453.77 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 492452 0 0 0 314069 31308 0 0 20 0 1 0 35061617 106811392 10249 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26077 10249 2560 595 0 10744 0
Current children cumulated CPU time: 3453.77 s
Current children cumulated vsize: 104308 KiB
Current children cumulated memory: 40996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/264 32136
/proc/meminfo: memFree=129041168/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104564 memory=41124 CPUtime=3513.64 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 502249 0 0 0 319445 31919 0 0 20 0 1 0 35061617 107073536 10281 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26141 10281 2560 595 0 10808 0
Current children cumulated CPU time: 3513.64 s
Current children cumulated vsize: 104564 KiB
Current children cumulated memory: 41124 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/264 32138
/proc/meminfo: memFree=129041120/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104564 memory=41124 CPUtime=3573.5 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 502249 0 0 0 324770 32580 0 0 20 0 1 0 35061617 107073536 10281 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26141 10281 2560 595 0 10808 0
Current children cumulated CPU time: 3573.5 s
Current children cumulated vsize: 104564 KiB
Current children cumulated memory: 41124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.13 4.12 4.06 4/258 32165
/proc/meminfo: memFree=129061616/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104756 memory=41252 CPUtime=3600.04 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 502265 0 0 0 327270 32734 0 0 20 0 1 0 35061617 107270144 10313 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26189 10313 2560 595 0 10856 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 104756 KiB
Current children cumulated memory: 41252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 31952 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3272.71 s, system=327.341 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.13 4.12 4.06 4/258 32165
/proc/meminfo: memFree=129061616/131249992 swapFree=33010684/33010684
[pid=31952] ppid=31949 vsize=104756 memory=41252 CPUtime=3600.04 cores=1,3
/proc/31952/stat : 31952 (SynLSCD) R 31949 31952 31839 0 -1 4194304 502265 0 0 0 327270 32734 0 0 20 0 1 0 35061617 107270144 10313 18446744073709551615 93950666149888 93950668584041 140731079547424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93950669065464 93950669098496 93950695104512 140731079551334 140731079551467 140731079551467 140731079557069 0
/proc/31952/statm: 26189 10313 2560 595 0 10856 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 104756 KiB
Current children cumulated memory: 41252 KiB
Child status: 0
Real time (s): 3608.9
CPU time (s): 3600.05
CPU user time (s): 3272.71
CPU system time (s): 327.341
CPU usage (%): 99.7547
Max. virtual memory (cumulated for all children) (KiB): 104884
Max. memory (cumulated for all children) (KiB): 41380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3272.71
system time used= 327.341
maximum resident set size= 41508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 502295
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= 149
involuntary context switches= 4842
# summary of solver processes directly reported to runsolver:
# pid: 31952
# total CPU time (s): 3600.05
# total CPU user time (s): 3272.71
# total CPU system time (s): 327.341
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93858 second user time and 12.3646 second system time
The end
Begin job on nodeC025 at 2025-06-29 12:43:49
IDJOB=4510054
IDBENCH=159702
IDSOLVER=3369
FILE ID=nodeC025/4510054-1751193829
RUNJOBID= nodeC025-1751193826-31851
SLURM_JOB_ID= 9587592
Free space on /tmp= 433052 MiB
SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n232-d3-i1-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510054-1751193829/watcher-4510054-1751193829 -o /tmp/evaluation-result-4510054-1751193829/solver-4510054-1751193829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751193826-31851 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510054-1751193829.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3c4292db534e5ed9ac145103152ac845
RANDOM SEED=957990741
nodeC025 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.822
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.320
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.67
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.542
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.67
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.833
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.67
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.847
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.67
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.825
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.67
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 : 3600.640
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.67
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.484
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 129110164 kB
MemAvailable: 129804064 kB
Buffers: 3280 kB
Cached: 1495484 kB
SwapCached: 0 kB
Active: 358576 kB
Inactive: 1222792 kB
Active(anon): 100700 kB
Inactive(anon): 0 kB
Active(file): 257876 kB
Inactive(file): 1222792 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14964 kB
Writeback: 0 kB
AnonPages: 85484 kB
Mapped: 114148 kB
Shmem: 18084 kB
KReclaimable: 104944 kB
Slab: 193068 kB
SReclaimable: 104944 kB
SUnreclaim: 88124 kB
KernelStack: 4336 kB
PageTables: 3376 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 478788 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC025 at 2025-06-29 13:43:58