Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | SAT (TO) | 0 | 3553.36 | 3700.9 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb |
| MD5SUM | 7cbd9242490819e58478720045b90b69 |
| 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 | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.167741 |
| 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 | 776 |
| Total number of constraints | 867 |
| Number of constraints which are clauses | 701 |
| Number of constraints which are cardinality constraints (but not clauses) | 166 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 776 |
| Biggest coefficient in the objective function | 474 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 2127 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 474 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 2127 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.23 o 208 0.00/0.23 o 206 0.00/0.23 o 204 0.00/0.23 o 203 0.00/0.24 o 201 0.00/0.24 o 199 0.00/0.25 o 198 0.00/0.27 o 195 0.00/0.27 o 193 0.00/0.28 o 192 0.00/0.28 o 191 0.07/0.31 o 190 0.07/0.31 o 189 0.07/0.32 o 188 0.07/0.32 o 184 0.07/0.33 o 181 0.07/0.34 o 179 0.07/0.36 o 178 0.07/0.36 o 177 0.07/0.37 o 174 0.07/0.37 o 172 0.07/0.38 o 168 0.07/0.38 o 165 0.07/0.40 o 161 0.17/0.41 o 159 0.17/0.41 o 158 0.17/0.45 o 157 0.17/0.47 o 155 0.27/0.57 o 154 0.45/0.74 o 152 0.45/0.77 o 151 0.45/0.79 o 150 0.55/0.80 o 146 0.55/0.82 o 143 0.55/0.83 o 141 0.55/0.85 o 140 0.55/0.85 o 136 0.55/0.87 o 133 0.55/0.89 o 131 0.66/0.91 o 127 0.66/0.99 o 126 0.77/1.10 o 124 1.66/1.90 o 123 1.66/1.99 o 122 1.77/2.04 o 121 1.77/2.08 o 120 1.96/2.22 o 116 2.06/2.39 o 113 2.16/2.44 o 111 2.65/2.99 o 110 2.76/3.03 o 109 3.05/3.30 o 105 4.71/5.13 o 104 5.31/5.75 o 101 5.71/6.20 o 99 6.40/6.86 o 95 7.10/7.52 o 92 7.20/7.64 o 90 7.30/7.79 o 89 7.71/8.19 o 88 7.80/8.29 o 87 7.90/8.37 o 84 8.20/8.60 o 83 9.30/9.70 o 82 9.89/10.36 o 81 10.19/10.69 o 80 10.49/10.98 o 79 10.89/11.38 o 77 10.89/11.38 o 76 12.60/13.08 o 75 18.47/19.00 o 72 19.57/20.07 o 70 19.77/20.28 o 69 21.47/21.98 o 68 24.66/25.13 o 67 26.15/26.67 o 63 26.66/27.11 o 61 27.65/28.15 o 59 34.43/34.95 o 58 39.25/41.40 o 57 44.34/46.57 o 56 49.84/52.02 o 55 51.13/53.33 o 52 53.93/56.19 o 51 60.30/62.57 o 48 62.19/64.41 o 47 78.99/82.55 o 44 78.99/82.57 o 43 92.95/96.53 o 41 93.05/96.69 o 40 96.43/101.33 o 39 104.31/109.27 o 38 131.43/138.10 o 37 142.59/149.21 o 35 147.18/153.87 o 34 154.85/161.54 o 33 155.76/162.48 o 32 156.16/162.84 o 31 156.16/162.86 o 30 177.36/185.68 o 29 177.36/185.69 o 27 188.19/197.45 o 26 210.53/219.87 o 25 210.63/219.91 o 24 237.23/247.91 o 23 251.12/264.04 o 22 271.37/284.31 o 21 286.09/300.95 o 20 317.12/333.56 o 19 343.00/360.49 o 16 358.06/375.53 o 15 406.95/426.93 o 14 431.28/453.79 o 13 431.38/453.80 o 12 447.43/469.98 o 11 476.50/500.41 o 10 476.50/500.43 o 9 499.18/527.58 o 8 553.70/584.08 o 7 558.67/589.08 o 6 578.18/609.29 o 5 755.72/790.71 o 4 755.72/790.75 o 2 755.92/790.93 o 1 1014.11/1064.27 o 0 3553.32/3700.00 c Program interrupted by user. 3553.32/3700.00 s SATISFIABLE 3553.32/3700.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 -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
OK 0
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 (56904 MiB free)
memory of node 1: 64510 MiB (51025 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440772-1721751755/watcher-4440772-1721751755 -o /tmp/evaluation-result-4440772-1721751755/solver-4440772-1721751755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721751754-113372 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440772-1721751755 --seed=628317867 HOME/instance-4440772-1721751755.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=113480, runsolver pid=113477
[startup+0.100083 s]*
/proc/loadavg: 2.14 2.18 2.18 4/263 113481
/proc/meminfo: memFree=110508620/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=25224 memory=2476 CPUtime=0 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) D 113477 113480 113360 0 -1 1077936128 126 0 0 0 0 0 0 0 20 0 1 0 11705055 25829376 619 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.205733 s]*
/proc/loadavg: 2.14 2.18 2.18 4/263 113481
/proc/meminfo: memFree=110494056/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=25224 memory=2476 CPUtime=0 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) D 113477 113480 113360 0 -1 1077936128 126 0 0 0 0 0 0 0 20 0 1 0 11705055 25829376 619 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.306567 s]*
/proc/loadavg: 2.14 2.18 2.18 5/263 113481
/proc/meminfo: memFree=110479424/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=28008 memory=8924 CPUtime=0.07 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 1030 0 0 0 7 0 0 0 20 0 1 0 11705055 28680192 2231 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 7002 2231 850 747 0 6065 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28008 KiB
Current children cumulated memory: 8924 KiB
[startup+0.700248 s]
/proc/loadavg: 2.14 2.18 2.18 6/263 113481
/proc/meminfo: memFree=110449704/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=30992 memory=13956 CPUtime=0.45 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 1753 0 0 0 45 0 0 0 20 0 1 0 11705055 31735808 3489 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 7748 3489 850 747 0 6811 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 30992 KiB
Current children cumulated memory: 13956 KiB
[startup+1.50019 s]
/proc/loadavg: 2.14 2.18 2.18 5/263 113481
/proc/meminfo: memFree=110427228/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=35780 memory=22232 CPUtime=1.25 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 2805 0 0 0 124 1 0 0 20 0 1 0 11705055 36638720 5558 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 8945 5558 850 747 0 8008 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 35780 KiB
Current children cumulated memory: 22232 KiB
[startup+3.10551 s]
/proc/loadavg: 2.29 2.21 2.19 5/263 113481
/proc/meminfo: memFree=110283372/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=39668 memory=31940 CPUtime=2.86 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 3669 0 0 0 284 2 0 0 20 0 1 0 11705055 40620032 7985 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 9917 7985 850 747 0 8980 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 39668 KiB
Current children cumulated memory: 31940 KiB
[startup+6.30022 s]
/proc/loadavg: 2.29 2.21 2.19 5/264 113482
/proc/meminfo: memFree=110124196/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=43980 memory=37252 CPUtime=5.9 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 4501 0 0 0 586 4 0 0 20 0 1 0 11705055 45035520 9313 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 14 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 10995 9313 850 747 0 10058 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 43980 KiB
Current children cumulated memory: 37252 KiB
[startup+12.7002 s]
/proc/loadavg: 2.50 2.26 2.20 5/264 113483
/proc/meminfo: memFree=109784996/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=60200 memory=49752 CPUtime=12.28 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 5337 0 0 0 1220 8 0 0 20 0 1 0 11705055 61644800 12438 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 14 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 15050 12438 850 747 0 14113 0
Current children cumulated CPU time: 12.28 s
Current children cumulated vsize: 60200 KiB
Current children cumulated memory: 49752 KiB
[startup+25.5002 s]
/proc/loadavg: 2.91 2.36 2.24 5/264 113485
/proc/meminfo: memFree=109273772/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=90468 memory=59768 CPUtime=25.05 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 7784 0 0 0 2489 16 0 0 20 0 1 0 11705055 92639232 14942 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 14 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 22617 14942 850 747 0 21680 0
Current children cumulated CPU time: 25.05 s
Current children cumulated vsize: 90468 KiB
Current children cumulated memory: 59768 KiB
[startup+51.1056 s]
/proc/loadavg: 3.28 2.49 2.29 5/264 113490
/proc/meminfo: memFree=108379756/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=98284 memory=66000 CPUtime=48.94 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 9311 0 0 0 4866 28 0 0 20 0 1 0 11705055 100642816 16500 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 180 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 24571 16500 850 747 0 23634 0
Current children cumulated CPU time: 48.94 s
Current children cumulated vsize: 98284 KiB
Current children cumulated memory: 66000 KiB
[startup+102.3 s]
/proc/loadavg: 3.82 2.76 2.39 5/263 113499
/proc/meminfo: memFree=106485764/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=105868 memory=73968 CPUtime=97.44 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 10867 0 0 0 9686 58 0 0 20 0 1 0 11705055 108408832 18492 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 435 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 26467 18492 850 747 0 25530 0
Current children cumulated CPU time: 97.44 s
Current children cumulated vsize: 105868 KiB
Current children cumulated memory: 73968 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 3.07 2.52 5/264 113897
/proc/meminfo: memFree=105011628/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=113236 memory=82488 CPUtime=155.65 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 12524 0 0 0 15482 83 0 0 20 0 1 0 11705055 115953664 20622 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 598 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 28309 20622 850 747 0 27372 0
Current children cumulated CPU time: 155.65 s
Current children cumulated vsize: 113236 KiB
Current children cumulated memory: 82488 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.26 2.62 5/264 113907
/proc/meminfo: memFree=103088104/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=117220 memory=86380 CPUtime=213.03 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 13463 0 0 0 21191 112 0 0 20 0 1 0 11705055 120033280 21595 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 846 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 29305 21595 850 747 0 28368 0
Current children cumulated CPU time: 213.03 s
Current children cumulated vsize: 117220 KiB
Current children cumulated memory: 86380 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.41 2.71 4/262 113918
/proc/meminfo: memFree=101002840/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=118304 memory=87436 CPUtime=269.38 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 13756 0 0 0 26786 152 0 0 20 0 1 0 11705055 121143296 21859 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1197 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 29576 21859 850 747 0 28639 0
Current children cumulated CPU time: 269.38 s
Current children cumulated vsize: 118304 KiB
Current children cumulated memory: 87436 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.55 2.81 5/262 114099
/proc/meminfo: memFree=99435412/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=122916 memory=91344 CPUtime=325.9 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 14739 0 0 0 32420 170 0 0 20 0 1 0 11705055 125865984 22836 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1530 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 30729 22836 850 747 0 29792 0
Current children cumulated CPU time: 325.9 s
Current children cumulated vsize: 122916 KiB
Current children cumulated memory: 91344 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.65 2.89 5/262 114109
/proc/meminfo: memFree=97193664/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=123300 memory=91780 CPUtime=383.46 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 14862 0 0 0 38150 196 0 0 20 0 1 0 11705055 126259200 22945 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1759 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 30825 22945 850 747 0 29888 0
Current children cumulated CPU time: 383.46 s
Current children cumulated vsize: 123300 KiB
Current children cumulated memory: 91780 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.75 2.97 5/264 114179
/proc/meminfo: memFree=95634160/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=123300 memory=91780 CPUtime=439.86 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 14888 0 0 0 43759 227 0 0 20 0 1 0 11705055 126259200 22945 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2105 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 30825 22945 850 747 0 29888 0
################
# More data... #
################
Current children cumulated memory: 161820 KiB
[startup+3102.3 s]
/proc/loadavg: 4.37 4.32 4.15 5/263 115292
/proc/meminfo: memFree=9900768/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=171304 memory=161820 CPUtime=2964.53 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 26657 0 0 0 294845 1608 0 0 20 0 1 0 11705055 175415296 40455 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 12967 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 42826 40455 850 747 0 41889 0
Current children cumulated CPU time: 2964.53 s
Current children cumulated vsize: 171304 KiB
Current children cumulated memory: 161820 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.27 4.15 5/264 115304
/proc/meminfo: memFree=7042816/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=171560 memory=162076 CPUtime=3023.8 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 26787 0 0 0 300732 1648 0 0 20 0 1 0 11705055 175677440 40519 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13025 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 42890 40519 850 747 0 41953 0
Current children cumulated CPU time: 3023.8 s
Current children cumulated vsize: 171560 KiB
Current children cumulated memory: 162076 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.25 4.15 5/262 115315
/proc/meminfo: memFree=4646148/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=172200 memory=162628 CPUtime=3082.67 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 26992 0 0 0 306584 1683 0 0 20 0 1 0 11705055 176332800 40657 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13124 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 43050 40657 850 747 0 42113 0
Current children cumulated CPU time: 3082.67 s
Current children cumulated vsize: 172200 KiB
Current children cumulated memory: 162628 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.24 4.15 5/262 115326
/proc/meminfo: memFree=744956/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=172200 memory=162632 CPUtime=3142.13 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 27058 0 0 0 312498 1715 0 0 20 0 1 0 11705055 176332800 40658 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13161 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 43050 40658 850 747 0 42113 0
Current children cumulated CPU time: 3142.13 s
Current children cumulated vsize: 172200 KiB
Current children cumulated memory: 162632 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.20 4.14 4/263 115338
/proc/meminfo: memFree=501804/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=172584 memory=163016 CPUtime=3201.31 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 27214 0 0 0 318378 1753 0 0 20 0 1 0 11705055 176726016 40754 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13230 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 43146 40754 850 747 0 42209 0
Current children cumulated CPU time: 3201.31 s
Current children cumulated vsize: 172584 KiB
Current children cumulated memory: 163016 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.20 4.14 5/262 115348
/proc/meminfo: memFree=613444/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=172584 memory=163016 CPUtime=3260.98 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 27473 0 0 0 324311 1787 0 0 20 0 1 0 11705055 176726016 40754 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13248 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 43146 40754 850 747 0 42209 0
Current children cumulated CPU time: 3260.98 s
Current children cumulated vsize: 172584 KiB
Current children cumulated memory: 163016 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.20 4.15 5/264 115364
/proc/meminfo: memFree=584940/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=173224 memory=163580 CPUtime=3318.89 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 27675 0 0 0 330069 1820 0 0 20 0 1 0 11705055 177381376 40895 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13441 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 43306 40895 850 747 0 42369 0
Current children cumulated CPU time: 3318.89 s
Current children cumulated vsize: 173224 KiB
Current children cumulated memory: 163580 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.14 4/264 115375
/proc/meminfo: memFree=624408/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=174632 memory=164564 CPUtime=3377.86 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 28022 0 0 0 335930 1856 0 0 20 0 1 0 11705055 178823168 41141 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13530 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 43658 41141 850 747 0 42721 0
Current children cumulated CPU time: 3377.86 s
Current children cumulated vsize: 174632 KiB
Current children cumulated memory: 164564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.16 4.13 5/261 115385
/proc/meminfo: memFree=593980/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=174632 memory=164604 CPUtime=3437.13 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 28168 0 0 0 341832 1881 0 0 20 0 1 0 11705055 178823168 41151 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13587 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 43658 41151 850 747 0 42721 0
Current children cumulated CPU time: 3437.13 s
Current children cumulated vsize: 174632 KiB
Current children cumulated memory: 164604 KiB
[startup+3642.3 s]
/proc/loadavg: 4.16 4.17 4.14 5/262 115397
/proc/meminfo: memFree=689712/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=175528 memory=165332 CPUtime=3496.37 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 28545 0 0 0 347729 1908 0 0 20 0 1 0 11705055 179740672 41333 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13647 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 43882 41333 850 747 0 42945 0
Current children cumulated CPU time: 3496.37 s
Current children cumulated vsize: 175528 KiB
Current children cumulated memory: 165332 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.11 4.15 4.13 3/251 115460
/proc/meminfo: memFree=2240464/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=175528 memory=165596 CPUtime=3553.32 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) R 113477 113480 113360 0 -1 4194304 28577 0 0 0 353394 1938 0 0 20 0 1 0 11705055 179740672 41399 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13707 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 43882 41399 850 747 0 42945 0
Current children cumulated CPU time: 3553.32 s
Current children cumulated vsize: 175528 KiB
Current children cumulated memory: 165596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.9 s]
# the end of solver process 113480 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3533.95 s, system=19.4097 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3700.4 s]
/proc/loadavg: 4.11 4.15 4.13 3/251 115460
/proc/meminfo: memFree=2240464/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=38648 memory=34228 CPUtime=3553.34 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) D 113477 113480 113360 0 -1 4194304 28577 0 0 0 353394 1940 0 0 20 0 1 0 11705055 39575552 8557 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13780 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 9662 8557 850 747 0 8725 0
Current children cumulated CPU time: 3553.34 s
Current children cumulated vsize: 38648 KiB
Current children cumulated memory: 34228 KiB
[startup+3700.8 s]
/proc/loadavg: 4.11 4.15 4.13 3/251 115460
/proc/meminfo: memFree=2240464/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=38648 memory=34228 CPUtime=3553.34 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) D 113477 113480 113360 0 -1 4194304 28577 0 0 0 353394 1940 0 0 20 0 1 0 11705055 39575552 8557 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13854 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 9662 8557 850 747 0 8725 0
Current children cumulated CPU time: 3553.34 s
Current children cumulated vsize: 38648 KiB
Current children cumulated memory: 34228 KiB
[startup+3700.9 s]
/proc/loadavg: 4.11 4.15 4.13 3/251 115460
/proc/meminfo: memFree=2240464/131524600 swapFree=131071996/131071996
[pid=113480] ppid=113477 vsize=38648 memory=34228 CPUtime=3553.34 cores=1,3
/proc/113480/stat : 113480 (Exact_veripb2_n) D 113477 113480 113360 0 -1 1077936128 28577 0 0 0 353394 1940 0 0 20 0 1 0 11705055 39575552 8557 134679101440 4194304 7250417 140720421835088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13871 0 0 7950792 8015128 41050112 140720421843767 140720421844055 140720421844055 140720421851070 0
/proc/113480/statm: 9662 8557 850 747 0 8725 0
Current children cumulated CPU time: 3553.34 s
Current children cumulated vsize: 38648 KiB
Current children cumulated memory: 34228 KiB
Child status: 10
Real time (s): 3700.9
CPU time (s): 3553.36
CPU user time (s): 3533.95
CPU system time (s): 19.4097
CPU usage (%): 96.0133
Max. virtual memory (cumulated for all children) (KiB): 175528
Max. memory (cumulated for all children) (KiB): 165596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3533.95
system time used= 19.4097
maximum resident set size= 165596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48789672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2799
involuntary context switches= 4804
# summary of solver processes directly reported to runsolver:
# pid: 113480
# total CPU time (s): 3553.36
# total CPU user time (s): 3533.95
# total CPU system time (s): 19.4097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29175 second user time and 17.8149 second system time
The end
Begin job on nodeC031 at 2024-07-23 18:22:35 IDJOB=4440772 IDBENCH=146660 IDSOLVER=3080 FILE ID=nodeC031/4440772-1721751755 RUNJOBID= nodeC031-1721751754-113372 SLURM_JOB_ID= 7770646 Free space on /tmp= 890068 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440772-1721751755/watcher-4440772-1721751755 -o /tmp/evaluation-result-4440772-1721751755/solver-4440772-1721751755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721751754-113372 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440772-1721751755 --seed=628317867 HOME/instance-4440772-1721751755.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7cbd9242490819e58478720045b90b69 RANDOM SEED=628317867 nodeC031.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 : 3678.483 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 : 7000.44 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 : 3649.435 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.12 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 : 3600.243 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 : 7000.44 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 : 3645.735 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.12 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 : 3678.469 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 : 7000.44 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 : 3684.342 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.12 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 : 3600.237 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 : 7000.44 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 : 3626.537 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.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 110520988 kB MemAvailable: 129579904 kB Buffers: 173052 kB Cached: 19637040 kB SwapCached: 0 kB Active: 1140476 kB Inactive: 19149992 kB Active(anon): 1528 kB Inactive(anon): 516544 kB Active(file): 1138948 kB Inactive(file): 18633448 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 31544 kB Writeback: 0 kB AnonPages: 479140 kB Mapped: 113868 kB Shmem: 37720 kB KReclaimable: 252336 kB Slab: 359740 kB SReclaimable: 252336 kB SUnreclaim: 107404 kB KernelStack: 4240 kB PageTables: 10128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 896564 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20064 kB HardwareCorrupted: 0 kB AnonHugePages: 258048 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: 297684 kB DirectMap2M: 28835840 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890064 MiB End job on nodeC031 at 2024-07-23 19:24:16