Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| UWrMaxSat 2025-06-04 | SAT (TO) | 8 | 3600.1 | 3612.01 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.5:100.opb |
| MD5SUM | 1e9c9c7dcf807eef4e114aea42645bf8 |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.027909 |
| 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 | 372 |
| Total number of constraints | 421 |
| Number of constraints which are clauses | 345 |
| Number of constraints which are cardinality constraints (but not clauses) | 76 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 372 |
| Biggest coefficient in the objective function | 220 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 983 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 220 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 983 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - ) 0.00/0.00 c Setting memory limit to 31000MB. 0.00/0.00 c Parsing PB file... 0.00/0.01 c Converting 420 PB-constraints to clauses... 0.00/0.01 o 343 0.00/0.02 c ============================[ Problem Statistics ]============================ 0.00/0.02 c | Number of variables: 785 | 0.00/0.02 c | Number of clauses: 2892 (incl. 249 soft in queue) | 0.00/0.02 c =============================================================================== 0.00/0.03 o 161 437.08/438.51 c Switching to binary search ... (after 436.934 s and 5000001 conflicts) with 364 goal literals and 0 assumptions 438.59/440.04 o 33 438.78/440.22 o 8 3600.08/3612.01 c *** TERMINATED by signal 15 *** 3600.08/3612.01 c _______________________________________________________________________________ 3600.08/3612.01 c 3600.08/3612.01 c _______________________________________________________________________________ 3600.08/3612.01 c 3600.08/3612.01 c =======================[ UWrMaxSat resources usage ]=========================== 3600.08/3612.01 c Memory used : 222.00 MB 3600.08/3612.01 c CPU time : 3598.98 s 3600.08/3612.01 c Constr Enc: Srt/BDD/Add: 75 0 0 3600.08/3612.01 c OptExp Enc: Srt/BDD/Add: 545 0 0 3600.08/3612.01 c _______________________________________________________________________________ 3600.08/3612.01 c _______________________________________________________________________________ 3600.08/3612.01 3600.08/3612.01 v -x288 -x230 -x149 x113 -x98 -x76 x46 x24 -x286 -x271 x234 -x148 -x129 x114 x45 -x29 -x270 x233 -x197 -x150 -x128 x118 -x99 -x80 x47 -x28 -x3 -x287 x272 -x254 -x235 -x196 -x167 x153 -x134 -x116 -x100 -x78 x48 -x8 -x292 x273 -x253 -x239 -x198 -x166 x152 -x133 -x117 x103 -x55 -x31 -x7 -x344 x274 -x238 -x201 -x172 -x157 -x135 x101 -x79 x49 -x32 -x343 -x281 -x255 -x236 x200 x171 -x156 -x139 -x102 -x83 -x50 x35 -x10 -x345 x275 -x257 -x237 x204 x173 -x154 -x138 -x51 -x33 -x11 x346 x276 x202 -x174 -x155 -x136 -x34 -x12 x347 x277 -x258 x203 -x175 -x137 -x13 -x306 -x289 x115 -x95 -x75 -x310 -x229 x119 -x97 x23 -x293 -x231 x96 -x81 -x58 x25 -x291 -x249 x232 -x151 -x130 x104 -x59 -x30 -x2 -x284 -x248 -x243 x165 -x131 -x84 -x54 x27 -x4 -x285 -x199 -x168 -x161 x132 -x82 x36 -x9 -x280 -x256 -x222 -x212 -x169 -x160 x143 -x52 x6 -x259 x208 x170 x14 x350 -x278 -x260 x207 -x189 x179 x351 -x261 -x193 -x305 x290 x127 -x73 -x57 -x309 x294 x123 -x94 -x77 -x56 -x283 -x246 -x162 -x122 x112 x74 -x282 -x247 x164 x108 -x85 x26 -x361 -x242 -x218 -x209 -x146 x107 x44 x250 -x211 -x147 -x40 x5 -x349 x251 -x240 -x221 -x182 -x158 x142 -x53 -x39 x22 -x348 x252 -x183 -x18 -x279 -x265 x205 -x188 x178 -x159 x140 -x17 -x192 -x307 -x302 -x245 x126 x109 -x311 x298 -x244 -x163 x111 -x72 -x357 x297 -x145 -x120 -x93 x41 -x210 -x144 x89 x43 -x360 -x313 -x217 -x181 -x121 x105 x88 -x65 x19 -x314 -x180 x21 -x268 -x241 -x223 x106 -x37 x269 -x337 -x264 x206 x190 -x176 x141 -x38 -x15 x341 -x194 x308 -x301 x124 x110 -x90 x312 -x92 -x42 -x356 x316 x295 -x214 -x61 -x315 -x20 x362 x296 -x267 -x219 x86 -x64 -x266 -x185 -x224 -x184 x87 -x365 x336 -x262 x191 -x177 -x16 x340 x195 x353 x304 -x299 x125 -x91 x303 -x358 x320 -x60 -x213 x363 -x329 -x215 x66 x220 x366 x364 -x186 x338 -x263 x187 -x69 x342 x323 -x300 x352 x324 x354 -x326 x319 x62 -x359 -x328 x317 x67 x367 -x333 x216 -x332 x228 x70 -x68 x339 x321 -x325 x355 x63 x330 -x318 -x225 x371 x227 x71 x370 -x334 -x335 -x322 x327 -x226 x331 x368 -x369 x372 x1 3600.08/3612.01 s SATISFIABLE
OK 8
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: 63794 MiB (62043 MiB free)
memory of node 1: 64507 MiB (62913 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484691-1751284988/watcher-4484691-1751284988 -o /tmp/evaluation-result-4484691-1751284988/solver-4484691-1751284988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751281373-39353 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484691-1751284988.opb -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39774, runsolver pid=39771
[startup+0.100073 s]*
/proc/loadavg: 4.61 4.41 4.19 5/250 39775
/proc/meminfo: memFree=127956848/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=4688 memory=3968 CPUtime=0.09 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 651 0 0 0 9 0 0 0 20 0 1 0 44178132 4800512 992 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 6 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 1172 992 512 484 0 583 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 4688 KiB
Current children cumulated memory: 3968 KiB
[startup+0.214318 s]*
/proc/loadavg: 4.61 4.41 4.19 4/248 39775
/proc/meminfo: memFree=128435204/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=5132 memory=4224 CPUtime=0.19 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 726 0 0 0 19 0 0 0 20 0 1 0 44178132 5255168 1056 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 6 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 1283 1056 512 484 0 694 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 5132 KiB
Current children cumulated memory: 4224 KiB
[startup+0.312801 s]*
/proc/loadavg: 4.61 4.41 4.19 6/248 39775
/proc/meminfo: memFree=128435204/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=6088 memory=5376 CPUtime=0.29 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 967 0 0 0 29 0 0 0 20 0 1 0 44178132 6234112 1344 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 1522 1344 544 484 0 933 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 6088 KiB
Current children cumulated memory: 5376 KiB
[startup+0.70026 s]
/proc/loadavg: 4.61 4.41 4.19 6/246 39783
/proc/meminfo: memFree=128436844/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=7324 memory=6724 CPUtime=0.66 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 1716 0 0 0 66 0 0 0 20 0 1 0 44178132 7499776 1681 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 1831 1681 544 484 0 1242 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 7324 KiB
Current children cumulated memory: 6724 KiB
[startup+1.50027 s]
/proc/loadavg: 4.61 4.41 4.19 5/246 39783
/proc/meminfo: memFree=128436844/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=9028 memory=8304 CPUtime=1.45 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 3023 0 0 0 145 0 0 0 20 0 1 0 44178132 9244672 2076 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 2257 2076 544 484 0 1668 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 9028 KiB
Current children cumulated memory: 8304 KiB
[startup+3.11271 s]
/proc/loadavg: 4.64 4.42 4.20 5/250 39820
/proc/meminfo: memFree=128394472/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=10848 memory=10176 CPUtime=3.06 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 6547 0 0 0 305 1 0 0 20 0 1 0 44178132 11108352 2544 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 2712 2544 544 484 0 2123 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 10848 KiB
Current children cumulated memory: 10176 KiB
[startup+6.30032 s]
/proc/loadavg: 4.64 4.42 4.20 5/250 39820
/proc/meminfo: memFree=128384208/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=16316 memory=15616 CPUtime=6.24 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 8439 0 0 0 622 2 0 0 20 0 1 0 44178132 16707584 3904 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 4079 3904 544 484 0 3490 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 16316 KiB
Current children cumulated memory: 15616 KiB
[startup+12.7003 s]
/proc/loadavg: 4.59 4.41 4.20 5/250 39821
/proc/meminfo: memFree=128376900/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=23796 memory=22916 CPUtime=12.62 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 12942 0 0 0 1259 3 0 0 20 0 1 0 44178132 24367104 5729 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 5949 5729 544 484 0 5360 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 23796 KiB
Current children cumulated memory: 22916 KiB
[startup+25.5003 s]
/proc/loadavg: 4.46 4.39 4.19 5/250 39821
/proc/meminfo: memFree=128337144/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=22312 memory=21544 CPUtime=25.38 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 18445 0 0 0 2534 4 0 0 20 0 1 0 44178132 22847488 5386 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 5578 5386 544 484 0 4989 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 22312 KiB
Current children cumulated memory: 21544 KiB
[startup+51.1127 s]
/proc/loadavg: 4.38 4.38 4.19 5/250 39821
/proc/meminfo: memFree=128325488/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=33740 memory=32996 CPUtime=50.9 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 25288 0 0 0 5085 5 0 0 20 0 1 0 44178132 34549760 8249 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 8435 8249 544 484 0 7846 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 33740 KiB
Current children cumulated memory: 32996 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.32 4.18 5/250 39823
/proc/meminfo: memFree=128300652/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=45804 memory=45068 CPUtime=101.92 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 31506 0 0 0 10185 7 0 0 20 0 1 0 44178132 46903296 11267 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 11451 11267 544 484 0 10862 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 45804 KiB
Current children cumulated memory: 45068 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.27 4.17 5/250 39825
/proc/meminfo: memFree=128256132/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=53016 memory=52516 CPUtime=161.72 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 36540 0 0 0 16162 10 0 0 20 0 1 0 44178132 54288384 13129 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 13254 13129 544 484 0 12665 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 53016 KiB
Current children cumulated memory: 52516 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.25 4.17 5/250 39827
/proc/meminfo: memFree=128171852/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=51720 memory=50788 CPUtime=221.54 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 45707 0 0 0 22141 13 0 0 20 0 1 0 44178132 52961280 12697 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 12930 12697 544 484 0 12341 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 51720 KiB
Current children cumulated memory: 50788 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.23 4.17 5/249 39829
/proc/meminfo: memFree=128165568/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=71884 memory=71196 CPUtime=281.36 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 48180 0 0 0 28122 14 0 0 20 0 1 0 44178132 73609216 17799 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 17971 17799 544 484 0 17382 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 71196 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.19 4.16 5/251 39839
/proc/meminfo: memFree=128148752/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=74388 memory=73756 CPUtime=341.18 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 48836 0 0 0 34104 14 0 0 20 0 1 0 44178132 76173312 18439 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 18597 18439 544 484 0 18008 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 74388 KiB
Current children cumulated memory: 73756 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.18 4.16 5/251 39841
/proc/meminfo: memFree=128140900/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=79124 memory=78504 CPUtime=400.99 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 49512 0 0 0 40085 14 0 0 20 0 1 0 44178132 81022976 19626 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 19781 19626 544 484 0 19192 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 79124 KiB
Current children cumulated memory: 78504 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.16 4.15 5/251 39844
/proc/meminfo: memFree=127909028/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=89940 memory=88776 CPUtime=460.81 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 58388 0 0 0 46062 19 0 0 20 0 1 0 44178132 92098560 22194 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 22485 22194 544 484 0 21896 0
Current children cumulated CPU time: 460.81 s
################
# More data... #
################
Current children cumulated memory: 142120 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/251 40274
/proc/meminfo: memFree=124425912/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=156220 memory=151296 CPUtime=2853.05 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 109525 0 0 0 285227 78 0 0 20 0 1 0 44178132 159969280 37824 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 39055 37824 544 484 0 38466 0
Current children cumulated CPU time: 2853.05 s
Current children cumulated vsize: 156220 KiB
Current children cumulated memory: 151296 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/251 40276
/proc/meminfo: memFree=124426340/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=165032 memory=160192 CPUtime=2912.83 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 111184 0 0 0 291202 81 0 0 20 0 1 0 44178132 168992768 40048 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 41258 40048 544 484 0 40669 0
Current children cumulated CPU time: 2912.83 s
Current children cumulated vsize: 165032 KiB
Current children cumulated memory: 160192 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/250 40278
/proc/meminfo: memFree=124405936/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=157104 memory=155396 CPUtime=2972.62 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 114113 0 0 0 297177 85 0 0 20 0 1 0 44178132 160874496 38849 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 39276 38849 544 484 0 38687 0
Current children cumulated CPU time: 2972.62 s
Current children cumulated vsize: 157104 KiB
Current children cumulated memory: 155396 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/250 40280
/proc/meminfo: memFree=124409736/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=159532 memory=157824 CPUtime=3032.4 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 115846 0 0 0 303153 87 0 0 20 0 1 0 44178132 163360768 39456 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 39883 39456 544 484 0 39294 0
Current children cumulated CPU time: 3032.4 s
Current children cumulated vsize: 159532 KiB
Current children cumulated memory: 157824 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.14 4.13 5/250 40282
/proc/meminfo: memFree=124405904/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=164576 memory=162868 CPUtime=3092.19 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 118275 0 0 0 309128 91 0 0 20 0 1 0 44178132 168525824 40717 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 41144 40717 544 484 0 40555 0
Current children cumulated CPU time: 3092.19 s
Current children cumulated vsize: 164576 KiB
Current children cumulated memory: 162868 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/249 40284
/proc/meminfo: memFree=124405884/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=161428 memory=159720 CPUtime=3151.98 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 120468 0 0 0 315104 94 0 0 20 0 1 0 44178132 165302272 39930 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 40357 39930 544 484 0 39768 0
Current children cumulated CPU time: 3151.98 s
Current children cumulated vsize: 161428 KiB
Current children cumulated memory: 159720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/250 40287
/proc/meminfo: memFree=124411380/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=151592 memory=149884 CPUtime=3211.77 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 122108 0 0 0 321080 97 0 0 20 0 1 0 44178132 155230208 37471 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 37898 37471 544 484 0 37309 0
Current children cumulated CPU time: 3211.77 s
Current children cumulated vsize: 151592 KiB
Current children cumulated memory: 149884 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/250 40289
/proc/meminfo: memFree=124422592/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=161024 memory=159316 CPUtime=3271.56 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 124339 0 0 0 327057 99 0 0 20 0 1 0 44178132 164888576 39829 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 40256 39829 544 484 0 39667 0
Current children cumulated CPU time: 3271.56 s
Current children cumulated vsize: 161024 KiB
Current children cumulated memory: 159316 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/250 40291
/proc/meminfo: memFree=124385940/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=175544 memory=174652 CPUtime=3331.34 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 127159 0 0 0 333031 103 0 0 20 0 1 0 44178132 179757056 43663 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 43886 43663 544 484 0 43297 0
Current children cumulated CPU time: 3331.34 s
Current children cumulated vsize: 175544 KiB
Current children cumulated memory: 174652 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/251 40300
/proc/meminfo: memFree=124415644/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=156404 memory=155512 CPUtime=3391.13 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 128974 0 0 0 339007 106 0 0 20 0 1 0 44178132 160157696 38878 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 39101 38878 544 484 0 38512 0
Current children cumulated CPU time: 3391.13 s
Current children cumulated vsize: 156404 KiB
Current children cumulated memory: 155512 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/251 40302
/proc/meminfo: memFree=124376672/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=164276 memory=163384 CPUtime=3450.91 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 130901 0 0 0 344983 108 0 0 20 0 1 0 44178132 168218624 40846 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 41069 40846 544 484 0 40480 0
Current children cumulated CPU time: 3450.91 s
Current children cumulated vsize: 164276 KiB
Current children cumulated memory: 163384 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/251 40315
/proc/meminfo: memFree=124384032/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=139816 memory=138924 CPUtime=3510.7 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 132849 0 0 0 350959 111 0 0 20 0 1 0 44178132 143171584 34731 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 34954 34731 544 484 0 34365 0
Current children cumulated CPU time: 3510.7 s
Current children cumulated vsize: 139816 KiB
Current children cumulated memory: 138924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/251 40318
/proc/meminfo: memFree=124374496/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=170580 memory=169604 CPUtime=3570.48 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 133386 0 0 0 356937 111 0 0 20 0 1 0 44178132 174673920 42401 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 42645 42401 544 484 0 42056 0
Current children cumulated CPU time: 3570.48 s
Current children cumulated vsize: 170580 KiB
Current children cumulated memory: 169604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.04 4.08 4.09 5/251 40363
/proc/meminfo: memFree=124831044/131382120 swapFree=33010416/33010684
[pid=39774] ppid=39771 vsize=170580 memory=169604 CPUtime=3600.08 cores=4,6
/proc/39774/stat : 39774 (uwrmaxsat) R 39771 39774 39342 0 -1 4194304 133386 0 0 0 359897 111 0 0 20 0 1 0 44178132 174673920 42401 18446744073709551615 4198400 6176925 140720669646208 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19881984 140720669649258 140720669649385 140720669649385 140720669654987 0
/proc/39774/statm: 42645 42401 544 484 0 42056 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 170580 KiB
Current children cumulated memory: 169604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.01 s]
# the end of solver process 39774 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.98 s, system=1.12078 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3612.01
CPU time (s): 3600.1
CPU user time (s): 3598.98
CPU system time (s): 1.12078
CPU usage (%): 99.6702
Max. virtual memory (cumulated for all children) (KiB): 227728
Max. memory (cumulated for all children) (KiB): 217600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.98
system time used= 1.12078
maximum resident set size= 226816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133387
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= 23
involuntary context switches= 18810
# summary of solver processes directly reported to runsolver:
# pid: 39774
# total CPU time (s): 3600.1
# total CPU user time (s): 3598.98
# total CPU system time (s): 1.12078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.6016 second user time and 30.986 second system time
The end
Begin job on nodeC006 at 2025-06-30 14:03:08 IDJOB=4484691 IDBENCH=146664 IDSOLVER=3372 FILE ID=nodeC006/4484691-1751284988 RUNJOBID= nodeC006-1751281373-39353 SLURM_JOB_ID= 9594234 Free space on /tmp= 433052 MiB SOLVER NAME= UWrMaxSat 2025-06-04 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484691-1751284988/watcher-4484691-1751284988 -o /tmp/evaluation-result-4484691-1751284988/solver-4484691-1751284988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751281373-39353 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4484691-1751284988.opb -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1e9c9c7dcf807eef4e114aea42645bf8 RANDOM SEED=2130293227 nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.670 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3641.853 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.415 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.459 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.305 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2394.230 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.141 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.493 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 127964608 kB MemAvailable: 129192984 kB Buffers: 2128 kB Cached: 2031984 kB SwapCached: 12 kB Active: 1077916 kB Inactive: 1761084 kB Active(anon): 810104 kB Inactive(anon): 12736 kB Active(file): 267812 kB Inactive(file): 1748348 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 5372 kB Writeback: 0 kB AnonPages: 807760 kB Mapped: 109276 kB Shmem: 17948 kB KReclaimable: 103300 kB Slab: 185280 kB SReclaimable: 103300 kB SUnreclaim: 81980 kB KernelStack: 4080 kB PageTables: 4472 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 1157640 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 700416 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 10196992 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 433040 MiB End job on nodeC006 at 2025-06-30 15:03:20