0.00/0.08 c #vars 22684 #constraints 5672 0.250044 1
0.00/0.08 c intsize: 5
0.20/0.22 c 5672 constraints
0.20/0.22 c Finish cloning data from SAT to LS
0.20/0.22 c restart_num_ls -100000 0
25.72/25.89 c Use LS-small
25.72/25.89 restart_num 0 490
25.72/25.89 c LS-restart 90 32
40.99/41.11 c Use LS-small
40.99/41.11 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 (61340 MiB free)
memory of node 1: 64507 MiB (63284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545915-1753263964/watcher-4545915-1753263964 -o /tmp/evaluation-result-4545915-1753263964/solver-4545915-1753263964 -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-4545915-1753263964.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=173307, runsolver pid=173304
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.11 4.11 4.05 5/264 173308
/proc/meminfo: memFree=127592588/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=109344 memory=39052 CPUtime=0.09 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 6433 0 0 0 8 1 0 0 20 0 1 0 242075253 111968256 9763 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 27336 9763 2336 595 0 12003 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109344 KiB
Current children cumulated memory: 39052 KiB
[startup+0.205438 s]*
/proc/loadavg: 4.11 4.11 4.05 5/264 173308
/proc/meminfo: memFree=127572932/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=130380 memory=56888 CPUtime=0.2 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 11182 0 0 0 18 2 0 0 20 0 1 0 242075253 133509120 14222 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 32595 14222 2496 595 0 17262 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 130380 KiB
Current children cumulated memory: 56888 KiB
[startup+0.305357 s]*
/proc/loadavg: 4.11 4.11 4.05 5/264 173308
/proc/meminfo: memFree=127564868/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=136140 memory=64312 CPUtime=0.29 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 13028 0 0 0 26 3 0 0 20 0 1 0 242075253 139407360 16078 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 34035 16078 2496 595 0 18702 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 136140 KiB
Current children cumulated memory: 64312 KiB
[startup+0.700139 s]
/proc/loadavg: 4.11 4.11 4.05 5/264 173308
/proc/meminfo: memFree=127564868/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=136140 memory=64312 CPUtime=0.68 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 13028 0 0 0 57 11 0 0 20 0 1 0 242075253 139407360 16078 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 34035 16078 2496 595 0 18702 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 136140 KiB
Current children cumulated memory: 64312 KiB
[startup+1.50012 s]
/proc/loadavg: 4.11 4.11 4.05 5/264 173308
/proc/meminfo: memFree=127564868/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=136140 memory=64312 CPUtime=1.47 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 13028 0 0 0 120 27 0 0 20 0 1 0 242075253 139407360 16078 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 34035 16078 2496 595 0 18702 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 136140 KiB
Current children cumulated memory: 64312 KiB
[startup+3.10512 s]
/proc/loadavg: 4.10 4.11 4.05 5/264 173308
/proc/meminfo: memFree=127565040/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=136140 memory=64312 CPUtime=3.08 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 13028 0 0 0 257 51 0 0 20 0 1 0 242075253 139407360 16078 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 34035 16078 2496 595 0 18702 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 136140 KiB
Current children cumulated memory: 64312 KiB
[startup+6.30011 s]
/proc/loadavg: 4.10 4.11 4.05 5/265 173310
/proc/meminfo: memFree=127564932/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=136140 memory=64312 CPUtime=6.27 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 13028 0 0 0 540 87 0 0 20 0 1 0 242075253 139407360 16078 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 34035 16078 2496 595 0 18702 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 136140 KiB
Current children cumulated memory: 64312 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.05 5/265 173310
/proc/meminfo: memFree=127565384/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=142384 memory=72676 CPUtime=12.66 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 14574 0 0 0 1138 128 0 0 20 0 1 0 242075253 145801216 18169 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 35596 18169 2528 595 0 20263 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 142384 KiB
Current children cumulated memory: 72676 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.06 5/265 173310
/proc/meminfo: memFree=127549272/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=152328 memory=82532 CPUtime=25.42 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 17057 0 0 0 2414 128 0 0 20 0 1 0 242075253 155983872 20633 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 38082 20633 2528 595 0 22749 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 152328 KiB
Current children cumulated memory: 82532 KiB
[startup+41.1273 s]
# the end of solver process 173307 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=38.3838 s, system=2.64353 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.15 4.12 4.06 5/265 173310
/proc/meminfo: memFree=127549272/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=153096 memory=83300 CPUtime=25.52 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 17256 0 0 0 2424 128 0 0 20 0 1 0 242075253 156770304 20825 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 38274 20825 2528 595 0 22941 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 153096 KiB
Current children cumulated memory: 83300 KiB
[startup+32.0001 s]*
/proc/loadavg: 4.13 4.11 4.06 5/265 173310
/proc/meminfo: memFree=127549272/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=153096 memory=83300 CPUtime=31.92 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 17256 0 0 0 2970 222 0 0 20 0 1 0 242075253 156770304 20825 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 38274 20825 2528 595 0 22941 0
Current children cumulated CPU time: 31.92 s
Current children cumulated vsize: 153096 KiB
Current children cumulated memory: 83300 KiB
[startup+35.2001 s]
/proc/loadavg: 4.13 4.11 4.06 5/265 173310
/proc/meminfo: memFree=127549272/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=153096 memory=83300 CPUtime=35.1 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 17256 0 0 0 3265 245 0 0 20 0 1 0 242075253 156770304 20825 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 38274 20825 2528 595 0 22941 0
Current children cumulated CPU time: 35.1 s
Current children cumulated vsize: 153096 KiB
Current children cumulated memory: 83300 KiB
[startup+38.4001 s]
/proc/loadavg: 4.12 4.11 4.06 5/265 173310
/proc/meminfo: memFree=127549272/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=153096 memory=83300 CPUtime=38.29 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 17256 0 0 0 3566 263 0 0 20 0 1 0 242075253 156770304 20825 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 38274 20825 2528 595 0 22941 0
Current children cumulated CPU time: 38.29 s
Current children cumulated vsize: 153096 KiB
Current children cumulated memory: 83300 KiB
[startup+40.0001 s]*
/proc/loadavg: 4.12 4.11 4.06 5/265 173310
/proc/meminfo: memFree=127549272/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=153096 memory=83300 CPUtime=39.9 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 17256 0 0 0 3727 263 0 0 20 0 1 0 242075253 156770304 20825 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 38274 20825 2528 595 0 22941 0
Current children cumulated CPU time: 39.9 s
Current children cumulated vsize: 153096 KiB
Current children cumulated memory: 83300 KiB
[startup+40.8002 s]
/proc/loadavg: 4.12 4.11 4.06 5/265 173310
/proc/meminfo: memFree=127549272/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=153920 memory=84196 CPUtime=40.69 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 17462 0 0 0 3806 263 0 0 20 0 1 0 242075253 157614080 21049 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 38480 21049 2528 595 0 23147 0
Current children cumulated CPU time: 40.69 s
Current children cumulated vsize: 153920 KiB
Current children cumulated memory: 84196 KiB
[startup+41.0001 s]*
/proc/loadavg: 4.12 4.11 4.06 5/265 173310
/proc/meminfo: memFree=127549272/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=153920 memory=84196 CPUtime=40.89 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 17462 0 0 0 3826 263 0 0 20 0 1 0 242075253 157614080 21049 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 38480 21049 2528 595 0 23147 0
Current children cumulated CPU time: 40.89 s
Current children cumulated vsize: 153920 KiB
Current children cumulated memory: 84196 KiB
[startup+41.1052 s]
/proc/loadavg: 4.12 4.11 4.06 5/265 173310
/proc/meminfo: memFree=127549272/131249988 swapFree=33010160/33010684
[pid=173307] ppid=173304 vsize=153920 memory=84196 CPUtime=40.99 cores=5,7
/proc/173307/stat : 173307 (SynLSCD) R 173304 173307 172165 0 -1 4194304 17462 0 0 0 3836 263 0 0 20 0 1 0 242075253 157614080 21049 18446744073709551615 94857901432832 94857903867433 140726091245104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94857904348408 94857904381440 94857910226944 140726091254147 140726091254282 140726091254282 140726091259886 0
/proc/173307/statm: 38480 21049 2528 595 0 23147 0
Current children cumulated CPU time: 40.99 s
Current children cumulated vsize: 153920 KiB
Current children cumulated memory: 84196 KiB
Child status: 20
Real time (s): 41.1273
CPU time (s): 41.0274
CPU user time (s): 38.3838
CPU system time (s): 2.64353
CPU usage (%): 99.7569
Max. virtual memory (cumulated for all children) (KiB): 153920
Max. memory (cumulated for all children) (KiB): 84196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.3838
system time used= 2.64353
maximum resident set size= 84580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17494
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= 135
involuntary context switches= 51
# summary of solver processes directly reported to runsolver:
# pid: 173307
# total CPU time (s): 41.0274
# total CPU user time (s): 38.3838
# total CPU system time (s): 2.64353
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.098824 second user time and 0.177342 second system time
The end
Begin job on nodeC034 at 2025-07-23 11:46:04
IDJOB=4545915
IDBENCH=165259
IDSOLVER=3421
FILE ID=nodeC034/4545915-1753263964
RUNJOBID= nodeC034-1753259701-172185
SLURM_JOB_ID= 9689189
Free space on /tmp= 433028 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-2.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-4545915-1753263964/watcher-4545915-1753263964 -o /tmp/evaluation-result-4545915-1753263964/solver-4545915-1753263964 -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-4545915-1753263964.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8532f997584288657d51f2d7727e9fb5
RANDOM SEED=1238849199
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.760
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.757
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 : 3598.634
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 : 3600.091
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.753
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 : 3597.605
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.479
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 : 3599.732
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: 127616512 kB
MemAvailable: 129394612 kB
Buffers: 2128 kB
Cached: 2515112 kB
SwapCached: 32 kB
Active: 1417456 kB
Inactive: 1394472 kB
Active(anon): 318800 kB
Inactive(anon): 2152 kB
Active(file): 1098656 kB
Inactive(file): 1392320 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 4084 kB
Writeback: 0 kB
AnonPages: 297764 kB
Mapped: 120444 kB
Shmem: 26264 kB
KReclaimable: 252328 kB
Slab: 351728 kB
SReclaimable: 252328 kB
SUnreclaim: 99400 kB
KernelStack: 4288 kB
PageTables: 3804 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 678892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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= 433024 MiB
End job on nodeC034 at 2025-07-23 11:46:45