41.02/41.13 c numVar: 428
41.02/41.13 c numCon: 942
41.02/41.13 c numEqual: 0
41.02/41.13 c intSize: 8
41.02/41.13 o 0
41.02/41.13 s SATISFIABLE
41.02/41.13 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 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 x291 -x292 x293 -x294 -x295 x296 -x297 x298 -x299 x300 x301 -x302 x303 -x304 x305 -x306 -x307 x308 -x309 x310 -x311 x312 -x313 x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 -x337 x338 -x339 x340 -x341 x342 -x343 x344 -x345 x346 -x347 x348 -x349 x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 x370 -x371 x372 -x373 x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 -x387 x388 -x389 x390 x391 -x392 x393 -x394 x395 -x396 x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 -x412 x413 -x414 x415 -x416 x417 -x418 x419 -x420 x421 -x422 x423 -x424 x425 -x426 x427 -x428
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 (62366 MiB free)
memory of node 1: 64510 MiB (61903 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443402-1721302288/watcher-4443402-1721302288 -o /tmp/evaluation-result-4443402-1721302288/solver-4443402-1721302288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721295073-943192 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4443402-1721302288.opb --time_limit=3600
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=947834, runsolver pid=947831
Current StackSize limit: 8192 KiB
[startup+0.100917 s]*
/proc/loadavg: 4.28 4.17 4.15 5/246 947835
/proc/meminfo: memFree=127250768/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=0.1 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 4 6 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+0.21261 s]*
/proc/loadavg: 4.28 4.17 4.15 5/246 947835
/proc/meminfo: memFree=127250544/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=0.2 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 10 10 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+0.311841 s]*
/proc/loadavg: 4.28 4.17 4.15 5/246 947835
/proc/meminfo: memFree=127250404/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=0.3 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 15 15 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+0.700253 s]
/proc/loadavg: 4.28 4.17 4.15 6/246 947835
/proc/meminfo: memFree=127249504/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=0.68 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 31 37 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+1.50026 s]
/proc/loadavg: 4.28 4.17 4.15 5/246 947836
/proc/meminfo: memFree=127249444/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=1.48 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 68 80 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+3.1123 s]
/proc/loadavg: 4.26 4.16 4.15 5/246 947836
/proc/meminfo: memFree=127249312/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=3.09 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 142 167 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+6.30022 s]
/proc/loadavg: 4.26 4.16 4.15 5/246 947836
/proc/meminfo: memFree=127249340/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=6.27 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 286 341 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.16 4.15 5/246 947838
/proc/meminfo: memFree=127249308/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=12.67 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 552 715 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+25.5003 s]
/proc/loadavg: 4.25 4.17 4.15 5/245 947839
/proc/meminfo: memFree=127249268/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=25.44 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 1087 1457 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+41.1397 s]
# the end of solver process 947834 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=17.5185 s, system=23.5456 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 4.25 4.17 4.15 5/245 947839
/proc/meminfo: memFree=127249268/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=25.54 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 1092 1462 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 25.54 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.23 4.16 4.15 5/245 947841
/proc/meminfo: memFree=127249076/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=31.94 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 1359 1835 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 31.94 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+35.2002 s]
/proc/loadavg: 4.21 4.16 4.15 5/245 947841
/proc/meminfo: memFree=127249096/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=35.12 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 1493 2019 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 35.12 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+38.4002 s]
/proc/loadavg: 4.20 4.16 4.15 5/245 947841
/proc/meminfo: memFree=127249020/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=38.32 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 1635 2197 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 38.32 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+40.0002 s]*
/proc/loadavg: 4.20 4.16 4.15 5/245 947841
/proc/meminfo: memFree=127249020/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=39.93 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 1706 2287 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 39.93 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+40.8002 s]
/proc/loadavg: 4.20 4.16 4.15 5/245 947841
/proc/meminfo: memFree=127249020/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=40.72 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 1738 2334 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 40.72 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+41.0002 s]*
/proc/loadavg: 4.20 4.16 4.15 5/245 947842
/proc/meminfo: memFree=127248908/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=40.93 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 1746 2347 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 40.93 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
[startup+41.1119 s]
/proc/loadavg: 4.20 4.16 4.15 5/245 947842
/proc/meminfo: memFree=127248908/131655788 swapFree=131071996/131071996
[pid=947834] ppid=947831 vsize=15936 memory=4668 CPUtime=41.02 cores=5,7
/proc/947834/stat : 947834 (DLS-PBO) R 947831 947834 943179 0 -1 4194304 404 0 0 0 1750 2352 0 0 20 0 1 0 182385715 16318464 1167 134679101440 4194304 4311573 140728357444128 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4331680 4334284 14229504 140728357446683 140728357446790 140728357446790 140728357453806 0
/proc/947834/statm: 3984 1167 893 29 0 358 0
Current children cumulated CPU time: 41.02 s
Current children cumulated vsize: 15936 KiB
Current children cumulated memory: 4668 KiB
Child status: 0
Real time (s): 41.1398
CPU time (s): 41.0641
CPU user time (s): 17.5185
CPU system time (s): 23.5456
CPU usage (%): 99.816
Max. virtual memory (cumulated for all children) (KiB): 15936
Max. memory (cumulated for all children) (KiB): 4668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.5185
system time used= 23.5456
maximum resident set size= 4936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 947834
# total CPU time (s): 41.0641
# total CPU user time (s): 17.5185
# total CPU system time (s): 23.5456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.24604 second user time and 0.376984 second system time
The end
Begin job on nodeC012 at 2024-07-18 13:31:40
IDJOB=4443402
IDBENCH=147873
IDSOLVER=3053
FILE ID=nodeC012/4443402-1721302288
RUNJOBID= nodeC012-1721295073-943192
SLURM_JOB_ID= 7542617
Free space on /tmp= 723768 MiB
SOLVER NAME= DLS-PBO 2024-07-09
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
COMMAND LINE= ./DLS-PBO --benchName=BENCHNAME --time_limit=TIMELIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443402-1721302288/watcher-4443402-1721302288 -o /tmp/evaluation-result-4443402-1721302288/solver-4443402-1721302288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721295073-943192 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4443402-1721302288.opb --time_limit=3600
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8150ec280d22960cf2e4079d2206c8ae
RANDOM SEED=242513694
nodeC012.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 : 3646.861
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.37
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 : 3653.125
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.32
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.326
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.37
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.442
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.32
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 : 3646.943
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.37
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 : 1596.439
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.32
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.607
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.37
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.324
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127252848 kB
MemAvailable: 129848296 kB
Buffers: 494696 kB
Cached: 2921352 kB
SwapCached: 0 kB
Active: 988428 kB
Inactive: 2830656 kB
Active(anon): 1464 kB
Inactive(anon): 439580 kB
Active(file): 986964 kB
Inactive(file): 2391076 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 9856 kB
Writeback: 0 kB
AnonPages: 403476 kB
Mapped: 106664 kB
Shmem: 37704 kB
KReclaimable: 114880 kB
Slab: 219320 kB
SReclaimable: 114880 kB
SUnreclaim: 104440 kB
KernelStack: 3936 kB
PageTables: 10200 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 812172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57728 kB
HardwareCorrupted: 0 kB
AnonHugePages: 215040 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: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723768 MiB
End job on nodeC012 at 2024-07-18 13:32:21