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 (62277 MiB free)
memory of node 1: 64507 MiB (63531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546328-1753259873/watcher-4546328-1753259873 -o /tmp/evaluation-result-4546328-1753259873/solver-4546328-1753259873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753259701-168536 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546328-1753259873.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
Current StackSize limit: 8192 KiB
solver pid=168958, runsolver pid=168955
[startup+0.100058 s]*
/proc/loadavg: 4.00 1.98 0.83 5/266 168959
/proc/meminfo: memFree=128828736/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=85708 memory=12928 CPUtime=0.08 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 1088 0 0 0 8 0 0 0 20 0 1 0 241665018 87764992 3232 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 21427 3232 2464 595 0 6094 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 85708 KiB
Current children cumulated memory: 12928 KiB
[startup+0.205469 s]*
/proc/loadavg: 4.00 1.98 0.83 5/266 168959
/proc/meminfo: memFree=128828736/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=85708 memory=12928 CPUtime=0.18 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 1088 0 0 0 18 0 0 0 20 0 1 0 241665018 87764992 3232 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 21427 3232 2464 595 0 6094 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 85708 KiB
Current children cumulated memory: 12928 KiB
[startup+0.304979 s]*
/proc/loadavg: 4.00 1.98 0.83 5/266 168959
/proc/meminfo: memFree=128828736/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=85708 memory=12928 CPUtime=0.28 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 1088 0 0 0 28 0 0 0 20 0 1 0 241665018 87764992 3232 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 21427 3232 2464 595 0 6094 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 85708 KiB
Current children cumulated memory: 12928 KiB
[startup+0.700102 s]
/proc/loadavg: 4.00 1.98 0.83 5/266 168959
/proc/meminfo: memFree=128828736/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=85708 memory=12928 CPUtime=0.66 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 1088 0 0 0 66 0 0 0 20 0 1 0 241665018 87764992 3232 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 21427 3232 2464 595 0 6094 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85708 KiB
Current children cumulated memory: 12928 KiB
[startup+1.5001 s]
/proc/loadavg: 4.00 1.98 0.83 5/266 168959
/proc/meminfo: memFree=128828576/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=85708 memory=12928 CPUtime=1.46 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 1088 0 0 0 146 0 0 0 20 0 1 0 241665018 87764992 3232 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 21427 3232 2464 595 0 6094 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 85708 KiB
Current children cumulated memory: 12928 KiB
[startup+3.1053 s]
/proc/loadavg: 4.00 1.98 0.83 5/266 168959
/proc/meminfo: memFree=128828828/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=85708 memory=12928 CPUtime=3.06 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 1088 0 0 0 306 0 0 0 20 0 1 0 241665018 87764992 3232 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 21427 3232 2464 595 0 6094 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 85708 KiB
Current children cumulated memory: 12928 KiB
[startup+6.30013 s]
/proc/loadavg: 4.08 2.03 0.85 5/266 168959
/proc/meminfo: memFree=128829928/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=85708 memory=12928 CPUtime=6.25 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 1088 0 0 0 625 0 0 0 20 0 1 0 241665018 87764992 3232 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 21427 3232 2464 595 0 6094 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 85708 KiB
Current children cumulated memory: 12928 KiB
[startup+12.7001 s]
/proc/loadavg: 4.07 2.06 0.87 5/266 168959
/proc/meminfo: memFree=128830664/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=88376 memory=18544 CPUtime=12.62 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 3608 0 0 0 1254 8 0 0 20 0 1 0 241665018 90497024 4636 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 22094 4636 2496 595 0 6761 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 88376 KiB
Current children cumulated memory: 18544 KiB
[startup+25.5001 s]
/proc/loadavg: 4.05 2.16 0.92 5/266 168959
/proc/meminfo: memFree=128830044/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=88904 memory=19180 CPUtime=25.39 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 5583 0 0 0 2521 18 0 0 20 0 1 0 241665018 91037696 4795 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 22226 4795 2496 595 0 6893 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 88904 KiB
Current children cumulated memory: 19180 KiB
[startup+51.1049 s]
/proc/loadavg: 4.11 2.32 1.01 5/266 169050
/proc/meminfo: memFree=129125676/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=89852 memory=20092 CPUtime=50.93 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 11000 0 0 0 5055 38 0 0 20 0 1 0 241665018 92008448 5023 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 22463 5023 2496 595 0 7130 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 89852 KiB
Current children cumulated memory: 20092 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 2.60 1.17 5/266 169096
/proc/meminfo: memFree=129152376/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=91036 memory=21212 CPUtime=101.99 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 20527 0 0 0 10112 87 0 0 20 0 1 0 241665018 93220864 5303 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 22759 5303 2496 595 0 7426 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 91036 KiB
Current children cumulated memory: 21212 KiB
[startup+162.3 s]
/proc/loadavg: 4.44 2.95 1.39 5/264 169097
/proc/meminfo: memFree=129114204/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=91920 memory=22132 CPUtime=161.85 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 30869 0 0 0 16037 148 0 0 20 0 1 0 241665018 94126080 5533 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 22980 5533 2496 595 0 7647 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 91920 KiB
Current children cumulated memory: 22132 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 3.19 1.57 5/264 169188
/proc/meminfo: memFree=129105284/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=92592 memory=22740 CPUtime=221.69 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 38406 0 0 0 21960 209 0 0 20 0 1 0 241665018 94814208 5685 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 23148 5685 2496 595 0 7815 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 92592 KiB
Current children cumulated memory: 22740 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 3.36 1.73 5/264 169234
/proc/meminfo: memFree=119761680/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=93212 memory=23360 CPUtime=281.53 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 47248 0 0 0 27889 264 0 0 20 0 1 0 241665018 95449088 5840 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 23303 5840 2496 595 0 7970 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 93212 KiB
Current children cumulated memory: 23360 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.49 1.88 5/264 169236
/proc/meminfo: memFree=110860232/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=93708 memory=23856 CPUtime=341.37 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 55421 0 0 0 33816 321 0 0 20 0 1 0 241665018 95956992 5964 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 23427 5964 2496 595 0 8094 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 93708 KiB
Current children cumulated memory: 23856 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.62 2.02 5/264 169282
/proc/meminfo: memFree=118365968/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=94456 memory=24604 CPUtime=401.2 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 65577 0 0 0 39731 389 0 0 20 0 1 0 241665018 96722944 6151 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 23614 6151 2496 595 0 8281 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 94456 KiB
Current children cumulated memory: 24604 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.70 2.16 5/264 169284
/proc/meminfo: memFree=108479744/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=94904 memory=25148 CPUtime=461.04 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 72951 0 0 0 45653 451 0 0 20 0 1 0 241665018 97181696 6287 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 23726 6287 2496 595 0 8393 0
################
# More data... #
################
Current children cumulated memory: 32168 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.00 5/266 169477
/proc/meminfo: memFree=129019164/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=102300 memory=32296 CPUtime=2914.63 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 540600 0 0 0 288533 2930 0 0 20 0 1 0 241665018 104755200 8074 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25575 8074 2496 595 0 10242 0
Current children cumulated CPU time: 2914.63 s
Current children cumulated vsize: 102300 KiB
Current children cumulated memory: 32296 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/264 169479
/proc/meminfo: memFree=129023528/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=102300 memory=32296 CPUtime=2974.48 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 540600 0 0 0 294463 2985 0 0 20 0 1 0 241665018 104755200 8074 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25575 8074 2496 595 0 10242 0
Current children cumulated CPU time: 2974.48 s
Current children cumulated vsize: 102300 KiB
Current children cumulated memory: 32296 KiB
[startup+3042.3 s]
/proc/loadavg: 4.47 4.18 4.04 5/264 169481
/proc/meminfo: memFree=129022672/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=102140 memory=32252 CPUtime=3034.32 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 551227 0 0 0 300383 3049 0 0 20 0 1 0 241665018 104591360 8063 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25535 8063 2496 595 0 10202 0
Current children cumulated CPU time: 3034.32 s
Current children cumulated vsize: 102140 KiB
Current children cumulated memory: 32252 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.16 4.04 5/264 169483
/proc/meminfo: memFree=129023176/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=102172 memory=32284 CPUtime=3094.16 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 566335 0 0 0 306308 3108 0 0 20 0 1 0 241665018 104624128 8071 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25543 8071 2496 595 0 10210 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 102172 KiB
Current children cumulated memory: 32284 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.04 5/265 169486
/proc/meminfo: memFree=129022608/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=102204 memory=32316 CPUtime=3154 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 581517 0 0 0 312230 3170 0 0 20 0 1 0 241665018 104656896 8079 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25551 8079 2496 595 0 10218 0
Current children cumulated CPU time: 3154 s
Current children cumulated vsize: 102204 KiB
Current children cumulated memory: 32316 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.12 4.04 5/265 169488
/proc/meminfo: memFree=129022192/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=102588 memory=32604 CPUtime=3213.85 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 594208 0 0 0 318155 3230 0 0 20 0 1 0 241665018 105050112 8151 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25647 8151 2496 595 0 10314 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 102588 KiB
Current children cumulated memory: 32604 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.04 5/265 169490
/proc/meminfo: memFree=129020260/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=102748 memory=32764 CPUtime=3273.69 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 606206 0 0 0 324076 3293 0 0 20 0 1 0 241665018 105213952 8191 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25687 8191 2496 595 0 10354 0
Current children cumulated CPU time: 3273.69 s
Current children cumulated vsize: 102748 KiB
Current children cumulated memory: 32764 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/265 169492
/proc/meminfo: memFree=129020192/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=102972 memory=32892 CPUtime=3333.54 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 609005 0 0 0 330007 3347 0 0 20 0 1 0 241665018 105443328 8223 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25743 8223 2496 595 0 10410 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 102972 KiB
Current children cumulated memory: 32892 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.04 5/265 169494
/proc/meminfo: memFree=129020824/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=102652 memory=32764 CPUtime=3393.38 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 610811 0 0 0 335930 3408 0 0 20 0 1 0 241665018 105115648 8191 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25663 8191 2496 595 0 10330 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 102652 KiB
Current children cumulated memory: 32764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/264 169496
/proc/meminfo: memFree=129020744/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=103068 memory=33180 CPUtime=3453.22 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 621267 0 0 0 341841 3481 0 0 20 0 1 0 241665018 105541632 8295 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25767 8295 2496 595 0 10434 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 103068 KiB
Current children cumulated memory: 33180 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/264 169543
/proc/meminfo: memFree=128976652/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=103196 memory=33308 CPUtime=3513.06 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 637642 0 0 0 347757 3549 0 0 20 0 1 0 241665018 105672704 8327 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25799 8327 2496 595 0 10466 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 103196 KiB
Current children cumulated memory: 33308 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.06 5/265 169552
/proc/meminfo: memFree=128956428/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=103292 memory=33404 CPUtime=3572.9 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 654488 0 0 0 353671 3619 0 0 20 0 1 0 241665018 105771008 8351 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25823 8351 2496 595 0 10490 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 103292 KiB
Current children cumulated memory: 33404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.10 4.12 4.06 5/265 169554
/proc/meminfo: memFree=128956300/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=103324 memory=33436 CPUtime=3600.03 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 660829 0 0 0 356354 3649 0 0 20 0 1 0 241665018 105803776 8359 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25831 8359 2496 595 0 10498 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 103324 KiB
Current children cumulated memory: 33436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 168958 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3563.54 s, system=36.4944 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.10 4.12 4.06 5/265 169554
/proc/meminfo: memFree=128956300/131249996 swapFree=33010416/33010684
[pid=168958] ppid=168955 vsize=103324 memory=33436 CPUtime=3600.03 cores=5,7
/proc/168958/stat : 168958 (SynLSCD-PS) R 168955 168958 168516 0 -1 4194304 660829 0 0 0 356354 3649 0 0 20 0 1 0 241665018 105803776 8359 18446744073709551615 94537302683648 94537305119065 140734929995696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94537305599224 94537305632256 94537319374848 140734930004349 140734930004487 140734930004487 140734930010091 0
/proc/168958/statm: 25831 8359 2496 595 0 10498 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 103324 KiB
Current children cumulated memory: 33436 KiB
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.04
CPU user time (s): 3563.54
CPU system time (s): 36.4944
CPU usage (%): 99.7378
Max. virtual memory (cumulated for all children) (KiB): 103420
Max. memory (cumulated for all children) (KiB): 33436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.54
system time used= 36.4944
maximum resident set size= 33820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 660859
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= 145
involuntary context switches= 19085
# summary of solver processes directly reported to runsolver:
# pid: 168958
# total CPU time (s): 3600.04
# total CPU user time (s): 3563.54
# total CPU system time (s): 36.4944
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07956 second user time and 13.6645 second system time
The end
Begin job on nodeC017 at 2025-07-23 10:37:53
IDJOB=4546328
IDBENCH=160373
IDSOLVER=3422
FILE ID=nodeC017/4546328-1753259873
RUNJOBID= nodeC017-1753259701-168536
SLURM_JOB_ID= 9689172
Free space on /tmp= 433028 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x30split.cnf-plain.pb.metafix.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-4546328-1753259873/watcher-4546328-1753259873 -o /tmp/evaluation-result-4546328-1753259873/solver-4546328-1753259873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753259701-168536 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546328-1753259873.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dfd517fe2a9d65b237ac06e21bad695d
RANDOM SEED=1834945035
nodeC017 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 : 3600.060
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.060
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 : 7000.12
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.313
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 : 7000.12
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 : 3602.211
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 : 7000.12
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 : 3600.056
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 : 7000.12
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 : 3601.467
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 : 7000.12
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 : 3612.142
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 : 7000.12
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.107
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128828832 kB
MemAvailable: 129285948 kB
Buffers: 1688 kB
Cached: 1223908 kB
SwapCached: 32 kB
Active: 1410288 kB
Inactive: 250180 kB
Active(anon): 437004 kB
Inactive(anon): 24108 kB
Active(file): 973284 kB
Inactive(file): 226072 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3816 kB
Writeback: 8 kB
AnonPages: 437396 kB
Mapped: 120368 kB
Shmem: 26240 kB
KReclaimable: 193596 kB
Slab: 289572 kB
SReclaimable: 193596 kB
SUnreclaim: 95976 kB
KernelStack: 4304 kB
PageTables: 4176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 842344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 155648 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC017 at 2025-07-23 11:38:02