Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-S 2024-07-10 | SAT (TO) | -2917 | 3600.03 | 3610.5 |
| 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.09 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.09 c Do: 140736253740952 140736253740960 0.00/0.09 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.09/0.19 c Starting SCIP solver (with time-limit = 1800s) ... 1794.64/1800.20 c SCIP timeout with lower and upper bounds: [-78062, -2336] 1794.64/1800.20 o -2336 1794.64/1800.20 c Restarting SCIP solver (with time-limit = 2400s) ... 2394.75/2402.01 c SCIP timeout with lower and upper bounds: [-73867, -2336] 2394.75/2402.01 c Restarting SCIP solver (with time-limit = 3000s) ... 2995.53/3004.44 c SCIP timeout with lower and upper bounds: [-71237, -2336] 2995.53/3004.44 c Restarting SCIP solver (with time-limit = 3600s) ... 3589.74/3600.22 c SCIP timeout with lower and upper bounds: [-70965, -2336] 3591.04/3601.54 o -2398 3591.54/3602.06 o -2511 3591.64/3602.14 o -2593 3592.43/3603.00 o -2917 3600.02/3610.50 3600.02/3610.50 v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 3600.02/3610.50 s SATISFIABLE
OK -2917
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 (48785 MiB free)
memory of node 1: 64510 MiB (58235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457847-1721875974/watcher-4457847-1721875974 -o /tmp/evaluation-result-4457847-1721875974/solver-4457847-1721875974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721875958-211407 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4457847-1721875974.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=211518, runsolver pid=211515
[startup+0.100265 s]*
/proc/loadavg: 3.73 4.03 4.07 5/258 211519
/proc/meminfo: memFree=109560132/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=50264 memory=39636 CPUtime=0.09 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 8643 0 0 0 8 1 0 0 20 0 1 0 24121626 51470336 9909 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 12566 9909 2286 2594 0 9459 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50264 KiB
Current children cumulated memory: 39636 KiB
[startup+0.205881 s]*
/proc/loadavg: 3.73 4.03 4.07 5/258 211519
/proc/meminfo: memFree=109490972/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=121344 memory=110400 CPUtime=0.19 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 26220 0 0 0 16 3 0 0 20 0 1 0 24121626 124256256 27600 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 30336 27600 2430 2594 0 27229 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 121344 KiB
Current children cumulated memory: 110400 KiB
[startup+0.305803 s]*
/proc/loadavg: 3.73 4.03 4.07 5/258 211519
/proc/meminfo: memFree=109434332/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=178292 memory=166692 CPUtime=0.29 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 40296 0 0 0 24 5 0 0 20 0 1 0 24121626 182571008 41673 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 44573 41673 2446 2594 0 41466 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 178292 KiB
Current children cumulated memory: 166692 KiB
[startup+0.700251 s]
/proc/loadavg: 3.73 4.03 4.07 5/258 211519
/proc/meminfo: memFree=109397732/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=244384 memory=229764 CPUtime=0.69 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 55979 0 0 0 61 8 0 0 20 0 1 0 24121626 250249216 57441 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 61096 57441 2510 2594 0 57989 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 244384 KiB
Current children cumulated memory: 229764 KiB
[startup+1.50025 s]
/proc/loadavg: 3.73 4.03 4.07 5/258 211519
/proc/meminfo: memFree=109363768/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=246904 memory=233388 CPUtime=1.48 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 57006 0 0 0 140 8 0 0 20 0 1 0 24121626 252829696 58347 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 61726 58347 2542 2594 0 58619 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 246904 KiB
Current children cumulated memory: 233388 KiB
[startup+3.10577 s]
/proc/loadavg: 3.75 4.03 4.06 5/258 211519
/proc/meminfo: memFree=109360416/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=249248 memory=236292 CPUtime=3.08 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 57714 0 0 0 300 8 0 0 20 0 1 0 24121626 255229952 59073 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 62312 59073 2542 2594 0 59205 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 249248 KiB
Current children cumulated memory: 236292 KiB
[startup+6.30025 s]
/proc/loadavg: 3.75 4.03 4.06 5/258 211519
/proc/meminfo: memFree=109241528/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=438644 memory=412984 CPUtime=6.26 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 70754 0 0 0 613 13 0 0 20 0 1 0 24121626 449171456 103246 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 109661 103246 2542 2594 0 106554 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 438644 KiB
Current children cumulated memory: 412984 KiB
[startup+12.7002 s]
/proc/loadavg: 3.79 4.03 4.06 5/258 211521
/proc/meminfo: memFree=109072256/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=541380 memory=512404 CPUtime=12.65 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 97047 0 0 0 1246 19 0 0 20 0 1 0 24121626 554373120 128101 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 135345 128101 2622 2594 0 132238 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 541380 KiB
Current children cumulated memory: 512404 KiB
[startup+25.5003 s]
/proc/loadavg: 3.90 4.04 4.07 5/258 211523
/proc/meminfo: memFree=109064184/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=542680 memory=513972 CPUtime=25.41 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 97435 0 0 0 2522 19 0 0 20 0 1 0 24121626 555704320 128493 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 135670 128493 2622 2594 0 132563 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 542680 KiB
Current children cumulated memory: 513972 KiB
[startup+51.1058 s]
/proc/loadavg: 3.93 4.04 4.07 5/258 211528
/proc/meminfo: memFree=109033276/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=544592 memory=516060 CPUtime=50.94 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 97965 0 0 0 5074 20 0 0 20 0 1 0 24121626 557662208 129015 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 136148 129015 2622 2594 0 133041 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 544592 KiB
Current children cumulated memory: 516060 KiB
[startup+102.3 s]
/proc/loadavg: 4.02 4.04 4.07 5/258 211538
/proc/meminfo: memFree=108991556/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=546068 memory=517636 CPUtime=101.98 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 98360 0 0 0 10178 20 0 0 20 0 1 0 24121626 559173632 129409 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 136517 129409 2622 2594 0 133410 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 546068 KiB
Current children cumulated memory: 517636 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.05 4.07 5/259 211933
/proc/meminfo: memFree=108836464/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=671276 memory=628252 CPUtime=161.8 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 106016 0 0 0 16156 24 0 0 20 0 1 0 24121626 687386624 157063 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 167819 157063 2654 2594 0 164712 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 671276 KiB
Current children cumulated memory: 628252 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 4.16 4.11 5/258 211943
/proc/meminfo: memFree=108780616/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=671276 memory=629556 CPUtime=221.62 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 106324 0 0 0 22137 25 0 0 20 0 1 0 24121626 687386624 157389 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 167819 157389 2654 2594 0 164712 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 671276 KiB
Current children cumulated memory: 629556 KiB
[startup+282.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/258 211954
/proc/meminfo: memFree=108721200/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=671276 memory=630052 CPUtime=281.44 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 106502 0 0 0 28118 26 0 0 20 0 1 0 24121626 687386624 157513 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 167819 157513 2654 2594 0 164712 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 671276 KiB
Current children cumulated memory: 630052 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/258 212135
/proc/meminfo: memFree=108668028/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=693552 memory=634592 CPUtime=341.26 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 108548 0 0 0 34099 27 0 0 20 0 1 0 24121626 710197248 158648 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 173388 158648 2654 2594 0 170281 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 693552 KiB
Current children cumulated memory: 634592 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 212145
/proc/meminfo: memFree=108626688/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=697728 memory=636160 CPUtime=401.08 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 108941 0 0 0 40080 28 0 0 20 0 1 0 24121626 714473472 159040 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 174432 159040 2654 2594 0 171325 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 697728 KiB
Current children cumulated memory: 636160 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/258 212160
/proc/meminfo: memFree=108608628/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=705608 memory=639476 CPUtime=460.9 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 109909 0 0 0 46061 29 0 0 20 0 1 0 24121626 722542592 159869 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 176402 159869 2654 2594 0 173295 0
################
# More data... #
################
Current children cumulated memory: 742016 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.22 4.17 5/257 213244
/proc/meminfo: memFree=107021368/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=873892 memory=742016 CPUtime=2913.65 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 122203 0 0 0 291325 40 0 0 20 0 1 0 24121626 894865408 185504 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 218473 185504 2654 2594 0 215366 0
Current children cumulated CPU time: 2913.65 s
Current children cumulated vsize: 873892 KiB
Current children cumulated memory: 742016 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.19 4.16 5/257 213255
/proc/meminfo: memFree=107036440/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=873892 memory=742016 CPUtime=2973.48 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 122342 0 0 0 297308 40 0 0 20 0 1 0 24121626 894865408 185504 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 218473 185504 2654 2594 0 215366 0
Current children cumulated CPU time: 2973.48 s
Current children cumulated vsize: 873892 KiB
Current children cumulated memory: 742016 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.17 4.15 5/256 213266
/proc/meminfo: memFree=107036580/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=873892 memory=742016 CPUtime=3033.33 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 122487 0 0 0 303293 40 0 0 20 0 1 0 24121626 894865408 185504 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 218473 185504 2654 2594 0 215366 0
Current children cumulated CPU time: 3033.33 s
Current children cumulated vsize: 873892 KiB
Current children cumulated memory: 742016 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.18 4.16 5/256 213277
/proc/meminfo: memFree=106987908/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=873892 memory=742024 CPUtime=3093.17 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 122797 0 0 0 309277 40 0 0 20 0 1 0 24121626 894865408 185506 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 218473 185506 2654 2594 0 215366 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 873892 KiB
Current children cumulated memory: 742024 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/254 213287
/proc/meminfo: memFree=106855396/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=875224 memory=743264 CPUtime=3153.02 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 123327 0 0 0 315262 40 0 0 20 0 1 0 24121626 896229376 185816 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 218806 185816 2654 2594 0 215699 0
Current children cumulated CPU time: 3153.02 s
Current children cumulated vsize: 875224 KiB
Current children cumulated memory: 743264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/254 213298
/proc/meminfo: memFree=106717388/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=876228 memory=743572 CPUtime=3212.85 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 123594 0 0 0 321245 40 0 0 20 0 1 0 24121626 897257472 185893 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 219057 185893 2654 2594 0 215950 0
Current children cumulated CPU time: 3212.85 s
Current children cumulated vsize: 876228 KiB
Current children cumulated memory: 743572 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/254 213308
/proc/meminfo: memFree=106672716/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=876228 memory=743572 CPUtime=3272.69 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 123702 0 0 0 327229 40 0 0 20 0 1 0 24121626 897257472 185893 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 219057 185893 2654 2594 0 215950 0
Current children cumulated CPU time: 3272.69 s
Current children cumulated vsize: 876228 KiB
Current children cumulated memory: 743572 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.16 4.15 5/254 213318
/proc/meminfo: memFree=106663740/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=876228 memory=743680 CPUtime=3332.52 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 123921 0 0 0 333212 40 0 0 20 0 1 0 24121626 897257472 185920 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 219057 185920 2654 2594 0 215950 0
Current children cumulated CPU time: 3332.52 s
Current children cumulated vsize: 876228 KiB
Current children cumulated memory: 743680 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/254 213328
/proc/meminfo: memFree=106476708/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=876228 memory=744552 CPUtime=3392.36 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 124340 0 0 0 339196 40 0 0 20 0 1 0 24121626 897257472 186138 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 219057 186138 2654 2594 0 215950 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 876228 KiB
Current children cumulated memory: 744552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.12 4.14 5/256 213343
/proc/meminfo: memFree=106447892/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=876228 memory=744552 CPUtime=3452.19 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 124456 0 0 0 345179 40 0 0 20 0 1 0 24121626 897257472 186138 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 219057 186138 2654 2594 0 215950 0
Current children cumulated CPU time: 3452.19 s
Current children cumulated vsize: 876228 KiB
Current children cumulated memory: 744552 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.14 5/256 213353
/proc/meminfo: memFree=106467216/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=876228 memory=744556 CPUtime=3512.03 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 124737 0 0 0 351163 40 0 0 20 0 1 0 24121626 897257472 186139 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 219057 186139 2654 2594 0 215950 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 876228 KiB
Current children cumulated memory: 744556 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/257 213365
/proc/meminfo: memFree=106466264/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=876228 memory=744556 CPUtime=3571.89 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 124931 0 0 0 357149 40 0 0 20 0 1 0 24121626 897257472 186139 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 219057 186139 2654 2594 0 215950 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 876228 KiB
Current children cumulated memory: 744556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.13 4.13 4.14 5/257 213509
/proc/meminfo: memFree=110037908/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=623548 memory=504472 CPUtime=3600.02 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 125057 0 0 0 359961 41 0 0 20 0 1 0 24121626 638513152 126118 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 155887 126118 2702 2594 0 152780 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 623548 KiB
Current children cumulated memory: 504472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 211518 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.62 s, system=0.412788 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.13 4.13 4.14 5/257 213509
/proc/meminfo: memFree=110037908/131524600 swapFree=131054736/131071996
[pid=211518] ppid=211515 vsize=623548 memory=504472 CPUtime=3600.02 cores=1,3
/proc/211518/stat : 211518 (CASHWMaxSAT-Dis) R 211515 211518 211395 0 -1 4194304 125057 0 0 0 359961 41 0 0 20 0 1 0 24121626 638513152 126118 134679101440 4194304 14817773 140736253743360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53989376 140736253752293 140736253752408 140736253752408 140736253759423 0
/proc/211518/statm: 155887 126118 2702 2594 0 152780 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 623548 KiB
Current children cumulated memory: 504472 KiB
Child status: 10
Real time (s): 3610.5
CPU time (s): 3600.03
CPU user time (s): 3599.62
CPU system time (s): 0.412788
CPU usage (%): 99.71
Max. virtual memory (cumulated for all children) (KiB): 876228
Max. memory (cumulated for all children) (KiB): 744556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.62
system time used= 0.412788
maximum resident set size= 744556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125058
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= 25
involuntary context switches= 1493
# summary of solver processes directly reported to runsolver:
# pid: 211518
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.62
# total CPU system time (s): 0.412788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36221 second user time and 18.18 second system time
The end
Begin job on nodeC034 at 2024-07-25 04:52:54 IDJOB=4457847 IDBENCH=176932 IDSOLVER=3075 FILE ID=nodeC034/4457847-1721875974 RUNJOBID= nodeC034-1721875958-211407 SLURM_JOB_ID= 8089245 Free space on /tmp= 890044 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-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-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457847-1721875974/watcher-4457847-1721875974 -o /tmp/evaluation-result-4457847-1721875974/solver-4457847-1721875974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721875958-211407 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4457847-1721875974.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2490394f4bcefb8d76998a0fa8c11f7f RANDOM SEED=2038339492 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 : 3681.541 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.92 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 : 3668.140 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.84 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.083 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.92 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 : 3668.385 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.84 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 : 3681.634 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.92 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 : 3671.690 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.84 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.166 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.92 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.198 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.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 109590040 kB MemAvailable: 128482144 kB Buffers: 287944 kB Cached: 19363132 kB SwapCached: 112 kB Active: 1689408 kB Inactive: 19529784 kB Active(anon): 1920 kB Inactive(anon): 1608756 kB Active(file): 1687488 kB Inactive(file): 17921028 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054736 kB Dirty: 14040 kB Writeback: 44 kB AnonPages: 1567324 kB Mapped: 113172 kB Shmem: 42580 kB KReclaimable: 246472 kB Slab: 361464 kB SReclaimable: 246472 kB SUnreclaim: 114992 kB KernelStack: 4160 kB PageTables: 12552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2054852 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14048 kB HardwareCorrupted: 0 kB AnonHugePages: 792576 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: 357076 kB DirectMap2M: 48699392 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890028 MiB End job on nodeC034 at 2024-07-25 05:53:05