Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_db_no_ls 2025-06-19 | SAT (TO) | -174 | 3600.09 | 3610.31 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-sporttournament28.opb |
| MD5SUM | 390ec8fc201467376172e52d21e0ee7b |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -192 |
| Best CPU time to get the best result obtained on this benchmark | 116.495 |
| 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 | 0 |
| Total number of constraints | 0 |
| 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 | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 972 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 1048 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1048 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 728 |
| Sum of products size (including duplicates) | 1456 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 o 0 0.00/0.02 o -1 0.00/0.02 o -3 0.00/0.02 o -39 0.00/0.02 o -52 0.00/0.02 o -64 0.00/0.02 o -77 0.00/0.02 o -79 0.00/0.03 o -87 0.00/0.03 o -90 0.00/0.03 o -95 0.00/0.03 o -96 0.00/0.06 o -118 0.00/0.06 o -119 0.00/0.08 o -120 0.00/0.10 o -121 2.88/2.98 o -122 2.88/3.01 o -123 3.00/3.05 o -124 3.00/3.07 o -125 3.09/3.11 o -126 3.09/3.14 o -127 3.09/3.18 o -128 3.18/3.23 o -129 3.28/3.32 o -130 3.28/3.35 o -131 3.38/3.41 o -132 3.38/3.46 o -133 3.48/3.56 o -134 6.66/6.78 o -135 11.65/11.70 o -136 13.96/14.04 o -137 14.14/14.26 o -138 14.24/14.35 o -139 14.44/14.52 o -140 14.55/14.61 o -141 14.65/14.75 o -142 28.41/28.54 o -143 28.51/28.62 o -144 28.61/28.71 o -145 28.61/28.75 o -146 28.71/28.86 o -147 28.81/28.97 o -148 28.92/29.10 o -149 29.10/29.21 o -150 29.20/29.31 o -151 29.20/29.39 o -152 29.30/29.48 o -153 29.30/29.49 o -154 29.50/29.65 o -155 29.70/29.84 o -156 29.80/29.96 o -157 30.01/30.18 o -158 30.21/30.35 o -159 62.71/63.01 o -160 92.33/92.65 o -161 111.08/111.47 o -162 111.87/112.21 o -163 137.80/138.23 o -164 171.40/171.90 o -165 274.11/274.92 o -166 276.32/277.13 o -167 295.56/296.40 o -168 295.75/296.66 o -169 623.13/624.90 o -170 920.39/923.02 o -171 923.77/926.42 o -172 924.56/927.21 o -173 924.86/927.58 o -174 3600.06/3610.30 c Program interrupted by user. 3600.06/3610.30 s SATISFIABLE 3600.06/3610.30 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 x251 x252 -x253 x254 x255 -x256 -x257 -x258 x259 x260 x261 x262 -x263 -x264 -x265 -x266 x267 x268 -x269 -x270 x271 x272 -x273 x274 -x275 -x276 x277 -x278 -x279 x280 x281 -x282 -x283 x284 -x285 -x286 x287 x288 x289 -x290 x291 -x292 x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 x301 -x302 x303 -x304 x305 x306 -x307 -x308 x309 -x310 -x311 x312 x313 x314 -x315 x316 x317 x318 x319 x320 x321 -x322 x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 x334 x335 -x336 -x337 x338 x339 x340 x341 x342 -x343 -x344 x345 x346 -x347 x348 x349 -x350 -x351 -x352 x353 x354 -x355 -x356 -x357 x358 -x359 -x360 x361 x362 x363 -x364 x365 x366 -x367 x368 x369 x370 x371 x372 x373 -x374 x375 x376 x377 -x378
OK -174
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 (63131 MiB free)
memory of node 1: 64507 MiB (63379 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512221-1751273690/watcher-4512221-1751273690 -o /tmp/evaluation-result-4512221-1751273690/solver-4512221-1751273690 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751270072-39300 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1256158424 --ls=0 --inp-dombreaklim=0 HOME/instance-4512221-1751273690.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39950, runsolver pid=39947
[startup+0.100097 s]*
/proc/loadavg: 4.14 4.12 4.20 5/252 39951
/proc/meminfo: memFree=129533648/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=36104 memory=16876 CPUtime=0.1 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 2788 0 0 0 10 0 0 0 20 0 1 0 43048705 36970496 4219 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 9026 4219 1280 1200 0 7506 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36104 KiB
Current children cumulated memory: 16876 KiB
[startup+0.213247 s]*
/proc/loadavg: 4.14 4.12 4.20 5/252 39951
/proc/meminfo: memFree=129491996/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=37728 memory=18412 CPUtime=0.21 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 3179 0 0 0 21 0 0 0 20 0 1 0 43048705 38633472 4603 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 9432 4603 1280 1200 0 7912 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37728 KiB
Current children cumulated memory: 18412 KiB
[startup+0.313237 s]*
/proc/loadavg: 4.14 4.12 4.20 5/252 39951
/proc/meminfo: memFree=129453436/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=38292 memory=18924 CPUtime=0.32 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 3304 0 0 0 31 1 0 0 20 0 1 0 43048705 39211008 4731 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 9573 4731 1280 1200 0 8053 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 18924 KiB
[startup+0.700275 s]
/proc/loadavg: 4.14 4.12 4.20 5/252 39951
/proc/meminfo: memFree=129445308/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=42468 memory=27112 CPUtime=0.68 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 4317 0 0 0 67 1 0 0 20 0 1 0 43048705 43487232 6778 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 10617 6778 1280 1200 0 9097 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42468 KiB
Current children cumulated memory: 27112 KiB
[startup+1.50031 s]
/proc/loadavg: 4.14 4.12 4.20 5/252 39951
/proc/meminfo: memFree=129405888/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=49296 memory=35224 CPUtime=1.48 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 5850 0 0 0 146 2 0 0 20 0 1 0 43048705 50479104 8806 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 12324 8806 1280 1200 0 10804 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49296 KiB
Current children cumulated memory: 35224 KiB
[startup+3.11295 s]
/proc/loadavg: 4.14 4.12 4.20 5/252 39951
/proc/meminfo: memFree=129266088/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=69936 memory=51800 CPUtime=3.09 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 8165 0 0 0 305 4 0 0 20 0 1 0 43048705 71614464 12950 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 17484 12950 1280 1200 0 15964 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69936 KiB
Current children cumulated memory: 51800 KiB
[startup+6.30034 s]
/proc/loadavg: 4.12 4.12 4.20 5/252 39951
/proc/meminfo: memFree=129086840/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=92544 memory=81044 CPUtime=6.27 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 12942 0 0 0 620 7 0 0 20 0 1 0 43048705 94765056 20261 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 23136 20261 1280 1200 0 21616 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 92544 KiB
Current children cumulated memory: 81044 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 4.20 5/252 39951
/proc/meminfo: memFree=128993264/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=127896 memory=105512 CPUtime=12.65 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 15893 0 0 0 1253 12 0 0 20 0 1 0 43048705 130965504 26378 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 31974 26378 1280 1200 0 30454 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 127896 KiB
Current children cumulated memory: 105512 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.11 4.19 5/252 39951
/proc/meminfo: memFree=128606160/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=145500 memory=124716 CPUtime=25.42 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 19181 0 0 0 2520 22 0 0 20 0 1 0 43048705 148992000 31179 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 36375 31179 1280 1200 0 34855 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 145500 KiB
Current children cumulated memory: 124716 KiB
[startup+51.113 s]
/proc/loadavg: 4.12 4.11 4.19 5/252 39951
/proc/meminfo: memFree=127973480/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=157528 memory=133932 CPUtime=50.95 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 21512 0 0 0 5059 36 0 0 20 0 1 0 43048705 161308672 33483 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 39382 33483 1280 1200 0 37862 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 157528 KiB
Current children cumulated memory: 133932 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.18 5/252 39953
/proc/meminfo: memFree=127148648/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=167960 memory=143020 CPUtime=102 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 23804 0 0 0 10134 66 0 0 20 0 1 0 43048705 171991040 35755 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 41990 35755 1280 1200 0 40470 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 167960 KiB
Current children cumulated memory: 143020 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.17 5/251 39955
/proc/meminfo: memFree=127012672/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=173528 memory=148524 CPUtime=161.83 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 25211 0 0 0 16076 107 0 0 20 0 1 0 43048705 177692672 37131 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 43382 37131 1280 1200 0 41862 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 173528 KiB
Current children cumulated memory: 148524 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.17 5/251 39957
/proc/meminfo: memFree=126845712/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=177676 memory=152364 CPUtime=221.66 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 26198 0 0 0 22026 140 0 0 20 0 1 0 43048705 181940224 38091 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 44419 38091 1280 1200 0 42899 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 177676 KiB
Current children cumulated memory: 152364 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.09 4.16 5/252 39960
/proc/meminfo: memFree=125899268/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=182220 memory=157484 CPUtime=281.49 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 27497 0 0 0 27979 170 0 0 20 0 1 0 43048705 186593280 39371 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 45555 39371 1280 1200 0 44035 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 182220 KiB
Current children cumulated memory: 157484 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.16 5/250 39962
/proc/meminfo: memFree=125507232/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=187524 memory=162860 CPUtime=341.33 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 28840 0 0 0 33930 203 0 0 20 0 1 0 43048705 192024576 40715 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 46881 40715 1280 1200 0 45361 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 187524 KiB
Current children cumulated memory: 162860 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.16 5/250 39975
/proc/meminfo: memFree=123766932/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=189492 memory=165036 CPUtime=401.15 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 29408 0 0 0 39882 233 0 0 20 0 1 0 43048705 194039808 41259 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 47373 41259 1280 1200 0 45853 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 189492 KiB
Current children cumulated memory: 165036 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.15 5/251 39978
/proc/meminfo: memFree=121816200/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=196960 memory=173100 CPUtime=460.98 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 31446 0 0 0 45828 270 0 0 20 0 1 0 43048705 201687040 43275 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 49240 43275 1280 1200 0 47720 0
################
# More data... #
################
Current children cumulated memory: 227756 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 40107
/proc/meminfo: memFree=106731556/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=250972 memory=228396 CPUtime=2914.01 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 45483 0 0 0 289913 1488 0 0 20 0 1 0 43048705 256995328 57099 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 62743 57099 1280 1200 0 61223 0
Current children cumulated CPU time: 2914.01 s
Current children cumulated vsize: 250972 KiB
Current children cumulated memory: 228396 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 40110
/proc/meminfo: memFree=106739780/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=251356 memory=228908 CPUtime=2973.84 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 45598 0 0 0 295867 1517 0 0 20 0 1 0 43048705 257388544 57227 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 62839 57227 1280 1200 0 61319 0
Current children cumulated CPU time: 2973.84 s
Current children cumulated vsize: 251356 KiB
Current children cumulated memory: 228908 KiB
[startup+3042.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/251 40119
/proc/meminfo: memFree=106741592/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=251740 memory=229420 CPUtime=3033.67 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 45717 0 0 0 301823 1544 0 0 20 0 1 0 43048705 257781760 57355 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 62935 57355 1280 1200 0 61415 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 251740 KiB
Current children cumulated memory: 229420 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 40121
/proc/meminfo: memFree=106744260/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=251988 memory=229804 CPUtime=3093.5 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 45825 0 0 0 307777 1573 0 0 20 0 1 0 43048705 258035712 57451 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 62997 57451 1280 1200 0 61477 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 251988 KiB
Current children cumulated memory: 229804 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 40123
/proc/meminfo: memFree=106729360/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=253276 memory=231084 CPUtime=3153.33 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 46166 0 0 0 313729 1604 0 0 20 0 1 0 43048705 259354624 57771 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 63319 57771 1280 1200 0 61799 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 253276 KiB
Current children cumulated memory: 231084 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 40125
/proc/meminfo: memFree=106704260/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=253852 memory=231596 CPUtime=3213.17 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 46298 0 0 0 319684 1633 0 0 20 0 1 0 43048705 259944448 57899 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 63463 57899 1280 1200 0 61943 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 253852 KiB
Current children cumulated memory: 231596 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 40127
/proc/meminfo: memFree=106668012/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=254428 memory=232236 CPUtime=3273 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 46450 0 0 0 325635 1665 0 0 20 0 1 0 43048705 260534272 58059 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 63607 58059 1280 1200 0 62087 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 254428 KiB
Current children cumulated memory: 232236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/249 40129
/proc/meminfo: memFree=106647096/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=254812 memory=232748 CPUtime=3332.82 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 46582 0 0 0 331588 1694 0 0 20 0 1 0 43048705 260927488 58187 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 63703 58187 1280 1200 0 62183 0
Current children cumulated CPU time: 3332.82 s
Current children cumulated vsize: 254812 KiB
Current children cumulated memory: 232748 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 40132
/proc/meminfo: memFree=106626884/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=258272 memory=235436 CPUtime=3392.65 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 47236 0 0 0 337547 1718 0 0 20 0 1 0 43048705 264470528 58859 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 64568 58859 1280 1200 0 63048 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 258272 KiB
Current children cumulated memory: 235436 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/249 40134
/proc/meminfo: memFree=106632604/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=258272 memory=235436 CPUtime=3452.47 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 47255 0 0 0 343500 1747 0 0 20 0 1 0 43048705 264470528 58859 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 64568 58859 1280 1200 0 63048 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 258272 KiB
Current children cumulated memory: 235436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 40137
/proc/meminfo: memFree=106617012/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=264320 memory=239660 CPUtime=3512.31 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 48296 0 0 0 349444 1787 0 0 20 0 1 0 43048705 270663680 59915 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 66080 59915 1280 1200 0 64560 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 264320 KiB
Current children cumulated memory: 239660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.43 4.18 4.12 5/250 40139
/proc/meminfo: memFree=106612816/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=267448 memory=241964 CPUtime=3572.15 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 48894 0 0 0 355387 1828 0 0 20 0 1 0 43048705 273866752 60491 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 66862 60491 1280 1200 0 65342 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 267448 KiB
Current children cumulated memory: 241964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.65 4.26 4.15 3/243 40232
/proc/meminfo: memFree=129724176/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=267448 memory=241964 CPUtime=3600.06 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 48894 0 0 0 358161 1845 0 0 20 0 1 0 43048705 273866752 60491 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 66862 60491 1280 1200 0 65342 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 267448 KiB
Current children cumulated memory: 241964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 39950 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3581.62 s, system=18.4639 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.65 4.26 4.15 3/243 40232
/proc/meminfo: memFree=129724176/131382116 swapFree=33010684/33010684
[pid=39950] ppid=39947 vsize=267448 memory=241964 CPUtime=3600.06 cores=0,2
/proc/39950/stat : 39950 (Exact) R 39947 39950 38814 0 -1 4194304 48894 0 0 0 358161 1845 0 0 20 0 1 0 43048705 273866752 60491 18446744073709551615 4198400 9112445 140725595620464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43823104 140725595629864 140725595630061 140725595630061 140725595635663 0
/proc/39950/statm: 66862 60491 1280 1200 0 65342 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 267448 KiB
Current children cumulated memory: 241964 KiB
Child status: 10
Real time (s): 3610.31
CPU time (s): 3600.09
CPU user time (s): 3581.62
CPU system time (s): 18.4639
CPU usage (%): 99.7167
Max. virtual memory (cumulated for all children) (KiB): 267448
Max. memory (cumulated for all children) (KiB): 241964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.62
system time used= 18.4639
maximum resident set size= 241964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48896
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= 3
involuntary context switches= 8080
# summary of solver processes directly reported to runsolver:
# pid: 39950
# total CPU time (s): 3600.09
# total CPU user time (s): 3581.62
# total CPU system time (s): 18.4639
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4682 second user time and 34.6666 second system time
The end
Begin job on nodeC011 at 2025-06-30 10:54:50 IDJOB=4512221 IDBENCH=160524 IDSOLVER=3318 FILE ID=nodeC011/4512221-1751273690 RUNJOBID= nodeC011-1751270072-39300 SLURM_JOB_ID= 9594178 Free space on /tmp= 433028 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-sporttournament28.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512221-1751273690/watcher-4512221-1751273690 -o /tmp/evaluation-result-4512221-1751273690/solver-4512221-1751273690 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751270072-39300 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1256158424 --ls=0 --inp-dombreaklim=0 HOME/instance-4512221-1751273690.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 390ec8fc201467376172e52d21e0ee7b RANDOM SEED=1256158424 nodeC011 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 : 3492.099 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 : 6984.20 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 : 3093.012 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 : 6984.20 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.669 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 : 6984.20 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.300 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 : 6984.20 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 : 3093.035 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 : 6984.20 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 : 1198.076 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 : 6984.20 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.571 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 : 6984.20 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 : 3392.323 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 129604004 kB MemAvailable: 129451932 kB Buffers: 3280 kB Cached: 656508 kB SwapCached: 0 kB Active: 881836 kB Inactive: 357628 kB Active(anon): 597644 kB Inactive(anon): 0 kB Active(file): 284192 kB Inactive(file): 357628 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 33316 kB Writeback: 4 kB AnonPages: 582772 kB Mapped: 116704 kB Shmem: 17960 kB KReclaimable: 91088 kB Slab: 171568 kB SReclaimable: 91088 kB SUnreclaim: 80480 kB KernelStack: 4048 kB PageTables: 3900 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 975588 kB VmallocTotal: 34359738367 kB VmallocUsed: 149416 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 219136 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: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433008 MiB End job on nodeC011 at 2025-06-30 11:55:00