0.00/0.00 c Filename:instance-4428394-1722813221.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
1774.59/1779.13 c Use LS-small
1774.59/1779.13 o 84
3557.99/3565.41 s SATISFIABLE
3557.99/3565.41 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 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
3557.99/3565.41 c Done 1774.62s
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62659 MiB free)
memory of node 1: 64473 MiB (57270 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428394-1722813221/watcher-4428394-1722813221 -o /tmp/evaluation-result-4428394-1722813221/solver-4428394-1722813221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722806084-256973 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428394-1722813221.opb -t 3558 -s 1282788952
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=261537, runsolver pid=261534
[startup+0.101039 s]*
/proc/loadavg: 4.18 4.15 4.17 5/243 261538
/proc/meminfo: memFree=122802072/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=23940 memory=15544 CPUtime=0.1 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 1677 0 0 0 10 0 0 0 20 0 1 0 47692200 24514560 3886 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 5985 3886 2429 2403 0 3095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23940 KiB
Current children cumulated memory: 15544 KiB
[startup+0.212577 s]*
/proc/loadavg: 4.18 4.15 4.17 5/243 261538
/proc/meminfo: memFree=122788016/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=39392 memory=30996 CPUtime=0.21 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 5538 0 0 0 21 0 0 0 20 0 1 0 47692200 40337408 7749 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 9848 7749 2461 2403 0 6958 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39392 KiB
Current children cumulated memory: 30996 KiB
[startup+0.31262 s]*
/proc/loadavg: 4.18 4.15 4.17 5/243 261538
/proc/meminfo: memFree=122763684/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=61412 memory=52644 CPUtime=0.31 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 10970 0 0 0 30 1 0 0 20 0 1 0 47692200 62885888 13161 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 15353 13161 2461 2403 0 12463 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 61412 KiB
Current children cumulated memory: 52644 KiB
[startup+0.700315 s]
/proc/loadavg: 4.18 4.15 4.17 6/243 261538
/proc/meminfo: memFree=122743524/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=101212 memory=91852 CPUtime=0.68 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 22158 0 0 0 65 3 0 0 20 0 1 0 47692200 103641088 22963 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 25303 22963 2461 2403 0 22413 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 101212 KiB
Current children cumulated memory: 91852 KiB
[startup+1.50026 s]
/proc/loadavg: 4.18 4.15 4.17 6/236 261560
/proc/meminfo: memFree=124037828/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=118656 memory=107908 CPUtime=1.48 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 26182 0 0 0 144 4 0 0 20 0 1 0 47692200 121503744 26977 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 29664 26977 2461 2403 0 26774 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118656 KiB
Current children cumulated memory: 107908 KiB
[startup+3.11243 s]
/proc/loadavg: 4.18 4.15 4.17 5/243 261630
/proc/meminfo: memFree=123855368/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=118656 memory=107908 CPUtime=3.09 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 26227 0 0 0 305 4 0 0 20 0 1 0 47692200 121503744 26977 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 29664 26977 2461 2403 0 26774 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 118656 KiB
Current children cumulated memory: 107908 KiB
[startup+6.30024 s]
/proc/loadavg: 4.16 4.15 4.17 5/243 261631
/proc/meminfo: memFree=122864060/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=118656 memory=107908 CPUtime=6.27 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 26227 0 0 0 623 4 0 0 20 0 1 0 47692200 121503744 26977 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 29664 26977 2461 2403 0 26774 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118656 KiB
Current children cumulated memory: 107908 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.15 4.17 5/243 261631
/proc/meminfo: memFree=121787436/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=207128 memory=193972 CPUtime=12.65 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 47731 0 0 0 1257 8 0 0 20 0 1 0 47692200 212099072 48493 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 51782 48493 2461 2403 0 48892 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 207128 KiB
Current children cumulated memory: 193972 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.14 4.16 5/243 261633
/proc/meminfo: memFree=120594236/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=212824 memory=201040 CPUtime=25.41 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 49606 0 0 0 2532 9 0 0 20 0 1 0 47692200 217931776 50260 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 53206 50260 2461 2403 0 50316 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 212824 KiB
Current children cumulated memory: 201040 KiB
[startup+51.1126 s]
/proc/loadavg: 4.15 4.15 4.16 5/243 261638
/proc/meminfo: memFree=120305584/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=212916 memory=201412 CPUtime=50.95 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 49669 0 0 0 5085 10 0 0 20 0 1 0 47692200 218025984 50353 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 53229 50353 2461 2403 0 50339 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 212916 KiB
Current children cumulated memory: 201412 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/243 261647
/proc/meminfo: memFree=120283872/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=218124 memory=208840 CPUtime=102 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 51158 0 0 0 10190 10 0 0 20 0 1 0 47692200 223358976 52210 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 54531 52210 2461 2403 0 51641 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 218124 KiB
Current children cumulated memory: 208840 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/242 261658
/proc/meminfo: memFree=120264320/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=249080 memory=239176 CPUtime=161.85 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 58707 0 0 0 16173 12 0 0 20 0 1 0 47692200 255057920 59794 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 62270 59794 2461 2403 0 59380 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 249080 KiB
Current children cumulated memory: 239176 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/242 261668
/proc/meminfo: memFree=120253108/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=249080 memory=240204 CPUtime=221.7 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 58813 0 0 0 22158 12 0 0 20 0 1 0 47692200 255057920 60051 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 62270 60051 2717 2403 0 59380 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 249080 KiB
Current children cumulated memory: 240204 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/242 261680
/proc/meminfo: memFree=120244876/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=255136 memory=245828 CPUtime=281.55 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 60298 0 0 0 28143 12 0 0 20 0 1 0 47692200 261259264 61457 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 63784 61457 2717 2403 0 60894 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 255136 KiB
Current children cumulated memory: 245828 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/242 261690
/proc/meminfo: memFree=120238344/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=257360 memory=248204 CPUtime=341.4 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 60976 0 0 0 34128 12 0 0 20 0 1 0 47692200 263536640 62051 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 64340 62051 2717 2403 0 61450 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 257360 KiB
Current children cumulated memory: 248204 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/244 261704
/proc/meminfo: memFree=120236260/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=258336 memory=249032 CPUtime=401.24 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 61292 0 0 0 40112 12 0 0 20 0 1 0 47692200 264536064 62258 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 64584 62258 2717 2403 0 61694 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 258336 KiB
Current children cumulated memory: 249032 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/244 261715
/proc/meminfo: memFree=120232884/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=261176 memory=251504 CPUtime=461.09 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 61958 0 0 0 46097 12 0 0 20 0 1 0 47692200 267444224 62876 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
################
# More data... #
################
/proc/loadavg: 4.35 4.42 4.23 5/242 263389
/proc/meminfo: memFree=121377976/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3155.54 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 282234 33320 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3155.54 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3222.3 s]
/proc/loadavg: 4.93 4.53 4.28 5/242 263399
/proc/meminfo: memFree=121377304/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3215.44 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 286765 34779 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3215.44 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3282.3 s]
/proc/loadavg: 5.02 4.67 4.35 5/242 263410
/proc/meminfo: memFree=121376436/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3275.34 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 291306 36228 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3275.34 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.43 4.56 4.33 5/242 263420
/proc/meminfo: memFree=121375896/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3335.24 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 295857 37667 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3335.24 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.47 4.31 5/242 263430
/proc/meminfo: memFree=121374964/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3395.15 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 300398 39117 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3395.15 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.41 4.30 5/244 263447
/proc/meminfo: memFree=121374108/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3455.05 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 304955 40550 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3455.05 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.35 4.28 5/244 263457
/proc/meminfo: memFree=121373304/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3514.95 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 309491 42004 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3514.95 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3565.42 s]
# the end of solver process 261537 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3127.64 s, system=430.37 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.17 4.36 4.28 5/244 263458
/proc/meminfo: memFree=121373248/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3525.44 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 310288 42256 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3525.44 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3545.6 s]
/proc/loadavg: 4.13 4.34 4.28 5/244 263460
/proc/meminfo: memFree=121373000/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3538.22 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 311256 42566 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3538.22 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3558.4 s]
/proc/loadavg: 4.11 4.33 4.27 5/244 263464
/proc/meminfo: memFree=121373032/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3551 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 312228 42872 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3551 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3561.6 s]
/proc/loadavg: 4.10 4.32 4.27 5/244 263464
/proc/meminfo: memFree=121373116/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3554.19 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 312471 42948 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3554.19 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3563.2 s]
/proc/loadavg: 4.10 4.32 4.27 5/244 263464
/proc/meminfo: memFree=121373068/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3555.79 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 312594 42985 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3555.79 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3564.8 s]
/proc/loadavg: 4.10 4.32 4.27 5/244 263464
/proc/meminfo: memFree=121373036/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3557.39 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 312717 43022 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3557.39 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3565.2 s]
/proc/loadavg: 4.09 4.31 4.27 4/239 263472
/proc/meminfo: memFree=121413848/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3557.78 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 312747 43031 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3557.78 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
[startup+3565.4 s]
/proc/loadavg: 4.09 4.31 4.27 4/239 263472
/proc/meminfo: memFree=121413848/131655788 swapFree=131071472/131071996
[pid=261537] ppid=261534 vsize=283604 memory=277604 CPUtime=3557.99 cores=5,7
/proc/261537/stat : 261537 (LS-MabS) R 261534 261537 256960 0 -1 4194304 82779 0 0 0 312763 43036 0 0 20 0 1 0 47692200 290410496 69401 134679101440 4194304 14036057 140724935391872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44060672 140724935398432 140724935398534 140724935398534 140724935405550 0
/proc/261537/statm: 70901 69401 2732 2403 0 68011 0
Current children cumulated CPU time: 3557.99 s
Current children cumulated vsize: 283604 KiB
Current children cumulated memory: 277604 KiB
Child status: 0
Real time (s): 3565.42
CPU time (s): 3558.01
CPU user time (s): 3127.64
CPU system time (s): 430.37
CPU usage (%): 99.7922
Max. virtual memory (cumulated for all children) (KiB): 334596
Max. memory (cumulated for all children) (KiB): 324964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3127.64
system time used= 430.37
maximum resident set size= 324964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82784
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= 23
involuntary context switches= 2132
# summary of solver processes directly reported to runsolver:
# pid: 261537
# total CPU time (s): 3558.01
# total CPU user time (s): 3127.64
# total CPU system time (s): 430.37
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3022 second user time and 33.0052 second system time
The end
Begin job on nodeC012 at 2024-08-05 01:13:41
IDJOB=4428394
IDBENCH=155338
IDSOLVER=3048
FILE ID=nodeC012/4428394-1722813221
RUNJOBID= nodeC012-1722806084-256973
SLURM_JOB_ID= 8258570
Free space on /tmp= 723736 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-go19.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428394-1722813221/watcher-4428394-1722813221 -o /tmp/evaluation-result-4428394-1722813221/solver-4428394-1722813221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722806084-256973 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428394-1722813221.opb -t 3558 -s 1282788952
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20
RANDOM SEED=1282788952
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 : 3674.238
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.70
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 : 3655.805
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.37
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.410
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.70
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.356
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.37
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 : 3392.084
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.70
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 : 3491.863
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.37
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.232
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.70
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.215
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122809100 kB
MemAvailable: 128595724 kB
Buffers: 307620 kB
Cached: 6312548 kB
SwapCached: 48 kB
Active: 537388 kB
Inactive: 7834704 kB
Active(anon): 1444 kB
Inactive(anon): 1779920 kB
Active(file): 535944 kB
Inactive(file): 6054784 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 27400 kB
Writeback: 0 kB
AnonPages: 1748064 kB
Mapped: 126976 kB
Shmem: 29440 kB
KReclaimable: 72188 kB
Slab: 155852 kB
SReclaimable: 72188 kB
SUnreclaim: 83664 kB
KernelStack: 3920 kB
PageTables: 12464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2292696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1536000 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 269128 kB
DirectMap2M: 24801280 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC012 at 2024-08-05 02:13:07