0.00/0.01 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.01 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.01 c Starting SCIP solver (with time-limit = 1800s) ...
1795.14/1800.01 c SCIP timeout with lower and upper bounds: [218, 282]
1795.14/1800.09 o 0
3600.04/3610.10
3600.04/3610.10 v x359 x235 -x63 x6 -x341 x236 -x400 -x363 x340 x240 x7 -x399 -x361 x239 x8 x401 x342 -x237 -x144 x11 x434 -x362 x344 -x238 -x143 x9 -x417 -x366 x145 -x10 -x421 x345 x435 x358 x234 x183 -x62 -x3 -x337 x233 -x187 x5 x364 -x336 -x321 x244 x4 x12 -x367 x343 x402 -x365 x346 -x416 x410 -x420 x406 x146 x405 -x387 x154 -x27 x150 -x31 -x356 -x317 -x252 x247 x182 x64 x360 -x256 x248 -x186 x2 x357 -x320 x243 x20 -x368 x338 x16 x407 x339 -x241 -x161 -x68 x15 x409 -x165 x418 -x383 x350 -x151 -x129 -x422 x153 x403 -x386 -x302 -x26 x149 -x30 -x316 -x274 -x251 x245 x184 x65 -x17 -x355 -x278 -x255 x188 -x19 x376 x322 -x84 -x69 -x412 -x408 x372 -x88 -x67 x411 x371 x353 -x242 -x190 -x160 -x125 -x48 -x13 x354 -x191 -x164 -x152 x419 -x382 x349 -x325 -x298 -x128 -x14 x423 x424 -x404 -x388 -x347 x301 x28 x425 -x147 x32 -x373 -x318 -x273 x253 -x246 x185 x66 -x18 x375 -x277 -x257 x189 -x70 -x352 x323 x193 -x83 -x44 -x351 x192 -x87 -x378 x369 x326 -x259 -x162 -x124 -x47 x413 -x324 -x260 -x166 -x22 x414 x384 -x370 -x297 x130 -x21 x415 -x429 x389 -x348 x303 -x168 x29 -x169 -x148 x33 -x374 -x314 x275 x254 -x181 x78 -x319 -x279 x258 x180 -x156 x74 x315 x262 x197 -x155 -x120 -x85 -x73 -x43 x327 -x261 -x89 -x293 -x281 -x221 -x163 x126 -x112 -x49 -x377 -x282 -x225 x167 x432 -x379 -x299 x171 x131 -x91 x433 x385 -x170 -x92 -x23 -x428 x381 x304 -x211 -x132 -x52 x24 x390 -x133 x25 x276 -x250 -x200 x80 x77 -x39 x313 x280 x249 -x201 -x335 x284 x266 -x196 -x108 -x86 -x71 x45 x331 -x283 -x157 -x119 x90 -x431 -x330 -x220 -x194 x158 -x121 -x111 x94 -x72 x50 -x430 -x292 -x224 x159 x127 x93 -x294 -x207 x175 x123 x53 x380 x300 -x134 -x51 -x426 x398 x296 -x210 x36 x394 x305 x37 -x332 x272 x269 -x198 -x75 -x334 x271 x270 x79 -x38 -x288 x265 -x107 x81 x40 x82 x46 -x328 x263 -x222 -x195 x178 -x113 -x98 x42 -x226 x179 -x122 x54 -x395 -x329 -x206 x174 x142 -x35 -x397 x295 x138 -x34 -x427 x312 -x228 x212 -x172 -x137 x116 x393 x308 -x229 -x333 x289 x267 -x199 -x105 -x76 x291 -x216 -x287 -x215 -x177 -x109 x101 -x176 x102 x41 -x285 -x264 x223 -x204 -x139 x114 -x97 x61 -x396 x227 -x141 x58 -x309 -x231 x208 x117 -x95 x57 x311 -x230 x115 x213 -x173 -x135 x391 x306 x290 x268 x100 -x104 x99 x103 x60 -x217 -x140 x110 x59 -x286 x218 x106 -x310 x219 -x203 x118 -x232 x202 -x96 x55 x209 x205 -x136 x56 x392 x307 x214 x1
3600.04/3610.10 s SATISFIABLE
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 (61576 MiB free)
memory of node 1: 64510 MiB (60676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438755-1721194629/watcher-4438755-1721194629 -o /tmp/evaluation-result-4438755-1721194629/solver-4438755-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721194642-888932 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438755-1721194629.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=888985, runsolver pid=888978
[startup+0.100825 s]*
/proc/loadavg: 0.25 0.14 0.10 8/257 888997
/proc/meminfo: memFree=125094348/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=39968 memory=28640 CPUtime=0.09 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 4799 0 0 0 9 0 0 0 20 0 1 0 171627901 40927232 7160 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 9568 7160 2650 2726 0 6316 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 28640 KiB
[startup+0.205512 s]*
/proc/loadavg: 0.25 0.14 0.10 5/257 888997
/proc/meminfo: memFree=125012832/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=46984 memory=36572 CPUtime=0.2 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 6866 0 0 0 19 1 0 0 20 0 1 0 171627901 48111616 9143 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 11746 9143 2746 2726 0 8494 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46984 KiB
Current children cumulated memory: 36572 KiB
[startup+0.305882 s]*
/proc/loadavg: 0.25 0.14 0.10 6/257 888997
/proc/meminfo: memFree=124928716/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=46984 memory=36572 CPUtime=0.3 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 6872 0 0 0 29 1 0 0 20 0 1 0 171627901 48111616 9143 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 11746 9143 2746 2726 0 8494 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46984 KiB
Current children cumulated memory: 36572 KiB
[startup+0.70021 s]
/proc/loadavg: 0.25 0.14 0.10 7/257 888997
/proc/meminfo: memFree=124705268/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=64492 memory=53636 CPUtime=0.69 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 11125 0 0 0 67 2 0 0 20 0 1 0 171627901 66039808 13409 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 16123 13409 2762 2726 0 12871 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 64492 KiB
Current children cumulated memory: 53636 KiB
[startup+1.50022 s]
/proc/loadavg: 0.25 0.14 0.10 6/257 888999
/proc/meminfo: memFree=124413816/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=99120 memory=84788 CPUtime=1.48 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 18968 0 0 0 145 3 0 0 20 0 1 0 171627901 101498880 21197 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 24780 21197 2762 2726 0 21528 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 99120 KiB
Current children cumulated memory: 84788 KiB
[startup+3.10641 s]
/proc/loadavg: 0.25 0.14 0.10 6/257 888999
/proc/meminfo: memFree=124130132/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=131820 memory=113564 CPUtime=3.09 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 26111 0 0 0 305 4 0 0 20 0 1 0 171627901 134983680 28391 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 32955 28391 2762 2726 0 29703 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 131820 KiB
Current children cumulated memory: 113564 KiB
[startup+6.30022 s]
/proc/loadavg: 0.55 0.20 0.12 6/257 889045
/proc/meminfo: memFree=123865332/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=138176 memory=118380 CPUtime=6.27 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 28243 0 0 0 623 4 0 0 20 0 1 0 171627901 141492224 29595 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 34544 29595 2762 2726 0 31292 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 138176 KiB
Current children cumulated memory: 118380 KiB
[startup+12.7002 s]
/proc/loadavg: 0.91 0.28 0.15 6/257 889046
/proc/meminfo: memFree=123555380/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=138176 memory=118380 CPUtime=12.65 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 28244 0 0 0 1261 4 0 0 20 0 1 0 171627901 141492224 29595 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 34544 29595 2762 2726 0 31292 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 138176 KiB
Current children cumulated memory: 118380 KiB
[startup+25.5002 s]
/proc/loadavg: 1.59 0.47 0.21 7/257 889048
/proc/meminfo: memFree=122831664/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=180136 memory=156912 CPUtime=25.42 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 37877 0 0 0 2536 6 0 0 20 0 1 0 171627901 184459264 39228 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 45034 39228 2762 2726 0 41782 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 180136 KiB
Current children cumulated memory: 156912 KiB
[startup+51.1061 s]
/proc/loadavg: 2.42 0.75 0.31 7/257 889052
/proc/meminfo: memFree=122722684/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=201424 memory=176920 CPUtime=50.97 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 47638 0 0 0 5089 8 0 0 20 0 1 0 171627901 206258176 44230 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 50356 44230 2762 2726 0 47104 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 201424 KiB
Current children cumulated memory: 176920 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.29 0.52 6/257 889061
/proc/meminfo: memFree=122754112/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=219672 memory=185812 CPUtime=102.04 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 50937 0 0 0 10195 9 0 0 20 0 1 0 171627901 224944128 46453 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 54918 46453 2762 2726 0 51666 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 219672 KiB
Current children cumulated memory: 185812 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.80 0.75 6/260 889077
/proc/meminfo: memFree=122659896/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=232680 memory=198964 CPUtime=161.91 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 54256 0 0 0 16181 10 0 0 20 0 1 0 171627901 238264320 49741 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 58170 49741 2762 2726 0 54918 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 232680 KiB
Current children cumulated memory: 198964 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.22 0.96 6/260 889087
/proc/meminfo: memFree=122666076/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=257944 memory=216160 CPUtime=221.75 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 60929 0 0 0 22163 12 0 0 20 0 1 0 171627901 264134656 54040 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 64486 54040 2762 2726 0 61234 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 257944 KiB
Current children cumulated memory: 216160 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.57 1.16 6/260 889097
/proc/meminfo: memFree=122641820/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=272860 memory=228832 CPUtime=281.59 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 64418 0 0 0 28147 12 0 0 20 0 1 0 171627901 279408640 57208 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 68215 57208 2762 2726 0 64963 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 272860 KiB
Current children cumulated memory: 228832 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 2.85 1.35 6/257 889108
/proc/meminfo: memFree=122623460/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=281896 memory=237340 CPUtime=341.44 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 68034 0 0 0 34131 13 0 0 20 0 1 0 171627901 288661504 59335 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 70474 59335 2762 2726 0 67222 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 281896 KiB
Current children cumulated memory: 237340 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.08 1.52 6/257 889119
/proc/meminfo: memFree=122613452/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=294572 memory=243808 CPUtime=401.29 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 72777 0 0 0 40115 14 0 0 20 0 1 0 171627901 301641728 60952 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 73643 60952 2762 2726 0 70391 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 294572 KiB
Current children cumulated memory: 243808 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.26 1.68 6/257 889129
/proc/meminfo: memFree=122560412/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=305336 memory=253036 CPUtime=461.13 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 76682 0 0 0 46099 14 0 0 20 0 1 0 171627901 312664064 63259 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 76334 63259 2762 2726 0 73082 0
################
# More data... #
################
Current children cumulated memory: 315216 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 3.99 6/256 890575
/proc/meminfo: memFree=122676644/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=361184 memory=353796 CPUtime=2913.92 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 138269 0 0 0 291356 36 0 0 20 0 1 0 171627901 369852416 88449 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 90296 88449 2826 2726 0 87044 0
Current children cumulated CPU time: 2913.92 s
Current children cumulated vsize: 361184 KiB
Current children cumulated memory: 353796 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.00 6/256 890585
/proc/meminfo: memFree=122477964/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=322396 memory=315216 CPUtime=2973.78 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 139028 0 0 0 297340 38 0 0 20 0 1 0 171627901 330133504 78804 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 80599 78804 2826 2726 0 77347 0
Current children cumulated CPU time: 2973.78 s
Current children cumulated vsize: 322396 KiB
Current children cumulated memory: 315216 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.01 6/257 890765
/proc/meminfo: memFree=122636228/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=322396 memory=315216 CPUtime=3033.62 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 139813 0 0 0 303323 39 0 0 20 0 1 0 171627901 330133504 78804 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 80599 78804 2826 2726 0 77347 0
Current children cumulated CPU time: 3033.62 s
Current children cumulated vsize: 322396 KiB
Current children cumulated memory: 315216 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.01 6/256 890775
/proc/meminfo: memFree=122595068/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=364004 memory=356800 CPUtime=3093.48 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 140389 0 0 0 309307 41 0 0 20 0 1 0 171627901 372740096 89200 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 91001 89200 2826 2726 0 87749 0
Current children cumulated CPU time: 3093.48 s
Current children cumulated vsize: 364004 KiB
Current children cumulated memory: 356800 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.01 6/258 890843
/proc/meminfo: memFree=122511284/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=322396 memory=315216 CPUtime=3153.34 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 141280 0 0 0 315291 43 0 0 20 0 1 0 171627901 330133504 78804 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 80599 78804 2826 2726 0 77347 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 322396 KiB
Current children cumulated memory: 315216 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.01 6/258 890854
/proc/meminfo: memFree=122509756/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=322396 memory=315216 CPUtime=3213.19 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 141358 0 0 0 321276 43 0 0 20 0 1 0 171627901 330133504 78804 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 80599 78804 2826 2726 0 77347 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 322396 KiB
Current children cumulated memory: 315216 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.02 6/258 890864
/proc/meminfo: memFree=122500028/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=329616 memory=322368 CPUtime=3273.05 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 142748 0 0 0 327262 43 0 0 20 0 1 0 171627901 337526784 80592 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 82404 80592 2826 2726 0 79152 0
Current children cumulated CPU time: 3273.05 s
Current children cumulated vsize: 329616 KiB
Current children cumulated memory: 322368 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.02 6/258 890874
/proc/meminfo: memFree=122689396/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=332288 memory=324856 CPUtime=3332.9 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 142993 0 0 0 333247 43 0 0 20 0 1 0 171627901 340262912 81214 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 83072 81214 2826 2726 0 79820 0
Current children cumulated CPU time: 3332.9 s
Current children cumulated vsize: 332288 KiB
Current children cumulated memory: 324856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.02 6/257 890885
/proc/meminfo: memFree=122683096/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=332288 memory=325108 CPUtime=3392.75 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 143075 0 0 0 339232 43 0 0 20 0 1 0 171627901 340262912 81277 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 83072 81277 2826 2726 0 79820 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 332288 KiB
Current children cumulated memory: 325108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.13 4.03 6/257 890896
/proc/meminfo: memFree=122674640/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=332288 memory=325108 CPUtime=3452.6 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 143164 0 0 0 345217 43 0 0 20 0 1 0 171627901 340262912 81277 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 83072 81277 2826 2726 0 79820 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 332288 KiB
Current children cumulated memory: 325108 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.03 6/254 890906
/proc/meminfo: memFree=122671440/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=334896 memory=327612 CPUtime=3512.46 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 143906 0 0 0 351203 43 0 0 20 0 1 0 171627901 342933504 81903 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 83724 81903 2826 2726 0 80472 0
Current children cumulated CPU time: 3512.46 s
Current children cumulated vsize: 334896 KiB
Current children cumulated memory: 327612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.03 6/254 890916
/proc/meminfo: memFree=122646564/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=339716 memory=332472 CPUtime=3572.3 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 144681 0 0 0 357187 43 0 0 20 0 1 0 171627901 347869184 83118 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 84929 83118 2826 2726 0 81677 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 339716 KiB
Current children cumulated memory: 332472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.10 4.11 4.03 6/255 890921
/proc/meminfo: memFree=122641128/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=339716 memory=332536 CPUtime=3600.04 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 144777 0 0 0 359961 43 0 0 20 0 1 0 171627901 347869184 83134 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 84929 83134 2826 2726 0 81677 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 339716 KiB
Current children cumulated memory: 332536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 888985 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.62 s, system=0.440687 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.10 4.11 4.03 6/255 890921
/proc/meminfo: memFree=122641128/131524600 swapFree=131071996/131071996
[pid=888985] ppid=888978 vsize=339716 memory=332536 CPUtime=3600.04 cores=4,6
/proc/888985/stat : 888985 (CASHWMaxSAT-Dis) R 888978 888985 888921 0 -1 4194304 144777 0 0 0 359961 43 0 0 20 0 1 0 171627901 347869184 83134 134679101440 4194304 15356333 140726541749008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23433216 140726541755362 140726541755478 140726541755478 140726541762494 0
/proc/888985/statm: 84929 83134 2826 2726 0 81677 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 339716 KiB
Current children cumulated memory: 332536 KiB
Child status: 10
Real time (s): 3610.11
CPU time (s): 3600.06
CPU user time (s): 3599.62
CPU system time (s): 0.440687
CPU usage (%): 99.7215
Max. virtual memory (cumulated for all children) (KiB): 434876
Max. memory (cumulated for all children) (KiB): 412608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.62
system time used= 0.440687
maximum resident set size= 412608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144777
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= 45
involuntary context switches= 1889
# summary of solver processes directly reported to runsolver:
# pid: 888985
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.62
# total CPU system time (s): 0.440687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62086 second user time and 18.0957 second system time
The end
Begin job on nodeC024 at 2024-07-17 07:37:23
IDJOB=4438755
IDBENCH=146653
IDSOLVER=3074
FILE ID=nodeC024/4438755-1721194629
RUNJOBID= nodeC024-1721194642-888932
SLURM_JOB_ID= 7508885
Free space on /tmp= 890084 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438755-1721194629/watcher-4438755-1721194629 -o /tmp/evaluation-result-4438755-1721194629/solver-4438755-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721194642-888932 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438755-1721194629.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7fa9d6bae1eb6fc87d1fc158a8928861
RANDOM SEED=346687897
nodeC024.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 : 3800.050
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.60
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 : 3787.454
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3602.830
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.60
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 : 3723.872
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3621.582
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.60
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 : 3702.532
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3783.815
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.60
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 : 3684.303
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125188432 kB
MemAvailable: 129672196 kB
Buffers: 439064 kB
Cached: 4829868 kB
SwapCached: 0 kB
Active: 803924 kB
Inactive: 4822812 kB
Active(anon): 1456 kB
Inactive(anon): 394156 kB
Active(file): 802468 kB
Inactive(file): 4428656 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58756 kB
Writeback: 4 kB
AnonPages: 357848 kB
Mapped: 104540 kB
Shmem: 37720 kB
KReclaimable: 184576 kB
Slab: 301944 kB
SReclaimable: 184576 kB
SUnreclaim: 117368 kB
KernelStack: 3856 kB
PageTables: 9592 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 609816 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63488 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 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: 240340 kB
DirectMap2M: 23650304 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC024 at 2024-07-17 08:37:33