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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 47263744, getVmSize() = 47263744, SCIPgetMemUsed() = 21387441, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13422915
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.19/0.31 c ** Estimated virtualMemUsedAtSolver = 39258900, getVmSize() = 69820416, SCIPgetMemUsed() = 25004203, SCIPgetMemTotal() = 45465435, SCIPgetMemExternEstim() = 13422915
0.19/0.31 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.19/0.31 c Original Problem :
0.19/0.31 c Problem name : instance-4464657-1722386204
0.19/0.31 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.31 c Constraints : 9536
0.19/0.31 c Objective sense : minimize
0.19/0.31 c Presolved Problem :
0.19/0.31 c Variables : 3303 (3303 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.31 c Constraints : 7718
0.19/0.31 c Constraints : Number
0.19/0.31 c and : 32
0.19/0.31 c linear : 1269
0.19/0.31 c logicor : 6417
0.19/0.31 c ** Instance transfer method used: 0
0.30/0.32 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.34 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.34 c Nodes Active
0.30/0.34 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
34.59/34.73 c 35 2 1 1 - 0.0000 -
43.36/43.56 c 44 25 24 1 - 0.0000 -
48.86/49.02 c 49 28 27 1 - 0.0000 -
55.14/55.31 c 55 32 31 1 - 0.0000 -
60.42/60.60 c 61 35 34 1 - 0.0000 -
211.17/211.70 c 212 42 41 1 - 0.0000 -
217.25/217.88 c 218 48 47 1 - 0.0000 -
226.63/227.28 c 227 55 54 1 - 0.0000 -
235.42/236.09 c 236 65 64 1 - 0.0000 -
241.51/242.17 c 242 72 71 1 - 0.0000 -
248.79/249.44 c 249 75 74 1 - 0.0000 -
253.97/254.66 c 255 78 77 1 - 0.0000 -
259.56/260.26 c 260 82 81 1 - 0.0000 -
265.14/265.84 c 266 92 91 1 - 0.0000 -
273.43/274.15 c 274 98 97 1 - 0.0000 -
283.60/284.37 c 284 112 111 1 - 0.0000 -
291.38/292.16 c 292 125 124 1 - 0.0000 -
299.86/300.65 c 301 145 144 1 - 0.0000 -
304.84/305.68 c 306 148 147 1 - 0.0000 -
310.93/311.78 c 312 163 162 1 - 0.0000 -
317.32/318.19 c 318 178 177 1 - 0.0000 -
325.09/325.93 c 326 185 184 1 - 0.0000 -
330.37/331.24 c 331 212 211 1 - 0.0000 -
337.17/338.03 c 338 265 264 1 - 0.0000 -
345.04/345.91 c 346 359 358 1 - 0.0000 -
355.32/356.28 c 356 384 383 1 - 0.0000 -
363.70/364.60 c 365 392 391 1 - 0.0000 -
370.58/371.59 c 372 408 407 1 - 0.0000 -
377.76/378.76 c 379 440 439 1 - 0.0000 -
383.65/384.63 c 385 444 443 1 - 0.0000 -
388.73/389.70 c 390 452 451 1 - 0.0000 -
397.12/398.15 c 398 492 491 1 - 0.0000 -
403.20/404.21 c 404 512 511 1 - 0.0000 -
409.48/410.51 c 411 536 535 1 - 0.0000 -
415.37/416.41 c 416 548 547 1 - 0.0000 -
421.06/422.14 c 422 556 555 1 - 0.0000 -
427.34/428.45 c 428 568 567 1 - 0.0000 -
434.62/435.76 c 436 588 587 1 - 0.0000 -
439.61/440.77 c 441 616 615 1 - 0.0000 -
444.91/446.01 c 446 624 623 1 - 0.0000 -
450.08/451.24 c 451 632 631 1 - 0.0000 -
455.37/456.50 c 456 673 672 1 - 0.0000 -
462.46/463.65 c 464 676 675 1 - 0.0000 -
468.14/469.38 c 469 696 695 1 - 0.0000 -
476.52/477.77 c 478 708 707 1 - 0.0000 -
484.20/485.45 c 485 728 727 1 - 0.0000 -
489.49/490.75 c 491 757 756 1 - 0.0000 -
496.57/497.83 c 498 760 759 1 - 0.0000 -
504.55/505.80 c 506 784 783 1 - 0.0000 -
509.94/511.28 c 511 828 827 1 - 0.0000 -
515.12/516.49 c 516 860 859 1 - 0.0000 -
522.40/523.79 c 524 900 899 1 - 0.0000 -
528.59/529.95 c 530 958 957 1 - 0.0000 -
534.07/535.44 c 535 984 983 1 - 0.0000 -
539.96/541.30 c 541 1007 1006 1 - 0.0000 -
548.83/550.20 c 550 1020 1019 1 - 0.0000 -
553.83/555.25 c 555 1050 0 1 - 0.0000 -
596.42/597.95 c 598 1051 1 1 - 0.0000 -
602.20/603.71 c 604 1091 41 1 - 0.0000 -
612.28/613.90 c 614 1101 51 1 - 0.0000 -
617.66/619.29 c 619 1106 56 1 - 0.0000 -
626.74/628.34 c 628 1116 66 1 - 0.0000 -
633.22/634.80 c 635 1128 78 1 - 0.0000 -
639.21/640.80 c 641 1141 91 1 - 0.0000 -
644.59/646.29 c 646 1156 106 1 - 0.0000 -
649.99/651.68 c 652 1181 131 1 - 0.0000 -
657.07/658.73 c 659 1196 146 1 - 0.0000 -
663.25/664.99 c 665 1208 158 1 - 0.0000 -
669.24/670.94 c 671 1223 173 1 - 0.0000 -
675.72/677.47 c 677 1247 197 1 - 0.0000 -
682.60/684.31 c 684 1283 233 1 - 0.0000 -
688.68/690.43 c 690 1289 239 1 - 0.0000 -
695.38/697.12 c 697 1331 281 1 - 0.0000 -
703.05/704.82 c 705 1367 317 1 - 0.0000 -
709.02/710.85 c 711 1428 378 1 - 0.0000 -
714.70/716.51 c 717 1570 506 1 - 0.0000 -
719.98/721.89 c 722 1891 790 1 - 0.0000 -
730.26/732.12 c 732 1929 828 1 - 0.0000 -
736.83/738.75 c 739 2041 889 1 - 0.0000 -
742.22/744.11 c 744 2239 958 1 - 0.0000 -
747.40/749.31 c 749 2434 1001 1 - 0.0000 -
752.38/754.38 c 754 2955 1029 1 - 0.0000 -
757.55/759.51 c 760 3551 1031 1 - 0.0000 -
762.55/764.58 c 765 4065 1052 1 - 0.0000 -
767.82/769.80 c 770 4470 1039 1 - 0.0000 -
772.80/774.87 c 775 5056 1037 1 - 0.0000 -
777.99/780.01 c 780 5697 1064 1 - 0.0000 -
783.07/785.10 c 785 6413 1023 1 - 0.0000 -
788.05/790.16 c 790 7211 1027 1 - 0.0000 -
793.13/795.21 c 795 8001 1033 1 - 0.0000 -
798.11/800.27 c 800 8623 1003 1 - 0.0000 -
803.19/805.32 c 805 9254 1027 1 - 0.0000 -
808.17/810.37 c 810 9950 1041 1 - 0.0000 -
813.25/815.42 c 815 10590 1120 1 - 0.0000 -
818.23/820.48 c 820 11239 1132 1 - 0.0000 -
823.31/825.53 c 826 11876 1118 1 - 0.0000 -
828.30/830.59 c 831 12441 1125 1 - 0.0000 -
833.38/835.68 c 836 13030 1126 1 - 0.0000 -
838.47/840.73 c 841 13677 1115 1 - 0.0000 -
843.45/845.78 c 846 14278 1119 1 - 0.0000 -
848.54/850.84 c 851 14883 1110 1 - 0.0000 -
853.52/855.89 c 856 15421 1107 1 - 0.0000 -
858.71/861.00 c 861 16018 1116 1 - 0.0000 -
863.69/866.06 c 866 16733 1137 1 - 0.0000 -
868.78/871.11 c 871 17347 1110 1 - 0.0000 -
873.76/876.17 c 876 17942 1112 1 - 0.0000 -
878.84/881.22 c 881 18527 1100 1 - 0.0000 -
883.93/886.33 c 886 19024 1097 1 - 0.0000 -
888.92/891.39 c 891 19621 1105 1 - 0.0000 -
894.00/896.46 c 896 20209 1112 1 - 0.0000 -
899.08/901.52 c 902 20778 1098 1 - 0.0000 -
904.07/906.57 c 907 21321 1099 1 - 0.0000 -
909.16/911.63 c 912 21909 1089 1 - 0.0000 -
914.14/916.68 c 917 22472 1086 1 - 0.0000 -
919.22/921.74 c 922 23005 1093 1 - 0.0000 -
924.30/926.81 c 927 23577 1088 1 - 0.0000 -
929.28/931.87 c 932 24136 1084 1 - 0.0000 -
934.38/936.94 c 937 24764 1074 1 - 0.0000 -
941.95/944.59 c 945 25124 1105 1 - 0.0000 -
947.03/949.65 c 950 25732 1083 1 - 0.0000 -
952.13/954.72 c 955 26267 1062 1 - 0.0000 -
957.11/959.79 c 960 26863 1070 1 - 0.0000 -
962.30/964.90 c 965 27373 1063 1 - 0.0000 -
967.39/970.01 c 970 27908 1046 1 - 0.0000 -
972.37/975.07 c 975 28512 1062 1 - 0.0000 -
977.47/980.14 c 980 29040 1060 1 - 0.0000 -
982.55/985.22 c 985 29269 1056 1 - 0.0000 -
987.53/990.27 c 990 29797 1045 1 - 0.0000 -
992.62/995.33 c 995 30355 1020 1 - 0.0000 -
997.71/1000.41 c 1000 30911 1011 1 - 0.0000 -
1002.69/1005.46 c 1005 31664 1093 1 - 0.0000 -
1007.78/1010.53 c 1011 32271 1100 1 - 0.0000 -
1012.76/1015.58 c 1016 32907 1128 1 - 0.0000 -
1017.86/1020.63 c 1021 33441 1121 1 - 0.0000 -
1022.84/1025.69 c 1026 34034 1107 1 - 0.0000 -
1027.93/1030.75 c 1031 34658 1113 1 - 0.0000 -
1033.01/1035.83 c 1036 35220 1136 1 - 0.0000 -
1038.10/1040.91 c 1041 35836 1129 1 - 0.0000 -
1043.08/1045.98 c 1046 36366 1122 1 - 0.0000 -
1048.18/1051.07 c 1051 36970 1099 1 - 0.0000 -
1053.26/1056.12 c 1056 37477 1106 1 - 0.0000 -
1058.34/1061.21 c 1061 38023 1096 1 - 0.0000 -
1063.43/1066.31 c 1066 38645 1089 1 - 0.0000 -
1068.42/1071.37 c 1071 39189 1096 1 - 0.0000 -
1073.50/1076.43 c 1076 39861 1092 1 - 0.0000 -
1078.59/1081.50 c 1082 40423 1093 1 - 0.0000 -
1083.57/1086.59 c 1087 40982 1101 1 - 0.0000 -
1088.67/1091.65 c 1092 41519 1090 1 - 0.0000 -
1093.75/1096.72 c 1097 42091 1093 1 - 0.0000 -
1098.74/1101.78 c 1102 42549 1099 1 - 0.0000 -
1103.83/1106.85 c 1107 43053 1089 1 - 0.0000 -
1108.91/1111.93 c 1112 43552 1093 1 - 0.0000 -
1114.00/1117.00 c 1117 44061 1084 1 - 0.0000 -
1118.98/1122.06 c 1122 44913 1106 1 - 0.0000 -
1124.07/1127.12 c 1127 45375 1101 1 - 0.0000 -
1129.05/1132.19 c 1132 45915 1102 1 - 0.0000 -
1134.14/1137.27 c 1137 46415 1098 1 - 0.0000 -
1139.23/1142.35 c 1142 46920 1096 1 - 0.0000 -
1144.31/1147.43 c 1147 47471 1109 1 - 0.0000 -
1149.29/1152.49 c 1152 48320 1154 1 - 0.0000 -
1154.38/1157.54 c 1158 48918 1185 1 - 0.0000 -
1159.47/1162.60 c 1163 49357 1183 1 - 0.0000 -
1164.46/1167.68 c 1168 49892 1184 1 - 0.0000 -
1169.54/1172.75 c 1173 50450 1227 1 - 0.0000 -
1174.63/1177.83 c 1178 50961 1239 1 - 0.0000 -
1179.71/1182.92 c 1183 51457 1239 1 - 0.0000 -
1184.71/1187.99 c 1188 51902 1226 1 - 0.0000 -
1189.80/1193.04 c 1193 52429 1215 1 - 0.0000 -
1194.78/1198.10 c 1198 52962 1231 1 - 0.0000 -
1199.88/1203.19 c 1203 53437 1230 1 - 0.0000 -
1205.15/1208.40 c 1208 53799 1232 1 - 0.0000 -
1210.15/1213.46 c 1213 54246 1239 1 - 0.0000 -
1215.23/1218.53 c 1219 54733 1220 1 - 0.0000 -
1220.22/1223.59 c 1224 55246 1219 1 - 0.0000 -
1225.30/1228.64 c 1229 55759 1224 1 - 0.0000 -
1230.39/1233.71 c 1234 56270 1206 1 - 0.0000 -
1235.38/1238.77 c 1239 56781 1234 1 - 0.0000 -
1240.46/1243.83 c 1244 57288 1231 1 - 0.0000 -
1245.55/1248.92 c 1249 57766 1233 1 - 0.0000 -
1250.54/1253.99 c 1254 58237 1212 1 - 0.0000 -
1255.63/1259.08 c 1259 58720 1210 1 - 0.0000 -
1260.71/1264.16 c 1264 59195 1213 1 - 0.0000 -
1265.79/1269.23 c 1269 59680 1217 1 - 0.0000 -
1270.79/1274.29 c 1274 60180 1219 1 - 0.0000 -
1275.87/1279.34 c 1279 60633 1215 1 - 0.0000 -
1280.95/1284.41 c 1284 61122 1218 1 - 0.0000 -
1286.04/1289.50 c 1290 61574 1231 1 - 0.0000 -
1291.02/1294.59 c 1295 62100 1220 1 - 0.0000 -
1296.21/1299.73 c 1300 62558 1213 1 - 0.0000 -
1301.30/1304.80 c 1305 63066 1217 1 - 0.0000 -
1306.28/1309.88 c 1310 63545 1210 1 - 0.0000 -
1311.37/1314.94 c 1315 64000 1203 1 - 0.0000 -
1316.46/1320.00 c 1320 64515 1205 1 - 0.0000 -
1321.44/1325.07 c 1325 65037 1197 1 - 0.0000 -
1326.53/1330.14 c 1330 65691 1215 1 - 0.0000 -
1331.52/1335.19 c 1335 66207 1213 1 - 0.0000 -
1336.60/1340.24 c 1340 66698 1214 1 - 0.0000 -
1341.58/1345.29 c 1345 67242 1210 1 - 0.0000 -
1346.67/1350.35 c 1350 67683 1204 1 - 0.0000 -
1351.76/1355.41 c 1355 68190 1205 1 - 0.0000 -
1356.74/1360.48 c 1360 68648 1212 1 - 0.0000 -
1361.83/1365.57 c 1366 69162 1199 1 - 0.0000 -
1366.92/1370.65 c 1371 69662 1203 1 - 0.0000 -
1372.01/1375.72 c 1376 70122 1196 1 - 0.0000 -
1376.99/1380.79 c 1381 70605 1206 1 - 0.0000 -
1382.08/1385.85 c 1386 71091 1196 1 - 0.0000 -
1387.16/1390.94 c 1391 71597 1186 1 - 0.0000 -
1392.26/1396.00 c 1396 72058 1187 1 - 0.0000 -
1397.24/1401.07 c 1401 72448 1181 1 - 0.0000 -
1402.33/1406.17 c 1406 72987 1177 1 - 0.0000 -
1407.41/1411.28 c 1411 73479 1176 1 - 0.0000 -
1412.49/1416.34 c 1416 73934 1171 1 - 0.0000 -
1417.58/1421.41 c 1421 74597 1266 1 - 0.0000 -
1422.57/1426.46 c 1426 75090 1275 1 - 0.0000 -
1427.66/1431.51 c 1432 75625 1292 1 - 0.0000 -
1432.64/1436.58 c 1437 76026 1295 1 - 0.0000 -
1437.73/1441.69 c 1442 76471 1303 1 - 0.0000 -
1442.82/1446.76 c 1447 76980 1291 1 - 0.0000 -
1447.91/1451.82 c 1452 77543 1299 1 - 0.0000 -
1452.90/1456.88 c 1457 78004 1299 1 - 0.0000 -
1457.98/1461.92 c 1462 78522 1294 1 - 0.0000 -
1463.07/1467.00 c 1467 79027 1304 1 - 0.0000 -
1468.06/1472.08 c 1472 79608 1300 1 - 0.0000 -
1473.15/1477.15 c 1477 80116 1309 1 - 0.0000 -
1478.22/1482.21 c 1482 80636 1309 1 - 0.0000 -
1483.21/1487.28 c 1487 81155 1325 1 - 0.0000 -
1488.30/1492.33 c 1492 81683 1317 1 - 0.0000 -
1493.38/1497.46 c 1497 82179 1316 1 - 0.0000 -
1498.47/1502.52 c 1503 82645 1324 1 - 0.0000 -
1503.46/1507.60 c 1508 83192 1337 1 - 0.0000 -
1508.55/1512.65 c 1513 83743 1322 1 - 0.0000 -
1513.63/1517.71 c 1518 84259 1318 1 - 0.0000 -
1518.72/1522.82 c 1523 84863 1323 1 - 0.0000 -
1523.80/1527.90 c 1528 85360 1314 1 - 0.0000 -
1528.89/1533.00 c 1533 85888 1317 1 - 0.0000 -
1533.89/1538.09 c 1538 86439 1336 1 - 0.0000 -
1538.97/1543.16 c 1543 86910 1343 1 - 0.0000 -
1544.05/1548.26 c 1548 87270 1340 1 - 0.0000 -
1549.14/1553.33 c 1553 87711 1351 1 - 0.0000 -
1554.22/1558.41 c 1558 88147 1350 1 - 0.0000 -
1559.21/1563.47 c 1563 88659 1338 1 - 0.0000 -
1564.29/1568.57 c 1569 89127 1337 1 - 0.0000 -
1569.39/1573.65 c 1574 89578 1328 1 - 0.0000 -
1574.47/1578.74 c 1579 90101 1334 1 - 0.0000 -
1579.46/1583.79 c 1584 90632 1337 1 - 0.0000 -
1584.64/1588.92 c 1589 91127 1329 1 - 0.0000 -
1589.64/1593.97 c 1594 91654 1336 1 - 0.0000 -
1594.73/1599.05 c 1599 92135 1315 1 - 0.0000 -
1599.81/1604.12 c 1604 92654 1323 1 - 0.0000 -
1604.89/1609.21 c 1609 93108 1316 1 - 0.0000 -
1609.89/1614.29 c 1614 93564 1320 1 - 0.0000 -
1615.07/1619.41 c 1619 94079 1323 1 - 0.0000 -
1620.15/1624.50 c 1624 94544 1310 1 - 0.0000 -
1625.24/1629.68 c 1630 95005 1295 1 - 0.0000 -
1630.33/1634.79 c 1635 95515 1296 1 - 0.0000 -
1635.42/1639.89 c 1640 96033 1292 1 - 0.0000 -
1640.50/1644.99 c 1645 96591 1304 1 - 0.0000 -
1645.60/1650.05 c 1650 97129 1308 1 - 0.0000 -
1650.68/1655.17 c 1655 97596 1305 1 - 0.0000 -
1655.77/1660.27 c 1660 98049 1305 1 - 0.0000 -
1660.85/1665.32 c 1665 98499 1298 1 - 0.0000 -
1665.94/1670.43 c 1670 98960 1299 1 - 0.0000 -
1670.93/1675.48 c 1675 99434 1295 1 - 0.0000 -
1676.01/1680.57 c 1681 99990 1282 1 - 0.0000 -
1681.29/1685.84 c 1686 100486 1279 1 - 0.0000 -
1686.38/1690.92 c 1691 100972 1291 1 - 0.0000 -
1691.47/1696.00 c 1696 101409 1286 1 - 0.0000 -
1696.46/1701.05 c 1701 101886 1288 1 - 0.0000 -
1701.54/1706.12 c 1706 102351 1282 1 - 0.0000 -
1706.54/1711.19 c 1711 102891 1275 1 - 0.0000 -
1711.62/1716.26 c 1716 103342 1288 1 - 0.0000 -
1716.70/1721.33 c 1721 103821 1296 1 - 0.0000 -
1721.69/1726.39 c 1726 104267 1300 1 - 0.0000 -
1726.87/1731.54 c 1732 104721 1285 1 - 0.0000 -
1731.96/1736.64 c 1737 105168 1283 1 - 0.0000 -
1737.05/1741.71 c 1742 105870 1308 1 - 0.0000 -
1742.04/1746.77 c 1747 106438 1314 1 - 0.0000 -
1747.12/1751.83 c 1752 106999 1335 1 - 0.0000 -
1752.11/1756.87 c 1757 107702 1350 1 - 0.0000 -
1757.20/1761.95 c 1762 108212 1352 1 - 0.0000 -
1762.29/1767.01 c 1767 108669 1353 1 - 0.0000 -
1767.27/1772.06 c 1772 109120 1339 1 - 0.0000 -
1772.36/1777.16 c 1777 109751 1382 1 - 0.0000 -
1777.44/1782.22 c 1782 110233 1381 1 - 0.0000 -
1782.43/1787.28 c 1787 110854 1410 1 - 0.0000 -
1787.52/1792.35 c 1792 111310 1399 1 - 0.0000 -
1792.60/1797.40 c 1797 111935 1440 1 - 0.0000 -
1797.59/1802.47 c 1802 112463 1479 1 - 0.0000 -
1802.67/1807.53 c 1808 112907 1484 1 - 0.0000 -
1807.76/1812.65 c 1813 113415 1493 1 - 0.0000 -
1812.85/1817.74 c 1818 113947 1489 1 - 0.0000 -
1817.93/1822.81 c 1823 114440 1503 1 - 0.0000 -
1822.92/1827.87 c 1828 114915 1489 1 - 0.0000 -
1828.01/1832.95 c 1833 115424 1514 1 - 0.0000 -
1833.10/1838.03 c 1838 115974 1531 1 - 0.0000 -
1838.09/1843.08 c 1843 116676 1527 1 - 0.0000 -
1843.18/1848.13 c 1848 117181 1531 1 - 0.0000 -
1848.26/1853.21 c 1853 117710 1532 1 - 0.0000 -
1853.25/1858.27 c 1858 118282 1544 1 - 0.0000 -
1858.33/1863.34 c 1863 118782 1530 1 - 0.0000 -
1863.31/1868.38 c 1868 119322 1533 1 - 0.0000 -
1868.41/1873.44 c 1873 119993 1538 1 - 0.0000 -
1873.49/1878.51 c 1879 120538 1534 1 - 0.0000 -
1878.48/1883.58 c 1884 121075 1545 1 - 0.0000 -
1883.56/1888.65 c 1889 121594 1543 1 - 0.0000 -
1888.65/1893.73 c 1894 122095 1535 1 - 0.0000 -
1893.73/1898.80 c 1899 122653 1554 1 - 0.0000 -
1898.72/1903.88 c 1904 123145 1548 1 - 0.0000 -
1903.82/1908.95 c 1909 123655 1540 1 - 0.0000 -
1908.90/1914.06 c 1914 124209 1545 1 - 0.0000 -
1913.99/1919.14 c 1919 124714 1546 1 - 0.0000 -
1918.98/1924.19 c 1924 125237 1641 1 - 0.0000 -
1924.06/1929.27 c 1929 125681 1616 1 - 0.0000 -
1929.15/1934.33 c 1934 126182 1590 1 - 0.0000 -
1934.23/1939.40 c 1939 126666 1575 1 - 0.0000 -
1939.23/1944.45 c 1944 127195 1585 1 - 0.0000 -
1944.31/1949.51 c 1950 127718 1605 1 - 0.0000 -
1949.30/1954.56 c 1955 128200 1566 1 - 0.0000 -
1954.39/1959.65 c 1960 128626 1568 1 - 0.0000 -
1959.47/1964.73 c 1965 129092 1575 1 - 0.0000 -
1964.55/1969.80 c 1970 129557 1569 1 - 0.0000 -
1969.55/1974.88 c 1975 130045 1588 1 - 0.0000 -
1974.64/1979.96 c 1980 130504 1571 1 - 0.0000 -
1979.72/1985.04 c 1985 130968 1569 1 - 0.0000 -
1984.71/1990.09 c 1990 131460 1568 1 - 0.0000 -
1989.80/1995.15 c 1995 131963 1567 1 - 0.0000 -
1994.88/2000.21 c 2000 132448 1551 1 - 0.0000 -
1999.97/2005.30 c 2005 133120 1585 1 - 0.0000 -
2004.96/2010.35 c 2010 133725 1544 1 - 0.0000 -
2010.04/2015.42 c 2015 134505 1568 1 - 0.0000 -
2015.13/2020.52 c 2021 134999 1586 1 - 0.0000 -
2020.22/2025.62 c 2026 135506 1571 1 - 0.0000 -
2025.31/2030.74 c 2031 135975 1573 1 - 0.0000 -
2030.40/2035.82 c 2036 136459 1571 1 - 0.0000 -
2035.38/2040.89 c 2041 136977 1580 1 - 0.0000 -
2040.47/2045.94 c 2046 137548 1619 1 - 0.0000 -
2045.57/2051.00 c 2051 138163 1648 1 - 0.0000 -
2050.55/2056.06 c 2056 138766 1667 1 - 0.0000 -
2055.64/2061.12 c 2061 139304 1680 1 - 0.0000 -
2060.63/2066.17 c 2066 139858 1675 1 - 0.0000 -
2065.71/2071.22 c 2071 140394 1646 1 - 0.0000 -
2070.70/2076.28 c 2076 140893 1661 1 - 0.0000 -
2075.78/2081.34 c 2081 141502 1623 1 - 0.0000 -
2080.87/2086.42 c 2086 142089 1649 1 - 0.0000 -
2085.86/2091.48 c 2091 142635 1637 1 - 0.0000 -
2090.95/2096.57 c 2097 143190 1633 1 - 0.0000 -
2096.03/2101.62 c 2102 143774 1698 1 - 0.0000 -
2101.03/2106.67 c 2107 144432 1666 1 - 0.0000 -
2106.12/2111.74 c 2112 145110 1623 1 - 0.0000 -
2111.21/2116.82 c 2117 145752 1631 1 - 0.0000 -
2116.19/2121.87 c 2122 146277 1628 1 - 0.0000 -
2121.28/2126.94 c 2127 146817 1637 1 - 0.0000 -
2126.37/2132.00 c 2132 147353 1639 1 - 0.0000 -
2131.35/2137.07 c 2137 147901 1629 1 - 0.0000 -
2136.44/2142.12 c 2142 148549 1633 1 - 0.0000 -
2141.52/2147.23 c 2147 149205 1643 1 - 0.0000 -
2146.61/2152.30 c 2152 149779 1631 1 - 0.0000 -
2151.59/2157.36 c 2157 150379 1636 1 - 0.0000 -
2156.69/2162.43 c 2162 150956 1642 1 - 0.0000 -
2161.77/2167.50 c 2168 151474 1627 1 - 0.0000 -
2166.76/2172.57 c 2173 152123 1640 1 - 0.0000 -
2171.84/2177.62 c 2178 152733 1626 1 - 0.0000 -
2176.83/2182.69 c 2183 153249 1619 1 - 0.0000 -
2181.92/2187.75 c 2188 153827 1598 1 - 0.0000 -
2187.01/2192.81 c 2193 154365 1557 1 - 0.0000 -
2192.10/2197.90 c 2198 154897 1554 1 - 0.0000 -
2197.08/2202.95 c 2203 155417 1558 1 - 0.0000 -
2202.18/2208.00 c 2208 155941 1580 1 - 0.0000 -
2207.16/2213.07 c 2213 156498 1579 1 - 0.0000 -
2212.25/2218.12 c 2218 157053 1582 1 - 0.0000 -
2217.24/2223.17 c 2223 157629 1565 1 - 0.0000 -
2222.32/2228.27 c 2228 158196 1583 1 - 0.0000 -
2227.41/2233.33 c 2233 158747 1589 1 - 0.0000 -
2232.39/2238.38 c 2238 159456 1503 1 - 0.0000 -
2237.48/2243.44 c 2243 160035 1424 1 - 0.0000 -
2242.56/2248.53 c 2249 160600 1414 1 - 0.0000 -
2247.55/2253.59 c 2254 161240 1400 1 - 0.0000 -
2252.64/2258.64 c 2259 161811 1384 1 - 0.0000 -
2257.73/2263.71 c 2264 162307 1396 1 - 0.0000 -
2262.72/2268.77 c 2269 162846 1381 1 - 0.0000 -
2267.80/2273.82 c 2274 163516 1379 1 - 0.0000 -
2272.79/2278.88 c 2279 164051 1376 1 - 0.0000 -
2277.88/2283.94 c 2284 164608 1323 1 - 0.0000 -
2282.97/2289.00 c 2289 165112 1340 1 - 0.0000 -
2287.96/2294.04 c 2294 165810 1278 1 - 0.0000 -
2293.05/2299.11 c 2299 166406 1254 1 - 0.0000 -
2298.04/2304.18 c 2304 166907 1263 1 - 0.0000 -
2303.12/2309.25 c 2309 167537 1269 1 - 0.0000 -
2308.20/2314.30 c 2314 168186 1245 1 - 0.0000 -
2313.29/2319.41 c 2319 168718 1240 1 - 0.0000 -
2318.38/2324.50 c 2324 169375 1199 1 - 0.0000 -
2323.36/2329.58 c 2330 170047 1292 1 - 0.0000 -
2328.45/2334.65 c 2335 170637 1350 1 - 0.0000 -
2333.53/2339.71 c 2340 171194 1339 1 - 0.0000 -
2338.53/2344.78 c 2345 171843 1350 1 - 0.0000 -
2343.62/2349.84 c 2350 172408 1364 1 - 0.0000 -
2348.60/2354.89 c 2355 173027 1384 1 - 0.0000 -
2353.69/2359.98 c 2360 173589 1370 1 - 0.0000 -
2358.78/2365.05 c 2365 174157 1353 1 - 0.0000 -
2363.87/2370.15 c 2370 174692 1351 1 - 0.0000 -
2368.95/2375.21 c 2375 175282 1320 1 - 0.0000 -
2373.94/2380.27 c 2380 175971 1364 1 - 0.0000 -
2379.02/2385.33 c 2385 176705 1380 1 - 0.0000 -
2384.02/2390.38 c 2390 177354 1409 1 - 0.0000 -
2389.10/2395.43 c 2395 177963 1392 1 - 0.0000 -
2394.09/2400.48 c 2400 178593 1425 1 - 0.0000 -
2399.18/2405.55 c 2406 179168 1420 1 - 0.0000 -
2404.26/2410.62 c 2411 179801 1405 1 - 0.0000 -
2409.25/2415.67 c 2416 180397 1409 1 - 0.0000 -
2414.33/2420.72 c 2421 181030 1403 1 - 0.0000 -
2419.32/2425.77 c 2426 181580 1394 1 - 0.0000 -
2424.41/2430.82 c 2431 182267 1468 1 - 0.0000 -
2429.40/2435.89 c 2436 182865 1429 1 - 0.0000 -
2434.49/2440.98 c 2441 183465 1417 1 - 0.0000 -
2439.58/2446.03 c 2446 184190 1436 1 - 0.0000 -
2444.56/2451.09 c 2451 184769 1443 1 - 0.0000 -
2449.65/2456.15 c 2456 185326 1440 1 - 0.0000 -
2454.73/2461.22 c 2461 185846 1443 1 - 0.0000 -
2459.71/2466.30 c 2466 186401 1422 1 - 0.0000 -
2464.81/2471.35 c 2471 187177 1430 1 - 0.0000 -
2469.90/2476.41 c 2476 187876 1425 1 - 0.0000 -
2474.88/2481.48 c 2481 188418 1422 1 - 0.0000 -
2479.97/2486.55 c 2487 188910 1423 1 - 0.0000 -
2485.06/2491.63 c 2492 189442 1431 1 - 0.0000 -
2490.05/2496.69 c 2497 189907 1418 1 - 0.0000 -
2495.13/2501.74 c 2502 190459 1420 1 - 0.0000 -
2500.22/2506.83 c 2507 190961 1417 1 - 0.0000 -
2505.30/2511.91 c 2512 191499 1416 1 - 0.0000 -
2510.29/2516.97 c 2517 192102 1422 1 - 0.0000 -
2515.39/2522.05 c 2522 192806 1460 1 - 0.0000 -
2520.48/2527.10 c 2527 193317 1463 1 - 0.0000 -
2525.46/2532.15 c 2532 193877 1476 1 - 0.0000 -
2530.64/2537.30 c 2537 194492 1502 1 - 0.0000 -
2535.63/2542.36 c 2542 195023 1506 1 - 0.0000 -
2540.72/2547.43 c 2547 195604 1506 1 - 0.0000 -
2545.80/2552.51 c 2553 196149 1511 1 - 0.0000 -
2550.79/2557.57 c 2558 196687 1511 1 - 0.0000 -
2555.89/2562.64 c 2563 197229 1513 1 - 0.0000 -
2560.97/2567.73 c 2568 197736 1514 1 - 0.0000 -
2565.96/2572.79 c 2573 198235 1507 1 - 0.0000 -
2571.05/2577.88 c 2578 198841 1507 1 - 0.0000 -
2576.13/2582.94 c 2583 199346 1514 1 - 0.0000 -
2581.22/2588.03 c 2588 199861 1508 1 - 0.0000 -
2586.31/2593.12 c 2593 200433 1498 1 - 0.0000 -
2591.39/2598.23 c 2598 200941 1504 1 - 0.0000 -
2596.48/2603.31 c 2603 201469 1495 1 - 0.0000 -
2601.47/2608.39 c 2608 201982 1522 1 - 0.0000 -
2606.56/2613.46 c 2613 202568 1530 1 - 0.0000 -
2611.65/2618.52 c 2619 203115 1527 1 - 0.0000 -
2616.63/2623.59 c 2624 203642 1540 1 - 0.0000 -
2621.72/2628.68 c 2629 204113 1532 1 - 0.0000 -
2626.81/2633.74 c 2634 204686 1541 1 - 0.0000 -
2631.89/2638.81 c 2639 205194 1533 1 - 0.0000 -
2636.88/2643.86 c 2644 205681 1546 1 - 0.0000 -
2641.96/2648.91 c 2649 206222 1544 1 - 0.0000 -
2646.95/2653.97 c 2654 206692 1539 1 - 0.0000 -
2652.05/2659.03 c 2659 207231 1546 1 - 0.0000 -
2657.14/2664.12 c 2664 207698 1549 1 - 0.0000 -
2662.13/2669.18 c 2669 208207 1553 1 - 0.0000 -
2667.21/2674.26 c 2674 208710 1551 1 - 0.0000 -
2672.30/2679.34 c 2679 209229 1558 1 - 0.0000 -
2677.38/2684.41 c 2684 209754 1551 1 - 0.0000 -
2682.47/2689.50 c 2690 210249 1544 1 - 0.0000 -
2687.46/2694.57 c 2695 210829 1539 1 - 0.0000 -
2692.54/2699.64 c 2700 211361 1521 1 - 0.0000 -
2697.63/2704.71 c 2705 211891 1523 1 - 0.0000 -
2702.62/2709.79 c 2710 212441 1518 1 - 0.0000 -
2707.71/2714.85 c 2715 213122 1611 1 - 0.0000 -
2712.79/2719.91 c 2720 213692 1602 1 - 0.0000 -
2717.78/2724.98 c 2725 214171 1612 1 - 0.0000 -
2722.87/2730.05 c 2730 214700 1624 1 - 0.0000 -
2727.97/2735.15 c 2735 215232 1631 1 - 0.0000 -
2733.05/2740.22 c 2740 215783 1634 1 - 0.0000 -
2738.13/2745.33 c 2745 216279 1611 1 - 0.0000 -
2743.12/2750.39 c 2750 216865 1621 1 - 0.0000 -
2748.20/2755.44 c 2755 217400 1649 1 - 0.0000 -
2753.19/2760.49 c 2760 217918 1648 1 - 0.0000 -
2758.29/2765.56 c 2766 218454 1624 1 - 0.0000 -
2763.37/2770.62 c 2771 218939 1626 1 - 0.0000 -
2768.46/2775.72 c 2776 219444 1613 1 - 0.0000 -
2773.45/2780.78 c 2781 219998 1601 1 - 0.0000 -
2778.53/2785.85 c 2786 220557 1617 1 - 0.0000 -
2783.62/2790.91 c 2791 221115 1600 1 - 0.0000 -
2788.61/2795.97 c 2796 221684 1635 1 - 0.0000 -
2793.69/2801.04 c 2801 222263 1623 1 - 0.0000 -
2798.68/2806.09 c 2806 222896 1629 1 - 0.0000 -
2803.77/2811.14 c 2811 223516 1622 1 - 0.0000 -
2808.76/2816.19 c 2816 224094 1625 1 - 0.0000 -
2813.84/2821.24 c 2821 224589 1615 1 - 0.0000 -
2818.93/2826.30 c 2826 225179 1629 1 - 0.0000 -
2823.92/2831.36 c 2831 225859 1599 1 - 0.0000 -
2829.00/2836.44 c 2836 226459 1618 1 - 0.0000 -
2834.09/2841.50 c 2842 227085 1600 1 - 0.0000 -
2839.07/2846.57 c 2847 227589 1628 1 - 0.0000 -
2844.16/2851.63 c 2852 228143 1595 1 - 0.0000 -
2849.16/2856.69 c 2857 228737 1617 1 - 0.0000 -
2854.24/2861.75 c 2862 229359 1617 1 - 0.0000 -
2859.33/2866.80 c 2867 229958 1615 1 - 0.0000 -
2864.31/2871.86 c 2872 230623 1641 1 - 0.0000 -
2869.40/2876.92 c 2877 231199 1635 1 - 0.0000 -
2874.39/2881.99 c 2882 231842 1647 1 - 0.0000 -
2879.49/2887.05 c 2887 232413 1636 1 - 0.0000 -
2884.57/2892.12 c 2892 233008 1642 1 - 0.0000 -
2889.56/2897.17 c 2897 233643 1651 1 - 0.0000 -
2894.64/2902.24 c 2902 234277 1652 1 - 0.0000 -
2899.72/2907.32 c 2907 234934 1672 1 - 0.0000 -
2904.72/2912.37 c 2912 235533 1683 1 - 0.0000 -
2909.81/2917.42 c 2917 236059 1666 1 - 0.0000 -
2914.79/2922.49 c 2922 236567 1675 1 - 0.0000 -
2919.88/2927.54 c 2928 237114 1656 1 - 0.0000 -
2924.87/2932.59 c 2933 237652 1663 1 - 0.0000 -
2929.95/2937.65 c 2938 238231 1680 1 - 0.0000 -
2935.04/2942.73 c 2943 238775 1674 1 - 0.0000 -
2940.12/2947.80 c 2948 239339 1718 1 - 0.0000 -
2945.12/2952.87 c 2953 239826 1673 1 - 0.0000 -
2950.21/2957.93 c 2958 240396 1692 1 - 0.0000 -
2955.30/2963.01 c 2963 241016 1717 1 - 0.0000 -
2960.28/2968.08 c 2968 241598 1692 1 - 0.0000 -
2965.37/2973.15 c 2973 242190 1694 1 - 0.0000 -
2970.45/2978.23 c 2978 242761 1738 1 - 0.0000 -
2975.54/2983.30 c 2983 243280 1734 1 - 0.0000 -
2980.52/2988.37 c 2988 243808 1725 1 - 0.0000 -
2985.61/2993.44 c 2993 244367 1695 1 - 0.0000 -
2990.59/2998.49 c 2998 244971 1707 1 - 0.0000 -
2995.69/3003.57 c 3004 245544 1723 1 - 0.0000 -
3000.78/3008.64 c 3009 246038 1742 1 - 0.0000 -
3005.86/3013.72 c 3014 246617 1777 1 - 0.0000 -
3010.95/3018.89 c 3019 247215 1732 1 - 0.0000 -
3016.04/3023.94 c 3024 247772 1753 1 - 0.0000 -
3021.13/3029.03 c 3029 248315 1753 1 - 0.0000 -
3026.21/3034.14 c 3034 248861 1751 1 - 0.0000 -
3031.30/3039.21 c 3039 249415 1751 1 - 0.0000 -
3036.28/3044.28 c 3044 249884 1752 1 - 0.0000 -
3041.37/3049.35 c 3049 250439 1745 1 - 0.0000 -
3046.46/3054.42 c 3054 251065 1808 1 - 0.0000 -
3051.45/3059.49 c 3059 251702 1799 1 - 0.0000 -
3056.53/3064.55 c 3065 252274 1795 1 - 0.0000 -
3061.63/3069.61 c 3070 252834 1789 1 - 0.0000 -
3066.61/3074.66 c 3075 253311 1831 1 - 0.0000 -
3071.70/3079.72 c 3080 253841 1847 1 - 0.0000 -
3076.68/3084.79 c 3085 254336 1822 1 - 0.0000 -
3081.77/3089.85 c 3090 254837 1859 1 - 0.0000 -
3086.86/3094.91 c 3095 255460 1781 1 - 0.0000 -
3091.84/3099.98 c 3100 256043 1731 1 - 0.0000 -
3096.94/3105.06 c 3105 256596 1746 1 - 0.0000 -
3102.03/3110.12 c 3110 257129 1759 1 - 0.0000 -
3107.02/3115.18 c 3115 257616 1754 1 - 0.0000 -
3112.10/3120.27 c 3120 258182 1762 1 - 0.0000 -
3117.19/3125.36 c 3125 258576 1758 1 - 0.0000 -
3122.27/3130.45 c 3130 259154 1713 1 - 0.0000 -
3127.36/3135.52 c 3136 259731 1717 1 - 0.0000 -
3132.35/3140.59 c 3141 260296 1724 1 - 0.0000 -
3137.43/3145.65 c 3146 260838 1729 1 - 0.0000 -
3142.52/3150.71 c 3151 261390 1716 1 - 0.0000 -
3147.61/3155.82 c 3156 261996 1597 1 - 0.0000 -
3152.69/3160.94 c 3161 262469 1595 1 - 0.0000 -
3157.78/3166.01 c 3166 262956 1607 1 - 0.0000 -
3162.77/3171.07 c 3171 263427 1604 1 - 0.0000 -
3167.86/3176.16 c 3176 263995 1592 1 - 0.0000 -
3172.95/3181.23 c 3181 264710 1652 1 - 0.0000 -
3177.93/3186.29 c 3186 265293 1665 1 - 0.0000 -
3183.02/3191.34 c 3191 265917 1671 1 - 0.0000 -
3188.11/3196.44 c 3196 266570 1705 1 - 0.0000 -
3193.19/3201.50 c 3202 267232 1685 1 - 0.0000 -
3198.18/3206.56 c 3207 267836 1682 1 - 0.0000 -
3203.27/3211.61 c 3212 268426 1687 1 - 0.0000 -
3208.26/3216.68 c 3217 269084 1677 1 - 0.0000 -
3213.35/3221.77 c 3222 269603 1683 1 - 0.0000 -
3218.44/3226.85 c 3227 270183 1689 1 - 0.0000 -
3223.52/3231.93 c 3232 270675 1690 1 - 0.0000 -
3228.51/3236.99 c 3237 271147 1695 1 - 0.0000 -
3233.60/3242.04 c 3242 271708 1681 1 - 0.0000 -
3238.70/3247.11 c 3247 272234 1679 1 - 0.0000 -
3243.69/3252.19 c 3252 272802 1695 1 - 0.0000 -
3248.77/3257.26 c 3257 273340 1695 1 - 0.0000 -
3253.86/3262.31 c 3262 273889 1720 1 - 0.0000 -
3258.85/3267.36 c 3267 274677 1713 1 - 0.0000 -
3263.94/3272.44 c 3272 275309 1605 1 - 0.0000 -
3269.02/3277.54 c 3278 275811 1645 1 - 0.0000 -
3274.11/3282.60 c 3283 276277 1632 1 - 0.0000 -
3279.10/3287.65 c 3288 276827 1663 1 - 0.0000 -
3284.19/3292.70 c 3293 277588 1615 1 - 0.0000 -
3289.18/3297.80 c 3298 278118 1623 1 - 0.0000 -
3294.26/3302.86 c 3303 278596 1627 1 - 0.0000 -
3299.35/3307.95 c 3308 279110 1629 1 - 0.0000 -
3304.44/3313.00 c 3313 279617 1624 1 - 0.0000 -
3309.43/3318.07 c 3318 280153 1623 1 - 0.0000 -
3314.52/3323.15 c 3323 280673 1620 1 - 0.0000 -
3319.61/3328.22 c 3328 281215 1618 1 - 0.0000 -
3324.70/3333.30 c 3333 281783 1617 1 - 0.0000 -
3329.69/3338.36 c 3338 282352 1623 1 - 0.0000 -
3334.77/3343.43 c 3343 282996 1658 1 - 0.0000 -
3339.76/3348.48 c 3348 283613 1769 1 - 0.0000 -
3344.95/3353.65 c 3354 284175 1776 1 - 0.0000 -
3350.04/3358.72 c 3359 284769 1771 1 - 0.0000 -
3355.13/3363.82 c 3364 285355 1773 1 - 0.0000 -
3360.12/3368.89 c 3369 285932 1767 1 - 0.0000 -
3365.21/3373.95 c 3374 286556 1818 1 - 0.0000 -
3370.30/3379.01 c 3379 287232 1770 1 - 0.0000 -
3375.29/3384.08 c 3384 287748 1767 1 - 0.0000 -
3380.38/3389.14 c 3389 288340 1782 1 - 0.0000 -
3385.46/3394.22 c 3394 288893 1793 1 - 0.0000 -
3390.55/3399.30 c 3399 289404 1773 1 - 0.0000 -
3395.54/3404.37 c 3404 289977 1773 1 - 0.0000 -
3400.62/3409.45 c 3409 290573 1775 1 - 0.0000 -
3405.72/3414.52 c 3415 291186 1760 1 - 0.0000 -
3410.71/3419.56 c 3420 291805 1773 1 - 0.0000 -
3415.80/3424.65 c 3425 292472 1753 1 - 0.0000 -
3420.89/3429.73 c 3430 292997 1773 1 - 0.0000 -
3425.97/3434.82 c 3435 293531 1776 1 - 0.0000 -
3430.96/3439.89 c 3440 294117 1779 1 - 0.0000 -
3436.05/3444.95 c 3445 294658 1779 1 - 0.0000 -
3441.14/3450.02 c 3450 295220 1781 1 - 0.0000 -
3446.23/3455.11 c 3455 295791 1779 1 - 0.0000 -
3451.22/3460.16 c 3460 296416 1836 1 - 0.0000 -
3456.30/3465.23 c 3465 297020 1759 1 - 0.0000 -
3461.30/3470.29 c 3470 297700 1769 1 - 0.0000 -
3466.38/3475.35 c 3475 298408 1791 1 - 0.0000 -
3471.47/3480.43 c 3480 299070 1795 1 - 0.0000 -
3476.46/3485.49 c 3485 299677 1778 1 - 0.0000 -
3481.55/3490.55 c 3491 300234 1767 1 - 0.0000 -
3486.63/3495.63 c 3496 300751 1773 1 - 0.0000 -
3491.62/3500.68 c 3501 301340 1786 1 - 0.0000 -
3496.71/3505.74 c 3506 301985 1759 1 - 0.0000 -
3501.81/3510.80 c 3511 302664 1742 1 - 0.0000 -
3506.79/3515.89 c 3516 303207 1751 1 - 0.0000 -
3511.88/3520.96 c 3521 303778 1750 1 - 0.0000 -
3516.97/3526.05 c 3526 304317 1740 1 - 0.0000 -
3522.06/3531.12 c 3531 304923 1734 1 - 0.0000 -
3527.04/3536.17 c 3536 305541 1743 1 - 0.0000 -
3532.13/3541.22 c 3541 306096 1739 1 - 0.0000 -
3537.21/3546.31 c 3546 306634 1743 1 - 0.0000 -
3542.21/3551.38 c 3551 307257 1757 1 - 0.0000 -
3547.40/3556.51 c 3557 307788 1780 1 - 0.0000 -
3552.39/3561.56 c 3562 308344 1804 1 - 0.0000 -
3557.47/3566.61 c 3567 308933 1831 1 - 0.0000 -
3562.56/3571.74 c 3572 309526 1844 1 - 0.0000 -
3567.65/3576.83 c 3577 310098 1864 1 - 0.0000 -
3572.64/3581.88 c 3582 310638 1900 1 - 0.0000 -
3577.72/3586.96 c 3587 311196 1929 1 - 0.0000 -
3582.82/3592.01 c 3592 311737 1918 1 - 0.0000 -
3587.80/3597.08 c 3597 312285 1942 1 - 0.0000 -
3588.80/3598.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.80/3598.05 c Total Time : 3598.0500
3588.80/3598.05 c solving : 3598.0500
3588.80/3598.05 c presolving : 0.2667 (included in solving)
3588.80/3598.05 c B&B Tree :
3588.80/3598.05 c nodes (total) : 1
3588.80/3598.05 c Solution :
3588.80/3598.05 c Solutions found : 0
3588.80/3598.05 c Primal Bound : -
3588.80/3598.05 c Dual Bound : +0.00000000000000e+00
3588.80/3598.05 c Gap : -
3588.80/3598.07 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: 63931 MiB (59793 MiB free)
memory of node 1: 64510 MiB (62307 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464657-1722386204/watcher-4464657-1722386204 -o /tmp/evaluation-result-4464657-1722386204/solver-4464657-1722386204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30697 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464657-1722386204.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=35886, runsolver pid=35883
[startup+0.100378 s]*
/proc/loadavg: 4.13 4.12 4.09 5/261 35887
/proc/meminfo: memFree=124997772/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=54640 memory=43692 CPUtime=0.09 cores=4,6
/proc/35886/stat : 35886 (fscip) R 35883 35886 30686 0 -1 4194304 9828 0 0 0 8 1 0 0 20 0 1 0 5217840 55951360 10923 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 13660 10923 2726 3035 0 10056 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54640 KiB
Current children cumulated memory: 43692 KiB
[startup+0.205529 s]*
/proc/loadavg: 4.13 4.12 4.09 5/261 35887
/proc/meminfo: memFree=124993740/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=58932 memory=48296 CPUtime=0.19 cores=4,6
/proc/35886/stat : 35886 (fscip) R 35883 35886 30686 0 -1 4194304 10921 0 0 0 18 1 0 0 20 0 1 0 5217840 60346368 12074 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 14733 12074 2758 3035 0 11129 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58932 KiB
Current children cumulated memory: 48296 KiB
[startup+0.305391 s]*
/proc/loadavg: 4.13 4.12 4.09 5/261 35887
/proc/meminfo: memFree=124989008/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=77108 memory=53736 CPUtime=0.3 cores=4,6
/proc/35886/stat : 35886 (fscip) R 35883 35886 30686 0 -1 4194304 12591 0 0 0 28 2 0 0 20 0 2 0 5217840 78958592 13434 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 19277 13434 2774 3035 0 15672 0
[pid=35886/tid=35888] ppid=35883 vsize=77108 memory=-6000919494130820972 CPUtime=0 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 5217871 78958592 13434 134679101440 4194304 16623229 140721366801520 0 0 0 2147221247 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77108 KiB
Current children cumulated memory: 53736 KiB
[startup+0.700252 s]
/proc/loadavg: 4.13 4.12 4.09 6/263 35889
/proc/meminfo: memFree=124951764/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=153532 memory=109180 CPUtime=0.68 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 28129 0 0 0 64 4 0 0 20 0 3 0 5217840 157216768 27295 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 38383 27295 2950 3035 0 31952 0
[pid=35886/tid=35888] ppid=35883 vsize=153532 memory=16008 CPUtime=0.35 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 13065 0 0 0 34 1 0 0 20 0 3 0 5217871 157216768 27295 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=153532 memory=257 CPUtime=0 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5217874 157216768 27295 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153532 KiB
Current children cumulated memory: 109180 KiB
[startup+1.50027 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 35889
/proc/meminfo: memFree=124899792/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=219068 memory=142140 CPUtime=1.48 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 43812 0 0 0 142 6 0 0 20 0 3 0 5217840 224325632 35535 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 54767 35535 2966 3035 0 41262 0
[pid=35886/tid=35888] ppid=35883 vsize=219068 memory=257 CPUtime=1.15 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 28743 0 0 0 112 3 0 0 20 0 3 0 5217871 224325632 35535 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=219068 memory=0 CPUtime=0 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5217874 224325632 35535 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 219068 KiB
Current children cumulated memory: 142140 KiB
[startup+3.10555 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 35889
/proc/meminfo: memFree=124899740/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=219068 memory=142172 CPUtime=3.07 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 46147 0 0 0 301 6 0 0 20 0 3 0 5217840 224325632 35543 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 54767 35543 2966 3035 0 41262 0
[pid=35886/tid=35888] ppid=35883 vsize=219068 memory=0 CPUtime=2.75 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 31078 0 0 0 272 3 0 0 20 0 3 0 5217871 224325632 35543 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=219068 memory=0 CPUtime=0 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5217874 224325632 35543 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 219068 KiB
Current children cumulated memory: 142172 KiB
[startup+6.30024 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 35891
/proc/meminfo: memFree=124899276/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=219068 memory=142212 CPUtime=6.26 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 62961 0 0 0 619 7 0 0 20 0 3 0 5217840 224325632 35553 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 54767 35553 2966 3035 0 41262 0
[pid=35886/tid=35888] ppid=35883 vsize=219068 memory=0 CPUtime=5.93 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 47890 0 0 0 589 4 0 0 20 0 3 0 5217871 224325632 35553 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=219068 memory=-5155632379597384581 CPUtime=0 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5217874 224325632 35553 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 219068 KiB
Current children cumulated memory: 142212 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 35891
/proc/meminfo: memFree=124899136/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=219068 memory=142684 CPUtime=12.64 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 77018 0 0 0 1256 8 0 0 20 0 3 0 5217840 224325632 35671 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 54767 35671 2966 3035 0 41262 0
[pid=35886/tid=35888] ppid=35883 vsize=219068 memory=-5155632379597384581 CPUtime=12.32 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 61939 0 0 0 1227 5 0 0 20 0 3 0 5217871 224325632 35671 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=219068 memory=142380 CPUtime=0 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 5217874 224325632 35671 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 219068 KiB
Current children cumulated memory: 142684 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 35894
/proc/meminfo: memFree=124897492/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=219068 memory=143308 CPUtime=25.42 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 101663 0 0 0 2532 10 0 0 20 0 3 0 5217840 224325632 35827 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 54767 35827 2966 3035 0 41262 0
[pid=35886/tid=35888] ppid=35883 vsize=219068 memory=143308 CPUtime=25.09 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 86568 0 0 0 2502 7 0 0 20 0 3 0 5217871 224325632 35827 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=219068 memory=5560 CPUtime=0 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 5217874 224325632 35827 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 219068 KiB
Current children cumulated memory: 143308 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 35898
/proc/meminfo: memFree=124869980/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=219068 memory=170316 CPUtime=50.96 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 151375 0 0 0 5082 14 0 0 20 0 3 0 5217840 224325632 42579 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 54767 42579 3014 3035 0 48470 0
[pid=35886/tid=35888] ppid=35883 vsize=219068 memory=170316 CPUtime=50.63 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 136199 0 0 0 5052 11 0 0 20 0 3 0 5217871 224325632 42579 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=219068 memory=11360 CPUtime=0 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 5217874 224325632 42579 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 219068 KiB
Current children cumulated memory: 170316 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 35909
/proc/meminfo: memFree=124866728/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=219068 memory=170312 CPUtime=102.03 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 175857 0 0 0 10187 16 0 0 20 0 3 0 5217840 224325632 42578 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 54767 42578 3014 3035 0 48470 0
[pid=35886/tid=35888] ppid=35883 vsize=219068 memory=170312 CPUtime=101.71 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 160632 0 0 0 10158 13 0 0 20 0 3 0 5217871 224325632 42578 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=219068 memory=170312 CPUtime=0 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5217874 224325632 42578 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 219068 KiB
Current children cumulated memory: 170312 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/263 35919
/proc/meminfo: memFree=124864332/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=219068 memory=170312 CPUtime=161.89 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 184658 0 0 0 16172 17 0 0 20 0 3 0 5217840 224325632 42578 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 54767 42578 3014 3035 0 48470 0
[pid=35886/tid=35888] ppid=35883 vsize=219068 memory=170312 CPUtime=161.56 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 169421 0 0 0 16143 13 0 0 20 0 3 0 5217871 224325632 42578 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=219068 memory=5560 CPUtime=0 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 71 0 0 0 0 0 0 0 20 0 3 0 5217874 224325632 42578 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 219068 KiB
Current children cumulated memory: 170312 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 35933
/proc/meminfo: memFree=124854536/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=219068 memory=170312 CPUtime=221.74 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 194366 0 0 0 22157 17 0 0 20 0 3 0 5217840 224325632 42578 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 54767 42578 3014 3035 0 48470 0
[pid=35886/tid=35888] ppid=35883 vsize=219068 memory=11360 CPUtime=221.42 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 179097 0 0 0 22128 14 0 0 20 0 3 0 5217871 224325632 42578 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
################
# More data... #
################
/proc/35886/statm: 87535 80304 3318 3035 0 82097 0
[pid=35886/tid=35888] ppid=35883 vsize=350140 memory=11360 CPUtime=3393.02 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 565018 0 0 0 339175 127 0 0 20 0 3 0 5217871 358543360 80304 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=350140 memory=11360 CPUtime=0.03 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 208 0 0 0 1 2 0 0 20 0 3 0 5217874 358543360 80304 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 350140 KiB
Current children cumulated memory: 321216 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.90 3.58 3/247 39430
/proc/meminfo: memFree=128020220/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=350140 memory=321468 CPUtime=3453.41 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 582239 0 0 0 345202 139 0 0 20 0 3 0 5217840 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 87535 80367 3318 3035 0 82172 0
[pid=35886/tid=35888] ppid=35883 vsize=350140 memory=11360 CPUtime=3452.88 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 566054 0 0 0 345160 128 0 0 20 0 3 0 5217871 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=350140 memory=11360 CPUtime=0.03 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 210 0 0 0 1 2 0 0 20 0 3 0 5217874 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 350140 KiB
Current children cumulated memory: 321468 KiB
[startup+3522.3 s]
/proc/loadavg: 2.08 2.75 3.48 3/246 39440
/proc/meminfo: memFree=128019676/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=350140 memory=321468 CPUtime=3513.28 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 583010 0 0 0 351187 141 0 0 20 0 3 0 5217840 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 87535 80367 3318 3035 0 82172 0
[pid=35886/tid=35888] ppid=35883 vsize=350140 memory=11360 CPUtime=3512.75 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 566812 0 0 0 351145 130 0 0 20 0 3 0 5217871 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=350140 memory=321468 CPUtime=0.03 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 212 0 0 0 1 2 0 0 20 0 3 0 5217874 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 350140 KiB
Current children cumulated memory: 321468 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.63 3.39 3/244 39451
/proc/meminfo: memFree=128018880/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=350140 memory=321468 CPUtime=3573.14 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 583713 0 0 0 357172 142 0 0 20 0 3 0 5217840 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 87535 80367 3318 3035 0 82172 0
[pid=35886/tid=35888] ppid=35883 vsize=350140 memory=321468 CPUtime=3572.61 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 567502 0 0 0 357130 131 0 0 20 0 3 0 5217871 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=350140 memory=321468 CPUtime=0.03 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 5217874 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 350140 KiB
Current children cumulated memory: 321468 KiB
[startup+3598.07 s]
# the end of solver process 35886 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.45 s, system=1.43296 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.07 2.62 3.38 3/244 39451
/proc/meminfo: memFree=128018880/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=350140 memory=321468 CPUtime=3574.84 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 583721 0 0 0 357342 142 0 0 20 0 3 0 5217840 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 87535 80367 3318 3035 0 82172 0
[pid=35886/tid=35888] ppid=35883 vsize=350140 memory=2232 CPUtime=3574.3 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 567510 0 0 0 357299 131 0 0 20 0 3 0 5217871 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=350140 memory=108 CPUtime=0.03 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 5217874 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 3574.84 s
Current children cumulated vsize: 350140 KiB
Current children cumulated memory: 321468 KiB
[startup+3590.4 s]
/proc/loadavg: 2.07 2.61 3.38 3/244 39452
/proc/meminfo: memFree=128018740/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=350140 memory=321468 CPUtime=3581.22 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 583726 0 0 0 357980 142 0 0 20 0 3 0 5217840 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 87535 80367 3318 3035 0 82172 0
[pid=35886/tid=35888] ppid=35883 vsize=350140 memory=13044 CPUtime=3580.68 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 567515 0 0 0 357937 131 0 0 20 0 3 0 5217871 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=350140 memory=321468 CPUtime=0.03 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 5217874 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 3581.22 s
Current children cumulated vsize: 350140 KiB
Current children cumulated memory: 321468 KiB
[startup+3593.6 s]
/proc/loadavg: 2.06 2.60 3.37 3/244 39452
/proc/meminfo: memFree=128018740/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=350140 memory=321468 CPUtime=3584.41 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 583734 0 0 0 358299 142 0 0 20 0 3 0 5217840 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 87535 80367 3318 3035 0 82172 0
[pid=35886/tid=35888] ppid=35883 vsize=350140 memory=321468 CPUtime=3583.88 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 567523 0 0 0 358257 131 0 0 20 0 3 0 5217871 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=350140 memory=11360 CPUtime=0.03 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 5217874 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 3584.41 s
Current children cumulated vsize: 350140 KiB
Current children cumulated memory: 321468 KiB
[startup+3595.2 s]
/proc/loadavg: 2.06 2.60 3.37 3/244 39454
/proc/meminfo: memFree=128018740/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=350140 memory=321468 CPUtime=3586 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 583738 0 0 0 358458 142 0 0 20 0 3 0 5217840 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 87535 80367 3318 3035 0 82172 0
[pid=35886/tid=35888] ppid=35883 vsize=350140 memory=321468 CPUtime=3585.47 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 567527 0 0 0 358416 131 0 0 20 0 3 0 5217871 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=350140 memory=11360 CPUtime=0.03 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 5217874 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 3586 s
Current children cumulated vsize: 350140 KiB
Current children cumulated memory: 321468 KiB
[startup+3596.8 s]
/proc/loadavg: 2.06 2.60 3.37 3/244 39454
/proc/meminfo: memFree=128018684/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=350140 memory=321468 CPUtime=3587.6 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 584071 0 0 0 358618 142 0 0 20 0 3 0 5217840 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 87535 80367 3318 3035 0 82172 0
[pid=35886/tid=35888] ppid=35883 vsize=350140 memory=321468 CPUtime=3587.07 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 567854 0 0 0 358576 131 0 0 20 0 3 0 5217871 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=350140 memory=321468 CPUtime=0.03 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 5217874 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 350140 KiB
Current children cumulated memory: 321468 KiB
[startup+3597.6 s]
/proc/loadavg: 2.06 2.60 3.37 3/244 39454
/proc/meminfo: memFree=128018684/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=350140 memory=321468 CPUtime=3588.4 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 584090 0 0 0 358698 142 0 0 20 0 3 0 5217840 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 87535 80367 3318 3035 0 82172 0
[pid=35886/tid=35888] ppid=35883 vsize=350140 memory=5560 CPUtime=3587.87 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 567870 0 0 0 358656 131 0 0 20 0 3 0 5217871 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=350140 memory=13044 CPUtime=0.03 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 5217874 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 3588.4 s
Current children cumulated vsize: 350140 KiB
Current children cumulated memory: 321468 KiB
[startup+3598 s]*
/proc/loadavg: 2.14 2.60 3.37 3/244 39454
/proc/meminfo: memFree=128018684/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=350140 memory=321468 CPUtime=3588.8 cores=4,6
/proc/35886/stat : 35886 (fscip) S 35883 35886 30686 0 -1 1077936128 584093 0 0 0 358738 142 0 0 20 0 3 0 5217840 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
/proc/35886/statm: 87535 80367 3318 3035 0 82172 0
[pid=35886/tid=35888] ppid=35883 vsize=350140 memory=-7378140306124922999 CPUtime=3588.27 cores=4,6
/proc/35886/task/35888/stat : 35888 (fscip) R 35883 35886 30686 0 -1 4194368 567873 0 0 0 358696 131 0 0 20 0 3 0 5217871 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
[pid=35886/tid=35889] ppid=35883 vsize=350140 memory=7583010221921967636 CPUtime=0.03 cores=4,6
/proc/35886/task/35889/stat : 35889 (fscip) S 35883 35886 30686 0 -1 1077936192 214 0 0 0 1 2 0 0 20 0 3 0 5217874 358543360 80367 134679101440 4194304 16623229 140721366801520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52051968 140721366803478 140721366803594 140721366803594 140721366810608 0
Current children cumulated CPU time: 3588.8 s
Current children cumulated vsize: 350140 KiB
Current children cumulated memory: 321468 KiB
Child status: 0
Real time (s): 3598.07
CPU time (s): 3588.88
CPU user time (s): 3587.45
CPU system time (s): 1.43296
CPU usage (%): 99.7446
Max. virtual memory (cumulated for all children) (KiB): 350140
Max. memory (cumulated for all children) (KiB): 321468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.45
system time used= 1.43296
maximum resident set size= 321468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584365
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= 9743
involuntary context switches= 4845
# summary of solver processes directly reported to runsolver:
# pid: 35886
# total CPU time (s): 3588.88
# total CPU user time (s): 3587.45
# total CPU system time (s): 1.43296
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.73385 second user time and 14.8218 second system time
The end
Begin job on nodeC018 at 2024-07-31 02:36:44
IDJOB=4464657
IDBENCH=162170
IDSOLVER=3092
FILE ID=nodeC018/4464657-1722386204
RUNJOBID= nodeC018-1722378594-30697
SLURM_JOB_ID= 8249831
Free space on /tmp= 889944 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round23-5.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-4464657-1722386204/watcher-4464657-1722386204 -o /tmp/evaluation-result-4464657-1722386204/solver-4464657-1722386204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30697 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464657-1722386204.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31f4cbeae6238292a97a65729b160061
RANDOM SEED=2087171917
nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.679
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.875
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.346
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.298
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.269
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.960
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.341
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.229
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125031720 kB
MemAvailable: 126662700 kB
Buffers: 109044 kB
Cached: 2340356 kB
SwapCached: 0 kB
Active: 308100 kB
Inactive: 5669452 kB
Active(anon): 1588 kB
Inactive(anon): 3547892 kB
Active(file): 306512 kB
Inactive(file): 2121560 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28628 kB
Writeback: 0 kB
AnonPages: 3528184 kB
Mapped: 124752 kB
Shmem: 21336 kB
KReclaimable: 85112 kB
Slab: 170280 kB
SReclaimable: 85112 kB
SUnreclaim: 85168 kB
KernelStack: 4272 kB
PageTables: 16152 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2910332 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8736 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2234368 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 148180 kB
DirectMap2M: 10110976 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC018 at 2024-07-31 03:36:43