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: 63837 MiB (63238 MiB free)
memory of node 1: 64465 MiB (63837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484535-1751295546/watcher-4484535-1751295546 -o /tmp/evaluation-result-4484535-1751295546/solver-4484535-1751295546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751291933-37075 --watchdog 3760 pb_picat HOME/instance-4484535-1751295546.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=37407, runsolver pid=37400
[startup+0.100068 s]*
/proc/loadavg: 4.11 4.11 4.06 2/240 37423
/proc/meminfo: memFree=130110208/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2027148 memory=24360 CPUtime=0.09 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 1119 0 0 0 8 1 0 0 20 0 1 0 45233406 2075799552 6090 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 506787 6090 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 24360 KiB
[startup+0.213512 s]*
/proc/loadavg: 4.11 4.11 4.06 3/237 37433
/proc/meminfo: memFree=130115940/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2034964 memory=32760 CPUtime=0.2 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 1145 0 0 0 19 1 0 0 20 0 1 0 45233406 2083803136 8190 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 508741 8190 1600 343 0 505805 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 32760 KiB
[startup+0.313075 s]*
/proc/loadavg: 4.11 4.11 4.06 3/241 37448
/proc/meminfo: memFree=130126852/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2034964 memory=36856 CPUtime=0.3 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 1168 0 0 0 29 1 0 0 20 0 1 0 45233406 2083803136 9214 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 508741 9214 1600 343 0 505805 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 36856 KiB
[startup+0.700289 s]
/proc/loadavg: 4.11 4.11 4.06 4/248 37472
/proc/meminfo: memFree=130102996/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2057164 memory=66612 CPUtime=0.67 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 6117 0 0 0 64 3 0 0 20 0 1 0 45233406 2106535936 16653 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 514291 16653 1696 343 0 511355 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2057164 KiB
Current children cumulated memory: 66612 KiB
[startup+1.50029 s]
/proc/loadavg: 4.11 4.11 4.06 5/245 37483
/proc/meminfo: memFree=130041488/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2066896 memory=72924 CPUtime=1.47 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 8972 0 0 0 142 5 0 0 20 0 1 0 45233406 2116501504 18231 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 516724 18231 1696 343 0 513788 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2066896 KiB
Current children cumulated memory: 72924 KiB
[startup+3.11284 s]
/proc/loadavg: 4.10 4.11 4.06 5/250 37497
/proc/meminfo: memFree=129938904/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2067872 memory=76048 CPUtime=3.07 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 13238 0 0 0 301 6 0 0 20 0 1 0 45233406 2117500928 19012 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 516968 19012 1696 343 0 514032 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2067872 KiB
Current children cumulated memory: 76048 KiB
[startup+6.30031 s]
/proc/loadavg: 4.10 4.11 4.06 5/250 37497
/proc/meminfo: memFree=129929400/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2068992 memory=77252 CPUtime=6.25 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 18809 0 0 0 618 7 0 0 20 0 1 0 45233406 2118647808 19313 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 517248 19313 1696 343 0 514312 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2068992 KiB
Current children cumulated memory: 77252 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.12 4.06 5/250 37497
/proc/meminfo: memFree=129921528/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2068992 memory=75204 CPUtime=12.63 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 27573 0 0 0 1254 9 0 0 20 0 1 0 45233406 2118647808 18801 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 517248 18801 1696 343 0 514312 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2068992 KiB
Current children cumulated memory: 75204 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.12 4.06 5/250 37498
/proc/meminfo: memFree=129914840/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2080828 memory=86996 CPUtime=25.39 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 33578 0 0 0 2528 11 0 0 20 0 1 0 45233406 2130767872 21749 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 520207 21749 1696 343 0 517271 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2080828 KiB
Current children cumulated memory: 86996 KiB
[startup+51.1124 s]
/proc/loadavg: 4.15 4.12 4.07 5/250 37498
/proc/meminfo: memFree=129880808/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2105404 memory=115296 CPUtime=50.92 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 34566 0 0 0 5081 11 0 0 20 0 1 0 45233406 2155933696 28824 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 526351 28824 1696 343 0 523415 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2105404 KiB
Current children cumulated memory: 115296 KiB
[startup+102.3 s]
/proc/loadavg: 4.52 4.21 4.10 5/250 37504
/proc/meminfo: memFree=129838712/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2121792 memory=130420 CPUtime=101.97 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 34953 0 0 0 10185 12 0 0 20 0 1 0 45233406 2172715008 32605 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 530448 32605 1696 343 0 527512 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2121792 KiB
Current children cumulated memory: 130420 KiB
[startup+162.3 s]
/proc/loadavg: 5.07 4.43 4.19 5/250 37517
/proc/meminfo: memFree=129832424/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2121792 memory=140276 CPUtime=161.85 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 35841 0 0 0 16172 13 0 0 20 0 1 0 45233406 2172715008 35069 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 530448 35069 1696 343 0 527512 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2121792 KiB
Current children cumulated memory: 140276 KiB
[startup+222.3 s]
/proc/loadavg: 4.55 4.41 4.19 5/250 37519
/proc/meminfo: memFree=129834684/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2121792 memory=140404 CPUtime=221.72 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 38930 0 0 0 22157 15 0 0 20 0 1 0 45233406 2172715008 35101 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 530448 35101 1696 343 0 527512 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2121792 KiB
Current children cumulated memory: 140404 KiB
[startup+282.3 s]
/proc/loadavg: 4.34 4.38 4.19 5/250 37521
/proc/meminfo: memFree=129846140/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2100796 memory=109188 CPUtime=281.58 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 47929 0 0 0 28138 20 0 0 20 0 1 0 45233406 2151215104 27297 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 525199 27297 1696 343 0 522263 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 2100796 KiB
Current children cumulated memory: 109188 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.32 4.18 5/250 37523
/proc/meminfo: memFree=129851476/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2117180 memory=125572 CPUtime=341.42 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 63178 0 0 0 34115 27 0 0 20 0 1 0 45233406 2167992320 31393 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 529295 31393 1696 343 0 526359 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 2117180 KiB
Current children cumulated memory: 125572 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.28 4.17 5/251 37526
/proc/meminfo: memFree=129827936/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2108988 memory=121064 CPUtime=401.28 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 76482 0 0 0 40095 33 0 0 20 0 1 0 45233406 2159603712 30266 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 527247 30266 1696 343 0 524311 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 2108988 KiB
Current children cumulated memory: 121064 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.24 4.17 5/251 37528
/proc/meminfo: memFree=129821272/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2117180 memory=131084 CPUtime=461.12 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 89245 0 0 0 46073 39 0 0 20 0 1 0 45233406 2167992320 32771 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 529295 32771 1696 343 0 526359 0
Current children cumulated CPU time: 461.12 s
################
# More data... #
################
Current children cumulated memory: 191120 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/250 37642
/proc/meminfo: memFree=129537408/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2166332 memory=173040 CPUtime=2914.14 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 450591 0 0 0 291126 288 0 0 20 0 1 0 45233406 2218323968 43260 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 541583 43260 1696 343 0 538647 0
Current children cumulated CPU time: 2914.14 s
Current children cumulated vsize: 2166332 KiB
Current children cumulated memory: 173040 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/250 37644
/proc/meminfo: memFree=129544456/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2166332 memory=176784 CPUtime=2973.97 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 457847 0 0 0 297103 294 0 0 20 0 1 0 45233406 2218323968 44196 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 541583 44196 1696 343 0 538647 0
Current children cumulated CPU time: 2973.97 s
Current children cumulated vsize: 2166332 KiB
Current children cumulated memory: 176784 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/250 37649
/proc/meminfo: memFree=129538588/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2149948 memory=168180 CPUtime=3033.81 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 465246 0 0 0 303079 302 0 0 20 0 1 0 45233406 2201546752 42045 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 537487 42045 1696 343 0 534551 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 2149948 KiB
Current children cumulated memory: 168180 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.16 4.14 5/250 37656
/proc/meminfo: memFree=129508936/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2199100 memory=187024 CPUtime=3093.64 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 474564 0 0 0 309054 310 0 0 20 0 1 0 45233406 2251878400 46756 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 549775 46756 1696 343 0 546839 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 2199100 KiB
Current children cumulated memory: 187024 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/250 37658
/proc/meminfo: memFree=129508152/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2166332 memory=178832 CPUtime=3153.46 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 479683 0 0 0 315031 315 0 0 20 0 1 0 45233406 2218323968 44708 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 541583 44708 1696 343 0 538647 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 2166332 KiB
Current children cumulated memory: 178832 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/250 37660
/proc/meminfo: memFree=129480936/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2199100 memory=187024 CPUtime=3213.3 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 491270 0 0 0 321005 325 0 0 20 0 1 0 45233406 2251878400 46756 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 549775 46756 1696 343 0 546839 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 2199100 KiB
Current children cumulated memory: 187024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/250 37662
/proc/meminfo: memFree=129523172/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2199100 memory=187184 CPUtime=3273.13 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 498705 0 0 0 326981 332 0 0 20 0 1 0 45233406 2251878400 46796 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 549775 46796 1696 343 0 546839 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 2199100 KiB
Current children cumulated memory: 187184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/250 37664
/proc/meminfo: memFree=129521252/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2231868 memory=196580 CPUtime=3332.97 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 507028 0 0 0 332957 340 0 0 20 0 1 0 45233406 2285432832 49145 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 557967 49145 1696 343 0 555031 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 2231868 KiB
Current children cumulated memory: 196580 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/250 37666
/proc/meminfo: memFree=129520524/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2166332 memory=176784 CPUtime=3392.81 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 512286 0 0 0 338932 349 0 0 20 0 1 0 45233406 2218323968 44196 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 541583 44196 1696 343 0 538647 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 2166332 KiB
Current children cumulated memory: 176784 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/251 37669
/proc/meminfo: memFree=129563596/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2199100 memory=168592 CPUtime=3452.64 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 523085 0 0 0 344907 357 0 0 20 0 1 0 45233406 2251878400 42148 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 549775 42148 1696 343 0 546839 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 2199100 KiB
Current children cumulated memory: 168592 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/251 37671
/proc/meminfo: memFree=129513992/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2199100 memory=180880 CPUtime=3512.47 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 531153 0 0 0 350882 365 0 0 20 0 1 0 45233406 2251878400 45220 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 549775 45220 1696 343 0 546839 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 2199100 KiB
Current children cumulated memory: 180880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/251 37673
/proc/meminfo: memFree=129508392/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2199100 memory=178832 CPUtime=3572.29 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 536176 0 0 0 356858 371 0 0 20 0 1 0 45233406 2251878400 44708 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 549775 44708 1696 343 0 546839 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 2199100 KiB
Current children cumulated memory: 178832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.11 4.12 4.11 5/251 37676
/proc/meminfo: memFree=129503220/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2199100 memory=184976 CPUtime=3600.03 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 538691 0 0 0 359629 374 0 0 20 0 1 0 45233406 2251878400 46244 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 549775 46244 1696 343 0 546839 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2199100 KiB
Current children cumulated memory: 184976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 37407 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3596.29 s, system=3.74858 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.11 4.12 4.11 5/251 37676
/proc/meminfo: memFree=129503220/131382120 swapFree=33010684/33010684
[pid=37407] ppid=37400 vsize=2199100 memory=184976 CPUtime=3600.03 cores=4,6
/proc/37407/stat : 37407 (pb_picat) R 37400 37407 37064 0 -1 4194304 538691 0 0 0 359629 374 0 0 20 0 1 0 45233406 2251878400 46244 18446744073709551615 94796960190464 94796961592045 140729526101632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94796961863472 94796963737776 94796989267968 140729526106526 140729526106602 140729526106602 140729526112204 0
/proc/37407/statm: 549775 46244 1696 343 0 546839 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2199100 KiB
Current children cumulated memory: 184976 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.12
CPU time (s): 3600.04
CPU user time (s): 3596.29
CPU system time (s): 3.74858
CPU usage (%): 99.7209
Max. virtual memory (cumulated for all children) (KiB): 2264636
Max. memory (cumulated for all children) (KiB): 230032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.29
system time used= 3.74858
maximum resident set size= 230032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 538691
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= 80
involuntary context switches= 4157
# summary of solver processes directly reported to runsolver:
# pid: 37407
# total CPU time (s): 3600.04
# total CPU user time (s): 3596.29
# total CPU system time (s): 3.74858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7187 second user time and 33.6 second system time
The end
Begin job on nodeC002 at 2025-06-30 16:59:06
IDJOB=4484535
IDBENCH=146659
IDSOLVER=3346
FILE ID=nodeC002/4484535-1751295546
RUNJOBID= nodeC002-1751291933-37075
SLURM_JOB_ID= 9594256
Free space on /tmp= 433048 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484535-1751295546/watcher-4484535-1751295546 -o /tmp/evaluation-result-4484535-1751295546/solver-4484535-1751295546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751291933-37075 --watchdog 3760 pb_picat HOME/instance-4484535-1751295546.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5103574c4a35f60a2227b90ce19b385
RANDOM SEED=155643858
nodeC002 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 : 3492.362
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 : 6983.81
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 : 2867.389
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 : 6983.81
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.224
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 : 6983.81
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.203
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 : 6983.81
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.214
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 : 6983.81
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 : 1197.371
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 : 6983.81
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.590
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 : 6983.81
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.381
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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130120604 kB
MemAvailable: 129922780 kB
Buffers: 3280 kB
Cached: 611424 kB
SwapCached: 0 kB
Active: 321640 kB
Inactive: 362676 kB
Active(anon): 87572 kB
Inactive(anon): 0 kB
Active(file): 234068 kB
Inactive(file): 362676 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3992 kB
Writeback: 0 kB
AnonPages: 72744 kB
Mapped: 102824 kB
Shmem: 17960 kB
KReclaimable: 90116 kB
Slab: 172692 kB
SReclaimable: 90116 kB
SUnreclaim: 82576 kB
KernelStack: 3936 kB
PageTables: 3032 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 350608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC002 at 2025-06-30 17:59:16