Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCom-SP 2024-07-10 | SAT (TO) | 9 | 3600.02 | 3612.5 |
| Name | PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1620770.opb |
| MD5SUM | ea40b84df91c60f1b4d71ba03d843a27 |
| 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 | 9 |
| Best CPU time to get the best result obtained on this benchmark | 374.616 |
| 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 | 792 |
| Total number of constraints | 9296 |
| Number of constraints which are clauses | 9261 |
| Number of constraints which are cardinality constraints (but not clauses) | 35 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 22 |
| 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 | 22 |
| Number of bits of the sum of numbers in the objective function | 5 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 23 |
| 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.10/0.13 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.10/0.13 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.10/0.13 o 22 0.10/0.13 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.10/0.14 c Starting SCIP solver (with time-limit = 1800s) ... 1793.15/1800.14 c SCIP timeout with lower and upper bounds: [8, 9] 1793.33/1800.37 o 9 3600.00/3612.50 3600.00/3612.50 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 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -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 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 3600.00/3612.50 s SATISFIABLE
OK 9
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: 64059 MiB (58618 MiB free)
memory of node 1: 64510 MiB (61110 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439680-1721231190/watcher-4439680-1721231190 -o /tmp/evaluation-result-4439680-1721231190/solver-4439680-1721231190 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721231058-909279 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439680-1721231190.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=910797, runsolver pid=910794
[startup+0.100602 s]*
/proc/loadavg: 3.86 2.29 1.99 5/245 910798
/proc/meminfo: memFree=122588508/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=31324 memory=12600 CPUtime=0.1 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 2897 0 0 0 10 0 0 0 20 0 1 0 175277713 32075776 3150 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 7831 3150 938 2550 0 4786 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31324 KiB
Current children cumulated memory: 12600 KiB
[startup+0.213334 s]*
/proc/loadavg: 3.86 2.29 1.99 5/245 910798
/proc/meminfo: memFree=122551792/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=59396 memory=49844 CPUtime=0.21 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 10771 0 0 0 20 1 0 0 20 0 1 0 175277713 60821504 12461 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 14849 12461 2522 2550 0 11804 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59396 KiB
Current children cumulated memory: 49844 KiB
[startup+0.313039 s]*
/proc/loadavg: 3.86 2.29 1.99 5/245 910798
/proc/meminfo: memFree=122542592/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=60856 memory=51224 CPUtime=0.31 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 11105 0 0 0 30 1 0 0 20 0 1 0 175277713 62316544 12806 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 15214 12806 2538 2550 0 12169 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 60856 KiB
Current children cumulated memory: 51224 KiB
[startup+0.700285 s]
/proc/loadavg: 3.86 2.29 1.99 5/245 910798
/proc/meminfo: memFree=122530644/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=61908 memory=52280 CPUtime=0.68 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 11368 0 0 0 67 1 0 0 20 0 1 0 175277713 63393792 13070 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 15477 13070 2538 2550 0 12432 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61908 KiB
Current children cumulated memory: 52280 KiB
[startup+1.50028 s]
/proc/loadavg: 3.86 2.29 1.99 5/245 910798
/proc/meminfo: memFree=122503568/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=81856 memory=70056 CPUtime=1.48 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 15694 0 0 0 146 2 0 0 20 0 1 0 175277713 83820544 17514 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 20464 17514 2650 2550 0 17419 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81856 KiB
Current children cumulated memory: 70056 KiB
[startup+3.11292 s]
/proc/loadavg: 3.86 2.29 1.99 5/245 910798
/proc/meminfo: memFree=122371260/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=105996 memory=80088 CPUtime=3.09 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 18250 0 0 0 307 2 0 0 20 0 1 0 175277713 108539904 20022 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 26499 20022 2650 2550 0 23454 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 105996 KiB
Current children cumulated memory: 80088 KiB
[startup+6.30028 s]
/proc/loadavg: 3.87 2.32 2.00 5/245 910798
/proc/meminfo: memFree=122184944/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=152536 memory=118364 CPUtime=6.26 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 27811 0 0 0 623 3 0 0 20 0 1 0 175277713 156196864 29591 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 38134 29591 2650 2550 0 35089 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 152536 KiB
Current children cumulated memory: 118364 KiB
[startup+12.7003 s]
/proc/loadavg: 3.88 2.35 2.01 5/245 910799
/proc/meminfo: memFree=121849380/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=181204 memory=147900 CPUtime=12.64 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 35214 0 0 0 1260 4 0 0 20 0 1 0 175277713 185552896 36975 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 45301 36975 2650 2550 0 42256 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 181204 KiB
Current children cumulated memory: 147900 KiB
[startup+25.5003 s]
/proc/loadavg: 3.91 2.43 2.04 5/245 910801
/proc/meminfo: memFree=119675880/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=200688 memory=167148 CPUtime=25.39 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 40014 0 0 0 2533 6 0 0 20 0 1 0 175277713 205504512 41787 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 50172 41787 2650 2550 0 47127 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 200688 KiB
Current children cumulated memory: 167148 KiB
[startup+51.1132 s]
/proc/loadavg: 4.02 2.57 2.10 5/245 910806
/proc/meminfo: memFree=119655220/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=208156 memory=174704 CPUtime=50.9 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 41931 0 0 0 5081 9 0 0 20 0 1 0 175277713 213151744 43676 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 52039 43676 2650 2550 0 48994 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 208156 KiB
Current children cumulated memory: 174704 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 2.81 2.21 5/245 910815
/proc/meminfo: memFree=119396276/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=254364 memory=223760 CPUtime=101.89 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 52433 0 0 0 10176 13 0 0 20 0 1 0 175277713 260468736 55940 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 63591 55940 2920 2550 0 60546 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 254364 KiB
Current children cumulated memory: 223760 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.05 2.33 5/245 910827
/proc/meminfo: memFree=115147624/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=259424 memory=229360 CPUtime=161.66 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 52785 0 0 0 16153 13 0 0 20 0 1 0 175277713 265650176 57340 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 64856 57340 2920 2550 0 61811 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 259424 KiB
Current children cumulated memory: 229360 KiB
[startup+222.3 s]
/proc/loadavg: 4.85 3.45 2.51 5/243 910837
/proc/meminfo: memFree=114429468/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=283512 memory=251212 CPUtime=221.44 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 59678 0 0 0 22129 15 0 0 20 0 1 0 175277713 290316288 62803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 70878 62803 2920 2550 0 67833 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 283512 KiB
Current children cumulated memory: 251212 KiB
[startup+282.3 s]
/proc/loadavg: 4.40 3.58 2.62 5/244 910850
/proc/meminfo: memFree=114174632/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=288740 memory=258112 CPUtime=281.21 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 63215 0 0 0 28106 15 0 0 20 0 1 0 175277713 295669760 64528 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 72185 64528 2920 2550 0 69140 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 288740 KiB
Current children cumulated memory: 258112 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 3.68 2.72 5/242 910860
/proc/meminfo: memFree=113977220/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=308852 memory=278404 CPUtime=340.99 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 70161 0 0 0 34083 16 0 0 20 0 1 0 175277713 316264448 69601 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 77213 69601 2920 2550 0 74168 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 308852 KiB
Current children cumulated memory: 278404 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.77 2.81 5/242 910871
/proc/meminfo: memFree=113769956/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=344564 memory=314052 CPUtime=400.77 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 79889 0 0 0 40059 18 0 0 20 0 1 0 175277713 352833536 78513 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 86141 78513 2920 2550 0 83096 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 344564 KiB
Current children cumulated memory: 314052 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.81 2.89 5/242 910881
/proc/meminfo: memFree=112942116/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=361664 memory=331380 CPUtime=460.54 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 83716 0 0 0 46036 18 0 0 20 0 1 0 175277713 370343936 82845 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 90416 82845 2920 2550 0 87371 0
################
# More data... #
################
Current children cumulated memory: 495212 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.21 4.10 5/245 912548
/proc/meminfo: memFree=115050376/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=2911.91 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 287255 0 0 0 290967 224 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 2911.91 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.21 4.11 5/241 912559
/proc/meminfo: memFree=115046032/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=2971.73 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 293431 0 0 0 296941 232 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 2971.73 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
[startup+3042.3 s]
/proc/loadavg: 4.34 4.24 4.12 5/241 912569
/proc/meminfo: memFree=115032008/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=3031.55 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 296070 0 0 0 302919 236 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 3031.55 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.21 4.11 5/241 912579
/proc/meminfo: memFree=115025564/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=3091.37 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 303765 0 0 0 308891 246 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 3091.37 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.21 4.12 5/241 912590
/proc/meminfo: memFree=115023688/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=3151.18 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 309431 0 0 0 314865 253 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 3151.18 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.21 4.12 5/241 912600
/proc/meminfo: memFree=115029012/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=3211 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 319140 0 0 0 320835 265 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 3211 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.57 4.29 4.15 5/244 912615
/proc/meminfo: memFree=115015000/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=3270.81 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 319755 0 0 0 326816 265 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 3270.81 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
[startup+3342.3 s]
/proc/loadavg: 4.65 4.39 4.20 5/244 912625
/proc/meminfo: memFree=115008584/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=3330.63 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 323399 0 0 0 332792 271 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 3330.63 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.28 4.33 4.18 5/244 912636
/proc/meminfo: memFree=115014084/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=3390.45 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 326538 0 0 0 338770 275 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 3390.45 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.31 4.18 5/245 912647
/proc/meminfo: memFree=115014484/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=3450.26 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 328164 0 0 0 344749 277 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 3450.26 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.26 4.17 5/245 912703
/proc/meminfo: memFree=114860020/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=3510.08 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 328275 0 0 0 350731 277 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 3510.08 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.24 4.17 5/242 912715
/proc/meminfo: memFree=114822500/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=3569.9 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 331415 0 0 0 356709 281 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 3569.9 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.22 4.25 4.18 5/242 912766
/proc/meminfo: memFree=114965612/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=3600 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 331482 0 0 0 359719 281 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.5 s]
# the end of solver process 910797 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.2 s, system=2.81567 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.5 s]
/proc/loadavg: 4.22 4.25 4.18 5/242 912766
/proc/meminfo: memFree=114965612/131655788 swapFree=131071996/131071996
[pid=910797] ppid=910794 vsize=501548 memory=495212 CPUtime=3600 cores=0,2
/proc/910797/stat : 910797 (CASHWMaxSAT-Dis) R 910794 910797 909269 0 -1 4194304 331482 0 0 0 359719 281 0 0 20 0 1 0 175277713 513585152 123803 134679101440 4194304 14636349 140735292715120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25911296 140735292720098 140735292720214 140735292720214 140735292727230 0
/proc/910797/statm: 125387 123803 2920 2550 0 122342 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 501548 KiB
Current children cumulated memory: 495212 KiB
Child status: 10
Real time (s): 3612.5
CPU time (s): 3600.02
CPU user time (s): 3597.2
CPU system time (s): 2.81567
CPU usage (%): 99.6543
Max. virtual memory (cumulated for all children) (KiB): 594420
Max. memory (cumulated for all children) (KiB): 585224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.2
system time used= 2.81567
maximum resident set size= 585224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331483
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= 150
involuntary context switches= 24655
# summary of solver processes directly reported to runsolver:
# pid: 910797
# total CPU time (s): 3600.02
# total CPU user time (s): 3597.2
# total CPU system time (s): 2.81567
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1936 second user time and 36.5788 second system time
The end
Begin job on nodeC006 at 2024-07-17 17:46:42 IDJOB=4439680 IDBENCH=155341 IDSOLVER=3076 FILE ID=nodeC006/4439680-1721231190 RUNJOBID= nodeC006-1721231058-909279 SLURM_JOB_ID= 7508977 Free space on /tmp= 723496 MiB SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-1620770.opb COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439680-1721231190/watcher-4439680-1721231190 -o /tmp/evaluation-result-4439680-1721231190/solver-4439680-1721231190 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721231058-909279 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439680-1721231190.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ea40b84df91c60f1b4d71ba03d843a27 RANDOM SEED=1013638763 nodeC006.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 : 0xb00001f cpu MHz : 3491.982 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3622.017 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.254 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.463 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3663.889 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3657.434 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.436 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.254 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 122604760 kB MemAvailable: 128908400 kB Buffers: 452360 kB Cached: 6613560 kB SwapCached: 0 kB Active: 913088 kB Inactive: 7426044 kB Active(anon): 1468 kB Inactive(anon): 1309748 kB Active(file): 911620 kB Inactive(file): 6116296 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 281048 kB Writeback: 0 kB AnonPages: 1273564 kB Mapped: 122512 kB Shmem: 37704 kB KReclaimable: 231512 kB Slab: 346820 kB SReclaimable: 231512 kB SUnreclaim: 115308 kB KernelStack: 3936 kB PageTables: 11824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1789784 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 56032 kB HardwareCorrupted: 0 kB AnonHugePages: 843776 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: 310088 kB DirectMap2M: 40488960 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723704 MiB End job on nodeC006 at 2024-07-17 18:46:55