0.08/0.17 c 5628 constraints
0.08/0.17 c after presolve 9049
0.19/0.21 c Finish cloning data from SAT to LS
0.19/0.21 c intsize: 14
11.96/12.07 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
11.96/12.07 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: 63708 MiB (61996 MiB free)
memory of node 1: 64465 MiB (49365 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522299-1751583429/watcher-4522299-1751583429 -o /tmp/evaluation-result-4522299-1751583429/solver-4522299-1751583429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751576112-79287 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4522299-1751583429.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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.el
Current StackSize limit: 8192 KiB
solver pid=80679, runsolver pid=80676
[startup+0.100067 s]*
/proc/loadavg: 4.58 4.20 4.13 5/263 80680
/proc/meminfo: memFree=113962548/131249996 swapFree=33010160/33010684
[pid=80679] ppid=80676 vsize=56744 memory=18448 CPUtime=0.08 cores=0,2
/proc/80679/stat : 80679 (ExactPR-S) R 80676 80679 79272 0 -1 4194304 2639 0 0 0 8 0 0 0 20 0 1 0 74021374 58105856 4612 18446744073709551615 94884460503040 94884469803077 140730178387552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94884471589184 94884471628264 94884484005888 140730178390401 140730178390538 140730178390538 140730178396140 0
/proc/80679/statm: 14186 4612 1664 2271 0 8824 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 56744 KiB
Current children cumulated memory: 18448 KiB
[startup+0.205541 s]*
/proc/loadavg: 4.58 4.20 4.13 5/263 80680
/proc/meminfo: memFree=113874348/131249996 swapFree=33010160/33010684
[pid=80679] ppid=80676 vsize=82852 memory=43440 CPUtime=0.19 cores=0,2
/proc/80679/stat : 80679 (ExactPR-S) R 80676 80679 79272 0 -1 4194304 12153 0 0 0 18 1 0 0 20 0 1 0 74021374 84840448 10860 18446744073709551615 94884460503040 94884469803077 140730178387552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94884471589184 94884471628264 94884484005888 140730178390401 140730178390538 140730178390538 140730178396140 0
/proc/80679/statm: 20713 10860 1856 2271 0 15351 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 82852 KiB
Current children cumulated memory: 43440 KiB
[startup+0.305479 s]*
/proc/loadavg: 4.58 4.20 4.13 5/263 80680
/proc/meminfo: memFree=113809836/131249996 swapFree=33010160/33010684
[pid=80679] ppid=80676 vsize=124476 memory=89392 CPUtime=0.29 cores=0,2
/proc/80679/stat : 80679 (ExactPR-S) R 80676 80679 79272 0 -1 4194304 22310 0 0 0 27 2 0 0 20 0 1 0 74021374 127463424 22348 18446744073709551615 94884460503040 94884469803077 140730178387552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94884471589184 94884471628264 94884484005888 140730178390401 140730178390538 140730178390538 140730178396140 0
/proc/80679/statm: 31119 22348 3296 2271 0 25757 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 124476 KiB
Current children cumulated memory: 89392 KiB
[startup+0.700183 s]
/proc/loadavg: 4.58 4.20 4.13 5/263 80680
/proc/meminfo: memFree=113753388/131249996 swapFree=33010160/33010684
[pid=80679] ppid=80676 vsize=146272 memory=110512 CPUtime=0.68 cores=0,2
/proc/80679/stat : 80679 (ExactPR-S) R 80676 80679 79272 0 -1 4194304 27547 0 0 0 65 3 0 0 20 0 1 0 74021374 149782528 27628 18446744073709551615 94884460503040 94884469803077 140730178387552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94884471589184 94884471628264 94884484005888 140730178390401 140730178390538 140730178390538 140730178396140 0
/proc/80679/statm: 36568 27628 3360 2271 0 31206 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 146272 KiB
Current children cumulated memory: 110512 KiB
[startup+1.50018 s]
/proc/loadavg: 4.58 4.20 4.13 5/263 80680
/proc/meminfo: memFree=113648556/131249996 swapFree=33010160/33010684
[pid=80679] ppid=80676 vsize=152616 memory=116784 CPUtime=1.48 cores=0,2
/proc/80679/stat : 80679 (ExactPR-S) R 80676 80679 79272 0 -1 4194304 29093 0 0 0 144 4 0 0 20 0 1 0 74021374 156278784 29196 18446744073709551615 94884460503040 94884469803077 140730178387552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94884471589184 94884471628264 94884484005888 140730178390401 140730178390538 140730178390538 140730178396140 0
/proc/80679/statm: 38154 29196 3360 2271 0 32792 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 152616 KiB
Current children cumulated memory: 116784 KiB
[startup+3.10564 s]
/proc/loadavg: 4.58 4.20 4.13 5/263 80680
/proc/meminfo: memFree=113089956/131249996 swapFree=33010160/33010684
[pid=80679] ppid=80676 vsize=162512 memory=125872 CPUtime=3.08 cores=0,2
/proc/80679/stat : 80679 (ExactPR-S) R 80676 80679 79272 0 -1 4194304 31397 0 0 0 304 4 0 0 20 0 1 0 74021374 166412288 31468 18446744073709551615 94884460503040 94884469803077 140730178387552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94884471589184 94884471628264 94884484005888 140730178390401 140730178390538 140730178390538 140730178396140 0
/proc/80679/statm: 40628 31468 3360 2271 0 35266 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 162512 KiB
Current children cumulated memory: 125872 KiB
[startup+6.30017 s]
/proc/loadavg: 4.61 4.21 4.13 5/263 80680
/proc/meminfo: memFree=112502040/131249996 swapFree=33010160/33010684
[pid=80679] ppid=80676 vsize=168892 memory=132144 CPUtime=6.26 cores=0,2
/proc/80679/stat : 80679 (ExactPR-S) R 80676 80679 79272 0 -1 4194304 32966 0 0 0 622 4 0 0 20 0 1 0 74021374 172945408 33036 18446744073709551615 94884460503040 94884469803077 140730178387552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94884471589184 94884471628264 94884484005888 140730178390401 140730178390538 140730178390538 140730178396140 0
/proc/80679/statm: 42223 33036 3360 2271 0 36861 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 168892 KiB
Current children cumulated memory: 132144 KiB
[startup+12.0777 s]
# the end of solver process 80679 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=11.9768 s, system=0.056827 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4002 s]
/proc/loadavg: 4.61 4.21 4.13 5/263 80680
/proc/meminfo: memFree=112502040/131249996 swapFree=33010160/33010684
[pid=80679] ppid=80676 vsize=168892 memory=132272 CPUtime=6.36 cores=0,2
/proc/80679/stat : 80679 (ExactPR-S) R 80676 80679 79272 0 -1 4194304 32971 0 0 0 632 4 0 0 20 0 1 0 74021374 172945408 33068 18446744073709551615 94884460503040 94884469803077 140730178387552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94884471589184 94884471628264 94884484005888 140730178390401 140730178390538 140730178390538 140730178396140 0
/proc/80679/statm: 42223 33068 3360 2271 0 36861 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 168892 KiB
Current children cumulated memory: 132272 KiB
[startup+9.60016 s]
/proc/loadavg: 4.61 4.21 4.13 5/263 80680
/proc/meminfo: memFree=111926220/131249996 swapFree=33010160/33010684
[pid=80679] ppid=80676 vsize=176040 memory=139440 CPUtime=9.55 cores=0,2
/proc/80679/stat : 80679 (ExactPR-S) R 80676 80679 79272 0 -1 4194304 34783 0 0 0 951 4 0 0 20 0 1 0 74021374 180264960 34860 18446744073709551615 94884460503040 94884469803077 140730178387552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94884471589184 94884471628264 94884484005888 140730178390401 140730178390538 140730178390538 140730178396140 0
/proc/80679/statm: 44010 34860 3360 2271 0 38648 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 176040 KiB
Current children cumulated memory: 139440 KiB
[startup+11.2002 s]
/proc/loadavg: 4.56 4.21 4.13 5/263 80680
/proc/meminfo: memFree=111547212/131249996 swapFree=33010160/33010684
[pid=80679] ppid=80676 vsize=177940 memory=141360 CPUtime=11.15 cores=0,2
/proc/80679/stat : 80679 (ExactPR-S) R 80676 80679 79272 0 -1 4194304 35268 0 0 0 1110 5 0 0 20 0 1 0 74021374 182210560 35340 18446744073709551615 94884460503040 94884469803077 140730178387552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94884471589184 94884471628264 94884484005888 140730178390401 140730178390538 140730178390538 140730178396140 0
/proc/80679/statm: 44485 35340 3360 2271 0 39123 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 177940 KiB
Current children cumulated memory: 141360 KiB
[startup+11.6002 s]
/proc/loadavg: 4.56 4.21 4.13 5/263 80680
/proc/meminfo: memFree=111547212/131249996 swapFree=33010160/33010684
[pid=80679] ppid=80676 vsize=178244 memory=141744 CPUtime=11.55 cores=0,2
/proc/80679/stat : 80679 (ExactPR-S) R 80676 80679 79272 0 -1 4194304 35364 0 0 0 1150 5 0 0 20 0 1 0 74021374 182521856 35436 18446744073709551615 94884460503040 94884469803077 140730178387552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94884471589184 94884471628264 94884484005888 140730178390401 140730178390538 140730178390538 140730178396140 0
/proc/80679/statm: 44561 35436 3360 2271 0 39199 0
Current children cumulated CPU time: 11.55 s
Current children cumulated vsize: 178244 KiB
Current children cumulated memory: 141744 KiB
[startup+12.0002 s]*
/proc/loadavg: 4.56 4.21 4.13 5/263 80680
/proc/meminfo: memFree=111361740/131249996 swapFree=33010160/33010684
[pid=80679] ppid=80676 vsize=178804 memory=142256 CPUtime=11.96 cores=0,2
/proc/80679/stat : 80679 (ExactPR-S) R 80676 80679 79272 0 -1 4194304 35495 0 0 0 1191 5 0 0 20 0 1 0 74021374 183095296 35564 18446744073709551615 94884460503040 94884469803077 140730178387552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94884471589184 94884471628264 94884484005888 140730178390401 140730178390538 140730178390538 140730178396140 0
/proc/80679/statm: 44701 35564 3360 2271 0 39339 0
Current children cumulated CPU time: 11.96 s
Current children cumulated vsize: 178804 KiB
Current children cumulated memory: 142256 KiB
Child status: 0
Real time (s): 12.0777
CPU time (s): 12.0337
CPU user time (s): 11.9768
CPU system time (s): 0.056827
CPU usage (%): 99.6354
Max. virtual memory (cumulated for all children) (KiB): 178804
Max. memory (cumulated for all children) (KiB): 142256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9768
system time used= 0.056827
maximum resident set size= 142640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35519
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= 110
involuntary context switches= 31
# summary of solver processes directly reported to runsolver:
# pid: 80679
# total CPU time (s): 12.0337
# total CPU user time (s): 11.9768
# total CPU system time (s): 0.056827
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029934 second user time and 0.087484 second system time
The end
Begin job on nodeC029 at 2025-07-04 00:57:09
IDJOB=4522299
IDBENCH=178741
IDSOLVER=3326
FILE ID=nodeC029/4522299-1751583429
RUNJOBID= nodeC029-1751576112-79287
SLURM_JOB_ID= 9598805
Free space on /tmp= 432100 MiB
SOLVER NAME= ExactPR-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-ns1769397.opb
COMMAND LINE= ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522299-1751583429/watcher-4522299-1751583429 -o /tmp/evaluation-result-4522299-1751583429/solver-4522299-1751583429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751576112-79287 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4522299-1751583429.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d0e5186d4a85a790e67c4702cfcdde79
RANDOM SEED=1460316410
nodeC029 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 : 3601.970
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.46
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.827
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.46
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 : 3599.929
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.46
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.627
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.46
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.740
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.46
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.628
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.46
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 : 3651.587
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.46
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 : 3717.211
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 114067128 kB
MemAvailable: 117153448 kB
Buffers: 2128 kB
Cached: 3879036 kB
SwapCached: 40 kB
Active: 12993560 kB
Inactive: 3439472 kB
Active(anon): 12565152 kB
Inactive(anon): 4768 kB
Active(file): 428408 kB
Inactive(file): 3434704 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26016 kB
Writeback: 16 kB
AnonPages: 12554496 kB
Mapped: 120904 kB
Shmem: 18020 kB
KReclaimable: 124892 kB
Slab: 214552 kB
SReclaimable: 124892 kB
SUnreclaim: 89660 kB
KernelStack: 4272 kB
PageTables: 27996 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 13118608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 718848 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432088 MiB
End job on nodeC029 at 2025-07-04 00:57:22