Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | SAT (TO) | 36 | 3600.02 | 3611.42 |
| Name | PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb |
| MD5SUM | 9f3f50f555350d326304759fc873d478 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 36 |
| Best CPU time to get the best result obtained on this benchmark | 46.5996 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5048 |
| Total number of constraints | 65280 |
| Number of constraints which are clauses | 65280 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 18 |
| Maximum length of a constraint | 45 |
| Number of terms in the objective function | 5048 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 5048 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5048 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
7.95/8.10 c 65280 constraints 7.95/8.10 c after presolve 65280 8.44/8.56 c Finish cloning data from SAT to LS 8.44/8.56 c intsize: 13 68.48/68.81 c Use LS-small 68.48/68.81 o 165 68.48/68.81 o 164 68.48/68.81 o 163 68.48/68.81 o 162 68.48/68.81 o 161 68.48/68.81 o 160 68.48/68.81 o 159 68.48/68.81 o 158 68.48/68.81 o 157 68.48/68.81 o 156 68.48/68.81 o 155 68.48/68.81 o 154 68.48/68.81 o 153 68.48/68.81 o 152 68.48/68.81 o 151 68.48/68.81 o 150 68.48/68.81 o 149 68.48/68.81 o 148 68.48/68.81 o 147 68.48/68.81 o 146 68.48/68.81 o 145 68.48/68.81 o 144 68.48/68.81 o 143 68.48/68.81 o 142 68.48/68.81 o 141 68.48/68.81 o 140 68.48/68.81 o 139 68.48/68.81 o 138 68.48/68.81 o 137 68.48/68.81 o 136 68.48/68.81 o 135 68.48/68.81 o 134 68.48/68.81 o 133 68.48/68.81 o 132 68.48/68.81 o 131 68.48/68.81 o 130 68.48/68.81 o 129 68.48/68.81 o 128 68.48/68.81 o 127 68.48/68.81 o 126 68.48/68.81 o 125 68.48/68.81 o 124 68.48/68.81 o 123 68.48/68.81 o 122 68.48/68.81 o 121 68.48/68.81 o 120 68.48/68.81 o 119 68.48/68.81 o 118 68.48/68.81 o 117 68.48/68.81 o 116 68.48/68.81 o 115 68.48/68.81 o 114 68.48/68.81 o 113 68.48/68.81 o 112 68.48/68.81 o 111 68.48/68.81 o 110 68.48/68.81 o 109 68.48/68.81 o 108 68.48/68.81 o 107 68.48/68.81 o 106 68.48/68.81 o 105 68.48/68.81 o 104 68.48/68.81 o 103 68.48/68.81 o 102 68.48/68.81 o 101 68.48/68.81 o 100 68.48/68.81 o 99 68.48/68.81 o 98 68.48/68.81 o 97 68.48/68.81 o 96 68.48/68.81 o 95 68.48/68.81 o 94 68.48/68.81 o 93 68.48/68.81 o 92 68.48/68.81 o 91 68.48/68.81 o 90 68.48/68.81 o 89 68.48/68.81 o 80 68.48/68.81 o 79 68.48/68.81 o 78 68.48/68.81 o 77 68.48/68.81 o 76 68.48/68.81 o 75 68.48/68.81 o 74 68.48/68.81 o 73 68.48/68.81 o 72 68.48/68.81 o 71 68.48/68.81 o 70 68.48/68.81 o 69 68.48/68.81 o 59 68.48/68.81 o 58 68.48/68.81 o 57 68.48/68.81 o 56 68.48/68.81 o 55 68.48/68.81 o 50 68.48/68.81 o 49 68.48/68.81 o 48 68.48/68.81 o 47 68.48/68.81 o 46 68.48/68.81 o 45 68.48/68.81 o 44 68.48/68.81 o 43 68.48/68.81 o 42 68.48/68.81 o 41 68.48/68.81 o 40 68.48/68.81 o 39 68.48/68.81 o 38 68.48/68.81 o 37 68.48/68.81 o 36 68.48/68.81 c SAT by LS-small 68.48/68.81 o 36 3600.00/3611.40 c Program interrupted by user. 3600.00/3611.40 s SATISFIABLE 3600.00/3611.40 v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 -x13 x14 -x15 x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 x3473 x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048
OK 36
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: 63794 MiB (62122 MiB free)
memory of node 1: 64507 MiB (62868 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502991-1751429683/watcher-4502991-1751429683 -o /tmp/evaluation-result-4502991-1751429683/solver-4502991-1751429683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751429683-65143 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4502991-1751429683.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=65174, runsolver pid=65167
[startup+0.100073 s]*
/proc/loadavg: 0.53 0.91 1.02 4/248 65181
/proc/meminfo: memFree=127943028/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=57108 memory=18144 CPUtime=0.08 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 2724 0 0 0 7 1 0 0 20 0 1 0 58648057 58478592 4536 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 14277 4536 1664 2271 0 8915 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 57108 KiB
Current children cumulated memory: 18144 KiB
[startup+0.215747 s]*
/proc/loadavg: 0.53 0.91 1.02 5/252 65189
/proc/meminfo: memFree=127904704/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=60104 memory=23428 CPUtime=0.2 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 3562 0 0 0 18 2 0 0 20 0 1 0 58648057 61546496 5857 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 15026 5857 1664 2271 0 9664 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60104 KiB
Current children cumulated memory: 23428 KiB
[startup+0.313456 s]*
/proc/loadavg: 0.53 0.91 1.02 5/252 65189
/proc/meminfo: memFree=127863564/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=63364 memory=26756 CPUtime=0.29 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 4387 0 0 0 27 2 0 0 20 0 1 0 58648057 64884736 6689 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 15841 6689 1664 2271 0 10479 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63364 KiB
Current children cumulated memory: 26756 KiB
[startup+0.700291 s]
/proc/loadavg: 0.53 0.91 1.02 6/252 65189
/proc/meminfo: memFree=127786968/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=75784 memory=41052 CPUtime=0.67 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 7437 0 0 0 63 4 0 0 20 0 1 0 58648057 77602816 10263 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 18946 10263 1664 2271 0 13584 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75784 KiB
Current children cumulated memory: 41052 KiB
[startup+1.50032 s]
/proc/loadavg: 0.53 0.91 1.02 5/252 65189
/proc/meminfo: memFree=127593192/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=116560 memory=88192 CPUtime=1.46 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 17682 0 0 0 140 6 0 0 20 0 1 0 58648057 119357440 22048 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 29140 22048 1664 2271 0 23778 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 116560 KiB
Current children cumulated memory: 88192 KiB
[startup+3.11298 s]
/proc/loadavg: 0.81 0.97 1.04 5/250 65189
/proc/meminfo: memFree=126765032/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=260736 memory=235268 CPUtime=3.07 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 44315 0 0 0 288 19 0 0 20 0 1 0 58648057 266993664 58817 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 65184 58817 1856 2271 0 59822 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 260736 KiB
Current children cumulated memory: 235268 KiB
[startup+6.30033 s]
/proc/loadavg: 0.81 0.97 1.04 5/255 65199
/proc/meminfo: memFree=125798620/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=260736 memory=235268 CPUtime=6.24 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 44334 0 0 0 605 19 0 0 20 0 1 0 58648057 266993664 58817 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 65184 58817 1856 2271 0 59822 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 260736 KiB
Current children cumulated memory: 235268 KiB
[startup+12.7003 s]
/proc/loadavg: 1.30 1.07 1.07 5/254 65199
/proc/meminfo: memFree=125214476/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=377496 memory=352260 CPUtime=12.62 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 73593 0 0 0 1237 25 0 0 20 0 1 0 58648057 386555904 88065 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 94374 88065 1920 2271 0 89012 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 377496 KiB
Current children cumulated memory: 352260 KiB
[startup+25.5003 s]
/proc/loadavg: 1.71 1.16 1.10 5/254 65199
/proc/meminfo: memFree=124459548/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=377496 memory=352260 CPUtime=25.37 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 73593 0 0 0 2510 27 0 0 20 0 1 0 58648057 386555904 88065 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 94374 88065 1920 2271 0 89012 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 377496 KiB
Current children cumulated memory: 352260 KiB
[startup+51.1138 s]
/proc/loadavg: 2.63 1.42 1.19 5/254 65199
/proc/meminfo: memFree=123843712/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=377496 memory=354308 CPUtime=50.87 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 73611 0 0 0 5055 32 0 0 20 0 1 0 58648057 386555904 88577 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 94374 88577 1920 2271 0 89012 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 377496 KiB
Current children cumulated memory: 354308 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 1.87 1.36 5/254 65201
/proc/meminfo: memFree=117239548/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=719924 memory=674740 CPUtime=101.86 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 121790 0 0 0 10133 53 0 0 20 0 1 0 58648057 737202176 168685 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 179981 168685 1920 2271 0 174619 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 719924 KiB
Current children cumulated memory: 674740 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.28 1.54 5/252 65203
/proc/meminfo: memFree=112592444/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=994544 memory=881452 CPUtime=161.69 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 154252 0 0 0 16104 65 0 0 20 0 1 0 58648057 1018413056 220363 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 248636 220363 1920 2271 0 243274 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 994544 KiB
Current children cumulated memory: 881452 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.62 1.70 5/252 65205
/proc/meminfo: memFree=108301188/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1027960 memory=947004 CPUtime=221.49 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 162117 0 0 0 22078 71 0 0 20 0 1 0 58648057 1052631040 236751 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 256990 236751 1920 2271 0 251628 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 1027960 KiB
Current children cumulated memory: 947004 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.89 1.86 5/252 65212
/proc/meminfo: memFree=105871072/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1027960 memory=948540 CPUtime=281.3 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 162131 0 0 0 28059 71 0 0 20 0 1 0 58648057 1052631040 237135 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 256990 237135 1920 2271 0 251628 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 1027960 KiB
Current children cumulated memory: 948540 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.13 2.00 5/251 65214
/proc/meminfo: memFree=106072504/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1027960 memory=953404 CPUtime=341.09 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 162358 0 0 0 34038 71 0 0 20 0 1 0 58648057 1052631040 238351 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 256990 238351 1920 2271 0 251628 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 1027960 KiB
Current children cumulated memory: 953404 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.30 2.14 5/251 65216
/proc/meminfo: memFree=105374684/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1027960 memory=971872 CPUtime=400.9 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 162910 0 0 0 40018 72 0 0 20 0 1 0 58648057 1052631040 242968 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 256990 242968 1920 2271 0 251628 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 1027960 KiB
Current children cumulated memory: 971872 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.45 2.26 5/251 65218
/proc/meminfo: memFree=104032656/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1030204 memory=976864 CPUtime=460.73 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 163723 0 0 0 46001 72 0 0 20 0 1 0 58648057 1054928896 244216 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 257551 244216 1920 2271 0 252189 0
################
# More data... #
################
Current children cumulated memory: 1180656 KiB
[startup+2862.3 s]
/proc/loadavg: 3.11 3.15 3.35 4/244 65379
/proc/meminfo: memFree=121183432/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1225612 memory=1180656 CPUtime=2853.29 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 178696 0 0 0 285188 141 0 0 20 0 1 0 58648057 1255026688 295164 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 306403 295164 1920 2271 0 301041 0
Current children cumulated CPU time: 2853.29 s
Current children cumulated vsize: 1225612 KiB
Current children cumulated memory: 1180656 KiB
[startup+2922.3 s]
/proc/loadavg: 3.16 3.15 3.33 4/244 65381
/proc/meminfo: memFree=121135076/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1225612 memory=1180656 CPUtime=2913.11 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 178766 0 0 0 291170 141 0 0 20 0 1 0 58648057 1255026688 295164 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 306403 295164 1920 2271 0 301041 0
Current children cumulated CPU time: 2913.11 s
Current children cumulated vsize: 1225612 KiB
Current children cumulated memory: 1180656 KiB
[startup+2982.3 s]
/proc/loadavg: 3.12 3.14 3.32 4/244 65383
/proc/meminfo: memFree=121051988/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1541696 memory=1265412 CPUtime=2972.92 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 194164 0 0 0 297141 151 0 0 20 0 1 0 58648057 1578696704 316353 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 385424 316353 1920 2271 0 380062 0
Current children cumulated CPU time: 2972.92 s
Current children cumulated vsize: 1541696 KiB
Current children cumulated memory: 1265412 KiB
[startup+3042.3 s]
/proc/loadavg: 3.09 3.13 3.30 4/244 65386
/proc/meminfo: memFree=121026372/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1559360 memory=1277572 CPUtime=3032.73 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 197230 0 0 0 303121 152 0 0 20 0 1 0 58648057 1596784640 319393 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 389840 319393 1920 2271 0 384478 0
Current children cumulated CPU time: 3032.73 s
Current children cumulated vsize: 1559360 KiB
Current children cumulated memory: 1277572 KiB
[startup+3102.3 s]
/proc/loadavg: 3.15 3.13 3.29 4/245 65391
/proc/meminfo: memFree=120980448/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1579716 memory=1299672 CPUtime=3092.54 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 201579 0 0 0 309100 154 0 0 20 0 1 0 58648057 1617629184 324918 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 394929 324918 1920 2271 0 389567 0
Current children cumulated CPU time: 3092.54 s
Current children cumulated vsize: 1579716 KiB
Current children cumulated memory: 1299672 KiB
[startup+3162.3 s]
/proc/loadavg: 3.11 3.12 3.27 4/245 65393
/proc/meminfo: memFree=120963656/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1580100 memory=1300056 CPUtime=3152.34 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 201676 0 0 0 315080 154 0 0 20 0 1 0 58648057 1618022400 325014 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 395025 325014 1920 2271 0 389663 0
Current children cumulated CPU time: 3152.34 s
Current children cumulated vsize: 1580100 KiB
Current children cumulated memory: 1300056 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.11 3.26 4/245 65395
/proc/meminfo: memFree=120898132/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1580100 memory=1300056 CPUtime=3212.15 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 201682 0 0 0 321060 155 0 0 20 0 1 0 58648057 1618022400 325014 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 395025 325014 1920 2271 0 389663 0
Current children cumulated CPU time: 3212.15 s
Current children cumulated vsize: 1580100 KiB
Current children cumulated memory: 1300056 KiB
[startup+3282.3 s]
/proc/loadavg: 3.13 3.12 3.25 4/245 65397
/proc/meminfo: memFree=120875600/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1599556 memory=1321564 CPUtime=3271.95 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 205003 0 0 0 327039 156 0 0 20 0 1 0 58648057 1637945344 330391 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 399889 330391 1920 2271 0 394527 0
Current children cumulated CPU time: 3271.95 s
Current children cumulated vsize: 1599556 KiB
Current children cumulated memory: 1321564 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.11 3.24 4/244 65403
/proc/meminfo: memFree=120859128/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1600196 memory=1322076 CPUtime=3331.77 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 205209 0 0 0 333020 157 0 0 20 0 1 0 58648057 1638600704 330519 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 400049 330519 1920 2271 0 394687 0
Current children cumulated CPU time: 3331.77 s
Current children cumulated vsize: 1600196 KiB
Current children cumulated memory: 1322076 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.12 3.24 4/245 65406
/proc/meminfo: memFree=120801944/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1600196 memory=1322076 CPUtime=3391.57 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 205541 0 0 0 339000 157 0 0 20 0 1 0 58648057 1638600704 330519 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 400049 330519 1920 2271 0 394687 0
Current children cumulated CPU time: 3391.57 s
Current children cumulated vsize: 1600196 KiB
Current children cumulated memory: 1322076 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.11 3.22 4/245 65408
/proc/meminfo: memFree=120777620/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1600196 memory=1322460 CPUtime=3451.38 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 205558 0 0 0 344980 158 0 0 20 0 1 0 58648057 1638600704 330615 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 400049 330615 1920 2271 0 394687 0
Current children cumulated CPU time: 3451.38 s
Current children cumulated vsize: 1600196 KiB
Current children cumulated memory: 1322460 KiB
[startup+3522.3 s]
/proc/loadavg: 3.08 3.10 3.21 4/246 65411
/proc/meminfo: memFree=120769344/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1600196 memory=1327452 CPUtime=3511.19 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 205559 0 0 0 350960 159 0 0 20 0 1 0 58648057 1638600704 331863 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 400049 331863 1920 2271 0 394687 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 1600196 KiB
Current children cumulated memory: 1327452 KiB
[startup+3582.3 s]
/proc/loadavg: 3.13 3.11 3.21 4/246 65413
/proc/meminfo: memFree=120761576/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1600196 memory=1366492 CPUtime=3570.99 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 205576 0 0 0 356940 159 0 0 20 0 1 0 58648057 1638600704 341623 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 400049 341623 1920 2271 0 394687 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 1600196 KiB
Current children cumulated memory: 1366492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 3.16 3.12 3.20 4/246 65414
/proc/meminfo: memFree=120742660/131382116 swapFree=33010684/33010684
[pid=65174] ppid=65167 vsize=1600196 memory=1384028 CPUtime=3600 cores=5,7
/proc/65174/stat : 65174 (ExactPR) R 65167 65174 65101 0 -1 4194304 205856 0 0 0 359840 160 0 0 20 0 1 0 58648057 1638600704 346007 18446744073709551615 94182464577536 94182473877381 140726913946160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94182475663680 94182475702760 94182518267904 140726913948037 140726913948172 140726913948172 140726913953774 0
/proc/65174/statm: 400049 346007 1920 2271 0 394687 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1600196 KiB
Current children cumulated memory: 1384028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 65174 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.41 s, system=1.60722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.42
CPU time (s): 3600.02
CPU user time (s): 3598.41
CPU system time (s): 1.60722
CPU usage (%): 99.6845
Max. virtual memory (cumulated for all children) (KiB): 1746288
Max. memory (cumulated for all children) (KiB): 1384028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.41
system time used= 1.60722
maximum resident set size= 1487720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205882
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= 252
involuntary context switches= 19897
# summary of solver processes directly reported to runsolver:
# pid: 65174
# total CPU time (s): 3600.02
# total CPU user time (s): 3598.41
# total CPU system time (s): 1.60722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5291 second user time and 36.0788 second system time
The end
Begin job on nodeC011 at 2025-07-02 06:14:43 IDJOB=4502991 IDBENCH=155403 IDSOLVER=3324 FILE ID=nodeC011/4502991-1751429683 RUNJOBID= nodeC011-1751429683-65143 SLURM_JOB_ID= 9598368 Free space on /tmp= 431344 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502991-1751429683/watcher-4502991-1751429683 -o /tmp/evaluation-result-4502991-1751429683/solver-4502991-1751429683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751429683-65143 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4502991-1751429683.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9f3f50f555350d326304759fc873d478 RANDOM SEED=1269561913 nodeC011 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 : 1198.088 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.285 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 : 6984.20 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 : 1895.690 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 : 6984.20 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 : 1796.975 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 : 6984.20 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 : 1895.729 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 : 6984.20 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 : 1496.613 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 : 6984.20 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 : 3700.000 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 : 6984.20 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.919 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 128006752 kB MemAvailable: 129924944 kB Buffers: 3280 kB Cached: 2722812 kB SwapCached: 0 kB Active: 379476 kB Inactive: 2422944 kB Active(anon): 94312 kB Inactive(anon): 0 kB Active(file): 285164 kB Inactive(file): 2422944 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 206032 kB Writeback: 0 kB AnonPages: 79448 kB Mapped: 102456 kB Shmem: 17960 kB KReclaimable: 99036 kB Slab: 182600 kB SReclaimable: 99036 kB SUnreclaim: 83564 kB KernelStack: 3968 kB PageTables: 2796 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 341528 kB VmallocTotal: 34359738367 kB VmallocUsed: 149320 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431300 MiB End job on nodeC011 at 2025-07-02 07:14:55