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 (63088 MiB free)
memory of node 1: 64465 MiB (63943 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507174-1751181106/watcher-4507174-1751181106 -o /tmp/evaluation-result-4507174-1751181106/solver-4507174-1751181106 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751181106-25737 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=309913489 --ls=0 --inp-dombreaklim=0 HOME/instance-4507174-1751181106.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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=25787, runsolver pid=25778
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.02 1.72 2.86 6/262 25796
/proc/meminfo: memFree=129921196/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=74472 memory=50740 CPUtime=0.09 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 12229 0 0 0 8 1 0 0 20 0 1 0 33790076 76259328 12685 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 18618 12685 1024 1200 0 17098 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74472 KiB
Current children cumulated memory: 50740 KiB
[startup+0.205039 s]*
/proc/loadavg: 1.02 1.72 2.86 6/262 25796
/proc/meminfo: memFree=129865376/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=94248 memory=71632 CPUtime=0.2 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 16872 0 0 0 18 2 0 0 20 0 1 0 33790076 96509952 17908 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 23562 17908 1248 1200 0 22042 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 94248 KiB
Current children cumulated memory: 71632 KiB
[startup+0.305266 s]*
/proc/loadavg: 1.02 1.72 2.86 6/262 25796
/proc/meminfo: memFree=129817432/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=109844 memory=84388 CPUtime=0.3 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 19572 0 0 0 27 3 0 0 20 0 1 0 33790076 112480256 21097 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 27461 21097 1248 1200 0 25941 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109844 KiB
Current children cumulated memory: 84388 KiB
[startup+0.700131 s]
/proc/loadavg: 1.02 1.72 2.86 6/262 25796
/proc/meminfo: memFree=129793240/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=111932 memory=90160 CPUtime=0.68 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 20514 0 0 0 65 3 0 0 20 0 1 0 33790076 114618368 22540 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 27983 22540 1248 1200 0 26463 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 111932 KiB
Current children cumulated memory: 90160 KiB
[startup+1.50013 s]
/proc/loadavg: 1.02 1.72 2.86 6/262 25796
/proc/meminfo: memFree=129780832/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=114252 memory=95332 CPUtime=1.49 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 21278 0 0 0 145 4 0 0 20 0 1 0 33790076 116994048 23833 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 28563 23833 1248 1200 0 27043 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 114252 KiB
Current children cumulated memory: 95332 KiB
[startup+3.10473 s]
/proc/loadavg: 1.26 1.76 2.86 6/263 25797
/proc/meminfo: memFree=129720536/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=119664 memory=105020 CPUtime=3.08 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 22645 0 0 0 304 4 0 0 20 0 1 0 33790076 122535936 26255 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 29916 26255 1280 1200 0 28396 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 119664 KiB
Current children cumulated memory: 105020 KiB
[startup+6.30013 s]
/proc/loadavg: 1.26 1.76 2.86 6/263 25797
/proc/meminfo: memFree=129606392/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=142076 memory=125764 CPUtime=6.27 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 25533 0 0 0 621 6 0 0 20 0 1 0 33790076 145485824 31441 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 35519 31441 1280 1200 0 33999 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 142076 KiB
Current children cumulated memory: 125764 KiB
[startup+12.7001 s]
/proc/loadavg: 1.68 1.83 2.87 6/263 25797
/proc/meminfo: memFree=129496696/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=175592 memory=146112 CPUtime=12.66 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 28450 0 0 0 1256 10 0 0 20 0 1 0 33790076 179806208 36528 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 43898 36528 1280 1200 0 42378 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 175592 KiB
Current children cumulated memory: 146112 KiB
[startup+25.5001 s]
/proc/loadavg: 2.11 1.92 2.89 6/263 25797
/proc/meminfo: memFree=129451672/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=181716 memory=152896 CPUtime=25.41 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 30136 0 0 0 2531 10 0 0 20 0 1 0 33790076 186077184 38224 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 45429 38224 1280 1200 0 43909 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 181716 KiB
Current children cumulated memory: 152896 KiB
[startup+51.1045 s]
/proc/loadavg: 2.76 2.09 2.92 6/263 25798
/proc/meminfo: memFree=129400304/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=193244 memory=170532 CPUtime=50.95 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 33049 0 0 0 5081 14 0 0 20 0 1 0 33790076 197881856 42633 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 48311 42633 1280 1200 0 46791 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 193244 KiB
Current children cumulated memory: 170532 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 2.43 2.99 6/263 25800
/proc/meminfo: memFree=129270712/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=213136 memory=199868 CPUtime=101.99 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 37862 0 0 0 10179 20 0 0 20 0 1 0 33790076 218251264 49967 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 53284 49967 1280 1200 0 51764 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 213136 KiB
Current children cumulated memory: 199868 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.73 3.06 6/263 25804
/proc/meminfo: memFree=128987440/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=228672 memory=214844 CPUtime=161.79 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 41627 0 0 0 16148 31 0 0 20 0 1 0 33790076 234160128 53711 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 57168 53711 1280 1200 0 55648 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 228672 KiB
Current children cumulated memory: 214844 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.98 3.13 6/264 25809
/proc/meminfo: memFree=128862372/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=349508 memory=285748 CPUtime=221.6 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 46013 0 0 0 22124 36 0 0 20 0 1 0 33790076 357896192 71437 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 87377 71437 1280 1200 0 85857 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 349508 KiB
Current children cumulated memory: 285748 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.18 3.19 6/264 25810
/proc/meminfo: memFree=128802732/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=358860 memory=295732 CPUtime=281.44 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 48445 0 0 0 28095 49 0 0 20 0 1 0 33790076 367472640 73933 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 89715 73933 1280 1200 0 88195 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 358860 KiB
Current children cumulated memory: 295732 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.35 3.25 6/263 25814
/proc/meminfo: memFree=128785668/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=365720 memory=302516 CPUtime=341.27 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 50189 0 0 0 34078 49 0 0 20 0 1 0 33790076 374497280 75629 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 91430 75629 1280 1200 0 89910 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 365720 KiB
Current children cumulated memory: 302516 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.50 3.31 6/264 25818
/proc/meminfo: memFree=128739952/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=376320 memory=314292 CPUtime=401.11 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 52937 0 0 0 40044 67 0 0 20 0 1 0 33790076 385351680 78573 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 94080 78573 1280 1200 0 92560 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 376320 KiB
Current children cumulated memory: 314292 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.61 3.36 6/264 25820
/proc/meminfo: memFree=128689696/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=385164 memory=323124 CPUtime=460.93 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 55163 0 0 0 46026 67 0 0 20 0 1 0 33790076 394407936 80781 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
################
# More data... #
################
Current children cumulated memory: 462464 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.03 6/265 25943
/proc/meminfo: memFree=127776048/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=519096 memory=463104 CPUtime=2914.06 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 87864 0 0 0 291144 262 0 0 20 0 1 0 33790076 531554304 115776 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 129774 115776 1280 1200 0 128254 0
Current children cumulated CPU time: 2914.06 s
Current children cumulated vsize: 519096 KiB
Current children cumulated memory: 463104 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.03 6/265 25956
/proc/meminfo: memFree=127776340/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=523976 memory=467968 CPUtime=2973.9 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 89254 0 0 0 297128 262 0 0 20 0 1 0 33790076 536551424 116992 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 130994 116992 1280 1200 0 129474 0
Current children cumulated CPU time: 2973.9 s
Current children cumulated vsize: 523976 KiB
Current children cumulated memory: 467968 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.03 6/265 25958
/proc/meminfo: memFree=127768476/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=530448 memory=474240 CPUtime=3033.75 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 90861 0 0 0 303112 263 0 0 20 0 1 0 33790076 543178752 118560 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 132612 118560 1280 1200 0 131092 0
Current children cumulated CPU time: 3033.75 s
Current children cumulated vsize: 530448 KiB
Current children cumulated memory: 474240 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.03 6/265 25960
/proc/meminfo: memFree=127759400/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=531732 memory=475520 CPUtime=3093.59 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 91206 0 0 0 309087 272 0 0 20 0 1 0 33790076 544493568 118880 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 132933 118880 1280 1200 0 131413 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 531732 KiB
Current children cumulated memory: 475520 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.03 6/264 25965
/proc/meminfo: memFree=127730192/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=543568 memory=502608 CPUtime=3153.43 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 94073 0 0 0 315069 274 0 0 20 0 1 0 33790076 556613632 125652 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 135892 125652 1280 1200 0 134372 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 543568 KiB
Current children cumulated memory: 502608 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.08 4.03 6/264 25970
/proc/meminfo: memFree=127717484/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=550244 memory=509432 CPUtime=3213.28 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 94866 0 0 0 321039 289 0 0 20 0 1 0 33790076 563449856 127358 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 137561 127358 1280 1200 0 136041 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 550244 KiB
Current children cumulated memory: 509432 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.03 6/265 25973
/proc/meminfo: memFree=127717416/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=550244 memory=509432 CPUtime=3273.12 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 94922 0 0 0 327023 289 0 0 20 0 1 0 33790076 563449856 127358 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 137561 127358 1280 1200 0 136041 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 550244 KiB
Current children cumulated memory: 509432 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.03 6/265 25977
/proc/meminfo: memFree=127710244/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=550468 memory=509560 CPUtime=3332.96 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 94965 0 0 0 333007 289 0 0 20 0 1 0 33790076 563679232 127390 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 137617 127390 1280 1200 0 136097 0
Current children cumulated CPU time: 3332.96 s
Current children cumulated vsize: 550468 KiB
Current children cumulated memory: 509560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.03 6/265 25979
/proc/meminfo: memFree=127709516/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=551480 memory=510456 CPUtime=3392.8 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 95397 0 0 0 338975 305 0 0 20 0 1 0 33790076 564715520 127614 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 137870 127614 1280 1200 0 136350 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 551480 KiB
Current children cumulated memory: 510456 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.09 4.04 6/264 25981
/proc/meminfo: memFree=127701460/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=551852 memory=510840 CPUtime=3452.64 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 95513 0 0 0 344959 305 0 0 20 0 1 0 33790076 565096448 127710 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 137963 127710 1280 1200 0 136443 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 551852 KiB
Current children cumulated memory: 510840 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.04 6/263 25983
/proc/meminfo: memFree=127697184/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=552788 memory=511864 CPUtime=3512.49 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 95914 0 0 0 350944 305 0 0 20 0 1 0 33790076 566054912 127966 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 138197 127966 1280 1200 0 136677 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 552788 KiB
Current children cumulated memory: 511864 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.04 6/262 25985
/proc/meminfo: memFree=127689468/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=557152 memory=516216 CPUtime=3572.32 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 97032 0 0 0 356927 305 0 0 20 0 1 0 33790076 570523648 129054 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 139288 129054 1280 1200 0 137768 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 557152 KiB
Current children cumulated memory: 516216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.08 4.09 4.04 4/258 25995
/proc/meminfo: memFree=128137340/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=557152 memory=516216 CPUtime=3600.05 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 97154 0 0 0 359689 316 0 0 20 0 1 0 33790076 570523648 129054 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 139288 129054 1280 1200 0 137768 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 557152 KiB
Current children cumulated memory: 516216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.13 s]
# the end of solver process 25787 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.92 s, system=3.16838 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.08 4.09 4.04 4/258 25995
/proc/meminfo: memFree=128137340/131250000 swapFree=33010684/33010684
[pid=25787] ppid=25778 vsize=557152 memory=516216 CPUtime=3600.05 cores=0,2
/proc/25787/stat : 25787 (Exact) R 25778 25787 25727 0 -1 4194304 97154 0 0 0 359689 316 0 0 20 0 1 0 33790076 570523648 129054 18446744073709551615 4198400 9112445 140722306268528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15818752 140722306271529 140722306271725 140722306271725 140722306277327 0
/proc/25787/statm: 139288 129054 1280 1200 0 137768 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 557152 KiB
Current children cumulated memory: 516216 KiB
Child status: 0
Real time (s): 3610.13
CPU time (s): 3600.09
CPU user time (s): 3596.92
CPU system time (s): 3.16838
CPU usage (%): 99.7218
Max. virtual memory (cumulated for all children) (KiB): 557152
Max. memory (cumulated for all children) (KiB): 516216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.92
system time used= 3.16838
maximum resident set size= 516216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97168
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= 91
involuntary context switches= 7973
# summary of solver processes directly reported to runsolver:
# pid: 25787
# total CPU time (s): 3600.09
# total CPU user time (s): 3596.92
# total CPU system time (s): 3.16838
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32171 second user time and 13.0609 second system time
The end
Begin job on nodeC033 at 2025-06-29 09:11:46
IDJOB=4507174
IDBENCH=158329
IDSOLVER=3318
FILE ID=nodeC033/4507174-1751181106
RUNJOBID= nodeC033-1751181106-25737
SLURM_JOB_ID= 9587552
Free space on /tmp= 433056 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K182.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507174-1751181106/watcher-4507174-1751181106 -o /tmp/evaluation-result-4507174-1751181106/solver-4507174-1751181106 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751181106-25737 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=309913489 --ls=0 --inp-dombreaklim=0 HOME/instance-4507174-1751181106.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76bcc507230b7348cd315b0b6909f20
RANDOM SEED=309913489
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.714
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3601.191
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.068
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.070
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.112
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.642
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.338
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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.079
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 130084232 kB
MemAvailable: 129763856 kB
Buffers: 3280 kB
Cached: 489832 kB
SwapCached: 0 kB
Active: 323816 kB
Inactive: 231788 kB
Active(anon): 80612 kB
Inactive(anon): 0 kB
Active(file): 243204 kB
Inactive(file): 231788 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33816 kB
Writeback: 0 kB
AnonPages: 65616 kB
Mapped: 102744 kB
Shmem: 18120 kB
KReclaimable: 87740 kB
Slab: 172888 kB
SReclaimable: 87740 kB
SUnreclaim: 85148 kB
KernelStack: 3988 kB
PageTables: 2784 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 329168 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150312 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC033 at 2025-06-29 10:11:57