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-4443348-1721312716.opb
3.27/3.38 s SATISFIABLE
3.27/3.38 c _____________________________________________________________________________
3.27/3.38 c std/band forms : 202,0
3.27/3.38 c 2cl/3cl ITE-codings : 0,0
3.27/3.38 c BDD/srt/adr Max costs : 4,2208,0
3.27/3.38 c BDDraw/bin/mul/srt/adr: 200,0,0,2,0
3.27/3.38 c BDD nodes : 1000
3.27/3.38 c Es1/CC detections : 0,0
3.27/3.38 c CC sort : 2
3.27/3.38 c SAT/UNSAT calls : 1,0
3.27/3.38 c regenrated variables : 0
3.27/3.38 c eliminated fixed lits : 0
3.27/3.38 c goal lit flips : 0
3.27/3.38 c goal stages : 0
3.27/3.38 c goal shrink : 0
3.27/3.38 c goal coeff separations: 0
3.27/3.38 c restarts : 390
3.27/3.38 c conflicts : 71403 (21367 /sec)
3.27/3.38 c decisions : 154117 (46120 /sec)
3.27/3.38 c propagations : 12075203 (3613514 /sec)
3.27/3.38 c inspects : 0 (0 /sec)
3.27/3.38 c CPU time (solving tm) : 3.342 s (3.313 s, SAT 3.313 s, UNSAT 0 s)
3.27/3.38 c Time for Opt-base : 0.000111 s
3.27/3.38 c Steps for Opt-base : 0
3.27/3.38 c Time for BDD coding : 0.006496 s
3.27/3.38 c Time for srt coding : 0.000568 s
3.27/3.38 c _____________________________________________________________________________
3.27/3.38 v -x1 -x3 -x5 -x7 -x9 -x11 -x13 -x15 -x17 -x19 -x21 -x23 -x25 -x27 -x29 -x31 -x33 -x35 -x37 -x39 -x41 -x43 -x45 -x47 -x49 -x51 x53 -x55 x57 x59 -x61 -x63 -x65 -x67 -x69 x71 -x73 x75 x77 x79 -x81 -x83 -x85 -x87 -x89 -x91 -x93 -x95 -x97 -x99 -x101 -x103 -x105 -x107 -x109 -x111 -x113 -x115 -x117 -x119 -x121 -x123 -x125 -x127 -x129 -x131 -x133 -x135 -x137 -x139 -x141 -x143 -x145 -x147 -x149 x151 -x153 x155 x157 x159 -x161 -x163 -x165 -x167 -x169 -x171 x173 -x175 x177 x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 -x199 -x2 -x4 -x6 x8 -x10 -x12 -x14 -x16 -x18 -x20 -x22 -x24 -x26 -x28 x30 -x32 -x34 -x36 -x38 -x40 -x42 -x44 -x46 -x48 -x50 -x52 -x54 -x56 -x58 -x60 -x62 -x64 -x66 -x68 -x70 -x72 -x74 -x76 -x78 -x80 x82 x84 -x86 x88 -x90 -x92 -x94 -x96 -x98 -x100 x102 x104 x106 -x108 x110 -x112 -x114 -x116 -x118 -x120 x122 x124 -x126 x128 -x130 -x132 -x134 -x136 -x138 -x140 -x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 x182 -x184 -x186 -x188 x190 -x192 -x194 -x196 -x198 -x200 -x202 x201 -x204 x203 x206 -x205 x208 -x207 -x210 x209 -x212 x211 -x214 x213 x216 -x215 x218 -x217 -x220 x219 -x222 x221 -x224 x223 -x226 x225 -x228 x227 -x230 x229 x232 -x231 x234 -x233 x236 -x235 x238 -x237 x240 -x239 x242 -x241 -x244 x243 x246 -x245 -x248 x247 -x250 x249 -x252 x251 -x254 x253 -x256 -x255 -x258 -x257 -x260 x259 -x262 -x261 -x264 -x263 -x266 -x265 -x268 x267 -x270 x269 -x272 x271 -x274 x273 -x276 x275 x278 -x277 -x280 x279 x282 -x281 x284 -x283 x286 -x285 -x288 x287 x290 -x289 x292 -x291 x294 -x293 x296 -x295 -x298 -x297 -x300 -x299 -x302 -x301 x304 -x303 x306 -x305 x308 -x307 x310 -x309 -x312 x311 x314 -x313 x316 -x315
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: 64059 MiB (59900 MiB free)
memory of node 1: 64510 MiB (59853 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443348-1721312716/watcher-4443348-1721312716 -o /tmp/evaluation-result-4443348-1721312716/solver-4443348-1721312716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721305421-949649 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4443348-1721312716.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=954630, runsolver pid=954627
[startup+0.100306 s]*
/proc/loadavg: 4.09 4.22 4.20 5/250 954635
/proc/meminfo: memFree=122622520/131655788 swapFree=131071996/131071996
[pid=954630] ppid=954627 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/954630/stat : 954630 (naps-1.03.sh) S 954627 954630 949639 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 183427750 10170368 685 134679101440 94046462173184 94046463252504 140732779423408 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94046465350960 94046465398148 94046497607680 140732779426783 140732779426912 140732779426912 140732779433928 0
/proc/954630/statm: 2483 685 607 264 0 134 0
[pid=954635] ppid=954630 vsize=6600 memory=4436 CPUtime=0.09 cores=0,2
/proc/954635/stat : 954635 (naps-1.03) R 954630 954630 949639 0 -1 4194304 845 0 0 0 9 0 0 0 20 0 1 0 183427751 6758400 1109 134679101440 4194304 6891213 140733421096112 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11079680 140733421097968 140733421098084 140733421098084 140733421105099 0
/proc/954635/statm: 1650 1109 468 659 0 854 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 16532 KiB
Current children cumulated memory: 7176 KiB
[startup+0.213111 s]*
/proc/loadavg: 4.09 4.22 4.20 5/250 954635
/proc/meminfo: memFree=122620168/131655788 swapFree=131071996/131071996
[pid=954630] ppid=954627 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/954630/stat : 954630 (naps-1.03.sh) S 954627 954630 949639 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 183427750 10170368 685 134679101440 94046462173184 94046463252504 140732779423408 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94046465350960 94046465398148 94046497607680 140732779426783 140732779426912 140732779426912 140732779433928 0
/proc/954630/statm: 2483 685 607 264 0 134 0
[pid=954635] ppid=954630 vsize=8700 memory=6548 CPUtime=0.2 cores=0,2
/proc/954635/stat : 954635 (naps-1.03) R 954630 954630 949639 0 -1 4194304 1353 0 0 0 20 0 0 0 20 0 1 0 183427751 8908800 1637 134679101440 4194304 6891213 140733421096112 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11079680 140733421097968 140733421098084 140733421098084 140733421105099 0
/proc/954635/statm: 2175 1637 468 659 0 1379 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 18632 KiB
Current children cumulated memory: 9288 KiB
[startup+0.313441 s]*
/proc/loadavg: 4.09 4.22 4.20 5/250 954635
/proc/meminfo: memFree=122617468/131655788 swapFree=131071996/131071996
[pid=954630] ppid=954627 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/954630/stat : 954630 (naps-1.03.sh) S 954627 954630 949639 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 183427750 10170368 685 134679101440 94046462173184 94046463252504 140732779423408 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94046465350960 94046465398148 94046497607680 140732779426783 140732779426912 140732779426912 140732779433928 0
/proc/954630/statm: 2483 685 607 264 0 134 0
[pid=954635] ppid=954630 vsize=11380 memory=8860 CPUtime=0.3 cores=0,2
/proc/954635/stat : 954635 (naps-1.03) R 954630 954630 949639 0 -1 4194304 1454 0 0 0 30 0 0 0 20 0 1 0 183427751 11653120 2215 134679101440 4194304 6891213 140733421096112 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11079680 140733421097968 140733421098084 140733421098084 140733421105099 0
/proc/954635/statm: 2845 2215 468 659 0 2049 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21312 KiB
Current children cumulated memory: 11600 KiB
[startup+0.700356 s]
/proc/loadavg: 4.09 4.22 4.20 5/250 954635
/proc/meminfo: memFree=122616984/131655788 swapFree=131071996/131071996
[pid=954630] ppid=954627 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/954630/stat : 954630 (naps-1.03.sh) S 954627 954630 949639 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 183427750 10170368 685 134679101440 94046462173184 94046463252504 140732779423408 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94046465350960 94046465398148 94046497607680 140732779426783 140732779426912 140732779426912 140732779433928 0
/proc/954630/statm: 2483 685 607 264 0 134 0
[pid=954635] ppid=954630 vsize=12420 memory=10440 CPUtime=0.67 cores=0,2
/proc/954635/stat : 954635 (naps-1.03) R 954630 954630 949639 0 -1 4194304 1844 0 0 0 67 0 0 0 20 0 1 0 183427751 12718080 2610 134679101440 4194304 6891213 140733421096112 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11079680 140733421097968 140733421098084 140733421098084 140733421105099 0
/proc/954635/statm: 3105 2610 468 659 0 2309 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 22352 KiB
Current children cumulated memory: 13180 KiB
[startup+1.50035 s]
/proc/loadavg: 4.09 4.22 4.20 7/250 954635
/proc/meminfo: memFree=122614276/131655788 swapFree=131071996/131071996
[pid=954630] ppid=954627 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/954630/stat : 954630 (naps-1.03.sh) S 954627 954630 949639 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 183427750 10170368 685 134679101440 94046462173184 94046463252504 140732779423408 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94046465350960 94046465398148 94046497607680 140732779426783 140732779426912 140732779426912 140732779433928 0
/proc/954630/statm: 2483 685 607 264 0 134 0
[pid=954635] ppid=954630 vsize=15844 memory=13544 CPUtime=1.47 cores=0,2
/proc/954635/stat : 954635 (naps-1.03) R 954630 954630 949639 0 -1 4194304 2095 0 0 0 147 0 0 0 20 0 1 0 183427751 16224256 3386 134679101440 4194304 6891213 140733421096112 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11079680 140733421097968 140733421098084 140733421098084 140733421105099 0
/proc/954635/statm: 3961 3386 468 659 0 3165 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 25776 KiB
Current children cumulated memory: 16284 KiB
[startup+3.11342 s]
/proc/loadavg: 4.09 4.22 4.20 6/250 954635
/proc/meminfo: memFree=122598456/131655788 swapFree=131071996/131071996
[pid=954630] ppid=954627 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/954630/stat : 954630 (naps-1.03.sh) S 954627 954630 949639 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 183427750 10170368 685 134679101440 94046462173184 94046463252504 140732779423408 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94046465350960 94046465398148 94046497607680 140732779426783 140732779426912 140732779426912 140732779433928 0
/proc/954630/statm: 2483 685 607 264 0 134 0
[pid=954635] ppid=954630 vsize=22916 memory=17660 CPUtime=3.08 cores=0,2
/proc/954635/stat : 954635 (naps-1.03) R 954630 954630 949639 0 -1 4194304 3225 0 0 0 307 1 0 0 20 0 1 0 183427751 23465984 4415 134679101440 4194304 6891213 140733421096112 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11079680 140733421097968 140733421098084 140733421098084 140733421105099 0
/proc/954635/statm: 5729 4415 468 659 0 4933 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32848 KiB
Current children cumulated memory: 20400 KiB
[startup+3.38123 s]
# the end of solver process 954630 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3.34568 s, system=0.017293 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20043 s]
/proc/loadavg: 4.09 4.22 4.20 6/250 954635
/proc/meminfo: memFree=122598456/131655788 swapFree=131071996/131071996
[pid=954630] ppid=954627 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/954630/stat : 954630 (naps-1.03.sh) S 954627 954630 949639 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 183427750 10170368 685 134679101440 94046462173184 94046463252504 140732779423408 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94046465350960 94046465398148 94046497607680 140732779426783 140732779426912 140732779426912 140732779433928 0
/proc/954630/statm: 2483 685 607 264 0 134 0
[pid=954635] ppid=954630 vsize=22916 memory=17660 CPUtime=3.17 cores=0,2
/proc/954635/stat : 954635 (naps-1.03) R 954630 954630 949639 0 -1 4194304 3225 0 0 0 316 1 0 0 20 0 1 0 183427751 23465984 4415 134679101440 4194304 6891213 140733421096112 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11079680 140733421097968 140733421098084 140733421098084 140733421105099 0
/proc/954635/statm: 5729 4415 468 659 0 4933 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 32848 KiB
Current children cumulated memory: 20400 KiB
[startup+3.30031 s]
/proc/loadavg: 4.09 4.22 4.20 6/250 954635
/proc/meminfo: memFree=122598456/131655788 swapFree=131071996/131071996
[pid=954630] ppid=954627 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/954630/stat : 954630 (naps-1.03.sh) S 954627 954630 949639 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 183427750 10170368 685 134679101440 94046462173184 94046463252504 140732779423408 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94046465350960 94046465398148 94046497607680 140732779426783 140732779426912 140732779426912 140732779433928 0
/proc/954630/statm: 2483 685 607 264 0 134 0
[pid=954635] ppid=954630 vsize=22916 memory=17660 CPUtime=3.27 cores=0,2
/proc/954635/stat : 954635 (naps-1.03) R 954630 954630 949639 0 -1 4194304 3225 0 0 0 326 1 0 0 20 0 1 0 183427751 23465984 4415 134679101440 4194304 6891213 140733421096112 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11079680 140733421097968 140733421098084 140733421098084 140733421105099 0
/proc/954635/statm: 5729 4415 468 659 0 4933 0
Current children cumulated CPU time: 3.27 s
Current children cumulated vsize: 32848 KiB
Current children cumulated memory: 20400 KiB
Child status: 10
Real time (s): 3.3813
CPU time (s): 3.36297
CPU user time (s): 3.34568
CPU system time (s): 0.017293
CPU usage (%): 99.4577
Max. virtual memory (cumulated for all children) (KiB): 32852
Max. memory (cumulated for all children) (KiB): 22996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.34568
system time used= 0.017293
maximum resident set size= 20520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3708
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= 10
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 954630
# total CPU time (s): 3.36297
# total CPU user time (s): 3.34568
# total CPU system time (s): 0.017293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048736 second user time and 0.090285 second system time
The end
Begin job on nodeC003 at 2024-07-18 16:25:28
IDJOB=4443348
IDBENCH=147871
IDSOLVER=3062
FILE ID=nodeC003/4443348-1721312716
RUNJOBID= nodeC003-1721305421-949649
SLURM_JOB_ID= 7542634
Free space on /tmp= 723764 MiB
SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443348-1721312716/watcher-4443348-1721312716 -o /tmp/evaluation-result-4443348-1721312716/solver-4443348-1721312716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721305421-949649 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4443348-1721312716.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 531481e7cf3d0451843bb4aa5119dd25
RANDOM SEED=1992593779
nodeC003.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 : 3491.901
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 : 6983.76
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 : 3491.881
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.30
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.218
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 : 6983.76
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.343
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.30
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 : 3658.495
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 : 6983.76
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 : 3653.416
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.30
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.333
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 : 6983.76
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.411
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122627992 kB
MemAvailable: 128174984 kB
Buffers: 509060 kB
Cached: 5814444 kB
SwapCached: 0 kB
Active: 920788 kB
Inactive: 7421796 kB
Active(anon): 1508 kB
Inactive(anon): 2055120 kB
Active(file): 919280 kB
Inactive(file): 5366676 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5992 kB
Writeback: 24 kB
AnonPages: 2018920 kB
Mapped: 111708 kB
Shmem: 37704 kB
KReclaimable: 201572 kB
Slab: 316728 kB
SReclaimable: 201572 kB
SUnreclaim: 115156 kB
KernelStack: 4016 kB
PageTables: 13332 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2765672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57824 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1177600 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: 275272 kB
DirectMap2M: 31086592 kB
DirectMap1G: 104857600 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC003 at 2024-07-18 16:25:32