0.00/0.02 c #vars 1409 #constraints 823 0.584102 1
0.00/0.02 c intsize: 9
0.00/0.09 c 823 constraints
0.00/0.09 c Finish cloning data from SAT to LS
0.00/0.09 c restart_num_ls -100000 0
208.99/209.55 c Use LS-small
208.99/209.55 c restart_num_ls 0 502
208.99/209.55 c LS 90 85
245.12/245.73 c Use LS-small
245.12/245.73 s UNSATISFIABLE
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: 63665 MiB (61316 MiB free)
memory of node 1: 64507 MiB (62602 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546099-1753265079/watcher-4546099-1753265079 -o /tmp/evaluation-result-4546099-1753265079/solver-4546099-1753265079 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753259701-172185 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546099-1753265079.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=174588, runsolver pid=174585
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.16 4.16 4.11 5/265 174589
/proc/meminfo: memFree=126889104/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=94580 memory=22144 CPUtime=0.09 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 3333 0 0 0 8 1 0 0 20 0 1 0 242186786 96849920 5536 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 23645 5536 2528 595 0 8312 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 94580 KiB
Current children cumulated memory: 22144 KiB
[startup+0.205467 s]*
/proc/loadavg: 4.16 4.16 4.11 5/265 174589
/proc/meminfo: memFree=126889104/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=94580 memory=22144 CPUtime=0.19 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 3342 0 0 0 18 1 0 0 20 0 1 0 242186786 96849920 5536 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 23645 5536 2528 595 0 8312 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 94580 KiB
Current children cumulated memory: 22144 KiB
[startup+0.305433 s]*
/proc/loadavg: 4.16 4.16 4.11 5/265 174589
/proc/meminfo: memFree=126889104/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=94580 memory=22144 CPUtime=0.29 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 3342 0 0 0 27 2 0 0 20 0 1 0 242186786 96849920 5536 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 23645 5536 2528 595 0 8312 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 94580 KiB
Current children cumulated memory: 22144 KiB
[startup+0.700195 s]
/proc/loadavg: 4.16 4.16 4.11 5/265 174589
/proc/meminfo: memFree=126889104/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=94580 memory=22144 CPUtime=0.68 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 3342 0 0 0 64 4 0 0 20 0 1 0 242186786 96849920 5536 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 23645 5536 2528 595 0 8312 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 94580 KiB
Current children cumulated memory: 22144 KiB
[startup+1.50018 s]
/proc/loadavg: 4.16 4.16 4.11 5/265 174589
/proc/meminfo: memFree=126889104/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=94580 memory=22144 CPUtime=1.48 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 3342 0 0 0 140 8 0 0 20 0 1 0 242186786 96849920 5536 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 23645 5536 2528 595 0 8312 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 94580 KiB
Current children cumulated memory: 22144 KiB
[startup+3.1053 s]
/proc/loadavg: 4.14 4.16 4.11 5/265 174589
/proc/meminfo: memFree=126889328/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=94580 memory=22144 CPUtime=3.08 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 3342 0 0 0 289 19 0 0 20 0 1 0 242186786 96849920 5536 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 23645 5536 2528 595 0 8312 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 94580 KiB
Current children cumulated memory: 22144 KiB
[startup+6.30019 s]
/proc/loadavg: 4.14 4.16 4.11 5/265 174589
/proc/meminfo: memFree=126889580/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=94580 memory=22144 CPUtime=6.26 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 3342 0 0 0 587 39 0 0 20 0 1 0 242186786 96849920 5536 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 23645 5536 2528 595 0 8312 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 94580 KiB
Current children cumulated memory: 22144 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.15 4.11 5/265 174589
/proc/meminfo: memFree=126885736/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=94580 memory=22144 CPUtime=12.65 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 3342 0 0 0 1182 83 0 0 20 0 1 0 242186786 96849920 5536 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 23645 5536 2528 595 0 8312 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 94580 KiB
Current children cumulated memory: 22144 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.15 4.11 5/265 174589
/proc/meminfo: memFree=126885768/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=94580 memory=22144 CPUtime=25.42 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 3342 0 0 0 2373 169 0 0 20 0 1 0 242186786 96849920 5536 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 23645 5536 2528 595 0 8312 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 94580 KiB
Current children cumulated memory: 22144 KiB
[startup+51.1053 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 174589
/proc/meminfo: memFree=126859020/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=100760 memory=37324 CPUtime=50.96 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 5103 0 0 0 4856 240 0 0 20 0 1 0 242186786 103178240 9331 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 25190 9331 2560 595 0 9857 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 100760 KiB
Current children cumulated memory: 37324 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 4.00 4.06 4/258 174622
/proc/meminfo: memFree=127596308/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=103320 memory=39904 CPUtime=102.03 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 6407 0 0 0 9932 271 0 0 20 0 1 0 242186786 105799680 9976 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 25830 9976 2560 595 0 10497 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 103320 KiB
Current children cumulated memory: 39904 KiB
[startup+162.3 s]
/proc/loadavg: 3.31 3.84 4.00 4/257 174624
/proc/meminfo: memFree=127593604/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=105080 memory=43704 CPUtime=161.89 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 7387 0 0 0 15881 308 0 0 20 0 1 0 242186786 107601920 10926 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 26270 10926 2560 595 0 10937 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 105080 KiB
Current children cumulated memory: 43704 KiB
[startup+222.3 s]
/proc/loadavg: 3.16 3.70 3.94 4/259 174630
/proc/meminfo: memFree=127606876/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=105704 memory=44380 CPUtime=221.77 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 8180 0 0 0 21764 413 0 0 20 0 1 0 242186786 108240896 11095 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 26426 11095 2560 595 0 11093 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 105704 KiB
Current children cumulated memory: 44380 KiB
[startup+245.74 s]
# the end of solver process 174588 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=240.345 s, system=4.81873 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 3.15 3.69 3.93 4/259 174630
/proc/meminfo: memFree=127606876/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=105704 memory=44380 CPUtime=229.85 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 8180 0 0 0 22519 466 0 0 20 0 1 0 242186786 108240896 11095 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 26426 11095 2560 595 0 11093 0
Current children cumulated CPU time: 229.85 s
Current children cumulated vsize: 105704 KiB
Current children cumulated memory: 44380 KiB
[startup+236.8 s]
/proc/loadavg: 3.14 3.68 3.93 4/259 174630
/proc/meminfo: memFree=127607400/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=105724 memory=44408 CPUtime=236.24 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 8304 0 0 0 23147 477 0 0 20 0 1 0 242186786 108261376 11102 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 26431 11102 2560 595 0 11098 0
Current children cumulated CPU time: 236.24 s
Current children cumulated vsize: 105724 KiB
Current children cumulated memory: 44408 KiB
[startup+240 s]*
/proc/loadavg: 3.13 3.67 3.92 4/259 174630
/proc/meminfo: memFree=127607400/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=105724 memory=44408 CPUtime=239.43 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 8304 0 0 0 23465 478 0 0 20 0 1 0 242186786 108261376 11102 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 26431 11102 2560 595 0 11098 0
Current children cumulated CPU time: 239.43 s
Current children cumulated vsize: 105724 KiB
Current children cumulated memory: 44408 KiB
[startup+243.2 s]
/proc/loadavg: 3.12 3.66 3.92 4/259 174632
/proc/meminfo: memFree=127607192/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=105724 memory=44408 CPUtime=242.62 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 8304 0 0 0 23782 480 0 0 20 0 1 0 242186786 108261376 11102 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 26431 11102 2560 595 0 11098 0
Current children cumulated CPU time: 242.62 s
Current children cumulated vsize: 105724 KiB
Current children cumulated memory: 44408 KiB
[startup+244.8 s]
/proc/loadavg: 3.12 3.66 3.92 4/259 174632
/proc/meminfo: memFree=127607504/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=106260 memory=44848 CPUtime=244.22 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 8531 0 0 0 23941 481 0 0 20 0 1 0 242186786 108810240 11212 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 26565 11212 2560 595 0 11232 0
Current children cumulated CPU time: 244.22 s
Current children cumulated vsize: 106260 KiB
Current children cumulated memory: 44848 KiB
[startup+245.2 s]
/proc/loadavg: 3.12 3.66 3.92 4/259 174632
/proc/meminfo: memFree=127606748/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=106260 memory=44848 CPUtime=244.62 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 8531 0 0 0 23981 481 0 0 20 0 1 0 242186786 108810240 11212 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 26565 11212 2560 595 0 11232 0
Current children cumulated CPU time: 244.62 s
Current children cumulated vsize: 106260 KiB
Current children cumulated memory: 44848 KiB
[startup+245.6 s]
/proc/loadavg: 3.12 3.66 3.92 4/259 174632
/proc/meminfo: memFree=127606748/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=106260 memory=44848 CPUtime=245.01 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 8531 0 0 0 24020 481 0 0 20 0 1 0 242186786 108810240 11212 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 26565 11212 2560 595 0 11232 0
Current children cumulated CPU time: 245.01 s
Current children cumulated vsize: 106260 KiB
Current children cumulated memory: 44848 KiB
[startup+245.7 s]
/proc/loadavg: 3.12 3.66 3.92 4/259 174632
/proc/meminfo: memFree=127606748/131249988 swapFree=33010160/33010684
[pid=174588] ppid=174585 vsize=106260 memory=44848 CPUtime=245.12 cores=5,7
/proc/174588/stat : 174588 (SynLSCD) R 174585 174588 172165 0 -1 4194304 8531 0 0 0 24031 481 0 0 20 0 1 0 242186786 108810240 11212 18446744073709551615 94310804344832 94310806779433 140727174209360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94310807260408 94310807293440 94310822154240 140727174216067 140727174216202 140727174216202 140727174221806 0
/proc/174588/statm: 26565 11212 2560 595 0 11232 0
Current children cumulated CPU time: 245.12 s
Current children cumulated vsize: 106260 KiB
Current children cumulated memory: 44848 KiB
Child status: 20
Real time (s): 245.74
CPU time (s): 245.164
CPU user time (s): 240.345
CPU system time (s): 4.81873
CPU usage (%): 99.7659
Max. virtual memory (cumulated for all children) (KiB): 106260
Max. memory (cumulated for all children) (KiB): 44848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 240.345
system time used= 4.81873
maximum resident set size= 45304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8563
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= 144
involuntary context switches= 265
# summary of solver processes directly reported to runsolver:
# pid: 174588
# total CPU time (s): 245.164
# total CPU user time (s): 240.345
# total CPU system time (s): 4.81873
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.427653 second user time and 0.921389 second system time
The end
Begin job on nodeC034 at 2025-07-23 12:04:39
IDJOB=4546099
IDBENCH=180940
IDSOLVER=3421
FILE ID=nodeC034/4546099-1753265079
RUNJOBID= nodeC034-1753259701-172185
SLURM_JOB_ID= 9689189
Free space on /tmp= 433012 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-PoolBallTriangle-07_c24.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546099-1753265079/watcher-4546099-1753265079 -o /tmp/evaluation-result-4546099-1753265079/solver-4546099-1753265079 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753259701-172185 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546099-1753265079.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d0358cfd617a5121014a5f104d62bc1e
RANDOM SEED=34409123
nodeC034 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.758
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.53
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.787
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.53
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 : 3589.825
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.53
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 : 3588.413
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.53
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.760
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.53
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.762
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.53
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 : 3601.537
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.53
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 : 3617.620
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 126892812 kB
MemAvailable: 128690392 kB
Buffers: 2128 kB
Cached: 2534504 kB
SwapCached: 32 kB
Active: 2129652 kB
Inactive: 1413860 kB
Active(anon): 1030996 kB
Inactive(anon): 2152 kB
Active(file): 1098656 kB
Inactive(file): 1411708 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3616 kB
Writeback: 24 kB
AnonPages: 1009904 kB
Mapped: 121152 kB
Shmem: 26264 kB
KReclaimable: 252508 kB
Slab: 351820 kB
SReclaimable: 252508 kB
SUnreclaim: 99312 kB
KernelStack: 4352 kB
PageTables: 5172 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1476260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 716800 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC034 at 2025-07-23 12:08:45