Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Picat 2025-06-16 | OPT | -50 | 594.01 | 595.745 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb |
| MD5SUM | 79c0a8033bde71aac2f7ead78fdb13b7 |
| 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 | -50 |
| Best CPU time to get the best result obtained on this benchmark | 593.296 |
| 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 | 1150 |
| Total number of constraints | 80258 |
| Number of constraints which are clauses | 80258 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1150 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1150 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1150 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c solving HOME/instance-4484903-1751302674.opb (Picat 3.9b6) 5.17/5.24 o -44 264.71/265.57 o -49 593.95/595.74 o -50 593.95/595.74 s OPTIMUM FOUND 593.95/595.74 v ~x34 ~x245 ~x456 ~x667 ~x878 ~x1089 ~x33 ~x244 ~x455 ~x666 593.95/595.74 v ~x877 ~x1088 ~x32 ~x243 ~x454 ~x665 ~x876 ~x1087 ~x31 ~x242 593.95/595.74 v ~x453 ~x664 ~x875 x1086 x30 ~x241 ~x452 ~x663 ~x874 ~x1085 593.95/595.74 v ~x29 ~x240 x451 ~x662 ~x873 ~x1084 ~x28 ~x239 ~x450 ~x661 593.95/595.74 v ~x872 ~x1083 ~x27 ~x238 ~x449 ~x660 ~x871 ~x1082 ~x26 ~x237 593.95/595.74 v ~x448 ~x659 ~x870 ~x1081 ~x25 ~x236 ~x447 ~x658 ~x869 ~x1080 593.95/595.74 v ~x24 ~x235 ~x446 ~x657 ~x868 ~x1079 ~x23 ~x234 ~x445 ~x656 593.95/595.74 v ~x867 ~x1078 ~x22 ~x233 ~x444 ~x655 ~x866 ~x1077 ~x21 ~x232 593.95/595.74 v ~x443 ~x654 ~x865 ~x1076 ~x20 ~x231 ~x442 ~x653 ~x864 ~x1075 593.95/595.74 v ~x19 ~x230 ~x441 ~x652 ~x863 ~x1074 ~x18 ~x229 ~x440 ~x651 593.95/595.74 v ~x862 ~x1073 ~x17 ~x228 ~x439 ~x650 ~x861 ~x1072 ~x16 ~x227 593.95/595.74 v ~x438 ~x649 ~x860 x1071 ~x15 ~x226 ~x437 ~x648 ~x859 ~x1070 593.95/595.74 v ~x14 ~x225 ~x436 x647 ~x858 ~x1069 ~x13 ~x224 ~x435 ~x646 593.95/595.74 v ~x857 ~x1068 ~x12 ~x223 ~x434 ~x645 ~x856 ~x1067 ~x11 ~x222 593.95/595.74 v ~x433 ~x644 ~x855 ~x1066 ~x10 ~x221 ~x432 ~x643 x854 ~x1065 593.95/595.74 v ~x9 ~x220 ~x431 ~x642 ~x853 ~x1064 ~x8 ~x219 ~x430 x641 593.95/595.74 v ~x852 ~x1063 ~x7 ~x218 ~x429 ~x640 ~x851 ~x1062 ~x6 ~x217 593.95/595.74 v ~x428 ~x639 ~x850 ~x1061 ~x5 x216 ~x427 ~x638 ~x849 ~x1060 593.95/595.74 v ~x4 ~x215 ~x426 ~x637 ~x848 ~x1059 x3 ~x214 ~x425 ~x636 593.95/595.74 v ~x847 ~x1058 ~x2 ~x213 ~x424 ~x635 ~x846 ~x1057 ~x1 ~x212 593.95/595.74 v ~x423 ~x634 ~x845 ~x1056 ~x211 ~x422 ~x633 ~x844 ~x1055 ~x210 593.95/595.74 v ~x421 ~x632 ~x843 ~x1054 ~x209 ~x420 ~x631 ~x842 ~x1053 ~x208 593.95/595.74 v ~x419 ~x630 ~x841 ~x1052 ~x207 x418 ~x629 ~x840 ~x1051 ~x206 593.95/595.74 v ~x417 ~x628 ~x839 ~x1050 ~x205 ~x416 ~x627 ~x838 ~x1049 ~x204 593.95/595.74 v ~x415 ~x626 ~x837 ~x1048 ~x203 ~x414 ~x625 ~x836 ~x1047 ~x202 593.95/595.74 v ~x413 ~x624 ~x835 ~x1046 ~x201 ~x412 ~x623 ~x834 ~x1045 ~x200 593.95/595.74 v ~x411 ~x622 ~x833 ~x1044 ~x199 x410 ~x621 ~x832 ~x1043 ~x198 593.95/595.74 v ~x409 ~x620 ~x831 ~x1042 ~x197 ~x408 ~x619 ~x830 ~x1041 ~x196 593.95/595.74 v ~x407 ~x618 x829 ~x1040 ~x195 ~x406 x617 ~x828 ~x1039 ~x194 593.95/595.74 v ~x405 ~x616 ~x827 x1038 ~x193 ~x404 ~x615 ~x826 ~x1037 ~x192 593.95/595.74 v ~x403 ~x614 ~x825 ~x1036 x191 ~x402 ~x613 ~x824 ~x1035 ~x190 593.95/595.74 v ~x401 ~x612 ~x823 ~x1034 ~x189 ~x400 ~x611 x822 ~x1033 ~x188 593.95/595.74 v ~x399 ~x610 ~x821 ~x1032 ~x187 ~x398 ~x609 ~x820 ~x1031 ~x186 593.95/595.74 v ~x397 ~x608 ~x819 ~x1030 ~x185 ~x396 ~x607 ~x818 ~x1029 ~x184 593.95/595.74 v ~x395 ~x606 ~x817 ~x1028 ~x183 ~x394 ~x605 ~x816 x1027 ~x182 593.95/595.74 v ~x393 ~x604 ~x815 ~x1026 ~x181 ~x392 ~x603 ~x814 ~x1025 ~x180 593.95/595.74 v ~x391 ~x602 ~x813 ~x1024 ~x179 ~x390 ~x601 ~x812 ~x1023 ~x178 593.95/595.74 v ~x389 ~x600 ~x811 ~x1022 ~x177 ~x388 ~x599 ~x810 ~x1021 ~x176 593.95/595.74 v ~x387 ~x598 ~x809 ~x1020 x175 ~x386 ~x597 ~x808 ~x1019 ~x174 593.95/595.74 v ~x385 ~x596 ~x807 ~x1018 ~x173 ~x384 ~x595 ~x806 ~x1017 ~x172 593.95/595.74 v ~x383 ~x594 ~x805 ~x1016 ~x171 ~x382 ~x593 ~x804 ~x1015 ~x170 593.95/595.74 v ~x381 ~x592 ~x803 ~x1014 ~x169 ~x380 ~x591 ~x802 ~x1013 ~x168 593.95/595.74 v ~x379 ~x590 ~x801 ~x1012 ~x167 ~x378 ~x589 ~x800 ~x1011 ~x166 593.95/595.74 v ~x377 ~x588 ~x799 ~x1010 ~x165 ~x376 x587 ~x798 ~x1009 ~x164 593.95/595.74 v ~x375 ~x586 ~x797 ~x1008 ~x163 ~x374 ~x585 ~x796 ~x1007 ~x162 593.95/595.74 v ~x373 ~x584 x795 ~x1006 ~x161 x372 ~x583 ~x794 ~x1005 ~x160 593.95/595.74 v ~x371 ~x582 ~x793 ~x1004 ~x159 ~x370 ~x581 ~x792 ~x1003 ~x158 593.95/595.74 v ~x369 ~x580 ~x791 ~x1002 ~x157 ~x368 ~x579 ~x790 ~x1001 ~x156 593.95/595.74 v ~x367 ~x578 ~x789 ~x1000 ~x155 ~x366 ~x577 ~x788 ~x999 ~x154 593.95/595.74 v ~x365 ~x576 ~x787 ~x998 ~x153 ~x364 ~x575 ~x786 ~x997 ~x152 593.95/595.74 v ~x363 ~x574 ~x785 ~x996 ~x151 ~x362 ~x573 ~x784 ~x995 ~x150 593.95/595.74 v ~x361 ~x572 ~x783 x994 ~x149 ~x360 ~x571 ~x782 ~x993 ~x148 593.95/595.74 v ~x359 ~x570 ~x781 ~x992 ~x147 ~x358 ~x569 ~x780 ~x991 ~x146 593.95/595.74 v ~x357 ~x568 ~x779 ~x990 ~x145 ~x356 x567 ~x778 ~x989 ~x144 593.95/595.74 v ~x355 ~x566 ~x777 ~x988 ~x143 ~x354 ~x565 x776 ~x987 x142 593.95/595.74 v x353 ~x564 ~x775 ~x986 ~x141 ~x352 ~x563 ~x774 ~x985 ~x140 593.95/595.74 v ~x351 ~x562 ~x773 ~x984 ~x139 ~x350 ~x561 ~x772 ~x983 ~x138 593.95/595.74 v ~x349 ~x560 ~x771 ~x982 ~x137 ~x348 ~x559 ~x770 ~x981 ~x136 593.95/595.74 v ~x347 ~x558 ~x769 ~x980 ~x135 ~x346 ~x557 ~x768 ~x979 ~x134 593.95/595.74 v ~x345 ~x556 ~x767 x978 ~x133 ~x344 ~x555 ~x766 ~x977 x132 593.95/595.74 v ~x343 ~x554 ~x765 ~x976 ~x131 ~x342 ~x553 ~x764 ~x975 ~x130 593.95/595.74 v ~x341 ~x552 ~x763 ~x974 ~x129 ~x340 ~x551 ~x762 ~x973 ~x128 593.95/595.74 v ~x339 ~x550 ~x761 ~x972 ~x127 ~x338 ~x549 ~x760 ~x971 ~x126 593.95/595.74 v ~x337 ~x548 ~x759 ~x970 ~x125 ~x336 ~x547 ~x758 ~x969 ~x124 593.95/595.74 v ~x335 ~x546 ~x757 ~x968 ~x123 ~x334 ~x545 ~x756 ~x967 ~x122 593.95/595.74 v x333 ~x544 ~x755 ~x966 ~x121 ~x332 ~x543 ~x754 ~x965 ~x120 593.95/595.74 v ~x331 ~x542 ~x753 x964 ~x119 ~x330 ~x541 ~x752 ~x963 ~x118 593.95/595.74 v ~x329 ~x540 ~x751 ~x962 ~x117 ~x328 x539 ~x750 ~x961 ~x116 593.95/595.74 v ~x327 ~x538 ~x749 ~x960 ~x115 ~x326 ~x537 ~x748 ~x959 ~x114 593.95/595.74 v ~x325 ~x536 ~x747 ~x958 ~x113 ~x324 ~x535 x746 ~x957 ~x112 593.95/595.74 v ~x323 ~x534 ~x745 ~x956 ~x111 x322 ~x533 ~x744 ~x955 ~x110 593.95/595.74 v ~x321 ~x532 ~x743 ~x954 ~x109 ~x320 ~x531 ~x742 ~x953 ~x108 593.95/595.74 v ~x319 ~x530 ~x741 ~x952 ~x107 ~x318 ~x529 ~x740 ~x951 ~x106 593.95/595.74 v ~x317 ~x528 ~x739 ~x950 ~x105 ~x316 ~x527 ~x738 ~x949 x104 593.95/595.74 v ~x315 ~x526 ~x737 ~x948 ~x103 ~x314 ~x525 ~x736 ~x947 ~x102 593.95/595.74 v ~x313 ~x524 ~x735 ~x946 ~x101 ~x312 ~x523 ~x734 ~x945 ~x100 593.95/595.74 v ~x311 ~x522 ~x733 ~x944 ~x99 ~x310 ~x521 x732 ~x943 ~x98 593.95/595.74 v ~x309 ~x520 ~x731 ~x942 ~x97 ~x308 ~x519 ~x730 ~x941 ~x96 593.95/595.74 v ~x307 ~x518 ~x729 ~x940 ~x95 ~x306 x517 ~x728 ~x939 ~x1150 593.95/595.74 v ~x94 ~x305 ~x516 ~x727 ~x938 ~x1149 ~x93 ~x304 ~x515 ~x726 593.95/595.74 v ~x937 ~x1148 ~x92 ~x303 ~x514 ~x725 ~x936 ~x1147 x91 ~x302 593.95/595.74 v ~x513 ~x724 ~x935 ~x1146 ~x90 ~x301 ~x512 ~x723 ~x934 ~x1145 593.95/595.74 v ~x89 ~x300 ~x511 ~x722 ~x933 ~x1144 ~x88 ~x299 ~x510 ~x721 593.95/595.74 v ~x932 ~x1143 ~x87 ~x298 ~x509 ~x720 ~x931 ~x1142 ~x86 ~x297 593.95/595.74 v ~x508 ~x719 x930 ~x1141 ~x85 ~x296 ~x507 ~x718 ~x929 ~x1140 593.95/595.74 v ~x84 ~x295 ~x506 ~x717 ~x928 ~x1139 ~x83 ~x294 ~x505 ~x716 593.95/595.74 v ~x927 ~x1138 ~x82 ~x293 ~x504 ~x715 ~x926 ~x1137 ~x81 ~x292 593.95/595.74 v ~x503 ~x714 ~x925 ~x1136 ~x80 ~x291 ~x502 ~x713 ~x924 ~x1135 593.95/595.74 v ~x79 ~x290 ~x501 ~x712 ~x923 ~x1134 ~x78 ~x289 ~x500 x711 593.95/595.74 v ~x922 ~x1133 ~x77 ~x288 ~x499 ~x710 ~x921 ~x1132 ~x76 x287 593.95/595.74 v ~x498 ~x709 ~x920 x1131 ~x75 ~x286 ~x497 ~x708 ~x919 ~x1130 593.95/595.74 v ~x74 ~x285 x496 ~x707 x918 ~x1129 ~x73 ~x284 ~x495 ~x706 593.95/595.74 v ~x917 ~x1128 ~x72 ~x283 ~x494 ~x705 ~x916 ~x1127 ~x71 ~x282 593.95/595.74 v ~x493 ~x704 ~x915 ~x1126 ~x70 ~x281 ~x492 ~x703 ~x914 ~x1125 593.95/595.74 v ~x69 ~x280 ~x491 ~x702 ~x913 ~x1124 ~x68 ~x279 ~x490 ~x701 593.95/595.74 v ~x912 ~x1123 ~x67 ~x278 ~x489 ~x700 ~x911 ~x1122 ~x66 ~x277 593.95/595.74 v ~x488 ~x699 ~x910 ~x1121 ~x65 ~x276 ~x487 ~x698 ~x909 ~x1120 593.95/595.74 v x64 ~x275 ~x486 ~x697 ~x908 ~x1119 ~x63 ~x274 ~x485 ~x696 593.95/595.74 v ~x907 ~x1118 ~x62 x273 ~x484 ~x695 ~x906 ~x1117 ~x61 ~x272 593.95/595.74 v ~x483 ~x694 ~x905 ~x1116 ~x60 ~x271 ~x482 ~x693 ~x904 ~x1115 593.95/595.74 v ~x59 ~x270 ~x481 ~x692 ~x903 x1114 ~x58 ~x269 ~x480 ~x691 593.95/595.74 v ~x902 ~x1113 ~x57 ~x268 ~x479 ~x690 ~x901 ~x1112 ~x56 ~x267 593.95/595.74 v ~x478 ~x689 ~x900 ~x1111 ~x55 ~x266 ~x477 ~x688 ~x899 ~x1110 593.95/595.74 v ~x54 ~x265 ~x476 ~x687 ~x898 ~x1109 ~x53 ~x264 ~x475 ~x686 593.95/595.74 v ~x897 ~x1108 ~x52 ~x263 ~x474 ~x685 ~x896 ~x1107 ~x51 ~x262 593.95/595.74 v ~x473 ~x684 ~x895 ~x1106 ~x50 ~x261 ~x472 ~x683 ~x894 ~x1105 593.95/595.74 v ~x49 ~x260 ~x471 ~x682 ~x893 ~x1104 ~x48 ~x259 x470 ~x681 593.95/595.74 v ~x892 ~x1103 ~x47 ~x258 ~x469 ~x680 x891 ~x1102 ~x46 ~x257 593.95/595.74 v ~x468 ~x679 ~x890 ~x1101 ~x45 ~x256 ~x467 ~x678 ~x889 ~x1100 593.95/595.74 v ~x44 ~x255 ~x466 x677 ~x888 ~x1099 ~x43 ~x254 ~x465 ~x676 593.95/595.74 v ~x887 ~x1098 ~x42 x253 ~x464 ~x675 ~x886 ~x1097 ~x41 ~x252 593.95/595.74 v ~x463 ~x674 ~x885 ~x1096 ~x40 ~x251 ~x462 ~x673 ~x884 ~x1095 593.95/595.74 v ~x39 ~x250 ~x461 ~x672 ~x883 ~x1094 ~x38 ~x249 ~x460 ~x671 593.95/595.74 v ~x882 ~x1093 ~x37 ~x248 ~x459 ~x670 ~x881 ~x1092 ~x36 ~x247 593.95/595.74 v ~x458 ~x669 ~x880 ~x1091 ~x35 ~x246 ~x457 ~x668 ~x879 ~x1090
OK -50
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: 63708 MiB (62843 MiB free)
memory of node 1: 64465 MiB (63733 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484903-1751302674/watcher-4484903-1751302674 -o /tmp/evaluation-result-4484903-1751302674/solver-4484903-1751302674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751302674-40338 --watchdog 3760 pb_picat HOME/instance-4484903-1751302674.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=40391, runsolver pid=40378
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.66 3.37 3.83 8/266 40394
/proc/meminfo: memFree=129525228/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2027148 memory=34544 CPUtime=0.08 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 1108 0 0 0 8 0 0 0 20 0 1 0 45945007 2075799552 8636 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 506787 8636 1568 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34544 KiB
[startup+0.205803 s]*
/proc/loadavg: 1.66 3.37 3.83 8/266 40394
/proc/meminfo: memFree=129446412/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2027148 memory=50928 CPUtime=0.19 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 1116 0 0 0 18 1 0 0 20 0 1 0 45945007 2075799552 12732 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 506787 12732 1568 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 50928 KiB
[startup+0.305692 s]*
/proc/loadavg: 1.66 3.37 3.83 8/266 40394
/proc/meminfo: memFree=129388628/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2027148 memory=69360 CPUtime=0.29 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 1125 0 0 0 28 1 0 0 20 0 1 0 45945007 2075799552 17340 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 506787 17340 1568 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 69360 KiB
[startup+0.700158 s]
/proc/loadavg: 1.66 3.37 3.83 8/266 40394
/proc/meminfo: memFree=129289380/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2042440 memory=127604 CPUtime=0.68 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 2854 0 0 0 65 3 0 0 20 0 1 0 45945007 2091458560 31901 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 510610 31901 1728 343 0 507674 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2042440 KiB
Current children cumulated memory: 127604 KiB
[startup+1.50013 s]
/proc/loadavg: 1.66 3.37 3.83 8/266 40394
/proc/meminfo: memFree=129229960/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2044620 memory=130452 CPUtime=1.47 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 6292 0 0 0 144 3 0 0 20 0 1 0 45945007 2093690880 32613 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 511155 32613 1728 343 0 508219 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2044620 KiB
Current children cumulated memory: 130452 KiB
[startup+3.10557 s]
/proc/loadavg: 1.85 3.38 3.83 8/266 40394
/proc/meminfo: memFree=129226604/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2044748 memory=130844 CPUtime=3.07 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 11123 0 0 0 303 4 0 0 20 0 1 0 45945007 2093821952 32711 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 511187 32711 1760 343 0 508251 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2044748 KiB
Current children cumulated memory: 130844 KiB
[startup+6.30012 s]
/proc/loadavg: 1.85 3.38 3.83 8/266 40394
/proc/meminfo: memFree=129224452/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2043852 memory=130204 CPUtime=6.26 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 18101 0 0 0 621 5 0 0 20 0 1 0 45945007 2092904448 32551 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 510963 32551 1760 343 0 508027 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2043852 KiB
Current children cumulated memory: 130204 KiB
[startup+12.7001 s]
/proc/loadavg: 2.18 3.40 3.83 7/266 40439
/proc/meminfo: memFree=129214740/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2047948 memory=133480 CPUtime=12.65 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 19891 0 0 0 1259 6 0 0 20 0 1 0 45945007 2097098752 33370 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 511987 33370 1760 343 0 509051 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2047948 KiB
Current children cumulated memory: 133480 KiB
[startup+25.5001 s]
/proc/loadavg: 2.54 3.44 3.84 7/267 40441
/proc/meminfo: memFree=129202532/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2047948 memory=134504 CPUtime=25.41 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 20166 0 0 0 2535 6 0 0 20 0 1 0 45945007 2097098752 33626 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 511987 33626 1760 343 0 509051 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2047948 KiB
Current children cumulated memory: 134504 KiB
[startup+51.1056 s]
/proc/loadavg: 3.04 3.48 3.85 7/267 40441
/proc/meminfo: memFree=129176204/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2052052 memory=137976 CPUtime=50.94 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 37270 0 0 0 5084 10 0 0 20 0 1 0 45945007 2101301248 34494 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 513013 34494 1760 343 0 510077 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2052052 KiB
Current children cumulated memory: 137976 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 3.59 3.86 7/267 40532
/proc/meminfo: memFree=129138328/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2056148 memory=138472 CPUtime=101.99 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 87004 0 0 0 10177 22 0 0 20 0 1 0 45945007 2105495552 34618 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514037 34618 1760 343 0 511101 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2056148 KiB
Current children cumulated memory: 138472 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 3.69 3.88 7/267 40578
/proc/meminfo: memFree=128289396/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2056148 memory=139180 CPUtime=161.81 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 141932 0 0 0 16146 35 0 0 20 0 1 0 45945007 2105495552 34795 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514037 34795 1760 343 0 511101 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2056148 KiB
Current children cumulated memory: 139180 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.77 3.90 7/268 40595
/proc/meminfo: memFree=128305556/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2060244 memory=143740 CPUtime=221.64 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 179830 0 0 0 22120 44 0 0 20 0 1 0 45945007 2109689856 35935 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 515061 35935 1760 343 0 512125 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2060244 KiB
Current children cumulated memory: 143740 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.84 3.92 7/266 40601
/proc/meminfo: memFree=128357996/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2054188 memory=138636 CPUtime=281.47 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 196957 0 0 0 28097 50 0 0 20 0 1 0 45945007 2103488512 34659 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 513547 34659 1760 343 0 510611 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 2054188 KiB
Current children cumulated memory: 138636 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.89 3.93 7/265 40604
/proc/meminfo: memFree=128335768/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2058284 memory=144780 CPUtime=341.3 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 197497 0 0 0 34080 50 0 0 20 0 1 0 45945007 2107682816 36195 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514571 36195 1760 343 0 511635 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 2058284 KiB
Current children cumulated memory: 144780 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.93 3.94 7/265 40606
/proc/meminfo: memFree=128334076/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2058284 memory=144780 CPUtime=401.14 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 197497 0 0 0 40064 50 0 0 20 0 1 0 45945007 2107682816 36195 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514571 36195 1760 343 0 511635 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 2058284 KiB
Current children cumulated memory: 144780 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.97 3.96 6/265 40653
/proc/meminfo: memFree=128264016/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2058284 memory=144780 CPUtime=460.96 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 197502 0 0 0 46046 50 0 0 20 0 1 0 45945007 2107682816 36195 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514571 36195 1760 343 0 511635 0
Current children cumulated CPU time: 460.96 s
Current children cumulated vsize: 2058284 KiB
Current children cumulated memory: 144780 KiB
[startup+522.3 s]
/proc/loadavg: 4.10 3.99 3.97 6/263 40655
/proc/meminfo: memFree=128257352/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2057236 memory=142396 CPUtime=520.78 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 204122 0 0 0 52025 53 0 0 20 0 1 0 45945007 2106609664 35599 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514309 35599 1760 343 0 511373 0
Current children cumulated CPU time: 520.78 s
Current children cumulated vsize: 2057236 KiB
Current children cumulated memory: 142396 KiB
[startup+582.3 s]
/proc/loadavg: 4.15 4.03 3.99 6/263 40657
/proc/meminfo: memFree=128259400/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2057236 memory=141992 CPUtime=580.59 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 209768 0 0 0 58004 55 0 0 20 0 1 0 45945007 2106609664 35498 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514309 35498 1760 343 0 511373 0
Current children cumulated CPU time: 580.59 s
Current children cumulated vsize: 2057236 KiB
Current children cumulated memory: 141992 KiB
[startup+595.745 s]
# the end of solver process 40391 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=593.447 s, system=0.56326 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.14 4.02 3.99 6/263 40657
/proc/meminfo: memFree=128265568/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2057236 memory=142376 CPUtime=587.07 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 209870 0 0 0 58652 55 0 0 20 0 1 0 45945007 2106609664 35594 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514309 35594 1760 343 0 511373 0
Current children cumulated CPU time: 587.07 s
Current children cumulated vsize: 2057236 KiB
Current children cumulated memory: 142376 KiB
[startup+592 s]*
/proc/loadavg: 4.13 4.02 3.99 6/263 40657
/proc/meminfo: memFree=128261472/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2057236 memory=142376 CPUtime=590.27 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 209870 0 0 0 58972 55 0 0 20 0 1 0 45945007 2106609664 35594 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514309 35594 1760 343 0 511373 0
Current children cumulated CPU time: 590.27 s
Current children cumulated vsize: 2057236 KiB
Current children cumulated memory: 142376 KiB
[startup+593.6 s]
/proc/loadavg: 4.13 4.02 3.99 6/263 40657
/proc/meminfo: memFree=128261496/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2057236 memory=142376 CPUtime=591.86 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 209870 0 0 0 59131 55 0 0 20 0 1 0 45945007 2106609664 35594 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514309 35594 1760 343 0 511373 0
Current children cumulated CPU time: 591.86 s
Current children cumulated vsize: 2057236 KiB
Current children cumulated memory: 142376 KiB
[startup+594.4 s]
/proc/loadavg: 4.13 4.02 3.99 6/262 40657
/proc/meminfo: memFree=128261496/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2057236 memory=142376 CPUtime=592.65 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 209870 0 0 0 59210 55 0 0 20 0 1 0 45945007 2106609664 35594 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514309 35594 1760 343 0 511373 0
Current children cumulated CPU time: 592.65 s
Current children cumulated vsize: 2057236 KiB
Current children cumulated memory: 142376 KiB
[startup+595.2 s]
/proc/loadavg: 4.13 4.02 3.99 6/262 40657
/proc/meminfo: memFree=128261496/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2057236 memory=142504 CPUtime=593.45 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 209897 0 0 0 59290 55 0 0 20 0 1 0 45945007 2106609664 35626 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514309 35626 1760 343 0 511373 0
Current children cumulated CPU time: 593.45 s
Current children cumulated vsize: 2057236 KiB
Current children cumulated memory: 142504 KiB
[startup+595.6 s]
/proc/loadavg: 4.13 4.02 3.99 6/262 40657
/proc/meminfo: memFree=128261496/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2057236 memory=142504 CPUtime=593.85 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 209897 0 0 0 59330 55 0 0 20 0 1 0 45945007 2106609664 35626 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514309 35626 1760 343 0 511373 0
Current children cumulated CPU time: 593.85 s
Current children cumulated vsize: 2057236 KiB
Current children cumulated memory: 142504 KiB
[startup+595.7 s]
/proc/loadavg: 4.13 4.02 3.99 6/262 40657
/proc/meminfo: memFree=128261496/131249988 swapFree=33010684/33010684
[pid=40391] ppid=40378 vsize=2057236 memory=142504 CPUtime=593.95 cores=5,7
/proc/40391/stat : 40391 (pb_picat) R 40378 40391 40325 0 -1 4194304 209897 0 0 0 59340 55 0 0 20 0 1 0 45945007 2106609664 35626 18446744073709551615 93956867260416 93956868661997 140727264484176 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93956868933424 93956870807728 93956886999040 140727264491934 140727264492010 140727264492010 140727264497612 0
/proc/40391/statm: 514309 35626 1760 343 0 511373 0
Current children cumulated CPU time: 593.95 s
Current children cumulated vsize: 2057236 KiB
Current children cumulated memory: 142504 KiB
Child status: 0
Real time (s): 595.745
CPU time (s): 594.01
CPU user time (s): 593.447
CPU system time (s): 0.56326
CPU usage (%): 99.7087
Max. virtual memory (cumulated for all children) (KiB): 2068436
Max. memory (cumulated for all children) (KiB): 151864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 593.447
system time used= 0.56326
maximum resident set size= 153912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209909
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= 106
involuntary context switches= 547
# summary of solver processes directly reported to runsolver:
# pid: 40391
# total CPU time (s): 594.01
# total CPU user time (s): 593.447
# total CPU system time (s): 0.56326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.884634 second user time and 2.72785 second system time
The end
Begin job on nodeC020 at 2025-06-30 18:57:54 IDJOB=4484903 IDBENCH=146675 IDSOLVER=3346 FILE ID=nodeC020/4484903-1751302674 RUNJOBID= nodeC020-1751302674-40338 SLURM_JOB_ID= 9594285 Free space on /tmp= 433060 MiB SOLVER NAME= Picat 2025-06-16 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb COMMAND LINE= pb_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484903-1751302674/watcher-4484903-1751302674 -o /tmp/evaluation-result-4484903-1751302674/solver-4484903-1751302674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751302674-40338 --watchdog 3760 pb_picat HOME/instance-4484903-1751302674.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79c0a8033bde71aac2f7ead78fdb13b7 RANDOM SEED=1393933509 nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3599.899 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3599.902 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3855.755 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3600.859 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3599.903 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3599.893 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3599.624 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3600.941 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 129624376 kB MemAvailable: 129789800 kB Buffers: 3280 kB Cached: 970696 kB SwapCached: 0 kB Active: 385940 kB Inactive: 663160 kB Active(anon): 93304 kB Inactive(anon): 0 kB Active(file): 292636 kB Inactive(file): 663160 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20672 kB Writeback: 0 kB AnonPages: 78320 kB Mapped: 102964 kB Shmem: 18056 kB KReclaimable: 97736 kB Slab: 184920 kB SReclaimable: 97736 kB SUnreclaim: 87184 kB KernelStack: 4112 kB PageTables: 2920 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 340252 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433040 MiB End job on nodeC020 at 2025-06-30 19:07:50