0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00 c Setting memory limit to 31000MB.
0.00/0.00 c Parsing PB file...
2.10/2.19 c Converting 2812 PB-constraints to clauses...
223.51/224.19 terminate called after throwing an instance of 'std::bad_alloc'
223.51/224.19 what(): std::bad_alloc
223.51/224.19 c *** TERMINATED by signal 6 ***
223.51/224.19 c _______________________________________________________________________________
223.51/224.19 c
223.51/224.19 c _______________________________________________________________________________
223.51/224.19 c
223.51/224.19 c =======================[ UWrMaxSat resources usage ]===========================
223.51/224.19 c Memory used : 30408.00 MB
223.51/224.19 c CPU time : 210.532 s
223.51/224.19 c Constr Enc: Srt/BDD/Add: 1535 0 0
223.51/224.19 c _______________________________________________________________________________
223.51/224.19 c _______________________________________________________________________________
223.51/224.19 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (47094 MiB free)
memory of node 1: 64507 MiB (52840 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509255-1751510378/watcher-4509255-1751510378 -o /tmp/evaluation-result-4509255-1751510378/solver-4509255-1751510378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751501342-73198 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4509255-1751510378.opb -mem-lim=31000
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
Starting watchdog thread
solver pid=75485, runsolver pid=75482
Current StackSize limit: 8192 KiB
[startup+0.100041 s]*
/proc/loadavg: 4.07 4.09 4.09 5/250 75486
/proc/meminfo: memFree=102326720/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=9964 memory=8852 CPUtime=0.1 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 2048 0 0 0 9 1 0 0 20 0 1 0 66717578 10203136 2213 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 2491 2213 448 484 0 1902 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9964 KiB
Current children cumulated memory: 8852 KiB
[startup+0.212223 s]*
/proc/loadavg: 4.07 4.09 4.09 5/250 75486
/proc/meminfo: memFree=102325964/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=16252 memory=14736 CPUtime=0.21 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 3702 0 0 0 20 1 0 0 20 0 1 0 66717578 16642048 3684 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 4063 3684 448 484 0 3474 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 16252 KiB
Current children cumulated memory: 14736 KiB
[startup+0.312123 s]*
/proc/loadavg: 4.07 4.09 4.09 5/250 75486
/proc/meminfo: memFree=102319160/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=25408 memory=23344 CPUtime=0.31 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 5726 0 0 0 29 2 0 0 20 0 1 0 66717578 26017792 5836 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 6352 5836 448 484 0 5763 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 25408 KiB
Current children cumulated memory: 23344 KiB
[startup+0.700365 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 75486
/proc/meminfo: memFree=102303284/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=52180 memory=49816 CPUtime=0.69 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 12095 0 0 0 65 4 0 0 20 0 1 0 66717578 53432320 12454 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 13045 12454 448 484 0 12456 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52180 KiB
Current children cumulated memory: 49816 KiB
[startup+1.50029 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 75486
/proc/meminfo: memFree=102267248/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=109872 memory=106128 CPUtime=1.48 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 24117 0 0 0 141 7 0 0 20 0 1 0 66717578 112508928 26532 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 27468 26532 448 484 0 26879 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109872 KiB
Current children cumulated memory: 106128 KiB
[startup+3.11287 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 75486
/proc/meminfo: memFree=102186824/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=245656 memory=225044 CPUtime=3.1 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 42154 0 0 0 297 13 0 0 20 0 1 0 66717578 251551744 56261 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 61414 56261 480 484 0 60825 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 245656 KiB
Current children cumulated memory: 225044 KiB
[startup+6.30032 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 75486
/proc/meminfo: memFree=101886956/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=692800 memory=670000 CPUtime=6.27 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 71102 0 0 0 602 25 0 0 20 0 1 0 66717578 709427200 167500 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 173200 167500 480 484 0 172611 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 692800 KiB
Current children cumulated memory: 670000 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 75486
/proc/meminfo: memFree=101267780/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=1282520 memory=1111104 CPUtime=12.65 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 116979 0 0 0 1220 45 0 0 20 0 1 0 66717578 1313300480 277776 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 320630 277776 480 484 0 320041 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1282520 KiB
Current children cumulated memory: 1111104 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.10 4.09 5/249 75486
/proc/meminfo: memFree=100271244/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=2412580 memory=2239220 CPUtime=25.42 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 172312 0 0 0 2465 77 0 0 20 0 1 0 66717578 2470481920 559805 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 603145 559805 480 484 0 602556 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2412580 KiB
Current children cumulated memory: 2239220 KiB
[startup+51.1128 s]
/proc/loadavg: 4.15 4.10 4.09 5/249 75487
/proc/meminfo: memFree=98434732/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=2836208 memory=2728012 CPUtime=50.97 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 274050 0 0 0 4986 111 0 0 20 0 1 0 66717578 2904276992 682003 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 709052 682003 480 484 0 708463 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2836208 KiB
Current children cumulated memory: 2728012 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/249 75489
/proc/meminfo: memFree=95329336/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=4508256 memory=4323624 CPUtime=102.02 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 390299 0 0 0 10026 176 0 0 20 0 1 0 66717578 4616454144 1080906 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 1127064 1080906 480 484 0 1126475 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 4508256 KiB
Current children cumulated memory: 4323624 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/249 75491
/proc/meminfo: memFree=76475212/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=26013716 memory=24596156 CPUtime=161.87 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 2549908 0 0 0 15240 947 0 0 20 0 1 0 66717578 26638045184 6149039 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 6503429 6149039 480 484 0 6502840 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 26013716 KiB
Current children cumulated memory: 24596156 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/249 75493
/proc/meminfo: memFree=73276496/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=27992468 memory=25932528 CPUtime=221.7 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 3044569 0 0 0 20925 1245 0 0 20 0 1 0 66717578 28664287232 6483132 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 6998117 6483132 544 484 0 6997528 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 27992468 KiB
Current children cumulated memory: 25932528 KiB
[startup+224.712 s]
# the end of solver process 75485 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=210.532 s, system=13.5823 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+222.4 s]
/proc/loadavg: 4.14 4.10 4.09 5/249 75493
/proc/meminfo: memFree=73276496/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=27992468 memory=25932528 CPUtime=221.8 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 3044569 0 0 0 20935 1245 0 0 20 0 1 0 66717578 28664287232 6483132 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 6998117 6483132 544 484 0 6997528 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 27992468 KiB
Current children cumulated memory: 25932528 KiB
[startup+224 s]*
/proc/loadavg: 4.13 4.10 4.09 5/249 75493
/proc/meminfo: memFree=70616012/131382112 swapFree=33010160/33010684
[pid=75485] ppid=75482 vsize=31138200 memory=28518320 CPUtime=223.4 cores=5,7
/proc/75485/stat : 75485 (uwrmaxsat) R 75482 75485 73185 0 -1 4194304 3046159 0 0 0 21045 1295 0 0 20 0 1 0 66717578 31885516800 7129580 18446744073709551615 4198400 6176925 140723419940752 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 10248192 140723419949418 140723419949545 140723419949545 140723419955147 0
/proc/75485/statm: 7784550 7129580 544 484 0 7783961 0
Current children cumulated CPU time: 223.4 s
Current children cumulated vsize: 31138200 KiB
Current children cumulated memory: 28518320 KiB
[startup+224.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/249 75493
/proc/meminfo: memFree=70010184/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+224.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/249 75493
/proc/meminfo: memFree=70010184/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+224.7 s]
/proc/loadavg: 4.13 4.10 4.09 5/249 75493
/proc/meminfo: memFree=70010184/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 224.712
CPU time (s): 224.114
CPU user time (s): 210.532
CPU system time (s): 13.5823
CPU usage (%): 99.7339
Max. virtual memory (cumulated for all children) (KiB): 31138200
Max. memory (cumulated for all children) (KiB): 28831664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.532
system time used= 13.5823
maximum resident set size= 29078192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3046642
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= 306
# summary of solver processes directly reported to runsolver:
# pid: 75485
# total CPU time (s): 224.114
# total CPU user time (s): 210.532
# total CPU system time (s): 13.5823
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1992 second user time and 2.12899 second system time
The end
Begin job on nodeC009 at 2025-07-03 04:39:38
IDJOB=4509255
IDBENCH=158602
IDSOLVER=3372
FILE ID=nodeC009/4509255-1751510378
RUNJOBID= nodeC009-1751501342-73198
SLURM_JOB_ID= 9598585
Free space on /tmp= 431204 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509255-1751510378/watcher-4509255-1751510378 -o /tmp/evaluation-result-4509255-1751510378/solver-4509255-1751510378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751501342-73198 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4509255-1751510378.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d8a928f558011060cfd64865d6313cfe
RANDOM SEED=838987973
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.007
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3648.252
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.070
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.482
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3524.395
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1297.154
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 102333316 kB
MemAvailable: 114112228 kB
Buffers: 2144 kB
Cached: 12530216 kB
SwapCached: 24 kB
Active: 15903268 kB
Inactive: 12179888 kB
Active(anon): 15563676 kB
Inactive(anon): 5056 kB
Active(file): 339592 kB
Inactive(file): 12174832 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9712 kB
Writeback: 24 kB
AnonPages: 15551336 kB
Mapped: 109928 kB
Shmem: 17936 kB
KReclaimable: 207844 kB
Slab: 292648 kB
SReclaimable: 207844 kB
SUnreclaim: 84804 kB
KernelStack: 3984 kB
PageTables: 33480 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 17867080 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8765440 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431204 MiB
End job on nodeC009 at 2025-07-03 04:43:23