Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | SAT (TO) | 3070 | 3600.05 | 3635.94 |
| 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.09/0.14 o 4474 0.09/0.17 o 4419 0.09/0.20 o 4413 0.09/0.22 o 4411 0.20/0.23 o 4409 0.20/0.23 o 4378 0.20/0.23 o 4376 0.20/0.27 o 4327 0.20/0.31 o 4322 0.31/0.33 o 4321 0.40/0.51 o 4315 0.50/0.53 o 4221 0.50/0.53 o 4213 0.50/0.58 o 4212 0.59/0.61 o 4206 0.87/0.98 o 4202 1.27/1.35 o 4201 1.67/1.70 o 4200 1.87/1.96 o 4198 2.08/2.13 o 4197 2.28/2.37 o 4196 3.57/3.64 o 4191 3.57/3.64 o 4190 3.57/3.65 o 4168 3.98/4.06 o 4154 3.98/4.07 o 4153 3.98/4.08 o 4149 3.98/4.08 o 4148 3.98/4.10 o 4147 4.08/4.12 o 4144 4.16/4.23 o 4143 4.57/4.67 o 4141 5.77/5.85 o 4045 6.86/7.01 o 4035 6.97/7.01 o 4034 6.97/7.03 o 3894 7.16/7.27 o 3851 7.36/7.48 o 3844 8.26/8.31 o 3840 9.06/9.17 o 3835 9.15/9.20 o 3833 13.54/13.64 o 3809 17.05/17.18 o 3808 18.53/18.67 o 3686 26.12/26.24 o 3655 26.22/26.35 o 3654 26.22/26.36 o 3645 26.82/26.92 o 3642 28.61/28.77 o 3635 28.71/28.87 o 3632 29.21/29.38 o 3630 33.28/33.61 o 3629 40.96/41.36 o 3628 41.68/42.05 o 3624 48.24/48.61 o 3623 54.82/55.28 o 3621 57.73/58.13 o 3485 57.73/58.14 o 3483 80.93/81.65 o 3481 82.73/83.48 o 3480 85.72/86.49 o 3471 85.82/86.50 o 3470 85.92/86.62 o 3463 85.92/86.63 o 3462 87.32/88.10 o 3441 96.30/97.25 o 3440 100.54/101.55 o 3439 102.43/103.48 o 3435 103.12/104.11 o 3434 111.84/112.93 o 3419 115.58/116.71 o 3296 115.58/116.72 o 3290 121.04/122.28 o 3288 128.44/129.74 o 3285 128.44/129.74 o 3283 130.74/132.04 o 3281 160.73/162.17 o 3266 160.73/162.19 o 3122 198.84/200.78 o 3102 199.03/200.94 o 3099 216.25/218.47 o 3097 228.06/230.33 o 3094 230.84/233.13 o 3092 234.99/237.35 o 3091 239.64/242.09 o 3090 239.64/242.10 o 3089 244.49/246.94 o 3086 252.13/254.65 o 3080 252.13/254.66 o 3077 252.32/254.82 o 3076 252.54/255.03 o 3075 288.20/291.04 o 3073 288.20/291.04 o 3072 288.20/291.05 o 3071 309.63/312.62 o 3070 3600.03/3635.90 c Program interrupted by user. 3600.03/3635.90 s SATISFIABLE 3600.03/3635.90 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: 64096 MiB (60352 MiB free)
memory of node 1: 64473 MiB (60607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459567-1721903524/watcher-4459567-1721903524 -o /tmp/evaluation-result-4459567-1721903524/solver-4459567-1721903524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721903524-278100 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4459567-1721903524 --seed=535257828 HOME/instance-4459567-1721903524.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=278152, runsolver pid=278143
[startup+0.100931 s]*
/proc/loadavg: 1.10 1.11 1.15 6/247 278162
/proc/meminfo: memFree=123828596/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=27728 memory=5544 CPUtime=0.09 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 789 0 0 0 9 0 0 0 20 0 1 0 26342293 28393472 1386 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 6932 1386 770 747 0 5995 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27728 KiB
Current children cumulated memory: 5544 KiB
[startup+0.213981 s]*
/proc/loadavg: 1.10 1.11 1.15 5/247 278162
/proc/meminfo: memFree=123817492/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=28616 memory=6900 CPUtime=0.2 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 1041 0 0 0 20 0 0 0 20 0 1 0 26342293 29302784 1725 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 7154 1725 850 747 0 6217 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28616 KiB
Current children cumulated memory: 6900 KiB
[startup+0.314138 s]*
/proc/loadavg: 1.10 1.11 1.15 6/247 278162
/proc/meminfo: memFree=123803092/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=29180 memory=9740 CPUtime=0.31 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 1232 0 0 0 30 1 0 0 20 0 1 0 26342293 29880320 2435 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 7295 2435 850 747 0 6358 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29180 KiB
Current children cumulated memory: 9740 KiB
[startup+0.700267 s]
/proc/loadavg: 1.10 1.11 1.15 6/247 278162
/proc/meminfo: memFree=123761220/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=30508 memory=11056 CPUtime=0.68 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 1566 0 0 0 67 1 0 0 20 0 1 0 26342293 31240192 2764 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 7627 2764 850 747 0 6690 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30508 KiB
Current children cumulated memory: 11056 KiB
[startup+1.50028 s]
/proc/loadavg: 1.10 1.11 1.15 6/247 278162
/proc/meminfo: memFree=123758884/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=33280 memory=15740 CPUtime=1.47 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 2243 0 0 0 145 2 0 0 20 0 1 0 26342293 34078720 3935 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 8320 3935 850 747 0 7383 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 15740 KiB
[startup+3.11331 s]
/proc/loadavg: 1.10 1.11 1.15 3/234 278227
/proc/meminfo: memFree=123680704/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=36788 memory=23244 CPUtime=3.08 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 3091 0 0 0 303 5 0 0 20 0 1 0 26342293 37670912 5811 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 9197 5811 850 747 0 8260 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 23244 KiB
[startup+6.30028 s]
/proc/loadavg: 1.17 1.13 1.15 3/234 278228
/proc/meminfo: memFree=123521532/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=61748 memory=45700 CPUtime=6.26 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 6351 0 0 0 617 9 0 0 20 0 1 0 26342293 63229952 11425 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 15437 11425 850 747 0 14500 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 61748 KiB
Current children cumulated memory: 45700 KiB
[startup+12.7003 s]
/proc/loadavg: 1.24 1.14 1.16 3/234 278228
/proc/meminfo: memFree=123355268/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=70500 memory=63756 CPUtime=12.64 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 8353 0 0 0 1250 14 0 0 20 0 1 0 26342293 72192000 15939 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 17625 15939 850 747 0 16688 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 70500 KiB
Current children cumulated memory: 63756 KiB
[startup+25.5003 s]
/proc/loadavg: 1.47 1.20 1.18 3/234 278231
/proc/meminfo: memFree=123002688/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=105448 memory=84684 CPUtime=25.42 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 11578 0 0 0 2515 27 0 0 20 0 1 0 26342293 107978752 21171 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 26362 21171 850 747 0 25425 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 105448 KiB
Current children cumulated memory: 84684 KiB
[startup+51.1142 s]
/proc/loadavg: 1.79 1.30 1.21 3/234 278234
/proc/meminfo: memFree=122440036/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=111320 memory=92128 CPUtime=50.75 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 12950 0 0 0 5026 49 0 0 20 0 1 0 26342293 113991680 23032 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 21 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 27830 23032 850 747 0 26893 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 111320 KiB
Current children cumulated memory: 92128 KiB
[startup+102.3 s]
/proc/loadavg: 1.64 1.34 1.23 2/228 278277
/proc/meminfo: memFree=122559436/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=117364 memory=103052 CPUtime=101.34 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 14214 0 0 0 10048 86 0 0 20 0 1 0 26342293 120180736 25763 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 68 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 29341 25763 850 747 0 28404 0
Current children cumulated CPU time: 101.34 s
Current children cumulated vsize: 117364 KiB
Current children cumulated memory: 103052 KiB
[startup+162.3 s]
/proc/loadavg: 1.33 1.31 1.23 2/228 278287
/proc/meminfo: memFree=121860048/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=122644 memory=108432 CPUtime=160.92 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 15580 0 0 0 15957 135 0 0 20 0 1 0 26342293 125587456 27108 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 96 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 30661 27108 850 747 0 29724 0
Current children cumulated CPU time: 160.92 s
Current children cumulated vsize: 122644 KiB
Current children cumulated memory: 108432 KiB
[startup+222.3 s]
/proc/loadavg: 1.16 1.27 1.21 2/225 278299
/proc/meminfo: memFree=121357084/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=135544 memory=125728 CPUtime=220.1 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 18259 0 0 0 21839 171 0 0 20 0 1 0 26342293 138797056 31432 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 160 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 33886 31432 850 747 0 32949 0
Current children cumulated CPU time: 220.1 s
Current children cumulated vsize: 135544 KiB
Current children cumulated memory: 125728 KiB
[startup+282.3 s]
/proc/loadavg: 1.16 1.25 1.21 2/225 278309
/proc/meminfo: memFree=120721828/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=137400 memory=127352 CPUtime=279.58 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 18721 0 0 0 27739 219 0 0 20 0 1 0 26342293 140697600 31838 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 199 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 34350 31838 850 747 0 33413 0
Current children cumulated CPU time: 279.58 s
Current children cumulated vsize: 137400 KiB
Current children cumulated memory: 127352 KiB
[startup+342.3 s]
/proc/loadavg: 1.10 1.21 1.20 2/224 278319
/proc/meminfo: memFree=120176060/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=137852 memory=127988 CPUtime=339.05 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 18889 0 0 0 33644 261 0 0 20 0 1 0 26342293 141160448 31997 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 238 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 34463 31997 850 747 0 33526 0
Current children cumulated CPU time: 339.05 s
Current children cumulated vsize: 137852 KiB
Current children cumulated memory: 127988 KiB
[startup+402.3 s]
/proc/loadavg: 1.21 1.22 1.20 2/224 278331
/proc/meminfo: memFree=119657612/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=139384 memory=133456 CPUtime=398.58 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 19295 0 0 0 39561 297 0 0 20 0 1 0 26342293 142729216 33364 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 272 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 34846 33364 850 747 0 33909 0
Current children cumulated CPU time: 398.58 s
Current children cumulated vsize: 139384 KiB
Current children cumulated memory: 133456 KiB
[startup+462.3 s]
/proc/loadavg: 1.14 1.19 1.18 2/223 278341
/proc/meminfo: memFree=119022388/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=141820 memory=135760 CPUtime=458 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 19946 0 0 0 45454 346 0 0 20 0 1 0 26342293 145223680 33940 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 316 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 35455 33940 850 747 0 34518 0
################
# More data... #
################
Current children cumulated memory: 178144 KiB
[startup+2922.3 s]
/proc/loadavg: 1.10 1.11 1.09 2/224 279377
/proc/meminfo: memFree=99359840/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=220104 memory=179152 CPUtime=2891.53 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 31748 0 0 0 287439 1714 0 0 20 0 1 0 26342293 225386496 44788 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2419 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55026 44788 850 747 0 54089 0
Current children cumulated CPU time: 2891.53 s
Current children cumulated vsize: 220104 KiB
Current children cumulated memory: 179152 KiB
[startup+2982.3 s]
/proc/loadavg: 1.18 1.13 1.10 2/224 279390
/proc/meminfo: memFree=98939652/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=220104 memory=179268 CPUtime=2951.12 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 31830 0 0 0 293371 1741 0 0 20 0 1 0 26342293 225386496 44817 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2446 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55026 44817 850 747 0 54089 0
Current children cumulated CPU time: 2951.12 s
Current children cumulated vsize: 220104 KiB
Current children cumulated memory: 179268 KiB
[startup+3042.3 s]
/proc/loadavg: 1.13 1.12 1.09 2/223 279400
/proc/meminfo: memFree=98438428/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=220296 memory=179332 CPUtime=3010.76 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 31976 0 0 0 299301 1775 0 0 20 0 1 0 26342293 225583104 44833 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2470 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55074 44833 850 747 0 54137 0
Current children cumulated CPU time: 3010.76 s
Current children cumulated vsize: 220296 KiB
Current children cumulated memory: 179332 KiB
[startup+3102.3 s]
/proc/loadavg: 1.09 1.11 1.09 2/223 279411
/proc/meminfo: memFree=98029316/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=220296 memory=179584 CPUtime=3070.32 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 32079 0 0 0 305226 1806 0 0 20 0 1 0 26342293 225583104 44896 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2499 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55074 44896 850 747 0 54137 0
Current children cumulated CPU time: 3070.32 s
Current children cumulated vsize: 220296 KiB
Current children cumulated memory: 179584 KiB
[startup+3162.3 s]
/proc/loadavg: 1.17 1.13 1.10 2/224 279422
/proc/meminfo: memFree=97588200/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=220296 memory=179664 CPUtime=3129.83 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 32163 0 0 0 311145 1838 0 0 20 0 1 0 26342293 225583104 44916 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2536 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55074 44916 850 747 0 54137 0
Current children cumulated CPU time: 3129.83 s
Current children cumulated vsize: 220296 KiB
Current children cumulated memory: 179664 KiB
[startup+3222.3 s]
/proc/loadavg: 1.11 1.12 1.09 2/223 279816
/proc/meminfo: memFree=97100040/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=220808 memory=179932 CPUtime=3189.58 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 32341 0 0 0 317088 1870 0 0 20 0 1 0 26342293 226107392 44983 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2548 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55202 44983 850 747 0 54265 0
Current children cumulated CPU time: 3189.58 s
Current children cumulated vsize: 220808 KiB
Current children cumulated memory: 179932 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.11 1.09 2/223 279827
/proc/meminfo: memFree=96669792/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=221256 memory=180396 CPUtime=3249.05 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 32535 0 0 0 323009 1896 0 0 20 0 1 0 26342293 226566144 45099 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2588 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55314 45099 850 747 0 54377 0
Current children cumulated CPU time: 3249.05 s
Current children cumulated vsize: 221256 KiB
Current children cumulated memory: 180396 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.12 1.09 2/223 279837
/proc/meminfo: memFree=96242428/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=221256 memory=180500 CPUtime=3308.66 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 32614 0 0 0 328941 1925 0 0 20 0 1 0 26342293 226566144 45125 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2613 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55314 45125 850 747 0 54377 0
Current children cumulated CPU time: 3308.66 s
Current children cumulated vsize: 221256 KiB
Current children cumulated memory: 180500 KiB
[startup+3402.3 s]
/proc/loadavg: 1.09 1.11 1.09 2/225 280018
/proc/meminfo: memFree=95756592/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=221896 memory=180964 CPUtime=3368.16 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 32836 0 0 0 334854 1962 0 0 20 0 1 0 26342293 227221504 45241 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2649 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55474 45241 850 747 0 54537 0
Current children cumulated CPU time: 3368.16 s
Current children cumulated vsize: 221896 KiB
Current children cumulated memory: 180964 KiB
[startup+3462.3 s]
/proc/loadavg: 1.14 1.12 1.09 2/225 280028
/proc/meminfo: memFree=95229376/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=222152 memory=181428 CPUtime=3427.74 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 32982 0 0 0 340773 2001 0 0 20 0 1 0 26342293 227483648 45357 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2679 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55538 45357 850 747 0 54601 0
Current children cumulated CPU time: 3427.74 s
Current children cumulated vsize: 222152 KiB
Current children cumulated memory: 181428 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.11 1.09 2/225 280096
/proc/meminfo: memFree=94715900/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=222152 memory=181472 CPUtime=3487.25 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 33079 0 0 0 346689 2036 0 0 20 0 1 0 26342293 227483648 45368 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2714 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55538 45368 850 747 0 54601 0
Current children cumulated CPU time: 3487.25 s
Current children cumulated vsize: 222152 KiB
Current children cumulated memory: 181472 KiB
[startup+3582.3 s]
/proc/loadavg: 1.16 1.12 1.09 2/225 280109
/proc/meminfo: memFree=94222984/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=222152 memory=181576 CPUtime=3546.85 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 33175 0 0 0 352615 2070 0 0 20 0 1 0 26342293 227483648 45394 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2740 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55538 45394 850 747 0 54601 0
Current children cumulated CPU time: 3546.85 s
Current children cumulated vsize: 222152 KiB
Current children cumulated memory: 181576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3635.9 s]
/proc/loadavg: 1.14 1.12 1.09 2/225 280119
/proc/meminfo: memFree=93776124/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=222152 memory=181600 CPUtime=3600.03 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 33256 0 0 0 357897 2106 0 0 20 0 1 0 26342293 227483648 45400 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2771 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55538 45400 850 747 0 54601 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 222152 KiB
Current children cumulated memory: 181600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3635.94 s]
# the end of solver process 278152 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3578.97 s, system=21.0721 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3635.9 s]
/proc/loadavg: 1.14 1.12 1.09 2/225 280119
/proc/meminfo: memFree=93776124/131655788 swapFree=131061684/131071996
[pid=278152] ppid=278143 vsize=222152 memory=181600 CPUtime=3600.03 cores=4,6
/proc/278152/stat : 278152 (Exact_veripb2_n) R 278143 278152 275986 0 -1 4194304 33256 0 0 0 357897 2106 0 0 20 0 1 0 26342293 227483648 45400 134679101440 4194304 7250417 140735618861120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2771 0 0 7950792 8015128 27746304 140735618863931 140735618864219 140735618864219 140735618871230 0
/proc/278152/statm: 55538 45400 850 747 0 54601 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 222152 KiB
Current children cumulated memory: 181600 KiB
Child status: 10
Real time (s): 3635.94
CPU time (s): 3600.05
CPU user time (s): 3578.97
CPU system time (s): 21.0721
CPU usage (%): 99.0128
Max. virtual memory (cumulated for all children) (KiB): 222152
Max. memory (cumulated for all children) (KiB): 181600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.97
system time used= 21.0721
maximum resident set size= 213996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 59569776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1740
involuntary context switches= 5195
# summary of solver processes directly reported to runsolver:
# pid: 278152
# total CPU time (s): 3600.05
# total CPU user time (s): 3578.97
# total CPU system time (s): 21.0721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7614 second user time and 35.0464 second system time
The end
Begin job on nodeC011 at 2024-07-25 12:32:04 IDJOB=4459567 IDBENCH=178829 IDSOLVER=3080 FILE ID=nodeC011/4459567-1721903524 RUNJOBID= nodeC011-1721903524-278100 SLURM_JOB_ID= 8089382 Free space on /tmp= 723780 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.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-4459567-1721903524/watcher-4459567-1721903524 -o /tmp/evaluation-result-4459567-1721903524/solver-4459567-1721903524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721903524-278100 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4459567-1721903524 --seed=535257828 HOME/instance-4459567-1721903524.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d RANDOM SEED=535257828 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1198.717 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.141 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1194.313 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1199.163 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.105 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1200.505 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1307.710 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1198.243 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123863180 kB MemAvailable: 130011356 kB Buffers: 312232 kB Cached: 6665100 kB SwapCached: 164 kB Active: 1814900 kB Inactive: 5436548 kB Active(anon): 2040 kB Inactive(anon): 325092 kB Active(file): 1812860 kB Inactive(file): 5111456 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061684 kB Dirty: 27432 kB Writeback: 8 kB AnonPages: 274044 kB Mapped: 97712 kB Shmem: 52980 kB KReclaimable: 128116 kB Slab: 232628 kB SReclaimable: 128116 kB SUnreclaim: 104512 kB KernelStack: 3712 kB PageTables: 9680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 627864 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 10912 kB HardwareCorrupted: 0 kB AnonHugePages: 161792 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: 424776 kB DirectMap2M: 46665728 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 723776 MiB End job on nodeC011 at 2024-07-25 13:32:41