0.00/0.00 c Filename:instance-4458367-1722827658.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Use Presolve
0.00/0.01 c Parse finsih
0.00/0.01 c Start Presolve
0.00/0.04 c After Reduce Vars: 304 Clauses: 638 Top clause weight: 131069 Hard Clauses: 608
0.00/0.04 c Use LS-small
0.00/0.04 c Use postsolve
0.00/0.04 o 0
3557.96/3563.15 s SATISFIABLE
3557.96/3563.15 c Use postsolve
3557.96/3563.15 v -x385 -x401 -x386 -x402 -x387 -x403 -x388 -x404 -x389 -x405 -x390 -x406 -x391 -x407 -x392 -x408 -x393 -x409 -x394 -x410 -x395 -x411 -x396 -x412 -x397 -x413 -x398 -x414 -x399 -x415 -x400 -x416 -x17 -x1 -x9 -x257 -x81 -x321 -x25 -x2 -x18 -x10 -x265 -x145 -x258 -x89 -x82 -x329 -x201 -x322 -x33 -x3 -x26 -x19 -x11 -x273 -x152 -x266 -x146 -x259 -x97 -x90 -x83 -x337 -x208 -x330 -x202 -x323 -x41 -x4 -x34 -x27 -x20 -x12 -x281 -x159 -x274 -x153 -x267 -x147 -x260 -x105 -x98 -x91 -x84 -x345 -x215 -x338 -x209 -x331 -x203 -x324 -x49 -x5 -x42 -x35 -x28 -x21 -x13 -x289 -x166 -x282 -x160 -x275 -x154 -x268 -x148 -x261 -x113 -x106 -x99 -x92 -x85 -x353 -x222 -x346 -x216 -x339 -x210 -x332 -x204 -x325 -x57 -x6 -x50 -x43 -x36 -x29 -x22 -x14 -x297 -x173 -x290 -x167 -x283 -x161 -x276 -x155 -x269 -x149 -x262 -x121 -x114 -x107 -x100 -x93 -x86 -x361 -x229 -x354 -x223 -x347 -x217 -x340 -x211 -x333 -x205 -x326 -x65 -x7 -x58 -x51 -x44 -x37 -x30 -x23 -x15 -x305 -x180 -x298 -x174 -x291 -x168 -x284 -x162 -x277 -x156 -x270 -x150 -x263 -x129 -x122 -x115 -x108 -x101 -x94 -x87 -x369 -x236 -x362 -x230 -x355 -x224 -x348 -x218 -x341 -x212 -x334 -x206 -x327 -x73 -x8 -x66 -x59 -x52 -x45 -x38 -x31 -x24 -x16 -x313 -x187 -x306 -x181 -x299 -x175 -x292 -x169 -x285 -x163 -x278 -x157 -x271 -x151 -x264 -x137 -x130 -x123 -x116 -x109 -x102 -x95 -x88 -x377 -x243 -x370 -x237 -x363 -x231 -x356 -x225 -x349 -x219 -x342 -x213 -x335 -x207 -x328 -x74 -x67 -x60 -x53 -x46 -x39 -x32 -x194 -x314 -x188 -x307 -x182 -x300 -x176 -x293 -x170 -x286 -x164 -x279 -x158 -x272 -x138 -x131 -x124 -x117 -x110 -x103 -x96 -x250 -x378 -x244 -x371 -x238 -x364 -x232 -x357 -x226 -x350 -x220 -x343 -x214 -x336 -x75 -x68 -x61 -x54 -x47 -x40 -x195 -x315 -x189 -x308 -x183 -x301 -x177 -x294 -x171 -x287 -x165 -x280 -x139 -x132 -x125 -x118 -x111 -x104 -x251 -x379 -x245 -x372 -x239 -x365 -x233 -x358 -x227 -x351 -x221 -x344 -x76 -x69 -x62 -x55 -x48 -x196 -x316 -x190 -x309 -x184 -x302 -x178 -x295 -x172 -x288 -x140 -x133 -x126 -x119 -x112 -x252 -x380 -x246 -x373 -x240 -x366 -x234 -x359 -x228 -x352 -x77 -x70 -x63 -x56 -x197 -x317 -x191 -x310 -x185 -x303 -x179 -x296 -x141 -x134 -x127 -x120 -x253 -x381 -x247 -x374 -x241 -x367 -x235 -x360 -x78 -x71 -x64 -x198 -x318 -x192 -x311 -x186 -x304 -x142 -x135 -x128 -x254 -x382 -x248 -x375 -x242 -x368 -x79 -x72 -x199 -x319 -x193 -x312 -x143 -x136 -x255 -x383 -x249 -x376 -x80 -x200 -x320 -x144 -x256 -x384
3557.96/3563.15 c Done 0.04s
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 (53767 MiB free)
memory of node 1: 64473 MiB (62787 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458367-1722827658/watcher-4458367-1722827658 -o /tmp/evaluation-result-4458367-1722827658/solver-4458367-1722827658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722827658-271692 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4458367-1722827658.opb -t 3558 -s 262578126 --no-s
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=271750, runsolver pid=271737
[startup+0.100629 s]*
/proc/loadavg: 3.43 4.08 4.15 8/245 271755
/proc/meminfo: memFree=119318412/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=0.1 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 10 0 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+0.214873 s]*
/proc/loadavg: 3.43 4.08 4.15 5/245 271755
/proc/meminfo: memFree=119313444/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=0.21 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 18 3 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+0.313118 s]*
/proc/loadavg: 3.43 4.08 4.15 5/245 271755
/proc/meminfo: memFree=119304396/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=0.31 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 26 5 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+0.700277 s]
/proc/loadavg: 3.43 4.08 4.15 6/245 271755
/proc/meminfo: memFree=119296556/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=0.69 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 56 13 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+1.50024 s]
/proc/loadavg: 3.43 4.08 4.15 8/245 271755
/proc/meminfo: memFree=119295560/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=1.49 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 121 28 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3.11265 s]
/proc/loadavg: 3.47 4.08 4.15 8/245 271755
/proc/meminfo: memFree=119295236/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3.09 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 251 58 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+6.30022 s]
/proc/loadavg: 3.47 4.08 4.15 8/245 271755
/proc/meminfo: memFree=119295148/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=6.27 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 506 121 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+12.7002 s]
/proc/loadavg: 3.55 4.08 4.14 8/245 271757
/proc/meminfo: memFree=119294544/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=12.67 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 1026 241 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+25.5002 s]
/proc/loadavg: 3.62 4.07 4.14 8/245 271758
/proc/meminfo: memFree=119293772/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=25.44 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 2041 503 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+51.1124 s]
/proc/loadavg: 3.82 4.08 4.14 8/245 271763
/proc/meminfo: memFree=119291920/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=51.02 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 4078 1024 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+102.3 s]
/proc/loadavg: 3.99 4.08 4.14 8/243 271772
/proc/meminfo: memFree=119291396/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=102.13 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 8161 2052 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.14 8/243 271783
/proc/meminfo: memFree=119290728/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=162.04 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 12948 3256 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 162.04 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.14 8/243 271793
/proc/meminfo: memFree=119289708/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=221.95 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 17728 4467 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 221.95 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.13 8/243 271804
/proc/meminfo: memFree=119289136/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=281.87 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 22515 5672 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 281.87 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.11 4.13 8/241 271815
/proc/meminfo: memFree=119288640/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=341.79 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 27298 6881 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 341.79 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.13 8/243 271830
/proc/meminfo: memFree=119288000/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=401.69 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 414 0 0 0 32112 8057 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 401.69 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.12 8/243 271840
/proc/meminfo: memFree=119287424/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=461.61 cores=4,6
################
# More data... #
################
/proc/loadavg: 4.22 4.36 4.25 8/241 273524
/proc/meminfo: memFree=119259340/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3217.63 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 257375 64388 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3217.63 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.30 4.24 8/241 273535
/proc/meminfo: memFree=119258676/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3277.55 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 262166 65589 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3277.55 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.28 4.24 8/241 273546
/proc/meminfo: memFree=119258104/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3337.46 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 266955 66791 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3337.46 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.25 4.23 8/244 273561
/proc/meminfo: memFree=119257460/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3397.37 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 271738 67999 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3397.37 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.22 4.22 8/244 273572
/proc/meminfo: memFree=119256844/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3457.29 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 276533 69196 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3457.29 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.21 4.21 8/244 273583
/proc/meminfo: memFree=119256236/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3517.2 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 281329 70391 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3517.2 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3563.15 s]
# the end of solver process 271750 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2845.96 s, system=712.045 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.13 4.20 4.21 8/244 273585
/proc/meminfo: memFree=119256116/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3527.68 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 282177 70591 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3527.68 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3545.6 s]
/proc/loadavg: 4.18 4.21 4.21 8/244 273588
/proc/meminfo: memFree=119256020/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3540.47 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 283190 70857 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3540.47 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3552 s]*
/proc/loadavg: 4.15 4.20 4.21 8/244 273589
/proc/meminfo: memFree=119255876/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3546.87 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 283704 70983 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3546.87 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3558.4 s]
/proc/loadavg: 4.14 4.20 4.21 8/244 273591
/proc/meminfo: memFree=119255764/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3553.25 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 284214 71111 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3553.25 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3561.6 s]
/proc/loadavg: 4.14 4.20 4.21 8/244 273591
/proc/meminfo: memFree=119255788/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3556.44 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 284471 71173 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3556.44 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3562.4 s]
/proc/loadavg: 4.13 4.20 4.21 8/244 273591
/proc/meminfo: memFree=119255776/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3557.24 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 284533 71191 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3557.24 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3562.8 s]
/proc/loadavg: 4.13 4.20 4.21 8/244 273591
/proc/meminfo: memFree=119255776/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3557.64 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 284566 71198 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3557.64 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3563 s]*
/proc/loadavg: 4.13 4.20 4.21 8/244 273591
/proc/meminfo: memFree=119255816/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3557.85 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 284583 71202 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3557.85 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
[startup+3563.11 s]
/proc/loadavg: 4.13 4.20 4.21 8/244 273591
/proc/meminfo: memFree=119255816/131655788 swapFree=131071216/131071996
[pid=271750] ppid=271737 vsize=19756 memory=7804 CPUtime=3557.96 cores=4,6
/proc/271750/stat : 271750 (LS-MabP) R 271737 271750 271681 0 -1 4194304 416 0 0 0 284592 71204 0 0 20 0 1 0 49137218 20230144 1951 134679101440 4194304 15467897 140731703801600 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42409984 140731703809050 140731703809158 140731703809158 140731703816174 0
/proc/271750/statm: 4939 1951 1153 2753 0 1592 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 19756 KiB
Current children cumulated memory: 7804 KiB
Child status: 0
Real time (s): 3563.15
CPU time (s): 3558.01
CPU user time (s): 2845.96
CPU system time (s): 712.045
CPU usage (%): 99.8555
Max. virtual memory (cumulated for all children) (KiB): 19756
Max. memory (cumulated for all children) (KiB): 7804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2845.96
system time used= 712.045
maximum resident set size= 7876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419
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= 2
involuntary context switches= 1516
# summary of solver processes directly reported to runsolver:
# pid: 271750
# total CPU time (s): 3558.01
# total CPU user time (s): 2845.96
# total CPU system time (s): 712.045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8259 second user time and 31.5408 second system time
The end
Begin job on nodeC003 at 2024-08-05 05:14:18
IDJOB=4458367
IDBENCH=177212
IDSOLVER=3049
FILE ID=nodeC003/4458367-1722827658
RUNJOBID= nodeC003-1722827658-271692
SLURM_JOB_ID= 8258645
Free space on /tmp= 723780 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_08.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t 3558 -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458367-1722827658/watcher-4458367-1722827658 -o /tmp/evaluation-result-4458367-1722827658/solver-4458367-1722827658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722827658-271692 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4458367-1722827658.opb -t 3558 -s 262578126 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cef34ff274a7a14d58a37c503700d4d0
RANDOM SEED=262578126
nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.178
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.52
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.179
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.40
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.181
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.52
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.178
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.40
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.178
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.52
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.177
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.40
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.180
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.52
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.180
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.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 119353796 kB
MemAvailable: 129968652 kB
Buffers: 309284 kB
Cached: 11136376 kB
SwapCached: 16 kB
Active: 546864 kB
Inactive: 11274236 kB
Active(anon): 1336 kB
Inactive(anon): 403468 kB
Active(file): 545528 kB
Inactive(file): 10870768 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 65104 kB
Writeback: 24 kB
AnonPages: 374448 kB
Mapped: 96948 kB
Shmem: 29348 kB
KReclaimable: 77520 kB
Slab: 161980 kB
SReclaimable: 77520 kB
SUnreclaim: 84460 kB
KernelStack: 3584 kB
PageTables: 9484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 663800 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20320 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 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: 351048 kB
DirectMap2M: 12136448 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC003 at 2024-08-05 06:13:41