Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | SAT (TO) | 5 | 3600.08 | 3610.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.10/0.22 c 12831 constraints 0.10/0.22 c after presolve 14435 0.21/0.23 c Finish cloning data from SAT to LS 0.21/0.23 c intsize: 4 60.14/60.35 c Use LS-small 60.14/60.35 o 13 60.14/60.35 o 12 60.14/60.35 o 11 60.14/60.35 o 10 60.14/60.35 o 9 60.14/60.35 o 8 60.14/60.35 o 5 60.14/60.35 c SAT by LS-small 60.14/60.35 o 5 3600.07/3610.60 c Program interrupted by user. 3600.07/3610.60 s SATISFIABLE 3600.07/3610.60 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
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: 63837 MiB (61995 MiB free)
memory of node 1: 64465 MiB (63284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517421-1751518013/watcher-4517421-1751518013 -o /tmp/evaluation-result-4517421-1751518013/solver-4517421-1751518013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751513882-71037 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4517421-1751518013.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=72191, runsolver pid=72188
[startup+0.100067 s]*
/proc/loadavg: 4.32 4.23 4.11 5/251 72192
/proc/meminfo: memFree=128283152/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=53672 memory=13012 CPUtime=0.1 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 2176 0 0 0 9 1 0 0 20 0 1 0 67480414 54960128 3221 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 13418 3221 1760 2271 0 8056 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53672 KiB
Current children cumulated memory: 13012 KiB
[startup+0.212901 s]*
/proc/loadavg: 4.32 4.23 4.11 5/251 72192
/proc/meminfo: memFree=128275340/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=61940 memory=19544 CPUtime=0.21 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 4207 0 0 0 19 2 0 0 20 0 1 0 67480414 63426560 4886 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 15485 4886 1792 2271 0 10123 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 61940 KiB
Current children cumulated memory: 19544 KiB
[startup+0.313118 s]*
/proc/loadavg: 4.32 4.23 4.11 5/251 72192
/proc/meminfo: memFree=128274584/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=63392 memory=22488 CPUtime=0.31 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 4865 0 0 0 28 3 0 0 20 0 1 0 67480414 64913408 5622 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 15848 5622 1856 2271 0 10486 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63392 KiB
Current children cumulated memory: 22488 KiB
[startup+0.700311 s]
/proc/loadavg: 4.32 4.23 4.11 5/251 72192
/proc/meminfo: memFree=128274584/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=63392 memory=22488 CPUtime=0.68 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 4866 0 0 0 63 5 0 0 20 0 1 0 67480414 64913408 5622 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 15848 5622 1856 2271 0 10486 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63392 KiB
Current children cumulated memory: 22488 KiB
[startup+1.50032 s]
/proc/loadavg: 4.37 4.25 4.12 5/251 72192
/proc/meminfo: memFree=128274592/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=63392 memory=22488 CPUtime=1.48 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 4866 0 0 0 137 11 0 0 20 0 1 0 67480414 64913408 5622 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 15848 5622 1856 2271 0 10486 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63392 KiB
Current children cumulated memory: 22488 KiB
[startup+3.11252 s]
/proc/loadavg: 4.37 4.25 4.12 5/247 72223
/proc/meminfo: memFree=128290764/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=63392 memory=22488 CPUtime=3.08 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 4866 0 0 0 286 22 0 0 20 0 1 0 67480414 64913408 5622 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 15848 5622 1856 2271 0 10486 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63392 KiB
Current children cumulated memory: 22488 KiB
[startup+6.30032 s]
/proc/loadavg: 4.34 4.24 4.12 5/251 72237
/proc/meminfo: memFree=128202480/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=63392 memory=22488 CPUtime=6.26 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 4866 0 0 0 583 43 0 0 20 0 1 0 67480414 64913408 5622 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 15848 5622 1856 2271 0 10486 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 63392 KiB
Current children cumulated memory: 22488 KiB
[startup+12.7003 s]
/proc/loadavg: 4.32 4.24 4.11 5/251 72237
/proc/meminfo: memFree=128195172/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=63392 memory=22488 CPUtime=12.65 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 4866 0 0 0 1183 82 0 0 20 0 1 0 67480414 64913408 5622 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 15848 5622 1856 2271 0 10486 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 63392 KiB
Current children cumulated memory: 22488 KiB
[startup+25.5003 s]
/proc/loadavg: 4.27 4.23 4.11 5/251 72238
/proc/meminfo: memFree=128196884/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=63392 memory=22488 CPUtime=25.43 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 4866 0 0 0 2374 169 0 0 20 0 1 0 67480414 64913408 5622 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 15848 5622 1856 2271 0 10486 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 63392 KiB
Current children cumulated memory: 22488 KiB
[startup+51.1127 s]
/proc/loadavg: 4.16 4.21 4.11 5/251 72238
/proc/meminfo: memFree=128192260/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=63392 memory=22488 CPUtime=50.98 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 4866 0 0 0 4763 335 0 0 20 0 1 0 67480414 64913408 5622 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 15848 5622 1856 2271 0 10486 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 63392 KiB
Current children cumulated memory: 22488 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.19 4.10 5/250 72240
/proc/meminfo: memFree=128112576/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=70740 memory=36036 CPUtime=102.02 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 6725 0 0 0 9796 406 0 0 20 0 1 0 67480414 72437760 9009 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 17685 9009 1856 2271 0 12323 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 70740 KiB
Current children cumulated memory: 36036 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.17 4.10 5/249 72244
/proc/meminfo: memFree=128081664/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=74028 memory=41356 CPUtime=161.85 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 7557 0 0 0 15767 418 0 0 20 0 1 0 67480414 75804672 10339 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 18507 10339 1856 2271 0 13145 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 74028 KiB
Current children cumulated memory: 41356 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.10 5/250 72247
/proc/meminfo: memFree=128052432/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=76288 memory=43660 CPUtime=221.68 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 8128 0 0 0 21738 430 0 0 20 0 1 0 67480414 78118912 10915 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 19072 10915 1856 2271 0 13710 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 76288 KiB
Current children cumulated memory: 43660 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.13 4.09 5/251 72251
/proc/meminfo: memFree=128030036/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=77412 memory=44812 CPUtime=281.5 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 8424 0 0 0 27709 441 0 0 20 0 1 0 67480414 79269888 11203 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 19353 11203 1856 2271 0 13991 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 77412 KiB
Current children cumulated memory: 44812 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/251 72253
/proc/meminfo: memFree=128005876/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=78900 memory=46220 CPUtime=341.33 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 8785 0 0 0 33681 452 0 0 20 0 1 0 67480414 80793600 11555 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 19725 11555 1856 2271 0 14363 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 78900 KiB
Current children cumulated memory: 46220 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/251 72259
/proc/meminfo: memFree=127991828/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=80400 memory=47756 CPUtime=401.15 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 9176 0 0 0 39651 464 0 0 20 0 1 0 67480414 82329600 11939 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 20100 11939 1856 2271 0 14738 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 80400 KiB
Current children cumulated memory: 47756 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/251 72261
/proc/meminfo: memFree=127959352/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=81956 memory=51304 CPUtime=460.98 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 9553 0 0 0 45621 477 0 0 20 0 1 0 67480414 83922944 12826 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 20489 12826 1856 2271 0 15127 0
################
# More data... #
################
Current children cumulated memory: 69720 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.17 4.18 5/250 72383
/proc/meminfo: memFree=127045640/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=96288 memory=70488 CPUtime=2854.12 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13254 0 0 0 284486 926 0 0 20 0 1 0 67480414 98598912 17622 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24072 17622 1856 2271 0 18710 0
Current children cumulated CPU time: 2854.12 s
Current children cumulated vsize: 96288 KiB
Current children cumulated memory: 70488 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/250 72385
/proc/meminfo: memFree=127045656/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=96652 memory=70872 CPUtime=2913.95 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13333 0 0 0 290455 940 0 0 20 0 1 0 67480414 98971648 17718 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24163 17718 1856 2271 0 18801 0
Current children cumulated CPU time: 2913.95 s
Current children cumulated vsize: 96652 KiB
Current children cumulated memory: 70872 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/250 72387
/proc/meminfo: memFree=127039964/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=96652 memory=70872 CPUtime=2973.77 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13334 0 0 0 296424 953 0 0 20 0 1 0 67480414 98971648 17718 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24163 17718 1856 2271 0 18801 0
Current children cumulated CPU time: 2973.77 s
Current children cumulated vsize: 96652 KiB
Current children cumulated memory: 70872 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/250 72389
/proc/meminfo: memFree=127039840/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=96916 memory=71128 CPUtime=3033.61 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13400 0 0 0 302395 966 0 0 20 0 1 0 67480414 99241984 17782 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24229 17782 1856 2271 0 18867 0
Current children cumulated CPU time: 3033.61 s
Current children cumulated vsize: 96916 KiB
Current children cumulated memory: 71128 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/249 72391
/proc/meminfo: memFree=127039612/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=96916 memory=71128 CPUtime=3093.43 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13400 0 0 0 308365 978 0 0 20 0 1 0 67480414 99241984 17782 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24229 17782 1856 2271 0 18867 0
Current children cumulated CPU time: 3093.43 s
Current children cumulated vsize: 96916 KiB
Current children cumulated memory: 71128 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/249 72395
/proc/meminfo: memFree=126909228/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=96916 memory=71128 CPUtime=3153.26 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13401 0 0 0 314338 988 0 0 20 0 1 0 67480414 99241984 17782 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24229 17782 1856 2271 0 18867 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 96916 KiB
Current children cumulated memory: 71128 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/249 72397
/proc/meminfo: memFree=126877176/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=97336 memory=71512 CPUtime=3213.03 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13505 0 0 0 320302 1001 0 0 20 0 1 0 67480414 99672064 17878 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24334 17878 1856 2271 0 18972 0
Current children cumulated CPU time: 3213.03 s
Current children cumulated vsize: 97336 KiB
Current children cumulated memory: 71512 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.13 4.15 5/249 72488
/proc/meminfo: memFree=129619512/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=97472 memory=71640 CPUtime=3272.83 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13539 0 0 0 326272 1011 0 0 20 0 1 0 67480414 99811328 17910 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24368 17910 1856 2271 0 19006 0
Current children cumulated CPU time: 3272.83 s
Current children cumulated vsize: 97472 KiB
Current children cumulated memory: 71640 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.16 4.16 5/249 72490
/proc/meminfo: memFree=129628020/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=97472 memory=71640 CPUtime=3332.64 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13540 0 0 0 332241 1023 0 0 20 0 1 0 67480414 99811328 17910 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24368 17910 1856 2271 0 19006 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 97472 KiB
Current children cumulated memory: 71640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.16 5/249 72536
/proc/meminfo: memFree=129635896/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=97472 memory=71640 CPUtime=3392.48 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13540 0 0 0 338215 1033 0 0 20 0 1 0 67480414 99811328 17910 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24368 17910 1856 2271 0 19006 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 97472 KiB
Current children cumulated memory: 71640 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.16 4.16 5/251 72589
/proc/meminfo: memFree=128024284/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=97760 memory=71896 CPUtime=3452.28 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13612 0 0 0 344185 1043 0 0 20 0 1 0 67480414 100106240 17974 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24440 17974 1856 2271 0 19078 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 97760 KiB
Current children cumulated memory: 71896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/251 72591
/proc/meminfo: memFree=127928888/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=98228 memory=72408 CPUtime=3512.06 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13729 0 0 0 350148 1058 0 0 20 0 1 0 67480414 100585472 18102 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24557 18102 1856 2271 0 19195 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 98228 KiB
Current children cumulated memory: 72408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/251 72637
/proc/meminfo: memFree=129619568/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=98228 memory=72408 CPUtime=3571.86 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13732 0 0 0 356117 1069 0 0 20 0 1 0 67480414 100585472 18102 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24557 18102 1856 2271 0 19195 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 98228 KiB
Current children cumulated memory: 72408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.07 4.12 4.14 5/251 72683
/proc/meminfo: memFree=129614300/131382120 swapFree=33010160/33010684
[pid=72191] ppid=72188 vsize=98228 memory=72408 CPUtime=3600.07 cores=1,3
/proc/72191/stat : 72191 (ExactPR) R 72188 72191 71022 0 -1 4194304 13734 0 0 0 358932 1075 0 0 20 0 1 0 67480414 100585472 18102 18446744073709551615 94337844346880 94337853646725 140730866788816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94337855433024 94337855472104 94337873281024 140730866796933 140730866797068 140730866797068 140730866802670 0
/proc/72191/statm: 24557 18102 1856 2271 0 19195 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 98228 KiB
Current children cumulated memory: 72408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 72191 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3589.33 s, system=10.7529 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.6
CPU time (s): 3600.08
CPU user time (s): 3589.33
CPU system time (s): 10.7529
CPU usage (%): 99.7085
Max. virtual memory (cumulated for all children) (KiB): 98228
Max. memory (cumulated for all children) (KiB): 72408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.33
system time used= 10.7529
maximum resident set size= 72920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13750
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= 129
involuntary context switches= 2659
# summary of solver processes directly reported to runsolver:
# pid: 72191
# total CPU time (s): 3600.08
# total CPU user time (s): 3589.33
# total CPU system time (s): 10.7529
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5994 second user time and 34.8397 second system time
The end
Begin job on nodeC008 at 2025-07-03 06:46:53 IDJOB=4517421 IDBENCH=176086 IDSOLVER=3324 FILE ID=nodeC008/4517421-1751518013 RUNJOBID= nodeC008-1751513882-71037 SLURM_JOB_ID= 9598620 Free space on /tmp= 432780 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=8.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517421-1751518013/watcher-4517421-1751518013 -o /tmp/evaluation-result-4517421-1751518013/solver-4517421-1751518013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751513882-71037 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4517421-1751518013.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6f78fc52c3f94736c8d8a5f9c953ef5f RANDOM SEED=1098268365 nodeC008 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 : 3691.412 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 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 : 1197.568 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 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 : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 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.200 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 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 : 3691.392 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 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 : 3662.230 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 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 : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 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 : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 128286932 kB MemAvailable: 128309924 kB Buffers: 2128 kB Cached: 818792 kB SwapCached: 16 kB Active: 2205080 kB Inactive: 300092 kB Active(anon): 1665632 kB Inactive(anon): 36544 kB Active(file): 539448 kB Inactive(file): 263548 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 12560 kB Writeback: 4 kB AnonPages: 1687360 kB Mapped: 114640 kB Shmem: 17920 kB KReclaimable: 119244 kB Slab: 203276 kB SReclaimable: 119244 kB SUnreclaim: 84032 kB KernelStack: 4048 kB PageTables: 6504 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 2271032 kB VmallocTotal: 34359738367 kB VmallocUsed: 149416 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 722944 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: 181064 kB DirectMap2M: 9158656 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432776 MiB End job on nodeC008 at 2025-07-03 07:47:04