0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1 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.07/3.17 c Default LC presolving (default).
3.07/3.19 c ** Before presolving: virtualMemUsedAtLc = 2254703954, getVmSize() = 1371107328, SCIPgetMemUsed() = 1140537597, SCIPgetMemTotal() = 1254374981, SCIPgetMemExternEstim() = 1000328973
3.07/3.19 c ** set memory limit for presolving in LC to 8.79542e+12 for SCIP **
27.49/27.68 c ** Estimated virtualMemUsedAtSolver = 2280716120, getVmSize() = 2668277760, SCIPgetMemUsed() = 1542840575, SCIPgetMemTotal() = 2420745207, SCIPgetMemExternEstim() = 1000328973
27.49/27.68 c ** set memory limit for solvers to 4.39798e+12 for each SCIP **
27.49/27.68 c Original Problem :
27.49/27.68 c Problem name : instance-4443710-1721302040
27.49/27.68 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
27.49/27.68 c Constraints : 990001
27.49/27.68 c Objective sense : minimize
27.49/27.68 c Presolved Problem :
27.49/27.68 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
27.49/27.68 c Constraints : 990001
27.49/27.68 c Constraints : Number
27.49/27.68 c knapsack : 3160
27.49/27.68 c setppc : 1280
27.49/27.68 c linear : 1
27.49/27.68 c logicor : 985560
27.49/27.68 c ** Instance transfer method used: 0
29.08/29.23 c ** ParaScipInstance copy does not increase the number of variables. **
30.27/30.44 c LC is working with racing ramp-up and with rebuilding tree after racing.
30.27/30.44 c Nodes Active
30.27/30.44 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
56.34/56.79 c * 57 0 1 1 0.0000 - -
56.34/56.79 c 57 0 1 1 0.0000 - -
56.64/57.06 c 57 1 0 0 0.0000 0.0000 0.00%
58.42/58.82 c 59 1 0 0 0.0000 0.0000 -
58.42/58.82 c SCIP Status : c problem is solved
58.42/58.82 c Total Time : 58.8200
58.42/58.82 c solving : 58.8200
58.42/58.82 c presolving : 24.4870 (included in solving)
58.42/58.82 c B&B Tree :
58.42/58.82 c nodes (total) : 1
58.42/58.82 c Solution :
58.42/58.82 c Solutions found : 1
58.42/58.82 c Primal Bound : +0.00000000000000e+00
58.42/58.82 c Dual Bound : +0.00000000000000e+00
58.42/58.82 c Gap : 0.00000 %
58.62/59.03 s SATISFIABLE
58.62/59.03 v -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582
58.62/59.03 v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565
58.62/59.03 v -x1564 -x1563 -x1562 x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547
58.62/59.03 v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529
58.62/59.03 v -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511
58.62/59.03 v -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493
58.62/59.03 v -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475
58.62/59.03 v -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457
58.62/59.03 v -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 x1444 -x1443 -x1442 -x1441 -x1440 -x1439
58.62/59.03 v -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421
58.62/59.03 v -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 x1405 -x1404 -x1403
58.62/59.03 v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385
58.62/59.03 v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367
58.62/59.03 v x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349
58.62/59.03 v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332
58.62/59.03 v -x1331 -x1330 -x1329 -x1328 x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314
58.62/59.03 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296
58.62/59.03 v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278
58.62/59.03 v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260
58.62/59.03 v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242
58.62/59.03 v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224
58.62/59.03 v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206
58.62/59.03 v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188
58.62/59.03 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170
58.62/59.03 v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152
58.62/59.03 v -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
58.62/59.03 v -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116
58.62/59.03 v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099
58.62/59.03 v -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081
58.62/59.03 v -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063
58.62/59.03 v -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045
58.62/59.03 v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
58.62/59.03 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009
58.62/59.03 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990
58.62/59.03 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969
58.62/59.03 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948
58.62/59.03 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927
58.62/59.03 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906
58.62/59.03 v -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885
58.62/59.03 v -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864
58.62/59.03 v -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843
58.62/59.03 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822
58.62/59.03 v -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801
58.62/59.03 v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780
58.62/59.03 v -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759
58.62/59.03 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738
58.62/59.03 v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718
58.62/59.03 v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697
58.62/59.03 v -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676
58.62/59.03 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
58.62/59.03 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634
58.62/59.03 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613
58.62/59.03 v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592
58.62/59.03 v -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571
58.62/59.03 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
58.62/59.03 v -x549 -x548 x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529
58.62/59.03 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508
58.62/59.03 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487
58.62/59.03 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466
58.62/59.03 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446
58.62/59.03 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425
58.62/59.03 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404
58.62/59.03 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383
58.62/59.03 v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362
58.62/59.03 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
58.62/59.03 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
58.62/59.03 v -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
58.62/59.03 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278
58.62/59.03 v -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257
58.62/59.03 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236
58.62/59.03 v x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215
58.62/59.03 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194
58.62/59.03 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174
58.62/59.03 v -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153
58.62/59.03 v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132
58.62/59.03 v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111
58.62/59.03 v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88
58.62/59.03 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
58.62/59.03 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
58.62/59.03 v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780
58.62/59.03 v -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763
58.62/59.03 v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745
58.62/59.03 v -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727
58.62/59.03 v -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709
58.62/59.03 v -x2708 -x2707 -x2706 x2705 x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691
58.62/59.03 v -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 x2676 -x2675 -x2674 -x2673
58.62/59.03 v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655
58.62/59.03 v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637
58.62/59.03 v -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619
58.62/59.03 v -x2618 -x2617 -x2616 -x2615 x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601
58.62/59.03 v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583
58.62/59.03 v -x2582 -x2581 x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565
58.62/59.03 v -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 x2549 -x2548 -x2547
58.62/59.03 v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529
58.62/59.03 v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 x2514 -x2513 -x2512 -x2511
58.62/59.03 v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494
58.62/59.03 v -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476
58.62/59.03 v -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458
58.62/59.03 v -x2457 -x2456 -x2455 -x2454 x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440
58.62/59.03 v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 x2424 -x2423 -x2422
58.62/59.03 v -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404
58.62/59.03 v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386
58.62/59.03 v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368
58.62/59.03 v -x2367 -x2366 -x2365 -x2364 x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350
58.62/59.03 v -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 x2332
58.62/59.03 v -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314
58.62/59.03 v -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 x2300 -x2299 -x2298 -x2297 -x2296
58.62/59.03 v -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 x2283 -x2282 -x2281 -x2280 -x2279 -x2278
58.62/59.03 v -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 x2269 x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260
58.62/59.03 v -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242
58.62/59.03 v -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224
58.62/59.03 v -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 x2209 x2208 -x2207 -x2206
58.62/59.03 v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188
58.62/59.03 v -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170
58.62/59.03 v -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152
58.62/59.03 v -x2151 -x2150 -x2149 -x2148 x2147 x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134
58.62/59.03 v -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116
58.62/59.03 v x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
58.62/59.03 v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 x2085 -x2084 -x2083 -x2082 -x2081 -x2080
58.62/59.03 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063
58.62/59.03 v -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 x2047 -x2046 -x2045
58.62/59.03 v -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 x2028 -x2027
58.62/59.03 v -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009
58.62/59.03 v -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991
58.62/59.03 v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973
58.62/59.03 v -x1972 -x1971 -x1970 -x1969 -x1968 x1967 x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955
58.62/59.03 v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937
58.62/59.03 v x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919
59.51/59.94 v -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 x1903 -x1902 -x1901
59.51/59.94 v -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883
59.51/59.94 v -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865
59.51/59.94 v -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847
59.51/59.94 v -x1846 -x1845 -x1844 -x1843 x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829
59.51/59.94 v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 x1812 -x1811
59.51/59.94 v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793
59.51/59.94 v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 x1784 x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775
59.51/59.94 v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757
59.51/59.94 v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740
59.51/59.94 v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 x1724 -x1723 -x1722
59.51/59.94 v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704
59.51/59.94 v -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686
59.51/59.94 v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x27 -x1678 -x1677 -x1676 -x1675 -x23 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669
59.51/59.94 v -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 x40 -x1656 -x1655 -x38 -x1654 -x37
59.51/59.94 v -x1653 -x1652 -x1651 -x1650 -x1649 -x32 -x1648 -x1647 -x30 -x1646 -x29 -x1645 -x28 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639
59.51/59.94 v -x18 -x1638 -x17 -x1637 -x1636 -x1635 -x1634 -x1633 -x9 -x1632 -x1631 -x1630 -x1629 -x1628 -x1 -x1627 -x39 -x1626 -x36 -x1625
59.51/59.94 v -x35 -x1624 -x34 -x1623 -x33 -x1622 -x31 -x1621 -x26 -x1620 -x25 -x1619 -x24 -x1618 -x22 -x1617 -x21 -x1616 -x20 -x1615 -x19
59.51/59.94 v -x1614 -x16 -x1613 -x15 -x1612 -x14 -x1611 -x13 -x1610 -x12 -x1609 -x11 -x1608 -x10 -x1607 -x8 -x1606 -x7 -x1605 -x6 -x1604
59.51/59.94 v -x5 -x1603 -x4 -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: 63968 MiB (61138 MiB free)
memory of node 1: 64473 MiB (60677 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443710-1721302040/watcher-4443710-1721302040 -o /tmp/evaluation-result-4443710-1721302040/solver-4443710-1721302040 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950165 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4443710-1721302040.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=956333, runsolver pid=956330
[startup+0.100642 s]*
/proc/loadavg: 4.06 4.08 4.09 5/260 956334
/proc/meminfo: memFree=124628452/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=57128 memory=44816 CPUtime=0.09 cores=0,2
/proc/956333/stat : 956333 (fscip) R 956330 956333 950155 0 -1 4194304 9101 0 0 0 8 1 0 0 20 0 1 0 182372994 58499072 11204 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 14282 11204 2318 3032 0 10682 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57128 KiB
Current children cumulated memory: 44816 KiB
[startup+0.20564 s]*
/proc/loadavg: 4.06 4.08 4.09 5/260 956334
/proc/meminfo: memFree=124596876/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=88456 memory=75936 CPUtime=0.19 cores=0,2
/proc/956333/stat : 956333 (fscip) R 956330 956333 950155 0 -1 4194304 16915 0 0 0 17 2 0 0 20 0 1 0 182372994 90578944 18984 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 22114 18984 2318 3032 0 18514 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 88456 KiB
Current children cumulated memory: 75936 KiB
[startup+0.305624 s]*
/proc/loadavg: 4.06 4.08 4.09 5/260 956334
/proc/meminfo: memFree=124408644/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=116372 memory=103900 CPUtime=0.29 cores=0,2
/proc/956333/stat : 956333 (fscip) R 956330 956333 950155 0 -1 4194304 23898 0 0 0 26 3 0 0 20 0 1 0 182372994 119164928 25975 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 29093 25975 2318 3032 0 25493 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 116372 KiB
Current children cumulated memory: 103900 KiB
[startup+0.700196 s]
/proc/loadavg: 4.06 4.08 4.09 5/260 956334
/proc/meminfo: memFree=124458192/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=232276 memory=219340 CPUtime=0.67 cores=0,2
/proc/956333/stat : 956333 (fscip) R 956330 956333 950155 0 -1 4194304 52257 0 0 0 61 6 0 0 20 0 1 0 182372994 237850624 54835 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 58069 54835 2318 3032 0 54469 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 232276 KiB
Current children cumulated memory: 219340 KiB
[startup+1.50021 s]
/proc/loadavg: 4.06 4.08 4.09 5/260 956334
/proc/meminfo: memFree=124228752/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=462496 memory=449372 CPUtime=1.47 cores=0,2
/proc/956333/stat : 956333 (fscip) R 956330 956333 950155 0 -1 4194304 107685 0 0 0 133 14 0 0 20 0 1 0 182372994 473595904 112343 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 115624 112343 2318 3032 0 112024 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 462496 KiB
Current children cumulated memory: 449372 KiB
[startup+3.10552 s]
/proc/loadavg: 4.06 4.08 4.09 5/260 956334
/proc/meminfo: memFree=123305348/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=1300444 memory=1288500 CPUtime=3.07 cores=0,2
/proc/956333/stat : 956333 (fscip) R 956330 956333 950155 0 -1 4194304 289697 0 0 0 266 41 0 0 20 0 1 0 182372994 1331654656 322125 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 325111 322125 2542 3032 0 321511 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1300444 KiB
Current children cumulated memory: 1288500 KiB
[startup+6.30022 s]
/proc/loadavg: 4.06 4.08 4.09 5/260 956334
/proc/meminfo: memFree=122696876/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=1966728 memory=1946700 CPUtime=6.25 cores=0,2
/proc/956333/stat : 956333 (fscip) R 956330 956333 950155 0 -1 4194304 324074 0 0 0 560 65 0 0 20 0 1 0 182372994 2013929472 486675 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 491682 486675 2686 3032 0 488082 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1966728 KiB
Current children cumulated memory: 1946700 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.08 4.09 5/260 956336
/proc/meminfo: memFree=122759132/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=1904336 memory=1883644 CPUtime=12.64 cores=0,2
/proc/956333/stat : 956333 (fscip) R 956330 956333 950155 0 -1 4194304 405453 0 0 0 1184 80 0 0 20 0 1 0 182372994 1950040064 470911 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 476084 470911 2718 3032 0 472484 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1904336 KiB
Current children cumulated memory: 1883644 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.08 5/262 956339
/proc/meminfo: memFree=120905684/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=2605740 memory=2453948 CPUtime=25.39 cores=0,2
/proc/956333/stat : 956333 (fscip) R 956330 956333 950155 0 -1 4194304 435187 0 0 0 2444 95 0 0 20 0 1 0 182372994 2668277760 613487 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 651435 613487 2766 3032 0 647835 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2605740 KiB
Current children cumulated memory: 2453948 KiB
[startup+51.1056 s]
/proc/loadavg: 4.02 4.07 4.08 5/264 956346
/proc/meminfo: memFree=116548804/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=4860868 memory=4591940 CPUtime=50.79 cores=0,2
/proc/956333/stat : 956333 (fscip) S 956330 956333 950155 0 -1 1077936128 1171261 0 0 0 4868 211 0 0 20 0 3 0 182372994 4977528832 1147985 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 1215217 1147985 2782 3032 0 1199612 0
[pid=956333/tid=956342] ppid=956330 vsize=4860868 memory=4378236 CPUtime=21.66 cores=0,2
/proc/956333/task/956342/stat : 956342 (fscip) R 956330 956333 950155 0 -1 4194368 634328 0 0 0 2066 100 0 0 20 0 3 0 182375763 4977528832 1147985 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
[pid=956333/tid=956343] ppid=956330 vsize=4860868 memory=1883644 CPUtime=0 cores=0,2
/proc/956333/task/956343/stat : 956343 (fscip) S 956330 956333 950155 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 182376038 4977528832 1147985 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 4860868 KiB
Current children cumulated memory: 4591940 KiB
[startup+60.0211 s]
# the end of solver process 956333 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=56.8726 s, system=2.76977 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2006 s]
/proc/loadavg: 4.02 4.07 4.08 5/264 956346
/proc/meminfo: memFree=116548804/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=4860868 memory=4591940 CPUtime=50.89 cores=0,2
/proc/956333/stat : 956333 (fscip) S 956330 956333 950155 0 -1 1077936128 1171261 0 0 0 4878 211 0 0 20 0 3 0 182372994 4977528832 1147985 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 1215217 1147985 2782 3032 0 1199612 0
[pid=956333/tid=956342] ppid=956330 vsize=4860868 memory=12512 CPUtime=21.76 cores=0,2
/proc/956333/task/956342/stat : 956342 (fscip) R 956330 956333 950155 0 -1 4194368 634328 0 0 0 2076 100 0 0 20 0 3 0 182375763 4977528832 1147985 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
[pid=956333/tid=956343] ppid=956330 vsize=4860868 memory=16184 CPUtime=0 cores=0,2
/proc/956333/task/956343/stat : 956343 (fscip) S 956330 956333 950155 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 182376038 4977528832 1147985 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 4860868 KiB
Current children cumulated memory: 4591940 KiB
[startup+54.4006 s]
/proc/loadavg: 4.02 4.07 4.08 5/260 956360
/proc/meminfo: memFree=121802792/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=4959180 memory=4690404 CPUtime=54.06 cores=0,2
/proc/956333/stat : 956333 (fscip) S 956330 956333 950155 0 -1 1077936128 1257180 0 0 0 5188 218 0 0 20 0 3 0 182372994 5078200320 1172601 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 1239795 1172601 2798 3032 0 1224190 0
[pid=956333/tid=956342] ppid=956330 vsize=4959180 memory=12088 CPUtime=24.93 cores=0,2
/proc/956333/task/956342/stat : 956342 (fscip) R 956330 956333 950155 0 -1 4194368 720247 0 0 0 2386 107 0 0 20 0 3 0 182375763 5078200320 1172601 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
[pid=956333/tid=956343] ppid=956330 vsize=4959180 memory=5500 CPUtime=0 cores=0,2
/proc/956333/task/956343/stat : 956343 (fscip) S 956330 956333 950155 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 182376038 5078200320 1172601 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
Current children cumulated CPU time: 54.06 s
Current children cumulated vsize: 4959180 KiB
Current children cumulated memory: 4690404 KiB
[startup+57.6006 s]
/proc/loadavg: 4.02 4.07 4.08 4/259 956361
/proc/meminfo: memFree=121120800/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=5670264 memory=5375220 CPUtime=57.23 cores=0,2
/proc/956333/stat : 956333 (fscip) S 956330 956333 950155 0 -1 1077936128 1529279 0 0 0 5471 252 0 0 20 0 3 0 182372994 5806350336 1343805 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 1417566 1343805 2942 3032 0 1399393 0
[pid=956333/tid=956342] ppid=956330 vsize=5670264 memory=4690264 CPUtime=28.1 cores=0,2
/proc/956333/task/956342/stat : 956342 (fscip) R 956330 956333 950155 0 -1 4194368 992114 0 0 0 2669 141 0 0 20 0 3 0 182375763 5806350336 1343805 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
[pid=956333/tid=956343] ppid=956330 vsize=5670264 memory=4797256 CPUtime=0 cores=0,2
/proc/956333/task/956343/stat : 956343 (fscip) S 956330 956333 950155 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 182376038 5806350336 1343805 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
Current children cumulated CPU time: 57.23 s
Current children cumulated vsize: 5670264 KiB
Current children cumulated memory: 5375220 KiB
[startup+59.2002 s]
/proc/loadavg: 4.02 4.07 4.08 5/260 956393
/proc/meminfo: memFree=121822888/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=4457140 memory=4214564 CPUtime=58.81 cores=0,2
/proc/956333/stat : 956333 (fscip) R 956330 956333 950155 0 -1 4194304 1731751 0 0 0 5618 263 0 0 20 0 1 0 182372994 4564111360 1053641 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 1114285 1053641 2942 3032 0 1087602 0
Current children cumulated CPU time: 58.81 s
Current children cumulated vsize: 4457140 KiB
Current children cumulated memory: 4214564 KiB
[startup+59.6002 s]
/proc/loadavg: 4.02 4.07 4.08 5/260 956393
/proc/meminfo: memFree=121822888/131524600 swapFree=131071996/131071996
[pid=956333] ppid=956330 vsize=4413308 memory=4170732 CPUtime=59.22 cores=0,2
/proc/956333/stat : 956333 (fscip) R 956330 956333 950155 0 -1 4194304 1772408 0 0 0 5656 266 0 0 20 0 1 0 182372994 4519227392 1042683 134679101440 4194304 16613245 140724249516624 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33132544 140724249523220 140724249523336 140724249523336 140724249530352 0
/proc/956333/statm: 1103327 1042683 2942 3032 0 1076644 0
Current children cumulated CPU time: 59.22 s
Current children cumulated vsize: 4413308 KiB
Current children cumulated memory: 4170732 KiB
[startup+60.0002 s]*
/proc/loadavg: 4.02 4.07 4.08 5/260 956393
/proc/meminfo: memFree=124953788/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): 60.0211
CPU time (s): 59.6424
CPU user time (s): 56.8726
CPU system time (s): 2.76977
CPU usage (%): 99.369
Max. virtual memory (cumulated for all children) (KiB): 5756360
Max. memory (cumulated for all children) (KiB): 5443740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.8726
system time used= 2.76977
maximum resident set size= 5491696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1779198
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= 61
involuntary context switches= 601
# summary of solver processes directly reported to runsolver:
# pid: 956333
# total CPU time (s): 59.6424
# total CPU user time (s): 56.8726
# total CPU system time (s): 2.76977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.139019 second user time and 0.282003 second system time
The end
Begin job on nodeC032 at 2024-07-18 13:27:33
IDJOB=4443710
IDBENCH=147883
IDSOLVER=3064
FILE ID=nodeC032/4443710-1721302040
RUNJOBID= nodeC032-1721294255-950165
SLURM_JOB_ID= 7542614
Free space on /tmp= 889932 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.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-4443710-1721302040/watcher-4443710-1721302040 -o /tmp/evaluation-result-4443710-1721302040/solver-4443710-1721302040 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950165 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4443710-1721302040.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a13baf32d9ef8d04301e73a4b88257d0
RANDOM SEED=1418353132
nodeC032.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 : 3672.842
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.33
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 : 3689.415
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 : 7005.03
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 : 3668.760
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.33
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.015
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 : 7005.03
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 : 3672.532
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.33
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 : 3689.422
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 : 7005.03
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 : 3606.435
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.33
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 : 3599.918
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 : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124826296 kB
MemAvailable: 127362640 kB
Buffers: 491848 kB
Cached: 2860268 kB
SwapCached: 0 kB
Active: 963980 kB
Inactive: 5075884 kB
Active(anon): 1564 kB
Inactive(anon): 2723904 kB
Active(file): 962416 kB
Inactive(file): 2351980 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 90668 kB
Writeback: 0 kB
AnonPages: 2686472 kB
Mapped: 140092 kB
Shmem: 37720 kB
KReclaimable: 123540 kB
Slab: 238824 kB
SReclaimable: 123540 kB
SUnreclaim: 115284 kB
KernelStack: 4208 kB
PageTables: 14548 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2961520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69216 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1142784 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 889852 MiB
End job on nodeC032 at 2024-07-18 13:28:33