0.00/0.01 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.00/0.01 c Do: 140720636795768 140720636795776
0.00/0.01 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.00/0.01 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.01 c Starting SCIP solver (with time-limit = 1800s) ...
1795.20/1800.02 c SCIP timeout with lower and upper bounds: [-58, 2]
1795.20/1800.02 o 2
1801.87/1806.70 c Do: 140720636795768 140720636795776
3600.02/3610.01
3600.02/3610.01 v -x295 x231 -x206 x191 x139 x294 -x211 x192 -x143 x359 x302 -x279 x235 -x210 -x196 x296 x233 -x195 x358 x297 -x213 -x193 -x119 x362 x298 -x234 -x214 -x194 x180 -x83 -x238 -x217 x179 -x164 x118 -x82 x363 -x215 -x122 x84 -x216 x181 -x163 x85 x184 x168 -x123 x86 -x305 -x275 x230 x190 x138 -x306 -x205 x189 -x142 -x385 -x301 -x278 x236 -x207 x200 x212 x360 -x313 -x299 -x239 x209 -x37 x364 -x317 -x237 -x218 -x175 x174 x120 -x124 -x366 x182 -x165 -x89 -x367 x183 x167 x90 x381 -x303 x274 -x228 -x203 x140 -x354 x232 -x204 -x144 x384 -x353 -x280 x229 x199 -x33 x240 -x208 -x114 x361 -x312 -x300 x226 -x197 x146 -x113 -x36 x365 -x316 -x222 -x159 x147 x369 -x283 -x221 -x158 x121 -x88 x368 x176 x125 -x87 -x342 x177 x166 x126 -x71 x178 x169 x127 -x75 x380 -x304 x276 -x201 x141 -x227 x145 -x397 x386 x281 -x248 -x223 x149 -x32 -x401 -x355 x244 -x225 x148 x356 -x314 -x284 -x243 -x198 -x38 -x8 x357 x318 -x282 -x115 -x12 -x389 x373 -x338 -x219 -x116 -x101 -x160 x117 -x341 x320 -x220 x187 -x161 x131 -x70 -x41 -x321 x188 x162 -x74 x382 x272 -x245 -x202 x137 -x28 -x308 x277 -x247 -x224 x136 -x396 x387 -x307 x273 x153 -x34 -x400 x285 -x390 -x376 x315 -x241 -x97 x39 -x7 -x388 x377 x319 -x11 x372 -x337 x323 -x242 -x186 -x134 -x100 x42 x322 -x185 -x135 x40 -x370 x343 -x255 -x172 x130 -x72 -x259 x173 -x76 x379 -x265 -x246 x156 x383 x271 x157 -x27 -x398 -x375 x293 -x152 x29 -x402 x391 -x374 -x309 x289 x35 -x333 x310 x288 -x150 -x133 -x96 x31 -x9 x311 -x132 -x66 x43 -x13 -x404 x339 x327 -x171 -x102 -x65 -x405 -x170 -x371 x344 -x254 x128 -x73 -x61 -x15 -x258 x77 -x16 -x290 -x264 x154 x378 x292 -x3 -x399 -x92 -x2 -x403 x395 x30 x407 -x394 x330 -x286 -x151 -x98 x51 -x10 -x406 -x332 x331 x47 x14 -x334 x326 -x287 -x103 -x57 -x46 -x18 x340 -x67 -x17 x336 x324 x256 -x129 -x104 -x68 -x60 x345 x260 -x105 x69 -x291 x266 -x155 -x329 x48 x328 -x91 x50 -x4 -x411 -x392 x268 -x93 -x5 -x250 x99 x6 -x393 -x249 x95 -x56 -x44 x22 x335 -x106 x352 -x325 x257 x80 -x62 -x45 x348 x261 x81 -x49 x269 x267 -x410 -x54 x25 x94 x26 -x408 x349 x112 -x79 x58 -x21 x351 -x251 x109 -x78 x252 x107 -x63 -x19 x346 x253 x270 -x24 x23 x111 x350 x110 -x53 -x409 x52 x59 -x263 x108 x55 -x20 x347 x262 -x64 x1
3600.02/3610.01 s SATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61698 MiB free)
memory of node 1: 64510 MiB (62275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439965-1721198240/watcher-4439965-1721198240 -o /tmp/evaluation-result-4439965-1721198240/solver-4439965-1721198240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721194641-881523 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439965-1721198240.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=883550, runsolver pid=883547
[startup+0.100096 s]*
/proc/loadavg: 4.70 4.38 4.18 5/242 883551
/proc/meminfo: memFree=126935944/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=31568 memory=22932 CPUtime=0.1 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 3625 0 0 0 10 0 0 0 20 0 1 0 171980644 32325632 5733 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 7892 5733 2414 2417 0 4994 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31568 KiB
Current children cumulated memory: 22932 KiB
[startup+0.212866 s]*
/proc/loadavg: 4.70 4.38 4.18 5/242 883551
/proc/meminfo: memFree=126924288/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=46936 memory=34236 CPUtime=0.21 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 5743 0 0 0 20 1 0 0 20 0 1 0 171980644 48062464 8559 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 11734 8559 2414 2417 0 8836 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46936 KiB
Current children cumulated memory: 34236 KiB
[startup+0.312842 s]*
/proc/loadavg: 4.70 4.38 4.18 5/242 883551
/proc/meminfo: memFree=126916488/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=52872 memory=41480 CPUtime=0.31 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 7522 0 0 0 30 1 0 0 20 0 1 0 171980644 54140928 10370 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 13218 10370 2446 2417 0 10320 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52872 KiB
Current children cumulated memory: 41480 KiB
[startup+0.700328 s]
/proc/loadavg: 4.70 4.38 4.18 5/242 883551
/proc/meminfo: memFree=126915676/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=53756 memory=42572 CPUtime=0.68 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 7709 0 0 0 67 1 0 0 20 0 1 0 171980644 55046144 10643 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 13439 10643 2526 2417 0 10541 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53756 KiB
Current children cumulated memory: 42572 KiB
[startup+1.50032 s]
/proc/loadavg: 4.70 4.38 4.18 6/242 883551
/proc/meminfo: memFree=126899884/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=89704 memory=76684 CPUtime=1.48 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 16183 0 0 0 145 3 0 0 20 0 1 0 171980644 91856896 19171 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 22426 19171 2542 2417 0 19528 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89704 KiB
Current children cumulated memory: 76684 KiB
[startup+3.11264 s]
/proc/loadavg: 4.72 4.39 4.18 6/242 883552
/proc/meminfo: memFree=126838800/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=132584 memory=114308 CPUtime=3.09 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 25568 0 0 0 305 4 0 0 20 0 1 0 171980644 135766016 28577 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 33146 28577 2542 2417 0 30248 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 132584 KiB
Current children cumulated memory: 114308 KiB
[startup+6.30026 s]
/proc/loadavg: 4.72 4.39 4.18 5/242 883598
/proc/meminfo: memFree=126827580/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=139432 memory=119836 CPUtime=6.27 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 26979 0 0 0 623 4 0 0 20 0 1 0 171980644 142778368 29959 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 34858 29959 2542 2417 0 31960 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 139432 KiB
Current children cumulated memory: 119836 KiB
[startup+12.7002 s]
/proc/loadavg: 4.66 4.38 4.18 5/242 883598
/proc/meminfo: memFree=126649472/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=139432 memory=119836 CPUtime=12.65 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 26985 0 0 0 1261 4 0 0 20 0 1 0 171980644 142778368 29959 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 34858 29959 2542 2417 0 31960 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 139432 KiB
Current children cumulated memory: 119836 KiB
[startup+25.5003 s]
/proc/loadavg: 4.51 4.36 4.18 5/242 883601
/proc/meminfo: memFree=126605772/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=173452 memory=152796 CPUtime=25.41 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 34839 0 0 0 2536 5 0 0 20 0 1 0 171980644 177614848 38199 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 43363 38199 2542 2417 0 40465 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 173452 KiB
Current children cumulated memory: 152796 KiB
[startup+51.1127 s]
/proc/loadavg: 4.41 4.35 4.18 5/242 883604
/proc/meminfo: memFree=126493036/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=185188 memory=162928 CPUtime=50.94 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 36828 0 0 0 5089 5 0 0 20 0 1 0 171980644 189632512 40732 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 46297 40732 2542 2417 0 43399 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 185188 KiB
Current children cumulated memory: 162928 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.33 4.18 5/242 883614
/proc/meminfo: memFree=126463504/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=194204 memory=184200 CPUtime=101.98 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 39302 0 0 0 10193 5 0 0 20 0 1 0 171980644 198864896 46050 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 48551 46050 2542 2417 0 45653 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 194204 KiB
Current children cumulated memory: 184200 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.28 4.17 5/242 883624
/proc/meminfo: memFree=126344908/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=206052 memory=196264 CPUtime=161.83 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 42541 0 0 0 16177 6 0 0 20 0 1 0 171980644 210997248 49066 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 51513 49066 2542 2417 0 48615 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 206052 KiB
Current children cumulated memory: 196264 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.27 4.18 5/243 883637
/proc/meminfo: memFree=126263964/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=217460 memory=206972 CPUtime=221.67 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 44831 0 0 0 22161 6 0 0 20 0 1 0 171980644 222679040 51743 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 54365 51743 2542 2417 0 51467 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 217460 KiB
Current children cumulated memory: 206972 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.25 4.18 5/243 883647
/proc/meminfo: memFree=126230604/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=229880 memory=219808 CPUtime=281.51 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 47197 0 0 0 28145 6 0 0 20 0 1 0 171980644 235397120 54952 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 57470 54952 2542 2417 0 54572 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 229880 KiB
Current children cumulated memory: 219808 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.22 4.17 5/243 883658
/proc/meminfo: memFree=126145520/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=238164 memory=227740 CPUtime=341.36 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 48804 0 0 0 34129 7 0 0 20 0 1 0 171980644 243879936 56935 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 59541 56935 2542 2417 0 56643 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 238164 KiB
Current children cumulated memory: 227740 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.21 4.17 5/243 883668
/proc/meminfo: memFree=126087120/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=238164 memory=228660 CPUtime=401.21 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 49155 0 0 0 40114 7 0 0 20 0 1 0 171980644 243879936 57165 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 59541 57165 2542 2417 0 56643 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 238164 KiB
Current children cumulated memory: 228660 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/243 883679
/proc/meminfo: memFree=125950396/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=255348 memory=244900 CPUtime=461.05 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 51230 0 0 0 46098 7 0 0 20 0 1 0 171980644 261476352 61225 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 63837 61225 2542 2417 0 60939 0
################
# More data... #
################
Current children cumulated memory: 334764 KiB
[startup+2862.3 s]
/proc/loadavg: 4.87 4.52 4.31 5/244 884775
/proc/meminfo: memFree=125034596/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=340612 memory=334764 CPUtime=2854.65 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 117172 0 0 0 285391 74 0 0 20 0 1 0 171980644 348786688 83691 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 85153 83691 2794 2417 0 82255 0
Current children cumulated CPU time: 2854.65 s
Current children cumulated vsize: 340612 KiB
Current children cumulated memory: 334764 KiB
[startup+2922.3 s]
/proc/loadavg: 4.98 4.62 4.36 5/244 885169
/proc/meminfo: memFree=124997160/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=370960 memory=360920 CPUtime=2914.47 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 118964 0 0 0 291367 80 0 0 20 0 1 0 171980644 379863040 90230 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 92740 90230 2794 2417 0 89842 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 370960 KiB
Current children cumulated memory: 360920 KiB
[startup+2982.3 s]
/proc/loadavg: 4.46 4.54 4.35 5/244 885179
/proc/meminfo: memFree=124947356/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=389928 memory=384080 CPUtime=2974.29 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 119730 0 0 0 297348 81 0 0 20 0 1 0 171980644 399286272 96020 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 97482 96020 2794 2417 0 94584 0
Current children cumulated CPU time: 2974.29 s
Current children cumulated vsize: 389928 KiB
Current children cumulated memory: 384080 KiB
[startup+3042.3 s]
/proc/loadavg: 4.26 4.47 4.33 5/244 885189
/proc/meminfo: memFree=124890104/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=389928 memory=384080 CPUtime=3034.1 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 119845 0 0 0 303329 81 0 0 20 0 1 0 171980644 399286272 96020 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 97482 96020 2794 2417 0 94584 0
Current children cumulated CPU time: 3034.1 s
Current children cumulated vsize: 389928 KiB
Current children cumulated memory: 384080 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.41 4.32 5/246 885371
/proc/meminfo: memFree=124890216/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=389928 memory=384080 CPUtime=3093.92 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 119945 0 0 0 309311 81 0 0 20 0 1 0 171980644 399286272 96020 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 97482 96020 2794 2417 0 94584 0
Current children cumulated CPU time: 3093.92 s
Current children cumulated vsize: 389928 KiB
Current children cumulated memory: 384080 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.35 4.31 5/246 885381
/proc/meminfo: memFree=124843676/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=389928 memory=384080 CPUtime=3153.73 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 120050 0 0 0 315292 81 0 0 20 0 1 0 171980644 399286272 96020 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 97482 96020 2794 2417 0 94584 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 389928 KiB
Current children cumulated memory: 384080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.30 4.29 5/244 885447
/proc/meminfo: memFree=124850664/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=389928 memory=384080 CPUtime=3213.54 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 120165 0 0 0 321273 81 0 0 20 0 1 0 171980644 399286272 96020 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 97482 96020 2794 2417 0 94584 0
Current children cumulated CPU time: 3213.54 s
Current children cumulated vsize: 389928 KiB
Current children cumulated memory: 384080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.27 4.28 5/244 885457
/proc/meminfo: memFree=124828684/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=389928 memory=384080 CPUtime=3273.35 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 120263 0 0 0 327254 81 0 0 20 0 1 0 171980644 399286272 96020 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 97482 96020 2794 2417 0 94584 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 389928 KiB
Current children cumulated memory: 384080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.24 4.26 5/244 885468
/proc/meminfo: memFree=124763712/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=389928 memory=384080 CPUtime=3333.16 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 120371 0 0 0 333235 81 0 0 20 0 1 0 171980644 399286272 96020 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 97482 96020 2794 2417 0 94584 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 389928 KiB
Current children cumulated memory: 384080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.22 4.26 5/243 885478
/proc/meminfo: memFree=124736528/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=389928 memory=384080 CPUtime=3392.97 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 120470 0 0 0 339216 81 0 0 20 0 1 0 171980644 399286272 96020 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 97482 96020 2794 2417 0 94584 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 389928 KiB
Current children cumulated memory: 384080 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.20 4.25 5/243 885489
/proc/meminfo: memFree=124737980/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=389928 memory=384080 CPUtime=3452.78 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 120578 0 0 0 345197 81 0 0 20 0 1 0 171980644 399286272 96020 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 97482 96020 2794 2417 0 94584 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 389928 KiB
Current children cumulated memory: 384080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.17 4.23 5/242 885500
/proc/meminfo: memFree=124741820/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=389928 memory=384080 CPUtime=3512.59 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 120683 0 0 0 351178 81 0 0 20 0 1 0 171980644 399286272 96020 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 97482 96020 2794 2417 0 94584 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 389928 KiB
Current children cumulated memory: 384080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.23 5/242 885510
/proc/meminfo: memFree=124725236/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=389928 memory=384080 CPUtime=3572.4 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 120799 0 0 0 357159 81 0 0 20 0 1 0 171980644 399286272 96020 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 97482 96020 2794 2417 0 94584 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 389928 KiB
Current children cumulated memory: 384080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.08 4.15 4.22 5/242 885515
/proc/meminfo: memFree=124697052/131655788 swapFree=131071996/131071996
[pid=883550] ppid=883547 vsize=389932 memory=370104 CPUtime=3600.02 cores=4,6
/proc/883550/stat : 883550 (CASHWMaxSAT-Dis) R 883547 883550 881512 0 -1 4194304 123359 0 0 0 359910 92 0 0 20 0 1 0 171980644 399290368 92526 134679101440 4194304 14093885 140720636798128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26292224 140720636802020 140720636802135 140720636802135 140720636809151 0
/proc/883550/statm: 97483 92526 2794 2417 0 94585 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 389932 KiB
Current children cumulated memory: 370104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 883550 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.11 s, system=0.930217 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.02
CPU time (s): 3600.04
CPU user time (s): 3599.11
CPU system time (s): 0.930217
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 470648
Max. memory (cumulated for all children) (KiB): 451308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.11
system time used= 0.930217
maximum resident set size= 451308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123360
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= 57
involuntary context switches= 2376
# summary of solver processes directly reported to runsolver:
# pid: 883550
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.11
# total CPU system time (s): 0.930217
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9163 second user time and 34.8497 second system time
The end
Begin job on nodeC007 at 2024-07-17 08:37:32
IDJOB=4439965
IDBENCH=146661
IDSOLVER=3077
FILE ID=nodeC007/4439965-1721198240
RUNJOBID= nodeC007-1721194641-881523
SLURM_JOB_ID= 7508875
Free space on /tmp= 723744 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439965-1721198240/watcher-4439965-1721198240 -o /tmp/evaluation-result-4439965-1721198240/solver-4439965-1721198240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721194641-881523 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439965-1721198240.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b7b6c18a5ccb5e8755a0006a4c4ad211
RANDOM SEED=1023848114
nodeC007.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 : 3604.867
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3653.345
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.30
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.343
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.25
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.271
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.30
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 : 3491.646
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.25
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 : 3653.416
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.30
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.131
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.25
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.153
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126949756 kB
MemAvailable: 128716336 kB
Buffers: 432828 kB
Cached: 2156908 kB
SwapCached: 0 kB
Active: 812040 kB
Inactive: 3321404 kB
Active(anon): 1484 kB
Inactive(anon): 1579632 kB
Active(file): 810556 kB
Inactive(file): 1741772 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 12728 kB
Writeback: 0 kB
AnonPages: 1540504 kB
Mapped: 128996 kB
Shmem: 37704 kB
KReclaimable: 108568 kB
Slab: 208936 kB
SReclaimable: 108568 kB
SUnreclaim: 100368 kB
KernelStack: 3984 kB
PageTables: 12120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1907956 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54560 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1353728 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC007 at 2024-07-17 09:37:43