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 (48535 MiB free)
memory of node 1: 64465 MiB (62006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546475-1753263538/watcher-4546475-1753263538 -o /tmp/evaluation-result-4546475-1753263538/solver-4546475-1753263538 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753259701-164125 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546475-1753263538.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=165243, runsolver pid=165240
[startup+0.100064 s]*
/proc/loadavg: 4.21 4.20 4.09 5/266 165244
/proc/meminfo: memFree=113194996/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=91636 memory=18396 CPUtime=0.08 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 2519 0 0 0 8 0 0 0 20 0 1 0 242031683 93835264 4599 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 22909 4599 2432 595 0 7576 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 91636 KiB
Current children cumulated memory: 18396 KiB
[startup+0.205556 s]*
/proc/loadavg: 4.21 4.20 4.09 5/266 165244
/proc/meminfo: memFree=113194996/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=91636 memory=18396 CPUtime=0.18 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 2519 0 0 0 18 0 0 0 20 0 1 0 242031683 93835264 4599 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 22909 4599 2432 595 0 7576 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 91636 KiB
Current children cumulated memory: 18396 KiB
[startup+0.30547 s]*
/proc/loadavg: 4.21 4.20 4.09 5/266 165244
/proc/meminfo: memFree=113194996/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=91636 memory=18396 CPUtime=0.28 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 2519 0 0 0 28 0 0 0 20 0 1 0 242031683 93835264 4599 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 22909 4599 2432 595 0 7576 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 91636 KiB
Current children cumulated memory: 18396 KiB
[startup+0.700175 s]
/proc/loadavg: 4.21 4.20 4.09 5/266 165244
/proc/meminfo: memFree=113190900/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=91636 memory=18396 CPUtime=0.67 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 2519 0 0 0 67 0 0 0 20 0 1 0 242031683 93835264 4599 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 22909 4599 2432 595 0 7576 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 91636 KiB
Current children cumulated memory: 18396 KiB
[startup+1.50018 s]
/proc/loadavg: 4.21 4.20 4.09 5/266 165244
/proc/meminfo: memFree=113188884/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=91636 memory=18396 CPUtime=1.47 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 2519 0 0 0 147 0 0 0 20 0 1 0 242031683 93835264 4599 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 22909 4599 2432 595 0 7576 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 91636 KiB
Current children cumulated memory: 18396 KiB
[startup+3.10537 s]
/proc/loadavg: 4.19 4.20 4.09 5/266 165244
/proc/meminfo: memFree=113189368/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=93160 memory=19932 CPUtime=3.07 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 2922 0 0 0 307 0 0 0 20 0 1 0 242031683 95395840 4983 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 23290 4983 2432 595 0 7957 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 93160 KiB
Current children cumulated memory: 19932 KiB
[startup+6.30011 s]
/proc/loadavg: 4.19 4.20 4.09 5/266 165244
/proc/meminfo: memFree=113182060/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=103192 memory=36064 CPUtime=6.26 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 5417 0 0 0 623 3 0 0 20 0 1 0 242031683 105668608 9016 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 25798 9016 2432 595 0 10465 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 103192 KiB
Current children cumulated memory: 36064 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.19 4.09 5/266 165245
/proc/meminfo: memFree=113172592/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=110000 memory=45148 CPUtime=12.64 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 7664 0 0 0 1258 6 0 0 20 0 1 0 242031683 112640000 11287 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 27500 11287 2528 595 0 12167 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 110000 KiB
Current children cumulated memory: 45148 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.18 4.09 5/267 165246
/proc/meminfo: memFree=113167056/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=117300 memory=51908 CPUtime=25.4 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 10031 0 0 0 2528 12 0 0 20 0 1 0 242031683 120115200 12977 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 29325 12977 2528 595 0 13992 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 117300 KiB
Current children cumulated memory: 51908 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.18 4.09 5/267 165246
/proc/meminfo: memFree=113145860/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=129512 memory=62708 CPUtime=50.94 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 14327 0 0 0 5067 27 0 0 20 0 1 0 242031683 132620288 15677 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 32378 15677 2528 595 0 17045 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 129512 KiB
Current children cumulated memory: 62708 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/267 165293
/proc/meminfo: memFree=127302912/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=133160 memory=68100 CPUtime=102 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 17697 0 0 0 10155 45 0 0 20 0 1 0 242031683 136355840 17025 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 33290 17025 2528 595 0 17957 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 133160 KiB
Current children cumulated memory: 68100 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.15 4.09 5/267 165295
/proc/meminfo: memFree=127333636/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=136756 memory=74968 CPUtime=161.82 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 22066 0 0 0 16105 77 0 0 20 0 1 0 242031683 140038144 18742 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 34189 18742 2528 595 0 18856 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 136756 KiB
Current children cumulated memory: 74968 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.13 4.09 4/259 165328
/proc/meminfo: memFree=127446300/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=138788 memory=76648 CPUtime=221.66 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 25123 0 0 0 22065 101 0 0 20 0 1 0 242031683 142118912 19162 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 34697 19162 2528 595 0 19364 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 138788 KiB
Current children cumulated memory: 76648 KiB
[startup+282.3 s]
/proc/loadavg: 3.43 3.94 4.02 4/258 165330
/proc/meminfo: memFree=127441048/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=142220 memory=79608 CPUtime=281.5 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 27952 0 0 0 28031 119 0 0 20 0 1 0 242031683 145633280 19902 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 35555 19902 2528 595 0 20222 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 142220 KiB
Current children cumulated memory: 79608 KiB
[startup+342.3 s]
/proc/loadavg: 2.78 3.67 3.92 3/252 165362
/proc/meminfo: memFree=127606404/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=149940 memory=86776 CPUtime=341.33 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 35188 0 0 0 33981 152 0 0 20 0 1 0 242031683 153538560 21694 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 37485 21694 2528 595 0 22152 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 149940 KiB
Current children cumulated memory: 86776 KiB
[startup+402.3 s]
/proc/loadavg: 2.34 3.38 3.80 3/252 165365
/proc/meminfo: memFree=127540716/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=152760 memory=89400 CPUtime=401.16 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 40876 0 0 0 39937 179 0 0 20 0 1 0 242031683 156426240 22350 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 38190 22350 2528 595 0 22857 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 152760 KiB
Current children cumulated memory: 89400 KiB
[startup+462.3 s]
/proc/loadavg: 2.25 3.16 3.70 3/251 165367
/proc/meminfo: memFree=127512704/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=164964 memory=102064 CPUtime=460.96 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 48513 0 0 0 45889 207 0 0 20 0 1 0 242031683 168923136 25516 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 41241 25516 2528 595 0 25908 0
################
# More data... #
################
Current children cumulated memory: 219260 KiB
[startup+2922.3 s]
/proc/loadavg: 2.12 2.09 2.18 3/252 165505
/proc/meminfo: memFree=127194748/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=287908 memory=222204 CPUtime=2913.7 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 127942 0 0 0 290009 1361 0 0 20 0 1 0 242031683 294817792 55551 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 71977 55551 2528 595 0 56644 0
Current children cumulated CPU time: 2913.7 s
Current children cumulated vsize: 287908 KiB
Current children cumulated memory: 222204 KiB
[startup+2982.3 s]
/proc/loadavg: 2.10 2.09 2.17 3/252 165507
/proc/meminfo: memFree=127194120/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=287908 memory=222204 CPUtime=2973.55 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 127944 0 0 0 295968 1387 0 0 20 0 1 0 242031683 294817792 55551 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 71977 55551 2528 595 0 56644 0
Current children cumulated CPU time: 2973.55 s
Current children cumulated vsize: 287908 KiB
Current children cumulated memory: 222204 KiB
[startup+3042.3 s]
/proc/loadavg: 2.08 2.08 2.16 3/253 165510
/proc/meminfo: memFree=127201304/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=289060 memory=223484 CPUtime=3033.39 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 128254 0 0 0 301925 1414 0 0 20 0 1 0 242031683 295997440 55871 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 72265 55871 2528 595 0 56932 0
Current children cumulated CPU time: 3033.39 s
Current children cumulated vsize: 289060 KiB
Current children cumulated memory: 223484 KiB
[startup+3102.3 s]
/proc/loadavg: 2.09 2.08 2.16 3/253 165512
/proc/meminfo: memFree=127201208/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=289240 memory=223484 CPUtime=3093.23 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 128272 0 0 0 307880 1443 0 0 20 0 1 0 242031683 296181760 55871 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 72310 55871 2528 595 0 56977 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 289240 KiB
Current children cumulated memory: 223484 KiB
[startup+3162.3 s]
/proc/loadavg: 2.08 2.08 2.15 3/253 165514
/proc/meminfo: memFree=127193828/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=289560 memory=223868 CPUtime=3153.05 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 128372 0 0 0 313831 1474 0 0 20 0 1 0 242031683 296509440 55967 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 72390 55967 2528 595 0 57057 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 289560 KiB
Current children cumulated memory: 223868 KiB
[startup+3222.3 s]
/proc/loadavg: 2.15 2.10 2.15 3/252 165516
/proc/meminfo: memFree=127193188/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=292056 memory=226172 CPUtime=3212.85 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 128948 0 0 0 319780 1505 0 0 20 0 1 0 242031683 299065344 56543 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 73014 56543 2528 595 0 57681 0
Current children cumulated CPU time: 3212.85 s
Current children cumulated vsize: 292056 KiB
Current children cumulated memory: 226172 KiB
[startup+3282.3 s]
/proc/loadavg: 2.11 2.09 2.15 3/252 165518
/proc/meminfo: memFree=127193960/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=292568 memory=226684 CPUtime=3272.67 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 129077 0 0 0 325735 1532 0 0 20 0 1 0 242031683 299589632 56671 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 73142 56671 2528 595 0 57809 0
Current children cumulated CPU time: 3272.67 s
Current children cumulated vsize: 292568 KiB
Current children cumulated memory: 226684 KiB
[startup+3342.3 s]
/proc/loadavg: 2.08 2.09 2.14 3/251 165520
/proc/meminfo: memFree=127193808/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=293084 memory=227196 CPUtime=3332.49 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 129206 0 0 0 331688 1561 0 0 20 0 1 0 242031683 300118016 56799 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 73271 56799 2528 595 0 57938 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 293084 KiB
Current children cumulated memory: 227196 KiB
[startup+3402.3 s]
/proc/loadavg: 2.05 2.08 2.14 2/246 165554
/proc/meminfo: memFree=127714520/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=298204 memory=231420 CPUtime=3392.29 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 130257 0 0 0 337641 1588 0 0 20 0 1 0 242031683 305360896 57855 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 74551 57855 2528 595 0 59218 0
Current children cumulated CPU time: 3392.29 s
Current children cumulated vsize: 298204 KiB
Current children cumulated memory: 231420 KiB
[startup+3462.3 s]
/proc/loadavg: 1.44 1.90 2.07 2/246 165556
/proc/meminfo: memFree=127709324/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=298396 memory=233596 CPUtime=3452.16 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 130340 0 0 0 343596 1620 0 0 20 0 1 0 242031683 305557504 58399 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 74599 58399 2528 595 0 59266 0
Current children cumulated CPU time: 3452.16 s
Current children cumulated vsize: 298396 KiB
Current children cumulated memory: 233596 KiB
[startup+3522.3 s]
/proc/loadavg: 1.27 1.76 2.01 2/247 165565
/proc/meminfo: memFree=127706444/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=299612 memory=234620 CPUtime=3512.02 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 130622 0 0 0 349555 1647 0 0 20 0 1 0 242031683 306802688 58655 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 74903 58655 2528 595 0 59570 0
Current children cumulated CPU time: 3512.02 s
Current children cumulated vsize: 299612 KiB
Current children cumulated memory: 234620 KiB
[startup+3582.3 s]
/proc/loadavg: 1.16 1.64 1.95 2/247 165567
/proc/meminfo: memFree=127707036/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=300956 memory=235772 CPUtime=3571.88 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 130899 0 0 0 355510 1678 0 0 20 0 1 0 242031683 308178944 58943 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 75239 58943 2528 595 0 59906 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 300956 KiB
Current children cumulated memory: 235772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 1.17 1.59 1.92 2/247 165567
/proc/meminfo: memFree=127707036/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=300956 memory=235772 CPUtime=3600.02 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 130900 0 0 0 358307 1695 0 0 20 0 1 0 242031683 308178944 58943 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 75239 58943 2528 595 0 59906 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 300956 KiB
Current children cumulated memory: 235772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 165243 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.08 s, system=16.9549 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 1.17 1.59 1.92 2/247 165567
/proc/meminfo: memFree=127707036/131249996 swapFree=33000896/33010684
[pid=165243] ppid=165240 vsize=300956 memory=235772 CPUtime=3600.02 cores=1,3
/proc/165243/stat : 165243 (SynLSCD-PS) R 165240 165243 164106 0 -1 4194304 130900 0 0 0 358307 1695 0 0 20 0 1 0 242031683 308178944 58943 18446744073709551615 93912808529920 93912810965337 140724947547952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93912811445496 93912811478528 93912838565888 140724947552637 140724947552775 140724947552775 140724947558379 0
/proc/165243/statm: 75239 58943 2528 595 0 59906 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 300956 KiB
Current children cumulated memory: 235772 KiB
Child status: 0
Real time (s): 3610.5
CPU time (s): 3600.03
CPU user time (s): 3583.08
CPU system time (s): 16.9549
CPU usage (%): 99.71
Max. virtual memory (cumulated for all children) (KiB): 300956
Max. memory (cumulated for all children) (KiB): 235772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.08
system time used= 16.9549
maximum resident set size= 235900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130927
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= 209
involuntary context switches= 5112
# summary of solver processes directly reported to runsolver:
# pid: 165243
# total CPU time (s): 3600.03
# total CPU user time (s): 3583.08
# total CPU system time (s): 16.9549
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38715 second user time and 14.4244 second system time
The end
Begin job on nodeC023 at 2025-07-23 11:38:58
IDJOB=4546475
IDBENCH=176048
IDSOLVER=3422
FILE ID=nodeC023/4546475-1753263538
RUNJOBID= nodeC023-1753259701-164125
SLURM_JOB_ID= 9689178
Free space on /tmp= 433028 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-20arraycomm_teq_tvars_less.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-4546475-1753263538/watcher-4546475-1753263538 -o /tmp/evaluation-result-4546475-1753263538/solver-4546475-1753263538 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753259701-164125 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546475-1753263538.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4239567b5fcc3629584dc152b8218cf
RANDOM SEED=651885292
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.822
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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.079
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.78
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 : 3580.106
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.78
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.874
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.78
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.886
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.78
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.893
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.78
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 : 3622.913
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.78
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 : 3581.953
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 113194836 kB
MemAvailable: 114925704 kB
Buffers: 16 kB
Cached: 2472768 kB
SwapCached: 2872 kB
Active: 15483964 kB
Inactive: 1800852 kB
Active(anon): 14777792 kB
Inactive(anon): 55056 kB
Active(file): 706172 kB
Inactive(file): 1745796 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000896 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3444 kB
Writeback: 0 kB
AnonPages: 14810624 kB
Mapped: 115064 kB
Shmem: 20816 kB
KReclaimable: 236276 kB
Slab: 332608 kB
SReclaimable: 236276 kB
SUnreclaim: 96332 kB
KernelStack: 4336 kB
PageTables: 32280 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 17106352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6766592 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433040 MiB
End job on nodeC023 at 2025-07-23 12:39:09