Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02 | SAT | -7944 | 2813.81 | 2821.43 |
| Name | PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_260_007.opb |
| MD5SUM | 19358b71c175af654e98554c4f116d17 |
| 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 | -7944 |
| Best CPU time to get the best result obtained on this benchmark | 0.165829 |
| 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 | 5475 |
| Total number of constraints | 181 |
| Number of constraints which are clauses | 9 |
| Number of constraints which are cardinality constraints (but not clauses) | 172 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1490 |
| Number of terms in the objective function | 5474 |
| Biggest coefficient in the objective function | 260 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 629333 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 260 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 629333 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2813.78/2821.42 c 181 constraints 2813.78/2821.42 c after presolve 184 2813.78/2821.42 o -6474 2813.78/2821.42 o -6595 2813.78/2821.42 o -6676 2813.78/2821.42 o -6798 2813.78/2821.42 o -6848 2813.78/2821.42 o -6868 2813.78/2821.42 o -6913 2813.78/2821.42 o -6918 2813.78/2821.42 o -6963 2813.78/2821.42 o -6967 2813.78/2821.42 o -6975 2813.78/2821.42 o -7064 2813.78/2821.42 o -7073 2813.78/2821.42 o -7081 2813.78/2821.42 o -7083 2813.78/2821.42 o -7084 2813.78/2821.42 o -7104 2813.78/2821.42 o -7143 2813.78/2821.42 o -7203 2813.78/2821.42 o -7215 2813.78/2821.42 o -7252 2813.78/2821.42 o -7261 2813.78/2821.42 o -7295 2813.78/2821.42 o -7314 2813.78/2821.42 o -7324 2813.78/2821.42 o -7351 2813.78/2821.42 o -7357 2813.78/2821.42 o -7360 2813.78/2821.42 o -7377 2813.78/2821.42 o -7384 2813.78/2821.42 o -7392 2813.78/2821.42 o -7441 2813.78/2821.42 o -7443 2813.78/2821.42 o -7456 2813.78/2821.42 o -7462 2813.78/2821.42 o -7483 2813.78/2821.42 o -7495 2813.78/2821.42 o -7501 2813.78/2821.42 o -7508 2813.78/2821.42 o -7512 2813.78/2821.42 o -7558 2813.78/2821.42 o -7567 2813.78/2821.42 o -7569 2813.78/2821.42 o -7584 2813.78/2821.42 o -7600 2813.78/2821.42 o -7630 2813.78/2821.42 o -7634 2813.78/2821.42 o -7648 2813.78/2821.42 o -7660 2813.78/2821.42 o -7667 2813.78/2821.42 o -7690 2813.78/2821.42 o -7696 2813.78/2821.42 o -7711 2813.78/2821.42 o -7715 2813.78/2821.42 o -7725 2813.78/2821.42 o -7750 2813.78/2821.42 o -7758 2813.78/2821.42 o -7774 2813.78/2821.42 o -7780 2813.78/2821.42 o -7783 2813.78/2821.42 o -7794 2813.78/2821.42 o -7801 2813.78/2821.42 o -7816 2813.78/2821.42 o -7861 2813.78/2821.42 o -7881 2813.78/2821.42 o -7883 2813.78/2821.42 o -7885 2813.78/2821.42 o -7887 2813.78/2821.42 o -7898 2813.78/2821.42 o -7904 2813.78/2821.42 o -7920 2813.78/2821.42 o -7921 2813.78/2821.42 o -7944 2813.78/2821.42 s SATISFIABLE 2813.78/2821.42 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 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475
OK -7944
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: 63665 MiB (55319 MiB free)
memory of node 1: 64507 MiB (59585 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523223-1751650529/watcher-4523223-1751650529 -o /tmp/evaluation-result-4523223-1751650529/solver-4523223-1751650529 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751647259-95494 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4523223-1751650529.opb 3600 HOME
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
Starting watchdog thread
solver pid=95977, runsolver pid=95974
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.16 4.08 5/272 95981
/proc/meminfo: memFree=117662332/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=95980] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/95980/stat : 95980 (timeout) S 95977 95980 94885 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80730599 2723840 352 18446744073709551615 93899912097792 93899912114305 140723829442240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93899912129072 93899912131160 93899931377664 140723829451183 140723829451297 140723829451297 140723829456871 0
/proc/95980/statm: 665 352 352 5 0 90 0
[pid=95981] ppid=95980 vsize=22896 memory=8660 CPUtime=0.08 cores=5,7
/proc/95981/stat : 95981 (NuPBO-DeepOptS+) R 95980 95980 94885 0 -1 4194304 1317 0 0 0 8 0 0 0 20 0 1 0 80730600 23445504 2165 18446744073709551615 4198400 15468185 140729441029472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26345472 140729441032635 140729441032736 140729441032736 140729441038310 0
/proc/95981/statm: 5724 2165 1152 2752 0 2377 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 29880 KiB
Current children cumulated memory: 13012 KiB
[startup+0.205649 s]*
/proc/loadavg: 4.12 4.16 4.08 5/272 95981
/proc/meminfo: memFree=117662332/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=95980] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/95980/stat : 95980 (timeout) S 95977 95980 94885 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80730599 2723840 352 18446744073709551615 93899912097792 93899912114305 140723829442240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93899912129072 93899912131160 93899931377664 140723829451183 140723829451297 140723829451297 140723829456871 0
/proc/95980/statm: 665 352 352 5 0 90 0
[pid=95981] ppid=95980 vsize=23152 memory=8788 CPUtime=0.18 cores=5,7
/proc/95981/stat : 95981 (NuPBO-DeepOptS+) R 95980 95980 94885 0 -1 4194304 1364 0 0 0 18 0 0 0 20 0 1 0 80730600 23707648 2197 18446744073709551615 4198400 15468185 140729441029472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26345472 140729441032635 140729441032736 140729441032736 140729441038310 0
/proc/95981/statm: 5788 2197 1152 2752 0 2441 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 30136 KiB
Current children cumulated memory: 13140 KiB
[startup+0.305568 s]*
/proc/loadavg: 4.12 4.16 4.08 5/272 95981
/proc/meminfo: memFree=117638392/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=95980] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/95980/stat : 95980 (timeout) S 95977 95980 94885 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80730599 2723840 352 18446744073709551615 93899912097792 93899912114305 140723829442240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93899912129072 93899912131160 93899931377664 140723829451183 140723829451297 140723829451297 140723829456871 0
/proc/95980/statm: 665 352 352 5 0 90 0
[pid=95981] ppid=95980 vsize=54988 memory=45188 CPUtime=0.28 cores=5,7
/proc/95981/stat : 95981 (NuPBO-DeepOptS+) R 95980 95980 94885 0 -1 4194304 9118 0 0 0 27 1 0 0 20 0 1 0 80730600 56307712 11297 18446744073709551615 4198400 15468185 140729441029472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26345472 140729441032635 140729441032736 140729441032736 140729441038310 0
/proc/95981/statm: 13747 11297 2720 2752 0 10400 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61972 KiB
Current children cumulated memory: 49540 KiB
[startup+0.700202 s]
/proc/loadavg: 4.12 4.16 4.08 5/272 95981
/proc/meminfo: memFree=117622264/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=95980] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/95980/stat : 95980 (timeout) S 95977 95980 94885 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80730599 2723840 352 18446744073709551615 93899912097792 93899912114305 140723829442240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93899912129072 93899912131160 93899931377664 140723829451183 140723829451297 140723829451297 140723829456871 0
/proc/95980/statm: 665 352 352 5 0 90 0
[pid=95981] ppid=95980 vsize=53444 memory=44600 CPUtime=0.67 cores=5,7
/proc/95981/stat : 95981 (NuPBO-DeepOptS+) R 95980 95980 94885 0 -1 4194304 11006 0 0 0 65 2 0 0 20 0 1 0 80730600 54726656 11150 18446744073709551615 4198400 15468185 140729441029472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26345472 140729441032635 140729441032736 140729441032736 140729441038310 0
/proc/95981/statm: 13361 11150 2816 2752 0 10014 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 60428 KiB
Current children cumulated memory: 48952 KiB
[startup+1.50019 s]
/proc/loadavg: 4.11 4.16 4.08 5/272 95981
/proc/meminfo: memFree=117622264/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=95980] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/95980/stat : 95980 (timeout) S 95977 95980 94885 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80730599 2723840 352 18446744073709551615 93899912097792 93899912114305 140723829442240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93899912129072 93899912131160 93899931377664 140723829451183 140723829451297 140723829451297 140723829456871 0
/proc/95980/statm: 665 352 352 5 0 90 0
[pid=95981] ppid=95980 vsize=53444 memory=44600 CPUtime=1.47 cores=5,7
/proc/95981/stat : 95981 (NuPBO-DeepOptS+) R 95980 95980 94885 0 -1 4194304 11006 0 0 0 145 2 0 0 20 0 1 0 80730600 54726656 11150 18446744073709551615 4198400 15468185 140729441029472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26345472 140729441032635 140729441032736 140729441032736 140729441038310 0
/proc/95981/statm: 13361 11150 2816 2752 0 10014 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 60428 KiB
Current children cumulated memory: 48952 KiB
[startup+3.10541 s]
/proc/loadavg: 4.11 4.16 4.08 5/272 95981
/proc/meminfo: memFree=117622264/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=95980] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/95980/stat : 95980 (timeout) S 95977 95980 94885 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80730599 2723840 352 18446744073709551615 93899912097792 93899912114305 140723829442240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93899912129072 93899912131160 93899931377664 140723829451183 140723829451297 140723829451297 140723829456871 0
/proc/95980/statm: 665 352 352 5 0 90 0
[pid=95981] ppid=95980 vsize=53444 memory=44600 CPUtime=3.07 cores=5,7
/proc/95981/stat : 95981 (NuPBO-DeepOptS+) R 95980 95980 94885 0 -1 4194304 11006 0 0 0 305 2 0 0 20 0 1 0 80730600 54726656 11150 18446744073709551615 4198400 15468185 140729441029472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26345472 140729441032635 140729441032736 140729441032736 140729441038310 0
/proc/95981/statm: 13361 11150 2816 2752 0 10014 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 60428 KiB
Current children cumulated memory: 48952 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 4.16 4.08 5/272 95981
/proc/meminfo: memFree=117628224/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=95980] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/95980/stat : 95980 (timeout) S 95977 95980 94885 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80730599 2723840 352 18446744073709551615 93899912097792 93899912114305 140723829442240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93899912129072 93899912131160 93899931377664 140723829451183 140723829451297 140723829451297 140723829456871 0
/proc/95980/statm: 665 352 352 5 0 90 0
[pid=95981] ppid=95980 vsize=53444 memory=44600 CPUtime=6.26 cores=5,7
/proc/95981/stat : 95981 (NuPBO-DeepOptS+) R 95980 95980 94885 0 -1 4194304 11006 0 0 0 624 2 0 0 20 0 1 0 80730600 54726656 11150 18446744073709551615 4198400 15468185 140729441029472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26345472 140729441032635 140729441032736 140729441032736 140729441038310 0
/proc/95981/statm: 13361 11150 2816 2752 0 10014 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 60428 KiB
Current children cumulated memory: 48952 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.15 4.08 5/272 95981
/proc/meminfo: memFree=117628384/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=95980] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/95980/stat : 95980 (timeout) S 95977 95980 94885 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80730599 2723840 352 18446744073709551615 93899912097792 93899912114305 140723829442240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93899912129072 93899912131160 93899931377664 140723829451183 140723829451297 140723829451297 140723829456871 0
/proc/95980/statm: 665 352 352 5 0 90 0
[pid=95981] ppid=95980 vsize=53444 memory=44600 CPUtime=12.65 cores=5,7
/proc/95981/stat : 95981 (NuPBO-DeepOptS+) R 95980 95980 94885 0 -1 4194304 11006 0 0 0 1263 2 0 0 20 0 1 0 80730600 54726656 11150 18446744073709551615 4198400 15468185 140729441029472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26345472 140729441032635 140729441032736 140729441032736 140729441038310 0
/proc/95981/statm: 13361 11150 2816 2752 0 10014 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 60428 KiB
Current children cumulated memory: 48952 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.15 4.08 5/272 95981
/proc/meminfo: memFree=117626744/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=95980] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/95980/stat : 95980 (timeout) S 95977 95980 94885 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80730599 2723840 352 18446744073709551615 93899912097792 93899912114305 140723829442240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93899912129072 93899912131160 93899931377664 140723829451183 140723829451297 140723829451297 140723829456871 0
/proc/95980/statm: 665 352 352 5 0 90 0
[pid=95981] ppid=95980 vsize=53444 memory=44600 CPUtime=25.42 cores=5,7
/proc/95981/stat : 95981 (NuPBO-DeepOptS+) R 95980 95980 94885 0 -1 4194304 11006 0 0 0 2540 2 0 0 20 0 1 0 80730600 54726656 11150 18446744073709551615 4198400 15468185 140729441029472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26345472 140729441032635 140729441032736 140729441032736 140729441038310 0
/proc/95981/statm: 13361 11150 2816 2752 0 10014 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 60428 KiB
Current children cumulated memory: 48952 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.15 4.08 5/271 95982
/proc/meminfo: memFree=117627656/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=95980] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/95980/stat : 95980 (timeout) S 95977 95980 94885 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 80730599 2723840 352 18446744073709551615 93899912097792 93899912114305 140723829442240 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93899912129072 93899912131160 93899931377664 140723829451183 140723829451297 140723829451297 140723829456871 0
/proc/95980/statm: 665 352 352 5 0 90 0
[pid=95981] ppid=95980 vsize=53444 memory=44600 CPUtime=50.96 cores=5,7
/proc/95981/stat : 95981 (NuPBO-DeepOptS+) R 95980 95980 94885 0 -1 4194304 11006 0 0 0 5094 2 0 0 20 0 1 0 80730600 54726656 11150 18446744073709551615 4198400 15468185 140729441029472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26345472 140729441032635 140729441032736 140729441032736 140729441038310 0
/proc/95981/statm: 13361 11150 2816 2752 0 10014 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 60428 KiB
Current children cumulated memory: 48952 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.08 5/272 95985
/proc/meminfo: memFree=117635328/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=95980] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=96116] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/96116/stat : 96116 (timeout) S 95977 96116 94885 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 80970400 2723840 352 18446744073709551615 94415960756224 94415960772737 140728320415904 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94415960787504 94415960789592 94415989547008 140728320420226 140728320420385 140728320420385 140728320425959 0
/proc/96116/statm: 665 352 352 5 0 90 0
[pid=96117] ppid=96116 vsize=456736 memory=392040 CPUtime=283.42 cores=5,7
/proc/96117/stat : 96117 (ExactPR-nols) R 96116 96116 94885 0 -1 4194304 61439 0 0 0 28299 43 0 0 20 0 1 0 80970401 467697664 98010 18446744073709551615 94825117323264 94825126622917 140730000641040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94825128409408 94825128448488 94825151070208 140730000644503 140730000644643 140730000644643 140730000650217 0
/proc/96117/statm: 114184 98010 1888 2271 0 108822 0
Current children cumulated CPU time: 2675.09 s
Current children cumulated vsize: 463720 KiB
Current children cumulated memory: 396392 KiB
[startup+2742.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/271 96130
/proc/meminfo: memFree=98852988/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=2391.67 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 281 11797 0 0 0 0 239165 2 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=96116] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/96116/stat : 96116 (timeout) S 95977 96116 94885 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 80970400 2723840 352 18446744073709551615 94415960756224 94415960772737 140728320415904 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94415960787504 94415960789592 94415989547008 140728320420226 140728320420385 140728320420385 140728320425959 0
/proc/96116/statm: 665 352 352 5 0 90 0
[pid=96117] ppid=96116 vsize=646956 memory=483560 CPUtime=343.25 cores=5,7
/proc/96117/stat : 96117 (ExactPR-nols) R 96116 96116 94885 0 -1 4194304 77011 0 0 0 34271 54 0 0 20 0 1 0 80970401 662482944 120890 18446744073709551615 94825117323264 94825126622917 140730000641040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94825128409408 94825128448488 94825151070208 140730000644503 140730000644643 140730000644643 140730000650217 0
/proc/96117/statm: 161739 120890 1888 2271 0 156377 0
Current children cumulated CPU time: 2734.92 s
Current children cumulated vsize: 653940 KiB
Current children cumulated memory: 487912 KiB
[startup+2802.3 s]
/proc/loadavg: 3.05 3.86 4.02 3/256 96216
/proc/meminfo: memFree=114576272/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=2391.67 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 281 11797 0 0 0 0 239165 2 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=96116] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/96116/stat : 96116 (timeout) S 95977 96116 94885 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 80970400 2723840 352 18446744073709551615 94415960756224 94415960772737 140728320415904 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94415960787504 94415960789592 94415989547008 140728320420226 140728320420385 140728320420385 140728320425959 0
/proc/96116/statm: 665 352 352 5 0 90 0
[pid=96117] ppid=96116 vsize=653100 memory=488040 CPUtime=403.08 cores=5,7
/proc/96117/stat : 96117 (ExactPR-nols) R 96116 96116 94885 0 -1 4194304 78141 0 0 0 40249 59 0 0 20 0 1 0 80970401 668774400 122010 18446744073709551615 94825117323264 94825126622917 140730000641040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94825128409408 94825128448488 94825151070208 140730000644503 140730000644643 140730000644643 140730000650217 0
/proc/96117/statm: 163275 122010 1888 2271 0 157913 0
Current children cumulated CPU time: 2794.75 s
Current children cumulated vsize: 660084 KiB
Current children cumulated memory: 492392 KiB
[startup+2821.43 s]
# the end of solver process 95977 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2813.15 s, system=0.656703 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2803.2 s]
/proc/loadavg: 3.05 3.86 4.02 3/256 96216
/proc/meminfo: memFree=114576272/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=2391.67 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 281 11797 0 0 0 0 239165 2 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=96116] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/96116/stat : 96116 (timeout) S 95977 96116 94885 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 80970400 2723840 352 18446744073709551615 94415960756224 94415960772737 140728320415904 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94415960787504 94415960789592 94415989547008 140728320420226 140728320420385 140728320420385 140728320425959 0
/proc/96116/statm: 665 352 352 5 0 90 0
[pid=96117] ppid=96116 vsize=653100 memory=488040 CPUtime=403.97 cores=5,7
/proc/96117/stat : 96117 (ExactPR-nols) R 96116 96116 94885 0 -1 4194304 78143 0 0 0 40338 59 0 0 20 0 1 0 80970401 668774400 122010 18446744073709551615 94825117323264 94825126622917 140730000641040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94825128409408 94825128448488 94825151070208 140730000644503 140730000644643 140730000644643 140730000650217 0
/proc/96117/statm: 163275 122010 1888 2271 0 157913 0
Current children cumulated CPU time: 2795.64 s
Current children cumulated vsize: 660084 KiB
Current children cumulated memory: 492392 KiB
[startup+2809.6 s]
/proc/loadavg: 2.96 3.83 4.01 3/256 96216
/proc/meminfo: memFree=114573248/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=2391.67 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 281 11797 0 0 0 0 239165 2 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=96116] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/96116/stat : 96116 (timeout) S 95977 96116 94885 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 80970400 2723840 352 18446744073709551615 94415960756224 94415960772737 140728320415904 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94415960787504 94415960789592 94415989547008 140728320420226 140728320420385 140728320420385 140728320425959 0
/proc/96116/statm: 665 352 352 5 0 90 0
[pid=96117] ppid=96116 vsize=655984 memory=490088 CPUtime=410.35 cores=5,7
/proc/96117/stat : 96117 (ExactPR-nols) R 96116 96116 94885 0 -1 4194304 78664 0 0 0 40976 59 0 0 20 0 1 0 80970401 671727616 122522 18446744073709551615 94825117323264 94825126622917 140730000641040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94825128409408 94825128448488 94825151070208 140730000644503 140730000644643 140730000644643 140730000650217 0
/proc/96117/statm: 163996 122522 1888 2271 0 158634 0
Current children cumulated CPU time: 2802.02 s
Current children cumulated vsize: 662968 KiB
Current children cumulated memory: 494440 KiB
[startup+2816 s]*
/proc/loadavg: 2.89 3.80 4.00 3/256 96216
/proc/meminfo: memFree=114573772/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=2391.67 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 281 11797 0 0 0 0 239165 2 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=96116] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/96116/stat : 96116 (timeout) S 95977 96116 94885 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 80970400 2723840 352 18446744073709551615 94415960756224 94415960772737 140728320415904 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94415960787504 94415960789592 94415989547008 140728320420226 140728320420385 140728320420385 140728320425959 0
/proc/96116/statm: 665 352 352 5 0 90 0
[pid=96117] ppid=96116 vsize=655984 memory=490088 CPUtime=416.74 cores=5,7
/proc/96117/stat : 96117 (ExactPR-nols) R 96116 96116 94885 0 -1 4194304 78664 0 0 0 41614 60 0 0 20 0 1 0 80970401 671727616 122522 18446744073709551615 94825117323264 94825126622917 140730000641040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94825128409408 94825128448488 94825151070208 140730000644503 140730000644643 140730000644643 140730000650217 0
/proc/96117/statm: 163996 122522 1888 2271 0 158634 0
Current children cumulated CPU time: 2808.41 s
Current children cumulated vsize: 662968 KiB
Current children cumulated memory: 494440 KiB
[startup+2819.2 s]
/proc/loadavg: 2.82 3.77 3.99 3/256 96216
/proc/meminfo: memFree=114573772/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=2391.67 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 281 11797 0 0 0 0 239165 2 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=96116] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/96116/stat : 96116 (timeout) S 95977 96116 94885 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 80970400 2723840 352 18446744073709551615 94415960756224 94415960772737 140728320415904 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94415960787504 94415960789592 94415989547008 140728320420226 140728320420385 140728320420385 140728320425959 0
/proc/96116/statm: 665 352 352 5 0 90 0
[pid=96117] ppid=96116 vsize=655984 memory=490088 CPUtime=419.92 cores=5,7
/proc/96117/stat : 96117 (ExactPR-nols) R 96116 96116 94885 0 -1 4194304 78664 0 0 0 41932 60 0 0 20 0 1 0 80970401 671727616 122522 18446744073709551615 94825117323264 94825126622917 140730000641040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94825128409408 94825128448488 94825151070208 140730000644503 140730000644643 140730000644643 140730000650217 0
/proc/96117/statm: 163996 122522 1888 2271 0 158634 0
Current children cumulated CPU time: 2811.59 s
Current children cumulated vsize: 662968 KiB
Current children cumulated memory: 494440 KiB
[startup+2820.8 s]
/proc/loadavg: 2.82 3.77 3.99 3/256 96216
/proc/meminfo: memFree=114573772/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=2391.67 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 281 11797 0 0 0 0 239165 2 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=96116] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/96116/stat : 96116 (timeout) S 95977 96116 94885 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 80970400 2723840 352 18446744073709551615 94415960756224 94415960772737 140728320415904 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94415960787504 94415960789592 94415989547008 140728320420226 140728320420385 140728320420385 140728320425959 0
/proc/96116/statm: 665 352 352 5 0 90 0
[pid=96117] ppid=96116 vsize=655984 memory=490088 CPUtime=421.52 cores=5,7
/proc/96117/stat : 96117 (ExactPR-nols) R 96116 96116 94885 0 -1 4194304 78664 0 0 0 42092 60 0 0 20 0 1 0 80970401 671727616 122522 18446744073709551615 94825117323264 94825126622917 140730000641040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94825128409408 94825128448488 94825151070208 140730000644503 140730000644643 140730000644643 140730000650217 0
/proc/96117/statm: 163996 122522 1888 2271 0 158634 0
Current children cumulated CPU time: 2813.19 s
Current children cumulated vsize: 662968 KiB
Current children cumulated memory: 494440 KiB
[startup+2821.2 s]
/proc/loadavg: 2.82 3.77 3.99 3/256 96216
/proc/meminfo: memFree=114572600/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=2391.67 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 281 11797 0 0 0 0 239165 2 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
[pid=96116] ppid=95977 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/96116/stat : 96116 (timeout) S 95977 96116 94885 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 80970400 2723840 352 18446744073709551615 94415960756224 94415960772737 140728320415904 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94415960787504 94415960789592 94415989547008 140728320420226 140728320420385 140728320420385 140728320425959 0
/proc/96116/statm: 665 352 352 5 0 90 0
[pid=96117] ppid=96116 vsize=655984 memory=490088 CPUtime=421.91 cores=5,7
/proc/96117/stat : 96117 (ExactPR-nols) R 96116 96116 94885 0 -1 4194304 78664 0 0 0 42131 60 0 0 20 0 1 0 80970401 671727616 122522 18446744073709551615 94825117323264 94825126622917 140730000641040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94825128409408 94825128448488 94825151070208 140730000644503 140730000644643 140730000644643 140730000650217 0
/proc/96117/statm: 163996 122522 1888 2271 0 158634 0
Current children cumulated CPU time: 2813.58 s
Current children cumulated vsize: 662968 KiB
Current children cumulated memory: 494440 KiB
[startup+2821.4 s]
/proc/loadavg: 2.82 3.77 3.99 3/256 96216
/proc/meminfo: memFree=114572600/131249996 swapFree=33003468/33010684
[pid=95977] ppid=95974 vsize=4324 memory=2944 CPUtime=2813.78 cores=5,7
/proc/95977/stat : 95977 (Hybrid-NuPBODee) S 95974 95977 94885 0 -1 4194304 302 90594 0 0 0 0 281314 64 20 0 1 0 80730598 4427776 736 18446744073709551615 93863807905792 93863808800325 140729609856448 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 93863809039376 93863809087120 93863812657152 140729609861466 140729609861618 140729609861618 140729609867221 0
/proc/95977/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2813.78 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 2821.43
CPU time (s): 2813.81
CPU user time (s): 2813.15
CPU system time (s): 0.656703
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 788040
Max. memory (cumulated for all children) (KiB): 494440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2813.15
system time used= 0.656703
maximum resident set size= 597124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92102
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 947
involuntary context switches= 14619
# summary of solver processes directly reported to runsolver:
# pid: 95977
# total CPU time (s): 2813.81
# total CPU user time (s): 2813.15
# total CPU system time (s): 0.656703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20749 second user time and 11.7277 second system time
The end
Begin job on nodeC021 at 2025-07-04 19:35:29 IDJOB=4523223 IDBENCH=179855 IDSOLVER=3332 FILE ID=nodeC021/4523223-1751650529 RUNJOBID= nodeC021-1751647259-95494 SLURM_JOB_ID= 9672326 Free space on /tmp= 430760 MiB SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02 BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_260_007.opb COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523223-1751650529/watcher-4523223-1751650529 -o /tmp/evaluation-result-4523223-1751650529/solver-4523223-1751650529 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751647259-95494 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4523223-1751650529.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 19358b71c175af654e98554c4f116d17 RANDOM SEED=1319110876 nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.778 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.765 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.447 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3578.474 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.777 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.788 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.194 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 117662508 kB MemAvailable: 124326128 kB Buffers: 1056 kB Cached: 7394968 kB SwapCached: 32 kB Active: 5844712 kB Inactive: 6929536 kB Active(anon): 5351316 kB Inactive(anon): 40360 kB Active(file): 493396 kB Inactive(file): 6889176 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33003468 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 28496 kB Writeback: 0 kB AnonPages: 5380812 kB Mapped: 127524 kB Shmem: 13452 kB KReclaimable: 240172 kB Slab: 333284 kB SReclaimable: 240172 kB SUnreclaim: 93112 kB KernelStack: 4352 kB PageTables: 13812 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 5790428 kB VmallocTotal: 34359738367 kB VmallocUsed: 150648 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 516096 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430796 MiB End job on nodeC021 at 2025-07-04 20:22:31