Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| UWrMaxSat-SCIP 2025-06-04 | SAT (TO) | 5 | 3600.11 | 3611.6 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=8.opb |
| MD5SUM | 6f78fc52c3f94736c8d8a5f9c953ef5f |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 12.0622 |
| 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 | 364 |
| Total number of constraints | 12831 |
| Number of constraints which are clauses | 12818 |
| Number of constraints which are cardinality constraints (but not clauses) | 13 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 14 |
| Number of terms in the objective function | 13 |
| 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 | 13 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 15 |
| Number of bits of the biggest sum of numbers | 4 |
| 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.05 c Converting 12831 PB-constraints to clauses... 0.00/0.06 c Using SCIP solver, version 9.02.2, https://www.scipopt.org 0.00/0.09 o 13 0.00/0.09 c ============================[ Problem Statistics ]============================ 0.00/0.09 c | Number of variables: 390 | 0.00/0.09 c | Number of clauses: 13468 | 0.00/0.09 c =============================================================================== 0.00/0.09 c Starting SCIP solver (with time-limit: 900s) ... 0.00/0.09 c SCIP start delayed for at least 300s 149.35/149.83 c SCIP started with lower and upper bounds: [0, 13] 1046.24/1049.83 c SCIP timeout with lower and upper bounds: [0, 5] 1046.24/1049.83 o 5 3600.09/3611.60 c *** TERMINATED by signal 15 *** 3600.09/3611.60 c _______________________________________________________________________________ 3600.09/3611.60 c 3600.09/3611.60 c _______________________________________________________________________________ 3600.09/3611.60 c 3600.09/3611.60 c =======================[ UWrMaxSat resources usage ]=========================== 3600.09/3611.60 c Memory used : 1100.00 MB 3600.09/3611.60 c CPU time : 3599.41 s 3600.09/3611.60 c Constr Enc: Srt/BDD/Add: 13 0 0 3600.09/3611.60 c _______________________________________________________________________________ 3600.09/3611.60 c _______________________________________________________________________________ 3600.09/3611.60 3600.09/3611.60 v x79 -x80 -x81 x82 -x83 -x84 x85 -x86 -x87 -x88 x89 x90 -x91 -x92 -x105 -x118 -x131 -x144 -x157 -x170 -x183 -x196 -x209 -x222 -x235 -x248 x93 -x106 -x119 -x132 -x145 -x158 -x171 -x184 -x197 -x210 -x223 -x236 -x249 -x94 -x107 -x120 -x133 x146 -x159 -x172 -x185 -x198 -x211 -x224 -x237 -x250 -x95 -x108 -x121 -x134 -x147 -x160 -x173 -x186 -x199 -x212 -x225 -x238 -x251 -x96 -x109 -x122 -x135 -x148 -x161 x174 -x187 -x200 -x213 -x226 -x239 -x252 -x97 -x110 -x123 -x136 -x149 -x162 -x175 -x188 -x201 -x214 -x227 x240 -x253 -x98 -x111 -x124 -x137 -x150 -x163 -x176 -x189 -x202 -x215 -x228 -x241 -x254 -x99 -x112 -x125 -x138 -x151 -x164 -x177 -x190 -x203 x216 -x229 -x242 -x255 -x100 x113 -x126 -x139 -x152 -x165 -x178 -x191 -x204 -x217 -x230 -x243 -x256 -x101 -x114 -x127 -x140 -x153 x166 -x179 -x192 -x205 -x218 -x231 -x244 -x257 -x102 -x115 -x128 -x141 -x154 -x167 -x180 -x193 -x206 -x219 -x232 -x245 -x258 -x103 -x116 -x129 -x142 -x155 -x168 -x181 -x194 -x207 -x220 -x233 -x246 -x259 -x104 -x117 -x130 -x143 -x156 -x169 -x182 x195 -x208 -x221 -x234 -x247 -x260 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 -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 3600.09/3611.60 s SATISFIABLE
OK 5
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 (59085 MiB free)
memory of node 1: 64465 MiB (61614 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517460-1751518384/watcher-4517460-1751518384 -o /tmp/evaluation-result-4517460-1751518384/solver-4517460-1751518384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751514241-73435 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4517460-1751518384.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=74686, runsolver pid=74683
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 3.97 4.10 4.09 5/263 74687
/proc/meminfo: memFree=123596620/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=46204 memory=36480 CPUtime=0.09 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 6658 0 0 0 8 1 0 0 20 0 1 0 67460964 47312896 9120 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 11551 9120 2720 3139 0 7839 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 36480 KiB
[startup+0.205602 s]*
/proc/loadavg: 3.97 4.10 4.09 5/263 74687
/proc/meminfo: memFree=123596636/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=47100 memory=37412 CPUtime=0.2 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 7716 0 0 0 19 1 0 0 20 0 1 0 67460964 48230400 9353 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 11775 9353 2720 3139 0 8063 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47100 KiB
Current children cumulated memory: 37412 KiB
[startup+0.305516 s]*
/proc/loadavg: 3.97 4.10 4.09 5/263 74687
/proc/meminfo: memFree=123596636/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=47292 memory=37576 CPUtime=0.3 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 8017 0 0 0 29 1 0 0 20 0 1 0 67460964 48427008 9394 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 11823 9394 2720 3139 0 8111 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47292 KiB
Current children cumulated memory: 37576 KiB
[startup+0.700181 s]
/proc/loadavg: 3.97 4.10 4.09 5/263 74687
/proc/meminfo: memFree=123596636/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=47464 memory=37772 CPUtime=0.69 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 9645 0 0 0 67 2 0 0 20 0 1 0 67460964 48603136 9443 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 11866 9443 2720 3139 0 8154 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47464 KiB
Current children cumulated memory: 37772 KiB
[startup+1.50016 s]
/proc/loadavg: 3.97 4.10 4.09 5/263 74687
/proc/meminfo: memFree=123596636/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=49616 memory=39828 CPUtime=1.49 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 11047 0 0 0 147 2 0 0 20 0 1 0 67460964 50806784 9957 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 12404 9957 2720 3139 0 8692 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 49616 KiB
Current children cumulated memory: 39828 KiB
[startup+3.10553 s]
/proc/loadavg: 3.97 4.10 4.09 5/263 74687
/proc/meminfo: memFree=123604788/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=49948 memory=40008 CPUtime=3.08 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 12848 0 0 0 306 2 0 0 20 0 1 0 67460964 51146752 10002 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 12487 10002 2720 3139 0 8775 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49948 KiB
Current children cumulated memory: 40008 KiB
[startup+6.30016 s]
/proc/loadavg: 3.97 4.10 4.09 5/263 74687
/proc/meminfo: memFree=123625752/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=52316 memory=42500 CPUtime=6.27 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 14491 0 0 0 624 3 0 0 20 0 1 0 67460964 53571584 10625 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 13079 10625 2720 3139 0 9367 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52316 KiB
Current children cumulated memory: 42500 KiB
[startup+12.7002 s]
/proc/loadavg: 3.98 4.10 4.09 5/263 74687
/proc/meminfo: memFree=123648448/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=50700 memory=41008 CPUtime=12.65 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 19558 0 0 0 1261 4 0 0 20 0 1 0 67460964 51916800 10252 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 12675 10252 2720 3139 0 8963 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50700 KiB
Current children cumulated memory: 41008 KiB
[startup+25.5002 s]
/proc/loadavg: 3.98 4.09 4.09 5/263 74687
/proc/meminfo: memFree=123643552/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=58348 memory=48656 CPUtime=25.41 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 23904 0 0 0 2536 5 0 0 20 0 1 0 67460964 59748352 12164 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 14587 12164 2720 3139 0 10875 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 58348 KiB
Current children cumulated memory: 48656 KiB
[startup+51.1054 s]
/proc/loadavg: 3.99 4.08 4.08 5/263 74687
/proc/meminfo: memFree=123643636/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=68892 memory=59180 CPUtime=50.95 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 25032 0 0 0 5089 6 0 0 20 0 1 0 67460964 70545408 14795 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 17223 14795 2720 3139 0 13511 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 68892 KiB
Current children cumulated memory: 59180 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/263 74689
/proc/meminfo: memFree=123623176/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=85360 memory=75692 CPUtime=101.99 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 33191 0 0 0 10190 9 0 0 20 0 1 0 67460964 87408640 18923 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 21340 18923 2720 3139 0 17628 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 85360 KiB
Current children cumulated memory: 75692 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 74691
/proc/meminfo: memFree=123475700/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=229172 memory=198488 CPUtime=161.82 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 59752 0 0 0 16166 16 0 0 20 0 1 0 67460964 234672128 49622 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 57293 49622 3296 3139 0 53581 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 229172 KiB
Current children cumulated memory: 198488 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 74693
/proc/meminfo: memFree=123341436/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=342824 memory=308692 CPUtime=221.63 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 71812 0 0 0 22144 19 0 0 20 0 1 0 67460964 351051776 77173 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 85706 77173 3296 3139 0 81994 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 342824 KiB
Current children cumulated memory: 308692 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 74695
/proc/meminfo: memFree=123308108/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=399432 memory=362032 CPUtime=281.45 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 75962 0 0 0 28125 20 0 0 20 0 1 0 67460964 409018368 90508 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 99858 90508 3296 3139 0 96146 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 399432 KiB
Current children cumulated memory: 362032 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 74697
/proc/meminfo: memFree=123278816/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=446144 memory=410432 CPUtime=341.26 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 87571 0 0 0 34104 22 0 0 20 0 1 0 67460964 456851456 102608 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 111536 102608 3296 3139 0 107824 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 446144 KiB
Current children cumulated memory: 410432 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 74700
/proc/meminfo: memFree=123181280/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=478924 memory=444472 CPUtime=401.05 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 93031 0 0 0 40081 24 0 0 20 0 1 0 67460964 490418176 111118 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 119731 111118 3296 3139 0 116019 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 478924 KiB
Current children cumulated memory: 444472 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 74702
/proc/meminfo: memFree=123010820/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=525224 memory=482960 CPUtime=460.85 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 99587 0 0 0 46060 25 0 0 20 0 1 0 67460964 537829376 120740 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 131306 120740 3296 3139 0 127594 0
Current children cumulated CPU time: 460.85 s
################
# More data... #
################
Current children cumulated memory: 508124 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 74958
/proc/meminfo: memFree=124500432/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=515648 memory=508124 CPUtime=2852.84 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 164893 0 0 0 285238 46 0 0 20 0 1 0 67460964 528023552 127031 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 128912 127031 3296 3139 0 125200 0
Current children cumulated CPU time: 2852.84 s
Current children cumulated vsize: 515648 KiB
Current children cumulated memory: 508124 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 74961
/proc/meminfo: memFree=124484308/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=515648 memory=508124 CPUtime=2912.68 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 165015 0 0 0 291222 46 0 0 20 0 1 0 67460964 528023552 127031 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 128912 127031 3296 3139 0 125200 0
Current children cumulated CPU time: 2912.68 s
Current children cumulated vsize: 515648 KiB
Current children cumulated memory: 508124 KiB
[startup+2982.3 s]
/proc/loadavg: 4.31 4.17 4.12 5/264 74969
/proc/meminfo: memFree=124460908/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=515648 memory=508124 CPUtime=2972.51 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 166334 0 0 0 297204 47 0 0 20 0 1 0 67460964 528023552 127031 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 128912 127031 3296 3139 0 125200 0
Current children cumulated CPU time: 2972.51 s
Current children cumulated vsize: 515648 KiB
Current children cumulated memory: 508124 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/263 74971
/proc/meminfo: memFree=124477512/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=515648 memory=508124 CPUtime=3032.35 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 166387 0 0 0 303188 47 0 0 20 0 1 0 67460964 528023552 127031 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 128912 127031 3296 3139 0 125200 0
Current children cumulated CPU time: 3032.35 s
Current children cumulated vsize: 515648 KiB
Current children cumulated memory: 508124 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/263 75018
/proc/meminfo: memFree=126470628/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=554584 memory=546992 CPUtime=3092.19 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 168356 0 0 0 309169 50 0 0 20 0 1 0 67460964 567894016 136748 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 138646 136748 3296 3139 0 134934 0
Current children cumulated CPU time: 3092.19 s
Current children cumulated vsize: 554584 KiB
Current children cumulated memory: 546992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/263 75064
/proc/meminfo: memFree=127006968/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=515648 memory=508124 CPUtime=3152.02 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 169874 0 0 0 315150 52 0 0 20 0 1 0 67460964 528023552 127031 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 128912 127031 3296 3139 0 125200 0
Current children cumulated CPU time: 3152.02 s
Current children cumulated vsize: 515648 KiB
Current children cumulated memory: 508124 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/263 75066
/proc/meminfo: memFree=126952196/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=555368 memory=547776 CPUtime=3211.86 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 172226 0 0 0 321131 55 0 0 20 0 1 0 67460964 568696832 136944 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 138842 136944 3296 3139 0 135130 0
Current children cumulated CPU time: 3211.86 s
Current children cumulated vsize: 555368 KiB
Current children cumulated memory: 547776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.38 4.20 4.12 5/263 75113
/proc/meminfo: memFree=127029544/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=557560 memory=549968 CPUtime=3271.69 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 173434 0 0 0 327113 56 0 0 20 0 1 0 67460964 570941440 137492 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 139390 137492 3296 3139 0 135678 0
Current children cumulated CPU time: 3271.69 s
Current children cumulated vsize: 557560 KiB
Current children cumulated memory: 549968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.17 4.12 5/263 75115
/proc/meminfo: memFree=126982020/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=558460 memory=550868 CPUtime=3331.53 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 174567 0 0 0 333095 58 0 0 20 0 1 0 67460964 571863040 137717 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 139615 137717 3296 3139 0 135903 0
Current children cumulated CPU time: 3331.53 s
Current children cumulated vsize: 558460 KiB
Current children cumulated memory: 550868 KiB
[startup+3402.3 s]
/proc/loadavg: 4.35 4.21 4.13 5/263 75117
/proc/meminfo: memFree=126955148/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=515648 memory=508124 CPUtime=3391.38 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 175850 0 0 0 339077 61 0 0 20 0 1 0 67460964 528023552 127031 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 128912 127031 3296 3139 0 125200 0
Current children cumulated CPU time: 3391.38 s
Current children cumulated vsize: 515648 KiB
Current children cumulated memory: 508124 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.21 4.13 5/264 75120
/proc/meminfo: memFree=126785564/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=515648 memory=508124 CPUtime=3451.21 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 177442 0 0 0 345058 63 0 0 20 0 1 0 67460964 528023552 127031 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 128912 127031 3296 3139 0 125200 0
Current children cumulated CPU time: 3451.21 s
Current children cumulated vsize: 515648 KiB
Current children cumulated memory: 508124 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/265 75123
/proc/meminfo: memFree=126680828/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=515648 memory=508124 CPUtime=3511.04 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 178989 0 0 0 351039 65 0 0 20 0 1 0 67460964 528023552 127031 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 128912 127031 3296 3139 0 125200 0
Current children cumulated CPU time: 3511.04 s
Current children cumulated vsize: 515648 KiB
Current children cumulated memory: 508124 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/265 75132
/proc/meminfo: memFree=126595060/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=515648 memory=508124 CPUtime=3570.88 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 180497 0 0 0 357021 67 0 0 20 0 1 0 67460964 528023552 127031 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 128912 127031 3296 3139 0 125200 0
Current children cumulated CPU time: 3570.88 s
Current children cumulated vsize: 515648 KiB
Current children cumulated memory: 508124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.12 4.16 4.12 5/265 75132
/proc/meminfo: memFree=126510652/131250000 swapFree=33010684/33010684
[pid=74686] ppid=74683 vsize=558456 memory=550864 CPUtime=3600.09 cores=1,3
/proc/74686/stat : 74686 (uwrmaxsat-scip) R 74683 74686 73423 0 -1 4194304 181707 0 0 0 359940 69 0 0 20 0 1 0 67460964 571858944 137716 18446744073709551615 4198400 17051741 140728154485888 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 57593856 140728154491194 140728154491364 140728154491364 140728154496966 0
/proc/74686/statm: 139614 137716 3296 3139 0 135902 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 558456 KiB
Current children cumulated memory: 550864 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.6 s]
# the end of solver process 74686 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.41 s, system=0.70158 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.6
CPU time (s): 3600.11
CPU user time (s): 3599.41
CPU system time (s): 0.70158
CPU usage (%): 99.6818
Max. virtual memory (cumulated for all children) (KiB): 1127180
Max. memory (cumulated for all children) (KiB): 1038200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.41
system time used= 0.70158
maximum resident set size= 1038200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181708
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= 55
involuntary context switches= 5389
# summary of solver processes directly reported to runsolver:
# pid: 74686
# total CPU time (s): 3600.11
# total CPU user time (s): 3599.41
# total CPU system time (s): 0.70158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84891 second user time and 16.3104 second system time
The end
Begin job on nodeC028 at 2025-07-03 06:53:04 IDJOB=4517460 IDBENCH=176086 IDSOLVER=3373 FILE ID=nodeC028/4517460-1751518384 RUNJOBID= nodeC028-1751514241-73435 SLURM_JOB_ID= 9598622 Free space on /tmp= 431440 MiB SOLVER NAME= UWrMaxSat-SCIP 2025-06-04 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=8.opb COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517460-1751518384/watcher-4517460-1751518384 -o /tmp/evaluation-result-4517460-1751518384/solver-4517460-1751518384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751514241-73435 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4517460-1751518384.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6f78fc52c3f94736c8d8a5f9c953ef5f RANDOM SEED=108864525 nodeC028 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 : 3600.076 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 : 7000.16 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 : 3602.892 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 : 7000.16 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 : 3607.055 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 : 7000.16 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.049 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 : 7000.16 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 : 3600.058 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 : 7000.16 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 : 3600.049 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 : 7000.16 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 : 3639.386 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 : 7000.16 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 : 3518.580 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 : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 123596812 kB MemAvailable: 125467248 kB Buffers: 3280 kB Cached: 2672712 kB SwapCached: 0 kB Active: 4537260 kB Inactive: 2363464 kB Active(anon): 4242800 kB Inactive(anon): 0 kB Active(file): 294460 kB Inactive(file): 2363464 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16908 kB Writeback: 0 kB AnonPages: 4225340 kB Mapped: 144080 kB Shmem: 18068 kB KReclaimable: 103500 kB Slab: 192240 kB SReclaimable: 103500 kB SUnreclaim: 88740 kB KernelStack: 4208 kB PageTables: 11436 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 4867512 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 1470464 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431432 MiB End job on nodeC028 at 2025-07-03 07:53:16