0.10/0.14 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.10/0.14 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.10/0.14 o 125
0.10/0.14 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.10/0.15 c Starting SCIP solver (with time-limit = 1800s) ...
1795.25/1800.15 c SCIP timeout with lower and upper bounds: [75, 113]
3600.00/3609.50
3600.00/3609.50 v -x1 -x2 x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 x11 x12 -x13 -x14 -x15 -x16 x17 x18 x19 x20 x21 -x22 x23 -x24 x25 x26 x27 x28 x29 -x30 x31 -x32 -x33 x34 -x35 -x36 -x37 x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 x46 x47 x48 x49 -x50 -x51 x52 -x53 x54 -x55 -x56 x57 x58 x59 x60 x61 -x62 x63 x64 -x65 x66 x67 -x68 x69 x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 x80 x81 -x82 x83 -x84 x85 -x86 -x87 -x88 x89 x90 -x91 x92 x93 -x94 x95 x96 -x97 -x98 x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 x114 x115 x116 -x117 -x118 x119 -x120 -x121 x122 x123 x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 x133 -x134 x135 x136 x137 x138 x139 -x140 x141 x142 x143 x144 -x145 x146 -x147 -x148 x149 x150 -x151 x152 x153 -x154 x155 -x156 -x157 x158 -x159 -x160 x161 -x162 x163 x164 x165 x166 -x167 x168 x169 x170 -x171 x172 -x173 -x174 x175 -x176 -x177 x178 x179 -x180 x181 -x182 x183 -x184 -x185 x186 x187 -x188 x189 x190 x191 -x192 -x193 -x194 -x195 x196 x197 -x198 -x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 x208 x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 x218 x219 -x220 -x221 -x222 x223 -x224 -x225 x226 -x227 -x228 x229 -x230 x231 -x232 x233 x234 x235 x236 -x237 x238 x239 x240 x241 -x242 -x243 -x244 -x245 x246 -x247 x248 x249 -x250 -x251 x252 x253 x254 -x255 -x256
3600.00/3609.50 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 (53319 MiB free)
memory of node 1: 64510 MiB (58886 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439759-1721248544/watcher-4439759-1721248544 -o /tmp/evaluation-result-4439759-1721248544/solver-4439759-1721248544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721242363-916387 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439759-1721248544.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=920242, runsolver pid=920239
[startup+0.100105 s]*
/proc/loadavg: 4.07 4.09 4.12 5/241 920243
/proc/meminfo: memFree=114892812/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=22340 memory=8360 CPUtime=0.1 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 1558 0 0 0 10 0 0 0 20 0 1 0 177013620 22876160 2090 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 5585 2090 986 2550 0 2540 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22340 KiB
Current children cumulated memory: 8360 KiB
[startup+0.213428 s]*
/proc/loadavg: 4.07 4.09 4.12 5/241 920243
/proc/meminfo: memFree=114862740/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=53640 memory=44360 CPUtime=0.21 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 9170 0 0 0 20 1 0 0 20 0 1 0 177013620 54927360 11090 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 13410 11090 2490 2550 0 10365 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53640 KiB
Current children cumulated memory: 44360 KiB
[startup+0.313442 s]*
/proc/loadavg: 4.07 4.09 4.12 5/241 920243
/proc/meminfo: memFree=114858904/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=57808 memory=48296 CPUtime=0.31 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 10099 0 0 0 30 1 0 0 20 0 1 0 177013620 59195392 12074 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 14452 12074 2554 2550 0 11407 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57808 KiB
Current children cumulated memory: 48296 KiB
[startup+0.700355 s]
/proc/loadavg: 4.07 4.09 4.12 5/241 920243
/proc/meminfo: memFree=114857756/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=109132 memory=93412 CPUtime=0.69 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 17795 0 0 0 66 3 0 0 20 0 1 0 177013620 111751168 23353 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 27283 23353 2586 2550 0 24238 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 109132 KiB
Current children cumulated memory: 93412 KiB
[startup+1.50035 s]
/proc/loadavg: 4.07 4.09 4.12 5/241 920243
/proc/meminfo: memFree=114810012/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=110944 memory=95416 CPUtime=1.49 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 18208 0 0 0 146 3 0 0 20 0 1 0 177013620 113606656 23854 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 27736 23854 2634 2550 0 24691 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 110944 KiB
Current children cumulated memory: 95416 KiB
[startup+3.1136 s]
/proc/loadavg: 4.06 4.09 4.12 5/241 920243
/proc/meminfo: memFree=114807556/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=110944 memory=95416 CPUtime=3.1 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 18213 0 0 0 307 3 0 0 20 0 1 0 177013620 113606656 23854 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 27736 23854 2634 2550 0 24691 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 110944 KiB
Current children cumulated memory: 95416 KiB
[startup+6.30033 s]
/proc/loadavg: 4.06 4.09 4.12 5/241 920244
/proc/meminfo: memFree=114807652/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=156216 memory=130844 CPUtime=6.27 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 27045 0 0 0 623 4 0 0 20 0 1 0 177013620 159965184 32711 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 39054 32711 2650 2550 0 36009 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 156216 KiB
Current children cumulated memory: 130844 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.09 4.12 5/241 920244
/proc/meminfo: memFree=114780868/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=207684 memory=168316 CPUtime=12.66 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 36469 0 0 0 1260 6 0 0 20 0 1 0 177013620 212668416 42079 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 51921 42079 2650 2550 0 48876 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 207684 KiB
Current children cumulated memory: 168316 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.10 4.12 5/241 920246
/proc/meminfo: memFree=114741908/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=207684 memory=168316 CPUtime=25.42 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 36473 0 0 0 2536 6 0 0 20 0 1 0 177013620 212668416 42079 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 51921 42079 2650 2550 0 48876 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 207684 KiB
Current children cumulated memory: 168316 KiB
[startup+51.1132 s]
/proc/loadavg: 4.07 4.09 4.12 5/241 920250
/proc/meminfo: memFree=114725960/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=207684 memory=168564 CPUtime=50.96 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 36483 0 0 0 5090 6 0 0 20 0 1 0 177013620 212668416 42141 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 51921 42141 2650 2550 0 48876 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 207684 KiB
Current children cumulated memory: 168564 KiB
[startup+102.3 s]
/proc/loadavg: 4.47 4.19 4.15 5/242 920260
/proc/meminfo: memFree=114705932/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=254080 memory=192572 CPUtime=102.02 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 42500 0 0 0 10194 8 0 0 20 0 1 0 177013620 260177920 48143 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 63520 48143 2650 2550 0 60475 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 254080 KiB
Current children cumulated memory: 192572 KiB
[startup+162.3 s]
/proc/loadavg: 4.59 4.30 4.19 5/242 920270
/proc/meminfo: memFree=114621420/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=298596 memory=222932 CPUtime=161.87 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 50120 0 0 0 16177 10 0 0 20 0 1 0 177013620 305762304 55733 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 74649 55733 2650 2550 0 71604 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 298596 KiB
Current children cumulated memory: 222932 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.26 4.18 5/242 920281
/proc/meminfo: memFree=114667552/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=364756 memory=239344 CPUtime=221.7 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 54317 0 0 0 22160 10 0 0 20 0 1 0 177013620 373510144 59836 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 91189 59836 2650 2550 0 88144 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 364756 KiB
Current children cumulated memory: 239344 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.24 4.18 5/245 920296
/proc/meminfo: memFree=114651180/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=404664 memory=247792 CPUtime=281.54 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 56444 0 0 0 28142 12 0 0 20 0 1 0 177013620 414375936 61948 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 101166 61948 2650 2550 0 98121 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 404664 KiB
Current children cumulated memory: 247792 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.21 4.17 5/245 920306
/proc/meminfo: memFree=114588020/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=455860 memory=283680 CPUtime=341.38 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 65421 0 0 0 34125 13 0 0 20 0 1 0 177013620 466800640 70920 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 113965 70920 2650 2550 0 110920 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 455860 KiB
Current children cumulated memory: 283680 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.21 4.18 5/244 920317
/proc/meminfo: memFree=114535824/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=458772 memory=284208 CPUtime=401.21 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 65551 0 0 0 40108 13 0 0 20 0 1 0 177013620 469782528 71052 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 114693 71052 2650 2550 0 111648 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 458772 KiB
Current children cumulated memory: 284208 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.19 4.17 5/244 920327
/proc/meminfo: memFree=114538188/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=479716 memory=296804 CPUtime=461.05 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 68307 0 0 0 46091 14 0 0 20 0 1 0 177013620 491229184 74201 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 119929 74201 2650 2550 0 116884 0
################
# More data... #
################
Current children cumulated memory: 582108 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.10 6/244 921577
/proc/meminfo: memFree=109662912/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=2914.59 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 94372 0 0 0 291439 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.10 6/244 921971
/proc/meminfo: memFree=109673748/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=2974.43 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 94473 0 0 0 297423 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 2974.43 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/244 921982
/proc/meminfo: memFree=109814784/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=3034.27 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 94599 0 0 0 303407 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 3034.27 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/244 921992
/proc/meminfo: memFree=109674352/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=3094.11 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 94701 0 0 0 309391 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/245 922172
/proc/meminfo: memFree=109518072/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=3153.96 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 94824 0 0 0 315376 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/245 922183
/proc/meminfo: memFree=109707576/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=3213.8 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 94951 0 0 0 321360 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.11 4.09 6/249 922253
/proc/meminfo: memFree=109779532/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=3273.65 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 95031 0 0 0 327345 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/247 922263
/proc/meminfo: memFree=109798404/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=3333.49 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 95158 0 0 0 333329 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/247 922274
/proc/meminfo: memFree=109840560/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=3393.34 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 95285 0 0 0 339314 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/247 922284
/proc/meminfo: memFree=109727580/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=3453.18 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 95412 0 0 0 345298 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/245 922295
/proc/meminfo: memFree=109609852/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=3513.02 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 95538 0 0 0 351282 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/245 922305
/proc/meminfo: memFree=109689080/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=3572.87 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 95657 0 0 0 357267 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.16 4.13 4.10 6/241 922311
/proc/meminfo: memFree=109653492/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=3600 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 95773 0 0 0 359980 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 920242 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.8 s, system=0.205336 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.16 4.13 4.10 6/241 922311
/proc/meminfo: memFree=109653492/131655788 swapFree=131071996/131071996
[pid=920242] ppid=920239 vsize=603980 memory=582108 CPUtime=3600 cores=1,3
/proc/920242/stat : 920242 (CASHWMaxSAT-Dis) R 920239 920242 916375 0 -1 4194304 95773 0 0 0 359980 20 0 0 20 0 1 0 177013620 618475520 145527 134679101440 4194304 14636349 140736217781968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 46419968 140736217785314 140736217785430 140736217785430 140736217792446 0
/proc/920242/statm: 150995 145527 2666 2550 0 147950 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 603980 KiB
Current children cumulated memory: 582108 KiB
Child status: 10
Real time (s): 3609.5
CPU time (s): 3600.01
CPU user time (s): 3599.8
CPU system time (s): 0.205336
CPU usage (%): 99.7369
Max. virtual memory (cumulated for all children) (KiB): 665496
Max. memory (cumulated for all children) (KiB): 634932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.8
system time used= 0.205336
maximum resident set size= 634932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95773
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= 42
involuntary context switches= 1918
# summary of solver processes directly reported to runsolver:
# pid: 920242
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.8
# total CPU system time (s): 0.205336
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1675 second user time and 36.2618 second system time
The end
Begin job on nodeC010 at 2024-07-17 22:35:55
IDJOB=4439759
IDBENCH=158407
IDSOLVER=3076
FILE ID=nodeC010/4439759-1721248544
RUNJOBID= nodeC010-1721242363-916387
SLURM_JOB_ID= 7508998
Free space on /tmp= 723656 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_16x16_001.opb.metafix.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-4439759-1721248544/watcher-4439759-1721248544 -o /tmp/evaluation-result-4439759-1721248544/solver-4439759-1721248544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721242363-916387 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439759-1721248544.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5c8bdd7bf429ca5545e1ed59def685f5
RANDOM SEED=738687469
nodeC010.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 : 3523.810
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.51
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 : 3491.779
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.31
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.395
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.51
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.174
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.31
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.754
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.51
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 : 3542.238
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.31
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.334
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.51
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.313
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 114900072 kB
MemAvailable: 119617292 kB
Buffers: 473084 kB
Cached: 5028612 kB
SwapCached: 0 kB
Active: 1032860 kB
Inactive: 15042000 kB
Active(anon): 1440 kB
Inactive(anon): 10609444 kB
Active(file): 1031420 kB
Inactive(file): 4432556 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13432 kB
Writeback: 0 kB
AnonPages: 10571804 kB
Mapped: 119632 kB
Shmem: 37704 kB
KReclaimable: 186552 kB
Slab: 295988 kB
SReclaimable: 186552 kB
SUnreclaim: 109436 kB
KernelStack: 3908 kB
PageTables: 30112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 11720364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 56192 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5750784 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: 234312 kB
DirectMap2M: 29030400 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC010 at 2024-07-17 23:36:05