Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCom-S 2024-07-10 | SAT (TO) | 18 | 3600.04 | 3612.2 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb |
| MD5SUM | 06b87d46bf38d4b028e9a0f41f22c2e8 |
| 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 | 18 |
| Best CPU time to get the best result obtained on this benchmark | 49.4743 |
| 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 | 650 |
| Total number of constraints | 72640 |
| Number of constraints which are clauses | 72620 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 20 |
| 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 | 20 |
| Number of bits of the sum of numbers in the objective function | 5 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 22 |
| 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.50/0.51 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.50/0.51 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.50/0.51 o 19 0.50/0.51 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.50/0.55 c Starting SCIP solver (with time-limit = 1800s) ... 1794.32/1800.56 c SCIP timeout with lower and upper bounds: [0, 18] 1794.32/1800.56 o 18 3600.03/3612.20 3600.03/3612.20 v x191 x192 x193 x194 -x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 -x206 x207 x208 x209 x210 -x211 -x231 -x251 -x271 -x291 -x311 -x331 -x351 -x371 -x391 -x411 -x431 -x451 -x471 -x491 -x511 -x531 -x551 -x571 -x591 -x212 -x232 -x252 -x272 -x292 -x312 -x332 -x352 -x372 -x392 -x412 -x432 -x452 -x472 -x492 -x512 -x532 -x552 -x572 -x592 -x213 -x233 -x253 -x273 -x293 -x313 -x333 -x353 -x373 -x393 -x413 -x433 -x453 -x473 -x493 -x513 -x533 -x553 -x573 -x593 -x214 -x234 -x254 -x274 -x294 -x314 -x334 -x354 -x374 -x394 -x414 -x434 -x454 -x474 -x494 -x514 -x534 -x554 -x574 -x594 -x215 -x235 -x255 -x275 x295 -x315 -x335 -x355 x375 -x395 -x415 -x435 -x455 -x475 -x495 -x515 -x535 x555 -x575 -x595 -x216 -x236 -x256 -x276 -x296 -x316 -x336 -x356 -x376 -x396 -x416 -x436 -x456 -x476 -x496 -x516 -x536 -x556 -x576 -x596 -x217 -x237 -x257 -x277 -x297 -x317 -x337 -x357 -x377 -x397 -x417 -x437 -x457 -x477 -x497 -x517 -x537 -x557 -x577 -x597 -x218 -x238 -x258 -x278 -x298 -x318 -x338 -x358 -x378 -x398 -x418 -x438 -x458 -x478 -x498 -x518 -x538 -x558 -x578 -x598 -x219 -x239 -x259 -x279 -x299 -x319 -x339 -x359 -x379 -x399 -x419 -x439 -x459 -x479 -x499 -x519 -x539 -x559 -x579 -x599 -x220 -x240 -x260 -x280 -x300 -x320 -x340 -x360 -x380 -x400 -x420 -x440 -x460 -x480 -x500 -x520 -x540 -x560 -x580 -x600 -x221 -x241 -x261 -x281 -x301 -x321 -x341 -x361 -x381 -x401 -x421 -x441 -x461 -x481 -x501 -x521 -x541 -x561 -x581 -x601 -x222 -x242 -x262 -x282 -x302 -x322 -x342 -x362 -x382 -x402 -x422 -x442 -x462 -x482 -x502 -x522 -x542 -x562 -x582 -x602 -x223 -x243 -x263 -x283 -x303 -x323 -x343 -x363 -x383 -x403 -x423 -x443 -x463 -x483 -x503 -x523 -x543 -x563 -x583 -x603 -x224 -x244 -x264 -x284 -x304 -x324 -x344 -x364 -x384 -x404 -x424 -x444 -x464 -x484 -x504 -x524 -x544 -x564 -x584 -x604 -x225 -x245 -x265 -x285 -x305 -x325 -x345 -x365 -x385 -x405 -x425 -x445 -x465 -x485 -x505 -x525 -x545 -x565 -x585 -x605 -x226 -x246 -x266 -x286 -x306 -x326 -x346 -x366 -x386 -x406 x426 -x446 -x466 -x486 -x506 -x526 -x546 -x566 -x586 -x606 -x227 -x247 -x267 -x287 -x307 -x327 -x347 -x367 -x387 -x407 -x427 -x447 -x467 -x487 -x507 -x527 -x547 -x567 -x587 -x607 -x228 -x248 -x268 -x288 -x308 -x328 -x348 -x368 -x388 -x408 -x428 -x448 -x468 -x488 -x508 -x528 -x548 -x568 -x588 -x608 -x229 -x249 -x269 -x289 -x309 -x329 -x349 -x369 -x389 -x409 -x429 -x449 -x469 -x489 -x509 -x529 -x549 -x569 -x589 -x609 -x230 -x250 -x270 -x290 -x310 -x330 -x350 -x370 -x390 -x410 -x430 -x450 -x470 -x490 -x510 -x530 -x550 -x570 -x590 -x610 -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 -x611 x612 -x613 x614 x615 -x616 -x617 x618 x619 -x620 x621 -x622 x623 -x624 -x625 x626 x627 -x628 x629 -x630 -x631 x632 x633 -x634 x635 -x636 -x637 x638 x639 -x640 x641 -x642 x643 -x644 x645 -x646 -x647 x648 x649 -x650 3600.03/3612.20 s SATISFIABLE
OK 18
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 (60861 MiB free)
memory of node 1: 64510 MiB (61504 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449741-1721399503/watcher-4449741-1721399503 -o /tmp/evaluation-result-4449741-1721399503/solver-4449741-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721399515-1034297 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4449741-1721399503.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1034345, runsolver pid=1034342
[startup+0.100334 s]*
/proc/loadavg: 0.10 0.09 0.09 4/255 1034346
/proc/meminfo: memFree=125258252/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=40008 memory=21412 CPUtime=0.09 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 4752 0 0 0 9 0 0 0 20 0 1 0 192120059 40968192 5353 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 10002 5353 750 2417 0 7104 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40008 KiB
Current children cumulated memory: 21412 KiB
[startup+0.205511 s]*
/proc/loadavg: 0.10 0.09 0.09 4/255 1034346
/proc/meminfo: memFree=125232672/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=58672 memory=40216 CPUtime=0.19 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 9429 0 0 0 19 0 0 0 20 0 1 0 192120059 60080128 10054 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 14668 10054 750 2417 0 11770 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58672 KiB
Current children cumulated memory: 40216 KiB
[startup+0.305371 s]*
/proc/loadavg: 0.10 0.09 0.09 4/255 1034346
/proc/meminfo: memFree=125214368/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=76388 memory=57904 CPUtime=0.3 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 13822 0 0 0 29 1 0 0 20 0 1 0 192120059 78221312 14476 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 19097 14476 750 2417 0 16199 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 76388 KiB
Current children cumulated memory: 57904 KiB
[startup+0.700222 s]
/proc/loadavg: 0.10 0.09 0.09 5/261 1034361
/proc/meminfo: memFree=125174404/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=185148 memory=173704 CPUtime=0.68 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 42172 0 0 0 63 5 0 0 20 0 1 0 192120059 189591552 43426 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 46287 43426 2350 2417 0 43389 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 185148 KiB
Current children cumulated memory: 173704 KiB
[startup+1.50023 s]
/proc/loadavg: 0.10 0.09 0.09 5/261 1034361
/proc/meminfo: memFree=124901108/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=301888 memory=282092 CPUtime=1.49 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 58627 0 0 0 140 9 0 0 20 0 1 0 192120059 309133312 70523 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 75472 70523 2414 2417 0 72574 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 301888 KiB
Current children cumulated memory: 282092 KiB
[startup+3.10533 s]
/proc/loadavg: 0.10 0.09 0.09 5/261 1034407
/proc/meminfo: memFree=124460220/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=457244 memory=432388 CPUtime=3.08 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 95808 0 0 0 294 14 0 0 20 0 1 0 192120059 468217856 108097 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 114311 108097 2510 2417 0 111413 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 457244 KiB
Current children cumulated memory: 432388 KiB
[startup+6.30015 s]
/proc/loadavg: 0.41 0.15 0.11 5/261 1034407
/proc/meminfo: memFree=124438720/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=457244 memory=432388 CPUtime=6.27 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 95811 0 0 0 612 15 0 0 20 0 1 0 192120059 468217856 108097 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 114311 108097 2510 2417 0 111413 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 457244 KiB
Current children cumulated memory: 432388 KiB
[startup+12.7002 s]
/proc/loadavg: 0.70 0.22 0.13 5/261 1034409
/proc/meminfo: memFree=124404512/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=457244 memory=432388 CPUtime=12.65 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 95815 0 0 0 1250 15 0 0 20 0 1 0 192120059 468217856 108097 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 114311 108097 2510 2417 0 111413 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 457244 KiB
Current children cumulated memory: 432388 KiB
[startup+25.5002 s]
/proc/loadavg: 1.43 0.40 0.19 5/261 1034411
/proc/meminfo: memFree=124289276/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=509372 memory=436904 CPUtime=25.41 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 96014 0 0 0 2525 16 0 0 20 0 1 0 192120059 521596928 109226 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 127343 109226 2526 2417 0 124445 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 509372 KiB
Current children cumulated memory: 436904 KiB
[startup+51.1056 s]
/proc/loadavg: 2.31 0.69 0.30 5/261 1034416
/proc/meminfo: memFree=124101628/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=598164 memory=528188 CPUtime=50.92 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 131671 0 0 0 5071 21 0 0 20 0 1 0 192120059 612519936 132047 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 149541 132047 2542 2417 0 146643 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 598164 KiB
Current children cumulated memory: 528188 KiB
[startup+102.3 s]
/proc/loadavg: 3.38 1.24 0.50 5/261 1034425
/proc/meminfo: memFree=123901744/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=667888 memory=590624 CPUtime=101.93 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 170813 0 0 0 10166 27 0 0 20 0 1 0 192120059 683917312 147656 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 166972 147656 2542 2417 0 164074 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 667888 KiB
Current children cumulated memory: 590624 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.77 0.74 5/259 1034436
/proc/meminfo: memFree=123724544/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=695188 memory=618956 CPUtime=161.72 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 198463 0 0 0 16139 33 0 0 20 0 1 0 192120059 711872512 154739 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 173797 154739 2542 2417 0 170899 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 695188 KiB
Current children cumulated memory: 618956 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.21 0.95 5/259 1034491
/proc/meminfo: memFree=123634712/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=814204 memory=650800 CPUtime=221.51 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 208864 0 0 0 22116 35 0 0 20 0 1 0 192120059 833744896 162700 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 203551 162700 2542 2417 0 200653 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 814204 KiB
Current children cumulated memory: 650800 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.57 1.16 5/256 1034505
/proc/meminfo: memFree=123477336/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=873628 memory=681840 CPUtime=281.3 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 220978 0 0 0 28093 37 0 0 20 0 1 0 192120059 894595072 170460 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 218407 170460 2542 2417 0 215509 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 873628 KiB
Current children cumulated memory: 681840 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 2.85 1.34 5/256 1034516
/proc/meminfo: memFree=123276608/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=927312 memory=721892 CPUtime=341.09 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 222958 0 0 0 34071 38 0 0 20 0 1 0 192120059 949567488 180473 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 231828 180473 2542 2417 0 228930 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 927312 KiB
Current children cumulated memory: 721892 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.07 1.52 5/256 1034526
/proc/meminfo: memFree=123044860/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=941088 memory=744656 CPUtime=400.89 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 237914 0 0 0 40048 41 0 0 20 0 1 0 192120059 963674112 186164 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 235272 186164 2542 2417 0 232374 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 941088 KiB
Current children cumulated memory: 744656 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 3.29 1.69 5/256 1034536
/proc/meminfo: memFree=122887864/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=975048 memory=774668 CPUtime=460.7 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 248614 0 0 0 46027 43 0 0 20 0 1 0 192120059 998449152 193667 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 243762 193667 2542 2417 0 240864 0
################
# More data... #
################
Current children cumulated memory: 1338660 KiB
[startup+2862.3 s]
/proc/loadavg: 3.12 3.15 3.27 4/247 1035567
/proc/meminfo: memFree=122235736/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1464512 memory=1325260 CPUtime=2852.6 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 541276 0 0 0 285105 155 0 0 20 0 1 0 192120059 1499660288 331315 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 366128 331315 2542 2417 0 363230 0
Current children cumulated CPU time: 2852.6 s
Current children cumulated vsize: 1464512 KiB
Current children cumulated memory: 1325260 KiB
[startup+2922.3 s]
/proc/loadavg: 3.10 3.14 3.25 4/247 1035577
/proc/meminfo: memFree=122164332/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1596772 memory=1365904 CPUtime=2912.41 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 542030 0 0 0 291085 156 0 0 20 0 1 0 192120059 1635094528 341476 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 399193 341476 2542 2417 0 396295 0
Current children cumulated CPU time: 2912.41 s
Current children cumulated vsize: 1596772 KiB
Current children cumulated memory: 1365904 KiB
[startup+2982.3 s]
/proc/loadavg: 3.07 3.12 3.24 4/249 1035592
/proc/meminfo: memFree=122183660/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1464512 memory=1353172 CPUtime=2972.2 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 542801 0 0 0 297060 160 0 0 20 0 1 0 192120059 1499660288 338293 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 366128 338293 2542 2417 0 363230 0
Current children cumulated CPU time: 2972.2 s
Current children cumulated vsize: 1464512 KiB
Current children cumulated memory: 1353172 KiB
[startup+3042.3 s]
/proc/loadavg: 3.13 3.13 3.24 4/249 1035603
/proc/meminfo: memFree=122169248/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1596772 memory=1379608 CPUtime=3031.98 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 543426 0 0 0 303037 161 0 0 20 0 1 0 192120059 1635094528 344902 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 399193 344902 2542 2417 0 396295 0
Current children cumulated CPU time: 3031.98 s
Current children cumulated vsize: 1596772 KiB
Current children cumulated memory: 1379608 KiB
[startup+3102.3 s]
/proc/loadavg: 3.04 3.10 3.22 4/249 1035613
/proc/meminfo: memFree=122152196/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1596772 memory=1361176 CPUtime=3091.78 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 544684 0 0 0 309011 167 0 0 20 0 1 0 192120059 1635094528 340294 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 399193 340294 2542 2417 0 396295 0
Current children cumulated CPU time: 3091.78 s
Current children cumulated vsize: 1596772 KiB
Current children cumulated memory: 1361176 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.11 3.21 4/249 1035624
/proc/meminfo: memFree=122139812/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1596772 memory=1387800 CPUtime=3151.57 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 544866 0 0 0 314989 168 0 0 20 0 1 0 192120059 1635094528 346950 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 399193 346950 2542 2417 0 396295 0
Current children cumulated CPU time: 3151.57 s
Current children cumulated vsize: 1596772 KiB
Current children cumulated memory: 1387800 KiB
[startup+3222.3 s]
/proc/loadavg: 3.14 3.12 3.21 4/249 1035634
/proc/meminfo: memFree=122135188/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1596772 memory=1367320 CPUtime=3211.37 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 546040 0 0 0 320964 173 0 0 20 0 1 0 192120059 1635094528 341830 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 399193 341830 2542 2417 0 396295 0
Current children cumulated CPU time: 3211.37 s
Current children cumulated vsize: 1596772 KiB
Current children cumulated memory: 1367320 KiB
[startup+3282.3 s]
/proc/loadavg: 3.41 3.19 3.22 4/250 1036029
/proc/meminfo: memFree=122130796/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1596772 memory=1398040 CPUtime=3271.17 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 546223 0 0 0 326943 174 0 0 20 0 1 0 192120059 1635094528 349510 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 399193 349510 2542 2417 0 396295 0
Current children cumulated CPU time: 3271.17 s
Current children cumulated vsize: 1596772 KiB
Current children cumulated memory: 1398040 KiB
[startup+3342.3 s]
/proc/loadavg: 3.25 3.18 3.22 4/250 1036040
/proc/meminfo: memFree=122138360/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1596772 memory=1367132 CPUtime=3330.98 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 546844 0 0 0 332918 180 0 0 20 0 1 0 192120059 1635094528 341783 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 399193 341783 2542 2417 0 396295 0
Current children cumulated CPU time: 3330.98 s
Current children cumulated vsize: 1596772 KiB
Current children cumulated memory: 1367132 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.16 3.21 4/250 1036050
/proc/meminfo: memFree=122084692/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1596772 memory=1395804 CPUtime=3390.79 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 547083 0 0 0 338898 181 0 0 20 0 1 0 192120059 1635094528 348951 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 399193 348951 2542 2417 0 396295 0
Current children cumulated CPU time: 3390.79 s
Current children cumulated vsize: 1596772 KiB
Current children cumulated memory: 1395804 KiB
[startup+3462.3 s]
/proc/loadavg: 3.20 3.18 3.21 4/252 1036230
/proc/meminfo: memFree=122083992/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1596772 memory=1424476 CPUtime=3450.6 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 547396 0 0 0 344878 182 0 0 20 0 1 0 192120059 1635094528 356119 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 399193 356119 2542 2417 0 396295 0
Current children cumulated CPU time: 3450.6 s
Current children cumulated vsize: 1596772 KiB
Current children cumulated memory: 1424476 KiB
[startup+3522.3 s]
/proc/loadavg: 3.07 3.14 3.19 4/252 1036240
/proc/meminfo: memFree=122076204/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1596772 memory=1401464 CPUtime=3510.41 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 547935 0 0 0 350853 188 0 0 20 0 1 0 192120059 1635094528 350366 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 399193 350366 2542 2417 0 396295 0
Current children cumulated CPU time: 3510.41 s
Current children cumulated vsize: 1596772 KiB
Current children cumulated memory: 1401464 KiB
[startup+3582.3 s]
/proc/loadavg: 3.07 3.13 3.18 4/251 1036309
/proc/meminfo: memFree=122074012/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1596772 memory=1432184 CPUtime=3570.22 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 548172 0 0 0 356833 189 0 0 20 0 1 0 192120059 1635094528 358046 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 399193 358046 2542 2417 0 396295 0
Current children cumulated CPU time: 3570.22 s
Current children cumulated vsize: 1596772 KiB
Current children cumulated memory: 1432184 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 3.09 3.13 3.18 3/246 1036321
/proc/meminfo: memFree=123312496/131524600 swapFree=131071996/131071996
[pid=1034345] ppid=1034342 vsize=1596772 memory=1448568 CPUtime=3600.03 cores=0,2
/proc/1034345/stat : 1034345 (CASHWMaxSAT-Dis) R 1034342 1034345 1034287 0 -1 4194304 548351 0 0 0 359813 190 0 0 20 0 1 0 192120059 1635094528 362142 134679101440 4194304 14093885 140727261242976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54050816 140727261246435 140727261246550 140727261246550 140727261253567 0
/proc/1034345/statm: 399193 362142 2542 2417 0 396295 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1596772 KiB
Current children cumulated memory: 1448568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.2 s]
# the end of solver process 1034345 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.13 s, system=1.90853 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3612.2
CPU time (s): 3600.04
CPU user time (s): 3598.13
CPU system time (s): 1.90853
CPU usage (%): 99.6633
Max. virtual memory (cumulated for all children) (KiB): 1940648
Max. memory (cumulated for all children) (KiB): 1658700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.13
system time used= 1.90853
maximum resident set size= 1658700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 548352
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= 151
involuntary context switches= 25439
# summary of solver processes directly reported to runsolver:
# pid: 1034345
# total CPU time (s): 3600.04
# total CPU user time (s): 3598.13
# total CPU system time (s): 1.90853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3992 second user time and 13.0904 second system time
The end
Begin job on nodeC033 at 2024-07-19 16:31:56 IDJOB=4449741 IDBENCH=176097 IDSOLVER=3077 FILE ID=nodeC033/4449741-1721399503 RUNJOBID= nodeC033-1721399515-1034297 SLURM_JOB_ID= 7545456 Free space on /tmp= 890056 MiB SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449741-1721399503/watcher-4449741-1721399503 -o /tmp/evaluation-result-4449741-1721399503/solver-4449741-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721399515-1034297 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4449741-1721399503.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8 RANDOM SEED=1818638320 nodeC033.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 : 3660.168 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.50 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 : 3592.576 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 : 7006.25 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 : 3552.161 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.50 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 : 3651.840 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 : 7006.25 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 : 3663.476 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.50 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 : 2602.098 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 : 7006.25 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 : 3611.588 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.50 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 : 3602.676 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 : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125309564 kB MemAvailable: 129621024 kB Buffers: 563640 kB Cached: 4541452 kB SwapCached: 0 kB Active: 1022624 kB Inactive: 4466528 kB Active(anon): 1440 kB Inactive(anon): 428520 kB Active(file): 1021184 kB Inactive(file): 4038008 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 40236 kB Writeback: 0 kB AnonPages: 381780 kB Mapped: 119552 kB Shmem: 45908 kB KReclaimable: 183832 kB Slab: 306956 kB SReclaimable: 183832 kB SUnreclaim: 123124 kB KernelStack: 3948 kB PageTables: 9544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 719624 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 70688 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 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: 273108 kB DirectMap2M: 28860416 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890040 MiB End job on nodeC033 at 2024-07-19 17:32:08