| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CASHWMaxSATDisjCom-S 2025-06-01 | SAT | 5.3901 | 5.40963 |
| Name | PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14bt.opb |
| MD5SUM | 3a50fcae898f788b3960bca00975c98a |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.192196 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 316 |
| Total number of constraints | 686 |
| Number of constraints which are clauses | 477 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 207 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 114 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.20/0.30 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.20/0.30 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 5.37/5.40 s SATISFIABLE 5.37/5.40 v x1 -x3 -x5 x7 x9 x11 -x13 -x15 x17 -x19 -x21 -x23 -x25 x27 x29 x31 -x33 -x35 -x37 -x39 -x41 -x43 -x45 -x47 -x49 -x51 -x53 -x55 -x57 -x59 x61 -x63 -x65 x67 -x69 x71 -x73 -x75 -x77 -x79 x81 -x83 -x85 -x87 x89 -x91 -x93 -x95 x97 -x99 -x101 -x103 -x105 -x107 -x109 -x111 -x113 -x115 -x117 -x119 -x121 -x123 -x125 -x127 -x129 -x131 -x133 -x135 -x137 -x139 -x141 -x143 -x145 -x147 -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 -x199 -x2 -x4 -x6 -x8 -x10 -x12 -x14 -x16 -x18 -x20 -x22 -x24 -x26 -x28 -x30 -x32 -x34 -x36 -x38 -x40 -x42 -x44 -x46 -x48 -x50 -x52 -x54 -x56 -x58 x60 -x62 -x64 -x66 -x68 -x70 -x72 -x74 -x76 -x78 -x80 -x82 -x84 -x86 -x88 -x90 -x92 -x94 -x96 -x98 -x100 -x102 -x104 -x106 -x108 -x110 -x112 x114 -x116 -x118 -x120 -x122 x124 -x126 -x128 -x130 -x132 -x134 x136 -x138 -x140 -x142 -x144 x146 -x148 -x150 -x152 x154 -x156 -x158 -x160 -x162 x164 x166 -x168 -x170 -x172 x174 x176 -x178 x180 -x182 x184 x186 -x188 -x190 -x192 -x194 x196 -x198 -x200 x202 -x201 x204 -x203 -x206 x205 x208 -x207 x210 -x209 -x212 x211 -x214 x213 -x216 x215 -x218 x217 -x220 x219 x222 -x221 -x224 x223 -x226 x225 x228 -x227 x230 -x229 x232 -x231 -x234 x233 -x236 x235 x238 -x237 -x240 x239 x242 -x241 -x244 x243 -x246 x245 x248 -x247 x250 -x249 -x252 x251 -x254 x253 -x256 x255 -x258 x257 -x260 -x259 x262 -x261 -x264 -x263 -x266 -x265 x268 -x267 x270 -x269 x272 -x271 x274 -x273 -x276 x275 x278 -x277 -x280 x279 -x282 x281 -x284 x283 x286 -x285 -x288 x287 -x290 x289 -x292 x291 -x294 x293 -x296 x295 -x298 -x297 -x300 -x299 x302 -x301 -x304 x303 -x306 -x305 x308 -x307 x310 -x309 x312 -x311 x314 -x313 -x316 x315
OK 0
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 (62517 MiB free)
memory of node 1: 64465 MiB (63546 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493863-1751155226/watcher-4493863-1751155226 -o /tmp/evaluation-result-4493863-1751155226/solver-4493863-1751155226 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751146846-14144 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4493863-1751155226.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=15741, runsolver pid=15738
[startup+0.100064 s]*
/proc/loadavg: 4.14 4.10 4.09 5/265 15742
/proc/meminfo: memFree=129085476/131249996 swapFree=33010684/33010684
[pid=15741] ppid=15738 vsize=21548 memory=6672 CPUtime=0.09 cores=1,3
/proc/15741/stat : 15741 (CASHWMaxSAT-Dis) R 15738 15741 14132 0 -1 4194304 1218 0 0 0 9 0 0 0 20 0 1 0 31200443 22065152 1668 18446744073709551615 4198400 14093885 140734556340992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37634048 140734556342634 140734556342749 140734556342749 140734556348351 0
/proc/15741/statm: 5387 1668 768 2416 0 2489 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21548 KiB
Current children cumulated memory: 6672 KiB
[startup+0.20551 s]*
/proc/loadavg: 4.14 4.10 4.09 5/265 15742
/proc/meminfo: memFree=129084720/131249996 swapFree=33010684/33010684
[pid=15741] ppid=15738 vsize=21680 memory=7440 CPUtime=0.2 cores=1,3
/proc/15741/stat : 15741 (CASHWMaxSAT-Dis) R 15738 15741 14132 0 -1 4194304 1410 0 0 0 20 0 0 0 20 0 1 0 31200443 22200320 1860 18446744073709551615 4198400 14093885 140734556340992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37634048 140734556342634 140734556342749 140734556342749 140734556348351 0
/proc/15741/statm: 5420 1860 768 2416 0 2522 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21680 KiB
Current children cumulated memory: 7440 KiB
[startup+0.305432 s]*
/proc/loadavg: 4.14 4.10 4.09 5/265 15742
/proc/meminfo: memFree=129084720/131249996 swapFree=33010684/33010684
[pid=15741] ppid=15738 vsize=24516 memory=9616 CPUtime=0.3 cores=1,3
/proc/15741/stat : 15741 (CASHWMaxSAT-Dis) R 15738 15741 14132 0 -1 4194304 1969 0 0 0 30 0 0 0 20 0 1 0 31200443 25104384 2404 18446744073709551615 4198400 14093885 140734556340992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37634048 140734556342634 140734556342749 140734556342749 140734556348351 0
/proc/15741/statm: 6129 2404 768 2416 0 3231 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 24516 KiB
Current children cumulated memory: 9616 KiB
[startup+0.700185 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 15742
/proc/meminfo: memFree=129059904/131249996 swapFree=33010684/33010684
[pid=15741] ppid=15738 vsize=26164 memory=11920 CPUtime=0.69 cores=1,3
/proc/15741/stat : 15741 (CASHWMaxSAT-Dis) R 15738 15741 14132 0 -1 4194304 2551 0 0 0 69 0 0 0 20 0 1 0 31200443 26791936 2980 18446744073709551615 4198400 14093885 140734556340992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37634048 140734556342634 140734556342749 140734556342749 140734556348351 0
/proc/15741/statm: 6541 2980 768 2416 0 3643 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26164 KiB
Current children cumulated memory: 11920 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 15742
/proc/meminfo: memFree=129107008/131249996 swapFree=33010684/33010684
[pid=15741] ppid=15738 vsize=28868 memory=14736 CPUtime=1.48 cores=1,3
/proc/15741/stat : 15741 (CASHWMaxSAT-Dis) R 15738 15741 14132 0 -1 4194304 3248 0 0 0 148 0 0 0 20 0 1 0 31200443 29560832 3684 18446744073709551615 4198400 14093885 140734556340992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37634048 140734556342634 140734556342749 140734556342749 140734556348351 0
/proc/15741/statm: 7217 3684 768 2416 0 4319 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28868 KiB
Current children cumulated memory: 14736 KiB
[startup+3.10526 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 15742
/proc/meminfo: memFree=129066324/131249996 swapFree=33010684/33010684
[pid=15741] ppid=15738 vsize=29228 memory=15120 CPUtime=3.08 cores=1,3
/proc/15741/stat : 15741 (CASHWMaxSAT-Dis) R 15738 15741 14132 0 -1 4194304 3338 0 0 0 308 0 0 0 20 0 1 0 31200443 29929472 3780 18446744073709551615 4198400 14093885 140734556340992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37634048 140734556342634 140734556342749 140734556342749 140734556348351 0
/proc/15741/statm: 7307 3780 768 2416 0 4409 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 29228 KiB
Current children cumulated memory: 15120 KiB
[startup+5.4096 s]
# the end of solver process 15741 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=5.38212 s, system=0.007976 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20019 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 15742
/proc/meminfo: memFree=129066324/131249996 swapFree=33010684/33010684
[pid=15741] ppid=15738 vsize=29228 memory=15120 CPUtime=3.18 cores=1,3
/proc/15741/stat : 15741 (CASHWMaxSAT-Dis) R 15738 15741 14132 0 -1 4194304 3338 0 0 0 318 0 0 0 20 0 1 0 31200443 29929472 3780 18446744073709551615 4198400 14093885 140734556340992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37634048 140734556342634 140734556342749 140734556342749 140734556348351 0
/proc/15741/statm: 7307 3780 768 2416 0 4409 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 29228 KiB
Current children cumulated memory: 15120 KiB
[startup+4.80012 s]
/proc/loadavg: 4.21 4.11 4.10 5/265 15742
/proc/meminfo: memFree=129070420/131249996 swapFree=33010684/33010684
[pid=15741] ppid=15738 vsize=31544 memory=16412 CPUtime=4.77 cores=1,3
/proc/15741/stat : 15741 (CASHWMaxSAT-Dis) R 15738 15741 14132 0 -1 4194304 3890 0 0 0 477 0 0 0 20 0 1 0 31200443 32301056 4103 18446744073709551615 4198400 14093885 140734556340992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37634048 140734556342634 140734556342749 140734556342749 140734556348351 0
/proc/15741/statm: 7886 4103 768 2416 0 4988 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 31544 KiB
Current children cumulated memory: 16412 KiB
[startup+5.20015 s]
/proc/loadavg: 4.21 4.11 4.10 5/265 15742
/proc/meminfo: memFree=129054036/131249996 swapFree=33010684/33010684
[pid=15741] ppid=15738 vsize=38616 memory=19544 CPUtime=5.17 cores=1,3
/proc/15741/stat : 15741 (CASHWMaxSAT-Dis) R 15738 15741 14132 0 -1 4194304 4165 0 0 0 517 0 0 0 20 0 1 0 31200443 39542784 4886 18446744073709551615 4198400 14093885 140734556340992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37634048 140734556342634 140734556342749 140734556342749 140734556348351 0
/proc/15741/statm: 9654 4886 768 2416 0 6756 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 38616 KiB
Current children cumulated memory: 19544 KiB
[startup+5.40015 s]
/proc/loadavg: 4.21 4.11 4.10 5/265 15742
/proc/meminfo: memFree=129054036/131249996 swapFree=33010684/33010684
[pid=15741] ppid=15738 vsize=38616 memory=21940 CPUtime=5.37 cores=1,3
/proc/15741/stat : 15741 (CASHWMaxSAT-Dis) R 15738 15741 14132 0 -1 4194304 4245 0 0 0 537 0 0 0 20 0 1 0 31200443 39542784 5485 18446744073709551615 4198400 14093885 140734556340992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37634048 140734556342634 140734556342749 140734556342749 140734556348351 0
/proc/15741/statm: 9654 5485 768 2416 0 6756 0
Current children cumulated CPU time: 5.37 s
Current children cumulated vsize: 38616 KiB
Current children cumulated memory: 21940 KiB
Child status: 30
Real time (s): 5.40963
CPU time (s): 5.3901
CPU user time (s): 5.38212
CPU system time (s): 0.007976
CPU usage (%): 99.6388
Max. virtual memory (cumulated for all children) (KiB): 38616
Max. memory (cumulated for all children) (KiB): 21940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.38212
system time used= 0.007976
maximum resident set size= 21940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4245
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= 3
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 15741
# total CPU time (s): 5.3901
# total CPU user time (s): 5.38212
# total CPU system time (s): 0.007976
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028583 second user time and 0.04382 second system time
The end
Begin job on nodeC023 at 2025-06-29 02:00:26 IDJOB=4493863 IDBENCH=147875 IDSOLVER=3323 FILE ID=nodeC023/4493863-1751155226 RUNJOBID= nodeC023-1751146846-14144 SLURM_JOB_ID= 9587469 Free space on /tmp= 433020 MiB SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01 BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army10.14bt.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493863-1751155226/watcher-4493863-1751155226 -o /tmp/evaluation-result-4493863-1751155226/solver-4493863-1751155226 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751146846-14144 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4493863-1751155226.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3a50fcae898f788b3960bca00975c98a RANDOM SEED=252396624 nodeC023 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.923 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.78 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.890 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.78 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.804 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.78 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 : 3598.316 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.78 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.080 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.78 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.912 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.78 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 : 3598.249 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.78 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 : 3615.829 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129089120 kB MemAvailable: 128750996 kB Buffers: 3280 kB Cached: 473036 kB SwapCached: 0 kB Active: 1268812 kB Inactive: 266260 kB Active(anon): 1076820 kB Inactive(anon): 0 kB Active(file): 191992 kB Inactive(file): 266260 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 12684 kB Writeback: 0 kB AnonPages: 1056996 kB Mapped: 114440 kB Shmem: 18064 kB KReclaimable: 85728 kB Slab: 171004 kB SReclaimable: 85728 kB SUnreclaim: 85276 kB KernelStack: 4304 kB PageTables: 4936 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1437944 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 952320 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: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433008 MiB End job on nodeC023 at 2025-06-29 02:00:31