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 (58054 MiB free)
memory of node 1: 64465 MiB (56701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543006-1753225008/watcher-4543006-1753225008 -o /tmp/evaluation-result-4543006-1753225008/solver-4543006-1753225008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753225008-176023 --watchdog 3760 pb_picat HOME/instance-4543006-1753225008.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=176070, runsolver pid=176061
[startup+0.100062 s]*
/proc/loadavg: 1.24 1.89 2.61 5/268 176079
/proc/meminfo: memFree=117406788/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2027148 memory=51644 CPUtime=0.08 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 1262 0 0 0 8 0 0 0 20 0 1 0 238179417 2075799552 12911 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 506787 12911 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 51644 KiB
[startup+0.205747 s]*
/proc/loadavg: 1.24 1.89 2.61 5/268 176079
/proc/meminfo: memFree=117343508/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2027148 memory=76220 CPUtime=0.19 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 1274 0 0 0 18 1 0 0 20 0 1 0 238179417 2075799552 19055 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 506787 19055 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 76220 KiB
[startup+0.305776 s]*
/proc/loadavg: 1.24 1.89 2.61 5/268 176079
/proc/meminfo: memFree=117277848/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2033996 memory=97276 CPUtime=0.29 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 3272 0 0 0 28 1 0 0 20 0 1 0 238179417 2082811904 24319 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 508499 24319 1632 343 0 505563 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2033996 KiB
Current children cumulated memory: 97276 KiB
[startup+0.700157 s]
/proc/loadavg: 1.24 1.89 2.61 5/268 176079
/proc/meminfo: memFree=117220256/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2047700 memory=106656 CPUtime=0.68 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 7321 0 0 0 66 2 0 0 20 0 1 0 238179417 2096844800 26664 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 511925 26664 1664 343 0 508989 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2047700 KiB
Current children cumulated memory: 106656 KiB
[startup+1.50016 s]
/proc/loadavg: 1.24 1.89 2.61 5/268 176079
/proc/meminfo: memFree=117105424/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2055892 memory=111364 CPUtime=1.48 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 10288 0 0 0 145 3 0 0 20 0 1 0 238179417 2105233408 27841 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 513973 27841 1664 343 0 511037 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2055892 KiB
Current children cumulated memory: 111364 KiB
[startup+3.10557 s]
/proc/loadavg: 1.46 1.93 2.62 5/268 176079
/proc/meminfo: memFree=117052664/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2055788 memory=118668 CPUtime=3.07 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 14917 0 0 0 303 4 0 0 20 0 1 0 238179417 2105126912 29667 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 513947 29667 1664 343 0 511011 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2055788 KiB
Current children cumulated memory: 118668 KiB
[startup+6.30015 s]
/proc/loadavg: 1.46 1.93 2.62 5/268 176079
/proc/meminfo: memFree=117035384/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2059884 memory=115420 CPUtime=6.26 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 23498 0 0 0 619 7 0 0 20 0 1 0 238179417 2109321216 28855 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 514971 28855 1664 343 0 512035 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2059884 KiB
Current children cumulated memory: 115420 KiB
[startup+12.7002 s]
/proc/loadavg: 1.67 1.96 2.63 5/268 176079
/proc/meminfo: memFree=116960116/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2072172 memory=129616 CPUtime=12.65 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 32081 0 0 0 1251 14 0 0 20 0 1 0 238179417 2121904128 32404 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 518043 32404 1664 343 0 515107 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2072172 KiB
Current children cumulated memory: 129616 KiB
[startup+25.5002 s]
/proc/loadavg: 2.26 2.08 2.66 5/268 176080
/proc/meminfo: memFree=116933860/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2105068 memory=157052 CPUtime=25.41 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 46870 0 0 0 2515 26 0 0 20 0 1 0 238179417 2155589632 39263 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 526267 39263 1664 343 0 523331 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2105068 KiB
Current children cumulated memory: 157052 KiB
[startup+51.1055 s]
/proc/loadavg: 2.85 2.23 2.69 5/267 176080
/proc/meminfo: memFree=116736632/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2072588 memory=126820 CPUtime=50.94 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 61012 0 0 0 5047 47 0 0 20 0 1 0 238179417 2122330112 31705 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 518147 31705 1664 343 0 515211 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2072588 KiB
Current children cumulated memory: 126820 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.52 2.77 5/267 176082
/proc/meminfo: memFree=116577244/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2105484 memory=158508 CPUtime=102 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 80860 0 0 0 10121 79 0 0 20 0 1 0 238179417 2156015616 39627 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 526371 39627 1664 343 0 523435 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2105484 KiB
Current children cumulated memory: 158508 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.83 2.86 5/267 176087
/proc/meminfo: memFree=116962304/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2173068 memory=176108 CPUtime=161.84 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 102353 0 0 0 16062 122 0 0 20 0 1 0 238179417 2225221632 44027 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 543267 44027 1664 343 0 540331 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2173068 KiB
Current children cumulated memory: 176108 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.06 2.94 5/265 176089
/proc/meminfo: memFree=116689780/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2308236 memory=267428 CPUtime=221.67 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 121598 0 0 0 22014 153 0 0 20 0 1 0 238179417 2363633664 66857 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 577059 66857 1664 343 0 574123 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 2308236 KiB
Current children cumulated memory: 267428 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.26 3.02 5/265 176106
/proc/meminfo: memFree=115976148/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2566284 memory=507116 CPUtime=281.51 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 139069 0 0 0 27953 198 0 0 20 0 1 0 238179417 2627874816 126779 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 641571 126779 1664 343 0 638635 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 2566284 KiB
Current children cumulated memory: 507116 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.41 3.09 5/266 176109
/proc/meminfo: memFree=115766552/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2570380 memory=623584 CPUtime=341.34 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 152646 0 0 0 33896 238 0 0 20 0 1 0 238179417 2632069120 155896 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 642595 155896 1664 343 0 639659 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 2570380 KiB
Current children cumulated memory: 623584 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.54 3.15 5/266 176111
/proc/meminfo: memFree=116618432/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2566284 memory=430684 CPUtime=401.18 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 167900 0 0 0 39839 279 0 0 20 0 1 0 238179417 2627874816 107671 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 641571 107671 1664 343 0 638635 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 2566284 KiB
Current children cumulated memory: 430684 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.65 3.22 5/264 176116
/proc/meminfo: memFree=116421148/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2304532 memory=239804 CPUtime=461.02 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 190062 0 0 0 45784 318 0 0 20 0 1 0 238179417 2359840768 59951 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 576133 59951 1664 343 0 573197 0
################
# More data... #
################
Current children cumulated memory: 1246876 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/266 176238
/proc/meminfo: memFree=114152912/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=3096084 memory=908956 CPUtime=2854.54 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 581801 0 0 0 283593 1861 0 0 20 0 1 0 238179417 3170390016 227239 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 774021 227239 1664 343 0 771085 0
Current children cumulated CPU time: 2854.54 s
Current children cumulated vsize: 3096084 KiB
Current children cumulated memory: 908956 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/266 176245
/proc/meminfo: memFree=114133500/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=4140564 memory=1743268 CPUtime=2914.38 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 585690 0 0 0 289540 1898 0 0 20 0 1 0 238179417 4239937536 435817 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 1035141 435817 1664 343 0 1032205 0
Current children cumulated CPU time: 2914.38 s
Current children cumulated vsize: 4140564 KiB
Current children cumulated memory: 1743268 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/266 176247
/proc/meminfo: memFree=116132172/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2567700 memory=425504 CPUtime=2974.22 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 596343 0 0 0 295482 1940 0 0 20 0 1 0 238179417 2629324800 106376 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 641925 106376 1664 343 0 638989 0
Current children cumulated CPU time: 2974.22 s
Current children cumulated vsize: 2567700 KiB
Current children cumulated memory: 425504 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/266 176249
/proc/meminfo: memFree=115161252/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2567700 memory=440284 CPUtime=3034.06 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 602713 0 0 0 301430 1976 0 0 20 0 1 0 238179417 2629324800 110071 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 641925 110071 1664 343 0 638989 0
Current children cumulated CPU time: 3034.06 s
Current children cumulated vsize: 2567700 KiB
Current children cumulated memory: 440284 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/266 176252
/proc/meminfo: memFree=114522524/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2571796 memory=583212 CPUtime=3093.9 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 611840 0 0 0 307377 2013 0 0 20 0 1 0 238179417 2633519104 145803 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 642949 145803 1664 343 0 640013 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 2571796 KiB
Current children cumulated memory: 583212 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 176254
/proc/meminfo: memFree=114650136/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2305556 memory=280836 CPUtime=3153.74 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 622704 0 0 0 313329 2045 0 0 20 0 1 0 238179417 2360889344 70209 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 576389 70209 1664 343 0 573453 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 2305556 KiB
Current children cumulated memory: 280836 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 176256
/proc/meminfo: memFree=115469688/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=3091988 memory=968032 CPUtime=3213.58 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 631045 0 0 0 319274 2084 0 0 20 0 1 0 238179417 3166195712 242008 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 772997 242008 1664 343 0 770061 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 3091988 KiB
Current children cumulated memory: 968032 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/263 176258
/proc/meminfo: memFree=115216612/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=4144660 memory=1345188 CPUtime=3273.42 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 635278 0 0 0 325225 2117 0 0 20 0 1 0 238179417 4244131840 336297 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 1036165 336297 1664 343 0 1033229 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 4144660 KiB
Current children cumulated memory: 1345188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.03 5/263 176260
/proc/meminfo: memFree=115976920/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2565652 memory=503144 CPUtime=3333.26 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 640190 0 0 0 331170 2156 0 0 20 0 1 0 238179417 2627227648 125786 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 641413 125786 1664 343 0 638477 0
Current children cumulated CPU time: 3333.26 s
Current children cumulated vsize: 2565652 KiB
Current children cumulated memory: 503144 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/264 176264
/proc/meminfo: memFree=114164416/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=6241812 memory=2268836 CPUtime=3393.11 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 643685 0 0 0 337118 2193 0 0 20 0 1 0 238179417 6391615488 567209 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 1560453 567209 1664 343 0 1557517 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 6241812 KiB
Current children cumulated memory: 2268836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.03 5/265 176269
/proc/meminfo: memFree=114533352/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=4144660 memory=1529508 CPUtime=3452.94 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 647350 0 0 0 343067 2227 0 0 20 0 1 0 238179417 4244131840 382377 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 1036165 382377 1664 343 0 1033229 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 4144660 KiB
Current children cumulated memory: 1529508 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/266 176276
/proc/meminfo: memFree=115400156/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=4144660 memory=1429156 CPUtime=3512.79 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 650989 0 0 0 349014 2265 0 0 20 0 1 0 238179417 4244131840 357289 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 1036165 357289 1664 343 0 1033229 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 4144660 KiB
Current children cumulated memory: 1429156 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/266 176278
/proc/meminfo: memFree=115491936/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=3091988 memory=674356 CPUtime=3572.62 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 656495 0 0 0 354964 2298 0 0 20 0 1 0 238179417 3166195712 168589 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 772997 168589 1664 343 0 770061 0
Current children cumulated CPU time: 3572.62 s
Current children cumulated vsize: 3091988 KiB
Current children cumulated memory: 674356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.12 4.10 4.04 5/266 176279
/proc/meminfo: memFree=115652788/131249996 swapFree=33010160/33010684
[pid=176070] ppid=176061 vsize=2303508 memory=255336 CPUtime=3600.04 cores=5,7
/proc/176070/stat : 176070 (pb_picat) R 176061 176070 176010 0 -1 4194304 658466 0 0 0 357686 2318 0 0 20 0 1 0 238179417 2358792192 63834 18446744073709551615 94915216326656 94915217728237 140730847086752 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94915217999664 94915219873968 94915255894016 140730847091100 140730847091176 140730847091176 140730847096780 0
/proc/176070/statm: 575877 63834 1664 343 0 572941 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2303508 KiB
Current children cumulated memory: 255336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 176070 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3576.87 s, system=23.188 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.8
CPU time (s): 3600.06
CPU user time (s): 3576.87
CPU system time (s): 23.188
CPU usage (%): 99.7301
Max. virtual memory (cumulated for all children) (KiB): 6241812
Max. memory (cumulated for all children) (KiB): 2584228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.87
system time used= 23.188
maximum resident set size= 2584228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 658466
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= 90
involuntary context switches= 21958
# summary of solver processes directly reported to runsolver:
# pid: 176070
# total CPU time (s): 3600.06
# total CPU user time (s): 3576.87
# total CPU system time (s): 23.188
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7981 second user time and 15.7731 second system time
The end
Begin job on nodeC032 at 2025-07-23 00:56:48
IDJOB=4543006
IDBENCH=171726
IDSOLVER=3346
FILE ID=nodeC032/4543006-1753225008
RUNJOBID= nodeC032-1753225008-176023
SLURM_JOB_ID= 9687838
Free space on /tmp= 432580 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-original/normalized-php_230_229.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543006-1753225008/watcher-4543006-1753225008 -o /tmp/evaluation-result-4543006-1753225008/solver-4543006-1753225008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753225008-176023 --watchdog 3760 pb_picat HOME/instance-4543006-1753225008.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a824f24e2c7503f02a1883bfe38cfded
RANDOM SEED=325626878
nodeC032 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 : 3601.502
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.740
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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.375
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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.232
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3604.665
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3916.139
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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.086
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.846
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 117521192 kB
MemAvailable: 129562800 kB
Buffers: 2728 kB
Cached: 12720876 kB
SwapCached: 20 kB
Active: 1199840 kB
Inactive: 11590220 kB
Active(anon): 89572 kB
Inactive(anon): 3124 kB
Active(file): 1110268 kB
Inactive(file): 11587096 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15544 kB
Writeback: 4 kB
AnonPages: 69652 kB
Mapped: 108436 kB
Shmem: 26240 kB
KReclaimable: 366968 kB
Slab: 465960 kB
SReclaimable: 366968 kB
SUnreclaim: 98992 kB
KernelStack: 4160 kB
PageTables: 2804 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 349860 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3872 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432564 MiB
End job on nodeC032 at 2025-07-23 01:56:58