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 (62811 MiB free)
memory of node 1: 64465 MiB (63827 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483457-1751531647/watcher-4483457-1751531647 -o /tmp/evaluation-result-4483457-1751531647/solver-4483457-1751531647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751522101-74778 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1544907062 --ls=360 HOME/instance-4483457-1751531647.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=76475, runsolver pid=76472
[startup+0.100063 s]*
/proc/loadavg: 4.13 4.11 4.09 5/263 76476
/proc/meminfo: memFree=129670272/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=0.09 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2989 0 0 0 9 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+0.205467 s]*
/proc/loadavg: 4.13 4.11 4.09 5/263 76476
/proc/meminfo: memFree=129670272/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=0.19 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2989 0 0 0 19 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+0.305191 s]*
/proc/loadavg: 4.13 4.11 4.09 5/263 76476
/proc/meminfo: memFree=129670272/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=0.29 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2989 0 0 0 29 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+0.700135 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 76476
/proc/meminfo: memFree=129670272/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=0.68 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2989 0 0 0 68 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+1.50012 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 76476
/proc/meminfo: memFree=129670272/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=1.48 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2989 0 0 0 148 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+3.10519 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 76476
/proc/meminfo: memFree=129670272/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=3.08 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2990 0 0 0 308 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+6.30012 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 76476
/proc/meminfo: memFree=129670272/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=6.27 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2991 0 0 0 627 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 76476
/proc/meminfo: memFree=129670272/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=12.65 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2992 0 0 0 1265 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 76476
/proc/meminfo: memFree=129670496/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=25.42 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2993 0 0 0 2542 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+51.1052 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 76477
/proc/meminfo: memFree=129670688/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=50.97 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2994 0 0 0 5097 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 76481
/proc/meminfo: memFree=129670580/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=102.05 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2996 0 0 0 10205 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 76483
/proc/meminfo: memFree=129682376/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=161.91 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2997 0 0 0 16191 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 76485
/proc/meminfo: memFree=129678060/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=221.78 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 2998 0 0 0 22178 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 76487
/proc/meminfo: memFree=129681132/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=281.64 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 3005 0 0 0 28164 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/262 76489
/proc/meminfo: memFree=129668864/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=37972 memory=16268 CPUtime=341.51 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 3009 0 0 0 34151 0 0 0 20 0 1 0 68842295 38883328 4067 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 9493 4067 1024 1200 0 7973 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 16268 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 76490
/proc/meminfo: memFree=129649020/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=65608 memory=48756 CPUtime=401.37 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 10407 0 0 0 40129 8 0 0 20 0 1 0 68842295 67182592 12189 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 16402 12189 1248 1200 0 14882 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 65608 KiB
Current children cumulated memory: 48756 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 76492
/proc/meminfo: memFree=129644568/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=70568 memory=55748 CPUtime=461.22 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 11653 0 0 0 46106 16 0 0 20 0 1 0 68842295 72261632 13937 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 17642 13937 1248 1200 0 16122 0
################
# More data... #
################
/proc/loadavg: 3.08 3.24 3.60 4/258 76567
/proc/meminfo: memFree=129667348/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=93872 memory=78916 CPUtime=1299.1 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 17544 0 0 0 129772 138 0 0 20 0 1 0 68842295 96124928 19729 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 23468 19729 1248 1200 0 21948 0
Current children cumulated CPU time: 1299.1 s
Current children cumulated vsize: 93872 KiB
Current children cumulated memory: 78916 KiB
[startup+1362.3 s]
/proc/loadavg: 3.07 3.21 3.56 4/258 76569
/proc/meminfo: memFree=129667824/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=95256 memory=80324 CPUtime=1358.92 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 17891 0 0 0 135745 147 0 0 20 0 1 0 68842295 97542144 20081 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 23814 20081 1248 1200 0 22294 0
Current children cumulated CPU time: 1358.92 s
Current children cumulated vsize: 95256 KiB
Current children cumulated memory: 80324 KiB
[startup+1422.3 s]
/proc/loadavg: 3.12 3.20 3.53 4/258 76571
/proc/meminfo: memFree=129667744/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=95392 memory=80452 CPUtime=1418.74 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 17926 0 0 0 141720 154 0 0 20 0 1 0 68842295 97681408 20113 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 23848 20113 1248 1200 0 22328 0
Current children cumulated CPU time: 1418.74 s
Current children cumulated vsize: 95392 KiB
Current children cumulated memory: 80452 KiB
[startup+1482.3 s]
/proc/loadavg: 3.10 3.18 3.50 4/258 76573
/proc/meminfo: memFree=129661012/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=96548 memory=81604 CPUtime=1478.56 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 18217 0 0 0 147695 161 0 0 20 0 1 0 68842295 98865152 20401 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 24137 20401 1248 1200 0 22617 0
Current children cumulated CPU time: 1478.56 s
Current children cumulated vsize: 96548 KiB
Current children cumulated memory: 81604 KiB
[startup+1542.3 s]
/proc/loadavg: 3.11 3.16 3.47 4/258 76575
/proc/meminfo: memFree=129655572/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=96944 memory=81988 CPUtime=1538.38 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 18317 0 0 0 153669 169 0 0 20 0 1 0 68842295 99270656 20497 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 24236 20497 1248 1200 0 22716 0
Current children cumulated CPU time: 1538.38 s
Current children cumulated vsize: 96944 KiB
Current children cumulated memory: 81988 KiB
[startup+1602.3 s]
/proc/loadavg: 3.10 3.14 3.45 4/258 76577
/proc/meminfo: memFree=129659336/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=98276 memory=83396 CPUtime=1598.19 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 18651 0 0 0 159643 176 0 0 20 0 1 0 68842295 100634624 20849 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 24569 20849 1248 1200 0 23049 0
Current children cumulated CPU time: 1598.19 s
Current children cumulated vsize: 98276 KiB
Current children cumulated memory: 83396 KiB
[startup+1662.3 s]
/proc/loadavg: 3.08 3.13 3.42 4/256 76590
/proc/meminfo: memFree=129659396/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=99644 memory=84804 CPUtime=1658.01 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 18995 0 0 0 165616 185 0 0 20 0 1 0 68842295 102035456 21201 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 24911 21201 1248 1200 0 23391 0
Current children cumulated CPU time: 1658.01 s
Current children cumulated vsize: 99644 KiB
Current children cumulated memory: 84804 KiB
[startup+1722.3 s]
/proc/loadavg: 3.06 3.12 3.40 4/256 76592
/proc/meminfo: memFree=129655684/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=100188 memory=85316 CPUtime=1717.83 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 19131 0 0 0 171590 193 0 0 20 0 1 0 68842295 102592512 21329 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 25047 21329 1248 1200 0 23527 0
Current children cumulated CPU time: 1717.83 s
Current children cumulated vsize: 100188 KiB
Current children cumulated memory: 85316 KiB
[startup+1735.4 s]
# the end of solver process 76475 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1728.94 s, system=1.95185 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1728 s]*
/proc/loadavg: 3.06 3.12 3.40 4/256 76592
/proc/meminfo: memFree=129655684/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=100188 memory=85316 CPUtime=1723.52 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 19131 0 0 0 172158 194 0 0 20 0 1 0 68842295 102592512 21329 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 25047 21329 1248 1200 0 23527 0
Current children cumulated CPU time: 1723.52 s
Current children cumulated vsize: 100188 KiB
Current children cumulated memory: 85316 KiB
[startup+1731.2 s]
/proc/loadavg: 3.05 3.11 3.39 4/256 76592
/proc/meminfo: memFree=129655936/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=100188 memory=85316 CPUtime=1726.7 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 19131 0 0 0 172476 194 0 0 20 0 1 0 68842295 102592512 21329 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 25047 21329 1248 1200 0 23527 0
Current children cumulated CPU time: 1726.7 s
Current children cumulated vsize: 100188 KiB
Current children cumulated memory: 85316 KiB
[startup+1732.8 s]
/proc/loadavg: 3.05 3.11 3.39 4/256 76592
/proc/meminfo: memFree=129655936/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=100188 memory=85316 CPUtime=1728.3 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 19131 0 0 0 172636 194 0 0 20 0 1 0 68842295 102592512 21329 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 25047 21329 1248 1200 0 23527 0
Current children cumulated CPU time: 1728.3 s
Current children cumulated vsize: 100188 KiB
Current children cumulated memory: 85316 KiB
[startup+1734.4 s]
/proc/loadavg: 3.05 3.11 3.39 4/256 76592
/proc/meminfo: memFree=129655936/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=100188 memory=85316 CPUtime=1729.89 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 19131 0 0 0 172795 194 0 0 20 0 1 0 68842295 102592512 21329 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 25047 21329 1248 1200 0 23527 0
Current children cumulated CPU time: 1729.89 s
Current children cumulated vsize: 100188 KiB
Current children cumulated memory: 85316 KiB
[startup+1734.8 s]
/proc/loadavg: 3.05 3.11 3.39 4/256 76592
/proc/meminfo: memFree=129655936/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=100188 memory=85316 CPUtime=1730.28 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 19131 0 0 0 172834 194 0 0 20 0 1 0 68842295 102592512 21329 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 25047 21329 1248 1200 0 23527 0
Current children cumulated CPU time: 1730.28 s
Current children cumulated vsize: 100188 KiB
Current children cumulated memory: 85316 KiB
[startup+1735.2 s]
/proc/loadavg: 3.05 3.11 3.39 4/256 76592
/proc/meminfo: memFree=129655936/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=100188 memory=85316 CPUtime=1730.69 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 19131 0 0 0 172874 195 0 0 20 0 1 0 68842295 102592512 21329 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 25047 21329 1248 1200 0 23527 0
Current children cumulated CPU time: 1730.69 s
Current children cumulated vsize: 100188 KiB
Current children cumulated memory: 85316 KiB
[startup+1735.3 s]
/proc/loadavg: 3.05 3.11 3.39 4/256 76592
/proc/meminfo: memFree=129655936/131249988 swapFree=33010160/33010684
[pid=76475] ppid=76472 vsize=100188 memory=85316 CPUtime=1730.79 cores=5,7
/proc/76475/stat : 76475 (Exact) R 76472 76475 74765 0 -1 4194304 19131 0 0 0 172884 195 0 0 20 0 1 0 68842295 102592512 21329 18446744073709551615 4198400 9112445 140729745980672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 37191680 140729745983802 140729745983981 140729745983981 140729745989583 0
/proc/76475/statm: 25047 21329 1248 1200 0 23527 0
Current children cumulated CPU time: 1730.79 s
Current children cumulated vsize: 100188 KiB
Current children cumulated memory: 85316 KiB
Child status: 30
Real time (s): 1735.4
CPU time (s): 1730.89
CPU user time (s): 1728.94
CPU system time (s): 1.95185
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 100188
Max. memory (cumulated for all children) (KiB): 85316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1728.94
system time used= 1.95185
maximum resident set size= 85444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19136
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= 30
involuntary context switches= 1097
# summary of solver processes directly reported to runsolver:
# pid: 76475
# total CPU time (s): 1730.89
# total CPU user time (s): 1728.94
# total CPU system time (s): 1.95185
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.06131 second user time and 6.84734 second system time
The end
Begin job on nodeC020 at 2025-07-03 10:34:07
IDJOB=4483457
IDBENCH=176189
IDSOLVER=3317
FILE ID=nodeC020/4483457-1751531647
RUNJOBID= nodeC020-1751522101-74778
SLURM_JOB_ID= 9598646
Free space on /tmp= 431768 MiB
SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=2.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4483457-1751531647/watcher-4483457-1751531647 -o /tmp/evaluation-result-4483457-1751531647/solver-4483457-1751531647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751522101-74778 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1544907062 --ls=360 HOME/instance-4483457-1751531647.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0eb4af5d9d6a7991e65a6bdba739f56a
RANDOM SEED=1544907062
nodeC020 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.871
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.892
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.79
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 : 3601.604
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.79
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.932
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.79
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.903
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.79
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.892
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.79
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 : 3608.744
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.79
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.566
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129678352 kB
MemAvailable: 129586540 kB
Buffers: 2128 kB
Cached: 701384 kB
SwapCached: 12 kB
Active: 814048 kB
Inactive: 136104 kB
Active(anon): 240108 kB
Inactive(anon): 24572 kB
Active(file): 573940 kB
Inactive(file): 111532 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7784 kB
Writeback: 0 kB
AnonPages: 249736 kB
Mapped: 119416 kB
Shmem: 18040 kB
KReclaimable: 123908 kB
Slab: 214896 kB
SReclaimable: 123908 kB
SUnreclaim: 90988 kB
KernelStack: 4240 kB
PageTables: 3520 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 622520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 174080 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: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431768 MiB
End job on nodeC020 at 2025-07-03 11:03:03