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 (63072 MiB free)
memory of node 1: 64465 MiB (63659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523439-1751597903/watcher-4523439-1751597903 -o /tmp/evaluation-result-4523439-1751597903/solver-4523439-1751597903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751597903-85300 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4523439-1751597903.opb -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=85353, runsolver pid=85345
[startup+0.100098 s]*
/proc/loadavg: 1.55 2.07 3.26 5/251 85358
/proc/meminfo: memFree=129761512/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=6824 memory=5760 CPUtime=0.1 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1086 0 0 0 10 0 0 0 20 0 1 0 75469448 6987776 1440 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1706 1440 448 484 0 1117 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 6824 KiB
Current children cumulated memory: 5760 KiB
[startup+0.213799 s]*
/proc/loadavg: 1.55 2.07 3.26 6/251 85358
/proc/meminfo: memFree=129754960/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=10060 memory=8960 CPUtime=0.21 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1880 0 0 0 21 0 0 0 20 0 1 0 75469448 10301440 2240 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 2515 2240 448 484 0 1926 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10060 KiB
Current children cumulated memory: 8960 KiB
[startup+0.312995 s]*
/proc/loadavg: 1.55 2.07 3.26 5/251 85358
/proc/meminfo: memFree=129738328/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=12888 memory=11648 CPUtime=0.32 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 2574 0 0 0 31 1 0 0 20 0 1 0 75469448 13197312 2912 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 3222 2912 448 484 0 2633 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 12888 KiB
Current children cumulated memory: 11648 KiB
[startup+0.70028 s]
/proc/loadavg: 1.55 2.07 3.26 5/251 85358
/proc/meminfo: memFree=129740104/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=28020 memory=26496 CPUtime=0.69 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 6283 0 0 0 67 2 0 0 20 0 1 0 75469448 28692480 6624 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 7005 6624 448 484 0 6416 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28020 KiB
Current children cumulated memory: 26496 KiB
[startup+1.50034 s]
/proc/loadavg: 1.55 2.07 3.26 5/251 85358
/proc/meminfo: memFree=129659968/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=71628 memory=65024 CPUtime=1.49 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 15881 0 0 0 144 5 0 0 20 0 1 0 75469448 73347072 16256 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 17907 16256 480 484 0 17318 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 71628 KiB
Current children cumulated memory: 65024 KiB
[startup+3.11315 s]
/proc/loadavg: 1.74 2.10 3.27 5/251 85358
/proc/meminfo: memFree=129098916/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=261300 memory=229900 CPUtime=3.09 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 38737 0 0 0 298 11 0 0 20 0 1 0 75469448 267571200 57475 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 65325 57475 480 484 0 64736 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 261300 KiB
Current children cumulated memory: 229900 KiB
[startup+6.30031 s]
/proc/loadavg: 1.74 2.10 3.27 5/251 85358
/proc/meminfo: memFree=127977108/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=576724 memory=531976 CPUtime=6.27 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 58493 0 0 0 606 21 0 0 20 0 1 0 75469448 590565376 132994 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 144181 132994 480 484 0 143592 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 576724 KiB
Current children cumulated memory: 531976 KiB
[startup+12.7003 s]
/proc/loadavg: 2.09 2.16 3.28 5/251 85358
/proc/meminfo: memFree=126333692/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=1129444 memory=996028 CPUtime=12.65 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 90054 0 0 0 1228 37 0 0 20 0 1 0 75469448 1156550656 249007 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 282361 249007 480 484 0 281772 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1129444 KiB
Current children cumulated memory: 996028 KiB
[startup+25.5003 s]
/proc/loadavg: 2.47 2.24 3.29 5/251 85358
/proc/meminfo: memFree=115932816/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=4657404 memory=4256444 CPUtime=25.42 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 508198 0 0 0 2382 160 0 0 20 0 1 0 75469448 4769181696 1064111 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1164351 1064111 480 484 0 1163762 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4657404 KiB
Current children cumulated memory: 4256444 KiB
[startup+51.1133 s]
/proc/loadavg: 2.99 2.38 3.31 5/251 85358
/proc/meminfo: memFree=115900004/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=4773804 memory=4365900 CPUtime=50.94 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 529124 0 0 0 4928 166 0 0 20 0 1 0 75469448 4888375296 1091475 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1193451 1091475 512 484 0 1192862 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 4773804 KiB
Current children cumulated memory: 4365900 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.67 3.36 5/251 85361
/proc/meminfo: memFree=115003380/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=5412036 memory=5001668 CPUtime=101.98 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 544244 0 0 0 9940 258 0 0 20 0 1 0 75469448 5541924864 1250417 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1353009 1250417 544 484 0 1352420 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 5412036 KiB
Current children cumulated memory: 5001668 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.96 3.41 5/251 85374
/proc/meminfo: memFree=114297856/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=5477872 memory=4959176 CPUtime=161.8 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 565468 0 0 0 15794 386 0 0 20 0 1 0 75469448 5609340928 1239794 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1369468 1239794 544 484 0 1368879 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 5477872 KiB
Current children cumulated memory: 4959176 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.17 3.46 5/251 85376
/proc/meminfo: memFree=115025432/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=5422052 memory=4835316 CPUtime=221.61 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 580368 0 0 0 21714 447 0 0 20 0 1 0 75469448 5552181248 1208829 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1355513 1208829 544 484 0 1354924 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 5422052 KiB
Current children cumulated memory: 4835316 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.35 3.51 5/251 85378
/proc/meminfo: memFree=113436612/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=6202628 memory=5598068 CPUtime=281.43 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 587860 0 0 0 27657 486 0 0 20 0 1 0 75469448 6351491072 1399517 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1550657 1399517 544 484 0 1550068 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 6202628 KiB
Current children cumulated memory: 5598068 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.49 3.55 5/250 85380
/proc/meminfo: memFree=113410232/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=6202732 memory=5543924 CPUtime=341.26 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 601390 0 0 0 33516 610 0 0 20 0 1 0 75469448 6351597568 1385981 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1550683 1385981 544 484 0 1550094 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 6202732 KiB
Current children cumulated memory: 5543924 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.60 3.58 5/250 85384
/proc/meminfo: memFree=112810904/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=6787080 memory=6206228 CPUtime=401.07 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 644833 0 0 0 39425 682 0 0 20 0 1 0 75469448 6949969920 1551557 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1696770 1551557 544 484 0 1696181 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 6787080 KiB
Current children cumulated memory: 6206228 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.70 3.62 5/249 85386
/proc/meminfo: memFree=113202976/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=6366236 memory=5791648 CPUtime=460.88 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 649345 0 0 0 45404 684 0 0 20 0 1 0 75469448 6519025664 1447912 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1591559 1447912 544 484 0 1590970 0
################
# More data... #
################
/proc/85353/statm: 1796046 1666448 544 484 0 1795457 0
Current children cumulated CPU time: 2853.71 s
Current children cumulated vsize: 7184184 KiB
Current children cumulated memory: 6665792 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.27 4.22 5/249 85499
/proc/meminfo: memFree=106895300/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=7184184 memory=6665792 CPUtime=2913.53 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1077306 0 0 0 289277 2076 0 0 20 0 1 0 75469448 7356604416 1666448 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1796046 1666448 544 484 0 1795457 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 7184184 KiB
Current children cumulated memory: 6665792 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.23 4.21 5/250 85506
/proc/meminfo: memFree=105957796/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=7184184 memory=6665792 CPUtime=2973.35 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1079007 0 0 0 295259 2076 0 0 20 0 1 0 75469448 7356604416 1666448 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1796046 1666448 544 484 0 1795457 0
Current children cumulated CPU time: 2973.35 s
Current children cumulated vsize: 7184184 KiB
Current children cumulated memory: 6665792 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.22 4.20 5/250 85508
/proc/meminfo: memFree=105964684/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=7184184 memory=6665792 CPUtime=3033.17 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1080671 0 0 0 301241 2076 0 0 20 0 1 0 75469448 7356604416 1666448 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1796046 1666448 544 484 0 1795457 0
Current children cumulated CPU time: 3033.17 s
Current children cumulated vsize: 7184184 KiB
Current children cumulated memory: 6665792 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.22 4.20 5/250 85510
/proc/meminfo: memFree=105755840/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=7184184 memory=6665792 CPUtime=3092.99 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1082451 0 0 0 307223 2076 0 0 20 0 1 0 75469448 7356604416 1666448 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1796046 1666448 544 484 0 1795457 0
Current children cumulated CPU time: 3092.99 s
Current children cumulated vsize: 7184184 KiB
Current children cumulated memory: 6665792 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.21 4.19 5/250 85512
/proc/meminfo: memFree=105719268/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=7184184 memory=6665792 CPUtime=3152.81 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1084152 0 0 0 313205 2076 0 0 20 0 1 0 75469448 7356604416 1666448 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1796046 1666448 544 484 0 1795457 0
Current children cumulated CPU time: 3152.81 s
Current children cumulated vsize: 7184184 KiB
Current children cumulated memory: 6665792 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.20 4.19 5/250 85514
/proc/meminfo: memFree=105710572/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=7184184 memory=6665792 CPUtime=3212.63 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1085817 0 0 0 319187 2076 0 0 20 0 1 0 75469448 7356604416 1666448 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1796046 1666448 544 484 0 1795457 0
Current children cumulated CPU time: 3212.63 s
Current children cumulated vsize: 7184184 KiB
Current children cumulated memory: 6665792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/249 85516
/proc/meminfo: memFree=105521176/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=7195268 memory=6677004 CPUtime=3272.46 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1089271 0 0 0 325154 2092 0 0 20 0 1 0 75469448 7367954432 1669251 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1798817 1669251 544 484 0 1798228 0
Current children cumulated CPU time: 3272.46 s
Current children cumulated vsize: 7195268 KiB
Current children cumulated memory: 6677004 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/249 85518
/proc/meminfo: memFree=105346772/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=7596056 memory=6885596 CPUtime=3332.28 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1129316 0 0 0 331073 2155 0 0 20 0 1 0 75469448 7778361344 1721399 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 1899014 1721399 544 484 0 1898425 0
Current children cumulated CPU time: 3332.28 s
Current children cumulated vsize: 7596056 KiB
Current children cumulated memory: 6885596 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/250 85523
/proc/meminfo: memFree=103698256/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=8924448 memory=8267924 CPUtime=3392.1 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1428604 0 0 0 336990 2220 0 0 20 0 1 0 75469448 9138634752 2066981 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 2231112 2066981 544 484 0 2230523 0
Current children cumulated CPU time: 3392.1 s
Current children cumulated vsize: 8924448 KiB
Current children cumulated memory: 8267924 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/250 85525
/proc/meminfo: memFree=103890528/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=8924448 memory=8268820 CPUtime=3451.92 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1430643 0 0 0 342971 2221 0 0 20 0 1 0 75469448 9138634752 2067205 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 2231112 2067205 544 484 0 2230523 0
Current children cumulated CPU time: 3451.92 s
Current children cumulated vsize: 8924448 KiB
Current children cumulated memory: 8268820 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/250 85527
/proc/meminfo: memFree=103891512/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=8924448 memory=8268948 CPUtime=3511.74 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1432683 0 0 0 348953 2221 0 0 20 0 1 0 75469448 9138634752 2067237 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 2231112 2067237 544 484 0 2230523 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 8924448 KiB
Current children cumulated memory: 8268948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/250 85533
/proc/meminfo: memFree=103851464/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=8924448 memory=8269996 CPUtime=3571.58 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1435027 0 0 0 354936 2222 0 0 20 0 1 0 75469448 9138634752 2067499 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 2231112 2067499 544 484 0 2230523 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 8924448 KiB
Current children cumulated memory: 8269996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.13 4.13 4.16 5/250 85534
/proc/meminfo: memFree=106015204/131382120 swapFree=33010160/33010684
[pid=85353] ppid=85345 vsize=8659760 memory=7985352 CPUtime=3600.09 cores=1,3
/proc/85353/stat : 85353 (uwrmaxsat) R 85345 85353 85288 0 -1 4194304 1438294 0 0 0 357766 2243 0 0 20 0 1 0 75469448 8867594240 1996338 18446744073709551615 4198400 6176925 140735095156096 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 14606336 140735095163242 140735095163369 140735095163369 140735095168971 0
/proc/85353/statm: 2164940 1996338 544 484 0 2164351 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 8659760 KiB
Current children cumulated memory: 7985352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.07 s]
# the end of solver process 85353 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3577.67 s, system=22.6051 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611 s]*
/proc/loadavg: 4.13 4.13 4.16 4/246 85542
/proc/meminfo: memFree=114776044/131382120 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 3611.07
CPU time (s): 3600.27
CPU user time (s): 3577.67
CPU system time (s): 22.6051
CPU usage (%): 99.7009
Max. virtual memory (cumulated for all children) (KiB): 9734372
Max. memory (cumulated for all children) (KiB): 8952476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.67
system time used= 22.6051
maximum resident set size= 9081196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1438296
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= 34
involuntary context switches= 3339
# summary of solver processes directly reported to runsolver:
# pid: 85353
# total CPU time (s): 3600.27
# total CPU user time (s): 3577.67
# total CPU system time (s): 22.6051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9336 second user time and 34.9788 second system time
The end
Begin job on nodeC008 at 2025-07-04 04:58:23
IDJOB=4523439
IDBENCH=180361
IDSOLVER=3372
FILE ID=nodeC008/4523439-1751597903
RUNJOBID= nodeC008-1751597903-85300
SLURM_JOB_ID= 9598868
Free space on /tmp= 432804 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523439-1751597903/watcher-4523439-1751597903 -o /tmp/evaluation-result-4523439-1751597903/solver-4523439-1751597903 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751597903-85300 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4523439-1751597903.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f69e8990d47aa59ed46eeada43b05a2f
RANDOM SEED=484987572
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.303
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 : 1197.208
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.210
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.367
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 : 1197.203
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 : 1197.335
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.493
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 : 1197.552
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: 129762368 kB
MemAvailable: 129886488 kB
Buffers: 2128 kB
Cached: 918468 kB
SwapCached: 16 kB
Active: 592268 kB
Inactive: 399632 kB
Active(anon): 52824 kB
Inactive(anon): 36400 kB
Active(file): 539444 kB
Inactive(file): 363232 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19224 kB
Writeback: 8 kB
AnonPages: 74472 kB
Mapped: 103644 kB
Shmem: 17920 kB
KReclaimable: 122140 kB
Slab: 207320 kB
SReclaimable: 122140 kB
SUnreclaim: 85180 kB
KernelStack: 3840 kB
PageTables: 2772 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 332300 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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= 432796 MiB
End job on nodeC008 at 2025-07-04 05:58:35