| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | UNSAT cert. | 7.8112 | 8.07839 |
| Name | PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/ normalized-sumineqArity4houseP128.opb |
| MD5SUM | e9f5941775c0ec216e13c0fdf86c7766 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 3.40217 |
| 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 | 66044 |
| Total number of constraints | 16512 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 129 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16383 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 12 |
| 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 | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 16 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.09/0.14 c #variables 66044 #constraints 16512 7.79/8.07 c #Conflicts: 1000 | #Constraints: 17511 7.79/8.07 c #Conflicts: 2000 | #Constraints: 18511 7.79/8.07 c INPROCESSING 7.79/8.07 c #Conflicts: 3000 | #Constraints: 18649 7.79/8.07 c #Conflicts: 4000 | #Constraints: 19650 7.79/8.07 c INPROCESSING 7.79/8.07 c #Conflicts: 5000 | #Constraints: 19474 7.79/8.07 c #Conflicts: 6000 | #Constraints: 20482 7.79/8.07 c INPROCESSING 7.79/8.07 c #Conflicts: 7000 | #Constraints: 19588 7.79/8.07 c #Conflicts: 8000 | #Constraints: 20588 7.79/8.07 c #Conflicts: 9000 | #Constraints: 21588 7.79/8.07 c INPROCESSING 7.79/8.07 c #Conflicts: 10000 | #Constraints: 20605 7.79/8.07 c #Conflicts: 11000 | #Constraints: 21609 7.79/8.07 c #Conflicts: 12000 | #Constraints: 22614 7.79/8.07 c cpu time 7.40565 s 7.79/8.07 c deterministic time 6698774 6.70e+06 7.79/8.07 c optimization time 3.4e-05 s 7.79/8.07 c total solve time 7.29161 s 7.79/8.07 c core-guided solve time 0 s 7.79/8.07 c propagation time 4.44843 s 7.79/8.07 c conflict analysis time 0.035992 s 7.79/8.07 c propagations 424172 7.79/8.07 c resolve steps 16981 7.79/8.07 c decisions 242251 7.79/8.07 c conflicts 12279 7.79/8.07 c restarts 52 7.79/8.07 c inprocessing phases 4 7.79/8.07 c input clauses 0 7.79/8.07 c input cardinalities 129 7.79/8.07 c input general constraints 16383 7.79/8.07 c input average constraint length 11.94 7.79/8.07 c input average constraint degree 7.95 7.79/8.07 c learned clauses 1074 7.79/8.07 c learned cardinalities 1813 7.79/8.07 c learned general constraints 9418 7.79/8.07 c learned average constraint length 7.07 7.79/8.07 c learned average constraint degree 7.41 7.79/8.07 c watched constraints 305 7.79/8.07 c counting constraints 25496 7.79/8.07 c gcd simplifications 2573 7.79/8.07 c detected cardinalities 508 7.79/8.07 c weakened non-implied lits 67588 7.79/8.07 c weakened non-implying lits 7404 7.79/8.07 c original variables 66044 7.79/8.07 c clausal propagations 1419 7.79/8.07 c cardinality propagations 20211 7.79/8.07 c watched propagations 1569 7.79/8.07 c counting propagations 375913 7.79/8.07 c watch lookups 1305035 7.79/8.07 c watch backjump lookups 1297102 7.79/8.07 c watch checks 91255 7.79/8.07 c propagation checks 2329772 7.79/8.07 c constraint additions 302199 7.79/8.07 c trail pops 678672 7.79/8.07 c formula constraints 16512 7.79/8.07 c learned constraints 12249 7.79/8.07 c bound constraints 0 7.79/8.07 c core-guided constraints 0 7.79/8.07 c encountered formula constraints 20082 7.79/8.07 c encountered learned constraints 9096 7.79/8.07 c encountered bound constraints 0 7.79/8.07 c encountered core-guided constraints 0 7.79/8.07 c LP total time 7.02752 s 7.79/8.07 c LP solve time 6.94 s 7.79/8.07 c LP constraints added 16512 7.79/8.07 c LP constraints removed 0 7.79/8.07 c LP pivots internal 15315 7.79/8.07 c LP pivots root 13000 7.79/8.07 c LP calls 33 7.79/8.07 c LP optimalities 0 7.79/8.07 c LP no pivot count 0 7.79/8.07 c LP infeasibilities 29 7.79/8.07 c LP valid Farkas constraints 28 7.79/8.07 c LP learned Farkas constraints 28 7.79/8.07 c LP basis resets 0 7.79/8.07 c LP cycling count 0 7.79/8.07 c LP singular count 0 7.79/8.07 c LP no primal count 0 7.79/8.07 c LP no farkas count 0 7.79/8.07 c LP other issue count 0 7.79/8.07 c LP Gomory cuts 0 7.79/8.07 c LP learned cuts 0 7.79/8.07 c LP deleted cuts 0 7.79/8.07 c LP encountered Gomory constraints 0 7.79/8.07 c LP encountered Farkas constraints 15 7.79/8.07 c LP encountered learned Farkas constraints 37 7.79/8.07 c CG auxiliary variables introduced 0 7.79/8.07 c CG solutions found 0 7.79/8.07 c CG cores constructed 0 7.79/8.07 c CG core cardinality constraints returned 0 7.79/8.07 c CG unit cores 0 7.79/8.07 c CG single cores 0 7.79/8.07 c CG blocks removed during cardinality reduction 0 7.79/8.07 c CG first core best 0 7.79/8.07 c CG decision core best 0 7.79/8.07 c CG core reduction tie 0 7.79/8.07 c CG core degree average 0.00 7.79/8.07 c CG core slack average 0.00 7.79/8.07 s UNSATISFIABLE
ERROR: no interpretation found !
Running VeriPB version 2.2.1 s VERIFIED UNSATISFIABLE Verification succeeded.
-- 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 (62200 MiB free)
memory of node 1: 64510 MiB (62621 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460825-1723986243/watcher-4460825-1723986243 -o /tmp/evaluation-result-4460825-1723986243/solver-4460825-1723986243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1723986218-887598 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460825-1723986243 --lp-cut-gomory=0 HOME/instance-4460825-1723986243.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 4.18.0-301.1.el8.x
solver pid=888088, runsolver pid=888085
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 1.41 0.40 0.19 5/260 888089
/proc/meminfo: memFree=127795872/131524600 swapFree=131071996/131071996
[pid=888088] ppid=888085 vsize=51804 memory=22604 CPUtime=0.09 cores=0,2
/proc/888088/stat : 888088 (roundingsat) R 888085 888088 887588 0 -1 4194304 5588 0 0 0 8 1 0 0 20 0 1 0 165224758 53047296 5651 134679101440 4194304 8254357 140726934114720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 29446144 140726934123354 140726934123616 140726934123616 140726934130633 0
/proc/888088/statm: 12951 5651 1396 992 0 4809 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51804 KiB
Current children cumulated memory: 22604 KiB
[startup+0.205651 s]*
/proc/loadavg: 1.41 0.40 0.19 5/260 888089
/proc/meminfo: memFree=127739736/131524600 swapFree=131071996/131071996
[pid=888088] ppid=888085 vsize=108124 memory=75968 CPUtime=0.2 cores=0,2
/proc/888088/stat : 888088 (roundingsat) R 888085 888088 887588 0 -1 4194304 16901 0 0 0 16 4 0 0 20 0 1 0 165224758 110718976 18992 134679101440 4194304 8254357 140726934114720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 29446144 140726934123354 140726934123616 140726934123616 140726934130633 0
/proc/888088/statm: 27031 18992 1731 992 0 18889 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108124 KiB
Current children cumulated memory: 75968 KiB
[startup+0.305572 s]*
/proc/loadavg: 1.41 0.40 0.19 5/260 888089
/proc/meminfo: memFree=127737272/131524600 swapFree=131071996/131071996
[pid=888088] ppid=888085 vsize=109180 memory=77552 CPUtime=0.3 cores=0,2
/proc/888088/stat : 888088 (roundingsat) R 888085 888088 887588 0 -1 4194304 17255 0 0 0 24 6 0 0 20 0 1 0 165224758 111800320 19388 134679101440 4194304 8254357 140726934114720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 29446144 140726934123354 140726934123616 140726934123616 140726934130633 0
/proc/888088/statm: 27295 19388 1731 992 0 19153 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109180 KiB
Current children cumulated memory: 77552 KiB
[startup+0.70022 s]
/proc/loadavg: 1.41 0.40 0.19 5/260 888089
/proc/meminfo: memFree=127717008/131524600 swapFree=131071996/131071996
[pid=888088] ppid=888085 vsize=114956 memory=83840 CPUtime=0.69 cores=0,2
/proc/888088/stat : 888088 (roundingsat) R 888085 888088 887588 0 -1 4194304 18715 0 0 0 58 11 0 0 20 0 1 0 165224758 117714944 20960 134679101440 4194304 8254357 140726934114720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 29446144 140726934123354 140726934123616 140726934123616 140726934130633 0
/proc/888088/statm: 28739 20960 1862 992 0 20597 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 114956 KiB
Current children cumulated memory: 83840 KiB
[startup+1.50021 s]
/proc/loadavg: 1.41 0.40 0.19 5/260 888089
/proc/meminfo: memFree=127694056/131524600 swapFree=131071996/131071996
[pid=888088] ppid=888085 vsize=117420 memory=86216 CPUtime=1.48 cores=0,2
/proc/888088/stat : 888088 (roundingsat) R 888085 888088 887588 0 -1 4194304 19348 0 0 0 129 19 0 0 20 0 1 0 165224758 120238080 21554 134679101440 4194304 8254357 140726934114720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 29446144 140726934123354 140726934123616 140726934123616 140726934130633 0
/proc/888088/statm: 29355 21554 1862 992 0 21213 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117420 KiB
Current children cumulated memory: 86216 KiB
[startup+3.1055 s]
/proc/loadavg: 1.69 0.47 0.22 5/260 888091
/proc/meminfo: memFree=127532880/131524600 swapFree=131071996/131071996
[pid=888088] ppid=888085 vsize=120788 memory=90160 CPUtime=3.09 cores=0,2
/proc/888088/stat : 888088 (roundingsat) R 888085 888088 887588 0 -1 4194304 20305 0 0 0 287 22 0 0 20 0 1 0 165224758 123686912 22540 134679101440 4194304 8254357 140726934114720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 29446144 140726934123354 140726934123616 140726934123616 140726934130633 0
/proc/888088/statm: 30197 22540 1862 992 0 22055 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 120788 KiB
Current children cumulated memory: 90160 KiB
[startup+6.30021 s]
/proc/loadavg: 1.69 0.47 0.22 5/260 888091
/proc/meminfo: memFree=127347408/131524600 swapFree=131071996/131071996
[pid=888088] ppid=888085 vsize=124376 memory=93556 CPUtime=6.27 cores=0,2
/proc/888088/stat : 888088 (roundingsat) R 888085 888088 887588 0 -1 4194304 21155 0 0 0 595 32 0 0 20 0 1 0 165224758 127361024 23389 134679101440 4194304 8254357 140726934114720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 29446144 140726934123354 140726934123616 140726934123616 140726934130633 0
/proc/888088/statm: 31094 23389 1862 992 0 22952 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 124376 KiB
Current children cumulated memory: 93556 KiB
[startup+8.07837 s]
# the end of solver process 888088 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=7.41071 s, system=0.400488 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40021 s]
/proc/loadavg: 1.69 0.47 0.22 5/260 888091
/proc/meminfo: memFree=127347408/131524600 swapFree=131071996/131071996
[pid=888088] ppid=888085 vsize=124376 memory=93556 CPUtime=6.37 cores=0,2
/proc/888088/stat : 888088 (roundingsat) R 888085 888088 887588 0 -1 4194304 21172 0 0 0 604 33 0 0 20 0 1 0 165224758 127361024 23389 134679101440 4194304 8254357 140726934114720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 29446144 140726934123354 140726934123616 140726934123616 140726934130633 0
/proc/888088/statm: 31094 23389 1862 992 0 22952 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 124376 KiB
Current children cumulated memory: 93556 KiB
[startup+7.2002 s]
/proc/loadavg: 1.69 0.47 0.22 2/260 888091
/proc/meminfo: memFree=127315264/131524600 swapFree=131071996/131071996
[pid=888088] ppid=888085 vsize=124508 memory=93556 CPUtime=7.16 cores=0,2
/proc/888088/stat : 888088 (roundingsat) R 888085 888088 887588 0 -1 4194304 21200 0 0 0 678 38 0 0 20 0 1 0 165224758 127496192 23389 134679101440 4194304 8254357 140726934114720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 29446144 140726934123354 140726934123616 140726934123616 140726934130633 0
/proc/888088/statm: 31127 23389 1862 992 0 22985 0
Current children cumulated CPU time: 7.16 s
Current children cumulated vsize: 124508 KiB
Current children cumulated memory: 93556 KiB
[startup+7.60019 s]
/proc/loadavg: 1.69 0.47 0.22 2/260 888091
/proc/meminfo: memFree=127315264/131524600 swapFree=131071996/131071996
[pid=888088] ppid=888085 vsize=124508 memory=93792 CPUtime=7.56 cores=0,2
/proc/888088/stat : 888088 (roundingsat) R 888085 888088 887588 0 -1 4194304 21213 0 0 0 717 39 0 0 20 0 1 0 165224758 127496192 23448 134679101440 4194304 8254357 140726934114720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 29446144 140726934123354 140726934123616 140726934123616 140726934130633 0
/proc/888088/statm: 31127 23448 1862 992 0 22985 0
Current children cumulated CPU time: 7.56 s
Current children cumulated vsize: 124508 KiB
Current children cumulated memory: 93792 KiB
[startup+8.00017 s]*
/proc/loadavg: 1.88 0.53 0.24 1/260 888091
/proc/meminfo: memFree=127314200/131524600 swapFree=131071996/131071996
[pid=888088] ppid=888085 vsize=124656 memory=93792 CPUtime=7.79 cores=0,2
/proc/888088/stat : 888088 (roundingsat) D 888085 888088 887588 0 -1 1077936128 21238 0 0 0 740 39 0 0 20 0 1 0 165224758 127647744 23448 134679101440 4194304 8254357 140726934114720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 20 0 0 9037040 9046032 29446144 140726934123354 140726934123616 140726934123616 140726934130633 0
/proc/888088/statm: 31164 23448 1862 992 0 23022 0
Current children cumulated CPU time: 7.79 s
Current children cumulated vsize: 124656 KiB
Current children cumulated memory: 93792 KiB
Child status: 0
Real time (s): 8.07839
CPU time (s): 7.8112
CPU user time (s): 7.41071
CPU system time (s): 0.400488
CPU usage (%): 96.6925
Max. virtual memory (cumulated for all children) (KiB): 124656
Max. memory (cumulated for all children) (KiB): 93792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.41071
system time used= 0.400488
maximum resident set size= 93792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 56
# summary of solver processes directly reported to runsolver:
# pid: 888088
# total CPU time (s): 7.8112
# total CPU user time (s): 7.41071
# total CPU system time (s): 0.400488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033229 second user time and 0.056396 second system time
The end
Begin job on nodeC027 at 2024-08-18 15:04:03 IDJOB=4460825 IDBENCH=160448 IDSOLVER=3086 FILE ID=nodeC027/4460825-1723986243 RUNJOBID= nodeC027-1723986218-887598 SLURM_JOB_ID= 8268151 Free space on /tmp= 890052 MiB SOLVER NAME= RoundingSat log (2) BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/normalized-sumineqArity4houseP128.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-4460825-1723986243/watcher-4460825-1723986243 -o /tmp/evaluation-result-4460825-1723986243/solver-4460825-1723986243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1723986218-887598 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460825-1723986243 --lp-cut-gomory=0 HOME/instance-4460825-1723986243.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e9f5941775c0ec216e13c0fdf86c7766 RANDOM SEED=822787043 nodeC027.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 : 3655.646 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 : 6999.88 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 : 3679.323 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 : 7006.31 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 : 3661.095 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 : 6999.88 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.409 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 : 7006.31 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 : 3661.081 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 : 6999.88 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 : 3679.313 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 : 7006.31 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 : 3600.140 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 : 6999.88 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.165 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 : 7006.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127819624 kB MemAvailable: 129175804 kB Buffers: 396304 kB Cached: 1805808 kB SwapCached: 0 kB Active: 864792 kB Inactive: 2222732 kB Active(anon): 1556 kB Inactive(anon): 929780 kB Active(file): 863236 kB Inactive(file): 1292952 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 669392 kB Writeback: 192 kB AnonPages: 884220 kB Mapped: 119704 kB Shmem: 45912 kB KReclaimable: 79280 kB Slab: 208492 kB SReclaimable: 79280 kB SUnreclaim: 129212 kB KernelStack: 4168 kB PageTables: 10776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1205676 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61632 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 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: 258772 kB DirectMap2M: 21534720 kB DirectMap1G: 114294784 kB Free space on /tmp at the end= 890048 MiB End job on nodeC027 at 2024-08-18 15:04:11