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