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 | Wrong Cert. | 3600.09 | 1816.54 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo |
| MD5SUM | 85c9e899b779dcafda2f7e25c2fdc65d |
| 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 | 3263 |
| Best CPU time to get the best result obtained on this benchmark | 90.5155 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1758 |
| Total number of constraints | 105203 |
| Number of soft constraints | 105121 |
| Number of constraints which are clauses | 105121 |
| Number of constraints which are cardinality constraints (but not clauses) | 82 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 26 |
| Top cost | 3389 |
| Min constraint cost | 1 |
| Max constraint cost | 2436 |
| Sum of constraints costs | 36645766 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 27 |
| 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 |
4.54/4.47 o 79367 5.34/4.87 o 69588 25.22/14.96 o 69567 25.43/15.04 o 64632 25.43/15.08 o 64621 25.63/15.15 o 60745 25.63/15.19 o 60739 26.61/15.66 o 59596 26.81/15.72 o 59383 28.20/16.44 o 58404 28.20/16.46 o 58402 30.98/17.86 o 33813 31.17/17.92 o 32915 31.17/17.95 o 32804 31.17/17.98 o 32795 31.38/18.01 o 31896 33.56/19.10 o 31850 33.56/19.13 o 21741 33.95/19.32 o 20740 33.95/19.35 o 17909 33.95/19.38 o 15808 35.15/19.96 o 13091 35.35/20.03 o 11289 46.24/25.60 o 11088 46.83/25.88 o 10913 47.02/25.92 o 10909 52.94/28.97 o 10808 53.15/29.03 o 10305 54.93/29.99 o 10028 55.33/30.15 o 10027 62.84/33.99 o 10026 67.21/36.12 o 9935 69.79/37.40 o 9934 72.57/38.82 o 9825 73.17/39.17 o 9824 73.36/39.20 o 9801 79.91/42.54 o 8849 89.04/47.16 o 8765 89.04/47.19 o 8764 99.35/52.33 o 8664 111.85/58.60 o 7698 117.02/61.27 o 7565 117.21/61.30 o 7431 118.81/62.11 o 7331 133.49/69.55 o 7040 133.49/69.58 o 6916 140.44/73.09 o 6902 140.64/73.12 o 6880 143.40/74.50 o 6870 183.48/94.74 o 6869 188.83/97.48 o 6857 189.04/97.56 o 6846 215.23/110.76 o 6082 215.43/110.80 o 4772 280.71/143.75 o 4764 344.82/176.05 o 4763 592.28/300.70 o 4680 1643.21/830.38 o 4671 1820.02/919.47 o 4603 3600.04/1816.50 s SATISFIABLE 3600.04/1816.50 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.04/1816.50 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 3600.04/1816.50 v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 3600.04/1816.50 v -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 3600.04/1816.50 v -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 3600.04/1816.50 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 3600.04/1816.50 v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 3600.04/1816.50 v -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 3600.04/1816.50 v -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 3600.04/1816.50 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 3600.04/1816.50 v x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 3600.04/1816.50 v -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 3600.04/1816.50 v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 3600.04/1816.50 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 3600.04/1816.50 v -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 3600.04/1816.50 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 3600.04/1816.50 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 3600.04/1816.50 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 3600.04/1816.50 v -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 3600.04/1816.50 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 3600.04/1816.50 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 3600.04/1816.50 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 3600.04/1816.50 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 3600.04/1816.50 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 3600.04/1816.50 v -x331 x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 3600.04/1816.50 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 3600.04/1816.50 v x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 3600.04/1816.50 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 3600.04/1816.50 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 3600.04/1816.50 v -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 3600.04/1816.50 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 3600.04/1816.50 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 3600.04/1816.50 v -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 3600.04/1816.50 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 3600.04/1816.50 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 3600.04/1816.50 v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 3600.04/1816.50 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 3600.04/1816.50 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 3600.04/1816.50 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 3600.04/1816.50 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 3600.04/1816.50 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 3600.04/1816.50 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 3600.04/1816.50 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 3600.04/1816.50 v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 3600.04/1816.50 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 3600.04/1816.50 v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 3600.04/1816.50 v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 3600.04/1816.50 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 3600.04/1816.50 v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 3600.04/1816.50 v -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 3600.04/1816.50 v -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 3600.04/1816.50 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 3600.04/1816.50 v -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 3600.04/1816.50 v -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 3600.04/1816.50 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 3600.04/1816.50 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 3600.04/1816.50 v -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 3600.04/1816.50 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 3600.04/1816.50 v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 3600.04/1816.50 v -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 3600.04/1816.50 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 3600.04/1816.50 v -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 3600.04/1816.50 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 3600.04/1816.50 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 3600.04/1816.50 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 3600.04/1816.50 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 3600.04/1816.50 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 3600.04/1816.50 v -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 3600.04/1816.50 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 3600.04/1816.50 v -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 3600.04/1816.50 v -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 3600.04/1816.50 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 3600.04/1816.50 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 3600.04/1816.50 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 3600.04/1816.50 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 3600.04/1816.50 v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 3600.04/1816.50 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 3600.04/1816.50 v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 3600.04/1816.50 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 3600.04/1816.50 v -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 3600.04/1816.50 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 3600.04/1816.50 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 3600.04/1816.50 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 3600.04/1816.50 v -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 3600.04/1816.50 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 3600.04/1816.50 v -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 3600.04/1816.50 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 3600.04/1816.50 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 3600.04/1816.50 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 3600.04/1816.50 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 3600.04/1816.50 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 3600.04/1816.50 v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 3600.04/1816.50 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 3600.04/1816.50 v -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 3600.04/1816.50 v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 3600.04/1816.50 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 3600.04/1816.50 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 3600.04/1816.50 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 3600.04/1816.50 v -x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 3600.04/1816.50 v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 3600.04/1816.50 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 3600.04/1816.50 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 3600.04/1816.50 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 3600.04/1816.50 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 3600.04/1816.50 v -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 3600.04/1816.50 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 3600.04/1816.50 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 3600.04/1816.50 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 3600.04/1816.50 v -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 3600.04/1816.50 v -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 3600.04/1816.50 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 3600.04/1816.50 v -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 3600.04/1816.50 v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 3600.04/1816.50 v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 3600.04/1816.50 v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 3600.04/1816.50 v x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 3600.04/1816.50 v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 3600.04/1816.50 v -x1457 -x1458 -x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 3600.04/1816.50 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 3600.04/1816.50 v -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 3600.04/1816.50 v -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 3600.04/1816.50 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 3600.04/1816.50 v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 3600.04/1816.50 v x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 3600.04/1816.50 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 3600.04/1816.50 v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 3600.04/1816.50 v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 3600.04/1816.50 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 3600.04/1816.50 v -x1578 -x1579 -x1580 -x1581 x1582 x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 3600.04/1816.50 v -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 3600.04/1816.50 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 3600.04/1816.50 v -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 3600.04/1816.50 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 3600.04/1816.50 v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 x1642 -x1643 -x1644 3600.04/1816.50 v -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 3600.04/1816.50 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 3600.04/1816.50 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 x1677 3600.04/1816.50 v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 3600.04/1816.50 v -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 3600.04/1816.50 v -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 3600.04/1816.50 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 3600.04/1816.50 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 3600.04/1816.50 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 x1743 3600.04/1816.50 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 3600.04/1816.50 v -x1755 -x1756 -x1757 -x1758
FAILED ERROR: cost 4079 exceeds topCost = 3389
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 (62229 MiB free)
memory of node 1: 64465 MiB (56110 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525656-1751617569/watcher-4525656-1751617569 -o /tmp/evaluation-result-4525656-1751617569/solver-4525656-1751617569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90042 --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-4525656-1751617569.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=96483, runsolver pid=96480
[startup+0.10007 s]*
/proc/loadavg: 7.96 8.00 8.00 8/256 96484
/proc/meminfo: memFree=121179660/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=21736 memory=15804 CPUtime=0.1 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) R 96480 96483 90031 0 -1 4194304 3225 0 0 0 9 1 0 0 20 0 1 0 77436063 22257664 3951 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 5434 3951 1088 2102 0 2974 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21736 KiB
Current children cumulated memory: 15804 KiB
[startup+0.213483 s]*
/proc/loadavg: 7.96 8.00 8.00 8/256 96484
/proc/meminfo: memFree=121160560/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=46588 memory=38920 CPUtime=0.21 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) R 96480 96483 90031 0 -1 4194304 8759 0 0 0 19 2 0 0 20 0 1 0 77436063 47706112 9730 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 11647 9730 1088 2102 0 9187 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46588 KiB
Current children cumulated memory: 38920 KiB
[startup+0.313532 s]*
/proc/loadavg: 7.96 8.00 8.00 8/256 96484
/proc/meminfo: memFree=121128304/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=64036 memory=58288 CPUtime=0.31 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) R 96480 96483 90031 0 -1 4194304 14658 0 0 0 27 4 0 0 20 0 1 0 77436063 65572864 14572 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 16009 14572 1280 2102 0 13549 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 64036 KiB
Current children cumulated memory: 58288 KiB
[startup+0.70033 s]
/proc/loadavg: 7.96 8.00 8.00 8/256 96484
/proc/meminfo: memFree=121096300/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=126340 memory=116544 CPUtime=0.68 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) R 96480 96483 90031 0 -1 4194304 26462 0 0 0 61 7 0 0 20 0 1 0 77436063 129372160 29136 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 31585 29136 1504 2102 0 29125 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126340 KiB
Current children cumulated memory: 116544 KiB
[startup+1.50031 s]
/proc/loadavg: 7.96 8.00 8.00 8/256 96484
/proc/meminfo: memFree=121064104/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=160952 memory=149096 CPUtime=1.49 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) R 96480 96483 90031 0 -1 4194304 43697 0 0 0 137 12 0 0 20 0 1 0 77436063 164814848 37242 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 40238 37274 1696 2102 0 37778 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 160952 KiB
Current children cumulated memory: 149096 KiB
[startup+3.11322 s]
/proc/loadavg: 7.96 8.00 8.00 8/256 96484
/proc/meminfo: memFree=120866116/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=292528 memory=272068 CPUtime=3.09 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) R 96480 96483 90031 0 -1 4194304 61529 0 0 0 293 16 0 0 20 0 1 0 77436063 299548672 68017 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 73132 68017 1888 2102 0 70672 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 292528 KiB
Current children cumulated memory: 272068 KiB
[startup+6.30024 s]
/proc/loadavg: 7.97 8.00 8.00 9/258 96486
/proc/meminfo: memFree=120317500/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=963132 memory=782160 CPUtime=8.3 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 163987 0 0 0 789 41 0 0 20 0 3 0 77436063 986247168 195540 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 240783 195540 2176 2102 0 217571 0
[pid=96483/tid=96485] ppid=96480 vsize=963132 memory=18560 CPUtime=2.06 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 74948 0 0 0 190 16 0 0 20 0 3 0 77436480 986247168 195540 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=963132 memory=194976 CPUtime=2.07 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 25402 0 0 0 200 7 0 0 20 0 3 0 77436480 986247168 195540 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 8.3 s
Current children cumulated vsize: 963132 KiB
Current children cumulated memory: 782160 KiB
[startup+12.7003 s]
/proc/loadavg: 7.97 8.00 8.00 9/258 96486
/proc/meminfo: memFree=120069556/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1164280 memory=1002576 CPUtime=20.89 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 312320 0 0 0 2025 64 0 0 20 0 3 0 77436063 1192222720 250644 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 291070 250644 2176 2102 0 277923 0
[pid=96483/tid=96485] ppid=96480 vsize=1164280 memory=194976 CPUtime=7.69 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 165582 0 0 0 742 27 0 0 20 0 3 0 77436480 1192222720 250644 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1164280 memory=0 CPUtime=8.17 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 80722 0 0 0 799 18 0 0 20 0 3 0 77436480 1192222720 250644 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 20.89 s
Current children cumulated vsize: 1164280 KiB
Current children cumulated memory: 1002576 KiB
[startup+25.5003 s]
/proc/loadavg: 8.06 8.02 8.01 9/258 96486
/proc/meminfo: memFree=120377168/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1220552 memory=1109252 CPUtime=46.24 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 467529 0 0 0 4536 88 0 0 20 0 3 0 77436063 1249845248 277313 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 305138 277313 2176 2102 0 291967 0
[pid=96483/tid=96485] ppid=96480 vsize=1220552 memory=18560 CPUtime=20.02 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 240689 0 0 0 1969 33 0 0 20 0 3 0 77436480 1249845248 277313 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1220552 memory=14080 CPUtime=20.7 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 160725 0 0 0 2033 37 0 0 20 0 3 0 77436480 1249845248 277313 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 46.24 s
Current children cumulated vsize: 1220552 KiB
Current children cumulated memory: 1109252 KiB
[startup+51.1055 s]
/proc/loadavg: 8.10 8.03 8.01 9/258 96487
/proc/meminfo: memFree=120458216/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1179900 memory=1095904 CPUtime=96.98 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 585890 0 0 0 9582 116 0 0 20 0 3 0 77436063 1208217600 273976 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 294975 273976 2176 2102 0 284817 0
[pid=96483/tid=96485] ppid=96480 vsize=1179900 memory=1098992 CPUtime=45.23 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 286988 0 0 0 4486 37 0 0 20 0 3 0 77436480 1208217600 273976 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1179900 memory=1029392 CPUtime=45.61 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 232698 0 0 0 4500 61 0 0 20 0 3 0 77436480 1208217600 273976 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 96.98 s
Current children cumulated vsize: 1179900 KiB
Current children cumulated memory: 1095904 KiB
[startup+102.3 s]
/proc/loadavg: 8.16 8.06 8.02 8/258 96488
/proc/meminfo: memFree=120298332/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1262556 memory=1130804 CPUtime=198.56 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 705243 0 0 0 19686 170 0 0 20 0 3 0 77436063 1292857344 282701 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 315639 282701 2176 2102 0 296874 0
[pid=96483/tid=96485] ppid=96480 vsize=1262556 memory=1127576 CPUtime=96.22 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 361666 0 0 0 9580 42 0 0 20 0 3 0 77436480 1292857344 282701 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1262556 memory=1094268 CPUtime=96.18 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 277354 0 0 0 9510 108 0 0 20 0 3 0 77436480 1292857344 282701 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 198.56 s
Current children cumulated vsize: 1262556 KiB
Current children cumulated memory: 1130804 KiB
[startup+162.3 s]
/proc/loadavg: 8.11 8.06 8.02 9/258 96490
/proc/meminfo: memFree=120338260/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1265436 memory=1171640 CPUtime=317.62 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 787335 0 0 0 31536 226 0 0 20 0 3 0 77436063 1295806464 292910 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 316359 292910 2176 2102 0 303356 0
[pid=96483/tid=96485] ppid=96480 vsize=1265436 memory=1137888 CPUtime=155.98 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 424101 0 0 0 15551 47 0 0 20 0 3 0 77436480 1295806464 292910 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1265436 memory=11264 CPUtime=155.47 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 296998 0 0 0 15388 159 0 0 20 0 3 0 77436480 1295806464 292910 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 317.62 s
Current children cumulated vsize: 1265436 KiB
Current children cumulated memory: 1171640 KiB
[startup+222.3 s]
/proc/loadavg: 8.11 8.06 8.02 9/258 96497
/proc/meminfo: memFree=119636216/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1193892 memory=1110304 CPUtime=436.69 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 889803 0 0 0 43394 275 0 0 20 0 3 0 77436063 1222545408 277576 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 298473 277576 2176 2102 0 291092 0
[pid=96483/tid=96485] ppid=96480 vsize=1193892 memory=1117896 CPUtime=215.73 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 452170 0 0 0 21523 50 0 0 20 0 3 0 77436480 1222545408 277576 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1193892 memory=1128288 CPUtime=214.77 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 371347 0 0 0 21273 204 0 0 20 0 3 0 77436480 1222545408 277576 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 436.69 s
Current children cumulated vsize: 1193892 KiB
Current children cumulated memory: 1110304 KiB
[startup+282.3 s]
/proc/loadavg: 8.09 8.06 8.02 9/258 96499
/proc/meminfo: memFree=120007696/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1204312 memory=1115128 CPUtime=555.76 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 930678 0 0 0 55251 325 0 0 20 0 3 0 77436063 1233215488 278782 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 301078 278782 2176 2102 0 293834 0
[pid=96483/tid=96485] ppid=96480 vsize=1204312 memory=5632 CPUtime=275.49 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 458396 0 0 0 27498 51 0 0 20 0 3 0 77436480 1233215488 278782 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1204312 memory=1128996 CPUtime=274.07 cores=4,6
################
# More data... #
################
Current children cumulated memory: 1131360 KiB
[startup+1362.3 s]
/proc/loadavg: 8.09 8.11 8.09 9/259 96547
/proc/meminfo: memFree=119392612/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1184120 memory=1109840 CPUtime=2698.97 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 2177073 0 0 0 268759 1138 0 0 20 0 3 0 77436063 1212538880 277460 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 296030 277460 2176 2102 0 288928 0
[pid=96483/tid=96485] ppid=96480 vsize=1184120 memory=18560 CPUtime=1351.08 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1102685 0 0 0 134990 118 0 0 20 0 3 0 77436480 1212538880 277460 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1184120 memory=1108232 CPUtime=1341.34 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1007733 0 0 0 133150 984 0 0 20 0 3 0 77436480 1212538880 277460 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 2698.97 s
Current children cumulated vsize: 1184120 KiB
Current children cumulated memory: 1109840 KiB
[startup+1422.3 s]
/proc/loadavg: 8.00 8.09 8.08 8/257 96599
/proc/meminfo: memFree=119337748/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1201816 memory=1094768 CPUtime=2818.04 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 2259383 0 0 0 280614 1190 0 0 20 0 3 0 77436063 1230659584 273692 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 300454 273692 2176 2102 0 293352 0
[pid=96483/tid=96485] ppid=96480 vsize=1201816 memory=14080 CPUtime=1410.84 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1148886 0 0 0 140961 123 0 0 20 0 3 0 77436480 1230659584 273692 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1201816 memory=1148556 CPUtime=1400.63 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1043833 0 0 0 139032 1031 0 0 20 0 3 0 77436480 1230659584 273692 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 2818.04 s
Current children cumulated vsize: 1201816 KiB
Current children cumulated memory: 1094768 KiB
[startup+1482.3 s]
/proc/loadavg: 8.04 8.07 8.08 9/259 96605
/proc/meminfo: memFree=117618440/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1146148 memory=1075964 CPUtime=2937.09 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 2333769 0 0 0 292465 1244 0 0 20 0 3 0 77436063 1173655552 268991 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 286537 268991 2176 2102 0 279435 0
[pid=96483/tid=96485] ppid=96480 vsize=1146148 memory=1075964 CPUtime=1470.59 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1194532 0 0 0 146929 130 0 0 20 0 3 0 77436480 1173655552 268991 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1146148 memory=1106316 CPUtime=1459.91 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1072567 0 0 0 144915 1076 0 0 20 0 3 0 77436480 1173655552 268991 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 2937.09 s
Current children cumulated vsize: 1146148 KiB
Current children cumulated memory: 1075964 KiB
[startup+1542.3 s]
/proc/loadavg: 8.10 8.09 8.08 9/259 96607
/proc/meminfo: memFree=117469868/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1197404 memory=1127220 CPUtime=3056.14 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 2412700 0 0 0 304323 1291 0 0 20 0 3 0 77436063 1226141696 281805 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 299351 281805 2176 2102 0 292249 0
[pid=96483/tid=96485] ppid=96480 vsize=1197404 memory=14080 CPUtime=1530.36 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1249655 0 0 0 152901 135 0 0 20 0 3 0 77436480 1226141696 281805 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1197404 memory=14080 CPUtime=1519.18 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1096367 0 0 0 150800 1118 0 0 20 0 3 0 77436480 1226141696 281805 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 3056.14 s
Current children cumulated vsize: 1197404 KiB
Current children cumulated memory: 1127220 KiB
[startup+1602.3 s]
/proc/loadavg: 8.14 8.10 8.09 9/259 96612
/proc/meminfo: memFree=117505484/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1200900 memory=1120476 CPUtime=3175.17 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 2450863 0 0 0 316188 1329 0 0 20 0 3 0 77436063 1229721600 280119 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 300225 280119 2176 2102 0 293123 0
[pid=96483/tid=96485] ppid=96480 vsize=1200900 memory=1130504 CPUtime=1590.13 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1273943 0 0 0 158875 138 0 0 20 0 3 0 77436480 1229721600 280119 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1200900 memory=1075964 CPUtime=1578.41 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1110235 0 0 0 156689 1152 0 0 20 0 3 0 77436480 1229721600 280119 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 3175.17 s
Current children cumulated vsize: 1200900 KiB
Current children cumulated memory: 1120476 KiB
[startup+1662.3 s]
/proc/loadavg: 7.82 8.03 8.07 8/257 96658
/proc/meminfo: memFree=115228104/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1146148 memory=1075968 CPUtime=3294.25 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 2540039 0 0 0 328042 1383 0 0 20 0 3 0 77436063 1173655552 268992 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 286537 268992 2176 2102 0 279435 0
[pid=96483/tid=96485] ppid=96480 vsize=1146148 memory=14080 CPUtime=1649.92 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1329999 0 0 0 164845 147 0 0 20 0 3 0 77436480 1173655552 268992 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1146148 memory=14080 CPUtime=1637.69 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1143336 0 0 0 162572 1197 0 0 20 0 3 0 77436480 1173655552 268992 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 3294.25 s
Current children cumulated vsize: 1146148 KiB
Current children cumulated memory: 1075968 KiB
[startup+1722.3 s]
/proc/loadavg: 7.41 7.87 8.01 8/257 96707
/proc/meminfo: memFree=112787608/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1264488 memory=1152568 CPUtime=3413.37 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 2573220 0 0 0 339904 1433 0 0 20 0 3 0 77436063 1294835712 288142 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 316122 288142 2176 2102 0 300783 0
[pid=96483/tid=96485] ppid=96480 vsize=1264488 memory=1118332 CPUtime=1709.71 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1339105 0 0 0 170820 151 0 0 20 0 3 0 77436480 1294835712 288142 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1264488 memory=14080 CPUtime=1696.98 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1167408 0 0 0 168457 1241 0 0 20 0 3 0 77436480 1294835712 288142 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 3413.37 s
Current children cumulated vsize: 1264488 KiB
Current children cumulated memory: 1152568 KiB
[startup+1782.3 s]
/proc/loadavg: 7.65 7.84 7.99 9/259 96711
/proc/meminfo: memFree=105780556/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1327576 memory=1149080 CPUtime=3532.26 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 2695526 0 0 0 351700 1526 0 0 20 0 3 0 77436063 1359437824 287270 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 331894 287270 2176 2102 0 305381 0
[pid=96483/tid=96485] ppid=96480 vsize=1327576 memory=21648 CPUtime=1769.4 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1439359 0 0 0 176742 198 0 0 20 0 3 0 77436480 1359437824 287270 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1327576 memory=1171292 CPUtime=1756.16 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1189450 0 0 0 174330 1286 0 0 20 0 3 0 77436480 1359437824 287270 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 3532.26 s
Current children cumulated vsize: 1327576 KiB
Current children cumulated memory: 1149080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.5 s]
/proc/loadavg: 7.87 7.87 8.00 9/259 96711
/proc/meminfo: memFree=105273456/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1338900 memory=1182932 CPUtime=3600.04 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 2733017 0 0 0 358452 1552 0 0 20 0 3 0 77436063 1371033600 295733 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 334725 295733 2176 2102 0 308212 0
[pid=96483/tid=96485] ppid=96480 vsize=1338900 memory=1179800 CPUtime=1803.43 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1459485 0 0 0 180143 200 0 0 20 0 3 0 77436480 1371033600 295733 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1338900 memory=1190420 CPUtime=1789.91 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1206814 0 0 0 177681 1310 0 0 20 0 3 0 77436480 1371033600 295733 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1338900 KiB
Current children cumulated memory: 1182932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1816.54 s]
# the end of solver process 96483 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.53 s, system=15.5547 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1816.5 s]
/proc/loadavg: 7.87 7.87 8.00 9/259 96711
/proc/meminfo: memFree=105273456/131382116 swapFree=33009904/33010684
[pid=96483] ppid=96480 vsize=1338900 memory=1182932 CPUtime=3600.04 cores=4,6
/proc/96483/stat : 96483 (cp-sat-runner) S 96480 96483 90031 0 -1 4194304 2733017 0 0 0 358452 1552 0 0 20 0 3 0 77436063 1371033600 295733 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
/proc/96483/statm: 334725 295733 2176 2102 0 308212 0
[pid=96483/tid=96485] ppid=96480 vsize=1338900 memory=1179800 CPUtime=1803.43 cores=4,6
/proc/96483/task/96485/stat : 96485 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1459485 0 0 0 180143 200 0 0 20 0 3 0 77436480 1371033600 295733 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
[pid=96483/tid=96486] ppid=96480 vsize=1338900 memory=1190420 CPUtime=1789.91 cores=4,6
/proc/96483/task/96486/stat : 96486 (cp-sat-runner) R 96480 96483 90031 0 -1 4194368 1206814 0 0 0 177681 1310 0 0 20 0 3 0 77436480 1371033600 295733 18446744073709551615 4198400 12805993 140720683840736 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 37908480 140720683845911 140720683846115 140720683846115 140720683851719 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1338900 KiB
Current children cumulated memory: 1182932 KiB
Child status: 0
Real time (s): 1816.54
CPU time (s): 3600.09
CPU user time (s): 3584.53
CPU system time (s): 15.5547
CPU usage (%): 198.183
Max. virtual memory (cumulated for all children) (KiB): 1353792
Max. memory (cumulated for all children) (KiB): 1193504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.53
system time used= 15.5547
maximum resident set size= 1193504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2733025
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= 21644
involuntary context switches= 92526
# summary of solver processes directly reported to runsolver:
# pid: 96483
# total CPU time (s): 3600.09
# total CPU user time (s): 3584.53
# total CPU system time (s): 15.5547
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66757 second user time and 9.08288 second system time
The end
Begin job on nodeC004 at 2025-07-04 10:26:09 IDJOB=4525656 IDBENCH=143871 IDSOLVER=3378 FILE ID=nodeC004/4525656-1751617569 RUNJOBID= nodeC004-1751612733-90042 SLURM_JOB_ID= 9598915 Free space on /tmp= 431612 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-18reduc_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-4525656-1751617569/watcher-4525656-1751617569 -o /tmp/evaluation-result-4525656-1751617569/solver-4525656-1751617569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90042 --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-4525656-1751617569.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 85c9e899b779dcafda2f7e25c2fdc65d 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 : 3592.837 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 : 3491.862 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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 : 3491.644 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 : 1297.103 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 : 3591.639 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 : 1197.220 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 : 3491.884 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: 121179612 kB MemAvailable: 122143416 kB Buffers: 2128 kB Cached: 1712044 kB SwapCached: 32 kB Active: 8289712 kB Inactive: 1117064 kB Active(anon): 7699800 kB Inactive(anon): 10736 kB Active(file): 589912 kB Inactive(file): 1106328 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15680 kB Writeback: 40 kB AnonPages: 7694908 kB Mapped: 129876 kB Shmem: 17932 kB KReclaimable: 214384 kB Slab: 301268 kB SReclaimable: 214384 kB SUnreclaim: 86884 kB KernelStack: 4128 kB PageTables: 18372 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 8681016 kB VmallocTotal: 34359738367 kB VmallocUsed: 149496 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 4524032 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= 431520 MiB End job on nodeC004 at 2025-07-04 10:56:26