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 (61919 MiB free)
memory of node 1: 64507 MiB (63884 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491662-1751133660/watcher-4491662-1751133660 -o /tmp/evaluation-result-4491662-1751133660/solver-4491662-1751133660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751133631-11526 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1054116676 --ls=0 --inp-dombreaklim=0 HOME/instance-4491662-1751133660.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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=11774, runsolver pid=11771
[startup+0.100068 s]*
/proc/loadavg: 1.66 0.47 0.22 5/264 11775
/proc/meminfo: memFree=128748496/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=108276 memory=85128 CPUtime=0.09 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 11542 0 0 0 7 2 0 0 20 0 1 0 29046376 110874624 21282 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 27069 21282 1024 1200 0 25549 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 108276 KiB
Current children cumulated memory: 85128 KiB
[startup+0.205786 s]*
/proc/loadavg: 1.66 0.47 0.22 5/264 11775
/proc/meminfo: memFree=128712648/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=132272 memory=111508 CPUtime=0.19 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 17040 0 0 0 16 3 0 0 20 0 1 0 29046376 135446528 27877 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 33068 27877 1024 1200 0 31548 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 132272 KiB
Current children cumulated memory: 111508 KiB
[startup+0.305765 s]*
/proc/loadavg: 1.66 0.47 0.22 5/264 11775
/proc/meminfo: memFree=128619268/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=162092 memory=136428 CPUtime=0.29 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 21994 0 0 0 25 4 0 0 20 0 1 0 29046376 165982208 34107 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 40523 34107 1024 1200 0 39003 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 162092 KiB
Current children cumulated memory: 136428 KiB
[startup+0.700214 s]
/proc/loadavg: 1.66 0.47 0.22 5/264 11775
/proc/meminfo: memFree=128477120/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=238576 memory=213584 CPUtime=0.68 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 34124 0 0 0 61 7 0 0 20 0 1 0 29046376 244301824 53396 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 59644 53396 1024 1200 0 58124 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 238576 KiB
Current children cumulated memory: 213584 KiB
[startup+1.50018 s]
/proc/loadavg: 1.66 0.47 0.22 5/264 11775
/proc/meminfo: memFree=128347580/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=514872 memory=472088 CPUtime=1.48 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 61048 0 0 0 132 16 0 0 20 0 1 0 29046376 527228928 118022 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 128718 118022 1248 1200 0 127198 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 514872 KiB
Current children cumulated memory: 472088 KiB
[startup+3.10555 s]
/proc/loadavg: 1.66 0.47 0.22 4/260 11783
/proc/meminfo: memFree=128342644/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=594492 memory=544768 CPUtime=3.08 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 76104 0 0 0 287 21 0 0 20 0 1 0 29046376 608759808 136192 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 148623 136192 1248 1200 0 147103 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 594492 KiB
Current children cumulated memory: 544768 KiB
[startup+6.30018 s]
/proc/loadavg: 1.85 0.53 0.24 4/264 11789
/proc/meminfo: memFree=128354848/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=599936 memory=550144 CPUtime=6.27 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 77540 0 0 0 606 21 0 0 20 0 1 0 29046376 614334464 137536 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 149984 137536 1248 1200 0 148464 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 599936 KiB
Current children cumulated memory: 550144 KiB
[startup+12.7002 s]
/proc/loadavg: 2.02 0.59 0.26 5/264 11820
/proc/meminfo: memFree=128251008/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=613192 memory=569512 CPUtime=12.65 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 80365 0 0 0 1243 22 0 0 20 0 1 0 29046376 627908608 142378 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 153298 142378 1248 1200 0 151778 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 613192 KiB
Current children cumulated memory: 569512 KiB
[startup+25.5002 s]
/proc/loadavg: 2.53 0.77 0.32 4/260 11828
/proc/meminfo: memFree=128435444/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=620008 memory=576364 CPUtime=25.41 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 81660 0 0 0 2519 22 0 0 20 0 1 0 29046376 634888192 144091 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 155002 144091 1248 1200 0 153482 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 620008 KiB
Current children cumulated memory: 576364 KiB
[startup+33.7235 s]
# the end of solver process 11774 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=33.3824 s, system=0.2403 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 2.53 0.77 0.32 4/260 11828
/proc/meminfo: memFree=128435444/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=620008 memory=576364 CPUtime=25.51 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 81660 0 0 0 2529 22 0 0 20 0 1 0 29046376 634888192 144091 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 155002 144091 1248 1200 0 153482 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 620008 KiB
Current children cumulated memory: 576364 KiB
[startup+28.8002 s]
/proc/loadavg: 2.53 0.77 0.32 4/260 11853
/proc/meminfo: memFree=128435996/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=620624 memory=577004 CPUtime=28.7 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 81844 0 0 0 2848 22 0 0 20 0 1 0 29046376 635518976 144251 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 155156 144251 1248 1200 0 153636 0
Current children cumulated CPU time: 28.7 s
Current children cumulated vsize: 620624 KiB
Current children cumulated memory: 577004 KiB
[startup+32.0002 s]*
/proc/loadavg: 2.65 0.82 0.34 5/264 11865
/proc/meminfo: memFree=128303192/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=620996 memory=577388 CPUtime=31.9 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 81948 0 0 0 3168 22 0 0 20 0 1 0 29046376 635899904 144347 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 155249 144347 1248 1200 0 153729 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 620996 KiB
Current children cumulated memory: 577388 KiB
[startup+32.8002 s]
/proc/loadavg: 2.65 0.82 0.34 5/264 11865
/proc/meminfo: memFree=128303192/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=620996 memory=577388 CPUtime=32.69 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 81948 0 0 0 3247 22 0 0 20 0 1 0 29046376 635899904 144347 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 155249 144347 1248 1200 0 153729 0
Current children cumulated CPU time: 32.69 s
Current children cumulated vsize: 620996 KiB
Current children cumulated memory: 577388 KiB
[startup+33.2002 s]
/proc/loadavg: 2.65 0.82 0.34 5/264 11865
/proc/meminfo: memFree=128295128/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=620996 memory=577388 CPUtime=33.09 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 81948 0 0 0 3287 22 0 0 20 0 1 0 29046376 635899904 144347 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 155249 144347 1248 1200 0 153729 0
Current children cumulated CPU time: 33.09 s
Current children cumulated vsize: 620996 KiB
Current children cumulated memory: 577388 KiB
[startup+33.6002 s]
/proc/loadavg: 2.65 0.82 0.34 5/264 11865
/proc/meminfo: memFree=128295128/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=620996 memory=577516 CPUtime=33.49 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 81957 0 0 0 3327 22 0 0 20 0 1 0 29046376 635899904 144379 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 155249 144379 1280 1200 0 153729 0
Current children cumulated CPU time: 33.49 s
Current children cumulated vsize: 620996 KiB
Current children cumulated memory: 577516 KiB
[startup+33.7002 s]
/proc/loadavg: 2.65 0.82 0.34 5/264 11865
/proc/meminfo: memFree=128295128/131250000 swapFree=33010684/33010684
[pid=11774] ppid=11771 vsize=438876 memory=421140 CPUtime=33.59 cores=5,7
/proc/11774/stat : 11774 (Exact) R 11771 11774 11508 0 -1 4194304 81982 0 0 0 3336 23 0 0 20 0 1 0 29046376 449409024 105285 18446744073709551615 4198400 9112445 140721720635472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25575424 140721720637736 140721720637933 140721720637933 140721720643535 0
/proc/11774/statm: 109719 105285 1280 1200 0 108199 0
Current children cumulated CPU time: 33.59 s
Current children cumulated vsize: 438876 KiB
Current children cumulated memory: 421140 KiB
Child status: 20
Real time (s): 33.7236
CPU time (s): 33.6227
CPU user time (s): 33.3824
CPU system time (s): 0.2403
CPU usage (%): 99.7008
Max. virtual memory (cumulated for all children) (KiB): 620996
Max. memory (cumulated for all children) (KiB): 577516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.3824
system time used= 0.2403
maximum resident set size= 577516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81984
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= 43
# summary of solver processes directly reported to runsolver:
# pid: 11774
# total CPU time (s): 33.6227
# total CPU user time (s): 33.3824
# total CPU system time (s): 0.2403
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073476 second user time and 0.185539 second system time
The end
Begin job on nodeC013 at 2025-06-28 20:01:01
IDJOB=4491662
IDBENCH=147732
IDSOLVER=3318
FILE ID=nodeC013/4491662-1751133660
RUNJOBID= nodeC013-1751133631-11526
SLURM_JOB_ID= 9587413
Free space on /tmp= 432996 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491662-1751133660/watcher-4491662-1751133660 -o /tmp/evaluation-result-4491662-1751133660/solver-4491662-1751133660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751133631-11526 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1054116676 --ls=0 --inp-dombreaklim=0 HOME/instance-4491662-1751133660.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 62e5546fe4d774fb864c3bf961c813a7
RANDOM SEED=1054116676
nodeC013 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.827
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.67
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.845
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.67
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 : 3681.450
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.636
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.67
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 : 3600.370
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.67
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 : 3627.548
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.67
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 : 3632.933
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.67
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.832
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128911612 kB
MemAvailable: 128506552 kB
Buffers: 3280 kB
Cached: 374988 kB
SwapCached: 0 kB
Active: 1575948 kB
Inactive: 181356 kB
Active(anon): 1392320 kB
Inactive(anon): 0 kB
Active(file): 183628 kB
Inactive(file): 181356 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33328 kB
Writeback: 0 kB
AnonPages: 1382200 kB
Mapped: 112808 kB
Shmem: 13284 kB
KReclaimable: 59852 kB
Slab: 140868 kB
SReclaimable: 59852 kB
SUnreclaim: 81016 kB
KernelStack: 4256 kB
PageTables: 5580 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1771132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 655360 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC013 at 2025-06-28 20:01:35