0.00/0.01 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
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) ...
1794.95/1800.01 c SCIP timeout with lower and upper bounds: [205, 269]
1795.05/1800.13 o 1
3600.07/3610.10
3600.07/3610.10 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.07/3610.10 s SATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60415 MiB free)
memory of node 1: 64510 MiB (60857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439562-1721194630/watcher-4439562-1721194630 -o /tmp/evaluation-result-4439562-1721194630/solver-4439562-1721194630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721194642-909820 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439562-1721194630.opb -total-t=3600 -no-par -v0
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=909878, runsolver pid=909866
[startup+0.100934 s]*
/proc/loadavg: 0.43 0.16 0.11 8/257 909883
/proc/meminfo: memFree=124085592/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=48148 memory=36968 CPUtime=0.09 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 5745 0 0 0 9 0 0 0 20 0 1 0 171630397 49303552 9242 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 12037 9242 2554 2550 0 8992 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48148 KiB
Current children cumulated memory: 36968 KiB
[startup+0.20619 s]*
/proc/loadavg: 0.43 0.16 0.11 8/257 909883
/proc/meminfo: memFree=123992492/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=54828 memory=43588 CPUtime=0.2 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 7329 0 0 0 19 1 0 0 20 0 1 0 171630397 56143872 10897 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 13707 10897 2634 2550 0 10662 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54828 KiB
Current children cumulated memory: 43588 KiB
[startup+0.306187 s]*
/proc/loadavg: 0.43 0.16 0.11 9/257 909883
/proc/meminfo: memFree=123958452/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=54828 memory=43588 CPUtime=0.3 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 7329 0 0 0 29 1 0 0 20 0 1 0 171630397 56143872 10897 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 13707 10897 2634 2550 0 10662 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54828 KiB
Current children cumulated memory: 43588 KiB
[startup+0.700207 s]
/proc/loadavg: 0.43 0.16 0.11 8/257 909883
/proc/meminfo: memFree=123928072/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=85876 memory=72952 CPUtime=0.68 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 14646 0 0 0 67 1 0 0 20 0 1 0 171630397 87937024 18238 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 21469 18238 2650 2550 0 18424 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 85876 KiB
Current children cumulated memory: 72952 KiB
[startup+1.50023 s]
/proc/loadavg: 0.43 0.16 0.11 8/257 909885
/proc/meminfo: memFree=123434076/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=122160 memory=104368 CPUtime=1.48 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 22546 0 0 0 146 2 0 0 20 0 1 0 171630397 125091840 26092 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 30540 26092 2650 2550 0 27495 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 122160 KiB
Current children cumulated memory: 104368 KiB
[startup+3.10628 s]
/proc/loadavg: 0.43 0.16 0.11 8/257 909885
/proc/meminfo: memFree=123094472/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=124864 memory=105688 CPUtime=3.08 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 22878 0 0 0 306 2 0 0 20 0 1 0 171630397 127860736 26422 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 31216 26422 2650 2550 0 28171 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 124864 KiB
Current children cumulated memory: 105688 KiB
[startup+6.30023 s]
/proc/loadavg: 0.72 0.23 0.13 8/257 909885
/proc/meminfo: memFree=121827060/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=131216 memory=110964 CPUtime=6.27 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 24195 0 0 0 625 2 0 0 20 0 1 0 171630397 134365184 27741 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 32804 27741 2650 2550 0 29759 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 131216 KiB
Current children cumulated memory: 110964 KiB
[startup+12.7002 s]
/proc/loadavg: 0.98 0.29 0.15 8/257 909886
/proc/meminfo: memFree=121342776/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=131216 memory=110964 CPUtime=12.65 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 24195 0 0 0 1263 2 0 0 20 0 1 0 171630397 134365184 27741 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 32804 27741 2650 2550 0 29759 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 131216 KiB
Current children cumulated memory: 110964 KiB
[startup+25.5003 s]
/proc/loadavg: 1.73 0.49 0.22 8/257 909888
/proc/meminfo: memFree=121269400/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=171540 memory=148980 CPUtime=25.42 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 33698 0 0 0 2538 4 0 0 20 0 1 0 171630397 175656960 37245 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 42885 37245 2650 2550 0 39840 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 171540 KiB
Current children cumulated memory: 148980 KiB
[startup+51.1065 s]
/proc/loadavg: 2.58 0.79 0.33 8/257 909892
/proc/meminfo: memFree=121245992/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=183484 memory=157956 CPUtime=50.95 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 35920 0 0 0 5091 4 0 0 20 0 1 0 171630397 187887616 39489 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 45871 39489 2650 2550 0 42826 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 183484 KiB
Current children cumulated memory: 157956 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.30 0.53 8/256 909901
/proc/meminfo: memFree=121181392/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=193420 memory=168396 CPUtime=102 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 38579 0 0 0 10195 5 0 0 20 0 1 0 171630397 198062080 42099 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 48355 42099 2650 2550 0 45310 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 193420 KiB
Current children cumulated memory: 168396 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.83 0.76 8/256 909912
/proc/meminfo: memFree=121156628/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=199456 memory=174980 CPUtime=161.82 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 40217 0 0 0 16176 6 0 0 20 0 1 0 171630397 204242944 43745 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 49864 43745 2650 2550 0 46819 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 199456 KiB
Current children cumulated memory: 174980 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.24 0.97 8/259 909927
/proc/meminfo: memFree=121139216/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=206656 memory=181608 CPUtime=221.65 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 41467 0 0 0 22157 8 0 0 20 0 1 0 171630397 211615744 45402 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 51664 45402 2650 2550 0 48619 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 206656 KiB
Current children cumulated memory: 181608 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.58 1.17 8/259 909937
/proc/meminfo: memFree=121099044/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=219188 memory=193360 CPUtime=281.48 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 42936 0 0 0 28139 9 0 0 20 0 1 0 171630397 224448512 48340 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 54797 48340 2650 2550 0 51752 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 219188 KiB
Current children cumulated memory: 193360 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 2.87 1.36 8/257 909948
/proc/meminfo: memFree=121084120/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=224248 memory=198928 CPUtime=341.33 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 43868 0 0 0 34123 10 0 0 20 0 1 0 171630397 229629952 49732 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 56062 49732 2650 2550 0 53017 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 224248 KiB
Current children cumulated memory: 198928 KiB
[startup+402.301 s]
/proc/loadavg: 4.09 3.09 1.53 8/257 909959
/proc/meminfo: memFree=121066220/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=237780 memory=211820 CPUtime=401.16 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 46080 0 0 0 40106 10 0 0 20 0 1 0 171630397 243486720 52955 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 59445 52955 2650 2550 0 56400 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 237780 KiB
Current children cumulated memory: 211820 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.29 1.70 8/257 909970
/proc/meminfo: memFree=121059276/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=243728 memory=217804 CPUtime=460.99 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 47042 0 0 0 46089 10 0 0 20 0 1 0 171630397 249577472 54451 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 60932 54451 2650 2550 0 57887 0
################
# More data... #
################
Current children cumulated memory: 327640 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.14 3.99 8/257 911372
/proc/meminfo: memFree=121963760/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=341040 memory=329688 CPUtime=2914.2 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 109264 0 0 0 291368 52 0 0 20 0 1 0 171630397 349224960 82422 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 85260 82422 2650 2550 0 82215 0
Current children cumulated CPU time: 2914.2 s
Current children cumulated vsize: 341040 KiB
Current children cumulated memory: 329688 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.11 4.00 8/257 911382
/proc/meminfo: memFree=121951960/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=341040 memory=323544 CPUtime=2974.03 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 110224 0 0 0 297350 53 0 0 20 0 1 0 171630397 349224960 80886 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 85260 80886 2650 2550 0 82215 0
Current children cumulated CPU time: 2974.03 s
Current children cumulated vsize: 341040 KiB
Current children cumulated memory: 323544 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.01 8/259 911563
/proc/meminfo: memFree=121976960/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=341040 memory=334016 CPUtime=3033.86 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 110967 0 0 0 303332 54 0 0 20 0 1 0 171630397 349224960 83504 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 85260 83504 2650 2550 0 82215 0
Current children cumulated CPU time: 3033.86 s
Current children cumulated vsize: 341040 KiB
Current children cumulated memory: 334016 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.01 8/259 911573
/proc/meminfo: memFree=122050564/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=341040 memory=329688 CPUtime=3093.7 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 117229 0 0 0 309306 64 0 0 20 0 1 0 171630397 349224960 82422 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 85260 82422 2650 2550 0 82215 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 341040 KiB
Current children cumulated memory: 329688 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.01 8/259 911583
/proc/meminfo: memFree=121947280/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=390356 memory=383196 CPUtime=3153.53 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 119296 0 0 0 315287 66 0 0 20 0 1 0 171630397 399724544 95799 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 97589 95799 2650 2550 0 94544 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 390356 KiB
Current children cumulated memory: 383196 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.02 8/260 911652
/proc/meminfo: memFree=121984764/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=341040 memory=329688 CPUtime=3213.35 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 121535 0 0 0 321267 68 0 0 20 0 1 0 171630397 349224960 82422 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 85260 82422 2650 2550 0 82215 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 341040 KiB
Current children cumulated memory: 329688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.02 8/258 911662
/proc/meminfo: memFree=121970480/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=390360 memory=365788 CPUtime=3273.18 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 129188 0 0 0 327234 84 0 0 20 0 1 0 171630397 399728640 91447 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 97590 91447 2650 2550 0 94545 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 390360 KiB
Current children cumulated memory: 365788 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.03 8/258 911672
/proc/meminfo: memFree=121959684/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=371388 memory=360536 CPUtime=3333.02 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 130106 0 0 0 333216 86 0 0 20 0 1 0 171630397 380301312 90134 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 92847 90134 2650 2550 0 89802 0
Current children cumulated CPU time: 3333.02 s
Current children cumulated vsize: 371388 KiB
Current children cumulated memory: 360536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.03 8/258 911683
/proc/meminfo: memFree=121979072/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=341040 memory=334016 CPUtime=3392.85 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 134808 0 0 0 339190 95 0 0 20 0 1 0 171630397 349224960 83504 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 85260 83504 2650 2550 0 82215 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 341040 KiB
Current children cumulated memory: 334016 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.03 8/258 911694
/proc/meminfo: memFree=121957084/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=371388 memory=362960 CPUtime=3452.67 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 137713 0 0 0 345166 101 0 0 20 0 1 0 171630397 380301312 90740 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 92847 90740 2650 2550 0 89802 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 371388 KiB
Current children cumulated memory: 362960 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.04 8/254 911704
/proc/meminfo: memFree=121987788/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=390356 memory=383076 CPUtime=3512.5 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 138272 0 0 0 351149 101 0 0 20 0 1 0 171630397 399724544 95769 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 97589 95769 2650 2550 0 94544 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 390356 KiB
Current children cumulated memory: 383076 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.04 8/255 911715
/proc/meminfo: memFree=121867284/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=390356 memory=383332 CPUtime=3572.34 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 138381 0 0 0 357133 101 0 0 20 0 1 0 171630397 399724544 95833 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 97589 95833 2650 2550 0 94544 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 390356 KiB
Current children cumulated memory: 383332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.13 4.11 4.04 6/255 911812
/proc/meminfo: memFree=123307564/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=390356 memory=383332 CPUtime=3600.07 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 138419 0 0 0 359906 101 0 0 20 0 1 0 171630397 399724544 95833 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 97589 95833 2650 2550 0 94544 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 390356 KiB
Current children cumulated memory: 383332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 909878 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.06 s, system=1.02009 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.13 4.11 4.04 6/255 911812
/proc/meminfo: memFree=123307564/131524600 swapFree=131071996/131071996
[pid=909878] ppid=909866 vsize=390356 memory=383332 CPUtime=3600.07 cores=1,3
/proc/909878/stat : 909878 (CASHWMaxSAT-Dis) R 909866 909878 909808 0 -1 4194304 138419 0 0 0 359906 101 0 0 20 0 1 0 171630397 399724544 95833 134679101440 4194304 14636349 140731159268640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 44998656 140731159270370 140731159270486 140731159270486 140731159277502 0
/proc/909878/statm: 97589 95833 2650 2550 0 94544 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 390356 KiB
Current children cumulated memory: 383332 KiB
Child status: 10
Real time (s): 3610.11
CPU time (s): 3600.08
CPU user time (s): 3599.06
CPU system time (s): 1.02009
CPU usage (%): 99.7223
Max. virtual memory (cumulated for all children) (KiB): 480332
Max. memory (cumulated for all children) (KiB): 437636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.06
system time used= 1.02009
maximum resident set size= 437636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138419
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= 58
involuntary context switches= 2355
# summary of solver processes directly reported to runsolver:
# pid: 909878
# total CPU time (s): 3600.08
# total CPU user time (s): 3599.06
# total CPU system time (s): 1.02009
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6987 second user time and 19.7613 second system time
The end
Begin job on nodeC029 at 2024-07-17 07:37:23
IDJOB=4439562
IDBENCH=146661
IDSOLVER=3076
FILE ID=nodeC029/4439562-1721194630
RUNJOBID= nodeC029-1721194642-909820
SLURM_JOB_ID= 7508890
Free space on /tmp= 890068 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439562-1721194630/watcher-4439562-1721194630 -o /tmp/evaluation-result-4439562-1721194630/solver-4439562-1721194630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721194642-909820 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439562-1721194630.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b7b6c18a5ccb5e8755a0006a4c4ad211
RANDOM SEED=346687897
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.537
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3774.675
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.393
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3570.653
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.989
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3628.299
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3621.523
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3586.396
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124185056 kB
MemAvailable: 129673664 kB
Buffers: 431404 kB
Cached: 5827984 kB
SwapCached: 0 kB
Active: 818700 kB
Inactive: 5776532 kB
Active(anon): 1388 kB
Inactive(anon): 372592 kB
Active(file): 817312 kB
Inactive(file): 5403940 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54720 kB
Writeback: 0 kB
AnonPages: 336356 kB
Mapped: 104724 kB
Shmem: 37720 kB
KReclaimable: 214008 kB
Slab: 335188 kB
SReclaimable: 214008 kB
SUnreclaim: 121180 kB
KernelStack: 3888 kB
PageTables: 9676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 605620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC029 at 2024-07-17 08:37:33