Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | SAT (TO) | 5 | 3600.08 | 3609.01 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=9.opb |
| MD5SUM | 5bbd9c37a994af6c8eea19ef18cfb445 |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| 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 | 427 |
| Total number of constraints | 17423 |
| Number of constraints which are clauses | 17409 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 14 |
| 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 | 14 |
| 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 | 16 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.14 o 9 0.19/0.21 o 8 0.19/0.21 o 7 0.19/0.21 o 6 0.19/0.21 o 5 3600.07/3609.00 c Program interrupted by user. 3600.07/3609.00 s SATISFIABLE 3600.07/3609.00 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 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427
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: 63931 MiB (59841 MiB free)
memory of node 1: 64510 MiB (60573 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449794-1721399512/watcher-4449794-1721399512 -o /tmp/evaluation-result-4449794-1721399512/solver-4449794-1721399512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721399516-1042464 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1864976542 HOME/instance-4449794-1721399512.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1042619, runsolver pid=1042616
[startup+0.100914 s]*
/proc/loadavg: 0.72 0.24 0.13 6/259 1042620
/proc/meminfo: memFree=123290176/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=39556 memory=17952 CPUtime=0.09 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 4566 0 0 0 9 0 0 0 20 0 1 0 192116585 40505344 4488 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 9889 4488 1044 1005 0 8652 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39556 KiB
Current children cumulated memory: 17952 KiB
[startup+0.205443 s]*
/proc/loadavg: 0.72 0.24 0.13 5/259 1042620
/proc/meminfo: memFree=123289900/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=39732 memory=18980 CPUtime=0.19 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 4725 0 0 0 19 0 0 0 20 0 1 0 192116585 40685568 4745 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 9933 4745 1108 1005 0 8696 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39732 KiB
Current children cumulated memory: 18980 KiB
[startup+0.305442 s]*
/proc/loadavg: 0.72 0.24 0.13 5/259 1042620
/proc/meminfo: memFree=123287236/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=39732 memory=21292 CPUtime=0.29 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 4781 0 0 0 29 0 0 0 20 0 1 0 192116585 40685568 5323 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 9933 5323 1108 1005 0 8696 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39732 KiB
Current children cumulated memory: 21292 KiB
[startup+0.700153 s]
/proc/loadavg: 0.72 0.24 0.13 5/259 1042620
/proc/meminfo: memFree=123286088/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=40652 memory=22344 CPUtime=0.68 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 5062 0 0 0 68 0 0 0 20 0 1 0 192116585 41627648 5586 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 10163 5586 1108 1005 0 8926 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40652 KiB
Current children cumulated memory: 22344 KiB
[startup+1.50019 s]
/proc/loadavg: 0.72 0.24 0.13 5/259 1042620
/proc/meminfo: memFree=123282108/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=42220 memory=25972 CPUtime=1.49 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 5458 0 0 0 148 1 0 0 20 0 1 0 192116585 43233280 6493 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 10555 6493 1108 1005 0 9318 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42220 KiB
Current children cumulated memory: 25972 KiB
[startup+3.10534 s]
/proc/loadavg: 0.72 0.24 0.13 5/259 1042622
/proc/meminfo: memFree=123276896/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=43108 memory=26840 CPUtime=3.08 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 5716 0 0 0 307 1 0 0 20 0 1 0 192116585 44142592 6710 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 10777 6710 1140 1005 0 9540 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 26840 KiB
[startup+6.30017 s]
/proc/loadavg: 0.98 0.30 0.15 5/259 1042622
/proc/meminfo: memFree=123275300/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=43648 memory=27360 CPUtime=6.27 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 5853 0 0 0 625 2 0 0 20 0 1 0 192116585 44695552 6840 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 10912 6840 1140 1005 0 9675 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43648 KiB
Current children cumulated memory: 27360 KiB
[startup+12.7002 s]
/proc/loadavg: 1.22 0.36 0.18 5/259 1042623
/proc/meminfo: memFree=123267184/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=44676 memory=30708 CPUtime=12.66 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 6127 0 0 0 1263 3 0 0 20 0 1 0 192116585 45748224 7677 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 11169 7677 1140 1005 0 9932 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 44676 KiB
Current children cumulated memory: 30708 KiB
[startup+25.5002 s]
/proc/loadavg: 1.91 0.56 0.24 5/259 1042625
/proc/meminfo: memFree=123252512/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=46368 memory=34312 CPUtime=25.42 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 6554 0 0 0 2538 4 0 0 20 0 1 0 192116585 47480832 8578 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 11592 8578 1140 1005 0 10355 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 46368 KiB
Current children cumulated memory: 34312 KiB
[startup+51.1053 s]
/proc/loadavg: 2.62 0.84 0.34 5/259 1042628
/proc/meminfo: memFree=123241476/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=48684 memory=36660 CPUtime=50.96 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 7134 0 0 0 5089 7 0 0 20 0 1 0 192116585 49852416 9165 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 12171 9165 1140 1005 0 10934 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 48684 KiB
Current children cumulated memory: 36660 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 1.37 0.55 5/258 1042639
/proc/meminfo: memFree=123228836/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=51160 memory=39004 CPUtime=102.04 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 7763 0 0 0 10189 15 0 0 20 0 1 0 192116585 52387840 9751 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 12790 9751 1140 1005 0 11553 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 51160 KiB
Current children cumulated memory: 39004 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 1.88 0.78 5/258 1042650
/proc/meminfo: memFree=123214036/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=53324 memory=43376 CPUtime=161.89 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 8313 0 0 0 16165 24 0 0 20 0 1 0 192116585 54603776 10844 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 13331 10844 1140 1005 0 12094 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 53324 KiB
Current children cumulated memory: 43376 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.29 0.99 5/255 1042661
/proc/meminfo: memFree=123204204/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=55248 memory=45208 CPUtime=221.74 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 8798 0 0 0 22140 34 0 0 20 0 1 0 192116585 56573952 11302 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 13812 11302 1140 1005 0 12575 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 55248 KiB
Current children cumulated memory: 45208 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.63 1.19 5/255 1042672
/proc/meminfo: memFree=123196656/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=56008 memory=45952 CPUtime=281.59 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 9018 0 0 0 28114 45 0 0 20 0 1 0 192116585 57352192 11488 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 14002 11488 1140 1005 0 12765 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 56008 KiB
Current children cumulated memory: 45952 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 2.88 1.37 5/255 1042683
/proc/meminfo: memFree=123190804/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=56768 memory=48988 CPUtime=341.44 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 9225 0 0 0 34087 57 0 0 20 0 1 0 192116585 58130432 12247 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 14192 12247 1140 1005 0 12955 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 56768 KiB
Current children cumulated memory: 48988 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.10 1.54 5/255 1042693
/proc/meminfo: memFree=123181452/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=58320 memory=50504 CPUtime=401.29 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 9648 0 0 0 40064 65 0 0 20 0 1 0 192116585 59719680 12626 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 14580 12626 1140 1005 0 13343 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 58320 KiB
Current children cumulated memory: 50504 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.30 1.71 5/255 1042704
/proc/meminfo: memFree=123171876/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=59020 memory=51252 CPUtime=461.15 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 9821 0 0 0 46041 74 0 0 20 0 1 0 192116585 60436480 12813 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 14755 12813 1140 1005 0 13518 0
################
# More data... #
################
Current children cumulated memory: 64048 KiB
[startup+2862.3 s]
/proc/loadavg: 4.25 4.15 4.00 5/258 1043723
/proc/meminfo: memFree=123077708/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=71940 memory=64180 CPUtime=2855.16 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 13936 0 0 0 285065 451 0 0 20 0 1 0 192116585 73666560 16045 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 17985 16045 1140 1005 0 16748 0
Current children cumulated CPU time: 2855.16 s
Current children cumulated vsize: 71940 KiB
Current children cumulated memory: 64180 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.15 4.00 5/259 1043737
/proc/meminfo: memFree=123076344/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=71940 memory=64180 CPUtime=2915.02 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 13962 0 0 0 291042 460 0 0 20 0 1 0 192116585 73666560 16045 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 17985 16045 1140 1005 0 16748 0
Current children cumulated CPU time: 2915.02 s
Current children cumulated vsize: 71940 KiB
Current children cumulated memory: 64180 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.00 5/258 1043748
/proc/meminfo: memFree=123075216/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=72232 memory=64472 CPUtime=2974.88 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 14058 0 0 0 297019 469 0 0 20 0 1 0 192116585 73965568 16118 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 18058 16118 1140 1005 0 16821 0
Current children cumulated CPU time: 2974.88 s
Current children cumulated vsize: 72232 KiB
Current children cumulated memory: 64472 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.01 5/257 1043758
/proc/meminfo: memFree=123074044/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=72232 memory=64472 CPUtime=3034.73 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 14083 0 0 0 302994 479 0 0 20 0 1 0 192116585 73965568 16118 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 18058 16118 1140 1005 0 16821 0
Current children cumulated CPU time: 3034.73 s
Current children cumulated vsize: 72232 KiB
Current children cumulated memory: 64472 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.01 5/257 1043769
/proc/meminfo: memFree=123072328/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=72376 memory=64548 CPUtime=3094.6 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 14125 0 0 0 308971 489 0 0 20 0 1 0 192116585 74113024 16137 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 18094 16137 1140 1005 0 16857 0
Current children cumulated CPU time: 3094.6 s
Current children cumulated vsize: 72376 KiB
Current children cumulated memory: 64548 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.13 4.02 5/257 1043780
/proc/meminfo: memFree=123068284/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=72668 memory=64708 CPUtime=3154.45 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 14222 0 0 0 314946 499 0 0 20 0 1 0 192116585 74412032 16177 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 18167 16177 1140 1005 0 16930 0
Current children cumulated CPU time: 3154.45 s
Current children cumulated vsize: 72668 KiB
Current children cumulated memory: 64708 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.02 5/256 1044175
/proc/meminfo: memFree=123064896/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=72924 memory=65140 CPUtime=3214.3 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 14331 0 0 0 320921 509 0 0 20 0 1 0 192116585 74674176 16285 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 18231 16285 1140 1005 0 16994 0
Current children cumulated CPU time: 3214.3 s
Current children cumulated vsize: 72924 KiB
Current children cumulated memory: 65140 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.02 5/256 1044185
/proc/meminfo: memFree=123063420/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=73140 memory=65380 CPUtime=3274.16 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 14389 0 0 0 326896 520 0 0 20 0 1 0 192116585 74895360 16345 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 18285 16345 1140 1005 0 17048 0
Current children cumulated CPU time: 3274.16 s
Current children cumulated vsize: 73140 KiB
Current children cumulated memory: 65380 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.03 5/257 1044197
/proc/meminfo: memFree=123061960/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=73140 memory=65380 CPUtime=3334.02 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 14432 0 0 0 332871 531 0 0 20 0 1 0 192116585 74895360 16345 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 18285 16345 1140 1005 0 17048 0
Current children cumulated CPU time: 3334.02 s
Current children cumulated vsize: 73140 KiB
Current children cumulated memory: 65380 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.03 5/259 1044377
/proc/meminfo: memFree=123060180/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=73140 memory=65452 CPUtime=3393.87 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 14457 0 0 0 338847 540 0 0 20 0 1 0 192116585 74895360 16363 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 18285 16363 1140 1005 0 17048 0
Current children cumulated CPU time: 3393.87 s
Current children cumulated vsize: 73140 KiB
Current children cumulated memory: 65452 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.03 5/259 1044388
/proc/meminfo: memFree=123056828/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=73348 memory=65628 CPUtime=3453.72 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 14537 0 0 0 344822 550 0 0 20 0 1 0 192116585 75108352 16407 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 18337 16407 1140 1005 0 17100 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 73348 KiB
Current children cumulated memory: 65628 KiB
[startup+3522.3 s]
/proc/loadavg: 4.43 4.20 4.06 5/260 1044455
/proc/meminfo: memFree=123054836/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=73348 memory=65628 CPUtime=3513.58 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 14561 0 0 0 350798 560 0 0 20 0 1 0 192116585 75108352 16407 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 18337 16407 1140 1005 0 17100 0
Current children cumulated CPU time: 3513.58 s
Current children cumulated vsize: 73348 KiB
Current children cumulated memory: 65628 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.17 4.06 5/260 1044467
/proc/meminfo: memFree=123051968/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=73568 memory=65688 CPUtime=3573.43 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 14623 0 0 0 356774 569 0 0 20 0 1 0 192116585 75333632 16422 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 18392 16422 1140 1005 0 17155 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 73568 KiB
Current children cumulated memory: 65688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.13 4.16 4.06 5/260 1044654
/proc/meminfo: memFree=123321180/131524600 swapFree=131071996/131071996
[pid=1042619] ppid=1042616 vsize=73704 memory=65852 CPUtime=3600.07 cores=4,6
/proc/1042619/stat : 1042619 (Exact) R 1042616 1042619 1042453 0 -1 4194304 14657 0 0 0 359433 574 0 0 20 0 1 0 192116585 75472896 16463 134679101440 4194304 8309489 140734501608832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 39800832 140734501614524 140734501614694 140734501614694 140734501621711 0
/proc/1042619/statm: 18426 16463 1140 1005 0 17189 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 73704 KiB
Current children cumulated memory: 65852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 1042619 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3594.33 s, system=5.74965 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.01
CPU time (s): 3600.08
CPU user time (s): 3594.33
CPU system time (s): 5.74965
CPU usage (%): 99.7527
Max. virtual memory (cumulated for all children) (KiB): 73704
Max. memory (cumulated for all children) (KiB): 65852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.33
system time used= 5.74965
maximum resident set size= 65852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14659
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= 22
involuntary context switches= 1910
# summary of solver processes directly reported to runsolver:
# pid: 1042619
# total CPU time (s): 3600.08
# total CPU user time (s): 3594.33
# total CPU system time (s): 5.74965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47791 second user time and 15.3407 second system time
The end
Begin job on nodeC025 at 2024-07-19 16:32:05 IDJOB=4449794 IDBENCH=176142 IDSOLVER=3060 FILE ID=nodeC025/4449794-1721399512 RUNJOBID= nodeC025-1721399516-1042464 SLURM_JOB_ID= 7545448 Free space on /tmp= 890004 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=9.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449794-1721399512/watcher-4449794-1721399512 -o /tmp/evaluation-result-4449794-1721399512/solver-4449794-1721399512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721399516-1042464 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1864976542 HOME/instance-4449794-1721399512.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5bbd9c37a994af6c8eea19ef18cfb445 RANDOM SEED=1864976542 nodeC025.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 : 3662.369 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.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 : 0xb00002a cpu MHz : 3691.952 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 : 7007.09 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 : 3603.969 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.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 : 0xb00002a cpu MHz : 3600.007 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 : 7007.09 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 : 3664.115 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.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 : 0xb00002a cpu MHz : 3692.151 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 : 7007.09 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 : 3662.014 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.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 : 0xb00002a cpu MHz : 3599.767 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 : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123304976 kB MemAvailable: 129389136 kB Buffers: 546300 kB Cached: 6307940 kB SwapCached: 0 kB Active: 1129608 kB Inactive: 6311276 kB Active(anon): 1536 kB Inactive(anon): 630688 kB Active(file): 1128072 kB Inactive(file): 5680588 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21468 kB Writeback: 0 kB AnonPages: 584040 kB Mapped: 120124 kB Shmem: 45912 kB KReclaimable: 230296 kB Slab: 359312 kB SReclaimable: 230296 kB SUnreclaim: 129016 kB KernelStack: 4192 kB PageTables: 10364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 950100 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 72320 kB HardwareCorrupted: 0 kB AnonHugePages: 352256 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: 318164 kB DirectMap2M: 43495424 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890004 MiB End job on nodeC025 at 2024-07-19 17:32:14