0.00/0.00 c Filename:instance-4449782-1722827517.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
1773.09/1779.40 c Use LS-small
1773.09/1779.40 o 5
3557.92/3567.38 s SATISFIABLE
3557.92/3567.38 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
3557.92/3567.38 c Done 1773.09s
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 (62859 MiB free)
memory of node 1: 64473 MiB (58345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449782-1722827517/watcher-4449782-1722827517 -o /tmp/evaluation-result-4449782-1722827517/solver-4449782-1722827517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722827517-269724 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4449782-1722827517.opb -t 3558 -s 1270932681
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=269777, runsolver pid=269771
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=124057860/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=37836 memory=27432 CPUtime=0.11 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 4866 0 0 0 9 2 0 0 20 0 1 0 49121856 38744064 6858 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 9459 6858 2237 2403 0 6569 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 37836 KiB
Current children cumulated memory: 27432 KiB
[startup+0.214011 s]*
/proc/loadavg: 3.61 4.04 4.14 6/244 269785
/proc/meminfo: memFree=124000944/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=56928 memory=45360 CPUtime=0.22 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 9289 0 0 0 19 3 0 0 20 0 1 0 49121856 58294272 11340 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 14232 11340 2301 2403 0 11342 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 56928 KiB
Current children cumulated memory: 45360 KiB
[startup+0.314542 s]*
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123953500/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=64200 memory=51708 CPUtime=0.32 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 11025 0 0 0 29 3 0 0 20 0 1 0 49121856 65740800 12927 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 16050 12927 2333 2403 0 13160 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 64200 KiB
Current children cumulated memory: 51708 KiB
[startup+0.700362 s]
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123816256/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=126284 memory=109300 CPUtime=0.68 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 20817 0 0 0 61 7 0 0 20 0 1 0 49121856 129314816 27325 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 31571 27325 2365 2403 0 28681 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126284 KiB
Current children cumulated memory: 109300 KiB
[startup+1.50026 s]
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123733676/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=141964 memory=125080 CPUtime=1.48 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 26263 0 0 0 139 9 0 0 20 0 1 0 49121856 145371136 31270 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 35491 31270 2461 2403 0 32601 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 141964 KiB
Current children cumulated memory: 125080 KiB
[startup+3.11336 s]
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123511392/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=170632 memory=142316 CPUtime=3.09 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 31156 0 0 0 299 10 0 0 20 0 1 0 49121856 174727168 35579 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 42658 35579 2461 2403 0 39768 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 170632 KiB
Current children cumulated memory: 142316 KiB
[startup+6.3003 s]
/proc/loadavg: 3.64 4.04 4.14 5/245 269786
/proc/meminfo: memFree=123445808/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=211856 memory=172860 CPUtime=6.27 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 38838 0 0 0 615 12 0 0 20 0 1 0 49121856 216940544 43215 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 52964 43215 2461 2403 0 50074 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 211856 KiB
Current children cumulated memory: 172860 KiB
[startup+12.7003 s]
/proc/loadavg: 3.67 4.04 4.14 5/245 269788
/proc/meminfo: memFree=123387788/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=217456 memory=176008 CPUtime=12.64 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 39647 0 0 0 1252 12 0 0 20 0 1 0 49121856 222674944 44002 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 54364 44002 2461 2403 0 51474 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 217456 KiB
Current children cumulated memory: 176008 KiB
[startup+25.5003 s]
/proc/loadavg: 3.74 4.04 4.13 5/245 269790
/proc/meminfo: memFree=123227620/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=248836 memory=207864 CPUtime=25.39 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 50955 0 0 0 2524 15 0 0 20 0 1 0 49121856 254808064 51966 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 62209 51966 2461 2403 0 59319 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 248836 KiB
Current children cumulated memory: 207864 KiB
[startup+51.1138 s]
/proc/loadavg: 3.90 4.05 4.14 5/245 269795
/proc/meminfo: memFree=123098452/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=286768 memory=232592 CPUtime=50.91 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 57698 0 0 0 5073 18 0 0 20 0 1 0 49121856 293650432 58148 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 71692 58148 2461 2403 0 68802 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 286768 KiB
Current children cumulated memory: 232592 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.06 4.13 5/245 269804
/proc/meminfo: memFree=122921888/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=336596 memory=281740 CPUtime=101.9 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 67378 0 0 0 10169 21 0 0 20 0 1 0 49121856 344674304 70435 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 84149 70435 2461 2403 0 81259 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 336596 KiB
Current children cumulated memory: 281740 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.06 4.13 5/245 269815
/proc/meminfo: memFree=122779136/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=383240 memory=327596 CPUtime=161.66 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 77625 0 0 0 16143 23 0 0 20 0 1 0 49121856 392437760 81899 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 95810 81899 2717 2403 0 92920 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 383240 KiB
Current children cumulated memory: 327596 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.09 4.13 5/245 269826
/proc/meminfo: memFree=122606100/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=429668 memory=373504 CPUtime=221.41 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 88266 0 0 0 22115 26 0 0 20 0 1 0 49121856 439980032 93376 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 107417 93376 2717 2403 0 104527 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 429668 KiB
Current children cumulated memory: 373504 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.13 5/242 269837
/proc/meminfo: memFree=122427916/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=471200 memory=414764 CPUtime=281.14 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 98615 0 0 0 28087 27 0 0 20 0 1 0 49121856 482508800 103691 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 117800 103691 2717 2403 0 114910 0
Current children cumulated CPU time: 281.14 s
Current children cumulated vsize: 471200 KiB
Current children cumulated memory: 414764 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.10 4.13 5/241 269848
/proc/meminfo: memFree=122289676/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=498524 memory=442748 CPUtime=340.88 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 105575 0 0 0 34060 28 0 0 20 0 1 0 49121856 510488576 110687 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 124631 110687 2717 2403 0 121741 0
Current children cumulated CPU time: 340.88 s
Current children cumulated vsize: 498524 KiB
Current children cumulated memory: 442748 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/241 269860
/proc/meminfo: memFree=122134580/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=532640 memory=477068 CPUtime=400.62 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 117191 0 0 0 40032 30 0 0 20 0 1 0 49121856 545423360 119267 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 133160 119267 2717 2403 0 130270 0
Current children cumulated CPU time: 400.62 s
Current children cumulated vsize: 532640 KiB
Current children cumulated memory: 477068 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/241 269871
/proc/meminfo: memFree=121981484/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=569700 memory=514036 CPUtime=460.36 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 128112 0 0 0 46004 32 0 0 20 0 1 0 49121856 583372800 128509 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
################
# More data... #
################
/proc/loadavg: 4.17 4.14 4.17 5/244 271571
/proc/meminfo: memFree=121651548/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3213.51 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346069 0 0 0 317511 3840 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/241 271581
/proc/meminfo: memFree=121650932/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3273.41 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346075 0 0 0 323338 4003 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3273.41 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/241 271592
/proc/meminfo: memFree=121650184/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3333.31 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346081 0 0 0 329168 4163 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/241 271603
/proc/meminfo: memFree=121649632/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3393.21 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346087 0 0 0 335006 4315 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/241 271614
/proc/meminfo: memFree=121648920/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3453.1 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346093 0 0 0 340838 4472 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 271629
/proc/meminfo: memFree=121648132/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3513 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346099 0 0 0 346674 4626 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3567.38 s]
# the end of solver process 269777 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3510.53 s, system=47.4831 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.14 4.14 4.17 5/244 271630
/proc/meminfo: memFree=121647964/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3523.48 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346099 0 0 0 347695 4653 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3523.48 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3545.6 s]
/proc/loadavg: 4.12 4.13 4.16 5/244 271633
/proc/meminfo: memFree=121647904/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3536.26 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346102 0 0 0 348941 4685 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3536.26 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3558.4 s]
/proc/loadavg: 4.09 4.12 4.16 5/244 271635
/proc/meminfo: memFree=121647856/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3549.04 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346102 0 0 0 350183 4721 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3549.04 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3561.6 s]
/proc/loadavg: 4.09 4.12 4.16 5/244 271637
/proc/meminfo: memFree=121647620/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3552.23 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346102 0 0 0 350493 4730 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3552.23 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3564.8 s]
/proc/loadavg: 4.09 4.12 4.16 5/244 271637
/proc/meminfo: memFree=121647724/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3555.43 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346102 0 0 0 350802 4741 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3555.43 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3566.4 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 271637
/proc/meminfo: memFree=121647700/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3557.02 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346102 0 0 0 350957 4745 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3557.02 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3566.8 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 271637
/proc/meminfo: memFree=121647700/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3557.42 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346102 0 0 0 350996 4746 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3557.42 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3567.2 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 271637
/proc/meminfo: memFree=121647660/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3557.82 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346102 0 0 0 351035 4747 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3557.82 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
[startup+3567.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 271637
/proc/meminfo: memFree=121647660/131655788 swapFree=131071472/131071996
[pid=269777] ppid=269771 vsize=973248 memory=967236 CPUtime=3557.92 cores=1,3
/proc/269777/stat : 269777 (LS-MabS) R 269771 269777 269712 0 -1 4194304 346102 0 0 0 351045 4747 0 0 20 0 1 0 49121856 996605952 241809 134679101440 4194304 14036057 140737384658352 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39165952 140737384662048 140737384662150 140737384662150 140737384669166 0
/proc/269777/statm: 243312 241809 2748 2403 0 240422 0
Current children cumulated CPU time: 3557.92 s
Current children cumulated vsize: 973248 KiB
Current children cumulated memory: 967236 KiB
Child status: 0
Real time (s): 3567.38
CPU time (s): 3558.01
CPU user time (s): 3510.53
CPU system time (s): 47.4831
CPU usage (%): 99.7373
Max. virtual memory (cumulated for all children) (KiB): 1257188
Max. memory (cumulated for all children) (KiB): 1218888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3510.53
system time used= 47.4831
maximum resident set size= 1218888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346110
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= 83
involuntary context switches= 5653
# summary of solver processes directly reported to runsolver:
# pid: 269777
# total CPU time (s): 3558.01
# total CPU user time (s): 3510.53
# total CPU system time (s): 47.4831
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5004 second user time and 33.0859 second system time
The end
Begin job on nodeC012 at 2024-08-05 05:11:57
IDJOB=4449782
IDBENCH=176142
IDSOLVER=3048
FILE ID=nodeC012/4449782-1722827517
RUNJOBID= nodeC012-1722827517-269724
SLURM_JOB_ID= 8258630
Free space on /tmp= 723772 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=9.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-4449782-1722827517/watcher-4449782-1722827517 -o /tmp/evaluation-result-4449782-1722827517/solver-4449782-1722827517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722827517-269724 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4449782-1722827517.opb -t 3558 -s 1270932681
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5bbd9c37a994af6c8eea19ef18cfb445
RANDOM SEED=1270932681
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 : 1197.256
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 : 1197.419
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.206
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.206
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 : 1197.207
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 : 1197.206
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.401
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.222
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: 124116776 kB
MemAvailable: 129996828 kB
Buffers: 315096 kB
Cached: 6396820 kB
SwapCached: 48 kB
Active: 537940 kB
Inactive: 6526156 kB
Active(anon): 1348 kB
Inactive(anon): 379988 kB
Active(file): 536592 kB
Inactive(file): 6146168 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 54788 kB
Writeback: 0 kB
AnonPages: 351072 kB
Mapped: 96236 kB
Shmem: 29440 kB
KReclaimable: 74980 kB
Slab: 159204 kB
SReclaimable: 74980 kB
SUnreclaim: 84224 kB
KernelStack: 3896 kB
PageTables: 8932 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 781312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20096 kB
HardwareCorrupted: 0 kB
AnonHugePages: 223232 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= 723728 MiB
End job on nodeC012 at 2024-08-05 06:11:25