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 (48553 MiB free)
memory of node 1: 64465 MiB (52561 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546251-1753259754/watcher-4546251-1753259754 -o /tmp/evaluation-result-4546251-1753259754/solver-4546251-1753259754 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753259701-164089 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546251-1753259754.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=164284, runsolver pid=164280
Current StackSize limit: 8192 KiB
[startup+0.100127 s]*
/proc/loadavg: 2.61 0.79 0.33 3/249 164287
/proc/meminfo: memFree=103540848/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=17104 memory=640 CPUtime=0 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) D 164280 164284 164071 0 -1 4456448 81 0 0 0 0 0 0 0 20 0 1 0 241655249 17514496 160 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.213502 s]*
/proc/loadavg: 2.61 0.79 0.33 3/249 164287
/proc/meminfo: memFree=103540848/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=17104 memory=640 CPUtime=0 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) D 164280 164284 164071 0 -1 4456448 81 0 0 0 0 0 0 0 20 0 1 0 241655249 17514496 160 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.313116 s]*
/proc/loadavg: 2.61 0.79 0.33 4/249 164288
/proc/meminfo: memFree=103540848/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=17104 memory=640 CPUtime=0 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) D 164280 164284 164071 0 -1 4456448 81 0 0 0 0 0 0 0 20 0 1 0 241655249 17514496 160 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.700336 s]
/proc/loadavg: 2.61 0.79 0.33 5/249 164288
/proc/meminfo: memFree=103533296/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=104180 memory=33472 CPUtime=0.21 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 4828 0 0 0 18 3 0 0 20 0 1 0 241655249 106680320 8368 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 26045 8368 2272 595 0 10712 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 104180 KiB
Current children cumulated memory: 33472 KiB
[startup+1.5003 s]
/proc/loadavg: 2.80 0.86 0.36 4/250 164292
/proc/meminfo: memFree=103516668/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=138876 memory=65400 CPUtime=1.01 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 13691 0 0 0 94 7 0 0 20 0 1 0 241655249 142209024 16350 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 34719 16350 2464 595 0 19386 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 138876 KiB
Current children cumulated memory: 65400 KiB
[startup+3.1128 s]
/proc/loadavg: 2.80 0.86 0.36 4/247 164292
/proc/meminfo: memFree=103485624/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=158648 memory=83064 CPUtime=2.61 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 18096 0 0 0 253 8 0 0 20 0 1 0 241655249 162455552 20766 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 39662 20766 2464 595 0 24329 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 158648 KiB
Current children cumulated memory: 83064 KiB
[startup+6.30028 s]
/proc/loadavg: 2.90 0.91 0.38 5/247 164292
/proc/meminfo: memFree=103504932/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=158648 memory=83064 CPUtime=5.79 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 18097 0 0 0 571 8 0 0 20 0 1 0 241655249 162455552 20766 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 39662 20766 2464 595 0 24329 0
Current children cumulated CPU time: 5.79 s
Current children cumulated vsize: 158648 KiB
Current children cumulated memory: 83064 KiB
[startup+12.7003 s]
/proc/loadavg: 3.07 0.98 0.40 4/247 164311
/proc/meminfo: memFree=103532392/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=158648 memory=83064 CPUtime=12.17 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 18097 0 0 0 1209 8 0 0 20 0 1 0 241655249 162455552 20766 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 39662 20766 2464 595 0 24329 0
Current children cumulated CPU time: 12.17 s
Current children cumulated vsize: 158648 KiB
Current children cumulated memory: 83064 KiB
[startup+25.5002 s]
/proc/loadavg: 3.21 1.08 0.44 4/247 164337
/proc/meminfo: memFree=104770444/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=173608 memory=101524 CPUtime=24.93 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 21649 0 0 0 2483 10 0 0 20 0 1 0 241655249 177774592 25381 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 43402 25381 2528 595 0 28069 0
Current children cumulated CPU time: 24.93 s
Current children cumulated vsize: 173608 KiB
Current children cumulated memory: 101524 KiB
[startup+51.112 s]
/proc/loadavg: 3.67 1.39 0.56 5/251 164465
/proc/meminfo: memFree=105020372/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=193356 memory=129660 CPUtime=50.47 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 26640 0 0 0 5031 16 0 0 20 0 1 0 241655249 197996544 32415 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 48339 32415 2528 595 0 33006 0
Current children cumulated CPU time: 50.47 s
Current children cumulated vsize: 193356 KiB
Current children cumulated memory: 129660 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 1.80 0.75 5/251 164466
/proc/meminfo: memFree=105120036/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=204528 memory=145788 CPUtime=101.48 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 29548 0 0 0 10128 20 0 0 20 0 1 0 241655249 209436672 36447 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 51132 36447 2528 595 0 35799 0
Current children cumulated CPU time: 101.48 s
Current children cumulated vsize: 204528 KiB
Current children cumulated memory: 145788 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 2.22 0.96 5/251 164467
/proc/meminfo: memFree=105099840/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=215736 memory=158204 CPUtime=161.29 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 32367 0 0 0 16105 24 0 0 20 0 1 0 241655249 220913664 39551 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 53934 39551 2528 595 0 38601 0
Current children cumulated CPU time: 161.29 s
Current children cumulated vsize: 215736 KiB
Current children cumulated memory: 158204 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 2.59 1.17 5/251 164469
/proc/meminfo: memFree=105031840/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=226068 memory=168060 CPUtime=221.1 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 34849 0 0 0 22081 29 0 0 20 0 1 0 241655249 231493632 42015 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 56517 42015 2528 595 0 41184 0
Current children cumulated CPU time: 221.1 s
Current children cumulated vsize: 226068 KiB
Current children cumulated memory: 168060 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.86 1.35 5/249 164471
/proc/meminfo: memFree=104998316/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=237192 memory=179324 CPUtime=280.9 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 37670 0 0 0 28050 40 0 0 20 0 1 0 241655249 242884608 44831 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 59298 44831 2528 595 0 43965 0
Current children cumulated CPU time: 280.9 s
Current children cumulated vsize: 237192 KiB
Current children cumulated memory: 179324 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 3.11 1.53 5/249 164473
/proc/meminfo: memFree=104914332/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=241188 memory=183036 CPUtime=340.7 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 38600 0 0 0 34029 41 0 0 20 0 1 0 241655249 246976512 45759 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 60297 45759 2528 595 0 44964 0
Current children cumulated CPU time: 340.7 s
Current children cumulated vsize: 241188 KiB
Current children cumulated memory: 183036 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.29 1.69 5/250 164476
/proc/meminfo: memFree=104899048/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=244776 memory=187004 CPUtime=400.49 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 39599 0 0 0 40004 45 0 0 20 0 1 0 241655249 250650624 46751 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 61194 46751 2528 595 0 45861 0
Current children cumulated CPU time: 400.49 s
Current children cumulated vsize: 244776 KiB
Current children cumulated memory: 187004 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.43 1.85 5/250 164478
/proc/meminfo: memFree=104851180/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=249664 memory=191740 CPUtime=460.27 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 40801 0 0 0 45974 53 0 0 20 0 1 0 241655249 255655936 47935 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 62416 47935 2528 595 0 47083 0
Current children cumulated CPU time: 460.27 s
################
# More data... #
################
Current children cumulated memory: 271576 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.14 4.02 5/250 164618
/proc/meminfo: memFree=104694596/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=340412 memory=271832 CPUtime=2973.45 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 55238 0 0 0 297080 265 0 0 20 0 1 0 241655249 348581888 67958 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 85103 67958 2624 595 0 69770 0
Current children cumulated CPU time: 2973.45 s
Current children cumulated vsize: 340412 KiB
Current children cumulated memory: 271832 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.13 4.02 5/250 164627
/proc/meminfo: memFree=104688672/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=340412 memory=272088 CPUtime=3033.29 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 55300 0 0 0 303063 266 0 0 20 0 1 0 241655249 348581888 68022 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 85103 68022 2624 595 0 69770 0
Current children cumulated CPU time: 3033.29 s
Current children cumulated vsize: 340412 KiB
Current children cumulated memory: 272088 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.03 5/250 164629
/proc/meminfo: memFree=104690252/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=340412 memory=272088 CPUtime=3093.14 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 55314 0 0 0 309041 273 0 0 20 0 1 0 241655249 348581888 68022 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 85103 68022 2624 595 0 69770 0
Current children cumulated CPU time: 3093.14 s
Current children cumulated vsize: 340412 KiB
Current children cumulated memory: 272088 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.10 4.02 5/250 164631
/proc/meminfo: memFree=104688980/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=340836 memory=272344 CPUtime=3152.98 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 55475 0 0 0 315022 276 0 0 20 0 1 0 241655249 349016064 68086 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 85209 68086 2624 595 0 69876 0
Current children cumulated CPU time: 3152.98 s
Current children cumulated vsize: 340836 KiB
Current children cumulated memory: 272344 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/250 164633
/proc/meminfo: memFree=104680440/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=341492 memory=272984 CPUtime=3212.82 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 55637 0 0 0 321004 278 0 0 20 0 1 0 241655249 349687808 68246 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 85373 68246 2624 595 0 70040 0
Current children cumulated CPU time: 3212.82 s
Current children cumulated vsize: 341492 KiB
Current children cumulated memory: 272984 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/250 164635
/proc/meminfo: memFree=104672828/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=341796 memory=273240 CPUtime=3272.66 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 55701 0 0 0 326982 284 0 0 20 0 1 0 241655249 349999104 68310 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 85449 68310 2624 595 0 70116 0
Current children cumulated CPU time: 3272.66 s
Current children cumulated vsize: 341796 KiB
Current children cumulated memory: 273240 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/249 164637
/proc/meminfo: memFree=104668036/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=342348 memory=273880 CPUtime=3332.5 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 55877 0 0 0 332959 291 0 0 20 0 1 0 241655249 350564352 68470 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 85587 68470 2624 595 0 70254 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 342348 KiB
Current children cumulated memory: 273880 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/249 164639
/proc/meminfo: memFree=104668452/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=342348 memory=274008 CPUtime=3392.34 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 55893 0 0 0 338937 297 0 0 20 0 1 0 241655249 350564352 68502 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 85587 68502 2624 595 0 70254 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 342348 KiB
Current children cumulated memory: 274008 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/249 164641
/proc/meminfo: memFree=104668184/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=343520 memory=275032 CPUtime=3452.18 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 56146 0 0 0 344915 303 0 0 20 0 1 0 241655249 351764480 68758 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 85880 68758 2624 595 0 70547 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 343520 KiB
Current children cumulated memory: 275032 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/250 164644
/proc/meminfo: memFree=104651684/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=343520 memory=275160 CPUtime=3512.03 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 56192 0 0 0 350890 313 0 0 20 0 1 0 241655249 351764480 68790 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 85880 68790 2624 595 0 70547 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 343520 KiB
Current children cumulated memory: 275160 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.03 5/250 164691
/proc/meminfo: memFree=104845724/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=343520 memory=275160 CPUtime=3571.87 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 56192 0 0 0 356874 313 0 0 20 0 1 0 241655249 351764480 68790 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 85880 68790 2624 595 0 70547 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 343520 KiB
Current children cumulated memory: 275160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.04 4.08 4.03 5/250 164692
/proc/meminfo: memFree=104820516/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=344192 memory=275800 CPUtime=3600.09 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 56338 0 0 0 359695 314 0 0 20 0 1 0 241655249 352452608 68950 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 86048 68950 2624 595 0 70715 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 344192 KiB
Current children cumulated memory: 275800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 164284 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.26 s, system=3.15136 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.8 s]
/proc/loadavg: 4.04 4.08 4.03 5/250 164692
/proc/meminfo: memFree=104820516/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=291348 memory=236000 CPUtime=3600.29 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 56339 0 0 0 359715 314 0 0 20 0 1 0 241655249 298340352 59000 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 72837 59000 2624 595 0 57504 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 291348 KiB
Current children cumulated memory: 236000 KiB
[startup+3610.9 s]
/proc/loadavg: 4.04 4.08 4.03 5/250 164692
/proc/meminfo: memFree=104820516/131382112 swapFree=33001664/33010684
[pid=164284] ppid=164280 vsize=291348 memory=236000 CPUtime=3600.38 cores=0,2
/proc/164284/stat : 164284 (SynLSCD-PS) R 164280 164284 164071 0 -1 4194304 56339 0 0 0 359724 314 0 0 20 0 1 0 241655249 298340352 59000 18446744073709551615 94388092669952 94388095105369 140734019317456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94388095585528 94388095618560 94388113444864 140734019324285 140734019324423 140734019324423 140734019330027 0
/proc/164284/statm: 72837 59000 2624 595 0 57504 0
Current children cumulated CPU time: 3600.38 s
Current children cumulated vsize: 291348 KiB
Current children cumulated memory: 236000 KiB
Child status: 0
Real time (s): 3610.91
CPU time (s): 3600.41
CPU user time (s): 3597.26
CPU system time (s): 3.15136
CPU usage (%): 99.7092
Max. virtual memory (cumulated for all children) (KiB): 344192
Max. memory (cumulated for all children) (KiB): 275800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.26
system time used= 3.15136
maximum resident set size= 275800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56364
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= 241
involuntary context switches= 8921
# summary of solver processes directly reported to runsolver:
# pid: 164284
# total CPU time (s): 3600.41
# total CPU user time (s): 3597.26
# total CPU system time (s): 3.15136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2357 second user time and 32.534 second system time
The end
Begin job on nodeC005 at 2025-07-23 10:35:56
IDJOB=4546251
IDBENCH=152982
IDSOLVER=3422
FILE ID=nodeC005/4546251-1753259754
RUNJOBID= nodeC005-1753259701-164089
SLURM_JOB_ID= 9689160
Free space on /tmp= 432932 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9013_3-sat.opb
COMMAND LINE= ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546251-1753259754/watcher-4546251-1753259754 -o /tmp/evaluation-result-4546251-1753259754/solver-4546251-1753259754 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753259701-164089 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546251-1753259754.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 69f6f997ce8de3d1a51b1c8599cc504d
RANDOM SEED=554905260
nodeC005 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.238
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.90
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 : 3648.661
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.90
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.400
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.90
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.476
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.90
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 : 3491.921
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.90
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 : 1197.397
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.90
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.546
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.90
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.288
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 103514528 kB
MemAvailable: 127806976 kB
Buffers: 12 kB
Cached: 25063652 kB
SwapCached: 776 kB
Active: 2296360 kB
Inactive: 24648812 kB
Active(anon): 1863688 kB
Inactive(anon): 38384 kB
Active(file): 432672 kB
Inactive(file): 24610428 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33001664 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 102616 kB
Writeback: 0 kB
AnonPages: 1883868 kB
Mapped: 111864 kB
Shmem: 20564 kB
KReclaimable: 177948 kB
Slab: 269404 kB
SReclaimable: 177948 kB
SUnreclaim: 91456 kB
KernelStack: 4048 kB
PageTables: 6908 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2501696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1308672 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC005 at 2025-07-23 11:36:10