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 (63272 MiB free)
memory of node 1: 64465 MiB (63834 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509929-1751192746/watcher-4509929-1751192746 -o /tmp/evaluation-result-4509929-1751192746/solver-4509929-1751192746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751192746-24170 --watchdog 3760 pb_picat HOME/instance-4509929-1751192746.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
solver pid=24216, runsolver pid=24210
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 0.70 1.00 1.70 5/250 24229
/proc/meminfo: memFree=130132752/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2028008 memory=18320 CPUtime=0.1 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1102 0 0 0 9 1 0 0 20 0 1 0 34954055 2076680192 4580 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 507002 4580 1632 343 0 504066 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028008 KiB
Current children cumulated memory: 18320 KiB
[startup+0.213921 s]*
/proc/loadavg: 0.70 1.00 1.70 5/250 24229
/proc/meminfo: memFree=130132752/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2028328 memory=18448 CPUtime=0.21 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1204 0 0 0 20 1 0 0 20 0 1 0 34954055 2077007872 4612 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 507082 4612 1632 343 0 504146 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2028328 KiB
Current children cumulated memory: 18448 KiB
[startup+0.312549 s]*
/proc/loadavg: 0.70 1.00 1.70 5/250 24229
/proc/meminfo: memFree=130133192/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2028456 memory=18576 CPUtime=0.3 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1257 0 0 0 29 1 0 0 20 0 1 0 34954055 2077138944 4644 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 507114 4644 1632 343 0 504178 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2028456 KiB
Current children cumulated memory: 18576 KiB
[startup+0.700246 s]
/proc/loadavg: 0.70 1.00 1.70 5/250 24229
/proc/meminfo: memFree=130133192/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2029224 memory=18824 CPUtime=0.68 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1455 0 0 0 67 1 0 0 20 0 1 0 34954055 2077925376 4706 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 507306 4706 1632 343 0 504370 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2029224 KiB
Current children cumulated memory: 18824 KiB
[startup+1.50026 s]
/proc/loadavg: 0.70 1.00 1.70 5/250 24229
/proc/meminfo: memFree=130133192/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2029792 memory=19216 CPUtime=1.47 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 2529 0 0 0 146 1 0 0 20 0 1 0 34954055 2078507008 4804 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 507448 4804 1632 343 0 504512 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2029792 KiB
Current children cumulated memory: 19216 KiB
[startup+3.11205 s]
/proc/loadavg: 0.70 1.00 1.70 5/250 24229
/proc/meminfo: memFree=130131884/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2030176 memory=19968 CPUtime=3.09 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 6291 0 0 0 307 2 0 0 20 0 1 0 34954055 2078900224 4992 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 507544 4992 1632 343 0 504608 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2030176 KiB
Current children cumulated memory: 19968 KiB
[startup+6.30023 s]
/proc/loadavg: 0.97 1.05 1.71 5/250 24229
/proc/meminfo: memFree=130131304/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2030176 memory=19904 CPUtime=6.27 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 14527 0 0 0 624 3 0 0 20 0 1 0 34954055 2078900224 4976 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 507544 4976 1632 343 0 504608 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2030176 KiB
Current children cumulated memory: 19904 KiB
[startup+12.7002 s]
/proc/loadavg: 1.21 1.10 1.73 5/250 24229
/proc/meminfo: memFree=130125760/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2031744 memory=21372 CPUtime=12.65 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 32147 0 0 0 1260 5 0 0 20 0 1 0 34954055 2080505856 5343 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 507936 5343 1632 343 0 505000 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2031744 KiB
Current children cumulated memory: 21372 KiB
[startup+25.5003 s]
/proc/loadavg: 1.83 1.25 1.76 5/250 24230
/proc/meminfo: memFree=130121040/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2034948 memory=22948 CPUtime=25.42 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 67292 0 0 0 2531 11 0 0 20 0 1 0 34954055 2083786752 5737 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 508737 5737 1632 343 0 505801 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2034948 KiB
Current children cumulated memory: 22948 KiB
[startup+51.1124 s]
/proc/loadavg: 2.57 1.47 1.82 5/250 24230
/proc/meminfo: memFree=130118080/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2031876 memory=21360 CPUtime=50.96 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 121949 0 0 0 5077 19 0 0 20 0 1 0 34954055 2080641024 5340 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 507969 5340 1632 343 0 505033 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2031876 KiB
Current children cumulated memory: 21360 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 1.89 1.95 5/251 24233
/proc/meminfo: memFree=130107288/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2037100 memory=28980 CPUtime=102.02 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 212658 0 0 0 10168 34 0 0 20 0 1 0 34954055 2085990400 7245 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 509275 7245 1632 343 0 506339 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2037100 KiB
Current children cumulated memory: 28980 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.29 2.09 5/252 24240
/proc/meminfo: memFree=130100480/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2035728 memory=29272 CPUtime=161.87 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 305208 0 0 0 16133 54 0 0 20 0 1 0 34954055 2084585472 7318 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 508932 7318 1632 343 0 505996 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2035728 KiB
Current children cumulated memory: 29272 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.62 2.21 5/252 24242
/proc/meminfo: memFree=130092280/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2046100 memory=38364 CPUtime=221.73 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 377249 0 0 0 22101 72 0 0 20 0 1 0 34954055 2095206400 9591 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 511525 9591 1632 343 0 508589 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 2046100 KiB
Current children cumulated memory: 38364 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.91 2.34 5/252 24244
/proc/meminfo: memFree=130087428/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2042148 memory=33640 CPUtime=281.58 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 440428 0 0 0 28072 86 0 0 20 0 1 0 34954055 2091159552 8410 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 510537 8410 1632 343 0 507601 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 2042148 KiB
Current children cumulated memory: 33640 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.13 2.45 5/251 24246
/proc/meminfo: memFree=130079164/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2036004 memory=29764 CPUtime=341.43 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 491787 0 0 0 34043 100 0 0 20 0 1 0 34954055 2084868096 7441 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 509001 7441 1632 343 0 506065 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 2036004 KiB
Current children cumulated memory: 29764 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.30 2.56 5/251 24250
/proc/meminfo: memFree=130074240/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2033956 memory=28036 CPUtime=401.28 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 551540 0 0 0 40014 114 0 0 20 0 1 0 34954055 2082770944 7009 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 508489 7009 1632 343 0 505553 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 2033956 KiB
Current children cumulated memory: 28036 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.46 2.66 5/250 24252
/proc/meminfo: memFree=130066720/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2042236 memory=35392 CPUtime=461.13 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 604398 0 0 0 45985 128 0 0 20 0 1 0 34954055 2091249664 8848 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 510559 8848 1632 343 0 507623 0
Current children cumulated CPU time: 461.13 s
################
# More data... #
################
Current children cumulated memory: 50844 KiB
[startup+2922.3 s]
/proc/loadavg: 4.42 4.16 4.03 5/250 24382
/proc/meminfo: memFree=130009200/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2045032 memory=39492 CPUtime=2914.23 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1643529 0 0 0 290964 459 0 0 20 0 1 0 34954055 2094112768 9873 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 511258 9873 1632 343 0 508322 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 2045032 KiB
Current children cumulated memory: 39492 KiB
[startup+2982.3 s]
/proc/loadavg: 5.51 4.52 4.17 5/250 24384
/proc/meminfo: memFree=129992716/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2057320 memory=50652 CPUtime=2974.06 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1654327 0 0 0 296943 463 0 0 20 0 1 0 34954055 2106695680 12663 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 514330 12663 1632 343 0 511394 0
Current children cumulated CPU time: 2974.06 s
Current children cumulated vsize: 2057320 KiB
Current children cumulated memory: 50652 KiB
[startup+3042.3 s]
/proc/loadavg: 5.56 4.74 4.27 5/250 24386
/proc/meminfo: memFree=130000304/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2081896 memory=55360 CPUtime=3033.88 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1666471 0 0 0 302922 466 0 0 20 0 1 0 34954055 2131861504 13840 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 520474 13840 1632 343 0 517538 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 2081896 KiB
Current children cumulated memory: 55360 KiB
[startup+3102.3 s]
/proc/loadavg: 4.68 4.64 4.27 5/249 24388
/proc/meminfo: memFree=130002896/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2057320 memory=43236 CPUtime=3093.7 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1689653 0 0 0 308896 474 0 0 20 0 1 0 34954055 2106695680 10809 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 514330 10809 1632 343 0 511394 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 2057320 KiB
Current children cumulated memory: 43236 KiB
[startup+3162.3 s]
/proc/loadavg: 4.36 4.56 4.26 5/250 24395
/proc/meminfo: memFree=129995136/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2081896 memory=57752 CPUtime=3153.52 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1705797 0 0 0 314871 481 0 0 20 0 1 0 34954055 2131861504 14438 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 520474 14438 1632 343 0 517538 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 2081896 KiB
Current children cumulated memory: 57752 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.47 4.25 5/251 24398
/proc/meminfo: memFree=130014300/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2057320 memory=45388 CPUtime=3213.34 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1718787 0 0 0 320847 487 0 0 20 0 1 0 34954055 2106695680 11347 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 514330 11347 1632 343 0 511394 0
Current children cumulated CPU time: 3213.34 s
Current children cumulated vsize: 2057320 KiB
Current children cumulated memory: 45388 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.41 4.24 5/251 24400
/proc/meminfo: memFree=130003536/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2045032 memory=39600 CPUtime=3273.17 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1733253 0 0 0 326824 493 0 0 20 0 1 0 34954055 2094112768 9900 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 511258 9900 1632 343 0 508322 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 2045032 KiB
Current children cumulated memory: 39600 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.35 4.23 5/251 24402
/proc/meminfo: memFree=130008628/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2077952 memory=52160 CPUtime=3333 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1748667 0 0 0 332801 499 0 0 20 0 1 0 34954055 2127822848 13040 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 519488 13040 1632 343 0 516552 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 2077952 KiB
Current children cumulated memory: 52160 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.30 4.22 5/252 24407
/proc/meminfo: memFree=130004184/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2057472 memory=45704 CPUtime=3392.81 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1766979 0 0 0 338776 505 0 0 20 0 1 0 34954055 2106851328 11426 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 514368 11426 1632 343 0 511432 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 2057472 KiB
Current children cumulated memory: 45704 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.29 4.22 5/252 24409
/proc/meminfo: memFree=130012596/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2065944 memory=54164 CPUtime=3452.63 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1785729 0 0 0 344751 512 0 0 20 0 1 0 34954055 2115526656 13541 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 516486 13541 1632 343 0 513550 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 2065944 KiB
Current children cumulated memory: 54164 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.25 4.21 5/251 24411
/proc/meminfo: memFree=130001332/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2068224 memory=53652 CPUtime=3512.45 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1801547 0 0 0 350726 519 0 0 20 0 1 0 34954055 2117861376 13413 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 517056 13413 1632 343 0 514120 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 2068224 KiB
Current children cumulated memory: 53652 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.22 4.19 5/251 24413
/proc/meminfo: memFree=130009148/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2060032 memory=50200 CPUtime=3572.28 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1814995 0 0 0 356704 524 0 0 20 0 1 0 34954055 2109472768 12550 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 515008 12550 1632 343 0 512072 0
Current children cumulated CPU time: 3572.28 s
Current children cumulated vsize: 2060032 KiB
Current children cumulated memory: 50200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.12 4.21 4.19 4/245 24426
/proc/meminfo: memFree=130084548/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2076416 memory=54304 CPUtime=3600.01 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1820759 0 0 0 359475 526 0 0 20 0 1 0 34954055 2126249984 13576 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 519104 13576 1632 343 0 516168 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2076416 KiB
Current children cumulated memory: 54304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 24216 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3594.75 s, system=5.26653 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.12 4.21 4.19 4/245 24426
/proc/meminfo: memFree=130084548/131382116 swapFree=33010684/33010684
[pid=24216] ppid=24210 vsize=2076416 memory=54304 CPUtime=3600.01 cores=4,6
/proc/24216/stat : 24216 (pb_picat) R 24210 24216 24159 0 -1 4194304 1820759 0 0 0 359475 526 0 0 20 0 1 0 34954055 2126249984 13576 18446744073709551615 94543447318528 94543448720109 140725493756864 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94543448991536 94543450865840 94543477170176 140725493758366 140725493758442 140725493758442 140725493764044 0
/proc/24216/statm: 519104 13576 1632 343 0 516168 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2076416 KiB
Current children cumulated memory: 54304 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.11
CPU time (s): 3600.02
CPU user time (s): 3594.75
CPU system time (s): 5.26653
CPU usage (%): 99.7204
Max. virtual memory (cumulated for all children) (KiB): 2098712
Max. memory (cumulated for all children) (KiB): 65944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.75
system time used= 5.26653
maximum resident set size= 66648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1820759
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= 97
involuntary context switches= 5687
# summary of solver processes directly reported to runsolver:
# pid: 24216
# total CPU time (s): 3600.02
# total CPU user time (s): 3594.75
# total CPU system time (s): 5.26653
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6409 second user time and 32.7285 second system time
The end
Begin job on nodeC010 at 2025-06-29 12:25:46
IDJOB=4509929
IDBENCH=159187
IDSOLVER=3346
FILE ID=nodeC010/4509929-1751192746
RUNJOBID= nodeC010-1751192746-24170
SLURM_JOB_ID= 9587585
Free space on /tmp= 433060 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509929-1751192746/watcher-4509929-1751192746 -o /tmp/evaluation-result-4509929-1751192746/solver-4509929-1751192746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751192746-24170 --watchdog 3760 pb_picat HOME/instance-4509929-1751192746.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e9fe8a525132cf683f02a97489687f4f
RANDOM SEED=391976083
nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.142
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.430
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.36
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.269
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.36
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.135
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.36
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.135
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.36
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.493
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.36
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.156
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.36
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.142
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130156984 kB
MemAvailable: 129928628 kB
Buffers: 3280 kB
Cached: 582564 kB
SwapCached: 0 kB
Active: 354836 kB
Inactive: 291216 kB
Active(anon): 78168 kB
Inactive(anon): 0 kB
Active(file): 276668 kB
Inactive(file): 291216 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14276 kB
Writeback: 0 kB
AnonPages: 63368 kB
Mapped: 102280 kB
Shmem: 17960 kB
KReclaimable: 86776 kB
Slab: 165120 kB
SReclaimable: 86776 kB
SUnreclaim: 78344 kB
KernelStack: 3792 kB
PageTables: 2752 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 329356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC010 at 2025-06-29 13:25:57