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 (61668 MiB free)
memory of node 1: 64465 MiB (63130 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518793-1751545502/watcher-4518793-1751545502 -o /tmp/evaluation-result-4518793-1751545502/solver-4518793-1751545502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751543957-74340 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4518793-1751545502.opb -mem-lim=31000
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=74531, runsolver pid=74528
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.14 4.25 3.81 5/264 74532
/proc/meminfo: memFree=127788416/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=9868 memory=8704 CPUtime=0.09 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 1905 0 0 0 9 0 0 0 20 0 1 0 70227743 10104832 2176 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 2467 2176 544 484 0 1878 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9868 KiB
Current children cumulated memory: 8704 KiB
[startup+0.205683 s]*
/proc/loadavg: 4.14 4.25 3.81 5/264 74532
/proc/meminfo: memFree=127786652/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=10504 memory=9436 CPUtime=0.2 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 2548 0 0 0 20 0 0 0 20 0 1 0 70227743 10756096 2359 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 2626 2359 544 484 0 2037 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10504 KiB
Current children cumulated memory: 9436 KiB
[startup+0.305532 s]*
/proc/loadavg: 4.14 4.25 3.81 5/264 74532
/proc/meminfo: memFree=127786652/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=10504 memory=9436 CPUtime=0.3 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 2550 0 0 0 30 0 0 0 20 0 1 0 70227743 10756096 2359 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 2626 2359 544 484 0 2037 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 10504 KiB
Current children cumulated memory: 9436 KiB
[startup+0.700186 s]
/proc/loadavg: 4.14 4.25 3.81 5/264 74532
/proc/meminfo: memFree=127786652/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=15032 memory=13800 CPUtime=0.68 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 4061 0 0 0 68 0 0 0 20 0 1 0 70227743 15392768 3450 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 3758 3450 544 484 0 3169 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 15032 KiB
Current children cumulated memory: 13800 KiB
[startup+1.50019 s]
/proc/loadavg: 4.14 4.25 3.81 5/264 74532
/proc/meminfo: memFree=127782872/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=14012 memory=12840 CPUtime=1.49 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 5186 0 0 0 148 1 0 0 20 0 1 0 70227743 14348288 3210 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 3503 3210 544 484 0 2914 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 14012 KiB
Current children cumulated memory: 12840 KiB
[startup+3.10544 s]
/proc/loadavg: 4.14 4.25 3.81 5/264 74532
/proc/meminfo: memFree=127779140/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=16924 memory=15904 CPUtime=3.09 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 8173 0 0 0 308 1 0 0 20 0 1 0 70227743 17330176 3976 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 4231 3976 544 484 0 3642 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 16924 KiB
Current children cumulated memory: 15904 KiB
[startup+6.30019 s]
/proc/loadavg: 4.21 4.26 3.81 5/264 74532
/proc/meminfo: memFree=127779140/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=20296 memory=19320 CPUtime=6.27 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 9654 0 0 0 626 1 0 0 20 0 1 0 70227743 20783104 4830 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 5074 4830 544 484 0 4485 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 20296 KiB
Current children cumulated memory: 19320 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.25 3.81 5/264 74533
/proc/meminfo: memFree=127769280/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=46064 memory=44992 CPUtime=12.66 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 14013 0 0 0 1263 3 0 0 20 0 1 0 70227743 47169536 11248 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 11516 11248 544 484 0 10927 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 46064 KiB
Current children cumulated memory: 44992 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.24 3.82 5/264 74533
/proc/meminfo: memFree=127750244/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=51016 memory=50004 CPUtime=25.42 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 15216 0 0 0 2539 3 0 0 20 0 1 0 70227743 52240384 12501 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 12754 12501 544 484 0 12165 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 51016 KiB
Current children cumulated memory: 50004 KiB
[startup+51.1055 s]
/proc/loadavg: 4.18 4.24 3.83 5/264 74533
/proc/meminfo: memFree=127709304/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=82064 memory=81088 CPUtime=50.96 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 20823 0 0 0 5090 6 0 0 20 0 1 0 70227743 84033536 20272 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 20516 20272 544 484 0 19927 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 82064 KiB
Current children cumulated memory: 81088 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.22 3.84 5/264 74535
/proc/meminfo: memFree=127728200/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=65680 memory=64704 CPUtime=102 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 23326 0 0 0 10192 8 0 0 20 0 1 0 70227743 67256320 16176 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 16420 16176 544 484 0 15831 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 65680 KiB
Current children cumulated memory: 64704 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.19 3.86 5/264 74537
/proc/meminfo: memFree=127630840/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=118344 memory=117384 CPUtime=161.84 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 31818 0 0 0 16168 16 0 0 20 0 1 0 70227743 121184256 29346 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 29586 29346 544 484 0 28997 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 118344 KiB
Current children cumulated memory: 117384 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.18 3.88 5/263 74539
/proc/meminfo: memFree=127527252/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=108352 memory=107392 CPUtime=221.69 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 34853 0 0 0 22149 20 0 0 20 0 1 0 70227743 110952448 26848 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 27088 26848 544 484 0 26499 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 108352 KiB
Current children cumulated memory: 107392 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.18 3.91 5/263 74541
/proc/meminfo: memFree=127562788/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=116712 memory=115648 CPUtime=281.54 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 37538 0 0 0 28129 25 0 0 20 0 1 0 70227743 119513088 28912 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 29178 28912 544 484 0 28589 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 116712 KiB
Current children cumulated memory: 115648 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.16 3.92 5/264 74546
/proc/meminfo: memFree=127504084/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=160604 memory=159644 CPUtime=341.39 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 39800 0 0 0 34111 28 0 0 20 0 1 0 70227743 164458496 39911 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 40151 39911 544 484 0 39562 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 160604 KiB
Current children cumulated memory: 159644 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.16 3.94 5/266 74554
/proc/meminfo: memFree=127501432/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=180240 memory=179264 CPUtime=401.22 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 47007 0 0 0 40083 39 0 0 20 0 1 0 70227743 184565760 44816 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 45060 44816 544 484 0 44471 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 180240 KiB
Current children cumulated memory: 179264 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.13 3.94 5/266 74556
/proc/meminfo: memFree=127352612/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=305384 memory=304424 CPUtime=461.07 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 49474 0 0 0 46059 48 0 0 20 0 1 0 70227743 312713216 76106 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 76346 76106 544 484 0 75757 0
Current children cumulated CPU time: 461.07 s
################
# More data... #
################
Current children cumulated memory: 254600 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/265 74916
/proc/meminfo: memFree=127617492/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=256952 memory=255128 CPUtime=2854.36 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 162946 0 0 0 285147 289 0 0 20 0 1 0 70227743 263118848 63782 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 64238 63782 544 484 0 63649 0
Current children cumulated CPU time: 2854.36 s
Current children cumulated vsize: 256952 KiB
Current children cumulated memory: 255128 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/265 74918
/proc/meminfo: memFree=127643980/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=257460 memory=255636 CPUtime=2914.19 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 163703 0 0 0 291126 293 0 0 20 0 1 0 70227743 263639040 63909 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 64365 63909 544 484 0 63776 0
Current children cumulated CPU time: 2914.19 s
Current children cumulated vsize: 257460 KiB
Current children cumulated memory: 255636 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.04 5/266 74924
/proc/meminfo: memFree=127617516/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=257820 memory=255996 CPUtime=2974.01 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 164706 0 0 0 297105 296 0 0 20 0 1 0 70227743 264007680 63999 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 64455 63999 544 484 0 63866 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 257820 KiB
Current children cumulated memory: 255996 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.11 4.05 5/266 74926
/proc/meminfo: memFree=127651044/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=258104 memory=256280 CPUtime=3033.83 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 165798 0 0 0 303085 298 0 0 20 0 1 0 70227743 264298496 64070 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 64526 64070 544 484 0 63937 0
Current children cumulated CPU time: 3033.83 s
Current children cumulated vsize: 258104 KiB
Current children cumulated memory: 256280 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/265 74928
/proc/meminfo: memFree=127600764/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=258352 memory=256580 CPUtime=3093.65 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 167116 0 0 0 309065 300 0 0 20 0 1 0 70227743 264552448 64145 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 64588 64145 544 484 0 63999 0
Current children cumulated CPU time: 3093.65 s
Current children cumulated vsize: 258352 KiB
Current children cumulated memory: 256580 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/264 74930
/proc/meminfo: memFree=127581652/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=258764 memory=256940 CPUtime=3153.48 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 168574 0 0 0 315045 303 0 0 20 0 1 0 70227743 264974336 64235 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 64691 64235 544 484 0 64102 0
Current children cumulated CPU time: 3153.48 s
Current children cumulated vsize: 258764 KiB
Current children cumulated memory: 256940 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/264 74932
/proc/meminfo: memFree=127559272/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=259228 memory=257564 CPUtime=3213.31 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 170075 0 0 0 321024 307 0 0 20 0 1 0 70227743 265449472 64391 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 64807 64391 544 484 0 64218 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 259228 KiB
Current children cumulated memory: 257564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/264 74935
/proc/meminfo: memFree=127547832/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=259520 memory=257748 CPUtime=3273.13 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 171808 0 0 0 327002 311 0 0 20 0 1 0 70227743 265748480 64437 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 64880 64437 544 484 0 64291 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 259520 KiB
Current children cumulated memory: 257748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/263 74937
/proc/meminfo: memFree=127614400/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=259696 memory=257924 CPUtime=3332.95 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 173742 0 0 0 332980 315 0 0 20 0 1 0 70227743 265928704 64481 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 64924 64481 544 484 0 64335 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 259696 KiB
Current children cumulated memory: 257924 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/264 74944
/proc/meminfo: memFree=127506240/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=320356 memory=318584 CPUtime=3392.78 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 175611 0 0 0 338959 319 0 0 20 0 1 0 70227743 328044544 79646 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 80089 79646 544 484 0 79500 0
Current children cumulated CPU time: 3392.78 s
Current children cumulated vsize: 320356 KiB
Current children cumulated memory: 318584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/264 74946
/proc/meminfo: memFree=127456852/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=335040 memory=333268 CPUtime=3452.6 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 177491 0 0 0 344934 326 0 0 20 0 1 0 70227743 343080960 83317 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 83760 83317 544 484 0 83171 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 335040 KiB
Current children cumulated memory: 333268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.17 4.09 5/264 74948
/proc/meminfo: memFree=127457896/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=331688 memory=329916 CPUtime=3512.44 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 180340 0 0 0 350907 337 0 0 20 0 1 0 70227743 339648512 82479 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 82922 82479 544 484 0 82333 0
Current children cumulated CPU time: 3512.44 s
Current children cumulated vsize: 331688 KiB
Current children cumulated memory: 329916 KiB
[startup+3582.3 s]
/proc/loadavg: 4.32 4.20 4.10 5/264 74952
/proc/meminfo: memFree=127465968/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=336732 memory=334960 CPUtime=3572.26 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 182499 0 0 0 356881 345 0 0 20 0 1 0 70227743 344813568 83740 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 84183 83740 544 484 0 83594 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 336732 KiB
Current children cumulated memory: 334960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.20 4.18 4.10 5/264 74953
/proc/meminfo: memFree=127438284/131250000 swapFree=33007332/33010684
[pid=74531] ppid=74528 vsize=331680 memory=329908 CPUtime=3600.09 cores=4,6
/proc/74531/stat : 74531 (uwrmaxsat) R 74528 74531 73607 0 -1 4194304 183778 0 0 0 359658 351 0 0 20 0 1 0 70227743 339640320 82477 18446744073709551615 4198400 6176925 140734983603616 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 10559488 140734983608682 140734983608809 140734983608809 140734983614411 0
/proc/74531/statm: 82920 82477 544 484 0 82331 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 331680 KiB
Current children cumulated memory: 329908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 74531 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.58 s, system=3.51256 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.2
CPU time (s): 3600.09
CPU user time (s): 3596.58
CPU system time (s): 3.51256
CPU usage (%): 99.72
Max. virtual memory (cumulated for all children) (KiB): 523452
Max. memory (cumulated for all children) (KiB): 467764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.58
system time used= 3.51256
maximum resident set size= 521584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183780
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= 38
involuntary context switches= 1988
# summary of solver processes directly reported to runsolver:
# pid: 74531
# total CPU time (s): 3600.09
# total CPU user time (s): 3596.58
# total CPU system time (s): 3.51256
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01759 second user time and 16.2475 second system time
The end
Begin job on nodeC019 at 2025-07-03 14:25:02
IDJOB=4518793
IDBENCH=177075
IDSOLVER=3372
FILE ID=nodeC019/4518793-1751545502
RUNJOBID= nodeC019-1751543957-74340
SLURM_JOB_ID= 9598697
Free space on /tmp= 431636 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518793-1751545502/watcher-4518793-1751545502 -o /tmp/evaluation-result-4518793-1751545502/solver-4518793-1751545502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751543957-74340 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4518793-1751545502.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ddf7cdb8e212e3876ea6adaf4134c19
RANDOM SEED=1204948258
nodeC019 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.669
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.37
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.715
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.37
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 : 3579.495
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.37
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 : 3599.644
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.37
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.677
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.37
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 : 3599.675
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.37
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.329
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.37
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 : 3600.572
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127793960 kB
MemAvailable: 129373704 kB
Buffers: 904 kB
Cached: 2382328 kB
SwapCached: 440 kB
Active: 622256 kB
Inactive: 2236692 kB
Active(anon): 463180 kB
Inactive(anon): 27736 kB
Active(file): 159076 kB
Inactive(file): 2208956 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2652 kB
Writeback: 0 kB
AnonPages: 477252 kB
Mapped: 110592 kB
Shmem: 15192 kB
KReclaimable: 101904 kB
Slab: 190544 kB
SReclaimable: 101904 kB
SUnreclaim: 88640 kB
KernelStack: 4336 kB
PageTables: 3952 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 807504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 399360 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431632 MiB
End job on nodeC019 at 2025-07-03 15:25:13