| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCom-S 2025-06-01 | OPT | 304 | 2.89561 | 2.9172 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb |
| MD5SUM | 21e5c9aefd9c10ac1801b7f257b8155f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 304 |
| Best CPU time to get the best result obtained on this benchmark | 0.00479 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 257 |
| Total number of constraints | 97 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 97 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 44 |
| Number of terms in the objective function | 173 |
| Biggest coefficient in the objective function | 100 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 8448 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 100 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 8448 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.02 c Do: 140733171439240 140733171439248 0.00/0.03 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.03 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.06 c Starting SCIP solver (with time-limit = 1800s) ... 2.88/2.90 c SCIP optimum (rounded): 304 2.88/2.90 o 304 2.88/2.90 s OPTIMUM FOUND 2.88/2.90 v x134 x178 -x218 x4 x180 x8 x9 -x97 -x185 x225 -x186 x226 x11 -x99 -x143 x187 -x227 x100 x13 x14 -x15 x59 x104 x61 -x105 -x149 x230 x62 x20 -x108 -x109 x153 -x22 -x110 x154 -x111 x155 x112 -x192 x232 -x27 x71 x237 x118 x198 -x238 -x199 x239 x119 -x200 x240 x164 x121 -x202 x242 x203 -x243 x122 x204 -x244 -x124 x168 -x206 x246 x125 x247 x38 -x126 -x170 -x208 x248 x127 x249 -x40 x172 x250 -x213 x253 x130 -x214 x254 x131 x215 -x255 x132 x216 -x256 -x133 x257 -x2 -x46 -x90 -x91 -x179 -x48 -x220 -x222 -x224 -x53 -x141 -x12 -x56 -x144 -x228 -x57 -x145 -x229 -x58 -x146 -x103 -x147 -x16 -x148 -x18 -x150 -x19 x63 -x107 -x151 -x152 -x66 -x24 -x68 -x156 -x25 -x69 -x113 x157 -x191 x231 -x159 -x233 -x234 -x235 -x236 -x30 -x74 -x162 -x31 -x75 -x163 -x76 -x120 -x241 -x33 -x77 -x165 -x34 -x166 -x35 -x79 -x245 -x80 -x81 -x169 -x82 -x39 -x83 -x171 -x84 -x128 -x42 -x86 -x174 -x43 -x87 -x175 -x44 -x88 -x176 -x177 -x217 x1 -x3 x5 x6 -x7 -x10 -x17 -x21 -x23 -x26 -x28 -x29 -x32 -x36 -x37 -x41 -x45 x47 -x49 -x50 -x51 -x52 x54 -x55 -x60 -x64 -x65 -x67 -x70 x72 x73 -x78 x85 x89 -x92 -x93 -x94 -x95 -x96 -x98 -x101 -x102 -x106 -x114 -x115 -x116 -x117 -x123 -x129 -x135 -x136 -x137 -x138 x139 -x140 -x142 x158 -x160 -x161 x167 -x173 -x181 x182 -x183 x184 x188 x189 -x190 x193 x194 x195 x196 -x197 x201 x205 -x207 -x209 -x210 x211 -x212 x219 x221 x223 -x251 x252
OK 304
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 (62792 MiB free)
memory of node 1: 64507 MiB (62526 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484146-1751286599/watcher-4484146-1751286599 -o /tmp/evaluation-result-4484146-1751286599/solver-4484146-1751286599 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751281134-40791 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4484146-1751286599.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=41399, runsolver pid=41396
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 4.15 4.25 4.18 5/250 41400
/proc/meminfo: memFree=128311216/131382116 swapFree=33010684/33010684
[pid=41399] ppid=41396 vsize=38084 memory=29032 CPUtime=0.1 cores=4,6
/proc/41399/stat : 41399 (CASHWMaxSAT-Dis) R 41396 41399 40780 0 -1 4194304 5307 0 0 0 9 1 0 0 20 0 1 0 44339650 38998016 7258 18446744073709551615 4198400 14093885 140733171441600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29560832 140733171444074 140733171444189 140733171444189 140733171449791 0
/proc/41399/statm: 9521 7258 2336 2416 0 6623 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38084 KiB
Current children cumulated memory: 29032 KiB
[startup+0.213056 s]*
/proc/loadavg: 4.15 4.25 4.18 5/250 41400
/proc/meminfo: memFree=128303152/131382116 swapFree=33010684/33010684
[pid=41399] ppid=41396 vsize=43068 memory=33896 CPUtime=0.22 cores=4,6
/proc/41399/stat : 41399 (CASHWMaxSAT-Dis) R 41396 41399 40780 0 -1 4194304 6493 0 0 0 20 2 0 0 20 0 1 0 44339650 44101632 8474 18446744073709551615 4198400 14093885 140733171441600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29560832 140733171444074 140733171444189 140733171444189 140733171449791 0
/proc/41399/statm: 10767 8474 2368 2416 0 7869 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 43068 KiB
Current children cumulated memory: 33896 KiB
[startup+0.312996 s]*
/proc/loadavg: 4.15 4.25 4.18 5/250 41400
/proc/meminfo: memFree=128303152/131382116 swapFree=33010684/33010684
[pid=41399] ppid=41396 vsize=45124 memory=35944 CPUtime=0.31 cores=4,6
/proc/41399/stat : 41399 (CASHWMaxSAT-Dis) R 41396 41399 40780 0 -1 4194304 6985 0 0 0 29 2 0 0 20 0 1 0 44339650 46206976 8986 18446744073709551615 4198400 14093885 140733171441600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29560832 140733171444074 140733171444189 140733171444189 140733171449791 0
/proc/41399/statm: 11281 8986 2400 2416 0 8383 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45124 KiB
Current children cumulated memory: 35944 KiB
[startup+0.700314 s]
/proc/loadavg: 4.15 4.25 4.18 5/250 41400
/proc/meminfo: memFree=128303440/131382116 swapFree=33010684/33010684
[pid=41399] ppid=41396 vsize=56504 memory=46164 CPUtime=0.68 cores=4,6
/proc/41399/stat : 41399 (CASHWMaxSAT-Dis) R 41396 41399 40780 0 -1 4194304 8680 0 0 0 66 2 0 0 20 0 1 0 44339650 57860096 11541 18446744073709551615 4198400 14093885 140733171441600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29560832 140733171444074 140733171444189 140733171444189 140733171449791 0
/proc/41399/statm: 14126 11541 2400 2416 0 11228 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56504 KiB
Current children cumulated memory: 46164 KiB
[startup+1.50033 s]
/proc/loadavg: 4.15 4.25 4.18 5/250 41400
/proc/meminfo: memFree=128279248/131382116 swapFree=33010684/33010684
[pid=41399] ppid=41396 vsize=78820 memory=69460 CPUtime=1.48 cores=4,6
/proc/41399/stat : 41399 (CASHWMaxSAT-Dis) R 41396 41399 40780 0 -1 4194304 14410 0 0 0 144 4 0 0 20 0 1 0 44339650 80711680 17365 18446744073709551615 4198400 14093885 140733171441600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29560832 140733171444074 140733171444189 140733171444189 140733171449791 0
/proc/41399/statm: 19705 17365 2496 2416 0 16807 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78820 KiB
Current children cumulated memory: 69460 KiB
[startup+2.9171 s]
# the end of solver process 41399 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2.83093 s, system=0.064671 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60035 s]
/proc/loadavg: 4.15 4.25 4.18 5/250 41400
/proc/meminfo: memFree=128279248/131382116 swapFree=33010684/33010684
[pid=41399] ppid=41396 vsize=82372 memory=72148 CPUtime=1.58 cores=4,6
/proc/41399/stat : 41399 (CASHWMaxSAT-Dis) R 41396 41399 40780 0 -1 4194304 15096 0 0 0 154 4 0 0 20 0 1 0 44339650 84348928 18037 18446744073709551615 4198400 14093885 140733171441600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29560832 140733171444074 140733171444189 140733171444189 140733171449791 0
/proc/41399/statm: 20593 18037 2496 2416 0 17695 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 82372 KiB
Current children cumulated memory: 72148 KiB
[startup+2.40027 s]
/proc/loadavg: 4.15 4.25 4.18 5/250 41400
/proc/meminfo: memFree=128263584/131382116 swapFree=33010684/33010684
[pid=41399] ppid=41396 vsize=98676 memory=84820 CPUtime=2.38 cores=4,6
/proc/41399/stat : 41399 (CASHWMaxSAT-Dis) R 41396 41399 40780 0 -1 4194304 18263 0 0 0 233 5 0 0 20 0 1 0 44339650 101044224 21205 18446744073709551615 4198400 14093885 140733171441600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29560832 140733171444074 140733171444189 140733171444189 140733171449791 0
/proc/41399/statm: 24669 21205 2496 2416 0 21771 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 98676 KiB
Current children cumulated memory: 84820 KiB
[startup+2.80027 s]
/proc/loadavg: 4.15 4.25 4.18 5/250 41400
/proc/meminfo: memFree=128263584/131382116 swapFree=33010684/33010684
[pid=41399] ppid=41396 vsize=98824 memory=84948 CPUtime=2.78 cores=4,6
/proc/41399/stat : 41399 (CASHWMaxSAT-Dis) R 41396 41399 40780 0 -1 4194304 18293 0 0 0 273 5 0 0 20 0 1 0 44339650 101195776 21237 18446744073709551615 4198400 14093885 140733171441600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29560832 140733171444074 140733171444189 140733171444189 140733171449791 0
/proc/41399/statm: 24706 21237 2496 2416 0 21808 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 98824 KiB
Current children cumulated memory: 84948 KiB
[startup+2.90027 s]
/proc/loadavg: 4.15 4.25 4.18 5/250 41400
/proc/meminfo: memFree=128263584/131382116 swapFree=33010684/33010684
[pid=41399] ppid=41396 vsize=110848 memory=95956 CPUtime=2.88 cores=4,6
/proc/41399/stat : 41399 (CASHWMaxSAT-Dis) R 41396 41399 40780 0 -1 4194304 21011 0 0 0 282 6 0 0 20 0 1 0 44339650 113508352 23989 18446744073709551615 4198400 14093885 140733171441600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29560832 140733171444074 140733171444189 140733171444189 140733171449791 0
/proc/41399/statm: 27712 23989 2528 2416 0 24814 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 110848 KiB
Current children cumulated memory: 95956 KiB
Child status: 30
Real time (s): 2.9172
CPU time (s): 2.89561
CPU user time (s): 2.83093
CPU system time (s): 0.064671
CPU usage (%): 99.2598
Max. virtual memory (cumulated for all children) (KiB): 110848
Max. memory (cumulated for all children) (KiB): 95956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.83093
system time used= 0.064671
maximum resident set size= 95956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21011
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= 4
involuntary context switches= 4
# summary of solver processes directly reported to runsolver:
# pid: 41399
# total CPU time (s): 2.89561
# total CPU user time (s): 2.83093
# total CPU system time (s): 0.064671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039728 second user time and 0.09118 second system time
The end
Begin job on nodeC011 at 2025-06-30 14:29:59 IDJOB=4484146 IDBENCH=146651 IDSOLVER=3323 FILE ID=nodeC011/4484146-1751286599 RUNJOBID= nodeC011-1751281134-40791 SLURM_JOB_ID= 9594233 Free space on /tmp= 433016 MiB SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484146-1751286599/watcher-4484146-1751286599 -o /tmp/evaluation-result-4484146-1751286599/solver-4484146-1751286599 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751281134-40791 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4484146-1751286599.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 21e5c9aefd9c10ac1801b7f257b8155f RANDOM SEED=2087550572 nodeC011 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 : 3595.311 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 : 6984.20 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 : 3674.101 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 : 6984.20 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.485 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 : 6984.20 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 : 3700.000 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 : 6984.20 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 : 1596.402 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 : 6984.20 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 : 3691.632 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 : 6984.20 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 : 1197.559 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 : 6984.20 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 : 3700.000 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 128326936 kB MemAvailable: 128215624 kB Buffers: 3280 kB Cached: 697116 kB SwapCached: 0 kB Active: 2021840 kB Inactive: 398244 kB Active(anon): 1737648 kB Inactive(anon): 0 kB Active(file): 284192 kB Inactive(file): 398244 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 12852 kB Writeback: 104 kB AnonPages: 1720968 kB Mapped: 126084 kB Shmem: 17960 kB KReclaimable: 91372 kB Slab: 171932 kB SReclaimable: 91372 kB SUnreclaim: 80560 kB KernelStack: 4048 kB PageTables: 6648 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 2104340 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1392640 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: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433004 MiB End job on nodeC011 at 2025-06-30 14:30:02