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 | OPT | 813 | 1049.38 | 1099.1 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb |
| MD5SUM | a0ea3bcd614a437876ff794ba0a9b553 |
| 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 | 813 |
| Best CPU time to get the best result obtained on this benchmark | 0.143151 |
| 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 | 2289 |
| Total number of constraints | 764 |
| Number of constraints which are clauses | 360 |
| Number of constraints which are cardinality constraints (but not clauses) | 404 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 195 |
| Number of terms in the objective function | 1798 |
| Biggest coefficient in the objective function | 349 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 104116 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 349 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 104116 |
| Number of bits of the biggest sum of numbers | 17 |
| 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.01 o 17934 0.00/0.02 o 17933 0.00/0.02 o 17833 0.00/0.03 o 17832 0.00/0.03 o 17732 2.08/2.12 o 17632 2.08/2.17 o 17631 2.17/2.20 o 17630 2.17/2.23 o 17629 2.17/2.27 o 17628 2.28/2.30 o 17627 2.28/2.33 o 17626 2.28/2.36 o 17625 2.58/2.64 o 17525 2.67/2.72 o 17524 2.67/2.75 o 17523 2.77/2.81 o 17423 2.87/2.95 o 17422 2.87/2.99 o 17322 2.98/3.06 o 17223 2.98/3.08 o 17222 3.08/3.13 o 17122 3.08/3.17 o 17121 3.17/3.26 o 17120 3.27/3.30 o 17119 3.27/3.37 o 17118 6.52/6.60 o 17117 9.51/9.68 o 17017 9.61/9.75 o 17016 9.71/9.81 o 17015 88.14/90.55 o 16915 88.14/90.56 o 16815 88.14/90.57 o 16814 88.14/90.57 o 16813 88.83/91.28 o 16812 89.04/91.49 o 16811 90.54/92.92 o 16810 91.14/93.55 o 16809 91.24/93.68 o 16709 91.33/93.70 o 16609 91.33/93.74 o 16608 91.33/93.76 o 16508 91.33/93.77 o 16507 91.43/93.80 o 16407 91.43/93.81 o 16406 91.43/93.84 o 16305 91.43/93.89 o 16304 91.53/93.91 o 16303 91.53/93.91 o 16203 91.53/93.96 o 16202 91.53/93.99 o 16201 91.74/94.10 o 16200 91.83/94.28 o 16199 92.03/94.47 o 16198 98.04/101.93 o 16197 98.04/101.93 o 16097 144.55/150.90 o 15997 144.65/151.07 o 15996 145.24/151.69 o 15896 148.54/154.95 o 15895 154.23/160.62 o 15795 154.23/160.63 o 15794 154.23/160.64 o 15694 154.23/160.65 o 15693 154.23/160.67 o 15692 154.23/160.68 o 15691 154.33/160.70 o 15690 154.43/160.82 o 15591 154.43/160.82 o 15590 154.43/160.85 o 15589 154.53/160.92 o 15588 154.53/160.99 o 15488 154.63/161.08 o 15389 154.63/161.08 o 15388 154.73/161.11 o 15288 154.92/161.30 o 15287 155.22/161.62 o 15286 157.11/163.51 o 15285 163.52/172.27 o 15284 163.52/172.27 o 15185 163.62/172.30 o 15184 163.62/172.31 o 15183 163.62/172.32 o 15085 163.62/172.32 o 15084 163.62/172.33 o 15083 163.62/172.33 o 14984 163.62/172.36 o 14983 163.92/172.62 o 14883 163.92/172.62 o 14882 164.01/172.70 o 14782 164.01/172.71 o 14781 164.01/172.73 o 14780 164.61/173.30 o 14681 164.61/173.31 o 14680 164.81/173.57 o 14580 164.91/173.62 o 14579 164.91/173.67 o 14578 165.21/173.90 o 14577 165.32/174.10 o 14477 165.42/174.14 o 14476 167.41/176.14 o 14376 171.50/180.23 o 14276 171.59/180.36 o 14176 171.59/180.38 o 14175 171.69/180.49 o 14174 171.89/180.69 o 14173 171.99/180.73 o 14172 172.30/181.06 o 14072 172.40/181.18 o 13972 172.79/181.56 o 13872 173.29/182.04 o 13871 189.27/201.47 o 13870 189.27/201.47 o 13772 189.27/201.47 o 13771 189.57/201.73 o 13770 190.16/202.32 o 13769 190.97/203.15 o 13670 190.97/203.19 o 13669 191.07/203.20 o 13668 191.07/203.25 o 13568 191.36/203.56 o 13567 192.16/204.37 o 13566 192.37/204.57 o 13565 193.16/205.31 o 13465 193.16/205.37 o 13464 194.86/207.02 o 13463 217.79/231.31 o 13364 217.79/231.32 o 13363 220.59/234.11 o 13262 220.69/234.24 o 13162 220.98/234.50 o 13061 221.08/234.63 o 13060 221.18/234.79 o 13059 221.98/235.54 o 12959 230.36/243.91 o 12958 244.06/259.83 o 12957 244.46/260.24 o 12857 244.56/260.33 o 12856 248.15/263.92 o 12855 249.75/265.55 o 12755 250.05/265.89 o 12754 250.15/266.00 o 12753 250.36/266.17 o 12752 251.05/266.81 o 12652 251.15/266.90 o 12651 251.35/267.18 o 12650 251.75/267.52 o 12550 258.33/274.13 o 12450 258.63/274.42 o 12449 270.20/286.08 o 12349 275.86/293.55 o 12248 296.52/314.23 o 12148 296.62/314.39 o 12048 297.52/315.22 o 12047 299.32/317.03 o 12046 302.52/322.25 o 12045 307.31/327.07 o 11945 309.51/329.22 o 11844 319.48/339.25 o 11743 319.58/339.38 o 11643 319.68/339.48 o 11543 319.78/339.57 o 11542 320.08/339.83 o 11541 320.28/340.03 o 11440 320.58/340.30 o 11439 320.58/340.39 o 11339 320.68/340.48 o 11338 320.88/340.64 o 11337 321.68/341.43 o 11237 321.87/341.67 o 11236 321.97/341.79 o 11235 322.38/342.11 o 11234 327.66/347.49 o 11233 336.93/358.31 o 11133 337.32/358.79 o 11132 338.62/360.07 o 11031 338.92/360.31 o 10933 338.92/360.31 o 10932 338.92/360.33 o 10931 338.92/360.39 o 10930 339.21/360.65 o 10929 339.82/361.26 o 10928 340.32/361.72 o 10927 341.31/362.71 o 10826 341.51/362.91 o 10725 344.72/366.13 o 10624 344.81/366.27 o 10623 345.11/366.52 o 10522 345.41/366.87 o 10421 345.61/367.04 o 10321 345.61/367.09 o 10320 345.81/367.22 o 10219 345.91/367.35 o 10218 346.00/367.40 o 10117 346.00/367.48 o 10016 346.20/367.65 o 9917 346.20/367.65 o 9916 346.30/367.71 o 9915 353.78/375.21 o 9815 353.78/375.26 o 9814 353.98/375.41 o 9714 354.09/375.58 o 9713 354.19/375.63 o 9613 354.19/375.69 o 9612 354.29/375.75 o 9511 354.39/375.88 o 9412 354.49/375.90 o 9411 354.49/375.94 o 9410 354.69/376.19 o 9311 354.78/376.20 o 9310 354.88/376.31 o 9309 355.08/376.54 o 9210 355.08/376.56 o 9209 355.18/376.62 o 9208 355.38/376.89 o 9108 355.59/377.02 o 9107 355.78/377.23 o 9008 355.78/377.24 o 9007 355.78/377.29 o 9006 356.08/377.56 o 9005 356.08/377.56 o 8906 356.08/377.57 o 8905 356.48/377.98 o 8807 356.48/377.99 o 8806 356.48/377.99 o 8805 356.58/378.10 o 8804 356.78/378.21 o 8705 356.78/378.21 o 8704 356.88/378.34 o 8703 357.07/378.52 o 8604 357.07/378.53 o 8603 357.07/378.59 o 8602 357.37/378.86 o 8504 357.37/378.86 o 8503 357.47/378.94 o 8502 357.47/378.97 o 8501 357.77/379.20 o 8402 360.81/384.42 o 8401 360.81/384.43 o 8400 361.11/384.75 o 8301 361.11/384.75 o 8300 361.21/384.83 o 8299 361.31/384.90 o 8200 361.31/384.90 o 8199 361.41/385.05 o 8198 361.51/385.18 o 8197 361.70/385.36 o 8196 361.90/385.50 o 8097 361.90/385.50 o 8096 362.00/385.68 o 8095 362.41/386.07 o 8094 363.20/386.82 o 8093 363.20/386.84 o 7994 363.51/387.11 o 7993 363.90/387.57 o 7992 366.99/390.63 o 7892 367.28/390.92 o 7791 367.59/391.20 o 7790 367.69/391.30 o 7789 367.69/391.36 o 7788 367.79/391.49 o 7688 367.99/391.65 o 7588 368.09/391.74 o 7488 368.19/391.83 o 7487 368.29/391.90 o 7387 368.29/392.00 o 7287 368.40/392.08 o 7187 368.50/392.18 o 7186 376.67/400.39 o 7185 378.66/402.36 o 7184 406.04/431.52 o 7083 441.75/470.09 o 6983 441.75/470.09 o 6982 442.23/470.51 o 6882 442.23/470.51 o 6881 469.83/499.85 o 6781 469.83/499.85 o 6681 469.83/499.86 o 6582 469.83/499.86 o 6581 469.83/499.86 o 6481 469.83/499.87 o 6480 469.83/499.87 o 6479 470.62/500.60 o 6478 470.92/500.91 o 6477 471.72/501.74 o 6476 472.12/502.14 o 6375 472.32/502.33 o 6374 476.47/511.57 o 6373 476.47/511.57 o 6273 510.46/546.23 o 6173 511.05/546.84 o 6172 514.55/550.36 o 6072 514.65/550.41 o 6071 537.68/574.73 o 5971 537.88/575.00 o 5871 538.59/575.62 o 5870 538.59/575.62 o 5770 538.89/575.97 o 5769 563.71/603.85 o 5669 564.10/604.28 o 5668 600.33/640.96 o 5569 600.53/641.15 o 5568 600.73/641.36 o 5567 600.73/641.37 o 5468 600.94/641.59 o 5467 601.13/641.76 o 5466 613.70/654.31 o 5465 618.88/659.55 o 5464 651.20/692.62 o 5363 658.69/700.18 o 5263 661.47/702.95 o 5262 768.44/811.17 o 5161 802.43/845.44 o 5160 802.43/845.44 o 5060 816.86/860.25 o 4959 831.52/874.95 o 850 847.50/891.74 o 849 847.50/891.75 o 848 847.50/891.77 o 847 847.50/891.78 o 846 847.60/891.80 o 845 847.60/891.83 o 844 847.60/891.85 o 843 847.80/892.03 o 842 847.80/892.07 o 841 847.99/892.22 o 840 848.09/892.38 o 839 848.29/892.54 o 838 848.39/892.65 o 837 848.49/892.73 o 836 848.59/892.83 o 835 848.69/892.93 o 834 848.80/893.02 o 833 848.90/893.14 o 832 849.89/894.10 o 831 850.58/894.89 o 830 852.08/896.32 o 829 870.36/915.69 o 828 870.56/915.80 o 827 923.88/971.22 o 826 924.87/972.21 o 825 925.17/972.52 o 824 925.68/973.03 o 823 926.08/973.42 o 822 926.78/974.13 o 821 953.39/1001.78 o 820 953.70/1002.10 o 819 955.89/1004.27 o 818 956.80/1005.19 o 817 958.49/1006.84 o 816 959.79/1008.12 o 815 960.68/1009.03 o 814 991.08/1039.99 o 813 1049.31/1098.94 s OPTIMUM FOUND 1049.31/1098.94 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 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 x871 x872 x873 -x874 x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 x964 x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 x1020 -x1021 x1022 x1023 -x1024 x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 x1299 -x1300 x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 x1344 x1345 x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 x1670 -x1671 -x1672 x1673 -x1674 x1675 x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 x1699 -x1700 x1701 x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 x1763 x1764 -x1765 x1766 x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 x2021 -x2022 x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 x2166 -x2167 x2168 x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289
OK 813
-- time out --
-- time out --
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 (56980 MiB free)
memory of node 1: 64510 MiB (51057 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440766-1721751754/watcher-4440766-1721751754 -o /tmp/evaluation-result-4440766-1721751754/solver-4440766-1721751754 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721751754-113371 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440766-1721751754 --seed=989831405 HOME/instance-4440766-1721751754.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=113419, runsolver pid=113413
[startup+0.100473 s]*
/proc/loadavg: 2.14 2.18 2.18 5/261 113434
/proc/meminfo: memFree=110582772/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=33552 memory=14392 CPUtime=0.09 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 2430 0 0 0 9 0 0 0 20 0 1 0 11705000 34357248 3598 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 8388 3598 850 747 0 7451 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33552 KiB
Current children cumulated memory: 14392 KiB
[startup+0.206153 s]*
/proc/loadavg: 2.14 2.18 2.18 6/258 113442
/proc/meminfo: memFree=110566548/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=36336 memory=19340 CPUtime=0.2 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 3106 0 0 0 20 0 0 0 20 0 1 0 11705000 37208064 4835 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 9084 4835 850 747 0 8147 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36336 KiB
Current children cumulated memory: 19340 KiB
[startup+0.306256 s]*
/proc/loadavg: 2.14 2.18 2.18 4/260 113448
/proc/meminfo: memFree=110553076/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=37016 memory=22176 CPUtime=0.29 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 3303 0 0 0 29 0 0 0 20 0 1 0 11705000 37904384 5544 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 9254 5544 850 747 0 8317 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 22176 KiB
[startup+0.700227 s]
/proc/loadavg: 2.14 2.18 2.18 5/258 113467
/proc/meminfo: memFree=110530156/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=42504 memory=31280 CPUtime=0.69 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 4586 0 0 0 68 1 0 0 20 0 1 0 11705000 43524096 7820 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 10626 7820 850 747 0 9689 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42504 KiB
Current children cumulated memory: 31280 KiB
[startup+1.50023 s]
/proc/loadavg: 2.14 2.18 2.18 5/263 113481
/proc/meminfo: memFree=110457972/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=50704 memory=44080 CPUtime=1.48 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 6772 0 0 0 146 2 0 0 20 0 1 0 11705000 51920896 11020 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 12676 11020 850 747 0 11739 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50704 KiB
Current children cumulated memory: 44080 KiB
[startup+3.10596 s]
/proc/loadavg: 2.14 2.18 2.18 5/263 113481
/proc/meminfo: memFree=110308544/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=77876 memory=68100 CPUtime=3.08 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 10413 0 0 0 305 3 0 0 20 0 1 0 11705000 79745024 17025 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 19469 17025 850 747 0 18532 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 77876 KiB
Current children cumulated memory: 68100 KiB
[startup+6.30022 s]
/proc/loadavg: 2.29 2.21 2.19 5/264 113482
/proc/meminfo: memFree=110166176/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=129040 memory=113272 CPUtime=6.22 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 16503 0 0 0 616 6 0 0 20 0 1 0 11705000 132136960 28318 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 32260 28318 850 747 0 31323 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 129040 KiB
Current children cumulated memory: 113272 KiB
[startup+12.7002 s]
/proc/loadavg: 2.50 2.26 2.20 5/264 113483
/proc/meminfo: memFree=109795408/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=180384 memory=146684 CPUtime=12.6 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 20761 0 0 0 1250 10 0 0 20 0 1 0 11705000 184713216 36671 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 45096 36671 850 747 0 44159 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 180384 KiB
Current children cumulated memory: 146684 KiB
[startup+25.5002 s]
/proc/loadavg: 2.91 2.36 2.24 5/264 113485
/proc/meminfo: memFree=109284700/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=306708 memory=225016 CPUtime=25.36 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 31330 0 0 0 2521 15 0 0 20 0 1 0 11705000 314068992 56254 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 76677 56254 850 747 0 75740 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 306708 KiB
Current children cumulated memory: 225016 KiB
[startup+51.1061 s]
/proc/loadavg: 3.28 2.49 2.29 5/264 113490
/proc/meminfo: memFree=108418632/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=325728 memory=255520 CPUtime=49.62 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 35901 0 0 0 4934 28 0 0 20 0 1 0 11705000 333545472 63880 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 131 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 81432 63880 850 747 0 80495 0
Current children cumulated CPU time: 49.62 s
Current children cumulated vsize: 325728 KiB
Current children cumulated memory: 255520 KiB
[startup+102.3 s]
/proc/loadavg: 3.82 2.76 2.39 5/263 113499
/proc/meminfo: memFree=106492800/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=330032 memory=282204 CPUtime=98.44 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 38445 0 0 0 9791 53 0 0 20 0 1 0 11705000 337952768 70551 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 352 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 82508 70551 850 747 0 81571 0
Current children cumulated CPU time: 98.44 s
Current children cumulated vsize: 330032 KiB
Current children cumulated memory: 282204 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 3.07 2.52 5/264 113897
/proc/meminfo: memFree=105038520/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=352020 memory=304800 CPUtime=155.92 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 43369 0 0 0 15514 78 0 0 20 0 1 0 11705000 360468480 76200 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 588 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 88005 76200 850 747 0 87068 0
Current children cumulated CPU time: 155.92 s
Current children cumulated vsize: 352020 KiB
Current children cumulated memory: 304800 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.26 2.62 5/264 113907
/proc/meminfo: memFree=103093468/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=357256 memory=309084 CPUtime=210.11 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 44595 0 0 0 20891 120 0 0 20 0 1 0 11705000 365830144 77271 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1153 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 89314 77271 850 747 0 88377 0
Current children cumulated CPU time: 210.11 s
Current children cumulated vsize: 357256 KiB
Current children cumulated memory: 309084 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.41 2.71 5/261 113917
/proc/meminfo: memFree=101011288/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=358020 memory=310192 CPUtime=266.51 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 44941 0 0 0 26496 155 0 0 20 0 1 0 11705000 366612480 77548 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1497 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 89505 77548 850 747 0 88568 0
Current children cumulated CPU time: 266.51 s
Current children cumulated vsize: 358020 KiB
Current children cumulated memory: 310192 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.55 2.81 5/262 114099
/proc/meminfo: memFree=99446744/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=359428 memory=311836 CPUtime=322.57 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 45484 0 0 0 32070 187 0 0 20 0 1 0 11705000 368054272 77959 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1877 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 89857 77959 850 747 0 88920 0
Current children cumulated CPU time: 322.57 s
Current children cumulated vsize: 359428 KiB
Current children cumulated memory: 311836 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.65 2.89 5/262 114109
/proc/meminfo: memFree=97251008/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=365088 memory=316648 CPUtime=378.66 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 46840 0 0 0 37626 240 0 0 20 0 1 0 11705000 373850112 79162 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2254 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 91272 79162 850 747 0 90335 0
Current children cumulated CPU time: 378.66 s
Current children cumulated vsize: 365088 KiB
Current children cumulated memory: 316648 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.75 2.97 5/264 114179
/proc/meminfo: memFree=95643552/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=367552 memory=319400 CPUtime=434.05 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 47579 0 0 0 43145 260 0 0 20 0 1 0 11705000 376373248 79850 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2701 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 91888 79850 850 747 0 90951 0
################
# More data... #
################
/proc/loadavg: 4.13 3.93 3.19 5/265 114214
/proc/meminfo: memFree=90128796/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=375492 memory=326224 CPUtime=601.73 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 49661 0 0 0 59822 351 0 0 20 0 1 0 11705000 384503808 81556 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3892 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 93873 81556 850 747 0 92936 0
Current children cumulated CPU time: 601.73 s
Current children cumulated vsize: 375492 KiB
Current children cumulated memory: 326224 KiB
[startup+702.3 s]
/proc/loadavg: 4.09 3.96 3.25 5/263 114224
/proc/meminfo: memFree=88825524/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=384896 memory=331596 CPUtime=660.87 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 51081 0 0 0 65707 380 0 0 20 0 1 0 11705000 394133504 82899 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3962 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 96224 82899 850 747 0 95287 0
Current children cumulated CPU time: 660.87 s
Current children cumulated vsize: 384896 KiB
Current children cumulated memory: 331596 KiB
[startup+762.3 s]
/proc/loadavg: 4.09 3.99 3.30 5/259 114235
/proc/meminfo: memFree=87174552/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=391040 memory=335228 CPUtime=720.08 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 52101 0 0 0 71611 397 0 0 20 0 1 0 11705000 400424960 83807 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4027 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 97760 83807 850 747 0 96823 0
Current children cumulated CPU time: 720.08 s
Current children cumulated vsize: 391040 KiB
Current children cumulated memory: 335228 KiB
[startup+822.3 s]
/proc/loadavg: 4.34 4.09 3.38 5/259 114246
/proc/meminfo: memFree=85023088/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=391304 memory=335508 CPUtime=779.39 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 52285 0 0 0 77518 421 0 0 20 0 1 0 11705000 400695296 83877 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4083 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 97826 83877 850 747 0 96889 0
Current children cumulated CPU time: 779.39 s
Current children cumulated vsize: 391304 KiB
Current children cumulated memory: 335508 KiB
[startup+882.3 s]
/proc/loadavg: 4.24 4.10 3.43 5/259 114256
/proc/meminfo: memFree=83573940/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=393616 memory=337160 CPUtime=838.12 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 52733 0 0 0 83357 455 0 0 20 0 1 0 11705000 403062784 84290 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4195 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 98404 84290 850 747 0 97467 0
Current children cumulated CPU time: 838.12 s
Current children cumulated vsize: 393616 KiB
Current children cumulated memory: 337160 KiB
[startup+942.3 s]
/proc/loadavg: 4.13 4.10 3.48 5/258 114267
/proc/meminfo: memFree=82028520/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=393872 memory=337468 CPUtime=896.23 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 52918 0 0 0 89148 475 0 0 20 0 1 0 11705000 403324928 84367 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4369 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 98468 84367 850 747 0 97531 0
Current children cumulated CPU time: 896.23 s
Current children cumulated vsize: 393872 KiB
Current children cumulated memory: 337468 KiB
[startup+1002.3 s]
/proc/loadavg: 4.17 4.12 3.53 5/257 114278
/proc/meminfo: memFree=80044260/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=394896 memory=338332 CPUtime=953.99 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 53272 0 0 0 94895 504 0 0 20 0 1 0 11705000 404373504 84583 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4578 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 98724 84583 850 747 0 97787 0
Current children cumulated CPU time: 953.99 s
Current children cumulated vsize: 394896 KiB
Current children cumulated memory: 338332 KiB
[startup+1062.3 s]
/proc/loadavg: 4.16 4.13 3.57 5/260 114293
/proc/meminfo: memFree=78564044/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=401812 memory=342576 CPUtime=1013.04 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 54473 0 0 0 100772 532 0 0 20 0 1 0 11705000 411455488 85644 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4659 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 100453 85644 850 747 0 99516 0
Current children cumulated CPU time: 1013.04 s
Current children cumulated vsize: 401812 KiB
Current children cumulated memory: 342576 KiB
[startup+1099.1 s]
# the end of solver process 113419 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1043.87 s, system=5.50968 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 4.12 4.12 3.58 5/260 114295
/proc/meminfo: memFree=78196592/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=401812 memory=342744 CPUtime=1025.91 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 54577 0 0 0 102057 534 0 0 20 0 1 0 11705000 411455488 85686 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4659 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 100453 85686 850 747 0 99516 0
Current children cumulated CPU time: 1025.91 s
Current children cumulated vsize: 401812 KiB
Current children cumulated memory: 342744 KiB
[startup+1088 s]*
/proc/loadavg: 4.10 4.12 3.58 5/260 114299
/proc/meminfo: memFree=77668084/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=402700 memory=343268 CPUtime=1038.68 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 54730 0 0 0 103329 539 0 0 20 0 1 0 11705000 412364800 85817 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4659 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 100675 85817 850 747 0 99738 0
Current children cumulated CPU time: 1038.68 s
Current children cumulated vsize: 402700 KiB
Current children cumulated memory: 343268 KiB
[startup+1094.4 s]
/proc/loadavg: 4.17 4.13 3.59 5/260 114299
/proc/meminfo: memFree=77629548/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=402700 memory=343268 CPUtime=1044.81 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 54747 0 0 0 103939 542 0 0 20 0 1 0 11705000 412364800 85817 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4683 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 100675 85817 850 747 0 99738 0
Current children cumulated CPU time: 1044.81 s
Current children cumulated vsize: 402700 KiB
Current children cumulated memory: 343268 KiB
[startup+1097.6 s]
/proc/loadavg: 4.17 4.13 3.59 5/260 114299
/proc/meminfo: memFree=77471880/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=402964 memory=343532 CPUtime=1048.01 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 54821 0 0 0 104253 548 0 0 20 0 1 0 11705000 412635136 85883 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4683 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 100741 85883 850 747 0 99804 0
Current children cumulated CPU time: 1048.01 s
Current children cumulated vsize: 402964 KiB
Current children cumulated memory: 343532 KiB
[startup+1098.4 s]
/proc/loadavg: 4.17 4.13 3.59 5/260 114300
/proc/meminfo: memFree=77453612/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=402964 memory=343532 CPUtime=1048.81 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 54821 0 0 0 104332 549 0 0 20 0 1 0 11705000 412635136 85883 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4683 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 100741 85883 850 747 0 99804 0
Current children cumulated CPU time: 1048.81 s
Current children cumulated vsize: 402964 KiB
Current children cumulated memory: 343532 KiB
[startup+1098.8 s]
/proc/loadavg: 4.17 4.13 3.59 5/260 114300
/proc/meminfo: memFree=77453612/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=402964 memory=343532 CPUtime=1049.21 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) R 113413 113419 113360 0 -1 4194304 54821 0 0 0 104372 549 0 0 20 0 1 0 11705000 412635136 85883 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4683 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 100741 85883 850 747 0 99804 0
Current children cumulated CPU time: 1049.21 s
Current children cumulated vsize: 402964 KiB
Current children cumulated memory: 343532 KiB
[startup+1099 s]*
/proc/loadavg: 4.15 4.13 3.60 4/260 114300
/proc/meminfo: memFree=77564456/131524600 swapFree=131071996/131071996
[pid=113419] ppid=113413 vsize=239700 memory=219568 CPUtime=1049.36 cores=4,6
/proc/113419/stat : 113419 (Exact_veripb2_n) D 113413 113419 113360 0 -1 4194304 54821 0 0 0 104386 550 0 0 20 0 1 0 11705000 245452800 54892 134679101440 4194304 7250417 140720789821232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4691 0 0 7950792 8015128 42242048 140720789828407 140720789828695 140720789828695 140720789835710 0
/proc/113419/statm: 59925 54892 850 747 0 58988 0
Current children cumulated CPU time: 1049.36 s
Current children cumulated vsize: 239700 KiB
Current children cumulated memory: 219568 KiB
Child status: 30
Real time (s): 1099.1
CPU time (s): 1049.38
CPU user time (s): 1043.87
CPU system time (s): 5.50968
CPU usage (%): 95.4759
Max. virtual memory (cumulated for all children) (KiB): 402964
Max. memory (cumulated for all children) (KiB): 343532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1043.87
system time used= 5.50968
maximum resident set size= 343604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17443784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1419
involuntary context switches= 1501
# summary of solver processes directly reported to runsolver:
# pid: 113419
# total CPU time (s): 1049.38
# total CPU user time (s): 1043.87
# total CPU system time (s): 5.50968
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.79163 second user time and 5.89312 second system time
The end
Begin job on nodeC031 at 2024-07-23 18:22:35 IDJOB=4440766 IDBENCH=146648 IDSOLVER=3080 FILE ID=nodeC031/4440766-1721751754 RUNJOBID= nodeC031-1721751754-113371 SLURM_JOB_ID= 7770646 Free space on /tmp= 890084 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/course-ass/normalized-ss97-4.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-4440766-1721751754/watcher-4440766-1721751754 -o /tmp/evaluation-result-4440766-1721751754/solver-4440766-1721751754 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721751754-113371 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440766-1721751754 --seed=989831405 HOME/instance-4440766-1721751754.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a0ea3bcd614a437876ff794ba0a9b553 RANDOM SEED=989831405 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 : 3527.640 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 : 3579.919 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 : 3619.220 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 : 3617.001 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 : 3537.550 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 : 3421.385 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 : 3583.396 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 : 3460.256 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: 110632836 kB MemAvailable: 129678564 kB Buffers: 173052 kB Cached: 19623836 kB SwapCached: 0 kB Active: 1138744 kB Inactive: 19040192 kB Active(anon): 1424 kB Inactive(anon): 418336 kB Active(file): 1137320 kB Inactive(file): 18621856 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18508 kB Writeback: 0 kB AnonPages: 380828 kB Mapped: 103148 kB Shmem: 37720 kB KReclaimable: 252400 kB Slab: 359424 kB SReclaimable: 252400 kB SUnreclaim: 107024 kB KernelStack: 3984 kB PageTables: 10028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 758284 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20064 kB HardwareCorrupted: 0 kB AnonHugePages: 247808 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 18:40:54