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 | MSAT (TO) | 3600.13 | 1818.52 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-24_wcsp.wbo |
| MD5SUM | 5f4845564474de72882a5c75d8b8b05c |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2857 |
| Best CPU time to get the best result obtained on this benchmark | 22.1293 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1612 |
| Total number of constraints | 129924 |
| Number of soft constraints | 129825 |
| Number of constraints which are clauses | 129825 |
| Number of constraints which are cardinality constraints (but not clauses) | 99 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 20 |
| Top cost | 250711 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 22300299 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
8.83/8.58 o 89291 9.22/8.80 o 83338 12.98/10.66 o 82081 16.15/12.23 o 82038 18.43/13.41 o 43007 26.39/17.55 o 36886 29.16/18.96 o 33110 29.37/19.08 o 26687 30.95/19.82 o 23535 30.95/19.86 o 20022 31.14/19.93 o 19473 31.14/19.96 o 19443 31.35/20.01 o 19433 31.35/20.04 o 19432 33.53/21.19 o 19368 33.72/21.26 o 17652 45.35/27.12 o 16004 45.35/27.18 o 15440 45.74/27.36 o 14750 47.92/28.44 o 14439 47.92/28.49 o 14095 51.31/30.18 o 11683 51.49/30.23 o 11470 59.81/34.45 o 11154 60.01/34.57 o 8906 61.79/35.42 o 8219 61.99/35.58 o 8139 65.17/37.11 o 8039 65.17/37.15 o 8019 68.54/38.85 o 8010 75.68/42.46 o 8006 78.85/44.05 o 7916 79.05/44.17 o 7906 81.23/45.24 o 6728 90.96/50.15 o 6717 97.70/53.53 o 6372 107.02/58.28 o 6081 107.22/58.33 o 5967 127.45/68.56 o 5966 149.48/79.64 o 5944 150.86/80.39 o 5935 151.06/80.46 o 5834 161.38/85.69 o 5501 164.37/87.17 o 5491 166.54/88.24 o 5480 248.47/129.53 o 5458 248.67/129.62 o 4664 268.13/139.53 o 4595 268.13/139.56 o 4494 294.72/152.96 o 4373 297.49/154.38 o 4311 317.34/164.34 o 4303 419.50/215.87 o 4295 419.70/215.99 o 4294 454.03/233.21 o 4284 471.09/241.80 o 4276 502.24/257.51 o 4123 517.91/265.44 o 4100 519.69/266.35 o 4090 537.54/275.33 o 4089 540.32/276.74 o 4058 557.57/285.47 o 4057 561.75/287.55 o 3978 568.49/291.00 o 3968 599.64/306.65 o 3966 599.64/306.69 o 3911 629.39/321.63 o 3909 676.61/345.40 o 3907 733.35/374.08 o 3874 742.64/378.76 o 3873 743.04/378.97 o 3872 761.10/388.10 o 3869 762.68/388.89 o 3859 789.66/402.40 o 3858 835.68/425.66 o 3857 1019.58/518.39 o 3847 3600.09/1818.50 s SATISFIABLE 3600.09/1818.50 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.09/1818.50 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.09/1818.50 v -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 3600.09/1818.50 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 x62 -x63 -x64 3600.09/1818.50 v -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 3600.09/1818.50 v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 3600.09/1818.50 v -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 3600.09/1818.50 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 3600.09/1818.50 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 3600.09/1818.50 v -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 3600.09/1818.50 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 3600.09/1818.50 v -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 3600.09/1818.50 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 3600.09/1818.50 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 3600.09/1818.50 v x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 3600.09/1818.50 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 3600.09/1818.50 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 3600.09/1818.50 v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 3600.09/1818.50 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 x263 -x264 3600.09/1818.50 v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 3600.09/1818.50 v -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 3600.09/1818.50 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 3600.09/1818.50 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 3600.09/1818.50 v -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 3600.09/1818.50 v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 3600.09/1818.50 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 3600.09/1818.50 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 3600.09/1818.50 v -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 3600.09/1818.50 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 3600.09/1818.50 v -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 3600.09/1818.50 v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 3600.09/1818.50 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 3600.09/1818.50 v -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 3600.09/1818.50 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 3600.09/1818.50 v -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 3600.09/1818.50 v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 3600.09/1818.50 v -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 3600.09/1818.50 v -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 3600.09/1818.50 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 3600.09/1818.50 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 3600.09/1818.50 v -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 3600.09/1818.50 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 3600.09/1818.50 v x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 3600.09/1818.50 v -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 3600.09/1818.50 v -x590 -x591 -x592 -x593 x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 3600.09/1818.50 v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 3600.09/1818.50 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 3600.09/1818.50 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 3600.09/1818.50 v -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 3600.09/1818.50 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 3600.09/1818.50 v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 3600.09/1818.50 v -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 3600.09/1818.50 v -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 3600.09/1818.50 v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 3600.09/1818.50 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 3600.09/1818.50 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 3600.09/1818.50 v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 3600.09/1818.50 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 3600.09/1818.50 v -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 3600.09/1818.50 v -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 3600.09/1818.50 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 3600.09/1818.50 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 3600.09/1818.50 v x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 3600.09/1818.50 v -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 3600.09/1818.50 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 3600.09/1818.50 v -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 3600.09/1818.50 v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 3600.09/1818.50 v -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 3600.09/1818.50 v -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 3600.09/1818.50 v -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 3600.09/1818.50 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 3600.09/1818.50 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 3600.09/1818.50 v x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 3600.09/1818.50 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 3600.09/1818.50 v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 3600.09/1818.50 v -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 3600.09/1818.50 v -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 3600.09/1818.50 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 3600.09/1818.50 v -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 3600.09/1818.50 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 3600.09/1818.50 v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 3600.09/1818.50 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 3600.09/1818.50 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 3600.09/1818.50 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 3600.09/1818.50 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 3600.09/1818.50 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 3600.09/1818.50 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 x1125 3600.09/1818.50 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 3600.09/1818.50 v -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 3600.09/1818.50 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 3600.09/1818.50 v x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 3600.09/1818.50 v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 3600.09/1818.50 v -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 3600.09/1818.50 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 -x1202 3600.09/1818.50 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 3600.09/1818.50 v x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 3600.09/1818.50 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 3600.09/1818.50 v -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 3600.09/1818.50 v -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 x1254 -x1255 -x1256 -x1257 3600.09/1818.50 v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 3600.09/1818.50 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 3600.09/1818.50 v x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 3600.09/1818.50 v -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 3600.09/1818.50 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 3600.09/1818.50 v -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 3600.09/1818.50 v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 3600.09/1818.50 v -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 3600.09/1818.50 v -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 3600.09/1818.50 v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 3600.09/1818.50 v -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 3600.09/1818.50 v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 3600.09/1818.50 v -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 3600.09/1818.50 v -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411 3600.09/1818.50 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 3600.09/1818.50 v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 3600.09/1818.50 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 3600.09/1818.50 v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 3600.09/1818.50 v -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 3600.09/1818.50 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 3600.09/1818.50 v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 -x1487 -x1488 3600.09/1818.50 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 3600.09/1818.50 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 3600.09/1818.50 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 3600.09/1818.50 v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 -x1532 3600.09/1818.50 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 3600.09/1818.50 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 3600.09/1818.50 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 3600.09/1818.50 v -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 3600.09/1818.50 v -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 3600.09/1818.50 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 3600.09/1818.50 v -x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 3600.09/1818.50 v -x1610 -x1611 -x1612
OK 3847
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 (62362 MiB free)
memory of node 1: 64465 MiB (62148 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525611-1751615615/watcher-4525611-1751615615 -o /tmp/evaluation-result-4525611-1751615615/solver-4525611-1751615615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90044 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:108295580 --competition_mode --input HOME/instance-4525611-1751615615.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=96146, runsolver pid=96143
[startup+0.100073 s]*
/proc/loadavg: 7.49 7.89 7.72 8/256 96147
/proc/meminfo: memFree=127499032/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=21864 memory=15772 CPUtime=0.11 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) R 96143 96146 90031 0 -1 4194304 3201 0 0 0 10 1 0 0 20 0 1 0 77240718 22388736 3943 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 5466 3943 1088 2102 0 3006 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 21864 KiB
Current children cumulated memory: 15772 KiB
[startup+0.213661 s]*
/proc/loadavg: 7.49 7.89 7.72 8/256 96147
/proc/meminfo: memFree=127499032/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=34044 memory=27808 CPUtime=0.22 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) R 96143 96146 90031 0 -1 4194304 5979 0 0 0 20 2 0 0 20 0 1 0 77240718 34861056 6952 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 8511 6952 1088 2102 0 6051 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 34044 KiB
Current children cumulated memory: 27808 KiB
[startup+0.31375 s]*
/proc/loadavg: 7.49 7.89 7.72 8/256 96147
/proc/meminfo: memFree=127499032/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=83220 memory=77296 CPUtime=0.31 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) R 96143 96146 90031 0 -1 4194304 17815 0 0 0 26 5 0 0 20 0 1 0 77240718 85217280 19324 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 20805 19324 1120 2102 0 18345 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 83220 KiB
Current children cumulated memory: 77296 KiB
[startup+0.700311 s]
/proc/loadavg: 7.49 7.89 7.72 8/256 96147
/proc/meminfo: memFree=127499032/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=136148 memory=129244 CPUtime=0.68 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) R 96143 96146 90031 0 -1 4194304 31527 0 0 0 60 8 0 0 20 0 1 0 77240718 139415552 32311 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 34037 32311 1408 2102 0 31577 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 136148 KiB
Current children cumulated memory: 129244 KiB
[startup+1.50031 s]
/proc/loadavg: 7.49 7.89 7.72 8/256 96147
/proc/meminfo: memFree=127483156/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=164872 memory=155644 CPUtime=1.48 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) R 96143 96146 90031 0 -1 4194304 37478 0 0 0 138 10 0 0 20 0 1 0 77240718 168828928 38911 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 41218 38911 1568 2102 0 38758 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 164872 KiB
Current children cumulated memory: 155644 KiB
[startup+3.11357 s]
/proc/loadavg: 7.45 7.87 7.71 8/256 96147
/proc/meminfo: memFree=127346572/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=248624 memory=239464 CPUtime=3.09 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) R 96143 96146 90031 0 -1 4194304 62069 0 0 0 293 16 0 0 20 0 1 0 77240718 254590976 59866 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 62156 59866 1888 2102 0 59696 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 248624 KiB
Current children cumulated memory: 239464 KiB
[startup+6.3003 s]
/proc/loadavg: 7.45 7.87 7.71 8/255 96147
/proc/meminfo: memFree=127305176/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=315136 memory=308512 CPUtime=6.27 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) R 96143 96146 90031 0 -1 4194304 89441 0 0 0 604 23 0 0 20 0 1 0 77240718 322699264 77128 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 78784 77128 1920 2102 0 76324 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 315136 KiB
Current children cumulated memory: 308512 KiB
[startup+12.7002 s]
/proc/loadavg: 7.41 7.86 7.71 9/257 96149
/proc/meminfo: memFree=126352096/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1464700 memory=1215012 CPUtime=17.04 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) R 96143 96146 90031 0 -1 4194304 295035 0 0 0 1637 67 0 0 20 0 3 0 77240718 1499852800 303753 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 366175 303753 2176 2102 0 354585 0
[pid=96146/tid=96148] ppid=96143 vsize=1464700 memory=975716 CPUtime=3.61 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 135939 0 0 0 334 27 0 0 20 0 3 0 77241529 1499852800 303753 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1464700 memory=14080 CPUtime=4.34 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 62692 0 0 0 419 15 0 0 20 0 3 0 77241529 1499852800 303753 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 17.04 s
Current children cumulated vsize: 1464700 KiB
Current children cumulated memory: 1215012 KiB
[startup+25.5002 s]
/proc/loadavg: 7.69 7.90 7.73 9/257 96149
/proc/meminfo: memFree=126119656/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1651388 memory=1503000 CPUtime=42.16 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 482014 0 0 0 4116 100 0 0 20 0 3 0 77240718 1691021312 375750 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 412847 375750 2176 2102 0 392027 0
[pid=96146/tid=96148] ppid=96143 vsize=1651388 memory=1493872 CPUtime=14.9 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 224471 0 0 0 1457 33 0 0 20 0 3 0 77241529 1691021312 375750 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1651388 memory=1279068 CPUtime=16.47 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 161071 0 0 0 1605 42 0 0 20 0 3 0 77241529 1691021312 375750 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 42.16 s
Current children cumulated vsize: 1651388 KiB
Current children cumulated memory: 1503000 KiB
[startup+51.1058 s]
/proc/loadavg: 7.87 7.92 7.74 9/257 96150
/proc/meminfo: memFree=126013200/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1735484 memory=1571076 CPUtime=92.95 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 600557 0 0 0 9164 131 0 0 20 0 3 0 77240718 1777135616 392769 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 433871 392769 2176 2102 0 414803 0
[pid=96146/tid=96148] ppid=96143 vsize=1735484 memory=18560 CPUtime=39.75 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 281945 0 0 0 3935 40 0 0 20 0 3 0 77241529 1777135616 392769 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1735484 memory=1591364 CPUtime=41.58 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 222093 0 0 0 4093 65 0 0 20 0 3 0 77241529 1777135616 392769 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 92.95 s
Current children cumulated vsize: 1735484 KiB
Current children cumulated memory: 1571076 KiB
[startup+102.3 s]
/proc/loadavg: 7.98 7.95 7.76 9/258 96153
/proc/meminfo: memFree=126022036/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1659068 memory=1560832 CPUtime=194.52 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 748193 0 0 0 19277 175 0 0 20 0 3 0 77240718 1698885632 390208 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 414767 390208 2176 2102 0 406185 0
[pid=96146/tid=96148] ppid=96143 vsize=1659068 memory=1493784 CPUtime=90.73 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 291979 0 0 0 9032 41 0 0 20 0 3 0 77241529 1698885632 390208 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1659068 memory=1493784 CPUtime=92.16 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 359652 0 0 0 9108 108 0 0 20 0 3 0 77241529 1698885632 390208 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 194.52 s
Current children cumulated vsize: 1659068 KiB
Current children cumulated memory: 1560832 KiB
[startup+162.3 s]
/proc/loadavg: 8.04 7.98 7.78 9/258 96202
/proc/meminfo: memFree=125889924/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1643760 memory=1543544 CPUtime=313.38 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 880308 0 0 0 31113 225 0 0 20 0 3 0 77240718 1683210240 385886 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 410940 385886 2176 2102 0 402358 0
[pid=96146/tid=96148] ppid=96143 vsize=1643760 memory=1563352 CPUtime=149.81 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 328599 0 0 0 14936 45 0 0 20 0 3 0 77241529 1683210240 385886 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1643760 memory=1551132 CPUtime=151.47 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 453774 0 0 0 14994 153 0 0 20 0 3 0 77241529 1683210240 385886 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 313.38 s
Current children cumulated vsize: 1643760 KiB
Current children cumulated memory: 1543544 KiB
[startup+222.3 s]
/proc/loadavg: 8.06 8.00 7.80 9/258 96204
/proc/meminfo: memFree=125816376/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1726856 memory=1596768 CPUtime=432.4 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 991820 0 0 0 42979 261 0 0 20 0 3 0 77240718 1768300544 399192 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 431714 399192 2176 2102 0 421533 0
[pid=96146/tid=96148] ppid=96143 vsize=1726856 memory=46336 CPUtime=209.07 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 372303 0 0 0 20859 48 0 0 20 0 3 0 77241529 1768300544 399192 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1726856 memory=14080 CPUtime=211.22 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 521510 0 0 0 20936 186 0 0 20 0 3 0 77241529 1768300544 399192 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 432.4 s
Current children cumulated vsize: 1726856 KiB
Current children cumulated memory: 1596768 KiB
[startup+282.3 s]
/proc/loadavg: 8.13 8.03 7.83 9/259 96207
/proc/meminfo: memFree=125844380/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1657556 memory=1544576 CPUtime=551.43 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 1063263 0 0 0 54847 296 0 0 20 0 3 0 77240718 1697337344 386144 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 414389 386144 2176 2102 0 404208 0
[pid=96146/tid=96148] ppid=96143 vsize=1657556 memory=1614144 CPUtime=268.34 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 418590 0 0 0 26781 53 0 0 20 0 3 0 77241529 1697337344 386144 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1657556 memory=1610656 CPUtime=270.96 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 546659 0 0 0 26882 214 0 0 20 0 3 0 77241529 1697337344 386144 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 551.43 s
Current children cumulated vsize: 1657556 KiB
################
# More data... #
################
Current children cumulated memory: 1518304 KiB
[startup+1362.3 s]
/proc/loadavg: 8.11 8.09 8.01 9/257 96271
/proc/meminfo: memFree=125892760/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1522132 memory=1397116 CPUtime=2694.5 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 2043372 0 0 0 268290 1160 0 0 20 0 3 0 77240718 1558663168 349279 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 380533 349279 2176 2102 0 372850 0
[pid=96146/tid=96148] ppid=96143 vsize=1522132 memory=1458124 CPUtime=1341.99 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 769734 0 0 0 134099 100 0 0 20 0 3 0 77241529 1558663168 349279 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1522132 memory=1439696 CPUtime=1340.1 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 1175193 0 0 0 132991 1019 0 0 20 0 3 0 77241529 1558663168 349279 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 2694.5 s
Current children cumulated vsize: 1522132 KiB
Current children cumulated memory: 1397116 KiB
[startup+1422.3 s]
/proc/loadavg: 8.09 8.09 8.01 9/257 96273
/proc/meminfo: memFree=125897564/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1598160 memory=1473160 CPUtime=2813.62 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 2062792 0 0 0 280141 1221 0 0 20 0 3 0 77240718 1636515840 368290 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 399540 368290 2176 2102 0 391857 0
[pid=96146/tid=96148] ppid=96143 vsize=1598160 memory=1458124 CPUtime=1401.79 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 771325 0 0 0 140078 101 0 0 20 0 3 0 77241529 1636515840 368290 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1598160 memory=1443508 CPUtime=1399.4 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 1193003 0 0 0 138862 1078 0 0 20 0 3 0 77241529 1636515840 368290 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 2813.62 s
Current children cumulated vsize: 1598160 KiB
Current children cumulated memory: 1473160 KiB
[startup+1482.3 s]
/proc/loadavg: 8.07 8.08 8.01 9/257 96275
/proc/meminfo: memFree=125895516/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1522132 memory=1416400 CPUtime=2932.71 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 2104722 0 0 0 291982 1289 0 0 20 0 3 0 77240718 1558663168 354100 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 380533 354100 2176 2102 0 372850 0
[pid=96146/tid=96148] ppid=96143 vsize=1522132 memory=1532424 CPUtime=1461.57 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 778566 0 0 0 146050 107 0 0 20 0 3 0 77241529 1558663168 354100 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1522132 memory=14080 CPUtime=1458.69 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 1227690 0 0 0 144730 1139 0 0 20 0 3 0 77241529 1558663168 354100 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 2932.71 s
Current children cumulated vsize: 1522132 KiB
Current children cumulated memory: 1416400 KiB
[startup+1542.3 s]
/proc/loadavg: 8.14 8.10 8.02 9/258 96282
/proc/meminfo: memFree=125846116/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1587668 memory=1422276 CPUtime=3051.82 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 2172672 0 0 0 303794 1388 0 0 20 0 3 0 77240718 1625772032 355569 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 396917 355569 2176 2102 0 379333 0
[pid=96146/tid=96148] ppid=96143 vsize=1587668 memory=11264 CPUtime=1521.35 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 827967 0 0 0 151995 140 0 0 20 0 3 0 77241529 1625772032 355569 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1587668 memory=1421380 CPUtime=1517.99 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 1246212 0 0 0 150595 1204 0 0 20 0 3 0 77241529 1625772032 355569 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 3051.82 s
Current children cumulated vsize: 1587668 KiB
Current children cumulated memory: 1422276 KiB
[startup+1602.3 s]
/proc/loadavg: 8.06 8.08 8.01 9/258 96330
/proc/meminfo: memFree=125779356/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1655268 memory=1490592 CPUtime=3170.9 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 2228471 0 0 0 315638 1452 0 0 20 0 3 0 77240718 1694994432 372648 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 413817 372648 2176 2102 0 403253 0
[pid=96146/tid=96148] ppid=96143 vsize=1655268 memory=1461660 CPUtime=1581.1 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 844915 0 0 0 157964 146 0 0 20 0 3 0 77241529 1694994432 372648 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1655268 memory=1535948 CPUtime=1577.31 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 1285039 0 0 0 156469 1262 0 0 20 0 3 0 77241529 1694994432 372648 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 3170.9 s
Current children cumulated vsize: 1655268 KiB
Current children cumulated memory: 1490592 KiB
[startup+1662.3 s]
/proc/loadavg: 8.13 8.09 8.02 9/259 96333
/proc/meminfo: memFree=125582420/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1727896 memory=1655488 CPUtime=3289.99 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 2272693 0 0 0 327493 1506 0 0 20 0 3 0 77240718 1769365504 413872 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 431974 413872 2176 2102 0 423700 0
[pid=96146/tid=96148] ppid=96143 vsize=1727896 memory=1461660 CPUtime=1640.84 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 852084 0 0 0 163936 148 0 0 20 0 3 0 77241529 1769365504 413872 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1727896 memory=1584892 CPUtime=1636.65 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 1322062 0 0 0 162352 1313 0 0 20 0 3 0 77241529 1769365504 413872 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 3289.99 s
Current children cumulated vsize: 1727896 KiB
Current children cumulated memory: 1655488 KiB
[startup+1722.3 s]
/proc/loadavg: 8.04 8.07 8.01 9/259 96337
/proc/meminfo: memFree=125593068/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1722508 memory=1601292 CPUtime=3409.12 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 2292376 0 0 0 339369 1543 0 0 20 0 3 0 77240718 1763848192 400323 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 430627 400323 2176 2102 0 422353 0
[pid=96146/tid=96148] ppid=96143 vsize=1722508 memory=1461660 CPUtime=1700.25 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 858863 0 0 0 169875 150 0 0 20 0 3 0 77241529 1763848192 400323 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1722508 memory=1544276 CPUtime=1696.35 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 1334943 0 0 0 168288 1347 0 0 20 0 3 0 77241529 1763848192 400323 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 3409.12 s
Current children cumulated vsize: 1722508 KiB
Current children cumulated memory: 1601292 KiB
[startup+1782.3 s]
/proc/loadavg: 8.09 8.09 8.02 8/257 96384
/proc/meminfo: memFree=125892568/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1673052 memory=1562748 CPUtime=3528.2 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 2343711 0 0 0 351208 1612 0 0 20 0 3 0 77240718 1713205248 390687 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 418263 390687 2176 2102 0 410231 0
[pid=96146/tid=96148] ppid=96143 vsize=1673052 memory=1526412 CPUtime=1759.59 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 868729 0 0 0 175805 154 0 0 20 0 3 0 77241529 1713205248 390687 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1673052 memory=14080 CPUtime=1756.07 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 1376411 0 0 0 174195 1412 0 0 20 0 3 0 77241529 1713205248 390687 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 3528.2 s
Current children cumulated vsize: 1673052 KiB
Current children cumulated memory: 1562748 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1818.5 s]
/proc/loadavg: 8.07 8.08 8.02 9/260 96388
/proc/meminfo: memFree=125235024/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1673872 memory=1566608 CPUtime=3600.09 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 2362777 0 0 0 358360 1649 0 0 20 0 3 0 77240718 1714044928 391652 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 418468 391652 2176 2102 0 410436 0
[pid=96146/tid=96148] ppid=96143 vsize=1673872 memory=18560 CPUtime=1795.4 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 868811 0 0 0 179385 155 0 0 20 0 3 0 77241529 1714044928 391652 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1673872 memory=14080 CPUtime=1792.15 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 1395392 0 0 0 177766 1449 0 0 20 0 3 0 77241529 1714044928 391652 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1673872 KiB
Current children cumulated memory: 1566608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1818.52 s]
# the end of solver process 96146 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.61 s, system=16.5166 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1818.5 s]
/proc/loadavg: 8.07 8.08 8.02 9/260 96388
/proc/meminfo: memFree=125235024/131382116 swapFree=33009904/33010684
[pid=96146] ppid=96143 vsize=1673872 memory=1566608 CPUtime=3600.09 cores=5,7
/proc/96146/stat : 96146 (cp-sat-runner) S 96143 96146 90031 0 -1 4194304 2362777 0 0 0 358360 1649 0 0 20 0 3 0 77240718 1714044928 391652 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
/proc/96146/statm: 418468 391652 2176 2102 0 410436 0
[pid=96146/tid=96148] ppid=96143 vsize=1673872 memory=18560 CPUtime=1795.4 cores=5,7
/proc/96146/task/96148/stat : 96148 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 868811 0 0 0 179385 155 0 0 20 0 3 0 77241529 1714044928 391652 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
[pid=96146/tid=96149] ppid=96143 vsize=1673872 memory=14080 CPUtime=1792.15 cores=5,7
/proc/96146/task/96149/stat : 96149 (cp-sat-runner) R 96143 96146 90031 0 -1 4194368 1395392 0 0 0 177766 1449 0 0 20 0 3 0 77241529 1714044928 391652 18446744073709551615 4198400 12805993 140730721942768 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38404096 140730721949975 140730721950179 140730721950179 140730721955783 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1673872 KiB
Current children cumulated memory: 1566608 KiB
Child status: 0
Real time (s): 1818.52
CPU time (s): 3600.13
CPU user time (s): 3583.61
CPU system time (s): 16.5166
CPU usage (%): 197.97
Max. virtual memory (cumulated for all children) (KiB): 1782424
Max. memory (cumulated for all children) (KiB): 1675836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.61
system time used= 16.5166
maximum resident set size= 1675836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2362784
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= 21734
involuntary context switches= 129751
# summary of solver processes directly reported to runsolver:
# pid: 96146
# total CPU time (s): 3600.13
# total CPU user time (s): 3583.61
# total CPU system time (s): 16.5166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.95093 second user time and 8.65151 second system time
The end
Begin job on nodeC004 at 2025-07-04 09:53:35 IDJOB=4525611 IDBENCH=143860 IDSOLVER=3378 FILE ID=nodeC004/4525611-1751615615 RUNJOBID= nodeC004-1751612733-90044 SLURM_JOB_ID= 9598915 Free space on /tmp= 431632 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-24_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-4525611-1751615615/watcher-4525611-1751615615 -o /tmp/evaluation-result-4525611-1751615615/solver-4525611-1751615615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90044 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:108295580 --competition_mode --input HOME/instance-4525611-1751615615.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5f4845564474de72882a5c75d8b8b05c RANDOM SEED=108295580 nodeC004 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 : 3591.647 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.74 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 : 3591.658 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.74 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 : 3591.469 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.74 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 : 3591.651 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.74 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.585 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.74 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 : 1197.241 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.74 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.434 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.74 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 : 1197.217 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.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 127499032 kB MemAvailable: 128440544 kB Buffers: 2128 kB Cached: 1689760 kB SwapCached: 32 kB Active: 1954568 kB Inactive: 1094780 kB Active(anon): 1364656 kB Inactive(anon): 10736 kB Active(file): 589912 kB Inactive(file): 1084044 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16328 kB Writeback: 4 kB AnonPages: 1360500 kB Mapped: 129900 kB Shmem: 17932 kB KReclaimable: 214368 kB Slab: 301140 kB SReclaimable: 214368 kB SUnreclaim: 86772 kB KernelStack: 4128 kB PageTables: 5768 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 1797684 kB VmallocTotal: 34359738367 kB VmallocUsed: 149480 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 673792 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: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431620 MiB End job on nodeC004 at 2025-07-04 10:23:54