Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCom-SP 2024-07-10 | SAT (TO) | 377 | 3600.01 | 3608.8 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb |
| MD5SUM | d3e48ed9182b9fed4d29a9ec4b7209aa |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 307 |
| Best CPU time to get the best result obtained on this benchmark | 0.085356 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 319 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 186 |
| Maximum length of a constraint | 231 |
| Number of terms in the objective function | 319 |
| Biggest coefficient in the objective function | 87 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 23554 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 22000 |
| Number of bits of the biggest number in a constraint | 15 |
| Biggest sum of numbers in a constraint | 1027256 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.29/1.30 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 1.29/1.30 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 1.29/1.30 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 1.69/1.72 c Starting SCIP solver (with time-limit = 1800s) ... 1797.35/1801.73 c SCIP timeout with lower and upper bounds: [0, 23554] 1798.14/1802.59 o 23554 1799.45/1803.88 o 2421 1834.77/1839.29 o 596 2015.04/2019.99 o 377 3600.00/3608.80 3600.00/3608.80 v -x111 -x222 -x254 -x265 -x276 -x287 -x298 -x309 -x1 -x12 -x23 -x34 -x45 -x56 -x67 -x78 -x89 -x100 -x112 -x123 -x134 -x145 -x156 -x167 -x178 -x189 -x200 -x211 -x223 -x234 -x245 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x246 3600.00/3608.80 s SATISFIABLE
OK 377
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: 63968 MiB (59943 MiB free)
memory of node 1: 64473 MiB (59501 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439414-1721198242/watcher-4439414-1721198242 -o /tmp/evaluation-result-4439414-1721198242/solver-4439414-1721198242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721194641-894781 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439414-1721198242.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=896927, runsolver pid=896924
[startup+0.100392 s]*
/proc/loadavg: 4.09 4.14 4.08 5/255 896928
/proc/meminfo: memFree=122308132/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=32964 memory=14368 CPUtime=0.1 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 3414 0 0 0 10 0 0 0 20 0 1 0 171994715 33755136 3592 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 8241 3592 970 2550 0 5196 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32964 KiB
Current children cumulated memory: 14368 KiB
[startup+0.205889 s]*
/proc/loadavg: 4.09 4.14 4.08 5/255 896928
/proc/meminfo: memFree=122286212/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=42400 memory=21504 CPUtime=0.2 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 4854 0 0 0 20 0 0 0 20 0 1 0 171994715 43417600 5376 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 10600 5376 970 2550 0 7555 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42400 KiB
Current children cumulated memory: 21504 KiB
[startup+0.305811 s]*
/proc/loadavg: 4.09 4.14 4.08 5/255 896928
/proc/meminfo: memFree=122270212/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=44908 memory=26452 CPUtime=0.3 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 5563 0 0 0 30 0 0 0 20 0 1 0 171994715 45985792 6613 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 11227 6613 970 2550 0 8182 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 26452 KiB
[startup+0.700234 s]
/proc/loadavg: 4.09 4.14 4.08 5/255 896928
/proc/meminfo: memFree=122207120/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=130564 memory=106620 CPUtime=0.69 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 19802 0 0 0 66 3 0 0 20 0 1 0 171994715 133697536 26655 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 32641 26655 970 2550 0 29596 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 130564 KiB
Current children cumulated memory: 106620 KiB
[startup+1.50023 s]
/proc/loadavg: 4.09 4.14 4.08 5/255 896928
/proc/meminfo: memFree=122104488/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=252320 memory=230588 CPUtime=1.49 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 53522 0 0 0 141 8 0 0 20 0 1 0 171994715 258375680 57647 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 63080 57647 2282 2550 0 60035 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 252320 KiB
Current children cumulated memory: 230588 KiB
[startup+3.10578 s]
/proc/loadavg: 4.08 4.14 4.08 5/255 896928
/proc/meminfo: memFree=121386260/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=781660 memory=753944 CPUtime=3.08 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 179543 0 0 0 282 26 0 0 20 0 1 0 171994715 800419840 188486 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 195415 188486 2490 2550 0 192370 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 781660 KiB
Current children cumulated memory: 753944 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.14 4.08 5/255 896974
/proc/meminfo: memFree=121803528/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=979896 memory=949820 CPUtime=6.28 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 224543 0 0 0 594 34 0 0 20 0 1 0 171994715 1003413504 237455 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 244974 237455 2522 2550 0 241929 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 979896 KiB
Current children cumulated memory: 949820 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.13 4.08 5/255 896976
/proc/meminfo: memFree=121500776/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=979896 memory=950120 CPUtime=12.66 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 224548 0 0 0 1232 34 0 0 20 0 1 0 171994715 1003413504 237530 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 244974 237530 2538 2550 0 241929 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 979896 KiB
Current children cumulated memory: 950120 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.08 5/256 896978
/proc/meminfo: memFree=120962240/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1169236 memory=1099112 CPUtime=25.43 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 228594 0 0 0 2505 38 0 0 20 0 1 0 171994715 1197297664 274266 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 292309 274266 2554 2550 0 289264 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1169236 KiB
Current children cumulated memory: 1099112 KiB
[startup+51.1058 s]
/proc/loadavg: 4.09 4.13 4.08 5/255 896983
/proc/meminfo: memFree=119524420/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=2245172 memory=2113244 CPUtime=50.97 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 325893 0 0 0 5033 64 0 0 20 0 1 0 171994715 2299056128 528311 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 561293 528311 2666 2550 0 558248 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2245172 KiB
Current children cumulated memory: 2113244 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.12 4.08 5/255 896992
/proc/meminfo: memFree=119413928/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=2252568 memory=2121936 CPUtime=102.04 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 327633 0 0 0 10138 66 0 0 20 0 1 0 171994715 2306629632 530484 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 563142 530484 2666 2550 0 560097 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2252568 KiB
Current children cumulated memory: 2121936 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.14 4.09 5/255 897139
/proc/meminfo: memFree=120800720/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=2253392 memory=2122788 CPUtime=161.87 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 327938 0 0 0 16119 68 0 0 20 0 1 0 171994715 2307473408 530697 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 563348 530697 2666 2550 0 560303 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2253392 KiB
Current children cumulated memory: 2122788 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/259 897156
/proc/meminfo: memFree=120728204/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=2253392 memory=2122788 CPUtime=221.7 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 328025 0 0 0 22101 69 0 0 20 0 1 0 171994715 2307473408 530697 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 563348 530697 2666 2550 0 560303 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 2253392 KiB
Current children cumulated memory: 2122788 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/259 897166
/proc/meminfo: memFree=120698240/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=2253392 memory=2122788 CPUtime=281.54 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 328120 0 0 0 28083 71 0 0 20 0 1 0 171994715 2307473408 530697 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 563348 530697 2666 2550 0 560303 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2253392 KiB
Current children cumulated memory: 2122788 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/259 897177
/proc/meminfo: memFree=112321476/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=2253392 memory=2122792 CPUtime=341.37 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 328210 0 0 0 34065 72 0 0 20 0 1 0 171994715 2307473408 530698 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 563348 530698 2666 2550 0 560303 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2253392 KiB
Current children cumulated memory: 2122792 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/258 897188
/proc/meminfo: memFree=107085972/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=2253556 memory=2122820 CPUtime=401.2 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 328347 0 0 0 40046 74 0 0 20 0 1 0 171994715 2307641344 530705 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 563389 530705 2666 2550 0 560344 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 2253556 KiB
Current children cumulated memory: 2122820 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/259 897199
/proc/meminfo: memFree=106322688/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=2253556 memory=2123072 CPUtime=461.03 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 328452 0 0 0 46028 75 0 0 20 0 1 0 171994715 2307641344 530768 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 563389 530768 2666 2550 0 560344 0
################
# More data... #
################
Current children cumulated memory: 1435604 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 898394
/proc/meminfo: memFree=107175812/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=2855.38 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 333124 0 0 0 285458 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 2855.38 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 898787
/proc/meminfo: memFree=107115868/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=2915.24 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 333258 0 0 0 291444 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 2915.24 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 898797
/proc/meminfo: memFree=107031776/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=2975.1 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 333357 0 0 0 297430 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 2975.1 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 898808
/proc/meminfo: memFree=106975360/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=3034.94 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 333504 0 0 0 303414 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 3034.94 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/260 898989
/proc/meminfo: memFree=106937672/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=3094.79 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 333604 0 0 0 309399 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 3094.79 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/260 898999
/proc/meminfo: memFree=106915220/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=3154.64 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 333768 0 0 0 315384 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 3154.64 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 899069
/proc/meminfo: memFree=106891152/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=3214.48 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 333888 0 0 0 321368 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 3214.48 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/261 899080
/proc/meminfo: memFree=106848748/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=3274.33 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 334000 0 0 0 327353 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 3274.33 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 899092
/proc/meminfo: memFree=106832492/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=3334.18 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 334099 0 0 0 333338 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 3334.18 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/260 899103
/proc/meminfo: memFree=106825320/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=3394.02 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 334266 0 0 0 339322 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 3394.02 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/260 899114
/proc/meminfo: memFree=106790936/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=3453.87 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 334365 0 0 0 345307 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 899124
/proc/meminfo: memFree=106770264/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=3513.72 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 334515 0 0 0 351292 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 899134
/proc/meminfo: memFree=106750872/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=3573.56 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 334686 0 0 0 357276 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 3573.56 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/252 899154
/proc/meminfo: memFree=122258060/131524596 swapFree=131071996/131071996
[pid=896927] ppid=896924 vsize=1448000 memory=1435604 CPUtime=3600 cores=4,6
/proc/896927/stat : 896927 (CASHWMaxSAT-Dis) R 896924 896927 894770 0 -1 4194304 334711 0 0 0 359920 80 0 0 20 0 1 0 171994715 1482752000 358901 134679101440 4194304 14636349 140721078888192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47722496 140721078891490 140721078891606 140721078891606 140721078898622 0
/proc/896927/statm: 362000 358901 2666 2550 0 358955 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1448000 KiB
Current children cumulated memory: 1435604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.8 s]
# the end of solver process 896927 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.2 s, system=0.809121 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3608.8
CPU time (s): 3600.01
CPU user time (s): 3599.2
CPU system time (s): 0.809121
CPU usage (%): 99.7564
Max. virtual memory (cumulated for all children) (KiB): 2254248
Max. memory (cumulated for all children) (KiB): 2149496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.2
system time used= 0.809121
maximum resident set size= 2149496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334711
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= 14
involuntary context switches= 1168
# summary of solver processes directly reported to runsolver:
# pid: 896927
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.2
# total CPU system time (s): 0.809121
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21775 second user time and 18.4135 second system time
The end
Begin job on nodeC034 at 2024-07-17 08:37:34 IDJOB=4439414 IDBENCH=146929 IDSOLVER=3076 FILE ID=nodeC034/4439414-1721198242 RUNJOBID= nodeC034-1721194641-894781 SLURM_JOB_ID= 7508895 Free space on /tmp= 890032 MiB SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.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-4439414-1721198242/watcher-4439414-1721198242 -o /tmp/evaluation-result-4439414-1721198242/solver-4439414-1721198242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721194641-894781 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439414-1721198242.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d3e48ed9182b9fed4d29a9ec4b7209aa RANDOM SEED=173653429 nodeC034.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 : 3658.065 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 : 6999.99 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 : 3673.371 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 : 7005.58 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 : 3606.423 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 : 6999.99 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 : 3600.510 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 : 7005.58 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 : 3647.703 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 : 6999.99 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 : 3673.410 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 : 7005.58 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 : 3663.130 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 : 6999.99 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 : 3600.018 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 : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524596 kB MemFree: 122334352 kB MemAvailable: 127306452 kB Buffers: 428760 kB Cached: 5321512 kB SwapCached: 0 kB Active: 834888 kB Inactive: 7619944 kB Active(anon): 1532 kB Inactive(anon): 2740752 kB Active(file): 833356 kB Inactive(file): 4879192 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 33716 kB Writeback: 0 kB AnonPages: 2703328 kB Mapped: 130492 kB Shmem: 37720 kB KReclaimable: 198752 kB Slab: 320300 kB SReclaimable: 198752 kB SUnreclaim: 121548 kB KernelStack: 4096 kB PageTables: 14572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 3546248 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 66208 kB HardwareCorrupted: 0 kB AnonHugePages: 2265088 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: 295636 kB DirectMap2M: 40372224 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890028 MiB End job on nodeC034 at 2024-07-17 09:37:43