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 (61734 MiB free)
memory of node 1: 64465 MiB (59864 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544371-1753230454/watcher-4544371-1753230454 -o /tmp/evaluation-result-4544371-1753230454/solver-4544371-1753230454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753223232-152981 --watchdog 3760 pb_picat HOME/instance-4544371-1753230454.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=153741, runsolver pid=153738
[startup+0.100063 s]*
/proc/loadavg: 4.09 4.09 4.09 4/262 153748
/proc/meminfo: memFree=124489676/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2027148 memory=28476 CPUtime=0.08 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1129 0 0 0 8 0 0 0 20 0 1 0 238724050 2075799552 7119 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 506787 7119 1568 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 28476 KiB
[startup+0.205497 s]*
/proc/loadavg: 4.09 4.09 4.09 5/261 153748
/proc/meminfo: memFree=124489676/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2027148 memory=32804 CPUtime=0.19 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1212 0 0 0 19 0 0 0 20 0 1 0 238724050 2075799552 8201 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 506787 8201 1568 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32804 KiB
[startup+0.304583 s]*
/proc/loadavg: 4.09 4.09 4.09 4/260 153761
/proc/meminfo: memFree=124497736/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2042752 memory=47992 CPUtime=0.29 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 4518 0 0 0 28 1 0 0 20 0 1 0 238724050 2091778048 11998 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 510688 11998 1696 343 0 507752 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2042752 KiB
Current children cumulated memory: 47992 KiB
[startup+0.700129 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 153779
/proc/meminfo: memFree=124451448/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2048320 memory=53476 CPUtime=0.67 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 7652 0 0 0 66 1 0 0 20 0 1 0 238724050 2097479680 13369 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 512080 13369 1696 343 0 509144 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2048320 KiB
Current children cumulated memory: 53476 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 153779
/proc/meminfo: memFree=124423160/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2047512 memory=50656 CPUtime=1.47 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 12331 0 0 0 145 2 0 0 20 0 1 0 238724050 2096652288 12664 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 511878 12664 1696 343 0 508942 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2047512 KiB
Current children cumulated memory: 50656 KiB
[startup+3.10541 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 153779
/proc/meminfo: memFree=124406972/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2047512 memory=50404 CPUtime=3.08 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 20257 0 0 0 304 4 0 0 20 0 1 0 238724050 2096652288 12601 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 511878 12601 1696 343 0 508942 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2047512 KiB
Current children cumulated memory: 50404 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 153779
/proc/meminfo: memFree=124386640/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2047512 memory=51436 CPUtime=6.26 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 31982 0 0 0 620 6 0 0 20 0 1 0 238724050 2096652288 12859 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 511878 12859 1696 343 0 508942 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2047512 KiB
Current children cumulated memory: 51436 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 153824
/proc/meminfo: memFree=123888016/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2048560 memory=52344 CPUtime=12.65 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 53861 0 0 0 1254 11 0 0 20 0 1 0 238724050 2097725440 13086 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 512140 13086 1696 343 0 509204 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2048560 KiB
Current children cumulated memory: 52344 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 153915
/proc/meminfo: memFree=123740628/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2056752 memory=59080 CPUtime=25.42 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 88007 0 0 0 2524 18 0 0 20 0 1 0 238724050 2106114048 14770 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 514188 14770 1696 343 0 511252 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2056752 KiB
Current children cumulated memory: 59080 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 153915
/proc/meminfo: memFree=121416616/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2064944 memory=68756 CPUtime=50.95 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 132733 0 0 0 5065 30 0 0 20 0 1 0 238724050 2114502656 17189 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 516236 17189 1696 343 0 513300 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2064944 KiB
Current children cumulated memory: 68756 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/261 154145
/proc/meminfo: memFree=124119040/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2086492 memory=90252 CPUtime=102.02 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 204152 0 0 0 10149 53 0 0 20 0 1 0 238724050 2136567808 22563 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 521623 22563 1696 343 0 518687 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2086492 KiB
Current children cumulated memory: 90252 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 154240
/proc/meminfo: memFree=124066216/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2103536 memory=96328 CPUtime=161.87 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 264674 0 0 0 16117 70 0 0 20 0 1 0 238724050 2154020864 24082 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 525884 24082 1696 343 0 522948 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2103536 KiB
Current children cumulated memory: 96328 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 4.13 4.10 5/264 154242
/proc/meminfo: memFree=124055700/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2104588 memory=99932 CPUtime=221.72 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 312723 0 0 0 22087 85 0 0 20 0 1 0 238724050 2155098112 24983 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 526147 24983 1696 343 0 523211 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2104588 KiB
Current children cumulated memory: 99932 KiB
[startup+282.3 s]
/proc/loadavg: 4.53 4.23 4.14 5/263 154289
/proc/meminfo: memFree=124063456/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2140096 memory=129436 CPUtime=281.57 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 351842 0 0 0 28057 100 0 0 20 0 1 0 238724050 2191458304 32359 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 535024 32359 1696 343 0 532088 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 2140096 KiB
Current children cumulated memory: 129436 KiB
[startup+342.3 s]
/proc/loadavg: 4.26 4.22 4.14 5/263 154425
/proc/meminfo: memFree=123047740/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2095304 memory=101116 CPUtime=341.41 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 376791 0 0 0 34030 111 0 0 20 0 1 0 238724050 2145591296 25279 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 523826 25279 1696 343 0 520890 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 2095304 KiB
Current children cumulated memory: 101116 KiB
[startup+402.3 s]
/proc/loadavg: 4.37 4.24 4.15 5/264 154428
/proc/meminfo: memFree=122947244/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2145056 memory=134072 CPUtime=401.25 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 397341 0 0 0 40005 120 0 0 20 0 1 0 238724050 2196537344 33518 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 536264 33518 1696 343 0 533328 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 2145056 KiB
Current children cumulated memory: 134072 KiB
[startup+462.3 s]
/proc/loadavg: 4.30 4.25 4.16 5/263 154430
/proc/meminfo: memFree=122936576/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2145056 memory=148796 CPUtime=461.09 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 413479 0 0 0 45981 128 0 0 20 0 1 0 238724050 2196537344 37199 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 536264 37199 1696 343 0 533328 0
Current children cumulated CPU time: 461.09 s
################
# More data... #
################
Current children cumulated memory: 171792 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/263 154562
/proc/meminfo: memFree=122696672/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2257080 memory=190224 CPUtime=2914.48 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 992432 0 0 0 290964 484 0 0 20 0 1 0 238724050 2311249920 47556 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 564270 47556 1696 343 0 561334 0
Current children cumulated CPU time: 2914.48 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 190224 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 154565
/proc/meminfo: memFree=122723208/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2191544 memory=175888 CPUtime=2974.33 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1012265 0 0 0 296932 501 0 0 20 0 1 0 238724050 2244141056 43972 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 547886 43972 1696 343 0 544950 0
Current children cumulated CPU time: 2974.33 s
Current children cumulated vsize: 2191544 KiB
Current children cumulated memory: 175888 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 154567
/proc/meminfo: memFree=122752616/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2191544 memory=173840 CPUtime=3034.17 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1021161 0 0 0 302909 508 0 0 20 0 1 0 238724050 2244141056 43460 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 547886 43460 1696 343 0 544950 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 2191544 KiB
Current children cumulated memory: 173840 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 154576
/proc/meminfo: memFree=122698020/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2224312 memory=212752 CPUtime=3094.02 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1033947 0 0 0 308885 517 0 0 20 0 1 0 238724050 2277695488 53188 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 556078 53188 1696 343 0 553142 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 2224312 KiB
Current children cumulated memory: 212752 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 154578
/proc/meminfo: memFree=122663056/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2257080 memory=227088 CPUtime=3153.86 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1039400 0 0 0 314864 522 0 0 20 0 1 0 238724050 2311249920 56772 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 564270 56772 1696 343 0 561334 0
Current children cumulated CPU time: 3153.86 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 227088 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 154580
/proc/meminfo: memFree=122680800/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2257080 memory=229136 CPUtime=3213.69 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1051203 0 0 0 320838 531 0 0 20 0 1 0 238724050 2311249920 57284 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 564270 57284 1696 343 0 561334 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 229136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 154584
/proc/meminfo: memFree=122663980/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2257080 memory=220944 CPUtime=3273.54 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1062005 0 0 0 326815 539 0 0 20 0 1 0 238724050 2311249920 55236 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 564270 55236 1696 343 0 561334 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 220944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 154587
/proc/meminfo: memFree=122669484/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2257080 memory=229136 CPUtime=3333.38 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1071051 0 0 0 332794 544 0 0 20 0 1 0 238724050 2311249920 57284 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 564270 57284 1696 343 0 561334 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 229136 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 154589
/proc/meminfo: memFree=122700216/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2224312 memory=206608 CPUtime=3393.22 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1078374 0 0 0 338773 549 0 0 20 0 1 0 238724050 2277695488 51652 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 556078 51652 1696 343 0 553142 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 2224312 KiB
Current children cumulated memory: 206608 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 154591
/proc/meminfo: memFree=122686552/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2257080 memory=216848 CPUtime=3453.06 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1089643 0 0 0 344750 556 0 0 20 0 1 0 238724050 2311249920 54212 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 564270 54212 1696 343 0 561334 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 216848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 154592
/proc/meminfo: memFree=122640480/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2257080 memory=222992 CPUtime=3512.91 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1098725 0 0 0 350728 563 0 0 20 0 1 0 238724050 2311249920 55748 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 564270 55748 1696 343 0 561334 0
Current children cumulated CPU time: 3512.91 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 222992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 154594
/proc/meminfo: memFree=122641344/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2257080 memory=237328 CPUtime=3572.75 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1106583 0 0 0 356706 569 0 0 20 0 1 0 238724050 2311249920 59332 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 564270 59332 1696 343 0 561334 0
Current children cumulated CPU time: 3572.75 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 237328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.29 4.13 4.10 5/263 154595
/proc/meminfo: memFree=122655892/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2257080 memory=245520 CPUtime=3600.09 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1108561 0 0 0 359438 571 0 0 20 0 1 0 238724050 2311249920 61380 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 564270 61380 1696 343 0 561334 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 245520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 153741 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3594.38 s, system=5.71716 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.29 4.13 4.10 5/263 154595
/proc/meminfo: memFree=122655892/131250000 swapFree=33010672/33010684
[pid=153741] ppid=153738 vsize=2257080 memory=245520 CPUtime=3600.09 cores=5,7
/proc/153741/stat : 153741 (pb_picat) R 153738 153741 152968 0 -1 4194304 1108561 0 0 0 359438 571 0 0 20 0 1 0 238724050 2311249920 61380 18446744073709551615 93907896373248 93907897774829 140727859577152 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93907898046256 93907899920560 93907921027072 140727859579292 140727859579368 140727859579368 140727859584972 0
/proc/153741/statm: 564270 61380 1696 343 0 561334 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 245520 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.7
CPU time (s): 3600.1
CPU user time (s): 3594.38
CPU system time (s): 5.71716
CPU usage (%): 99.7339
Max. virtual memory (cumulated for all children) (KiB): 2257080
Max. memory (cumulated for all children) (KiB): 247568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.38
system time used= 5.71716
maximum resident set size= 251260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1108561
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= 86
involuntary context switches= 5273
# summary of solver processes directly reported to runsolver:
# pid: 153741
# total CPU time (s): 3600.1
# total CPU user time (s): 3594.38
# total CPU system time (s): 5.71716
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55018 second user time and 15.507 second system time
The end
Begin job on nodeC026 at 2025-07-23 02:27:34
IDJOB=4544371
IDBENCH=175392
IDSOLVER=3346
FILE ID=nodeC026/4544371-1753230454
RUNJOBID= nodeC026-1753223232-152981
SLURM_JOB_ID= 9687827
Free space on /tmp= 433012 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_170.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544371-1753230454/watcher-4544371-1753230454 -o /tmp/evaluation-result-4544371-1753230454/solver-4544371-1753230454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753223232-152981 --watchdog 3760 pb_picat HOME/instance-4544371-1753230454.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8004cad3253210c4fb1dfbb021092d0c
RANDOM SEED=1947690937
nodeC026 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 : 3599.748
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.59
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.789
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.59
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 : 3597.761
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.59
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 : 3528.759
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.59
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 : 3599.877
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.59
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 : 3598.053
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.59
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 : 3599.571
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.59
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.025
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124525468 kB
MemAvailable: 129293224 kB
Buffers: 2128 kB
Cached: 5393148 kB
SwapCached: 4 kB
Active: 1489292 kB
Inactive: 4250956 kB
Active(anon): 365952 kB
Inactive(anon): 5344 kB
Active(file): 1123340 kB
Inactive(file): 4245612 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7552 kB
Writeback: 32 kB
AnonPages: 348044 kB
Mapped: 112568 kB
Shmem: 26268 kB
KReclaimable: 459604 kB
Slab: 564152 kB
SReclaimable: 459604 kB
SUnreclaim: 104548 kB
KernelStack: 4288 kB
PageTables: 3752 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2556364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC026 at 2025-07-23 03:27:44