Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| OR-Tools CP-SAT 9.14.2 | MSAT (TO) | 3600.03 | 1812.81 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-le450-5a-3_wcsp.wbo |
| MD5SUM | ba46843969465965b44fc895ec2faac6 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 934 |
| Best CPU time to get the best result obtained on this benchmark | 3600.06 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1350 |
| Total number of constraints | 17592 |
| Number of soft constraints | 17142 |
| Number of constraints which are clauses | 17142 |
| Number of constraints which are cardinality constraints (but not clauses) | 450 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3 |
| Top cost | 5715 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 17142 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4 |
| Number of bits of the biggest sum of numbers | 3 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.18/1.27 o 1229 1.35/1.30 o 1228 1.75/1.59 o 1226 3.13/2.27 o 1223 3.72/2.50 o 1222 5.71/3.59 o 1219 5.91/3.60 o 1211 7.70/4.56 o 1210 9.28/5.35 o 1205 9.28/5.36 o 1204 9.87/5.66 o 1203 10.47/5.96 o 1202 12.86/7.14 o 1201 13.04/7.21 o 1200 13.04/7.21 o 1197 13.64/7.50 o 1195 15.63/8.56 o 1194 16.23/8.82 o 1193 17.01/9.25 o 1191 19.20/10.30 o 1187 19.20/10.39 o 1186 19.40/10.45 o 1178 19.99/10.73 o 1175 19.99/10.74 o 1168 20.39/10.99 o 1166 20.60/11.07 o 1157 22.98/12.29 o 1156 24.36/12.96 o 1155 24.57/13.03 o 1151 24.57/13.03 o 1150 26.15/13.85 o 1147 29.53/15.55 o 1145 31.31/16.41 o 1144 32.52/17.05 o 1143 33.11/17.36 o 1141 33.11/17.38 o 1139 35.09/18.33 o 1137 36.09/18.84 o 1136 36.29/18.93 o 1134 37.47/19.53 o 1132 37.47/19.53 o 1131 38.07/19.86 o 1127 38.07/19.87 o 1123 38.67/20.15 o 1121 38.86/20.27 o 1119 39.06/20.30 o 1115 42.65/22.19 o 1112 45.41/23.60 o 1109 48.61/25.10 o 1108 49.59/25.63 o 1107 49.59/25.65 o 1104 54.16/27.97 o 1103 54.36/28.03 o 1100 54.36/28.09 o 1099 54.95/28.36 o 1097 55.55/28.60 o 1096 56.14/28.93 o 1093 57.73/29.74 o 1091 57.93/29.89 o 1089 66.48/34.15 o 1087 67.66/34.76 o 1086 67.86/34.84 o 1085 76.40/39.13 o 1084 77.80/39.88 o 1081 78.20/40.03 o 1077 78.20/40.03 o 1073 82.96/42.44 o 1072 82.96/42.44 o 1071 82.96/42.50 o 1069 88.33/45.10 o 1068 90.12/46.03 o 1066 93.28/47.60 o 1065 94.09/48.07 o 1063 100.84/51.43 o 1061 103.42/52.77 o 1060 106.00/54.07 o 1059 111.16/56.61 o 1057 112.95/57.50 o 1056 114.73/58.44 o 1055 117.53/59.88 o 1054 119.11/60.62 o 1053 120.11/61.18 o 1052 123.09/62.64 o 1051 134.60/68.46 o 1050 134.60/68.46 o 1049 138.18/70.21 o 1048 138.38/70.35 o 1047 138.77/70.51 o 1046 145.13/73.75 o 1045 151.68/77.07 o 1044 162.80/82.63 o 1043 173.54/88.06 o 1042 173.54/88.07 o 1041 176.31/89.40 o 1040 177.11/89.85 o 1037 177.71/90.14 o 1036 181.69/92.17 o 1035 183.48/93.05 o 1034 198.57/100.61 o 1033 213.47/108.14 o 1029 214.66/108.79 o 1027 215.26/109.01 o 1025 222.60/112.76 o 1024 225.78/114.33 o 1023 236.11/119.53 o 1022 236.11/119.53 o 1021 262.31/132.74 o 1020 274.63/138.95 o 1019 281.77/142.53 o 1018 319.11/161.33 o 1017 348.12/175.99 o 1016 349.11/176.44 o 1015 350.31/177.05 o 1013 370.55/187.23 o 1012 370.55/187.25 o 1011 383.67/193.87 o 1010 388.83/196.42 o 1009 389.82/196.99 o 1008 394.98/199.54 o 1007 396.37/200.29 o 1006 404.91/204.57 o 1005 404.91/204.58 o 1004 408.89/206.59 o 1003 425.97/215.15 o 1002 427.56/215.98 o 1001 428.35/216.31 o 1000 428.54/216.41 o 999 434.90/219.66 o 997 435.70/220.06 o 996 436.48/220.42 o 995 451.19/227.82 o 994 461.91/233.29 o 993 485.94/245.31 o 992 506.99/255.93 o 991 530.03/267.52 o 990 530.03/267.59 o 988 532.81/268.97 o 987 625.16/315.46 o 986 707.58/356.98 o 985 907.44/457.57 o 984 960.48/484.27 o 983 965.85/486.99 o 982 1368.36/689.55 o 981 1727.16/870.14 o 980 2033.70/1024.46 o 979 2144.76/1080.33 o 978 3178.43/1600.64 o 977 3209.23/1616.12 o 976 3600.01/1812.80 s SATISFIABLE 3600.01/1812.80 v x1 -x2 -x3 -x4 -x5 x6 -x7 x8 -x9 -x10 -x11 x12 x13 -x14 -x15 x16 -x17 -x18 3600.01/1812.80 v -x19 x20 -x21 -x22 x23 -x24 -x25 -x26 x27 x28 -x29 -x30 x31 -x32 -x33 x34 -x35 3600.01/1812.80 v -x36 -x37 -x38 x39 -x40 x41 -x42 -x43 x44 -x45 -x46 -x47 x48 x49 -x50 -x51 3600.01/1812.80 v -x52 -x53 x54 -x55 x56 -x57 -x58 -x59 x60 -x61 -x62 x63 x64 -x65 -x66 -x67 3600.01/1812.80 v -x68 x69 -x70 x71 -x72 -x73 -x74 x75 x76 -x77 -x78 x79 -x80 -x81 -x82 x83 -x84 3600.01/1812.80 v -x85 -x86 x87 -x88 -x89 x90 -x91 x92 -x93 -x94 x95 -x96 -x97 -x98 x99 -x100 3600.01/1812.80 v x101 -x102 -x103 -x104 x105 x106 -x107 -x108 x109 -x110 -x111 x112 -x113 -x114 3600.01/1812.80 v -x115 -x116 x117 -x118 -x119 x120 -x121 -x122 x123 -x124 x125 -x126 -x127 x128 3600.01/1812.80 v -x129 -x130 x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 x140 -x141 -x142 3600.01/1812.80 v x143 -x144 -x145 -x146 x147 -x148 -x149 x150 x151 -x152 -x153 -x154 -x155 x156 3600.01/1812.80 v -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 x165 x166 -x167 -x168 -x169 x170 3600.01/1812.80 v -x171 -x172 -x173 x174 -x175 x176 -x177 -x178 x179 -x180 x181 -x182 -x183 x184 3600.01/1812.80 v -x185 -x186 x187 -x188 -x189 -x190 -x191 x192 -x193 x194 -x195 x196 -x197 -x198 3600.01/1812.80 v x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 x207 -x208 x209 -x210 x211 -x212 3600.01/1812.80 v -x213 -x214 x215 -x216 -x217 x218 -x219 -x220 -x221 x222 -x223 x224 -x225 x226 3600.01/1812.80 v -x227 -x228 x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 x237 -x238 x239 -x240 3600.01/1812.80 v x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 x249 x250 -x251 -x252 -x253 -x254 3600.01/1812.80 v x255 x256 -x257 -x258 x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 x267 -x268 3600.01/1812.80 v -x269 x270 x271 -x272 -x273 x274 -x275 -x276 -x277 x278 -x279 x280 -x281 -x282 3600.01/1812.80 v -x283 -x284 x285 x286 -x287 -x288 x289 -x290 -x291 -x292 x293 -x294 -x295 x296 3600.01/1812.80 v -x297 -x298 -x299 x300 x301 -x302 -x303 x304 -x305 -x306 -x307 x308 -x309 -x310 3600.01/1812.80 v x311 -x312 -x313 -x314 x315 x316 -x317 -x318 -x319 -x320 x321 -x322 x323 -x324 3600.01/1812.80 v -x325 x326 -x327 -x328 -x329 x330 x331 -x332 -x333 -x334 x335 -x336 -x337 x338 3600.01/1812.80 v -x339 -x340 x341 -x342 -x343 -x344 x345 x346 -x347 -x348 -x349 x350 -x351 -x352 3600.01/1812.80 v x353 -x354 -x355 -x356 x357 -x358 -x359 x360 x361 -x362 -x363 x364 -x365 -x366 3600.01/1812.80 v -x367 x368 -x369 -x370 x371 -x372 -x373 -x374 x375 x376 -x377 -x378 x379 -x380 3600.01/1812.80 v -x381 x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 x390 -x391 -x392 x393 -x394 3600.01/1812.80 v -x395 x396 -x397 x398 -x399 -x400 -x401 x402 -x403 -x404 x405 x406 -x407 -x408 3600.01/1812.80 v x409 -x410 -x411 -x412 -x413 x414 -x415 x416 -x417 -x418 -x419 x420 -x421 x422 3600.01/1812.80 v -x423 x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 x432 -x433 -x434 x435 -x436 3600.01/1812.80 v x437 -x438 x439 -x440 -x441 -x442 -x443 x444 -x445 x446 -x447 -x448 -x449 x450 3600.01/1812.80 v x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 x462 -x463 -x464 3600.01/1812.80 v x465 x466 -x467 -x468 -x469 x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 3600.01/1812.80 v x479 -x480 x481 -x482 -x483 -x484 x485 -x486 x487 -x488 -x489 -x490 -x491 x492 3600.01/1812.80 v -x493 x494 -x495 x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 3600.01/1812.80 v x507 x508 -x509 -x510 x511 -x512 -x513 x514 -x515 -x516 -x517 x518 -x519 -x520 3600.01/1812.80 v x521 -x522 -x523 -x524 x525 x526 -x527 -x528 x529 -x530 -x531 -x532 x533 -x534 3600.01/1812.80 v -x535 x536 -x537 -x538 -x539 x540 -x541 x542 -x543 x544 -x545 -x546 -x547 x548 3600.01/1812.80 v -x549 -x550 x551 -x552 x553 -x554 -x555 x556 -x557 -x558 x559 -x560 -x561 -x562 3600.01/1812.80 v x563 -x564 -x565 -x566 x567 -x568 -x569 x570 x571 -x572 -x573 x574 -x575 -x576 3600.01/1812.80 v -x577 x578 -x579 -x580 -x581 x582 -x583 x584 -x585 x586 -x587 -x588 -x589 x590 3600.01/1812.80 v -x591 -x592 x593 -x594 -x595 x596 -x597 -x598 -x599 x600 -x601 x602 -x603 x604 3600.01/1812.80 v -x605 -x606 -x607 x608 -x609 -x610 x611 -x612 -x613 -x614 x615 x616 -x617 -x618 3600.01/1812.80 v x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 x627 -x628 -x629 x630 x631 -x632 3600.01/1812.80 v -x633 -x634 -x635 x636 -x637 x638 -x639 -x640 x641 -x642 -x643 -x644 x645 x646 3600.01/1812.80 v -x647 -x648 x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 3600.01/1812.80 v x660 x661 -x662 -x663 -x664 x665 -x666 -x667 x668 -x669 -x670 x671 -x672 -x673 3600.01/1812.80 v -x674 x675 x676 -x677 -x678 -x679 -x680 x681 -x682 x683 -x684 -x685 x686 -x687 3600.01/1812.80 v x688 -x689 -x690 x691 -x692 -x693 -x694 x695 -x696 -x697 x698 -x699 -x700 -x701 3600.01/1812.80 v x702 x703 -x704 -x705 x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 x714 -x715 3600.01/1812.80 v x716 -x717 x718 -x719 -x720 x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 x729 3600.01/1812.80 v -x730 -x731 x732 -x733 -x734 x735 x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 3600.01/1812.80 v x744 -x745 -x746 x747 -x748 x749 -x750 x751 -x752 -x753 x754 -x755 -x756 x757 3600.01/1812.80 v -x758 -x759 -x760 -x761 x762 -x763 -x764 x765 -x766 x767 -x768 x769 -x770 -x771 3600.01/1812.80 v -x772 -x773 x774 -x775 -x776 x777 -x778 -x779 x780 -x781 x782 -x783 x784 -x785 3600.01/1812.80 v -x786 -x787 x788 -x789 -x790 x791 -x792 -x793 -x794 x795 -x796 -x797 x798 x799 3600.01/1812.80 v -x800 -x801 -x802 x803 -x804 -x805 -x806 x807 -x808 -x809 x810 x811 -x812 -x813 3600.01/1812.80 v x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 x822 -x823 -x824 x825 x826 -x827 3600.01/1812.80 v -x828 -x829 -x830 x831 -x832 -x833 x834 -x835 -x836 x837 x838 -x839 -x840 x841 3600.01/1812.80 v -x842 -x843 x844 -x845 -x846 -x847 -x848 x849 -x850 x851 -x852 -x853 x854 -x855 3600.01/1812.80 v x856 -x857 -x858 x859 -x860 -x861 -x862 x863 -x864 -x865 x866 -x867 -x868 -x869 3600.01/1812.80 v x870 -x871 -x872 x873 x874 -x875 -x876 -x877 x878 -x879 -x880 x881 -x882 -x883 3600.01/1812.80 v -x884 x885 x886 -x887 -x888 x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 x897 3600.01/1812.80 v -x898 -x899 x900 x901 -x902 -x903 -x904 x905 -x906 -x907 x908 -x909 -x910 -x911 3600.01/1812.80 v x912 -x913 -x914 x915 x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 x924 -x925 3600.01/1812.80 v -x926 x927 x928 -x929 -x930 -x931 x932 -x933 -x934 x935 -x936 -x937 -x938 x939 3600.01/1812.80 v -x940 x941 -x942 -x943 -x944 x945 x946 -x947 -x948 -x949 x950 -x951 -x952 x953 3600.01/1812.80 v -x954 -x955 x956 -x957 -x958 -x959 x960 x961 -x962 -x963 -x964 -x965 x966 -x967 3600.01/1812.80 v x968 -x969 -x970 -x971 x972 -x973 -x974 x975 x976 -x977 -x978 x979 -x980 -x981 3600.01/1812.80 v -x982 x983 -x984 -x985 x986 -x987 -x988 -x989 x990 x991 -x992 -x993 x994 -x995 3600.01/1812.80 v -x996 -x997 -x998 x999 -x1000 -x1001 x1002 -x1003 -x1004 x1005 x1006 -x1007 3600.01/1812.80 v -x1008 -x1009 x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 x1017 -x1018 x1019 3600.01/1812.80 v -x1020 x1021 -x1022 -x1023 -x1024 x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 3600.01/1812.80 v x1032 x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 x1043 3600.01/1812.80 v -x1044 -x1045 -x1046 x1047 -x1048 x1049 -x1050 x1051 -x1052 -x1053 -x1054 x1055 3600.01/1812.80 v -x1056 -x1057 -x1058 x1059 -x1060 x1061 -x1062 -x1063 -x1064 x1065 x1066 -x1067 3600.01/1812.80 v -x1068 x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 3600.01/1812.80 v x1080 -x1081 x1082 -x1083 x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 x1091 3600.01/1812.80 v -x1092 -x1093 -x1094 x1095 -x1096 x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 3600.01/1812.80 v x1104 -x1105 x1106 -x1107 -x1108 -x1109 x1110 -x1111 x1112 -x1113 x1114 -x1115 3600.01/1812.80 v -x1116 -x1117 -x1118 x1119 -x1120 x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 3600.01/1812.80 v x1128 x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 3600.01/1812.80 v x1140 -x1141 -x1142 x1143 x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 3600.01/1812.80 v x1152 -x1153 -x1154 x1155 x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 x1163 3600.01/1812.80 v -x1164 -x1165 -x1166 x1167 -x1168 -x1169 x1170 x1171 -x1172 -x1173 -x1174 -x1175 3600.01/1812.80 v x1176 -x1177 -x1178 x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 x1186 -x1187 3600.01/1812.80 v -x1188 x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 3600.01/1812.80 v x1200 -x1201 x1202 -x1203 x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 x1211 3600.01/1812.80 v -x1212 -x1213 -x1214 x1215 x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 x1223 3600.01/1812.80 v -x1224 -x1225 x1226 -x1227 -x1228 -x1229 x1230 x1231 -x1232 -x1233 x1234 -x1235 3600.01/1812.80 v -x1236 -x1237 x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 x1245 x1246 -x1247 3600.01/1812.80 v -x1248 x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 3600.01/1812.80 v x1260 x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 3600.01/1812.80 v x1272 -x1273 -x1274 x1275 x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 3600.01/1812.80 v x1284 -x1285 -x1286 x1287 -x1288 x1289 -x1290 x1291 -x1292 -x1293 x1294 -x1295 3600.01/1812.80 v -x1296 x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 x1304 -x1305 x1306 -x1307 3600.01/1812.80 v -x1308 -x1309 x1310 -x1311 -x1312 x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 3600.01/1812.80 v x1320 x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 x1328 -x1329 x1330 -x1331 3600.01/1812.80 v -x1332 -x1333 -x1334 x1335 x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 x1343 3600.01/1812.80 v -x1344 -x1345 -x1346 x1347 -x1348 -x1349 x1350
OK 976
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: 63837 MiB (62990 MiB free)
memory of node 1: 64465 MiB (63200 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529481-1752571897/watcher-4529481-1752571897 -o /tmp/evaluation-result-4529481-1752571897/solver-4529481-1752571897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752571843-128075 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:375222618 --competition_mode --input HOME/instance-4529481-1752571897.wbo
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=128301, runsolver pid=128295
[startup+0.100069 s]*
/proc/loadavg: 3.98 1.18 0.47 6/253 128304
/proc/meminfo: memFree=129215768/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=28984 memory=23048 CPUtime=0.1 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) R 128295 128301 128058 0 -1 4194304 5080 0 0 0 8 2 0 0 20 0 1 0 172868670 29679616 5762 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 7246 5762 1408 2102 0 4786 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28984 KiB
Current children cumulated memory: 23048 KiB
[startup+0.213404 s]*
/proc/loadavg: 3.98 1.18 0.47 6/253 128304
/proc/meminfo: memFree=129215304/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=30964 memory=24712 CPUtime=0.21 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) R 128295 128301 128058 0 -1 4194304 5454 0 0 0 19 2 0 0 20 0 1 0 172868670 31707136 6178 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 7741 6178 1472 2102 0 5281 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30964 KiB
Current children cumulated memory: 24712 KiB
[startup+0.313188 s]*
/proc/loadavg: 3.98 1.18 0.47 7/251 128305
/proc/meminfo: memFree=129215064/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=37820 memory=31368 CPUtime=0.31 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) R 128295 128301 128058 0 -1 4194304 7024 0 0 0 28 3 0 0 20 0 1 0 172868670 38727680 7842 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 9455 7842 1568 2102 0 6995 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37820 KiB
Current children cumulated memory: 31368 KiB
[startup+0.700285 s]
/proc/loadavg: 3.98 1.18 0.47 6/253 128307
/proc/meminfo: memFree=129199188/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=46812 memory=41904 CPUtime=0.68 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) R 128295 128301 128058 0 -1 4194304 11106 0 0 0 64 4 0 0 20 0 1 0 172868670 47935488 10476 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 11703 10476 1888 2102 0 9243 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46812 KiB
Current children cumulated memory: 41904 KiB
[startup+1.50028 s]
/proc/loadavg: 3.98 1.18 0.47 6/251 128312
/proc/meminfo: memFree=129191328/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=202316 memory=131564 CPUtime=1.75 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 33082 0 0 0 163 12 0 0 20 0 3 0 172868670 207171584 32891 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 50579 32891 2176 2102 0 39469 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 202316 KiB
Current children cumulated memory: 131564 KiB
[startup+3.10626 s]
/proc/loadavg: 3.98 1.18 0.47 7/255 128330
/proc/meminfo: memFree=129036048/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=202316 memory=163984 CPUtime=4.92 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 55152 0 0 0 477 15 0 0 20 0 3 0 172868670 207171584 40996 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 50579 40996 2176 2102 0 46495 0
[pid=128301/tid=128314] ppid=128295 vsize=202316 memory=198340509722 CPUtime=1.88 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 21961 0 0 0 183 5 0 0 20 0 3 0 172868787 207171584 40996 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=202316 memory=0 CPUtime=1.88 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 18170 0 0 0 185 3 0 0 20 0 3 0 172868787 207171584 40996 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 202316 KiB
Current children cumulated memory: 163984 KiB
[startup+6.30021 s]
/proc/loadavg: 4.22 1.28 0.50 7/253 128338
/proc/meminfo: memFree=129002296/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=285728 memory=205240 CPUtime=11.26 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 80804 0 0 0 1108 18 0 0 20 0 3 0 172868670 292585472 51310 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 71432 51310 2176 2102 0 57145 0
[pid=128301/tid=128314] ppid=128295 vsize=285728 memory=16540 CPUtime=5.03 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 36389 0 0 0 496 7 0 0 20 0 3 0 172868787 292585472 51310 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=285728 memory=0 CPUtime=5.05 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 29348 0 0 0 500 5 0 0 20 0 3 0 172868787 292585472 51310 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 11.26 s
Current children cumulated vsize: 285728 KiB
Current children cumulated memory: 205240 KiB
[startup+12.7002 s]
/proc/loadavg: 4.44 1.37 0.54 7/252 128363
/proc/meminfo: memFree=128981604/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=351264 memory=246400 CPUtime=23.96 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 117298 0 0 0 2372 24 0 0 20 0 3 0 172868670 359694336 61600 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 87816 61600 2176 2102 0 67046 0
[pid=128301/tid=128314] ppid=128295 vsize=351264 memory=184548 CPUtime=11.36 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 47818 0 0 0 1127 9 0 0 20 0 3 0 172868787 359694336 61600 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=351264 memory=0 CPUtime=11.42 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 54339 0 0 0 1134 8 0 0 20 0 3 0 172868787 359694336 61600 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 23.96 s
Current children cumulated vsize: 351264 KiB
Current children cumulated memory: 246400 KiB
[startup+25.5002 s]
/proc/loadavg: 4.79 1.60 0.63 7/252 128363
/proc/meminfo: memFree=128872372/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=416800 memory=331152 CPUtime=49.39 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 185686 0 0 0 4905 34 0 0 20 0 3 0 172868670 426803200 82788 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 104200 82788 2176 2102 0 87638 0
[pid=128301/tid=128314] ppid=128295 vsize=416800 memory=184548 CPUtime=24.02 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 99139 0 0 0 2386 16 0 0 20 0 3 0 172868787 426803200 82788 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=416800 memory=331152 CPUtime=24.17 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 71279 0 0 0 2406 11 0 0 20 0 3 0 172868787 426803200 82788 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 49.39 s
Current children cumulated vsize: 416800 KiB
Current children cumulated memory: 331152 KiB
[startup+51.1055 s]
/proc/loadavg: 5.20 1.96 0.77 7/252 128363
/proc/meminfo: memFree=128871564/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=416800 memory=332304 CPUtime=100.25 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 226406 0 0 0 9986 39 0 0 20 0 3 0 172868670 426803200 83076 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 104200 83076 2176 2102 0 87935 0
[pid=128301/tid=128314] ppid=128295 vsize=416800 memory=332304 CPUtime=49.35 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 128437 0 0 0 4917 18 0 0 20 0 3 0 172868787 426803200 83076 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=416800 memory=332304 CPUtime=49.68 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 82678 0 0 0 4955 13 0 0 20 0 3 0 172868787 426803200 83076 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 100.25 s
Current children cumulated vsize: 416800 KiB
Current children cumulated memory: 332304 KiB
[startup+102.3 s]
/proc/loadavg: 5.01 2.44 1.00 5/244 128396
/proc/meminfo: memFree=129041408/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=482336 memory=348308 CPUtime=201.94 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 247331 0 0 0 20150 44 0 0 20 0 3 0 172868670 493912064 87077 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 120584 87077 2176 2102 0 92274 0
[pid=128301/tid=128314] ppid=128295 vsize=482336 memory=348308 CPUtime=100.03 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 144497 0 0 0 9983 20 0 0 20 0 3 0 172868787 493912064 87077 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=482336 memory=-6736672299665494628 CPUtime=100.7 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 87492 0 0 0 10053 17 0 0 20 0 3 0 172868787 493912064 87077 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 201.94 s
Current children cumulated vsize: 482336 KiB
Current children cumulated memory: 348308 KiB
[startup+162.3 s]
/proc/loadavg: 3.54 2.51 1.12 3/236 128430
/proc/meminfo: memFree=129072536/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=482336 memory=349844 CPUtime=321.1 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 276139 0 0 0 32058 52 0 0 20 0 3 0 172868670 493912064 87461 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 120584 87461 2176 2102 0 92503 0
[pid=128301/tid=128314] ppid=128295 vsize=482336 memory=348692 CPUtime=159.36 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 159536 0 0 0 15910 26 0 0 20 0 3 0 172868787 493912064 87461 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=482336 memory=349844 CPUtime=160.5 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 101206 0 0 0 16032 18 0 0 20 0 3 0 172868787 493912064 87461 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 321.1 s
Current children cumulated vsize: 482336 KiB
Current children cumulated memory: 349844 KiB
[startup+222.3 s]
/proc/loadavg: 2.60 2.43 1.18 3/236 128432
/proc/meminfo: memFree=129077460/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=482336 memory=349972 CPUtime=440.27 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 284282 0 0 0 43972 55 0 0 20 0 3 0 172868670 493912064 87493 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 120584 87493 2176 2102 0 92503 0
[pid=128301/tid=128314] ppid=128295 vsize=482336 memory=349844 CPUtime=218.72 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 167528 0 0 0 21845 27 0 0 20 0 3 0 172868787 493912064 87493 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=482336 memory=20992 CPUtime=220.29 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 101349 0 0 0 22010 19 0 0 20 0 3 0 172868787 493912064 87493 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 440.27 s
Current children cumulated vsize: 482336 KiB
Current children cumulated memory: 349972 KiB
[startup+282.3 s]
/proc/loadavg: 2.32 2.38 1.25 3/234 128434
/proc/meminfo: memFree=129074536/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=482336 memory=352660 CPUtime=559.42 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 294152 0 0 0 55886 56 0 0 20 0 3 0 172868670 493912064 88165 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
################
# More data... #
################
Current children cumulated memory: 380820 KiB
[startup+1302.3 s]
/proc/loadavg: 2.15 2.12 1.85 3/234 128482
/proc/meminfo: memFree=129051120/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=482336 memory=380820 CPUtime=2585.8 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 319731 0 0 0 258500 80 0 0 20 0 3 0 172868670 493912064 95205 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 120584 95205 2176 2102 0 97463 0
[pid=128301/tid=128314] ppid=128295 vsize=482336 memory=380820 CPUtime=1287.72 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 193392 0 0 0 128742 30 0 0 20 0 3 0 172868787 493912064 95205 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=482336 memory=16540 CPUtime=1296.52 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 110768 0 0 0 129623 29 0 0 20 0 3 0 172868787 493912064 95205 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 2585.8 s
Current children cumulated vsize: 482336 KiB
Current children cumulated memory: 380820 KiB
[startup+1362.3 s]
/proc/loadavg: 2.12 2.11 1.87 3/234 128485
/proc/meminfo: memFree=129051880/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=482336 memory=380820 CPUtime=2705.01 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 320479 0 0 0 270420 81 0 0 20 0 3 0 172868670 493912064 95205 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 120584 95205 2176 2102 0 97463 0
[pid=128301/tid=128314] ppid=128295 vsize=482336 memory=380820 CPUtime=1347.12 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 194104 0 0 0 134682 30 0 0 20 0 3 0 172868787 493912064 95205 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=482336 memory=16540 CPUtime=1356.32 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 110790 0 0 0 135602 30 0 0 20 0 3 0 172868787 493912064 95205 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 2705.01 s
Current children cumulated vsize: 482336 KiB
Current children cumulated memory: 380820 KiB
[startup+1422.3 s]
/proc/loadavg: 2.09 2.11 1.89 3/234 128487
/proc/meminfo: memFree=129051136/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=482336 memory=382100 CPUtime=2824.21 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 321509 0 0 0 282339 82 0 0 20 0 3 0 172868670 493912064 95525 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 120584 95525 2176 2102 0 98347 0
[pid=128301/tid=128314] ppid=128295 vsize=482336 memory=380820 CPUtime=1406.51 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 194916 0 0 0 140621 30 0 0 20 0 3 0 172868787 493912064 95525 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=482336 memory=382100 CPUtime=1416.11 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 111007 0 0 0 141581 30 0 0 20 0 3 0 172868787 493912064 95525 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 2824.21 s
Current children cumulated vsize: 482336 KiB
Current children cumulated memory: 382100 KiB
[startup+1482.3 s]
/proc/loadavg: 2.13 2.12 1.91 3/233 128489
/proc/meminfo: memFree=129039716/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=416800 memory=363124 CPUtime=2943.41 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 327127 0 0 0 294255 86 0 0 20 0 3 0 172868670 426803200 90781 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 104200 90781 2176 2102 0 92983 0
[pid=128301/tid=128314] ppid=128295 vsize=416800 memory=360820 CPUtime=1465.89 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 196517 0 0 0 146559 30 0 0 20 0 3 0 172868787 426803200 90781 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=416800 memory=362484 CPUtime=1475.9 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 115007 0 0 0 147557 33 0 0 20 0 3 0 172868787 426803200 90781 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 2943.41 s
Current children cumulated vsize: 416800 KiB
Current children cumulated memory: 363124 KiB
[startup+1542.3 s]
/proc/loadavg: 2.10 2.11 1.92 3/232 128491
/proc/meminfo: memFree=129039676/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=416800 memory=363380 CPUtime=3062.6 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 328351 0 0 0 306170 90 0 0 20 0 3 0 172868670 426803200 90845 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 104200 90845 2176 2102 0 92983 0
[pid=128301/tid=128314] ppid=128295 vsize=416800 memory=-9126187751865826718 CPUtime=1525.29 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 197197 0 0 0 152499 30 0 0 20 0 3 0 172868787 426803200 90845 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=416800 memory=16540 CPUtime=1535.69 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 115551 0 0 0 153532 37 0 0 20 0 3 0 172868787 426803200 90845 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 3062.6 s
Current children cumulated vsize: 416800 KiB
Current children cumulated memory: 363380 KiB
[startup+1602.3 s]
/proc/loadavg: 2.08 2.10 1.93 3/232 128494
/proc/meminfo: memFree=129042156/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=416800 memory=363380 CPUtime=3181.8 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 329456 0 0 0 318086 94 0 0 20 0 3 0 172868670 426803200 90845 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 104200 90845 2176 2102 0 92983 0
[pid=128301/tid=128314] ppid=128295 vsize=416800 memory=363124 CPUtime=1584.68 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 197202 0 0 0 158438 30 0 0 20 0 3 0 172868787 426803200 90845 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=416800 memory=363380 CPUtime=1595.48 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 116648 0 0 0 159507 41 0 0 20 0 3 0 172868787 426803200 90845 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 3181.8 s
Current children cumulated vsize: 416800 KiB
Current children cumulated memory: 363380 KiB
[startup+1662.3 s]
/proc/loadavg: 2.12 2.11 1.95 3/232 128496
/proc/meminfo: memFree=129039112/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=416800 memory=366964 CPUtime=3301.01 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 331379 0 0 0 330003 98 0 0 20 0 3 0 172868670 426803200 91741 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 104200 91741 2176 2102 0 93846 0
[pid=128301/tid=128314] ppid=128295 vsize=416800 memory=363124 CPUtime=1644.07 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 198685 0 0 0 164377 30 0 0 20 0 3 0 172868787 426803200 91741 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=416800 memory=16540 CPUtime=1655.27 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 117074 0 0 0 165483 44 0 0 20 0 3 0 172868787 426803200 91741 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 3301.01 s
Current children cumulated vsize: 416800 KiB
Current children cumulated memory: 366964 KiB
[startup+1722.3 s]
/proc/loadavg: 2.09 2.10 1.96 3/232 128498
/proc/meminfo: memFree=129037348/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=416800 memory=368884 CPUtime=3420.21 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 333195 0 0 0 341917 104 0 0 20 0 3 0 172868670 426803200 92221 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 104200 92221 2176 2102 0 94339 0
[pid=128301/tid=128314] ppid=128295 vsize=416800 memory=363124 CPUtime=1703.47 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 199467 0 0 0 170317 30 0 0 20 0 3 0 172868787 426803200 92221 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=416800 memory=16540 CPUtime=1715.06 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 118107 0 0 0 171457 49 0 0 20 0 3 0 172868787 426803200 92221 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 3420.21 s
Current children cumulated vsize: 416800 KiB
Current children cumulated memory: 368884 KiB
[startup+1782.3 s]
/proc/loadavg: 2.14 2.11 1.98 3/233 128516
/proc/meminfo: memFree=129039236/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=416800 memory=368884 CPUtime=3539.41 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 335000 0 0 0 353832 109 0 0 20 0 3 0 172868670 426803200 92221 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 104200 92221 2176 2102 0 94339 0
[pid=128301/tid=128314] ppid=128295 vsize=416800 memory=368884 CPUtime=1762.86 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 201149 0 0 0 176256 30 0 0 20 0 3 0 172868787 426803200 92221 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=416800 memory=16540 CPUtime=1774.85 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 118215 0 0 0 177432 53 0 0 20 0 3 0 172868787 426803200 92221 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 3539.41 s
Current children cumulated vsize: 416800 KiB
Current children cumulated memory: 368884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.8 s]
/proc/loadavg: 2.08 2.10 1.98 3/233 128517
/proc/meminfo: memFree=129039756/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128295 vsize=416800 memory=368884 CPUtime=3600.01 cores=1,3
/proc/128301/stat : 128301 (cp_sat_runner) S 128295 128301 128058 0 -1 4194304 335461 0 0 0 359890 111 0 0 20 0 3 0 172868670 426803200 92221 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
/proc/128301/statm: 104200 92221 2176 2102 0 94339 0
[pid=128301/tid=128314] ppid=128295 vsize=416800 memory=368884 CPUtime=1793.05 cores=1,3
/proc/128301/task/128314/stat : 128314 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 201157 0 0 0 179275 30 0 0 20 0 3 0 172868787 426803200 92221 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
[pid=128301/tid=128315] ppid=128295 vsize=416800 memory=21120 CPUtime=1805.25 cores=1,3
/proc/128301/task/128315/stat : 128315 (cp_sat_runner) R 128295 128301 128058 0 -1 4194368 118668 0 0 0 180470 55 0 0 20 0 3 0 172868787 426803200 92221 18446744073709551615 4198400 12806697 140720959332832 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 22945792 140720959338773 140720959338977 140720959338977 140720959344583 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 416800 KiB
Current children cumulated memory: 368884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1812.81 s]
# the end of solver process 128301 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.91 s, system=1.11903 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1812.81
CPU time (s): 3600.03
CPU user time (s): 3598.91
CPU system time (s): 1.11903
CPU usage (%): 198.589
Max. virtual memory (cumulated for all children) (KiB): 482336
Max. memory (cumulated for all children) (KiB): 383864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.91
system time used= 1.11903
maximum resident set size= 383864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335466
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= 21860
involuntary context switches= 54439
# summary of solver processes directly reported to runsolver:
# pid: 128301
# total CPU time (s): 3600.03
# total CPU user time (s): 3598.91
# total CPU system time (s): 1.11903
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.63064 second user time and 8.46468 second system time
The end
Begin job on nodeC003 at 2025-07-15 11:31:39 IDJOB=4529481 IDBENCH=144123 IDSOLVER=3387 FILE ID=nodeC003/4529481-1752571897 RUNJOBID= nodeC003-1752571843-128075 SLURM_JOB_ID= 9683872 Free space on /tmp= 433020 MiB SOLVER NAME= OR-Tools CP-SAT 9.14.2 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-le450-5a-3_wcsp.wbo COMMAND LINE= cp_sat_runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529481-1752571897/watcher-4529481-1752571897 -o /tmp/evaluation-result-4529481-1752571897/solver-4529481-1752571897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752571843-128075 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:375222618 --competition_mode --input HOME/instance-4529481-1752571897.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ba46843969465965b44fc895ec2faac6 RANDOM SEED=375222618 nodeC003 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 : 0xb00001f cpu MHz : 1197.162 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.264 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.083 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.160 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.486 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.487 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.485 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.487 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129214648 kB MemAvailable: 129670516 kB Buffers: 2736 kB Cached: 1248580 kB SwapCached: 36 kB Active: 856432 kB Inactive: 702528 kB Active(anon): 317964 kB Inactive(anon): 7604 kB Active(file): 538468 kB Inactive(file): 694924 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 26492 kB Writeback: 4 kB AnonPages: 310760 kB Mapped: 124052 kB Shmem: 17924 kB KReclaimable: 124208 kB Slab: 219332 kB SReclaimable: 124208 kB SUnreclaim: 95124 kB KernelStack: 4096 kB PageTables: 3660 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 678476 kB VmallocTotal: 34359738367 kB VmallocUsed: 149432 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 63488 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: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 433048 MiB End job on nodeC003 at 2025-07-15 12:01:53