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 (62079 MiB free)
memory of node 1: 64507 MiB (63538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545803-1753261033/watcher-4545803-1753261033 -o /tmp/evaluation-result-4545803-1753261033/solver-4545803-1753261033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753259701-174086 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545803-1753261033.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=174606, runsolver pid=174603
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.16 4.11 3.22 5/265 174607
/proc/meminfo: memFree=128616956/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=107516 memory=33500 CPUtime=0.08 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 6661 0 0 0 7 1 0 0 20 0 1 0 241781229 110096384 8375 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 26879 8375 2464 595 0 11546 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 107516 KiB
Current children cumulated memory: 33500 KiB
[startup+0.205527 s]*
/proc/loadavg: 4.16 4.11 3.22 6/265 174607
/proc/meminfo: memFree=128609144/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=109232 memory=37852 CPUtime=0.19 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 7710 0 0 0 17 2 0 0 20 0 1 0 241781229 111853568 9463 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 27308 9463 2496 595 0 11975 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109232 KiB
Current children cumulated memory: 37852 KiB
[startup+0.305338 s]*
/proc/loadavg: 4.16 4.11 3.22 5/265 174607
/proc/meminfo: memFree=128592760/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=109232 memory=37852 CPUtime=0.29 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 7710 0 0 0 25 4 0 0 20 0 1 0 241781229 111853568 9463 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 27308 9463 2496 595 0 11975 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 109232 KiB
Current children cumulated memory: 37852 KiB
[startup+0.700126 s]
/proc/loadavg: 4.16 4.11 3.22 5/265 174607
/proc/meminfo: memFree=128592760/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=109232 memory=37852 CPUtime=0.68 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 7710 0 0 0 61 7 0 0 20 0 1 0 241781229 111853568 9463 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 27308 9463 2496 595 0 11975 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109232 KiB
Current children cumulated memory: 37852 KiB
[startup+1.50014 s]
/proc/loadavg: 4.16 4.11 3.22 5/265 174607
/proc/meminfo: memFree=128593240/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=109232 memory=37852 CPUtime=1.48 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 7710 0 0 0 133 15 0 0 20 0 1 0 241781229 111853568 9463 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 27308 9463 2496 595 0 11975 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109232 KiB
Current children cumulated memory: 37852 KiB
[startup+3.10478 s]
/proc/loadavg: 4.15 4.11 3.22 5/265 174607
/proc/meminfo: memFree=128593744/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=109232 memory=37852 CPUtime=3.08 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 7710 0 0 0 277 31 0 0 20 0 1 0 241781229 111853568 9463 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 27308 9463 2496 595 0 11975 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 109232 KiB
Current children cumulated memory: 37852 KiB
[startup+6.3001 s]
/proc/loadavg: 4.15 4.11 3.22 5/265 174607
/proc/meminfo: memFree=128593744/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=109232 memory=37852 CPUtime=6.27 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 7710 0 0 0 568 59 0 0 20 0 1 0 241781229 111853568 9463 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 27308 9463 2496 595 0 11975 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 109232 KiB
Current children cumulated memory: 37852 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.11 3.23 5/265 174607
/proc/meminfo: memFree=128592508/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=109232 memory=37852 CPUtime=12.66 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 7710 0 0 0 1146 120 0 0 20 0 1 0 241781229 111853568 9463 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 27308 9463 2496 595 0 11975 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 109232 KiB
Current children cumulated memory: 37852 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 3.24 5/265 174607
/proc/meminfo: memFree=128584820/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=113136 memory=50332 CPUtime=25.42 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 8751 0 0 0 2405 137 0 0 20 0 1 0 241781229 115851264 12583 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 28284 12583 2560 595 0 12951 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 113136 KiB
Current children cumulated memory: 50332 KiB
[startup+51.1048 s]
/proc/loadavg: 4.13 4.11 3.27 5/265 174607
/proc/meminfo: memFree=128593468/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=114624 memory=51740 CPUtime=50.97 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 9124 0 0 0 4955 142 0 0 20 0 1 0 241781229 117374976 12935 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 28656 12935 2560 595 0 13323 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 114624 KiB
Current children cumulated memory: 51740 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 3.32 5/264 174609
/proc/meminfo: memFree=128616460/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=115340 memory=52508 CPUtime=102.05 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 9308 0 0 0 9919 286 0 0 20 0 1 0 241781229 118108160 13127 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 28835 13127 2560 595 0 13502 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 115340 KiB
Current children cumulated memory: 52508 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 3.37 5/264 174611
/proc/meminfo: memFree=128615928/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=116056 memory=54556 CPUtime=161.9 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 9528 0 0 0 15758 432 0 0 20 0 1 0 241781229 118841344 13639 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 29014 13639 2560 595 0 13681 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 116056 KiB
Current children cumulated memory: 54556 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 3.42 5/262 174613
/proc/meminfo: memFree=128614908/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=116836 memory=55324 CPUtime=221.77 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 9697 0 0 0 21605 572 0 0 20 0 1 0 241781229 119640064 13831 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 29209 13831 2560 595 0 13876 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 116836 KiB
Current children cumulated memory: 55324 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.09 3.46 5/262 174626
/proc/meminfo: memFree=128610268/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=117092 memory=55580 CPUtime=281.63 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 9776 0 0 0 27582 581 0 0 20 0 1 0 241781229 119902208 13895 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 29273 13895 2560 595 0 13940 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 117092 KiB
Current children cumulated memory: 55580 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.10 3.51 5/262 174628
/proc/meminfo: memFree=128594632/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=117092 memory=55708 CPUtime=341.49 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 9809 0 0 0 33426 723 0 0 20 0 1 0 241781229 119902208 13927 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 29273 13927 2560 595 0 13940 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 117092 KiB
Current children cumulated memory: 55708 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 3.55 5/262 174630
/proc/meminfo: memFree=128596472/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=117476 memory=55964 CPUtime=401.36 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 9889 0 0 0 39266 870 0 0 20 0 1 0 241781229 120295424 13991 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 29369 13991 2560 595 0 14036 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 117476 KiB
Current children cumulated memory: 55964 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.09 3.58 5/263 174634
/proc/meminfo: memFree=128596516/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=117668 memory=56092 CPUtime=461.22 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 9943 0 0 0 45113 1009 0 0 20 0 1 0 241781229 120492032 14023 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 29417 14023 2560 595 0 14084 0
################
# More data... #
################
Current children cumulated memory: 61212 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/262 175079
/proc/meminfo: memFree=128631832/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=122704 memory=61212 CPUtime=2915.25 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11313 0 0 0 286379 5146 0 0 20 0 1 0 241781229 125648896 15303 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30676 15303 2560 595 0 15343 0
Current children cumulated CPU time: 2915.25 s
Current children cumulated vsize: 122704 KiB
Current children cumulated memory: 61212 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/264 175089
/proc/meminfo: memFree=128631700/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=122704 memory=61340 CPUtime=2975.08 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11324 0 0 0 292219 5289 0 0 20 0 1 0 241781229 125648896 15335 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30676 15335 2560 595 0 15343 0
Current children cumulated CPU time: 2975.08 s
Current children cumulated vsize: 122704 KiB
Current children cumulated memory: 61340 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/263 175091
/proc/meminfo: memFree=128635796/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=122856 memory=61468 CPUtime=3034.89 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11379 0 0 0 298055 5434 0 0 20 0 1 0 241781229 125804544 15367 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30714 15367 2560 595 0 15381 0
Current children cumulated CPU time: 3034.89 s
Current children cumulated vsize: 122856 KiB
Current children cumulated memory: 61468 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/263 175093
/proc/meminfo: memFree=128642500/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=123136 memory=61596 CPUtime=3094.71 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11423 0 0 0 304028 5443 0 0 20 0 1 0 241781229 126091264 15399 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30784 15399 2560 595 0 15451 0
Current children cumulated CPU time: 3094.71 s
Current children cumulated vsize: 123136 KiB
Current children cumulated memory: 61596 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/263 175095
/proc/meminfo: memFree=128629108/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=123136 memory=61596 CPUtime=3154.54 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11423 0 0 0 309866 5588 0 0 20 0 1 0 241781229 126091264 15399 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30784 15399 2560 595 0 15451 0
Current children cumulated CPU time: 3154.54 s
Current children cumulated vsize: 123136 KiB
Current children cumulated memory: 61596 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 175097
/proc/meminfo: memFree=128629996/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=123136 memory=61596 CPUtime=3214.36 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11438 0 0 0 315704 5732 0 0 20 0 1 0 241781229 126091264 15399 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30784 15399 2560 595 0 15451 0
Current children cumulated CPU time: 3214.36 s
Current children cumulated vsize: 123136 KiB
Current children cumulated memory: 61596 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.08 5/263 175099
/proc/meminfo: memFree=128640944/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=123312 memory=61724 CPUtime=3274.19 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11467 0 0 0 321537 5882 0 0 20 0 1 0 241781229 126271488 15431 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30828 15431 2560 595 0 15495 0
Current children cumulated CPU time: 3274.19 s
Current children cumulated vsize: 123312 KiB
Current children cumulated memory: 61724 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/264 175147
/proc/meminfo: memFree=122725204/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=123824 memory=62236 CPUtime=3334.01 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11595 0 0 0 327370 6031 0 0 20 0 1 0 241781229 126795776 15559 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30956 15559 2560 595 0 15623 0
Current children cumulated CPU time: 3334.01 s
Current children cumulated vsize: 123824 KiB
Current children cumulated memory: 62236 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 175149
/proc/meminfo: memFree=122725820/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=123824 memory=62236 CPUtime=3393.83 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11595 0 0 0 333204 6179 0 0 20 0 1 0 241781229 126795776 15559 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30956 15559 2560 595 0 15623 0
Current children cumulated CPU time: 3393.83 s
Current children cumulated vsize: 123824 KiB
Current children cumulated memory: 62236 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 175151
/proc/meminfo: memFree=122729292/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=123824 memory=62236 CPUtime=3453.66 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11595 0 0 0 339039 6327 0 0 20 0 1 0 241781229 126795776 15559 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30956 15559 2560 595 0 15623 0
Current children cumulated CPU time: 3453.66 s
Current children cumulated vsize: 123824 KiB
Current children cumulated memory: 62236 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 175153
/proc/meminfo: memFree=122678424/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=123824 memory=62236 CPUtime=3513.48 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11595 0 0 0 344869 6479 0 0 20 0 1 0 241781229 126795776 15559 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30956 15559 2560 595 0 15623 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 123824 KiB
Current children cumulated memory: 62236 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 175157
/proc/meminfo: memFree=122661716/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=123824 memory=62236 CPUtime=3573.3 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11595 0 0 0 350841 6489 0 0 20 0 1 0 241781229 126795776 15559 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30956 15559 2560 595 0 15623 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 123824 KiB
Current children cumulated memory: 62236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.14 4.09 4.09 5/265 175165
/proc/meminfo: memFree=122635956/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=123824 memory=62236 CPUtime=3600.03 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11595 0 0 0 353510 6493 0 0 20 0 1 0 241781229 126795776 15559 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30956 15559 2560 595 0 15623 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 123824 KiB
Current children cumulated memory: 62236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 174606 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3535.11 s, system=64.9314 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.14 4.09 4.09 5/265 175165
/proc/meminfo: memFree=122635956/131249996 swapFree=33010672/33010684
[pid=174606] ppid=174603 vsize=123824 memory=62236 CPUtime=3600.03 cores=5,7
/proc/174606/stat : 174606 (SynLSCD) R 174603 174606 174066 0 -1 4194304 11595 0 0 0 353510 6493 0 0 20 0 1 0 241781229 126795776 15559 18446744073709551615 94069072814080 94069075248681 140728064939600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94069075729656 94069075762688 94069083967488 140728064944515 140728064944650 140728064944650 140728064950254 0
/proc/174606/statm: 30956 15559 2560 595 0 15623 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 123824 KiB
Current children cumulated memory: 62236 KiB
Child status: 0
Real time (s): 3609.11
CPU time (s): 3600.04
CPU user time (s): 3535.11
CPU system time (s): 64.9314
CPU usage (%): 99.7487
Max. virtual memory (cumulated for all children) (KiB): 123824
Max. memory (cumulated for all children) (KiB): 62236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3535.11
system time used= 64.9314
maximum resident set size= 62492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11626
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= 151
involuntary context switches= 1459
# summary of solver processes directly reported to runsolver:
# pid: 174606
# total CPU time (s): 3600.04
# total CPU user time (s): 3535.11
# total CPU system time (s): 64.9314
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69815 second user time and 14.6588 second system time
The end
Begin job on nodeC024 at 2025-07-23 10:57:13
IDJOB=4545803
IDBENCH=160409
IDSOLVER=3421
FILE ID=nodeC024/4545803-1753261033
RUNJOBID= nodeC024-1753259701-174086
SLURM_JOB_ID= 9689179
Free space on /tmp= 433028 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l090-r089-n1.cnf-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-4545803-1753261033/watcher-4545803-1753261033 -o /tmp/evaluation-result-4545803-1753261033/solver-4545803-1753261033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753259701-174086 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545803-1753261033.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 60aa0ac85dc632e57e54cb255f142331
RANDOM SEED=1834945035
nodeC024 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.671
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.36
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.837
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.36
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.241
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.36
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 : 3597.224
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.36
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.912
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.36
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 : 3593.808
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.36
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 : 3762.229
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.654
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128632308 kB
MemAvailable: 129219072 kB
Buffers: 2128 kB
Cached: 1348396 kB
SwapCached: 8 kB
Active: 1646888 kB
Inactive: 221168 kB
Active(anon): 542192 kB
Inactive(anon): 1588 kB
Active(file): 1104696 kB
Inactive(file): 219580 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3868 kB
Writeback: 0 kB
AnonPages: 518576 kB
Mapped: 120832 kB
Shmem: 26248 kB
KReclaimable: 203056 kB
Slab: 299512 kB
SReclaimable: 203056 kB
SUnreclaim: 96456 kB
KernelStack: 4336 kB
PageTables: 4400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 959464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 395264 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC024 at 2025-07-23 11:57:23