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 | OPT | 16 | 809.524 | 812.033 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=18-t=2.opb |
| MD5SUM | 5da417552da80e99ebaacbb86c541f7c |
| 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 | 16 |
| Best CPU time to get the best result obtained on this benchmark | 1.94433 |
| 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 | 531 |
| Total number of constraints | 47178 |
| Number of constraints which are clauses | 47160 |
| Number of constraints which are cardinality constraints (but not clauses) | 18 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 18 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 18 |
| Number of bits of the sum of numbers in the objective function | 5 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 20 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.19/0.22 c Converting 47178 PB-constraints to clauses... 0.19/0.24 o 18 0.19/0.24 c ============================[ Problem Statistics ]============================ 0.19/0.24 c | Number of variables: 603 | 0.19/0.24 c | Number of clauses: 48420 | 0.19/0.24 c =============================================================================== 809.49/812.02 o 16 809.49/812.02 c [1mOptimal solution: 16[0m 809.49/812.02 c _______________________________________________________________________________ 809.49/812.02 c 809.49/812.02 c =======================[ UWrMaxSat resources usage ]=========================== 809.49/812.02 c Memory used : 756.00 MB 809.49/812.02 c CPU time : 805.521 s 809.49/812.02 c Constr Enc: Srt/BDD/Add: 18 0 0 809.49/812.02 c OptExp Enc: Srt/BDD/Add: 49 0 0 809.49/812.02 c _______________________________________________________________________________ 809.49/812.02 s OPTIMUM FOUND 809.49/812.02 v x154 x155 x156 x157 x158 x159 x160 x161 x162 -x163 x164 x165 -x166 x167 x168 x169 x170 x171 -x172 -x190 -x208 -x226 -x244 -x262 -x280 -x298 -x316 -x334 -x352 -x370 -x388 -x406 -x424 -x442 -x460 -x478 -x173 -x191 -x209 -x227 -x245 -x263 -x281 -x299 -x317 -x335 -x353 -x371 -x389 -x407 -x425 -x443 -x461 -x479 -x174 -x192 -x210 -x228 -x246 -x264 -x282 -x300 -x318 -x336 -x354 -x372 -x390 -x408 -x426 -x444 -x462 -x480 -x175 -x193 -x211 -x229 -x247 -x265 -x283 -x301 -x319 -x337 -x355 -x373 -x391 -x409 -x427 -x445 -x463 -x481 -x176 -x194 -x212 -x230 -x248 -x266 -x284 -x302 -x320 -x338 -x356 -x374 -x392 -x410 -x428 -x446 -x464 -x482 -x177 -x195 -x213 -x231 -x249 -x267 -x285 -x303 -x321 -x339 -x357 -x375 -x393 -x411 -x429 -x447 -x465 -x483 -x178 -x196 -x214 -x232 -x250 -x268 -x286 -x304 -x322 -x340 -x358 -x376 -x394 -x412 -x430 -x448 -x466 -x484 -x179 -x197 -x215 -x233 -x251 -x269 -x287 -x305 -x323 -x341 -x359 -x377 -x395 -x413 -x431 -x449 -x467 -x485 -x180 -x198 -x216 -x234 -x252 -x270 -x288 -x306 -x324 -x342 -x360 -x378 -x396 -x414 -x432 -x450 -x468 -x486 -x181 -x199 -x217 -x235 -x253 -x271 -x289 -x307 -x325 -x343 x361 -x379 -x397 -x415 -x433 -x451 -x469 -x487 -x182 -x200 -x218 -x236 -x254 -x272 -x290 -x308 -x326 -x344 -x362 -x380 -x398 -x416 -x434 -x452 -x470 -x488 -x183 -x201 -x219 -x237 -x255 -x273 -x291 -x309 -x327 -x345 -x363 -x381 -x399 -x417 -x435 -x453 -x471 -x489 -x184 -x202 -x220 -x238 -x256 -x274 -x292 -x310 -x328 -x346 -x364 x382 -x400 -x418 -x436 -x454 -x472 -x490 -x185 -x203 -x221 -x239 -x257 -x275 -x293 -x311 -x329 -x347 -x365 -x383 -x401 -x419 -x437 -x455 -x473 -x491 -x186 -x204 -x222 -x240 -x258 -x276 -x294 -x312 -x330 -x348 -x366 -x384 -x402 -x420 -x438 -x456 -x474 -x492 -x187 -x205 -x223 -x241 -x259 -x277 -x295 -x313 -x331 -x349 -x367 -x385 -x403 -x421 -x439 -x457 -x475 -x493 -x188 -x206 -x224 -x242 -x260 -x278 -x296 -x314 -x332 -x350 -x368 -x386 -x404 -x422 -x440 -x458 -x476 -x494 -x189 -x207 -x225 -x243 -x261 -x279 -x297 -x315 -x333 -x351 -x369 -x387 -x405 -x423 -x441 -x459 -x477 -x495 -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 -x496 x497 -x498 x499 -x500 x501 -x502 x503 x504 -x505 -x506 x507 -x508 x509 x510 -x511 -x512 x513 x514 -x515 x516 -x517 -x518 x519 x520 -x521 x522 -x523 -x524 x525 -x526 x527 x528 -x529 -x530 x531
OK 16
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: 63708 MiB (48373 MiB free)
memory of node 1: 64465 MiB (55433 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517551-1751526491/watcher-4517551-1751526491 -o /tmp/evaluation-result-4517551-1751526491/solver-4517551-1751526491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751521621-71838 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4517551-1751526491.opb -mem-lim=31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=72813, runsolver pid=72810
[startup+0.100063 s]*
/proc/loadavg: 4.35 4.19 4.11 5/263 72814
/proc/meminfo: memFree=106273788/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=20908 memory=19968 CPUtime=0.09 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 4630 0 0 0 9 0 0 0 20 0 1 0 68327697 21409792 4992 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 27682 0 0 0 17 7 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 5227 4992 448 484 0 4638 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20908 KiB
Current children cumulated memory: 19968 KiB
[startup+0.205569 s]*
/proc/loadavg: 4.35 4.19 4.11 5/263 72814
/proc/meminfo: memFree=106257660/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=38980 memory=37888 CPUtime=0.19 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 9125 0 0 0 18 1 0 0 20 0 1 0 68327697 39915520 9472 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 27682 0 0 0 17 7 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 9745 9472 448 484 0 9156 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38980 KiB
Current children cumulated memory: 37888 KiB
[startup+0.305485 s]*
/proc/loadavg: 4.35 4.19 4.11 5/263 72814
/proc/meminfo: memFree=106248336/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=48820 memory=47772 CPUtime=0.28 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 12765 0 0 0 27 1 0 0 20 0 1 0 68327697 49991680 11943 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 7 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 12205 11943 544 484 0 11616 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 48820 KiB
Current children cumulated memory: 47772 KiB
[startup+0.700177 s]
/proc/loadavg: 4.35 4.19 4.11 5/263 72814
/proc/meminfo: memFree=106248336/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=50300 memory=49320 CPUtime=0.67 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 16069 0 0 0 65 2 0 0 20 0 1 0 68327697 51507200 12330 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 12575 12330 544 484 0 11986 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 50300 KiB
Current children cumulated memory: 49320 KiB
[startup+1.50016 s]
/proc/loadavg: 4.35 4.19 4.11 5/263 72814
/proc/meminfo: memFree=106248116/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=53924 memory=53180 CPUtime=1.47 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 19543 0 0 0 145 2 0 0 20 0 1 0 68327697 55218176 13295 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 13481 13295 544 484 0 12892 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 53924 KiB
Current children cumulated memory: 53180 KiB
[startup+3.10551 s]
/proc/loadavg: 4.35 4.19 4.11 5/263 72814
/proc/meminfo: memFree=106253100/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=56276 memory=54908 CPUtime=3.07 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 25639 0 0 0 303 4 0 0 20 0 1 0 68327697 57626624 13727 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 14069 13727 544 484 0 13480 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 56276 KiB
Current children cumulated memory: 54908 KiB
[startup+6.30019 s]
/proc/loadavg: 4.32 4.18 4.11 5/263 72814
/proc/meminfo: memFree=106249904/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=75040 memory=72640 CPUtime=6.25 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 32707 0 0 0 620 5 0 0 20 0 1 0 68327697 76840960 18160 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 18760 18160 544 484 0 18171 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 75040 KiB
Current children cumulated memory: 72640 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.18 4.10 5/263 72814
/proc/meminfo: memFree=106238752/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=74760 memory=74032 CPUtime=12.64 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 40468 0 0 0 1255 9 0 0 20 0 1 0 68327697 76554240 18508 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 18690 18508 544 484 0 18101 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 74760 KiB
Current children cumulated memory: 74032 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.17 4.10 5/263 72815
/proc/meminfo: memFree=106187476/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=120828 memory=120100 CPUtime=25.39 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 52378 0 0 0 2525 14 0 0 20 0 1 0 68327697 123727872 30025 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 30207 30025 544 484 0 29618 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 120828 KiB
Current children cumulated memory: 120100 KiB
[startup+51.1055 s]
/proc/loadavg: 4.22 4.17 4.10 5/263 72815
/proc/meminfo: memFree=106158116/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=161916 memory=161188 CPUtime=50.92 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 64244 0 0 0 5065 27 0 0 20 0 1 0 68327697 165801984 40297 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 40479 40297 544 484 0 39890 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 161916 KiB
Current children cumulated memory: 161188 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/263 72817
/proc/meminfo: memFree=106068348/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=222204 memory=221476 CPUtime=101.95 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 82335 0 0 0 10145 50 0 0 20 0 1 0 68327697 227536896 55369 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 55551 55369 544 484 0 54962 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 222204 KiB
Current children cumulated memory: 221476 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/263 72820
/proc/meminfo: memFree=105992540/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=282636 memory=281908 CPUtime=161.77 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 101151 0 0 0 16096 81 0 0 20 0 1 0 68327697 289419264 70477 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 70659 70477 544 484 0 70070 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 282636 KiB
Current children cumulated memory: 281908 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/263 72822
/proc/meminfo: memFree=105876644/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=310584 memory=307464 CPUtime=221.58 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 115883 0 0 0 22050 108 0 0 20 0 1 0 68327697 318038016 76866 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 77646 76866 544 484 0 77057 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 310584 KiB
Current children cumulated memory: 307464 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 72826
/proc/meminfo: memFree=105870548/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=341412 memory=333448 CPUtime=281.4 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 146459 0 0 0 28003 137 0 0 20 0 1 0 68327697 349605888 83362 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 85353 83362 544 484 0 84764 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 341412 KiB
Current children cumulated memory: 333448 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 72832
/proc/meminfo: memFree=105781532/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=376624 memory=362792 CPUtime=341.21 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 164653 0 0 0 33952 169 0 0 20 0 1 0 68327697 385662976 90698 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 94156 90698 544 484 0 93567 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 376624 KiB
Current children cumulated memory: 362792 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 72834
/proc/meminfo: memFree=105799336/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=393832 memory=391600 CPUtime=401.03 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 178739 0 0 0 39902 201 0 0 20 0 1 0 68327697 403283968 97900 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 98458 97900 544 484 0 97869 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 393832 KiB
Current children cumulated memory: 391600 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 72836
/proc/meminfo: memFree=105772436/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=413148 memory=408680 CPUtime=460.83 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 188782 0 0 0 45856 227 0 0 20 0 1 0 68327697 423063552 102170 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 103287 102170 544 484 0 102698 0
Current children cumulated CPU time: 460.83 s
Current children cumulated vsize: 413148 KiB
Current children cumulated memory: 408680 KiB
[startup+522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 72838
/proc/meminfo: memFree=105748196/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=484172 memory=463792 CPUtime=520.65 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 203408 0 0 0 51806 259 0 0 20 0 1 0 68327697 495792128 115948 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 121043 115948 544 484 0 120454 0
Current children cumulated CPU time: 520.65 s
Current children cumulated vsize: 484172 KiB
Current children cumulated memory: 463792 KiB
[startup+582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 72840
/proc/meminfo: memFree=105631116/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=638228 memory=619812 CPUtime=580.46 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 212235 0 0 0 57756 290 0 0 20 0 1 0 68327697 653545472 154953 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 159557 154953 544 484 0 158968 0
Current children cumulated CPU time: 580.46 s
Current children cumulated vsize: 638228 KiB
Current children cumulated memory: 619812 KiB
[startup+642.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 72842
/proc/meminfo: memFree=105642496/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=483644 memory=467360 CPUtime=640.29 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 221117 0 0 0 63716 313 0 0 20 0 1 0 68327697 495251456 116840 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 120911 116840 544 484 0 120322 0
Current children cumulated CPU time: 640.29 s
Current children cumulated vsize: 483644 KiB
Current children cumulated memory: 467360 KiB
[startup+702.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 72844
/proc/meminfo: memFree=105500480/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=553680 memory=537228 CPUtime=700.11 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 231897 0 0 0 69667 344 0 0 20 0 1 0 68327697 566968320 134307 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 138420 134307 544 484 0 137831 0
Current children cumulated CPU time: 700.11 s
Current children cumulated vsize: 553680 KiB
Current children cumulated memory: 537228 KiB
[startup+762.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 72846
/proc/meminfo: memFree=105640604/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=597404 memory=556660 CPUtime=759.94 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 254229 0 0 0 75617 377 0 0 20 0 1 0 68327697 611741696 139165 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 149351 139165 544 484 0 148762 0
Current children cumulated CPU time: 759.94 s
Current children cumulated vsize: 597404 KiB
Current children cumulated memory: 556660 KiB
[startup+812.033 s]
# the end of solver process 72813 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=805.521 s, system=4.00334 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.08 4.09 4.09 5/262 72846
/proc/meminfo: memFree=105664852/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=599024 memory=558200 CPUtime=765.62 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 254872 0 0 0 76182 380 0 0 20 0 1 0 68327697 613400576 139550 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 149756 139550 544 484 0 149167 0
Current children cumulated CPU time: 765.62 s
Current children cumulated vsize: 599024 KiB
Current children cumulated memory: 558200 KiB
[startup+793.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 72848
/proc/meminfo: memFree=105626260/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=612688 memory=594452 CPUtime=791.14 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 266800 0 0 0 78721 393 0 0 20 0 1 0 68327697 627392512 148613 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 153172 148613 544 484 0 152583 0
Current children cumulated CPU time: 791.14 s
Current children cumulated vsize: 612688 KiB
Current children cumulated memory: 594452 KiB
[startup+800 s]*
/proc/loadavg: 4.10 4.09 4.09 5/263 72848
/proc/meminfo: memFree=105625840/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=614464 memory=596228 CPUtime=797.52 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 267123 0 0 0 79356 396 0 0 20 0 1 0 68327697 629211136 149057 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 153616 149057 544 484 0 153027 0
Current children cumulated CPU time: 797.52 s
Current children cumulated vsize: 614464 KiB
Current children cumulated memory: 596228 KiB
[startup+806.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 72848
/proc/meminfo: memFree=105618940/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=616124 memory=597888 CPUtime=803.9 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 267856 0 0 0 79991 399 0 0 20 0 1 0 68327697 630910976 149472 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 154031 149472 544 484 0 153442 0
Current children cumulated CPU time: 803.9 s
Current children cumulated vsize: 616124 KiB
Current children cumulated memory: 597888 KiB
[startup+809.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 72848
/proc/meminfo: memFree=105644660/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=616124 memory=597888 CPUtime=807.09 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 267856 0 0 0 80310 399 0 0 20 0 1 0 68327697 630910976 149472 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 154031 149472 544 484 0 153442 0
Current children cumulated CPU time: 807.09 s
Current children cumulated vsize: 616124 KiB
Current children cumulated memory: 597888 KiB
[startup+811.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 72848
/proc/meminfo: memFree=105343888/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=616124 memory=597888 CPUtime=808.68 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 267856 0 0 0 80469 399 0 0 20 0 1 0 68327697 630910976 149472 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 154031 149472 544 484 0 153442 0
Current children cumulated CPU time: 808.68 s
Current children cumulated vsize: 616124 KiB
Current children cumulated memory: 597888 KiB
[startup+811.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 72848
/proc/meminfo: memFree=105343888/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=616124 memory=597888 CPUtime=809.08 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 267856 0 0 0 80509 399 0 0 20 0 1 0 68327697 630910976 149472 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 154031 149472 544 484 0 153442 0
Current children cumulated CPU time: 809.08 s
Current children cumulated vsize: 616124 KiB
Current children cumulated memory: 597888 KiB
[startup+812 s]*
/proc/loadavg: 4.08 4.09 4.09 5/263 72848
/proc/meminfo: memFree=105636460/131249988 swapFree=33010416/33010684
[pid=72813] ppid=72810 vsize=616124 memory=597888 CPUtime=809.49 cores=5,7
/proc/72813/stat : 72813 (uwrmaxsat) R 72810 72813 71825 0 -1 4194304 267856 0 0 0 80550 399 0 0 20 0 1 0 68327697 630910976 149472 18446744073709551615 4198400 6176925 140731597519936 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 40099840 140731597523306 140731597523433 140731597523433 140731597529035 0
/proc/72813/statm: 154031 149472 544 484 0 153442 0
Current children cumulated CPU time: 809.49 s
Current children cumulated vsize: 616124 KiB
Current children cumulated memory: 597888 KiB
Child status: 30
Real time (s): 812.033
CPU time (s): 809.524
CPU user time (s): 805.521
CPU system time (s): 4.00334
CPU usage (%): 99.6911
Max. virtual memory (cumulated for all children) (KiB): 774740
Max. memory (cumulated for all children) (KiB): 756484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 805.521
system time used= 4.00334
maximum resident set size= 756484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267856
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= 52
involuntary context switches= 4842
# summary of solver processes directly reported to runsolver:
# pid: 72813
# total CPU time (s): 809.524
# total CPU user time (s): 805.521
# total CPU system time (s): 4.00334
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.34047 second user time and 2.85827 second system time
The end
Begin job on nodeC031 at 2025-07-03 09:08:11 IDJOB=4517551 IDBENCH=176113 IDSOLVER=3372 FILE ID=nodeC031/4517551-1751526491 RUNJOBID= nodeC031-1751521621-71838 SLURM_JOB_ID= 9598645 Free space on /tmp= 432080 MiB SOLVER NAME= UWrMaxSat 2025-06-04 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=18-t=2.opb COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517551-1751526491/watcher-4517551-1751526491 -o /tmp/evaluation-result-4517551-1751526491/solver-4517551-1751526491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751521621-71838 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4517551-1751526491.opb -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5da417552da80e99ebaacbb86c541f7c RANDOM SEED=1225936476 nodeC031 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 : 0xb00002a cpu MHz : 3599.887 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 pti ibrs ibpb stibp 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 : 6999.78 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 : 3599.886 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 pti ibrs ibpb stibp 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 : 6999.78 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 : 3985.497 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 pti ibrs ibpb stibp 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 : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.121 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 pti ibrs ibpb stibp 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 : 6999.78 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 : 3599.801 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 pti ibrs ibpb stibp 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 : 6999.78 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 : 3595.647 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 pti ibrs ibpb stibp 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 : 6999.78 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 : 3577.069 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 pti ibrs ibpb stibp 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 : 6999.78 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 : 3599.891 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 pti ibrs ibpb stibp 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 : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 106297424 kB MemAvailable: 127059400 kB Buffers: 2128 kB Cached: 21446828 kB SwapCached: 12 kB Active: 3020764 kB Inactive: 21040124 kB Active(anon): 2619516 kB Inactive(anon): 10468 kB Active(file): 401248 kB Inactive(file): 21029656 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 4060 kB Writeback: 0 kB AnonPages: 2606864 kB Mapped: 110632 kB Shmem: 18052 kB KReclaimable: 340620 kB Slab: 432716 kB SReclaimable: 340620 kB SUnreclaim: 92096 kB KernelStack: 4272 kB PageTables: 8036 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 3100432 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 2242560 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: 191188 kB DirectMap2M: 9017344 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432076 MiB End job on nodeC031 at 2025-07-03 09:21:44