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 (41187 MiB free)
memory of node 1: 64465 MiB (56157 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546449-1753260355/watcher-4546449-1753260355 -o /tmp/evaluation-result-4546449-1753260355/solver-4546449-1753260355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753259701-178464 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546449-1753260355.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
Starting watchdog thread
solver pid=179271, runsolver pid=179268
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.06 3.66 2.16 5/265 179272
/proc/meminfo: memFree=99682144/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=99944 memory=26276 CPUtime=0.09 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 5178 0 0 0 8 1 0 0 20 0 1 0 241714172 102342656 6569 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 24986 6569 2400 595 0 9653 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 99944 KiB
Current children cumulated memory: 26276 KiB
[startup+0.205669 s]*
/proc/loadavg: 4.06 3.66 2.16 5/265 179272
/proc/meminfo: memFree=99634012/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=149760 memory=75684 CPUtime=0.19 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 17514 0 0 0 16 3 0 0 20 0 1 0 241714172 153354240 18921 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 37440 18921 2432 595 0 22107 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 149760 KiB
Current children cumulated memory: 75684 KiB
[startup+0.305606 s]*
/proc/loadavg: 4.06 3.66 2.16 5/265 179272
/proc/meminfo: memFree=99634012/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=149760 memory=75684 CPUtime=0.29 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 17515 0 0 0 26 3 0 0 20 0 1 0 241714172 153354240 18921 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 37440 18921 2432 595 0 22107 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 149760 KiB
Current children cumulated memory: 75684 KiB
[startup+0.700179 s]
/proc/loadavg: 4.06 3.66 2.16 5/265 179272
/proc/meminfo: memFree=99634012/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=149760 memory=75684 CPUtime=0.68 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 17518 0 0 0 65 3 0 0 20 0 1 0 241714172 153354240 18921 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 37440 18921 2432 595 0 22107 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 149760 KiB
Current children cumulated memory: 75684 KiB
[startup+1.50016 s]
/proc/loadavg: 4.06 3.66 2.16 5/265 179272
/proc/meminfo: memFree=99634012/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=149760 memory=75684 CPUtime=1.48 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 17518 0 0 0 145 3 0 0 20 0 1 0 241714172 153354240 18921 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 37440 18921 2432 595 0 22107 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 149760 KiB
Current children cumulated memory: 75684 KiB
[startup+3.10547 s]
/proc/loadavg: 4.14 3.69 2.17 5/265 179272
/proc/meminfo: memFree=99656004/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=149760 memory=75684 CPUtime=3.08 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 17518 0 0 0 305 3 0 0 20 0 1 0 241714172 153354240 18921 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 37440 18921 2432 595 0 22107 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 149760 KiB
Current children cumulated memory: 75684 KiB
[startup+6.30014 s]
/proc/loadavg: 4.14 3.69 2.17 5/265 179272
/proc/meminfo: memFree=99675068/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=149760 memory=75684 CPUtime=6.27 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 17519 0 0 0 624 3 0 0 20 0 1 0 241714172 153354240 18921 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 37440 18921 2432 595 0 22107 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 149760 KiB
Current children cumulated memory: 75684 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 3.70 2.19 5/265 179272
/proc/meminfo: memFree=99723984/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=149760 memory=75684 CPUtime=12.65 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 17519 0 0 0 1262 3 0 0 20 0 1 0 241714172 153354240 18921 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 37440 18921 2432 595 0 22107 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 149760 KiB
Current children cumulated memory: 75684 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 3.71 2.21 5/265 179272
/proc/meminfo: memFree=99820356/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=149760 memory=75684 CPUtime=25.42 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 17519 0 0 0 2539 3 0 0 20 0 1 0 241714172 153354240 18921 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 37440 18921 2432 595 0 22107 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 149760 KiB
Current children cumulated memory: 75684 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 3.75 2.27 5/265 179272
/proc/meminfo: memFree=100042628/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=149760 memory=75684 CPUtime=50.96 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 17519 0 0 0 5093 3 0 0 20 0 1 0 241714172 153354240 18921 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 37440 18921 2432 595 0 22107 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 149760 KiB
Current children cumulated memory: 75684 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 3.79 2.37 5/265 179274
/proc/meminfo: memFree=100064828/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=174624 memory=113100 CPUtime=102.02 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 20939 0 0 0 10191 11 0 0 20 0 1 0 241714172 178814976 28275 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 43656 28275 2464 595 0 28323 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 174624 KiB
Current children cumulated memory: 113100 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 3.85 2.48 5/264 179277
/proc/meminfo: memFree=100023676/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=174624 memory=113100 CPUtime=161.87 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 20939 0 0 0 16176 11 0 0 20 0 1 0 241714172 178814976 28275 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 43656 28275 2464 595 0 28323 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 174624 KiB
Current children cumulated memory: 113100 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.91 2.59 5/264 179279
/proc/meminfo: memFree=100010280/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=180520 memory=118860 CPUtime=221.71 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 22394 0 0 0 22150 21 0 0 20 0 1 0 241714172 184852480 29715 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 45130 29715 2464 595 0 29797 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 180520 KiB
Current children cumulated memory: 118860 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.94 2.68 5/264 179281
/proc/meminfo: memFree=99923636/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=180520 memory=118860 CPUtime=281.56 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 22394 0 0 0 28135 21 0 0 20 0 1 0 241714172 184852480 29715 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 45130 29715 2464 595 0 29797 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 180520 KiB
Current children cumulated memory: 118860 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.97 2.77 5/263 179283
/proc/meminfo: memFree=104354996/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=183928 memory=122060 CPUtime=341.4 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 23205 0 0 0 34108 32 0 0 20 0 1 0 241714172 188342272 30515 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 45982 30515 2464 595 0 30649 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 183928 KiB
Current children cumulated memory: 122060 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.99 2.86 5/263 179330
/proc/meminfo: memFree=117032260/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=183928 memory=122060 CPUtime=401.23 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 23215 0 0 0 40091 32 0 0 20 0 1 0 241714172 188342272 30515 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 45982 30515 2464 595 0 30649 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 183928 KiB
Current children cumulated memory: 122060 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.01 2.94 5/263 179332
/proc/meminfo: memFree=117017744/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=188380 memory=128628 CPUtime=461.03 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 24326 0 0 0 46061 42 0 0 20 0 1 0 241714172 192901120 32157 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 47095 32157 2464 595 0 31762 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/266 179710
/proc/meminfo: memFree=110108244/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=245188 memory=178156 CPUtime=3094.37 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 33372 0 0 0 309109 328 0 0 20 0 1 0 241714172 251072512 44539 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 61297 44539 2464 595 0 45964 0
Current children cumulated CPU time: 3094.37 s
Current children cumulated vsize: 245188 KiB
Current children cumulated memory: 178156 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/267 179720
/proc/meminfo: memFree=109512796/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=245580 memory=178412 CPUtime=3154.22 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 33451 0 0 0 315085 337 0 0 20 0 1 0 241714172 251473920 44603 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 61395 44603 2464 595 0 46062 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 245580 KiB
Current children cumulated memory: 178412 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/266 179722
/proc/meminfo: memFree=108854912/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=245580 memory=178412 CPUtime=3214.08 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 33451 0 0 0 321070 338 0 0 20 0 1 0 241714172 251473920 44603 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 61395 44603 2464 595 0 46062 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 245580 KiB
Current children cumulated memory: 178412 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/265 179724
/proc/meminfo: memFree=108316736/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=245908 memory=178796 CPUtime=3273.94 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 33547 0 0 0 327048 346 0 0 20 0 1 0 241714172 251809792 44699 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 61477 44699 2464 595 0 46144 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 245908 KiB
Current children cumulated memory: 178796 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/265 179726
/proc/meminfo: memFree=107934608/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=246800 memory=179692 CPUtime=3333.79 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 33770 0 0 0 333023 356 0 0 20 0 1 0 241714172 252723200 44923 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 61700 44923 2464 595 0 46367 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 246800 KiB
Current children cumulated memory: 179692 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/266 179729
/proc/meminfo: memFree=107313472/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=247416 memory=180204 CPUtime=3393.64 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 33928 0 0 0 338998 366 0 0 20 0 1 0 241714172 253353984 45051 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 61854 45051 2464 595 0 46521 0
Current children cumulated CPU time: 3393.64 s
Current children cumulated vsize: 247416 KiB
Current children cumulated memory: 180204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 179732
/proc/meminfo: memFree=106841356/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=247900 memory=180716 CPUtime=3453.5 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 34049 0 0 0 344977 373 0 0 20 0 1 0 241714172 253849600 45179 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 61975 45179 2464 595 0 46642 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 247900 KiB
Current children cumulated memory: 180716 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/265 179734
/proc/meminfo: memFree=106802780/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=247900 memory=180844 CPUtime=3513.37 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 34073 0 0 0 350962 375 0 0 20 0 1 0 241714172 253849600 45211 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 61975 45211 2464 595 0 46642 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 247900 KiB
Current children cumulated memory: 180844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/265 179737
/proc/meminfo: memFree=106764004/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=248116 memory=180972 CPUtime=3573.22 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 34103 0 0 0 356938 384 0 0 20 0 1 0 241714172 254070784 45243 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 62029 45243 2464 595 0 46696 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 248116 KiB
Current children cumulated memory: 180972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.04 4.08 4.04 5/265 179738
/proc/meminfo: memFree=106703912/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=248116 memory=180972 CPUtime=3600.05 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 34103 0 0 0 359621 384 0 0 20 0 1 0 241714172 254070784 45243 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 62029 45243 2464 595 0 46696 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 248116 KiB
Current children cumulated memory: 180972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.2 s]
# the end of solver process 179271 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3598.22 s, system=3.84556 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.04 4.08 4.04 5/265 179738
/proc/meminfo: memFree=106703912/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=248116 memory=180972 CPUtime=3600.45 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 34103 0 0 0 359661 384 0 0 20 0 1 0 241714172 254070784 45243 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 62029 45243 2464 595 0 46696 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 248116 KiB
Current children cumulated memory: 180972 KiB
[startup+3610.4 s]
/proc/loadavg: 4.04 4.08 4.04 5/265 179738
/proc/meminfo: memFree=106703912/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=248116 memory=180972 CPUtime=3601.25 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 34103 0 0 0 359741 384 0 0 20 0 1 0 241714172 254070784 45243 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 62029 45243 2464 595 0 46696 0
Current children cumulated CPU time: 3601.25 s
Current children cumulated vsize: 248116 KiB
Current children cumulated memory: 180972 KiB
[startup+3610.8 s]
/proc/loadavg: 4.04 4.08 4.04 5/265 179738
/proc/meminfo: memFree=106703912/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=248116 memory=180972 CPUtime=3601.65 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 34103 0 0 0 359781 384 0 0 20 0 1 0 241714172 254070784 45243 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 62029 45243 2464 595 0 46696 0
Current children cumulated CPU time: 3601.65 s
Current children cumulated vsize: 248116 KiB
Current children cumulated memory: 180972 KiB
[startup+3611.2 s]
/proc/loadavg: 4.04 4.08 4.04 5/265 179738
/proc/meminfo: memFree=106695848/131249996 swapFree=33010160/33010684
[pid=179271] ppid=179268 vsize=248116 memory=180972 CPUtime=3602.05 cores=1,3
/proc/179271/stat : 179271 (SynLSCD-PS) R 179268 179271 178445 0 -1 4194304 34103 0 0 0 359821 384 0 0 20 0 1 0 241714172 254070784 45243 18446744073709551615 93840358600704 93840361036121 140729510885680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93840361516280 93840361549312 93840392859648 140729510893949 140729510894087 140729510894087 140729510899691 0
/proc/179271/statm: 62029 45243 2464 595 0 46696 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 248116 KiB
Current children cumulated memory: 180972 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.2
CPU time (s): 3602.06
CPU user time (s): 3598.22
CPU system time (s): 3.84556
CPU usage (%): 99.7469
Max. virtual memory (cumulated for all children) (KiB): 248116
Max. memory (cumulated for all children) (KiB): 180972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.22
system time used= 3.84556
maximum resident set size= 180972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34103
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= 183
involuntary context switches= 1904
# summary of solver processes directly reported to runsolver:
# pid: 179271
# total CPU time (s): 3602.06
# total CPU user time (s): 3598.22
# total CPU system time (s): 3.84556
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6495 second user time and 15.5386 second system time
The end
Begin job on nodeC032 at 2025-07-23 10:45:55
IDJOB=4546449
IDBENCH=162283
IDSOLVER=3422
FILE ID=nodeC032/4546449-1753260355
RUNJOBID= nodeC032-1753259701-178464
SLURM_JOB_ID= 9689187
Free space on /tmp= 432312 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round23-3.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-4546449-1753260355/watcher-4546449-1753260355 -o /tmp/evaluation-result-4546449-1753260355/solver-4546449-1753260355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753259701-178464 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546449-1753260355.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9ddf61ddf9175117d21c5f59d371263b
RANDOM SEED=423121516
nodeC032 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.757
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.69
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 : 3603.212
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.69
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 : 3652.853
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.69
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.877
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.69
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.856
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.69
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.822
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.69
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.667
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.69
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.100
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 99681364 kB
MemAvailable: 112015732 kB
Buffers: 2728 kB
Cached: 13013356 kB
SwapCached: 20 kB
Active: 18250576 kB
Inactive: 11882684 kB
Active(anon): 17140292 kB
Inactive(anon): 3124 kB
Active(file): 1110284 kB
Inactive(file): 11879560 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3948 kB
Writeback: 0 kB
AnonPages: 17120236 kB
Mapped: 120340 kB
Shmem: 26240 kB
KReclaimable: 367528 kB
Slab: 466800 kB
SReclaimable: 367528 kB
SUnreclaim: 99272 kB
KernelStack: 4336 kB
PageTables: 37012 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 20520780 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 9369600 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432568 MiB
End job on nodeC032 at 2025-07-23 11:46:07