Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCom-S 2024-07-10 | SAT (TO) | -5736 | 3600.04 | 3610.11 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb |
| MD5SUM | 2490394f4bcefb8d76998a0fa8c11f7f |
| 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 | -5737 |
| Best CPU time to get the best result obtained on this benchmark | 0.0072 |
| 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 | 250 |
| Total number of constraints | 1 |
| 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 | 1 |
| Minimum length of a constraint | 250 |
| Maximum length of a constraint | 250 |
| Number of terms in the objective function | 250 |
| Biggest coefficient in the objective function | 1278 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 180531 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 1278 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 180531 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.08 c Do: 140720488465784 140720488465792 0.20/0.26 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.20/0.26 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.30/0.33 c Starting SCIP solver (with time-limit = 1800s) ... 1795.24/1800.34 c SCIP timeout with lower and upper bounds: [-84442, 0] 1795.24/1800.34 o 0 1795.65/1800.70 o -4096 1795.74/1800.87 o -4104 1798.14/1803.20 o -4833 1814.09/1819.23 o -4837 1831.55/1836.77 o -5027 1846.31/1851.58 o -5032 1847.20/1852.45 o -5033 1847.50/1852.75 o -5135 1917.40/1922.89 o -5336 2024.80/2030.55 c Do: 140720488465784 140720488465792 2024.80/2030.55 o -5420 2026.40/2032.18 o -5506 2029.19/2034.96 o -5523 2029.69/2035.43 o -5528 2029.69/2035.48 o -5535 2058.81/2064.63 o -5537 2060.01/2065.87 o -5622 2068.19/2074.05 o -5633 2078.76/2084.65 o -5736 3600.02/3610.10 3600.02/3610.10 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 3600.02/3610.10 s SATISFIABLE
OK -5736
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 (59428 MiB free)
memory of node 1: 64510 MiB (60720 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457849-1721875946/watcher-4457849-1721875946 -o /tmp/evaluation-result-4457849-1721875946/solver-4457849-1721875946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721875931-226581 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4457849-1721875946.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=226737, runsolver pid=226734
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 3.84 4.02 4.07 5/261 226738
/proc/meminfo: memFree=123007884/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=38516 memory=21120 CPUtime=0.09 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 4723 0 0 0 9 0 0 0 20 0 1 0 24123226 39440384 5280 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 9629 5280 782 2417 0 6731 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38516 KiB
Current children cumulated memory: 21120 KiB
[startup+0.205869 s]*
/proc/loadavg: 3.84 4.02 4.07 5/261 226738
/proc/meminfo: memFree=123004812/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=38040 memory=22060 CPUtime=0.2 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 5666 0 0 0 20 0 0 0 20 0 1 0 24123226 38952960 5515 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 9510 5515 782 2417 0 6612 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38040 KiB
Current children cumulated memory: 22060 KiB
[startup+0.305628 s]*
/proc/loadavg: 3.84 4.02 4.07 5/261 226738
/proc/meminfo: memFree=122967232/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=77556 memory=66156 CPUtime=0.3 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 16105 0 0 0 28 2 0 0 20 0 1 0 24123226 79417344 16539 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 19389 16539 2142 2417 0 16491 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77556 KiB
Current children cumulated memory: 66156 KiB
[startup+0.700238 s]
/proc/loadavg: 3.84 4.02 4.07 5/261 226738
/proc/meminfo: memFree=122867492/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=211576 memory=197880 CPUtime=0.69 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 48834 0 0 0 63 6 0 0 20 0 1 0 24123226 216653824 49470 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 52894 49470 2350 2417 0 49996 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 211576 KiB
Current children cumulated memory: 197880 KiB
[startup+1.50025 s]
/proc/loadavg: 3.86 4.02 4.07 5/261 226738
/proc/meminfo: memFree=122772380/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=220304 memory=207792 CPUtime=1.48 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 51254 0 0 0 142 6 0 0 20 0 1 0 24123226 225591296 51948 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 55076 51948 2398 2417 0 52178 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 220304 KiB
Current children cumulated memory: 207792 KiB
[startup+3.1057 s]
/proc/loadavg: 3.86 4.02 4.07 5/261 226740
/proc/meminfo: memFree=122748068/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=378308 memory=342752 CPUtime=3.09 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 59166 0 0 0 298 11 0 0 20 0 1 0 24123226 387387392 85688 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 94577 85688 2414 2417 0 91679 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 378308 KiB
Current children cumulated memory: 342752 KiB
[startup+6.30024 s]
/proc/loadavg: 3.87 4.02 4.06 5/261 226740
/proc/meminfo: memFree=122620396/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=541756 memory=507100 CPUtime=6.27 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 88489 0 0 0 611 16 0 0 20 0 1 0 24123226 554758144 126775 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 135439 126775 2510 2417 0 132541 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 541756 KiB
Current children cumulated memory: 507100 KiB
[startup+12.7002 s]
/proc/loadavg: 3.88 4.02 4.06 5/261 226741
/proc/meminfo: memFree=122228564/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=544504 memory=509516 CPUtime=12.66 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 89131 0 0 0 1249 17 0 0 20 0 1 0 24123226 557572096 127379 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 136126 127379 2526 2417 0 133228 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 544504 KiB
Current children cumulated memory: 509516 KiB
[startup+25.5003 s]
/proc/loadavg: 3.90 4.02 4.06 5/261 226743
/proc/meminfo: memFree=122384308/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=546864 memory=511060 CPUtime=25.41 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 89490 0 0 0 2524 17 0 0 20 0 1 0 24123226 559988736 127765 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 136716 127765 2526 2417 0 133818 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 546864 KiB
Current children cumulated memory: 511060 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.05 4.07 5/261 226746
/proc/meminfo: memFree=122383472/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=546864 memory=511060 CPUtime=50.95 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 89530 0 0 0 5077 18 0 0 20 0 1 0 24123226 559988736 127765 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 136716 127765 2526 2417 0 133818 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 546864 KiB
Current children cumulated memory: 511060 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.05 4.07 5/261 226756
/proc/meminfo: memFree=122382384/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=546864 memory=511224 CPUtime=101.98 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 89545 0 0 0 10180 18 0 0 20 0 1 0 24123226 559988736 127806 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 136716 127806 2526 2417 0 133818 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 546864 KiB
Current children cumulated memory: 511224 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.09 4.08 5/261 226769
/proc/meminfo: memFree=122381236/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=546864 memory=511224 CPUtime=161.81 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 89555 0 0 0 16162 19 0 0 20 0 1 0 24123226 559988736 127806 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 136716 127806 2526 2417 0 133818 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 546864 KiB
Current children cumulated memory: 511224 KiB
[startup+222.3 s]
/proc/loadavg: 4.33 4.16 4.11 5/260 227164
/proc/meminfo: memFree=122380064/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=546864 memory=511224 CPUtime=221.62 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 89566 0 0 0 22143 19 0 0 20 0 1 0 24123226 559988736 127806 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 136716 127806 2526 2417 0 133818 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 546864 KiB
Current children cumulated memory: 511224 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/260 227174
/proc/meminfo: memFree=122379300/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=546864 memory=511224 CPUtime=281.44 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 89576 0 0 0 28125 19 0 0 20 0 1 0 24123226 559988736 127806 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 136716 127806 2526 2417 0 133818 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 546864 KiB
Current children cumulated memory: 511224 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/257 227185
/proc/meminfo: memFree=122378672/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=546864 memory=511224 CPUtime=341.27 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 89586 0 0 0 34107 20 0 0 20 0 1 0 24123226 559988736 127806 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 136716 127806 2526 2417 0 133818 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 546864 KiB
Current children cumulated memory: 511224 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/260 227366
/proc/meminfo: memFree=122376640/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=546864 memory=511224 CPUtime=401.1 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 89600 0 0 0 40090 20 0 0 20 0 1 0 24123226 559988736 127806 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 136716 127806 2526 2417 0 133818 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 546864 KiB
Current children cumulated memory: 511224 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 227377
/proc/meminfo: memFree=122374116/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=546864 memory=511244 CPUtime=460.93 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 89610 0 0 0 46072 21 0 0 20 0 1 0 24123226 559988736 127811 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 136716 127811 2526 2417 0 133818 0
################
# More data... #
################
Current children cumulated memory: 349608 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/258 228465
/proc/meminfo: memFree=122714872/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=2914.06 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 104195 0 0 0 291369 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 2914.06 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/258 228477
/proc/meminfo: memFree=122722592/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=2973.9 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 104278 0 0 0 297353 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 2973.9 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
[startup+3042.3 s]
/proc/loadavg: 4.24 4.14 4.13 5/258 228487
/proc/meminfo: memFree=122715664/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=3033.74 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 104361 0 0 0 303337 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/258 228498
/proc/meminfo: memFree=122714808/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=3093.58 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 104444 0 0 0 309321 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/258 228510
/proc/meminfo: memFree=122708012/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=3153.42 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 104526 0 0 0 315305 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/255 228520
/proc/meminfo: memFree=122717548/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=3213.26 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 104610 0 0 0 321289 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/255 228532
/proc/meminfo: memFree=122705416/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=3273.1 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 104693 0 0 0 327273 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.10 5/255 228542
/proc/meminfo: memFree=122763228/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=3332.94 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 104776 0 0 0 333257 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/255 228552
/proc/meminfo: memFree=122702072/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=3392.78 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 104859 0 0 0 339241 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 3392.78 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/255 228563
/proc/meminfo: memFree=122695140/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=3452.61 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 104941 0 0 0 345224 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/257 228578
/proc/meminfo: memFree=122694368/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=3512.46 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 105026 0 0 0 351209 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 3512.46 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
[startup+3582.3 s]
/proc/loadavg: 5.29 4.44 4.21 5/257 228589
/proc/meminfo: memFree=122689344/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=3572.3 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 105109 0 0 0 357193 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.93 4.42 4.21 5/257 228730
/proc/meminfo: memFree=126264144/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=3600.02 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 105116 0 0 0 359965 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 226737 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.66 s, system=0.376979 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.93 4.42 4.21 5/257 228730
/proc/meminfo: memFree=126264144/131524600 swapFree=131059368/131071996
[pid=226737] ppid=226734 vsize=355840 memory=349608 CPUtime=3600.02 cores=5,7
/proc/226737/stat : 226737 (CASHWMaxSAT-Dis) R 226734 226737 226568 0 -1 4194304 105116 0 0 0 359965 37 0 0 20 0 1 0 24123226 364380160 87402 134679101440 4194304 14093885 140720488468144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 35778560 140720488469477 140720488469592 140720488469592 140720488476607 0
/proc/226737/statm: 88960 87402 2810 2417 0 86062 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 355840 KiB
Current children cumulated memory: 349608 KiB
Child status: 10
Real time (s): 3610.11
CPU time (s): 3600.04
CPU user time (s): 3599.66
CPU system time (s): 0.376979
CPU usage (%): 99.7211
Max. virtual memory (cumulated for all children) (KiB): 621052
Max. memory (cumulated for all children) (KiB): 573064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.66
system time used= 0.376979
maximum resident set size= 573728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105117
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58
involuntary context switches= 1477
# summary of solver processes directly reported to runsolver:
# pid: 226737
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.66
# total CPU system time (s): 0.376979
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9264 second user time and 18.3533 second system time
The end
Begin job on nodeC021 at 2024-07-25 04:52:26 IDJOB=4457849 IDBENCH=176932 IDSOLVER=3077 FILE ID=nodeC021/4457849-1721875946 RUNJOBID= nodeC021-1721875931-226581 SLURM_JOB_ID= 8089232 Free space on /tmp= 890044 MiB SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457849-1721875946/watcher-4457849-1721875946 -o /tmp/evaluation-result-4457849-1721875946/solver-4457849-1721875946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721875931-226581 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4457849-1721875946.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2490394f4bcefb8d76998a0fa8c11f7f RANDOM SEED=469204857 nodeC021.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 : 3678.394 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 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 : 3670.758 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 : 7007.41 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.412 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 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.248 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 : 7007.41 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 : 3678.505 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 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 : 3669.163 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 : 7007.41 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 : 3600.206 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 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 : 3667.353 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 : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123033172 kB MemAvailable: 126027936 kB Buffers: 291632 kB Cached: 3515412 kB SwapCached: 444 kB Active: 2627976 kB Inactive: 5222580 kB Active(anon): 1720 kB Inactive(anon): 4095252 kB Active(file): 2626256 kB Inactive(file): 1127328 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131059368 kB Dirty: 52028 kB Writeback: 32 kB AnonPages: 4042872 kB Mapped: 123152 kB Shmem: 53464 kB KReclaimable: 161656 kB Slab: 281056 kB SReclaimable: 161656 kB SUnreclaim: 119400 kB KernelStack: 4192 kB PageTables: 17292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4916232 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16704 kB HardwareCorrupted: 0 kB AnonHugePages: 2072576 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: 322260 kB DirectMap2M: 40345600 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890032 MiB End job on nodeC021 at 2024-07-25 05:52:36