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: 63794 MiB (46297 MiB free)
memory of node 1: 64507 MiB (51013 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541861-1753206207/watcher-4541861-1753206207 -o /tmp/evaluation-result-4541861-1753206207/solver-4541861-1753206207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753198970-181234 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=788495262 --ls=360 --inp-dombreaklim=0 HOME/instance-4541861-1753206207.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
solver pid=181967, runsolver pid=181963
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.07 4.11 4.15 5/249 181976
/proc/meminfo: memFree=99628528/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=17920 CPUtime=0.1 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3943 0 0 0 9 1 0 0 20 0 1 0 236300422 42352640 4480 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4480 1024 1200 0 8820 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 17920 KiB
[startup+0.212465 s]*
/proc/loadavg: 4.07 4.11 4.15 4/250 181986
/proc/meminfo: memFree=99624180/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=17920 CPUtime=0.21 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3943 0 0 0 20 1 0 0 20 0 1 0 236300422 42352640 4480 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4480 1024 1200 0 8820 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 17920 KiB
[startup+0.313086 s]*
/proc/loadavg: 4.07 4.11 4.15 5/249 181986
/proc/meminfo: memFree=99623932/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=17920 CPUtime=0.31 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3943 0 0 0 30 1 0 0 20 0 1 0 236300422 42352640 4480 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4480 1024 1200 0 8820 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 17920 KiB
[startup+0.700308 s]
/proc/loadavg: 4.07 4.11 4.15 6/247 182004
/proc/meminfo: memFree=99627552/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=17920 CPUtime=0.68 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3943 0 0 0 67 1 0 0 20 0 1 0 236300422 42352640 4480 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4480 1024 1200 0 8820 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 17920 KiB
[startup+1.50025 s]
/proc/loadavg: 4.07 4.11 4.15 5/251 182017
/proc/meminfo: memFree=99620532/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=17920 CPUtime=1.48 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3943 0 0 0 147 1 0 0 20 0 1 0 236300422 42352640 4480 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4480 1024 1200 0 8820 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 17920 KiB
[startup+3.11209 s]
/proc/loadavg: 4.07 4.11 4.15 5/251 182017
/proc/meminfo: memFree=99621216/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=17920 CPUtime=3.09 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3943 0 0 0 308 1 0 0 20 0 1 0 236300422 42352640 4480 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4480 1024 1200 0 8820 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 17920 KiB
[startup+6.30023 s]
/proc/loadavg: 4.06 4.10 4.15 5/251 182017
/proc/meminfo: memFree=99621232/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=17920 CPUtime=6.27 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3943 0 0 0 626 1 0 0 20 0 1 0 236300422 42352640 4480 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4480 1024 1200 0 8820 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 17920 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.15 5/251 182017
/proc/meminfo: memFree=99621232/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=17920 CPUtime=12.66 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3943 0 0 0 1265 1 0 0 20 0 1 0 236300422 42352640 4480 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4480 1024 1200 0 8820 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 17920 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.10 4.15 5/251 182018
/proc/meminfo: memFree=99616896/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=17920 CPUtime=25.43 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3943 0 0 0 2542 1 0 0 20 0 1 0 236300422 42352640 4480 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4480 1024 1200 0 8820 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 17920 KiB
[startup+51.1121 s]
/proc/loadavg: 4.09 4.10 4.15 5/251 182018
/proc/meminfo: memFree=99604860/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=18432 CPUtime=50.98 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3949 0 0 0 5097 1 0 0 20 0 1 0 236300422 42352640 4608 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4608 1024 1200 0 8820 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 18432 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.15 5/251 182020
/proc/meminfo: memFree=99603284/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=18432 CPUtime=102.07 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3958 0 0 0 10206 1 0 0 20 0 1 0 236300422 42352640 4608 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4608 1024 1200 0 8820 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 18432 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.14 5/251 182022
/proc/meminfo: memFree=99608332/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=18432 CPUtime=161.91 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3964 0 0 0 16190 1 0 0 20 0 1 0 236300422 42352640 4608 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4608 1024 1200 0 8820 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 18432 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.13 5/251 182024
/proc/meminfo: memFree=99611428/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=18432 CPUtime=221.76 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3967 0 0 0 22174 2 0 0 20 0 1 0 236300422 42352640 4608 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4608 1024 1200 0 8820 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 18432 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.13 5/252 182027
/proc/meminfo: memFree=99613884/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=18432 CPUtime=281.6 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3970 0 0 0 28158 2 0 0 20 0 1 0 236300422 42352640 4608 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4608 1024 1200 0 8820 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 18432 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.13 5/250 182029
/proc/meminfo: memFree=99615148/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=41360 memory=18432 CPUtime=341.44 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 3973 0 0 0 34142 2 0 0 20 0 1 0 236300422 42352640 4608 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 10340 4608 1024 1200 0 8820 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 41360 KiB
Current children cumulated memory: 18432 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.12 5/250 182031
/proc/meminfo: memFree=99294340/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=105724 memory=90160 CPUtime=401.26 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 19781 0 0 0 40108 18 0 0 20 0 1 0 236300422 108261376 22540 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 26431 22540 1280 1200 0 24911 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 105724 KiB
Current children cumulated memory: 90160 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.07 4.11 5/250 182033
/proc/meminfo: memFree=99208604/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=145564 memory=130352 CPUtime=461.06 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 29033 0 0 0 46072 34 0 0 20 0 1 0 236300422 149057536 32588 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 36391 32588 1312 1200 0 34871 0
################
# More data... #
################
Current children cumulated memory: 543452 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/249 182159
/proc/meminfo: memFree=98358800/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=570848 memory=548188 CPUtime=2914.02 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 120442 0 0 0 290731 671 0 0 20 0 1 0 236300422 584548352 137047 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 142712 137047 1312 1200 0 141192 0
Current children cumulated CPU time: 2914.02 s
Current children cumulated vsize: 570848 KiB
Current children cumulated memory: 548188 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/250 182162
/proc/meminfo: memFree=98360068/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=577028 memory=553308 CPUtime=2973.82 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 121834 0 0 0 296693 689 0 0 20 0 1 0 236300422 590876672 138327 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 144257 138327 1312 1200 0 142737 0
Current children cumulated CPU time: 2973.82 s
Current children cumulated vsize: 577028 KiB
Current children cumulated memory: 553308 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/251 182171
/proc/meminfo: memFree=98353784/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=587712 memory=560860 CPUtime=3033.63 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 123976 0 0 0 302658 705 0 0 20 0 1 0 236300422 601817088 140215 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 146928 140215 1312 1200 0 145408 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 587712 KiB
Current children cumulated memory: 560860 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/251 182173
/proc/meminfo: memFree=98324580/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=620488 memory=581032 CPUtime=3093.44 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 126340 0 0 0 308623 721 0 0 20 0 1 0 236300422 635379712 145258 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 155122 145258 1312 1200 0 153602 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 620488 KiB
Current children cumulated memory: 581032 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/252 182177
/proc/meminfo: memFree=98311604/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=626216 memory=585896 CPUtime=3153.24 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 127555 0 0 0 314589 735 0 0 20 0 1 0 236300422 641245184 146474 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 156554 146474 1312 1200 0 155034 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 626216 KiB
Current children cumulated memory: 585896 KiB
[startup+3222.3 s]
/proc/loadavg: 4.36 4.18 4.17 5/252 182179
/proc/meminfo: memFree=98318288/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=628860 memory=588072 CPUtime=3213.04 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 128116 0 0 0 320554 750 0 0 20 0 1 0 236300422 643952640 147018 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 157215 147018 1312 1200 0 155695 0
Current children cumulated CPU time: 3213.04 s
Current children cumulated vsize: 628860 KiB
Current children cumulated memory: 588072 KiB
[startup+3282.3 s]
/proc/loadavg: 4.65 4.31 4.22 5/251 182181
/proc/meminfo: memFree=98319076/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=630196 memory=589480 CPUtime=3272.86 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 128462 0 0 0 326519 767 0 0 20 0 1 0 236300422 645320704 147370 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 157549 147370 1312 1200 0 156029 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 630196 KiB
Current children cumulated memory: 589480 KiB
[startup+3342.3 s]
/proc/loadavg: 4.73 4.38 4.25 5/252 182184
/proc/meminfo: memFree=98311772/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=633760 memory=592680 CPUtime=3332.67 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 129523 0 0 0 332486 781 0 0 20 0 1 0 236300422 648970240 148170 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 158440 148170 1312 1200 0 156920 0
Current children cumulated CPU time: 3332.67 s
Current children cumulated vsize: 633760 KiB
Current children cumulated memory: 592680 KiB
[startup+3402.3 s]
/proc/loadavg: 4.61 4.43 4.27 5/252 182186
/proc/meminfo: memFree=98292340/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=638824 memory=599208 CPUtime=3392.48 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 130496 0 0 0 338452 796 0 0 20 0 1 0 236300422 654155776 149802 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 159706 149802 1312 1200 0 158186 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 638824 KiB
Current children cumulated memory: 599208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.36 4.26 5/250 182188
/proc/meminfo: memFree=98236496/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=643912 memory=617000 CPUtime=3452.32 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 131532 0 0 0 344420 812 0 0 20 0 1 0 236300422 659365888 154250 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 160978 154250 1312 1200 0 159458 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 643912 KiB
Current children cumulated memory: 617000 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.31 4.25 5/250 182190
/proc/meminfo: memFree=98240528/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=647868 memory=620456 CPUtime=3512.15 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 132396 0 0 0 350389 826 0 0 20 0 1 0 236300422 663416832 155114 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 161967 155114 1312 1200 0 160447 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 647868 KiB
Current children cumulated memory: 620456 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.27 4.24 5/250 182192
/proc/meminfo: memFree=98245588/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=655480 memory=626088 CPUtime=3571.98 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 133797 0 0 0 356355 843 0 0 20 0 1 0 236300422 671211520 156522 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 163870 156522 1312 1200 0 162350 0
Current children cumulated CPU time: 3571.98 s
Current children cumulated vsize: 655480 KiB
Current children cumulated memory: 626088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.16 4.26 4.24 4/246 182208
/proc/meminfo: memFree=98487528/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=656152 memory=626600 CPUtime=3600.08 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 133951 0 0 0 359159 849 0 0 20 0 1 0 236300422 671899648 156650 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 164038 156650 1312 1200 0 162518 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 656152 KiB
Current children cumulated memory: 626600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 181967 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.6 s, system=8.49669 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.16 4.26 4.24 4/246 182208
/proc/meminfo: memFree=98487528/131382116 swapFree=33010684/33010684
[pid=181967] ppid=181963 vsize=656152 memory=626600 CPUtime=3600.08 cores=1,3
/proc/181967/stat : 181967 (Exact) R 181963 181967 181214 0 -1 4194304 133951 0 0 0 359159 849 0 0 20 0 1 0 236300422 671899648 156650 18446744073709551615 4198400 9112445 140726356094768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 40927232 140726356097317 140726356097515 140726356097515 140726356103119 0
/proc/181967/statm: 164038 156650 1312 1200 0 162518 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 656152 KiB
Current children cumulated memory: 626600 KiB
Child status: 0
Real time (s): 3610.51
CPU time (s): 3600.1
CPU user time (s): 3591.6
CPU system time (s): 8.49669
CPU usage (%): 99.7117
Max. virtual memory (cumulated for all children) (KiB): 656152
Max. memory (cumulated for all children) (KiB): 626600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.61
system time used= 8.49669
maximum resident set size= 626600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133952
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= 127
involuntary context switches= 2950
# summary of solver processes directly reported to runsolver:
# pid: 181967
# total CPU time (s): 3600.1
# total CPU user time (s): 3591.6
# total CPU system time (s): 8.49669
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7766 second user time and 34.3614 second system time
The end
Begin job on nodeC011 at 2025-07-22 19:43:27
IDJOB=4541861
IDBENCH=163529
IDSOLVER=3319
FILE ID=nodeC011/4541861-1753206207
RUNJOBID= nodeC011-1753198970-181234
SLURM_JOB_ID= 9687744
Free space on /tmp= 432800 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541861-1753206207/watcher-4541861-1753206207 -o /tmp/evaluation-result-4541861-1753206207/solver-4541861-1753206207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753198970-181234 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=788495262 --ls=360 --inp-dombreaklim=0 HOME/instance-4541861-1753206207.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b6349d7dce380ae2e08847675885e6d3
RANDOM SEED=788495262
nodeC011 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 : 0xb00001f
cpu MHz : 1197.562
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.296
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.290
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.439
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.359
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3591.868
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.340
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.297
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 99250000 kB
MemAvailable: 129516692 kB
Buffers: 3276 kB
Cached: 31036736 kB
SwapCached: 0 kB
Active: 988804 kB
Inactive: 30521044 kB
Active(anon): 493912 kB
Inactive(anon): 2076 kB
Active(file): 494892 kB
Inactive(file): 30518968 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22520 kB
Writeback: 0 kB
AnonPages: 470868 kB
Mapped: 118068 kB
Shmem: 26152 kB
KReclaimable: 184536 kB
Slab: 278084 kB
SReclaimable: 184536 kB
SUnreclaim: 93548 kB
KernelStack: 3984 kB
PageTables: 3848 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 844336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 393216 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432784 MiB
End job on nodeC011 at 2025-07-22 20:43:38