Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | SAT (TO) | 3070 | 3600.03 | 3607.4 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2/normalized-lp4l.opb |
| MD5SUM | b6d457804c0edb01048fac97a08f0a0d |
| 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 | 2967 |
| Best CPU time to get the best result obtained on this benchmark | 0.171659 |
| 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 | 1086 |
| Total number of constraints | 85 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 84 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 1086 |
| Number of terms in the objective function | 1086 |
| Biggest coefficient in the objective function | 283 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 197191 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 283 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 197191 |
| Number of bits of the biggest sum of numbers | 18 |
| 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.04 o 4513 0.00/0.04 o 4509 0.10/0.10 o 4499 0.10/0.14 o 4490 0.10/0.15 o 4489 0.20/0.25 o 4346 0.88/0.91 o 4344 0.99/1.05 o 4323 0.99/1.05 o 4317 0.99/1.06 o 4313 1.18/1.22 o 4308 1.68/1.76 o 4302 1.78/1.80 o 4226 1.78/1.81 o 4225 5.77/5.84 o 4218 5.77/5.85 o 4209 5.77/5.86 o 4206 5.77/5.88 o 4196 5.77/5.89 o 4192 5.87/5.90 o 4187 5.87/5.92 o 4185 5.97/6.06 o 4066 5.97/6.07 o 4053 7.37/7.47 o 4046 7.57/7.66 o 4013 7.67/7.75 o 4011 7.67/7.76 o 4009 7.67/7.77 o 4008 8.07/8.16 o 3897 8.36/8.43 o 3895 9.07/9.15 o 3892 9.07/9.16 o 3890 9.16/9.20 o 3887 9.66/9.70 o 3883 9.66/9.71 o 3882 10.07/10.18 o 3881 16.65/16.72 o 3877 16.65/16.73 o 3876 16.65/16.74 o 3857 16.65/16.78 o 3856 16.75/16.88 o 3852 18.05/18.14 o 3848 18.05/18.15 o 3847 18.05/18.17 o 3704 18.24/18.34 o 3703 18.24/18.37 o 3702 42.99/43.16 o 3689 43.18/43.39 o 3551 43.28/43.43 o 3543 43.28/43.47 o 3542 43.38/43.55 o 3426 43.38/43.57 o 3424 44.48/44.61 o 3417 44.48/44.62 o 3416 44.78/44.95 o 3415 51.97/52.17 o 3411 56.55/56.77 o 3410 56.75/56.97 o 3409 56.85/57.03 o 3408 56.85/57.03 o 3390 57.35/57.53 o 3387 57.85/58.01 o 3385 57.85/58.01 o 3384 58.74/58.91 o 3383 69.22/69.46 o 3382 69.22/69.49 o 3381 69.32/69.51 o 3380 81.30/81.57 o 3379 82.10/82.34 o 3378 82.10/82.36 o 3377 82.20/82.43 o 3376 82.20/82.46 o 3375 87.99/88.25 o 3372 119.83/120.15 o 3364 119.83/120.16 o 3363 123.22/123.56 o 3362 124.41/124.71 o 3361 126.21/126.59 o 3358 131.30/131.63 o 3337 136.39/136.72 o 3225 148.36/148.71 o 3224 154.76/155.13 o 3207 156.35/156.71 o 3206 156.45/156.82 o 3151 160.14/160.54 o 3142 163.03/163.46 o 3141 173.51/173.97 o 3139 177.20/177.65 o 3136 179.10/179.54 o 3134 179.10/179.58 o 3131 179.10/179.59 o 3130 184.19/184.69 o 3129 218.02/218.54 o 3127 219.52/220.06 o 3124 383.77/384.64 o 3121 385.27/386.19 o 3120 385.37/386.20 o 3118 385.37/386.22 o 3117 385.37/386.24 o 3115 385.37/386.25 o 3114 385.37/386.29 o 3113 385.47/386.31 o 3112 385.47/386.39 o 3111 406.02/406.95 o 3107 574.78/576.05 o 3095 879.76/881.69 o 3089 879.86/881.72 o 3076 879.86/881.74 o 3072 879.96/881.80 o 3071 978.66/980.75 o 3070 3600.02/3607.40 c Program interrupted by user. 3600.02/3607.40 s SATISFIABLE 3600.02/3607.40 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
OK 3070
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: 63968 MiB (57965 MiB free)
memory of node 1: 64473 MiB (61341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459549-1721903294/watcher-4459549-1721903294 -o /tmp/evaluation-result-4459549-1721903294/solver-4459549-1721903294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721903294-244104 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1768458406 HOME/instance-4459549-1721903294.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=244154, runsolver pid=244144
[startup+0.100396 s]*
/proc/loadavg: 2.60 3.77 4.01 7/262 244166
/proc/meminfo: memFree=122142688/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=28572 memory=7852 CPUtime=0.1 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 1262 0 0 0 10 0 0 0 20 0 1 0 26857785 29257728 1963 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 7143 1963 835 746 0 6207 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28572 KiB
Current children cumulated memory: 7852 KiB
[startup+0.206209 s]*
/proc/loadavg: 2.60 3.77 4.01 7/262 244166
/proc/meminfo: memFree=122127804/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=29364 memory=11480 CPUtime=0.2 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 1649 0 0 0 20 0 0 0 20 0 1 0 26857785 30068736 2870 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 7341 2870 835 746 0 6405 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29364 KiB
Current children cumulated memory: 11480 KiB
[startup+0.30612 s]*
/proc/loadavg: 2.60 3.77 4.01 7/262 244166
/proc/meminfo: memFree=122120380/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=30024 memory=12008 CPUtime=0.3 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 1815 0 0 0 30 0 0 0 20 0 1 0 26857785 30744576 3002 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 7506 3002 835 746 0 6570 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30024 KiB
Current children cumulated memory: 12008 KiB
[startup+0.700185 s]
/proc/loadavg: 2.60 3.77 4.01 4/255 244174
/proc/meminfo: memFree=122130968/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=32156 memory=18532 CPUtime=0.69 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 2369 0 0 0 69 0 0 0 20 0 1 0 26857785 32927744 4633 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 8039 4633 851 746 0 7103 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32156 KiB
Current children cumulated memory: 18532 KiB
[startup+1.50023 s]
/proc/loadavg: 2.56 3.74 4.00 3/248 244228
/proc/meminfo: memFree=122131620/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=34884 memory=25260 CPUtime=1.48 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 3029 0 0 0 148 0 0 0 20 0 1 0 26857785 35721216 6315 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 8721 6315 851 746 0 7785 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34884 KiB
Current children cumulated memory: 25260 KiB
[startup+3.10545 s]
/proc/loadavg: 2.56 3.74 4.00 3/248 244229
/proc/meminfo: memFree=122098568/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=55320 memory=40112 CPUtime=3.09 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 5499 0 0 0 308 1 0 0 20 0 1 0 26857785 56647680 10028 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 13830 10028 851 746 0 12894 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 55320 KiB
Current children cumulated memory: 40112 KiB
[startup+6.30023 s]
/proc/loadavg: 2.51 3.71 3.98 3/248 244230
/proc/meminfo: memFree=122059464/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=60984 memory=53004 CPUtime=6.27 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 6653 0 0 0 626 1 0 0 20 0 1 0 26857785 62447616 13251 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 15246 13251 851 746 0 14310 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60984 KiB
Current children cumulated memory: 53004 KiB
[startup+12.7002 s]
/proc/loadavg: 2.47 3.69 3.97 3/248 244230
/proc/meminfo: memFree=122009028/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=91812 memory=75896 CPUtime=12.65 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 9235 0 0 0 1262 3 0 0 20 0 1 0 26857785 94015488 18974 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 22953 18974 851 746 0 22017 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 91812 KiB
Current children cumulated memory: 75896 KiB
[startup+25.5002 s]
/proc/loadavg: 2.40 3.63 3.95 3/248 244232
/proc/meminfo: memFree=121989608/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=96692 memory=90700 CPUtime=25.42 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 10310 0 0 0 2538 4 0 0 20 0 1 0 26857785 99012608 22675 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 24173 22675 851 746 0 23237 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 96692 KiB
Current children cumulated memory: 90700 KiB
[startup+51.1054 s]
/proc/loadavg: 2.29 3.49 3.89 3/247 244237
/proc/meminfo: memFree=121974716/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=146792 memory=104072 CPUtime=50.97 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 12886 0 0 0 5092 5 0 0 20 0 1 0 26857785 150315008 26018 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 36698 26018 851 746 0 35762 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 146792 KiB
Current children cumulated memory: 104072 KiB
[startup+102.3 s]
/proc/loadavg: 1.74 3.16 3.76 2/238 244276
/proc/meminfo: memFree=122084224/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=159596 memory=113500 CPUtime=102.06 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 15348 0 0 0 10200 6 0 0 20 0 1 0 26857785 163426304 28375 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 39899 28375 851 746 0 38963 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 159596 KiB
Current children cumulated memory: 113500 KiB
[startup+162.3 s]
/proc/loadavg: 1.39 2.80 3.60 2/241 244346
/proc/meminfo: memFree=122080592/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=163500 memory=116628 CPUtime=161.93 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 16167 0 0 0 16187 6 0 0 20 0 1 0 26857785 167424000 29157 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 40875 29157 851 746 0 39939 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 163500 KiB
Current children cumulated memory: 116628 KiB
[startup+222.3 s]
/proc/loadavg: 1.30 2.51 3.45 2/240 244358
/proc/meminfo: memFree=122077392/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=166792 memory=119652 CPUtime=221.81 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 16988 0 0 0 22175 6 0 0 20 0 1 0 26857785 170795008 29913 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 41698 29913 851 746 0 40762 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 166792 KiB
Current children cumulated memory: 119652 KiB
[startup+282.3 s]
/proc/loadavg: 1.15 2.25 3.29 2/238 244370
/proc/meminfo: memFree=122068972/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=167816 memory=127792 CPUtime=281.67 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 17311 0 0 0 28161 6 0 0 20 0 1 0 26857785 171843584 31948 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 41954 31948 851 746 0 41018 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 167816 KiB
Current children cumulated memory: 127792 KiB
[startup+342.3 s]
/proc/loadavg: 1.23 2.06 3.16 2/235 244381
/proc/meminfo: memFree=122066792/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=170504 memory=129952 CPUtime=341.55 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 17877 0 0 0 34149 6 0 0 20 0 1 0 26857785 174596096 32488 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 42626 32488 851 746 0 41690 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 170504 KiB
Current children cumulated memory: 129952 KiB
[startup+402.3 s]
/proc/loadavg: 1.14 1.88 3.03 2/235 244392
/proc/meminfo: memFree=122063000/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=174920 memory=133168 CPUtime=401.43 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 18771 0 0 0 40136 7 0 0 20 0 1 0 26857785 179118080 33292 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 43730 33292 851 746 0 42794 0
Current children cumulated CPU time: 401.43 s
Current children cumulated vsize: 174920 KiB
Current children cumulated memory: 133168 KiB
[startup+462.3 s]
/proc/loadavg: 1.12 1.74 2.91 2/231 244403
/proc/meminfo: memFree=122059464/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=179084 memory=136648 CPUtime=461.31 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 19672 0 0 0 46124 7 0 0 20 0 1 0 26857785 183382016 34162 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 44771 34162 851 746 0 43835 0
################
# More data... #
################
Current children cumulated memory: 167360 KiB
[startup+2862.3 s]
/proc/loadavg: 1.08 1.11 1.22 2/231 245426
/proc/meminfo: memFree=122016104/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=208400 memory=167416 CPUtime=2856.43 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 28308 0 0 0 285634 9 0 0 20 0 1 0 26857785 213401600 41854 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 52100 41854 851 746 0 51164 0
Current children cumulated CPU time: 2856.43 s
Current children cumulated vsize: 208400 KiB
Current children cumulated memory: 167416 KiB
[startup+2922.3 s]
/proc/loadavg: 1.13 1.11 1.22 2/231 245439
/proc/meminfo: memFree=122015736/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=208400 memory=167488 CPUtime=2916.31 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 28377 0 0 0 291622 9 0 0 20 0 1 0 26857785 213401600 41872 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 52100 41872 851 746 0 51164 0
Current children cumulated CPU time: 2916.31 s
Current children cumulated vsize: 208400 KiB
Current children cumulated memory: 167488 KiB
[startup+2982.3 s]
/proc/loadavg: 1.10 1.11 1.21 2/231 245450
/proc/meminfo: memFree=122014208/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=208400 memory=168656 CPUtime=2976.19 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 28450 0 0 0 297610 9 0 0 20 0 1 0 26857785 213401600 42164 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 52100 42164 851 746 0 51164 0
Current children cumulated CPU time: 2976.19 s
Current children cumulated vsize: 208400 KiB
Current children cumulated memory: 168656 KiB
[startup+3042.3 s]
/proc/loadavg: 1.15 1.12 1.20 2/231 245460
/proc/meminfo: memFree=122009784/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=215500 memory=172820 CPUtime=3036.06 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 29564 0 0 0 303597 9 0 0 20 0 1 0 26857785 220672000 43205 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 53875 43205 851 746 0 52939 0
Current children cumulated CPU time: 3036.06 s
Current children cumulated vsize: 215500 KiB
Current children cumulated memory: 172820 KiB
[startup+3102.3 s]
/proc/loadavg: 1.11 1.11 1.19 2/231 245471
/proc/meminfo: memFree=122008444/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=217012 memory=174036 CPUtime=3095.95 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 29953 0 0 0 309585 10 0 0 20 0 1 0 26857785 222220288 43509 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 54253 43509 851 746 0 53317 0
Current children cumulated CPU time: 3095.95 s
Current children cumulated vsize: 217012 KiB
Current children cumulated memory: 174036 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 1.10 1.18 2/232 245486
/proc/meminfo: memFree=122006388/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=219084 memory=175584 CPUtime=3155.83 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 30397 0 0 0 315573 10 0 0 20 0 1 0 26857785 224342016 43896 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 54771 43896 851 746 0 53835 0
Current children cumulated CPU time: 3155.83 s
Current children cumulated vsize: 219084 KiB
Current children cumulated memory: 175584 KiB
[startup+3222.3 s]
/proc/loadavg: 1.14 1.11 1.18 2/232 245498
/proc/meminfo: memFree=122003188/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=219084 memory=178476 CPUtime=3215.71 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 30468 0 0 0 321561 10 0 0 20 0 1 0 26857785 224342016 44619 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 54771 44619 851 746 0 53835 0
Current children cumulated CPU time: 3215.71 s
Current children cumulated vsize: 219084 KiB
Current children cumulated memory: 178476 KiB
[startup+3282.3 s]
/proc/loadavg: 1.10 1.11 1.17 2/233 245509
/proc/meminfo: memFree=122000652/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=221648 memory=180768 CPUtime=3275.59 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 30939 0 0 0 327549 10 0 0 20 0 1 0 26857785 226967552 45192 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 55412 45192 851 746 0 54476 0
Current children cumulated CPU time: 3275.59 s
Current children cumulated vsize: 221648 KiB
Current children cumulated memory: 180768 KiB
[startup+3342.3 s]
/proc/loadavg: 1.15 1.12 1.17 2/233 245521
/proc/meminfo: memFree=122000356/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=221648 memory=180768 CPUtime=3335.46 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 31015 0 0 0 333536 10 0 0 20 0 1 0 26857785 226967552 45192 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 55412 45192 851 746 0 54476 0
Current children cumulated CPU time: 3335.46 s
Current children cumulated vsize: 221648 KiB
Current children cumulated memory: 180768 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.11 1.17 2/233 245531
/proc/meminfo: memFree=122000032/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=221648 memory=180768 CPUtime=3395.34 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 31125 0 0 0 339524 10 0 0 20 0 1 0 26857785 226967552 45192 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 55412 45192 851 746 0 54476 0
Current children cumulated CPU time: 3395.34 s
Current children cumulated vsize: 221648 KiB
Current children cumulated memory: 180768 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.10 1.16 2/232 245928
/proc/meminfo: memFree=122099740/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=221648 memory=180900 CPUtime=3455.22 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 31201 0 0 0 345512 10 0 0 20 0 1 0 26857785 226967552 45225 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 55412 45225 851 746 0 54476 0
Current children cumulated CPU time: 3455.22 s
Current children cumulated vsize: 221648 KiB
Current children cumulated memory: 180900 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 1.11 1.16 2/232 245939
/proc/meminfo: memFree=122098648/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=222160 memory=181724 CPUtime=3515.1 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 31378 0 0 0 351500 10 0 0 20 0 1 0 26857785 227491840 45431 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 55540 45431 851 746 0 54604 0
Current children cumulated CPU time: 3515.1 s
Current children cumulated vsize: 222160 KiB
Current children cumulated memory: 181724 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.11 1.16 2/232 245950
/proc/meminfo: memFree=122098492/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=222160 memory=181932 CPUtime=3574.98 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 31454 0 0 0 357488 10 0 0 20 0 1 0 26857785 227491840 45483 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 55540 45483 851 746 0 54604 0
Current children cumulated CPU time: 3574.98 s
Current children cumulated vsize: 222160 KiB
Current children cumulated memory: 181932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.4 s]
/proc/loadavg: 1.14 1.11 1.16 2/233 246124
/proc/meminfo: memFree=122097928/131524600 swapFree=131061696/131071996
[pid=244154] ppid=244144 vsize=222160 memory=181932 CPUtime=3600.02 cores=4,6
/proc/244154/stat : 244154 (Exact_nosoplex) R 244144 244154 241794 0 -1 4194304 31454 0 0 0 359992 10 0 0 20 0 1 0 26857785 227491840 45483 134679101440 4194304 7248369 140722161328480 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 18104320 140722161333168 140722161333347 140722161333347 140722161340358 0
/proc/244154/statm: 55540 45483 851 746 0 54604 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 222160 KiB
Current children cumulated memory: 181932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.4 s]
# the end of solver process 244154 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.93 s, system=0.102729 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3607.4
CPU time (s): 3600.03
CPU user time (s): 3599.93
CPU system time (s): 0.102729
CPU usage (%): 99.7957
Max. virtual memory (cumulated for all children) (KiB): 222160
Max. memory (cumulated for all children) (KiB): 181932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.93
system time used= 0.102729
maximum resident set size= 181932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31456
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43
involuntary context switches= 1629
# summary of solver processes directly reported to runsolver:
# pid: 244154
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.93
# total CPU system time (s): 0.102729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.96849 second user time and 16.2662 second system time
The end
Begin job on nodeC020 at 2024-07-25 12:28:14 IDJOB=4459549 IDBENCH=178829 IDSOLVER=3061 FILE ID=nodeC020/4459549-1721903294 RUNJOBID= nodeC020-1721903294-244104 SLURM_JOB_ID= 8089373 Free space on /tmp= 890080 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459549-1721903294/watcher-4459549-1721903294 -o /tmp/evaluation-result-4459549-1721903294/solver-4459549-1721903294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721903294-244104 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1768458406 HOME/instance-4459549-1721903294.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d RANDOM SEED=1768458406 nodeC020.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 : 3596.390 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 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 : 3568.305 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 : 7005.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3627.719 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 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 : 3640.136 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 : 7005.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3503.534 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 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 : 3637.485 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 : 7005.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3614.151 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.31 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 : 3601.269 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 : 7005.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122175844 kB MemAvailable: 129791864 kB Buffers: 315092 kB Cached: 8090712 kB SwapCached: 200 kB Active: 2667684 kB Inactive: 6000856 kB Active(anon): 2392 kB Inactive(anon): 314232 kB Active(file): 2665292 kB Inactive(file): 5686624 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061696 kB Dirty: 21612 kB Writeback: 0 kB AnonPages: 261700 kB Mapped: 109804 kB Shmem: 53880 kB KReclaimable: 207856 kB Slab: 323540 kB SReclaimable: 207856 kB SUnreclaim: 115684 kB KernelStack: 3968 kB PageTables: 10008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 586676 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18496 kB HardwareCorrupted: 0 kB AnonHugePages: 151552 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: 365268 kB DirectMap2M: 45545472 kB DirectMap1G: 90177536 kB Free space on /tmp at the end= 890080 MiB End job on nodeC020 at 2024-07-25 13:28:22