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