Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2 2024-07-05 | SAT (TO) | 2 | 3600.07 | 3632.95 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=11.opb |
| MD5SUM | 9b5c30834c5e817deb28aeb7d8484ce1 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 403 |
| Total number of constraints | 13065 |
| Number of constraints which are clauses | 13052 |
| 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.09 o 8 0.09/0.17 o 7 0.09/0.17 o 6 0.09/0.17 o 5 0.09/0.17 o 4 0.09/0.17 o 3 0.09/0.17 o 2 3600.05/3632.80 c Program interrupted by user. 3600.05/3632.80 s SATISFIABLE 3600.05/3632.80 v x1 -x2 x3 x4 x5 x6 x7 -x8 x9 x10 x11 x12 -x13 x14 x15 x16 x17 x18 -x19 x20 x21 x22 x23 x24 x25 -x26 -x27 -x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 -x38 x39 x40 x41 x42 x43 x44 x45 -x46 x47 x48 x49 x50 x51 x52 -x53 x54 x55 x56 x57 x58 -x59 x60 x61 x62 x63 -x64 x65 x66 x67 x68 -x69 -x70 x71 -x72 x73 x74 x75 x76 x77 x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403
OK 2
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: 63968 MiB (58701 MiB free)
memory of node 1: 64473 MiB (60370 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449849-1721841732/watcher-4449849-1721841732 -o /tmp/evaluation-result-4449849-1721841732/solver-4449849-1721841732 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721841732-198232 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4449849-1721841732 --seed=525067914 HOME/instance-4449849-1721841732.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
solver pid=198285, runsolver pid=198277
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 1.02 1.11 1.27 6/261 198296
/proc/meminfo: memFree=121889016/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=36836 memory=15692 CPUtime=0.09 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 3682 0 0 0 9 0 0 0 20 0 1 0 20701161 37720064 3923 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 9209 3923 1123 1006 0 7970 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36836 KiB
Current children cumulated memory: 15692 KiB
[startup+0.206537 s]*
/proc/loadavg: 1.02 1.11 1.27 7/261 198296
/proc/meminfo: memFree=121848856/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=36836 memory=16484 CPUtime=0.2 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 3876 0 0 0 20 0 0 0 20 0 1 0 20701161 37720064 4121 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 9209 4121 1123 1006 0 7970 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36836 KiB
Current children cumulated memory: 16484 KiB
[startup+0.305606 s]*
/proc/loadavg: 1.02 1.11 1.27 6/261 198296
/proc/meminfo: memFree=121843900/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=36836 memory=18532 CPUtime=0.3 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 3899 0 0 0 30 0 0 0 20 0 1 0 20701161 37720064 4633 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 9209 4633 1123 1006 0 7970 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36836 KiB
Current children cumulated memory: 18532 KiB
[startup+0.700169 s]
/proc/loadavg: 1.02 1.11 1.27 6/261 198296
/proc/meminfo: memFree=121840448/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=37628 memory=21364 CPUtime=0.68 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 4085 0 0 0 68 0 0 0 20 0 1 0 20701161 38531072 5341 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 9407 5341 1123 1006 0 8168 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37628 KiB
Current children cumulated memory: 21364 KiB
[startup+1.50016 s]
/proc/loadavg: 1.02 1.11 1.27 6/261 198296
/proc/meminfo: memFree=121825592/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=38036 memory=21628 CPUtime=1.48 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 4191 0 0 0 147 1 0 0 20 0 1 0 20701161 38948864 5407 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 9509 5407 1123 1006 0 8270 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38036 KiB
Current children cumulated memory: 21628 KiB
[startup+3.10616 s]
/proc/loadavg: 1.02 1.11 1.27 4/256 198304
/proc/meminfo: memFree=121795984/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=38940 memory=22796 CPUtime=3.08 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 4421 0 0 0 306 2 0 0 20 0 1 0 20701161 39874560 5699 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 9735 5699 1155 1006 0 8496 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 38940 KiB
Current children cumulated memory: 22796 KiB
[startup+6.30014 s]
/proc/loadavg: 1.18 1.14 1.28 4/254 198328
/proc/meminfo: memFree=121757844/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=39332 memory=25364 CPUtime=6.26 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 4547 0 0 0 622 4 0 0 20 0 1 0 20701161 40275968 6341 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 9833 6341 1155 1006 0 8594 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 25364 KiB
[startup+12.7002 s]
/proc/loadavg: 1.33 1.17 1.29 4/254 198330
/proc/meminfo: memFree=121662964/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=40428 memory=26136 CPUtime=12.65 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 4796 0 0 0 1256 9 0 0 20 0 1 0 20701161 41398272 6534 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 10107 6534 1155 1006 0 8868 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40428 KiB
Current children cumulated memory: 26136 KiB
[startup+25.5002 s]
/proc/loadavg: 1.85 1.29 1.33 4/254 198331
/proc/meminfo: memFree=121482288/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=41444 memory=27440 CPUtime=25.4 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 5078 0 0 0 2524 16 0 0 20 0 1 0 20701161 42438656 6860 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 10361 6860 1155 1006 0 9122 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 41444 KiB
Current children cumulated memory: 27440 KiB
[startup+51.1058 s]
/proc/loadavg: 2.25 1.43 1.37 4/254 198336
/proc/meminfo: memFree=121142140/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=42776 memory=30784 CPUtime=50.76 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 5420 0 0 0 5043 33 0 0 20 0 1 0 20701161 43802624 7696 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 10694 7696 1155 1006 0 9455 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 42776 KiB
Current children cumulated memory: 30784 KiB
[startup+102.3 s]
/proc/loadavg: 2.79 1.71 1.47 4/254 198344
/proc/meminfo: memFree=120553964/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=44804 memory=32856 CPUtime=101.5 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 5927 0 0 0 10089 61 0 0 20 0 1 0 20701161 45879296 8214 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 48 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 11201 8214 1155 1006 0 9962 0
Current children cumulated CPU time: 101.5 s
Current children cumulated vsize: 44804 KiB
Current children cumulated memory: 32856 KiB
[startup+162.3 s]
/proc/loadavg: 2.99 1.96 1.57 4/254 198356
/proc/meminfo: memFree=119895340/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=46800 memory=36760 CPUtime=161 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 6431 0 0 0 16002 98 0 0 20 0 1 0 20701161 47923200 9190 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 81 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 11700 9190 1155 1006 0 10461 0
Current children cumulated CPU time: 161 s
Current children cumulated vsize: 46800 KiB
Current children cumulated memory: 36760 KiB
[startup+222.3 s]
/proc/loadavg: 3.08 2.18 1.68 4/253 198750
/proc/meminfo: memFree=119251336/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=47432 memory=37448 CPUtime=220.62 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 6599 0 0 0 21929 133 0 0 20 0 1 0 20701161 48570368 9362 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 102 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 11858 9362 1155 1006 0 10619 0
Current children cumulated CPU time: 220.62 s
Current children cumulated vsize: 47432 KiB
Current children cumulated memory: 37448 KiB
[startup+282.3 s]
/proc/loadavg: 3.14 2.36 1.77 4/254 198761
/proc/meminfo: memFree=118579368/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=48508 memory=38452 CPUtime=280.27 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 6902 0 0 0 27864 163 0 0 20 0 1 0 20701161 49672192 9613 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 122 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 12127 9613 1155 1006 0 10888 0
Current children cumulated CPU time: 280.27 s
Current children cumulated vsize: 48508 KiB
Current children cumulated memory: 38452 KiB
[startup+342.3 s]
/proc/loadavg: 3.10 2.50 1.86 4/252 198773
/proc/meminfo: memFree=117954644/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=49956 memory=40028 CPUtime=339.89 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 7259 0 0 0 33795 194 0 0 20 0 1 0 20701161 51154944 10007 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 143 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 12489 10007 1155 1006 0 11250 0
Current children cumulated CPU time: 339.89 s
Current children cumulated vsize: 49956 KiB
Current children cumulated memory: 40028 KiB
[startup+402.3 s]
/proc/loadavg: 3.08 2.61 1.94 4/254 198954
/proc/meminfo: memFree=117312244/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=50436 memory=40448 CPUtime=399.52 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 7401 0 0 0 39726 226 0 0 20 0 1 0 20701161 51646464 10112 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 164 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 12609 10112 1155 1006 0 11370 0
Current children cumulated CPU time: 399.52 s
Current children cumulated vsize: 50436 KiB
Current children cumulated memory: 40448 KiB
[startup+462.3 s]
/proc/loadavg: 3.13 2.71 2.02 4/254 198964
/proc/meminfo: memFree=116671648/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=51168 memory=41176 CPUtime=459.17 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 7591 0 0 0 45658 259 0 0 20 0 1 0 20701161 52396032 10294 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 184 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 12792 10294 1155 1006 0 11553 0
Current children cumulated CPU time: 459.17 s
################
# More data... #
################
Current children cumulated memory: 58364 KiB
[startup+2922.3 s]
/proc/loadavg: 3.08 3.09 3.04 4/252 200042
/proc/meminfo: memFree=91445056/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=64160 memory=58364 CPUtime=2899.35 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 11634 0 0 0 288372 1563 0 0 20 0 1 0 20701161 65699840 14591 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1553 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16040 14591 1155 1006 0 14801 0
Current children cumulated CPU time: 2899.35 s
Current children cumulated vsize: 64160 KiB
Current children cumulated memory: 58364 KiB
[startup+2982.3 s]
/proc/loadavg: 3.07 3.09 3.04 4/252 200056
/proc/meminfo: memFree=90889692/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=64160 memory=58440 CPUtime=2958.97 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 11675 0 0 0 294304 1593 0 0 20 0 1 0 20701161 65699840 14610 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1577 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16040 14610 1155 1006 0 14801 0
Current children cumulated CPU time: 2958.97 s
Current children cumulated vsize: 64160 KiB
Current children cumulated memory: 58440 KiB
[startup+3042.3 s]
/proc/loadavg: 3.12 3.10 3.05 4/250 200066
/proc/meminfo: memFree=90367032/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=64772 memory=58900 CPUtime=3018.62 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 11855 0 0 0 300239 1623 0 0 20 0 1 0 20701161 66326528 14725 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1598 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16193 14725 1155 1006 0 14954 0
Current children cumulated CPU time: 3018.62 s
Current children cumulated vsize: 64772 KiB
Current children cumulated memory: 58900 KiB
[startup+3102.3 s]
/proc/loadavg: 3.10 3.09 3.05 4/251 200077
/proc/meminfo: memFree=89859408/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=65152 memory=59336 CPUtime=3078.1 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 11958 0 0 0 306157 1653 0 0 20 0 1 0 20701161 66715648 14834 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1632 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16288 14834 1155 1006 0 15049 0
Current children cumulated CPU time: 3078.1 s
Current children cumulated vsize: 65152 KiB
Current children cumulated memory: 59336 KiB
[startup+3162.3 s]
/proc/loadavg: 3.14 3.10 3.05 4/251 200088
/proc/meminfo: memFree=89366744/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=65444 memory=59508 CPUtime=3135.72 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 12023 0 0 0 311890 1682 0 0 20 0 1 0 20701161 67014656 14877 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1857 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16361 14877 1155 1006 0 15122 0
Current children cumulated CPU time: 3135.72 s
Current children cumulated vsize: 65444 KiB
Current children cumulated memory: 59508 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.10 3.05 4/250 200098
/proc/meminfo: memFree=88819012/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=65756 memory=59944 CPUtime=3194.88 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 12125 0 0 0 317773 1715 0 0 20 0 1 0 20701161 67334144 14986 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1925 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16439 14986 1155 1006 0 15200 0
Current children cumulated CPU time: 3194.88 s
Current children cumulated vsize: 65756 KiB
Current children cumulated memory: 59944 KiB
[startup+3282.3 s]
/proc/loadavg: 3.08 3.09 3.05 4/248 200108
/proc/meminfo: memFree=88223332/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=66424 memory=60372 CPUtime=3254.06 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 12316 0 0 0 323659 1747 0 0 20 0 1 0 20701161 68018176 15093 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1992 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16606 15093 1155 1006 0 15367 0
Current children cumulated CPU time: 3254.06 s
Current children cumulated vsize: 66424 KiB
Current children cumulated memory: 60372 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.10 3.06 4/249 200119
/proc/meminfo: memFree=87624064/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=66424 memory=60620 CPUtime=3313.32 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 12345 0 0 0 329556 1776 0 0 20 0 1 0 20701161 68018176 15155 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2052 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16606 15155 1155 1006 0 15367 0
Current children cumulated CPU time: 3313.32 s
Current children cumulated vsize: 66424 KiB
Current children cumulated memory: 60620 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.10 3.06 4/249 200131
/proc/meminfo: memFree=87054776/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=66424 memory=60620 CPUtime=3372.41 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 12368 0 0 0 335432 1809 0 0 20 0 1 0 20701161 68018176 15155 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2126 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16606 15155 1155 1006 0 15367 0
Current children cumulated CPU time: 3372.41 s
Current children cumulated vsize: 66424 KiB
Current children cumulated memory: 60620 KiB
[startup+3462.3 s]
/proc/loadavg: 3.15 3.11 3.06 4/249 200141
/proc/meminfo: memFree=86464996/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=66424 memory=60632 CPUtime=3431.62 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 12392 0 0 0 341320 1842 0 0 20 0 1 0 20701161 68018176 15158 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 6 0 0 2183 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16606 15158 1155 1006 0 15367 0
Current children cumulated CPU time: 3431.62 s
Current children cumulated vsize: 66424 KiB
Current children cumulated memory: 60632 KiB
[startup+3522.3 s]
/proc/loadavg: 3.16 3.12 3.07 4/251 200155
/proc/meminfo: memFree=85872500/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=66424 memory=60632 CPUtime=3490.71 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 12415 0 0 0 347198 1873 0 0 20 0 1 0 20701161 68018176 15158 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2246 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16606 15158 1155 1006 0 15367 0
Current children cumulated CPU time: 3490.71 s
Current children cumulated vsize: 66424 KiB
Current children cumulated memory: 60632 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.11 3.07 4/251 200167
/proc/meminfo: memFree=85285764/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=66424 memory=60632 CPUtime=3549.98 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 12438 0 0 0 353093 1905 0 0 20 0 1 0 20701161 68018176 15158 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2303 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16606 15158 1155 1006 0 15367 0
Current children cumulated CPU time: 3549.98 s
Current children cumulated vsize: 66424 KiB
Current children cumulated memory: 60632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3632.8 s]
/proc/loadavg: 3.08 3.10 3.07 3/245 200208
/proc/meminfo: memFree=91797412/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=66424 memory=60632 CPUtime=3600.05 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) R 198277 198285 198221 0 -1 4194304 12460 0 0 0 358074 1931 0 0 20 0 1 0 20701161 68018176 15158 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2334 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 16606 15158 1155 1006 0 15367 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 66424 KiB
Current children cumulated memory: 60632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3632.95 s]
# the end of solver process 198285 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3580.74 s, system=19.3292 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3632.9 s]
/proc/loadavg: 3.08 3.10 3.07 3/245 200208
/proc/meminfo: memFree=91797412/131524600 swapFree=131060368/131071996
[pid=198285] ppid=198277 vsize=47228 memory=42784 CPUtime=3600.06 cores=4,6
/proc/198285/stat : 198285 (Exact_veripb2) D 198277 198285 198221 0 -1 4194304 12461 0 0 0 358074 1932 0 0 20 0 1 0 20701161 48361472 10696 134679101440 4194304 8311665 140728498856032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2348 0 0 9173656 9252184 33488896 140728498860877 140728498861156 140728498861156 140728498868167 0
/proc/198285/statm: 11807 10696 1170 1006 0 10568 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 47228 KiB
Current children cumulated memory: 42784 KiB
Child status: 10
Real time (s): 3632.95
CPU time (s): 3600.07
CPU user time (s): 3580.74
CPU system time (s): 19.3292
CPU usage (%): 99.0952
Max. virtual memory (cumulated for all children) (KiB): 66424
Max. memory (cumulated for all children) (KiB): 60632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.74
system time used= 19.3292
maximum resident set size= 60632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12462
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25620464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2120
involuntary context switches= 5451
# summary of solver processes directly reported to runsolver:
# pid: 198285
# total CPU time (s): 3600.07
# total CPU user time (s): 3580.74
# total CPU system time (s): 19.3292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17838 second user time and 16.1119 second system time
The end
Begin job on nodeC014 at 2024-07-24 19:22:12 IDJOB=4449849 IDBENCH=176148 IDSOLVER=3081 FILE ID=nodeC014/4449849-1721841732 RUNJOBID= nodeC014-1721841732-198232 SLURM_JOB_ID= 7891570 Free space on /tmp= 890036 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=11.opb COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449849-1721841732/watcher-4449849-1721841732 -o /tmp/evaluation-result-4449849-1721841732/solver-4449849-1721841732 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721841732-198232 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4449849-1721841732 --seed=525067914 HOME/instance-4449849-1721841732.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9b5c30834c5e817deb28aeb7d8484ce1 RANDOM SEED=525067914 nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3771.822 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3702.047 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3601.592 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3774.861 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3870.170 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3831.176 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3625.314 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3696.893 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 121930844 kB MemAvailable: 129777752 kB Buffers: 264124 kB Cached: 8362200 kB SwapCached: 92 kB Active: 562556 kB Inactive: 8337832 kB Active(anon): 2156 kB Inactive(anon): 325312 kB Active(file): 560400 kB Inactive(file): 8012520 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060368 kB Dirty: 26456 kB Writeback: 12 kB AnonPages: 273232 kB Mapped: 91280 kB Shmem: 52988 kB KReclaimable: 227620 kB Slab: 350888 kB SReclaimable: 227620 kB SUnreclaim: 123268 kB KernelStack: 4000 kB PageTables: 9756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 466872 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12800 kB HardwareCorrupted: 0 kB AnonHugePages: 159744 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 387796 kB DirectMap2M: 43425792 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890024 MiB End job on nodeC014 at 2024-07-24 20:22:46