Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| pb_picat 2025-07-11 | OPT | -50 | 593.296 | 594.777 |
| 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-4528360-1752237943.opb (Picat 3.9b11, 7/10/2025) 5.16/5.24 o -44 265.33/266.04 o -49 593.21/594.77 o -50 593.21/594.77 s OPTIMUM FOUND 593.21/594.77 v ~x855 ~x1066 ~x10 ~x221 ~x432 ~x643 x854 ~x1065 ~x9 ~x220 593.21/594.77 v ~x431 ~x642 ~x853 ~x1064 ~x8 ~x219 ~x430 x641 ~x852 ~x1063 593.21/594.77 v ~x7 ~x218 ~x429 ~x640 ~x851 ~x1062 ~x6 ~x217 ~x428 ~x639 593.21/594.77 v ~x850 ~x1061 ~x5 x216 ~x427 ~x638 ~x849 ~x1060 ~x4 ~x215 593.21/594.77 v ~x426 ~x637 ~x848 ~x1059 x3 ~x214 ~x425 ~x636 ~x847 ~x1058 593.21/594.77 v ~x2 ~x213 ~x424 ~x635 ~x846 ~x1057 ~x1 ~x212 ~x423 ~x634 593.21/594.77 v ~x845 ~x1056 ~x211 ~x422 ~x633 ~x844 ~x1055 ~x210 ~x421 ~x632 593.21/594.77 v ~x843 ~x1054 ~x209 ~x420 ~x631 ~x842 ~x1053 ~x208 ~x419 ~x630 593.21/594.77 v ~x841 ~x1052 ~x207 x418 ~x629 ~x840 ~x1051 ~x206 ~x417 ~x628 593.21/594.77 v ~x839 ~x1050 ~x205 ~x416 ~x627 ~x838 ~x1049 ~x204 ~x415 ~x626 593.21/594.77 v ~x837 ~x1048 ~x203 ~x414 ~x625 ~x836 ~x1047 ~x202 ~x413 ~x624 593.21/594.77 v ~x835 ~x1046 ~x201 ~x412 ~x623 ~x834 ~x1045 ~x200 ~x411 ~x622 593.21/594.77 v ~x833 ~x1044 ~x199 x410 ~x621 ~x832 ~x1043 ~x198 ~x409 ~x620 593.21/594.77 v ~x831 ~x1042 ~x197 ~x408 ~x619 ~x830 ~x1041 ~x196 ~x407 ~x618 593.21/594.77 v x829 ~x1040 ~x195 ~x406 x617 ~x828 ~x1039 ~x194 ~x405 ~x616 593.21/594.77 v ~x827 x1038 ~x193 ~x404 ~x615 ~x826 ~x1037 ~x192 ~x403 ~x614 593.21/594.77 v ~x825 ~x1036 x191 ~x402 ~x613 ~x824 ~x1035 ~x190 ~x401 ~x612 593.21/594.77 v ~x823 ~x1034 ~x189 ~x400 ~x611 x822 ~x1033 ~x188 ~x399 ~x610 593.21/594.77 v ~x821 ~x1032 ~x187 ~x398 ~x609 ~x820 ~x1031 ~x186 ~x397 ~x608 593.21/594.77 v ~x819 ~x1030 ~x185 ~x396 ~x607 ~x818 ~x1029 ~x184 ~x395 ~x606 593.21/594.77 v ~x817 ~x1028 ~x183 ~x394 ~x605 ~x816 x1027 ~x182 ~x393 ~x604 593.21/594.77 v ~x815 ~x1026 ~x181 ~x392 ~x603 ~x814 ~x1025 ~x180 ~x391 ~x602 593.21/594.77 v ~x813 ~x1024 ~x179 ~x390 ~x601 ~x812 ~x1023 ~x178 ~x389 ~x600 593.21/594.77 v ~x811 ~x1022 ~x177 ~x388 ~x599 ~x810 ~x1021 ~x176 ~x387 ~x598 593.21/594.77 v ~x809 ~x1020 x175 ~x386 ~x597 ~x808 ~x1019 ~x174 ~x385 ~x596 593.21/594.77 v ~x807 ~x1018 ~x173 ~x384 ~x595 ~x806 ~x1017 ~x172 ~x383 ~x594 593.21/594.77 v ~x805 ~x1016 ~x171 ~x382 ~x593 ~x804 ~x1015 ~x170 ~x381 ~x592 593.21/594.77 v ~x803 ~x1014 ~x169 ~x380 ~x591 ~x802 ~x1013 ~x168 ~x379 ~x590 593.21/594.77 v ~x801 ~x1012 ~x167 ~x378 ~x589 ~x800 ~x1011 ~x166 ~x377 ~x588 593.21/594.77 v ~x799 ~x1010 ~x165 ~x376 x587 ~x798 ~x1009 ~x164 ~x375 ~x586 593.21/594.77 v ~x797 ~x1008 ~x163 ~x374 ~x585 ~x796 ~x1007 ~x162 ~x373 ~x584 593.21/594.77 v x795 ~x1006 ~x161 x372 ~x583 ~x794 ~x1005 ~x160 ~x371 ~x582 593.21/594.77 v ~x793 ~x1004 ~x159 ~x370 ~x581 ~x792 ~x1003 ~x158 ~x369 ~x580 593.21/594.77 v ~x791 ~x1002 ~x157 ~x368 ~x579 ~x790 ~x1001 ~x156 ~x367 ~x578 593.21/594.77 v ~x789 ~x1000 ~x155 ~x366 ~x577 ~x788 ~x999 ~x154 ~x365 ~x576 593.21/594.77 v ~x787 ~x998 ~x153 ~x364 ~x575 ~x786 ~x997 ~x152 ~x363 ~x574 593.21/594.77 v ~x785 ~x996 ~x151 ~x362 ~x573 ~x784 ~x995 ~x150 ~x361 ~x572 593.21/594.77 v ~x783 x994 ~x149 ~x360 ~x571 ~x782 ~x993 ~x148 ~x359 ~x570 593.21/594.77 v ~x781 ~x992 ~x147 ~x358 ~x569 ~x780 ~x991 ~x146 ~x357 ~x568 593.21/594.77 v ~x779 ~x990 ~x145 ~x356 x567 ~x778 ~x989 ~x144 ~x355 ~x566 593.21/594.77 v ~x777 ~x988 ~x143 ~x354 ~x565 x776 ~x987 x142 x353 ~x564 593.21/594.77 v ~x775 ~x986 ~x141 ~x352 ~x563 ~x774 ~x985 ~x140 ~x351 ~x562 593.21/594.77 v ~x773 ~x984 ~x139 ~x350 ~x561 ~x772 ~x983 ~x138 ~x349 ~x560 593.21/594.77 v ~x771 ~x982 ~x137 ~x348 ~x559 ~x770 ~x981 ~x136 ~x347 ~x558 593.21/594.77 v ~x769 ~x980 ~x135 ~x346 ~x557 ~x768 ~x979 ~x134 ~x345 ~x556 593.21/594.77 v ~x767 x978 ~x133 ~x344 ~x555 ~x766 ~x977 x132 ~x343 ~x554 593.21/594.77 v ~x765 ~x976 ~x131 ~x342 ~x553 ~x764 ~x975 ~x130 ~x341 ~x552 593.21/594.77 v ~x763 ~x974 ~x129 ~x340 ~x551 ~x762 ~x973 ~x128 ~x339 ~x550 593.21/594.77 v ~x761 ~x972 ~x127 ~x338 ~x549 ~x760 ~x971 ~x126 ~x337 ~x548 593.21/594.77 v ~x759 ~x970 ~x125 ~x336 ~x547 ~x758 ~x969 ~x124 ~x335 ~x546 593.21/594.77 v ~x757 ~x968 ~x123 ~x334 ~x545 ~x756 ~x967 ~x122 x333 ~x544 593.21/594.77 v ~x755 ~x966 ~x121 ~x332 ~x543 ~x754 ~x965 ~x120 ~x331 ~x542 593.21/594.77 v ~x753 x964 ~x119 ~x330 ~x541 ~x752 ~x963 ~x118 ~x329 ~x540 593.21/594.77 v ~x751 ~x962 ~x117 ~x328 x539 ~x750 ~x961 ~x116 ~x327 ~x538 593.21/594.77 v ~x749 ~x960 ~x115 ~x326 ~x537 ~x748 ~x959 ~x114 ~x325 ~x536 593.21/594.77 v ~x747 ~x958 ~x113 ~x324 ~x535 x746 ~x957 ~x112 ~x323 ~x534 593.21/594.77 v ~x745 ~x956 ~x111 x322 ~x533 ~x744 ~x955 ~x110 ~x321 ~x532 593.21/594.77 v ~x743 ~x954 ~x109 ~x320 ~x531 ~x742 ~x953 ~x108 ~x319 ~x530 593.21/594.77 v ~x741 ~x952 ~x107 ~x318 ~x529 ~x740 ~x951 ~x106 ~x317 ~x528 593.21/594.77 v ~x739 ~x950 ~x105 ~x316 ~x527 ~x738 ~x949 x104 ~x315 ~x526 593.21/594.77 v ~x737 ~x948 ~x103 ~x314 ~x525 ~x736 ~x947 ~x102 ~x313 ~x524 593.21/594.77 v ~x735 ~x946 ~x101 ~x312 ~x523 ~x734 ~x945 ~x100 ~x311 ~x522 593.21/594.77 v ~x733 ~x944 ~x99 ~x310 ~x521 x732 ~x943 ~x98 ~x309 ~x520 593.21/594.77 v ~x731 ~x942 ~x97 ~x308 ~x519 ~x730 ~x941 ~x96 ~x307 ~x518 593.21/594.77 v ~x729 ~x940 ~x95 ~x306 x517 ~x728 ~x939 ~x1150 ~x94 ~x305 593.21/594.77 v ~x516 ~x727 ~x938 ~x1149 ~x93 ~x304 ~x515 ~x726 ~x937 ~x1148 593.21/594.77 v ~x92 ~x303 ~x514 ~x725 ~x936 ~x1147 x91 ~x302 ~x513 ~x724 593.21/594.77 v ~x935 ~x1146 ~x90 ~x301 ~x512 ~x723 ~x934 ~x1145 ~x89 ~x300 593.21/594.77 v ~x511 ~x722 ~x933 ~x1144 ~x88 ~x299 ~x510 ~x721 ~x932 ~x1143 593.21/594.77 v ~x87 ~x298 ~x509 ~x720 ~x931 ~x1142 ~x86 ~x297 ~x508 ~x719 593.21/594.77 v x930 ~x1141 ~x85 ~x296 ~x507 ~x718 ~x929 ~x1140 ~x84 ~x295 593.21/594.77 v ~x506 ~x717 ~x928 ~x1139 ~x83 ~x294 ~x505 ~x716 ~x927 ~x1138 593.21/594.77 v ~x82 ~x293 ~x504 ~x715 ~x926 ~x1137 ~x81 ~x292 ~x503 ~x714 593.21/594.77 v ~x925 ~x1136 ~x80 ~x291 ~x502 ~x713 ~x924 ~x1135 ~x79 ~x290 593.21/594.77 v ~x501 ~x712 ~x923 ~x1134 ~x78 ~x289 ~x500 x711 ~x922 ~x1133 593.21/594.77 v ~x77 ~x288 ~x499 ~x710 ~x921 ~x1132 ~x76 x287 ~x498 ~x709 593.21/594.77 v ~x920 x1131 ~x75 ~x286 ~x497 ~x708 ~x919 ~x1130 ~x74 ~x285 593.21/594.77 v x496 ~x707 x918 ~x1129 ~x73 ~x284 ~x495 ~x706 ~x917 ~x1128 593.21/594.77 v ~x72 ~x283 ~x494 ~x705 ~x916 ~x1127 ~x71 ~x282 ~x493 ~x704 593.21/594.77 v ~x915 ~x1126 ~x70 ~x281 ~x492 ~x703 ~x914 ~x1125 ~x69 ~x280 593.21/594.77 v ~x491 ~x702 ~x913 ~x1124 ~x68 ~x279 ~x490 ~x701 ~x912 ~x1123 593.21/594.77 v ~x67 ~x278 ~x489 ~x700 ~x911 ~x1122 ~x66 ~x277 ~x488 ~x699 593.21/594.77 v ~x910 ~x1121 ~x65 ~x276 ~x487 ~x698 ~x909 ~x1120 x64 ~x275 593.21/594.77 v ~x486 ~x697 ~x908 ~x1119 ~x63 ~x274 ~x485 ~x696 ~x907 ~x1118 593.21/594.77 v ~x62 x273 ~x484 ~x695 ~x906 ~x1117 ~x61 ~x272 ~x483 ~x694 593.21/594.77 v ~x905 ~x1116 ~x60 ~x271 ~x482 ~x693 ~x904 ~x1115 ~x59 ~x270 593.21/594.77 v ~x481 ~x692 ~x903 x1114 ~x58 ~x269 ~x480 ~x691 ~x902 ~x1113 593.21/594.77 v ~x57 ~x268 ~x479 ~x690 ~x901 ~x1112 ~x56 ~x267 ~x478 ~x689 593.21/594.77 v ~x900 ~x1111 ~x55 ~x266 ~x477 ~x688 ~x899 ~x1110 ~x54 ~x265 593.21/594.77 v ~x476 ~x687 ~x898 ~x1109 ~x53 ~x264 ~x475 ~x686 ~x897 ~x1108 593.21/594.77 v ~x52 ~x263 ~x474 ~x685 ~x896 ~x1107 ~x51 ~x262 ~x473 ~x684 593.21/594.77 v ~x895 ~x1106 ~x50 ~x261 ~x472 ~x683 ~x894 ~x1105 ~x49 ~x260 593.21/594.77 v ~x471 ~x682 ~x893 ~x1104 ~x48 ~x259 x470 ~x681 ~x892 ~x1103 593.21/594.77 v ~x47 ~x258 ~x469 ~x680 x891 ~x1102 ~x46 ~x257 ~x468 ~x679 593.21/594.77 v ~x890 ~x1101 ~x45 ~x256 ~x467 ~x678 ~x889 ~x1100 ~x44 ~x255 593.21/594.77 v ~x466 x677 ~x888 ~x1099 ~x43 ~x254 ~x465 ~x676 ~x887 ~x1098 593.21/594.77 v ~x42 x253 ~x464 ~x675 ~x886 ~x1097 ~x41 ~x252 ~x463 ~x674 593.21/594.77 v ~x885 ~x1096 ~x40 ~x251 ~x462 ~x673 ~x884 ~x1095 ~x39 ~x250 593.21/594.77 v ~x461 ~x672 ~x883 ~x1094 ~x38 ~x249 ~x460 ~x671 ~x882 ~x1093 593.21/594.77 v ~x37 ~x248 ~x459 ~x670 ~x881 ~x1092 ~x36 ~x247 ~x458 ~x669 593.21/594.77 v ~x880 ~x1091 ~x35 ~x246 ~x457 ~x668 ~x879 ~x1090 ~x34 ~x245 593.21/594.77 v ~x456 ~x667 ~x878 ~x1089 ~x33 ~x244 ~x455 ~x666 ~x877 ~x1088 593.21/594.77 v ~x32 ~x243 ~x454 ~x665 ~x876 ~x1087 ~x31 ~x242 ~x453 ~x664 593.21/594.77 v ~x875 x1086 x30 ~x241 ~x452 ~x663 ~x874 ~x1085 ~x29 ~x240 593.21/594.77 v x451 ~x662 ~x873 ~x1084 ~x28 ~x239 ~x450 ~x661 ~x872 ~x1083 593.21/594.77 v ~x27 ~x238 ~x449 ~x660 ~x871 ~x1082 ~x26 ~x237 ~x448 ~x659 593.21/594.77 v ~x870 ~x1081 ~x25 ~x236 ~x447 ~x658 ~x869 ~x1080 ~x24 ~x235 593.21/594.77 v ~x446 ~x657 ~x868 ~x1079 ~x23 ~x234 ~x445 ~x656 ~x867 ~x1078 593.21/594.77 v ~x22 ~x233 ~x444 ~x655 ~x866 ~x1077 ~x21 ~x232 ~x443 ~x654 593.21/594.77 v ~x865 ~x1076 ~x20 ~x231 ~x442 ~x653 ~x864 ~x1075 ~x19 ~x230 593.21/594.77 v ~x441 ~x652 ~x863 ~x1074 ~x18 ~x229 ~x440 ~x651 ~x862 ~x1073 593.21/594.77 v ~x17 ~x228 ~x439 ~x650 ~x861 ~x1072 ~x16 ~x227 ~x438 ~x649 593.21/594.77 v ~x860 x1071 ~x15 ~x226 ~x437 ~x648 ~x859 ~x1070 ~x14 ~x225 593.21/594.77 v ~x436 x647 ~x858 ~x1069 ~x13 ~x224 ~x435 ~x646 ~x857 ~x1068 593.21/594.77 v ~x12 ~x223 ~x434 ~x645 ~x856 ~x1067 ~x11 ~x222 ~x433 ~x644
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 (61007 MiB free)
memory of node 1: 64465 MiB (63216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528360-1752237943/watcher-4528360-1752237943 -o /tmp/evaluation-result-4528360-1752237943/solver-4528360-1752237943 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752237943-118829 --watchdog 3760 pb_picat HOME/instance-4528360-1752237943.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=118883, runsolver pid=118873
[startup+0.10006 s]*
/proc/loadavg: 1.63 2.18 3.29 6/266 118886
/proc/meminfo: memFree=127139700/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2027148 memory=30328 CPUtime=0.08 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 1104 0 0 0 8 0 0 0 20 0 1 0 139471854 2075799552 7582 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 506787 7582 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 30328 KiB
[startup+0.205788 s]*
/proc/loadavg: 1.63 2.18 3.29 6/266 118886
/proc/meminfo: memFree=127078020/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2027148 memory=50808 CPUtime=0.19 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 1114 0 0 0 18 1 0 0 20 0 1 0 139471854 2075799552 12702 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 506787 12702 1536 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 50808 KiB
[startup+0.305724 s]*
/proc/loadavg: 1.63 2.18 3.29 6/266 118886
/proc/meminfo: memFree=127017540/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2027148 memory=67192 CPUtime=0.29 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 1122 0 0 0 28 1 0 0 20 0 1 0 139471854 2075799552 16798 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 506787 16798 1536 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 67192 KiB
[startup+0.700157 s]
/proc/loadavg: 1.82 2.21 3.29 6/266 118886
/proc/meminfo: memFree=126882120/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2042440 memory=127228 CPUtime=0.67 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 2814 0 0 0 65 2 0 0 20 0 1 0 139471854 2091458560 31807 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 510610 31807 1664 343 0 507674 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2042440 KiB
Current children cumulated memory: 127228 KiB
[startup+1.50012 s]
/proc/loadavg: 1.82 2.21 3.29 6/266 118886
/proc/meminfo: memFree=126709652/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2044624 memory=130204 CPUtime=1.47 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 6285 0 0 0 144 3 0 0 20 0 1 0 139471854 2093694976 32551 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 511156 32551 1664 343 0 508220 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2044624 KiB
Current children cumulated memory: 130204 KiB
[startup+3.1056 s]
/proc/loadavg: 1.82 2.21 3.29 6/266 118886
/proc/meminfo: memFree=126718176/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2044752 memory=130724 CPUtime=3.08 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 11117 0 0 0 304 4 0 0 20 0 1 0 139471854 2093826048 32681 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 511188 32681 1728 343 0 508252 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2044752 KiB
Current children cumulated memory: 130724 KiB
[startup+6.30011 s]
/proc/loadavg: 1.99 2.24 3.29 6/266 118886
/proc/meminfo: memFree=126785828/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2043856 memory=130084 CPUtime=6.26 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 17205 0 0 0 621 5 0 0 20 0 1 0 139471854 2092908544 32521 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 510964 32521 1728 343 0 508028 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2043856 KiB
Current children cumulated memory: 130084 KiB
[startup+12.7001 s]
/proc/loadavg: 2.16 2.27 3.30 6/266 118886
/proc/meminfo: memFree=126888796/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2047952 memory=133148 CPUtime=12.64 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 18941 0 0 0 1259 5 0 0 20 0 1 0 139471854 2097102848 33287 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 511988 33287 1728 343 0 509052 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2047952 KiB
Current children cumulated memory: 133148 KiB
[startup+25.5001 s]
/proc/loadavg: 2.44 2.33 3.31 6/266 118886
/proc/meminfo: memFree=127047412/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2047952 memory=134556 CPUtime=25.41 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 19315 0 0 0 2536 5 0 0 20 0 1 0 139471854 2097102848 33639 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 511988 33639 1728 343 0 509052 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2047952 KiB
Current children cumulated memory: 134556 KiB
[startup+51.1056 s]
/proc/loadavg: 3.11 2.51 3.33 6/266 118886
/proc/meminfo: memFree=127172552/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2052056 memory=137940 CPUtime=50.96 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 36444 0 0 0 5087 9 0 0 20 0 1 0 139471854 2101305344 34485 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 513014 34485 1728 343 0 510078 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2052056 KiB
Current children cumulated memory: 137940 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.75 3.38 6/266 118888
/proc/meminfo: memFree=127196392/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2052056 memory=137924 CPUtime=102.03 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 86052 0 0 0 10182 21 0 0 20 0 1 0 139471854 2101305344 34481 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 513014 34481 1728 343 0 510078 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2052056 KiB
Current children cumulated memory: 137924 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 3.01 3.43 6/266 118890
/proc/meminfo: memFree=127204268/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2060248 memory=143652 CPUtime=161.89 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 141086 0 0 0 16151 38 0 0 20 0 1 0 139471854 2109693952 35913 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 515062 35913 1728 343 0 512126 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2060248 KiB
Current children cumulated memory: 143652 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.21 3.47 6/264 118892
/proc/meminfo: memFree=127204436/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2056152 memory=141244 CPUtime=221.73 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 178032 0 0 0 22128 45 0 0 20 0 1 0 139471854 2105499648 35311 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514038 35311 1728 343 0 511102 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 2056152 KiB
Current children cumulated memory: 141244 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.37 3.51 6/264 118895
/proc/meminfo: memFree=127194740/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2054192 memory=138728 CPUtime=281.58 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 196149 0 0 0 28107 51 0 0 20 0 1 0 139471854 2103492608 34682 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 513548 34682 1728 343 0 510612 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 2054192 KiB
Current children cumulated memory: 138728 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.52 3.56 6/264 118898
/proc/meminfo: memFree=127193160/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2058288 memory=144872 CPUtime=341.45 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 196690 0 0 0 34093 52 0 0 20 0 1 0 139471854 2107686912 36218 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514572 36218 1728 343 0 511636 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 2058288 KiB
Current children cumulated memory: 144872 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.62 3.59 6/264 118900
/proc/meminfo: memFree=127188392/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2058288 memory=144872 CPUtime=401.3 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 196695 0 0 0 40078 52 0 0 20 0 1 0 139471854 2107686912 36218 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514572 36218 1728 343 0 511636 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 2058288 KiB
Current children cumulated memory: 144872 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.72 3.63 6/265 118903
/proc/meminfo: memFree=127203096/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2058288 memory=144872 CPUtime=461.15 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 196700 0 0 0 46063 52 0 0 20 0 1 0 139471854 2107686912 36218 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514572 36218 1728 343 0 511636 0
Current children cumulated CPU time: 461.15 s
Current children cumulated vsize: 2058288 KiB
Current children cumulated memory: 144872 KiB
[startup+522.3 s]
/proc/loadavg: 4.11 3.79 3.66 6/265 118905
/proc/meminfo: memFree=127205616/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2057240 memory=142276 CPUtime=521 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 203264 0 0 0 52047 53 0 0 20 0 1 0 139471854 2106613760 35569 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514310 35569 1728 343 0 511374 0
Current children cumulated CPU time: 521 s
Current children cumulated vsize: 2057240 KiB
Current children cumulated memory: 142276 KiB
[startup+582.3 s]
/proc/loadavg: 4.16 3.86 3.70 6/265 118914
/proc/meminfo: memFree=127199868/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2057240 memory=142052 CPUtime=580.84 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 208957 0 0 0 58028 56 0 0 20 0 1 0 139471854 2106613760 35513 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514310 35513 1728 343 0 511374 0
Current children cumulated CPU time: 580.84 s
Current children cumulated vsize: 2057240 KiB
Current children cumulated memory: 142052 KiB
[startup+594.777 s]
# the end of solver process 118883 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=592.733 s, system=0.563559 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+582.4 s]
/proc/loadavg: 4.16 3.86 3.70 6/265 118914
/proc/meminfo: memFree=127199868/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2057240 memory=142052 CPUtime=580.94 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 208957 0 0 0 58038 56 0 0 20 0 1 0 139471854 2106613760 35513 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514310 35513 1728 343 0 511374 0
Current children cumulated CPU time: 580.94 s
Current children cumulated vsize: 2057240 KiB
Current children cumulated memory: 142052 KiB
[startup+588.8 s]
/proc/loadavg: 4.14 3.87 3.70 6/266 118915
/proc/meminfo: memFree=127199732/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2057240 memory=142436 CPUtime=587.33 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 209069 0 0 0 58677 56 0 0 20 0 1 0 139471854 2106613760 35609 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514310 35609 1728 343 0 511374 0
Current children cumulated CPU time: 587.33 s
Current children cumulated vsize: 2057240 KiB
Current children cumulated memory: 142436 KiB
[startup+592 s]*
/proc/loadavg: 4.13 3.87 3.70 6/266 118915
/proc/meminfo: memFree=127199548/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2057240 memory=142436 CPUtime=590.53 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 209069 0 0 0 58997 56 0 0 20 0 1 0 139471854 2106613760 35609 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514310 35609 1728 343 0 511374 0
Current children cumulated CPU time: 590.53 s
Current children cumulated vsize: 2057240 KiB
Current children cumulated memory: 142436 KiB
[startup+593.6 s]
/proc/loadavg: 4.13 3.87 3.70 6/266 118915
/proc/meminfo: memFree=127199572/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2057240 memory=142436 CPUtime=592.12 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 209069 0 0 0 59156 56 0 0 20 0 1 0 139471854 2106613760 35609 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514310 35609 1728 343 0 511374 0
Current children cumulated CPU time: 592.12 s
Current children cumulated vsize: 2057240 KiB
Current children cumulated memory: 142436 KiB
[startup+594.4 s]
/proc/loadavg: 4.13 3.87 3.70 6/266 118915
/proc/meminfo: memFree=127199572/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2057240 memory=142564 CPUtime=592.91 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 209094 0 0 0 59235 56 0 0 20 0 1 0 139471854 2106613760 35641 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514310 35641 1728 343 0 511374 0
Current children cumulated CPU time: 592.91 s
Current children cumulated vsize: 2057240 KiB
Current children cumulated memory: 142564 KiB
[startup+594.6 s]
/proc/loadavg: 4.13 3.87 3.70 6/266 118915
/proc/meminfo: memFree=127199572/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2057240 memory=142564 CPUtime=593.11 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 209094 0 0 0 59255 56 0 0 20 0 1 0 139471854 2106613760 35641 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514310 35641 1728 343 0 511374 0
Current children cumulated CPU time: 593.11 s
Current children cumulated vsize: 2057240 KiB
Current children cumulated memory: 142564 KiB
[startup+594.7 s]
/proc/loadavg: 4.13 3.87 3.70 6/266 118915
/proc/meminfo: memFree=127199572/131250000 swapFree=33008100/33010684
[pid=118883] ppid=118873 vsize=2057240 memory=142564 CPUtime=593.21 cores=1,3
/proc/118883/stat : 118883 (pb_picat) R 118873 118883 117663 0 -1 4194304 209094 0 0 0 59265 56 0 0 20 0 1 0 139471854 2106613760 35641 18446744073709551615 94216108949504 94216110351085 140729267205472 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94216110622512 94216112496752 94216134615040 140729267214748 140729267214824 140729267214824 140729267220428 0
/proc/118883/statm: 514310 35641 1728 343 0 511374 0
Current children cumulated CPU time: 593.21 s
Current children cumulated vsize: 2057240 KiB
Current children cumulated memory: 142564 KiB
Child status: 0
Real time (s): 594.777
CPU time (s): 593.296
CPU user time (s): 592.733
CPU system time (s): 0.563559
CPU usage (%): 99.751
Max. virtual memory (cumulated for all children) (KiB): 2074676
Max. memory (cumulated for all children) (KiB): 153792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 592.733
system time used= 0.563559
maximum resident set size= 153792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209106
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= 115
involuntary context switches= 1100
# summary of solver processes directly reported to runsolver:
# pid: 118883
# total CPU time (s): 593.296
# total CPU user time (s): 592.733
# total CPU system time (s): 0.563559
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.871013 second user time and 2.62576 second system time
The end
Begin job on nodeC019 at 2025-07-11 14:45:43 IDJOB=4528360 IDBENCH=146675 IDSOLVER=3385 FILE ID=nodeC019/4528360-1752237943 RUNJOBID= nodeC019-1752237943-118829 SLURM_JOB_ID= 9682530 Free space on /tmp= 431600 MiB SOLVER NAME= pb_picat 2025-07-11 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-4528360-1752237943/watcher-4528360-1752237943 -o /tmp/evaluation-result-4528360-1752237943/solver-4528360-1752237943 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752237943-118829 --watchdog 3760 pb_picat HOME/instance-4528360-1752237943.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79c0a8033bde71aac2f7ead78fdb13b7 RANDOM SEED=174008256 nodeC019 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 : 3601.155 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.37 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.715 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.37 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 : 3599.862 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.37 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.037 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.37 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 : 3785.805 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.37 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 : 3700.000 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.117 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.37 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.052 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 127220764 kB MemAvailable: 129149716 kB Buffers: 904 kB Cached: 2728644 kB SwapCached: 568 kB Active: 232008 kB Inactive: 2566764 kB Active(anon): 58820 kB Inactive(anon): 27364 kB Active(file): 173188 kB Inactive(file): 2539400 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33008100 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 22672 kB Writeback: 44 kB AnonPages: 71496 kB Mapped: 106744 kB Shmem: 16960 kB KReclaimable: 111204 kB Slab: 203364 kB SReclaimable: 111204 kB SUnreclaim: 92160 kB KernelStack: 4184 kB PageTables: 2648 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 332984 kB VmallocTotal: 34359738367 kB VmallocUsed: 150440 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431588 MiB End job on nodeC019 at 2025-07-11 14:55:38