Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS-GM 1.03 | OPTIMUM | 4.23628 | 4.24691 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo |
| MD5SUM | 08c36baecafc06c82dd9dd4b73b5d103 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 9 |
| Best CPU time to get the best result obtained on this benchmark | 0.43457 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 5180 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 5179 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1202 |
| Number of bits of the biggest sum of numbers | 11 |
| 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 NaPS 1.03. 0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it. 0.00/0.00 c Input file name: HOME/instance-4456185-1721718512.wbo 0.00/0.02 c single stage optimization mode 0.00/0.04 o 3543 0.10/0.13 o 1437 0.10/0.18 o 516 0.21/0.22 o 322 0.21/0.31 o 205 0.31/0.39 o 132 0.68/0.79 o 86 0.78/0.87 o 57 1.38/1.44 o 36 1.58/1.66 o 21 3.47/3.54 o 10 4.17/4.21 o 9 4.17/4.24 s OPTIMUM FOUND 4.17/4.24 c _____________________________________________________________________________ 4.17/4.24 c std/band forms : 84,0 4.17/4.24 c 2cl/3cl ITE-codings : 41945,0 4.17/4.24 c BDD/srt/adr Max costs : 49406,96,0 4.17/4.24 c BDDraw/bin/mul/srt/adr: 2,0,12,70,0 4.17/4.24 c BDD nodes : 45026 4.17/4.24 c Es1/CC detections : 0,0 4.17/4.24 c CC sort : 70 4.17/4.24 c SAT/UNSAT calls : 12,2 4.17/4.24 c regenrated variables : 443 4.17/4.24 c eliminated fixed lits : 447 4.17/4.24 c goal lit flips : 0 4.17/4.24 c goal stages : 1 4.17/4.24 c goal shrink : 0 4.17/4.24 c goal coeff separations: 0 4.17/4.24 c restarts : 891 4.17/4.24 c conflicts : 380640 (90440 /sec) 4.17/4.24 c decisions : 670455 (159300 /sec) 4.17/4.24 c propagations : 166871699 (39648652 /sec) 4.17/4.24 c inspects : 0 (0 /sec) 4.17/4.24 c CPU time (solving tm) : 4.209 s (4.014 s, SAT 3.697 s, UNSAT 0.3168 s) 4.17/4.24 c Time for Opt-base : 0.001745 s 4.17/4.24 c Steps for Opt-base : 5656 4.17/4.24 c Time for BDD coding : 0.1561 s 4.17/4.24 c Time for srt coding : 0.000594 s 4.17/4.24 c _____________________________________________________________________________ 4.17/4.24 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
OK 9
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: 64096 MiB (60091 MiB free)
memory of node 1: 64473 MiB (58291 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456185-1721718512/watcher-4456185-1721718512 -o /tmp/evaluation-result-4456185-1721718512/solver-4456185-1721718512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721718430-79050 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456185-1721718512.wbo
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=79588, runsolver pid=79585
[startup+0.100101 s]*
/proc/loadavg: 3.36 1.93 1.82 5/248 79593
/proc/meminfo: memFree=121204944/131655788 swapFree=131071996/131071996
[pid=79588] ppid=79585 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/79588/stat : 79588 (naps-1.03.sh) S 79585 79588 79038 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 7840180 10170368 703 134679101440 94597299355648 94597300434968 140724314196720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94597302533424 94597302580612 94597327634432 140724314199007 140724314199136 140724314199136 140724314206152 0
/proc/79588/statm: 2483 703 627 264 0 134 0
[pid=79593] ppid=79588 vsize=24260 memory=21816 CPUtime=0.1 cores=4,6
/proc/79593/stat : 79593 (naps-1.03) R 79588 79588 79038 0 -1 4194304 5250 0 0 0 9 1 0 0 20 0 1 0 7840181 24842240 5454 134679101440 4194304 6891213 140725342724864 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21463040 140725342729200 140725342729316 140725342729316 140725342736331 0
/proc/79593/statm: 6065 5454 468 659 0 5269 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34192 KiB
Current children cumulated memory: 24628 KiB
[startup+0.213771 s]*
/proc/loadavg: 3.36 1.93 1.82 6/248 79593
/proc/meminfo: memFree=121191692/131655788 swapFree=131071996/131071996
[pid=79588] ppid=79585 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/79588/stat : 79588 (naps-1.03.sh) S 79585 79588 79038 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 7840180 10170368 703 134679101440 94597299355648 94597300434968 140724314196720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94597302533424 94597302580612 94597327634432 140724314199007 140724314199136 140724314199136 140724314206152 0
/proc/79588/statm: 2483 703 627 264 0 134 0
[pid=79593] ppid=79588 vsize=33804 memory=30532 CPUtime=0.21 cores=4,6
/proc/79593/stat : 79593 (naps-1.03) R 79588 79588 79038 0 -1 4194304 6910 0 0 0 20 1 0 0 20 0 1 0 7840181 34615296 7633 134679101440 4194304 6891213 140725342724864 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21463040 140725342729200 140725342729316 140725342729316 140725342736331 0
/proc/79593/statm: 8451 7633 468 659 0 7655 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43736 KiB
Current children cumulated memory: 33344 KiB
[startup+0.313454 s]*
/proc/loadavg: 3.36 1.93 1.82 5/248 79593
/proc/meminfo: memFree=121181376/131655788 swapFree=131071996/131071996
[pid=79588] ppid=79585 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/79588/stat : 79588 (naps-1.03.sh) S 79585 79588 79038 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 7840180 10170368 703 134679101440 94597299355648 94597300434968 140724314196720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94597302533424 94597302580612 94597327634432 140724314199007 140724314199136 140724314199136 140724314206152 0
/proc/79588/statm: 2483 703 627 264 0 134 0
[pid=79593] ppid=79588 vsize=45436 memory=40496 CPUtime=0.31 cores=4,6
/proc/79593/stat : 79593 (naps-1.03) R 79588 79588 79038 0 -1 4194304 8907 0 0 0 30 1 0 0 20 0 1 0 7840181 46526464 10124 134679101440 4194304 6891213 140725342724864 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21463040 140725342729200 140725342729316 140725342729316 140725342736331 0
/proc/79593/statm: 11359 10124 468 659 0 10563 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 55368 KiB
Current children cumulated memory: 43308 KiB
[startup+0.70043 s]
/proc/loadavg: 3.36 1.93 1.82 5/248 79593
/proc/meminfo: memFree=121156688/131655788 swapFree=131071996/131071996
[pid=79588] ppid=79585 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/79588/stat : 79588 (naps-1.03.sh) S 79585 79588 79038 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 7840180 10170368 703 134679101440 94597299355648 94597300434968 140724314196720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94597302533424 94597302580612 94597327634432 140724314199007 140724314199136 140724314199136 140724314206152 0
/proc/79588/statm: 2483 703 627 264 0 134 0
[pid=79593] ppid=79588 vsize=51028 memory=45976 CPUtime=0.68 cores=4,6
/proc/79593/stat : 79593 (naps-1.03) R 79588 79588 79038 0 -1 4194304 9772 0 0 0 67 1 0 0 20 0 1 0 7840181 52252672 11494 134679101440 4194304 6891213 140725342724864 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21463040 140725342729200 140725342729316 140725342729316 140725342736331 0
/proc/79593/statm: 12757 11494 468 659 0 11961 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60960 KiB
Current children cumulated memory: 48788 KiB
[startup+1.50044 s]
/proc/loadavg: 3.36 1.93 1.82 5/248 79593
/proc/meminfo: memFree=121201336/131655788 swapFree=131071996/131071996
[pid=79588] ppid=79585 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/79588/stat : 79588 (naps-1.03.sh) S 79585 79588 79038 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 7840180 10170368 703 134679101440 94597299355648 94597300434968 140724314196720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94597302533424 94597302580612 94597327634432 140724314199007 140724314199136 140724314199136 140724314206152 0
/proc/79588/statm: 2483 703 627 264 0 134 0
[pid=79593] ppid=79588 vsize=56424 memory=50196 CPUtime=1.48 cores=4,6
/proc/79593/stat : 79593 (naps-1.03) R 79588 79588 79038 0 -1 4194304 10807 0 0 0 147 1 0 0 20 0 1 0 7840181 57778176 12549 134679101440 4194304 6891213 140725342724864 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21463040 140725342729200 140725342729316 140725342729316 140725342736331 0
/proc/79593/statm: 14106 12549 468 659 0 13310 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66356 KiB
Current children cumulated memory: 53008 KiB
[startup+3.1141 s]
/proc/loadavg: 3.36 1.93 1.82 5/248 79594
/proc/meminfo: memFree=121200060/131655788 swapFree=131071996/131071996
[pid=79588] ppid=79585 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/79588/stat : 79588 (naps-1.03.sh) S 79585 79588 79038 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 7840180 10170368 703 134679101440 94597299355648 94597300434968 140724314196720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94597302533424 94597302580612 94597327634432 140724314199007 140724314199136 140724314199136 140724314206152 0
/proc/79588/statm: 2483 703 627 264 0 134 0
[pid=79593] ppid=79588 vsize=56964 memory=51240 CPUtime=3.09 cores=4,6
/proc/79593/stat : 79593 (naps-1.03) R 79588 79588 79038 0 -1 4194304 11119 0 0 0 308 1 0 0 20 0 1 0 7840181 58331136 12810 134679101440 4194304 6891213 140725342724864 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21463040 140725342729200 140725342729316 140725342729316 140725342736331 0
/proc/79593/statm: 14241 12810 468 659 0 13445 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 66896 KiB
Current children cumulated memory: 54052 KiB
[startup+4.24685 s]
# the end of solver process 79588 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=4.21275 s, system=0.023539 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20043 s]
/proc/loadavg: 3.36 1.93 1.82 5/248 79594
/proc/meminfo: memFree=121200060/131655788 swapFree=131071996/131071996
[pid=79588] ppid=79585 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/79588/stat : 79588 (naps-1.03.sh) S 79585 79588 79038 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 7840180 10170368 703 134679101440 94597299355648 94597300434968 140724314196720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94597302533424 94597302580612 94597327634432 140724314199007 140724314199136 140724314199136 140724314206152 0
/proc/79588/statm: 2483 703 627 264 0 134 0
[pid=79593] ppid=79588 vsize=56964 memory=51240 CPUtime=3.17 cores=4,6
/proc/79593/stat : 79593 (naps-1.03) R 79588 79588 79038 0 -1 4194304 11119 0 0 0 316 1 0 0 20 0 1 0 7840181 58331136 12810 134679101440 4194304 6891213 140725342724864 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21463040 140725342729200 140725342729316 140725342729316 140725342736331 0
/proc/79593/statm: 14241 12810 468 659 0 13445 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 66896 KiB
Current children cumulated memory: 54052 KiB
[startup+4.00037 s]*
/proc/loadavg: 3.41 1.96 1.83 5/248 79594
/proc/meminfo: memFree=121199676/131655788 swapFree=131071996/131071996
[pid=79588] ppid=79585 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/79588/stat : 79588 (naps-1.03.sh) S 79585 79588 79038 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 7840180 10170368 703 134679101440 94597299355648 94597300434968 140724314196720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94597302533424 94597302580612 94597327634432 140724314199007 140724314199136 140724314199136 140724314206152 0
/proc/79588/statm: 2483 703 627 264 0 134 0
[pid=79593] ppid=79588 vsize=56964 memory=51768 CPUtime=3.98 cores=4,6
/proc/79593/stat : 79593 (naps-1.03) R 79588 79588 79038 0 -1 4194304 11208 0 0 0 397 1 0 0 20 0 1 0 7840181 58331136 12942 134679101440 4194304 6891213 140725342724864 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21463040 140725342729200 140725342729316 140725342729316 140725342736331 0
/proc/79593/statm: 14241 12942 468 659 0 13445 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 66896 KiB
Current children cumulated memory: 54580 KiB
[startup+4.2003 s]
/proc/loadavg: 3.41 1.96 1.83 5/248 79594
/proc/meminfo: memFree=121199676/131655788 swapFree=131071996/131071996
[pid=79588] ppid=79585 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/79588/stat : 79588 (naps-1.03.sh) S 79585 79588 79038 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 7840180 10170368 703 134679101440 94597299355648 94597300434968 140724314196720 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94597302533424 94597302580612 94597327634432 140724314199007 140724314199136 140724314199136 140724314206152 0
/proc/79588/statm: 2483 703 627 264 0 134 0
[pid=79593] ppid=79588 vsize=56964 memory=51768 CPUtime=4.17 cores=4,6
/proc/79593/stat : 79593 (naps-1.03) R 79588 79588 79038 0 -1 4194304 11211 0 0 0 416 1 0 0 20 0 1 0 7840181 58331136 12942 134679101440 4194304 6891213 140725342724864 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 21463040 140725342729200 140725342729316 140725342729316 140725342736331 0
/proc/79593/statm: 14241 12942 468 659 0 13445 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 66896 KiB
Current children cumulated memory: 54580 KiB
Child status: 30
Real time (s): 4.24691
CPU time (s): 4.23628
CPU user time (s): 4.21275
CPU system time (s): 0.023539
CPU usage (%): 99.7497
Max. virtual memory (cumulated for all children) (KiB): 66896
Max. memory (cumulated for all children) (KiB): 54580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.21274
system time used= 0.023539
maximum resident set size= 51768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11696
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= 12
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 79588
# total CPU time (s): 4.23628
# total CPU user time (s): 4.21275
# total CPU system time (s): 0.023539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046715 second user time and 0.111869 second system time
The end
Begin job on nodeC004 at 2024-07-23 09:08:32 IDJOB=4456185 IDBENCH=143268 IDSOLVER=3042 FILE ID=nodeC004/4456185-1721718512 RUNJOBID= nodeC004-1721718430-79050 SLURM_JOB_ID= 7770415 Free space on /tmp= 723764 MiB SOLVER NAME= NaPS-GM 1.03 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456185-1721718512/watcher-4456185-1721718512 -o /tmp/evaluation-result-4456185-1721718512/solver-4456185-1721718512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721718430-79050 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456185-1721718512.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 08c36baecafc06c82dd9dd4b73b5d103 RANDOM SEED=1788326098 nodeC004.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 : 0xb00001f cpu MHz : 3492.065 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 invpcid_single pti 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 : 6984.13 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 : 3492.065 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 invpcid_single pti 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 : 6983.36 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.456 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 invpcid_single pti 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 : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.369 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 invpcid_single pti 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 : 6983.36 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 : 3492.079 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 invpcid_single pti 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 : 6984.13 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 : 3657.759 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 invpcid_single pti 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 : 6983.36 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.285 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 invpcid_single pti 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 : 6984.13 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 : 1197.494 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 invpcid_single pti 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 : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 121224700 kB MemAvailable: 125319160 kB Buffers: 136052 kB Cached: 4741508 kB SwapCached: 0 kB Active: 882580 kB Inactive: 8954300 kB Active(anon): 1456 kB Inactive(anon): 4987360 kB Active(file): 881124 kB Inactive(file): 3966940 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 11008 kB Writeback: 0 kB AnonPages: 4958564 kB Mapped: 104524 kB Shmem: 29512 kB KReclaimable: 173192 kB Slab: 269520 kB SReclaimable: 173192 kB SUnreclaim: 96328 kB KernelStack: 3984 kB PageTables: 19136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 5833644 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18176 kB HardwareCorrupted: 0 kB AnonHugePages: 2129920 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: 269128 kB DirectMap2M: 20606976 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 723760 MiB End job on nodeC004 at 2024-07-23 09:08:37