Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-SP 2024-07-10 | OPT | 307 | 3380.9 | 3389.85 |
| 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 |
0.60/0.69 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.60/0.69 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.99/1.09 c Starting SCIP solver (with time-limit = 1800s) ... 1795.98/1801.11 c SCIP timeout with lower and upper bounds: [0, 1426] 1796.77/1801.96 o 1426 1968.14/1973.76 o 383 1980.31/1985.93 o 354 3366.67/3375.62 o 339 3367.66/3376.61 o 313 3372.45/3381.41 o 312 3372.55/3381.56 o 311 3372.65/3381.65 o 310 3372.65/3381.67 o 309 3379.63/3388.68 o 307 3380.83/3389.85 s OPTIMUM FOUND 3380.83/3389.85 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
OK 307
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 (59522 MiB free)
memory of node 1: 64510 MiB (60291 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438608-1721206225/watcher-4438608-1721206225 -o /tmp/evaluation-result-4438608-1721206225/solver-4438608-1721206225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721206158-914130 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438608-1721206225.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=914388, runsolver pid=914385
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 3.39 2.09 2.69 5/256 914389
/proc/meminfo: memFree=122678360/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=29444 memory=14668 CPUtime=0.09 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 3420 0 0 0 9 0 0 0 20 0 1 0 172792264 30150656 3667 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 7361 3667 1066 2726 0 4109 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29444 KiB
Current children cumulated memory: 14668 KiB
[startup+0.205656 s]*
/proc/loadavg: 3.39 2.09 2.69 5/256 914389
/proc/meminfo: memFree=122668044/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=38880 memory=21900 CPUtime=0.2 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 4860 0 0 0 20 0 0 0 20 0 1 0 172792264 39813120 5475 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 9720 5475 1066 2726 0 6468 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38880 KiB
Current children cumulated memory: 21900 KiB
[startup+0.305587 s]*
/proc/loadavg: 3.39 2.09 2.69 5/256 914389
/proc/meminfo: memFree=122662756/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=41388 memory=27112 CPUtime=0.3 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 5620 0 0 0 30 0 0 0 20 0 1 0 172792264 42381312 6778 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 10347 6778 1066 2726 0 7095 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41388 KiB
Current children cumulated memory: 27112 KiB
[startup+0.700232 s]
/proc/loadavg: 3.39 2.09 2.69 5/256 914389
/proc/meminfo: memFree=122639980/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=136552 memory=116012 CPUtime=0.69 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 24576 0 0 0 65 4 0 0 20 0 1 0 172792264 139829248 29003 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 34138 29003 2362 2726 0 30886 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 136552 KiB
Current children cumulated memory: 116012 KiB
[startup+1.50024 s]
/proc/loadavg: 3.39 2.09 2.69 5/256 914389
/proc/meminfo: memFree=122375332/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=656036 memory=634096 CPUtime=1.49 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 148270 0 0 0 127 22 0 0 20 0 1 0 172792264 671780864 158524 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 164009 158524 2522 2726 0 160757 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 656036 KiB
Current children cumulated memory: 634096 KiB
[startup+3.10567 s]
/proc/loadavg: 3.44 2.12 2.70 5/256 914389
/proc/meminfo: memFree=121629220/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=993300 memory=959920 CPUtime=3.09 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 228130 0 0 0 275 34 0 0 20 0 1 0 172792264 1017139200 239980 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 248325 239980 2618 2726 0 245073 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 993300 KiB
Current children cumulated memory: 959920 KiB
[startup+6.30023 s]
/proc/loadavg: 3.44 2.12 2.70 5/256 914389
/proc/meminfo: memFree=121689748/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=993300 memory=964732 CPUtime=6.28 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 230005 0 0 0 594 34 0 0 20 0 1 0 172792264 1017139200 241183 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 248325 241183 2634 2726 0 245073 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 993300 KiB
Current children cumulated memory: 964732 KiB
[startup+12.7002 s]
/proc/loadavg: 3.48 2.15 2.70 5/256 914391
/proc/meminfo: memFree=121681644/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=993300 memory=964732 CPUtime=12.66 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 230013 0 0 0 1231 35 0 0 20 0 1 0 172792264 1017139200 241183 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 248325 241183 2634 2726 0 245073 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 993300 KiB
Current children cumulated memory: 964732 KiB
[startup+25.5003 s]
/proc/loadavg: 3.68 2.26 2.73 5/258 914396
/proc/meminfo: memFree=121659532/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=993300 memory=964732 CPUtime=25.42 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 230023 0 0 0 2506 36 0 0 20 0 1 0 172792264 1017139200 241183 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 248325 241183 2634 2726 0 245073 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 993300 KiB
Current children cumulated memory: 964732 KiB
[startup+51.1056 s]
/proc/loadavg: 3.79 2.40 2.77 5/258 914401
/proc/meminfo: memFree=120512672/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=2226640 memory=2098592 CPUtime=50.96 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 341586 0 0 0 5030 66 0 0 20 0 1 0 172792264 2280079360 524648 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 556660 524648 2746 2726 0 553408 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2226640 KiB
Current children cumulated memory: 2098592 KiB
[startup+102.3 s]
/proc/loadavg: 3.96 2.66 2.84 5/258 914410
/proc/meminfo: memFree=120386892/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=2245296 memory=2116240 CPUtime=102.01 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 345555 0 0 0 10133 68 0 0 20 0 1 0 172792264 2299183104 529060 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 561324 529060 2746 2726 0 558072 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2245296 KiB
Current children cumulated memory: 2116240 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 2.94 2.92 5/258 914421
/proc/meminfo: memFree=120364344/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=2250892 memory=2121624 CPUtime=161.85 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 346495 0 0 0 16114 71 0 0 20 0 1 0 172792264 2304913408 530406 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 562723 530406 2746 2726 0 559471 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2250892 KiB
Current children cumulated memory: 2121624 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.15 3.00 5/258 914431
/proc/meminfo: memFree=120353220/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=2250892 memory=2121772 CPUtime=221.69 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 346658 0 0 0 22096 73 0 0 20 0 1 0 172792264 2304913408 530443 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 562723 530443 2746 2726 0 559471 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2250892 KiB
Current children cumulated memory: 2121772 KiB
[startup+282.3 s]
/proc/loadavg: 4.03 3.31 3.06 5/256 914441
/proc/meminfo: memFree=120358972/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=2250892 memory=2121816 CPUtime=281.53 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 346788 0 0 0 28078 75 0 0 20 0 1 0 172792264 2304913408 530454 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 562723 530454 2746 2726 0 559471 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 2250892 KiB
Current children cumulated memory: 2121816 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.47 3.14 5/257 914839
/proc/meminfo: memFree=120277008/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=2250892 memory=2121844 CPUtime=341.38 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 346945 0 0 0 34060 78 0 0 20 0 1 0 172792264 2304913408 530461 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 562723 530461 2746 2726 0 559471 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 2250892 KiB
Current children cumulated memory: 2121844 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.58 3.20 5/257 914849
/proc/meminfo: memFree=120275368/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=2257248 memory=2130280 CPUtime=401.21 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 349204 0 0 0 40041 80 0 0 20 0 1 0 172792264 2311421952 532570 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 564312 532570 2746 2726 0 561060 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 2257248 KiB
Current children cumulated memory: 2130280 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.68 3.26 5/257 914859
/proc/meminfo: memFree=120275020/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=2257248 memory=2130820 CPUtime=461.05 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 349434 0 0 0 46023 82 0 0 20 0 1 0 172792264 2311421952 532705 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 564312 532705 2746 2726 0 561060 0
################
# More data... #
################
/proc/loadavg: 4.13 4.16 4.10 5/255 916150
/proc/meminfo: memFree=120801500/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=2974.32 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 355577 0 0 0 297325 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 2974.32 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/257 916165
/proc/meminfo: memFree=120846524/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3034.17 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 355709 0 0 0 303310 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/257 916177
/proc/meminfo: memFree=120834904/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3094.03 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 355831 0 0 0 309296 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3094.03 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.10 5/257 916187
/proc/meminfo: memFree=120906572/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3153.88 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 355975 0 0 0 315281 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/257 916199
/proc/meminfo: memFree=120910124/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3213.74 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 356127 0 0 0 321267 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 916209
/proc/meminfo: memFree=120866508/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3273.6 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 356275 0 0 0 327253 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/255 916219
/proc/meminfo: memFree=120804156/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3333.45 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 356387 0 0 0 333238 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3389.85 s]
# the end of solver process 914388 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=3379.82 s, system=1.08024 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3353.6 s]
/proc/loadavg: 4.19 4.16 4.10 5/255 916221
/proc/meminfo: memFree=120797556/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3344.72 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 356443 0 0 0 334365 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3344.72 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3366.4 s]
/proc/loadavg: 4.15 4.15 4.09 5/255 916223
/proc/meminfo: memFree=120783112/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3357.49 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 356453 0 0 0 335642 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3357.49 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3379.2 s]
/proc/loadavg: 4.11 4.14 4.09 5/255 916226
/proc/meminfo: memFree=120783040/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3370.26 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 356466 0 0 0 336919 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3370.26 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3385.6 s]
/proc/loadavg: 4.18 4.15 4.10 5/255 916226
/proc/meminfo: memFree=120712624/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3376.64 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 356507 0 0 0 337557 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3376.64 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3387.2 s]
/proc/loadavg: 4.18 4.15 4.10 5/255 916226
/proc/meminfo: memFree=120507340/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3378.24 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 356507 0 0 0 337717 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3378.24 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3388.8 s]
/proc/loadavg: 4.18 4.15 4.10 5/255 916227
/proc/meminfo: memFree=120746352/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3379.83 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 356514 0 0 0 337876 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3379.83 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3389.6 s]
/proc/loadavg: 4.17 4.15 4.10 5/255 916227
/proc/meminfo: memFree=120746352/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3380.63 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 356517 0 0 0 337956 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3380.63 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
[startup+3389.8 s]
/proc/loadavg: 4.17 4.15 4.10 5/255 916227
/proc/meminfo: memFree=120746352/131524600 swapFree=131071996/131071996
[pid=914388] ppid=914385 vsize=1131052 memory=1116460 CPUtime=3380.83 cores=5,7
/proc/914388/stat : 914388 (CASHWMaxSAT-Dis) R 914385 914388 914117 0 -1 4194304 356517 0 0 0 337976 107 0 0 20 0 1 0 172792264 1158197248 279115 134679101440 4194304 15356333 140723492017408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25153536 140723492021218 140723492021334 140723492021334 140723492028350 0
/proc/914388/statm: 282763 279115 2810 2726 0 279511 0
Current children cumulated CPU time: 3380.83 s
Current children cumulated vsize: 1131052 KiB
Current children cumulated memory: 1116460 KiB
Child status: 30
Real time (s): 3389.85
CPU time (s): 3380.9
CPU user time (s): 3379.82
CPU system time (s): 1.08024
CPU usage (%): 99.7358
Max. virtual memory (cumulated for all children) (KiB): 2260080
Max. memory (cumulated for all children) (KiB): 2161712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3379.82
system time used= 1.08024
maximum resident set size= 2161712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356517
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= 19
involuntary context switches= 1883
# summary of solver processes directly reported to runsolver:
# pid: 914388
# total CPU time (s): 3380.9
# total CPU user time (s): 3379.82
# total CPU system time (s): 1.08024
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38288 second user time and 15.3534 second system time
The end
Begin job on nodeC033 at 2024-07-17 10:50:38 IDJOB=4438608 IDBENCH=146929 IDSOLVER=3074 FILE ID=nodeC033/4438608-1721206225 RUNJOBID= nodeC033-1721206158-914130 SLURM_JOB_ID= 7508907 Free space on /tmp= 890040 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-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-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438608-1721206225/watcher-4438608-1721206225 -o /tmp/evaluation-result-4438608-1721206225/solver-4438608-1721206225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721206158-914130 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438608-1721206225.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d3e48ed9182b9fed4d29a9ec4b7209aa RANDOM SEED=793488789 nodeC033.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 : 3673.558 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.50 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 : 3681.696 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.25 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 : 3600.056 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.50 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 : 3646.513 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.25 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 : 3673.599 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.50 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 : 3661.514 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.25 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 : 3599.915 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.50 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 : 3664.387 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.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122689720 kB MemAvailable: 128303820 kB Buffers: 469164 kB Cached: 5911500 kB SwapCached: 0 kB Active: 779720 kB Inactive: 7299836 kB Active(anon): 1556 kB Inactive(anon): 1735064 kB Active(file): 778164 kB Inactive(file): 5564772 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14376 kB Writeback: 40 kB AnonPages: 1696224 kB Mapped: 133120 kB Shmem: 37716 kB KReclaimable: 221620 kB Slab: 343508 kB SReclaimable: 221620 kB SUnreclaim: 121888 kB KernelStack: 4128 kB PageTables: 12728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2137360 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 64544 kB HardwareCorrupted: 0 kB AnonHugePages: 851968 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: 273108 kB DirectMap2M: 28860416 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890020 MiB End job on nodeC033 at 2024-07-17 11:47:08