0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00 c Setting memory limit to 31000MB.
0.00/0.00 c Parsing PB file...
6.77/6.89 c Converting 89598 PB-constraints to clauses...
269.14/269.97 c Out of memery in converting constraints: std::bad_alloc
269.14/269.97 s UNKNOWN
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: 63794 MiB (62281 MiB free)
memory of node 1: 64507 MiB (62801 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545130-1753233692/watcher-4545130-1753233692 -o /tmp/evaluation-result-4545130-1753233692/solver-4545130-1753233692 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753224833-151858 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4545130-1753233692.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=153375, runsolver pid=153372
[startup+0.100083 s]*
/proc/loadavg: 4.15 4.18 4.18 5/249 153376
/proc/meminfo: memFree=128077140/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=8436 memory=6848 CPUtime=0.1 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 1424 0 0 0 10 0 0 0 20 0 1 0 239048642 8638464 1712 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 2109 1712 448 484 0 1520 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 8436 KiB
Current children cumulated memory: 6848 KiB
[startup+0.212961 s]*
/proc/loadavg: 4.15 4.18 4.18 5/249 153376
/proc/meminfo: memFree=128073360/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=13716 memory=11328 CPUtime=0.21 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 2552 0 0 0 20 1 0 0 20 0 1 0 239048642 14045184 2832 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 3429 2832 448 484 0 2840 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13716 KiB
Current children cumulated memory: 11328 KiB
[startup+0.312831 s]*
/proc/loadavg: 4.15 4.18 4.18 5/249 153376
/proc/meminfo: memFree=128069328/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=18240 memory=15296 CPUtime=0.31 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 3543 0 0 0 30 1 0 0 20 0 1 0 239048642 18677760 3824 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 4560 3824 448 484 0 3971 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18240 KiB
Current children cumulated memory: 15296 KiB
[startup+0.700333 s]
/proc/loadavg: 4.15 4.18 4.18 5/249 153376
/proc/meminfo: memFree=128061296/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=39656 memory=33748 CPUtime=0.68 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 8255 0 0 0 66 2 0 0 20 0 1 0 239048642 40607744 8437 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 9914 8437 448 484 0 9325 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39656 KiB
Current children cumulated memory: 33748 KiB
[startup+1.50032 s]
/proc/loadavg: 4.15 4.18 4.18 5/249 153376
/proc/meminfo: memFree=128029292/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=98636 memory=84784 CPUtime=1.49 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 21197 0 0 0 144 5 0 0 20 0 1 0 239048642 101003264 21196 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 24659 21196 448 484 0 24070 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 98636 KiB
Current children cumulated memory: 84784 KiB
[startup+3.11244 s]
/proc/loadavg: 4.14 4.17 4.18 5/249 153376
/proc/meminfo: memFree=127860460/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=260580 memory=225384 CPUtime=3.09 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 56205 0 0 0 299 10 0 0 20 0 1 0 239048642 266833920 56346 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 65145 56346 448 484 0 64556 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 260580 KiB
Current children cumulated memory: 225384 KiB
[startup+6.30031 s]
/proc/loadavg: 4.14 4.17 4.18 5/249 153376
/proc/meminfo: memFree=127586552/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=601284 memory=520436 CPUtime=6.27 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 129219 0 0 0 604 23 0 0 20 0 1 0 239048642 615714816 130109 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 150321 130109 448 484 0 149732 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 601284 KiB
Current children cumulated memory: 520436 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.17 4.18 5/249 153376
/proc/meminfo: memFree=127147920/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=1008900 memory=908296 CPUtime=12.65 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 181414 0 0 0 1229 36 0 0 20 0 1 0 239048642 1033113600 227074 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 252225 227074 448 484 0 251636 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1008900 KiB
Current children cumulated memory: 908296 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.16 4.18 5/249 153376
/proc/meminfo: memFree=126353744/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=1835440 memory=1659388 CPUtime=25.42 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 243458 0 0 0 2477 65 0 0 20 0 1 0 239048642 1879490560 414847 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 458860 414847 448 484 0 458271 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1835440 KiB
Current children cumulated memory: 1659388 KiB
[startup+51.1127 s]
/proc/loadavg: 4.13 4.16 4.18 5/250 153377
/proc/meminfo: memFree=125295852/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=3179228 memory=2851160 CPUtime=50.96 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 346428 0 0 0 4987 109 0 0 20 0 1 0 239048642 3255529472 712790 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 794807 712790 448 484 0 794218 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3179228 KiB
Current children cumulated memory: 2851160 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.18 5/251 153382
/proc/meminfo: memFree=123359932/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=4986304 memory=4767124 CPUtime=102 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 495611 0 0 0 10015 185 0 0 20 0 1 0 239048642 5105975296 1191781 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 1246576 1191781 448 484 0 1245987 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 4986304 KiB
Current children cumulated memory: 4767124 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/252 153385
/proc/meminfo: memFree=122091872/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=6402076 memory=6036768 CPUtime=161.84 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 645304 0 0 0 15949 235 0 0 20 0 1 0 239048642 6555725824 1509192 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 1600519 1509192 448 484 0 1599930 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 6402076 KiB
Current children cumulated memory: 6036768 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.13 4.17 5/252 153388
/proc/meminfo: memFree=119992716/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=9304416 memory=8104184 CPUtime=221.67 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 729467 0 0 0 21847 320 0 0 20 0 1 0 239048642 9527721984 2026046 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 2326104 2026046 448 484 0 2325515 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 9304416 KiB
Current children cumulated memory: 8104184 KiB
[startup+270.134 s]
# the end of solver process 153375 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=265.537 s, system=3.83885 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.06 4.13 4.16 5/252 153388
/proc/meminfo: memFree=119870476/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=9360396 memory=8221692 CPUtime=229.75 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 743898 0 0 0 22651 324 0 0 20 0 1 0 239048642 9585045504 2055423 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 2340099 2055423 448 484 0 2339510 0
Current children cumulated CPU time: 229.75 s
Current children cumulated vsize: 9360396 KiB
Current children cumulated memory: 8221692 KiB
[startup+256 s]*
/proc/loadavg: 4.12 4.13 4.17 5/252 153390
/proc/meminfo: memFree=119262736/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=9666176 memory=8853264 CPUtime=255.28 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 821482 0 0 0 25179 349 0 0 20 0 1 0 239048642 9898164224 2213316 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 2416544 2213316 448 484 0 2415955 0
Current children cumulated CPU time: 255.28 s
Current children cumulated vsize: 9666176 KiB
Current children cumulated memory: 8853264 KiB
[startup+262.4 s]
/proc/loadavg: 4.10 4.13 4.16 5/252 153390
/proc/meminfo: memFree=118984496/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=9806860 memory=9137472 CPUtime=261.65 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 856115 0 0 0 25807 358 0 0 20 0 1 0 239048642 10042224640 2284368 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 2451715 2284368 448 484 0 2451126 0
Current children cumulated CPU time: 261.65 s
Current children cumulated vsize: 9806860 KiB
Current children cumulated memory: 9137472 KiB
[startup+265.6 s]
/proc/loadavg: 4.10 4.13 4.16 5/252 153390
/proc/meminfo: memFree=118850352/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=9874708 memory=9275416 CPUtime=264.84 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 873496 0 0 0 26121 363 0 0 20 0 1 0 239048642 10111700992 2318854 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 2468677 2318854 448 484 0 2468088 0
Current children cumulated CPU time: 264.84 s
Current children cumulated vsize: 9874708 KiB
Current children cumulated memory: 9275416 KiB
[startup+267.2 s]
/proc/loadavg: 4.09 4.13 4.16 5/252 153390
/proc/meminfo: memFree=118764976/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=9908116 memory=9343596 CPUtime=266.44 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 881974 0 0 0 26278 366 0 0 20 0 1 0 239048642 10145910784 2335899 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 2477029 2335899 448 484 0 2476440 0
Current children cumulated CPU time: 266.44 s
Current children cumulated vsize: 9908116 KiB
Current children cumulated memory: 9343596 KiB
[startup+268.8 s]
/proc/loadavg: 4.09 4.13 4.16 5/252 153390
/proc/meminfo: memFree=118740784/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=9927864 memory=9387896 CPUtime=268.04 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 887055 0 0 0 26436 368 0 0 20 0 1 0 239048642 10166132736 2346974 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 2481966 2346974 448 484 0 2481377 0
Current children cumulated CPU time: 268.04 s
Current children cumulated vsize: 9927864 KiB
Current children cumulated memory: 9387896 KiB
[startup+269.6 s]
/proc/loadavg: 4.09 4.13 4.16 5/252 153390
/proc/meminfo: memFree=118732592/131382120 swapFree=33010416/33010684
[pid=153375] ppid=153372 vsize=9927864 memory=9387896 CPUtime=268.84 cores=1,3
/proc/153375/stat : 153375 (uwrmaxsat) R 153372 153375 151846 0 -1 4194304 887056 0 0 0 26516 368 0 0 20 0 1 0 239048642 10166132736 2346974 18446744073709551615 4198400 6176925 140729316748480 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 13557760 140729316755816 140729316755943 140729316755943 140729316761547 0
/proc/153375/statm: 2481966 2346974 448 484 0 2481377 0
Current children cumulated CPU time: 268.84 s
Current children cumulated vsize: 9927864 KiB
Current children cumulated memory: 9387896 KiB
[startup+270 s]*
/proc/loadavg: 4.09 4.13 4.16 5/252 153390
/proc/meminfo: memFree=119103384/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+270.113 s]
/proc/loadavg: 4.09 4.13 4.16 5/252 153390
/proc/meminfo: memFree=119103384/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 270.134
CPU time (s): 269.376
CPU user time (s): 265.537
CPU system time (s): 3.83885
CPU usage (%): 99.7195
Max. virtual memory (cumulated for all children) (KiB): 9927864
Max. memory (cumulated for all children) (KiB): 9387896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.537
system time used= 3.83885
maximum resident set size= 9387896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 887060
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= 2
involuntary context switches= 370
# summary of solver processes directly reported to runsolver:
# pid: 153375
# total CPU time (s): 269.376
# total CPU user time (s): 265.537
# total CPU system time (s): 3.83885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3607 second user time and 2.61266 second system time
The end
Begin job on nodeC006 at 2025-07-23 03:21:33
IDJOB=4545130
IDBENCH=180714
IDSOLVER=3372
FILE ID=nodeC006/4545130-1753233692
RUNJOBID= nodeC006-1753224833-151858
SLURM_JOB_ID= 9687836
Free space on /tmp= 432728 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-AverageAvoiding-mini-40_c24.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545130-1753233692/watcher-4545130-1753233692 -o /tmp/evaluation-result-4545130-1753233692/solver-4545130-1753233692 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753224833-151858 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4545130-1753233692.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e60f0e926bcd6b192a3b449cde285525
RANDOM SEED=334824886
nodeC006 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 : 3660.305
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.32
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 : 1596.708
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.32
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.391
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.32
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.142
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.32
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.309
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.32
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 : 3663.376
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.32
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 : 3700.000
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.32
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.070
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128084952 kB
MemAvailable: 128838808 kB
Buffers: 2128 kB
Cached: 1431096 kB
SwapCached: 12 kB
Active: 2044368 kB
Inactive: 453552 kB
Active(anon): 1080044 kB
Inactive(anon): 10792 kB
Active(file): 964324 kB
Inactive(file): 442760 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30656 kB
Writeback: 0 kB
AnonPages: 1057212 kB
Mapped: 115124 kB
Shmem: 26140 kB
KReclaimable: 372412 kB
Slab: 466212 kB
SReclaimable: 372412 kB
SUnreclaim: 93800 kB
KernelStack: 4032 kB
PageTables: 5092 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1409324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 937984 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432728 MiB
End job on nodeC006 at 2025-07-23 03:26:03