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 (62326 MiB free)
memory of node 1: 64465 MiB (61433 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518939-1751523357/watcher-4518939-1751523357 -o /tmp/evaluation-result-4518939-1751523357/solver-4518939-1751523357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751513882-71035 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4518939-1751523357.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=73714, runsolver pid=73711
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.24 4.15 4.15 5/250 73715
/proc/meminfo: memFree=126722296/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=55996 memory=15488 CPUtime=0.08 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 2419 0 0 0 7 1 0 0 20 0 1 0 68014801 57339904 3872 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 13999 3872 1664 2271 0 8637 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 55996 KiB
Current children cumulated memory: 15488 KiB
[startup+0.214436 s]*
/proc/loadavg: 4.24 4.15 4.15 5/250 73715
/proc/meminfo: memFree=126714232/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=57820 memory=19576 CPUtime=0.19 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 2950 0 0 0 18 1 0 0 20 0 1 0 68014801 59207680 4894 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 14455 4894 1664 2271 0 9093 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57820 KiB
Current children cumulated memory: 19576 KiB
[startup+0.313111 s]*
/proc/loadavg: 4.24 4.15 4.15 5/250 73715
/proc/meminfo: memFree=126713476/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=69060 memory=31100 CPUtime=0.29 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 6791 0 0 0 27 2 0 0 20 0 1 0 68014801 70717440 7775 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 17265 7775 1856 2271 0 11903 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69060 KiB
Current children cumulated memory: 31100 KiB
[startup+0.700267 s]
/proc/loadavg: 4.24 4.15 4.15 5/250 73715
/proc/meminfo: memFree=126711712/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=79292 memory=38396 CPUtime=0.67 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 8592 0 0 0 62 5 0 0 20 0 1 0 68014801 81195008 9599 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 19823 9599 1888 2271 0 14461 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79292 KiB
Current children cumulated memory: 38396 KiB
[startup+1.50026 s]
/proc/loadavg: 4.24 4.15 4.15 5/250 73715
/proc/meminfo: memFree=126705840/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=80808 memory=39676 CPUtime=1.46 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 8931 0 0 0 141 5 0 0 20 0 1 0 68014801 82747392 9919 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 20202 9919 1888 2271 0 14840 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 80808 KiB
Current children cumulated memory: 39676 KiB
[startup+3.11269 s]
/proc/loadavg: 4.24 4.15 4.15 5/250 73715
/proc/meminfo: memFree=126706092/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=80808 memory=41832 CPUtime=3.07 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 8933 0 0 0 302 5 0 0 20 0 1 0 68014801 82747392 10458 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 20202 10458 1888 2271 0 14840 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 80808 KiB
Current children cumulated memory: 41832 KiB
[startup+6.30026 s]
/proc/loadavg: 4.22 4.15 4.15 5/250 73715
/proc/meminfo: memFree=126681236/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=81352 memory=48632 CPUtime=6.25 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 9103 0 0 0 620 5 0 0 20 0 1 0 68014801 83304448 12158 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 20338 12158 1888 2271 0 14976 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 81352 KiB
Current children cumulated memory: 48632 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.15 4.15 5/250 73715
/proc/meminfo: memFree=126661956/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=84200 memory=56956 CPUtime=12.62 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 9656 0 0 0 1256 6 0 0 20 0 1 0 68014801 86220800 14239 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 21050 14239 1888 2271 0 15688 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 84200 KiB
Current children cumulated memory: 56956 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.14 4.15 5/250 73716
/proc/meminfo: memFree=126642448/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=100172 memory=73064 CPUtime=25.39 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 10869 0 0 0 2530 9 0 0 20 0 1 0 68014801 102576128 18266 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 25043 18266 1888 2271 0 19681 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 100172 KiB
Current children cumulated memory: 73064 KiB
[startup+51.1128 s]
/proc/loadavg: 4.16 4.14 4.15 5/250 73716
/proc/meminfo: memFree=126626704/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=104924 memory=78056 CPUtime=50.94 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 12004 0 0 0 5083 11 0 0 20 0 1 0 68014801 107442176 19514 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 26231 19514 2016 2271 0 20869 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 104924 KiB
Current children cumulated memory: 78056 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/250 73718
/proc/meminfo: memFree=126581700/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=135552 memory=97940 CPUtime=101.97 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 14301 0 0 0 10180 17 0 0 20 0 1 0 68014801 138805248 24485 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 33888 24485 2016 2271 0 28526 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 135552 KiB
Current children cumulated memory: 97940 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/250 73720
/proc/meminfo: memFree=126548724/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=144204 memory=106388 CPUtime=161.8 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 16467 0 0 0 16158 22 0 0 20 0 1 0 68014801 147664896 26597 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 36051 26597 2016 2271 0 30689 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 144204 KiB
Current children cumulated memory: 106388 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/249 73722
/proc/meminfo: memFree=126526284/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=149100 memory=111508 CPUtime=221.63 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 17752 0 0 0 22133 30 0 0 20 0 1 0 68014801 152678400 27877 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 37275 27877 2016 2271 0 31913 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 149100 KiB
Current children cumulated memory: 111508 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/250 73727
/proc/meminfo: memFree=126501536/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=152240 memory=116732 CPUtime=281.46 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 18558 0 0 0 28111 35 0 0 20 0 1 0 68014801 155893760 29183 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 38060 29183 2016 2271 0 32698 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 152240 KiB
Current children cumulated memory: 116732 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/250 73729
/proc/meminfo: memFree=126514496/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=152240 memory=116860 CPUtime=341.29 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 18574 0 0 0 34080 49 0 0 20 0 1 0 68014801 155893760 29215 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 38060 29215 2016 2271 0 32698 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 152240 KiB
Current children cumulated memory: 116860 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/250 73731
/proc/meminfo: memFree=126514500/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=152240 memory=118916 CPUtime=401.12 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 18589 0 0 0 40063 49 0 0 20 0 1 0 68014801 155893760 29729 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 38060 29729 2016 2271 0 32698 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 152240 KiB
Current children cumulated memory: 118916 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/250 73733
/proc/meminfo: memFree=126497384/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=152696 memory=119428 CPUtime=460.95 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 18718 0 0 0 46039 56 0 0 20 0 1 0 68014801 156360704 29857 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 38174 29857 2016 2271 0 32812 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 1.08 1.34 2.40 2/231 73958
/proc/meminfo: memFree=129705572/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=222508 memory=175816 CPUtime=3033.67 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 26573 0 0 0 302913 454 0 0 20 0 1 0 68014801 227848192 43954 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 55627 43954 2016 2271 0 50265 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 222508 KiB
Current children cumulated memory: 175816 KiB
[startup+3102.3 s]
/proc/loadavg: 1.26 1.34 2.33 2/232 73961
/proc/meminfo: memFree=129700724/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=223660 memory=176840 CPUtime=3093.48 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 26810 0 0 0 308894 454 0 0 20 0 1 0 68014801 229027840 44210 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 55915 44210 2016 2271 0 50553 0
Current children cumulated CPU time: 3093.48 s
Current children cumulated vsize: 223660 KiB
Current children cumulated memory: 176840 KiB
[startup+3162.3 s]
/proc/loadavg: 1.15 1.29 2.25 2/232 73963
/proc/meminfo: memFree=129702708/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=226620 memory=179272 CPUtime=3153.29 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 27407 0 0 0 314875 454 0 0 20 0 1 0 68014801 232058880 44818 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 56655 44818 2016 2271 0 51293 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 226620 KiB
Current children cumulated memory: 179272 KiB
[startup+3222.3 s]
/proc/loadavg: 1.17 1.27 2.18 2/232 73965
/proc/meminfo: memFree=129702208/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=226620 memory=179272 CPUtime=3213.11 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 27407 0 0 0 320857 454 0 0 20 0 1 0 68014801 232058880 44818 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 56655 44818 2016 2271 0 51293 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 226620 KiB
Current children cumulated memory: 179272 KiB
[startup+3282.3 s]
/proc/loadavg: 1.12 1.23 2.11 2/232 73969
/proc/meminfo: memFree=129704676/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=226620 memory=179272 CPUtime=3272.93 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 27407 0 0 0 326839 454 0 0 20 0 1 0 68014801 232058880 44818 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 56655 44818 2016 2271 0 51293 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 226620 KiB
Current children cumulated memory: 179272 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.20 2.04 2/232 73971
/proc/meminfo: memFree=129700608/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=226620 memory=180040 CPUtime=3332.75 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 27407 0 0 0 332821 454 0 0 20 0 1 0 68014801 232058880 45010 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 56655 45010 2016 2271 0 51293 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 226620 KiB
Current children cumulated memory: 180040 KiB
[startup+3402.3 s]
/proc/loadavg: 1.14 1.19 1.98 2/231 73973
/proc/meminfo: memFree=129701112/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=226620 memory=180040 CPUtime=3392.56 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 27407 0 0 0 338802 454 0 0 20 0 1 0 68014801 232058880 45010 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 56655 45010 2016 2271 0 51293 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 226620 KiB
Current children cumulated memory: 180040 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.17 1.92 2/231 73975
/proc/meminfo: memFree=129694056/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=232088 memory=184776 CPUtime=3452.38 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 28589 0 0 0 344783 455 0 0 20 0 1 0 68014801 237658112 46194 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 58022 46194 2016 2271 0 52660 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 232088 KiB
Current children cumulated memory: 184776 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.17 1.87 2/231 73977
/proc/meminfo: memFree=129671740/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=255920 memory=214636 CPUtime=3512.19 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 34538 0 0 0 350752 467 0 0 20 0 1 0 68014801 262062080 53659 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 63980 53659 2016 2271 0 58618 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 255920 KiB
Current children cumulated memory: 214636 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 1.15 1.82 2/232 73984
/proc/meminfo: memFree=129650080/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=256468 memory=215788 CPUtime=3572.01 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 34642 0 0 0 356691 510 0 0 20 0 1 0 68014801 262623232 53947 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 64117 53947 2016 2271 0 58755 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 256468 KiB
Current children cumulated memory: 215788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 1.15 1.15 1.80 2/232 73984
/proc/meminfo: memFree=129650332/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=256468 memory=215916 CPUtime=3600.03 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 34645 0 0 0 359473 530 0 0 20 0 1 0 68014801 262623232 53979 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 64117 53979 2016 2271 0 58755 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 256468 KiB
Current children cumulated memory: 215916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.4 s]
# the end of solver process 73714 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3596.72 s, system=5.31743 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 1.15 1.15 1.80 2/232 73984
/proc/meminfo: memFree=129650332/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=256468 memory=215916 CPUtime=3600.83 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 34645 0 0 0 359552 531 0 0 20 0 1 0 68014801 262623232 53979 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 64117 53979 2016 2271 0 58755 0
Current children cumulated CPU time: 3600.83 s
Current children cumulated vsize: 256468 KiB
Current children cumulated memory: 215916 KiB
[startup+3612 s]*
/proc/loadavg: 1.15 1.15 1.80 2/232 73984
/proc/meminfo: memFree=129650332/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=256468 memory=215916 CPUtime=3601.64 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 34645 0 0 0 359633 531 0 0 20 0 1 0 68014801 262623232 53979 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 64117 53979 2016 2271 0 58755 0
Current children cumulated CPU time: 3601.64 s
Current children cumulated vsize: 256468 KiB
Current children cumulated memory: 215916 KiB
[startup+3612.4 s]
/proc/loadavg: 1.15 1.15 1.80 2/232 73984
/proc/meminfo: memFree=129650332/131382120 swapFree=33010160/33010684
[pid=73714] ppid=73711 vsize=256468 memory=215916 CPUtime=3602.02 cores=0,2
/proc/73714/stat : 73714 (ExactPR) R 73711 73714 71022 0 -1 4194304 34645 0 0 0 359671 531 0 0 20 0 1 0 68014801 262623232 53979 18446744073709551615 94564990124032 94564999423877 140735150103200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94565001210176 94565001249256 94565020872704 140735150107013 140735150107148 140735150107148 140735150112750 0
/proc/73714/statm: 64117 53979 2016 2271 0 58755 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 256468 KiB
Current children cumulated memory: 215916 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.4
CPU time (s): 3602.04
CPU user time (s): 3596.72
CPU system time (s): 5.31743
CPU usage (%): 99.713
Max. virtual memory (cumulated for all children) (KiB): 256468
Max. memory (cumulated for all children) (KiB): 215916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.72
system time used= 5.31743
maximum resident set size= 215916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34645
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= 152
involuntary context switches= 7939
# summary of solver processes directly reported to runsolver:
# pid: 73714
# total CPU time (s): 3602.04
# total CPU user time (s): 3596.72
# total CPU system time (s): 5.31743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1988 second user time and 33.9036 second system time
The end
Begin job on nodeC008 at 2025-07-03 08:15:57
IDJOB=4518939
IDBENCH=177138
IDSOLVER=3324
FILE ID=nodeC008/4518939-1751523357
RUNJOBID= nodeC008-1751513882-71035
SLURM_JOB_ID= 9598620
Free space on /tmp= 432788 MiB
SOLVER NAME= ExactPR 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb
COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518939-1751523357/watcher-4518939-1751523357 -o /tmp/evaluation-result-4518939-1751523357/solver-4518939-1751523357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751513882-71035 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4518939-1751523357.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c6bac13c4e4f8552186782101ff3a61f
RANDOM SEED=1386317237
nodeC008 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.223
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.72
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 : 3491.870
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.72
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.523
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.72
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.360
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.72
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 : 3660.752
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.72
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 : 3657.775
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.72
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.509
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.72
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 : 3700.000
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126730220 kB
MemAvailable: 126763376 kB
Buffers: 2128 kB
Cached: 828812 kB
SwapCached: 16 kB
Active: 3736660 kB
Inactive: 310116 kB
Active(anon): 3197212 kB
Inactive(anon): 36544 kB
Active(file): 539448 kB
Inactive(file): 273572 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 12516 kB
Writeback: 0 kB
AnonPages: 3218948 kB
Mapped: 114980 kB
Shmem: 17920 kB
KReclaimable: 119524 kB
Slab: 203632 kB
SReclaimable: 119524 kB
SUnreclaim: 84108 kB
KernelStack: 4032 kB
PageTables: 9540 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3795088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2674688 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432812 MiB
End job on nodeC008 at 2025-07-03 09:16:09