0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 45436928, getVmSize() = 45436928, SCIPgetMemUsed() = 20029401, SCIPgetMemTotal() = 23175801, SCIPgetMemExternEstim() = 12394666
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.19/0.27 c ** Estimated virtualMemUsedAtSolver = 37845674, getVmSize() = 68100096, SCIPgetMemUsed() = 23704992, SCIPgetMemTotal() = 43894696, SCIPgetMemExternEstim() = 12394666
0.19/0.27 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.19/0.27 c Original Problem :
0.19/0.27 c Problem name : instance-4464647-1722386205
0.19/0.27 c Variables : 4128 (4128 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.27 c Constraints : 8688
0.19/0.27 c Objective sense : minimize
0.19/0.27 c Presolved Problem :
0.19/0.27 c Variables : 3276 (3276 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.27 c Constraints : 7110
0.19/0.27 c Constraints : Number
0.19/0.27 c and : 32
0.19/0.27 c linear : 1290
0.19/0.27 c logicor : 5788
0.19/0.27 c ** Instance transfer method used: 0
0.19/0.29 c ** ParaScipInstance copy does not increase the number of variables. **
0.19/0.30 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.19/0.30 c Nodes Active
0.19/0.30 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
33.89/34.07 c 34 2 1 1 - 0.0000 -
42.16/42.38 c 42 22 21 1 - 0.0000 -
49.85/50.06 c 50 26 25 1 - 0.0000 -
55.33/55.56 c 56 29 28 1 - 0.0000 -
232.62/233.29 c 233 35 34 1 - 0.0000 -
240.00/240.61 c 241 42 41 1 - 0.0000 -
246.88/247.54 c 248 48 47 1 - 0.0000 -
253.66/254.38 c 254 53 52 1 - 0.0000 -
260.25/260.94 c 261 57 56 1 - 0.0000 -
267.24/267.90 c 268 58 57 1 - 0.0000 -
272.82/273.54 c 274 62 61 1 - 0.0000 -
278.81/279.55 c 280 65 64 1 - 0.0000 -
288.39/289.14 c 289 72 71 1 - 0.0000 -
294.87/295.63 c 296 75 74 1 - 0.0000 -
300.86/301.66 c 302 78 77 1 - 0.0000 -
306.44/307.24 c 307 82 81 1 - 0.0000 -
313.53/314.30 c 314 88 87 1 - 0.0000 -
318.71/319.51 c 320 92 91 1 - 0.0000 -
324.70/325.59 c 326 95 94 1 - 0.0000 -
331.88/332.72 c 333 102 101 1 - 0.0000 -
340.17/341.03 c 341 105 104 1 - 0.0000 -
346.26/347.12 c 347 112 111 1 - 0.0000 -
351.94/352.87 c 353 117 116 1 - 0.0000 -
358.02/358.97 c 359 122 121 1 - 0.0000 -
366.00/366.99 c 367 132 131 1 - 0.0000 -
371.10/372.08 c 372 142 141 1 - 0.0000 -
377.18/378.12 c 378 151 150 1 - 0.0000 -
383.66/384.60 c 385 166 165 1 - 0.0000 -
392.83/393.81 c 394 172 171 1 - 0.0000 -
400.52/401.57 c 402 178 177 1 - 0.0000 -
408.60/409.66 c 410 195 194 1 - 0.0000 -
415.38/416.48 c 416 249 248 1 - 0.0000 -
423.16/424.26 c 424 268 267 1 - 0.0000 -
428.15/429.29 c 429 275 274 1 - 0.0000 -
436.04/437.15 c 437 285 284 1 - 0.0000 -
442.92/444.00 c 444 298 297 1 - 0.0000 -
449.69/450.89 c 451 302 301 1 - 0.0000 -
455.58/456.75 c 457 315 314 1 - 0.0000 -
462.16/463.38 c 463 322 321 1 - 0.0000 -
467.35/468.51 c 469 331 330 1 - 0.0000 -
474.23/475.44 c 475 362 361 1 - 0.0000 -
481.01/482.28 c 482 382 381 1 - 0.0000 -
488.10/489.39 c 489 392 391 1 - 0.0000 -
499.17/500.40 c 500 408 407 1 - 0.0000 -
504.76/506.06 c 506 418 417 1 - 0.0000 -
511.25/512.53 c 513 438 437 1 - 0.0000 -
516.54/517.86 c 518 461 460 1 - 0.0000 -
527.51/528.83 c 529 495 494 1 - 0.0000 -
533.49/534.83 c 535 548 547 1 - 0.0000 -
540.68/542.08 c 542 572 571 1 - 0.0000 -
546.06/547.48 c 547 589 588 1 - 0.0000 -
553.45/554.85 c 555 598 597 1 - 0.0000 -
559.43/560.85 c 561 626 625 1 - 0.0000 -
565.02/566.41 c 566 634 633 1 - 0.0000 -
571.10/572.59 c 573 678 677 1 - 0.0000 -
576.69/578.17 c 578 682 681 1 - 0.0000 -
582.58/584.09 c 584 747 746 1 - 0.0000 -
591.46/592.96 c 593 754 753 1 - 0.0000 -
597.24/598.72 c 599 786 785 1 - 0.0000 -
604.43/605.95 c 606 806 805 1 - 0.0000 -
610.71/612.23 c 612 846 845 1 - 0.0000 -
615.90/617.44 c 617 858 857 1 - 0.0000 -
622.78/624.31 c 624 888 887 1 - 0.0000 -
628.47/630.04 c 630 902 901 1 - 0.0000 -
633.96/635.56 c 636 946 945 1 - 0.0000 -
639.94/641.51 c 642 958 957 1 - 0.0000 -
647.62/649.27 c 649 966 965 1 - 0.0000 -
653.81/655.41 c 655 974 973 1 - 0.0000 -
660.50/662.16 c 662 1015 1014 1 - 0.0000 -
666.48/668.15 c 668 1018 1017 1 - 0.0000 -
672.96/674.65 c 675 1030 1029 1 - 0.0000 -
678.45/680.14 c 680 1050 0 1 - 0.0000 -
709.67/711.42 c 711 1051 1 1 - 0.0000 -
715.46/717.23 c 717 1071 21 1 - 0.0000 -
725.03/726.86 c 727 1076 26 1 - 0.0000 -
730.62/732.49 c 732 1082 32 1 - 0.0000 -
737.91/739.77 c 740 1104 54 1 - 0.0000 -
743.50/745.38 c 745 1119 69 1 - 0.0000 -
748.88/750.77 c 751 1155 105 1 - 0.0000 -
756.26/758.18 c 758 1181 131 1 - 0.0000 -
761.35/763.29 c 763 1200 150 1 - 0.0000 -
769.93/771.80 c 772 1226 176 1 - 0.0000 -
775.71/777.69 c 778 1260 206 1 - 0.0000 -
782.00/783.97 c 784 1272 218 1 - 0.0000 -
787.19/789.15 c 789 1288 232 1 - 0.0000 -
796.47/798.48 c 798 1298 242 1 - 0.0000 -
802.06/804.01 c 804 1368 312 1 - 0.0000 -
812.91/814.95 c 815 1473 405 1 - 0.0000 -
818.20/820.22 c 820 1554 422 1 - 0.0000 -
825.18/827.29 c 827 1695 453 1 - 0.0000 -
830.26/832.32 c 832 1967 529 1 - 0.0000 -
835.25/837.39 c 837 2029 591 1 - 0.0000 -
840.33/842.44 c 842 2891 778 1 - 0.0000 -
895.58/897.82 c 898 3521 799 1 - 0.0000 -
900.86/903.11 c 903 4180 823 1 - 0.0000 -
905.85/908.15 c 908 5031 889 1 - 0.0000 -
910.93/913.20 c 913 6095 883 1 - 0.0000 -
915.91/918.25 c 918 7080 869 1 - 0.0000 -
920.99/923.34 c 923 8164 871 1 - 0.0000 -
926.08/928.45 c 928 8959 903 1 - 0.0000 -
931.15/933.55 c 934 9763 1030 1 - 0.0000 -
936.23/938.60 c 939 10669 1048 1 - 0.0000 -
941.22/943.65 c 944 11609 1010 1 - 0.0000 -
946.31/948.74 c 949 12335 1067 1 - 0.0000 -
951.38/953.80 c 954 13155 1071 1 - 0.0000 -
956.46/958.90 c 959 13896 1070 1 - 0.0000 -
961.45/963.99 c 964 14430 1060 1 - 0.0000 -
966.54/969.06 c 969 15174 1069 1 - 0.0000 -
971.62/974.13 c 974 15931 1077 1 - 0.0000 -
976.60/979.18 c 979 16610 1081 1 - 0.0000 -
981.68/984.24 c 984 17346 1089 1 - 0.0000 -
986.76/989.30 c 989 18095 1085 1 - 0.0000 -
991.75/994.36 c 994 18804 1084 1 - 0.0000 -
996.83/999.44 c 999 19488 1091 1 - 0.0000 -
1001.91/1004.51 c 1005 20138 1083 1 - 0.0000 -
1006.89/1009.56 c 1010 20782 1078 1 - 0.0000 -
1011.97/1014.64 c 1015 21389 1079 1 - 0.0000 -
1017.06/1019.73 c 1020 22136 1103 1 - 0.0000 -
1022.05/1024.78 c 1025 22887 1098 1 - 0.0000 -
1027.13/1029.84 c 1030 23599 1064 1 - 0.0000 -
1032.21/1034.91 c 1035 24267 1062 1 - 0.0000 -
1037.19/1039.99 c 1040 25065 1075 1 - 0.0000 -
1042.78/1045.59 c 1046 25276 1077 1 - 0.0000 -
1047.86/1050.67 c 1051 25893 1073 1 - 0.0000 -
1052.94/1055.72 c 1056 26705 1097 1 - 0.0000 -
1058.02/1060.80 c 1061 27374 1109 1 - 0.0000 -
1063.00/1065.87 c 1066 28126 1100 1 - 0.0000 -
1068.08/1070.95 c 1071 28769 1143 1 - 0.0000 -
1073.17/1076.05 c 1076 29308 1176 1 - 0.0000 -
1078.26/1081.14 c 1081 29967 1205 1 - 0.0000 -
1083.34/1086.20 c 1086 30591 1200 1 - 0.0000 -
1088.32/1091.27 c 1091 31243 1188 1 - 0.0000 -
1093.40/1096.33 c 1096 31902 1197 1 - 0.0000 -
1098.38/1101.39 c 1101 32507 1209 1 - 0.0000 -
1103.47/1106.48 c 1106 33090 1232 1 - 0.0000 -
1108.55/1111.56 c 1112 33698 1268 1 - 0.0000 -
1113.63/1116.62 c 1117 34290 1250 1 - 0.0000 -
1118.61/1121.69 c 1122 34857 1247 1 - 0.0000 -
1123.69/1126.76 c 1127 35461 1267 1 - 0.0000 -
1128.79/1131.82 c 1132 36065 1275 1 - 0.0000 -
1133.76/1136.89 c 1137 36825 1271 1 - 0.0000 -
1138.85/1141.95 c 1142 37485 1278 1 - 0.0000 -
1143.93/1147.02 c 1147 38105 1273 1 - 0.0000 -
1148.91/1152.08 c 1152 38661 1270 1 - 0.0000 -
1154.00/1157.16 c 1157 39261 1287 1 - 0.0000 -
1159.08/1162.21 c 1162 39840 1295 1 - 0.0000 -
1164.06/1167.27 c 1167 40499 1292 1 - 0.0000 -
1169.14/1172.32 c 1172 41115 1286 1 - 0.0000 -
1174.13/1177.37 c 1177 41794 1292 1 - 0.0000 -
1179.21/1182.43 c 1182 42491 1300 1 - 0.0000 -
1184.19/1187.48 c 1187 43257 1308 1 - 0.0000 -
1189.28/1192.59 c 1193 43913 1309 1 - 0.0000 -
1194.36/1197.65 c 1198 44501 1297 1 - 0.0000 -
1199.44/1202.75 c 1203 45104 1300 1 - 0.0000 -
1204.52/1207.85 c 1208 45656 1304 1 - 0.0000 -
1209.61/1212.93 c 1213 46273 1321 1 - 0.0000 -
1214.59/1217.99 c 1218 46822 1340 1 - 0.0000 -
1219.67/1223.07 c 1223 47415 1305 1 - 0.0000 -
1224.76/1228.11 c 1228 48069 1298 1 - 0.0000 -
1229.74/1233.17 c 1233 48738 1305 1 - 0.0000 -
1234.82/1238.23 c 1238 49468 1336 1 - 0.0000 -
1239.80/1243.28 c 1243 50168 1297 1 - 0.0000 -
1244.88/1248.35 c 1248 50776 1284 1 - 0.0000 -
1249.97/1253.40 c 1253 51471 1265 1 - 0.0000 -
1254.95/1258.46 c 1258 52056 1273 1 - 0.0000 -
1260.03/1263.54 c 1264 52673 1274 1 - 0.0000 -
1265.11/1268.60 c 1269 53262 1274 1 - 0.0000 -
1270.10/1273.66 c 1274 53869 1267 1 - 0.0000 -
1275.18/1278.74 c 1279 54555 1278 1 - 0.0000 -
1280.27/1283.80 c 1284 55367 1270 1 - 0.0000 -
1285.25/1288.86 c 1289 56111 1303 1 - 0.0000 -
1290.33/1293.92 c 1294 56818 1309 1 - 0.0000 -
1295.32/1298.98 c 1299 57535 1324 1 - 0.0000 -
1300.40/1304.03 c 1304 58292 1316 1 - 0.0000 -
1305.48/1309.11 c 1309 58975 1329 1 - 0.0000 -
1310.48/1314.17 c 1314 59706 1333 1 - 0.0000 -
1315.56/1319.23 c 1319 60349 1318 1 - 0.0000 -
1320.54/1324.29 c 1324 61137 1333 1 - 0.0000 -
1325.63/1329.35 c 1329 61723 1366 1 - 0.0000 -
1330.71/1334.43 c 1334 62446 1386 1 - 0.0000 -
1335.80/1339.51 c 1340 63172 1406 1 - 0.0000 -
1340.79/1344.56 c 1345 63924 1403 1 - 0.0000 -
1345.88/1349.63 c 1350 64591 1425 1 - 0.0000 -
1350.86/1354.67 c 1355 65388 1441 1 - 0.0000 -
1355.95/1359.73 c 1360 66163 1442 1 - 0.0000 -
1360.94/1364.79 c 1365 66879 1422 1 - 0.0000 -
1366.12/1369.92 c 1370 67580 1430 1 - 0.0000 -
1371.21/1375.01 c 1375 68324 1436 1 - 0.0000 -
1376.20/1380.09 c 1380 69031 1444 1 - 0.0000 -
1381.29/1385.18 c 1385 69722 1455 1 - 0.0000 -
1386.37/1390.23 c 1390 70490 1453 1 - 0.0000 -
1391.45/1395.30 c 1395 71158 1439 1 - 0.0000 -
1396.44/1400.36 c 1400 71828 1411 1 - 0.0000 -
1401.52/1405.42 c 1405 72397 1414 1 - 0.0000 -
1406.51/1410.46 c 1410 73025 1455 1 - 0.0000 -
1411.60/1415.52 c 1416 73771 1438 1 - 0.0000 -
1416.79/1420.70 c 1421 74308 1413 1 - 0.0000 -
1421.78/1425.75 c 1426 74926 1480 1 - 0.0000 -
1426.86/1430.82 c 1431 75482 1511 1 - 0.0000 -
1431.84/1435.87 c 1436 76114 1500 1 - 0.0000 -
1436.93/1440.96 c 1441 76693 1479 1 - 0.0000 -
1442.03/1446.03 c 1446 77259 1459 1 - 0.0000 -
1447.01/1451.08 c 1451 77866 1478 1 - 0.0000 -
1452.10/1456.17 c 1456 78416 1456 1 - 0.0000 -
1457.18/1461.27 c 1461 79026 1472 1 - 0.0000 -
1462.27/1466.34 c 1466 79668 1476 1 - 0.0000 -
1467.25/1471.39 c 1471 80243 1467 1 - 0.0000 -
1472.34/1476.46 c 1476 80840 1461 1 - 0.0000 -
1477.42/1481.52 c 1482 81475 1456 1 - 0.0000 -
1482.41/1486.57 c 1487 82127 1475 1 - 0.0000 -
1487.50/1491.64 c 1492 82767 1483 1 - 0.0000 -
1492.58/1496.72 c 1497 83405 1512 1 - 0.0000 -
1497.57/1501.77 c 1502 84002 1513 1 - 0.0000 -
1502.66/1506.85 c 1507 84634 1531 1 - 0.0000 -
1507.74/1511.92 c 1512 85196 1610 1 - 0.0000 -
1512.83/1517.03 c 1517 86012 1616 1 - 0.0000 -
1517.92/1522.13 c 1522 86674 1610 1 - 0.0000 -
1522.91/1527.19 c 1527 87218 1623 1 - 0.0000 -
1527.99/1532.26 c 1532 87868 1642 1 - 0.0000 -
1533.08/1537.31 c 1537 88463 1661 1 - 0.0000 -
1538.16/1542.40 c 1542 89087 1647 1 - 0.0000 -
1543.25/1547.51 c 1548 89676 1662 1 - 0.0000 -
1548.24/1552.55 c 1553 90291 1666 1 - 0.0000 -
1553.32/1557.60 c 1558 90892 1663 1 - 0.0000 -
1558.31/1562.65 c 1563 91519 1656 1 - 0.0000 -
1563.39/1567.76 c 1568 92108 1628 1 - 0.0000 -
1568.49/1572.81 c 1573 92698 1621 1 - 0.0000 -
1573.47/1577.88 c 1578 93391 1624 1 - 0.0000 -
1578.56/1582.95 c 1583 94042 1625 1 - 0.0000 -
1583.65/1588.00 c 1588 94785 1624 1 - 0.0000 -
1588.63/1593.08 c 1593 95409 1609 1 - 0.0000 -
1593.72/1598.17 c 1598 96067 1603 1 - 0.0000 -
1598.80/1603.23 c 1603 96752 1597 1 - 0.0000 -
1603.78/1608.28 c 1608 97377 1609 1 - 0.0000 -
1608.88/1613.36 c 1613 98041 1601 1 - 0.0000 -
1613.96/1618.42 c 1618 98692 1629 1 - 0.0000 -
1619.04/1623.51 c 1624 99273 1633 1 - 0.0000 -
1624.13/1628.60 c 1629 99814 1635 1 - 0.0000 -
1629.12/1633.67 c 1634 100379 1612 1 - 0.0000 -
1634.21/1638.74 c 1639 100918 1606 1 - 0.0000 -
1639.29/1643.84 c 1644 101507 1613 1 - 0.0000 -
1644.38/1648.95 c 1649 102044 1598 1 - 0.0000 -
1649.47/1654.02 c 1654 102610 1603 1 - 0.0000 -
1654.46/1659.06 c 1659 103266 1603 1 - 0.0000 -
1659.55/1664.13 c 1664 103835 1615 1 - 0.0000 -
1664.53/1669.18 c 1669 104384 1604 1 - 0.0000 -
1669.61/1674.24 c 1674 104974 1593 1 - 0.0000 -
1674.70/1679.31 c 1679 105561 1588 1 - 0.0000 -
1679.69/1684.39 c 1684 106146 1592 1 - 0.0000 -
1684.78/1689.45 c 1689 106790 1594 1 - 0.0000 -
1689.86/1694.51 c 1695 107483 1592 1 - 0.0000 -
1694.85/1699.58 c 1700 108126 1600 1 - 0.0000 -
1699.93/1704.64 c 1705 108741 1598 1 - 0.0000 -
1705.02/1709.71 c 1710 109423 1610 1 - 0.0000 -
1710.01/1714.78 c 1715 110184 1611 1 - 0.0000 -
1715.09/1719.82 c 1720 110898 1624 1 - 0.0000 -
1720.08/1724.88 c 1725 111497 1594 1 - 0.0000 -
1725.17/1729.95 c 1730 112238 1612 1 - 0.0000 -
1730.26/1735.00 c 1735 113002 1629 1 - 0.0000 -
1735.25/1740.10 c 1740 113706 1644 1 - 0.0000 -
1740.33/1745.18 c 1745 114407 1641 1 - 0.0000 -
1745.42/1750.26 c 1750 115072 1674 1 - 0.0000 -
1750.50/1755.31 c 1755 115834 1680 1 - 0.0000 -
1755.49/1760.39 c 1760 116472 1672 1 - 0.0000 -
1760.57/1765.45 c 1765 117068 1677 1 - 0.0000 -
1765.66/1770.51 c 1771 117815 1686 1 - 0.0000 -
1770.65/1775.58 c 1776 118481 1672 1 - 0.0000 -
1775.74/1780.69 c 1781 119069 1670 1 - 0.0000 -
1780.83/1785.76 c 1786 119683 1664 1 - 0.0000 -
1785.91/1790.83 c 1791 120321 1648 1 - 0.0000 -
1790.90/1795.87 c 1796 120881 1631 1 - 0.0000 -
1795.98/1800.96 c 1801 121550 1678 1 - 0.0000 -
1801.07/1806.02 c 1806 122212 1737 1 - 0.0000 -
1806.46/1811.43 c 1811 122709 1736 1 - 0.0000 -
1811.44/1816.48 c 1816 123342 1755 1 - 0.0000 -
1816.63/1821.60 c 1822 123911 1740 1 - 0.0000 -
1821.61/1826.67 c 1827 124547 1758 1 - 0.0000 -
1826.70/1831.75 c 1832 125221 1811 1 - 0.0000 -
1831.78/1836.80 c 1837 125836 1787 1 - 0.0000 -
1836.77/1841.89 c 1842 126490 1747 1 - 0.0000 -
1841.86/1846.96 c 1847 127191 1781 1 - 0.0000 -
1846.95/1852.01 c 1852 127806 1798 1 - 0.0000 -
1852.04/1857.10 c 1857 128440 1786 1 - 0.0000 -
1857.03/1862.16 c 1862 129036 1742 1 - 0.0000 -
1862.11/1867.23 c 1867 129692 1722 1 - 0.0000 -
1867.10/1872.29 c 1872 130343 1703 1 - 0.0000 -
1872.18/1877.36 c 1877 130929 1697 1 - 0.0000 -
1877.27/1882.42 c 1882 131654 1704 1 - 0.0000 -
1882.25/1887.47 c 1887 132287 1700 1 - 0.0000 -
1887.34/1892.55 c 1893 132837 1704 1 - 0.0000 -
1892.43/1897.61 c 1898 133452 1721 1 - 0.0000 -
1897.42/1902.67 c 1903 134086 1708 1 - 0.0000 -
1902.50/1907.74 c 1908 134710 1702 1 - 0.0000 -
1907.59/1912.81 c 1913 135371 1699 1 - 0.0000 -
1912.57/1917.86 c 1918 135985 1685 1 - 0.0000 -
1917.66/1922.93 c 1923 136630 1659 1 - 0.0000 -
1922.75/1928.01 c 1928 137249 1648 1 - 0.0000 -
1927.74/1933.06 c 1933 137881 1654 1 - 0.0000 -
1932.83/1938.13 c 1938 138514 1658 1 - 0.0000 -
1937.81/1943.18 c 1943 139130 1660 1 - 0.0000 -
1942.89/1948.27 c 1948 139671 1664 1 - 0.0000 -
1947.99/1953.32 c 1953 140346 1672 1 - 0.0000 -
1952.97/1958.38 c 1958 140948 1670 1 - 0.0000 -
1958.06/1963.46 c 1963 141545 1680 1 - 0.0000 -
1963.14/1968.53 c 1969 142137 1668 1 - 0.0000 -
1968.13/1973.59 c 1974 142781 1659 1 - 0.0000 -
1973.22/1978.65 c 1979 143440 1613 1 - 0.0000 -
1978.30/1983.70 c 1984 144039 1593 1 - 0.0000 -
1983.29/1988.77 c 1989 144638 1573 1 - 0.0000 -
1988.37/1993.88 c 1994 145318 1584 1 - 0.0000 -
1993.47/1998.97 c 1999 146020 1589 1 - 0.0000 -
1998.56/2004.07 c 2004 146667 1608 1 - 0.0000 -
2003.64/2009.13 c 2009 147279 1596 1 - 0.0000 -
2008.63/2014.18 c 2014 147926 1591 1 - 0.0000 -
2013.71/2019.26 c 2019 148520 1590 1 - 0.0000 -
2018.79/2024.32 c 2024 149074 1588 1 - 0.0000 -
2023.78/2029.39 c 2029 149686 1578 1 - 0.0000 -
2028.98/2034.52 c 2035 150271 1579 1 - 0.0000 -
2033.96/2039.58 c 2040 150865 1573 1 - 0.0000 -
2039.05/2044.65 c 2045 151380 1593 1 - 0.0000 -
2044.13/2049.71 c 2050 151952 1614 1 - 0.0000 -
2049.22/2054.80 c 2055 152485 1584 1 - 0.0000 -
2054.21/2059.86 c 2060 153079 1608 1 - 0.0000 -
2059.29/2064.92 c 2065 153688 1618 1 - 0.0000 -
2064.28/2069.98 c 2070 154171 1612 1 - 0.0000 -
2069.37/2075.04 c 2075 154723 1604 1 - 0.0000 -
2074.47/2080.19 c 2080 155231 1600 1 - 0.0000 -
2079.64/2085.31 c 2085 155850 1599 1 - 0.0000 -
2084.63/2090.35 c 2090 156430 1566 1 - 0.0000 -
2089.71/2095.43 c 2095 157016 1551 1 - 0.0000 -
2094.71/2100.48 c 2100 157572 1559 1 - 0.0000 -
2099.79/2105.54 c 2106 158175 1561 1 - 0.0000 -
2104.88/2110.62 c 2111 158809 1570 1 - 0.0000 -
2109.86/2115.67 c 2116 159393 1581 1 - 0.0000 -
2114.95/2120.76 c 2121 160031 1570 1 - 0.0000 -
2120.04/2125.87 c 2126 160595 1574 1 - 0.0000 -
2125.13/2130.93 c 2131 161131 1584 1 - 0.0000 -
2130.22/2136.00 c 2136 161752 1585 1 - 0.0000 -
2135.20/2141.08 c 2141 162286 1577 1 - 0.0000 -
2140.29/2146.16 c 2146 162904 1584 1 - 0.0000 -
2145.38/2151.22 c 2151 163543 1573 1 - 0.0000 -
2150.36/2156.29 c 2156 164145 1539 1 - 0.0000 -
2155.44/2161.39 c 2161 164707 1512 1 - 0.0000 -
2160.53/2166.48 c 2166 165302 1502 1 - 0.0000 -
2165.62/2171.54 c 2172 165933 1511 1 - 0.0000 -
2170.70/2176.62 c 2177 166549 1514 1 - 0.0000 -
2175.70/2181.67 c 2182 167151 1511 1 - 0.0000 -
2180.78/2186.73 c 2187 167804 1509 1 - 0.0000 -
2185.77/2191.79 c 2192 168547 1478 1 - 0.0000 -
2190.85/2196.84 c 2197 169229 1466 1 - 0.0000 -
2195.83/2201.89 c 2202 169932 1485 1 - 0.0000 -
2200.92/2206.93 c 2207 170661 1477 1 - 0.0000 -
2205.91/2211.98 c 2212 171347 1512 1 - 0.0000 -
2211.00/2217.05 c 2217 171983 1501 1 - 0.0000 -
2216.09/2222.13 c 2222 172649 1499 1 - 0.0000 -
2221.17/2227.20 c 2227 173255 1513 1 - 0.0000 -
2226.16/2232.27 c 2232 173869 1525 1 - 0.0000 -
2231.24/2237.32 c 2237 174556 1522 1 - 0.0000 -
2236.23/2242.38 c 2242 175253 1523 1 - 0.0000 -
2241.41/2247.50 c 2248 175899 1527 1 - 0.0000 -
2246.40/2252.56 c 2253 176619 1538 1 - 0.0000 -
2251.48/2257.61 c 2258 177373 1545 1 - 0.0000 -
2256.47/2262.67 c 2263 178056 1554 1 - 0.0000 -
2261.56/2267.71 c 2268 178731 1540 1 - 0.0000 -
2266.54/2272.79 c 2273 179384 1537 1 - 0.0000 -
2271.63/2277.86 c 2278 179990 1559 1 - 0.0000 -
2276.72/2282.95 c 2283 180566 1548 1 - 0.0000 -
2281.80/2288.01 c 2288 181122 1543 1 - 0.0000 -
2286.80/2293.08 c 2293 181756 1530 1 - 0.0000 -
2291.88/2298.16 c 2298 182383 1552 1 - 0.0000 -
2296.96/2303.21 c 2303 182972 1581 1 - 0.0000 -
2301.95/2308.29 c 2308 183523 1583 1 - 0.0000 -
2307.03/2313.37 c 2313 184124 1586 1 - 0.0000 -
2312.12/2318.45 c 2318 184769 1585 1 - 0.0000 -
2317.21/2323.52 c 2324 185381 1575 1 - 0.0000 -
2322.29/2328.63 c 2329 185998 1563 1 - 0.0000 -
2327.28/2333.68 c 2334 186729 1560 1 - 0.0000 -
2332.37/2338.74 c 2339 187343 1553 1 - 0.0000 -
2337.45/2343.83 c 2344 188015 1563 1 - 0.0000 -
2342.44/2348.89 c 2349 188613 1559 1 - 0.0000 -
2347.62/2354.01 c 2354 189266 1556 1 - 0.0000 -
2352.62/2359.09 c 2359 189864 1554 1 - 0.0000 -
2357.70/2364.15 c 2364 190488 1554 1 - 0.0000 -
2362.78/2369.22 c 2369 191148 1531 1 - 0.0000 -
2367.77/2374.28 c 2374 191787 1551 1 - 0.0000 -
2372.86/2379.37 c 2379 192510 1551 1 - 0.0000 -
2377.94/2384.48 c 2384 193085 1524 1 - 0.0000 -
2383.03/2389.54 c 2390 193751 1539 1 - 0.0000 -
2388.11/2394.63 c 2395 194458 1542 1 - 0.0000 -
2393.21/2399.74 c 2400 195146 1511 1 - 0.0000 -
2398.29/2404.83 c 2405 195799 1501 1 - 0.0000 -
2403.27/2409.88 c 2410 196423 1508 1 - 0.0000 -
2408.36/2414.94 c 2415 196988 1498 1 - 0.0000 -
2413.45/2420.01 c 2420 197585 1494 1 - 0.0000 -
2418.53/2425.10 c 2425 198331 1503 1 - 0.0000 -
2423.52/2430.17 c 2430 199018 1498 1 - 0.0000 -
2428.60/2435.25 c 2435 199606 1502 1 - 0.0000 -
2433.68/2440.35 c 2440 200162 1518 1 - 0.0000 -
2438.77/2445.40 c 2445 200771 1554 1 - 0.0000 -
2443.76/2450.47 c 2450 201476 1569 1 - 0.0000 -
2448.85/2455.52 c 2456 202171 1560 1 - 0.0000 -
2453.83/2460.59 c 2461 202748 1566 1 - 0.0000 -
2458.91/2465.68 c 2466 203404 1573 1 - 0.0000 -
2464.01/2470.72 c 2471 203986 1568 1 - 0.0000 -
2469.00/2475.79 c 2476 204592 1563 1 - 0.0000 -
2474.08/2480.89 c 2481 205159 1565 1 - 0.0000 -
2479.17/2485.97 c 2486 205767 1555 1 - 0.0000 -
2484.25/2491.05 c 2491 206380 1545 1 - 0.0000 -
2489.35/2496.11 c 2496 207008 1528 1 - 0.0000 -
2494.33/2501.15 c 2501 207638 1537 1 - 0.0000 -
2499.41/2506.21 c 2506 208196 1526 1 - 0.0000 -
2504.40/2511.27 c 2511 208744 1523 1 - 0.0000 -
2509.48/2516.35 c 2516 209341 1525 1 - 0.0000 -
2514.57/2521.45 c 2521 209928 1512 1 - 0.0000 -
2519.66/2526.50 c 2527 210551 1505 1 - 0.0000 -
2524.65/2531.56 c 2532 211239 1499 1 - 0.0000 -
2529.73/2536.60 c 2537 211908 1472 1 - 0.0000 -
2534.72/2541.69 c 2542 212391 1486 1 - 0.0000 -
2539.81/2546.75 c 2547 212959 1491 1 - 0.0000 -
2544.89/2551.86 c 2552 213481 1478 1 - 0.0000 -
2549.98/2556.92 c 2557 214082 1478 1 - 0.0000 -
2554.96/2561.97 c 2562 214832 1479 1 - 0.0000 -
2560.05/2567.04 c 2567 215492 1458 1 - 0.0000 -
2565.04/2572.10 c 2572 216204 1447 1 - 0.0000 -
2570.13/2577.18 c 2577 216857 1461 1 - 0.0000 -
2575.20/2582.25 c 2582 217507 1455 1 - 0.0000 -
2580.29/2587.30 c 2587 218083 1461 1 - 0.0000 -
2585.28/2592.36 c 2592 218723 1455 1 - 0.0000 -
2590.37/2597.44 c 2597 219244 1475 1 - 0.0000 -
2595.45/2602.54 c 2603 219811 1480 1 - 0.0000 -
2600.54/2607.60 c 2608 220344 1476 1 - 0.0000 -
2605.53/2612.69 c 2613 220845 1484 1 - 0.0000 -
2610.62/2617.76 c 2618 221435 1474 1 - 0.0000 -
2615.70/2622.82 c 2623 222049 1473 1 - 0.0000 -
2620.79/2627.95 c 2628 222657 1471 1 - 0.0000 -
2625.87/2633.04 c 2633 223189 1475 1 - 0.0000 -
2630.97/2638.13 c 2638 223781 1493 1 - 0.0000 -
2635.95/2643.17 c 2643 224392 1480 1 - 0.0000 -
2641.03/2648.24 c 2648 224961 1482 1 - 0.0000 -
2646.11/2653.30 c 2653 225548 1473 1 - 0.0000 -
2651.11/2658.36 c 2658 226127 1522 1 - 0.0000 -
2656.19/2663.42 c 2663 226664 1529 1 - 0.0000 -
2661.18/2668.48 c 2668 227245 1523 1 - 0.0000 -
2666.26/2673.56 c 2674 227954 1534 1 - 0.0000 -
2671.35/2678.65 c 2679 228607 1541 1 - 0.0000 -
2676.43/2683.76 c 2684 229203 1570 1 - 0.0000 -
2681.53/2688.84 c 2689 229806 1578 1 - 0.0000 -
2686.61/2693.90 c 2694 230410 1563 1 - 0.0000 -
2691.70/2699.01 c 2699 231039 1563 1 - 0.0000 -
2696.69/2704.07 c 2704 231673 1580 1 - 0.0000 -
2701.77/2709.12 c 2709 232279 1602 1 - 0.0000 -
2706.77/2714.17 c 2714 232931 1596 1 - 0.0000 -
2711.85/2719.24 c 2719 233657 1579 1 - 0.0000 -
2716.93/2724.30 c 2724 234304 1555 1 - 0.0000 -
2721.91/2729.39 c 2729 234890 1584 1 - 0.0000 -
2727.11/2734.50 c 2735 235443 1586 1 - 0.0000 -
2732.09/2739.57 c 2740 236046 1562 1 - 0.0000 -
2737.17/2744.61 c 2745 236666 1573 1 - 0.0000 -
2742.17/2749.69 c 2750 237251 1609 1 - 0.0000 -
2747.25/2754.75 c 2755 237886 1610 1 - 0.0000 -
2752.33/2759.81 c 2760 238452 1592 1 - 0.0000 -
2757.42/2764.93 c 2765 239015 1580 1 - 0.0000 -
2762.61/2770.10 c 2770 239619 1591 1 - 0.0000 -
2767.60/2775.16 c 2775 240125 1584 1 - 0.0000 -
2772.69/2780.21 c 2780 240657 1606 1 - 0.0000 -
2777.67/2785.29 c 2785 241331 1605 1 - 0.0000 -
2782.76/2790.35 c 2790 241796 1583 1 - 0.0000 -
2787.84/2795.41 c 2795 242403 1555 1 - 0.0000 -
2792.83/2800.49 c 2800 242958 1537 1 - 0.0000 -
2797.92/2805.56 c 2806 243559 1565 1 - 0.0000 -
2803.01/2810.65 c 2811 244131 1566 1 - 0.0000 -
2808.09/2815.74 c 2816 244791 1562 1 - 0.0000 -
2813.18/2820.82 c 2821 245344 1572 1 - 0.0000 -
2818.26/2825.92 c 2826 245894 1573 1 - 0.0000 -
2823.24/2830.99 c 2831 246483 1643 1 - 0.0000 -
2828.33/2836.09 c 2836 247197 1643 1 - 0.0000 -
2833.43/2841.13 c 2841 247896 1657 1 - 0.0000 -
2838.42/2846.19 c 2846 248583 1675 1 - 0.0000 -
2843.49/2851.25 c 2851 249304 1691 1 - 0.0000 -
2848.88/2856.68 c 2857 249872 1717 1 - 0.0000 -
2853.97/2861.77 c 2862 250624 1710 1 - 0.0000 -
2859.05/2866.83 c 2867 251221 1727 1 - 0.0000 -
2864.14/2871.90 c 2872 251937 1737 1 - 0.0000 -
2869.13/2876.95 c 2877 252569 1726 1 - 0.0000 -
2874.21/2882.01 c 2882 253331 1765 1 - 0.0000 -
2879.20/2887.08 c 2887 253994 1786 1 - 0.0000 -
2884.29/2892.14 c 2892 254648 1832 1 - 0.0000 -
2889.28/2897.19 c 2897 255260 1848 1 - 0.0000 -
2894.35/2902.24 c 2902 255918 1843 1 - 0.0000 -
2899.44/2907.32 c 2907 256541 1854 1 - 0.0000 -
2904.43/2912.39 c 2912 257173 1829 1 - 0.0000 -
2909.52/2917.44 c 2917 257807 1846 1 - 0.0000 -
2914.60/2922.53 c 2923 258426 1842 1 - 0.0000 -
2919.69/2927.61 c 2928 258984 1852 1 - 0.0000 -
2924.68/2932.69 c 2933 259657 1843 1 - 0.0000 -
2929.77/2937.77 c 2938 260288 1846 1 - 0.0000 -
2934.85/2942.83 c 2943 260916 1867 1 - 0.0000 -
2939.83/2947.89 c 2948 261482 1886 1 - 0.0000 -
2944.93/2952.97 c 2953 261952 1862 1 - 0.0000 -
2950.02/2958.03 c 2958 262587 1849 1 - 0.0000 -
2955.10/2963.12 c 2963 263197 1844 1 - 0.0000 -
2960.19/2968.22 c 2968 263738 1837 1 - 0.0000 -
2965.27/2973.30 c 2973 264408 1844 1 - 0.0000 -
2970.26/2978.35 c 2978 265048 1836 1 - 0.0000 -
2975.35/2983.40 c 2983 265701 1825 1 - 0.0000 -
2980.33/2988.46 c 2988 266348 1824 1 - 0.0000 -
2985.41/2993.54 c 2994 267003 1819 1 - 0.0000 -
2990.50/2998.62 c 2999 267670 1802 1 - 0.0000 -
2995.48/3003.68 c 3004 268372 1790 1 - 0.0000 -
3000.58/3008.76 c 3009 268973 1797 1 - 0.0000 -
3005.66/3013.84 c 3014 269718 1804 1 - 0.0000 -
3010.75/3018.93 c 3019 270371 1785 1 - 0.0000 -
3015.84/3024.02 c 3024 270956 1785 1 - 0.0000 -
3020.83/3029.09 c 3029 271564 1771 1 - 0.0000 -
3026.01/3034.20 c 3034 272104 1788 1 - 0.0000 -
3030.99/3039.27 c 3039 272843 1761 1 - 0.0000 -
3036.08/3044.34 c 3044 273451 1728 1 - 0.0000 -
3041.17/3049.41 c 3049 274077 1745 1 - 0.0000 -
3046.15/3054.47 c 3054 274745 1765 1 - 0.0000 -
3051.24/3059.54 c 3060 275445 1769 1 - 0.0000 -
3056.33/3064.61 c 3065 276103 1771 1 - 0.0000 -
3061.31/3069.67 c 3070 276888 1765 1 - 0.0000 -
3066.40/3074.74 c 3075 277512 1852 1 - 0.0000 -
3071.49/3079.88 c 3080 278146 1848 1 - 0.0000 -
3076.57/3084.98 c 3085 278827 1856 1 - 0.0000 -
3081.66/3090.03 c 3090 279429 1851 1 - 0.0000 -
3086.76/3095.10 c 3095 280064 1902 1 - 0.0000 -
3091.73/3100.19 c 3100 280634 1851 1 - 0.0000 -
3096.82/3105.25 c 3105 281269 1866 1 - 0.0000 -
3101.91/3110.32 c 3110 281822 1875 1 - 0.0000 -
3106.99/3115.41 c 3115 282420 1865 1 - 0.0000 -
3112.08/3120.54 c 3121 283111 1836 1 - 0.0000 -
3117.17/3125.65 c 3126 283813 1841 1 - 0.0000 -
3122.26/3130.73 c 3131 284461 1796 1 - 0.0000 -
3127.34/3135.81 c 3136 285016 1755 1 - 0.0000 -
3132.33/3140.88 c 3141 285740 1742 1 - 0.0000 -
3137.41/3145.93 c 3146 286346 1722 1 - 0.0000 -
3142.51/3151.01 c 3151 286946 1731 1 - 0.0000 -
3147.48/3156.07 c 3156 287597 1720 1 - 0.0000 -
3152.58/3161.15 c 3161 288243 1714 1 - 0.0000 -
3157.66/3166.20 c 3166 288906 1701 1 - 0.0000 -
3162.75/3171.31 c 3171 289529 1694 1 - 0.0000 -
3167.83/3176.40 c 3176 290106 1665 1 - 0.0000 -
3172.81/3181.49 c 3182 290703 1670 1 - 0.0000 -
3177.90/3186.55 c 3187 291282 1642 1 - 0.0000 -
3182.99/3191.63 c 3192 291902 1645 1 - 0.0000 -
3188.07/3196.77 c 3197 292506 1664 1 - 0.0000 -
3193.17/3201.83 c 3202 293145 1671 1 - 0.0000 -
3198.25/3206.91 c 3207 293741 1686 1 - 0.0000 -
3203.34/3212.00 c 3212 294386 1680 1 - 0.0000 -
3208.33/3217.06 c 3217 294990 1678 1 - 0.0000 -
3213.41/3222.11 c 3222 295659 1692 1 - 0.0000 -
3218.50/3227.20 c 3227 296306 1730 1 - 0.0000 -
3223.49/3232.27 c 3232 296933 1721 1 - 0.0000 -
3228.57/3237.35 c 3237 297571 1726 1 - 0.0000 -
3233.65/3242.43 c 3242 298173 1735 1 - 0.0000 -
3238.65/3247.48 c 3247 298745 1718 1 - 0.0000 -
3243.73/3252.57 c 3253 299354 1739 1 - 0.0000 -
3248.81/3257.62 c 3258 300019 1705 1 - 0.0000 -
3253.90/3262.72 c 3263 300647 1717 1 - 0.0000 -
3258.90/3267.78 c 3268 301378 1705 1 - 0.0000 -
3263.98/3272.82 c 3273 301995 1692 1 - 0.0000 -
3268.96/3277.88 c 3278 302555 1697 1 - 0.0000 -
3274.05/3282.95 c 3283 303208 1686 1 - 0.0000 -
3279.14/3288.00 c 3288 303903 1686 1 - 0.0000 -
3284.13/3293.08 c 3293 304609 1683 1 - 0.0000 -
3289.31/3298.21 c 3298 305348 1667 1 - 0.0000 -
3294.30/3303.27 c 3303 305993 1645 1 - 0.0000 -
3299.39/3308.33 c 3308 306658 1657 1 - 0.0000 -
3304.37/3313.39 c 3313 307421 1672 1 - 0.0000 -
3309.46/3318.45 c 3318 308130 1661 1 - 0.0000 -
3314.54/3323.50 c 3324 308808 1641 1 - 0.0000 -
3319.53/3328.56 c 3329 309563 1730 1 - 0.0000 -
3324.61/3333.62 c 3334 310178 1700 1 - 0.0000 -
3329.71/3338.76 c 3339 310810 1715 1 - 0.0000 -
3334.79/3343.83 c 3344 311474 1707 1 - 0.0000 -
3339.78/3348.89 c 3349 312170 1738 1 - 0.0000 -
3344.86/3353.95 c 3354 312921 1767 1 - 0.0000 -
3349.95/3359.03 c 3359 313559 1765 1 - 0.0000 -
3354.94/3364.10 c 3364 314216 1766 1 - 0.0000 -
3360.03/3369.16 c 3369 314877 1778 1 - 0.0000 -
3365.12/3374.22 c 3374 315542 1785 1 - 0.0000 -
3370.21/3379.32 c 3379 316239 1799 1 - 0.0000 -
3375.19/3384.38 c 3384 316838 1760 1 - 0.0000 -
3380.28/3389.46 c 3389 317497 1711 1 - 0.0000 -
3385.36/3394.52 c 3395 318118 1710 1 - 0.0000 -
3390.36/3399.59 c 3400 318771 1715 1 - 0.0000 -
3395.45/3404.66 c 3405 319531 1730 1 - 0.0000 -
3400.54/3409.72 c 3410 320095 1720 1 - 0.0000 -
3405.62/3414.80 c 3415 320679 1728 1 - 0.0000 -
3410.61/3419.87 c 3420 321328 1725 1 - 0.0000 -
3415.70/3424.91 c 3425 321999 1710 1 - 0.0000 -
3420.68/3429.98 c 3430 322606 1710 1 - 0.0000 -
3425.79/3435.07 c 3435 323207 1711 1 - 0.0000 -
3430.87/3440.12 c 3440 323894 1702 1 - 0.0000 -
3435.86/3445.19 c 3445 324564 1709 1 - 0.0000 -
3440.94/3450.26 c 3450 325241 1718 1 - 0.0000 -
3446.03/3455.37 c 3455 325811 1700 1 - 0.0000 -
3451.11/3460.43 c 3460 326457 1700 1 - 0.0000 -
3456.21/3465.51 c 3466 327060 1701 1 - 0.0000 -
3461.20/3470.56 c 3471 327664 1702 1 - 0.0000 -
3466.29/3475.66 c 3476 328271 1725 1 - 0.0000 -
3471.37/3480.76 c 3481 328908 1743 1 - 0.0000 -
3476.46/3485.84 c 3486 329702 1755 1 - 0.0000 -
3481.55/3490.90 c 3491 330515 1725 1 - 0.0000 -
3486.53/3495.98 c 3496 331167 1760 1 - 0.0000 -
3491.63/3501.02 c 3501 331872 1769 1 - 0.0000 -
3496.61/3506.07 c 3506 332567 1729 1 - 0.0000 -
3501.71/3511.14 c 3511 333248 1765 1 - 0.0000 -
3506.79/3516.22 c 3516 333873 1767 1 - 0.0000 -
3511.78/3521.28 c 3521 334560 1789 1 - 0.0000 -
3516.87/3526.33 c 3526 335362 1769 1 - 0.0000 -
3521.95/3531.40 c 3531 336056 1768 1 - 0.0000 -
3526.95/3536.48 c 3536 336735 1781 1 - 0.0000 -
3532.04/3541.53 c 3542 337339 1799 1 - 0.0000 -
3537.02/3546.58 c 3547 338048 1809 1 - 0.0000 -
3542.11/3551.66 c 3552 338687 1818 1 - 0.0000 -
3547.20/3556.74 c 3557 339396 1807 1 - 0.0000 -
3552.18/3561.78 c 3562 340095 1863 1 - 0.0000 -
3557.28/3566.86 c 3567 340795 1867 1 - 0.0000 -
3562.37/3571.96 c 3572 341397 1874 1 - 0.0000 -
3567.46/3577.09 c 3577 342043 1874 1 - 0.0000 -
3572.54/3582.18 c 3582 342724 1879 1 - 0.0000 -
3577.63/3587.22 c 3587 343408 1885 1 - 0.0000 -
3582.61/3592.29 c 3592 344018 1870 1 - 0.0000 -
3587.71/3597.36 c 3597 344630 1887 1 - 0.0000 -
3588.41/3598.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.41/3598.04 c Total Time : 3598.0500
3588.41/3598.04 c solving : 3598.0500
3588.41/3598.04 c presolving : 0.2402 (included in solving)
3588.41/3598.04 c B&B Tree :
3588.41/3598.04 c nodes (total) : 1
3588.41/3598.04 c Solution :
3588.41/3598.04 c Solutions found : 0
3588.41/3598.04 c Primal Bound : -
3588.41/3598.04 c Dual Bound : +0.00000000000000e+00
3588.41/3598.04 c Gap : -
3588.41/3598.06 s UNKNOWN
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 (57025 MiB free)
memory of node 1: 64473 MiB (63523 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464647-1722386205/watcher-4464647-1722386205 -o /tmp/evaluation-result-4464647-1722386205/solver-4464647-1722386205 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722378594-27315 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464647-1722386205.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32060, runsolver pid=32057
[startup+0.100453 s]*
/proc/loadavg: 4.16 4.13 4.11 5/261 32061
/proc/meminfo: memFree=123409880/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=53004 memory=42220 CPUtime=0.09 cores=1,3
/proc/32060/stat : 32060 (fscip) R 32057 32060 27303 0 -1 4194304 9313 0 0 0 9 0 0 0 20 0 1 0 5008758 54276096 10555 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 13251 10555 2726 3035 0 9647 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53004 KiB
Current children cumulated memory: 42220 KiB
[startup+0.205463 s]*
/proc/loadavg: 4.16 4.13 4.11 5/261 32061
/proc/meminfo: memFree=123405440/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=57716 memory=47028 CPUtime=0.19 cores=1,3
/proc/32060/stat : 32060 (fscip) R 32057 32060 27303 0 -1 4194304 10510 0 0 0 19 0 0 0 20 0 1 0 5008758 59101184 11757 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 14429 11757 2742 3035 0 10825 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57716 KiB
Current children cumulated memory: 47028 KiB
[startup+0.305479 s]*
/proc/loadavg: 4.16 4.13 4.11 5/263 32063
/proc/meminfo: memFree=123384792/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=153768 memory=72540 CPUtime=0.29 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 18871 0 0 0 28 1 0 0 20 0 3 0 5008758 157458432 18135 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 38442 18135 2790 3035 0 22398 0
[pid=32060/tid=32062] ppid=32057 vsize=153768 memory=-5155627994570189701 CPUtime=0.01 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 4433 0 0 0 1 0 0 0 20 0 3 0 5008785 157458432 18135 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=153768 memory=0 CPUtime=0 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5008788 157458432 18135 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 153768 KiB
Current children cumulated memory: 72540 KiB
[startup+0.700253 s]
/proc/loadavg: 4.16 4.13 4.11 5/263 32063
/proc/meminfo: memFree=123350492/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=223416 memory=135372 CPUtime=0.67 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 34493 0 0 0 64 3 0 0 20 0 3 0 5008758 228777984 33843 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 55854 33843 2966 3035 0 38996 0
[pid=32060/tid=32062] ppid=32057 vsize=223416 memory=5552 CPUtime=0.4 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 20054 0 0 0 38 2 0 0 20 0 3 0 5008785 228777984 33843 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=223416 memory=417 CPUtime=0 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5008788 228777984 33843 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 223416 KiB
Current children cumulated memory: 135372 KiB
[startup+1.50019 s]
/proc/loadavg: 4.16 4.13 4.11 5/263 32063
/proc/meminfo: memFree=123322744/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=220332 memory=129948 CPUtime=1.47 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 36281 0 0 0 144 3 0 0 20 0 3 0 5008758 225619968 32487 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 55083 32487 2966 3035 0 38241 0
[pid=32060/tid=32062] ppid=32057 vsize=220332 memory=417 CPUtime=1.19 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 21835 0 0 0 117 2 0 0 20 0 3 0 5008785 225619968 32487 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=220332 memory=0 CPUtime=0 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5008788 225619968 32487 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 220332 KiB
Current children cumulated memory: 129948 KiB
[startup+3.10541 s]
/proc/loadavg: 4.15 4.13 4.11 5/263 32063
/proc/meminfo: memFree=123323000/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=220332 memory=129988 CPUtime=3.08 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 43751 0 0 0 304 4 0 0 20 0 3 0 5008758 225619968 32497 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 55083 32497 2966 3035 0 38241 0
[pid=32060/tid=32062] ppid=32057 vsize=220332 memory=-5155627994570189701 CPUtime=2.79 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 29305 0 0 0 277 2 0 0 20 0 3 0 5008785 225619968 32497 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=220332 memory=0 CPUtime=0 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5008788 225619968 32497 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 220332 KiB
Current children cumulated memory: 129988 KiB
[startup+6.30023 s]
/proc/loadavg: 4.15 4.13 4.11 6/263 32065
/proc/meminfo: memFree=123322956/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=220332 memory=129992 CPUtime=6.26 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 59323 0 0 0 622 4 0 0 20 0 3 0 5008758 225619968 32498 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 55083 32498 2966 3035 0 38241 0
[pid=32060/tid=32062] ppid=32057 vsize=220332 memory=11536 CPUtime=5.98 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 44875 0 0 0 595 3 0 0 20 0 3 0 5008785 225619968 32498 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=220332 memory=11536 CPUtime=0 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5008788 225619968 32498 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 220332 KiB
Current children cumulated memory: 129992 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.10 5/263 32065
/proc/meminfo: memFree=123322572/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=220332 memory=130204 CPUtime=12.64 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 73091 0 0 0 1259 5 0 0 20 0 3 0 5008758 225619968 32551 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 55083 32551 2966 3035 0 38241 0
[pid=32060/tid=32062] ppid=32057 vsize=220332 memory=129988 CPUtime=12.37 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 58634 0 0 0 1233 4 0 0 20 0 3 0 5008785 225619968 32551 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=220332 memory=-5155627994570189701 CPUtime=0 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5008788 225619968 32551 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 220332 KiB
Current children cumulated memory: 130204 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.13 4.11 5/263 32066
/proc/meminfo: memFree=123319704/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=220332 memory=132692 CPUtime=25.41 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 101402 0 0 0 2535 6 0 0 20 0 3 0 5008758 225619968 33173 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 55083 33173 2966 3035 0 38447 0
[pid=32060/tid=32062] ppid=32057 vsize=220332 memory=11536 CPUtime=25.13 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 86935 0 0 0 2508 5 0 0 20 0 3 0 5008785 225619968 33173 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=220332 memory=11536 CPUtime=0 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5008788 225619968 33173 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 220332 KiB
Current children cumulated memory: 132692 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.12 4.10 5/263 32072
/proc/meminfo: memFree=123291408/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=220332 memory=160092 CPUtime=50.95 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 134187 0 0 0 5086 9 0 0 20 0 3 0 5008758 225619968 40023 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 55083 40023 3014 3035 0 45564 0
[pid=32060/tid=32062] ppid=32057 vsize=220332 memory=159900 CPUtime=50.67 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 119637 0 0 0 5059 8 0 0 20 0 3 0 5008785 225619968 40023 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=220332 memory=130204 CPUtime=0 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 5008788 225619968 40023 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 220332 KiB
Current children cumulated memory: 160092 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 32082
/proc/meminfo: memFree=123288652/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=220332 memory=161704 CPUtime=102.02 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 156028 0 0 0 10192 10 0 0 20 0 3 0 5008758 225619968 40426 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 55083 40426 3014 3035 0 45564 0
[pid=32060/tid=32062] ppid=32057 vsize=220332 memory=-7668059532136898427 CPUtime=101.74 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 141445 0 0 0 10165 9 0 0 20 0 3 0 5008785 225619968 40426 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=220332 memory=161704 CPUtime=0 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5008788 225619968 40426 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 220332 KiB
Current children cumulated memory: 161704 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 32092
/proc/meminfo: memFree=123287440/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=220332 memory=161704 CPUtime=161.87 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 164830 0 0 0 16176 11 0 0 20 0 3 0 5008758 225619968 40426 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 55083 40426 3014 3035 0 45564 0
[pid=32060/tid=32062] ppid=32057 vsize=220332 memory=1948 CPUtime=161.59 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 150234 0 0 0 16149 10 0 0 20 0 3 0 5008785 225619968 40426 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=220332 memory=13864 CPUtime=0 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 5008788 225619968 40426 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 220332 KiB
Current children cumulated memory: 161704 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 32102
/proc/meminfo: memFree=122841948/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=220332 memory=161704 CPUtime=221.74 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 169387 0 0 0 22162 12 0 0 20 0 3 0 5008758 225619968 40426 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 55083 40426 3014 3035 0 45564 0
################
# More data... #
################
/proc/32060/statm: 104215 84119 3318 3035 0 86244 0
[pid=32060/tid=32062] ppid=32057 vsize=416860 memory=330276 CPUtime=3392.69 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 1431390 0 0 0 339066 203 0 0 20 0 3 0 5008785 426864640 84119 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=416860 memory=336476 CPUtime=0.02 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 202 0 0 0 0 2 0 0 20 0 3 0 5008788 426864640 84119 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 336476 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.92 3.60 3/246 34003
/proc/meminfo: memFree=129412628/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=416860 memory=346380 CPUtime=3453.01 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 1454222 0 0 0 345088 213 0 0 20 0 3 0 5008758 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 104215 86595 3318 3035 0 89187 0
[pid=32060/tid=32062] ppid=32057 vsize=416860 memory=330276 CPUtime=3452.54 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 1437960 0 0 0 345050 204 0 0 20 0 3 0 5008785 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=416860 memory=336476 CPUtime=0.02 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 204 0 0 0 0 2 0 0 20 0 3 0 5008788 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 346380 KiB
[startup+3522.3 s]
/proc/loadavg: 2.18 2.80 3.52 3/247 34014
/proc/meminfo: memFree=129411352/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=416860 memory=346380 CPUtime=3512.88 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 1455359 0 0 0 351073 215 0 0 20 0 3 0 5008758 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 104215 86595 3318 3035 0 89187 0
[pid=32060/tid=32062] ppid=32057 vsize=416860 memory=14836 CPUtime=3512.41 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 1439076 0 0 0 351035 206 0 0 20 0 3 0 5008785 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=416860 memory=11536 CPUtime=0.02 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 206 0 0 0 0 2 0 0 20 0 3 0 5008788 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 346380 KiB
[startup+3582.3 s]
/proc/loadavg: 2.06 2.65 3.42 3/245 34024
/proc/meminfo: memFree=129403124/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=416860 memory=346380 CPUtime=3572.74 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 1456470 0 0 0 357057 217 0 0 20 0 3 0 5008758 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 104215 86595 3318 3035 0 89187 0
[pid=32060/tid=32062] ppid=32057 vsize=416860 memory=346380 CPUtime=3572.27 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 1440166 0 0 0 357019 208 0 0 20 0 3 0 5008785 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=416860 memory=14836 CPUtime=0.02 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 208 0 0 0 0 2 0 0 20 0 3 0 5008788 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 346380 KiB
[startup+3598.07 s]
# the end of solver process 32060 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.3 s, system=2.18601 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.06 2.64 3.41 3/245 34024
/proc/meminfo: memFree=129403132/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=416860 memory=346380 CPUtime=3574.44 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 1456484 0 0 0 357227 217 0 0 20 0 3 0 5008758 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 104215 86595 3318 3035 0 89187 0
[pid=32060/tid=32062] ppid=32057 vsize=416860 memory=4896 CPUtime=3573.97 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 1440180 0 0 0 357189 208 0 0 20 0 3 0 5008785 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=416860 memory=346380 CPUtime=0.02 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 208 0 0 0 0 2 0 0 20 0 3 0 5008788 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 3574.44 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 346380 KiB
[startup+3590.4 s]
/proc/loadavg: 2.13 2.65 3.41 3/245 34025
/proc/meminfo: memFree=129403024/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=416860 memory=346380 CPUtime=3580.82 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 1456506 0 0 0 357865 217 0 0 20 0 3 0 5008758 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 104215 86595 3318 3035 0 89187 0
[pid=32060/tid=32062] ppid=32057 vsize=416860 memory=11536 CPUtime=3580.35 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 1440202 0 0 0 357827 208 0 0 20 0 3 0 5008785 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=416860 memory=-7668059532136898427 CPUtime=0.02 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 208 0 0 0 0 2 0 0 20 0 3 0 5008788 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 3580.82 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 346380 KiB
[startup+3593.6 s]
/proc/loadavg: 2.13 2.65 3.41 3/245 34025
/proc/meminfo: memFree=129403064/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=416860 memory=346380 CPUtime=3584.01 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 1456514 0 0 0 358184 217 0 0 20 0 3 0 5008758 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 104215 86595 3318 3035 0 89187 0
[pid=32060/tid=32062] ppid=32057 vsize=416860 memory=346380 CPUtime=3583.54 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 1440210 0 0 0 358146 208 0 0 20 0 3 0 5008785 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=416860 memory=346380 CPUtime=0.02 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 208 0 0 0 0 2 0 0 20 0 3 0 5008788 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 3584.01 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 346380 KiB
[startup+3595.2 s]
/proc/loadavg: 2.12 2.63 3.40 3/245 34025
/proc/meminfo: memFree=129403048/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=416860 memory=346380 CPUtime=3585.62 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 1456521 0 0 0 358344 218 0 0 20 0 3 0 5008758 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 104215 86595 3318 3035 0 89187 0
[pid=32060/tid=32062] ppid=32057 vsize=416860 memory=14836 CPUtime=3585.13 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 1440217 0 0 0 358305 208 0 0 20 0 3 0 5008785 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=416860 memory=-7668059532136898427 CPUtime=0.02 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 208 0 0 0 0 2 0 0 20 0 3 0 5008788 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 3585.62 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 346380 KiB
[startup+3596.8 s]
/proc/loadavg: 2.12 2.63 3.40 3/245 34027
/proc/meminfo: memFree=129403072/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=416860 memory=346380 CPUtime=3587.21 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 1456530 0 0 0 358503 218 0 0 20 0 3 0 5008758 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 104215 86595 3318 3035 0 89187 0
[pid=32060/tid=32062] ppid=32057 vsize=416860 memory=14836 CPUtime=3586.73 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 1440226 0 0 0 358465 208 0 0 20 0 3 0 5008785 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=416860 memory=11536 CPUtime=0.02 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 208 0 0 0 0 2 0 0 20 0 3 0 5008788 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 346380 KiB
[startup+3597.6 s]
/proc/loadavg: 2.12 2.63 3.40 3/245 34027
/proc/meminfo: memFree=129403020/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=416860 memory=346380 CPUtime=3588.01 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 1456530 0 0 0 358583 218 0 0 20 0 3 0 5008758 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 104215 86595 3318 3035 0 89187 0
[pid=32060/tid=32062] ppid=32057 vsize=416860 memory=5552 CPUtime=3587.53 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 1440226 0 0 0 358545 208 0 0 20 0 3 0 5008785 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=416860 memory=1948 CPUtime=0.02 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 208 0 0 0 0 2 0 0 20 0 3 0 5008788 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 3588.01 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 346380 KiB
[startup+3598 s]*
/proc/loadavg: 2.12 2.63 3.40 3/245 34027
/proc/meminfo: memFree=129403004/131524600 swapFree=131071996/131071996
[pid=32060] ppid=32057 vsize=416860 memory=346380 CPUtime=3588.41 cores=1,3
/proc/32060/stat : 32060 (fscip) S 32057 32060 27303 0 -1 1077936128 1456543 0 0 0 358623 218 0 0 20 0 3 0 5008758 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
/proc/32060/statm: 104215 86595 3318 3035 0 89187 0
[pid=32060/tid=32062] ppid=32057 vsize=416860 memory=-6000919485625297260 CPUtime=3587.93 cores=1,3
/proc/32060/task/32062/stat : 32062 (fscip) R 32057 32060 27303 0 -1 4194368 1440290 0 0 0 358585 208 0 0 20 0 3 0 5008785 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
[pid=32060/tid=32063] ppid=32057 vsize=416860 memory=4209344599015714458 CPUtime=0.02 cores=1,3
/proc/32060/task/32063/stat : 32063 (fscip) S 32057 32060 27303 0 -1 1077936192 208 0 0 0 0 2 0 0 20 0 3 0 5008788 426864640 86595 134679101440 4194304 16623229 140736768519904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43167744 140736768525334 140736768525450 140736768525450 140736768532464 0
Current children cumulated CPU time: 3588.41 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 346380 KiB
Child status: 0
Real time (s): 3598.07
CPU time (s): 3588.48
CPU user time (s): 3586.3
CPU system time (s): 2.18601
CPU usage (%): 99.7336
Max. virtual memory (cumulated for all children) (KiB): 416860
Max. memory (cumulated for all children) (KiB): 346380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.3
system time used= 2.18601
maximum resident set size= 346380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1457120
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= 9535
involuntary context switches= 1944
# summary of solver processes directly reported to runsolver:
# pid: 32060
# total CPU time (s): 3588.48
# total CPU user time (s): 3586.3
# total CPU system time (s): 2.18601
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98933 second user time and 17.6538 second system time
The end
Begin job on nodeC015 at 2024-07-31 02:36:46
IDJOB=4464647
IDBENCH=162192
IDSOLVER=3092
FILE ID=nodeC015/4464647-1722386205
RUNJOBID= nodeC015-1722378594-27315
SLURM_JOB_ID= 8249828
Free space on /tmp= 889928 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round22-3.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-4464647-1722386205/watcher-4464647-1722386205 -o /tmp/evaluation-result-4464647-1722386205/solver-4464647-1722386205 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722378594-27315 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464647-1722386205.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fa6ba6ab9373c7e836356a3f9ed023a2
RANDOM SEED=292526229
nodeC015.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 : 3599.959
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.37
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 : 3679.837
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 : 3667.634
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.37
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 : 3667.491
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 : 3667.644
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.37
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 : 3676.569
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.738
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.37
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.184
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: 123442380 kB
MemAvailable: 123476332 kB
Buffers: 104928 kB
Cached: 764952 kB
SwapCached: 0 kB
Active: 337312 kB
Inactive: 7254308 kB
Active(anon): 1576 kB
Inactive(anon): 6743240 kB
Active(file): 335736 kB
Inactive(file): 511068 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28644 kB
Writeback: 16 kB
AnonPages: 6721500 kB
Mapped: 125048 kB
Shmem: 23384 kB
KReclaimable: 53940 kB
Slab: 135548 kB
SReclaimable: 53940 kB
SUnreclaim: 81608 kB
KernelStack: 4236 kB
PageTables: 22464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5479080 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9888 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1095680 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: 158420 kB
DirectMap2M: 12197888 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC015 at 2024-07-31 03:36:44