0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c #variables 806 #constraints 1283
0.00/0.02 c rational objective 22.0002
3.88/3.99 c #Conflicts: 1000 | #Constraints: 2439
3.88/3.99 c #Conflicts: 2000 | #Constraints: 3456
3.88/3.99 c INPROCESSING
3.88/3.99 c GARBAGE COLLECT
3.88/3.99 c rational objective 22.0002
7.68/7.80 c #Conflicts: 3000 | #Constraints: 3021
7.68/7.80 c cpu time 7.5518 s
7.68/7.80 c deterministic time 986799339 9.87e+08
7.68/7.80 c optimization time 2.5e-05 s
7.68/7.80 c total solve time 7.547 s
7.68/7.80 c core-guided solve time 0 s
7.68/7.80 c propagation time 5.99529 s
7.68/7.80 c conflict analysis time 1.3768 s
7.68/7.80 c propagations 695710
7.68/7.80 c resolve steps 119130
7.68/7.80 c decisions 24704
7.68/7.80 c conflicts 3756
7.68/7.80 c restarts 20
7.68/7.80 c inprocessing phases 1
7.68/7.80 c input clauses 1182
7.68/7.80 c input cardinalities 0
7.68/7.80 c input general constraints 101
7.68/7.80 c input average constraint length 3.16
7.68/7.80 c input average constraint degree 40170861.88
7.68/7.80 c learned clauses 278
7.68/7.80 c learned cardinalities 4
7.68/7.80 c learned general constraints 3660
7.68/7.80 c learned average constraint length 229.19
7.68/7.80 c learned average constraint degree 2999408092.51
7.68/7.80 c watched constraints 3634
7.68/7.80 c counting constraints 127
7.68/7.80 c gcd simplifications 94
7.68/7.80 c detected cardinalities 2
7.68/7.80 c weakened non-implied lits 49603
7.68/7.80 c weakened non-implying lits 1439
7.68/7.80 c original variables 806
7.68/7.80 c clausal propagations 459447
7.68/7.80 c cardinality propagations 0
7.68/7.80 c watched propagations 146802
7.68/7.80 c counting propagations 88495
7.68/7.80 c watch lookups 213929517
7.68/7.80 c watch backjump lookups 206609901
7.68/7.80 c watch checks 284872937
7.68/7.80 c propagation checks 274208717
7.68/7.80 c constraint additions 5729743
7.68/7.80 c trail pops 723472
7.68/7.80 c formula constraints 1283
7.68/7.80 c learned constraints 3753
7.68/7.80 c bound constraints 0
7.68/7.80 c core-guided constraints 0
7.68/7.80 c encountered formula constraints 103254
7.68/7.80 c encountered learned constraints 18896
7.68/7.80 c encountered bound constraints 0
7.68/7.80 c encountered core-guided constraints 0
7.68/7.80 c LP total time 0.270917 s
7.68/7.80 c LP solve time 0.19 s
7.68/7.80 c LP constraints added 1284
7.68/7.80 c LP constraints removed 0
7.68/7.80 c LP pivots internal 3835
7.68/7.80 c LP pivots root 802
7.68/7.80 c LP calls 196
7.68/7.80 c LP optimalities 9
7.68/7.80 c LP no pivot count 1
7.68/7.80 c LP infeasibilities 187
7.68/7.80 c LP valid Farkas constraints 187
7.68/7.80 c LP learned Farkas constraints 2
7.68/7.80 c LP basis resets 0
7.68/7.80 c LP cycling count 0
7.68/7.80 c LP singular count 0
7.68/7.80 c LP no primal count 0
7.68/7.80 c LP no farkas count 0
7.68/7.80 c LP other issue count 0
7.68/7.80 c LP Gomory cuts 0
7.68/7.80 c LP learned cuts 1
7.68/7.80 c LP deleted cuts 0
7.68/7.80 c LP encountered Gomory constraints 0
7.68/7.80 c LP encountered Farkas constraints 733
7.68/7.80 c LP encountered learned Farkas constraints 1
7.68/7.80 c CG auxiliary variables introduced 0
7.68/7.80 c CG solutions found 0
7.68/7.80 c CG cores constructed 0
7.68/7.80 c CG core cardinality constraints returned 0
7.68/7.80 c CG unit cores 0
7.68/7.80 c CG single cores 0
7.68/7.80 c CG blocks removed during cardinality reduction 0
7.68/7.80 c CG first core best 0
7.68/7.80 c CG decision core best 0
7.68/7.80 c CG core reduction tie 0
7.68/7.80 c CG core degree average 0.00
7.68/7.80 c CG core slack average 0.00
7.68/7.80 s UNSATISFIABLE
VeriPB
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
VeriPB + CakePB
-- veripb --
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK
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: 63931 MiB (53062 MiB free)
memory of node 1: 64510 MiB (62471 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463266-1722348252/watcher-4463266-1722348252 -o /tmp/evaluation-result-4463266-1722348252/solver-4463266-1722348252 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722340763-6758 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463266-1722348252 --lp-cut-gomory=0 HOME/instance-4463266-1722348252.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11948, runsolver pid=11945
[startup+0.100099 s]*
/proc/loadavg: 4.26 4.17 4.15 6/261 11949
/proc/meminfo: memFree=118302160/131524600 swapFree=131071996/131071996
[pid=11948] ppid=11945 vsize=39808 memory=10184 CPUtime=0.09 cores=4,6
/proc/11948/stat : 11948 (roundingsat) R 11945 11948 6746 0 -1 4194304 934 0 0 0 9 0 0 0 20 0 1 0 1420839 40763392 2546 134679101440 4194304 8255733 140721416414608 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23478272 140721416418142 140721416418404 140721416418404 140721416425417 0
/proc/11948/statm: 9952 2546 1891 992 0 1810 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39808 KiB
Current children cumulated memory: 10184 KiB
[startup+0.205762 s]*
/proc/loadavg: 4.26 4.17 4.15 5/261 11949
/proc/meminfo: memFree=118299296/131524600 swapFree=131071996/131071996
[pid=11948] ppid=11945 vsize=40232 memory=10976 CPUtime=0.2 cores=4,6
/proc/11948/stat : 11948 (roundingsat) R 11945 11948 6746 0 -1 4194304 1144 0 0 0 19 1 0 0 20 0 1 0 1420839 41197568 2744 134679101440 4194304 8255733 140721416414608 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23478272 140721416418142 140721416418404 140721416418404 140721416425417 0
/proc/11948/statm: 10058 2744 1891 992 0 1916 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40232 KiB
Current children cumulated memory: 10976 KiB
[startup+0.305727 s]*
/proc/loadavg: 4.26 4.17 4.15 5/261 11949
/proc/meminfo: memFree=118296476/131524600 swapFree=131071996/131071996
[pid=11948] ppid=11945 vsize=40780 memory=11768 CPUtime=0.3 cores=4,6
/proc/11948/stat : 11948 (roundingsat) R 11945 11948 6746 0 -1 4194304 1325 0 0 0 29 1 0 0 20 0 1 0 1420839 41758720 2942 134679101440 4194304 8255733 140721416414608 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23478272 140721416418142 140721416418404 140721416418404 140721416425417 0
/proc/11948/statm: 10195 2942 1891 992 0 2053 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40780 KiB
Current children cumulated memory: 11768 KiB
[startup+0.70019 s]
/proc/loadavg: 4.26 4.17 4.15 5/261 11949
/proc/meminfo: memFree=118291608/131524600 swapFree=131071996/131071996
[pid=11948] ppid=11945 vsize=42016 memory=15132 CPUtime=0.69 cores=4,6
/proc/11948/stat : 11948 (roundingsat) R 11945 11948 6746 0 -1 4194304 1667 0 0 0 67 2 0 0 20 0 1 0 1420839 43024384 3783 134679101440 4194304 8255733 140721416414608 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23478272 140721416418142 140721416418404 140721416418404 140721416425417 0
/proc/11948/statm: 10504 3783 1891 992 0 2362 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42016 KiB
Current children cumulated memory: 15132 KiB
[startup+1.50023 s]
/proc/loadavg: 4.26 4.17 4.15 5/261 11949
/proc/meminfo: memFree=118283880/131524600 swapFree=131071996/131071996
[pid=11948] ppid=11945 vsize=43924 memory=17036 CPUtime=1.49 cores=4,6
/proc/11948/stat : 11948 (roundingsat) R 11945 11948 6746 0 -1 4194304 2118 0 0 0 145 4 0 0 20 0 1 0 1420839 44978176 4259 134679101440 4194304 8255733 140721416414608 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23478272 140721416418142 140721416418404 140721416418404 140721416425417 0
/proc/11948/statm: 10981 4259 1906 992 0 2839 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43924 KiB
Current children cumulated memory: 17036 KiB
[startup+3.10562 s]
/proc/loadavg: 4.26 4.17 4.15 5/261 11949
/proc/meminfo: memFree=118266688/131524600 swapFree=131071996/131071996
[pid=11948] ppid=11945 vsize=45580 memory=19936 CPUtime=3.08 cores=4,6
/proc/11948/stat : 11948 (roundingsat) R 11945 11948 6746 0 -1 4194304 2814 0 0 0 302 6 0 0 20 0 1 0 1420839 46673920 4984 134679101440 4194304 8255733 140721416414608 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23478272 140721416418142 140721416418404 140721416418404 140721416425417 0
/proc/11948/statm: 11395 4984 1906 992 0 3253 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 45580 KiB
Current children cumulated memory: 19936 KiB
[startup+6.30022 s]
/proc/loadavg: 4.24 4.16 4.15 5/261 11951
/proc/meminfo: memFree=118240624/131524600 swapFree=131071996/131071996
[pid=11948] ppid=11945 vsize=49592 memory=21492 CPUtime=6.27 cores=4,6
/proc/11948/stat : 11948 (roundingsat) R 11945 11948 6746 0 -1 4194304 3232 0 0 0 617 10 0 0 20 0 1 0 1420839 50782208 5373 134679101440 4194304 8255733 140721416414608 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23478272 140721416418142 140721416418404 140721416418404 140721416425417 0
/proc/11948/statm: 12398 5373 1906 992 0 4256 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49592 KiB
Current children cumulated memory: 21492 KiB
[startup+7.80644 s]
# the end of solver process 11948 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=7.55195 s, system=0.13205 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40023 s]
/proc/loadavg: 4.24 4.16 4.15 5/261 11951
/proc/meminfo: memFree=118240624/131524600 swapFree=131071996/131071996
[pid=11948] ppid=11945 vsize=49592 memory=21492 CPUtime=6.37 cores=4,6
/proc/11948/stat : 11948 (roundingsat) R 11945 11948 6746 0 -1 4194304 3252 0 0 0 627 10 0 0 20 0 1 0 1420839 50782208 5373 134679101440 4194304 8255733 140721416414608 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23478272 140721416418142 140721416418404 140721416418404 140721416425417 0
/proc/11948/statm: 12398 5373 1906 992 0 4256 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 49592 KiB
Current children cumulated memory: 21492 KiB
[startup+7.20019 s]
/proc/loadavg: 4.24 4.16 4.15 5/261 11951
/proc/meminfo: memFree=118231912/131524600 swapFree=131071996/131071996
[pid=11948] ppid=11945 vsize=50604 memory=22548 CPUtime=7.17 cores=4,6
/proc/11948/stat : 11948 (roundingsat) R 11945 11948 6746 0 -1 4194304 3521 0 0 0 706 11 0 0 20 0 1 0 1420839 51818496 5637 134679101440 4194304 8255733 140721416414608 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23478272 140721416418142 140721416418404 140721416418404 140721416425417 0
/proc/11948/statm: 12651 5637 1906 992 0 4509 0
Current children cumulated CPU time: 7.17 s
Current children cumulated vsize: 50604 KiB
Current children cumulated memory: 22548 KiB
[startup+7.6002 s]
/proc/loadavg: 4.24 4.16 4.15 5/261 11951
/proc/meminfo: memFree=118231912/131524600 swapFree=131071996/131071996
[pid=11948] ppid=11945 vsize=50768 memory=23076 CPUtime=7.57 cores=4,6
/proc/11948/stat : 11948 (roundingsat) R 11945 11948 6746 0 -1 4194304 3614 0 0 0 745 12 0 0 20 0 1 0 1420839 51986432 5769 134679101440 4194304 8255733 140721416414608 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 23478272 140721416418142 140721416418404 140721416418404 140721416425417 0
/proc/11948/statm: 12692 5769 1906 992 0 4550 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 50768 KiB
Current children cumulated memory: 23076 KiB
[startup+7.80019 s]
/proc/loadavg: 4.24 4.16 4.15 5/261 11951
/proc/meminfo: memFree=118231912/131524600 swapFree=131071996/131071996
[pid=11948] ppid=11945 vsize=50920 memory=23076 CPUtime=7.68 cores=4,6
/proc/11948/stat : 11948 (roundingsat) D 11945 11948 6746 0 -1 4194304 3652 0 0 0 755 13 0 0 20 0 1 0 1420839 52142080 5769 134679101440 4194304 8255733 140721416414608 0 0 0 0 0 25182210 0 0 0 17 4 0 0 14 0 0 9037040 9046032 23478272 140721416418142 140721416418404 140721416418404 140721416425417 0
/proc/11948/statm: 12730 5769 1906 992 0 4588 0
Current children cumulated CPU time: 7.68 s
Current children cumulated vsize: 50920 KiB
Current children cumulated memory: 23076 KiB
Child status: 0
Real time (s): 7.80648
CPU time (s): 7.684
CPU user time (s): 7.55195
CPU system time (s): 0.13205
CPU usage (%): 98.431
Max. virtual memory (cumulated for all children) (KiB): 50920
Max. memory (cumulated for all children) (KiB): 23076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.55195
system time used= 0.13205
maximum resident set size= 23076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 103200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1084
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 11948
# total CPU time (s): 7.684
# total CPU user time (s): 7.55195
# total CPU system time (s): 0.13205
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023682 second user time and 0.064328 second system time
The end
Begin job on nodeC014 at 2024-07-30 16:04:12
IDJOB=4463266
IDBENCH=175924
IDSOLVER=3089
FILE ID=nodeC014/4463266-1722348252
RUNJOBID= nodeC014-1722340763-6758
SLURM_JOB_ID= 8248977
Free space on /tmp= 890036 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq10/normalized-16array_alg_ineq10.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463266-1722348252/watcher-4463266-1722348252 -o /tmp/evaluation-result-4463266-1722348252/solver-4463266-1722348252 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722340763-6758 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463266-1722348252 --lp-cut-gomory=0 HOME/instance-4463266-1722348252.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0c23135e660516b176b2012acd431254
RANDOM SEED=812253576
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3673.169
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
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 : 3686.977
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
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 : 3622.502
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
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 : 3600.122
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
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 : 3658.576
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
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 : 3686.996
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
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 : 3650.930
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
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 : 3600.307
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 118308032 kB
MemAvailable: 125126464 kB
Buffers: 59044 kB
Cached: 7587248 kB
SwapCached: 0 kB
Active: 199552 kB
Inactive: 12522768 kB
Active(anon): 1540 kB
Inactive(anon): 5095892 kB
Active(file): 198012 kB
Inactive(file): 7426876 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 53268 kB
Writeback: 0 kB
AnonPages: 5073052 kB
Mapped: 96436 kB
Shmem: 21336 kB
KReclaimable: 66380 kB
Slab: 148116 kB
SReclaimable: 66380 kB
SUnreclaim: 81736 kB
KernelStack: 4224 kB
PageTables: 19324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5984440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8928 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4573184 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 174804 kB
DirectMap2M: 10084352 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC014 at 2024-07-30 16:04:20