0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
3.08/3.14 c Default LC presolving (default).
3.08/3.16 c ** Before presolving: virtualMemUsedAtLc = 2274711826, getVmSize() = 1380442112, SCIPgetMemUsed() = 1140001453, SCIPgetMemTotal() = 1274382853, SCIPgetMemExternEstim() = 1000328973
3.08/3.16 c ** set memory limit for presolving in LC to 8.79541e+12 for SCIP **
27.73/27.84 c ** Estimated virtualMemUsedAtSolver = 2281520597, getVmSize() = 2674155520, SCIPgetMemUsed() = 1543777379, SCIPgetMemTotal() = 2421951923, SCIPgetMemExternEstim() = 1000328973
27.73/27.84 c ** set memory limit for solvers to 4.39798e+12 for each SCIP **
27.73/27.84 c Original Problem :
27.73/27.84 c Problem name : instance-4464320-1722378660
27.73/27.84 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
27.73/27.84 c Constraints : 990001
27.73/27.84 c Objective sense : minimize
27.73/27.84 c Presolved Problem :
27.73/27.84 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
27.73/27.84 c Constraints : 990001
27.73/27.84 c Constraints : Number
27.73/27.84 c knapsack : 3160
27.73/27.84 c setppc : 1280
27.73/27.84 c linear : 1
27.73/27.84 c logicor : 985560
27.73/27.84 c ** Instance transfer method used: 0
29.32/29.45 c ** ParaScipInstance copy does not increase the number of variables. **
30.61/30.73 c LC is working with racing ramp-up and with rebuilding tree after racing.
30.61/30.73 c Nodes Active
30.61/30.73 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
57.93/58.11 c * 58 0 1 1 0.0000 - -
57.93/58.11 c 58 0 1 1 0.0000 - -
58.12/58.37 c 58 1 0 0 0.0000 0.0000 0.00%
59.92/60.14 c 60 1 0 0 0.0000 0.0000 -
59.92/60.14 c SCIP Status : c problem is solved
59.92/60.14 c Total Time : 60.1500
59.92/60.14 c solving : 60.1500
59.92/60.14 c presolving : 24.6769 (included in solving)
59.92/60.14 c B&B Tree :
59.92/60.14 c nodes (total) : 1
59.92/60.14 c Solution :
59.92/60.14 c Solutions found : 1
59.92/60.14 c Primal Bound : +0.00000000000000e+00
59.92/60.14 c Dual Bound : +0.00000000000000e+00
59.92/60.14 c Gap : 0.00000 %
60.12/60.34 s SATISFIABLE
60.12/60.34 v -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582
60.12/60.34 v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565
60.12/60.34 v -x1564 -x1563 -x1562 x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547
60.12/60.34 v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529
60.12/60.34 v -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511
60.12/60.34 v -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493
60.12/60.34 v -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475
60.12/60.34 v -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457
60.12/60.34 v -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 x1444 -x1443 -x1442 -x1441 -x1440 -x1439
60.12/60.34 v -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421
60.12/60.34 v -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 x1405 -x1404 -x1403
60.12/60.34 v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385
60.12/60.34 v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367
60.12/60.34 v x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349
60.12/60.34 v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332
60.12/60.34 v -x1331 -x1330 -x1329 -x1328 x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314
60.12/60.34 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296
60.12/60.34 v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278
60.12/60.34 v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260
60.12/60.34 v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242
60.12/60.34 v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224
60.12/60.34 v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206
60.12/60.34 v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188
60.12/60.34 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170
60.12/60.34 v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152
60.12/60.34 v -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
60.12/60.34 v -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116
60.12/60.34 v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099
60.12/60.34 v -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081
60.12/60.34 v -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063
60.12/60.34 v -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045
60.12/60.34 v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
60.12/60.34 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009
60.12/60.34 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990
60.12/60.34 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969
60.12/60.34 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948
60.12/60.34 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927
60.12/60.34 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906
60.12/60.34 v -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885
60.12/60.34 v -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864
60.12/60.34 v -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843
60.12/60.34 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822
60.12/60.34 v -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801
60.12/60.34 v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780
60.12/60.34 v -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759
60.12/60.34 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738
60.12/60.34 v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718
60.12/60.34 v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697
60.12/60.34 v -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676
60.12/60.34 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
60.12/60.34 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634
60.12/60.34 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613
60.12/60.34 v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592
60.12/60.34 v -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571
60.12/60.34 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
60.12/60.34 v -x549 -x548 x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529
60.12/60.34 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508
60.12/60.34 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487
60.12/60.34 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466
60.12/60.34 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446
60.12/60.34 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425
60.12/60.34 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404
60.12/60.34 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383
60.12/60.34 v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362
60.12/60.34 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
60.12/60.34 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
60.12/60.34 v -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
60.12/60.34 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278
60.12/60.34 v -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257
60.12/60.34 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236
60.12/60.34 v x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215
60.12/60.34 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194
60.12/60.34 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174
60.12/60.34 v -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153
60.12/60.34 v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132
60.12/60.34 v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111
60.12/60.34 v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88
60.12/60.34 v -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
60.12/60.34 v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x2800 -x2799 -x2798
60.12/60.34 v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781
60.12/60.34 v -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763
60.12/60.34 v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745
60.12/60.34 v -x2744 x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727
60.12/60.34 v -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 x2716 x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709
60.12/60.34 v -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691
60.12/60.34 v -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673
60.12/60.34 v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 x2655
60.12/60.34 v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637
60.12/60.34 v -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 x2620 -x2619
60.12/60.34 v -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601
60.12/60.34 v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 x2587 -x2586 -x2585 -x2584 -x2583
60.12/60.34 v -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565
60.12/60.34 v -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 x2552 x2551 -x2550 -x2549 -x2548 -x2547
60.12/60.34 v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529
60.12/60.34 v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511
60.12/60.34 v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 x2494 x2493
60.12/60.34 v -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475
60.12/60.34 v -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458
60.12/60.34 v -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440
60.12/60.34 v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422
60.12/60.34 v -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404
60.12/60.34 v -x2403 x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386
60.12/60.34 v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 x2370 -x2369 -x2368
60.12/60.34 v -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350
60.12/60.34 v -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 x2333 -x2332
60.12/60.34 v -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314
60.12/60.34 v -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 x2300 -x2299 -x2298 -x2297 -x2296
60.12/60.34 v -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278
60.12/60.34 v -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260
60.12/60.34 v -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242
60.12/60.34 v -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 x2235 -x2234 x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224
60.12/60.34 v -x2223 -x2222 -x2221 x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206
60.12/60.34 v -x2205 x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188
60.12/60.34 v -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170
60.12/60.34 v -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152
60.12/60.34 v -x2151 -x2150 -x2149 -x2148 -x2147 x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134
60.12/60.34 v -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 x2117 -x2116
60.12/60.34 v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
60.12/60.34 v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 x2088 -x2087 x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080
60.12/60.34 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062
60.12/60.34 v -x2061 -x2060 -x2059 x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044
60.12/60.34 v -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027
60.12/60.34 v -x2026 x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009
60.12/60.34 v -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991
60.12/60.34 v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973
60.12/60.34 v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955
60.12/60.34 v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937
60.12/60.34 v -x1936 -x1935 -x1934 -x1933 x1932 x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919
61.02/61.29 v -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901
61.02/61.29 v -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883
61.02/61.29 v -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 x1865
61.02/61.29 v -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847
61.02/61.29 v -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829
61.02/61.29 v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 x1813 x1812 -x1811
61.02/61.29 v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793
61.02/61.29 v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775
61.02/61.29 v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758
61.02/61.29 v -x1757 -x1756 -x1755 -x1754 -x1753 x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740
61.02/61.29 v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722
61.02/61.29 v -x1721 x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x36 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704
61.02/61.29 v -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x10 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687
61.02/61.29 v -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669
61.02/61.29 v -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 x40 -x1657 -x1656 -x38 -x1655 -x1654 -x1653
61.02/61.29 v -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x21 -x1643 -x1642 -x19 -x1641 -x17 -x1640 -x1639 -x1638 -x13
61.02/61.29 v -x1637 -x1636 -x1635 -x1634 -x1633 -x4 -x1632 -x1631 -x1 -x1630 -x39 -x1629 -x37 -x1628 -x35 -x1627 -x34 -x1626 -x33 -x1625
61.02/61.29 v -x32 -x1624 -x31 -x1623 -x30 -x1622 -x29 -x1621 -x28 -x1620 -x27 -x1619 -x26 -x1618 -x25 -x1617 -x24 -x1616 -x23 -x1615 -x22
61.02/61.29 v -x1614 -x20 -x1613 -x18 -x1612 -x16 -x1611 -x15 -x1610 -x14 -x1609 -x12 -x1608 -x11 -x1607 -x9 -x1606 -x8 -x1605 -x7 -x1604
61.02/61.29 v -x6 -x1603 -x5 -x1602 -x3 -x1601 -x2
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: 63931 MiB (62356 MiB free)
memory of node 1: 64510 MiB (61456 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464320-1722378660/watcher-4464320-1722378660 -o /tmp/evaluation-result-4464320-1722378660/solver-4464320-1722378660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30697 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464320-1722378660.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30983, runsolver pid=30980
[startup+0.101027 s]*
/proc/loadavg: 2.95 0.99 0.40 5/269 30984
/proc/meminfo: memFree=126747636/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=58596 memory=46376 CPUtime=0.1 cores=4,6
/proc/30983/stat : 30983 (fscip) R 30980 30983 30686 0 -1 4194304 9448 0 0 0 9 1 0 0 20 0 1 0 4463461 60002304 11594 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 14649 11594 2347 3035 0 11045 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58596 KiB
Current children cumulated memory: 46376 KiB
[startup+0.205559 s]*
/proc/loadavg: 2.95 0.99 0.40 5/269 30984
/proc/meminfo: memFree=126714988/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=91944 memory=78960 CPUtime=0.19 cores=4,6
/proc/30983/stat : 30983 (fscip) R 30980 30983 30686 0 -1 4194304 17627 0 0 0 18 1 0 0 20 0 1 0 4463461 94150656 19740 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 22986 19740 2347 3035 0 19382 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91944 KiB
Current children cumulated memory: 78960 KiB
[startup+0.305496 s]*
/proc/loadavg: 2.95 0.99 0.40 5/269 30984
/proc/meminfo: memFree=126687632/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=119860 memory=107716 CPUtime=0.3 cores=4,6
/proc/30983/stat : 30983 (fscip) R 30980 30983 30686 0 -1 4194304 24784 0 0 0 28 2 0 0 20 0 1 0 4463461 122736640 26929 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 29965 26929 2347 3035 0 26361 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119860 KiB
Current children cumulated memory: 107716 KiB
[startup+0.700217 s]
/proc/loadavg: 2.95 0.99 0.40 5/269 30984
/proc/meminfo: memFree=126625748/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=234864 memory=222100 CPUtime=0.69 cores=4,6
/proc/30983/stat : 30983 (fscip) R 30980 30983 30686 0 -1 4194304 52917 0 0 0 63 6 0 0 20 0 1 0 4463461 240500736 55525 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 58716 55525 2347 3035 0 55112 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 234864 KiB
Current children cumulated memory: 222100 KiB
[startup+1.50021 s]
/proc/loadavg: 2.95 0.99 0.40 5/269 30984
/proc/meminfo: memFree=126478180/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=467336 memory=454244 CPUtime=1.49 cores=4,6
/proc/30983/stat : 30983 (fscip) R 30980 30983 30686 0 -1 4194304 108919 0 0 0 133 16 0 0 20 0 1 0 4463461 478552064 113561 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 116834 113561 2347 3035 0 113230 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 467336 KiB
Current children cumulated memory: 454244 KiB
[startup+3.1056 s]
/proc/loadavg: 2.95 0.99 0.40 5/269 30984
/proc/meminfo: memFree=125528476/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=1317980 memory=1305724 CPUtime=3.08 cores=4,6
/proc/30983/stat : 30983 (fscip) R 30980 30983 30686 0 -1 4194304 294487 0 0 0 266 42 0 0 20 0 1 0 4463461 1349611520 326431 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 329495 326431 2539 3035 0 325891 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1317980 KiB
Current children cumulated memory: 1305724 KiB
[startup+6.30022 s]
/proc/loadavg: 3.03 1.04 0.42 5/269 30984
/proc/meminfo: memFree=124829964/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=1978912 memory=1959092 CPUtime=6.27 cores=4,6
/proc/30983/stat : 30983 (fscip) R 30980 30983 30686 0 -1 4194304 327149 0 0 0 560 67 0 0 20 0 1 0 4463461 2026405888 489773 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 494728 489773 2710 3035 0 491124 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1978912 KiB
Current children cumulated memory: 1959092 KiB
[startup+12.7002 s]
/proc/loadavg: 3.11 1.09 0.44 5/269 30986
/proc/meminfo: memFree=124905328/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=1901040 memory=1880036 CPUtime=12.66 cores=4,6
/proc/30983/stat : 30983 (fscip) R 30980 30983 30686 0 -1 4194304 408337 0 0 0 1183 83 0 0 20 0 1 0 4463461 1946664960 470009 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 475260 470009 2742 3035 0 471656 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1901040 KiB
Current children cumulated memory: 1880036 KiB
[startup+25.5002 s]
/proc/loadavg: 3.31 1.23 0.49 5/267 31033
/proc/meminfo: memFree=123907920/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=2607264 memory=2428304 CPUtime=25.43 cores=4,6
/proc/30983/stat : 30983 (fscip) R 30980 30983 30686 0 -1 4194304 433752 0 0 0 2446 97 0 0 20 0 1 0 4463461 2669838336 607076 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 651816 607076 2774 3035 0 648212 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2607264 KiB
Current children cumulated memory: 2428304 KiB
[startup+51.1057 s]
/proc/loadavg: 3.61 1.47 0.59 5/269 31040
/proc/meminfo: memFree=118470340/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=4561188 memory=4341252 CPUtime=50.94 cores=4,6
/proc/30983/stat : 30983 (fscip) S 30980 30983 30686 0 -1 1077936128 1137920 0 0 0 4893 201 0 0 20 0 3 0 4463461 4670656512 1085313 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 1140297 1085313 2790 3035 0 1121177 0
[pid=30983/tid=31034] ppid=30980 vsize=4561188 memory=4340492 CPUtime=21.55 cores=4,6
/proc/30983/task/31034/stat : 31034 (fscip) R 30980 30983 30686 0 -1 4194368 596614 0 0 0 2069 86 0 0 20 0 3 0 4466245 4670656512 1085313 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
[pid=30983/tid=31037] ppid=30980 vsize=4561188 memory=1880036 CPUtime=0 cores=4,6
/proc/30983/task/31037/stat : 31037 (fscip) S 30980 30983 30686 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4466534 4670656512 1085313 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 4561188 KiB
Current children cumulated memory: 4341252 KiB
[startup+61.3703 s]
# the end of solver process 30983 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=58.4775 s, system=2.71809 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 3.61 1.47 0.59 5/269 31040
/proc/meminfo: memFree=118470340/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=4561188 memory=4341252 CPUtime=51.04 cores=4,6
/proc/30983/stat : 30983 (fscip) S 30980 30983 30686 0 -1 1077936128 1137920 0 0 0 4903 201 0 0 20 0 3 0 4463461 4670656512 1085313 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 1140297 1085313 2790 3035 0 1121177 0
[pid=30983/tid=31034] ppid=30980 vsize=4561188 memory=170 CPUtime=21.64 cores=4,6
/proc/30983/task/31034/stat : 31034 (fscip) R 30980 30983 30686 0 -1 4194368 596614 0 0 0 2078 86 0 0 20 0 3 0 4466245 4670656512 1085313 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
[pid=30983/tid=31037] ppid=30980 vsize=4561188 memory=16008 CPUtime=0 cores=4,6
/proc/30983/task/31037/stat : 31037 (fscip) S 30980 30983 30686 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4466534 4670656512 1085313 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 4561188 KiB
Current children cumulated memory: 4341252 KiB
[startup+57.6002 s]
/proc/loadavg: 3.80 1.55 0.62 5/269 31040
/proc/meminfo: memFree=117093184/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=5582020 memory=5293980 CPUtime=57.43 cores=4,6
/proc/30983/stat : 30983 (fscip) S 30980 30983 30686 0 -1 1077936128 1377602 0 0 0 5504 239 0 0 20 0 3 0 4463461 5715988480 1323495 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 1395505 1323495 2854 3035 0 1376603 0
[pid=30983/tid=31034] ppid=30980 vsize=5582020 memory=4653028 CPUtime=28.03 cores=4,6
/proc/30983/task/31034/stat : 31034 (fscip) R 30980 30983 30686 0 -1 4194368 836296 0 0 0 2679 124 0 0 20 0 3 0 4466245 5715988480 1323495 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
[pid=30983/tid=31037] ppid=30980 vsize=5582020 memory=0 CPUtime=0 cores=4,6
/proc/30983/task/31037/stat : 31037 (fscip) S 30980 30983 30686 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4466534 5715988480 1323495 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
Current children cumulated CPU time: 57.43 s
Current children cumulated vsize: 5582020 KiB
Current children cumulated memory: 5293980 KiB
[startup+59.2002 s]
/proc/loadavg: 3.80 1.55 0.62 5/269 31041
/proc/meminfo: memFree=116749480/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=5685020 memory=5380120 CPUtime=59.02 cores=4,6
/proc/30983/stat : 30983 (fscip) S 30980 30983 30686 0 -1 1077936128 1493706 0 0 0 5657 245 0 0 20 0 3 0 4463461 5821460480 1345030 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 1421255 1345030 2966 3035 0 1402353 0
[pid=30983/tid=31034] ppid=30980 vsize=5685020 memory=-5155635678115818373 CPUtime=29.63 cores=4,6
/proc/30983/task/31034/stat : 31034 (fscip) R 30980 30983 30686 0 -1 4194368 951912 0 0 0 2833 130 0 0 20 0 3 0 4466245 5821460480 1345030 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
[pid=30983/tid=31037] ppid=30980 vsize=5685020 memory=13044 CPUtime=0 cores=4,6
/proc/30983/task/31037/stat : 31037 (fscip) S 30980 30983 30686 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4466534 5821460480 1345030 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
Current children cumulated CPU time: 59.02 s
Current children cumulated vsize: 5685020 KiB
Current children cumulated memory: 5380120 KiB
[startup+60.0002 s]*
/proc/loadavg: 3.82 1.59 0.64 5/269 31041
/proc/meminfo: memFree=116901384/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=5531504 memory=5228120 CPUtime=59.83 cores=4,6
/proc/30983/stat : 30983 (fscip) S 30980 30983 30686 0 -1 1077936128 1506948 0 0 0 5737 246 0 0 20 0 3 0 4463461 5664260096 1307030 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 1382876 1307030 2966 3035 0 1364353 0
[pid=30983/tid=31034] ppid=30980 vsize=5531504 memory=-6000919468462205804 CPUtime=30.43 cores=4,6
/proc/30983/task/31034/stat : 31034 (fscip) R 30980 30983 30686 0 -1 4194368 965154 0 0 0 2912 131 0 0 20 0 3 0 4466245 5664260096 1307030 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
[pid=30983/tid=31037] ppid=30980 vsize=5531504 memory=4576 CPUtime=0 cores=4,6
/proc/30983/task/31037/stat : 31037 (fscip) S 30980 30983 30686 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4466534 5664260096 1307030 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
Current children cumulated CPU time: 59.83 s
Current children cumulated vsize: 5531504 KiB
Current children cumulated memory: 5228120 KiB
[startup+60.801 s]
/proc/loadavg: 3.82 1.59 0.64 5/269 31041
/proc/meminfo: memFree=116901384/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=4331808 memory=4149984 CPUtime=60.62 cores=4,6
/proc/30983/stat : 30983 (fscip) R 30980 30983 30686 0 -1 4194304 1705635 0 0 0 5803 259 0 0 20 0 1 0 4463461 4435771392 1037496 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 1082952 1037496 2966 3035 0 1072698 0
Current children cumulated CPU time: 60.62 s
Current children cumulated vsize: 4331808 KiB
Current children cumulated memory: 4149984 KiB
[startup+61.2002 s]
/proc/loadavg: 3.82 1.59 0.64 5/267 31041
/proc/meminfo: memFree=118076136/131524600 swapFree=131071996/131071996
[pid=30983] ppid=30980 vsize=3996196 memory=3814372 CPUtime=61.02 cores=4,6
/proc/30983/stat : 30983 (fscip) R 30980 30983 30686 0 -1 4194304 1733793 0 0 0 5840 262 0 0 20 0 1 0 4463461 4092104704 953593 134679101440 4194304 16623229 140723419862144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140723419866134 140723419866250 140723419866250 140723419873264 0
/proc/30983/statm: 999049 953593 2966 3035 0 988795 0
Current children cumulated CPU time: 61.02 s
Current children cumulated vsize: 3996196 KiB
Current children cumulated memory: 3814372 KiB
[startup+61.3002 s]*
/proc/loadavg: 3.82 1.59 0.64 5/267 31041
/proc/meminfo: memFree=119359744/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 61.3704
CPU time (s): 61.1956
CPU user time (s): 58.4775
CPU system time (s): 2.71809
CPU usage (%): 99.7153
Max. virtual memory (cumulated for all children) (KiB): 5713508
Max. memory (cumulated for all children) (KiB): 5425584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.4775
system time used= 2.71809
maximum resident set size= 5471672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1738215
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= 60
involuntary context switches= 184
# summary of solver processes directly reported to runsolver:
# pid: 30983
# total CPU time (s): 61.1956
# total CPU user time (s): 58.4775
# total CPU system time (s): 2.71809
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.126424 second user time and 0.318604 second system time
The end
Begin job on nodeC018 at 2024-07-31 00:31:01
IDJOB=4464320
IDBENCH=147876
IDSOLVER=3092
FILE ID=nodeC018/4464320-1722378660
RUNJOBID= nodeC018-1722378594-30697
SLURM_JOB_ID= 8249831
Free space on /tmp= 889936 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464320-1722378660/watcher-4464320-1722378660 -o /tmp/evaluation-result-4464320-1722378660/solver-4464320-1722378660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30697 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464320-1722378660.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1975647eb5f920b45143f3f0c0dd82e1
RANDOM SEED=1367756045
nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3673.136
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3692.243
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3607.479
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3600.365
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3674.523
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3692.250
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3668.183
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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.157
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126785076 kB
MemAvailable: 128310236 kB
Buffers: 93080 kB
Cached: 2251940 kB
SwapCached: 0 kB
Active: 267400 kB
Inactive: 3962572 kB
Active(anon): 1540 kB
Inactive(anon): 1904776 kB
Active(file): 265860 kB
Inactive(file): 2057796 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 62588 kB
Writeback: 8 kB
AnonPages: 1885244 kB
Mapped: 124076 kB
Shmem: 21336 kB
KReclaimable: 82304 kB
Slab: 167096 kB
SReclaimable: 82304 kB
SUnreclaim: 84792 kB
KernelStack: 4320 kB
PageTables: 13068 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1774608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8512 kB
HardwareCorrupted: 0 kB
AnonHugePages: 520192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 148180 kB
DirectMap2M: 10110976 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889824 MiB
End job on nodeC018 at 2024-07-31 00:32:02